Uniqueness of Viscosity Solutions to the Dirichlet Problem Involving Infinity Laplacian

Hong Sun, Fang Liu^*

School of Mathematics and Statistics, Nanjing University of Science and Technology, Nanjing, China.

DOI: 10.4236/apm.2023.1310046                

Abstract

In this paper, we study the Dirichlet boundary value problem involving the highly degenerate and h-homogeneous quasilinear operator associated with the infinity Laplacian, where the right hand side term is and the boundary value is . First, we establish the comparison principle by the double variables method based on the viscosity solutions theory for the general equation in. We propose two different conditions for the right hand side and get the comparison principle results under different conditions by making different perturbations. Then, we obtain the uniqueness of the viscosity solution to the Dirichlet boundary value problem by the comparison principle. Moreover, we establish the local Lipschitz continuity of the viscosity solution.

Keywords

Infinity Laplacian, Comparison Principle, Uniqueness, Local Lipschitz Continuity

1. Introduction

In this paper, we study the following Dirichlet boundary value problem

$\{\begin{array}{ll}{\Delta }_{\infty }^{h}u=F\left(x\mathrm{,}u\mathrm{,}Du\right)\mathrm{,}\hfill & \text{in}\Omega \mathrm{,}\hfill \\ u=\phi \mathrm{,}\hfill & \text{on}\partial \Omega \mathrm{,}\hfill \end{array}$ (1)

where the domain $\Omega \subseteq {ℝ}^n$ , the function $\phi \in C\left(\partial \Omega \right)$ and

${\Delta }_{\infty }^{h}u:={\left|Du\right|}^{h-3}\langle D^{2}uDu,Du\rangle ={\left|Du\right|}^{h-3}{\displaystyle \underset{i,j=1}{\overset{n}{\sum }}}{u}_{x_i}{u}_{x_j}{u}_{x_i{x}_j},h>1$ (2)

is the h-homogeneous quasilinear operator related to the infinity Laplacian.

The choice $h=1$ reduces the operator (2) to the normalized infinity Laplacian

${\Delta }_{\infty }^{N}u:={\left|Du\right|}^{-2}\langle D^{2}uDu,Du\rangle ={\left|Du\right|}^{-2}{\displaystyle \underset{i,j=1}{\overset{n}{\sum }}}{u}_{x_i}{u}_{x_j}{u}_{x_i{x}_j}.$ (3)

The operator (3) has been investigated extensively, see for papers [1] [2] [3] [4] [5] and the references therein. Peres et al. [5] obtained the uniqueness of the viscosity solutions of the following Dirichlet problem corresponding to the normalized infinity Laplacian by a “tug-of-war” game theory

$\{\begin{array}{ll}{\Delta }_{\infty }^{N}u=f\left(x\right)\mathrm{,}\hfill & \text{in}\Omega \mathrm{,}\hfill \\ u=g\mathrm{,}\hfill & \text{on}\partial \Omega \mathrm{,}\hfill \end{array}$ (4)

where $f\left(\left|f\right|>0\right)$ and g are continuous functions. In [3] , Lu and Wang established the existence and uniqueness results of the solution to the problem (4) based on the partial differential equation’s methods. The normalized infinity Laplacian equations associated with some “tug-of-war” game have attracted much attention. One can see López-Soriano et al. [6] and Peres et al. [7] .

Another operator is the infinity Laplacian

${\Delta }_{\infty }u:=\langle D^{2}uDu,Du\rangle ={\displaystyle \underset{i,j=1}{\overset{n}{\sum }}}{u}_{x_i}{u}_{x_j}{u}_{x_i{x}_j},$

which is the case of $h=3$ . The operator ${\Delta }_{\infty }$ first appeared in Aronsson’s studies of the absolutely minimizing Lipschitz extension (AMLE) [8] [9] [10] [11] in the 1960s. For a bounded domain Ω, a function $u\in C\left(\Omega \right)$ is said to be an AMLE function in Ω if for any ${\Omega }^{\prime }\subset \subset \Omega$ and any $v\in C\left(\overline{{\Omega }^{\prime }}\right)$ with $u=v$ on $\partial {\Omega }^{\prime }$ , there holds

${\Vert u\Vert }_{\text{Lip}\left({\Omega }^{\prime }\right)}\le {\Vert v\Vert }_{\text{Lip}\left({\Omega }^{\prime }\right)}\mathrm{.}$

For more details on AMLE, one can refer to Aronsson et al. [12] .

The infinity Laplacian is quasilinear and highly degenerate, and we usually consider the viscosity solutions of the infinity Laplacian equation which defined by Crandall and Lions [13] . The viscosity solutions to the homogeneous infinity Laplacian equation ${\Delta }_{\infty }u=0$ is said to be the infinity harmonic functions. Jensen [14] proved that the AMLE functions are equivalent to the infinity harmonic functions and proved the existence and uniqueness of AMLE. Crandall et al. [15] showed that the infinity harmonic functions, the AMLE functions and the property comparison with cones are equivalent. The property comparison with cones from above (below) is as follows: For any ${\Omega }^{\prime }\subset \Omega$ , $x_0\in \Omega$ and any $a\mathrm{,}b\in ℝ$ , if

$u\left(x\right)\le (\ge )a+b\left|x-x_0\right|\mathrm{,}\text{for}x\in \partial \left({\Omega }^{\prime }\backslash \left\{x_0\right\}\right)\mathrm{,}$

then

$u\left(x\right)\le (\ge )a+b\left|x-x_0\right|\mathrm{,}\text{for}x\in {\Omega }^{\prime }\mathrm{.}$

A function u enjoys comparison with cones in ${\Omega }^{\prime }$ if u enjoys comparison with cones both from above and below. For more results on the infinity Laplacian, one can see [15] - [22] etc.

We also mention that the Dirichlet boundary value problems involving the infinity Laplacian have been studied extensively and the comparison principles have proved to be useful tools in the investigation of existence and uniqueness of solutions to the Dirichlet boundary value problems.

In [23] , Lu and Wang proved the comparison principle of the equation

${\Delta }_{\infty }u=f\left(x\right)$ (5)

if the continuous function $f\left(x\right)$ has one sign. They also showed the existence and uniqueness of viscosity solutions for (5) under the Dirichlet boundary condition. Bhattacharya and Mohammed [24] proved the comparison principle of the equation

${\Delta }_{\infty }u=f\left(x\mathrm{,}u\right)$

when the continuous function $f\left(x\mathrm{,}t\right)$ has one sign and is non-decreasing in t. They also established the local Lipschitz continuity, existence and nonexistence of viscosity solutions to the corresponding Dirichlet boundary value problem. For the local Lipschitz continuity results, one can also see [25] . Liu and Yang [26] gave the comparison principle of the equation

${\Delta }_{\infty }^{h}u=f\left(x\right),1\le h\le 3$ (6)

and established the existence and uniqueness results of viscosity solutions of (6) under the Dirichlet boundary condition $u=\phi$ on $\partial \Omega$ , where $\phi \in C\left(\bar{\Omega }\right)$ . In [27] , Li and Liu established the comparison principle of the equation

${\Delta }_{\infty }^{h}u=f\left(x,u\right),h>1$

when the right hand side $f\left(x\mathrm{,}t\right)$ is non-decreasing in t and has one sign. In addition, it is also necessary to prove the comparison principle during the studies of the Dirichlet eigenvalue problem related to the infinity Laplacian, see for example [28] [29] [30] .

In this paper, we study the Dirichlet boundary value problem (1) involving the strongly degenerate operator ${\Delta }_{\infty }^h$ .

Now we state the comparison principle for the equation

${\Delta }_{\infty }^{h}u=F\left(x\mathrm{,}u\mathrm{,}Du\right)\mathrm{,}\text{in}\Omega \mathrm{,}$ (7)

where $F\mathrm{<mo>\; :\; </mo>}\Omega \times ℝ\times {ℝ}^n\to ℝ$ is continuous. We propose some basic hypothetical conditions for the right hand side $F\left(x\mathrm{,}t\mathrm{,}p\right)$ .

(F-1): $F\left(x\mathrm{,}t\mathrm{,}p\right)$ is positive and the map $\tau \mapsto F\left(x\mathrm{,}t\mathrm{,}\tau p\right)$ is non-increasing in $\left[\mathrm{1,}\rho \right)$ for each $\left(x\mathrm{,}t\mathrm{,}p\right)\in \Omega \times ℝ\times {ℝ}^n$ , where $\rho >1$ .

(F-2): $F\left(x\mathrm{,}t\mathrm{,}p\right)$ is negative and the map $\tau \mapsto F\left(x\mathrm{,}t\mathrm{,}\tau p\right)$ is non-decreasing in $\left(\rho \mathrm{,1}\right]$ for each $\left(x\mathrm{,}t\mathrm{,}p\right)\in \Omega \times ℝ\times {ℝ}^n$ , where $0<\rho <1$ .

Theorem 1. Let $\Omega \subseteq {ℝ}^n$ be a bounded domain. Suppose that the function $F\left(x\mathrm{,}t\mathrm{,}p\right)\in C\left(\Omega \times ℝ\times {ℝ}^n\right)$ is non-decreasing in t and satisfies the condition (F-1) or (F-2). Assume that $u\in C\left(\bar{\Omega }\right)$ and $v\in C\left(\bar{\Omega }\right)$ satisfy

${\Delta }_{\infty }^{h}u\ge F\left(x\mathrm{,}u\mathrm{,}Du\right)\mathrm{,}x\in \Omega$

and

${\Delta }_{\infty }^{h}v\le F\left(x\mathrm{,}v\mathrm{,}Dv\right)\mathrm{,}x\in \Omega$

in the viscosity sense, respectively. If $u\le v$ on $\partial \Omega$ , then $u\le v$ in Ω.

We prove the comparison principle Theorem 1 based on the double variables method in the viscosity solution theory. Clearly, the result reduces to Li and Liu [27] if the nonhomogeneous term $F\left(x\mathrm{,}u\mathrm{,}Du\right)$ is independent of the gradient Du. It is worth pointing out that, unlike the case $h=1$ , the operator ${\Delta }_{\infty }^h$ is quasilinear even in 1-dimension. Thus, we must make more subtle analysis. Due to the strong degeneracy of the operator ${\Delta }_{\infty }^h$ and the dependence of the nonlinear term $F\left(x\mathrm{,}t\mathrm{,}p\right)$ on p, we have to perturb twice to make the Jensen’s method useful [14] and consider the monotonicity of F with respect to the variable p.

Our work is divided as follows: In Section 2, we recall the definition of the viscosity solutions. In Section 3, we establish the local Lipschitz continuity of the viscosity solution. Then, we present a proof of the comparison principle for the Equation (7) by the double variables method based on the viscosity solutions theory. Based on the comparison principle, we give the uniqueness theorem of the corresponding Dirichlet problem.

2. Definition of Viscosity Solutions

In this section, we first list some notations that appear in the paper.

$B_r\left(x\right)$ : the ball of radius $r$ centered at the point $x$ .

$\left|x\right|$ : the Euclidean norm of $x$ .

$\text{diam}\left(\Omega \right)$ : the diameter of the domain Ω, that is, the maximum of the distance between all two points in Ω.

$d\left(x\right)$ : the distance from the point $x\in \Omega$ to the boundary $\partial \Omega$ , that is, the minimum of the distance between $x$ and the all points on $\partial \Omega$ .

$\text{USC}\left(\Omega \right)$ and $\text{LSC}\left(\Omega \right)$ : for any $\Omega \subset {ℝ}^n$ ,

$\begin{array}{l}\text{USC}\left(\Omega \right)=\left\{u\mathrm{<mo>\; :\; </mo>}\Omega \to ℝ\text{is}\text{upper}\text{semi-continuous}\right\}\mathrm{,}\\ \text{LSC}\left(\Omega \right)=\left\{u\mathrm{<mo>\; :\; </mo>}\Omega \to ℝ\text{is}\text{lower}\text{semi-continuous}\right\}\mathrm{.}\end{array}$

I: the $n\times n$ identity matrix.

Now we introduce the definition of viscosity solutions to the Equation (7).

It is worth noting that the operator ${\Delta }_{\infty }^h$ is highly degenerate and singular at the points where the gradient vanishes, one should give a reasonable explanation at these points. Here we adopt the definition of viscosity solutions based on the semi-continuous extension [13] [29] [31] . Hence, one can rewrite the Equation (7) as

$G_h\left(D^{2}u\mathrm{,}Du\right)=F\left(x\mathrm{,}u\mathrm{,}Du\right)\mathrm{,}x\in \Omega \mathrm{,}$

where $G_h\mathrm{<mo>\; :\; </mo>}\mathbb{S}\times \left({ℝ}^n\backslash \left\{0\right\}\right)\to ℝ$ , $G_h\left(X\mathrm{,}p\right)\mathrm{<mo>\; :\; </mo>}={\left|p\right|}^{h-3}\left(Xp\right)\cdot p$ and $\mathbb{S}$ is the set of all $n\times n$ real symmetric matrices. When $h>1$ , we have $\underset{p\to 0}{lim}{G}_h\left(X\mathrm{,}p\right)=0$ for any $X\in \mathbb{S}$ . Thus, we can define the following continuous extension of $G_h$ :

${\bar{G}}_h\left(X\mathrm{,}p\right)=\{\begin{array}{ll}{G}_h\left(X\mathrm{,}p\right)\mathrm{,}\hfill & \text{if}p\ne \mathrm{0,}\hfill \\ \mathrm{0,}\hfill & \text{if}p=0.\hfill \end{array}$

Now we give the definition of viscosity solutions to the Equation (7).

Definition 1. Let $\Omega \subseteq {ℝ}^n$ be a bounded domain. We say that $u\in \text{USC}\left(\Omega \right)$ is a viscosity subsolution of (7) if and only if for any $x_0\in \Omega$ and $\phi \in C^2\left(\Omega \right)$ such that $u\left(x_0\right)=\phi \left(x_0\right)$ and $u\left(x\right)\le \phi \left(x\right)$ for all $x\in \Omega$ near $x_0$ , there holds

${\bar{G}}_h\left(D^2\phi \left(x_0\right)\mathrm{,}D\phi \left(x_0\right)\right)\ge F\left(x_0\mathrm{,}\phi \left(x_0\right)\mathrm{,}D\phi \left(x_0\right)\right)\mathrm{.}$

Similarly, we say that $u\in \text{LSC}\left(\Omega \right)$ is a viscosity supersolution of (7) if and only if for any $x_0\in \Omega$ and $\phi \in C^2\left(\Omega \right)$ such that $u\left(x_0\right)=\phi \left(x_0\right)$ and $u\left(x\right)\ge \phi \left(x\right)$ for all $x\in \Omega$ near $x_0$ , there holds

${\bar{G}}_h\left(D^2\phi \left(x_0\right)\mathrm{,}D\phi \left(x_0\right)\right)\le F\left(x_0\mathrm{,}\phi \left(x_0\right)\mathrm{,}D\phi \left(x_0\right)\right)\mathrm{.}$

If a continuous function $u$ is both a viscosity supersolution and viscosity subsolution of (7), then we say that $u$ is a viscosity solution of (7).

We can define the viscosity subsolutions and viscosity supersolutions equivalently by super-jets and sub-jets [13] .

Definition 2. The second-order super-jet of $u\in \text{USC}\left(\Omega \right)$ at $x_0\in \Omega$ is the set

$\begin{array}{l}{\mathcal{J}}^{\mathrm{2,}+}u\left(x_0\right)=\{\left(D\phi \left(x_0\right)\mathrm{,}{D}^2\phi \left(x_0\right)\right)\mathrm{<mo>\; :\; </mo>}\phi \in C^2\left(\Omega \right)\\ {}_{}{}^{}\text{a}\text{nd}u-\phi \text{has}\text{a}\text{local}\text{maximum}\text{at}{x}_0\}\mathrm{,}\end{array}$

and the closure of ${\mathcal{J}}^{\mathrm{2,}+}u\left(x_0\right)$ is

$\begin{array}{l}{\bar{\mathcal{J}}}^{\mathrm{2,}+}u\left(x_0\right)\mathrm{<mo>\; :\; </mo>}=\{\left(p\mathrm{,}X\right)\in {ℝ}^n\times \mathbb{S}\mathrm{<mo>\; :\; </mo>}\exists \left(x_n\mathrm{,}{p}_n\mathrm{,}{X}_n\right)\in \Omega \times {ℝ}^n\times \mathbb{S}\\ \text{such}\text{that}\left(p_n\mathrm{,}{X}_n\right)\in {\mathcal{J}}^{\mathrm{2,}+}u\left(x_0\right)\\ \text{and}\left(x_n\mathrm{,}u\left(x_n\right)\mathrm{,}{p}_n\mathrm{,}{X}_n\right)\to \left(x_0\mathrm{,}u\left(x_0\right)\mathrm{,}p\mathrm{,}X\right)\}\mathrm{.}\end{array}$

Similarly, the second-order sub-jet of $u\in \text{LSC}\left(\Omega \right)$ at $x_0\in \Omega$ is the set

$\begin{array}{l}{\mathcal{J}}^{\mathrm{2,}-}u\left(x_0\right)=\{\left(D\phi \left(x_0\right)\mathrm{,}{D}^2\phi \left(x_0\right)\right)\mathrm{<mo>\; :\; </mo>}\phi \in C^2\left(\Omega \right)\\ {}_{}{}^{}\text{a}\text{nd}u-\phi \text{has}\text{a}\text{local}\text{minimum}\text{at}{x}_0\}\mathrm{,}\end{array}$

and the closure of ${\mathcal{J}}^{\mathrm{2,}-}u\left(x_0\right)$ is

$\begin{array}{l}{\bar{\mathcal{J}}}^{\mathrm{2,}-}u\left(x_0\right)\mathrm{<mo>\; :\; </mo>}=\{\left(p\mathrm{,}X\right)\in {ℝ}^n\times \mathbb{S}\mathrm{<mo>\; :\; </mo>}\exists \left(x_n\mathrm{,}{p}_n\mathrm{,}{X}_n\right)\in \Omega \times {ℝ}^n\times \mathbb{S}\\ \text{such}\text{that}\left(p_n\mathrm{,}{X}_n\right)\in {\mathcal{J}}^{\mathrm{2,}-}u\left(x_0\right)\\ \text{and}\left(x_n\mathrm{,}u\left(x_n\right)\mathrm{,}{p}_n\mathrm{,}{X}_n\right)\to \left(x_0\mathrm{,}u\left(x_0\right)\mathrm{,}p\mathrm{,}X\right)\}\mathrm{.}\end{array}$

Definition 3. We say that $u\in \text{USC}\left(\Omega \right)$ is a viscosity subsolution of (7) if

${\bar{G}}_h\left(X\mathrm{,}p\right)\ge F\left(x_0\mathrm{,}u\left(x_0\right)\mathrm{,}p\right)\mathrm{,}\forall x_0\in \Omega \mathrm{,}\forall \left(p\mathrm{,}X\right)\in {\bar{\mathcal{J}}}^{\mathrm{2,}+}u\left(x_0\right)\mathrm{.}$

Similarly, we say that $u\in \text{LSC}\left(\Omega \right)$ is a viscosity supersolution of (7) if

${\bar{G}}_h\left(X\mathrm{,}p\right)\le F\left(x_0\mathrm{,}u\left(x_0\right)\mathrm{,}p\right)\mathrm{,}\forall x_0\in \Omega \mathrm{,}\forall \left(p\mathrm{,}X\right)\in {\bar{\mathcal{J}}}^{\mathrm{2,}-}u\left(x_0\right)\mathrm{.}$

A function $u\in C\left(\Omega \right)$ is a viscosity solution of the Equation (7) if $u$ is both a viscosity supersolution and viscosity subsolution of (7).

3. Comparison Principle

In this section, we mainly prove the comparison principle of the Equation (7), which immediately implies the uniqueness theorem.

First, we establish the local Lipschitz continuity of a viscosity solution to ${\Delta }_{\infty }^{h}u=C$ , where C is a constant. One can refer to [23] [25] etc. for more regularity results of the infinity Laplacian.

Lemma 2. Let C be a constant. If $u\in C\left(\Omega \right)\cap L^{\infty }\left(\Omega \right)$ satisfies ${\Delta }_{\infty }^{h}u\ge C$ in the viscosity sense, then $u$ is locally Lipschitz continuous in Ω. Moreover, for any given $x_0\in \Omega$ , there exists a constant L such that

$\left|u\left(x\right)-u\left(y\right)\right|\le L\left|x-y\right|\mathrm{,}\forall x\mathrm{,}y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)\mathrm{,}$

where L depends on $x_0\mathrm{,}\text{diam}\left(\Omega \right)\mathrm{,}\left|C\right|$ and ${\Vert u\Vert }_{L^{\infty }\left(\Omega \right)}$ .

Proof. Set

$k\left(x_0\right)\mathrm{<mo>\; :\; </mo>}=\frac{4\left(M-m\right)}{3d\left(x_0\right)}+\left|C\right|\text{diam}\left(\Omega \right)+\mathrm{1,}$ (8)

where $M\mathrm{<mo>\; :\; </mo>}=\underset{\Omega }{\max }u$ and $m\mathrm{<mo>\; :\; </mo>}=\underset{\Omega }{\min }u$ . For any $y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)$ , we consider the function

$\psi \left(w\right)\mathrm{<mo>\; :\; </mo>}=u\left(y\right)+k\left|w-y\right|-\frac{\left|C\right|}{2}{\left|w-y\right|}^2\mathrm{,}\forall w\in \Omega \mathrm{,}$

where $k\mathrm{<mo>\; :\; </mo>}=k\left(x_0\right)$ is defined in (8). It is clear that $\psi \in C^{\infty }\left({ℝ}^n-\left\{y\right\}\right)$ . For $w\ne y$ , it is easy to check that

${\Delta }_{\infty }^h\psi \left(w\right)=-\left|C\right|{\left(k-\left|C\right|\left|w-y\right|\right)}^{h-1}\mathrm{.}$

Since $k\ge 1+\left|C\right|\text{diam}\left(\Omega \right)$ , we have ${\Delta }_{\infty }^h\psi \le C$ in $\Omega \backslash \left\{y\right\}$ .

Obviously, we have $d\left(y\right)\ge \frac{3d\left(x_0\right)}{4}$ for any $y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)$ . For any $w\in \partial B_{d\left(y\right)}\left(y\right)$ , one can verify that

