Subelliptic equations with singular nonlinearities on the Heisenberg group

Xinjing Wang; Yongzhong Wang

doi:10.1186/s13661-018-0925-y

Research
Open Access

Subelliptic equations with singular nonlinearities on the Heisenberg group

Xinjing Wang¹ and
Yongzhong Wang¹Email author View ORCID ID profile

Boundary Value Problems20182018:7

https://doi.org/10.1186/s13661-018-0925-y

Received: 3 August 2017
Accepted: 2 January 2018
Published: 12 January 2018

Abstract

In this paper, we consider the Dirichlet boundary value problem to singular semilinear subelliptic equation on the Heisenberg group

$$-\Delta_{\mathbb{H}}u=\frac{1}{u^{\gamma}}+f(u), \quad \gamma>0. $$

We prove the positivity and continuity up to the boundary for the weak solutions. We also conclude monotonicity of cylindrical solutions to the problem based on a study of the equation $-\Delta_{\mathbb {H}}u_{0}=\frac{1}{u_{0}^{\gamma}}$. The main technique is a generalization of the moving plane method to the Heisenberg group.

Keywords

Heisenberg group
subelliptic equation
singular nonlinearity
monotonicity
moving plane method

MSC

35A05
35J55

1 Introduction

Crandall, Rabinowitz, and Tartar [1] considered the Dirichlet problem to elliptic equation with singular nonlinearity and deduced the existence and continuity of solutions. The Dirichlet problem on the sufficiently regular bounded domain to the elliptic equation

$$\Delta u+p(x)\frac{1}{{u}^{\gamma}}=0,\quad \gamma>0 $$

was treated by Lazer and Mckenna [2], and the existence of solutions with smoothing in the domain and continuity up to the boundary was given under the assumption $p(x)>0$. Boccardo and Orsina [3] derived the existence, regularity, and nonexistence for the Dirichlet problem to the model

$$-\Delta u=\frac{f(x)}{{{u}^{\gamma}}}, $$

where the results depend on γ and the summability of $f(x)$ in some Lebesgue spaces.

Canino and Degiovanni [4] applied a variational approach to the singular semilinear elliptic equation

$$-\Delta u={{u}^{-\beta}}+g(x,u),\quad \beta>0, $$

and obtained some properties of solutions u and $u_{0}$, where $u_{0}$ is the solution of the Dirichlet problem to the equation

$$-\Delta u_{0}={{u_{0}}^{-\beta}}. $$

Based on the approach in [4] and the moving plane method, the monotonicity properties of weak solutions of the Dirichlet problem to the singular elliptic equation

$$-\Delta u=\frac{1}{{{u}^{\gamma}}}+f(u) $$

were proved by Canino, Grandinetti, and Sciunzi [5].

Along with the development of theory of degenerate elliptic partial differential equations, there were many attempts to extend various results of elliptic equations to subelliptic equations. Birindelli and Prajapat [6] derived a Liouville theorem for the nonnegative cylindrical solutions of the equation

$${{\Delta}_{\mathbb{H}}}u+{{u}^{p}}=0 $$

in the Heisenberg group ${{\mathbb{H}}^{n}}=({{\mathbb {R}}^{2n+1}},\circ)$, where ${\Delta}_{\mathbb{H}}$ is the sub-Laplacian on ${\mathbb{H}}^{n}$, $0< p<\frac{Q+2}{Q-2}$, by using the CR inversion to a regular function u. Xu [7] determined that there exist ${{C}^{\infty}}(\overline{\Omega})$ solutions of the Dirichlet problem

$$\textstyle\begin{cases} \sum_{j=1}^{m}X_{j}^{*}X_{j}+cu=f(x,u) &\mbox{in } \Omega, \\ u=\varphi&\mbox{on } \partial\Omega, \end{cases} $$

where f and φ satisfy proper smooth conditions, $\{X_{j}\}$ ($j=1,\ldots , m$) is a system of vector fields satisfying Hörmander’s condition, Ω is a bounded domain, and its boundary ∂Ω is smooth and noncharacteristic for $\{X_{j}\}$. By extending the Perron method in the Euclidean space to the Carnot group and constructing barrier functions, the existence and uniqueness of solutions for the Dirichlet problem

$$\textstyle\begin{cases} Lu+f(x,u)=0 &\mbox{in } \Omega, \\ u=\varphi&\mbox{on } \partial\Omega, \end{cases} $$

where L is the sub-Laplacian on the Carnot group, were established by Yuan and Yuan [8]. We also refer the readers to [9] and [10] for the related results.

The purpose of this paper is to consider the Dirichlet problem in ${\mathbb{H}}^{n}$ to the subelliptic equation with singular nonlinearities

$$ \textstyle\begin{cases} -{{\Delta}_{\mathbb{H}}}u=\frac{1}{{{u}^{\gamma}}}+f(u),& \xi\in \Omega, \\ u=0, &\xi\in\partial\Omega, \end{cases} $$

(1.1)

where Ω is a bounded convex domain (see [11, 12]) in ${\mathbb{H}}^{n}$ with boundary ∂Ω satisfying the Wiener criterion (for any $a\in(0,1)$, let the $C_{j}$ be the capacity of the set ${{B}_{\mathbb{H}}}({{\xi}_{0}},a^{j})\cap\Omega^{C}$; then ${{\xi }_{0}}\in\partial\Omega$ is a regular point if and only if $\sum_{j=0}^{\infty}{{{{C}_{j}}}/{{{a }^{j(Q-2)}}}}$ diverges; see [13, 14] etc.), $\gamma>0$, and f satisfies the following condition:

(F)

f is a nonnegative nondecreasing locally Lipschitz function, $f(s)>0$ for any $s>0$, and $f(0)\geq0$.

We say that $u\in H^{1}(\Omega)$ is a weak solution to (1.1) if for any $\varphi\in C_{0}^{\infty}(\Omega)$,

$$\int_{\Omega}{{{\nabla}_{\mathbb{H}}}u\cdot{{ \nabla}_{\mathbb {H}}}\varphi=} \int_{\Omega}{\biggl(\frac{1}{{{u}^{\gamma}}}+f\biggr)\varphi}. $$

We first consider the Dirichlet problem

$$ \textstyle\begin{cases} -{{\Delta}_{\mathbb{H}}}u_{0}=\frac{1}{{{u_{0}}^{\gamma}}},& \xi\in \Omega, \\ u_{0}=0, &\xi\in\partial\Omega. \end{cases} $$

(1.2)

By borrowing the method in [3] to our setting we prove that existence, uniqueness, and boundedness of weak positive solutions $u_{n}$ for the approximation problem

$$ \textstyle\begin{cases} -{{\Delta}_{\mathbb{H}}}u_{n}=\frac{1}{({u_{n}+\frac{1}{n}})^{\gamma }},& \xi\in\Omega, \\ u_{n}=0, &\xi\in\partial\Omega, \end{cases} $$

(1.3)

for each fixed n (the bound of $u_{n}$ in $H_{0}^{1}(\Omega)$ is local when $\gamma>1$), and then we obtain the existence and uniqueness of a weak solution u of (1.2) as the limit of an increasing sequence of positive solutions $\{u_{n}\}$. Since ∂Ω satisfies the Wiener criterion, we use the sub-super solution method similarly to [4] and get that the positive solution $u_{0}$ of (1.2) is continuous up to ∂Ω. The monotonicity of $u_{0}$ is shown via the moving plane method.

Similarly to the method of energy functional in [4], we define the functional $F_{f}:L^{2}(\Omega)\rightarrow(-\infty,+\infty]$ to problem (1.1) by

$$ F_{f}(u)= \textstyle\begin{cases} \frac{1}{2}\int_{\Omega} \vert \nabla_{\mathbb{H}}(u-u_{0}) \vert ^{2}+\int_{\Omega }G_{0}(\xi,u-u_{0})-\int_{\Omega}f(\xi,u-u_{0})& \mbox{if } u \in u_{0}+H_{0}^{1}(\Omega), \\ +\infty&\mbox{otherwise}, \end{cases} $$

where $G_{0}:\Omega\times\mathbb{R}\rightarrow[0,+\infty]$ is the Borel function

$$G_{0}(\xi,s)=\Phi\bigl(u_{0}(\xi)+s\bigr)-\Phi \bigl(u_{0}(\xi)\bigr)+su_{0}^{-\beta}(\xi) $$

with

$$ \Phi(s)= \textstyle\begin{cases} -\int_{1}^{s}t^{-\beta}& \mbox{if } s\geq0, \\ +\infty& \mbox{if } s< 0. \end{cases} $$

It follows that $G_{0}(\xi,0)=0$ and $G_{0}(\xi,\cdot)$ is convex and lower semicontinuous for any $\xi\in\Omega$ and that $F_{f}$ is convex, lower semicontinuous, and coercive with $F_{f}(u_{0})=0$. The effective domain of $F_{f}$ is $\{u\in L^{2}(\Omega): F_{f}(u)<+\infty\}$, which is independent of f. Moreover, if $u_{0}$ is the minimum of $F_{0}$, then the effective domain of $F_{f}$ is

$$\bigl\{ u\in u_{0}+H_{0}^{1}(\Omega)\bigr\} \subseteq H_{\mathrm{loc}}^{1}(\Omega), $$

and we see that $u\in H_{\mathrm{loc}}^{1}(\Omega)$ is a weak solution to (1.1). Motivated by the idea in [5], we use the decomposition

$$u=u_{0}+w $$

and demonstrate two maximum principles for w satisfying

$$ -{{\Delta}_{\mathbb{H}}}w=-{{\Delta}_{\mathbb{H}}}u+{{\Delta }_{\mathbb{H}}}u_{0}. $$

(1.4)

Then the monotonicity of w is derived. Based on this, we arrive at the monotonicity of u.

To obtain the monotonicity of u, we apply the moving plane method on ${\mathbb{H}}^{n}$ in [6] (see also [15–18]) by adopting the simpler way of [15] in the proof. Since ${\Delta}_{\mathbb{H}}$ is not invariant with respect to the general reflection, Birindelli and Prajapat [6] introduced the so-called H-reflection and pointed out that ${\Delta }_{\mathbb{H}}$ is invariant with respect to the H-reflection. Applying the H-reflection and the moving plane method, we prove that the cylindrical solution of (1.1) is monotone.

Our main result is the following:

Theorem 1.1

Let Ω be a bounded convex domain symmetric with respect to $T_{\lambda_{1}}$ about H-reflection in ${\mathbb{H}}^{n}$ such that ∂Ω satisfies the Wiener criterion. If $u\in H_{0}^{1}(\Omega)$ ($\gamma\leq1$) or $u\in H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$) is a weak solution to (1.1), then u is positive, and $u\in C(\overline{\Omega})$. If u is a positive cylindrical solution to (1.1), then for any $\lambda_{0}<\lambda<\lambda_{1}$ (see Section 2),

$$ u(\xi)< u_{\lambda}(\xi)\quad \textit{for any }\xi\in \Sigma_{\lambda} $$

(1.5)

with respect to t (the definitions of $T_{\lambda_{1}}$, $u_{\lambda }(\xi)$, and $\Sigma_{\lambda}$ will be given in Section 2).

Since ${{\Delta}_{\mathbb{H}}}$ on ${{\mathbb{H}}^{n}}$ is essentially different from Δ on ${{\mathbb{R}}^{n}}$, the proof of Theorem 1.1 is also essentially different from those for Δ on ${{\mathbb{R}}^{n}}$. Unlike the Euclidean space case, there is no Poincaré’s inequality for the narrow region in ${{\mathbb{H}}^{n}}$, so we utilize the fact that the volume of the narrow region is small enough to prove the maximum principle on the narrow region. Because the invariance of ${{\Delta}_{\mathbb{H}}}$ does not hold for the reflection ${{u}_{\lambda}}(x,y,t)=u(y,2\lambda -x,t)$ or ${{u}_{\lambda}}(x,y,t)=u(2\lambda-y,x,t)$, the monotonicity of solutions to x or y cannot be established. The assumption that the boundary satisfies the Wiener criterion is weaker than the outer sphere or cone condition.

