Researcher profile

Pierpaolo Soravia

Pierpaolo Soravia contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AP math.OC

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author

5works

0followers

2topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Regularity of the minimum time and of viscosity solutions of degenerate eikonal equations via generalized Lie brackets

In this paper we relax the current regularity theory for the eikonal equation by using the recent theory of { set-valued} iterated Lie brackets. We give sufficient conditions for small time local attainability of general, symmetric, nonlinear systems, which have as a consequence the Hoelder regularity of the minimum time function in optimal control. We then apply such result to prove Hölder continuity of solutions of the Dirichlet boundary value problem for the eikonal equation with low regularity of the coefficients. We also prove that the sufficient conditions for the Hölder regularity are essentially necessary, at least for smooth vector fields and target.

preprint2019arXiv

A degenerate elliptic equation for second order controllability of nonlinear systems

For a general nonlinear control system, we study the problem of small time local attainability of a target which is the closure of an open set. When the target is smooth and locally the sublevel set of a smooth function, we develop second order attainability conditions as explicit pointwise conditions on the vector fields at points where all the available vector fields are contained in the tangent space of its boundary. Our sufficient condition requires the function defining the target to be a strict supersolution of a second order degenerate elliptic equation and if satisfied, it allows to reach the target with a piecewise constant control with at most one switch. For symmetric systems, our sufficient condition is also necessary and can be reformulated as a suitable symmetric matrix having a negative eigenvalue. For nonlinear affine systems to obtain a necessary and sufficient condition we require an additional request on the drift. Our second order pde has the same role of the Hamilton-Jacobi equation for first order sufficient conditions.

preprint2019arXiv

On viscosity and equivalent notions of solutions for anisotropic geometric equations

We prove that viscosity solutions of geometric equations in step two Carnot groups can be equivalently reformulated by restricting the set of test functions at the singular points. These are characteristic points for the level sets of the solutions and are usually difficult to deal with. A similar property is known in the euclidian space, and in Carnot groups is based on appropriate properties of a suitable homogeneous norm. We also use this idea to extend to Carnot groups the definition of generalised flow, and it works similarly to the euclidian setting. These results simplify the handling of the singularities of the equation, for instance to study the asymptotic behaviour of singular limits of reaction diffusion equations. We provide examples of using the simplified definition, showing for instance that boundaries of strictly convex subsets in the Carnot group structure become extinct in finite time when subject to the horizontal mean curvature flow even if characteristic points are present.

preprint2019arXiv

Some results on second order controllability conditions

For a symmetric system, we want to study the problem of crossing an hypersurface in the neighborhood of a given point, when we suppose that all of the available vector fields are tangent to the hypersurface at the point. Classically one requires transversality of at least one Lie bracket generated by two available vector fields. However such condition does not take into account neither the geometry of the hypersurface nor the practical fact that in order to realize the direction of a Lie bracket one needs three switches among the vector fields in a short time. We find a new sufficient condition that requires a symmetric matrix to have a negative eigenvalue. This sufficient condition, which contains either the case of a transversal Lie bracket and the case of a favorable geometry of the hypersurface, is thus weaker than the classical one and easy to check. Moreover it is constructive since it provides the controls for the vector fields to be used and produces a trajectory with at most one switch to reach the goal.

preprint2019arXiv

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

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ö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.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint