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

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

Слева направо: поверхность с отрицательной гауссовой кривизной (гиперболоид), поверхность с нулевой гауссовой кривизной (цилиндр) и поверхность с положительной гауссовой кривизной (сфера).

Для термина «кривизна» см. также другие значения.

ОпределениеПравить

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

 

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

Обозначим нормальные кривизны в главных направлениях (главные кривизны) в рассматриваемой точке поверхности ${\mathrm{\kappa <!--\; \kappa \; -->}}_1$$\kappa _{1}$  и ${\mathrm{\kappa <!--\; \kappa \; -->}}_2$$\kappa _{2}$ . Величина:

$K={\mathrm{\kappa <!--\; \kappa \; -->}}_1{\mathrm{\kappa <!--\; \kappa \; -->}}_2$$K=\kappa _{1}\kappa _{2}$ 

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

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

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

Кривизна n-мерной гиперповерхности в точке полностью описывается её главными кривизнами $k^{(1)},k^{(2)},\dots <!--\; \dots \; -->,k^{(n)}$$k^{{(1)}},k^{{(2)}},\dots ,k^{{(n)}}$  и соответствующими главными направлениями.

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

$(1)k^{(1)},k^{(2)},\dots <!--\; \dots \; -->,k^{(n)}:$$(1)\qquad k^{{(1)}},k^{{(2)}},\dots ,k^{{(n)}}:$ 