The paper is organized as follows. In Section 2, we collect some well-known facts about ${\mathbb{H}}^{n}$ and the subelliptic operator ${{\Delta}_{\mathbb{H}}}$. In Section 3, we give the existence, regularity, and monotonicity of $u_{n}$ to (1.3). Section 4 is devoted to the regularity and monotonicity of $u_{0}$ to (1.2) and to the interior gradient estimate for $u_{0}\in C^{3}(\Omega)$. Finally, in Section 5, we derive the maximum principles of w and prove Theorem 1.1.

2 Preliminaries

In this section, we list some facts related to the Heisenberg group and sub-Laplacian ${{\Delta}_{\mathbb{H}}}$. For proofs and more details, we refer, for example, to [19–22].

The Heisenberg group ${\mathbb{H}}^{n}$ is the Euclidean space ${{\mathbb{R}}^{2n+1}}$ ($n\ge1$) endowed with the group action ∘ defined by

$$ {{\xi}_{0}}\circ\xi=\Biggl(x+{{x}_{0}},y+{{y}_{0}},t+{{t}_{0}}+2 \sum_{i=1}^{n}{({{x}_{i}} {{y}_{{{i}_{0}}}}-{{y}_{i}} {{x}_{{{i}_{0}}}})}\Biggr), $$

(2.1)

where $\xi=({{x}_{1}},\ldots,{{x}_{n}},{{y}_{1}},\ldots ,{{y}_{n}},t):=(x,y,t)\in{\mathbb{R}}^{n}\times{\mathbb{R}}^{n}\times {\mathbb{R}}$, ${{\xi}_{0}}=({{x}_{0}},{{y}_{0}},{{t}_{0}})$. We denote by $\delta_{\lambda}$ the dilations on ${{\mathbb{R}}^{2n+1}}$, that is,

$$ {{\delta}_{\lambda}}(\xi)=\bigl(\lambda x,\lambda y,{{ \lambda}^{2}}t\bigr), $$

(2.2)

which satisfies ${{\delta}_{\lambda}}({{\xi}_{0}}\circ\xi )={{\delta}_{\lambda}}({{\xi}_{0}})\circ{{\delta}_{\lambda}}(\xi)$.

The left-invariant vector fields corresponding to ${\mathbb{H}}^{n}$ are of the form

$$\begin{aligned}& {{X}_{i}}=\frac{\partial}{\partial{{x}_{i}}}+2{{y}_{i}}\frac{\partial }{\partial t}, \quad i=1,\ldots,n, \\& {{Y}_{i}}=\frac{\partial}{\partial{{y}_{i}}}-2{{x}_{i}}\frac{\partial }{\partial t}, \quad i=1,\ldots,n, \\& T=\frac{\partial}{\partial{t}}. \end{aligned}$$

The Heisenberg gradient of a function u is defined as

$$ {{\nabla}_{\mathbb{H}}}u=({{X}_{1}}u,\ldots ,{{X}_{n}}u,{{Y}_{1}}u,\ldots,{{Y}_{n}}u). $$

(2.3)

The sub-Laplacian ${{\Delta}_{\mathbb{H}}}$ on ${\mathbb{H}}^{n}$ is

$$ {{\Delta}_{\mathbb{H}}}=\sum_{i=1}^{n}{{X}_{i}^{2}+{Y}_{i}^{2}} $$

(2.4)

with the expansion

$${{\Delta}_{\mathbb{H}}}=\sum_{i=1}^{n}{ \frac{{{\partial }^{2}}}{\partial{x}_{i}^{2}}+\frac{{{\partial}^{2}}}{\partial {y}_{i}^{2}}+4{{y}_{i}}\frac{{{\partial}^{2}}}{\partial {{x}_{i}}\, \partial t}}-4{{x}_{i}} \frac{{{\partial}^{2}}}{\partial {{y}_{i}}\, \partial t}+4\bigl({x}_{i}^{2}+{y}_{i}^{2} \bigr)\frac{{{\partial }^{2}}}{\partial{{t}^{2}}}. $$

It is easy to check that

$$[{{X}_{i}},{{Y}_{j}}]=-4T{{\delta }_{ij}},\qquad [{{X}_{i}},{{X}_{j}}]=[{{Y}_{i}},{{Y}_{j}}]=0, \quad i,j=1,\ldots ,n, $$

and $\{ {{X}_{1}},\ldots,{{X}_{n}},{{Y}_{1}},\ldots,{{Y}_{n}} \}$ satisfies Hörmander’s rank condition (see [22]). In particular, this implies that ${{\Delta}_{\mathbb{H}}}$ is hypoelliptic (see [22]) and the solution of equation including ${{\Delta}_{\mathbb{H}}}$ satisfies the maximum principle (see [20, 23]).

Denote by $Q=2n+2$ the homogeneous dimension of ${\mathbb{H}}^{n}$. The norm ${{ \vert \xi \vert }_{\mathbb{H}}}$ is the distance of ξ to the origin (see [21]):

$$ \vert \xi \vert _{\mathbb{H}}=\Biggl(\sum _{i=1}^{n}\bigl({x}_{i}^{2}+{y}_{i}^{2} \bigr)^{2}+{t}^{2}\Biggr)^{\frac{1}{4}}. $$

(2.5)

Afterward, we also denote ${{r}}=({{ \vert x \vert }^{2}}+{{ \vert y \vert }^{2}})^{\frac{1}{2}}$. Using this norm, we can define the distance between two points in ${\mathbb{H}}^{n}$ in the natural way:

$${{d}_{\mathbb{H}}}(\xi,\eta)={{ \bigl\vert {{\eta}^{-1}}\circ\xi \bigr\vert }_{\mathbb{H}}}, $$

where $\eta^{-1}$ denotes the inverse of η with respect to the group action ∘, that is, $\eta^{-1}=-\eta$.

The open ball of radius $R>0$ centered at $\xi_{0}$ is the set

$${{B}_{\mathbb{H}}}({{\xi}_{0}},R)= \bigl\{ \eta\in{\mathbb {H}^{n}}| {{d}_{\mathbb{H}}}(\eta,{{\xi}_{0}})< R \bigr\} . $$

By the dilation of the group, $\xi\to{{ \vert \xi \vert }_{\mathbb {H}}}$ is homogeneous of degree one with respect to $\delta_{\lambda}$, and

$$\bigl\vert {{B}_{\mathbb{H}}}({{\xi}_{0}},R) \bigr\vert = \bigl\vert {{B}_{\mathbb {H}}}(\text{0},R) \bigr\vert = \bigl\vert {{B}_{\mathbb{H}}}(0,1) \bigr\vert {{R}^{Q}}, $$

where $\vert \cdot \vert $ denotes the Lebesgue measure. Noting that $X_{i}$ and $Y_{i}$ are homogeneous of degree minus one with respect to $\delta_{\lambda}$, that is,

$${{X}_{i}}({{\delta}_{\lambda}})=\lambda{{\delta}_{\lambda }}({{X}_{i}}), \qquad {{Y}_{i}}({{\delta}_{\lambda}})=\lambda{{\delta }_{\lambda}}({{Y}_{i}}), $$

we see that ${{\Delta}_{\mathbb{H}}}$ is homogeneous of degree minus two and left invariant.

Define the Sobolev space

$${{H}^{1}}(\Omega)=\bigl\{ u| u, \vert {{\nabla}_{\mathbb{H}}}u \vert \in{{L}^{2}}(\Omega)\bigr\} , $$

which is a Banach space with the norm

$${{ \Vert u \Vert }_{{{H}^{1}}(\Omega)}}={{ \Vert u \Vert }_{{{L}^{2}}(\Omega)}}+{{ \Vert {{\nabla}_{\mathbb{H}}}u \Vert }_{{{L}^{2}}(\Omega)}}. $$

Denote by $H_{0}^{1}(\Omega)$ the closure of $C_{0}^{\infty}(\Omega )$ in $H^{1}(\Omega)$.

If $u(x,y,t)=u(r,t)$, then we say that u is cylindrical. It is easy to see that

$$ {{\Delta}_{\mathbb{H}}}u(r,t)=\frac{{{\partial}^{2}}u}{\partial {{r}^{2}}}+ \frac{2n-1}{r}\frac{\partial u}{\partial r}+4{{r}^{2}}\frac {{{\partial}^{2}}u}{\partial{{t}^{2}}}. $$

(2.6)

If the weak solution $u\in H_{0}^{1}(\Omega)$ to (1.1) is cylindrical, then u is said to be the cylindrical solution to (1.1).

For any $\xi=(x,y,t)\in{\mathbb{H}}^{n}$ and $\lambda\in\mathbb{R}$, we set

$${{T}_{\lambda}}= \bigl\{ \xi\in{{\mathbb{H}}^{n}}| t=\lambda \bigr\} $$

and

$${{\Sigma}_{\lambda}}= \{ \xi\in\Omega| t< \lambda \}. $$

Let ${{\xi}_{\lambda}}=(y,x,2\lambda-t)$ be the H-reflection of ξ about $T_{\lambda}$, and let

$${\Sigma}_{\lambda}^{\prime}= \{ {{\xi}_{\lambda}}\in\Omega | \xi \in{{\Sigma}_{\lambda}} \}. $$

Denote

$${{\lambda}_{0}}=\min \{ \lambda:{{T}_{\lambda}}\cap\overline { \Omega}\ne\varnothing \} $$

and

$${{\lambda}_{1}}=\max \bigl\{ \lambda:{{\Sigma}_{\lambda}}\cup {{T}_{\lambda}}\cup{\Sigma}_{\lambda}^{\prime}=\Omega \bigr\} . $$

Similarly to [6], we denote by $u_{\lambda}$ the H-reflection of u about $T_{\lambda}$:

$${{u}_{\lambda}}(x,y,t)={{u}_{\lambda}}(r,t)=u(r,2\lambda -t)=u(y,x,2 \lambda-t). $$

The following result is from [24].

Lemma 2.1

If $f\in{{L}^{\infty}}(\Omega)$ and $u\in H^{1}_{0}(\Omega)$ is a solution to the subelliptic equation

$$-{{\Delta}_{\mathbb{H}}}u=f, $$

then

$$\sup_{\Omega} u\le C{{ \Vert f \Vert }_{{{L}^{\infty}}(\Omega)}}, $$

where C is a positive constant depending only on n and Ω.

Let us state Sobolev’s and Poincaré’s inequalities in ${{\mathbb {H}}^{n}}$; see [25, 26].

Lemma 2.2

Let U be a bounded domain in ${{\mathbb{H}}^{n}}$, and let $\Omega \Subset U$. If $1< p< Q$ and $u\in W^{1,p}_{0}(\Omega)$, then there exists $C>0$ depending on n, p, and Ω, such that for any $1\le q\le\frac{pQ}{Q-p}$,

$$ {{\biggl({{ \int_{\Omega}{ \vert u \vert ^{q}}}} \biggr)^{\frac{1}{q}}}}\le C{{\biggl( \int _{\Omega}{{{ \vert {{\nabla}_{\mathbb{H}}}u \vert }^{p}}}\biggr)^{\frac{1}{p}}}}. $$

(2.7)

If $1\leq p<\infty$ and $u\in W^{1,p}_{0}(\Omega)$, then

$$ {{ \int_{\Omega}{ \vert u \vert ^{p}}}}\le C \int_{\Omega}{{{ \vert {{\nabla}_{\mathbb{H}}}u \vert }^{p}}}. $$

(2.8)

