English

Geodesic fields for Pontryagin type $C^0$-Finsler manifolds

Differential Geometry 2022-03-11 v3 Optimization and Control

Abstract

Let MM be a differentiable manifold, TxMT_xM be its tangent space at xMx\in M and TM={(x,y);xM;yTxM}TM=\{(x,y);x\in M;y \in T_xM\} be its tangent bundle. A C0C^0-Finsler structure is a continuous function F:TM[0,)F:TM \rightarrow \mathbb [0,\infty) such that F(x,):TxM[0,)F(x,\cdot): T_xM \rightarrow [0,\infty) is an asymmetric norm. In this work we introduce the Pontryagin type C0C^0-Finsler structures, which are structures that satisfy the minimum requirements of Pontryagin's maximum principle for the problem of minimizing paths. We define the extended geodesic field E\mathcal E on the slit cotangent bundle TM\0T^\ast M\backslash 0 of (M,F)(M,F), which is a generalization of the geodesic spray of Finsler geometry. We study the case where E\mathcal E is a locally Lipschitz vector field. We show some examples where the geodesics are more naturally represented by E\mathcal E than by a similar structure on TMTM. Finally we show that the maximum of independent Finsler structures is a Pontryagin type C0C^0-Finsler structure where E\mathcal E is a locally Lipschitz vector field.

Keywords

Cite

@article{arxiv.2004.05427,
  title  = {Geodesic fields for Pontryagin type $C^0$-Finsler manifolds},
  author = {Ryuichi Fukuoka and Hugo Murilo Rodrigues},
  journal= {arXiv preprint arXiv:2004.05427},
  year   = {2022}
}

Comments

41 pages, 4 figures