$\begin{array}{c}\psi \left(w\right)=u\left(y\right)+kd\left(y\right)-\frac{\left|C\right|}{2}{d}^2\left(y\right)\\ \ge m+\frac{3d\left(x_0\right)}{4}\left(k-\frac{\left|C\right|}{2}d\left(y\right)\right)\\ \ge m+\frac{3d\left(x_0\right)}{4}\left(k-\frac{\left|C\right|}{2}\text{diam}\left(\Omega \right)\right)\ge M\ge u\left(w\right),\end{array}$

where we have used (8). Thus, $u\le \psi$ on $\partial \left(B_{d\left(y\right)}\left(y\right)\backslash \left\{y\right\}\right)$ . Since ${\Delta }_{\infty }^h\psi \le C$ and ${\Delta }_{\infty }^{h}u\ge C$ in $B_{d\left(y\right)}\left(y\right)\backslash \left\{y\right\}$ , we have $u\le \psi$ in $B_{d\left(y\right)}\left(y\right)$ by the comparison principle in [27] . Therefore, for any $y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)$ and any $z\in B_{d\left(y\right)}\left(y\right)$ , we get

$u\left(z\right)\le u\left(y\right)+k\left|z-y\right|-\frac{\left|C\right|}{2}{\left|z-y\right|}^2\mathrm{.}$ (9)