Lemma 2.3

([20, 23])

Let Ω be a bounded domain, and let $K(\xi )>0$. If u satisfies

$$-{{\Delta}_{\mathbb{H}}}u+Ku\ge0 \quad \textit{on }\Omega;\qquad u=0 \quad \textit{in } \partial\Omega, $$

then $u\geq0$ on Ω. Furthermore, $u>0$ on Ω unless $u\equiv0$.

3 Solutions $u_{n}$ to (1.3)

Let Ω be a bounded domain of $\mathbb{H}^{n}$, and let $\gamma >0$. In this section, we prove the existence, uniqueness, and boundedness of solutions to the Dirichlet problem (1.3). We will work by approximation similarly to [3].

Lemma 3.1

Problem (1.3) has a nonnegative solution ${{u}_{n}}\in H_{0}^{1}(\Omega)\cap{{L}^{\infty}}(\Omega)$ for any given n.

Proof

Let $v\in L^{2}(\Omega)$. It is well known that the Dirichlet problem to the subelliptic equation

$$ \textstyle\begin{cases} -{{\Delta}_{\mathbb{H}}}v^{*}=\frac{1}{({ \vert v \vert +\frac {1}{n}})^{\gamma}},& \xi\in\Omega, \\ v^{*}=0, &\xi\in\partial\Omega, \end{cases} $$

(3.1)

has a unique solution $v^{*}=S(v)$. Multiplying by $v^{*}$ the equation and integrating over Ω, we have

$$\int_{\Omega}{{{ \bigl\vert {{\nabla}_{\mathbb{H}}} {{v}^{*}} \bigr\vert }^{2}}}= \int_{\Omega}{\bigl(-{{\Delta}_{\mathbb {H}}} {{v}^{*}} \bigr){{v}^{*}}}= \int_{\Omega}{\frac{{{v}^{*}}}{{{( \vert v \vert +\frac{1}{n})}^{\gamma}}}}\le{{n}^{\gamma}} \int_{\Omega }{ \bigl\vert {{v}^{*}} \bigr\vert }. $$

By (2.8) in Lemma 2.2 and Hölder’s inequality we obtain

$$\int_{\Omega}{{{\bigl({{v}^{*}}\bigr)}^{2}}} \le C \int_{\Omega}{{{ \bigl\vert {{\nabla}_{\mathbb{H}}} {{v}^{*}} \bigr\vert }^{2}}}\le C{{n}^{\gamma}} \int _{\Omega}{ \bigl\vert {{v}^{*}} \bigr\vert }\le C{{n}^{\gamma}}\biggl( \int_{\Omega } \bigl\vert {{v}^{*}} \bigr\vert ^{2}\biggr)^{\frac{1}{2}} $$

and

$${{ \bigl\Vert {{v}^{*}} \bigr\Vert }_{{{L}^{2}}(\Omega)}}\le C{{n}^{\gamma}}. $$

Then the ball in ${{L}^{2}}(\Omega)$ of radius $C{{n}^{\gamma}}$ is invariant for $S(v)= \vert v \vert $. Using the Sobolev embedding [25], we see that S is continuous and compact on ${{L}^{2}}(\Omega )$, and by Schauder’s fixed point theorem there exists ${{u}_{n}}\in H_{0}^{1}(\Omega)$ such that ${{u}_{n}}=S({{u}_{n}})$, that is, ${{u}_{n}}$ is a solution to the problem

$$ \textstyle\begin{cases} -{{\Delta}_{\mathbb{H}}}{u}_{n}=\frac{1}{({ \vert {u}_{n} \vert +\frac {1}{n}})^{\gamma}},& \xi\in\Omega, \\ {u}_{n}=0, &\xi\in\partial\Omega. \end{cases} $$

Noting that $\frac{1}{({ \vert {u}_{n} \vert +\frac{1}{n}})^{\gamma }}\geq0$, Lemma 2.3 gives ${u}_{n}\geq0$, and then ${u}_{n}$ solves (1.3). Since $\frac{1}{({{u}_{n}+\frac {1}{n}})^{\gamma}}$ in (1.3) belongs to ${{L}^{\infty}}(\Omega )$, Lemma 2.1 implies that ${u}_{n}\in{{L}^{\infty}}(\Omega)$. □

Lemma 3.2

A solution of (1.3) is unique.

Proof

Since $v_{n}$ satisfies

$$-{{\Delta}_{\mathbb{H}}} {{v}_{n}}=\frac{1}{{{({{v}_{n}}+\frac {1}{n})}^{\gamma}}} $$

in the distribution sense, it follows that

$$ -{{\Delta}_{\mathbb{H}}}({{u}_{n}}-{{v}_{n}})= \frac {1}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}-\frac{1}{{{({{v}_{n}}+\frac {1}{n})}^{\gamma}}}=\frac{{{({{v}_{n}}+\frac{1}{n})}^{\gamma }}-{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}{{{({{u}_{n}}+\frac {1}{n})}^{\gamma}}{{({{v}_{n}}+\frac{1}{n})}^{\gamma}}}. $$

(3.2)

Taking ${{({{u}_{n}}-{{v}_{n}})}^{+}}$ as the test function and observing that

$$ \biggl({{\biggl({{v}_{n}}+\frac{1}{n} \biggr)^{\gamma}}}-{{\biggl({{u}_{n}}+\frac {1}{n} \biggr)^{\gamma}}}\biggr){{({{u}_{n}}-{{v}_{n}})}^{+}} \le0, $$

(3.3)

it follows by (3.2) that

$$0\le \int_{\Omega}{{{ \bigl\vert \nabla_{\mathbb{H}} {{({{u}_{n}}-{{v}_{n}})}^{+}} \bigr\vert }^{2}}}\le0, $$

and therefore ${{({{u}_{n}}-{{v}_{n}})}^{+}}=0$ a.e. in Ω, which implies ${{u}_{n}}\leq{{v}_{n}}$. In the same way, taking ${{({{v}_{n}}-{{u}_{n}})}^{+}}$ as the test function, we can prove that ${{u}_{n}}\geq{{v}_{n}}$. This proves the uniqueness. □

Lemma 3.3

The nonnegative solution sequence $\{{u}_{n}\}$ from (1.3) is nondecreasing with respect to n, and for every $\omega\Subset\Omega$, there exists a constant $c_{\omega}>0$, independent on n, such that, for any $\xi\in\omega$,

$$ {{u}_{n}}(\xi)\ge{{c}_{\omega}} \quad \textit{for every } n. $$

(3.4)

Proof

For $\gamma>0$, we have that

$$-{{\Delta}_{\mathbb{H}}} {{u}_{n}}=\frac{1}{{{({{u}_{n}}+\frac {1}{n})}^{\gamma}}}\le \frac{1}{{{({{u}_{n}}+\frac{1}{n+1})}^{\gamma}}} $$

in the distribution sense, and then

$$\begin{aligned} -{{\Delta}_{\mathbb{H}}}({{u}_{n}}-{{u}_{n+1}})&\le \frac {1}{{{({{u}_{n}}+\frac{1}{n+1})}^{\gamma}}}-\frac {1}{{{({{u}_{n+1}}+\frac{1}{n+1})}^{\gamma}}} \\ &=\frac{{{({{u}_{n+1}}+\frac{1}{n+1})}^{\gamma}}-{{({{u}_{n}}+\frac {1}{n+1})}^{\gamma}}}{{{({{u}_{n}}+\frac{1}{n+1})}^{\gamma }}{{({{u}_{n+1}}+\frac{1}{n+1})}^{\gamma}}}. \end{aligned}$$

(3.5)

Taking ${{({{u}_{n}}-{{u}_{n+1}})}^{+}}$ as the test function in (3.5) and using

$$ \biggl({{\biggl({{u}_{n+1}}+\frac{1}{n+1} \biggr)^{\gamma}}}-{{\biggl({{u}_{n}}+\frac {1}{n+1} \biggr)^{\gamma}}}\biggr){{({{u}_{n}}-{{u}_{n+1}})}^{+}} \le0, $$

(3.6)

we have

$$0\le \int_{\Omega}{{{ \bigl\vert \nabla_{\mathbb {H}}{{({{u}_{n}}-{{u}_{n+1}})}^{+}} \bigr\vert }^{2}}}\le0, $$

which implies ${({{u}_{n}}-{{u}_{n+1}})^{+}}=0$ a.e. in Ω, that is, ${u}_{n}\leq{u}_{n+1}$, so $\{u_{n}\}$ is nondecreasing.

Noting that ${{u}_{1}}\in{{L}^{\infty}}(\Omega)$ by Lemma 3.1 and using Lemma 2.1 to the equation $-{{\Delta }_{\mathbb{H}}}{{u}_{1}}=\frac{1}{{{({{u}_{1}}+1)}^{\gamma}}}\le1$, we get that there exists a constant $C>0$, only depending on Ω and Q, such that ${{ \Vert {{u}_{1}} \Vert }_{{{L}^{\infty }}(\Omega)}}\le C$ and

$$-{{\Delta}_{\mathbb{H}}} {{u}_{1}}=\frac{1}{{{({{u}_{1}}+1)}^{\gamma }}}\ge \frac{1}{{{({{ \Vert {{u}_{1}} \Vert }_{{{L}^{\infty }}(\Omega)}}+1)}^{\gamma}}}\ge\frac{1}{{{(C+1)}^{\gamma}}}. $$

Lemma 2.3 implies that $u_{1}>0$ in Ω, and then (3.4) also holds for $u_{1}$. By the monotonicity of $u_{n}$, (3.4) holds for $u_{n}$. □

Remark 3.1

Using (3.4), it follows that

$$-{{\Delta}_{\mathbb{H}}} {{u}_{n}}=\frac{1}{{{({{u}_{n}}+\frac {1}{n})}^{\gamma}}}\le \frac{1}{{{({{u}_{n}})}^{\gamma}}}\le\frac {1}{c}_{\omega}^{\gamma}, $$

and Lemma 2.1 yields

$$\sup_{\omega} {{u}_{n}}\le C. $$

Lemma 3.4

Let ${{u}_{n}}\in H_{0}^{1}(\Omega)$ be the solution to (1.3). Then ${{u}_{n}}$ is bounded if $0<\gamma\leq1$ and locally bounded if $\gamma>1$.

Proof

If $\gamma>1$, then by taking ${{u}_{n}}$ as the test function in (1.3) and using Lemma 3.3 we have

$$\int_{\Omega}{{{ \vert {{\nabla}_{\mathbb{H}}} {{u}_{n}} \vert }^{2}}}= \int_{\Omega}{(-{{\Delta}_{\mathbb {H}}} {{u}_{n}}){{u}_{n}}}= \int_{\Omega}{\frac {{{u}_{n}}}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}}\le \int_{\Omega }{\frac{1}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma-1}}}\le\frac{ \vert \Omega \vert }{{c}_{\omega}^{\gamma-1}}}. $$

This shows that ${{u}_{n}}$ is locally bounded. For $0<\gamma\leq1$, choosing ${{u}_{n}}$ as the test function in (1.3) and using Hölder’s inequality, we get that

$$\begin{aligned} \int_{\Omega}{{{ \vert {{\nabla}_{\mathbb{H}}} {{u}_{n}} \vert }^{2}}} =& \int_{\Omega}{(-{{\Delta}_{\mathbb {H}}} {{u}_{n}}){{u}_{n}}}= \int_{\Omega}{\frac {{{u}_{n}}}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}}\le \int_{\Omega }{{u}_{n}^{1-\gamma}} \\ \le& \vert \Omega \vert ^{1-\frac{1}{m}}{{\biggl( \int _{\Omega}{{u}_{n}^{(1-\gamma)m}} \biggr)^{\frac{1}{m}}}},\quad m>1. \end{aligned}$$

(3.7)

