arXiv subjects

Piermarco Cannarsa

Publications and source records attributed to Piermarco Cannarsa.

At least 37 records · Page 2Linked to original sources

arXiv2023

Bilinear control of evolution equations with unbounded lower order terms. Application to the Fokker-Planck equation

We study the exact controllability of the evolution equation \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0 \end{equation*} where $A$ is a nonnegative self-adjoint operator on a Hilbert space $X$ and $B$ is an unbounded linear operator on $X$, which is dominated by the square root of $A$. The control action is bilinear and only of scalar-input form, meaning that the control is the scalar function $p$, which is assumed to depend only on time. Furthermore, we only consider square-integrable controls. Our main result is the local exact controllability of the above equation to the ground state solution, that is, the evolution through time, of the first eigenfunction of $A$, as initial data. The analogous problem (in a more general form) was addressed in our previous paper [Exact controllablity to eigensolutions for evolution equations of parabolic type via bilinear control, Alabau-Boussouira F., Cannarsa P. and Urbani C., Nonlinear Diff. Eq. Appl. (2022)] for a bounded operator $B$. The current extension to unbounded operators allows for many more applications, including the Fokker-Planck equation in one space dimension, and a larger class of control actions.

math.OC↗

arXiv2022

Partial Lipschitz regularity of the minimum time function for sub-Riemannian control systems

In Euclidean space of dimension 2 or 3, we study a minimum time problem associated with a system of real-analytic vector fields satisfying Hörmander's bracket generating condition, where the target is a nonempty closed set. We show that, in dimension 2, the minimum time function is locally Lipschitz continuous while, in dimension 3, it is Lipschitz continuous in the complement of a set of measure zero. In particular, in both cases, the minimum time function is a.e. differentiable on the complement of the target. In dimension 3, in general, there is no hope to have the same regularity result as in dimension 2. Indeed, examples are known where the minimum time function fails to be locally Lipschitz continuous.

math.OC↗

arXiv2022

Aubry set for sub-Riemannian control systems

In the paper [P. Cannarsa, C. Mendico, Asymptotic analysis for Hamilton-Jacobi- Bellman equations on Euclidean space, (2021) Arxiv], we proved the existence of the limit as the time horizon goes to infinity of the averaged value function of an optimal control problem. For the classical Tonelli case such a limit is called the critical constant of the problem. In the special case of sub-Riemannian control systems, we also proved the existence of a critical solution, that is, a continuous solution to the Hamilton-Jacobi equation associated with such a constant, which also coincides with its Lax-Oleinik evolution. Here, we focus our attention on the sub- Riemannian case providing a variational representation formula for the critical constant which uses an adapted notion of closed measures. Having such a formula at our disposal, we define and study the Aubry set. First, we investigate dynamical and topological properties of such a set w.r.t. a suitable class of minimizing trajectories of the Lagrangian action. Then, we show that critical solutions to the Hamilton-Jacobi equation are horizontally differentiable and satisfy the equation in classical sense on the Aubry set.

math.OC↗

arXiv2021

Bilinear control of a degenerate hyperbolic equation

We consider the linear degenerate wave equation, on the interval $(0, 1)$ $$ w_{tt} - (x^αw_x)_x = p(t) μ(x) w, $$ with bilinear control $p$ and Neumann boundary conditions. We study the controllability of this nonlinear control system, locally around a constant reference trajectory, the ground state. We prove that, generically with respect to $μ$, any target close to the ground state in the $H^3\times H^2$ topology (suitably adapted to the underlying degenerate operator) is reachable in time $T > \frac{4}{2-α}$, with controls in $L^2((0, T ),\mathbb R)$. Under some classical and generic assumption on $μ$, we prove that there exists a threshold value for time, $T_0= \frac{4}{2-α}$, such that the reachable set is: - a neighborhood of the ground state if $T>T_0$, - contained in a $C^1$-submanifold of infinite codimension if $T<T_0$ - a $C^1$-submanifold of codimension $1$ if $α\in [0,1)$, and a neighborhood of the ground state if $α\in (1,2)$ if $T=T_0$, the case $α=1$ remaining open. This extends to the degenerate case the work [K. Beauchard, Local controllability and non-controllability for a 1D wave equation with bilinear control. J. Differential Equations, 250(4), 2064-2098, 2011] concerning the bilinear control of the classical wave equation ($α=0$), and adapts to bilinear controls the work [F. Alabau-Boussouira, P. Cannarsa, and G. Leugering. Control and stabilization of degenerate wave equations. SIAM J. Control Optim., 55(3), 2052-2087, 2017] on the degenerate wave equation where additive control are considered. Our proofs are based on a careful analysis of the spectral problem, and on Ingham type results, which are extensions of the Kadec's $\frac{1}{4}$ theorem.

math.AP↗

arXiv2021

Exact controllability to eigensolutions of the bilinear heat equation on compact networks

