| Математические заметки |
|
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях) Краткие сообщения Лоренцева геометрия на плоскости Лобачевского Ю. Л. Сачковa a Институт программных систем им. А. К. Айламазяна РАН, г. Переславль-Залесский
Англоязычная версия:
Mathematical Notes, 2023, Volume 114, Issue 1, Pages DOI: https://doi.org/10.1134/S0001434623070143 
Реферативные базы данных:
  Лоренцева геометрия есть математическое основание теории относительности [1]–[3]. Она отличается от римановой тем, что здесь информация может распространяться вдоль кривых с векторами скорости из некоторого острого конуса. Здесь естественной является задача отыскания лоренцевых длиннейших, максимизирующих функционал типа длины вдоль допустимых кривых. Поэтому важной задачей является описание лоренцевых длиннейших для всех пар точек, где вторая достижима из первой вдоль допустимой кривой. Насколько нам известно, эта задача полностью исследована лишь в простейшем случае левоинвариантной лоренцевой структуры в $\mathbb R^{n+1}$, для пространства Минковского $\mathbb R_1^{n+1}$ [4]. В этой заметке представлено описание лоренцевых длиннейших, расстояния и сфер для следующего естественного случая – для левоинвариантных лоренцевых структур на единственной связной односвязной неабелевой двумерной группе Ли. Эти результаты получены методами геометрической теории управления [5], [6]. Любопытно, что в этих задачах длиннейшие существуют не для всех достижимых пар точек, а лоренцево расстояние может быть бесконечным в конечных точках. При этом все экстремальные траектории (удовлетворяющие принципу максимума Понтрягина) оптимальны, т.е. сопряженные точки и точки разреза отсутствуют. Оптимальные траектории параметризуются элементарными функциями, как и сферы и расстояния. Пусть $G=\operatorname{Aff}(\mathbb R)=\{(x, y) \in \mathbb R^2 \mid y>0\}$ есть группа собственных аффинных функций на прямой, плоскость Лобачевского в модели Пуанкаре в верхней полуплоскости [7], [8]. Пусть $\mathfrak g$ есть алгебра Ли левоинвариантных векторных полей на группе Ли $G$. Рассмотрим левоинвариантный репер
