Integral representations for bracket-generating multi-flows

DOI10.3934/DCDS.2015.35.4345MaRDI QIDQ255841zbMATH OpenOpenAlexFDO

Authors Ermal Feleqi, Franco Rampazzo

Publication date 9 March 2016

Published in Discrete and Continuous Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.02677

zbMATH Keywords

asymptotic formulasChow's theoremintegral formulasiterated Lie bracketslow smoothness hypothesesmulti-flows

Mathematics Subject Classification ID

Explicit solutions, first integrals of ordinary differential equations (34A05) Geometric methods in ordinary differential equations (34A26) Control problems involving ordinary differential equations (34H05) Dynamics induced by flows and semiflows (37C10) Sub-Riemannian geometry (53C17) Controllability (93B05)

Abstract: If $f_1,f_2$ are smooth vector fields on an open subset of an Euclidean space and $[f_1,f_2]$ is their Lie bracket, the asymptotic formula ${\displaystyle }$Psi_{[f_1,f_2]}(t_1,t_2)(x) - x =t_1t_2 [f_1,f_2](x) +o(t_1t_2),${\displaystyle }$ where we have set $Ps{i}_{[f_1,f_2]}(t_1,t_2)(x):=exp(-t_2{f}_2)circexp(-t_1{f}_1)circexp(t_2{f}_2)circexp(t_1{f}_1)(x)$, is valid for all $t_1,t_2$ small enough. In fact, the integral, exact formula �egin{equation}label{abstractform} Psi_{[f_1,f_2]}(t_1,t_2)(x) - x = int_0^{t_1}int_0^{t_2}[f_1,f_2]^{(s_2,s_1)} (Psi(t_1,s_2)(x))ds_1,ds_2 , end{equation} where $[f_1,f_2{]}^{(s_2,s_1)}(y):=DBig(exp(s_1{f}_1)circexp(s_2{f}_2)Big{)}^{-1}cdot[f_1,f_2](exp(s_1{f}_1)circexp(s_2{f}_2)(y)),$ with $y=Psi(t_1,s_2)(x)$ has also been proven. Of course the integral formula can be regarded as an improvement of the asymptotic formula. In this paper we show that an integral representation holds true for any iterated bracket made from elements of a family of vector fields $f_1,dots,f_k$. In perspective, these integral representations might lie at the basis for extensions of asymptotic formulas involving nonsmooth vector fields.

Recommendations

• scientific article; zbMATH DE number 431388
• Foliating metric spaces: a generalization of Frobenius' theorem
• Iterated Lie brackets for nonsmooth vector fields
• Commutators of flow maps of nonsmooth vector fields
• Asymptotic expansion of stochastic flows

Cites work

• Almost exponential maps and integrability results for a class of horizontally regular vector fields
• Basic properties of nonsmooth Hörmander's vector fields and Poincaré's inequality
• Commutators of flow maps of nonsmooth vector fields
• Generalized Jacobi identities and ball-box theorem for horizontally regular vector fields
• scientific article; zbMATH DE number 3634692 (Why is no real title available?)
• Hölder continuity of weak solutions to subelliptic equations with rough coefficients
• Nonsmooth Hörmander vector fields and their control balls
• Step-s involutive families of vector fields, their orbits and the Poincaré inequality

Cited in

(12)

• Iterated Lie brackets for nonsmooth vector fields
• Measure-theoretic Lie brackets for nonsmooth vector fields
• Robust feedback stabilization by means of Lyapunov-like functions determined by Lie brackets
• Multiple Lie derivatives and forests
• Convex hull property and exclosure theorems for \(H\)-minimal hypersurfaces in Carnot groups
• Asymptotic Controllability and Lyapunov-like Functions Determined by Lie Brackets
• Hypoelliptic mean field games -- a case study
• scientific article; zbMATH DE number 2236705 (Why is no real title available?)
• Correction to: ``Integral representations for bracket-generating multi-flows
• HJ inequalities involving Lie brackets and feedback stabilizability with cost regulation
• A Lie-bracket-based notion of stabilizing feedback in optimal control
• Regularity of the minimum time and of viscosity solutions of degenerate eikonal equations via generalized Lie brackets

This page was built for publication: Integral representations for bracket-generating multi-flows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q255841)