Partial differential equation on networks have been widely investigated in the last decades in view of their application to quantum mechanics (Schrödinger type equations) or to the analysis of flexible structures (wave type equations). Nevertheless, very few results are available for diffusive models despite an increasing demand arising from life sciences such as neurobiology. This paper analyzes the controllability properties of the heat equation on a compact network under the action of a single input bilinear control. By adapting a recent method due to [F.~Alabau-Boussouira, P.~Cannarsa and C.~Urbani, {\em Exact controllability to eigensolutions for evolution equations of parabolic type via bilinear control}, arXiv:1811.08806], an exact controllability result to the eigensolutions of the uncontrolled problem is obtained in this work. A crucial step has been the construction of a suitable biorthogonal family under a non-uniform gap condition of the eigenvalues of the Laplacian on a graph. Application to star graphs and tadpole graphs are included.

math.OC↗

arXiv2021

On the extension problem for semiconcave functions with fractional modulus

Consider a locally Lipschitz function $u$ on the closure of a possibly unbounded open subset $Ω$ of $\mathbb{R}^n$ with $C^{1,1}$ boundary. Suppose $u$ is semiconcave on $\overline Ω$ with a fractional semiconcavity modulus. Is it possible to extend $u$ in a neighborhood of any boundary point retaining the same semiconcavity modulus? We show that this is indeed the case and we give two applications of this extension property. First, we derive an approximation result for semiconcave functions on closed domains. Then, we use the above extension property to study the propagation of singularities of semiconcave functions at boundary points.

math.AP↗

arXiv2021

The distance function in the presence of an obstacle

We study the Riemannian distance function from a fixed point (a point-wise target) of Euclidean space in the presence of a compact obstacle bounded by a smooth hypersurface. First, we show that such a function is locally semiconcave with a fractional modulus of order one half and that, near the obstacle, this regularity is optimal. Then, in the Euclidean setting, we prove that the singularities of the distance function propagate, in the sense that each singular point belongs to a nontrivial singular continuum. Finally, we investigate the lack of differentiability of the distance function when a convex obstacle is present.

math.OC↗

arXiv2021

Asymptotic analysis for Hamilton-Jacobi-Bellman equations on Euclidean space

The long-time average behavior of the value function in the calculus of variations is known to be connected to the existence of the limit of the corresponding Abel means. Still in the Tonelli case, such a limit is in turn related to the existence of solutions of the critical Hamilton-Jacobi equation. The goal of this paper is to address similar issues when set on the whole Euclidean space and the Hamiltonian fails to be Tonelli. We first study the convergence of the time-averaged value function as the time horizon goes to infinity, proving the existence of the critical constant for a general control system. Then, we show that the ergodic equation admits solutions for systems associated with a family of vector fields which satisfies the Lie Algebra rank condition. Finally, we construct a critical solution of the HJB equation on the whole space which coincides with its Lax-Oleinik evolution.

math.OC↗

arXiv2021

Inverse problem of reconstruction of degenerate diffusion coefficient in a parabolic equation

We consider the inverse problem of identification of degenerate diffusion coefficient of the form $x^αa(x)$ in a one dimensional parabolic equation by some extra data. We first prove by energy methods the uniqueness and Lipschitz stability results for the identification of a constant coefficient $a$ and the power $α$ by knowing an interior data at some time. On the other hand, we obtain the uniqueness result for the identification of a general diffusion coefficients $a(x)$ and also the power $α$ form a boundary data on one side of the space interval. The proof is based on global Carleman estimates for a hyperbolic problem and an inversion of the integral transform similar to the Laplace transform. Finally, the theoretical results are satisfactory verified by numerically experiments.

math.AP↗

arXiv2021

Exact controllability to eigensolutions for evolution equations of parabolic type via bilinear control

In a separable Hilbert space $X$, we study the controlled evolution equation \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0, \end{equation*} where $A\geq-σI$ ($σ\geq0$) is a self-adjoint linear operator, $B$ is a bounded linear operator on $X$, and $p\in L^2_{loc}(0,+\infty)$ is a bilinear control. We give sufficient conditions in order for the above nonlinear control system to be locally controllable to the $j$th eigensolution for any $j\geq1$. We also derive semi-global controllability results in large time and discuss applications to parabolic equations in low space dimension. Our method is constructive and all the constants involved in the main results can be explicitly computed.

math.OC↗

arXiv2021

Heat equation on the Heisenberg group: observability and applications

We investigate observability and Lipschitz stability for the Heisenberg heat equation on the rectangular domain $$Ω= (-1,1)\times\mathbb{T}\times\mathbb{T}$$ taking as observation regions slices of the form $ω=(a,b) \times \mathbb{T} \times \mathbb{T}$ or tubes $ω= (a,b) \times ω_y \times \mathbb{T}$, with $-1 0$ but both observability and Lipschitz stability hold true after a positive minimal time, which depends on the distance between $ω$ and the boundary of $Ω$: $$T_{\min} \geqslant \frac{1}{8} \min\{(1+a)^2,(1-b)^2\}.$$ Our proof follows a mixed strategy which combines the approach by Lebeau and Robbiano, which relies on Fourier decomposition, with Carleman inequalities for the heat equations that are solved by the Fourier modes. We extend the analysis to the unbounded domain $(-1,1)\times\mathbb{T}\times\mathbb{R}$.

