Abstract:We give a new and rigorous duality relation between two central notions of weak solutions of nonlinear PDEs: entropy and viscosity solutions. It takes the form of the nonlinear dual inequality: \begin{equation}\int |S_t u_0-S_t v_0| \varphi_0 \mathrm{d}x\leq \int |u_0-v_0| G_t \varphi_0 \mathrm{d}x, \quad \forall \varphi_0 \geq 0, \forall u_0, \forall v_0, \qquad(\star)\end{equation} where $S_t$ is the entropy solution semigroup of the anisotropic degenerate parabolic equation \begin{equation*} \partial_t u+\mathrm{div} F(u) = \mathrm{div} (A(u) D u),\end{equation*} and where we look for the smallest semigroup $G_t$ satisfying ($\star$). This amounts to finding an optimal weighted $L^1$ contraction estimate for $S_t$. Our main result is that $G_t$ is the viscosity solution semigroup of the Hamilton-Jacobi-Bellman equation\begin{equation*} \partial_t \varphi = \mathrm{sup}_\xi \{F'(\xi) \cdot D \varphi+\mathrm{tr}(A(\xi) D^2\varphi)\}.\end{equation*} Since weighted $L^1$ contraction results are mainly used for possibly nonintegrable $L^\infty$ solutions $u$, the natural spaces behind this duality are $L^\infty$ for $S_t$ and $L^1$ for $G_t$. We therefore develop a corresponding $L^1$ theory for viscosity solutions $\varphi$. But $L^1$ itself is too large for well-posedness, and we rigorously identify the weakest $L^1$ type Banach setting where we can have it -- a subspace of $L^1$ called $L^\infty_{\mathrm{int}}$. A consequence of our results is a new domain of dependence like estimate for second order anisotropic degenerate parabolic PDEs. It is given in terms of a stochastic target problem and extends in a natural way recent results for first order hyperbolic PDEs by [N. Pogodaev, J. Differ. Equ., 2018].

Mean Viability Theorems and Second-Order Hamilton–Jacobi Equations

Viability for locally monotone evolution inclusions and lower semicontinuous solutions of Hamilton-Jacobi-Bellman equations in infinite dimensions

Viscosity Solutions to Second Order Path-Dependent Hamilton-Jacobi-Bellman Equations and Applications

Viscosity Solutions of a class of Second Order Hamilton-Jacobi-Bellman Equations in the Wasserstein Space

Viscosity Solutions of Second Order Path-Dependent Partial Differential Equations and Applications

Optimal Control of Unbounded Functional Stochastic Evolution Systems in Hilbert Spaces: Second-Order Path-dependent HJB Equation

Necessary and Sufficient Conditions for Optimal Control of Semilinear Stochastic Partial Differential Equations

Well-posedness of Hamilton-Jacobi equations in the Wasserstein space: non-convex Hamiltonians and common noise

Existence of Solutions for A Class of Second-Order Sublinear and Linear Hamiltonian Systems with Impulsive Effects

Stochastic solutions to Hamilton-Jacobi-Bellman Dirichlet problems

Viability for stochastic differential equations driven by fractional Brownian motion

Existence of viscosity solutions for Hamilton-Jacobi equations on Riemannian Manifolds via Lyapunov control

Viscosity Solutions for HJB Equations on the Process Space: Application to Mean Field Control with Common Noise

Second Order Optimality Conditions for Optimal Control Problems of Stochastic Evolution Equations

Probabilistic Representation for Viscosity Solutions to Double-Obstacle Quasi-Variational Inequalities

Optimal stability results and nonlinear duality for $L^\infty$ entropy and $L^1$ viscosity solutions

Stochastic viscosity approximations of Hamilton-Jacobi equations and variance reduction

Solvability and controllability of second-order non-autonomous impulsive neutral evolution hemivariational inequalities

Necessary Optimality Conditions of the First and Second Order in a Single-Step Control Problem Described by a Difference Equation and a Volterra-Type Integro-Differential Equation

Well-posedness of a Hamilton-Jacobi-Bellman equation in the strong coupling regime

Weak KAM theory for general Hamilton-Jacobi equations III: the variational principle under Osgood conditions