The Aronsson equation, Lyapunov functions, and local Lipschitz regularity of the minimum time function

DOI10.1155/2019/6417074MaRDI QIDQ2303076zbMATH OpenOpenAlexFDO

Authors Pierpaolo Soravia

Publication date 2 March 2020

Published in Abstract and Applied Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Stability of topological dynamical systems (37B25) Optimality conditions for problems involving ordinary differential equations (49K15) Sensitivity, stability, well-posedness (49K40) Geometric methods (93B27)

Abstract: We define and study $C^1-$solutions of the Aronsson equation (AE), a second order quasi linear equation. We show that such super/subsolutions make the Hamiltonian monotone on the trajectories of the closed loop Hamiltonian dynamics. We give a short, general proof that $C^1-$solutions are absolutely minimizing functions. We discuss how $C^1-$supersolutions of (AE) become special Lyapunov functions of symmetric control systems, and allow to find continuous feedbacks driving the system to a target in finite time, except on a singular manifold. A consequence is a simple proof that the corresponding minimum time function is locally Lipschitz continuous away from the singular manifold, despite classical results show that it should only be H"older continuous unless appropriate conditions hold. We provide two examples for H"ormander and Grushin families of vector fields where we construct $C^1-$solutions (even classical) explicitly.

Review text

Summary: We define and study \(C^1\)-solutions of the Aronsson equation (AE), a second order quasi linear equation. We show that such super/subsolutions make the Hamiltonian monotone on the trajectories of the closed loop Hamiltonian dynamics. We give a short, general proof that \(C^1\)-solutions are absolutely minimizing functions. We discuss how \(C^1\)-supersolutions of (AE) become special Lyapunov functions of symmetric control systems, and allow to find continuous feedbacks driving the system to a target in finite time, except on a singular manifold. A consequence is a simple proof that the corresponding minimum time function is locally Lipschitz continuous away from the singular manifold, despite classical results showing that it should only be Hölder continuous unless appropriate conditions hold. We provide two examples for Hörmander and Grushin families of vector fields where we construct \(C^1\)-solutions (even classical) explicitly.

Recommendations

• Regularity results for the minimum time function with Hörmander vector fields
• \(C^1\)-regularity of the Aronsson equation in \(\mathbb{R}^2\)
• Regularity of the minimum time and of viscosity solutions of degenerate eikonal equations via generalized Lie brackets
• Hölder continuity of the minimum-time function for C^ 1-manifold targets
• The Aronsson equation for absolute minimizers of $\{L^\infty \}$-functionals associated with vector fields satisfying Hörmander’s condition

Cites work

• \(C^{1,\alpha}\) regularity for infinity harmonic functions in two dimensions
• A tour of the theory of absolutely minimizing functions
• An efficient derivation of the Aronsson equation
• Asymptotic Controllability and Lyapunov-like Functions Determined by Lie Brackets
• Convexity and semiconvexity along vector fields
• Existence of absolute minimizers for noncoercive Hamiltonians and viscosity solutions of the Aronsson equation
• scientific article; zbMATH DE number 5620366 (Why is no real title available?)
• scientific article; zbMATH DE number 3590959 (Why is no real title available?)
• scientific article; zbMATH DE number 1113627 (Why is no real title available?)
• scientific article; zbMATH DE number 3278586 (Why is no real title available?)
• Hölder continuity of the minimum-time function for C^ 1-manifold targets
• Minimization problems for the functional \(\displaystyle{\sup_x}\, F(x,f(x),f'(x))\). I, II
• On Aronsson equation and deterministic optimal control
• On the small-time controllability of discontinuous piece-wise linear systems
• Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
• Optimality principles and representation formulas for viscosity solutions of Hamilton-Jacobi equations. II. Equations of control problems with state constraints
• Partial regularity for solutions to subelliptic eikonal equations
• Properties of infinite harmonic functions on Grushin-type spaces
• Qualitative properties of trajectories of control systems: a survey
• Regularity results for the minimum time function with Hörmander vector fields
• Second order conditions for the controllability of nonlinear systems with drift
• Small-time local attainability for a class of control systems with state constraints
• Strong invariance and one-sided Lipschitz multifunctions
• Sufficient Conditions for Small Time Local Attainability for a Class of Control Systems
• The Aronsson equation for absolute minimizers of $\{L^\infty \}$-functionals associated with vector fields satisfying Hörmander’s condition
• The Aronsson-Euler equation for absolutely minimizing Lipschitz extensions with respect to Carnot-Carathéodory metrics
• The Euler equation and absolute minimizers of \(L^\infty\) functionals
• Uniqueness of Lipschitz extensions: Minimizing the sup norm of the gradient

Cited in

(2)

• A Hamiltonian approach to small time local attainability of manifolds for nonlinear control systems
• The Aronsson-Euler equation for absolutely minimizing Lipschitz extensions with respect to Carnot-Carathéodory metrics

This page was built for publication: The Aronsson equation, Lyapunov functions, and local Lipschitz regularity of the minimum time function

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