The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function

We define and study C1-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 C1-solutions are absolutely minimi...

Full description

Saved in:
Bibliographic Details
Main Author: Pierpaolo Soravia
Format: Article
Language:English
Published: Wiley 2019-01-01
Series:Abstract and Applied Analysis
Online Access:http://dx.doi.org/10.1155/2019/6417074
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832548935365820416
author Pierpaolo Soravia
author_facet Pierpaolo Soravia
author_sort Pierpaolo Soravia
collection DOAJ
description We define and study C1-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 C1-solutions are absolutely minimizing functions. We discuss how C1-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 C1-solutions (even classical) explicitly.
format Article
id doaj-art-16092feffa1c48b0baf6977de5788cfa
institution Kabale University
issn 1085-3375
1687-0409
language English
publishDate 2019-01-01
publisher Wiley
record_format Article
series Abstract and Applied Analysis
spelling doaj-art-16092feffa1c48b0baf6977de5788cfa2025-02-03T06:12:35ZengWileyAbstract and Applied Analysis1085-33751687-04092019-01-01201910.1155/2019/64170746417074The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time FunctionPierpaolo Soravia0Dipartimento di Matematica, Università di Padova, via Trieste 63, 35121 Padova, ItalyWe define and study C1-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 C1-solutions are absolutely minimizing functions. We discuss how C1-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 C1-solutions (even classical) explicitly.http://dx.doi.org/10.1155/2019/6417074
spellingShingle Pierpaolo Soravia
The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function
Abstract and Applied Analysis
title The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function
title_full The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function
title_fullStr The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function
title_full_unstemmed The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function
title_short The Aronsson Equation, Lyapunov Functions, and Local Lipschitz Regularity of the Minimum Time Function
title_sort aronsson equation lyapunov functions and local lipschitz regularity of the minimum time function
url http://dx.doi.org/10.1155/2019/6417074
work_keys_str_mv AT pierpaolosoravia thearonssonequationlyapunovfunctionsandlocallipschitzregularityoftheminimumtimefunction
AT pierpaolosoravia aronssonequationlyapunovfunctionsandlocallipschitzregularityoftheminimumtimefunction