Финслерова геометрия

Фи́нслерова геометрия — одно из обобщений римановой геометрии. В финслеровой геометрии рассматриваются многообразия с финслеровой метрикой; то есть выбором нормы на каждом касательном пространстве, которая гладко меняется от точки к точке.

Основные понятияПравить

Пусть $M$$M$  — $n$$n$ -мерное связное гладкое многообразие и $TM$$TM$  — касательное расслоение $M$$M$ .

Финслеровой метрикой на $M$$M$  называется непрерывная функция $F:<!--\; :\; -->TM\to <!--\; \to \; -->[0,\mathrm{\infty <!--\; \infty \; -->}),$$F\colon TM\rightarrow [0,\infty ),$  такая, что на её сужение на любое касательное пространство $T_{p}M$$T_{p}M$  является нормой. При этом обычно предполагаются следующие дополнителные свойства:

1. (Гладкость) $F$$F$  является $C^{\mathrm{\infty <!--\; \infty \; -->}}$$C^{\infty }$ -гладкой функцией не $(TM\setminus <!--\; \setminus \; -->\{0\})$$(TM\setminus \{0\})$ ;
2. (Сильная выпуклость) Для любой пары $(x,y)\in <!--\; \in \; -->TM$$(x,y)\in TM$  билинейная форма

${\mathbf{g}}_y:<!--\; :\; -->T_{x}M\times <!--\; \times \; -->T_{x}M\to <!--\; \to \; -->\mathbb{R},$$\mathbf {g} _{y}\colon T_{x}M\times T_{x}M\rightarrow \mathbb {R} ,$ 

${\mathbf{g}}_y(u,v)=\frac{1}{2}\frac{{\mathrm{\partial <!--\; \partial \; -->}}^2}{\mathrm{\partial <!--\; \partial \; -->}t\mathrm{\partial <!--\; \partial \; -->}s}[F^2(x,y+su+tv)]{|}_{s=t=0}$$\mathbf {g} _{y}(u,v)={\frac {1}{2}}{\frac {\partial ^{2}}{\partial t\,\partial s}}\lbrack F^{2}(x,y+su+tv)\rbrack {\Bigl |}_{s=t=0}$ 

положительно определена.

ЗамечанияПравить

Если положить

$g_{ij}(x,y)=\frac{1}{2}\frac{{\mathrm{\partial <!--\; \partial \; -->}}^2}{\mathrm{\partial <!--\; \partial \; -->}{y}^i\mathrm{\partial <!--\; \partial \; -->}{y}^j}[F^2(x,y)]$$g_{ij}(x,y)={\frac {1}{2}}{\frac {\partial ^{2}}{\partial y^{i}\partial y^{j}}}[F^{2}(x,y)]$ ,

то форму ${\mathbf{g}}_y(u,v)$$\mathbf {g} _{y}(u,v)$  можно переписать в виде ${\mathbf{g}}_y(u,v)=g_{ij}(x,y)u^i{v}^j$$\mathbf {g} _{y}(u,v)=g_{ij}(x,y)u^{i}v^{j}$ 

Для любого ненулевого векторного поля $Y$$Y$ , определённого на $U\subset <!--\; \subset \; -->M$$U\subset M$ , ${\mathbf{g}}_Y(u,v)$$\mathbf {g} _{Y}(u,v)$  есть риманова метрика на $U$$U$ .

Для гладкой кривой $c:[a,b]\to <!--\; \to \; -->M$$c:[a,b]\rightarrow M$  на многообразии $M$$M$  с финслеровой метрикой $F$$F$  длина определяется интегралом $L_F(c)={\int <!--\; \int \; -->}_a^{b}F(c(t),\stackrel{\dot{}<!--\; \dot{}\; -->}{c}(t))dt$$L_{F}(c)=\int _{a}^{b}F(c(t),{\dot {c}}(t))dt$ .

