Conjugate times and regularity of the minimum time function with differential inclusions

This paper studies the regularity of the minimum time function, $T(\cdot)$, for a control system with a general closed target, taking the state equation in the form of a differential inclusion. Our first result is a sensitivity relation which guarantees the propagation of the proximal subdifferential of $T$ along any optimal trajectory. Then, we obtain the local $C^2$ regularity of the minimum time function along optimal trajectories by using such a relation to exclude the presence of conjugate times

Indirect stabilization of weakly coupled systems with hybrid boundary conditions

We investigate stability properties of indirectly damped systems of evolution equations in Hilbert spaces, under new compatibility assumptions. We prove polynomial decay for the energy of solutions and optimize our results by interpolation techniques, obtaining a full range of power-like decay rates. In particular, we give explicit estimates with respect to the initial data. We discuss several applications to hyperbolic systems with {\em hybrid} boundary conditions, including the coupling of two wave equations subject to Dirichlet and Robin type boundary conditions, respectively

A nonhomogeneous boundary value problem in mass transfer theory

We prove a uniqueness result of solutions for a system of PDEs of Monge-Kantorovich type arising in problems of mass transfer theory. The results are obtained under very mild regularity assumptions both on the reference set $\Omega\subset\mathbf{R}^n$, and on the (possibly asymmetric) norm defined in $\Omega$. In the special case when $\Omega$ is endowed with the Euclidean metric, our results provide a complete description of the stationary solutions to the tray table problem in granular matter theory.Comment: 22 pages, 2 figure

Continuity of Optimal Control Costs and its application to Weak KAM Theory

We prove continuity of certain cost functions arising from optimal control of affine control systems. We give sharp sufficient conditions for this continuity. As an application, we prove a version of weak KAM theorem and consider the Aubry-Mather problems corresponding to these systems.Comment: 23 pages, 1 figures, added explanations in the proofs of the main theorem and the exampl

The value function of an asymptotic exit-time optimal control problem

We consider a class of exit--time control problems for nonlinear systems with a nonnegative vanishing Lagrangian. In general, the associated PDE may have multiple solutions, and known regularity and stability properties do not hold. In this paper we obtain such properties and a uniqueness result under some explicit sufficient conditions. We briefly investigate also the infinite horizon problem

SBV regularity for Hamilton-Jacobi equations in Rn\mathbb R^n

In this paper we study the regularity of viscosity solutions to the following Hamilton-Jacobi equations $$\partial_t u + H(D_{x} u)=0 \qquad \textrm{in} \Omega\subset \mathbb R\times \mathbb R^{n} .$$ In particular, under the assumption that the Hamiltonian $H\in C^2(\mathbb R^n)$ is uniformly convex, we prove that $D_{x}u$ and $\partial_t u$ belong to the class $SBV_{loc}(\Omega)$.Comment: 15 page

Bishop and Laplacian Comparison Theorems on Three Dimensional Contact Subriemannian Manifolds with Symmetry

We prove a Bishop volume comparison theorem and a Laplacian comparison theorem for three dimensional contact subriemannian manifolds with symmetry

Mass Transportation on Sub-Riemannian Manifolds

We study the optimal transport problem in sub-Riemannian manifolds where the cost function is given by the square of the sub-Riemannian distance. Under appropriate assumptions, we generalize Brenier-McCann's Theorem proving existence and uniqueness of the optimal transport map. We show the absolute continuity property of Wassertein geodesics, and we address the regularity issue of the optimal map. In particular, we are able to show its approximate differentiability a.e. in the Heisenberg group (and under some weak assumptions on the measures the differentiability a.e.), which allows to write a weak form of the Monge-Amp\`ere equation

Some flows in shape optimization

Geometric flows related to shape optimization problems of Bernoulli type are investigated. The evolution law is the sum of a curvature term and a nonlocal term of Hele-Shaw type. We introduce generalized set solutions, the definition of which is widely inspired by viscosity solutions. The main result is an inclusion preservation principle for generalized solutions. As a consequence, we obtain existence, uniqueness and stability of solutions. Asymptotic behavior for the flow is discussed: we prove that the solutions converge to a generalized Bernoulli exterior free boundary problem

A QUASI-VARIATIONAL INEQUALITY PROBLEM IN SUPERCONDUCTIVITY

Accepted versio