math.AP↗

arXiv2021

Singularities of solutions of Hamilton-Jacobi equations

This is a survey paper on the quantitative analysis of the propagation of singularities for the viscosity solutions to Hamilton-Jacobi equations in the past decades. We also review further applications of the theory to various fields such as Riemannian geometry, Hamiltonian dynamical systems and partial differential equations.

math.AP↗

arXiv2020

Local singular characteristics on $\mathbb{R}^2$

The singular set of a viscosity solution to a Hamilton-Jacobi equation is known to propagate, from any noncritical singular point, along singular characteristics which are curves satisfying certain differential inclusions. In the literature, different notions of singular characteristics were introduced. However, a general uniqueness criterion for singular characteristics, not restricted to mechanical systems or problems in one space dimension, is missing at the moment. In this paper, we prove that, for a Tonelli Hamiltonian on $\mathbb{R}^2$, two different notions of singular characteristics coincide up to a bi-Lipschitz reparameterization. As a significant consequence, we obtain a uniqueness result for the class of singular characteristics that was introduced by Khanin and Sobolevski in the paper [On dynamics of Lagrangian trajectories for Hamilton-Jacobi equations. Arch. Ration. Mech. Anal., 219(2):861-885, 2016].

math.OC↗

arXiv2020

Weak KAM approach to first-order Mean Field Games with state constraints

We study the asymptotic behavior of solutions to the constrained MFG system as the time horizon $T$ goes to infinity. For this purpose, we analyze first Hamilton-Jacobi equations with state constraints from the viewpoint of weak KAM theory, constructing a Mather measure for the associated variational problem. Using these results, we show that a solution to the constrained ergodic mean field games system exists and the ergodic constant is unique. Finally, we prove that any solution of the first-order constrained MFG problem on $[0,T]$ converges to the solution of the ergodic system as $T \to +\infty$.

math.AP↗

arXiv2019

Mild and weak solutions of Mean Field Games problem for linear control systems

The aim of this paper is to study first order Mean field games subject to a linear controlled dynamics on $\mathbb R^{d}$. For this kind of problems, we define Nash equilibria (called Mean Field Games equilibria), as Borel probability measures on the space of admissible trajectories, and mild solutions as solutions associated with such equilibria. Moreover, we prove the existence and uniqueness of mild solutions and we study their regularity: we prove Hölder regularity of Mean Field Games equilibria and fractional semiconcavity for the value function of the underlying optimal control problem. Finally, we address the PDEs system associated with the Mean Field Games problem and we prove that the class of mild solutions coincides with a suitable class of weak solutions.

math.OC↗

arXiv2019

Singularities of solutions of time dependent Hamilton-Jacobi equations. Applications to Riemannian geometry

If $U:[0,+\infty[\times M$ is a uniformly continuous viscosity solution of the evolution Hamilton-Jacobi equation $$\partial_tU+ H(x,\partial_xU)=0,$$ where $M$ is a not necessarily compact manifold, and $H$ is a Tonelli Hamiltonian, we prove the set $Σ(U)$, of points where $U$ is not differentiable, is locally contractible. Moreover, we study the homotopy type of $Σ(U)$. We also give an application to the singularities of a distance function to a closed subset of a complete Riemannian manifold.

math.AP↗

arXiv2019

Superexponential stabilizability of degenerate parabolic equations via bilinear control

The aim of this paper is to prove the superexponential stabilizability to the ground state solution of a degenerate parabolic equation of the form \begin{equation*} u_t(t,x)+(x^αu_x(t,x))_x+p(t)x^{2-α}u(t,x)=0,\qquad t\geq0,x\in(0,1) \end{equation*} via bilinear control $p\in L_{loc}^2(0,+\infty)$. More precisely, we provide a control function $p$ that steers the solution of the equation, $u$, to the ground state solution in small time with doubly-exponential rate of convergence.\\ The parameter $α$ describes the degeneracy magnitude. In particular, for $α\in[0,1)$ the problem is called weakly degenerate, while for $α\in[1,2)$ strong degeneracy occurs. We are able to prove the aforementioned stabilization property for $α\in [0,3/2)$. The proof relies on the application of an abstract result on rapid stabilizability of parabolic evolution equations by the action of bilinear control. A crucial role is also played by Bessel's functions.

math.OC↗

arXiv2019

Exact controllability to the ground state solution for evolution equations of parabolic type via bilinear control

In a separable Hilbert space $X$, we study the linear evolution equation \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0, \end{equation*} where $A$ is an accretive self-adjoint linear operator, $B$ is a bounded linear operator on $X$, and $p\in L^2_{loc}(0,+\infty)$ is a bilinear control. We give sufficient conditions in order for the above control system to be locally controllable to the ground state solution, that is, the solution of the free equation ($p\equiv0$) starting from the ground state of $A$. We also derive global controllability results in large time and discuss applications to parabolic equations in low space dimension.

math.OC↗