Abstract:We obtain the comparison principle for discontinuous viscosity sub- and supersolutions of nonlocal Hamilton-Jacobi equations, with superlinear and coercive gradient terms. The nonlocal terms are integro-differential operators in Lévy form, with general measures: $x$-dependent, possibly degenerate and without any restriction on the order. The measures must satisfy a combined Wasserstein/Total Variation-continuity assumption, which is one of the weakest conditions used in the context of viscosity approach for this type of integro-differential PDEs. The proof relies on a regularizing effect due to the gradient growth. We present several examples of applications to PDEs with different types of nonlocal operators (measures with density, operators of variable order, Lévy-Itô operators).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the comparison principle of non - local Hamilton - Jacobi equations, especially when these equations have superlinear gradient growth. Specifically, the paper focuses on the degenerate elliptic non - local Hamilton - Jacobi equations in the following form:
\[ \lambda u - I_x u(x) + H(x, Du) = 0 \quad \text{in} \, \mathbb{R}^N, \]
where:
- \(\lambda > 0\) is a constant,
- \(H: \mathbb{R}^N\times\mathbb{R}^N\rightarrow\mathbb{R}\) is a continuous Hamilton function, which is superlinear and coercive with respect to the gradient variable,
- \(I_x\) is a Lévy - type integro - differential operator in the form of:
\[
I_\xi u(x)=\int_{\mathbb{R}^N}\left( u(x + z)-u(x)-1_B(z)Du(x)\cdot z\right)\nu_\xi(dz),
\]
where \(1_B(z)\) is the indicator function of the unit ball \(B\), and \(\nu_\xi\) is a measure on \(\mathbb{R}^N\) satisfying \(\nu_\xi(\{0\}) = 0\).
The main contribution of the paper lies in proving the comparison principle between discontinuous viscosity subsolutions and supersolutions in this case. The key to this result is to deal with the fine estimates of the non - local term \(I_x\) and to utilize the regularization effect of gradient growth. In addition, the paper also considers a very wide range of Lévy measures without any restriction on the order of the non - local operator.
Through this comparison principle, combined with the Perron method, the paper further proves the well - posedness of problem (1.1), that is, there exists a unique bounded continuous viscosity solution. This provides an important theoretical basis for understanding and solving partial integro - differential equations (PIDEs) involving non - local operators.