Note that $B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)\subseteq B_{d\left(p\right)}\left(p\right)$ for any $p\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)$ . According to (9), for any $x\mathrm{,}y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)$ , we have

$u\left(y\right)\le u\left(x\right)+k\left|x-y\right|-\frac{\left|C\right|}{2}{\left|x-y\right|}^2$

and

$u\left(x\right)\le u\left(y\right)+k\left|x-y\right|-\frac{\left|C\right|}{2}{\left|x-y\right|}^2\mathrm{.}$

That is,

$\left|u\left(x\right)-u\left(y\right)\right|\le \left(k-\frac{\left|C\right|}{2}\left|x-y\right|\right)\left|x-y\right|\le k\left|x-y\right|\mathrm{,}\forall x\mathrm{,}y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)\mathrm{.}$

Therefore, for any $x_0\in \Omega$ , we have

$\left|u\left(x\right)-u\left(y\right)\right|\le L\left|x-y\right|\mathrm{,}\forall x\mathrm{,}y\in B_{\frac{d\left(x_0\right)}{4}}\left(x_0\right)\mathrm{,}$

where L depends on $x_0\mathrm{,}\text{diam}\left(\Omega \right)\mathrm{,}\left|C\right|$ and ${\Vert u\Vert }_{L^{\infty }\left(\Omega \right)}$ .