$(2)\qquad \left\{{\begin{array}{rcl}K^{{[1]}}&=&-(k^{{(1)}}+k^{{(2)}}+\dots +k^{{(n)}})=-\sum \limits _{{i}}k^{{(i)}}\\K^{{[2]}}&=&k^{{(1)}}k^{{(2)}}+k^{{(1)}}k^{{(3)}}+\dots +k^{{(n-1)}}k^{{(n)}}=\sum \limits _{{i<j}}k^{{(i)}}k^{{(j)}}\\\cdots &\cdots &\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\K^{{[n]}}&=&(-1)^{n}k^{{(1)}}k^{{(2)}}\cdots k^{{(n)}}\\\end{array}}\right.$ 

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

$(3)\qquad K^{{[m]}}=\sum _{{i_{1}<i_{2}<\dots <i_{m}}}k^{{(i_{1})}}k^{{(i_{2})}}\cdots k^{{(i_{m})}}$ 

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

$(4)det(\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_j^i-<!--\; -\; -->b_j^i)={\mathrm{\lambda <!--\; \lambda \; -->}}^n+K^{[1]}{\mathrm{\lambda <!--\; \lambda \; -->}}^{n-<!--\; -\; -->1}+\cdots <!--\; \cdots \; -->+K^{[n-<!--\; -\; -->1]}\mathrm{\lambda <!--\; \lambda \; -->}+K^{[n]}$$(4)\qquad \det(\lambda \delta _{j}^{i}-b_{j}^{i})=\lambda ^{n}+K^{{[1]}}\lambda ^{{n-1}}+\dots +K^{{[n-1]}}\lambda +K^{{[n]}}$ 

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

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

$(5)det(a_j^i)=\frac{1}{n!}{g}_{j_1{j}_2\dots <!--\; \dots \; -->j_n}^{i_1{i}_2\dots <!--\; \dots \; -->i_n}{a}_{i_1}^{j_1}{a}_{i_2}^{j_2}\cdots <!--\; \cdots \; -->a_{i_n}^{j_n}$$(5)\qquad \det(a_{j}^{i})={1 \over n!}g_{{j_{1}j_{2}\dots j_{n}}}^{{i_{1}i_{2}\dots i_{n}}}a_{{i_{1}}}^{{j_{1}}}a_{{i_{2}}}^{{j_{2}}}\cdots a_{{i_{n}}}^{{j_{n}}}$ 

Подставим в эту формулу $a_j^i=\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_j^i-<!--\; -\; -->b_j^i$$a_{j}^{i}=\lambda \delta _{j}^{i}-b_{j}^{i}$ , чтобы вычислить левое выражение формулы (4), тогда имеем:

$(6)n!det(\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_j^i-<!--\; -\; -->b_j^i)=g_{j_1{j}_2\dots <!--\; \dots \; -->j_n}^{i_1{i}_2\dots <!--\; \dots \; -->i_n}(\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_{i_1}^{j_1}-<!--\; -\; -->b_{i_1}^{j_1})\cdots <!--\; \cdots \; -->(\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_{i_n}^{j_n}-<!--\; -\; -->b_{i_n}^{j_n})$$(6)\qquad n!\det(\lambda \delta _{j}^{i}-b_{j}^{i})=g_{{j_{1}j_{2}\dots j_{n}}}^{{i_{1}i_{2}\dots i_{n}}}(\lambda \delta _{{i_{1}}}^{{j_{1}}}-b_{{i_{1}}}^{{j_{1}}})\cdots (\lambda \delta _{{i_{n}}}^{{j_{n}}}-b_{{i_{n}}}^{{j_{n}}})$ 

Раскроем скобки в формуле (6). Поскольку тензор метрической матрешки $g_{j_1{j}_2\dots <!--\; \dots \; -->j_n}^{i_1{i}_2\dots <!--\; \dots \; -->i_n}$$g_{{j_{1}j_{2}\dots j_{n}}}^{{i_{1}i_{2}\dots i_{n}}}$  не меняется при синхронной перестановке верхних и нижних индексов, то все слагаемые при одинаковой степени ${\mathrm{\lambda <!--\; \lambda \; -->}}^m$$\lambda ^{m}$  будут одинаковыми (их количество равно биномиальному коэффициенту $C_n^m$$C_{n}^{m}$ ), и мы получаем:

$(7)n!det(\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_j^i-<!--\; -\; -->b_j^i)={\mathrm{\lambda <!--\; \lambda \; -->}}^n{g}_{s_1{s}_2\dots <!--\; \dots \; -->s_n}^{s_1{s}_2\dots <!--\; \dots \; -->s_n}-<!--\; -\; -->C_n^1{\mathrm{\lambda <!--\; \lambda \; -->}}^{n-<!--\; -\; -->1}{g}_{j{s}_2\dots <!--\; \dots \; -->s_n}^{i{s}_2\dots <!--\; \dots \; -->s_n}{b}_i^j+C_n^2{\mathrm{\lambda <!--\; \lambda \; -->}}^{n-<!--\; -\; -->2}{g}_{j_1{j}_2\dots <!--\; \dots \; -->s_n}^{i_1{i}_2\dots <!--\; \dots \; -->s_n}{b}_{i_1}^{j_1}{b}_{i_2}^{j_2}-<!--\; -\; -->\dots <!--\; \dots \; -->$$(7)\qquad n!\det(\lambda \delta _{j}^{i}-b_{j}^{i})=\lambda ^{n}g_{{s_{1}s_{2}\dots s_{n}}}^{{s_{1}s_{2}\dots s_{n}}}-C_{n}^{1}\lambda ^{{n-1}}g_{{js_{2}\dots s_{n}}}^{{is_{2}\dots s_{n}}}b_{i}^{j}+C_{n}^{2}\lambda ^{{n-2}}g_{{j_{1}j_{2}\dots s_{n}}}^{{i_{1}i_{2}\dots s_{n}}}b_{{i_{1}}}^{{j_{1}}}b_{{i_{2}}}^{{j_{2}}}-\dots$ 

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

$(8)g_{j_1{j}_2\dots <!--\; \dots \; -->j_m{s}_{m+1}{s}_{m_2}\dots <!--\; \dots \; -->s_n}^{i_1{i}_2\dots <!--\; \dots \; -->i_m{s}_{m+1}{s}_{m+2}\dots <!--\; \dots \; -->s_n}=(n-<!--\; -\; -->m)!g_{j_1\dots <!--\; \dots \; -->j_m}^{i_1\dots <!--\; \dots \; -->i_m}$$(8)\qquad g_{{j_{1}j_{2}\dots j_{m}s_{{m+1}}s_{{m_{2}}}\dots s_{n}}}^{{i_{1}i_{2}\dots i_{m}s_{{m+1}}s_{{m+2}}\dots s_{n}}}=(n-m)!\,g_{{j_{1}\dots j_{m}}}^{{i_{1}\dots i_{m}}}$ 

То из формулы (7) и формулы для биномиальных коэффициентов $C_n^m=\frac{n!}{m!(n-<!--\; -\; -->m)!}$$C_{n}^{m}={n! \over m!(n-m)!}$  находим такую формулу для характеристического многочлена (разделив обе стороны уравнения (7) на $n!$$n!$ ):

$(9)det(\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\delta <!--\; \delta \; -->}}_j^i-<!--\; -\; -->b_j^i)={\mathrm{\lambda <!--\; \lambda \; -->}}^n-<!--\; -\; -->\frac{{\mathrm{\lambda <!--\; \lambda \; -->}}^{n-<!--\; -\; -->1}}{1!}{g}_j^i{b}_i^j+\frac{{\mathrm{\lambda <!--\; \lambda \; -->}}^{n-<!--\; -\; -->2}}{2!}{g}_{j_1{j}_2}^{i_1{i}_2}{b}_{i_1}^{j_1}{b}_{i_2}^{j_2}-<!--\; -\; -->\dots <!--\; \dots \; -->$$(9)\qquad \det(\lambda \delta _{j}^{i}-b_{j}^{i})=\lambda ^{n}-{\lambda ^{{n-1}} \over 1!}g_{j}^{i}b_{i}^{j}+{\lambda ^{{n-2}} \over 2!}g_{{j_{1}j_{2}}}^{{i_{1}i_{2}}}b_{{i_{1}}}^{{j_{1}}}b_{{i_{2}}}^{{j_{2}}}-\dots$ 

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