$$
\begin{equation*}
X_1=y \frac{\partial}{\partial x}, \qquad X_2=y \frac{\partial}{\partial y} \in \mathfrak g.
\end{equation*}
\notag
$$
Левоинвариантная лоренцева структура на группе Ли $G$ есть невырожденная квадратичная форма $g$ индекса 1 на алгебре Ли $\mathfrak g$. Элемент $X \in \mathfrak g$ называется времениподобным (соответственно пространственноподобным, светоподобным), если $g(X) < 0$ (соответственно $g(X)> 0$, $g(X)=0$). Ориентацией времени называется любой времениподобный элемент $X_0 \in \mathfrak g$. Обозначим линейную форму $g_0(X)=g(X, X_0)$, $X \in \mathfrak g$. Левоинвариантная лоренцева задача оптимального управления на группе $G$ имеет вид
$$
\begin{equation}
u=(u_1, u_2)\in U=\bigl\{u \in \mathbb R^2 \mid g(u) \leqslant 0,\,g_0(u) \leqslant 0 \bigr\},
\end{equation}
\tag{2}
$$
$$
\begin{equation}
q(0)=q_0=\operatorname{Id}=(0, 1), \quad q(t_1)=q_1, \qquad l=\int_0^{t_1} \sqrt{|g(u)|} \, dt \to \max.
\end{equation}
\tag{3}
$$
Решение $q(t)$ задачи (1)–(3) называется лоренцевой длиннейшей. Оптимальное значение этой задачи $\sup l=d(q_1) \in [0,+ \infty]$ называется лоренцевым расстоянием от точки $q_0$ до точки $q_1$, если $q_1$ достижима из $q_0$ для системы (1), (2) за неотрицательное время. Множество $S(R)=\{q \in G \mid d(q)=R\}$ есть лоренцева сфера радиуса $R\in [0, +\infty]$. Множество задач (1)–(3) параметризуется матрицами
$$
\begin{equation*}
A=\begin{pmatrix} a & b \\ c & d \end{pmatrix}, \qquad |A|>0,
\end{equation*}
\notag
$$
такими, что
$$
\begin{equation*}
g(u)=- (au_1+bu_2)^2 +(cu_1+du_2)^2, \qquad g_0(u)=au_1+bu_2.
\end{equation*}
\notag
$$
Рассмотрим функции на $G$:
$$
\begin{equation*}
\lambda_1(q)=(c-a)x+(d-b)(y-1), \qquad \lambda_2(q)= (c+a)x+(d+b)(y-1), \qquad \lambda_3(q)=\lambda_1(q)+\frac{2 |A|}{a+c}.
\end{equation*}
\notag
$$
Теорема 1. Множество достижимости системы (1), (2) (каузальное будущее) из $q_0$ за произвольное неотрицательное время есть $J^+=\{ q \in G \mid \lambda_2(q) \leqslant 0 \leqslant \lambda_1(q)\}$. Введем в случае $g(X_1) <0$ разбиение $J^+=D \sqcup F \sqcup E$, где
$$
\begin{equation*}
\begin{gathered} \, D=\bigl\{q \in G \mid \lambda_2(q) \leqslant 0 \leqslant \lambda_1(q),\, \lambda_3(q) < 0\bigr\}, \\ F=\bigl\{q\in G \mid \lambda_3(q)=0\bigr\}, \qquad E=\bigl\{ q \in G \mid \lambda_3(q)>0\bigr\}. \end{gathered}
\end{equation*}
\notag
$$
Теорема 2. (1) Каждая задача (1)–(3) сильно каузальна и геодезически неполна [2]. (2) Задача (1)–(3) глобально гиперболическая [2] тогда и только тогда, когда $g(X_1) \geqslant 0$. (3) Если $g(X_1) <0$, то лоренцева длиннейшая, соединяющая точки $q_0$ и $q_1 \in J^+ \setminus \{q_0\}$, существует тогда и только тогда, когда $q_1 \in D$. (4) Если $g(X_1) \geqslant 0$, то точка $q_0$ соединима с любой точкой $q_1 \in J^+ \setminus \{q_0\}$ некоторой лоренцевой длиннейшей. Теорема 3. Времениподобные экстремальные траектории вещественно аналитические. Светоподобные экстремальные траектории суть произвольные липшицевы перепараметризации светоподобных однопараметрических подгрупп. Любая времениподобная геодезическая есть дуга гиперболы с асимптотой, параллельной светоподобной однопараметрической подгруппе, или прямолинейный отрезок. Теорема 5. Если $q_1 \in \operatorname{int} D$ при $g(X_1) < 0$, и $q_1 \in \operatorname{int} J^+$ при $g(X_1) \geqslant 0$, то существует единственная лоренцева длиннейшая $q(t)$, $g(\dot q(t)) \equiv-1$, соединяющая $q_0$ и $q_1$. Теорема 6. (1) Если $g(X_1) < 0$, то $d \in C^{\omega}(\operatorname{int} D)$, $d \in C(\operatorname{cl} D)$. Кроме того, $0 \leqslant d|_D < \pi$, $d|_F=\pi$, $d|_E=+ \infty$. (2) Если $g(X_1) \geqslant 0$, то $ d \in C^{\omega}(\operatorname{int} J^+)$, $ d \in C (J^+)$. Кроме того, $0 \leqslant d|_{J^+} <+\infty$. (3) Вблизи точек гладкости $\partial D$ в случае $g(X_1) < 0$ и точек гладкости $\partial J^+$ в случае $g(X_1) \geqslant 0$ лоренцево расстояние $d$ есть гёльдерова функция с показателем $1/2$ от евклидова расстояния до соответствующей границы. (4) Расстояние $d$ выражается в элементарных функциях: обратных гиперболических функциях при $g(X_1) < 0$, обратных тригонометрических функциях при $g(X_1)>0$, квадратных корнях и рациональных функциях при $g(X_1)=0$. Теорема 7. Лоренцевы сферы $S(R)$ суть некомпактные в обоих направлениях дуги гипербол при $g(X_1) < 0$ и $R \in (0, \pi)$, и при $g(X_1) \geqslant 0$ и $R \in (0,+\infty)$. При $g(X_1) < 0$ также $S(\pi)=F$, $S(+\infty)=E$. В любой задаче (1)–(3) лоренцева сфера $S(0)=\partial J^+$ есть ломаная из двух прямолинейных лучей – светоподобных однопараметрических подгрупп в $G$. В качестве характерных примеров лоренцевых задач (1)–(3) рассмотрим следующие задачи $P_i$, $i=1, 2, 3$:
$$
\begin{equation*}
\begin{aligned} \, &P_1\colon \qquad U=\{u=(u_1, u_2) \in \mathbb R^2 \mid u_2^2-u_1^2\leqslant 0, \ u_1 \geqslant 0\}, \quad g=u_2^2-u_1^2, \quad g_0=-u_1, \\ &P_2\colon \qquad U=\{u=(u_1, u_2) \in \mathbb R^2 \mid u_1^2-u_2^2\leqslant 0, \ u_2 \geqslant 0\}, \quad g=u_1^2-u_2^2, \quad g_0=-u_2, \\ &P_3\colon \qquad U=\{u=(u_1, u_2) \in \mathbb R^2 \mid u_1 \geqslant 0, \ u_2 \geqslant 0\}, \quad g=-u_1 u_2, \quad g_0=-u_1. \end{aligned}
\end{equation*}
\notag
$$
В теоремах 8–10 для этих задач приводится явный вид длиннейших $q(t)=(x(t), y(t))$, $t \in [0, t_1]$, соединяющих точки $q_0$ и $q_1 \in J^+ \setminus \{q_0\}$ (когда длиннейшие существуют), а также расстояние $d(q_1)$. Если $q_1 \in \operatorname{int} D$ в задаче $P_1$ и $q_1 \in \operatorname{int} J^+$ в задачах $P_2$, $P_3$, то $g(\dot q(t)) \equiv -1$, т.е. длиннейшая $q(t)$ времениподобна и натурально параметризована. В остальных случаях $g(\dot q(t)) \equiv 0$, т.е. длиннейшая $q(t)$ светоподобна; кроме того, она является однопараметрической подгруппой в $G$ с естественной параметризацией.
В случае $g(X_1)<0$ (соответственно $g(X_1)>0$, $g(X_1)=0$) решение подобно решению задачи $P_1$ (соответственно $P_2$, $P_3$). Теорема 8. Пусть для задачи $P_1$ точка $q_1=(x_1, y_1) \in D \setminus \{q_0\}$. Теорема 9. Пусть для задачи $P_2$ точка $q_1=(x_1, y_1) \in J^+ \setminus \{q_0\}$. Автор благодарит А. А. Аграчева, Л. В. Локуциевского и И. А. Тайманова за обсуждение данной работы. 
Цитирование в формате AMSBIB
\RBibitem{Sac23} |
|
||||||||||||||||||||||
|
Обратная связь: |
Пользовательское соглашение
|
Регистрация посетителей портала |
Логотипы |
|