ABP estimate and comparison principle for cone degenerate quasilinear elliptic equations

Abstract.

In this paper, we study the cone degenerate quasilinear elliptic equations. We provide the existence of the viscosity solutions by proving Alexandrov-Bakelman-Pucci and Hölder estimates. Further more, we give the comparison principle by an equivalent transformation.

1. Introduction

In this paper, we study the cone degenerate nonlinear elliptic equations.

$$t^{-p}div_{\mathbb{B}}(|\nabla_{\mathbb{B}}u|^{p-2}\nabla_{\mathbb{B}}u)+t^{-p}(n-p)|\nabla_{\mathbb{B}}u|^{p-2}(t\partial_{t}u)=f(t,x)\ \ \ \ (t,x)\in\mathbb{B},$$ (1.1)

and its Dirichlet problem

$$\begin{cases}F((t,x),\nabla_{\mathbb{B}}u,\nabla_{\mathbb{B}}^{2}u)=0\ \ \ &(t,x)\in\mathbb{B},\\ u=0\ &(t,x)\in\partial{\mathbb{B}}.\end{cases}$$ (1.2)

Here

$$F((t,x),\nabla_{\mathbb{B}}u,\nabla_{\mathbb{B}}^{2}u) :=t^{-p}div_{\mathbb{B}}(|\nabla_{\mathbb{B}}u|^{p-2}\nabla_{\mathbb{B}}u)$$

$$+{t^{-p}}(n-p)|\nabla_{\mathbb{B}}u|^{p-2}(t\partial_{t}u)-f(t,x),$$

$f(t,x)$ is continuous, and the domain $\mathbb{B}=(0,1)\times X$ is the stretched conical domain. The X is a bounded open set in $\mathbb{R}^{n-1}$ with smooth boundary, and $x\in$ X. Moreover set

$$\nabla_{\mathbb{B}}:=(t\partial t,\partial x_{1},...,\partial x_{n-1})\ \text{and}\ \text{div}_{\mathbb{B}}:=\nabla_{\mathbb{B}}\cdot.$$ (1.3)

The motivation of nonlinear equation (1.1) comes from the calculus on manifolds with conical singularities. A finite dimensional manifold $B$ with conical singularities is a topological space with a finite subset

$$B_{0}=\left\{b_{1},\dots,b_{M}\right\}\subset B$$

of conical singularities, with the two following properties:

1. $B\backslash B_{0}$ is a $C^{\infty}$ manifold.

2. Every $b\in B_{0}$ has an open neighhourhood $U$ in $B$, such that there is a homeomorphism

$$\varphi:U\rightarrow X^{\Delta},$$

and $\varphi$ restricts a diffeomorphism

$$\varphi^{\prime}:U\backslash\{b\}\rightarrow X^{\wedge}.$$

Here $X$ is a bounded open subset in $\mathbb{R}^{N}$ with smooth boundary, and set

$$X^{\Delta}=\overline{\mathbb{R}}_{+}\times X/(\{0\}\times X).$$

This local model is interpreted as a cone with the base $X$. Since the analysis is formulated off the singularity, it makes sense to pass to

$$X^{\wedge}=\mathbb{R}_{+}\times X,$$

the open stretched cone with the base $X$. In (1.1) we take the simplest case of finite stretched cone such that

$$\mathbb{B}=(0,1)\times X\text{ and }\partial\mathbb{B}=\{1\}\times X\cup(0,1]\times\partial X.$$

The Riemannian metric on $X^{\wedge}=\mathbb{R}_{+}\times X$ is

$$g:=dt^{2}+t^{2}dx^{2}.$$

Then we have

$$g=\left(g_{ij}\right)=\left(\begin{array}[]{cccc}1&&&\\ &t^{2}&&\\ &&\ldots&\\ &&&t^{2}\end{array}\right)\quad\left(g^{ij}\right)=\left(\begin{array}[]{cccc}1&&&\\ &t^{-2}&&\\ &&\ldots&\\ &&&t^{-2}\end{array}\right)$$

with $G=\sqrt{\left|\operatorname{det}\left(g_{ij}\right)\right|}=t^{N-1}$. Then the gradient with contra-variant components is as the follows,

$$\nabla_{g}u=\left(g^{j1}\frac{\partial u}{\partial t}+\sum_{k=2}^{N}g^{jk}\frac{\partial u}{\partial x_{k-1}}\right)_{j=1,\ldots,N}=\left(\frac{\partial}{\partial t},t^{-2}\frac{\partial}{\partial x_{1}},\ldots,t^{-2}\frac{\partial}{\partial x_{N-1}}\right)u.$$

Moreover, we have

$$\left|\nabla_{g}u\right|^{2}=\left(\nabla_{g}u,\nabla_{g}u\right)_{g}=t^{-2}\left(\left(t\partial_{t}u\right)^{2}+\left(\partial_{x_{1}}u\right)^{2}+\ldots+\left(\partial_{x_{N-1}}u\right)^{2}\right).$$

Now we calculate the p-Laplace operator near to the conical singularity

$$\Delta_{pg} =\operatorname{div}_{g}\left(\left|\nabla_{g}u\right|^{p-2}\nabla_{g}u\right)$$

$$=G^{-1}\left(\frac{\partial}{\partial t}+\sum_{j=1}^{N-1}\frac{\partial}{\partial x_{j}}\right)\left(G\left|\nabla_{g}u\right|^{p-2}\left(g^{j1}\frac{\partial u}{\partial t}+\sum_{k=2}^{N}g^{jk}\frac{\partial u}{\partial x_{k-1}}\right)\right).$$

By defined (1.3) it follows that

$$\left|\nabla_{g}u\right|^{p-2}$$

$$= t^{-(p-2)}\left(\left(t\partial_{t}u\right)^{2}+\left(\partial_{x_{1}}u\right)^{2}+\ldots+\left(\partial_{x_{N-1}}u\right)^{2}\right)^{\frac{p-2}{2}}$$

$$:= t^{-(p-2)}\left|\nabla_{\mathbb{B}}u\right|^{p-2},$$

then we have

$$\Delta_{pg}u$$

$$= \operatorname{div}_{g}\left(\left|\nabla_{g}u\right|^{p-2}\nabla_{g}u\right)$$

$$= t^{-(N-1)}\left(\frac{\partial}{\partial t}\left(t^{N-1}t^{-(p-2)}\left|\nabla_{\mathbb{B}}u\right|^{p-2}\frac{\partial u}{\partial t}\right)\right)$$

$$+t^{-(N-1)}\left(\frac{\partial}{\partial x_{1}}\left(t^{N-1}t^{-(p-2)}\left|\nabla_{\mathbb{B}}u\right|^{p-2}t^{-2}\frac{\partial u}{\partial x_{1}}\right)\right)$$

$$+\ldots+t^{-(N-1)}\left(\frac{\partial}{\partial x_{N-1}}\left(t^{N-1}t^{-(p-2)}\left|\nabla_{\mathbb{B}}u\right|^{p-2}t^{-2}\frac{\partial u}{\partial x_{N-1}}\right)\right)$$

$$= t^{-p}\left(\left(t\frac{\partial}{\partial t}\right)\left(\left|\nabla_{\mathbb{B}}u\right|^{p-2}\left(t\frac{\partial u}{\partial t}\right)\right)\right)+t^{-p}(N-p)\left|\nabla_{\mathbb{B}}u\right|^{p-2}\left(t\frac{\partial u}{\partial t}\right)$$

$$+t^{-p}\left(\frac{\partial}{\partial x_{1}}\left(\left|\nabla_{\mathbb{B}}u\right|^{p-2}\frac{\partial u}{\partial x_{1}}\right)\right)+\ldots+t^{-p}\left(\frac{\partial}{\partial x_{N-1}}\left(\left|\nabla_{\mathbb{B}}u\right|^{p-2}\frac{\partial u}{\partial x_{N-1}}\right)\right)$$

$$=: t^{-p}\operatorname{div}_{\mathbb{B}}\left(\left|\nabla_{\mathbb{B}}u\right|^{p-2}\nabla_{\mathbb{B}}u\right)+t^{-p}(N-p)\left|\nabla_{\mathbb{B}}u\right|^{p-2}\left(t\frac{\partial u}{\partial t}\right).$$

Viscosity solutions were introduced by M.G. Crandall and P.L. Lions [10] in the case of Hamilton-Jacobi equations and extended to the case of second order elliptic equations by the authors in [22] and [7].

Existence of viscosity solution based upon the vanishing viscosity method and approximation arguments was studied in [25], [26],[2], [3], [27], [19], [18], [13], [11], [12]. H.Ishi’s in [20] made significant improvements and simplifications to the existence program, in which the uniqueness result is generated through the adaptation of the classical Perron’s method. Afterwards, many articles have adopted Perron’s method to study the existence of viscosity solutions, such as [14], [21], [22], [23], [28]. Among them, authors in [28] using the Perron’s method gave the existence of viscosity solutions for the singular fully-nonlinear elliptic equations modeled on the q-Laplacian when the domain is bounded and has a $\mathcal{C}^{2}$ boundary. It is worth noting that the singularity mentioned above refers to $1<q<2$, which is completely different from the conical singularity in our article. Furthermore, the authors in [29] extended the results to the domain whose boundary satisfying a uniform exterior cone condition by studying the Harnack inequality.

The Alexandrov-Bakelman-Pucci (ABP) estimate has been studied widely, and there are many studies about the Harnack inequality based on the ABP estimate. The classical ABP estimate has been obtained regarding the linear Laplace equation with variable coefficients in [16].The ABP estimate was also obtained for the fully-nonlinear elliptic equations driven by the q-Laplacian, in [4], [15], [17]. We noticed that the above are studies aimed at a bounded domain. On these foundations, the authors on [1], [5] and [8] have generalized the ABP estimate to a special unbounded region and obtained the Hölder estimate. The above work motivates us to explore the Alexandrov-Bakelman-Pucci estimate of the viscosity solutions for (1.1) and Hölder estimate for (1.2).

The comparison principle is a crucial step in the Perron’s method to prove the existence and uniqueness of solutions. There have been many results in the study of comparison principle, such as [8], [14], [21], [22], [30]. H. Ishii [21] refined Jensen’s method and provided a comparison principle for fully nonlinear second-order degenerate elliptic equations with strictly growing on zero order term. The work in [22] and [14] extended the conclusion of [21]. The authors [32] used the method of equivalent transformation to study the comparison principle of weak solutions. This provides us with ideas to deal with the difficulty of missing zero order term of (1.1).

Our main work is to explore ABP estimate of the viscosity solutions for (1.1) and Hölder estimate for $\eqref{H8}$, then further obtain the existence of the viscosity solutions to the problem $\eqref{H8}$. Finally, we provide a comparison principle for (1.2).

Now, we will provide some notations and the assumptions for this article.

• : the open ball with radius $d$.

• : the open “ball” with radius $d$ on cone.

• : the distance from $(t,x)$ to $\partial\mathbb{B}$.

Assumption 1.1.

We call that the local stretched cone $\mathbb{B}$ satisfies the condition $(G^{d}_{\mathbb{B}})$ if there exists a real number $\sigma,$ such that for any $(t,x)\in\mathbb{B}$ there exists a n-dimensional “ball” $\Omega_{\tilde{R}_{(t,x)}}$ of radius $\tilde{R}_{(t,x)}\leq K_{0}d_{(t,x)}$ and $d_{(t,x)}\leq d_{0}$ satisfying

$$(t,x)\in\Omega_{\tilde{R}_{(t,x)}}\ \ \text{and}\ \ \ |\Omega_{\tilde{R}_{(t,x)}}\backslash\mathbb{B}_{\tilde{R}_{(t,x)}}|\geq\sigma|\Omega_{\tilde{R}_{(t,x)}}|,$$

where

$$d_{(t,x)}=\min\{d\left((t,x),(s,y)\right)\ \big{|}\ \mbox{for any}\ (s,y)\in\partial\mathbb{B}\}$$

and $\mathbb{B}_{\tilde{R}_{(t,x)}}$ is the $($connected$)$ component of $\mathbb{B}\cap\Omega_{\tilde{R}_{(t,x)}}$.

Assumption 1.2.

We assume that $\mathbb{B}$ satisfies the condition $(G^{d}_{\mathbb{B}})$ and there exists a sequence $\{H_{j}\}$ where each $H_{j}$ satisfies $(G^{d}_{H_{j}})$ and has a $\mathcal{C}^{2}$ boundary such that

$$H_{j}\subset\subset H_{j+1}\subset\subset\mathbb{B}\ \ \ \text{and }\ \ \ \cup_{j}H_{j}=\mathbb{B}.$$

It is obvious that this situation exists when $X$ is convex.

The main results in this paper are as follows.

Definition 1.1.

We call that $u\in USC(\Omega)$ $(resp.u\in LSC(\Omega))$ if $u$ is a upper $(resp.lower)$ semicontinuous function defined on ${\Omega}$.

Theorem 1.1.

Let $v\in USC(\mathbb{\overline{B}})$ be a viscosity subsolution of (1.1), and $\mathop{\sup}\limits_{\mathbb{{B}}}v^{+}<+\infty$. If $f\in C(\overline{\mathbb{B}})\cap L^{\infty}(\mathbb{B})$ and $\mathbb{B}$ satisfies $(G^{d}_{\mathbb{B}})$, then

$$\mathop{\sup}\limits_{\mathbb{B}}v^{+}\leq\mathop{\sup}\limits_{\partial\mathbb{B}}v^{+}+C(K_{0}d_{0})^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$ (1.4)

where $C$ depends on $n,\ p,\ K_{0},\ d_{0},\ \sigma$.

Corollary 1.1.

Let $v\in C(\mathbb{\overline{B}})$ be a viscosity solution of (1.1) and $\mathop{\sup}\limits_{\mathbb{{B}}}|v|<+\infty$. If $f\in C(\overline{\mathbb{B}})\cap L^{\infty}(\mathbb{B})$ and $\mathbb{B}$ satisfies $(G^{d}_{\mathbb{B}})$, then there exists

$$\mathop{\sup}\limits_{\mathbb{B}}|v|\leq\mathop{\sup}\limits_{\partial\mathbb{B}}|v|+C(K_{0}d_{0})^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$ (1.5)

where $C$ depends on $n,\ p,\ \sigma,\ K_{0},\ d_{0}$.

Theorem 1.2.

Let $v\in C(\mathbb{\overline{B}})$ be a viscosity solution of (1.2), $f\in C(\overline{\mathbb{B}})\cap L^{\infty}(\mathbb{B})$ and $\mathbb{B}$ satisfies $(G^{d}_{\mathbb{B}})$, then there exists constant $\alpha_{1}$ depending on $K_{0},\ d_{0},\ \sigma,\ n,\ p$ such that, for all $\rho\in(0,\alpha_{1}]$ the following estimate holds