Remark. Let C be a constant. If $u\in C\left(\Omega \right)\cap L^{\infty }\left(\Omega \right)$ satisfies ${\Delta }_{\infty }^{h}u\le C$ in the viscosity sense, then the similar result is also valid.

Next we give the proof of the comparison principle by the double variables method based on the viscosity solutions theory.

Proof of Theorem 1. Suppose that $F\left(x\mathrm{,}t\mathrm{,}p\right)$ satisfies the condition (F-1). Define

$u_{\epsilon }:=u\left(1+\epsilon \right)-\epsilon \underset{\bar{\Omega }}{\sup }u,0<\epsilon <\rho -1.$

Since $F\left(x\mathrm{,}t\mathrm{,}p\right)$ is non-decreasing in t and satisfies the condition (F-1), we have

$\begin{array}{c}{\Delta }_{\infty }^h{u}_{\epsilon }={\left(1+\epsilon \right)}^h{\Delta }_{\infty }^{h}u\\ \ge {\left(1+\epsilon \right)}^{h}F\left(x,u,Du\right)\\ \ge {\left(1+\epsilon \right)}^{h}F\left(x,u_{\epsilon },D{u}_{\epsilon }\right)\\ >F\left(x,u_{\epsilon },D{u}_{\epsilon }\right)\end{array}$

