
We develop an approach for the analysis of fundamental solutions to
HamiltonJacobi equations of contact type based on a generalized variational
principle proposed by Gustav Herglotz. We also give a quantitative Lipschitz
estimate on the associated minimizers.

We study the nonhomogeneous Dirichlet problem for first order HamiltonJacobi
equations associated with Tonelli Hamiltonians on a bounded domain $\Omega$ of
$\R^n$ assuming the energy level to be supercritical. First, we show that the
viscosity (weak KAM) solution of such a problem is Lipschitz continuous and
locally semiconcave in $\Omega$. Then, we analyse the singular set of a
solution showing that singularities propagate along suitable curves, the
socalled generalized characteristics, and that such curves stay singular
unless they reach the boundary of $\Omega$. Moreover, we prove that the latter
is never the case for mechanical systems and that singular generalized
characteristics converge to a critical point of the solution in finite or
infinite time. Finally, under stronger assumptions for the domain and Dirichlet
data, we are able to conclude that solutions are globally semiconcave and
semiconvex near the boundary.

On a bounded domain $\Omega$ in euclidean space $\mathbb{R}^n$, we study the
homogeneous Dirichlet problem for the eikonal equation associated with a system
of smooth vector fields, which satisfies H\"ormander's bracket generating
condition. We prove that the solution is smooth in the complement of a closed
set of Lebesgue measure zero.

We consider the typical onedimensional strongly degenerate parabolic
operator $Pu= u_t  (x^\alpha u_x)_x$ with $0<x<\ell$ and $\alpha\in(0,2)$,
controlled either by a boundary control acting at $x=\ell$, or by a locally
distributed control. Our main goal is to study the dependence of the socalled
controllability cost needed to drive an initial condition to rest with respect
to the degeneracy parameter $\alpha$. We prove that the control cost blows up
with an explicit exponential rate, as $e^{C/((2\alpha)^2 T)}$, when $\alpha
\to 2^$ and/or $T\to 0^+$.
Our analysis builds on earlier results and methods (based on functional
analysis and complex analysis techniques) developed by several authors such as
FattoriniRussel, Seidman, G\"uichal, TenenbaumTucsnak and Lissy for the
classical heat equation. In particular, we use the moment method and related
constructions of suitable biorthogonal families, as well as new fine properties
of the Bessel functions $J_\nu$ of large order $\nu$ (obtained by ordinary
differential equations techniques).

A classical and useful way to study controllability problems is the moment
method developed by FattoriniRussell, based on the construction of suitable
biorthogonal families. Several recent problems exhibit the same behaviour: the
eigenvalues of the problem satisfy a uniform but rather 'bad' gap condition,
and a rather 'good' but only asymptotic one. The goal of this work is to obtain
general and precise upper and lower bounds for biorthogonal families under
these two gap conditions, and so to measure the influence of the 'bad' gap
condition and the good influence of the 'good' asymptotic one. To achieve our
goals, we extend some of the general results of FattoriniRussell concerning
biorthogonal families, using complex analysis techniques developed by Seidman,
G\"uichal, TenenbaumTucsnak, and Lissy.

In a bounded domain of $\mathbb{R}^n$ with smooth boundary, we study the
regularity of the viscosity solution, $T$, of the Dirichlet problem for the
eikonal equation associated with a family of smooth vector fields $\{X_1,\ldots
,X_N\}$, subject to H\"ormander's bracket generating condition. Due to the
presence of characteristic boundary points, singular trajectories may occur in
this case. We characterize such trajectories as the closed set of all points at
which the solution loses pointwise Lipschitz continuity. We then prove that
the local Lipschitz continuity of $T$, the local semiconcavity of $T$, and the
absence of singular trajectories are equivalent properties. Finally, we show
that the last condition is satisfied when the characteristic set of
$\{X_1,\ldots ,X_N\}$ is a symplectic manifold. We apply our results to
Heisenberg's and Martinet's vector fields.

For autonomous Tonelli systems on $\R^n$, we develop an intrinsic proof of
the existence of generalized characteristics using supconvolutions. This
approach, together with convexity estimates for the fundamental solution, leads
to new results such as the global propagation of singularities along
generalized characteristics.

We study the local controllability properties of 2D and 3D biomimetic
swimmers employing the change of their geometric shape to propel themselves in
an incompressible fluid described by NavierStokes equations. It is assumed
that swimmers' bodies consist of finitely many parts, identified with the fluid
they occupy, that are subsequently linked by the rotational and elastic
internal forces. These forces are explicitly described and serve as the means
to affect the geometric configuration of swimmers' bodies. Similar models were
previously investigated in [6][13].

We consider the onedimensional degenerate parabolic equation $$ u_t 
(x^\alpha u_x)_x =0 \qquad x\in(0,1),\ t \in (0,T) ,$$ controlled by a boundary
force acting at the degeneracy point $x=0$.
First we study the reachable targets at some given time $T$ using $H^1$
controls, extending the moment method developed by Fattorini and Russell to
this class of degenerate equations.
Then we investigate the controllability cost to drive an initial condition to
rest, deriving optimal bounds with respect to $\alpha$ and deducing that the
cost blows up as $\alpha \to 1^$.