$$||v(t,x)||_{\rho,\overline{\mathbb{B}}}\leq C\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},\\$$ (1.6)

where $C$ depends on $n,\ p,\ K_{0}d_{0},\ \sigma,\ \rho$. Here the hölder norm is

$$||v(t,x)||_{\rho,\overline{\mathbb{B}}}=||v(t,x)||_{L^{\infty}(\overline{\mathbb{B}})}+\mathop{\sup}\limits_{\overline{\mathbb{B}}\times\overline{\mathbb{B}}}\frac{|v(t,x)-v(s,y)|}{|(t,x)-(s,y)|^{\rho}}.$$

Theorem 1.3.

Under Assumption 1.2, let $f\in C(\overline{\mathbb{B}})\cap L^{\infty}(\mathbb{B})$, then (1.2) has at least one viscosity solution $v$ satisfying (1.6).

Theorem 1.4 (Comparison principle).

Let $u\in USC(\overline{\mathbb{B}})$ be a viscosity subsolution of equation (1.2) and $\mathop{\lim}\limits_{t\to 0}\sup u$ exists; let $v\in LSC(\overline{\mathbb{B}})$ be a viscosity supersolution of equation (1.2) and $\mathop{\lim}\limits_{t\to 0}\inf v$ exists. In addition, $\mathop{\lim}\limits_{t\to 0}\sup u\leq\mathop{\lim}\limits_{t\to 0}\inf v$, and $v(t,x)$ is bounded from above. If $f\in C(\overline{\mathbb{B}})$ and there exists constant $\omega>0$ such that $t^{p}f(t,x)\geq\omega$ for all $(t,x)\in\mathbb{B}$. Then we can deduce $u\leq v$ in $\mathbb{B}$ when $u\leq v$ on $\partial\mathbb{B}$.

Remark 1.1.

From the proof process of Theorem 1.4 , we can see that the assumption of $f$ can be appropriately weakened. It is easy to see that when $\alpha\to\infty$, there exists a subsequence $\{(t_{\alpha_{j}},x_{\alpha_{j}})\}$ converging to a point $(z_{0}^{*},z^{*})\in\mathbb{B}$. We only need $f$ to satisfy

$$\lim\limits_{(t,x)\to(z_{0}^{*},z^{*})}t^{p}f=(z_{0}^{*})^{p}f(z_{0}^{*},z^{*})\neq 0.$$

We highlight that the degenerate p-Laplace equation studied in this paper is a generalization and further development of classic non-degenerate p-Laplace equations, and other existing degenerate p-Laplace equations. Firstly, our model that the cone degenerate p-Laplace equation is new, comparing to the problems studied in [17, 4, 8, 5]. Secondly, the characteristic and innovation of this paper lie in the fact that the gradient operator itself is degenerate, which originates from its geometric background. Thirdly, the absence of zero order term and the cone type degeneracy in this equation pose difficulties in the analysis process. Finally, we solve these problems by establishing a new distance space and structuring a special equivalent transformation.

This paper is organized as follows. In Section 2, We mainly do some preparatory works, presenting some definitions and remarks. In Section 3, we give the proofs of Theorem 1.1 and Theorem 1.2 to obtain the Alexandrov-Bakelman-Pucci and Hölder estimates. Furthermore, we provide a proof of Theorem 1.3 and obtain the existence of solutions for (1.2). In Section 4, we prove Theorem 1.4 to obtain the comparison principle of the viscosity solutions.

2. Preliminaries

In this chapter, we will make some preparations by providing some definitions and remarks.

Definition 2.1 (Viscosity solution).

Suppose for any $A\geq B$,

$$G((t,x),w,P,A)\geq G((t,x),w,P,B),$$

a function $u\in LSC(\mathbb{B})(\text{resp}.u\in USC(\mathbb{B}))$ is called a viscosity supersolution $(\text{resp.subsolution})$ of equation (2.1)

$$G((t,x),u,\nabla_{\mathbb{B}}u,\nabla_{\mathbb{B}}^{2}u)=0,$$ (2.1)

if for all ${\phi}\in C^{2}(\mathbb{B})$ the following inequality holds at each local minimum $($resp. maximum$)$ point $(t_{0},x_{0})\in\mathbb{B}$ of $u-{\phi}$

$$G((t_{0},x_{0}),u(t_{0},x_{0}),\nabla_{\mathbb{B}}{\phi}(t_{0},x_{0}),\nabla_{\mathbb{B}}^{2}{\phi}(t_{0},x_{0}))\leq(resp.\geq)0.$$

We call that $u$ is a viscosity solution of (2.1) when it is both a subsolution and a supersolution.

Remark 2.1 (Suitability).

Let us verify that when $u$ is classical supersolution of $\eqref{H1}$ $($that is $u\in C^{2}(\mathbb{B})$ and $G\leq 0$ holds for all $(t,x)\in\mathbb{B})$, the above definition is reasonable. When $u\in C^{2}(\mathbb{B})$, let $t=e^{a}$, then $u(t,x)=u(e^{a},x)$. We define $\overline{u}(a,x)=u(e^{a},x)$, then

$$\nabla\overline{u}(a,x)=\nabla_{\mathbb{B}}u(t,x),\nabla^{2}\overline{u}(a,x)=\nabla_{\mathbb{B}}^{2}u(t,x).$$

It is indeed because

$$\begin{cases}\partial_{a}\overline{u}=\partial_{t}u\cdot e^{a}=t\partial_{t}u,\\ \partial_{x}\overline{u}=\partial_{x}u,\end{cases}$$ (2.2)

$$\begin{cases}\partial^{2}_{a}\overline{u}=\partial_{a}(t\partial_{t}u)=t\partial_{t}(t\partial_{t}u)=(t\partial_{t})^{2}u,\\ \partial_{a}(\partial_{x}\overline{u})=\partial_{a}(\partial_{x}u)=t\partial_{t}(\partial_{x}u),\\ \partial_{x}(\partial_{a}\overline{u})=\partial_{x}(t\partial_{t}u)=\partial_{x}(t\partial_{t}u),\\ \partial^{2}_{x}\overline{u}=\partial^{2}_{x}u,\end{cases}$$ (2.3)

where $\nabla_{\mathbb{B}}^{2}u(t,x)=\begin{pmatrix}(t\partial_{t})^{2}u&(t\partial_{t})\partial_{x}u\\ \partial_{x}(t\partial_{t})u&\partial_{x}^{2}u\end{pmatrix}$.

Given $(t_{0},x_{0})\in\mathbb{B},\ \phi\in C^{2}(\mathbb{B}),$ $u-\phi$ attains local minimum at $(t_{0},x_{0})$. Let $\ln t_{0}=a_{0}$, then $u(e^{a},x)-\phi(e^{a},x)$ attains local minimum at $(a_{0},x_{0})$ and $(\overline{u}-\overline{\phi})(a,x)$ attains local minimum at $(a_{0},x_{0})$. So we can get

$$\nabla\overline{u}(a_{0},x_{0})=\nabla\overline{\phi}(a_{0},x_{0}),\ \nabla^{2}\overline{u}(a_{0},x_{0})\geq\nabla^{2}\overline{\phi}(a_{0},x_{0}),$$

that is,

$$\nabla_{\mathbb{B}}u(t_{0},x_{0})=\nabla_{\mathbb{B}}\phi(t_{0},x_{0}),\ \nabla^{2}_{\mathbb{B}}u(t_{0},x_{0})\geq\nabla^{2}_{\mathbb{B}}\phi(t_{0},x_{0}).$$

We know that

$$G((t_{0},x_{0}),u(t_{0},x_{0}),\nabla_{\mathbb{B}}u(t_{0},x_{0}),\nabla_{\mathbb{B}}^{2}u(t_{0},x_{0}))\leq 0,$$

so the following inequality holds,

$$G((t_{0},x_{0}),u(t_{0},x_{0}),\nabla_{\mathbb{B}}{\phi}(t_{0},x_{0}),\nabla_{\mathbb{B}}^{2}{\phi}(t_{0},x_{0}))\leq 0.$$

Definition 2.2 (Pucci operators).

$$\mathcal{M}^{+}_{\lambda,\Lambda}(X)=\sup\limits_{\lambda I\leq A\leq\Lambda I}tr(AX)=\Lambda\sum\limits_{e_{i}>0}e_{i}+\lambda\sum\limits_{e_{i}<0}e_{i},$$ (2.4)

$$\mathcal{M}^{-}_{\lambda,\Lambda}(X)=\inf\limits_{\lambda I\leq A\leq\Lambda I}tr(AX)=\lambda\sum\limits_{e_{i}>0}e_{i}+\Lambda\sum\limits_{e_{i}<0}e_{i},$$ (2.5)

where $X$ is matrix and $\{e_{i}\}$ are eigenvalues of $X$.

Definition 2.3 (Distance on cone [9]).

Since the distance on cone is $ds^{2}=\frac{1}{t^{2}}(dt)^{2}+\Sigma_{i=1}^{n-1}(dx_{i})^{2}$, we obtain the distance between point $z=(t,x_{1},\cdot\cdot\cdot,x_{n-1})$ and $z_{0}=(t_{0},x_{1}^{0},\cdot\cdot\cdot,x_{n-1}^{0})$ on cone is

$$d(z,z_{0})=\sqrt{(\ln t-\ln t_{0})^{2}+\Sigma_{i=1}^{n-1}(x_{i}-x_{i}^{0})^{2}},$$ (2.6)

and we define $|z_{0}-z|=d(z_{0},z)$.

For simplicity, we introduce the open “ball” in $\mathbb{R}_{+}^{n}$ in the sense of measure $\frac{dt}{t}dx$ with center $w=(s,y)=(s,y_{1},\cdots,y_{n-1})\in\mathbb{R}_{+}^{n}$ and radius r as follows.

$$\Omega_{r}(s,y):=\left\{(t,x)\in R_{+}^{n}\ \big{|}\ (lnt-lns)^{2}+\Sigma_{i=1}^{n-1}(x_{i}-y_{i})^{2}<r^{2}\right\}.$$ (2.7)

Definition 2.4 (upper $\epsilon$-envelope).

If u is a real-valued u.s.c. function on $\mathbb{B}$, then we call the upper $\epsilon$-envelope of u on $\mathbb{B}_{\epsilon}$ by

$$u^{\epsilon}(t,x)=\max\left\{u(s,y)+\sqrt{\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}}\ \big{|}\ |(e^{t},x)-(e^{s},y)|\leq\epsilon\right\},$$ (2.8)

with

$$\mathbb{B}_{\epsilon}=\{(t,x)\in\mathbb{B}\ \big{|}\ |(e^{t},x)-(e^{s},y)|^{2}>\epsilon^{2},\ \text{for all}\ (s,y)\in\partial\mathbb{B}\cup\{0\}\times\partial X\}.$$ (2.9)

Next, for convenience, we will simplify $\eqref{eq:11}$ taking two-dimensional as an example,

$$div_{\mathbb{B}}(|\nabla_{\mathbb{B}}u|^{p-2}\nabla_{\mathbb{B}}u)$$

$$=t\partial_{t}(|\nabla_{\mathbb{B}}u|^{p-2}(t\partial_{t}u))+\partial_{x}(|\nabla_{\mathbb{B}}u|^{p-2}(\partial_{x}u))$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}(t\partial_{t})^{2}u+(p-2)t\partial_{t}u|\nabla_{\mathbb{B}}u|^{p-3}\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|}\cdot((t\partial_{t})^{2}u,(t\partial_{t})\partial_{x}u)$$

$$+|\nabla_{\mathbb{B}}u|^{p-2}\partial_{x}^{2}u+(p-2)\partial_{x}u|\nabla_{\mathbb{B}}u|^{p-3}\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|}\cdot(\partial_{x}(t\partial_{t})u,\partial_{x}^{2}u)$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}tr\begin{pmatrix}(t\partial_{t})^{2}u&(t\partial_{t})\partial_{x}u\\ \partial_{x}(t\partial_{t})u&\partial_{x}^{2}u\end{pmatrix}$$

$$+(p-2)|\nabla_{\mathbb{B}}u|^{p-4}t\partial_{t}u(t\partial_{t}u\cdot(t\partial_{t})^{2}u+\partial_{x}u\cdot(t\partial_{t})\partial_{x}u)$$

$$+(p-2)|\nabla_{\mathbb{B}}u|^{p-4}\partial_{x}u(t\partial_{t}u\cdot\partial_{x}(t\partial_{t})u+\partial_{x}u\cdot\partial_{x}^{2}u)$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}tr\begin{pmatrix}(t\partial_{t})^{2}u&(t\partial_{t})\partial_{x}u\\ \partial_{x}(t\partial_{t})u&\partial_{x}^{2}u\end{pmatrix}$$

$$+(p-2)|\nabla_{\mathbb{B}}u|^{p-4}tr\begin{pmatrix}(t\partial_{t}u)^{2}&t\partial_{t}u\partial_{x}u\\ t\partial_{t}u\partial_{x}u&(\partial_{x}u)^{2}\end{pmatrix}\begin{pmatrix}(t\partial_{t})^{2}u&(t\partial_{t})\partial_{x}u\\ \partial_{x}(t\partial_{t})u&\partial_{x}^{2}u\end{pmatrix}$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}tr\begin{pmatrix}(t\partial_{t})^{2}u&(t\partial_{t})\partial_{x}u\\ \partial_{x}(t\partial_{t})u&\partial_{x}^{2}u\end{pmatrix}$$

$$+(p-2)|\nabla_{\mathbb{B}}u|^{p-4}tr\Bigg{(}\nabla_{\mathbb{B}}u^{T}\nabla_{B}u\begin{pmatrix}(t\partial_{t})^{2}u&(t\partial_{t})\partial_{x}u\\ \partial_{x}(t\partial_{t})u&\partial_{x}^{2}u\end{pmatrix}\Bigg{)}$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}tr(\nabla_{\mathbb{B}}^{2}u)+(p-2)|\nabla_{\mathbb{B}}u|^{p-4}tr(\nabla_{\mathbb{B}}u^{T}\nabla_{\mathbb{B}}u\nabla_{\mathbb{B}}^{2}u)$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}tr(\nabla_{\mathbb{B}}^{2}u)+(p-2)|\nabla_{\mathbb{B}}u|^{p-2}tr\Bigg{(}\frac{\nabla_{\mathbb{B}}u^{T}}{|\nabla_{\mathbb{B}}u|}\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|}\nabla_{\mathbb{B}}^{2}u\Bigg{)}$$