$(10)K^{[m]}=\frac{(-<!--\; -\; -->1{)}^m}{m!}{g}_{j_1{j}_2\dots <!--\; \dots \; -->j_m}^{i_1{i}_2\dots <!--\; \dots \; -->i_m}{b}_{i_1}^{j_1}{b}_{i_2}^{j_2}\dots <!--\; \dots \; -->b_{i_m}^{j_m}$$(10)\qquad K^{{[m]}}={(-1)^{m} \over m!}g_{{j_{1}j_{2}\dots j_{m}}}^{{i_{1}i_{2}\dots i_{m}}}b_{{i_{1}}}^{{j_{1}}}b_{{i_{2}}}^{{j_{2}}}\dots b_{{i_{m}}}^{{j_{m}}}$ 

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

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

$(11)\qquad R=g^{{ik}}g^{{jl}}R_{{ijkl}}=2\sum _{{i<j}}k^{{(i)}}k^{{(j)}}=2K^{{[2]}}$ 

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

$(12)\qquad g^{{ijkl}}R_{{ijkl}}={\begin{vmatrix}g^{{ik}}&g^{{il}}\\g^{{jk}}&g^{{jl}}\end{vmatrix}}R_{{ijkl}}=(g^{{ik}}g^{{jl}}-g^{{il}}g^{{jk}})R_{{ijkl}}=2R=4K^{{[2]}}$ 

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

$(13)\qquad g_{{ij}}=\delta _{{ij}}={\begin{cases}1,&i=j\\0,&i\neq j\end{cases}}$ 

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

$(14)R_{ijij}=-<!--\; -\; -->R_{ijji}=k^{(i)}{k}^{(j)}(i\ne <!--\; \ne \; -->j)$$(14)\qquad R_{{ijij}}=-R_{{ijji}}=k^{{(i)}}k^{{(j)}}\qquad (i\neq j)$ 

и равны нулю все те компоненты $R_{ijkl}$$R_{{ijkl}}$ , где вторая пара индексов $(kl)$$(kl)$  не совпадает с $(ij)$$(ij)$  с точностью до перестановки в паре.

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

$(15)g_{kl}^{ij}{R}_{ij}^{kl}=\underset{i,j}{\sum <!--\; \sum \; -->}\left(\underset{k,l}{\sum <!--\; \sum \; -->}{g}_{kl}^{ij}{R}_{ij}^{kl}\right)=\underset{i,j}{\sum <!--\; \sum \; -->}\left(g_{ij}^{ij}{R}_{ij}^{ij}+g_{ji}^{ij}{R}_{ij}^{ji}\right)$$(15)\qquad g_{{kl}}^{{ij}}R_{{ij}}^{{kl}}=\sum _{{i,j}}\left(\sum _{{k,l}}g_{{kl}}^{{ij}}R_{{ij}}^{{kl}}\right)=\sum _{{i,j}}\left(g_{{ij}}^{{ij}}R_{{ij}}^{{ij}}+g_{{ji}}^{{ij}}R_{{ij}}^{{ji}}\right)$ 

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

$(16)\qquad g_{{ij}}^{{ij}}={\begin{vmatrix}\delta _{i}^{i}&\delta _{j}^{i}\\\delta _{i}^{j}&\delta _{j}^{j}\end{vmatrix}}={\begin{vmatrix}1&0\\0&1\end{vmatrix}}=1$ 

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