Оператор ковариантного дифференцирования Черна (или Рунда) $\mathrm{\nabla <!--\; \nabla \; -->}:T_{x}M\times <!--\; \times \; -->{\mathrm{\Gamma <!--\; \Gamma \; -->}}^{\mathrm{\infty <!--\; \infty \; -->}}(TM)\to <!--\; \to \; -->T_{x}M$$\nabla :T_{x}M\times \Gamma ^{\infty }(TM)\rightarrow T_{x}M$  определяется как ${\mathrm{\nabla <!--\; \nabla \; -->}}_{y}U:=\{d{U}^i(y)+U^j{N}_j^i(x,y)\}\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{x}^i}{|}_x,$$\nabla _{y}U:=\{dU^{i}(y)+U^{j}N_{j}^{i}(x,y)\}{\frac {\partial }{\partial x^{i}}}|_{x},$  где $y\in <!--\; \in \; -->T_{x}M$$y\in T_{x}M$ , $U\in <!--\; \in \; -->{\mathrm{\Gamma <!--\; \Gamma \; -->}}^{\mathrm{\infty <!--\; \infty \; -->}}(TM)$$U\in \Gamma ^{\infty }(TM)$  и $N_j^i(x,y)=\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{y}^j}\left[\frac{1}{4}{g}^{il}(x,y)\left\{2\frac{\mathrm{\partial <!--\; \partial \; -->}{g}_{ml}}{\mathrm{\partial <!--\; \partial \; -->}{x}^k}(x,y)-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}{g}_{mk}}{\mathrm{\partial <!--\; \partial \; -->}{x}^l}(x,y)\right\}{y}^m{y}^k\right].$$N_{j}^{i}(x,y)={\frac {\partial }{\partial y^{j}}}\left[{\frac {1}{4}}g^{il}(x,y)\left\{2{\frac {\partial g_{ml}}{\partial x^{k}}}(x,y)-{\frac {\partial g_{mk}}{\partial x^{l}}}(x,y)\right\}y^{m}y^{k}\right].$ 

Введённая таким образом связность на многообразии не является, вообще говоря, аффинной связностью. Связность будет аффинной в том и только в том случае, когда финслерова метрика будет метрикой Бервальда^{[уточнить]}. По определению это значит, что уравнения геодезических имеют такой же вид, как и в римановой геометрии, или геодезические коэффициенты

$G^i(x,y)=\frac{1}{4}{g}^{il}(x,y)\left\{2\frac{\mathrm{\partial <!--\; \partial \; -->}{g}_{jl}}{\mathrm{\partial <!--\; \partial \; -->}{x}^k}(x,y)-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}{g}_{jk}}{\mathrm{\partial <!--\; \partial \; -->}{x}^l}(x,y)\right\}{y}^j{y}^k$$G^{i}(x,y)={\frac {1}{4}}g^{il}(x,y)\left\{2{\frac {\partial g_{jl}}{\partial x^{k}}}(x,y)-{\frac {\partial g_{jk}}{\partial x^{l}}}(x,y)\right\}y^{j}y^{k}$  представимы в виде $G^i(x,y)={\mathrm{\Gamma <!--\; \Gamma \; -->}}_{jk}^i(x)y^j{y}^k.$$G^{i}(x,y)=\Gamma _{jk}^{i}(x)y^{j}y^{k}.$ 