We study the global approximate controllability properties of a one
dimensional semilinear reactiondiffusion equation governed via the coefficient
of the reaction term. It is assumed that both the initial and target states
admit no more than finitely many changes of sign. Our goal is to show that any
target state $ u^*\in H_0^1 (0,1)$, with as many changes of sign in the same
order as the given initial data $ u_0\in H^1_0(0,1)$, can be approximately
reached in the $ L^2 (0,1)$norm at some time $T>0$. Our method employs
shifting the points of sign change by making use of a finite sequence of
initialvalue pure diffusion problems.

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.

We study a wave equation in one space dimension with a general diffusion
coefficient which degenerates on part of the boundary. Degeneracy is measured
by a real parameter $\mu_a>0$. We establish observability inequalities for
weakly (when $\mu_a \in [0,1[$) as well as strongly (when $\mu_a \in [1,2[$)
degenerate equations. We also prove a negative result when the diffusion
coefficient degenerates too violently (i.e. when $\mu_a>2$) and the blowup of
the observability time when $\mu_a$ converges to $2$ from below. Thus, using
the HUM method we deduce the exact controllability of the corresponding
degenerate control problem when $\mu_a \in [0,2[$. We conclude the paper by
studying the boundary stabilization of the degenerate linearly damped wave
equation and show that a suitable boundary feedback stabilizes the system
exponentially. We extend this stability analysis to the degenerate nonlinearly
boundary damped wave equation, for an arbitrarily growing nonlinear feedback
close to the origin. This analysis proves that the degeneracy does not affect
the optimal energy decay rates at large time. We apply the optimalweight
convexity method of \cite{alaamo2005, alajde2010} together with the results of
the previous section, to perform this stability analysis.

We study quantitative estimates of compactness in $\mathbf{W}^{1,1}_{loc}$
for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in
\mathrm{Lip}(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a
HamiltonJacobi equation $$ u_t+H\big(x, \nabla_{\!x} u\big)=0\,, \qquad t\geq
0,\quad x\in \mathbb{R}^N, $$ with a convex and coercive Hamiltonian
$H=H(x,p)$. We provide upper and lower bounds of order $1/\varepsilon^N$ on the
the Kolmogorov $\varepsilon$entropy in $\mathbf{W}^{1,1}$ of the image through
the map $S_t$ of sets of bounded, compactly supported initial data.
Quantitative estimates of compactness, as suggested by P.D. Lax, could provide
a measure of the order of "resolution" and of "complexity" of a numerical
method implemented for this equation. We establish these estimates deriving
accurate apriori bounds on the Lipschitz, semiconcavity and semiconvexity
constant of a viscosity solution when the initial data is semiconvex. The
derivation of a small time controllability result is also fundamental to
establish the lower bounds on the $\varepsilon$entropy.

We interpret the close link between the critical points of Mather's barrier
functions and minimal homoclinic orbits with respect to the Aubry sets on
$\mathbb{T}^n$. We also prove a critical point theorem for barrier functions,
and the existence of such homoclinic orbits on $\mathbb{T}^2$ as an
application.

We investigate the properties of the set of singularities of semiconcave
solutions of HamiltonJacobi equations of the form \begin{equation*}
u_t(t,x)+H(\nabla u(t,x))=0, \qquad\text{a.e. }(t,x)\in
(0,+\infty)\times\Omega\subset\mathbb{R}^{n+1}\,. \end{equation*} It is well
known that the singularities of such solutions propagate locally along
generalized characteristics. Special generalized characteristics, satisfying an
energy condition, can be constructed, under some assumptions on the structure
of the Hamiltonian $H$. In this paper, we provide estimates of the dissipative
behavior of the energy along such curves. As an application, we prove that the
singularities of any viscosity solution of the above equation cannot vanish in
a finite time.

This paper investigates the value function, $V$, of a Mayer optimal control
problem with the state equation given by a differential inclusion. First, we
obtain an invariance property for the proximal and Fr\'echet subdifferentials
of $V$ along optimal trajectories. Then, we extend the analysis to the
sub/superjets of $V$, obtaining new sensitivity relations of second order. By
applying sensitivity analysis to exclude the presence of conjugate points, we
deduce that the value function is twice differentiable along any optimal
trajectory starting at a point at which $V$ is proximally subdifferentiable. We
also provide sufficient conditions for the local $C^2$ regularity of $V$ on
tubular neighborhoods of optimal trajectories.

We study quantitative compactness estimates in $\mathbf{W}^{1,1}_{loc}$ for
the map $S_t$, $t>0$ that associates to every given initial data $u_0\in
Lip(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a HamiltonJacobi
equation $$ u_t+H\big(\nabla_{/!x} u\big)=0\,, \qquad t\geq 0,\quad x\in
\mathbb{R}^N, $$ with a uniformly convex Hamiltonian $H=H(p)$. We provide upper
and lower estimates of order $1/\varepsilon^N$ on the the Kolmogorov
$\varepsilon$entropy in $\mathbf{W}^{1,1}$ of the image through the map $S_t$
of sets of bounded, compactly supported initial data. Estimates of this type
are inspired by a question posed by P.D. Lax within the context of conservation
laws, andcould provide a measure of the order of "resolution" of a numerical
method implemented for this equation.

In optimal control,sensitivity relations are usually understood as inclusions
that identify the pair formed by the dual arc and the Hamiltonian, evaluated
along the associated minimizing trajectory, as a suitable generalized gradient
of the value function. In this paper, sensitivity relations are obtained for
the Mayer problem associated with the differential inclusion $\dot x\in F(x)$
and applied to derive optimality conditions. Our first application concerns the
maximum principle and consists in showing that a dual arc can be constructed
for every element of the superdifferential of the final cost. As our second
application, with every nonzero limiting gradient of the value function at some
point $(t,x)$ we associate a family of optimal trajectories at $(t,x)$ with the
property that families corresponding to distinct limiting gradients have empty
intersection.

The approach to Lipschitz stability for uniformly parabolic equations
introduced by Imanuvilov and Yamamoto in 1998 based on Carleman estimates,
seems hard to apply to the case of Grushintype operators studied in this
paper. Indeed, such estimates are still missing for parabolic operators
degenerating in the interior of the space domain. Nevertheless, we are able to
prove Lipschitz stability results for inverse coefficient problems for such
operators, with locally distributed measurements in arbitrary space dimension.
For this purpose, we follow a strategy that combines Fourier decomposition and
Carleman inequalities for certain heat equations with nonsmooth coefficients
(solved by the Fourier modes).

We study the time optimal control problem with a general target $\mathcal S$
for a class of differential inclusions that satisfy mild smoothness and
controllability assumptions. In particular, we do not require Petrov's
condition at the boundary of $\mathcal S$. Consequently, the minimum time
function $T(\cdot)$ fails to be locally Lipschitznever mind
semiconcavenear $\mathcal S$. Instead of such a regularity, we use an
exterior sphere condition for the hypograph of $T(\cdot)$ to develop the
analysis. In this way, we obtain dual arc inclusions which we apply to show the
constancy of the Hamiltonian along optimal trajectories and other optimality
conditions in Hamiltonian form. We also prove an upper bound for the Hausdorff
measure of the set of all nonlipschitz points of $T(\cdot)$ which implies that
the minimum time function is of special bounded variation.

The approach to Lipschitz stability for uniformly parabolic equations
introduced by Imanuvilov and Yamamoto in 1998, based on Carleman estimates,
seems hard to apply to the case of Grushintype operators of interest to this
paper. Indeed, such estimates are still missing for parabolic operators
degenerating in the interior of the space domain. Nevertheless, we are able to
prove Lipschitz stability results for inverse source problems for such
operators, with locally distributed measurements in arbitrary space dimension.
For this purpose, we follow a mixed strategy which combines the appraoch due to
Lebeau and Robbiano, relying on Fourier decomposition, with Carleman
inequalities for heat equations with nonsmooth coefficients (solved by the
Fourier modes). As a corollary, we obtain a direct proof of the observability
of multidimensional Grushintype parabolic equations, with locally distributed
observations, which is equivalent to null controllability with locally
distributed controls.

This paper studies the structure of the singular set (points of
nondifferentiability) of viscosity solutions to HamiltonJacobi equations
associated with general mechanical systems on the ntorus. First, using the
level set method, we characterize the propagation of singularities along
generalized characteristics. Then, we obtain a local propagation result for
singularities of weak KAM solutions in the supercritical case. Finally, we
apply such a result to study the propagation of singularities for barrier
functions.

The minimum time function $T(\cdot)$ of smooth control systems is known to be
locally semiconcave provided Petrov's controllability condition is satisfied.
Moreover, such a regularity holds up to the boundary of the target under an
inner ball assumption. We generalize this analysis to differential inclusions,
replacing the above hypotheses with the continuity of $T(\cdot)$ near the
target, and an inner ball property for the multifunction associated with the
dynamics. In such a weakened setup, we prove that the hypograph of $T(\cdot)$
satisfies, locally, an exterior sphere condition. As is wellknown, this
geometric property ensures most of the regularity results that hold for
semiconcave functions, without assuming $T(\cdot)$ to be Lipschitz.

This paper studies unique continuation for weakly degenerate parabolic
equations in one space dimension. A new Carleman estimate of local type is
obtained to deduce that all solutions that vanish on the degeneracy set,
together with their conormal derivative, are identically equal to zero. An
approximate controllability result for weakly degenerate parabolic equations
under Dirichlet boundary condition is deduced.

It is a generally shared opinion that significant information about the
topology of a bounded domain $\Omega $ of a riemannian manifold $M$ is encoded
into the properties of the distance, $d_{\partial\Omega}$, %,
$d:\Omega\rightarrow [0,\infty [$, from the boundary of $\Omega$. To confirm
such an idea we propose an approach based on the invariance of the singular set
of the distance function with respect to the generalized gradient flow of of
$d_{\partial\Omega}$. As an application, we deduce that such a singular set has
the same homotopy type as $\Omega$.