Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This is a survey paper concerning the progress made for the singularities of the solutions to Hamilton–Jacobi equations in the past decades. We begin with a quote from the paper [63] by Khanin and Sobolevski:
The evolutionary Hamilton–Jacobi equation
$$\begin{aligned} \frac{\partial u}{\partial t}+H(t,x,\nabla u)=0 \end{aligned}$$(HJ)appears in diverse mathematical models ranging from analytical mechanics to combinatorics, condensed matter, turbulence, and cosmology \(\cdots \). In many of these applications the objects of interest are described by singularities of solutions, which inevitably appear for generic initial data after a finite time due to the nonlinearity of (HJ). Therefore one of the central issues both for theory and applications is to understand the behavior of the system after singularities form.
The notion of viscosity solutions, introduced in the seminal papers [33, 36], provides the right class of generalized solutions to study existence, uniqueness, and stability issues for problem (HJ). An overview of the main features of this theory can be found in the monographs [14] for first order equations and [58] for second order equations.
It is well known that Hamilton–Jacobi equations have no global smooth solutions in general, because solutions may develop singularities due to crossing or focusing of characteristics. The persistence of singularities, i.e, once a singularity is created, it will propagate forward in time up to \(+\infty \), affords an evidence of irreversibility for equation (HJ), while the compactness after the evolution of the associated Lax-Oleinik semi-group gives another one [6, 7].
The expected maximal regularity for solutions of (HJ) is the local semiconcavity of \(u(t,\cdot )\) for \(t>0\). Indeed, semiconcave functions were used to study well-posedness for (HJ) before the theory of viscosity solution was developed [46, 61, 62]. Nowadays, the notion of semiconcavity has been widely used in many mathematical fields, such as [34, 56, 60, 73, 74] in control theory and sensitivity analysis, [37, 76] in nonsmooth and variational analysis, [71] in metric geometry. Good references on semiconcave functions include the monographs [43, 80].
To our knowledge, the first paper dealing with the singularities of viscosity solutions of (HJ) is the paper by the first author and Soner [41]. Thanks to the discovery of semiconcave functions in the study of viscosity solutions of (HJ) ([42]), some propagation results for general semiconcave functions were obtained in [9]. The propagation of singularities of semiconcave functions along Lipschitz arcs was firstly studied in [3] and then extend to solutions of Hamilton–Jacobi equations [5].
It is the first time in [5] the authors introduced the important notion of generalized characteristics for Hamilton–Jacobi equation (HJ), which is a keystone for the further progress later. In one-dimensional case, the idea of generalized characteristics also comes from earlier work by Dafermos [45] on Burgers equation. The readers can also refer to Arnold’s book [12] on the shock wave singularities and perestroikas of Maxwell sets and the references therein.
A Lipschitz curve \({\mathbf {x}}:[0,T]\rightarrow \Omega \), \({\mathbf {x}}(0)=x_0\in \mathrm{Sing}\,(u)\), is called a generalized characteristic with respect to (H, u) from \(x_0\) if the following differential inclusion is satisfied
It was proved in [5] that there exists a generalized characteristic from any initial singular point \(x_0\) propagating the singularities if \(0\not \in \text {co}\,H_p(x_0,D^+u(x_0))\). Using the approximation method introduced by Yu [81], the first author and Yu showed the existence of singular characteristics (see Definition 3.8) which has more regularity information. More precisely, any such a singular characteristic \({\mathbf {x}}\) satisfies the condition \(\lim _{t\rightarrow 0^+}{\text {*}}{ess\ sup}_{s\in [0,t]}|\dot{{\mathbf {x}}}(s)-\dot{{\mathbf {x}}}^+(0)|=0\).
From late 1990’s, Fathi established weak KAM theory mainly for the stationary Hamilton–Jacobi equation [49,50,51,52,53,54]
where M is a smooth manifold, H is a Tonelli Hamiltonian and 0 is the Mañé’s critical value. Weak KAM theory bridges Mather theory [66, 67, 69] from Hamiltonian dynamical systems to the theory of viscosity solutions of (1.2). Any weak KAM solution u of (1.2) is exact the common fixed point of the associated negative type Lax-Oleinik semi-group \(\{T_t\}_{t>0}\), \(T_tu=u\) for all \(t>0\).
For any (Lipschitz and semiconcave) weak KAM solution u of (1.2), an intrinsic method was developed in the paper [23]. Using the positive Lax-Oleinik semi-group \(\{\breve{T}_t\}_{t>0}\), one can obtain an intrinsic singular characteristic propagating singularities from any singular initial point, or general cut point of u [27].
Although singular characteristics satisfy (1.1), the convex hull in the differential inclusion (1.1) is an obvious obstacle to establish uniqueness and stability. The only well-understood system with such well-posedness properties is the system with Hamiltonians quadratic in the momentum variable. A typical example is the Hamiltonian \(H=\frac{1}{2}|p|^2\), where differential inclusion (1.1) becomes the generalized gradient system
Inspired by earlier works [19, 20, 77], Khanin and Sobolevski essentially proved the existence of singular characteristics satisfying (1.1) without convex hull under some extra conditions on the initial data [63]. These kinds of singular characteristics are called strict singular characteristics (or broken characteristics in [77]). The fact that singular characteristics satisfy more restrictive dynamics than (1.1) might help to obtain some kind of uniqueness result. Indeed, in the recent work [25], we solved such a well-posedness problem in \(\mathbb {R}^2\) for non-critical initial data.
When we pursue applications of this theory, global propagation results for solutions of Hamilton–Jacobi equations turn out to be necessary. Global propagation for the closure of the singular set was obtained by Albano in [11]. For the propagation of genuine singularities, a global result for a Cauchy-Dirichlet problem with quadratic Hamiltonian was obtained in [39] using an energy method. More global results for weak KAM solutions and Dirichlet problem using intrinsic method can be found in [23, 27,28,29].
One important application of the global propagation result is the homotopy equivalence between the complement of Aubry set and the singular set of any weak KAM solution, and the local contractibility of the singular set [27, 28]. An earlier result for such homotopy equivalence for the distance function on Riemannian manifolds was obtained in [8] based on invariance properties of the generalized gradients flow. Moreover, global propagation result in [28] can also be applied to some basic problem in Riemmanian geometry such as the analysis of the set of points which can be joined by at least two minimizing geodesics. There are also some applications of this theory to Hamiltonian dynamical systems, mainly in the frame of Mather theory and weak KAM theory [21, 26, 31, 84]. Above evidence suggests that the story of singularities will continue and further applications to various topics will appear in the near future.
The paper is organized as follows. In Sect. 2, we introduce some necessary materials on Hamilton–Jacobi equations and semiconcavity. In Sect. 3 and 4, we will review the progress in local and global propagation of singularities for various kinds of problem. In Sect. 5, we will concentrate on the setting of the weak KAM theory, especially the applications to the topological and dynamical applications. We also provide a new proof of the Lipschitz regularity for the intrinsic singular characteristics in Sect. 5, which looks quite natural and intuitive comparing to the original one in [23]. There is also a short concluding remark in Sect. 6.
2 Preliminaries
Let \(\Omega \subset \mathbb {R}^n\) be a convex open set. We recall that a function \(u:\Omega \rightarrow \mathbb {R}\) is semiconcave (with linear modulus) if there exists a constant \(C>0\) such that
for any \(x,y\in \Omega \) and \(\lambda \in [0,1]\).
For any continuous function \(u:\Omega \subset \mathbb {R}^n\rightarrow \mathbb {R}\) and any \(x\in \Omega \), the closed convex sets
are called the subdifferential and superdifferential of u at x, respectively.
The following statement characterizes semiconcavity (with linear modulus) for a continuous function by using superdifferentials.
Proposition 2.1
Let \(u:\Omega \rightarrow \mathbb {R}\) be a continuous function. If there exists a constant \(C>0\) such that, for any \(x\in \Omega \), there exists \(p\in \mathbb {R}^n\) such that
then u is semiconcave with constant C and \(p\in D^+u(x)\). Conversely, if u is semiconcave in \(\Omega \) with constant C, then (2.2) holds for any \(x\in \Omega \) and \(p\in D^+u(x)\).
Let \(u:\Omega \rightarrow \mathbb {R}\) be locally Lipschitz. We recall that a vector \(p\in \mathbb {R}^n\) is called a reachable (or limiting) gradient of u at x if there exists a sequence \(\{x_n\}\subset \Omega \setminus \{x\}\) such that u is differentiable at \(x_k\) for each \(k\in \mathbb {N}\), and
The set of all reachable gradients of u at x is denoted by \(D^{*}u(x)\).
Proposition 2.2
Let \(u:\Omega \subset \mathbb {R}^n\rightarrow \mathbb {R}\) be a continuous semiconcave function and let \(x\in \Omega \). Then the following properties hold.
-
(a)
\(D^+u(x)\) is a nonempty closed convex set in \(\mathbb {R}^n\) and \(D^{*}u(x)\subset \partial D^+u(x)\), where \(\partial D^+ u(x)\) denotes the topological boundary of \(D^+u(x)\).
-
(b)
The set-valued function \(x\rightrightarrows D^+u(x)\) is upper semicontinuous.
-
(c)
\(D^+u(x)\) is a singleton if and only if \(D^-u(x)\not =\varnothing \). If \(D^+u(x)\) is a singleton, then u is differentiable at x. Moreover, if \(D^+u(x)\) is a singleton for every point in \(\Omega \), then \(u\in C^1(\Omega )\).
-
(d)
\(D^+u(x)={\mathrm {co}}\, D^{*}u(x)\).
-
(e)
If u is both semiconcave and semiconvex in \(\Omega \), then \(u\in C^{1,1}(\Omega )\).
Definition 2.3
Let \(u:\Omega \rightarrow \mathbb {R}\) be a semiconcave function. \(x\in \Omega \) is called a singular point of u if \(D^+u(x)\) is not a singleton. The set of all singular points of u is denoted by \(\mathrm{Sing}\,(u)\).
To study the rectifiability of the singular set \(\mathrm{Sing}\,(u)\) of a semiconcave function u, we need some concepts from geometric measure theory.
Definition 2.4
Let \(k\in \{0,1,\cdots ,n\}\) and let \(C\subset \mathbb {R}^n\).
-
(1)
C is called a k-rectifiable set if there exists a Lipschitz continuous function \(f:\mathbb {R}^k\rightarrow \mathbb {R}^n\) such that \(C\subset f(\mathbb {R}^k)\).
-
(2)
C is called a countably k-rectifiable set if it is the union of a countable family of k-rectifiable sets.
-
(3)
C is called a countably \({\mathcal {H}}^k\)-rectifiable set if there exists a countably k-rectifiable set \(E\subset \mathbb {R}^n\) such that \({\mathcal {H}}^k(C\setminus E)=0\), where \({\mathcal {H}}^k\) stands for k-dimensional Hausdorff (outer) measure.
Let \(\Omega \subset \mathbb {R}^n\) be an open set and let H be a continuous real-valued function on \(\Omega \times \mathbb {R}\times \mathbb {R}^n\). Let us again consider the general nonlinear first order equation
in the unknown \(u:\Omega \rightarrow \mathbb {R}\).
Definition 2.5
A continuous real-valued function u on \(\Omega \) is called a viscosity solution of (2.3) if for every \(x\in \Omega \) and \(\varphi \in C^1(\Omega ,\mathbb {R})\)
-
(a)
\(u-\varphi \) has a local maximum at x implies \(H(t,x,u(x),D\varphi (x))\leqslant 0\), or u is a viscosity sub-solution of (2.3);
-
(b)
\(u-\varphi \) has a local minimum at x implies \(H(t,x,u(x),D\varphi (x))\geqslant 0\), or u is a viscosity super-solution of (2.3).
The relation between continuous viscosity solution and its semiconcavity is
Proposition 2.6
For \(u:\Omega \rightarrow \mathbb {R}\) semiconcave and \(H\in C(\Omega \times \mathbb {R}\times \mathbb {R}^n,\mathbb {R})\),
-
(i)
if u is a viscosity solution of \(H(x,u(x),Du(x))=0\) in \(\Omega \), then
$$\begin{aligned} H(x,u(x),p)=0,\quad \forall x\in \Omega ,\ p\in D^*u(x); \end{aligned}$$ -
(ii)
if \(H(x,u,\cdot )\) is convex, then
$$\begin{aligned} H(x,u(x),Du(x))=0,\ a.e.,\Longleftrightarrow u \text{ is } \text{ a } \text{ viscosity } \text{ solution } \text{ of } H(x,u(x),Du(x)){=}0; \end{aligned}$$
3 Local Propagation of Singularities
3.1 Rectifiability of \(\mathrm{Sing}\,(u)\) for Semiconcave Functions and Viscosity Solutions
For a semiconcave function u on an open subset \(\Omega \subset \mathbb {R}^n\), Du is a function of bounded variation (see, for instance, [47]). The singular set \(\mathrm{Sing}\,(u)\) coincides with the jump set \(S_{Du}\), considered as a function of \(BV_{\mathrm{loc}}(\Omega ,R^n)\) and is a countably \({\mathcal {H}}^{n-1}\)-rectifiable set. Apart from earlier contributions for distance functions as in [48], to our knowledge the first general results about the rectifiability of the singular sets of concave functions are due to Zajíček [82, 83] and Veselý [78, 79]. Similar properties were later extended to semiconcave functions with general modulus in [2].
To obtain a fine description of \(\mathrm{Sing}\,(u)\) for a semiconcave function on \(\Omega \), it is convenient to introduce a hierarchy of subsets of \(\mathrm{Sing}\,(u)\) according to the dimension of the superdifferential. The magnitude of a point \(x\in \Omega \) (with respect to u) is the integer \(\kappa (x)=\dim D^+u(x)\). Given an integer \(k\in \{0,\ldots ,n\}\) we set
Proposition 3.1
[43]. If u is semiconcave in \(\Omega \), then the set \(\text{ Sing}^k\,(u)\) is countably \((n-k)\)-rectifiable for any integer \(k\in \{0,\ldots ,n\}\). In particular, \(\mathrm{Sing}\,(u)\) is countably \((n-1)\)-rectifiable.
Now, we turn to the analyze of rectifiability of \({\overline{\mathrm{Sing}\,(u)}}\), with u the value function to the classical one free endpoint problem from calculus of variation, i.e.,
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00032-021-00330-1/MediaObjects/32_2021_330_Figa_HTML.png)
where L is a Tonelli Lagrangian of class \(C^{k+1}\) (\(k\geqslant 1\)) and \(u_0\) is of class \(C^{k+1}\), and \({\mathcal {A}}_{t,x}\) is the set of all absolutely continuous curves \(\xi :[0,t]\rightarrow \mathbb {R}^n\) such that \(\xi (t)=x\in \mathbb {R}^n\).
We have already seen in Proposition 3.1 that \(\mathrm{Sing}\,(u)\) is countably \((n-1)\)-rectifiable. Recall that, under the assumption on L and \(u_0\),
where \({\mathrm{Conj}}\,(u)\) is the set of conjugate points of problem (\(\hbox {CV}_{t,x}\)) (see [43, Page 155] or [38] for the definition). So, we only need to analyze the rectifiability of \({\mathrm{Conj}}\,(u)\). By a Sard type argument [55] one has \({\mathcal {H}}^{n+1/k}({\mathrm{Conj}}\,(u))=0\). However, the above estimate does not imply the rectifiability of \({\mathrm{Conj}}\,(u)\) even if \(u_0\) is of class \(C^{\infty }\).
Proposition 3.2
[38]. Under previous assumption,
-
(a)
\({\overline{\mathrm{Sing}\,(u)}}=\mathrm{Sing}\,(u)\cup {\mathrm{Conj}}\,(u)\).
-
(b)
\(\mathrm{Conj}\,(u)\) is countably \({\mathcal {H}}^n\)-rectifiable, and so is \({\overline{\mathrm{Sing}\,(u)}}\).
-
(c)
\({\mathcal {H}}^{n-1+2/k}(\mathrm{Sing}\,(u){\setminus }{\mathrm{Conj}}\,(u))=0\).
-
(d)
If L and \(u_0\) is of class \(C^{\infty }\), then \(\dim _{{\mathcal {H}}}(\mathrm{Sing}\,(u){\setminus }{\mathrm{Conj}}(u)) \leqslant n-1\).
If the initial datum \(u_0\) has weaker regularity than \(C^2\), then \({\overline{\mathrm{Sing}\,(u)}}\) can fail to be countably \({\mathcal {H}}^n\)-rectifiable, see [43, Example 6.6.13]. Notice that, in the mentioned example, L is of class \(C^{\infty }\). For the further progress along this line, see [68, 72].
3.2 Generalized Characteristics
Let \(\Omega \subset \mathbb {R}^n\) be open and let \(u:\Omega \rightarrow \mathbb {R}\) be a Lipschitz and semiconcave viscosity solution of the Hamilton–Jacobi equation
The notion of generalized characteristics with respect to (H, u) plays a central rôle in the study the phenomenon that the singularities propagates along a Lipschitz curve from an initial point \(x_0\in \mathrm{Sing}\,(u)\).
3.2.1 Propagation of Singularities for General Semiconcave Functions
Before dealing with viscosity solutions of (3.1), we begin with a result concerning propagation of singularities for semiconcave functions with linear modulus.
Proposition 3.3
[3]. Let \(u:\Omega \rightarrow \mathbb {R}\) be a semiconcave function. If \(x_0\in \mathrm{Sing}\,(u)\), or
then, there exists a Lipschitz singular arc \({\mathbf {x}}:[0,\tau ]\rightarrow \Omega \) with \({\mathbf {x}}(0)=x_0\) such that \(\dot{{\mathbf {x}}}^+(0)\) exists, \(\dot{{\mathbf {x}}}^+(0)\not =0\) and
We note that condition (3.2) is equivalent to the existence of two vectors \(p_0\in D^+u(x_0)\setminus D^*u(x_0)\) and \(q\in \mathbb {R}^n\setminus \{0\}\) such that
We will see later the importance of condition (3.2) which was initially pointed out in [9]. The key idea of the proof of Proposition 3.3 is to construct a function
Being strictly concave for small \(s>0\), \(\phi _s\) has a unique maximizer \(x_s\) in a small neighborhood of \(x_0\) in \(\Omega \). The curve \(s\mapsto x_s\) is exactly the local singular arc constructed in Proposition 3.3. It is rather surprising that a similar idea also works with the intrinsic singular characteristics, for the study of which the term \(\frac{1}{2s}|x-x_0|^2\) will be replaced by the fundamental solution.
3.2.2 Generalized Characteristics
Applying the basic idea from [3] to the viscosity solutions of (3.1), Albano and the first author introduced the notion of generalized characteristic in [5].
Suppose \(H:{\overline{\Omega }}\times \mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\) is a continuous function satisfying the following conditions:
-
(A1)
\(p\mapsto H(x,u,p)\) is convex;
-
(A2)
for any \(x\in \Omega \) and \(u\in \mathbb {R}^n\) the function \(H(x,u,\cdot )\) is uniformly quasi-convex, or the 0-level set \(\{p\in \mathbb {R}^n: H(x,u,p)=0\}\) contains no straight line;
-
(A3)
for any \(x_1,x_2\in \Omega \), \(u_1,u_2\in \mathbb {R}\), \(p\in \mathbb {R}^n\)
$$\begin{aligned} |H(x_1,u_1,p)-H(x_2,u_2,p)|\leqslant C_0(|x_1-x_2|+|u_1-u_2|) \end{aligned}$$for some constant \(C_0>0\);
-
(A4)
H is differentiable with respect to p and, for any \(x_1,x_2\in \Omega \), \(u_1,u_2\in \mathbb {R}\), \(p_1,p_2\in \mathbb {R}^n\)
$$\begin{aligned} |H_p(x_1,u_1,p_1)-H_p(x_2,u_2,p_2)|\leqslant C_1(|x_1-x_2|+|u_1-u_2|+|p_1-p_2|) \end{aligned}$$for some constant \(C_1>0\).
Proposition 3.4
[5]. Suppose H satisfies (A1)-(A4). Let u be a locally semiconcave solution of (3.1) and let \(x_0\in \mathrm{Sing}\,(u)\) be such that
Then, there exists a Lipschitz arc \({\mathbf {x}}:[0,\tau ]\rightarrow \Omega \) satisfying the following.
-
(1)
\({\mathbf {x}}\) is a generalized characteristic with respect to (H, u) from \(x_0\), that is,
$$\begin{aligned} {\left\{ \begin{array}{ll} \dot{{\mathbf {x}}}(s)\in {\mathrm {co}}\,H_p\big ({\mathbf {x}}(s),D^+u({\mathbf {x}}(s))\big )&{}\quad \text {a.e.}\;s\in [0,\tau ],\\ {{\mathbf {x}}}(0)=x_0.&{} \end{array}\right. } \end{aligned}$$(3.5) -
(2)
\({\mathbf {x}}\) is an injection.
-
(3)
\({\mathbf {x}}(t)\in \mathrm{Sing}\,(u)\) for all \(t\in [0,\tau ]\).
-
(4)
\(\dot{{\mathbf {x}}}^+(0)\) exists and \(\dot{{\mathbf {x}}}^+(0)=H_p(x_0,u(x_0),p_0)\) where \(p_0=\arg \min _{p\in D^+u(x_0)}H(x_0,u(x_0),p)\).
The proof of Proposition 3.4 uses the result in Proposition 3.3 together with an Euler segment approximation method. Moreover, one can also derive the useful energy estimate
where \({\mathbf {p}}:[0,\tau ]\rightarrow \mathbb {R}^n\) is defined by \({\mathbf {p}}(0)=p_0\) and
This kind of energy estimate can be used to deduce global propagation results.
3.2.3 An Approximation Method and Singular Characteristics
Needless to say, the proof of Proposition 3.3 and Proposition 3.4 utilises techniques from nonsmooth analysis and control theory. A simpler method was introduced in [81] and [44]. The following approximation lemma, proved in [44], will be frequently used in what follows.
Lemma 3.5
Given a semiconcave function on \(\Omega \), we assume there are positive constants \(L_i\), \(i=0,1,2\), such that \(|u(x)|\leqslant L_0\) for all \(x\in \Omega \), \(|Du(x)|\leqslant L_1\) for almost all \(x\in \Omega \), and u has semiconcavity constant \(L_2\). Let \(x_0\in \Omega \) and let V be an open subset of \(\Omega \) such that \(x_0\in V\subset {\overline{V}}\subset \Omega \). Then for any \(p\in D^+u(x_0)\) there is a sequence \(\{u_m\}_{m\geqslant 1}\subset C^{\infty }({\overline{V}})\) such that
-
(a)
\(|u_m(x)|\leqslant L_0\), \(|Du_m(x)|\leqslant L_1\), \(D^2u_m(x)\leqslant L_2I_n\) for all \(x\in V\),
-
(b)
\(\lim _{m\rightarrow \infty }u_m=u\) uniformly in \({\overline{V}}\) and \(\lim _{m\rightarrow \infty }Du_m(x_0)=p\).
The following result can be regarded as a refinement of Proposition 3.4.
Proposition 3.6
[44]. Suppose u is semiconcave function on \(\Omega \) and H is a function of class \(C^1\) satisfying (A1) and
-
(A2’)
for any \(x\in \Omega \), \(u\in \mathbb {R}^n\) and \(c\in \mathbb {R}\), the c-level set \(\{p\in \mathbb {R}^n: H(x,u,p)=c\}\) contains no straight line.
Let \(x_0\in \mathrm{Sing}\,(u)\) and \(p_0=\arg \min _{p\in D^+u(x_0)}H(x_0,u(x_0),p)\). Then, there exists a Lipschitz arc \({\mathbf {x}}:[0,\tau ]\rightarrow \Omega \) such that:
-
(i)
\({\mathbf {x}}\) is a generalized characteristic for (H, u) starting at \(x_0\);
-
(ii)
\({\mathbf {x}}(t)\in \mathrm{Sing}\,(u)\) for all \(t\in [0,\tau ]\);
-
(iii)
\(\dot{{\mathbf {x}}}^+(0)\) exists and \(\dot{{\mathbf {x}}}^+(0)=H_p(x_0,u(x_0),p_0)\);
-
(iv)
\(\lim _{t\rightarrow 0^+}{\text {*}}{ess\ sup}_{s\in [0,t]}|\dot{{\mathbf {x}}}(s)-\dot{{\mathbf {x}}}^+(0)|=0\).
Remark 3.7
For what follows we need further details related to Proposition 3.6.
-
The semiconcave function u is not required to be a solution of (3.1). But, if \(\Omega \) is bounded, being Lipschitz, u must be a subsolution of (3.1) with Hamiltonian \(H-c\) for some \(c\in \mathbb {R}\).
-
Observe that, in general, a generalized characteristic may well be a constant arc. But, for solutions of (3.1), it was proved in [5] that singularities propagate along genuine shocks (injective generalized characteristics) under assumption (3.4). If u is a solution of (3.1), as a corollary, one can show that the generalized characteristics in Proposition 3.6 propagates singularities under the more natural condition
$$\begin{aligned} 0\not \in H_p(x_0,u(x_0),D^+u(x_0)). \end{aligned}$$ -
For the generalized characteristic \({\mathbf {x}}\), constructed in Proposition 3.6, the right-continuity of \(\dot{{\mathbf {x}}}\) at 0 is important for further applications. Later, we will call a singular generalized characteristic satisfying properties (i)-(iv) in Proposition 3.6 a singular characteristic.
Owing to Lemma 3.5, there is a sequence of smooth functions \(\{u_m\}\) enjoying properties (a) and (b) in the lemma for \(p=p_0\). It is easy to see that, for every \(m\geqslant 1\), the Cauchy problem
has a \(C^1\) solution \(x_m:[0,\tau ]\rightarrow \Omega \). Without loss of generality, we can assume that \(x_m\) uniformly converges to \({\mathbf {x}}\) on \([0,\tau ]\) as \(m\rightarrow \infty \). A standard argument (see, for instance, [81]) shows that \({\mathbf {x}}\) is a generalized characteristic for (H, u) starting at \(x_0\).
3.3 Strict Singular Characteristics
The rôle of the convex hull in the definition of generalized characteristic is quite mysterious. This is a big obstacle for us to reveal more information about the propagation of singularities and related Hamiltonian dynamics. The next notion gets rid of such a convexity operator.
Definition 3.8
A Lipschitz curve \({\mathbf {x}}:[0,\tau ]\rightarrow \Omega \) is called a strict singular characteristic for (H, u) starting at \(x_0\in \mathrm{Sing}\,(u)\) if:
-
(i)
denoting by p(t) the minimal energy selection of \(D^+u({\mathbf {x}}(t))\), i.e.,
$$\begin{aligned} p(t)=\arg \min _{p\in D^+u({\mathbf {x}}(t))}H({\mathbf {x}}(t),u({\mathbf {x}}(t)),p)\qquad (t\in [0,\tau ]), \end{aligned}$$\({\mathbf {x}}\) satisfies
$$\begin{aligned} \begin{aligned} {\left\{ \begin{array}{ll} \dot{{\mathbf {x}}}(t)=H_p({\mathbf {x}}(t),u({\mathbf {x}}(t)),p(t)),&{} a.e.\ t\in [0,\tau ],\\ {\mathbf {x}}(0)=x_0\,;&{} \end{array}\right. } \end{aligned} \end{aligned}$$(3.6) -
(ii)
\({\mathbf {x}}(t)\in \mathrm{Sing}\,(u)\) for all \(t\in [0,\tau ]\);
-
(iii)
\(\dot{{\mathbf {x}}}^+(0)\) exists and \(\dot{{\mathbf {x}}}^+(0)=H_p(x_0,u(x_0),p(0))\);
-
(iv)
\(\lim _{t\rightarrow 0^+}{\mathrm{ess\ sup}}_{s\in [0,t]}|\dot{{\mathbf {x}}}(s)-\dot{{\mathbf {x}}}^+(0)|=0\).
The existence of strict singular characteristics for equation (HJ) was proved in [63] (see also the appendix of [25]), where additional regularity properties of such curves were established, including the right-differentiability of \({\mathbf {x}}\) for every t. However, the intrinsic nature of the strict singular characteristics is still unclear. One of the most important issues of the theory is to establish the uniqueness of solutions to (3.6). We describe below a partial answer to such a fundamental problem, following the paper [25].
Hereafter in this section we assume \(n=2\). Given a semiconcave solution u of
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00032-021-00330-1/MediaObjects/32_2021_330_Figb_HTML.png)
we denote by \(\text{ Lip}^u_0(0,T;\Omega )\) the set of Lipschitz arcs \({\mathbf {x}}\) satisfying properties (ii), (iii), and (iv) of Definition 3.8 for all \(t\in [0,T]\).
Theorem 3.9
([25]). Let u be a semiconcave solution of (\(\hbox {HJ}_{\mathrm{loc}}\)) and let \(x_0\in \mathrm{Sing}\,(u)\) be such that \(0\not \in H_p(x_0,D^+u(x_0))\). Let \({\mathbf {x}}_j\in \text{ Lip}_0^u(0,T;\Omega )\) (\(j=1,2\)) be such that \({\mathbf {x}}_j(0)=x_0\). Then, there exists \(\sigma \in (0,T]\) such that there exists a unique bi-Lipschitz homeomorphism
satisfying \({\mathbf {x}}_1(s)={\mathbf {x}}_2(\phi (s))\) for all \(s\in [0,\sigma ]\).
Corollary 3.10
([25]). Let \({\mathbf {x}}\) be a strict singular characteristic starting from \(x_0\) and let \({\mathbf {y}}\) be any singular characteristic as in Proposition 3.4. If \(0\not \in H_p(x_0,D^+u(x_0))\), then there exists \(\sigma >0\) and a bi-Lipschitz homeomorphism \(\phi :[0,\sigma ]\rightarrow [0,\phi (\sigma )]\) such that
For strict singular characteristics, uniqueness holds without reparameterization.
Theorem 3.11
([25]). Let u be a semiconcave solution of (\(\hbox {HJ}_{\mathrm{loc}}\)) and let \(x_0\in \mathrm{Sing}\,(u)\) be such that \(0\not \in H_p(x_0,D^+u(x_0))\). Let \({\mathbf {x}}_j:[0,T]\rightarrow \Omega \) (\(j=1,2\)) be strict singular characteristics with initial point \(x_0\). Then there exists \(\tau \in (0, T]\) such that \({\mathbf {x}}_1(t)={\mathbf {x}}_2(t)\) for all \(t\in [0,\tau ]\).
Theorem 3.9 and Theorem 3.11 establish a connection between the absence of critical points and uniqueness of strict singular characteristics. In this direction, we also have the following global result.
Corollary 3.12
([25]). Let u be a semiconcave solution of (\(\hbox {HJ}_{\mathrm{loc}}\)) and let \(x_0\in \mathrm{Sing}\,(u)\). Let \({\mathbf {x}}_j:[0,T]\rightarrow \Omega \) (\(j=1,2\)) be strict singular characteristics with initial point \(x_0\) such that \(0\not \in H_p({\mathbf {x}}_j(t),D^+u({\mathbf {x}}_j(t)))\) for all \(t\in [0,T]\). Then \({\mathbf {x}}_1(t)={\mathbf {x}}_2(t)\) for all \(t\in [0,T]\).
4 Global Propagation of Singularities
In this section, we will discuss the global behavior of the propagation of singularities along generalized characteristics.
4.1 Propagating Structure of the \(C^1\) Singular Support
A typical problem is the following evolutionary Hamilton–Jacobi equation
A different, but related, problem is the study of the propagation of the closure of the singular set of u, i.e, the \(C^1\) singular support of u.
Definition 4.1
Let u be a viscosity solution of (4.1). We say that (t, x) is not in the \(C^1\) singular support of u, denoted by \((t,x)\not \in \text {sing supp}_{C^1}\,(u)\), if there exists a neighborhood \(V\subset (0,T)\times \mathbb {R}^n\) of \((t_0,x_0)\), such that \(u\in C^1(V)\). In other words, \(\text {sing supp}_{C^1}\,(u)\) is the complement of the largest open set on which u is of class \(C^1\).
Consider the system of generalized characteristics with respect to (4.1), that is,
Proposition 4.2
[10]. Suppose L(t, x, v) is a Tonelli Lagrangian with the associated Hamiltonian H(t, x, p) and \(u_0\) is continuous. Let \((t_0,x_0)\in {\mathrm{sing\,supp}}_{C^1}\,(u)\), then
where \({\mathbf {x}}\) is solution of (4.2).
The proof of Proposition 4.2 is based on an improvement of some classic results when \(u_0\) is of class \(C^2\) (see, for instance, Chapter 6 of [43]). In fact, even if \(u_0\) is just continuous, one can show that if \((t,x)\not \in \text {sing supp}_{C^1}\,(u)\), then the associated optimal curve \(\xi \) ending at x must satisfies the property that \((s,\xi (s))\not \in \text {sing supp}_{C^1}\,(u)\) for \(s\in (0,t]\). Now, suppose there exists \((t,{\mathbf {x}}(t))\not \in \text {sing supp}_{C^1}\,(u)\) for some \(t\in (t_0,T)\). Then there exists a tubular neighborhood \(V\subset \mathbb {R}^{n+1}\) of \(\{(s,\xi (s)): s\in [t_0,t)\}\), where \(\xi \) is the optimal curve such that \(\xi (t)={\mathbf {x}}(t)\). Moreover, \(V\cap \text {sing supp}_{C^1}\,(u)=\varnothing \). On the open set V, \({\mathbf {x}}\) and \(\xi \) are essentially identified because both solve the same ordinary differential equation (4.2) (by the claim above) and satisfy the same endpoint condition. This leads to a contradiction and it follows that the \(C^1\) singular support must propagate to \((t,{\mathbf {x}}(t))\) along the generalized characteristic \({\mathbf {x}}\).
Remark 4.3
We should emphasize that the proof of Proposition 4.2 is based on an intrinsic approach, i.e., the argument just uses the analysis of the associated characteristics system.
4.2 Global Propagation of Genuine Singularities
It is quite natural to ask the question if the singularities of the viscosity solution u of (4.1) can propagation along the associated generalized characteristic \({\mathbf {x}}\) for all \(t>0\). In general, the answer is negative (see, for instance, Example 5.6.7 in [43]).
4.2.1 Concave Initial Data
For any open subset \(\Omega \subset \mathbb {R}^n\), consider the following Hamilton–Jacobi equation
If \(\Omega =\mathbb {R}^n\), H is of class \(C^2\), \(\alpha ^{-1}I_n\leqslant D^2H\leqslant \alpha I_n\) for some \(\alpha >0\), and equation (4.3) admits a concave solution, then it was showed in [4] that if \((t_0,x_0)\in \mathrm{Sing}\,(u)\) then there exists a Lipschitz arc \((t,{\mathbf {x}}(t))\), \(t\in [t_0,+\infty )\), with \({\mathbf {x}}(t_0)=x_0\), such that \((t,{\mathbf {x}}(t))\in \mathrm{Sing}\,(u)\) for all \(t\in [t_0,+\infty )\). We remark that u is concave in \([0,T]\times \mathbb {R}^n\) if and only if \(u_0\) is concave. So, this result is very special.
4.2.2 Generalized Gradients
Let \(S\subset \mathbb {R}^n\) be closed and denote by \(d_S\) the distance function from S. It is well known that \(u=d_S\) satisfies the eikonal equation
Now, let \(S=\mathbb {R}^n\setminus \Omega \) where \(\Omega \) is an open domain in \(\mathbb {R}^n\). In this case, the system of generalized characteristics becomes the generalized gradient system:
This is also the case for the Hamiltonian of mechanical system which has the form \(H(x,p)=\frac{1}{2}\langle A(x)p,p\rangle +V(x)\), where V is a smooth function and A(x) is a positive definite symmetric \(n\times n\) real matrix smoothly depending on x.
If \(\Omega \) is a bounded open subset of \(\mathbb {R}^n\), it was shown in [8] that the generalized gradient flow given by (4.5) propagates singularities for all \(t>0\). This is also true for the case of Riemannian manifolds. A significant application of this global propagation result to geometry is that the singular set of \(d_{S}\) has the same homotopy type as \(\Omega \). Further deep extension of this topological result to the weak KAM context will be discussed later. We will also discuss more general Dirichlet problem in Section 5.3.2.
4.2.3 Mechanical Systems
Now, suppose \(H(p)=\frac{1}{2}\langle Ap,p\rangle \) with A a positive definite \(n\times n\) real matrix. Consider the following Cauchy-Dirichlet problem
Moreover, assume \(\phi \) satisfies the following compatibility condition
for all \((t,x),(s,y)\in \partial Q\) such that \(t>s\geqslant 0\).
Proposition 4.4
[39]. Let \(\phi :{\overline{Q}}\rightarrow \mathbb {R}\) be a Lipschitz continuous function satisfying (4.7) and let u be a viscosity solution of (4.6). Given \((t_0,x_0)\in \mathrm{Sing}\,(u)\), let \({\mathbf {x}}\) be the generalized characteristic determined by (4.2) such that \({\mathbf {x}}(t_0)=x_0\). Then, there exists \(T\in (0,+\infty ]\) such that \((s,{\mathbf {x}}(s))\in \mathrm{Sing}\,(u)\) for all \(s\in [t_0,t_0+T)\) and \(\lim _{s\rightarrow (t_0+T)^-}\in \partial Q\) whenever \(T<+\infty \).
The proof of the above result relies on two main ideas that are converted in two technical results, respectively. The first one is a sharp semiconcavity estimate for a suitable transform of the solution u in [8]. The second one is an inequality established showing that the full Hamiltonian associated with (4.6), that is,
decreases along a selection of the superdifferential of u, evaluated at any point of a suitable arc.
Remark 4.5
We remark that if \(\Omega =\mathbb {R}^n\), Proposition 4.4 directly leads to a global propagation result. For general case, the statement ensures that the singularities will have global propagation or hit the boundary \(\partial Q\) (see also Section 5.3.2).
5 Weak KAM Aspects of Singularities
In this section, we will discuss the problem of propagation of singularities in the frame of weak KAM theory [49,50,51,52,53, 57] and Mather theory [66, 67, 69].
5.1 Weak KAM Aspects of Hamilton–Jacobi Equations
Suppose M is a smooth manifold without boundary and TM (resp. \(T^*M\)) is the tangent (cotangent) bundle of M. Let \(L:TM\rightarrow \mathbb {R}\) be a Tonelli Lagrangian, i.e., L is of class \(C^2\), and \(L(x,\cdot )\) is strictly convex for all \(x\in M\) and uniformly superlinear. Let \(H:T^*M\rightarrow \mathbb {R}\) be the associated Tonelli Hamiltonian. We consider the stationary Hamilton–Jacobi equation
and the evolutionary one
In Eq. (5.1) we always suppose 0 on the right side equals Mañé’s critical value.
The solution of equation (5.2) can be regarded as the value function of some basic problem in the calculus of variation or optimal control. For any \(x,y\in M\) and \(t>0\), we denote by \(\Gamma ^t_{x,y}\) the set of all absolutely continuous curves \(\xi :[0,t]\rightarrow M\) such that \(\xi (0)=x\) and \(\xi (t)=y\). We define the fundamental solution of (5.2) as
Recall that for any Tonelli Lagrangian, the function \((t,y)\mapsto A_t(x,y)\) is locally semiconcave and semiconvex for small \(t>0\). Moreover, the function \(y\mapsto A_t(x,y)\) is convex with constant C/t for small t (see, for instance, [23, Proposition B.8]). In symplectic geometry, \(A_t(x,y)\) is also known as generating function. The following result is known for generating functions in symplectic geometry (see, for instance, [70, Chapter 9]). The readers can compare Proposition B.8 in [23] (see also [35, Theorem 4.2] for Cauchy problems) and the following lemma for fundamental solutions of Hamilton–Jacobi equations, with two analogous concepts of convexity radius and injectivity radius from Riemannian geometry.
Lemma 5.1
For any \(\lambda >0\) there exists \(t_{\lambda }>0\) such that the function \((t,y)\mapsto A_t(x,y)\) is of class \(C^2\) in the cone
Proof
Fix \(x\in \mathbb {R}^n\) and let \(q\in \mathbb {R}^n\). For \(t>0\) consider the Hamiltonian system
We denote the solution of (5.4) by (X(t, q), P(t, q)). Define \(\Phi :(0,\infty )\times \mathbb {R}^n\rightarrow (0,\infty )\times \mathbb {R}^n\) as
Observe that \(\Phi \) is of class \(C^2\). The associated variational equation is
Consequently, we have \(X'_q(0,q)=H_{pp}(x,q)\). Since H is a Tonelli Hamiltonian, we conclude that for any \(R>0\) there exists \(\nu (R)>0\) such that if \(|q|\leqslant R\) then \(H_{pp}(x,q)>\nu (R)I\). Moreover, by the Lipschitz dependence of the solution of (5.4) and (5.5) with respect to initial data, we obtain
with \(C(\cdot ,\cdot )>0\) nondecreasing for all variables. So
We conclude that for any \(R>0\) there exist \(\nu (R),T(R)>0\) such that
Let \(\lambda >0\). Then there exists \(t_\lambda \) by Proposition B.8 in [23] such that \(A_t(x,\cdot )\) is of class \(C^{1,1}_{loc}\) in \(B(x,\lambda t)\) for \(0<t\leqslant t_\lambda \). For any \(0<t\leqslant t_\lambda \), \(y\in B(x,\lambda t)\) there exists a unique minimizer \(\xi _{t,y}\in \Gamma ^t_{x,y}\) for \(A_t(x,y)\). Notice \(|L_v(\xi _{t,y},{\dot{\xi }}_{t,y})|\leqslant K(\lambda )\) for some constant \(K(\lambda )>0\). Let
and fix \(t_0\in (0,T_0)\). Set \(q_0=L_v(x,{\dot{\xi }}_{t_0,y}(0))\). We want to show that
is locally invertible at \((t_0,q_0)\) with a \(C^2\) inverse. For this we observe that
and (5.7) implies that
Then the conclusion follows from the inverse mapping theorem.
We now claim that
This follows from the fact that \(X(\cdot ,q_0)\) and \(\xi _{t_0}(\cdot )\) are both solutions of the Cauchy problem
Consequently, \(X(t_0,q_0)=\xi _{t_0}(t_0)=y\). Recalling that
one completes the proof. \(\square \)
Whenever (5.2) has a unique solution, such a solution satisfies the Lax-Oleinik formula. More precisely, for any \(\phi :M\rightarrow \mathbb {R}\), any \(t>0\) and any \(x\in M\) we define
Then \(u(t,x)=T_t\phi (x)\) is the (unique) viscosity solution of (5.2). Similarly, \(\breve{T}_t\phi (x)\) gives the representation of the viscosity solution of (5.2) when replacing H by \(-H\). We call \(\{T_t\}_{t>0}\) and \(\{\breve{T}_t\}_{t>0}\) the negative and positive type Lax-Oleinik operators, respectively. Both of them are continuous semigroups on suitable function spaces of initial data.
Definition 5.2
Let u be a continuous function on M. We say u is L-dominated if
for all absolutely continuous curves \(\xi :[a,b]\rightarrow \mathbb {R}^n\;(a<b)\), with \(\xi (a)=x\) and \(\xi (b)=y\). We say such an absolutely continuous curve \(\xi \) is a (u, L)-calibrated curve, or a u-calibrated curve for short, if the equality holds in the inequality above. A curve \(\xi :(-\infty ,0]\rightarrow \mathbb {R}^n\) is called a u-calibrated curve if it is u-calibrated on each compact sub-interval of \((-\infty ,0]\). In this case, we also say that \(\xi \) is a backward calibrated curve (with respect to u).
Proposition 5.3
([51, 57]). There exists a Lipschitz semiconcave viscosity solution of (5.1). Moreover, such a solution u is a common fixed point of the semigroup \(\{T_t\}\), i.e., \(T_tu=u\) for all \(t\geqslant 0\).
Recall that a continuous function u on M is called a weak KAM solution of (5.1) if \(T_tu=u\) for all \(t>0\). The following result explains the relation between the set of all reachable gradients and the set of all backward calibrated curves from x (see, e.g., [43] or [75] for the proof).
Proposition 5.4
Let \(u:M\rightarrow \mathbb {R}\) be a weak KAM solution of (5.1) and let \(x\in M\). Then \(p\in D^{*}u(x)\) if and only if there exists a unique \(C^2\) curve \(\xi :(-\infty ,0]\rightarrow M\) with \(\xi (0)=x\) and \(p=L_v(x,{\dot{\xi }}(0))\), which is a backward calibrated curve with respect to u.
5.2 Local Propagation
In the study of singularities of weak KAM solutions, the first issue to address is the possible existence of isolated singular points. A typical family of Hamilton–Jacobi equations on the n-torus \(\mathbb {T}^n\) is
where \(\alpha (c)\) is Mather’s \(\alpha \)-function evaluated at \(c\in \mathbb {R}^n\) ([66]). For given \(c\in \mathbb {R}^n\), \(\alpha (c)\) is exactly Mañé’s critical value for the Hamiltonian \(H(x,c+p)\). Recall the function \(\alpha \) is convex and superlinear. Usually, the level set \(\Lambda =\arg \min _{c\in \mathbb {R}^n}\alpha (c)\) has a flat part. Observe that, for the one-dimensional pendulum system, there exist isolated singular points of a weak KAM solution \(u_c\) if c is contained in the relative interior of \(\Lambda \). A criterion to ensure the non-existence of isolated singular points is \(c^*\not \in \Lambda \), or
A confirmative result that no isolated singular point exists for a weak KAM solution \(u_c\) of (5.10) was proved in [31] for mechanical systems using a topological argument.
5.3 Intrinsic Singular Characteristics
5.3.1 Singular Characteristics of Weak KAM Solution
In this section, we suppose u is a Lipschitz semiconcave weak KAM solution of (5.1) on \(M=\mathbb {R}^n\).
In [23], another kind of singular curve for u is constructed as follows. First, it is shown that there exists \(\lambda _0>0\) such that for any \((t,x)\in \mathbb {R}_+\times \mathbb {R}^n\) and any maximizer y for the function \(u(\cdot )-A_t(x,\cdot )\), we have that \(|y-x|\leqslant \lambda _0 t\). Then, taking \(\lambda =\lambda _0+1\), one shows that, for some \(t_{0}>0\) and any \(t\in (0,t_0]\), there exists a unique \(y_{t,x}\in B(x,\lambda t)\) such that
Moreover, \(u(\cdot )-A_t(x,\cdot )\) is concave with constant \(C_1-C_2/t<0\) for \(0<t\leqslant t_0\). For any fixed \(x\in \mathbb {R}^n\) define
Proposition 5.5
[23] Let \(x\in \mathbb {R}^n\) and let \({\mathbf {x}}\) be the curve defined in (5.13). Then, the following holds:
-
(1)
\({\mathbf {x}}\) is Lipschitz continuous;
-
(2)
if \(x\in \mathrm{Sing}\,(u)\), then \({\mathbf {x}}(t)\in \mathrm{Sing}\,(u)\) for all \(t\in [0,t_0]\);
-
(3)
\(\dot{{\mathbf {x}}}^+(0)\) exists and
$$\begin{aligned} \dot{{\mathbf {x}}}^+(0)=H_p(x_0,p_0) \end{aligned}$$where \(p_0=\arg \min \{H(x_0,p): p\in D^+u(x)\}\).
Hereafter, we refer to the arc \({\mathbf {x}}\) defined in (5.13) as the intrinsic singular characteristic from x. Notice that \(t_0\) is independent of the initial point. Thus, when \(x\in \mathrm{Sing}\,(u)\), Proposition (5.5) yields global propagation of singularities.
The reader can compare to the idea of the proof—that we outline below—to the argument used to deduce the propagation of the \(C^1\) singular support in Section 4.1. Suppose \(x\in \mathrm{Sing}\,(u)\) but \(y_{t,x}\not \in \mathrm{Sing}\,(u)\) (\(0<t\leqslant t_0\)). Applying Fermat’s rule, we have that \(D_yA_t(x,y_{t,x})=Du(y_{t,x})\). Invoking Proposition 5.4 and the differentiability property of the fundamental solution for small time, we conclude that there exist two minimal curves. One is the backward calibrated curve \(\gamma _{t,x}:(-\infty ,t]\rightarrow \mathbb {R}^n\) such that \(\gamma _{t,x}(t)=y_{t,x}\) and \(Du(y_{t,x})=L_v(\gamma _{t,x}(t),{\dot{\gamma }}_{t,x}(t))\). The other one is the unique minimal curve \(\xi _{t,x}\in \Gamma ^t_{x,y_{t,x}}\). Thus
It follows that \(\gamma _{t,x}\) and \(\xi _{t,x}\) coincide on [0, t] since both of them are extremal curves for the action functional in (5.3) and satisfy the same endpoint conditions at \(y_{t,x}\). This leads to a contradiction since we suppose \(y_{t,x}\not \in \mathrm{Sing}\,(u)\). This argument shows the stronger result that any x in the cut locus of u, \(\mathrm{Cut}\,(u)\), is the initial point of a singular arc which remains singular at all times. We will emphasise this point in the next section.
Now, we want to give a new proof of the Lipschitz continuity of intrinsic characteristics, by a reasoning that seems more natural than the method we used in [23]. This proof is based on the combination of the approximation argument used in [44] and regularity of the fundamental solution (Lemma 5.1).
First, suppose \(\phi \in C^2(\Omega )\) with \(\Omega \) a bounded open subset of \(\mathbb {R}^n\). Fix \(x\in \Omega \). By following the approach in [23], we have that there exists \(t_0>0\) such that for any \(t\in (0,t_0]\) the strictly concave function \(\phi (\cdot )-A_t(x,\cdot )\) attains its maximum at a unique point y(t). In other words, the curve y satisfies the equation
where \(F(t,y):=D\phi (y)-D_yA_t(x,y)\) is of class \(C^1\). Let \(\xi _{t,y}\in \Gamma ^t_{x,y}\) be the unique minimizer for the functional defining \(A_t(x,y)\). Recall that
Then, \(D_yp(t,y)=D^2_{y}A_t(x,y)\) and
Thus, by differentiating (5.14) with respect to t we obtain
Notice that \(D^2_{y}A_t(x,y)-D^2\phi (y)\) is invertible since
Set \(B(t,y)=\big (D^2_{y}A_t(x,y)-D^2\phi (y)\big )^{-1}\). Then B(t, y) is positive definite and \(B(t,y)< \frac{tI}{C_3}\). So,
By Lemma 3.3 in [23] we have that \(\{{\dot{\xi }}_{t,y}\}_{(0,t_0]}\) is an equi-Lipschitz family. Hence,
where \(C_4\) at most depends on \(\text {Lip}\,(\phi )\). Therefore, we conclude that
Now, suppose \(u:{{\overline{\Omega }}}\rightarrow \mathbb {R}\) is a Lipschitz semiconcave solution of
satisfying
Take any sequence of \(C^\infty \)-functions \(\{u_m\}\) such that
converging uniformly to u on \({\overline{\Omega }}\) as \(m\rightarrow \infty \) (for instance, the sequence given by Lemma 3.5). As was observed above, the sequence of curves
is well defined for some \(t_0>0\).
Theorem 5.6
Let u be a Lipschitz and semiconcave solution of (5.17). Let y(t) be the intrinsic singular characteristic defined on \([0,t_0]\) starting from a given point \(x\in \mathrm{Sing}\,(u)\), and let \(y_m(t)\) be the curve defined in (5.19). Then \(\{y_m\}\) converges to y uniformly on [0, t] and y is Lipschitz continuous on \([0,t_0]\).
Remark 5.7
Since the sequence of functions \(u_m(\cdot )-A_t(x,\cdot )\) converges to \(u(\cdot )-A_t(x,\cdot )\) uniformly as \(m\rightarrow \infty \) and the family is equi-Lipschitz, then it is straightforward to see that the (unique) maximizer of \(u_m(\cdot )-A_t(x,\cdot )\) converges to the maximizer of \(u(\cdot )-A_t(x,\cdot )\) uniformly with respect to t. However, we give a detailed proof of this fact below, in order to establish a precise estimate of the convergence rate.
Proof
Let \(p_t=L_v(\xi _{t,y}(t),{\dot{\xi }}_{t,y}(t))\), then \(p_t=D_yA_t(x,y(t))\in D^+u(y(t))\). By the semiconcavity of u and the convexity of the fundamental solution we deduce that
So,
Recall that \(t_0\) is chosen that that \(C_2-C_3/t<0\) for \(t\in (0,t_0]\). Recall that the family \(\{y_m\}\) is equi-Lipschitz by (5.16). This implies \(y_m\) converges to y uniformly on \([0,t_0]\).
\(\square \)
Remark 5.8
The method used here is closely related to the Lasry-Lions regularization from convex analysis ([1, 13]) and PDE ([65]). In a weak KAM context, this method was also widely used as an interaction of the positive-negative Lax-Oleinik operators ([16,17,18, 59]). The relation between Lasry-Lions regularization and generalized characteristics was also studied in ([22, 32]). This method was applied to minimal homoclinic orbits with respect to the Aubry set ([21]).
5.3.2 Dirichlet Problem
The proof of Proposition 5.5 actually affords a method to handle various kind of problems for propagation of singularities if the solution can be represented in the form of an inf-convolution. For example, in [29], a global result for the Dirichlet problem was obtained using the above intrinsic approach.
Consider the Dirichlet boundary-value problem for a first-order Hamilton–Jacobi equation
where \(\Omega \subset \mathbb {R}^n\) is a bounded Lipschitz domain, H is a Tonelli Hamiltonian, and g is the boundary datum. For any \(x,y\in \Omega \) and any \(s<t\), we define the set of admissible arcs from x to y as
For any \(x,y\in \Omega \) and \(t>0\), we define the fundamental solution \(A^{\Omega }_t(x, y)\) relative to \(\Omega \), Mañé’s potential \(\Phi ^{\Omega }_L(x,y)\) relative to \(\Omega \), and critical value \(c_{\Omega }(L)\) relative to \(\Omega \) by
Let u be the value function of the following problem:
where \(g:\partial \Omega \rightarrow \mathbb {R}\) is a continuous function satisfying the compatibility condition
Observe that the function u given by (5.21) is the value function of an optimal exit problem (see, for instance, [14]) and a viscosity solution of (5.20). The following result can be regarded as an extension of Proposition 4.4.
Proposition 5.9
([29]). Suppose the energy condition
Let \(x_0\in \mathrm{Cut}\,(u)\). Then, the following alternative holds:
-
(a)
either there exists a generalized characteristic \({\mathbf {x}}:[0,+\infty )\rightarrow \Omega \) starting from \({\mathbf {x}}(0)=x_0\) such that \({\mathbf {x}}(s)\in \mathrm{Sing}\,(u)\) for all \(s\in [0,+\infty )\),
-
(b)
or there exist \(T>0\) and a generalized characteristic \({\mathbf {x}}:[0,T)\rightarrow \Omega \) starting from \({\mathbf {x}}(0)=x_0\) such that \({\mathbf {x}}(s)\in \mathrm{Sing}\,(u)\) for all \(s\in [0,T)\), and a sequence of positive real numbers \(\{s_k\}\) such that
$$\begin{aligned} \lim _{k\rightarrow \infty }s_k=T,\quad \text {and}\quad \lim _{k\rightarrow \infty }d_{\partial \Omega }({\mathbf {x}}(s_k))=0. \end{aligned}$$
To exclude the case that the singularities hit the boundary we need more conditions on \(\partial \Omega \). We shall suppose the following, where we denote \(\partial \Omega \) by \(\Gamma \):
-
(G1) there exists \(\nu \in [0,1)\) such that \(g(y_1)-g(y_2)\leqslant \nu \Phi ^{\Omega }_L(y_2,y_1)\), \(\forall y_1,\, y_2\in \partial \Gamma \);
-
(G2) there exists \(G\in C^{1,1}(\Gamma _\delta )\) for some \(\delta >0\) such that \(g=G|_\Gamma \) and
$$\begin{aligned} \langle \nabla G(x),x-y\rangle \leqslant \breve{C}|x-y|^2\qquad \forall x,y\in \Gamma \end{aligned}$$(5.23)for some \(\breve{C}>0\), where \(\Gamma _\delta \) denotes the \(\delta \)-neighborhood of \(\Gamma \).
Proposition 5.10
Let \(\Omega \subset \mathbb {R}^n\) be a bounded domain with \(C^2\) boundary, let L be a Tonelli Lagrangian satisfying \(L\geqslant \alpha >0\) and let g satisfy (G1),(G2). If \(x_0\in \mathrm{Cut}\,(u)\), then there exists a generalized characteristic \({\mathbf {x}}:[0,+\infty )\rightarrow \Omega \) starting from \({\mathbf {x}}(0)=x_0\) such that \({\mathbf {x}}(s)\in \mathrm{Sing}\,(u)\) for all \(s\in [0,+\infty )\).
Remark 5.11
We note that the energy condition \(c_{\Omega }(L)<0\) (which is implicitly assumed even in the above proposition as a consequence of the hypothesis \(L\geqslant \alpha >0\)) ensures that any optimal curve touches the boundary in finite time in the associated optimal exit time problem. On the other hand, the case of \(c_{\Omega }(L)=0\) is still open, especially the analysis of the Aubry set on the boundary. For a state constrained problem, weak KAM aspects of the boundary behaviour of solutions were studied in [30].
5.4 Topology of \(\mathrm{Sing}\,(u)\) and \(\mathrm{Cut}\,(u)\)
Recall the homotopy equivalence between a bounded open subset \(\Omega \subset \mathbb {R}^n\) and the singular set of the distance function \(d_{\Omega }\) discussed in Section 4.2.2 is based on a global propagation result for the generalized gradient flow. It is quite natural to use the global result in the last section to study the similar problem in the weak KAM setting.
5.4.1 Aubry Set and Cut Locus
Let M be compact and u be a weak KAM solution of (5.1). We define the projected Aubry set \({\mathcal {I}}(u)\) of u as the subset of M such that \(x\in {\mathcal {I}}(u)\) if there exists a u-calibrated curve \(\gamma :(-\infty ,+\infty )\rightarrow M\) passing though x. We also define the cut locus of u, denoted by \(\mathrm{Cut}\,(u)\), as the set of points \(x\in M\) where no backward u-calibrated curve ending at x can be extended to a u-calibrated curve beyond x. In general we have the following inclusions:
Using the construction in the last section, one can obtain a continuous homotopy \(F:M\times [0,t]\rightarrow M\), \(t>0\), with the following properties:
-
(a)
for all \(x\in M\) we have \(F(x,0)=x\);
-
(b)
if \(F(x,s)\not \in \mathrm{Sing}\,(u)\) for some \(s>0\) and \(x\in M\), then the curve \(\sigma \mapsto F(x,\sigma )\) is u-calibrating on [0, s];
-
(c)
if there exists a u-calibrated curve \(\gamma :[0,s]\rightarrow M\) with \(\gamma (0)=x\), then \(\sigma \mapsto F(x,\sigma )=\gamma (\sigma )\) for every \(\sigma \in [0,\min \{s,t\}]\).
Proposition 5.12
([27]). The inclusions
are all homotopy equivalences. As a consequence, for every connected component C of \(M\setminus {\mathcal {I}}(u)\) the three intersections \(\mathrm{Sing}\,(u)\cap C\), \(\mathrm{Cut}\,(u)\cap C\), and \({\overline{\mathrm{Sing}\,(u)}}\cap C\) are path connected.
Similar to the homotopy constructed above, for any open subset \(O\subset M\setminus {\mathcal {I}}(u)\), we can also construct a local homotopy by \(G_O(x,s)=F(x,s\alpha _O(x))\), where \(\alpha _O\) is continuous interpolation of the cut time function \(\tau :M\rightarrow [0,+\infty ]\) (the supremum of the time \(t\geqslant 0\) such that there exists a u-calibrated curve \(\gamma :[0,t]\rightarrow M\), with \(\gamma (0)=x\)) and the local exit function \(\eta _O:O\rightarrow [0,+\infty ]\) defined by \(\eta _O(x)=\sup \{t\in [0,+\infty ): F(x,s)\in O,\ \text {for all}\ s\in [0,t]\}\). Notice \(\tau <\eta _O\) on an open subset of O, and \(\tau \) is upper semicontinuous, \(\eta _O\) is lower semicontinuous.
Proposition 5.13
([27]). The spaces \(\mathrm{Sing}\,(u)\) and \(\mathrm{Cut}\,(u)\) are locally contractible.
5.4.2 Singular Set on Noncompact Manifolds
Let \(0<T\leqslant \infty \) and suppose M is a noncompact manifold and L (resp. H) is a Tonelli Lagrangian (resp. Hamiltonian). We will review some topological results for the singular set of a uniformly continuous viscosity solution of
which were obtained in [28], together with their applications to Riemannian geometry.
Proposition 5.14
([28]). Let \(H:T^*M\rightarrow \mathbb {R}\) be a Tonelli Hamiltonian. If u is a continuous viscosity solution of the evolutionary Hamilton–Jacobi equation (5.24), then the set \(\mathrm{Sing}\,(u)\) is locally contractible in \((0,T)\times M\).
To formulate the global homotopy equivalence result, we need extend the notion of Aubry set of u as follows: let \(u:(0,T)\times M\rightarrow \mathbb {R}\), with \(T\in (0,+\infty ]\), be a viscosity solution of the evolutionary Hamilton–Jacobi equation (5.24). The Aubry set \({\mathcal {I}}_T(u)\) of u is the set of points \((t,x)\in (0,T)\times M\) for which we can find a curve \(\gamma :[0,T)\rightarrow M\), with \(\gamma (t)=x\) and
for every \(a<b\in [0,T)\).
Proposition 5.15
([28]). Let \(H:T^*M\rightarrow \mathbb {R}\) be a Tonelli Hamiltonian. Assume that the uniformly continuous function \(u:[0,T)\times M\rightarrow \mathbb {R}\), with \(T\in (0,+\infty ]\), is a viscosity solution of the evolutionary Hamilton–Jacobi equation (5.24). Then the inclusion
is a homotopy equivalence.
Notice that we just assume the solution u of (5.24) to be uniformly continuous without any extra conditions on the initial data. So, there are a lot of technical points one needs to clear in order to deal with arbitrary initial conditions (see [54]).
5.4.3 Applications to Riemmanian Geometry
Now, suppose (M, g) is a complete Riemannian manifold, and \(d_C\) is the distance function to a closed subset \(C\subset M\). We denote by \(\text {Sing}^*\,(d_C)\) the set of points in \(M\setminus C\) where \(d_C\) is not differentiable.
Proposition 5.16
([28]). If C is a closed subset of a complete Riemannian manifold (M, g), then \(\mathrm{Sing}^*\,(\mathrm{d}_{\mathrm{C}})\) is locally contractible.
In classical Riemmanian geometry, for any \(x\in M\) one denotes by \(\text {Cut}_{(M,g)}\,(x)\) the cut locus with respect to x. It is well-known that, when M is compact, such a cut locus \(\text {Cut}_{(M,g)}\,(x)\) is a deformation retract of \(M\setminus \{x\}\), therefore it is locally contractible. On the other hand, very little was known up to now about the set
As Marcel Berger wrote in [15, Page 284]
The difficulty for all these studies is an unavoidable dichotomy for cut points: the mixture of points with two different segments and conjugate points.
We now proceed to explain how to distinguish the study of these two sets by using the above methods. We will begin with another consequence of Proposition 5.16, for which we need the following definition: for a complete Riemannian manifold (M, g), we define
The set \({\mathcal {U}}(M,g)\) contains a neighborhood of the diagonal \(\Delta _M\subset M\times M\). In fact, we have \({{\mathcal {N}}}{{\mathcal {U}}}(M,g)=\text {Sing}^*(d_{\Delta _M})\), the set of singularities in \((M\times M)\setminus \Delta _{M}\) of the distance function of points in \(M\times M\) to the closed subset \(\Delta _M\). Therefore, Proposition 5.16 implies:
Proposition 5.17
([28]). For every complete Riemannian manifold (M, g), the set
is locally contractible. In particular, the set \({{\mathcal {N}}}{{\mathcal {U}}}(M,g)\) is locally path connected.
For a closed subset \(C\subset M\), we define its Aubry set \({\mathcal {A}}^*(C)\) as the set of points \(x\in M\setminus C\) such that there exists a curve \(\gamma :[0,+\infty )\rightarrow M\) parameterized by arc-length such that \(d_C(\gamma (t))=t\) and \(x=\gamma (t_0)\) for some \(t_0>0\).
Proposition 5.18
([28]) If C is a closed subset of the complete Riemannian manifold (M, g), then the inclusion
is a homotopy equivalence.
We remark that if U is a bounded connected component of \(M\setminus C\), then \(U\cap {\mathcal {A}}^*(C)=\varnothing \), and
is a homotopy equivalence (see also [64] and Section 4.2.2). As for unbounded components, see also [40] for the Euclidean case.
Proposition 5.19
([28]). For every compact connected Riemannian manifold (M, g), the inclusion
is a homotopy equivalence. Therefore the set \({{\mathcal {N}}}{{\mathcal {U}}}(M,g)\) is path connected and even locally contractible.
6 Concluding Remarks
The study of singularities of solutions to HJ equation has made remarkable progress in the past decades. Many results that seemed impossible have been obtained, and connections with other domains have been established. Nevertheless, many interesting problems remain open. Some open problems were proposed in [24].
In [25], the uniqueness of strict singular characteristic on \(M=\mathbb {R}^2\) is proved when the initial point is not a critical point. However, the uniqueness issue is still open for higher dimensional manifolds. Recalling some results in [26], assuming uniqueness for generalized characteristics, one can bridge the Aubry set (Mather set) and the invariant set of the associated semi-flow of generalized characteristics. Recently, relations between propagation of singularities and global dynamics of lower dimensional Hamiltonian systems have also been pointed out in [84]. More concrete applications to problems from Hamiltonian dynamical systems in the scheme of Mather theory and weak KAM theory are expected, including applications to the study of Burgers turbulence as noted in [63].
References
Attouch, H., Azé, D.: Approximation and regularization of arbitrary functions in Hilbert spaces by the Lasry-Lions method. Ann. Inst. H. Poincaré Anal. Non Linéaire 10(3), 289–312 (1993)
Alberti, G., Ambrosio, L., Cannarsa, P.: On the singularities of convex functions. Manuscripta Math. 76(3–4), 421–435 (1992)
Albano, P., Cannarsa, P.: Structural properties of singularities of semiconcave functions. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 28(4), 719–740 (1999)
Albano, P., Cannarsa, P.: Propagation of singularities for concave solutions of Hamilton-Jacobi equations. In: International Conference on Differential Equations, Vol. 1, 2 (Berlin, 1999), pp. 583–588. World Sci. Publ., River Edge, NJ, (2000)
Albano, P., Cannarsa, P.: Propagation of singularities for solutions of nonlinear first order partial differential equations. Arch. Ration. Mech. Anal. 162(1), 1–23 (2002)
Ancona, F., Cannarsa, P., Nguyen, K.T.: Compactness estimates for Hamilton–Jacobi equations depending on space. Bull. Inst. Math. Acad. Sin. (N.S.) 11(1), 63–113 (2016)
Ancona, F., Cannarsa, P., Nguyen, K.T.: Quantitative compactness estimates for Hamilton–Jacobi equations. Arch. Ration. Mech. Anal. 219(2), 793–828 (2016)
Albano, P., Cannarsa, P., Nguyen, K.T., Sinestrari, C.: Singular gradient flow of the distance function and homotopy equivalence. Math. Ann. 356(1), 23–43 (2013)
Ambrosio, L., Cannarsa, P., Soner, H.M.: On the propagation of singularities of semi-convex functions. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 20(4), 597–616 (1993)
Albano, P.: Propagation of singularities for solutions of Hamilton–Jacobi equations. J. Math. Anal. Appl. 411(2), 684–687 (2014)
Albano, P.: Global propagation of singularities for solutions of Hamilton–Jacobi equations. J. Math. Anal. Appl. 444(2), 1462–1478 (2016)
Arnol’d, V.I.: Singularities of Caustics and Wave Fronts. Mathematics and its Applications (Soviet Series), vol. 62. Kluwer Academic Publishers Group, Dordrecht (1990)
Attouch, H.: Variational Convergence for Functions and Operators. Applicable Mathematics Series. Pitman (Advanced Publishing Program), Boston (1984)
Bardi, M., Capuzzo-Dolcetta, I.: Optimal control and viscosity solutions of Hamilton–Jacobi–Bellman equations. Systems & Control: Foundations & Applications. Birkhäuser Boston, Inc., Boston, MA, 1997. With appendices by Maurizio Falcone and Pierpaolo Soravia
Berger, M.: A Panoramic View of Riemannian Geometry. Springer, Berlin (2003)
Bernard, P.: Existence of \(C^{1,1}\) critical sub-solutions of the Hamilton–Jacobi equation on compact manifolds. Ann. Sci. École Norm. Sup. (4) 40(3), 445–452 (2007)
Bernard, P.: Lasry–Lions regularization and a lemma of Ilmanen. Rend. Semin. Mat. Univ. Padova 124, 221–229 (2010)
Bernard, P.: The Lax–Oleinik semi-group: a Hamiltonian point of view. Proc. R. Soc. Edinburgh Sect. A 142(6), 1131–1177 (2012)
Bogaevsky, I.A.: Perestroikas of shocks and singularities of minimum functions. Phys. D 173(1–2), 1–28 (2002)
Bogaevsky, I.A.: Discontinuous gradient differential equations, and trajectories in the calculus of variations. Mat. Sb. 197(12), 11–42 (2006)
Cannarsa, P., Cheng, W.: Homoclinic orbits and critical points of barrier functions. Nonlinearity 28(6), 1823–1840 (2015)
Chen, C., Cheng, W.: Lasry–Lions, Lax–Oleinik and generalized characteristics. Sci. China Math. 59(9), 1737–1752 (2016)
Cannarsa, P., Cheng, W.: Generalized characteristics and Lax-Oleinik operators: global theory. Calc. Var. Partial Differ. Equ. 56(5), 31 (2017)
Cannarsa, P., Cheng, W.: On and beyond propagation of singularities of viscosity solutions. preprint, arXiv:1805.11583 (2018)
Cannarsa, P., Cheng, W.: Local singular characteristics on \({\mathbb{R}}^2\). Boll. Unione Mat. Ital. (2021)
Cannarsa, P., Chen, Q., Cheng, W.: Dynamic and asymptotic behavior of singularities of certain weak KAM solutions on the torus. J. Differ. Equ. 267(4), 2448–2470 (2019)
Cannarsa, P., Cheng, W., Fathi, A.: On the topology of the set of singularities of a solution to the Hamilton–Jacobi equation. C. R. Math. Acad. Sci. Paris 355(2), 176–180 (2017)
Cannarsa, P., Cheng, W., Fathi, A.: Singularities of solutions of time dependent Hamilton–Jacobi equations. Applications to Riemannian geometry. preprint, arXiv:1912.04863 (2019)
Cannarsa, P., Cheng, W., Mazzola, M., Wang, K.: Global generalized characteristics for the Dirichlet problem for Hamilton–Jacobi equations at a supercritical energy level. SIAM J. Math. Anal. 51(5), 4213–4244 (2019)
Cannarsa, P., Cheng, W., Mendico, C., Wang, K.: Weak KAM approach to first-order mean field games with state constraints. preprint, arXiv:2004.06505 (2020)
Cannarsa, P., Cheng, W., Zhang, Q.: Propagation of singularities for weak KAM solutions and barrier functions. Commun. Math. Phys. 331(1), 1–20 (2014)
Chen, C., Cheng, W., Zhang, Q.: Lasry–Lions approximations for discounted Hamilton–Jacobi equations. J. Differ. Equ. 265(2), 719–732 (2018)
Crandall, M.G., Evans, L.C., Lions, P.-L.: Some properties of viscosity solutions of Hamilton–Jacobi equations. Trans. Am. Math. Soc. 282(2), 487–502 (1984)
Cannarsa, P., Frankowska, H.: Some characterizations of optimal trajectories in control theory. SIAM J. Control Optim. 29(6), 1322–1347 (1991)
Cannarsa, P., Frankowska, H.: From pointwise to local regularity for solutions of Hamilton–Jacobi equations. Calc. Var. Partial Differ. Equ. 49(3–4), 1061–1074 (2014)
Crandall, M.G., Lions, P.-L.: Viscosity solutions of Hamilton–Jacobi equations. Trans. Am. Math. Soc. 277(1), 1–42 (1983)
Colombo, G., Marigonda, A.: Differentiability properties for a class of non-convex functions. Calc. Var. Partial Differ. Equ. 25(1), 1–31 (2006)
Cannarsa, P., Mennucci, A., Sinestrari, C.: Regularity results for solutions of a class of Hamilton–Jacobi equations. Arch. Ration. Mech. Anal. 140(3), 197–223 (1997)
Cannarsa, P., Mazzola, M., Sinestrari, C.: Global propagation of singularities for time dependent Hamilton–Jacobi equations. Discrete Contin. Dyn. Syst. 35(9), 4225–4239 (2015)
Cannarsa, P., Peirone, R.: Unbounded components of the singular set of the distance function in \({\mathbb{R}}^n\). Trans. Am. Math. Soc. 353(11), 4567–4581 (2001)
Cannarsa, P., Soner, H.M.: On the singularities of the viscosity solutions to Hamilton–Jacobi–Bellman equations. Indiana Univ. Math. J. 36(3), 501–524 (1987)
Cannarsa, P., Soner, H.M., Piermarco and Halil Mete: Generalized one-sided estimates for solutions of Hamilton–Jacobi equations and applications. Nonlinear Anal. 13(3), 305–323 (1989)
Cannarsa, P., Sinestrari, C.: Semiconcave Functions, Hamilton–Jacobi Equations, and Optimal Control. Progress in Nonlinear Differential Equations and their Applications, vol. 58. Birkhäuser Boston Inc, Boston (2004)
Cannarsa, P., Yifeng, Yu.: Singular dynamics for semiconcave functions. J. Eur. Math. Soc. (JEMS) 11(5), 999–1024 (2009)
Dafermos, C.M.: Generalized characteristics and the structure of solutions of hyperbolic conservation laws. Indiana Univ. Math. J. 26(6), 1097–1119 (1977)
Douglis, A.: The continuous dependence of generalized solutions of non-linear partial differential equations upon initial data. Commun. Pure Appl. Math. 14, 267–284 (1961)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. Studies in Advanced Mathematics. CRC Press, Boca Raton (1992)
Erdös, P.: Some remarks on the measurability of certain sets. Bull. Am. Math. Soc. 51, 728–731 (1945)
Fathi, A.: Weak KAM Theorem in Lagrangian Dynamics. Cambridge University Press, Cambridge (2020). (to appear)
Fathi, A.: Solutions KAM faibles conjuguées et barrières de Peierls. C. R. Acad. Sci. Paris Sér. I Math. 325(6), 649–652 (1997)
Fathi, A.: Théorème KAM faible et théorie de Mather sur les systèmes lagrangiens. C. R. Acad. Sci. Paris Sér. I Math. 324(9), 1043–1046 (1997)
Fathi, A.: Orbites hétéroclines et ensemble de Peierls. C. R. Acad. Sci. Paris Sér. I Math. 326(10), 1213–1216 (1998)
Fathi, A.: Sur la convergence du semi-groupe de Lax–Oleinik. C. R. Acad. Sci. Paris Sér. I Math. 327(3), 267–270 (1998)
Fathi, A.: Viscosity solutions of the Hamilton–Jacobi equation on a non-compact manifold. preprint, (2020)
Fleming, W.H.: The Cauchy problem for a nonlinear first order partial differential equation. J. Differ. Equ. 5, 515–530 (1969)
Fleming, W.H., McEneaney, W.M.: A max-plus-based algorithm for a Hamilton–Jacobi–Bellman equation of nonlinear filtering. SIAM J. Control Optim. 38(3), 683–710 (2000)
Fathi, A., Maderna, E.: Weak KAM theorem on non compact manifolds. NoDEA Nonlinear Differ. Equ. Appl. 14(1–2), 1–27 (2007)
Fleming, W.H., Soner, H.M.: Controlled Markov processes and viscosity solutions, volume 25 of Stochastic Modelling and Applied Probability, 2nd edn. Springer, New York (2006)
Fathi, A., Zavidovique, M.: Ilmanen’s lemma on insertion of \(C^{1,1}\) functions. Rend. Semin. Mat. Univ. Padova 124, 203–219 (2010)
Hrustalëv, M.M.: Necessary and sufficient conditions for optimality in the form of the Bellman equation. Dokl. Akad. Nauk SSSR 242(5), 1023–1026 (1978)
Kružkov, S. N.: Generalized solutions of Hamilton–Jacobi equations of eikonal type. I. Statement of the problems; existence, uniqueness and stability theorems; certain properties of the solutions. Mat. Sb. (N.S.), 98(140)(3(11)):450–493, 496, (1975)
Krylov, N.V.: Nonlinear elliptic and parabolic equations of the second order, volume 7 of Mathematics and its Applications (Soviet Series). D. Reidel Publishing Co., Dordrecht, 1987. Translated from the Russian by P. L. Buzytsky [P. L. Buzytskiĭ]
Khanin, K., Sobolevski, A.: On dynamics of Lagrangian trajectories for Hamilton–Jacobi equations. Arch. Ration. Mech. Anal. 219(2), 861–885 (2016)
Lieutier, A.: Any open bounded subset of \({\mathbb{R}}^n\) has the same homotopy type as its medial axis. Comput.-Aided Des. 36(11), 1029–1046 (2004)
Lasry, J.-M., Lions, P.-L.: A remark on regularization in Hilbert spaces. Israel J. Math. 55(3), 257–266 (1986)
Mather, J.N.: Action minimizing invariant measures for positive definite Lagrangian systems. Math. Z. 207(2), 169–207 (1991)
Mather, J.N.: Variational construction of connecting orbits. Ann. Inst. Fourier (Grenoble) 43(5), 1349–1386 (1993)
Mennucci, A.C.G.: Regularity and variationality of solutions to Hamilton–Jacobi equations. I. Regularity. ESAIM Control Optim. Calc. Var. 10(3), 426–451 (2004)
Mañé, R.: On the minimizing measures of Lagrangian dynamical systems. Nonlinearity 5(3), 623–638 (1992)
McDuff, D., Salamon, D.: Introduction to Symplectic Topology, 3rd edn. Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford (2017)
Petrunin, A.: Semiconcave functions in Alexandrov’s geometry. In: Surveys in differential geometry. Vol. XI, volume 11 of Surv. Differ. Geom., pp. 137–201. Int. Press, Somerville (2007)
Pignotti, C.: Rectifiability results for singular and conjugate points of optimal exit time problems. J. Math. Anal. Appl. 270(2), 681–708 (2002)
Rifford, L.: Existence of Lipschitz and semiconcave control-Lyapunov functions. SIAM J. Control Optim. 39(4), 1043–1064 (2000)
Rifford, L.: Semiconcave control-Lyapunov functions and stabilizing feedbacks. SIAM J. Control Optim. 41(3), 659–681 (2002)
Rifford, L.: On viscosity solutions of certain Hamilton–Jacobi equations: regularity results and generalized Sard’s theorems. Commun. Partial Differ. Equ. 33(1–3), 517–559 (2008)
Rockafellar, R.T.: Favorable classes of Lipschitz-continuous functions in subgradient optimization. In: Progress in nondifferentiable optimization, volume 8 of IIASA Collaborative Proc. Ser. CP-82, pp. 125–143. Internat. Inst. Appl. Systems Anal., Laxenburg (1982)
Strömberg, T.: Propagation of singularities along broken characteristics. Nonlinear Anal. 85, 93–109 (2013)
Veselý, L.: On the multiplicity points of monotone operators of separable Banach spaces. Comment. Math. Univ. Carolin. 27(3), 551–570 (1986)
Veselý, L.: On the multiplicity points of monotone operators on separable Banach spaces. II. Comment. Math. Univ. Carolin. 28(2), 295–299 (1987)
Villani, C.: Optimal transport, volume 338 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Berlin (2009) (Old and new)
Yu, Y.: A simple proof of the propagation of singularities for solutions of Hamilton–Jacobi equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 5(4), 439–444 (2006)
Zajíček, L.: On the points of multiplicity of monotone operators. Comment. Math. Univ. Carolinae 19(1), 179–189 (1978)
Zajíček, L.: On the differentiation of convex functions in finite and infinite dimensional spaces. Czechoslovak Math. J. 29((104)(3)), 340–348 (1979)
Zhang, J.: Global behaviors of weak KAM solutions for exact symplectic twist maps. J. Differ. Equ. 269(7), 5730–5753 (2020)
Acknowledgements
Piermarco Cannarsa was supported in part by the National Group for Mathematical Analysis, Probability and Applications (GNAMPA) of the Italian Istituto Nazionale di Alta Matematica “Francesco Severi” and by Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006. Wei Cheng is partly supported by National Natural Science Foundation of China (Grant No. 11871267, 11631006 and 11790272). The second author also thanks to Jiahui Hong for helpful discussion on some part of Sect. 5.
Funding
Open access funding provided by Universitá degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cannarsa, P., Cheng, W. Singularities of Solutions of Hamilton–Jacobi Equations. Milan J. Math. 89, 187–215 (2021). https://doi.org/10.1007/s00032-021-00330-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00032-021-00330-1