$$=|\nabla_{\mathbb{B}}u|^{p-2}tr\Bigg{(}\bigg{(}I+(p-2)\frac{\nabla_{\mathbb{B}}u^{T}}{|\nabla_{\mathbb{B}}u|}\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|}\bigg{)}\nabla_{\mathbb{B}}^{2}u\Bigg{)}.$$

We denote

$$Q=I+(p-2)\frac{\nabla_{\mathbb{B}}u^{T}}{|\nabla_{\mathbb{B}}u|}\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|},$$

then (1.1) can be reduced to (2.10),

$$t^{-p}|\nabla_{\mathbb{B}}u|^{p-2}tr(Q\nabla_{\mathbb{B}}^{2}u)+t^{-p}(n-p)|\nabla_{\mathbb{B}}u|^{p-2}(t\partial_{t}u)=f(t,x).$$ (2.10)

Remark 2.2.

Because $\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|}$ is identity vector, the eigenvalues of $\frac{\nabla_{\mathbb{B}}u^{T}}{|\nabla_{\mathbb{B}}u|}$$\frac{\nabla_{\mathbb{B}}u}{|\nabla_{\mathbb{B}}u|}$ are $1,0,\cdots$, $\mathrm{0}$. So the eigenvalues of matrix $Q$ are $p-1,1,\cdots,1$. Furthermore $p\geq 2$, so we can take $\lambda=1,\ \Lambda=p-1$ such that

$$\lambda I\leq Q\leq\Lambda I.$$

According to the Definition 2.1, we can derive

$$\mathcal{M}^{-}_{1,p-1}(\nabla_{B}^{2}u)\leq tr(Q\nabla_{B}^{2}u)\leq\mathcal{M}^{+}_{1,p-1}(\nabla_{B}^{2}u).$$

For convenience, We denote $\mathcal{M}^{-}_{1,p-1}$ and $\mathcal{M}^{+}_{1,p-1}$ as $\mathcal{M}^{-}$ and $\mathcal{M}^{+}$, respectively.

Remark 2.3.

In the following we discuss the necessary conditions for the viscosity solutions.
$(1)$ If $u$ is a supersolution of equation (2.10), then for all $\phi\in C^{2}(\mathbb{B})$ the following inequality holds at each local minimum point $(t_{0},x_{0})\in\mathbb{B}\ \text{of}\ u-\phi,$

$$t^{-p}|\nabla_{\mathbb{B}}\phi|^{p-2}tr(Q\nabla_{\mathbb{B}}^{2}\phi)+t^{-p}(n-p)|\nabla_{\mathbb{B}}\phi|^{p-2}(t\partial_{t}\phi)\leq f(t_{0},x_{0}).$$

Then

$$t^{-p}|\nabla_{\mathbb{B}}\phi|^{p-2}\mathcal{M}^{-}(\nabla_{\mathbb{B}}^{2}\phi)+t^{-p}(n-p)|\nabla_{\mathbb{B}}\phi|^{p-2}(t\partial_{t}\phi)\leq f(t_{0},x_{0}).$$ (2.11)

$(2)$ If $u$ is a subsolution of equation (2.10), then for all $\phi\in C^{2}(\mathbb{B})$ the following inequality holds at each local maximum point $(t_{0},x_{0})\in\mathbb{B}\ \text{of}\ u-\phi,$

$$t^{-p}|\nabla_{\mathbb{B}}\phi|^{p-2}\mathcal{M}^{+}(\nabla_{\mathbb{B}}^{2}\phi)+t^{-p}(n-p)|\nabla_{\mathbb{B}}\phi|^{p-2}(t\partial_{t}\phi)\geq f(t_{0},x_{0}).$$ (2.12)

3. ABP and Hölder estimate

In this section we consider the Dirichlet problem (1.2). We will give the proof of Theorem 1.1 and Theorem 1.2 to obtain the ABP estimate of the viscosity solutions for (1.1) and Hölder continuity of the viscosity solutions for (1.2). Further we give the proof of Theorem 1.3 and get the existence of solutions of (1.2).

If $u$ is a supersolution of (2.10), then $u$ satisfies (2.11) in viscosity sense. Let us define

$$u_{m}=\begin{cases}\min\{u,m\}&\quad\ (t,x)\in A,\\ m&\quad\ (t,x)\in\Omega_{d}\backslash A,\end{cases}$$

where $A=\mathbb{B}\cap\Omega_{d}\neq\emptyset$, and $m=\inf_{(t,x)\in\{\partial A\cap\Omega_{d}\}}u(t,x)$, then $u_{m}$ satisfies (3.1) in $\Omega_{d}$

$$t^{-p}|\nabla_{\mathbb{B}}u_{m}|^{p-2}\mathcal{M}^{-}(\nabla_{\mathbb{B}}^{2}u_{m})+t^{-p}(n-p)|\nabla_{\mathbb{B}}u_{m}|^{p-2}(t\partial_{t}u_{m})\leq f^{+}(t,x)\chi(A),$$ (3.1)

that is, $u_{m}$ is a viscosity supersolution of $\eqref{4.22}$

$$t^{-p}|\nabla_{\mathbb{B}}u_{m}|^{p-2}\mathcal{M}^{-}(\nabla_{\mathbb{B}}^{2}u_{m})+t^{-p}(n-p)|\nabla_{\mathbb{B}}u_{m}|^{p-2}(t\partial_{t}u_{m})=f^{+}(t,x)\chi(A).$$ (3.2)

It is just to illustrate that $(t,x)\in\partial A$. Since $u(t,x)\geq m$ for $(t,x)\in\partial A$, we conclude that 3.1 holds.

Firstly, we present two existing results from [31] as the preparation.

Lemma 3.1 ([31]).

For any non-negative continuous function $u:\ \overline{B}_{1}\rightarrow\mathbb{R}$ such that

$$\begin{array}[]{ll}\mathcal{P}^{-}\left(D^{2}u,\nabla u\right)\leq C_{0}&\text{ in }B_{1},\\ \mathcal{P}^{+}\left(D^{2}u,\nabla u\right)\geq-C_{0}&\text{ in }B_{1},\end{array}$$

where

$$\mathcal{P}^{-}\left(D^{2}u,\nabla u\right)=\begin{cases}\lambda trD^{2}u^{+}-\Lambda trD^{2}u^{-}-\Lambda|\nabla u|&\text{ if }|\nabla u|\geq\gamma,\\ -\infty&\text{ otherwise, }\end{cases}$$

$$\mathcal{P}^{+}\left(D^{2}u,\nabla u\right)=\begin{cases}\Lambda trD^{2}u^{+}-\lambda trD^{2}u^{-}+\Lambda|\nabla u|&\text{ if }|\nabla u|\geq\gamma,\\ +\infty&\text{otherwise,}\end{cases}\\$$

we have

$$\sup_{B_{1/2}}u\leq C\left(\inf_{B_{1/2}}u+C_{0}\right).$$

The constant $C$ depends on $\lambda,\Lambda$, the dimension and $\gamma/\left(C_{0}+\mathop{\inf}\limits_{B_{1/2}}u\right)$.

Lemma 3.2 ([31]).

There exist small constants $\epsilon_{0}>0$ and $\epsilon>0$ such that if $\gamma\leq\epsilon_{0}$, then for any lower semicontinuous function $u:B_{2}\rightarrow\mathbb{R}$ such that

$$u\geq 0\quad\quad\quad\quad\quad\quad\ \ \text{ in }B_{2},$$

$$\mathcal{P}^{-}\left(D^{2}u,\nabla u\right)\leq 1\quad\text{ in }B_{2},$$

$$\inf_{B_{1}}u\leq 1,$$

we have

$$\left|\{u>t\}\cap B_{1}\right|\leq Ct^{-\epsilon}\quad\text{ for all }t>0\text{. }$$

We can easily see through their proof process that the result still holds when the coefficient of the first-order term is $(K_{0}d_{0}+1)|n-p|$, and we can choose $\epsilon_{0}=1$.

Corollary 3.1 (Harnack inequality).

For any non-negative continuous function $u:\ \overline{B}_{1}\rightarrow\mathbb{R}$ such that

$$\begin{array}[]{ll}\mathcal{P}^{-}_{1}\left(D^{2}u,\nabla u\right)\leq C_{0}&\text{ in }B_{1},\\ \mathcal{P}^{+}_{1}\left(D^{2}u,\nabla u\right)\geq-C_{0}&\text{ in }B_{1},\end{array}$$

where

$$\mathcal{P}^{-}_{1}\left(D^{2}u,\nabla u\right)$$

$$= \begin{cases}trD^{2}u^{+}-(p-1)trD^{2}u^{-}-(K_{0}d_{0}+1)|n-p||\nabla u|&\text{ if }|\nabla u|\geq\gamma,\\ -\infty&\text{otherwise, }\end{cases}$$

$$\mathcal{P}^{+}_{1}\left(D^{2}u,\nabla u\right)$$

$$= \begin{cases}(p-1)trD^{2}u^{+}-trD^{2}u^{-}+(K_{0}d_{0}+1)|n-p||\nabla u|&\text{ if }|\nabla u|\geq\gamma,\\ +\infty&\text{otherwise,}\end{cases}$$

we have

$$\sup_{B_{1/2}}u\leq C\left(\inf_{B_{1/2}}u+C_{0}\right).$$

The constant $C$ depends on $p,n,K_{0}d_{0}$ and $\gamma/\left(C_{0}+\mathop{\inf}\limits_{B_{1/2}}u\right)$.

Corollary 3.2.

There exists a small constant $\epsilon>0$ such that if $\gamma\leq 1$, then for any lower semicontinuous function $u:B_{2}\rightarrow\mathbb{R}$ such that

$$u\geq 0\quad\quad\quad\quad\quad\quad\ \ \text{ in }B_{2},$$

$$\mathcal{P}^{-}_{1}\left(D^{2}u,\nabla u\right)\leq 1\quad\text{ in }B_{2},$$

$$\inf_{B_{1}}u\leq 1,$$

we have

$$\left|\{u>t\}\cap B_{1}\right|\leq Ct^{-\epsilon}\quad\text{ for all }t>0\text{,}$$

with $\epsilon$ depending on $n,\ p,\ K_{0}d_{0}$.

Lemma 3.3.

If $u_{m}$ is a nonnegative supersolution of (3.2) in $\Omega_{2d}$ with $d\leq K_{0}d_{0}+1$, $A=\Omega_{2d}\cap\mathbb{B}$, then

$$\left(\frac{1}{|\Omega_{d}|}\int_{\Omega_{d}}u_{m}^{p_{0}}\frac{dt}{t}dx\right)^{\frac{1}{p_{0}}}\leq C\left(\mathop{\inf}\limits_{\Omega_{d}}u_{m}+d^{\frac{p}{p-1}}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2d}\cap A)}}\right),$$

with $p_{0}$ and $C$ depending on $n,\ p,\ K_{0}d_{0}.$

Proof.

Let’s assume that $\Omega_{2d}$ is centered at $(t_{0},x_{0})\in\mathbb{B},$ next, we will do a stretching transformation.

Let

$$u_{l}(t,x)=\frac{1}{L}u_{m}(T(s,y)),\ T(s,y)=\left(s^{d}t_{0}^{1-d},x_{0}+d(y-x_{0})\right),$$

then we have

$$\nabla_{\mathbb{B}}u_{l}=\frac{d}{L}\nabla_{\mathbb{B}}u_{m},\ \nabla^{2}_{\mathbb{B}}u_{l}=\frac{d^{2}}{L}\nabla^{2}_{\mathbb{B}}u_{m}.$$

By calculation, it can be concluded that $u_{l}$ is the supersolution of the following function,

$${|\nabla_{\mathbb{B}}u_{l}|}^{p-2}tr\left(\left(I+(p-1)\frac{(\nabla_{\mathbb{B}}u_{l})^{T}(\nabla_{\mathbb{B}}u_{l})}{{|\nabla_{\mathbb{B}}u_{l}|}^{2}}\right)\nabla_{\mathbb{B}}^{2}u_{l}\right)+d(n-p)|\nabla_{\mathbb{B}}u_{l}|^{p-2}\frac{t\partial u_{l}}{\partial t}$$ (3.3)

$$=\frac{\left(d^{p}f^{+}(t,x)t^{p}\chi(A)\right)\circ T}{L^{p-1}}.$$

We set

$$a=\ln s,\ \ \bar{u}_{l}(s,y)=u_{l}(s,y),$$

$$\left(\overline{\left(d^{p}f^{+}(t,x)t^{p}\chi(A)\right)\circ T}\right)(a,y)=\left({\left(d^{p}f^{+}(t,x)t^{p}\chi(A)\right)\circ T}\right)(s,y).$$

then

$$\nabla_{\mathbb{B}}^{2}u_{l}=\nabla^{2}\bar{u}_{l}\ \ \text{and}\ \ \nabla_{\mathbb{B}}u_{l}=\nabla\bar{u}_{l}.$$

We obtain $\bar{u}_{l}(a,x)$ is the supersolution of the following function,

$$\mathcal{M}^{-}(\nabla^{2}\bar{u}_{l}(a,y))+d(n-p)(\partial_{a}\bar{u}_{l}(a,y))=\frac{\overline{\left(d^{p}f^{+}(t,x)t^{p}\chi(A)\right)\circ T}}{L^{p-1}|\nabla\bar{u}_{l}(a,y)|^{p-2}}.$$ (3.4)

If we choose

$$L=\mathop{\inf u_{m}}\limits_{\Omega_{d}}+\delta+d^{\frac{p}{p-1}}{||t^{p}f^{+}||^{\frac{1}{p-1}}_{L^{\infty}({\Omega_{2d}})}},$$

$$|\nabla\bar{u}_{l}(a,y)|\geq 1,$$

we obtain that $\bar{u}_{l}$ satifies

$$\inf_{B_{1}}\bar{u}_{l}\leq 1,$$

$$||\frac{\overline{\left(d^{p}f^{+}(t,x)t^{p}\chi(A)\right)\circ T}}{L^{p-1}|\nabla\bar{u}_{l}(a,y)|^{p-2}}||_{L^{\infty}(B_{2})}\leq 1.$$

Since $d\leq K_{0}d_{0}+1,$ then

$$\mathcal{P}^{-}_{1}\left(D^{2}\bar{u}_{l},\nabla\bar{u}_{l}\right)\leq 1\ \ \ \text{ in }B_{2}$$

with $\gamma=1$. By Corollary 3.2, we have

