BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Piermarco Cannarsa

Piermarco Cannarsa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.APmath.OCSystems and Controlmath.DSmath.DG

Catalog footprint

What is connected

22works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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].

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Micromotions and controllability of a swimming model in an incompressible fluid governed by 2D or 3D Navier--Stokes equations

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].

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Compactness estimates for Hamilton-Jacobi equations depending on space

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Well-posedness of 2D and 3D swimming models in incompressible fluids governed by Navier--Stokes equations

We introduce and investigate the wellposedness of two models describing the self-propelled motion of a "small bio-mimetic swimmer" in the 2D and 3D incompressible fluids modeled by the Navier-Stokes equations. It is assumed that the swimmer's body consists of finitely many subsequently connected parts, identified with the fluid they occupy, linked by the rotational and elastic forces. The swimmer employs the change of its shape, inflicted by respective explicit internal forces, as the means for self-propulsion in a surrounding medium. Similar models were previously investigated in [15]-[19] where the fluid was modeled by the liner nonstationary Stokes equations. Such models are of interest in biological and engineering applications dealing with the study and design of propulsion systems in fluids and air.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantitative compactness estimates for Hamilton-Jacobi equations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Second-order sensitivity relations and regularity of the value function for Mayer's problem in optimal control

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échet 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sensitivity relations for the Mayer problem with differential inclusions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Inverse source problem and null controllability for multidimensional parabolic operators of Grushin type

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Optimality conditions and regularity results for time optimal control problems with differential inclusions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Propagation of singularities for weak KAM solutions and barrier functions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Approximate controllability for linear degenerate parabolic problems with bilinear control

In this work we study the global approximate multiplicative controllability for the linear degenerate parabolic Cauchy-Neumann problem $$ \{{array}{l} \displaystyle{v_t-(a(x) v_x)_x =α(t,x)v\,\,\qquad {in} \qquad Q_T \,=\,(0,T)\times(-1,1)} [2.5ex] \displaystyle{a(x)v_x(t,x)|_{x=\pm 1} = 0\,\,\qquad\qquad\qquad\,\, t\in (0,T)} [2.5ex] \displaystyle{v(0,x)=v_0 (x) \,\qquad\qquad\qquad\qquad\quad\,\, x\in (-1,1)}, {array}. $$ with the bilinear control $α(t,x)\in L^\infty (Q_T).$ The problem is strongly degenerate in the sense that $a\in C^1([-1,1]),$ positive on $(-1,1),$ is allowed to vanish at $\pm 1$ provided that a certain integrability condition is fulfilled. We will show that the above system can be steered in $L^2(Ω)$ from any nonzero, nonnegative initial state into any neighborhood of any desirable nonnegative target-state by bilinear static controls. Moreover, we extend the above result relaxing the sign constraint on $v_0$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Exterior sphere condition and time optimal control for differential inclusions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Regularity Results for Eikonal-Type Equations with Nonsmooth Coefficients

Solutions of the Hamilton-Jacobi equation $H(x,-Du(x))=1$, with $H(\cdot,p)$ Hölder continuous and $H(x,\cdot)$ convex and positively homogeneous of degree 1, are shown to be locally semiconcave with a power-like modulus. An essential step of the proof is the ${\mathcal C}^{1,α}$-regularity of the extremal trajectories associated with the multifunction generated by $D_pH$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Singular gradient flow of the distance function and homotopy equivalence

It is a generally shared opinion that significant information about the topology of a bounded domain $Ω$ of a riemannian manifold $M$ is encoded into the properties of the distance, $d_{\partialΩ}$, %, $d:Ω\rightarrow [0,\infty [$, from the boundary of $Ω$. 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Ω}$. As an application, we deduce that such a singular set has the same homotopy type as $Ω$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Unique continuation and approximate controllability for a degenerate parabolic equation

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.

0 citations0 reviewsNo code linkedOpen access