Searcharxiv⌕ Search

arXiv subjects

Piermarco Cannarsa

Publications and source records attributed to Piermarco Cannarsa.

At least 55 records · Page 3Linked to original sources
arXiv2019

Superexponential stabilizability of evolution equations of parabolic type via bilinear control

We prove rapid stabilizability to the ground state solution for a class of abstract parabolic equations of the form \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0,\qquad t\geq0 \end{equation*} where the operator $-A$ is a self-adjoint accretive operator on a Hilbert space and $p(\cdot)$ is the control function. The proof is based on a linearization argument. We prove that the linearized system is exacly controllable and we apply the moment method to build a control $p(\cdot)$ that steers the solution to the ground state in finite time. Finally, we use such a control to bring the solution of the nonlinear equation arbitrarily close to the ground state solution with doubly exponential rate of convergence. We give several applications of our result to different kinds of parabolic equations.

math.OC↗
arXiv2019

Herglotz' variational principle and Lax-Oleinik evolution

We develop an elementary method to give a Lipschitz estimate for the minimizers in the problem of Herglotz' variational principle proposed in \cite{CCWY2018} in the time-dependent case. We deduce Erdmann's condition and the Euler-Lagrange equation separately under different sets of assumptions, by using a generalized du Bois-Reymond lemma. As an application, we obtain a representation formula for the viscosity solution of the Cauchy problem for the Hamilton-Jacobi equation \begin{align*} D_tu(t,x)+H(t,x,D_xu(t,x),u(t,x))=0 \end{align*} and study the related Lax-Oleinik evolution.

math.AP↗
arXiv2019

Generation of singularities from the initial datum for Hamilton-Jacobi equations

We study the generation of singularities from the initial datum for a solution of the Cauchy problem for a class of Hamilton-Jacobi equations of evolution. For such equations, we give conditions for the existence of singular generalized characteristics starting at the initial time from a given point of the domain, depending on the properties of the proximal subdifferential of the initial datum in a neighbourhood of that point.

math.AP↗
arXiv2019

Observability inequalities for transport equations through Carleman estimates

We consider the transport equation $\ppp_t u(x,t) + H(t)\cdot \nabla u(x,t) = 0$ in $\OOO\times(0,T),$ where $T>0$ and $\OOO\subset \R^d $ is a bounded domain with smooth boundary $\ppp\OOO$. First, we prove a Carleman estimate for solutions of finite energy with piecewise continuous weight functions. Then, under a further condition which guarantees that the orbits of $H$ intersect $\ppp\OOO$, we prove an energy estimate which in turn yields an observability inequality. Our results are motivated by applications to inverse problems.

math.AP↗
arXiv2019

Inverse coefficient problems for a transport equation by local Carleman estimate

We consider the transport equation $\ppp_tu(x,t) + (H(x)\cdot \nabla u(x,t)) + p(x)u(x,t) = 0$ in $\OOO \times (0,T)$ where $\OOO \subset \R^n$ is a bounded domain, and discuss two inverse problems which consist of determining a vector-valued function $H(x)$ or a real-valued function $p(x)$ by initial values and data on a subboundary of $\OOO$. Our results are conditional stability of Hölder type in a subdomain $D$ provided that the outward normal component of $H(x)$ is positive on $\ppp D \cap \ppp\OOO$. The proofs are based on a Carleman estimate where the weight function depends on $H$.

math.AP↗
arXiv2018

Mean Field Games with state constraints: from mild to pointwise solutions of the PDE system

Mean Field Games with state constraints are differential games with infinitely many agents, each agent facing a constraint on his state. The aim of this paper is to provide a meaning of the PDE system associated with these games, the so-called Mean Field Game system with state constraints. For this, we show a global semiconvavity property of the value function associated with optimal control problems with state constraints.

math.OC↗
arXiv2018

Long Time Behavior of First Order Mean Field Games on Euclidean Space

The aim of this paper is to study the long time behavior of solutions to deterministic mean field games systems on Euclidean space. This problem was addressed on the torus ${\mathbb T}^n$ in [P. Cardaliaguet, {\it Long time average of first order mean field games and weak KAM theory}, Dyn. Games Appl. 3 (2013), 473-488], where solutions are shown to converge to the solution of a certain ergodic mean field games system on ${\mathbb T}^n$. By adapting the approach in [A. Fathi, E. Maderna, {\it Weak KAM theorem on non compact manifolds}, NoDEA Nonlinear Differential Equations Appl. 14 (2007), 1-27], we identify structural conditions on the Lagrangian, under which the corresponding ergodic system can be solved in $\mathbb{R}^{n}$. Then we show that time dependent solutions converge to the solution of such a stationary system on all compact subsets of the whole space.