$(17)\qquad g_{{kl}}^{{ij}}R_{{ij}}^{{kl}}=2\sum _{{i\neq j}}1\cdot k^{{(i)}}k^{{(j)}}=2\cdot 2!\sum _{{i<j}}k^{{(i)}}k^{{(j)}}=2\cdot 2!K^{{[2]}}$ 

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

$(18){\mathrm{\Phi <!--\; \Phi \; -->}}_2(R)=g_{k_1{l}_1{k}_2{l}_2}^{i_1{j}_1{i}_2{j}_2}{R}_{i_1{j}_1}^{k_1{l}_1}{R}_{i_2{j}_2}^{k_2{l}_2}$$(18)\qquad \Phi _{2}(R)=g_{{k_{1}l_{1}k_{2}l_{2}}}^{{i_{1}j_{1}i_{2}j_{2}}}R_{{i_{1}j_{1}}}^{{k_{1}l_{1}}}R_{{i_{2}j_{2}}}^{{k_{2}l_{2}}}$ 

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

$(19){\mathrm{\Phi <!--\; \Phi \; -->}}_2(R)=\underset{i_1,j_1,i_2,j_2}{\sum <!--\; \sum \; -->}\left(\underset{k_1,l_1,k_2,l_2}{\sum <!--\; \sum \; -->}{g}_{k_1{l}_1{k}_2{l}_2}^{i_1{j}_1{i}_2{j}_2}{R}_{i_1{j}_1}^{k_1{l}_1}{R}_{i_2{j}_2}^{k_2{l}_2}\right)=2^2\underset{i_1,j_1,i_2,j_2}{\sum <!--\; \sum \; -->}{g}_{i_1{j}_1{i}_2{j}_2}^{i_1{j}_1{i}_2{j}_2}{R}_{i_1{j}_1}^{i_1{j}_1}{R}_{i_2{j}_2}^{i_2{j}_2}$$(19)\qquad \Phi _{2}(R)=\sum _{{i_{1},j_{1},i_{2},j_{2}}}\left(\sum _{{k_{1},l_{1},k_{2},l_{2}}}g_{{k_{1}l_{1}k_{2}l_{2}}}^{{i_{1}j_{1}i_{2}j_{2}}}R_{{i_{1}j_{1}}}^{{k_{1}l_{1}}}R_{{i_{2}j_{2}}}^{{k_{2}l_{2}}}\right)=2^{2}\sum _{{i_{1},j_{1},i_{2},j_{2}}}g_{{i_{1}j_{1}i_{2}j_{2}}}^{{i_{1}j_{1}i_{2}j_{2}}}R_{{i_{1}j_{1}}}^{{i_{1}j_{1}}}R_{{i_{2}j_{2}}}^{{i_{2}j_{2}}}$ 

Обозначим индексы $i_1,j_1,i_2,j_2$$i_{1},j_{1},i_{2},j_{2}$  как $i,j,k,l$$i,j,k,l$  для упрощения записи:

$(19a){\mathrm{\Phi <!--\; \Phi \; -->}}_2(R)=2^2\underset{i,j,k,l}{\sum <!--\; \sum \; -->}{g}_{ijkl}^{ijkl}{R}_{ij}^{ij}{R}_{kl}^{kl}=2^{2}4!\underset{\frac{i,j,k,l}{alldifferent}}{\sum <!--\; \sum \; -->}{g}_{ijkl}^{ijkl}{k}^{(i)}{k}^{(j)}{k}^{(k)}{k}^{(l)}$$(19a)\qquad \Phi _{2}(R)=2^{2}\sum _{{i,j,k,l}}g_{{ijkl}}^{{ijkl}}R_{{ij}}^{{ij}}R_{{kl}}^{{kl}}=2^{2}4!\sum _{{i,j,k,l \over all\;different}}g_{{ijkl}}^{{ijkl}}k^{{(i)}}k^{{(j)}}k^{{(k)}}k^{{(l)}}$ 

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

$(19b)\qquad \Phi _{2}(R)=2^{2}\sum _{{i,j,k,l \over all\;different}}k^{{(i)}}k^{{(j)}}k^{{(k)}}k^{{(l)}}=2^{2}\cdot 4!\sum _{{i<j<k<l}}k^{{(i)}}k^{{(j)}}k^{{(k)}}k^{{(l)}}=2^{2}\cdot 4!K^{{[4]}}$ 

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

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

