• ### Herglotz' generalized variational principle and contact type Hamilton-Jacobi equations(1804.03411)

April 10, 2018 math.AP, math.DS
We develop an approach for the analysis of fundamental solutions to Hamilton-Jacobi 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.
• ### Global generalized characteristics for the Dirichlet problem for Hamilton-Jacobi equations at a supercritical energy level(1803.01591)

March 5, 2018 math.AP, math.DS
We study the nonhomogeneous Dirichlet problem for first order Hamilton-Jacobi 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 so-called 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.
• ### Partial regularity for solutions to subelliptic eikonal equations(1801.02847)

Jan. 9, 2018 math.AP, math.OC
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.
• ### The cost of controlling strongly degenerate parabolic equations(1801.01380)

Jan. 4, 2018 math.AP, math.OC
We consider the typical one-dimensional 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 so-called 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 Fattorini-Russel, Seidman, G\"uichal, Tenenbaum-Tucsnak 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).
• ### Precise estimates for biorthogonal families under asymptotic gap conditions(1706.02435)

June 8, 2017 math.AP, math.OC
A classical and useful way to study controllability problems is the moment method developed by Fattorini-Russell, 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 Fattorini-Russell concerning biorthogonal families, using complex analysis techniques developed by Seidman, G\"uichal, Tenenbaum-Tucsnak, and Lissy.
• ### Regularity results for the minimum time function with H\"ormander vector fields(1702.07618)

May 29, 2017 math.AP, math.OC
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 point-wise 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.
• ### Generalized characteristics and Lax-Oleinik operators: global theory(1605.07581)

May 24, 2016 math.AP, math.DS, math.OC
For autonomous Tonelli systems on $\R^n$, we develop an intrinsic proof of the existence of generalized characteristics using sup-convolutions. This approach, together with convexity estimates for the fundamental solution, leads to new results such as the global propagation of singularities along generalized characteristics.
• ### Micromotions and controllability of a swimming model in an incompressible fluid governed by 2D or 3D Navier--Stokes equations(1510.03415)

May 6, 2016 math.AP, math.OC
We study the local controllability properties of 2D and 3D bio-mimetic swimmers employing the change of their geometric shape to propel themselves in an incompressible fluid described by Navier-Stokes 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].
• ### The cost of controlling degenerate parabolic equations by boundary controls(1511.06857)

Nov. 21, 2015 math.AP, math.OC
We consider the one-dimensional 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^-$.
• ### Multiplicative controllability for semilinear reaction-diffusion equations with finitely many changes of sign(1510.04203)

Oct. 14, 2015 math.AP, math.OC
We study the global approximate controllability properties of a one dimensional semilinear reaction-diffusion 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 initial-value pure diffusion problems.
• ### Conjugate times and regularity of the minimum time function with differential inclusions(1501.01503)

Sept. 29, 2015 math.OC
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.
• ### Control and stabilization of degenerate wave equations(1505.05720)

May 21, 2015 math.AP, math.OC
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 blow-up 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 optimal-weight convexity method of \cite{alaamo2005, alajde2010} together with the results of the previous section, to perform this stability analysis.
• ### Compactness estimates for Hamilton-Jacobi equations depending on space(1504.03200)

April 13, 2015 math.AP
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 Hamilton-Jacobi 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 a-priori 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.
• ### Homoclinic orbits and critical points of barrier functions(1409.8520)

Sept. 30, 2014 math.AP
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.
• ### Global Propagation of Singularities for Time Dependent Hamilton-Jacobi Equations(1408.5613)

Aug. 24, 2014 math.AP
We investigate the properties of the set of singularities of semiconcave solutions of Hamilton-Jacobi 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.
• ### Second-order sensitivity relations and regularity of the value function for Mayer's problem in optimal control(1408.5354)

Aug. 22, 2014 math.OC
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.
• ### Quantitative compactness estimates for Hamilton-Jacobi equations(1403.4556)

March 18, 2014 math.AP, math.OC
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 Hamilton-Jacobi 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.
• ### Sensitivity relations for the Mayer problem with differential inclusions(1402.4248)

Feb. 18, 2014 math.OC
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.
• ### Inverse coefficient problem for Grushin-type parabolic operators(1312.2184)

Dec. 8, 2013 math.AP, math.OC
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 Grushin-type 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).
• ### Optimality conditions and regularity results for time optimal control problems with differential inclusions(1311.4415)

Nov. 18, 2013 math.OC
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 Lipschitz---never mind semiconcave---near $\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.
• ### Inverse source problem and null controllability for multidimensional parabolic operators of Grushin type(1309.0950)

Sept. 4, 2013 math.AP
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 Grushin-type 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 Grushin-type parabolic equations, with locally distributed observations, which is equivalent to null controllability with locally distributed controls.
• ### Propagation of singularities for weak KAM solutions and barrier functions(1306.3588)

June 15, 2013 math.AP
This paper studies the structure of the singular set (points of nondifferentiability) of viscosity solutions to Hamilton-Jacobi equations associated with general mechanical systems on the n-torus. 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.
• ### Exterior sphere condition and time optimal control for differential inclusions(1110.1387)

Oct. 6, 2011 math.OC
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 set-up, we prove that the hypograph of $T(\cdot)$ satisfies, locally, an exterior sphere condition. As is well-known, this geometric property ensures most of the regularity results that hold for semiconcave functions, without assuming $T(\cdot)$ to be Lipschitz.
• ### Unique continuation and approximate controllability for a degenerate parabolic equation(1107.3246)

Oct. 1, 2011 math.AP, math.OC, cs.SY
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.
• ### Singular gradient flow of the distance function and homotopy equivalence(1109.5375)

Sept. 25, 2011 math.DG, math.AP, math.OC, cs.SY
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$.