$$\left|\{\bar{u}_{l}>\tau\}\cap B_{1}\right|\leq C\tau^{-\epsilon}\quad\text{ for all }\tau>0\text{,}$$

that is

$$\left|\{{u}_{l}>\tau\}\cap\Omega_{1}\right|\leq C\tau^{-\epsilon}\quad\text{ for all }\tau>0\text{.}$$

Then

$$\int\limits_{\Omega_{1}}u_{l}^{p_{0}}\frac{dt}{t}dx=p_{0}\int\limits_{0}^{+\infty}\tau^{p_{0}-1}|\left\{u_{l}\geq\tau\right\}\cap\Omega_{1}|d\tau,$$

we choose $p_{0}=\epsilon/2$ in order to get

$$\frac{1}{p_{0}}\int\limits_{\Omega_{1}}u_{l}^{p_{0}}\frac{dt}{t}dx\leq\int\limits_{0}^{1}\tau^{\epsilon/2-1}|\Omega_{1}|d\tau+C\int\limits_{1}^{+\infty}\tau^{\epsilon/2-1}s^{-\epsilon}d\tau=:C,$$

Finally, we get

$$\left(\frac{1}{|\Omega_{d}|}\int_{\Omega_{d}}u_{m}^{p_{0}}\frac{dt}{t}dx\right)^{\frac{1}{p_{0}}}\leq C\left(\mathop{\inf}\limits_{\Omega_{d}}u_{m}+d^{\frac{p}{p-1}}{||t^{p}f^{+}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2d}\cap A)}}\right),$$

where $p_{0}$ and $C$ depend on $n,\ p,\ K_{0}d_{0}.$ ∎

Lemma 3.4.

If $v\in C(\overline{\Omega}_{d})$ is a nonnegative viscosity solution of (2.10) in $\Omega_{d}$ with $\Omega_{d}\subset\subset\mathbb{B}$ and $d\leq K_{0}d_{0}+1,$ then

$$\sup_{\Omega_{d}}v\leq C(\inf_{\Omega_{d/2}}v+d^{\frac{p}{p-1}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{d})}}).$$

with $C$ depending on $n,\ p,\ K_{0}d_{0}.$

Proof.

Now, we set $a=lnt,\ \bar{v}(a,x)=v(t,x),\ \bar{f}(a,x)=f(t,x)$, we can get $\bar{v}$ is the viscosity solution of (3.5)

$$|\nabla u|^{p-2}tr(Q\nabla^{2}u)+(n-p)|\nabla u|^{p-2}(\partial_{a}u)=\bar{f}(a,x)e^{ap}$$ (3.5)

with $Q=I+(p-2)\frac{\nabla u^{T}}{|\nabla u|}\frac{\nabla u}{|\nabla u|}$.

We set

$$\omega=\frac{\bar{v}(T(b,y))}{L},\quad(a,x)=T(b,y)=d(b,y),$$

$$L^{p-1}=\frac{||\bar{f}e^{ap}||_{L^{\infty}(B_{d})}d^{p}}{{(1+\mathop{\inf}\limits_{B_{1/2}}\omega)}^{p-2}},$$

then $\omega$ is the viscosity solution of (3.6)

$$\operatorname{tr}\left(Q\nabla^{2}\omega\right)+d(n-p)\partial_{a}\omega=\frac{\left(\bar{f}e^{ap}\right)\circ(T(b,y))d^{p}}{|\nabla\omega|^{p-2}L^{p-1}}.$$ (3.6)

If $|\nabla\omega|\geqslant\gamma$, then $\omega$ satisfies

$$\mathcal{M}^{-}\left(\nabla^{2}\omega\right)+d(n-p)\partial_{a}\omega\leq\frac{\left(\bar{f}e^{ap}\right)\circ(T(b,y))d^{p}}{L^{p-1}{|\nabla\omega|}^{p-2}},$$

and

$$\mathcal{M}^{+}\left(Q\nabla^{2}\omega\right)+d(n-p)\partial_{a}\omega\geq\frac{\left(\bar{f}e^{ap}\right)\circ(T(b,y))d^{p}}{L^{p-1}{|\nabla\omega|}^{p-2}}.$$

Then $\omega$ satisfies the assumptions of Corollary 3.1 with $C_{0}=1$ and $\gamma=1+\mathop{\inf}\limits_{B_{1/2}}\omega$, so

$$\sup_{B_{1/2}}\omega\leq C\left(\inf_{B_{1/2}}\omega+1\right),$$

$$\sup_{\Omega_{d/2}}v\leq C(\inf_{\Omega_{d/2}}v+d^{\frac{p}{p-1}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{d})}}).$$

∎

Proof of Theorem 1.1.

Let $M=\mathop{\sup\limits_{\mathbb{B}}v^{+}}$, $u=M-v^{+}\geq 0$, since $v$ is a subsolution viscosity of (1.1), then $u$ is the supersolution of

$$t^{-p}|\nabla_{\mathbb{B}}u|^{p-2}\mathcal{M}^{-}(\nabla_{\mathbb{B}}^{2}u)+t^{-p}(n-p)|\nabla_{\mathbb{B}}u|^{p-2}(t\partial_{t}u)=f^{-}(t,x),\ \ (t,x)\in\mathbb{B}.$$

For all fix $(t,x)\in\mathbb{B}$, let $A=\mathbb{B}\cap\Omega_{2\tilde{R}_{(t,x)}}$, therefore, $u_{m}$ is the supersolution of

$$t^{-p}|\nabla_{\mathbb{B}}u_{m}|^{p-2}\mathcal{M}^{-}(\nabla_{\mathbb{B}}^{2}u_{m})+t^{-p}(n-p)|\nabla_{\mathbb{B}}u_{m}|^{p-2}(t\partial_{t}u_{m})=\chi(A)f^{-}(t,x)$$

in $\Omega_{2\tilde{R}_{(t,x)}}$. By Lemma 3.3, we can get that $u_{m}$ satisfies

$$(\frac{1}{|\Omega_{\tilde{R}_{(t,x)}}|}\int_{\Omega_{\tilde{R}_{(t,x)}}}u_{m}^{p_{0}}\frac{dt}{t}dx)^{\frac{1}{p_{0}}}\leq C(\mathop{\inf u_{m}}\limits_{\Omega_{\tilde{R}_{(t,x)}}}+\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap A)}}),$$

with $C$ depends on $n,\ p,\ K_{0}d_{0}$.

Since $\mathop{\inf}\limits_{\Omega_{\tilde{R}_{(t,x)}}}u_{m}\leq\mathop{\inf}\limits_{A\cap\Omega_{\tilde{R}_{(t,x)}}}u$, then

$$(\frac{1}{|\Omega_{\tilde{R}_{(t,x)}}|}\int_{\Omega_{\tilde{R}_{(t,x)}}}u_{m}^{p_{0}}\frac{dt}{t}dx)^{\frac{1}{p_{0}}}\leq C(\mathop{\inf u}\limits_{A\cap\Omega_{\tilde{R}_{(t,x)}}}+\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}),$$

$$(\frac{1}{|\Omega_{\tilde{R}_{(t,x)}}|}\int_{\Omega_{\tilde{R}_{(t,x)}}}u_{m}^{p_{0}}\frac{dt}{t}dx)^{\frac{1}{p_{0}}} \geq(\frac{1}{\Omega_{\tilde{R}_{(t,x)}}}\int_{\Omega_{\tilde{R}_{(t,x)}}\backslash\mathbb{B}}u_{m}^{p_{0}}\frac{dt}{t}dx)^{\frac{1}{p_{0}}}$$

$$=m(\frac{|\Omega_{\tilde{R}_{(t,x)}}\backslash\mathbb{B}|}{|\Omega_{\tilde{R}_{(t,x)}}|})^{\frac{1}{p_{0}}}\geq m\sigma^{\frac{1}{p_{0}}}.$$

Since

$$\mathop{\inf u}\limits_{A\cap\Omega_{\tilde{R}_{(t,x)}}}\leq u(t,x)=M-v^{+}(t,x),$$

then

$$m\sigma^{\frac{1}{p_{0}}}\leq C(M-v^{+}(t,x)+\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}).$$

And $m=M-\mathop{\sup v^{+}}\limits_{\partial{\mathbb{B}_{2\tilde{R}_{(t,x)}}}\cap\Omega_{2\tilde{R}_{(t,x)}}}\geq M-\mathop{\sup}\limits_{\partial\mathbb{B}}v^{+}$, so

$$v^{+}(t,x)\leq(1-\frac{\sigma^{\frac{1}{p_{0}}}}{C})M+\frac{\sigma^{\frac{1}{p_{0}}}}{C}\mathop{\sup}\limits_{\partial\mathbb{B}}v^{+}+\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$ (3.7)

$$\mathop{\sup}\limits_{\mathbb{B}}v^{+}\leq\mathop{\sup}\limits_{\partial\mathbb{B}}v^{+}+C\mathop{\sup}\limits_{\mathbb{B}}\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$

$$\mathop{\sup}\limits_{\mathbb{B}}v^{+}\leq\mathop{\sup}\limits_{\partial\mathbb{B}}v^{+}+C(K_{0}d_{0})^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$

where $C$ depends on $n,\ p,\ \sigma,\ K_{0}d_{0}$. ∎

Proof of Corollary 1.1.

If $v$ is the supersolution viscosity of (1.1), then $-v$ is the subsolution of (1.1) with $-f$ instead of $f$. By Theorem 1.1 , we can conclude that

$$\mathop{\sup}\limits_{\mathbb{B}}(-v)^{+}\leq\mathop{\sup}\limits_{\partial\mathbb{B}}(-v)^{+}+C(K_{0}d_{0})^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f^{+}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$

$$\mathop{\sup}\limits_{\mathbb{B}}v^{-}\leq\mathop{\sup}\limits_{\partial\mathbb{B}}v^{-}+C(K_{0}d_{0})^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f^{+}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$

$$\mathop{\sup}\limits_{\mathbb{B}}|v|\leq\mathop{\sup}\limits_{\partial\mathbb{B}}|v|+C(K_{0}d_{0})^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

∎

Proof of Theorem 1.2.

Let $\Omega_{\tilde{r}}$ be a ball of radius $\tilde{r}$ centered at $(t,x)$. We set

$$M_{\tilde{r}}=\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}v,\ m_{\tilde{r}}=\mathop{\inf}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}v,\ \omega_{\tilde{r}}=M_{\tilde{r}}-m_{\tilde{r}}.$$ (3.8)

Firstly, for fixed $(t,x)$, we can change the $M$ in the Theorem 1.1 to be $\mathop{\sup}\limits_{\mathbb{B}_{2\tilde{R}_{(t,x)}}}v^{+}$, similar to (3.7), we find that

$$\frac{v^{+}(t,x)}{d_{(t,x)}^{\alpha}}\leq(1-\frac{1}{C}\sigma^{\frac{1}{p_{0}}})\frac{\mathop{\sup}\limits_{\mathbb{B}_{2\tilde{R}_{(t,x)}}}v^{+}}{d_{(t,x)}^{\alpha}}+\frac{\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}}{d_{(t,x)}^{\alpha}}.$$

Since $v=0\ \text{on}\ \partial{\mathbb{B}}$, so we can find a $(t^{*},x^{*})$ such that

$$\frac{v^{+}(t,x)}{d_{(t,x)}^{\alpha}}\leq(1-\frac{1}{C}\sigma^{\frac{1}{p_{0}}})\frac{v^{+}(t^{*},x^{*})}{d_{(t,x)}^{\alpha}}+\frac{\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}}{d_{(t,x)}^{\alpha}}.$$

Since $d_{(t^{*},x^{*})}\leq 3\tilde{R}_{(t,x)}$, and $\tilde{R}_{(t,x)}\leq K_{0}d_{(t,x)}$, so

$$\frac{v^{+}(t,x)}{d_{(t,x)}^{\alpha}}\leq(1-\frac{1}{C}\sigma^{\frac{1}{p_{0}}})(3{K_{0}})^{\alpha}\frac{v^{+}(t^{*},y^{*})}{d_{(t^{*},x^{*})}^{\alpha}}+\frac{\tilde{R}^{\frac{p}{p-1}}_{(t,x)}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}}{d_{(t,x)}^{\alpha}}.$$

Then for all $\alpha$ such that $(1-\frac{1}{C}\sigma^{\frac{1}{p_{0}}})(3{K_{0}})^{\alpha}<1$, we have

$$\mathop{\sup}\limits_{\mathbb{B}}\frac{v^{+}(t,x)}{d_{(t,x)}^{\alpha}}\leq C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}-\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f^{-}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$

where $C^{\prime}$ depends on $n,\ p,\ \sigma,\ K_{0}d_{0},\ \alpha$. Similarly, like Corollary 1.1, we perform a similar operation on $-v$ and obtain

$$\mathop{\sup}\limits_{\mathbb{B}}\frac{v^{-}(t,x)}{d_{(t,x)}^{\alpha}}\leq C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}-\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f^{+}||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$

that is

$$\mathop{\sup}\limits_{\mathbb{B}}\frac{|v(t,x)|}{d_{(t,x)}^{\alpha}}\leq C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}-\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$ (3.9)

Next, we will discuss in three different situations.

$(1)$ If $\tilde{r}<1$, and $\tilde{r}>\frac{1}{2}d_{(t,x)}$, then for $(s,y)\in\Omega_{\tilde{r}}$, we have

$$d_{(s,y)}\leq d_{(t,x)}+d\left((t,x),(s,y)\right)\leq 3\tilde{r},$$

then

$$\omega(\tilde{r}) =\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}v-\mathop{\inf}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}v\leq 2\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}|v|\leq 2\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}\left(\frac{3\tilde{r}}{d_{(s,y)}}\right)^{\alpha}|v(s,y)|$$ (3.10)

$$\leq 2\cdot 3^{\alpha}\tilde{r}^{\alpha}\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}\frac{|v(s,y)|}{d_{(s,y)}^{\alpha}}$$

$$\leq 2\cdot 3^{\alpha}C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}-\alpha}\tilde{r}^{\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

$(2)$ If $\tilde{r}<1$, and $\tilde{r}\leq\frac{1}{2}d_{(t,x)}$, then $\Omega_{\tilde{r}/2}\subset\Omega_{\tilde{r}}\subset\subset\mathbb{B}$. Since $\Omega_{\tilde{r}}\subset\Omega_{2\tilde{R}_{(t,x)}}$, we apply $M_{\tilde{r}}-v$ and $v-m_{\tilde{r}}$ to the Lemma 3.4 and get

$$M_{\tilde{r}}-m_{{\tilde{r}}/2}\leq C\left(M_{\tilde{r}}-M_{{\tilde{r}}/2}+\tilde{r}^{\frac{p}{p-1}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}})}}\right),$$