in the viscosity sense. That is, $u_{\epsilon }$ is a viscosity subsolution of the Equation (7).

Next we want to show $u_{\epsilon }\le v$ in $\Omega$ when $F>0$ . Instead, suppose that $u_{\epsilon }>v$ at some point $x_0\in \Omega$ and

$M=\underset{\Omega }{\sup }\left(u_{\epsilon }-v\right)=u_{\epsilon }\left(x_0\right)-v\left(x_0\right)>0.$

According to [13] , we double the variables

$z_j\left(x,y\right):=u_{\epsilon }\left(x\right)-v\left(y\right)-\frac{j}{4}{\left|x-y\right|}^4,\left(x,y\right)\in \Omega \times \Omega ,j=1,2,\cdots .$

Let $z_j$ attain its maximum at $\left(x_j\mathrm{,}{y}_j\right)\in \bar{\Omega }\times \bar{\Omega }$ . According to ( [13] , Proposition 3.7), we obtain

$\underset{j\to \infty }{\lim }{M}_j=\underset{j\to \infty }{\lim }\left(u_{\epsilon }\left(x_j\right)-v\left(y_j\right)-\frac{j{\left|x_j-y_j\right|}^4}{4}\right)=M$

and

$\underset{j\to \infty }{\lim }\frac{j{\left|x_j-y_j\right|}^4}{4}=0.$