math.OC↗
arXiv2018

Null controllability of parabolic equations with interior degeneracy and one-sided control

For $α\in (0,2)$ we study the null controllability of the parabolic operator $$Pu= u_t - (\vert x \vert ^αu_x)_x\qquad (1<x<1),$$ which degenerates at the interior point $x=0$, for locally distributed controls acting only one side of the origin (that is, on some interval $(a,b)$ with $0<a<b<1$). Our main results guarantees that $P$ is null controllable if and only if it is weakly degenerate, that is, $α\in (0,1)$. So, in order to steer the system to zero, one needs controls to act on both sides of the point of degeneracy in the strongly degenerate case $α\in [1,2)$. Our approach is based on spectral analysis and the moment method. Indeed, we completely describe the eigenvalues and eigenfunctions of the associated stationary operator in terms of Bessel functions and their zeroes for both weakly and strongly degenerate problems. Hence, we obtain lower $L^2$ bounds for the eigenfunctions on the control region in the case $α\in [0,1)$ and deduce the lack of observability in the case of $α\in [1,2)$. We also provide numerical evidence to illustrate our theoretical results.

math.OC↗
arXiv2018

$\bf{C^{1,1}}$-smoothness of constrained solutions in the calculus of variations with application to mean field games

We derive necessary optimality conditions for minimizers of regular functionals in the calculus of variations under smooth state constraints. In the literature, this classical problem is widely investigated. The novelty of our result lies in the fact that the presence of state constraints enters the Euler-Lagrange equations as a local feedback, which allows to derive the $C^{1,1}$-smoothness of solutions. As an application, we discuss a constrained Mean Field Games problem, for which our optimality conditions allow to construct Lipschitz relaxed solutions, thus improving the existence result in [Cannarsa, P., Capuani, R., \textsl{Existence and uniqueness for Mean Field Games with state constraints}, arXiv:1711.01063].

math.OC↗
arXiv2018

Parameter determination for Energy Balance Models with Memory

In this paper, we study two Energy Balance Models with Memory arising in climatology, which consist in a 1D degenerate nonlinear parabolic equation involving a memory term, and possibly a set-valued reaction term (of Sellers type and of Budyko type, in the usual terminology). We provide existence and regularity results, and obtain uniqueness and stability estimates that are useful for the determination of the insolation function in Sellers' model with memory.

math.AP↗
arXiv2018

Global generalized characteristics for the Dirichlet problem for Hamilton-Jacobi equations at a supercritical energy level

We study the nonhomogeneous Dirichlet problem for first order Hamilton-Jacobi equations associated with Tonelli Hamiltonians on a bounded domain $Ω$ 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 $Ω$. 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 $Ω$. 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.

math.AP↗
arXiv2018

Partial regularity for solutions to subelliptic eikonal equations

On a bounded domain $Ω$ 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örmander's bracket generating condition. We prove that the solution is smooth in the complement of a closed set of Lebesgue measure zero.

math.OC↗
arXiv2018

The cost of controlling strongly degenerate parabolic equations

We consider the typical one-dimensional strongly degenerate parabolic operator $Pu= u_t - (x^αu_x)_x$ with $0<x<\ell$ and $α\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 $α$. We prove that the control cost blows up with an explicit exponential rate, as $e^{C/((2-α)^2 T)}$, when $α\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üichal, 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_ν$ of large order $ν$ (obtained by ordinary differential equations techniques).

math.OC↗
arXiv2017

Existence and uniqueness for Mean Field Games with state constraints

In this paper, we study deterministic mean field games for agents who operate in a bounded domain. In this case, the existence and uniqueness of Nash equilibria cannot be deduced as for unrestricted state space because, for a large set of initial conditions, the uniqueness of the solution to the associated minimization problem is no longer guaranteed. We attack the problem by interpreting equilibria as measures in a space of arcs. In such a relaxed environment the existence of solutions follows by set-valued fixed point arguments. Then, we give a uniqueness result for such equilibria under a classical monotonicity assumption.

math.OC↗
arXiv2017

Precise estimates for biorthogonal families under asymptotic gap conditions

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üichal, Tenenbaum-Tucsnak, and Lissy.

math.OC↗