$$M_{{\tilde{r}}/2}-m_{\tilde{r}}\leq C\left(m_{{\tilde{r}}/2}-m_{\tilde{r}}+\tilde{r}^{\frac{p}{p-1}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}})}}\right),$$

then we have

$$\omega({\tilde{r}}/2) \leq\frac{C-1}{C+1}\omega({\tilde{r}})+\frac{2C}{C+1}\tilde{r}^{\frac{p}{p-1}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}})}}$$ (3.11)

$$\leq\frac{C-1}{C+1}\omega({\tilde{r}})+\frac{2C}{C+1}{\tilde{r}}^{\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

From (3.10) and (3.11), we obtain

$$\omega({\tilde{r}}/2)\leq C_{1}\omega({\tilde{r}})+C_{2}{\tilde{r}}^{\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}},$$ (3.12)

with $C_{1}=\frac{C-1}{C+1}$ and $C_{2}=\frac{1}{C+1}\max\{{2C},4\cdot 3^{\alpha}C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}-\alpha}\}$.

By the Lemma 8.23 of [16], and (3.12) we get

$$\omega(\tilde{r}) \leq C_{3}\left(\omega(1)\tilde{r}^{\beta}+C_{2}{\tilde{r}^{\alpha\mu}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}\right)$$ (3.13)

$$\leq C_{3}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}\left(2C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}}\tilde{r}^{\beta}+C_{2}{\tilde{r}^{\alpha\mu}}\right)$$

$$\leq C_{4}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}\tilde{r}^{\rho}$$

for any $\mu\in(0,1)$, $\rho\leq\min\{\alpha\mu,\beta\}$, where $C_{3}=C_{3}(C_{1})$, $\beta=\beta(C_{1},\mu)$ and $C_{4}=C_{3}\cdot\max\{2C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}},C_{2}\}$.

$(3)$ If $\tilde{r}\geq 1$, then

$$\omega(\tilde{r}) =\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}v-\mathop{\inf}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}v\leq 2\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}|v|$$ (3.14)

$$\leq 2\cdot{d_{0}}^{\alpha}\tilde{r}^{\rho}\mathop{\sup}\limits_{\mathbb{B}\cap\Omega_{\tilde{r}}}\frac{|v(s,y)|}{d_{(s,y)}^{\alpha}}$$

$$\leq 2\cdot C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

In a word, we can get

$$||v(t,x)||_{\rho,\mathbb{B}}\leq C\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

Next, when $(t,x)\in\mathbb{B}$ and $(s,y)\in\partial\mathbb{B}$, we can choose $\left(s^{\prime},y^{\prime}\right)\in\mathbb{B}$ such that $d_{\left(s^{\prime},y^{\prime}\right)}\leq 1$ and $\left(s^{\prime},y^{\prime}\right)\in[(t,x),(s,y)]$, then

$$\frac{|v(t,x)-v(s,y)|}{|(t,x)-(s,y)|^{\rho}} \leqslant\frac{\mid v(t,x)-v\left(s^{\prime},y^{\prime}\mid\right.}{|(t,x)-(s,y)|^{\rho}}+\frac{\left|v\left(s^{\prime},y^{\prime}\right)-0\right|}{|(t,x)-(s,y)|^{\rho}}$$

$$\leq C\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}+\left|\frac{v\left(s^{\prime},y^{\prime}\right)}{d^{\rho}\left(s^{\prime},y^{\prime}\right)}\right|.$$

Based on (3.9), $p\leq\alpha$ and $d\left(s^{\prime},y^{\prime}\right)\leq 1$, we deduce that

$$\left|\frac{v\left(s^{\prime},y^{\prime}\right)}{d^{\rho}\left(s^{\prime},y^{\prime}\right)}\right| \leq\left|\frac{v\left(s^{\prime},y^{\prime}\right)}{d^{\alpha}\left(s^{\prime},y^{\prime}\right)}\right|$$

$$\leq C^{\prime}K_{0}^{\frac{p}{p-1}}d_{0}^{\frac{p}{p-1}-\alpha}\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

Finally, we can get

$$||v(t,x)||_{\rho,\overline{\mathbb{B}}}\leq C\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

∎

Proof of Theorem 1.3.

Let $H_{j}$ be a sequence of smooth and bounded domains such that

$$H_{j}\subset\subset H_{j+1}\subset\subset\mathbb{B}\ \ \ \text{and }\ \ \ \cup_{j}H_{j}=\mathbb{B},$$

by [28] Proposition 1, we can find a solution $u_{j}\in C(\overline{H}_{j})$ for

$$\begin{cases}F((t,x),D_{\mathbb{B}}u,D_{\mathbb{B}}^{2}u)=0\ \ \ &(t,x)\in H_{j},\\ u=0\ &(t,x)\in\partial{H_{j}}.\end{cases}$$ (3.15)

Through Theorem 1.2, we can get

$$||u_{j}(t,x)||_{\rho,\overline{H}_{j}} \leq C\mathop{\sup}\limits_{H_{j}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap H_{j})}}$$

$$\leq C\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}.$$

Therefore we can find a subsequence of $\{u_{j_{k}}\}$ converges uniformly to $v_{\bar{O}}$ in $\bar{O}$, where $O\subset\mathbb{B}$ is a bounded open set. By [29] Proposition 4.1, $v_{\bar{O}}$ is the viscosity solution of (3.16) in $O$,

$$F((t,x),D_{\mathbb{B}}u,D_{\mathbb{B}}^{2}u)=0.$$ (3.16)

Let $\bar{O}_{i}$ be a sequence compact sets such that

$$O_{i}\subset\subset O_{i+1}\subset\subset\mathbb{B}\ \ \ \text{and }\ \ \ \cup_{i}O_{i}=\mathbb{B},$$

and we define

$$v=\lim\limits_{i\to\infty}v_{O_{i}}.$$

For all $(t_{0},x_{0})\in\mathbb{B}$, we can choose $i$ enough large such that $(t_{0},x_{0})\in O_{i}$. If $v-{\phi}$ attains a local minimum at $(t_{0},x_{0})\in\mathbb{B}$ for all ${\phi}\in C^{2}(\mathbb{B})$, then $v_{O_{i}}-{\phi}$ attains a local minimum at $(t_{0},x_{0})\in\mathbb{B}$. So the following inequality holds

$$F((t,x),D_{\mathbb{B}}{\phi},D_{\mathbb{B}}^{2}{\phi})\leq 0.$$

$v$ is the viscosity solution of (3.16) in $\mathbb{B}$.

For all $(t_{0},x_{0})\in\mathbb{B}$, there exists $O_{i}$ such that $(t_{0},x_{0})\in O_{i}$. Since $\{u_{j_{k}}\}$ converges uniformly to $v_{\bar{O}_{i}}$ in $\bar{O_{i}}$, we choose $j_{k}$ enough large such that $\bar{O}_{i}\in H_{j_{k}},$ and

$$|v(t_{0},x_{0})-u_{j_{k}}(t_{0},x_{0})|\leq\frac{\varepsilon}{3}.$$

For all $(s,y)\in\partial\mathbb{B}$, when

$$|(t_{0},x_{0}),(s,y)|\leq{\frac{\varepsilon}{3C}}^{\frac{1}{\rho}}{\mathop{\sup}\limits_{\mathbb{B}}{||t^{p}f||^{\frac{1}{p-1}}_{L^{\infty}(\Omega_{2\tilde{R}_{(t,x)}}\cap\mathbb{B})}}}^{\frac{-1}{\rho}},$$

we have

$$|v(t_{0},x_{0})-0| \leq|v(t_{0},x_{0})-u_{j_{k}}(t_{0},x_{0})|+|u_{j_{k}}(t_{0},x_{0})-0|$$

$$\leq\frac{\varepsilon}{3}+\frac{\varepsilon}{3}<\varepsilon,$$

that is

$$\lim\limits_{(t_{0},x_{0})\to\partial\mathbb{B}}v(t_{0},x_{0})=0.$$

We can define $v\big{|}_{\partial\mathbb{B}}=0$, then $v$ satisfies (1.2). And we obtain (1.6) by Theorem 1.2. ∎

4. Comparison principle of viscosity solution

In this section, we give the proof of Theorem 1.4, that is, the comparison principle of the viscosity solutions of the problem (1.2). Before showing the Theorem 1.4, let’s first give some lemmas and propositions.

Lemma 4.1.

Let $G$ be a real-valued continuous function on $\Gamma=\mathbb{B}\times R\times R^{n}\times S^{n}$. Let $u$ be an $u.s.c.$ viscosity subsolution of

$$G((t,x),u,\nabla_{\mathbb{B}}u,\nabla_{\mathbb{B}}^{2}u)=0\ \ \ \ \ \ \ \ (t,x)\in\mathbb{B}.$$

Let $\epsilon>0$, and define a continuous function $G^{\epsilon}$ on $\Gamma_{\epsilon}=\mathbb{B}_{\epsilon}\times R\times R^{n}\times S^{n}$ by

$$G^{\epsilon}((t,x),r,p,X)=\max\{G((s,y),\tau,p,X)\ \big{|}\ |(e^{s},y)-(e^{t},x)|^{2}+(\tau-r)^{2}\leq\epsilon^{2}\},$$

for $((t,x),r,p,X)\in\Gamma_{\epsilon}$. Then the upper $\epsilon$-envelope $u^{\epsilon}$ of $u$ is a viscosity subsolution of

$$G^{\epsilon}((t,x),u,\nabla_{\mathbb{B}}u,\nabla_{\mathbb{B}}^{2}u)=0\ \ \ \ \ \ \ \ (t,x)\in\mathbb{B}_{\epsilon}.$$

Proof.

Let $\phi\in C^{2}\left(\mathbb{B}_{\epsilon}\right)$ and $(t_{0},x_{0})\in\mathbb{B}_{\epsilon}$ satisfy

$$\left(u^{\epsilon}-\phi\right)\left(t_{0},x_{0}\right)=\text{local}\max\left(u^{\epsilon}-\phi\right).$$

By the definition of the upper $\epsilon$-envelope, we see that

$$u^{\epsilon}\left(t_{0},x_{0}\right)=u\left(s_{0},y_{0}\right)+\left(\epsilon^{2}-\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|^{2}\right)^{1/2},$$

for some $(s_{0},y_{0})$ satisfying $|(e^{s_{0}},y_{0})-(e^{t_{0}},x_{0})|\leq\epsilon$. And hence

$$u(s,y)+\left(\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}\right)^{1/2}-\phi(t,x)$$

$$\leq u\left(s_{0},y_{0}\right)+\left(\epsilon^{2}-\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|^{2}\right)^{1/2}-\phi\left(t_{0},x_{0}\right),$$

for all $(t,x)\in U,$ a neighborhood of $(t_{0},x_{0})$, and $(s,y)$ satisfying $|(e^{s},y)-(e^{t},x)|\leq\epsilon$. We choose $y=x-x_{0}+y_{0}$ and $s=t-t_{0}+s_{0}$ in this last inequality to find that the function

$$(s,y)\rightarrow u(s,y)-\phi\left(s-s_{0}+t_{0},y-y_{0}+x_{0}\right)$$

attains a local maximum at $(s_{0},y_{0})$. Therefore, by the definition of the viscosity subsolution, we have

$$G\left((s_{0},y_{0}),u\left(s_{0},y_{0}\right),\nabla_{\mathbb{B}}\phi\left(t_{0},x_{0}\right),\nabla_{\mathbb{B}}^{2}\phi\left(t_{0},x_{0}\right)\right)\geq 0.$$

Since

$$\left|(e^{s_{0}},y_{0})-(e^{t_{0}},x_{0})\right|^{2}+\left(u\left(s_{0},y_{0}\right)-u^{\epsilon}\left(t_{0},x_{0}\right)\right)^{2}=\epsilon^{2},$$

the proof is concluded. ∎

Proposition 4.1.

Given $\epsilon>0$ and $\phi\in C^{1}(\mathbb{B})$. Let $u\in USC(\mathbb{B})$ and $u^{\epsilon}$ is the upper $\epsilon$-envelope of $u$. Assume $u^{\epsilon}-\phi$ attains its maximum at $(t_{0},x_{0})\in\mathbb{B}_{\epsilon}$, then there exists a neighborhood $U$ of $(t_{0},x_{0})$ such that for any $(t,x)\in U$ the following facts hold,

$$\nabla_{\mathbb{B}}^{2}u^{\epsilon}(t,x)\geq-\epsilon^{2}\left(\epsilon^{2}-(\delta+2\gamma)^{2}\right)^{-3/2}I,$$

$$\nabla^{2}u^{\epsilon}(t,x)\geq-\epsilon^{2}\left(\epsilon^{2}-(\delta+2\gamma)^{2}\right)^{-3/2}I.$$

Proof.

We choose $(s_{0},y_{0})$ satisfying $|(e^{s_{0}},y_{0})-(e^{t_{0}},x_{0})|<\epsilon$ such that

$$u^{\epsilon}\left(t_{0},x_{0}\right)=u\left(s_{0},y_{0}\right)+\left(\epsilon^{2}-\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|^{2}\right)^{1/2},$$

and observe that $\left((t_{0},x_{0}),(s_{0},y_{0})\right)$ is a maximum point of the function

$$\left((t,x),(s,y)\right)\rightarrow u(s,y)+\left(\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}\right)^{1/2}-\phi(t,x).$$

First of all we show that

$$\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|<\epsilon.$$

We suppose $\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|=\epsilon,$ and get a contradiction. The function $\psi$ on $[0,1]$ defined by (4.1)

$$\psi(\tau) =u\left(s_{0},y_{0}\right)+\left(\epsilon^{2}-(1-\tau)^{2}\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|^{2}\right)^{1/2}$$ (4.1)

$$-\phi\left(t_{0}+\tau(s_{0}-t_{0}),x_{0}+\tau(y_{0}-x_{0})\right),$$

which has its maximum at $\tau=0$. Therefore,

$$\frac{\psi(\tau)-\psi(0)}{\tau}\leq 0\quad\quad\quad\text{ for }0<\tau\leq 1,$$

we send $\tau\downarrow 0$, then $\psi^{\prime}(\tau)\rightarrow\infty$ contradicts the fact.

The inequality

$$u^{\epsilon}(t,x)\geq u\left(s_{0},y_{0}\right)+\left(\epsilon^{2}-\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|^{2}\right)^{1/2},$$

for

$$|(e^{t},x)-(e^{t_{0}},x_{0})|<r,$$

where $r=\epsilon-\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|$, yields that