Clearly, we have $x_j\to x_0$ , $y_j\to x_0$ as $j\to \infty$ . Due to $M>0\ge \underset{\partial \Omega }{\sup }\left(u_{\epsilon }-v\right)$ , there exists an open set ${\Omega }_0$ such that $x_0\mathrm{,}{x}_j$ and $y_j\in {\Omega }_0\subseteq \Omega$ as $j\to \infty$ .

Set

$\phi \left(x\right)=\frac{j{\left|x-y_j\right|}^4}{4}\text{and}\psi \left(y\right)=-\frac{j{\left|x_j-y\right|}^4}{4}\mathrm{.}$

Note that the function $u_{\epsilon }-\phi$ has a local maximum at $x_j$ and $v-\psi$ has a local minimum at $y_j$ .

We discuss the following two cases: either $x_j=y_j$ or $x_j\ne y_j$ for j large enough.

Case 1: When $x_j=y_j$ , we have $D\phi \left(x_j\right)=0$ and $D^2\phi \left(x_j\right)=0$ . Since $u_{\epsilon }$ is a viscosity subsolution, we get

$F\left(x_j\mathrm{,}\phi \left(x_j\right)\mathrm{,}D\phi \left(x_j\right)\right)=F\left(x_j\mathrm{,}{u}_{\epsilon }\left(x_j\right)\mathrm{,}D\phi \left(x_j\right)\right)\le 0.$

It is contrary to $F>0$ .

Case 2: When $x_j\ne y_j$ , we apply the jets and maximum principle for semi-continuous functions ( [13] , Theorem 3.2). There exist $n\times n$ symmetric matrices $X_j$ and $Y_j$ such that

$\left(p_j\mathrm{,}{X}_j\right)\in {\bar{\mathcal{J}}}^{\mathrm{2,}+}{u}_{\epsilon }\left(x_j\right)\mathrm{,}\left(p_j\mathrm{,}{Y}_j\right)\in {\bar{\mathcal{J}}}^{\mathrm{2,}-}v(\; y\; j\; )$

and

$-\frac{3}{\epsilon }\left(\begin{array}{cc}I& 0\\ 0& I\end{array}\right)\le \left(\begin{array}{cc}{X}_j& 0\\ 0& -Y_j\end{array}\right)\le \frac{3}{\epsilon }\left(\begin{array}{cc}I& -I\\ -I& I\end{array}\right)\mathrm{,}$ (10)

where $p_j=j{\left|x_j-y_j\right|}^2\left(x_j-y_j\right)$ . Following from the inequality (10), we have $X_j\le Y_j$ . Since ${\Delta }_{\infty }^h{u}_{\epsilon }\ge {\left(1+\epsilon \right)}^{h}F\left(x\mathrm{,}{u}_{\epsilon }\mathrm{,}D{u}_{\epsilon }\right)$ and ${\Delta }_{\infty }^{h}v\le F\left(x\mathrm{,}v\mathrm{,}Dv\right)$ in the viscosity sense, by the definition of the viscosity subsolution and supersolution, we obtain

$\begin{array}{c}0\le {\left|p_j\right|}^{h-3}\langle X_j{p}_j,p_j\rangle -{\left(1+\epsilon \right)}^{h}F\left(x_j,u_{\epsilon }\left(x_j\right),p_j\right)\\ \le {\left|p_j\right|}^{h-3}\langle Y_j{p}_j,p_j\rangle -{\left(1+\epsilon \right)}^{h}F\left(x_j,u_{\epsilon }\left(x_j\right),p_j\right)\\ \le F\left(y_j,v\left(y_j\right),p_j\right)-{\left(1+\epsilon \right)}^{h}F\left(x_j,u_{\epsilon }\left(x_j\right),p_j\right),\end{array}$ (11)

where we have used $X_j\le Y_j$ . Due to $z_j$ attains its maximum at $\left(x_j\mathrm{,}{y}_j\right)\in \bar{\Omega }\times \bar{\Omega }$ , we get

$u_{\epsilon }\left(x\right)-v\left(y\right)-\frac{j}{4}{\left|x-y\right|}^4\le u_{\epsilon }\left(x_j\right)-v\left(y_j\right)-\frac{j{\left|x_j-y_j\right|}^4}{4}\mathrm{,}\forall x\mathrm{,}y\in \bar{\Omega }\mathrm{.}$ (12)

Since $u_{\epsilon }$ is a viscosity subsolution, we see that $u_{\epsilon }$ is locally Lipschitz continuous according to Lemma 2. We take $x=y=y_j$ in (12) and obtain

$\frac{j{\left|x_j-y_j\right|}^4}{4}\le u_{\epsilon }\left(x_j\right)-u_{\epsilon }\left(y_j\right)\le L\left|x_j-y_j\right|\mathrm{,}$

where L is the Lipschitz constant of $u_{\epsilon }$ . Then we have

$\frac{j{\left|x_j-y_j\right|}^3}{4}\le L\mathrm{.}$

Therefore, upon taking a subsequence if necessary, we can assume $p_j\to p$ . Taking the limit in (11), we get

$F\left(x_0\mathrm{,}v\left(x_0\right)\mathrm{,}p\right)-{\left(1+\epsilon \right)}^{h}F\left(x_0\mathrm{,}{u}_{\epsilon }\left(x_0\right)\mathrm{,}p\right)\ge 0.$