If $\gamma=1$, then

$$\int_{\Omega}{{{ \vert {{\nabla}_{\mathbb{H}}} {{u}_{n}} \vert }^{2}}}= \int_{\Omega}{(-{{\Delta}_{\mathbb {H}}} {{u}_{n}}){{u}_{n}}}= \int_{\Omega}{\frac {{{u}_{n}}}{{{u}_{n}}+\frac{1}{n}}}\le \vert \Omega \vert . $$

If $0<\gamma<1$, the taking m in (3.7) satisfying ${{2}^{*}}=(1-\gamma)m$ and applying (2.7), we arrive at

$${\biggl( \int_{\Omega}{u}_{n}^{{{2}^{*}}}\biggr)^{\frac{1}{{{2}^{*}}}}} \le C{\biggl( \int _{\Omega}{{{ \vert {{\nabla}_{\mathbb{H}}} {{u}_{n}} \vert }^{2}}}\biggr)^{\frac{1}{2}}}\le C \vert \Omega \vert ^{1-\frac {1}{m}}{\biggl( \int_{\Omega}{{u}_{n}^{{{2}^{*}}}} \biggr)^{\frac{1}{2m}}}. $$

Since $\frac{1}{{{2}^{*}}}>\frac{1}{2m}$, this inequality implies ${{u}_{n}}\in{{L}^{{{2}^{*}}}}(\Omega)$. Using this estimate again together with (3.7), we have

$${{ \Vert {{\nabla}_{\mathbb{H}}} {{u}_{n}} \Vert }_{{{L}^{2}}(\Omega )}}\le C, $$

so that ${{u}_{n}}$ is bounded in $H_{0}^{1}(\Omega)$. □

Remark 3.2

Note that ${{u}_{n}}\in C(\overline{\Omega})$ since the right-hand side in (1.3) is nonsingular.

Lemma 3.5

Let ${{u}_{n}}\in{C}(\overline{\Omega} )\cap H_{0}^{1}(\Omega)$ ($\gamma\leq1$) and $u_{n}\in{C}(\overline{\Omega} )\cap H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$) be solutions to (1.3). If ${{u}_{n}}\leq({u}_{{{n}}})_{\lambda}$ on ∂Ω, then ${{u}_{n}}\leq({u}_{{{n}}})_{\lambda}$ in Ω with respect to t, and then ${{u}_{n}}<({u}_{{{n}}})_{\lambda}$ in Ω unless ${{u}_{n}}\equiv({u}_{{{n}}})_{\lambda}$.

Proof

Since ${{u}_{n}}$ satisfies (1.3) and ${\Delta}_{\mathbb{H}}$ is invariant under the H-reflection, we have

$$ -{{\Delta}_{\mathbb{H}}} {{({{u}_{n}})}_{\lambda}}= \frac {1}{{{({{({{u}_{n}})}_{\lambda}}+\frac{1}{n})}^{\gamma}}}. $$

(3.8)

Take positive functions ${{\phi}_{i}}\in C_{0}^{\infty}(\Omega)$, $\operatorname{supp}{{\phi}_{i}}\subseteq\operatorname {supp}{{(u_{n}-({u}_{n})_{\lambda})}^{+}}$, $i=1,2,3,\ldots $ , such that ${{\phi}_{i}}$ converges to ${{(u_{n}-({u}_{n})_{\lambda })}^{+}}$ in ${C}(\overline{\Omega} )\cap H_{0}^{1}(\Omega)$. Using ${{\phi}_{i}}$ as the test function in (3.8), we have by combining (1.3) that

$$\begin{aligned} 0 \leq&\lim_{i\rightarrow\infty} \int_{\Omega}{{{\nabla}_{\mathbb {H}}}\bigl({{u}_{n}}-{{({{u}_{n}})}_{\lambda}} \bigr)\cdot{{\nabla}_{\mathbb {H}}} {{\phi}_{i}}} \\ =&\lim_{i\rightarrow\infty} \int_{\Omega}{\bigl(-{{\Delta}_{\mathbb {H}}}\bigl({{u}_{n}}-{{({{u}_{n}})}_{\lambda}} \bigr)\bigr){{\phi}_{i}}} \\ =&\lim_{i\rightarrow\infty} \int_{\Omega}{\biggl(\frac{1}{{{({{u}_{n}}+\frac {1}{n})}^{\gamma}}}-\frac{1}{{{({{({{u}_{n}})}_{\lambda}}+\frac {1}{n})}^{\gamma}}}\biggr){{ \phi}_{i}}} \\ =& \int_{\Omega}{\frac{({{({{({{u}_{n}})}_{\lambda}}+\frac {1}{n})}^{\gamma}}-{{({{u}_{n}}+\frac{1}{n})}^{\gamma }}){{({{u}_{n}}-{{({{u}_{n}})}_{\lambda}})}^{+}}}{{{({{u}_{n}}+\frac {1}{n})}^{\gamma}}{{({{({{u}_{n}})}_{\lambda}}+\frac{1}{n})}^{\gamma }}}} \\ \le& 0. \end{aligned}$$

Then ${{({{u}_{n}}-{{({{u}_{n}})}_{\lambda}})}^{+}}=0$ a.e. in Ω, which implies by Lemma 2.3 that ${{u}_{n}}\leq ({u}_{{{n}}})_{\lambda}$ in Ω.

Assume that there exists $\xi_{0}\in\Omega$ such that ${{u}_{n}}({{\xi }_{0}})={{({{u}_{n}})}_{\lambda}}({{\xi}_{0}})$ and let $R=R({{\xi}_{0}})>0$ be such that $B({{\xi}_{0}},R)\Subset\Omega$. We have that

$$ -{{\Delta}_{\mathbb{H}}}\bigl({{u}_{n}}-{{({{u}_{n}})}_{\lambda}} \bigr)=\frac {1}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}-\frac {1}{{{({{({{u}_{n}})}_{\lambda}}+\frac{1}{n})}^{\gamma}}} \quad \mbox{in } B({{ \xi}_{0}},R) $$

(3.9)

in the distribution sense. Since ${{u}_{n}}({{\xi}_{0}})>0$, we can assume that ${{u}_{n}}>0$ in $B({{\xi}_{0}},R)$ for small R. By Lemma 3.3, ${{u}_{n}}\ge{{c}_{B({{\xi}_{0}},R)}}>0$. Therefore,

$$\frac{1}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}-\frac {1}{{{({{({{u}_{n}})}_{\lambda}}+\frac{1}{n})}^{\gamma}}}=c(\zeta ) \bigl({{u}_{n}}-{{({{u}_{n}})}_{\lambda}} \bigr), $$

where $c(\zeta)=\frac{-\gamma}{{{\zeta}^{\gamma+1}}}$ with ζ between ${{u}_{n}}+\frac{1}{n}$ and ${{({{u}_{n}})}_{\lambda}}+\frac {1}{n}$. We see that $c(\zeta)$ is bounded by using ${{u}_{n}}\ge {{c}_{B({{\xi}_{0}},R)}}$. Thus there exists a positive constant $\Lambda\ge \vert c(\zeta) \vert $ such that

$$\frac{1}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}}-\frac {1}{{{({{({{u}_{n}})}_{\lambda}}+\frac{1}{n})}^{\gamma}}}+\Lambda w\ge0 \quad \mbox{in } B({{ \xi}_{0}},R). $$

Putting this into (3.9), we have

$$-{{\Delta}_{\mathbb{H}}}\bigl({{u}_{n}}-{{({{u}_{n}})}_{\lambda}} \bigr)+\Lambda \bigl({{u}_{n}}-{{({{u}_{n}})}_{\lambda}} \bigr)\ge0 \quad \mbox{in } B({{\xi}_{0}},R). $$

By Lemma 2.3 this implies that ${{u}_{n}}\equiv ({u}_{{{n}}})_{\lambda}$ in $B({{\xi}_{0}},R)$. The usual covering argument shows that ${{u}_{n}}\equiv({u}_{{{n}}})_{\lambda}$ in Ω. □

4 Solutions to (1.2)

In this section, we get the regularity of solutions to (1.2) by using results to (1.3). Also, we obtain the monotonicity of cylindrical solutions to (1.2). The gradient estimate and Harnack inequality for classical solutions to (1.2) are provided by calculating the Harnack quantity, which is similar to Li [27] and Ma and Wei [28].

4.1 Regularity and symmetry of solutions to (1.2)

Lemma 4.1

Problem (1.2) allows a unique nonnegative solution $u\in H_{0}^{1}(\Omega)$ ($\gamma\leq1$) or $u\in H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$), and (3.4) is true for $u_{0}$, that is, $u_{0}(\xi)\geq c_{\omega}$ for $\xi\in\omega\subset\subset\Omega$.

Proof

For every n, since the solution ${{u}_{n}}\in H_{0}^{1}(\Omega)$ to (1.3) is bounded by Lemma 3.4 and ${{u}_{n}}$ converges pointwise to ${{u}_{0}}$ in Ω by Remark 3.1, it follows that ${{u}_{n}}$ converges weakly to ${{u}_{0}}$ in $H_{0}^{1}(\omega )$, $\omega\Subset\Omega$, that is, for any $\varphi\in C_{0}^{1}(\Omega )$ such that $\operatorname{supp}\varphi=\omega$,

$$ \lim_{n\to\infty} \int_{\omega}{{{\nabla }_{\mathbb{H}}} {{u}_{n}}\cdot{{ \nabla}_{\mathbb{H}}}\varphi}= \int _{\omega}{{{\nabla}_{\mathbb{H}}} {{u}_{0}} \cdot{{\nabla}_{\mathbb {H}}}\varphi}. $$

(4.1)

Noting that ${{u}_{n}}$ satisfies (3.4), we have that, for any $\varphi\in C_{0}^{1}(\Omega)$,

$$0\le \biggl\vert \frac{\varphi}{{{({{u}_{n}}+\frac{1}{n})}^{\gamma}}} \biggr\vert \le\frac{{{ \Vert \varphi \Vert }_{{{L}^{\infty}}(\Omega )}}}{{c}_{\omega}^{\gamma}}. $$

By Lebesgue’s dominated convergence theorem,

$$ \lim_{n\to\infty} \int_{\Omega}{\frac{\varphi }{{({{u}_{n}}+\frac{1}{n})^{\gamma}}}= \int_{\Omega}{\frac{\varphi }{{u}_{0}^{\gamma}}}}. $$

(4.2)

This implies by (4.1) and (4.2) that problem (1.2) has a solution ${{u}_{0}}$.

Using ${{u}_{n}}\ge{{c}_{\omega}}$ on $\omega\Subset\Omega$, this yields ${{u}_{0}}\ge0$ in Ω. The uniqueness can be proved as in the proof of Lemma 3.2. □

For the equation ${{\Delta}_{\mathbb{H}}}z=0$ in Ω, by [29] we have $z\in {{C}^{2}}(\Omega)$.

Lemma 4.2

If ∂Ω satisfies the Wiener criterion and ${{z}_{1}}\in H_{0}^{1}(\Omega)\cap{{C}^{2}}(\Omega)$ solves

$$-{{\Delta}_{\mathbb{H}}} {{z}_{1}}=1 \quad \textit{in } \Omega, $$

then ${{z}_{1}}\in{C}(\overline{\Omega} )$ is positive with ${{ {{z}_{1}}|}_{\partial\Omega}}=0$.

Proof

Let ${{z}_{2}}(\xi)=\frac{{x}_{1}^{2}}{2}$. Then ${{\Delta}_{\mathbb {H}}}{{z}_{2}}=1$. Since ∂Ω satisfies the Wiener criterion, it follows by [13] (p. 1158) that there exists $z\in C(\overline{\Omega} )\cap{{C}^{2}}(\Omega)$ such that