Для вектора $y\in <!--\; \in \; -->T_{x}M\mathrm{\setminus <!--\; \setminus \; -->}\{0\}$$y\in T_{x}M\backslash \{0\}$  рассмотрим функции $R_k^i(y)=2\frac{\mathrm{\partial <!--\; \partial \; -->}{G}^i}{\mathrm{\partial <!--\; \partial \; -->}{x}^k}-<!--\; -\; -->\frac{{\mathrm{\partial <!--\; \partial \; -->}}^2{G}^i}{\mathrm{\partial <!--\; \partial \; -->}{x}^j\mathrm{\partial <!--\; \partial \; -->}{y}^k}{y}^j+2G^j\frac{{\mathrm{\partial <!--\; \partial \; -->}}^2{G}^i}{\mathrm{\partial <!--\; \partial \; -->}{y}^j\mathrm{\partial <!--\; \partial \; -->}{y}^k}-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}{G}^i}{\mathrm{\partial <!--\; \partial \; -->}{y}^j}\frac{\mathrm{\partial <!--\; \partial \; -->}{G}^j}{\mathrm{\partial <!--\; \partial \; -->}{y}^k}$$R_{k}^{i}(y)=2{\frac {\partial G^{i}}{\partial x^{k}}}-{\frac {\partial ^{2}G^{i}}{\partial x^{j}\partial y^{k}}}y^{j}+2G^{j}{\frac {\partial ^{2}G^{i}}{\partial y^{j}\partial y^{k}}}-{\frac {\partial G^{i}}{\partial y^{j}}}{\frac {\partial G^{j}}{\partial y^{k}}}$ . Тогда семейство преобразований $\mathbf{R}=\left\{{\mathbf{R}}_y=R_k^i(y)\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{x}^i}\otimes <!--\; \otimes \; -->d{x}^k{|}_x:T_{x}M\to <!--\; \to \; -->T_{x}M,y\in <!--\; \in \; -->T_{x}M\mathrm{\setminus <!--\; \setminus \; -->}\{0\},x\in <!--\; \in \; -->M\right\}$$\mathbf {R} =\left\{\mathbf {R} _{y}=R_{k}^{i}(y){\frac {\partial }{\partial x^{i}}}\otimes dx^{k}|_{x}:T_{x}M\rightarrow T_{x}M,y\in T_{x}M\backslash \{0\},x\in M\right\}$  называется римановой кривизной. Пусть $P\subset <!--\; \subset \; -->T_{x}M$$P\subset T_{x}M$  касательная 2-мерная плоскость. Для вектора $y\in <!--\; \in \; -->P\mathrm{\setminus <!--\; \setminus \; -->}\{0\}$$y\in P\backslash \{0\}$ , определим $K(P,y)=\frac{{\mathbf{g}}_y({\mathbf{R}}_y(u),u)}{{\mathbf{g}}_y(y,y){\mathbf{g}}_y(u,u)-<!--\; -\; -->{\mathbf{g}}_y(y,u{)}^2},$$K(P,y)={\frac {\mathbf {g} _{y}(\mathbf {R} _{y}(u),u)}{\mathbf {g} _{y}(y,y)\mathbf {g} _{y}(u,u)-\mathbf {g} _{y}(y,u)^{2}}},$  где $u\in <!--\; \in \; -->P$$u\in P$  такой вектор, что $P=\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{n}\{y,u\}$$P=\mathrm {img} \{y,u\}$ . $K(P,y)$$K(P,y)$  не зависит от выбора $u\in <!--\; \in \; -->P$$u\in P$ . Число $K(P,y)$$K(P,y)$  называется флаговой кривизной флага $(P,y)$$(P,y)$  в $T_{x}M$$T_{x}M$ .

ИсторияПравить

Идею финслерова пространства можно увидеть уже в лекции Римана «О гипотезах, лежащих в основаниях геометрии» (1854). Наряду с метрикой, задаваемой положительным квадратным корнем из положительно определенной квадратичной дифференциальной формы (римановой метрикой), Риман рассматривает также метрику, задаваемую положительным корнем четвёртой степени из дифференциальной формы четвёртого порядка. Финслерова метрика является следующим естественным обобщением.

Систематическое изучение многообразий с такой метрикой началось с диссертации Пауля Финслера, опубликованной в 1918 году, поэтому название таких метрических пространств связывают с его именем. Фактором, положившим начало исследовательской деятельности в этом направлении считается введение Каратеодори новых геометрических методов в вариационное исчисление для изучения задач в параметрической форме. Ядром этих методов является понятие индикатрисы, причём свойство выпуклости индикатрисы играет в этих методах важную роль, поскольку оно обеспечивает выполнение необходимых условий минимума в вариационной задаче для стационарных кривых.