$$\liminf_{(t,x)\rightarrow(t_{0},x_{0})}u^{\epsilon}(t,x)\geq u^{\epsilon}\left(t_{0},x_{0}\right).$$

This together with the upper semicontinuity of $u^{\epsilon}$ proves that $u^{\epsilon}$ is continuous at $(t_{0},x_{0})$. Now the function $\psi$ can be defined near $\tau=0$ by (4.1) and attains a maximum at $\tau=0$. Hence $\psi^{\prime}(0)=0$ and so, by a simple computation, we see that

$$(s_{0},y_{0})=(t_{0},x_{0})-\epsilon\left(|\nabla\phi(t_{0},x_{0})|^{2}+1\right)^{-1/2}\nabla\phi\left(t_{0},x_{0}\right).$$ (4.2)

This formula uniquely determines the point $(s_{0},y_{0})$. In other words,

$$u(s,y)+\left(\epsilon^{2}-\left|(e^{t_{0}},x_{0})-(e^{s},y)\right|^{2}\right)^{1/2}<u^{\epsilon}\left(t_{0},x_{0}\right),$$ (4.3)

for

$$(s,y)\in\{(s,y)\big{|}\ |(e^{s},y)-(e^{t_{0}},x_{0})|<\epsilon\}\setminus{(s_{0},y_{0})}.$$

We fix any $\delta$ such that $\left|(e^{t_{0}},x_{0})-(e^{s_{0}},y_{0})\right|<\delta<\epsilon$, then the above inequality implies that there is a $\gamma>0$ such that

$$\max\left\{u(s,y)+\left(\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}\right)^{1/2}\big{|}\ \delta\leq|(e^{t},x)-(e^{s},y)|\leq\epsilon\right\}$$ (4.4)

$$< u^{\epsilon}(t,x),\ \quad\quad\quad\ \text{for}\ (t,x)\in\{(t,x)\big{|}\ |(e^{t},x)-(e^{t_{0}},x_{0})|<\gamma\}.$$

Indeed, if this were false, then there would be sequences $\left\{t_{k},x_{k}\right\}$ and $\left(s_{k},y_{k}\right\}$ of points of $\mathbb{R}^{n}_{+}$ such that

$$(t_{k},x_{k})\rightarrow(t_{0},x_{0})\quad\text{ as }k\rightarrow\infty\text{, }$$

and

$$u^{\epsilon}\left(t_{k},x_{k}\right)=u\left(s_{k},y_{k}\right)+\left(\epsilon^{2}-\left|(e^{t_{k}},x_{k})-(e^{s_{k}},y_{k})\right|^{2}\right)^{1/2},$$

where $\delta\leq\left|(e^{t_{k}},x_{k})-(e^{s_{k}},y_{k})\right|\leq\epsilon.$ Passing to the limit, we find that

$$u^{\epsilon}\left(t_{0},x_{0}\right)\leq u(\bar{s},\bar{y})+\left(\epsilon^{2}-\left|(e^{t_{0}},x_{0})-(e^{\bar{s}},\bar{y})\right|^{2}\right)^{1/2},$$

for some

$$({\bar{s}},\bar{y})\in\{(s,y)\ \big{|}\ \delta\leq|(e^{s},y)-(e^{t_{0}},x_{0})|\leq\epsilon\},$$

which contradicts (4.3) and hence proves (4.4) for some $\gamma>0$. Fix $0<\gamma<$ $\frac{1}{3}(\epsilon-\delta)$ so that (4.4) holds. Inequality (4.4) guarantees that, for

$$(t,x)\in\{(s,y)\ \big{|}\ |(e^{s},y)-(e^{t_{0}},x_{0})|<\gamma\},$$

$$u^{\epsilon}(t,x)=\max\bigg{\{} u(s,y)+\left(\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}\right)^{1/2}\ \big{|}$$

$$(s,y)\in\{(s,y)\ \big{|}\ |(e^{s},y)-(e^{t},x)|<\delta\}\bigg{\}}.$$

And hence

$$u^{\epsilon}(t,x)=\max\bigg{\{} u(s,y)+\left(\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}\right)^{1/2}\ \big{|}\$$

$$(s,y)\in\{(s,y)\ \big{|}\ |(e^{s},y)-(e^{t_{0}},x_{0})|<\delta+\gamma\}\bigg{\}}.$$

Observe that we define a function

$$f_{(s,y)}(t,x)=u(s,y)+\left(\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2}\right)^{1/2},$$

on $\{(t,x)\ \big{|}\ |(e^{t},x)-(e^{t_{0}},x_{0})|<\gamma\}$, for

$$(s,y)\in\{(s,y)\ \big{|}\ |(e^{s},y)-(e^{t_{0}},x_{0})|<\delta+\gamma\}.$$

Then by calculation, we have

$$\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x)$$

$$= \begin{pmatrix}-t^{2}k_{1}^{2}M^{\frac{-3}{2}}-(t^{2}+tk_{1})M^{\frac{-1}{2}}&-tk_{1}k_{2}M^{\frac{-3}{2}}&\cdots&-tk_{1}k_{n}M^{\frac{-3}{2}}\\ -tk_{1}k_{2}M^{\frac{-3}{2}}&-k_{2}^{2}M^{\frac{-3}{2}}-M^{\frac{-1}{2}}&\cdots&-k_{2}k_{n}M^{\frac{-3}{2}}\\ \vdots&\vdots&\ddots&\vdots\\ -tk_{1}k_{n}M^{\frac{-3}{2}}&-k_{2}k_{n}M^{\frac{-3}{2}}&\cdots&-k_{n}^{2}M^{\frac{-3}{2}}-M^{\frac{-1}{2}}\end{pmatrix}$$

$$= \begin{pmatrix}-t^{2}k_{1}^{2}M^{\frac{-3}{2}}&-tk_{1}k_{2}M^{\frac{-3}{2}}&\cdots&-tk_{1}k_{n}M^{\frac{-3}{2}}\\ -tk_{1}k_{2}M^{\frac{-3}{2}}&-k_{2}^{2}M^{\frac{-3}{2}}&\cdots&-k_{2}k_{n}M^{\frac{-3}{2}}\\ \vdots&\vdots&\ddots&\vdots\\ -tk_{1}k_{n}M^{\frac{-3}{2}}&-k_{2}k_{n}M^{\frac{-3}{2}}&\cdots&-k_{n}^{2}M^{\frac{-3}{2}}\end{pmatrix}$$

$$+ \begin{pmatrix}-(t^{2}+tk_{1})M^{\frac{-1}{2}}&0&\cdots&0\\ 0&-M^{\frac{-1}{2}}&\cdots&0\\ \vdots&\vdots&\ddots&\vdots\\ 0&0&\cdots&-M^{\frac{-1}{2}}\end{pmatrix}$$

$$= A+B,$$

with $M=\epsilon^{2}-|(e^{t},x)-(e^{s},y)|^{2},\ k_{1}=t-s,\ k_{i+1}=x_{i}-y_{i},\ (i=1,\cdots,n-1).$

We will simplify the matrix $\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x)$ based on different situations.
$(1)$ $k_{i}=0$, $(i=1,\cdots,n)$.

We simplify that

$$\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x)=\begin{pmatrix}-t^{2}M^{\frac{-1}{2}}&0&\cdots&0\\ 0&-M^{\frac{-1}{2}}&\cdots&0\\ \vdots&\vdots&\ddots&\vdots\\ 0&0&\cdots&-M^{\frac{-1}{2}}\end{pmatrix}.$$

Since $t\in(\epsilon-\gamma,1-\epsilon+\gamma)$ and $M\in(\epsilon^{2}-(\delta+2\gamma)^{2},\epsilon^{2}]$, we have

$$\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x)\geq-\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{-\frac{1}{2}}I.$$

$(2)$ $k_{i}\ (i=1,\cdots,n)$ are not all zero, we will discuss in two different situations.

If $k_{1}\neq 0$, through the elementary row transformations, A can be simplified to

$$\begin{pmatrix}-t^{2}k_{1}^{2}M^{\frac{-3}{2}}&-tk_{1}k_{2}M^{\frac{-3}{2}}&\cdots&-tk_{1}k_{n}M^{\frac{-3}{2}}\\ \\ 0&0&\cdots&0\\ \vdots&\vdots&\ddots&\vdots\\ 0&0&\cdots&0\end{pmatrix}.$$

Because the rank of matrix A is 1, there is only one non-zero eigenvalue of A,

$$\lambda_{A}=tr(A)=-(t^{2}k_{1}^{2}+k_{2}^{2}+\cdots+k_{n}^{2})M^{\frac{-3}{2}}.$$

Since $t\in(\epsilon-\gamma,1-\epsilon+\gamma)$, we have

$$\lambda_{A}\geq-M^{\frac{-3}{2}}(k_{1}^{2}+k_{2}^{2}+\cdots+k_{n}^{2})\geq-\frac{(\delta+2\gamma)^{2}}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{3}{2}}},$$

so

$$A+\frac{(\delta+2\gamma)^{2}}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{3}{2}}}I\geq 0.$$

Because

$$-(t^{2}+tk_{1}) \geq-(1-\epsilon+\gamma)(1-\epsilon+\gamma+\delta+2\gamma)$$

$$\geq-(1-\epsilon+\gamma)(1-\epsilon+3\gamma+\delta)$$

$$\geq-(1-\epsilon+\gamma)(1-\epsilon+\epsilon-\delta+\delta)$$

$$=-(1-\epsilon+\gamma)$$

$$\geq-1,$$

then

$$B+\frac{1}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{1}{2}}}I\geq 0,$$

so

$$\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x) \geq-\frac{\epsilon^{2}}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{3}{2}}}I.$$

If $k_{1}=0$, then there exists $i\neq 1$ such that $k_{i}\neq 0$. Because the status of $x_{i}\ (i=1,\cdots,n-1)$ are equivalent, let’s assume that $k_{2}\neq 0$. Similarly, A can be simplified into the following form

$$\begin{pmatrix}0&0&\cdots&0&0\\ 0&-k_{2}^{2}M^{\frac{-3}{2}}&\cdots&-k_{2}k_{n-1}M^{\frac{-3}{2}}&-k_{2}k_{n}M^{\frac{-3}{2}}\\ \vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&\cdots&0&0\\ 0&0&\cdots&0&0\end{pmatrix}.$$

The rank of matrix A is $1$, there is only one non-zero eigenvalue of A,

$$\lambda_{A}=tr(A)=-(k_{2}^{2}+\cdots+k_{n}^{2})M^{\frac{-3}{2}}.$$

Since $t\in(\epsilon-\gamma,1-\epsilon+\gamma)$, we have

$$A+\frac{(\delta+2\gamma)^{2}}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{3}{2}}}I\geq 0,$$

$$B+\frac{1}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{1}{2}}}I\geq 0,$$

then

$$\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x)\geq-\frac{\epsilon^{2}}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{3}{2}}}I.$$

Overall,

$$\nabla_{\mathbb{B}}^{2}f_{(s,y)}(t,x)\geq-\epsilon^{2}\left(\epsilon^{2}-(\delta+2\gamma)^{2}\right)^{-3/2}I.$$

Similarly,

$$\nabla^{2}f_{(s,y)}(t,x)\geq-\epsilon^{2}\left(\epsilon^{2}-(\delta+2\gamma)^{2}\right)^{-3/2}I.$$

Finally we remark that the choice of $\delta$ depends only on $\epsilon$ and $\left|\nabla\phi\left(t_{0},x_{0}\right)\right|$ while the positive number $\gamma$ can be chosen as small as desired. ∎

Lemma 4.2 ([21]).

Let $U$ be a bounded open subset of $\mathbb{R}^{m}$ and $w$ a Lipschitz continuous function on $\overline{U}$. Assume $w(y)=\mathop{\max}\limits_{U}w>\mathop{\max}\limits_{\partial U}w$ for some $y\in U$ and that $w$ is semi-convex on $U$. Then for any $\varepsilon>0$ there are points $p\in\mathbb{R}^{m}$ and $z\in U$ satisfying $|p|\leq\varepsilon$ such that the function $x\rightarrow w(x)+\langle p,x\rangle$ on $U$ attains a maximum at $z$ and has the second differential at $z$.

Lemma 4.3 ([21]).

For any $C>0$ the subset $K=\left\{X\in S^{n}\ |\ -CI\leq X\leq CI\right\}$ of $S^{n}$ is compact.

Proposition 4.2.

Let $u$ be an $u.s.c.$ viscosity subsolution of

$$G((t,x),u,\nabla_{\mathbb{B}}u,\nabla_{\mathbb{B}}^{2}u)=0\ \ \ \ \ \ \ \ in\ \mathbb{B},$$

and $v$ be a $l.s.c.$ viscosity supersolution of

$$G((t,x),v,\nabla_{\mathbb{B}}v,\nabla_{\mathbb{B}}^{2}v)=0\ \ \ \ \ \ \ \ in\ \mathbb{B}.$$

Let $\epsilon>0$ and $\phi\in C^{2}(\mathbb{B})$. Set

$$w((t,x),(s,y))=u^{\epsilon}(t,x)-v_{\epsilon}(s,y)$$

