-
Extremals on Lie groups with asymmetric polyhedral Finsler structures
Authors:
Jéssica B. Prudencio,
Ryuichi Fukuoka
Abstract:
In this work we study extremals on Lie groups $G$ endowed with a left invariant polyhedral Finsler structure. We use the Pontryagin's Maximal Principle (PMP) to find curves on the cotangent bundle of the group, such that its projections on $G$ are extremals. Let $\mathfrak g$ and $\mathfrak g^\ast$ be the Lie algebra of $G$ and its dual space respectively. We represent this problem as a control sy…
▽ More
In this work we study extremals on Lie groups $G$ endowed with a left invariant polyhedral Finsler structure. We use the Pontryagin's Maximal Principle (PMP) to find curves on the cotangent bundle of the group, such that its projections on $G$ are extremals. Let $\mathfrak g$ and $\mathfrak g^\ast$ be the Lie algebra of $G$ and its dual space respectively. We represent this problem as a control system $\mathfrak a^\prime (t)= -\mathrm{ad}^\ast(u(t))(\mathfrak a(t))$ of Euler-Arnold type equation, where $u(t)$ is a measurable control in the unit sphere of $\mathfrak g$ and $\mathfrak a(t)$ is an absolutely continuous curve in $\mathfrak g^\ast$. A solution $(u(t), \mathfrak a(t))$ of this control system is a Pontryagin extremal and $\mathfrak a(t)$ is its vertical part. In this work we show that for a fixed vertical part of the Pontryagin extremal $\mathfrak a(t)$, the uniqueness of $u(t)$ such that $(u(t),\mathfrak a(t))$ is a Pontryagin extremal can be studied through an asymptotic curvature of $\mathfrak a(t)$.
△ Less
Submitted 22 February, 2025; v1 submitted 5 April, 2022;
originally announced April 2022.
-
Geodesic fields for Pontryagin type $C^0$-Finsler manifolds
Authors:
Ryuichi Fukuoka,
Hugo Murilo Rodrigues
Abstract:
Let $M$ be a differentiable manifold, $T_xM$ be its tangent space at $x\in M$ and $TM=\{(x,y);x\in M;y \in T_xM\}$ be its tangent bundle. A $C^0$-Finsler structure is a continuous function $F:TM \rightarrow \mathbb [0,\infty)$ such that $F(x,\cdot): T_xM \rightarrow [0,\infty)$ is an asymmetric norm. In this work we introduce the Pontryagin type $C^0$-Finsler structures, which are structures that…
▽ More
Let $M$ be a differentiable manifold, $T_xM$ be its tangent space at $x\in M$ and $TM=\{(x,y);x\in M;y \in T_xM\}$ be its tangent bundle. A $C^0$-Finsler structure is a continuous function $F:TM \rightarrow \mathbb [0,\infty)$ such that $F(x,\cdot): T_xM \rightarrow [0,\infty)$ is an asymmetric norm. In this work we introduce the Pontryagin type $C^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 $\mathcal E$ on the slit cotangent bundle $T^\ast M\backslash 0$ of $(M,F)$, which is a generalization of the geodesic spray of Finsler geometry. We study the case where $\mathcal E$ is a locally Lipschitz vector field. We show some examples where the geodesics are more naturally represented by $\mathcal E$ than by a similar structure on $TM$. Finally we show that the maximum of independent Finsler structures is a Pontryagin type $C^0$-Finsler structure where $\mathcal E$ is a locally Lipschitz vector field.
△ Less
Submitted 22 July, 2021; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Mollifier smoothing of $C^0$-Finsler structures
Authors:
Ryuichi Fukuoka,
Anderson Macedo Setti
Abstract:
A $C^0$-Finsler structure is a continuous function $F:TM \rightarrow [0,\infty)$ defined on the tangent bundle of a differentiable manifold $M$ such that its restriction to each tangent space is an asymmetric norm. We use the convolution of $F$ with the standard mollifier in order to construct a mollifier smoothing of $F$, which is a one parameter family of Finsler structures $F_\varepsilon$ (of c…
▽ More
A $C^0$-Finsler structure is a continuous function $F:TM \rightarrow [0,\infty)$ defined on the tangent bundle of a differentiable manifold $M$ such that its restriction to each tangent space is an asymmetric norm. We use the convolution of $F$ with the standard mollifier in order to construct a mollifier smoothing of $F$, which is a one parameter family of Finsler structures $F_\varepsilon$ (of class $\mathit{C}^\infty$ on $TM\backslash 0$) that converges uniformly to $F$ on compact subsets of $TM$. We prove that when $F$ is a Finsler structure, then the Chern connection, the Cartan connection, the Hashiguchi connection, the Berwald connection and the flag curvature of $F_\varepsilon$ converges uniformly on compact subsets to the corresponding objects of $F$. As an application of this mollifier smoothing, we study examples of two-dimensional piecewise smooth Riemannian manifolds with nonzero total curvature on a line segment. We also indicate how to extend this study to the correspondent piecewise smooth Finsler manifolds.
△ Less
Submitted 5 March, 2020; v1 submitted 31 October, 2019;
originally announced October 2019.
-
A large family of projectively equivalent $C^0$-Finsler manifolds
Authors:
Ryuichi Fukuoka
Abstract:
Let $M$ be a differentiable manifold and $TM$ be its tangent bundle. A $C^0$-Finsler structure on $M$ is a continuous function $F: TM \rightarrow \mathbb R$ such that its restriction to each tangent space is a norm. In this work we present a large family of projectively equivalent $C^0$-Finsler manifolds $(\hat M \cong \mathbb R^2,\hat F)$. Their structures $\hat F$ don't have partial derivatives…
▽ More
Let $M$ be a differentiable manifold and $TM$ be its tangent bundle. A $C^0$-Finsler structure on $M$ is a continuous function $F: TM \rightarrow \mathbb R$ such that its restriction to each tangent space is a norm. In this work we present a large family of projectively equivalent $C^0$-Finsler manifolds $(\hat M \cong \mathbb R^2,\hat F)$. Their structures $\hat F$ don't have partial derivatives and they aren't invariant by any transformation group of $\hat M$. For every $p,q \in (\hat M,\hat F)$, we determine the unique minimizing path connecting $p$ and $q$. They are line segments parallel to the vectors $(\sqrt{3}/2,1/2)$, $(0,1)$ or $(-\sqrt{3}/2,1/2)$, or else a concatenation of two of these line segments. Moreover $(\hat M,\hat F)$ aren't Busemann $G$-spaces and they don't admit any bounded open $\hat F$-strongly convex subsets. Other geodesic properties of $(\hat M,\hat F)$ are also studied.
△ Less
Submitted 1 June, 2019; v1 submitted 27 July, 2018;
originally announced July 2018.
-
Sequence of induced Hausdorff metrics on Lie groups
Authors:
Norbil L. Cordova Neyra,
Ryuichi Fukuoka,
Eduardo de A. Neves
Abstract:
Let $\varphi: G \times (M,d) \rightarrow (M,d)$ be a left action of a Lie group on a differentiable manifold endowed with a metric $d$ (distance function) compatible with the topology of $M$. Denote $gp:=\varphi(g,p)$. Let $X$ be a compact subset of $M$. Then the isotropy subgroup of $X$ is a closed subgroup of $G$ defined as $H_X:=\{g\in G; gX=X\}$. The induced Hausdorff metric is a metric on the…
▽ More
Let $\varphi: G \times (M,d) \rightarrow (M,d)$ be a left action of a Lie group on a differentiable manifold endowed with a metric $d$ (distance function) compatible with the topology of $M$. Denote $gp:=\varphi(g,p)$. Let $X$ be a compact subset of $M$. Then the isotropy subgroup of $X$ is a closed subgroup of $G$ defined as $H_X:=\{g\in G; gX=X\}$. The induced Hausdorff metric is a metric on the left coset manifold $G/H_X$ defined as $d_X(gH_X,hH_X)=d_H(gX,hX)$, where $d_H$ is the Hausdorff distance in $M$. Suppose that $\varphi$ is transitive and that there exist $p\in M$ such that $H_X=H_p$. Then $gH_X \mapsto gp$ is a diffeomorphism that identifies $G/H_X$ and $M$. In this work we define a discrete dynamical system of metrics on $M$. Let $d^1=\hat d_X$, where $\hat d_X$ stands for the intrinsic metric associated to $d_X$. We can iterate $\varphi: G \times (M\equiv G/H_X,d^1)\rightarrow (M\equiv G/H_X,d^1)$, in order to get $d^2, d^3$ and so on. We study the particular case where $M=G$, the left action $\varphi: G\times (G,d) \rightarrow (G,d)$ is the product of $G$, $d$ is bounded above by a right invariant intrinsic metric on $G$ and $X\ni e$ is a finite subset of $G$. We prove that the sequence $d^i$ converges pointwise to a metric $d^\infty$. In addition, if $d$ is complete and the semigroup generated by $X$ is dense in $G$, then $d^\infty$ is the distance function of a right invariant $C^0$-Carnot-Carathéodory-Finsler metric. The case where $d^\infty$ is $C^0$-Finsler is studied in detail.
△ Less
Submitted 8 November, 2017; v1 submitted 6 February, 2017;
originally announced February 2017.
-
Induced Hausdorff metrics on quotient spaces
Authors:
Ryuichi Fukuoka,
Djeison Benetti
Abstract:
Let $G$ be a group, $(M,d)$ be a metric space, $X$ be a compact subspace of $M$ and $\varphi:G\times M \rightarrow M$ be a left action by homeomorphisms of $G$ on $M$. Denote $gp=f(g,p)$. The isotropy subgroup of $G$ with respect to $X$ is defined by $H_X=\{g\in G; gX=X\}$. In this work we define the induced Hausdorff metric on $G/H_X$ by $d_X(gH_X,hH_X)=d_H(gX,hX)$, where $d_H$ is the Hausdorff d…
▽ More
Let $G$ be a group, $(M,d)$ be a metric space, $X$ be a compact subspace of $M$ and $\varphi:G\times M \rightarrow M$ be a left action by homeomorphisms of $G$ on $M$. Denote $gp=f(g,p)$. The isotropy subgroup of $G$ with respect to $X$ is defined by $H_X=\{g\in G; gX=X\}$. In this work we define the induced Hausdorff metric on $G/H_X$ by $d_X(gH_X,hH_X)=d_H(gX,hX)$, where $d_H$ is the Hausdorff distance on $M$. Let $\hat d_X$ be the intrinsic metric induced by $d_X$. In this work we study the geometry of $(G/H_X,d_X)$ and $(G/H_X,\hat d_X)$. In particular, we prove that if $G$ is a Lie group, $M$ is a differentiable manifold endowed with a metric $d$ which is locally Lipschitz equivalent to a Finsler metric, $X$ is a compact subset of $M$ and $\varphi:G \times M \rightarrow M$ is a smooth left action by isometries of $G$ on $M$, then $(G/H_X,\hat d_X)$ is $C^0$-Finsler.
△ Less
Submitted 27 September, 2016; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Uniform Stabilization of the wave equation on compact surfaces and locally distributed damping
Authors:
M. M. Cavalcanti,
V. N. Domingos Cavalcanti,
R. Fukuoka,
J. A. Soriano
Abstract:
This paper is concerned with the study of the wave equation on compact surfaces and locally distributed damping. We study the case where the damping is effective on the complement of visible umbilical sets.
This paper is concerned with the study of the wave equation on compact surfaces and locally distributed damping. We study the case where the damping is effective on the complement of visible umbilical sets.
△ Less
Submitted 7 November, 2008;
originally announced November 2008.
-
Asymptotic stability of the wave equation on compact surfaces and locally distributed damping - A sharp result
Authors:
M. M. Cavalcanti,
V. N. Domingos Cavalcanti,
R. Fukuoka,
J. A. Soriano
Abstract:
This paper is concerned with the study of the wave equation on compact surfaces and locally distributed damping. We study the case where the damping is effective in a well-chosen subset of arbitrarily small measure.
This paper is concerned with the study of the wave equation on compact surfaces and locally distributed damping. We study the case where the damping is effective in a well-chosen subset of arbitrarily small measure.
△ Less
Submitted 7 November, 2008;
originally announced November 2008.
-
Mollifier Smoothing of tensor fields on differentiable manifolds and applications to Riemannian Geometry
Authors:
Ryuichi Fukuoka
Abstract:
Let M be a differentiable manifold. We say that a tensor field g defined on M is non-regular if g is in some local Lp space or if g is continuous. In this work we define a mollifier smoothing g_t of g that has the following feature: If g is a Riemannian metric of class C2, then the Levi-Civita connection and the Riemannian curvature tensor of g_t converges to the Levi-Civita connection and to th…
▽ More
Let M be a differentiable manifold. We say that a tensor field g defined on M is non-regular if g is in some local Lp space or if g is continuous. In this work we define a mollifier smoothing g_t of g that has the following feature: If g is a Riemannian metric of class C2, then the Levi-Civita connection and the Riemannian curvature tensor of g_t converges to the Levi-Civita connection and to the Riemannian curvature tensor of g respectively as t converges to zero. Therefore this mollifier smoothing is a good starting point in order to generalize objects of the classical Riemannian geometry to non-regular Riemannian manifolds. Finally we give some applications of this mollifier smoothing. In particular, we generalize the concept of Lipschitz-Killing curvature measure for some non-regular Riemannian manifolds.
△ Less
Submitted 9 August, 2006;
originally announced August 2006.