Thus,

$F\left(x_0,v\left(x_0\right),p\right)\ge {\left(1+\epsilon \right)}^{h}F\left(x_0,u_{\epsilon }\left(x_0\right),p\right)>F\left(x_0,u_{\epsilon }\left(x_0\right),p\right).$ (13)

Since $F\left(x\mathrm{,}t\mathrm{,}p\right)$ is non-decreasing in $t$ and $u_{\epsilon }\left(x_0\right)>v\left(x_0\right)$ , we obtain

$F\left(x_0\mathrm{,}{u}_{\epsilon }\left(x_0\right)\mathrm{,}p\right)\ge F\left(x_0\mathrm{,}v\left(x_0\right)\mathrm{,}p\right)\mathrm{.}$

It is a contradiction to (13).

Thus, we have $u_{\epsilon }\le v$ in Ω when $F>0$ . Letting $\epsilon \to 0$ , we have $u\le v$ in Ω.

Now suppose that $F\left(x\mathrm{,}t\mathrm{,}p\right)$ satisfies the condition (F-2). Define

$u_{\epsilon }:=u\left(1-\epsilon \right)+\epsilon \underset{\bar{\Omega }}{\inf }u,0<\epsilon <1-\rho .$

Since $F\left(x\mathrm{,}t\mathrm{,}p\right)$ is non-decreasing in $t$ and satisfies the condition (F-2), one has

$\begin{array}{c}{\Delta }_{\infty }^h{u}_{\epsilon }={\left(1-\epsilon \right)}^h{\Delta }_{\infty }^{h}u\\ \ge {\left(1-\epsilon \right)}^{h}F\left(x,u,Du\right)\\ \ge {\left(1-\epsilon \right)}^{h}F\left(x,u_{\epsilon },D{u}_{\epsilon }\right)\\ \ge F\left(x,u_{\epsilon },D{u}_{\epsilon }\right)\end{array}$

in the viscosity sense. Thus, $u_{\epsilon }$ is a viscosity subsolution of the Equation (7). Then one can prove that $u_{\epsilon }\le v$ in Ω by the similar procedure. We leave it to the reader.

With the comparison principle in hand, the uniqueness theorem of the corresponding Dirichlet problem follows immediately.

Theorem 3. Let $\Omega \subseteq {ℝ}^n$ be a bounded domain. If the function $F\left(x\mathrm{,}t\mathrm{,}p\right)\in C\left(\Omega \times ℝ\times {ℝ}^n\right)$ is non-decreasing in $t$ and satisfies the condition (F-1) or (F-2), then there exists at most one viscosity solution to the Dirichlet problem (1).

When the right side hand $F\left(x\mathrm{,}t\mathrm{,}p\right)$ is independent of the variables $t$ and $p$ , Lu and Wang [23] constructed a counterexample to show that the uniqueness is invalid if $F$ changes its sign. And the case $F=0$ is covered by Jensen’s theorem [14] . But for the case $F\ge (\le )0$ , the uniqueness is open.

Remark. If $\phi =0$ and $F<0$ in the problem (1), then the viscosity solution to the problem (1) is positive. Similarly, if $\phi =0$ and $F>0$ in the problem (1), then the viscosity solution to the problem (1) is negative.

Acknowledgements