for $((t,x),(s,y))\in\mathbb{B}_{\epsilon}\times\mathbb{B}_{\epsilon}$. Suppose $w-\phi$ attains a maximum at some $((\overline{t},\overline{x}),(\overline{s},\overline{y})\in\mathbb{B}_{\epsilon}\times\mathbb{B}_{\epsilon}$, then there exist matrices $X,Y\in S^{n}$ and a constant $C>0$, depending only on $\epsilon$ and $|\nabla\phi((\overline{t},\overline{x}),(\overline{s},\overline{y}))|$ such that

$$-CI\leq\begin{pmatrix}X&O\\ O&Y\end{pmatrix}\leq\nabla_{\mathbb{B}}^{2}\phi((\overline{t},\overline{x}),(\overline{s},\overline{y})),$$

$$G^{\epsilon}((\overline{t},\overline{x}),u^{\epsilon}(\overline{t},\overline{x}),\nabla_{\mathbb{B}_{(t,x)}}\phi((\overline{t},\overline{x}),(\overline{s},\overline{y})),X)\geq 0,$$

and

$$G_{\epsilon}((\overline{s},\overline{y}),v_{\epsilon}(\overline{s},\overline{y}),-\nabla_{\mathbb{B}_{(s,y)}}\phi((\overline{t},\overline{x}),(\overline{s},\overline{y})),-Y)\leq 0.$$

Proof.

We may assume that $w-\phi$ attains a strict maximum over $\mathbb{B}_{\epsilon}\times\mathbb{B}_{\epsilon}$ at $\left((\bar{t},\bar{x}),(\bar{s},\bar{y})\right)$. It’s indeed, we can replace $\phi$ by

$$\phi((t,x),(s,y))+|(e^{t},x)-(e^{\bar{t}},\bar{x})|^{4}+|(e^{s},y)-(e^{\bar{s}},\bar{y})|^{4}.$$

By Proposition 4.1 we see that there is an open neighborhood $U$ of $\left((\bar{t},\bar{x}),(\bar{s},\bar{y})\right)$ and a constant

$$C_{0}=\epsilon^{2}\left\{\epsilon^{2}-(\delta+2\gamma)^{2}\right\}^{-3/2}$$

for which the function

$$((t,x),(s,y))\rightarrow w((t,x),(s,y))+\frac{1}{2}C_{0}\left(|(e^{t},x)|^{2}+|(e^{s},y)|^{2}\right)$$

satisfying $\nabla^{2}w\geq-C_{0}I$ on $U$.

Lemma 4.2 guarantees the existence of sequences

$$\left\{\left((t_{k},x_{k}),(s_{k},y_{k})\right)\right\}\subset U$$

and

$$\left\{(p^{\prime}_{k},p_{k})\right\},\left\{(q^{\prime}_{k},q_{k})\right\}\subset\mathbb{R}^{n}$$

that satisfy the following properties (i)-(iii).
(i) as $k\rightarrow\infty$,

$$\left((t_{k},x_{k}),(s_{k},y_{k})\right)\rightarrow\left((\bar{t},\bar{x}),(\bar{s},\bar{y})\right),$$

$$(p^{\prime}_{k},p_{k}),(q^{\prime}_{k},q_{k})\rightarrow 0.$$

(ii) $w$ has the second differential at $\left((t_{k},x_{k}),(s_{k},y_{k})\right)$ for $k\in\mathbf{N}$.
(iii) The function

$$w\left((t,x),(s,y)\right)-\phi\left((t,x),(s,y)\right)-\left\langle(p^{\prime}_{k},p_{k}),(t,x)\right\rangle+\left\langle(q^{\prime}_{k},q_{k}),(s,y)\right\rangle$$

attains its maximum over $U$ at $\left((t_{k},x_{k}),(s_{k},y_{k})\right)$ for $k\in\mathbf{N}$.

Then we get

$$\nabla_{\mathbb{B}}(w-\phi)\left((t_{k},x_{k}),(s_{k},y_{k})\right)=\left(p^{\prime}_{k}t_{k},p_{k},-q^{\prime}_{k}s_{k},-q_{k}\right),$$

$$\nabla_{\mathbb{B}}^{2}(w-\phi)\left((t_{k},x_{k}),(s_{k},y_{k})\right)+\begin{pmatrix}-p^{\prime}_{k}t_{k}&\cdots&0&\cdots&0\\ \vdots&\ddots&\vdots&\ddots\\ 0&\cdots&q^{\prime}_{k}s_{k}&\cdots&0\\ \vdots&\ddots&\vdots&\ddots\\ 0&\cdots&0&\cdots&0\end{pmatrix}\leq O.$$

By Lemma 4.1, we can get

$$G^{\epsilon}\left((t_{k},x_{k}),u^{\epsilon},\nabla_{\mathbb{B}}u^{\epsilon},\nabla_{\mathbb{B}}^{2}u^{\epsilon}\right)\geq 0,$$

and

$$G_{\epsilon}\left((s_{k},y_{k}),v_{\epsilon},\nabla_{\mathbb{B}}v_{\epsilon},\nabla_{\mathbb{B}}^{2}v_{\epsilon}\right)\leq 0,$$

for $k\in\mathbf{N}$. We set

$$X_{k}=\nabla_{\mathbb{B}}^{2}u^{\epsilon}\left(t_{k},x_{k}\right)\text{ and }Y_{k}=-\nabla_{\mathbb{B}}^{2}v_{\epsilon}\left(s_{k},y_{k}\right)\text{ for }k\in\mathbf{N},$$

by Proposition 4.1, we know there exists the constant $C_{1}$ such that

$$\begin{gathered}-C_{1}I\leq\left(\begin{array}[]{cc}X_{k}&O\\ O&Y_{k}\end{array}\right)\leq\nabla_{\mathbb{B}}^{2}\phi\left((t_{k},x_{k}),(s_{k},y_{k})\right)-\begin{pmatrix}-p^{\prime}_{k}t_{k}&\cdots&0&\cdots&0\\ \vdots&\ddots&\vdots&\ddots\\ 0&\cdots&q^{\prime}_{k}s_{k}&\cdots&0\\ \vdots&\ddots&\vdots&\ddots\\ 0&\cdots&0&\cdots&0\end{pmatrix},\end{gathered}$$

$$G^{\epsilon}\left((t_{k},x_{k}),u^{\epsilon},\nabla_{\mathbb{B}_{(t,x)}}\phi\left((t_{k},x_{k}),(s_{k},y_{k})\right)+(p^{\prime}_{k}t_{k},p_{k}),X_{k}\right)\geq 0,$$

and

$$G_{\epsilon}\left((s_{k},y_{k}),v_{\epsilon},-\nabla_{\mathbb{B}_{(s,y)}}\phi\left((t_{k},x_{k}),(s_{k},y_{k})\right)+(q^{\prime}_{k}s_{k},q_{k}),-Y_{k}\right)\leq 0,$$

for $k\in\mathbf{N}$. Since $-CI\leq X_{k},Y_{k}\leq CI$ for some $C>0$ and all $k\in\mathbf{N}$, we see from Lemma 4.3 that there is an increasing sequence $\left\{k_{j}\right\}\subset\mathbf{N}$ and matrices $X$, $Y\in S^{n}$ such that $X_{k_{j}}\rightarrow X,Y_{k_{j}}\rightarrow Y$ in $S^{n}$ as $j\rightarrow\infty$. Moreover, the $w$ is continue on $U$. Thus, we send $k=k_{j}\rightarrow\infty$ to obtain that

$$\begin{gathered}-CI\leq\left(\begin{array}[]{ll}X&O\\ O&Y\end{array}\right)\leq\nabla_{\mathbb{B}}^{2}\phi((\bar{t},\bar{x}),(\bar{s},\bar{y})),\end{gathered}$$

$$G^{\epsilon}\left((\bar{t},\bar{x}),u^{\epsilon},\nabla_{\mathbb{B}_{(t,x)}}\phi\left((\bar{t},\bar{x}),(\bar{s},\bar{y})\right),X\right)\geq 0,$$

and

$$G_{\epsilon}\left((\bar{s},\bar{y}),v_{\epsilon},-\nabla_{\mathbb{B}_{(s,y)}}\phi\left((\bar{t},\bar{x}),(\bar{s},\bar{y})\right),-Y\right)\leq 0.$$

Finally, we remark that

$$C_{1}=\frac{\epsilon^{2}}{\left(\epsilon^{2}-(\delta+2\gamma\right)^{2})^{\frac{3}{2}}},$$

and $C_{1}$ has the desired dependence on $\epsilon$ and $|\nabla\phi\left((\bar{t},\bar{x}),(\bar{s},\bar{y})\right)|$. ∎

Proof of Theorem 1.4.

Since $u\in USC(\overline{\mathbb{B}})$, and $\mathop{\lim}\limits_{t\to 0}\sup u$ exists, so we set $u\leq M_{u}$. Since $v\in LSC(\overline{\mathbb{B}})$, $\mathop{\lim}\limits_{t\to 0}\inf v$ exists, and $v$ is bounded from above, so we assume $m_{v}\leq v\leq M_{v}$.

Next we will proceed with this proof in two steps.
Step 1.

We claim that if $v$ is a viscosity supersolution (resp. subsolution) of equation (2.10), the fact that $z$ is the viscosity supersolution (resp. subsolution) of equation (4.5)

$$|\nabla_{\mathbb{B}}z|^{p-2}tr\big{[}\big{(}I+(p-2)\frac{\nabla_{\mathbb{B}}z(\nabla_{\mathbb{B}}z)^{T}}{|\nabla_{\mathbb{B}}z|^{2}}\big{)}\nabla_{\mathbb{B}}^{2}z\big{]}+\frac{\psi^{\prime\prime}(z)}{\psi^{\prime}(z)}(p-1)|\nabla_{\mathbb{B}}z|^{p}$$ (4.5)

$$+(n-p)|\nabla_{\mathbb{B}}z|^{p-2}(t\partial_{t}z)=\frac{f(t,x)t^{p}}{\psi^{\prime}(z)^{p-1}},\ \ \ \ \ \ \ \ \ \ (t,x)\in\mathbb{B},$$

where $u(t,x)=\psi(z(t,x))$, $\psi\in C^{2}(\mathbb{R})$ is monotonically increasing and $\psi^{\prime}\not=0$. We take the viscosity supersolution as an example for the proof.

For all $\xi\in C^{2}(\mathbb{B})$, $z-\xi$ reaches a local minimum value at $(t_{0},x_{0})$. Let $c_{0}=(z-\xi)(t_{0},x_{0})$, and $\tilde{\xi}=\xi+c_{0}$, then $\psi(z)-\psi(\tilde{\xi})$ reaches a local minimum at $(t_{0},x_{0})$, and $\psi(z(t_{0},x_{0}))=\psi(\tilde{\xi}(t_{0},x_{0}))$. Since $u$ is the viscosity supersolution of (2.10), then

$$|\nabla_{\mathbb{B}}\psi(\tilde{\xi})|^{p-2}tr\big{[}\big{(}I+(p-2)\frac{\nabla_{\mathbb{B}}\psi(\tilde{\xi})(\nabla_{\mathbb{B}}\psi(\tilde{\xi}))^{T}}{|\nabla_{\mathbb{B}}\psi(\tilde{\xi})|^{2}}\big{)}\nabla_{\mathbb{B}}^{2}\psi(\tilde{\xi})\big{]}$$

$$+(n-p)|\nabla_{\mathbb{B}}\psi(\tilde{\xi})|^{p-2}(t\partial_{t}\psi(\tilde{\xi}))\leq f(t_{0},x_{0})t_{0}^{p},\ \ \ \ \ \ \ \ \ \ (t_{0},x_{0})\in\mathbb{B}.$$

And since

$$\nabla_{\mathbb{B}}\psi(\tilde{\xi}(t,x))=\psi^{\prime}(\tilde{\xi})\ \nabla_{\mathbb{B}}\tilde{\xi}=\psi^{\prime}(\tilde{\xi})\ \nabla_{\mathbb{B}}\xi,$$

$$\nabla_{\mathbb{B}}^{2}\psi(\tilde{\xi}(t,x)) =\psi^{\prime}(\tilde{\xi})\ \nabla_{\mathbb{B}}^{2}\tilde{\xi}+\psi^{\prime\prime}(\tilde{\xi})\ \nabla_{\mathbb{B}}\tilde{\xi}(\nabla_{\mathbb{B}}\tilde{\xi})^{T}$$

$$=\psi^{\prime}(\tilde{\xi})\ \nabla_{\mathbb{B}}^{2}\xi+\psi^{\prime\prime}(\tilde{\xi})\ \nabla_{\mathbb{B}}\xi(\nabla_{\mathbb{B}}\xi)^{T},$$

substitute them into the above equation, we have

$$|\psi^{\prime}(\tilde{\xi})\nabla_{\mathbb{B}}\xi|^{p-2}tr\big{[}\big{(}I+(p-2)\frac{\nabla_{\mathbb{B}}\xi(\nabla_{\mathbb{B}}\xi)^{T}}{|\nabla_{\mathbb{B}}\xi|^{2}}\big{)}\big{(}\psi^{\prime}(\tilde{\xi})\nabla_{\mathbb{B}}^{2}\xi+\psi^{\prime\prime}(\tilde{\xi})\nabla_{\mathbb{B}}\xi(\nabla_{\mathbb{B}}\xi)^{T}\big{)}\big{]}$$

$$+(n-p)\psi^{\prime}(\tilde{\xi})(t\partial_{t}\xi)|\psi^{\prime}(\tilde{\xi})\nabla_{\mathbb{B}}\xi|^{p-2}\leq f(t_{0},x_{0})t_{0}^{p},\ \ \ \ \ \ \ \ \ \ (t_{0},x_{0})\in\mathbb{B}.$$

Finally, we get,

$$|\nabla_{\mathbb{B}}\xi|^{p-2}tr\big{[}\big{(}I+(p-2)\frac{\nabla_{\mathbb{B}}\xi(\nabla_{\mathbb{B}}\xi)^{T}}{|\nabla_{\mathbb{B}}\xi|^{2}}\big{)}\nabla_{\mathbb{B}}^{2}\xi\big{]}+(p-1)\frac{\psi^{\prime\prime}(\tilde{\xi})}{\psi^{\prime}(\tilde{\xi})}|\nabla_{\mathbb{B}}\xi|^{p}$$

$$+(n-p)(t\partial_{t}\xi)|\nabla_{\mathbb{B}}\xi|^{p-2}\leq\frac{f(t_{0},x_{0})t_{0}^{p}}{\psi^{\prime}(\tilde{\xi})^{p-1}},\ \ \ \ \ \ \ \ \ \ (t_{0},x_{0})\in\mathbb{B}.$$

According to the Definition 2.1 , we prove the above claim that $z$ is the viscosity supersolution (resp. subsolution) of equation (4.5) .

Let

$$M=\max\{|M_{u}|,|M_{v}|,|m_{v}|\},$$

if $M=0$, we can get

$$u\leq 0,v=0,$$

then Theorem 1.4 holds.

If $M\neq 0$, let

$$\psi(s)=K\int_{0}^{s}e^{-r}\,dr,$$

where $K=2M<+\infty$. We know that

$$u,|v|\leq M.$$

Without loss of generality, let

$$u=\psi(z_{1}),v=\psi(z_{2}),$$

then we have

$$z_{1}\in(-\infty,ln2],z_{2}\in[ln\frac{2}{3},ln2],$$

$$\psi^{\prime}(s)=Ke^{-s},\psi^{\prime\prime}(s)=-Ke^{-s}.$$

So $\eqref{H9}$ can be simplified to the following expression

$$|\nabla_{\mathbb{B}}z|^{p-2}tr\big{[}\big{(}I+(p-2)\frac{\nabla_{\mathbb{B}}z(\nabla_{\mathbb{B}}z)^{T}}{|\nabla_{\mathbb{B}}z|^{2}}\big{)}\nabla_{\mathbb{B}}^{2}z\big{]}-(p-1)|\nabla_{\mathbb{B}}z|^{p}$$ (4.6)

$$+(n-p)|\nabla_{\mathbb{B}}z|^{p-2}(t\partial_{t}z)-\frac{f(t,x)t^{p}}{K^{p-1}}e^{z(p-1)}=0.$$

Step 2.

We claim that if $t^{p}f(t,x)\geq\omega>0$, for any $(t,x)\in\mathbb{B}$, then the viscosity supersolution (resp.subsolution) of the equation (4.6) satisfies the comparison principle, that is

$$\sup\limits_{\mathbb{B}}z_{1}-z_{2}\leq\sup\limits_{\partial\mathbb{B}}(z_{1}-z_{2})^{+}=0,$$ (4.7)

where $z_{1}$ is the viscosity subsolution of (4.6), $z_{2}$ is the viscosity supersolution of (4.6). Here we proof it by a contradiction.

If (4.7) is not satisfied, then

$$\sup\limits_{\mathbb{B}}z_{1}-z_{2}>\sup\limits_{\partial\mathbb{B}}(z_{1}-z_{2})^{+}=0.$$

We note that

$$M_{\alpha}=\sup\limits_{{\mathbb{B}}\times{\mathbb{B}}}z_{1}(t,x)-z_{2}(s,y)-\frac{\alpha}{2}\big{(}(\ln\frac{t}{s})^{2}+|x-y|^{2}\big{)},$$

which $\alpha>0$. Since $z_{1}\in(-\infty,ln2]$ and $z_{2}\in[ln\frac{2}{3},ln2]$, so $M_{\alpha}$ exists, and

$$M_{\alpha}\geq\sup\limits_{\mathbb{B}}z_{1}-z_{2}=\delta>0.$$

We can easily notice that when $(t,x)\ \mbox{or}\ (s,y)\to\partial{\mathbb{B}}$,

$$\mathop{\lim}\limits_{\alpha\to\infty}z_{1}(t,x)-z_{2}(s,y)-\frac{\alpha}{2}\left((\ln\frac{t}{s})^{2}+(|x-y|)^{2}\right)\leq 0,$$

and when $t\ \mbox{or}\ s\to 0$,

$$\mathop{\lim}\limits_{\alpha\to\infty}z_{1}(t,x)-z_{2}(s,y)-\frac{\alpha}{2}\left((\ln\frac{t}{s})^{2}+(|x-y|)^{2}\right)\leq 0.$$

So when $\alpha$ is large enough, we can find $((t_{\alpha},x_{\alpha}),(s_{\alpha},y_{\alpha}))\in\mathbb{B}\times\mathbb{B}$ such that

$$M_{\alpha}=z_{1}(t_{\alpha},x_{\alpha})-z_{2}(s_{\alpha},y_{\alpha})-\frac{\alpha}{2}\big{(}(\ln\frac{t_{\alpha}}{s_{\alpha}})^{2}+|x_{\alpha}-y_{\alpha}|^{2}\big{)},$$

and when $\alpha\to\infty,$ there exists a subsequence of $((t_{\alpha},x_{\alpha}),(s_{\alpha},y_{\alpha}))$, which we still denote itself, converging to some point $((t_{\infty},x_{\infty}),\left(t_{\infty},x_{\infty})\right)\in\mathbb{B}\times\mathbb{B}.$ Similarly, we note that

$$M_{\alpha,\epsilon}=\sup\limits_{\overline{\mathbb{B}}_{\epsilon}\times\overline{\mathbb{B}}_{\epsilon}}z^{\epsilon}_{1}(t,x)-z_{2{\epsilon}}(s,y)-\frac{\alpha}{2}\big{(}(\ln\frac{t}{s})^{2}+|x-y|^{2}\big{)},$$

and choosing $((t_{\alpha,\epsilon},x_{\alpha,\epsilon}),(s_{\alpha,\epsilon},y_{\alpha,\epsilon}))$ such that

$$M_{\alpha,\epsilon}=z_{1}^{\epsilon}(t_{\alpha,\epsilon},x_{\alpha,\epsilon})-z_{2\epsilon}(s_{\alpha,\epsilon},y_{\alpha,\epsilon})-\frac{\alpha}{2}\big{(}(\ln\frac{t_{\alpha,\epsilon}}{s_{\alpha,\epsilon}})^{2}+|x_{\alpha,\epsilon}-y_{\alpha,\epsilon}|^{2}\big{)}.$$

When $\epsilon\to 0,$ there exists a subsequence of $((t_{\alpha,\epsilon},x_{\alpha,\epsilon}),(s_{\alpha,\epsilon},y_{\alpha,\epsilon}))$, which we still denote itself, converging to some point $((t_{\alpha,0},x_{\alpha,0}),\left(t_{\alpha,0},x_{\alpha,0})\right).$ Since

$$M_{\alpha}= \lim\limits_{\epsilon\to 0}M_{\alpha,\epsilon}$$

$$\leq z_{1}(t_{\alpha,0},x_{\alpha,0})-z_{2}(s_{\alpha,0},y_{\alpha,0})-\frac{\alpha}{2}\big{(}(\ln\frac{t_{\alpha,0}}{s_{\alpha,0}})^{2}+|x_{\alpha,0}-y_{\alpha,0}|^{2}\big{)},$$

and when $\alpha$ is large enough,

$$\begin{aligned} z_{1}(t_{\alpha,0},x_{\alpha,0})-z_{2}(s_{\alpha,0},y_{\alpha,0})-\frac{\alpha}{2}\big{(}(\ln\frac{t_{\alpha,0}}{s_{\alpha,0}})^{2}+|x_{\alpha,0}-y_{\alpha,0}|^{2}\big{)}\leq M_{\alpha}\end{aligned}.$$

So when $\alpha$ is sufficiently large, we have

$$M_{\alpha}=z_{1}(t_{\alpha,0},x_{\alpha,0})-z_{2}(s_{\alpha,0},y_{\alpha,0})-\frac{\alpha}{2}\big{(}(\ln\frac{t_{\alpha,0}}{s_{\alpha,0}})^{2}+|x_{\alpha,0}-y_{\alpha,0}|^{2}\big{)}.$$

We can assume

$$((t_{\alpha,0},x_{\alpha,0}),(t_{\alpha,0},x_{\alpha,0}))=\left((t_{\alpha},x_{\alpha}),(t_{\alpha},x_{\alpha})\right).$$

So when $\alpha$ is sufficiently large, and $\epsilon$ is sufficiently small, we have

$$\big{(}(t_{\alpha,\epsilon},x_{\alpha,\epsilon}),(s_{\alpha,\epsilon},y_{\alpha,\epsilon})\big{)}\in\mathbb{B}_{\epsilon}\times\mathbb{B}_{\epsilon},$$

and

$$\lim\limits_{\epsilon\to 0}\big{(}(t_{\alpha,\epsilon},x_{\alpha,\epsilon}),(s_{\alpha,\epsilon},y_{\alpha,\epsilon})\big{)}=\left((t_{\alpha},x_{\alpha}),(s_{\alpha},y_{\alpha})\right).$$

For convenience, we simplify 4.6 by noting that

$$G =|\nabla_{\mathbb{B}}z|^{p-2}tr\big{[}\big{(}I+(p-2)\frac{\nabla_{\mathbb{B}}z(\nabla_{\mathbb{B}}z)^{T}}{|\nabla_{\mathbb{B}}z|^{2}}\big{)}\nabla_{\mathbb{B}}^{2}z\big{]}-(p-1)|\nabla_{\mathbb{B}}z|^{p}$$

$$+(n-p)|\nabla_{\mathbb{B}}z|^{p-2}(t\partial_{t}z)-\frac{f(t,x)t^{p}}{K^{p-1}}e^{z(p-1)},$$

and

$$J =G((t_{\alpha},x_{\alpha}),z_{1}(t_{\alpha},x_{\alpha}),q,X)-G((t_{\alpha},x_{\alpha}),z_{2}(s_{\alpha},y_{\alpha}),q,X)$$

$$=\frac{t_{\alpha}^{p}f(t_{\alpha},x_{\alpha})}{K^{p-1}}\big{(}e^{(p-1)z_{2}(s_{\alpha},y_{\alpha})}-e^{(p-1)z_{1}(t_{\alpha},x_{\alpha})}\big{)}$$

$$=\frac{t_{\alpha}^{p}f(t_{\alpha},x_{\alpha})}{K^{p-1}}(p-1)e^{(p-1)\widetilde{z}}\big{(}z_{2}(s_{\alpha},y_{\alpha})-z_{1}(t_{\alpha},x_{\alpha})\big{)},$$

with $\tilde{z}\in[z_{2},z_{1}]$. Since $t^{p}_{\alpha}f(t_{\alpha},x_{\alpha})\geq\omega>0$, and

$$z_{1}\in(-\infty,ln2],z_{2}\in[ln\frac{2}{3},ln2],$$

so, when $\alpha\to\infty$, we can get

$$J<-(p-1)e^{(p-1)\ln{\frac{2}{3}}}\delta\omega.$$

On the other hand,

$$J =G((t_{\alpha},x_{\alpha}),z_{1}(t_{\alpha},x_{\alpha}),q,X)-G((t_{\alpha},x_{\alpha}),z_{2}(s_{\alpha},y_{\alpha}),q,X)$$

$$=G((t_{\alpha},x_{\alpha}),z_{1}(t_{\alpha},x_{\alpha}),q,X)-G^{\epsilon}((t_{\alpha,\epsilon},x_{\alpha,\epsilon}),z_{1}^{\epsilon}(t_{\alpha,\epsilon},x_{\alpha,\epsilon}),q,X)$$

$$+G^{\epsilon}((t_{\alpha,\epsilon},x_{\alpha,\epsilon}),z_{1}^{\epsilon}(t_{\alpha,\epsilon},x_{\alpha,\epsilon}),q,X)-G_{\epsilon}((s_{\alpha,\epsilon},y_{\alpha,\epsilon}),z_{2\epsilon}(s_{\alpha,\epsilon},y_{\alpha,\epsilon}),q,-Y)$$

$$+G_{\epsilon}((s_{\alpha,\epsilon},y_{\alpha,\epsilon}),z_{2\epsilon}(s_{\alpha,\epsilon},y_{\alpha,\epsilon}),q,-Y)-G_{\epsilon}((s_{\alpha,\epsilon},y_{\alpha,\epsilon}),z_{2\epsilon}(s_{\alpha,\epsilon},y_{\alpha,\epsilon}),q,X)$$

$$+G_{\epsilon}((s_{\alpha,\epsilon},y_{\alpha,\epsilon}),z_{2\epsilon}(s_{\alpha,\epsilon},y_{\alpha,\epsilon}),q,X)-G((s_{\alpha},y_{\alpha}),z_{2}(s_{\alpha},y_{\alpha}),q,X)$$

$$+G((s_{\alpha},y_{\alpha}),z_{2}(s_{\alpha},y_{\alpha}),q,X)-G((t_{\alpha},x_{\alpha}),z_{2}(s_{\alpha},y_{\alpha}),q,X)$$

$$=J_{1}+J_{2}+J_{3}+J_{4}+J_{5}.$$

Choosing $X,\ Y$ like Proposition 4.2, and $q=2(\ln\frac{t_{\alpha,\epsilon}}{s_{\alpha,\epsilon}},x_{\alpha,\epsilon}-y_{\alpha,\epsilon})$, so we can illustrate that

$$\begin{pmatrix}X&0\\ 0&Y\end{pmatrix}\leq\frac{\alpha}{2}\begin{pmatrix}2I&-2I\\ -2I&2I\\ \end{pmatrix}.$$

Then

$$X+Y\leq 0,\ J_{3}\geq 0,\ J_{2}\geq 0.$$

Let $\epsilon\to 0$, then $J_{1},\ J_{4}\to 0$, let $\alpha\to\infty$, we can find

$$J_{5}=\big{(}\frac{t_{\alpha}^{p}f(t_{\alpha},x_{\alpha})}{K^{p-1}}-\frac{s_{\alpha}^{p}f(s_{\alpha},y_{\alpha})}{K^{p-1}}\big{)}e^{(p-1)z_{2}(s_{\alpha},y_{\alpha})}\to 0,$$

so $J\geq 0$, we get a contradiction. So we get (4.7). Since $\psi$ monotonically increasing, then

$$\sup\limits_{\mathbb{B}}\psi(z_{1})-\psi(z_{2})\leq 0,$$ (4.8)

that is, $u\leq v$ in $\mathbb{B}$. ∎

Corollary 4.1.

Let $u\in USC(\overline{\mathbb{B}})$ be a viscosity subsolution of equation (1.2) and $\mathop{\lim}\limits_{t\to 0}\sup u$ exists; let $v\in LSC(\overline{\mathbb{B}})$ be a viscosity supersolution of equation (1.2) and $\mathop{\lim}\limits_{t\to 0}\inf v$ exists. In addition, $\mathop{\lim}\limits_{t\to 0}\sup u\leq\mathop{\lim}\limits_{t\to 0}\inf v$, and $u(t,x)$ is bounded from below. If $f\in C(\overline{\mathbb{B}})$ and there exists constant $\omega>0$ such that $t^{p}f(t,x)\leq-\omega$ for all $(t,x)\in\mathbb{B}$. Then we can deduce $u\leq v$ in $\mathbb{B}$ when $u\leq v$ on $\partial\mathbb{B}$.

Proof.

May as well assume $m_{u}\leq u\leq M_{u}$, $v\geq m_{v}$, we can select

$$\psi=K\int_{0}^{s}e^{r}\,dr,\ K=2\max\{|m_{u}|,|M_{u}|,|M_{v}|\}.$$

∎

Corollary 4.2.

Let $u\in USC(\overline{\mathbb{B}})$ be a viscosity subsolution of equation (1.2) and $\mathop{\lim}\limits_{t\to 0}\sup u$ exists; let $v\in LSC(\overline{\mathbb{B}})$ be a viscosity supersolution of equation (1.2) and $\mathop{\lim}\limits_{t\to 0}\inf v$ exists. In addition, $\mathop{\lim}\limits_{t\to 0}\sup u\leq\mathop{\lim}\limits_{t\to 0}\inf v$, $u(t,x)$ is bounded from below and $v(t,x)$ is bounded from above. If $f\in C(\overline{\mathbb{B}})$ and there exists constant $\omega>0$ such that $|t^{p}f(t,x)|\geq\omega$ for all $(t,x)\in\mathbb{B}$. Then we can deduce $u\leq v$ in $\mathbb{B}$ when $u\leq v$ on $\partial\mathbb{B}$.

Acknowledgments

The authors are grateful to the referees for their careful reading and valuable comments.