$${{\Delta}_{\mathbb{H}}}z=0 \quad \mbox{in } \Omega \quad \mbox{and} \quad {{{{z}}|}_{\partial\Omega}}=z_{2}. $$

We easily see that $z-{{z}_{2}}\in H_{0}^{1}(\Omega)\cap {{C}^{2}}(\Omega)$ satisfies

$$-{{\Delta}_{\mathbb{H}}}(z-{z}_{2})=1 \quad \mbox{in } \Omega, $$

and therefore ${{z}_{1}}=z-{{z}_{2}}\in{C}(\overline{\Omega} )$ is the required function with $z_{1}>0$ and ${{ {{z}} |}_{\partial \Omega}}=0$. □

Lemma 4.3

If ∂Ω satisfies the Wiener criterion, then there exists a solution ${{u}_{0}}$ to problem (1.2), and ${{u}_{0}}\in {C}(\overline{\Omega} )$.

Proof

Taking ${u}_{0}^{*}={((\gamma+1){{z}_{1}})^{\frac{1}{\gamma+1}}}$, we have by Lemma 4.2 that

$$\begin{aligned} & {{\Delta}_{\mathbb{H}}} {u}_{0}^{*} + \bigl({u}_{0}^{*}\bigr)^{-\gamma} \\ &\quad =-\gamma{\bigl((\gamma+1){{z}_{1}}\bigr)^{\frac{-2\gamma-1}{\gamma +1}}} {{ \vert {{\nabla}_{\mathbb{H}}} {{z}_{1}} \vert }^{2}}+{{\bigl((\gamma+1){{z}_{1}}\bigr)}^{\frac{-\gamma}{\gamma+1}}} {{\Delta }_{\mathbb{H}}} {{z}_{1}}+{{\bigl((\gamma+1){{z}_{1}} \bigr)}^{\frac{-\gamma }{\gamma+1}}} \\ &\quad ={-}\gamma{{\bigl((\gamma+1){{z}_{1}}\bigr)}^{\frac{-2\gamma-1}{\gamma +1}}} {{ \vert {{\nabla}_{\mathbb{H}}} {{z}_{1}} \vert }^{2}}\le0. \end{aligned}$$

(4.3)

Noting that ${{u}_{0}}$ is nonnegative, we know by (4.3) that

$$0\le{{u}_{0}}\le{u}_{0}^{*}={{\bigl(( \gamma+1){{z}_{1}}\bigr)}^{\frac {1}{\gamma+1}}}, $$

that is, ${{u}_{0}^{*}}$ and 0 are the super- and subsolutions of (1.2), respectively. This implies the existence of a solution ${{u}_{0}}$ to (1.2). Using ${{z}_{1}}\in{C}(\overline{\Omega} )$ in Lemma 4.2, we have ${{u}_{0}}\in{C}(\overline{\Omega} )$. □

Lemma 4.4

If ∂Ω satisfies the Wiener criterion, ${{u}_{0}}\in {C}(\overline{\Omega} )\cap H_{0}^{1}(\Omega)$ ($\gamma\leq1$) or $u_{0}\in{C}(\overline{\Omega} )\cap H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$) is a cylindrical solution to problem (1.2), then for any ${{\lambda}_{0}}<\lambda<{{\lambda}_{1}}$, we have

$$ {{u}_{0}}(\xi)< {({u}_{{{0}}})}_{\lambda}( \xi)\quad \textit{for all } \xi \in{{\Sigma}_{\lambda}} $$

(4.4)

with respect to t.

Proof

Step 1. Suppose that λ is sufficiently close to $\lambda_{0}$. Then by Lemma 3.3 we have that $u_{n}>0$ in ${\Sigma}_{\lambda}$, and then $u_{n}\leq({u_{n}})_{\lambda}$ on $\partial{\Sigma }_{\lambda}$. Since $u_{n}=({u_{n}})_{\lambda}$ on the hyperplane $T_{\lambda}$, it follows that $u_{n}\leq ({u_{n}})_{\lambda}$ in ${{\Sigma}_{\lambda}}$, and then $u_{n}<({u_{n}})_{\lambda}$ on ${{\Sigma}_{\lambda}}$ by Lemma 3.5.

Step 2. Since Step 1 provides a starting point, we can move the plane $T_{\lambda}$ to the right keeping $u_{n}\leq ({u_{n}})_{\lambda}$ on ${{\Sigma}_{\lambda}}$ until its limiting position $\lambda_{1}$. Denoting

$$\overline{\lambda}=\sup \bigl\{ \lambda| u_{n}\leq ({u_{n}})_{\lambda}\mbox{ in }{{\Sigma}_{\mu}}, \mu\le\lambda \bigr\} , $$

we claim that $\overline{\lambda}=\lambda_{1}$. Indeed, suppose $\overline{\lambda}<\lambda_{1}$; we will show that the plane $T_{\lambda}$ can be moved further to the right or, to be more rigorous, there exists $\varepsilon>0$ such that, for any $\lambda\in (\overline{\lambda},\overline{\lambda}+\varepsilon)$,

$$ u_{n}\leq({u_{n}})_{\lambda}. $$

(4.5)

This is a contradiction to the definition of λ̅. Hence $\overline{\lambda}=\lambda_{1}$.

To prove (4.5), we separate ${{\Sigma}_{\overline{\lambda }+\varepsilon}}$ into two parts, ${{\Sigma}_{\overline{\lambda }-\varepsilon}}$ and ${{\Sigma}_{\overline{\lambda}+\varepsilon }}\setminus {{\Sigma}_{\overline{\lambda}-\varepsilon}}$ for $\varepsilon>0$.

Clearly, ${{({{u}_{n}})}_{{\bar{\lambda}}}}-{{u}_{n}}\ge {{c}_{\varepsilon}}>0$ in ${{\Sigma}_{\overline{\lambda}-\varepsilon }}$ for any $\varepsilon>0$. Since ${{({{u}_{n}})}_{\lambda }}-{{u}_{n}}$ depends continuously on λ, there exists $\varepsilon>0$ sufficiently small such that, for all $\lambda\in (\overline{\lambda},\overline{\lambda}+\varepsilon)$, we have

$$ {{({{u}_{n}})}_{\lambda}}-{{u}_{n}}\ge0 \quad \mbox{in } {{\Sigma }_{\overline{\lambda}-\varepsilon}}. $$

(4.6)

On the other hand, since ${{({{u}_{n}})}_{\lambda}}-{{u}_{n}}\ge0$ on $\partial({{\Sigma}_{\overline{\lambda}+\varepsilon}} \setminus {{\Sigma}_{\overline{\lambda}-\varepsilon}})$ for fixed $\varepsilon >0$, it follows by Lemma 3.5 that

$$ {{({{u}_{n}})}_{\lambda}}-{{u}_{n}}\ge0 \quad \mbox{in } {{\Sigma }_{\overline{\lambda}+\varepsilon}} \setminus {{\Sigma}_{\overline {\lambda}-\varepsilon}}. $$

(4.7)

Combining (4.6) and (4.7), we prove (4.5).

Using the equality $\overline{\lambda}=\lambda_{1}$ and the convergence of $u_{n}$ to $u_{0}$ a.e., we get that ${{u}_{0}}\le {{({{u}_{0}})}_{\lambda}}$ on ${{\Sigma}_{\lambda}}$. So (4.4) is proved by Lemma 2.3. □

4.2 Harnack inequality for a solution to (1.2)

Results in the subsection are not used in the sequel, but they are of independent interest.

Lemma 4.5

Let ${{u}_{0}}\in{C}^{3}(\Omega)$ be a positive solution to (1.2). Then, for any $R=R({{\xi}_{0}})>0$, ${{\xi}_{0}}\in\Omega$, and $B({{\xi}_{0}},2R)\subset\Omega$, there exists a positive constant $C=C(R)$ such that

$$ {{ \vert {{\nabla}_{\mathbb{H}}} {{u}_{0}} \vert }^{2}}\le C{u}_{0}^{2} \quad \textit{in } B({{ \xi}_{0}},R). $$

(4.8)

Proof

Let $w_{0}=\log{{u}_{0}}$. Then

$$ {{\nabla}_{\mathbb{H}}}w_{0}={u}_{0}^{-1}{{ \nabla}_{\mathbb{H}}} {{u}_{0}} $$

(4.9)

and