We thank the anonymous referees for the careful reading of the manuscript and useful suggestions and comments.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Armstrong, S.N. and Smart, C.K. (2012) A Finite Difference Approach to the Infinity Laplace Equation and Tug-of-War Games. Transactions of the American Mathematical Society, 364, 595-636. https://doi.org/10.1090/S0002-9947-2011-05289-X
[2]	Liu, F. (2018) An Inhomogeneous Evolution Equation Involving the Normalized Infinity Laplacian with a Transport Term. Communications on Pure and Applied Analysis, 17, 2395-2421. https://doi.org/10.3934/cpaa.2018114
[3]	Lu, G.Z. and Wang, P.Y. (2008) A PDE Perspective of the Normalized Infinity Laplacian. Communications in Partial Differential Equations, 33, 1788-1817. https://doi.org/10.1080/03605300802289253
[4]	Lu, G.Z. and Wang, P.Y. (2010) Infinity Laplace Equation with Non-Trivial Right-Hand Side. Electronic Journal of Differential Equations, 2010, 1-12.
[5]	Peres, Y., Schramm, O., Sheffield, S. and Wilson, D. (2009) Tug-of-War and the Infinity Laplacian. Journal of the American Mathematical Society, 22, 167-210. https://doi.org/10.1090/S0894-0347-08-00606-1
[6]	López-Soriano, R., Navarro-Climent, J.C. and Rossi, J.D. (2013) The Infinity Laplacian with a Transport Term. Journal of Mathematical Analysis and Applications, 398, 752-765. https://doi.org/10.1016/j.jmaa.2012.09.030
[7]	Peres, Y., Pete, G. and Somersille, S. (2010) Biased Tug-of-War, the Biased Infinity Laplacian, and Comparison with Exponential Cones. Calculus of Variations and Partial Differential Equations, 38, 541-564. https://doi.org/10.1007/s00526-009-0298-2
[8]	Aronsson, G. (1965) Minimization Problems for the Functional supx F(x,f(x), f'(x)). Arkiv för Matematik, 6, 33-53. https://doi.org/10.1007/BF02591326
[9]	Aronsson, G. (1966) Minimization Problems for the Functional supx F(x,f(x), f'(x)) (II). Arkiv för Matematik, 6, 409-431. https://doi.org/10.1007/BF02590964
[10]	Aronsson, G. (1967) Extension of Functions Satisfying Lipschitz Conditions. Arkiv för Matematik, 6, 551-561. https://doi.org/10.1007/BF02591928
[11]	Aronsson, G. (1969) Minimization Problems for the Functional supx F(x,f(x), f'(x)) III. Arkiv för Matematik, 7, 509-512. https://doi.org/10.1007/BF02590888
[12]	Aronsson, G., Crandall, M.G. and Juutinen, P. (2004) A Tour of the Theory of Absolutely Minimizing Functions. Bulletin of the American Mathematical Society, 41, 439-505. https://doi.org/10.1090/S0273-0979-04-01035-3
[13]	Crandall, M.G., Ishii, H. and Lions, P.L. (1992) User’s Guide to Viscosity Solutions of Second Order Partial Differential Equations. Bulletin of the American Mathematical Society, 27, 1-67. https://doi.org/10.1090/S0273-0979-1992-00266-5
[14]	Jensen, R. (1993) Uniqueness of Lipschitz Extensions Minimizing the Sup Norm of the Gradient. Archive for Rational Mechanics and Analysis, 123, 51-74. https://doi.org/10.1007/BF00386368
[15]	Crandall, M.G., Evans, L.C. and Gariepy, R.F. (2001) Optimal Lipschitz Extensions and the Infinity Laplacian. Calculus of Variations and Partial Differential Equations, 13, 123-139. https://doi.org/10.1007/s005260000065
[16]	Armstrong, S.N. and Smart, C.K. (2010) An Easy Proof of Jensen’s Theorem on the Uniqueness of Infinity Harmonic Functions. Calculus of Variations and Partial Differential Equations, 37, 381-384. https://doi.org/10.1007/s00526-009-0267-9
[17]	Crandall, M.G. (2008) A Visit with the ∞-Laplacian Equation. In: Dacorogna, B. and Marcellini, P., Eds., Calculus of Variations and Nonlinear Partial Differential Equations, Springer, Berlin, 75-122. https://doi.org/10.1007/978-3-540-75914-0_3
[18]	Crandall, M.G. and Evans, L.C. (2001) A Remark on Infinity Harmonic Functions. Electronic Journal of Differential Equations Conference, 6, 123-129.
[19]	Crandall, M.G., Gunnarsson, G. and Wang, P.Y. (2007) Uniqueness of ∞-Harmonic Functions and the Eikonal Equation. Communications in Partial Differential Equations, 32, 1587-1615. https://doi.org/10.1080/03605300601088807
[20]	Evans, L.C. and Savin, O. (2008)C1,a Regularity for Infinity Harmonic Functions in Two Dimensions. Calculus of Variations and Partial Differential Equations, 32, 325-347. https://doi.org/10.1007/s00526-007-0143-4
[21]	Evans, L.C. and Smart, C.K. (2011) Everywhere Differentiability of Infinity Harmonic Functions. Calculus of Variations and Partial Differential Equations, 42, 289-299. https://doi.org/10.1007/s00526-010-0388-1
[22]	Lin, T. and Liu, F. (2022) Viscosity Solutions to the Infinity Laplacian Equation with Strong Absorptions. Communications on Pure and Applied Analysis, 21, 4251-4267. https://doi.org/10.3934/cpaa.2022142
[23]	Lu, G.Z. and Wang, P.Y. (2008) Inhomogeneous Infinity Laplace Equation. Advances in Mathematics, 217, 1838-1868. https://doi.org/10.1016/j.aim.2007.11.020
[24]	Bhattacharya, T. and Mohammed, A. (2011) On Solutions to Dirichlet Problems Involving the Infinity-Laplacian. Advances in Calculus of Variations, 4, 445-487. https://doi.org/10.1515/acv.2010.019
[25]	Bhattacharya, T. and Mohammed, A. (2012) Inhomogeneous Dirichlet Problems Involving the Infinity-Laplacian. Advances in Differential Equations, 17, 225-266. https://doi.org/10.57262/ade/1355703086
[26]	Liu, F. and Yang, X.P. (2012) Solutions to an Inhomogeneous Equation Involving Infinity-Laplacian. Nonlinear Analysis: Theory, Methods & Applications, 75, 5693-5701. https://doi.org/10.1016/j.na.2012.05.017
[27]	Li, C.C. and Liu, F. (2022) Large Solutions of a Class of Degenerate Equations Associated with Infinity Laplacian. Advanced Nonlinear Studies, 22, 67-87. https://doi.org/10.1515/ans-2022-0005
[28]	Liu, F. (2022) The Eigenvalue Problem for a Class of Degenerate Operators Related to the Normalized p-Laplacian. Discrete and Continuous Dynamical Systems-B, 27, 2701-2720. https://doi.org/10.3934/dcdsb.2021155
[29]	Liu, F., Tian, L. and Zhao, P.B. (2020) A Weighted Eigenvalue Problem of the Degenerate Operator Associated with Infinity Laplacian. Nonlinear Analysis: Theory, Methods & Applications, 200, Article ID: 112001. https://doi.org/10.1016/j.na.2020.112001
[30]	Liu, F. and Yang, X.P. (2021) A Weighted Eigenvalue Problem of the Biased Infinity Laplacian. Nonlinearity, 34, 1197-1237. https://doi.org/10.1088/1361-6544/abd85d
[31]	Li, C.C. and Liu, F. (2023) Viscosity Solutions to the Infinity Laplacian Equation with Lower Terms. Electronic Journal of Differential Equations, 42, 1-23. https://doi.org/10.58997/ejde.2023.42