$(20)K^{[2m]}=\frac{1}{2^m(2m)!}{g}_{k_1{l}_1\dots <!--\; \dots \; -->k_m{l}_m}^{i_1{j}_1\dots <!--\; \dots \; -->i_m{j}_m}{R}_{i_1{j}_1}^{k_1{l}_1}\cdots <!--\; \cdots \; -->R_{i_m{j}_m}^{k_m{l}_m}$$(20)\qquad K^{{[2m]}}={1 \over 2^{m}(2m)!}g_{{k_{1}l_{1}\dots k_{m}l_{m}}}^{{i_{1}j_{1}\dots i_{m}j_{m}}}R_{{i_{1}j_{1}}}^{{k_{1}l_{1}}}\cdots R_{{i_{m}j_{m}}}^{{k_{m}l_{m}}}$ 

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

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

$(21)R_{ij}^{kl}=b_i^k{b}_j^l-<!--\; -\; -->b_j^k{b}_i^l$$(21)\qquad R_{{ij}}^{{kl}}=b_{i}^{k}b_{j}^{l}-b_{j}^{k}b_{i}^{l}$ 

и начнем в формуле (10) группировать сомножители по два, например начиная с первых двух (здесь мы считаем, что степень $2m$$2m$  кривизны Гаусса не меньше двух ($m\ge <!--\; \ge \; -->1$$m\geq 1$ ), и для упрощения записи опустим обозначения $m$$m$ ):

$(22)(2m)!K=g_{kl\dots <!--\; \dots \; -->}^{ij\dots <!--\; \dots \; -->}{b}_i^k{b}_j^l\cdots <!--\; \cdots \; -->=-<!--\; -\; -->g_{kl\dots <!--\; \dots \; -->}^{ji\dots <!--\; \dots \; -->}{b}_i^k{b}_j^l\cdots <!--\; \cdots \; -->$$(22)\qquad (2m)!K=g_{{kl\dots }}^{{ij\dots }}b_{i}^{k}b_{j}^{l}\cdots =-g_{{kl\dots }}^{{ji\dots }}b_{i}^{k}b_{j}^{l}\cdots$ 

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

$(23)(2m)!K=-<!--\; -\; -->g_{kl\dots <!--\; \dots \; -->}^{ij\dots <!--\; \dots \; -->}{b}_j^k{b}_i^l\cdots <!--\; \cdots \; -->$$(23)\qquad (2m)!K=-g_{{kl\dots }}^{{ij\dots }}b_{j}^{k}b_{i}^{l}\cdots$ 

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

$(24)2(2m)!K^{[2m]}=g_{k_1{l}_1{k}_2{l}_2\dots <!--\; \dots \; -->k_m{l}_m}^{i_1{j}_1{i}_2{j}_2\dots <!--\; \dots \; -->i_m{j}_m}{R}_{i_1{j}_1}^{k_1{l}_1}{b}_{i_2}^{k_2}\cdots <!--\; \cdots \; -->b_{i_m}^{k_m}{b}_{j_m}^{l_m}$$(24)\qquad 2(2m)!K^{{[2m]}}=g_{{k_{1}l_{1}k_{2}l_{2}\dots k_{m}l_{m}}}^{{i_{1}j_{1}i_{2}j_{2}\dots i_{m}j_{m}}}R_{{i_{1}j_{1}}}^{{k_{1}l_{1}}}b_{{i_{2}}}^{{k_{2}}}\cdots b_{{i_{m}}}^{{k_{m}}}b_{{j_{m}}}^{{l_{m}}}$ 

Множитель 2 в левой части уравнения (24) появился в результате группировки двух множителей $b_{i_1}^{k_1}{b}_{j_1}^{l_1}$$b_{{i_{1}}}^{{k_{1}}}b_{{j_{1}}}^{{l_{1}}}$ . Очевидно, мы можем аналогичным образом сгруппировать попарно и остальные сомножители, тогда в левой части мы получим множитель $2^m$$2^{m}$ , а в правой - выражение, в котором участвует только тензор Римана и тензор метрической матрешки, т.е. мы получим формулу (20).

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

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

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

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

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

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

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

• Кривизна Гаусса двумерной поверхности может быть выражена через коэффициенты её первой квадратичной формы

$d{s}^2=Ed{u}^2+2Fdudv+Gd{v}^2$$ds^{2}=Edu^{2}+2Fdudv+Gdv^{2}$ 

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