$$ {{\Delta}_{\mathbb{H}}}w_{0}=-{{ \vert {{ \nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}- \frac{1}{{u}_{0}^{\gamma+1}}. $$

(4.10)

Taking a smooth cut-off function ϕ with $\phi=1$ in $B(\xi_{0},R)$ and $\phi=0$ outside $B(\xi_{0},2R)$, define

$$P=\phi{{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}, $$

which as usual is called the Harnack quantity.

At the maximum point of P, we have ${\nabla}_{\mathbb{H}}P=0$ and ${\Delta}_{\mathbb{H}}P\leq0$. Then

$$\begin{aligned}& {{\nabla}_{\mathbb{H}}}\bigl({{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}\bigr)=-{{\phi}^{-1}} {{\nabla}_{\mathbb{H}}} \phi{{ \vert {{\nabla }_{\mathbb{H}}}w_{0} \vert }^{2}}=-{{\phi}^{-2}}P{{\nabla}_{\mathbb {H}}}\phi, \end{aligned}$$

(4.11)

$$\begin{aligned}& {{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}} {{\Delta}_{\mathbb {H}}}\phi+2{{\nabla}_{\mathbb{H}}}\phi \cdot{{\nabla}_{\mathbb {H}}}\bigl({{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}\bigr)+\phi{{\Delta }_{\mathbb{H}}}\bigl({{ \vert {{ \nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}\bigr)\le0. \end{aligned}$$

(4.12)

Using the basic formula

$$ {{\Delta}_{\mathbb{H}}} {{ \vert {{\nabla}_{\mathbb{H}}}v \vert }^{2}}=2\bigl(({{\nabla}_{\mathbb{H}}} {{ \Delta}_{\mathbb{H}}}v,{{\nabla }_{\mathbb{H}}}v)+{{ \bigl\vert {D}_{\mathbb{H}}^{2}v \bigr\vert }^{2}}\bigr), $$

(4.13)

for any smooth function v in $\mathbb{H}^{n}$, it follows

$$ \phi{{\Delta}_{\mathbb{H}}}\bigl({{ \vert {{ \nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}\bigr)=2\phi({{ \nabla}_{\mathbb{H}}} {{\Delta}_{\mathbb {H}}}w_{0},{{ \nabla}_{\mathbb{H}}}w_{0})+2\phi{{ \bigl\vert {D}_{\mathbb {H}}^{2}w_{0} \bigr\vert }^{2}}. $$

(4.14)

Let us estimate the right-hand side in (4.14). For the first term, we have

$$\begin{aligned} 2\phi({{\nabla}_{\mathbb{H}}} {{\Delta}_{\mathbb{H}}}w_{0},{{ \nabla }_{\mathbb{H}}}w_{0})&=2\phi\biggl({{\nabla}_{\mathbb{H}}} \biggl(-{{ \vert {{\nabla }_{\mathbb{H}}}w_{0} \vert }^{2}}-\frac{1}{{u}_{0}^{\gamma +1}}\biggr),{{\nabla}_{\mathbb{H}}}w_{0} \biggr) \\ & =-2\phi\bigl({{\nabla}_{\mathbb{H}}}\bigl({{ \vert {{\nabla}_{\mathbb {H}}}w_{0} \vert }^{2}}\bigr),{{\nabla}_{\mathbb{H}}}w_{0} \bigr)+2(\gamma +1)\phi\biggl(\frac{{{\nabla}_{\mathbb{H}}}{{u}_{0}}}{{u}_{0}^{\gamma +2}},{{\nabla}_{\mathbb{H}}}w_{0} \biggr) \\ & =-2\phi\bigl(-{{\phi}^{-2}}P{{\nabla}_{\mathbb{H}}}\phi,{{\nabla }_{\mathbb{H}}}w_{0}\bigr)+2(\gamma+1)\phi\frac{{{ \vert {{\nabla}_{\mathbb {H}}}w_{0} \vert }^{2}}}{{u}_{0}^{\gamma+1}} \\ & =2{{\phi}^{-1}}({{\nabla}_{\mathbb{H}}}\phi,{{ \nabla}_{\mathbb {H}}}w_{0})P+\frac{2(\gamma+1)}{{u}_{0}^{\gamma+1}}P \\ &\ge-{{\phi}^{-1}} {{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}P-{{\phi}^{-1}} {{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}P+\frac{2(\gamma+1)}{{u}_{0}^{\gamma+1}}P \\ &=-{{\phi}^{-1}} {{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}P-{{\phi}^{-2}} {{P}^{2}}+ \frac{2(\gamma+1)}{{u}_{0}^{\gamma+1}}P. \end{aligned}$$

(4.15)

Due to (4.10), the second term of (4.14) satisfies

$$\begin{aligned} 2\phi{{ \bigl\vert {D}_{\mathbb{H}}^{2}w_{0} \bigr\vert }^{2}}&\ge2\phi{{ \vert {{\Delta}_{\mathbb{H}}}w_{0} \vert }^{2}} \\ & =2\phi{{ \biggl\vert -{{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}-\frac{1}{{u}_{0}^{\gamma+1}} \biggr\vert }^{2}} \\ & =2\phi{{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{4}}+\frac {4\phi{{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}}{{u}_{0}^{\gamma+1}}+\frac{2\phi}{{u}_{0}^{2(\gamma+1)}} \\ &\ge\frac{2}{\phi}{{P}^{2}}+\frac{4}{{u}_{0}^{\gamma+1}}P. \end{aligned}$$

(4.16)

Substituting (4.15) and (4.16) into (4.14), we obtain

$$ \phi{{\Delta}_{\mathbb{H}}}\bigl({{ \vert {{ \nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}\bigr)\ge- \frac{{{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}}{ \phi}P-\frac{ {{P}^{2}}}{{{\phi}^{2}}}+\frac{2\gamma +6}{{u}_{0}^{\gamma+1}}P+\frac{2}{\phi}{{P}^{2}}. $$

(4.17)

From (4.12), ${{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}=\frac{P}{\phi}$, (4.11), and (4.17) we have that

$$\begin{aligned} 0&\ge\phi{{\Delta}_{\mathbb{H}}}\bigl({{ \vert {{\nabla}_{\mathbb {H}}}w_{0} \vert }^{2}}\bigr)+\frac{{{\Delta}_{\mathbb{H}}}\phi}{\phi }P-\frac{2{{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}}{\phi }P \\ & \ge\frac{{{\Delta}_{\mathbb{H}}}\phi}{\phi}P-\frac{2{{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}}{\phi^{2} }P-\frac{{{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}}{ \phi}P- \frac {{{P}^{2}}}{{{\phi}^{2}}}+\frac{2\gamma+6}{{u}_{0}^{\gamma +1}}P+\frac{2}{\phi}{{P}^{2}}, \end{aligned}$$

(4.18)

and so

$$-\frac{{{\Delta}_{\mathbb{H}}}\phi}{\phi}+\frac{2{{ \vert {{\nabla }_{\mathbb{H}}}\phi \vert }^{2}}}{\phi^{2} }+\frac{{{ \vert {{\nabla }_{\mathbb{H}}}\phi \vert }^{2}}}{ \phi}-\frac{2\gamma +6}{{u}_{0}^{\gamma+1}}\ge \frac{2\phi-1}{\phi^{2} }P. $$

This gives

$$\frac{2\phi-1}{\phi^{2} }P\le-\frac{{{\Delta}_{\mathbb{H}}}\phi }{\phi}+\frac{2{{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}}{\phi^{2}}+\frac{{{ \vert {{\nabla}_{\mathbb{H}}}\phi \vert }^{2}}}{\phi} \quad \mbox{on } B(\xi_{0},2R). $$

Using the bounds $\vert {{\nabla}_{\mathbb{H}}}\phi \vert \le C{{R}^{-1}}$ and $\vert {{\Delta}_{\mathbb{H}}}\phi \vert \le C{{R}^{-2}}$, we get

$$ (2\phi-1)P\le-\phi{{\Delta}_{\mathbb{H}}}\phi+2{{ \vert {{ \nabla }_{\mathbb{H}}}\phi \vert }^{2}}+\phi{{ \vert {{ \nabla}_{\mathbb {H}}}\phi \vert }^{2}}\le\frac{C}{{{R}^{2}}}. $$

(4.19)

Since $\phi=1$ on $B({{\xi}_{0}},R)$, by (4.19) we have that

$$ {{ \vert {{\nabla}_{\mathbb{H}}}w_{0} \vert }^{2}}\le C(R) \quad \mbox{on } B(\xi_{0},R), $$

(4.20)

which implies (4.8). □

Theorem 4.6

Let ${{u}_{0}}\in{C}^{3}(\Omega)$ be a positive solution to (1.2). Then, for any $R=R({{\xi}_{0}})>0$, ${{\xi}_{0}}\in\Omega$, and $B({{\xi}_{0}},2R)\subset\Omega$, there exists $C=C(R)>0$ such that, for all $\xi,\eta\in B({{\xi}_{0}},\frac{R}{2})$,

$$ {{u}_{0}}(\xi)\le C{{u}_{0}}(\eta). $$

(4.21)

Proof

Let I be the shortest curve in $B({{\xi}_{0}},R)$ joining ξ to η. Then the length of I is clearly at most 2R. Integrating the quantity $\vert {{\nabla}_{\mathbb{H}}}\log{{u}_{0}} \vert $ along I yields

$$ \log{{u}_{0}}(\xi)-\log{{u}_{0}}(\eta)\le \int_{I }{ \vert {{\nabla }_{\mathbb{H}}} \log{{u}_{0}} \vert }. $$

(4.22)

Applying (4.20), we get

$$ \int_{I }{ \vert {{\nabla}_{\mathbb{H}}} \log{{u}_{0}} \vert }\le \int _{I}{C}\le C. $$

(4.23)

Now (4.21) is obtained from (4.22) and (4.23). □

5 Properties of w and proof of Theorem 1.1

In this section, we prove several properties of $w=u-u_{0}$. Similarly to [5], we provide two maximum principles; see Lemmas 5.2 and 5.4. The idea to check monotonicity is inspired by [5, 15].

Lemma 5.1

If ∂Ω satisfies the Wiener criterion, then the weak solution $u\in H_{0}^{1}(\Omega)$ ($\gamma\leq1$) or $u\in H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$) to problem (1.1) is positive, and ${u}\in{C}(\overline{\Omega} )$.

Proof

By the hypothesis $f\geq0$ we sees that u is a supersolution to the equation

$$-{{\Delta}_{\mathbb{H}}} {{u}_{0}}=\frac{1}{{u}_{0}^{\gamma}}. $$

Therefore, $u\ge{{u}_{0}}>0$ in Ω.

Since $u={{u}_{0}}+w$, it follows that $w\geq0$ in Ω. Due to (1.4), we have that w satisfies

$$ {{\Delta}_{\mathbb{H}}}w+\frac{1}{{{({{u}_{0}}+w)}^{\gamma }}}+f({{u}_{0}}+w)- \frac{1}{{u}_{0}^{\gamma}}=0 \quad \mbox{in } \Omega;\qquad w{{|}_{\partial\Omega}}=0. $$

(5.1)

Since the equation in (5.1) has no any singularity with respect to w, the continuity in Ω of w is clearly obtained; refer to [7, 8, 10] etc. Now we only need to check the continuity of w near the boundary ∂Ω.

Indeed, by the nonnegativity of f we easily get that ${{w}_{*}}=0$ is a subsolution to (5.1). Also, note that ${{w}^{{*}}}={{((\gamma+1){{z}_{1}})}^{\frac{1}{\gamma+1}}}$ satisfies

$${{\Delta}_{\mathbb{H}}} {{w}^{*}}+f\bigl({{u}_{0}}+{{w}^{*}} \bigr)\le0, $$

that is,

$$ -\gamma{{\bigl((\gamma+1){{z}_{1}}\bigr)}^{\frac{-2\gamma-1}{\gamma +1}}} {{ \vert {{\nabla}_{\mathbb{H}}} {{z}_{1}} \vert }^{2}}-{{\bigl((\gamma+1){{z}_{1}}\bigr)}^{\frac{-\gamma}{\gamma +1}}}+f \bigl({{u}_{0}}+{{\bigl((\gamma+1){{z}_{1}} \bigr)}^{\frac{1}{\gamma+1}}}\bigr)\le0 $$

(5.2)

near the boundary (${{z}_{1}}\to0$ at this moment), which yields

$$0\le w\le{{\bigl((\gamma+1){{z}_{1}}\bigr)}^{\frac{1}{\gamma+1}}} $$

near the boundary, and this shows that w is continuous near ∂Ω and then $w\in C(\overline{\Omega})$. Hence $u={{u}_{0}}+w\in C(\overline{\Omega})$. □

Lemma 5.2

Suppose that ∂Ω satisfies the Wiener criterion, ${u}\in {C}(\overline{\Omega} )\cap H_{0}^{1}(\Omega)$ ($\gamma\leq1$) or $u\in{C}(\overline{\Omega} )\cap H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$) is a solution to problem (1.1), f is locally Lipschitz continuous, $f(s)>0$ for any $s>0$, and $f(0)\geq0$. Then $u>u_{0}$ in Ω, and $w>0$ in Ω.

Proof

By contradiction assume that there exists ${{\xi}_{0}}\in\Omega$ such that

$$w({{\xi}_{0}})=u({{\xi}_{0}})-u_{0}({{ \xi}_{0}})=0. $$

Take $R=R({{\xi}_{0}})>0$ such that $B({{\xi}_{0}},R)\subset\subset \Omega$. Then

$$ -{{\Delta}_{\mathbb{H}}}w=-{{\Delta}_{\mathbb{H}}}u+{{\Delta }_{\mathbb{H}}} {{u}_{0}}=\frac{1}{{{({{u}_{0}}+w)}^{\gamma }}}+f(u)-\frac{1}{{u}_{0}^{\gamma}} \ge\frac {1}{{{({{u}_{0}}+w)}^{\gamma}}}-\frac{1}{{u}_{0}^{\gamma}} \quad \mbox{in } B({{ \xi}_{0}},R). $$

(5.3)

Since ${{u}_{0}}({{\xi}_{0}})>0$ by Lemma 4.1, we can assume that ${{u}_{0}}>0$ in $B({{\xi}_{0}},R)$. Since

$$\frac{1}{{{({{u}_{0}}+w)}^{\gamma}}}-\frac{1}{{u}_{0}^{\gamma }}=c(\xi) ({{u}_{0}}+w-{{u}_{0}})=c( \xi)w $$

and $\vert c(\xi) \vert \leq\Lambda$ for a positive constant Λ, it follows that

$$\frac{1}{{{({{u}_{0}}+w)}^{\gamma}}}-\frac{1}{{u}_{0}^{\gamma }}+\Lambda w\ge0 \quad \mbox{in } B({{ \xi}_{0}},R). $$

Combining this with (5.3), we get

$$-{{\Delta}_{\mathbb{H}}}w+\Lambda w\ge0 \quad \mbox{in } B({{ \xi}_{0}},R). $$

By Lemma 2.3 we have $w\equiv0$ in $B({{\xi}_{0}},R)$. The covering argument shows that $w\equiv0$ in Ω. Therefore $f\equiv 0$ by (5.3), which is impossible. □

Lemma 5.3

([5])

For $\gamma>0$, consider the function

$${{g}_{\gamma}}(a,b,c,d):={{a}^{\gamma}} {{(a+b)}^{\gamma }} {{(c+d)}^{\gamma}}+{{a}^{\gamma}} {{c}^{\gamma}} {{(c+d)}^{\gamma }}-{{c}^{\gamma}} {{(a+b)}^{\gamma}} {{(c+d)}^{\gamma}}-{{a}^{\gamma }} {{c}^{\gamma}} {{(a+b)}^{\gamma}}, $$

where $(a,b,c,d)\in D:= \{ (a,b,c,d)| 0\le a\le c;0\le d\le b \}\subset\mathbb{R}^{4}$. Then $g_{\gamma}\leq0$ in D.

Lemma 5.4

(Narrow region maximum principle)

Assume that ∂Ω satisfies the Wiener criterion and T is a hyperplane in $\mathbb{H}^{n}$. For $\lambda\in\mathbb{R}$, denote

$$\begin{aligned}& T_{\lambda}= \bigl\{ \xi=(x,y,t)\in\mathbb{H}^{n}| t=\lambda \bigr\} , \\& H= \bigl\{ \xi=(x,y,t)\in{{\mathbb{H}}^{n}}| t< \lambda \bigr\} . \end{aligned}$$

Let $\Omega'$ be a bounded narrow region in H contained in $\{ \xi\in\mathbb{H}^{n} | \lambda-l< t<\lambda \}$ with small $l>0$. Suppose that ${u}\in{C}(\overline{\Omega} )\cap H_{0}^{1}(\Omega)$ ($\gamma\leq1$) or $u\in{C}(\overline{\Omega} )\cap H_{\mathrm{loc}}^{1}(\Omega)$ ($\gamma> 1$) is a cylindrical solution to problem (1.1) and that f satisfies (F). If $w\leq w_{\lambda }$ on $\partial\Omega'$, then for a sufficiently small l, we have $w\leq w_{\lambda}$ in $\Omega'$ with respect to t. Furthermore, $w< w_{\lambda}$ in $\Omega'$, unless $w\equiv w_{\lambda}$.

Proof

Since u satisfies problem (1.1), we have in the distribution sense that

$$ -{{\Delta}_{\mathbb{H}}}({{u}_{0}}+w)= \frac {1}{{{({{u}_{0}}+w)}^{\gamma}}}+f({{u}_{0}}+w)\quad \mbox{in } \Omega, $$

(5.4)

and

$$ -{{\Delta}_{\mathbb{H}}}\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda }} \bigr)=\frac{1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma }}}+f\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}} \bigr) \quad \mbox{in } \Omega. $$

(5.5)

Also,

$$ -{{\Delta}_{\mathbb{H}}} {({u}_{{{0}}})}_{\lambda}= \frac {1}{{{({u}_{{{0}}})}_{\lambda}^{\gamma}}} \quad \mbox{in } \Omega, $$

(5.6)

and

$$\begin{aligned} {-}{{\Delta}_{\mathbb{H}}} {{w}_{\lambda}} =&{-}{{ \Delta}_{\mathbb {H}}}\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}} \bigr)+{{\Delta}_{\mathbb {H}}} {({u}_{{{0}}})}_{\lambda} \\ =& \frac{1}{{{({({u}_{{{0}}})}_{\lambda }+{{w}_{\lambda}})}^{\gamma}}}+f\bigl({({u}_{{{0}}})}_{\lambda }+{{w}_{\lambda}} \bigr)-\frac{1}{{{({u}_{{{0}}})}_{\lambda}^{\gamma }}} \quad \mbox{in } \Omega. \end{aligned}$$

(5.7)

Consider positive functions ${{\psi}_{i}}\in C_{0}^{\infty}({\Omega }')$ with $\operatorname{supp}{{\psi}_{i}}\subseteq\operatorname {supp}{{(w-{{w}_{\lambda}})}^{+}}$ and ${{\psi}_{i}}\rightarrow {{(w-{{w}_{\lambda}})}^{+}}\in H_{0}^{1}({\Omega}')$ in $H_{0}^{1}({\Omega}')$. Taking ${{\psi}_{i}}$ as the test function, by (5.1) and (5.7) we get that

$$\begin{aligned} & \int_{{{\Omega}'}}{{{\nabla}_{\mathbb{H}}}(w-{{w}_{\lambda}}) \cdot {{\nabla}_{\mathbb{H}}} {{\psi}_{i}}} \\ &\quad = \int_{{{\Omega}'}}{\bigl(-{{\Delta}_{\mathbb{H}}}(w-{{w}_{\lambda }}) \bigr){{\psi}_{i}}} \\ &\quad = \int_{{{\Omega}'}}{\biggl(\frac{1}{{{({{u}_{0}}+w)}^{\gamma }}}+f({{u}_{0}}+w)- \frac{1}{{u}_{0}^{\gamma}}-\frac {1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma }}}-f\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}} \bigr)+\frac {1}{{({u}_{{{0}}})}_{\lambda}^{\gamma}}\biggr){{\psi}_{i}}} \\ &\quad = \int_{{{\Omega}'}}{\biggl(\frac{1}{{({u}_{{{0}}})}_{\lambda}^{\gamma }}-\frac{1}{{u}_{0}^{\gamma}}+ \frac{1}{{{({{u}_{0}}+w)}^{\gamma }}}-\frac{1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma }}}\biggr){{\psi}_{i}}} \\ &\qquad {}+ \int_{{{\Omega }'}}{\bigl(f({{u}_{0}}+w)-f \bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda }}\bigr)\bigr){{ \psi}_{i}}}. \end{aligned}$$

(5.8)

Note that ${{u}_{0}}\le{({u}_{{{0}}})}_{\lambda}$ in $\Omega'\cap H$ by Lemma 4.4 and that $w\geq w_{\lambda}$ on $\operatorname {supp}{{\psi}_{i}}$. Applying Lemma 5.3 with $a={{u}_{0}}$, $c={({u}_{{{0}}})}_{\lambda}$, $b=w$, and $d=w_{\lambda}$, we have

$$ \frac{1}{{({u}_{{{0}}})}_{\lambda}^{\gamma}}-\frac {1}{{u}_{0}^{\gamma}}+\frac{1}{{{({{u}_{0}}+w)}^{\gamma}}}- \frac {1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma}}}\le0. $$

(5.9)

Since f is locally Lipschitz continuous and nondecreasing, it follows that (5.8) and (5.9) imply

$$\begin{aligned} \begin{aligned}[b] \int_{{{\Omega}'}}{{{\nabla}_{\mathbb{H}}}(w-{{w}_{\lambda}}) \cdot {{\nabla}_{\mathbb{H}}} {{\psi}_{i}}} &\le \int_{{{\Omega}'}}{\bigl(f({{u}_{0}}+w)-f \bigl({({u}_{{{0}}})}_{\lambda }+{{w}_{\lambda}}\bigr)\bigr){{ \psi}_{i}}} \\ & \le \int_{{{\Omega}'}}{\bigl(f\bigl({({u}_{{{0}}})}_{\lambda }+w \bigr)-f\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}}\bigr) \bigr){{\psi }_{i}}} \\ &\le C \int_{{{\Omega}'}}{(w-{{w}_{\lambda}}){{\psi}_{i}}}. \end{aligned} \end{aligned}$$

(5.10)

Since ${\psi}_{i}$ converges to ${{(w-{{w}_{\lambda}})}^{+}}$, by Hölder’s inequality and Lemma 2.2 we have

$$\begin{aligned} \int_{{{\Omega}'}}{{{ \bigl\vert {{\nabla}_{\mathbb{H}}} {{(w-{{w}_{\lambda }})}^{+}} \bigr\vert }^{2}}}&\le C \int_{{{\Omega}'}}{{{ \bigl\vert {{(w-{{w}_{\lambda}})}^{+}} \bigr\vert }^{2}}} \\ & \le C \bigl\vert {\Omega}' \bigr\vert ^{\frac{Q}{2}}\biggl( \int_{{{\Omega }'}}{ \bigl\vert {{(w-{{w}_{\lambda}})}^{+}} \bigr\vert }^{\frac {2Q}{Q-2}}\biggr)^{\frac{Q-2}{Q}} \\ &\le C \bigl\vert {\Omega}' \bigr\vert ^{\frac{Q}{2}} \int_{{{\Omega}'}}{{{ \bigl\vert {\nabla}_{\mathbb{H}}{{(w-{{w}_{\lambda}})}^{+}} \bigr\vert }^{2}}}. \end{aligned}$$

(5.11)

Since $C \vert {\Omega}' \vert ^{\frac{Q}{2}}<1$ for sufficiently small l, it follows that

$$ \int_{{{\Omega}'}}{{{ \bigl\vert {{\nabla}_{\mathbb{H}}} {{(w-{{w}_{\lambda }})}^{+}} \bigr\vert }^{2}}}=0, $$

(5.12)

and then ${{(w-{{w}_{\lambda}})}^{+}}=0$, that is, $w\leq w_{\lambda}$ in $\Omega'$.

Assume that there exists ${{\xi}_{0}}\in{\Omega}'$ such that $w({{\xi}_{0}})={{w}_{\lambda}}({{\xi}_{0}})$. We have from (5.1) and (5.7) that

$$\begin{aligned} & {-} {{\Delta}_{\mathbb{H}}}({{w}_{\lambda}}-w) \\ &\quad =\biggl(\frac{1}{{u}_{0}^{\gamma}}-\frac{1}{{({u}_{{{0}}})}_{\lambda }^{\gamma}}+\frac{1}{{{({({u}_{{{0}}})}_{\lambda}+w)}^{\gamma }}}- \frac{1}{{{({{u}_{0}}+w)}^{\gamma}}}\biggr)+\frac {1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma}}}-\frac {1}{{{({({u}_{{{0}}})}_{\lambda}+w)}^{\gamma}}} \\ &\qquad {}+\bigl(f\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}} \bigr)-f({{u}_{0}}+w)\bigr). \end{aligned}$$

(5.13)

Noting that ${{u}_{0}}\le{({u}_{{{0}}})}_{\lambda}$ in $\Omega'$ by Lemma 4.4 and $w\leq w_{\lambda}$ in $\Omega'$ from the previous result,by the monotonicity of f we obtain that

$$ f\bigl({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}} \bigr)-f({{u}_{0}}+w)\ge0 \quad \mbox{in } \Omega'. $$

(5.14)

Applying Lemma 5.3 yields

$$ \frac{1}{{({u}_{{{0}}})}_{\lambda}^{\gamma}}-\frac {1}{{u}_{0}^{\gamma}}+\frac{1}{{{({{u}_{0}}+w)}^{\gamma}}}- \frac {1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma}}}\le 0 \quad \mbox{in } \Omega'. $$

(5.15)

Putting (5.14) and (5.15) into (5.13) shows that

$$ -{{\Delta}_{\mathbb{H}}}({{w}_{\lambda}}-w)\ge \frac {1}{{{({({u}_{{{0}}})}_{\lambda}+{{w}_{\lambda}})}^{\gamma}}}-\frac {1}{{{({({u}_{{{0}}})}_{\lambda}+w)}^{\gamma}}}. $$

(5.16)

Now similarly to the proof of Lemma 5.2, we derive that ${{w}_{\lambda}}-w\equiv0$ in $\Omega'$. □

Remark 5.1

In proving (5.11) and (5.12), although there is no Poincaré’s inequality on the narrow domain in ${\mathbb{H}}^{n}$, Sobolev’s inequality (2.7) and the fact that $\vert \Omega' \vert $ is small helps us to derive (5.12).

Lemma 5.5

If ∂Ω satisfies the Wiener criterion and ${u}\in H_{0}^{1}(\Omega)\cap{C}(\overline{\Omega} )$ ($\gamma\leq1$) or $u\in H_{\mathrm{loc}}^{1}(\Omega)\cap{C}(\overline{\Omega} )$ ($\gamma> 1$) is a cylindrical solution of problem (1.1), then, for any ${{\lambda}_{0}}<\lambda<{{\lambda}_{1}}$, we have

$$ w(\xi)< {{w}_{\lambda}}(\xi) $$

(5.17)

for $\xi\in{{\Sigma}_{\lambda}}$ with respect to t.

Proof

Step 1. If λ is sufficiently close to $\lambda_{0}$, we have $w>0$ in ${\Sigma}_{\lambda}$ by Lemma 5.2 and $w\leq{{w}_{\lambda}}$ on $\partial{\Sigma }_{\lambda}$. Since $w={{w}_{\lambda}}$ on the hyperplane $T_{\lambda}$, we get that $w\leq {{w}_{\lambda}}$ in ${{\Sigma}_{\lambda}}$, and then $w<{{w}_{\lambda}}$ on ${{\Sigma}_{\lambda}}$ by Lemma 5.4.

Step 2. Since Step 1 provides a starting point, we can move the plane $T_{\lambda}$ to the right keeping $w\leq{{w}_{\lambda}}$ on ${{\Sigma}_{\lambda}}$ to its limiting position $\lambda_{1}$. We let

$$\overline{\lambda}=\sup \{ \lambda| w\leq{{w}_{\mu }} \mbox{ in } {{ \Sigma}_{\mu}}, \mu\le\lambda \} $$

and claim that $\overline{\lambda}=\lambda_{1}$. Indeed, suppose $\overline{\lambda}<\lambda_{1}$; we will show that $T_{\lambda}$ can further be moved to the right, that is, there exists $\varepsilon>0$ such that, for any $\lambda\in(\overline{\lambda},\overline{\lambda }+\varepsilon)$,

$$ w\le{{w}_{\lambda}}. $$

(5.18)

This is a contradiction to the definition of λ̅. Hence $\overline{\lambda}=\lambda_{1}$.

Now we will prove that (5.18) holds on ${{\Sigma}_{\overline {\lambda}+\varepsilon}}$. Let us divide ${{\Sigma}_{\overline{\lambda }+\varepsilon}}$ into two parts: ${{\Sigma}_{\overline{\lambda }-\varepsilon}}$ and ${{\Sigma}_{\overline{\lambda}+\varepsilon }}\setminus {{\Sigma}_{\overline{\lambda}-\varepsilon}}$, where $\varepsilon>0$ is to be chosen.

Since ${{w}_{\lambda}}-w\ge{{c}_{\varepsilon}}>0$ in ${{\Sigma }_{\overline{\lambda}-\varepsilon}}$ and ${{w}_{\lambda}}-w$ depends continuously on λ, there exists $\varepsilon>0$ sufficiently small such that, for all $\lambda\in(\overline{\lambda},\overline {\lambda}+\varepsilon)$,

$$ {{w}_{\lambda}}-w\ge0 \quad \mbox{in } {{ \Sigma}_{\overline{\lambda }-\varepsilon}}. $$

(5.19)

On the other hand, since ${{w}_{\lambda}}-w\ge0$ on $\partial({{\Sigma }_{\overline{\lambda}+\varepsilon}} \setminus {{\Sigma}_{\overline {\lambda}-\varepsilon}})$ for $\varepsilon>0$ as before, we have by Lemma 5.4 that

$$ {{w}_{\lambda}}-w\ge0 \quad \mbox{in } {{ \Sigma}_{\overline{\lambda }+\varepsilon}} \setminus {{\Sigma}_{\overline{\lambda}-\varepsilon}}. $$

(5.20)

Combining (5.19) and (5.20), there follows (5.18).

Then $w\leq{{w}_{\lambda}}$ on ${{\Sigma}_{\lambda}}$. Using Lemma 5.4, we obtain $w< {{w}_{\lambda}}$ on ${{\Sigma}_{\lambda }}$, and now (5.17) is proved. □

Proof of Theorem 1.1

Lemma 4.4 and 5.5 imply (1.5). □

6 Conclusions

In this paper, we obtained the monotonicity of cylindrical solutions to the Dirichlet boundary value problem to singular semilinear subelliptic equation on the Heisenberg group. It is a generalization of the corresponding result in the classical Euclidean setting.

Declarations

Acknowledgements

The authors are grateful to anonymous reviewers for their careful reading of this paper and their insightful comments and suggestions, which improved the paper a lot.

Availability of data and materials

Not applicable.

Funding

This work is supported by the Natural Science Basic Research plan in Shaanxi Province of China (Grant No. 2016JM1023). The first author partially supported by NSFC (Grant No. 11471188) and the National Science Foundation for Young Scientists of China (Grant No. 11601427).

Authors’ contributions

Both authors read and approved the final manuscript.

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

Department of Applied Mathematics, Northwestern Polytechnical University, Xi’an, Shaanxi, 710129, P.R. China

References

Crandall, MG, Rabinowitz, PH, Tartar, L: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 2, 193-222 (1977) MathSciNetView ArticleMATHGoogle Scholar
Lazer, AC, McKenna, PJ: On a singular nonlinear elliptic boundary-value problem. Proc. Am. Math. Soc. 111, 721-730 (1991) MathSciNetView ArticleMATHGoogle Scholar
Boccardo, L, Orsina, L: Semilinear elliptic equations with singular nonlinearities. Calc. Var. Partial Differ. Equ. 37(3-4), 363-380 (2010) MathSciNetView ArticleMATHGoogle Scholar
Canino, A, Degiovanni, M: A variational approach to a class of singular semilinear elliptic equations. J. Convex Anal. 11(1), 147-162 (2004) MathSciNetMATHGoogle Scholar
Canino, A, Grandinetti, M, Sciunzi, B: Symmetry of solutions of some semilinear elliptic equations with singular nonlinearities. J. Differ. Equ. 255, 4437-4447 (2013) MathSciNetView ArticleMATHGoogle Scholar
Birindelli, I, Prajapat, J: Nonlinear Liouville theorems in the Heisenberg group via the moving plane method. Commun. Partial Differ. Equ. 24(9-10), 1875-1890 (1999) MathSciNetView ArticleMATHGoogle Scholar
Xu, CJ: The Dirichlet problems for a class of semilinear sub-elliptic equations. Nonlinear Anal. 37(8), 1039-1049 (1999) MathSciNetView ArticleMATHGoogle Scholar
Yuan, Z, Yuan, G: Dirichlet problems for linear and semilinear sub-Laplace equations on Carnot groups. J. Inequal. Appl. 2012, 136 (2012) MathSciNetView ArticleMATHGoogle Scholar
Jerison, D: Boundary regularity in the Dirichlet problem for $\Box_{b}$ on CR manifolds. Commun. Pure Appl. Math. 36(2), 143-181 (1983) MathSciNetView ArticleMATHGoogle Scholar
Jerison, D: The Dirichlet problem for the Kohn Laplacian on the Heisenberg group, University Microfilms International (1980) Google Scholar
Danielli, D, Garofalo, N, Nhieu, DM: Notions of convexity in Carnot groups. Commun. Anal. Geom. 11(2), 263-342 (2003) MathSciNetView ArticleMATHGoogle Scholar
Montefalcone, F: Some relations among volume, intrinsic perimeter and one-dimensional restrictions of BV functions in Carnot groups. Adv. Math. 159(1), 51-67 (2005) MathSciNetMATHGoogle Scholar
Garofalo, N, Segala, F: Estimates of the fundamental solution and Wiener’s criterion for the heat equation on the Heisenberg group. Indiana Univ. Math. J. 39(4), 1155-1196 (1990) MathSciNetView ArticleMATHGoogle Scholar
Negrini, P, Scornazzani, V: Wiener criterion for a class of degenerate elliptic operators. J. Differ. Equ. 66(2), 151-164 (1987) MathSciNetView ArticleMATHGoogle Scholar
Chen, W, Li, C: Methods on Nonlinear Elliptic Equations. AIMS Book Series, vol. 4 (2010) MATHGoogle Scholar
Chen, W, Li, C: Classification of solutions of some nonlinear elliptic equations. Duke Math. J. 63(3), 615-622 (1991) MathSciNetView ArticleMATHGoogle Scholar
Chen, W, Li, C, Ou, B: Classification of solutions for an integral equation. Commun. Pure Appl. Math. 59(3), 330-343 (2006) MathSciNetView ArticleMATHGoogle Scholar
Gidas, B, Ni, WM, Nirenberg, L: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 68, 209-243 (1979) MathSciNetView ArticleMATHGoogle Scholar
Bonfiglioli, A, Lanconelli, E, Uguzzoni, F: Stratified Lie Groups and Potential Theory for Their Sub-Laplacians. Springer Monogr. Math. Springer, New York (2007) MATHGoogle Scholar
Bony, JM: Principe du Maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés. Ann. Inst. Fourier (Grenoble) 19, 277-304 (1969) MathSciNetView ArticleMATHGoogle Scholar
Folland, GB: Fundamental solution for subelliptic operators. Bull. Am. Math. Soc. 79, 373-376 (1979) MathSciNetView ArticleMATHGoogle Scholar
Hörmander, L: Hypoelliptic second order differential equations. Acta Math. 119, 147-171 (1967) MathSciNetView ArticleMATHGoogle Scholar
Birindelli, I, Cutrì, A: A semi-linear problem for the Heisenberg Laplacian. Rend. Semin. Mat. Univ. Padova 94, 137-153 (1995) MathSciNetMATHGoogle Scholar
Wu, ZQ, Yin, JX, Wang, CP: Elliptic and Parabolic Equations, pp. 107-109. Springer, Berlin (2006) View ArticleGoogle Scholar
Garofalo, N, Nhieu, DM: Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces. Commun. Pure Appl. Math. 49, 1081-1144 (1996) View ArticleMATHGoogle Scholar
Lu, GZ: Weighted Poincaré and Sobolev inequalities for vector fields satisfying Hörmander’s condition and applications. Rev. Mat. Iberoam. 8(3), 367-439 (1992) View ArticleMATHGoogle Scholar
Li, P: Geometric Analysis. Cambridge University Press, Cambridge (2012) View ArticleMATHGoogle Scholar
Ma, L, Wei, JC: Properties of positive solutions to an elliptic equation with negative exponent. J. Funct. Anal. 254(4), 1058-1087 (2008) MathSciNetView ArticleMATHGoogle Scholar
Tran, KD: Regularity of solutions for quasilinear subelliptic equations on Heisenberg group. Dissertations & Theses - Gradworks (2011) Google Scholar

Subelliptic equations with singular nonlinearities on the Heisenberg group

Theorem 1.1

Lemma 2.1

Lemma 2.2

Lemma 2.3

3 Solutions \(u_{n}\) to (1.3)

Lemma 3.1

Proof

Lemma 3.2

Proof

Lemma 3.3

Proof

Remark 3.1

Lemma 3.4

Proof

Remark 3.2

Lemma 3.5

Proof

4 Solutions to (1.2)

4.1 Regularity and symmetry of solutions to (1.2)

Lemma 4.1

Proof

Lemma 4.2

Proof

Lemma 4.3

Proof

Lemma 4.4

Proof

4.2 Harnack inequality for a solution to (1.2)

Lemma 4.5

Proof

Theorem 4.6

Proof

Lemma 5.1

Proof

Lemma 5.2

Proof

Lemma 5.3

Lemma 5.4

Proof

Remark 5.1

Lemma 5.5

Proof

Proof of Theorem 1.1

Acknowledgements

Availability of data and materials

Funding

Authors’ contributions

Ethics approval and consent to participate

Competing interests

Consent for publication