What problem does this paper attempt to address?

The problem that this paper attempts to solve is to study two left - invariant Lorentz problems on the Heisenberg group. Specifically, the author considered the optimal control problems under specific control conditions and applied Pontryagin's Maximum Principle (PMP) to analyze and solve these problems. The following are the main problems involved in the paper: ### 1. The first problem #### 1.1 Problem description The first problem is a Lorentz problem on the Heisenberg group, and its control equation is: \[ \dot{q}=\sum_{i = 1}^{3}u_{i}X_{i},\quad q=(x,y,z)\in G, \] where \(u\in U =\{(u_{1},u_{2},u_{3})\in\mathbb{R}^{3}\mid u_{1}^{2}+u_{2}^{2}-u_{3}^{2}\leq0,u_{3}\geq0\}\), the initial condition is \(q(0) = q_{0}=(0,0,0)\), and the goal is to maximize the following performance index: \[ J(\gamma)=\int_{0}^{t_{1}}\sqrt{u_{3}^{2}-u_{1}^{2}-u_{2}^{2}}\,dt. \] #### 1.2 Application of Pontryagin's Maximum Principle By applying Pontryagin's Maximum Principle, the author derived the extremal trajectory parameterizations in the anomalous case and the normal case. For each case, they analyzed the Hamiltonian system, the reachable set, and the existence of the optimal trajectory. ### 2. The second problem #### 2.1 Problem description The second problem is another similar Lorentz problem, but with a different control set: \[ \dot{q}=\sum_{i = 1}^{3}u_{i}X_{i},\quad q=(x,y,z)\in G, \] where \(u\in U=\{(u_{1},u_{2},u_{3})\in\mathbb{R}^{3}\mid - u_{1}^{2}+u_{2}^{2}+u_{3}^{2}\leq0,u_{1}\geq0\}\), the initial condition is \(q(0)=q_{0}=(0,0,0)\), and the goal is to maximize the following performance index: \[ J(\gamma)=\int_{0}^{t_{1}}\sqrt{u_{1}^{2}-u_{2}^{2}-u_{3}^{2}}\,dt. \] #### 2.2 Application of Pontryagin's Maximum Principle Similarly, the author applied Pontryagin's Maximum Principle to derive the extremal trajectory parameterizations in the anomalous and normal cases and analyzed the reachable set and the existence of the optimal trajectory. ### Main contributions - **Parameterizing extremal trajectories**: Through the detailed application of Pontryagin's Maximum Principle, the author obtained the specific forms of the extremal trajectories in the anomalous and normal cases. - **Reachable set and optimality**: Studied the reachable set of the system and proved the existence of the optimal trajectory in some cases. - **Theoretical results**: Provided theoretical results regarding Lorentz distance and the existence of the longest path, such as Theorem 2 and Theorem 3. In general, this paper aims to use mathematical tools (such as Pontryagin's Maximum Principle) to gain a deep understanding of Lorentz geometric problems on the Heisenberg group and lay the foundation for subsequent research.

Lorentzian problems on the Heisenberg group

Lorentzian anti-de Sitter plane

Lorentzian distance on the Lobachevsky plane

Sub-Lorentzian geodesics on ${\rm GL}^{+}(2,\mathbb{C})$ with the generating space of Hermitian matrices in the Lie algebra $\mathfrak{gl}^{+}(2,\mathbb{C})$

Existence Theorem for Sub-Lorentzian Problems

Extremals in the Engel group with a sub-Lorentzian metric

Sub-Lorentzian Geometry on the Martinet Distribution

Conformally Einstein Lorentzian Lie groups with Heisenberg symmetry

Sub-Lorentzian extremals defined by an antinorm

Existence of Sub-Lorentzian Longest Curves

Magnetic trajectories on Heisenberg nilmanifolds

Lorentzian polynomials

Realization of unitary representations of the Lorentz group on de Sitter space

Conformal actions of solvable Lie groups on closed Lorentzian manifolds

Linear functional equations and their solutions in Lorentz spaces

Extremals on Lie groups with asymmetric polyhedral Finsler structures

On global solutions of heat equations with time-dependent nonlinearities on unimodular Lie groups

The hidden Lorentz Covariance of Quantum Mechanics

Covariant projective representations of Hilbert-Lie groups