Integral representations for bracket-generating multi-flows

DOI10.3934/DCDS.2015.35.4345zbMATH Open1350.53041arXiv1709.02677OpenAlexW2322551396MaRDI QIDQ255841FDOQ255841

Authors: Ermal Feleqi, Franco Rampazzo 

Publication date: 9 March 2016

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

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.

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

Recommendations

• scientific article
• 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

zbMATH Keywords

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

Mathematics Subject Classification ID

Controllability (93B05) 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)

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
• Step-\(s\) involutive families of vector fields, their orbits and the Poincaré inequality
• Title not available (Why is that?)
• Generalized Jacobi identities and ball-box theorem for horizontally regular vector fields
• Hölder continuity of weak solutions to subelliptic equations with rough coefficients
• Nonsmooth Hörmander vector fields and their control balls
• Commutators of flow maps of nonsmooth vector fields

Cited In (11)

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

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)