Несколькими годами позже в общем развитии финслеровой геометрии происходит поворот от первоначальной точки зрения Финслера к новым теоретическим методам. Финслер, руководствуясь в основном понятиями вариационного исчисления, не использовал методов тензорного анализа. В 1925 году тензорный анализ был применен к теории почти одновременно Сингом, Тейлором (англ. J.H. Taylor) и Бервальдом (нем. L. Berwald). В 1927 году Бервальд предложил обобщение, в котором не выполняется условие положительной определённости метрики, известное позднее как пространство Бервальда — Моора.

Следующий поворот в развитии теории произошёл в 1934 году, когда Картан опубликовал трактат о финслеровых пространствах. Картановский подход преобладал практически во всех последующих исследованиях геометрии финслеровых пространств, и несколько математиков выразили мнение, что в результате теория достигла своей окончательной формы. Метод Картана вёл к развитию финслеровой геометрии путём прямого развития методов римановой геометрии.

Критику методов Картана независимо друг от друга высказали несколько геометров, в частности, Вагнер, Буземан и Рунд (англ.). Ими было подчёркнуто, что естественной локальной метрикой финслерова пространства является метрика Минковского, тогда как произвольное наложение евклидовой метрики ведёт к утере наиболее интересных характеристик финслеровых пространств. По этим причинам в начале 1950-х годов были выдвинуты дальнейшие теории, в результате этого возникли заметные трудности, Буземан отмечал по этому поводу: «Финслерова геометрия со стороны представляет собой лес, в котором вся растительность состоит из тензоров».

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

На русском языке

• Г. С. Асанов. Финслерово пространство с алгебраической метрикой, определяемой полем реперов — Итоги науки и техн. Сер. Пробл. геом., 8, ВИНИТИ, М., 1977, 67-87.
• В. И. Близникас. Пространства Финслера и их обобщения — Итоги науки. Сер. Мат. Алгебра. Топол. Геом. 1967, ВИНИТИ, М., 1969, 73-125.
• В. Г. Жотиков. Введение в геометрию Финслера и её обобщения (для физиков) — М.: МФТИ, 2014. ISBN 978-5-7417-0462-2.
• П. К. Рашевский. Полиметрическая геометрия, — Труды семинара по векторному и тензорному анализу с их приложениями к геометрии, механике и физике. Выпуск 5. ОГИЗ, 1941.
• П. К. Рашевский. Геометрическая теория уравнений с частными производными, — Любое издание.
• Х. Рунд. Дифференциальная геометрия финслеровых пространств, — М.: «Наука», 1981.

На английском языке

• P. L. Antonelli. Handbook of Finsler geometry, — Kluwer Academic Publishers, Dordrecht, 2003.
• D. Bao, S. S. Chern and Z. Shen. An Introduction to Riemann-Finsler Geometry, — Springer-Verlag, 2000. ISBN 0-387-98948-X.
• S. S. Chern. Finsler geometry is just the Riemannian geometry without the quadratic restriction — Notices AMS, 43, September 1996.
• Z. Shen. Lectures on Finsler Geometry, — World Scientific Publishers, 2001. ISBN 981-02-4531-9.
• Z. Shen. Differential geometry of spray and Finsler spaces, — Kluwer Academic Publishers, Dordrecht, 2001.

СсылкиПравить

• Home Page of Finsler Geometry — Сайт Чжунмин Шэня (Zhongmin Shen) о финслеровой геометрии. (англ.)
• Некоммерческий фонд развития исследований по финслеровой геометрии.
• Chris Moseley (Calvin College), «Finsler and sub-Finsler geometries» (презентация доклада 2013 года) (англ.)
• В. Г. Жотиков. «Что такое геометрия Финслера и почему её нужно понимать физикам» (презентация доклада)