$K={\frac {{\begin{vmatrix}-{\frac {1}{2}}E_{{vv}}+F_{{uv}}-{\frac {1}{2}}G_{{uu}}&{\frac {1}{2}}E_{u}&F_{u}-{\frac {1}{2}}E_{v}\\F_{v}-{\frac {1}{2}}G_{u}&E&F\\{\frac {1}{2}}G_{v}&F&G\end{vmatrix}}-{\begin{vmatrix}0&{\frac {1}{2}}E_{v}&{\frac {1}{2}}G_{u}\\{\frac {1}{2}}E_{v}&E&F\\{\frac {1}{2}}G_{u}&F&G\end{vmatrix}}}{(EG-F^{2})^{2}}}$ 

• В случае $F=0$$F=0$  (так называемая ортогональная параметризация поверхности) эту формулу можно переписать в виде

$K=-<!--\; -\; -->\frac{1}{2\sqrt{EG}}\left(\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}u}\frac{G_u}{\sqrt{EG}}+\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}v}\frac{E_v}{\sqrt{EG}}\right).$$K=-{\frac {1}{2{\sqrt {EG}}}}\left({\frac {\partial }{\partial u}}{\frac {G_{u}}{{\sqrt {EG}}}}+{\frac {\partial }{\partial v}}{\frac {E_{v}}{{\sqrt {EG}}}}\right).$ 

• В случае, если поверхность задана как график дифференцируемой функции $z=f(x,y)$$z=f(x,y)$  в трёхмерном евклидовом пространстве с метрикой $d{s}^2=d{x}^2+d{y}^2+d{z}^2$$ds^{2}=dx^{2}+dy^{2}+dz^{2}$ , эта формула принимает вид

$K=\frac{f_{xx}\cdot <!--\; \cdot \; -->f_{yy}-<!--\; -\; -->f_{xy}^2}{(1+f_x^2+f_y^2{)}^2}$$K={\frac {f_{{xx}}\cdot f_{{yy}}-f_{{xy}}^{2}}{(1+f_{x}^{2}+f_{y}^{2})^{2}}}$ 

• Если поверхность в трёхмерном евклидовом пространстве с метрикой $d{s}^2=d{x}^2+d{y}^2+d{z}^2$$ds^{2}=dx^{2}+dy^{2}+dz^{2}$  задана уравнением $f(x,y,z)=0$$f(x,y,z)=0$ , формула принимает вид

$K=\frac{[f_z(f_{xx}{f}_z-<!--\; -\; -->2f_x{f}_{xz})+f_x^2{f}_{zz}][f_z(f_{yy}{f}_z-<!--\; -\; -->2f_y{f}_{yz})+f_y^2{f}_{zz}]-<!--\; -\; -->[f_z(-<!--\; -\; -->f_x{f}_{yz}+f_{xy}{f}_z-<!--\; -\; -->f_{xz}{f}_y)+f_x{f}_y{f}_{zz}{]}^2}{f_z^2(f_x^2+f_y^2+f_z^2{)}^2}$$K={\frac {[f_{z}(f_{{xx}}f_{z}-2f_{x}f_{{xz}})+f_{x}^{2}f_{{zz}}][f_{z}(f_{{yy}}f_{z}-2f_{y}f_{{yz}})+f_{y}^{2}f_{{zz}}]-[f_{z}(-f_{x}f_{{yz}}+f_{{xy}}f_{z}-f_{{xz}}f_{y})+f_{x}f_{y}f_{{zz}}]^{2}}{f_{z}^{2}(f_{x}^{2}+f_{y}^{2}+f_{z}^{2})^{2}}}$ 

• В случае, если первая квадратичная форма конформно эквивалентна евклидовой, то есть$E=G=e^u$$E=G=e^{{u}}$  с некоторой функцией $u=u(x,y)$$u=u(x,y)$  и $F=0$$F=0$ , формула для кривизны Гаусса принимает вид

$K=-<!--\; -\; -->\frac{1}{2e^u}\mathrm{\Delta <!--\; \Delta \; -->}u,$$K=-{\frac {1}{2e^{u}}}\Delta u,$ 

где $\mathrm{\Delta <!--\; \Delta \; -->}$$\Delta$  — оператор Лапласа.

См. такжеПравить

• Кривизна
• Кривизна римановых многообразий
• Формула Гаусса

ЛитератураПравить

• Погорелов А. В. Дифференциальная геометрия (6-е издание). М.: Наука, 1974.
• Рашевский П. К. Курс дифференциальной геометрии (3-е издание). М.-Л.: ГИТТЛ, 1950.