Гауссова кривизна

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Кривизна Гаусса»)
Перейти к навигации Перейти к поиску
Слева направо: поверхность с отрицательной гауссовой кривизной (гиперболоид), поверхность с нулевой гауссовой кривизной (цилиндр) и поверхность с положительной гауссовой кривизной (сфера).

Гауссова кривизна — мера искривления поверхности в окрестности какой-либо её точки. Гауссова кривизна является объектом внутренней геометрии поверхностей, то есть она не изменяется при изометрических изгибаниях.

Определение

[править | править код]

Кривизна Гаусса для двумерной поверхности

[править | править код]
На торе есть точки с положительной (Positive), нулевой и отрицательной (Negative) гауссовой кривизной.

Обозначим нормальные кривизны в главных направлениях (главные кривизны) в рассматриваемой точке поверхности и . Величина:

называется гауссовой кривизной, полной кривизной или просто кривизной поверхности. Встречается также термин скаляр кривизны, который подразумевает результат свёртки тензора кривизны; при этом скаляр кривизны вдвое больше, чем гауссова кривизна.

Гауссова кривизна может быть вычислена через метрику поверхности, и поэтому она является объектом внутренней геометрии (отметим, что главные кривизны к внутренней геометрии не относятся). По знаку кривизны можно классифицировать точки поверхности (см. рисунок). Кривизна плоскости равна нулю. Кривизна сферы радиуса R всюду равна . Существует и поверхность постоянной отрицательной кривизны — псевдосфера.

Кривизна Гаусса для гиперповерхности

[править | править код]

Кривизна n-мерной гиперповерхности в точке полностью описывается её главными кривизнами и соответствующими главными направлениями.

Рассмотрим (с точностью до знака) симметрические многочлены, составленные из чисел

Назовем вышеприведенные величины кривизнами Гаусса соответствующей степени. Общая формула кривизны Гаусса степени m запишется так:

Кривизны Гаусса являются коэффициентами характеристического многочлена для матрицы тензора полной кривизны гиперповерхности:

Тензорная формула для кривизны Гаусса

[править | править код]

Формула (3) определяет кривизну Гаусса через собственные числа тензора полной кривизны гиперповерхности . Попробуем выразить эти величины через компоненты самого тензора в любой системе координат. Для вычисления определителя произвольного тензора второго ранга мы имеем такую формулу с использованием тензора метрической матрешки (см. Абсолютно антисимметричный единичный тензор):

Подставим в эту формулу , чтобы вычислить левое выражение формулы (4), тогда имеем:

Раскроем скобки в формуле (6). Поскольку тензор метрической матрешки не меняется при синхронной перестановке верхних и нижних индексов, то все слагаемые при одинаковой степени будут одинаковыми (их количество равно биномиальному коэффициенту ), и мы получаем:

Поскольку последовательные свертки тензора метрической матрешки равны:

То из формулы (7) и формулы для биномиальных коэффициентов находим такую формулу для характеристического многочлена (разделив обе стороны уравнения (7) на ):

Сравнивая формулы (9) и (4), находим такую формулу для кривизны Гаусса:

Выражение через тензор Римана

[править | править код]

Для скалярной кривизны гиперповерхности мы имеем такую формулу

Чтобы обобщить эту формулу для более высоких степеней, попробуем заменить произведение двух метрических тензоров в формуле (11) на тензор метрической матрешки четвертого ранга:

Для дальнейших вычислений мы перейдем в локальную декартову систему координат в одной из точек многообразия P, и ориентируем её вдоль главных направлений гиперповерхности. В точке P матрица метрического тензора будет единичной:

а потому мы можем численно не различать ковариантные и соответствующие контравариантные компоненты тензоров (верхние и нижние индексы). Тензор Римана в точке будет в некотором смысле диагональным, а именно, его ненулевые компоненты будут равны:

и равны нулю все те компоненты , где вторая пара индексов не совпадает с с точностью до перестановки в паре.

Левая часть формулы (12) является линейной формой от тензора Римана, а коэффициентами этой формы служат компоненты тензора метрической матрешки. Очевидным обобщением является рассмотрение билинейной формы и форм высших степеней от компонента тензора Римана. Проведем вычисления формулы (12) еще раз и таким образом, чтобы эти вычисления можно было легко обобщить. Имеем, учитывая диагональность тензора Римана:

Далее, два слагаемых в правой части формулы (15) одинаковы вследствие антисимметрии по индексам внутри пары как тензора метрической матрешки, так тензора Римана. Кроме того, диагональная компонента метрической матрешки равна единице, поскольку (в следующей формуле сложения по одинаковым индексам не производится, а индексы разные):

Учитывая вышесказанное и формулу (14), превращаем формулу (15) далее:

Теперь перейдем к вычислению следующей квадратичной формы:

Коэффициентами этой формы служат компоненты тензора метрической матрешки восьмого ранга. Этот тензор имеет две группы индексов, и является антисимметричным по перестановке индексов внутри этих групп. Вычисляем аналогично формуле (15).

Обозначим индексы как для упрощения записи:

Все четыре индекса должны быть попарно различными, поскольку компоненты тензора метрической матрешки равны нулю при наличии двух одинаковых индексов в одной группе. В правой сумме формулы (19a) стоят диагональные компоненты тензора метрической матрешки, которые равны единице (аналогично формуле 16).

Множитель 4! при переходе ко второй сумме в формуле (19a) возник вследствие того, что для одного слагаемого в правой сумме, характеризующегося фиксированным набором четырех различных чисел , соответствует 4! = 24 одинаковых по величине слагаемого в левой сумме, характеризующихся перестановками этих четырех чисел.

Формулы (19), (19a), (19b) легко обобщаются на формы высших степеней. Таким образом получаем общую формулу для нахождения кривизны Гаусса парной степени :

Альтернативный вывод формулы кривизны Гаусса для парной степени

[править | править код]

Воспользуемся следующим выражением тензора Римана через тензор полной кривизны

и начнем в формуле (10) группировать сомножители по два, например начиная с первых двух (здесь мы считаем, что степень кривизны Гаусса не меньше двух (), и для упрощения записи опустим обозначения ):

Последнее преобразование справедливо вследствие антисимметрии тензора метрической матрешки относительно индексов в верхней группе. Далее, в последнем выражении поменяем местами индексы :

Теперь добавим уравнение (22) и (23), при этом учтя (21). Получаем, опять изменив обозначение индексов:

Множитель 2 в левой части уравнения (24) появился в результате группировки двух множителей . Очевидно, мы можем аналогичным образом сгруппировать попарно и остальные сомножители, тогда в левой части мы получим множитель , а в правой - выражение, в котором участвует только тензор Римана и тензор метрической матрешки, т.е. мы получим формулу (20).

Кривизна Гаусса нечетной степени

[править | править код]

Кривизна Гаусса нечетной степени также связана с тензором Римана, но более сложными формулами, чем (20). К тому же из этих формул кривизна Гаусса выражается неоднозначно.

Значение кривизны Гаусса

[править | править код]

В начале было дано определение кривизны Гаусса только для гиперповерхности (формулы 2, 3). Но формула (20), как и формулы для нахождения кривизны Гаусса нечетной степени, позволяют распространить это понятие на произвольные (абстрактные) многообразия. Таким образом мы можем рассматривать кривизны Гаусса как скалярные инварианты тензора Римана.

Внутренняя кривизна многообразия полностью описывается тензором Римана.

Кривизну Гаусса как скаляр можно интегрировать по объему всего многообразия (смотрите статью Интегралы Гаусса). Интеграл от K [n] является топологическим инвариантом n-мерного многообразия (не меняется при непрерывной деформации многообразия).

Формула Бриоски для двумерной поверхности

[править | править код]
и их производные первого и второго порядков по так называемой формуле Бриоски[1]:
  • В случае (так называемая ортогональная параметризация поверхности) эту формулу можно переписать в виде
  • В случае, если поверхность задана как график дифференцируемой функции в трёхмерном евклидовом пространстве с метрикой , эта формула принимает вид
  • Если поверхность в трёхмерном евклидовом пространстве с метрикой задана уравнением , формула принимает вид[2]
  • В случае, если первая квадратичная форма конформно эквивалентна евклидовой, то есть с некоторой функцией и , формула для кривизны Гаусса принимает вид
где оператор Лапласа.

Примечания

[править | править код]
  1. Brioschi Formula on Wolfram MathWorld. Дата обращения: 24 июня 2020. Архивировано 2 мая 2021 года.
  2. Gaussian Curvature on Wolfram MathWorld. Дата обращения: 24 июня 2020. Архивировано 18 марта 2020 года.

Литература

[править | править код]