# Positive solutions of semilinear problems in an exterior domain of $$\mathbb{R}^{2}$$

## Abstract

The aim of this paper is to establish the existence and global asymptotic behavior of a positive continuous solution for the following semilinear problem:

$$\textstyle\begin{cases} -\Delta u(x)=a(x)u^{\sigma }(x), \quad x\in D, \\ u>0, \quad \text{in }D, \\ u(x)=0, \quad x\in \partial D, \\ \lim_{ \vert x \vert \rightarrow \infty }\frac{u(x)}{ \ln \vert x \vert }=0, \end{cases}$$

where $$\sigma <1$$, D is an unbounded domain in $$\mathbb{R}^{2}$$ with a compact nonempty boundary ∂D consisting of finitely many Jordan curves. As main tools, we use Kato class, Karamata regular variation theory and the Schauder fixed point theorem.

## Introduction

There are many papers which have been dedicated to resolving questions of existence, uniqueness and asymptotic behavior for solutions of semilinear/quasilinear elliptic equations of the form

$$\Delta u(x)+\varphi (x,u)=0,\quad x\in \varOmega ,$$
(1.1)

where Ω is either a bounded or unbounded domain of $$\mathbb{R}^{n}$$ ($$n\geq 2$$) (see, for instance, [1, 3, 5, 16, 20,21,22, 24, 25, 27,28,29, 32, 33, 37, 48, 49, 51, 52] and the references therein).

In [32, Theorem 3.2], Kusano and Swanson studied equation (1.1) for $$\varOmega =\varOmega_{T}:=\{x\in \mathbb{R}^{2}: \vert x \vert >T>1\}$$. Using the sub-super solution method, they have proved that equation (1.1) has a positive solution $$u(x)$$ such that $$\frac{u(x)}{\ln \vert x \vert }$$ is bounded and bounded away from zero in $$\varOmega_{T}$$ if

$$\phi \bigl( \vert x \vert ,u \bigr)\leq \varphi (x,u)\leq \varPhi \bigl( \vert x \vert ,u \bigr),\quad \text{for all }(x,u)\in \varOmega_{T} \times (0,\infty ),$$

where $$\phi (t,u)$$ and $$\varPhi (t,u)$$ are nonincreasing functions of u for each fixed $$t>0$$ with $$\int^{\infty }t\varPhi (t,c\ln t)\,dt<\infty$$, for some positive constant c.

Ufuktepe and Zhao [48, Theorem 1.1] considered (1.1) in the case $$\varOmega =D$$ is an unbounded domain in $$\mathbb{R}^{2}$$ with a compact nonempty boundary ∂D consisting of finitely many Jordan curves, $$\varphi (x,t)$$ is a Borel measurable function in $$\mathbb{R}^{2}\times {}[ 0,\infty )$$ continuous in the second variable for each fixed $$x\in \mathbb{R}^{2}$$ and satisfying

$$\bigl\vert \varphi (x,t) \bigr\vert \leq F(x,t),\quad (x,t)\in \mathbb{R}^{2}\times {}[ 0,\infty ),$$

where $$F(x,t)$$ is a positive, convex and continuously differentiable function in $$\mathbb{R}^{2}\times {}[ 0,\infty )$$ with $$F(x,0)=\frac{\partial }{\partial t}F(x,0)=0$$, and $$\frac{\partial }{ \partial t}F(x,\ln \vert x \vert +1)$$ belonging to the Kato class $$K_{2}^{\infty }(D)$$ (see ).

Then by using Brownian path integration and potential theory, they have proved that for a small $$\lambda >0$$, Eq. (1.1) has a positive solution $$u\in C(\overline{D})$$ satisfying $$u_{|_{\partial D}}=0$$ and $$\lim_{ \vert x \vert \rightarrow \infty }\frac{u(x)}{ \ln \vert x \vert }=\lambda$$.

In [37, Theorem 1.1], Mâagli and Mâatoug improved the result obtained in  by introducing a Kato class $$K(D)$$ (see Definition 1.1), which properly contains $$K_{2}^{\infty }(D)$$, and adopting weaker hypotheses on φ.

The class $$K(D)$$ has been proved to be very useful in the study of various existence and multiplicity results for large classes of elliptic boundary value problems (see, e.g., [39, 41, 51]).

In [51, Theorem 3.5], Zeddini proved that for $$\varOmega =\{x\in \mathbb{R}^{2}: \vert x \vert >1\}$$ and for each $$\lambda >0$$, Eq. (1.1) has a positive solution $$u\in C(\overline{ \varOmega })$$ satisfying $$u_{|_{\partial {\varOmega }}}=0$$ and $$\lim_{ \vert x \vert \rightarrow \infty }\frac{u(x)}{ \ln \vert x \vert }=\lambda$$, provided that φ is continuous and nonincreasing with respect to the second variable with $$\varphi (\cdot ,c)\in K(\varOmega )$$ for every $$c>0$$. Several estimates of a such solution have been also obtained.

In [26, Theorems 1.1 and 1.2], by combining variational methods with the geometrical feature, Filippucci et al. established existence and non-existence results for quasilinear elliptic problems with nonlinear boundary conditions and lack of compactness.

In [11, Theorem 1.2], by using sub-supersolution method, Chhetri et al. studied the existence of positive solutions of $$-\Delta_{p}u=K(x)\frac{f(u)}{u ^{\delta }}$$ in an exterior domain Ω of $$\mathbb{R}^{n}$$, $$u=0$$ on ∂Ω $$\lim_{ \vert x \vert \rightarrow \infty }u(x)=0$$, where $$\Delta_{p}u:= \operatorname{div}( \vert \nabla u \vert ^{p-2}\nabla u)$$ is the p-Laplacian with $$1< p< n$$ and $$0\leq \delta <1$$. The weight function $$K:\varOmega \rightarrow (0,\infty )$$ and the nonlinearity $$f:[0,\infty )\rightarrow (0,\infty )$$ satisfy the following hypotheses:

• There exists $$K^{\ast }>0$$ such that $$0< K(x)<\frac{K^{ \ast }}{ \vert x \vert ^{\alpha }}$$ for $$x\in \overline{ \varOmega }$$, where $$\alpha >n+\delta \frac{n-p}{p-1}$$.

• f is continuous and $$\lim_{s\rightarrow \infty }\frac{f(s)}{s^{p-1+\delta }}=0$$.

Sharp estimates have also been obtained. The uniqueness has also been proved under an additional assumption on f.

Recently, Carl et al.  considered Eq. (1.1) for $$\varOmega =\{x\in \mathbb{R}^{2}: \vert x \vert >1\}$$ with $$\varphi (x,u)=a(x)(\lambda u-g(u))$$, where $$\lambda >0$$, $$a:\varOmega \rightarrow \mathbb{R}$$ is measurable with $$\vert \operatorname{supp}(a) \vert >0$$ satisfying

$$0\leq a(x)\leq \frac{c}{ \vert x \vert ^{2+\alpha }},\quad \text{with }\alpha >0\text{ for some constant }c>0,$$

and the growth for the continuous nonlinearity $$g:\mathbb{R\rightarrow R}$$ at zero and at infinity is superlinear, which includes even exponential growth. By proving a Hopf-type lemma and employing the sub-supersolution method in the space $$D_{0}^{1,2}(\varOmega )$$, which is the completion of $$C_{c}^{\infty }(\varOmega )$$ with respect to the $$\Vert \nabla . \Vert _{2,\varOmega }$$-norm, they have proved the existence of extremal constant-sign solutions u in $$D_{0}^{1,2}(\varOmega )$$ for Eq. (1.1) subject to the boundary condition $$u=0$$ on ∂Ω. The obtained solutions are not decaying to zero at infinity, and instead are bounded away from zero.

In this paper, we will address the question of existence and global behavior of positive continuous solutions to the following nonlinear singular sublinear problem:

$$\textstyle\begin{cases} -\Delta u(x)=a(x)u^{\sigma }(x), \quad x\in D\text{ (in the distributional sense), } \\ u>0,\quad \text{in }D, \\ u(x)=0, \quad x\in \partial D, \\ \lim_{ \vert x \vert \rightarrow \infty }\frac{u(x)}{ \ln \vert x \vert }=0, \end{cases}$$
(1.2)

where $$\sigma <1$$, D is an unbounded domain in $$\mathbb{R}^{2}$$ with a compact nonempty boundary ∂D consisting of finitely many Jordan curves and the weight function $$a(x)$$ (which could be singular) is required to satisfy some adequate conditions related to the Karamata class (see Definition 1.3). In particular, we improve the sharp estimates obtained in . We emphasize that the use of Karamata regular variation theory has been suggested by Cîrstea and Rădulescu, [13,14,15,16,17] in the study of various qualitative and asymptotic properties of solutions of nonlinear differential equations. Since then, this setting became a powerful tool in describing the asymptotic behavior of solutions of large classes of nonlinear equations (see [3, 8,9,10, 18, 23, 27,28,29, 35, 36, 38, 43,44,45, 50, 53]).

Before stating our main result, we need to fix some notation.

### Notation

1. (i)

D is an unbounded domain in $$\mathbb{R}^{2}$$ with a compact nonempty boundary ∂D consisting of finitely many Jordan curves. That is, $$\overline{D}^{c}=\bigcup^{k}_{j=1}D _{j}$$, where $$(D_{j})$$ is a family of bounded domains satisfying:

• For $$i\neq j$$, $$\overline{D_{i}}\cap \overline{D_{j}}= \emptyset$$.

• For any $$j\in \{1,\dots ,k\}$$, there exists a continuous function $$f_{j}:[0,1]\rightarrow \mathbb{R}^{2}$$ with $$f_{j}(0)=f_{j}(1)$$ and $$f_{j}(t)\neq f_{j}(s)$$ for any $$0< t< s<1$$ such that $$\partial D_{j}=\{f_{j}(t), t\in [ 0,1)\}$$.

2. (ii)

For $$x\in D$$, $$\delta_{D}(x)$$ will denote the Euclidean distance from x to ∂D, $$\rho_{D}(x)=\frac{\delta_{D}(x)}{\delta _{D}(x)+1}$$ and $$\lambda_{D}(x)=\delta_{D}(x) ( \delta_{D}(x)+1 )$$.

3. (iii)

For $$x,y\in D$$, $$G_{D}(x,y)$$ will be the Green’s function of the Laplace operator $$u\rightarrow -\Delta u$$ in D with zero boundary Dirichlet condition.

4. (iv)

Let $$a\in \mathbb{R}^{2}\backslash \overline{D}$$ and $$r>0$$ such that $$\overline{B(a,r)}\subset \mathbb{R}^{2}\backslash \overline{D}$$. Then we have for $$x,y\in D$$,

$$G_{D}(x,y)=G_{\frac{D-a}{r}} \biggl(\frac{x-a}{r}, \frac{y-a}{r} \biggr)\quad \text{and}\quad \delta_{D}(x)=r \delta_{\frac{D-a}{r}} \biggl(\frac{x-a}{r} \biggr).$$

So without loss of generality, we may assume throughout this paper that $$\overline{B(0,1)}\subset \mathbb{R}^{2}\backslash \overline{D}$$.

5. (v)

For any two nonnegative functions f and g on a set S,

$$f ( x ) \approx g ( x ) ,\quad x\in S\quad \Longleftrightarrow\quad \exists c>0, \forall x\in S,\qquad \frac{1}{c}f(x)\leq g(x) \leq cf(x).$$
6. (vi)

For $$x\in D$$, let $$x^{\ast }=\frac{x}{ \vert x \vert ^{2}}$$ be the Kelvin inversion from $$D\cup \{\infty \}$$ onto $$D^{\ast }=\{x^{\ast }\in B(0,1): x\in D\cup \{\infty \}\}$$.

• From , $$D^{\ast }$$ is a regular bounded domain containing 0 and

$$G_{D}(x,y)=G_{D^{\ast }} \bigl(x^{\ast },y^{\ast } \bigr)\approx \ln \biggl(1+\frac{ \delta_{D^{\ast }}(x^{\ast })\delta_{D^{\ast }}(y^{\ast })}{ \vert x ^{\ast }-y^{\ast } \vert ^{2}} \biggr),\quad \text{for }x,y\in D.$$
(1.3)
• From [37, Lemma 2.1 and Proposition 2.3], we have

$$\textstyle\begin{cases} \delta_{D}(x)+1\approx \vert x \vert , & x\in D, \\ \rho_{D}(x)\approx \delta_{D^{\ast }}(x^{\ast }), & x\in D, \\ G_{D}(x,y)\approx \ln (1+\frac{\lambda_{D}(x)\lambda_{D}(y)}{ \vert x-y \vert ^{2}}), & x,y\in D. \end{cases}$$
(1.4)
7. (vii)

ω is a sufficiently large positive real number.

8. (viii)

$$\mathcal{B}(D)$$ be the set of Borel measurable functions in D and $$\mathcal{B}^{+}(D)$$ be the set of nonnegative ones.

9. (ix)

$$C(\overline{D})$$ is the set of all continuous functions in .

10. (x)

$$C_{0}(\overline{D}):=\{v\in C(\overline{D}), \lim_{x \rightarrow \xi \in \partial D}v(x)=0\mbox{ and }\lim_{ \vert x \vert \rightarrow \infty }v(x)=0\}$$. Note that $$C_{0}(\overline{D})$$ is a Banach space with the uniform norm $$\Vert v \Vert _{ \infty }:=\sup_{x\in D} \vert v(x) \vert$$.

11. (xi)

We define the potential kernel V on $$\mathcal{B}^{+} ( D )$$ by

$$Vf(x)= \int_{D}G_{D}(x,y)f(y)\,dy.$$

We recall that for any function $$f\in \mathcal{B}^{+} ( D )$$ such that $$f\in L_{\mathrm{loc}}^{1}(D)$$ and $$Vf\in L_{\mathrm{loc}}^{1}(D)$$, we have

$$-\Delta ( Vf ) =f \quad \text{in }D\text{ (in the distributional sense)}.$$
(1.5)

From [12, Lemma 2.9] or [42, Theorem 6.6], we know that for any function $$f\in \mathcal{B}^{+} ( D )$$ such that $$Vf(x_{0})<\infty$$ for some $$x_{0}\in D$$, we have $$Vf\in L_{\mathrm{loc}}^{1}(D)$$.

The letter C will be a generic positive constant which may vary from line to line.

### Definition 1.1

A Borel measurable function q belongs to the class $$K(D)$$ if q satisfies the following conditions:

$$\lim_{r\rightarrow 0}\sup_{x\in D} \int _{B(x,r)\cap D}\frac{ \rho_{D}(y)}{\rho_{D}(x)}G_{D}(x,y) \bigl\vert q(y) \bigr\vert \,dy=0$$

and

$$\lim_{M\rightarrow +\infty }\sup_{x\in D} \int_{( \vert y \vert \geq M)\cap D}\frac{ \rho_{D}(y)}{\rho_{D}(x)}G_{D}(x,y) \bigl\vert q(y) \bigr\vert \,dy=0.$$

### Remark 1.2

([37, Proposition 3.6])

Let $$\lambda ,\mu \in$$ $$\mathbb{R}$$. Then

$$x\rightarrow \vert x \vert ^{\lambda -\mu } \bigl( \delta (x) \bigr) ^{-\lambda }\in K(D)\quad \text{if and only if}\quad \lambda < 2< \mu .$$

### Definition 1.3

()

1. (i)

A function $$\mathcal{M}$$ defined on $$(0,\eta )$$, for some $$\eta >0$$, belongs to the Karamata class $$\mathcal{K}_{0}$$ if

$$\mathcal{M} ( t ) :=c\exp \biggl( \int_{t}^{\eta }\frac{v(s)}{s}\,ds \biggr),$$

where $$c>0$$ and $$v\in C([0,\eta ]))$$ with $$v(0)=0$$.

2. (ii)

A function $$\mathcal{M}$$ defined on $$[1,\infty )$$ belongs to the Karamata class $$\mathcal{K}_{\infty }$$ if

$$\mathcal{M} ( t ) :=c\exp \biggl( \int_{t}^{\eta }\frac{v(s)}{s}\,ds \biggr),$$

where $$c>0$$ and $$v\in C([1,\infty ))$$ with $$\lim_{t\rightarrow \infty }v(t)=0$$.

### Remark 1.4

1. (i)

The classes $$\mathcal{K}_{\infty }$$ and $$\mathcal{K}_{0}$$ are characterized respectively by

$$\mathcal{K}_{\infty }= \biggl\{ \mathcal{M}:[1,\infty )\longrightarrow ( 0, \infty ) , \mathcal{M}\in C^{1} \bigl([1,\infty)\bigr)\text{ and }\lim _{t\rightarrow \infty }\frac{t\mathcal{M}^{\prime }(t)}{ \mathcal{M}(t)}=0 \biggr\} ,$$

and, for some $$\eta >0$$,

$$\mathcal{K}_{0}= \biggl\{ \mathcal{M}:(0,\eta )\longrightarrow ( 0, \infty ) , \mathcal{M}\in C^{1} \bigl((0,\eta ) \bigr)\text{ and }\lim _{t \rightarrow 0^{+}} \frac{t\mathcal{M}^{\prime }(t)}{\mathcal{M}(t)}=0 \biggr\} .$$
2. (ii)

Observe that the map $$t\rightarrow \mathcal{M}(t)$$ belongs to $$\mathcal{K}_{\infty }$$ if and only if the map $$t\rightarrow \mathcal{M}(\frac{1}{t})$$, defined on $$(0,1]$$, belongs to $$\mathcal{K}_{0}$$.

Nontrivial examples of functions belonging to the class $$\mathcal{K} _{0}$$ (see [4, 40, 46, 47]) include

• $$\prod^{m}_{j=1}(\ln_{j}( \frac{\omega }{t}))^{\xi_{j}}$$, for any integer $$m\geq 1$$, $$\ln_{j}t= \ln \circ \ln \circ \cdots \circ \ln t$$ (j times), $$\xi_{j}\in \mathbb{R}$$. Such functions are frequently used as weight functions (see, for example,  and );

• $$\exp ( (-\ln t)^{\alpha } )$$ with $$\alpha \in (0,1)$$, $$t\in (0,1)$$.

The class $$\mathcal{K}_{\infty }$$ contains, for example, functions of the form $$\prod^{m}_{j=1}(\ln_{j}(\omega t))^{\xi_{j}}$$, where $$\xi_{j}\in \mathbb{R}$$.

Throughout this paper, we assume that the following conditions hold:

1. (H)

a is a positive continuous function in D such that

$$a(x)\approx \bigl(\rho_{D}(x) \bigr)^{-\lambda } \mathcal{L}_{0} \bigl(\rho_{D}(x) \bigr) \vert x \vert ^{-\mu }\mathcal{L}_{\infty } \bigl( \vert x \vert \bigr),\quad \text{for }x\in D,$$
(1.6)

where $$\sigma <1$$ and $$\lambda \leq 2\leq \mu$$.

Here,

• $$\mathcal{L}_{0}\in \mathcal{K}_{0}$$ defined on $$(0,\eta )$$ ($$\eta >1$$) is such that

$$\int_{0}^{\eta }s^{1-\lambda }\mathcal{L}_{0}(s) \,ds< \infty .$$
• $$\mathcal{L}_{\infty }(t):=\prod_{k=1}^{m} ( \ln_{k}(\omega t) ) ^{-\mu_{k}}$$, with $$\mu_{k}\in \mathbb{R}$$ satisfying

\begin{aligned}& \textstyle\begin{cases} \text{either }\mu_{1}>1+\sigma , \\ \text{or }\mu_{1}=1+\sigma \text{ and there exists }p\geq 2\text{ such that } \\ \mu_{2}=\cdots =\mu_{p-1}=1\text{ and }\mu_{p}>1. \end{cases}\displaystyle \end{aligned}

We introduce the function θ defined on D by

$$\theta (x):= \bigl(\rho_{D}(x) \bigr)^{\min (1,\frac{2-\lambda }{1-\sigma })} \bigl( \widetilde{\mathcal{L}}_{0} \bigl(\rho_{D}(x) \bigr) \bigr) ^{\frac{1}{1- \sigma }} \bigl( \widetilde{\mathcal{L}}_{\infty } \bigl( \vert x \vert \bigr) \bigr) ^{\frac{1}{1-\sigma }},$$
(1.7)

where $$\widetilde{\mathcal{L}}_{0}$$ is defined on $$(0,\eta )$$ by

$$\widetilde{\mathcal{L}}_{0}(t):=\textstyle\begin{cases} 1, & \text{if }\lambda < 1, \\ \int_{t}^{\eta }\frac{\mathcal{L}_{0}(s)}{s}\,ds, & \text{if }\lambda =1, \\ \mathcal{L}_{0}(t), & \text{if }1< \lambda < 2, \\ \int_{0}^{t}\frac{\mathcal{L}_{0}(s)}{s}\,ds, & \text{if }\lambda =2, \end{cases}$$

and $$\widetilde{\mathcal{L}}_{\infty }(t)=1$$, if $$\mu >2$$ and for $$\mu =2$$, $$\widetilde{\mathcal{L}}_{\infty }$$ is defined on $$[1,\infty )$$ as follows:

1. (i)

If $$\mu_{1}=1+\sigma$$, $$\mu_{2}=\cdots =\mu_{p-1}=1$$ and $$\mu_{p}>1$$,

$$\widetilde{\mathcal{L}}_{\infty }(t):= \bigl(\ln (\omega t) \bigr)^{1-\sigma } \bigl(\ln_{p}( \omega t) \bigr)^{1-\mu_{p}} \prod^{m}_{k=p+1} \bigl( \ln_{k}( \omega t) \bigr) ^{-\mu_{k}}.$$
2. (ii)

If $$1+\sigma <\mu_{1}<2$$,

$$\widetilde{\mathcal{L}}_{\infty }(t):= \bigl(\ln (\omega t) \bigr)^{2-\mu_{1}}\prod^{m}_{k=2} \bigl( \ln_{k}(\omega t) \bigr) ^{-\mu_{k}}.$$
3. (iii)

If $$\mu_{1}=2$$ and $$\mu_{i}=1$$, for $$2\leq i\leq m$$,

$$\widetilde{\mathcal{L}}_{\infty }(t):=\ln_{m+1}(\omega t).$$
4. (iv)

If $$\mu_{1}=2$$, $$\mu_{2}=\cdots =\mu_{l-1}=1$$ and $$\mu_{l}<1$$,

$$\widetilde{\mathcal{L}}_{\infty }(t):= \bigl(\ln_{l}(\omega t) \bigr)^{1-\mu_{l}}\prod^{m}_{k=l+1} \bigl( \ln_{k}(\omega t) \bigr) ^{-\mu_{k}}.$$
5. (v)

If ($$\mu_{1}=2$$, $$\mu_{2}=\cdots =\mu_{l-1}=1$$ and $$\mu_{l}>1$$) or $$\mu_{1}>2$$,

$$\widetilde{\mathcal{L}}_{\infty }(t):=1.$$

Using Karamata’s theory and the Schauder fixed point theorem, we prove our main result.

### Theorem 1.5

Let $$\sigma <1$$ and assume that function a satisfies assumption (H). Then problem (1.2) has at least one positive continuous solution u on D such that

$$\frac{1}{c}\theta (x)\leq u(x)\leq c\theta (x),$$
(1.8)

for $$x\in D$$ and where c is a positive constant.

### Remark 1.6

Since $$u\approx \theta$$, it is important to note that in the above cases (i)–(iv), $$\lim_{ \vert x \vert \rightarrow \infty }u(x)=\infty$$.

## Preliminaries and key tools

### Kato class$$K(D)$$

In this subsection, we recall and prove some properties related to the Kato class $$K(D)$$.

### Proposition 2.1

Let $$q\in K(D)$$, $$x_{0}\in \overline{D}$$, and let h be a positive superharmonic function in D. Then we have

1. (i)
\begin{aligned}& \lim_{r\rightarrow 0} \biggl( \sup_{\xi \in D} \frac{1}{h(\xi )} \int _{B(x_{0},r)\cap D}G_{D}(\xi ,y)h(y) \bigl\vert q(y) \bigr\vert \,dy \biggr) =0, \end{aligned}
(2.1)
\begin{aligned}& \lim_{M\rightarrow +\infty } \biggl( \sup_{x\in D} \frac{1}{h(\xi )} \int_{( \vert y \vert \geq M)\cap D}G_{D}(\xi ,y)h(y) \bigl\vert q(y) \bigr\vert \,dy \biggr) =0. \end{aligned}
(2.2)
2. (ii)

The potential Vq is bounded and the function $$x\mapsto \rho_{D}(x)q(x)$$ is in $$L^{1}(D)$$.

### Proof

See [37, Proposition 3.4 and Corollary 3.5]. □

### Lemma 2.2

Let $$M>0$$ and $$\alpha >0$$. Then there exists a constant $$C>0$$ such that for all $$x,y\in D$$ with $$\vert x-y \vert \geq \alpha$$, and $$\vert y \vert \leq M$$,

$$\frac{\ln (\omega \vert y \vert )}{\ln (\omega \vert x \vert )}G _{D}(x,y)\leq C\delta (y).$$

### Proof

Let $$x,y\in D$$ with $$\vert x-y \vert \geq \alpha$$, and $$\vert y \vert \leq M$$. Since $$\vert x \vert \geq 1$$, by using (1.4) and the fact that $$\ln (1+t)\leq t$$, for $$t\geq 0$$, we obtain

\begin{aligned} \frac{\ln (\omega \vert y \vert )}{\ln (\omega \vert x \vert )}G _{D}(x,y) \leq &C\frac{\lambda_{D}(x)\lambda_{D}(y)}{ \vert x-y \vert ^{2}} \\ \leq &C\frac{ ( \delta_{D}(x)+1 ) ^{2}}{ \vert x-y \vert ^{2}} \bigl(\delta_{D}(y) \bigr) \\ \leq &C \biggl[\sup_{ \vert x \vert \leq M+1}\frac{ ( \delta_{D}(x)+1 ) ^{2}}{\alpha^{2}}+\sup _{ \vert x \vert \geq M+1} \frac{ ( \delta_{D}(x)+1 ) ^{2}}{( \vert x \vert -M)^{2}} \biggr] \delta_{D}(y) \\ \leq &C\delta_{D}(y). \end{aligned}

□

### Proposition 2.3

Let $$q\in K(D)$$. Then the function

$$\vartheta (x):=\frac{1}{\ln (\omega \vert x \vert )} \int _{D}G_{D}(x,y)\ln \bigl(\omega \vert y \vert \bigr)q(y)\,dy$$

belongs to $$C_{0}(\overline{D})$$.

### Proof

Let $$\varepsilon >0$$, $$x_{0}\in \overline{D}$$ and $$q\in K(D)$$. Using Proposition 2.1 with $$h(x)=\ln (\omega \vert x \vert )$$, there exists $$r>0$$ such that

$$\sup_{\xi \in D}\frac{1}{\ln (\omega \vert \xi \vert )} \int _{B(x_{0},r)\cap D}G(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \leq \frac{\varepsilon }{8}$$

and

$$\sup_{\xi \in D}\frac{1}{\ln (\omega \vert \xi \vert )} \int_{( \vert y \vert \geq M)\cap D}G_{D}(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \leq \frac{\varepsilon }{8}.$$

If $$x_{0}\in D$$ and $$x\in B(x_{0},\frac{r}{2})\cap D$$, then we have

\begin{aligned} \bigl\vert \vartheta (x)-\vartheta (x_{0}) \bigr\vert \leq &2 \sup_{\xi \in D}\frac{1}{\ln (\omega \vert \xi \vert )} \int _{B(x_{0},r)\cap D}G_{D}(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \\ &{}+2\sup_{\xi \in D} \frac{1}{\ln (\omega \vert \xi \vert )} \int_{( \vert y \vert \geq M)\cap D}G_{D}(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \\ &{}+ \int _{D_{0}} \biggl\vert \frac{1}{\ln (\omega \vert x \vert )}G_{D}(x,y)- \frac{1}{ \ln (\omega \vert x_{0} \vert )}G_{D}(x_{0},y) \biggr\vert \ln \bigl( \omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \\ \leq &\frac{\varepsilon }{2}+ \int _{D_{0}} \biggl\vert \frac{1}{ \ln (\omega \vert x \vert )}G_{D}(x,y)- \frac{1}{\ln (\omega \vert x_{0} \vert )}G_{D}(x_{0},y) \biggr\vert \ln \bigl( \omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy, \end{aligned}

where $$D_{0}=D\cap B(0,M)\cap B^{c}(x_{0},r)$$.

By Lemma 2.2, there exists $$C>0$$ such that for all $$x\in B(x_{0},\frac{r}{2})\cap D$$ and $$y\in D_{0}$$,

$$\frac{\ln (\omega \vert y \vert )}{\ln (\omega \vert x \vert )}G _{D}(x,y) \bigl\vert q(y) \bigr\vert \leq C \delta (y) \bigl\vert q(y) \bigr\vert .$$

Moreover, $$(x,y)\mapsto \frac{1}{\ln (\omega \vert x \vert )}G_{D}(x,y)$$ is continuous on $$( B(x_{0},\frac{r}{2})\cap D ) \times D_{0}$$. Then by Proposition 2.1(ii) and Lebesgue’s dominated convergence theorem, we have

$$\lim_{x\rightarrow x_{0}} \int _{D_{0}} \biggl\vert \frac{1}{ \ln (\omega \vert x \vert )}G_{D}(x,y)- \frac{1}{\ln (\omega \vert x_{0} \vert )}G_{D}(x_{0},y) \biggr\vert \ln \bigl( \omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy=0.$$

That is, there exists $$\delta >0$$ with $$\delta <\frac{r}{2}$$ such that if $$x\in B(x_{0},\delta )\cap D$$ then

$$\int _{D_{0}} \biggl\vert \frac{1}{\ln (\omega \vert x \vert )}G_{D}(x,y)- \frac{1}{ \ln (\omega \vert x_{0} \vert )}G_{D}(x_{0},y) \biggr\vert \ln \bigl( \omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy\leq \frac{\varepsilon }{2}$$

and

$$\bigl\vert \vartheta (x)-\vartheta (x_{0}) \bigr\vert \leq \varepsilon .$$

This implies that

$$\lim_{x\rightarrow x_{0}}\vartheta (x)=\vartheta (x_{0}).$$

If $$x_{0}\in \partial D$$ and $$x\in B(x_{0},\frac{r}{2})\cap D$$, then we have

\begin{aligned} \bigl\vert \vartheta (x) \bigr\vert \leq &\sup_{\xi \in D} \frac{1}{ \ln (\omega \vert \xi \vert )} \int _{B(x_{0},r) \cap D}G_{D}(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \\ &{}+\sup_{\xi \in D}\frac{1}{\ln (\omega \vert \xi \vert )} \int_{( \vert y \vert \geq M)\cap D}G_{D}(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \\ &{}+ \int _{D_{0}} \frac{1}{\ln (\omega \vert x \vert )}G_{D}(x,y)\ln \bigl( \omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy. \end{aligned}

Now, since $$\lim_{x\rightarrow x_{0}}\frac{\ln (\omega \vert y \vert )}{\ln (\omega \vert x \vert )}G _{D}(x,y)=0$$, for all $$y\in D_{0}$$, we deduce by similar arguments as above that

$$\lim_{x\rightarrow x_{0}}\vartheta (x)=0.$$

It remains to prove that $$\lim_{ \vert x \vert \rightarrow \infty }\vartheta (x)=0$$. Indeed, let $$M>0$$ and $$x\in D$$ be such that $$\vert x \vert \geq M+1$$. Then we have

\begin{aligned} \bigl\vert \vartheta (x) \bigr\vert \leq &\sup_{\xi \in D} \frac{1}{ \ln (\omega \vert \xi \vert )} \int_{( \vert y \vert \geq M)\cap D}G _{D}(\xi ,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy \\ &{}+\frac{1}{\ln (\omega \vert x \vert )} \int_{( \vert y \vert \leq M) \cap D}G_{D}(x,y)\ln \bigl(\omega \vert y \vert \bigr) \bigl\vert q(y) \bigr\vert \,dy. \end{aligned}

Since $$\lim_{ \vert x \vert \rightarrow \infty }\frac{ \ln (\omega \vert y \vert )}{\ln (\omega \vert x \vert )}G _{D}(x,y)=0$$ uniformly for $$|y|\leq M$$, then from (2.2), Lemma 2.2, Proposition 2.1(ii) and Lebesgue’s dominated convergence theorem, we deduce that $$\lim_{ \vert x \vert \rightarrow \infty }\vartheta (x)=0$$.

Hence $$\vartheta \in C_{0}(\overline{D})$$. □

### Karamata class

In this section, we collect some properties of the Karamata functions, which will be used later.

### Lemma 2.4

(See )

1. (i)

If $$\mathcal{M}_{1},\mathcal{M}_{2}\in \mathcal{K}_{0}$$ (resp. $$\mathcal{K}_{\infty }$$) and $$\tau \in \mathbb{R}$$, then

$$\mathcal{M}_{1}^{\tau }, \mathcal{M}_{1} \mathcal{M}_{2}\textit{ and }\mathcal{M}_{1}+ \mathcal{M}_{2}\textit{ belong to }\mathcal{K}_{0}\ ( \textit{resp. }\mathcal{K}_{\infty }).$$
2. (ii)

Let $$\mathcal{M}\in \mathcal{K}_{0}$$ and $$\varepsilon >0$$. Then

$$\lim_{t\rightarrow 0^{+}}t^{\varepsilon }\mathcal{M}(t)=0\quad \textit{and} \quad \lim_{t\rightarrow 0^{+}}t^{-\varepsilon }\mathcal{M}(t)= \infty .$$
3. (iii)

Let $$\mathcal{M}\in \mathcal{K}_{\infty }$$ and $$\varepsilon >0$$. Then

$$\lim_{t\rightarrow \infty }t^{-\varepsilon }\mathcal{M}(t)=0\quad \textit{and} \quad \lim_{t\rightarrow \infty }t^{\varepsilon } \mathcal{M}(t)=\infty .$$

### Lemma 2.5

(See [40, 47])

Let $$\gamma \in \mathbb{R}$$, $$\mathcal{M}\in \mathcal{K}_{0}$$ and $$\mathcal{L}\in \mathcal{K}_{\infty }$$. Then

1. (i)

$$\int_{0}^{\eta }s^{\gamma }\mathcal{M}(s)\,ds$$ converges for $$\gamma >-1$$, and

$$\int_{0}^{t}s^{\gamma }\mathcal{M}(s)\,ds \mathop{\sim}_{t\rightarrow 0^{+}}\frac{t^{\gamma +1}\mathcal{M}(t)}{\gamma +1}.$$
2. (ii)

$$\int_{0}^{\eta }s^{\gamma }\mathcal{M}(s)\,ds$$ diverges for $$\gamma <-1$$, and

$$\int_{t}^{\eta }s^{\gamma }\mathcal{M}(s)\,ds \mathop{\sim}_{t\rightarrow 0^{+}}-\frac{t^{\gamma +1}\mathcal{M}(t)}{\gamma +1}.$$
3. (iii)

$$\int_{1}^{\infty }s^{\gamma }\mathcal{L}(s)\,ds$$ converges for $$\gamma <-1$$, and

$$\int_{t}^{\infty }s^{\gamma }\mathcal{L}(s)\,ds \mathop{\sim}_{t\rightarrow \infty }-\frac{t^{\gamma +1}\mathcal{L}(t)}{\gamma +1}.$$
4. (iv)

$$\int_{1}^{\infty }s^{\gamma }\mathcal{L}(s)\,ds$$ diverges for $$\gamma >-1$$, and

$$\int_{1}^{t}s^{\gamma }\mathcal{L}(s)\,ds \mathop{\sim}_{t\rightarrow \infty }\frac{t^{\gamma +1}\mathcal{L}(t)}{\gamma +1}.$$

### Lemma 2.6

(See )

Let $$\mathcal{M}\in \mathcal{K}_{0}$$. Then $$\lim_{t\rightarrow 0^{+}} \frac{\mathcal{M}(t)}{\int_{t}^{\eta }\frac{\mathcal{M}(s)}{s}\,ds}=0$$.

• In particular $$t\rightarrow \int_{t}^{\eta }\frac{\mathcal{M}(s)}{s}\,ds \in \mathcal{K}_{0}$$.

• If further $$\int_{0}^{\eta }\frac{\mathcal{M}(s)}{s}\,ds$$ converges, then $$\lim_{t\rightarrow 0^{+}}\frac{\mathcal{M}(t)}{\int_{0} ^{t}\frac{\mathcal{M}(s)}{s}\,ds}=0$$.

• In particular, $$t\rightarrow \int_{0}^{t}\frac{\mathcal{M}(s)}{s}\,ds \in \mathcal{K}_{0}$$.

We have the following similar properties related to the class $$\mathcal{K}_{\infty }$$.

### Lemma 2.7

(See )

Let $$\mathcal{L\in K}_{\infty }$$. Then $$\lim_{t\rightarrow \infty }\frac{\mathcal{L}(t)}{\int_{1}^{t}\frac{\mathcal{L}(s)}{s}\,ds}=0$$.

• In particular, $$t\rightarrow \int_{1}^{t+1}\frac{\mathcal{L}(s)}{s}\,ds \in \mathcal{K}_{\infty }$$.

• If, furthermore, $$\int_{1}^{\infty }\frac{\mathcal{L}(s)}{s}\,ds$$ converges, then $$\lim_{t\rightarrow \infty }\frac{ \mathcal{L}(t)}{\int_{t}^{\infty }\frac{\mathcal{L}(s)}{s}\,ds}=0$$.

• In particular, $$t\rightarrow \int_{t}^{\infty } \frac{\mathcal{L}(s)}{s}\,ds\in \mathcal{K}_{\infty }$$.

An important step in the proof of Theorem 1.5 uses the following

### Proposition 2.8

()

Let Ω be a bounded regular domain in $$\mathbb{R}^{2}$$ containing 0.

Let $$\gamma ,\nu \leq 2$$ and $$L_{3}$$, $$L_{4}\in \mathcal{K}_{0}$$ be such that

$$\int_{0}^{\eta }s^{1-\gamma }L_{3}(s) \,ds< \infty \quad \textit{and}\quad \int_{0} ^{\eta }s^{1-\nu }L_{4}(s) \,ds< \infty ,\quad \textit{for }\eta >\operatorname{diam}( \varOmega ).$$
(2.3)

Put

$$b(x)= \vert x \vert ^{-\gamma }L_{3} \bigl( \vert x \vert \bigr) \bigl( \delta_{\varOmega }(x) \bigr)^{-\nu }L_{4} \bigl(\delta_{\varOmega }(x) \bigr),\quad \textit{for }x \in \varOmega \backslash \{0\}.$$

Then for $$x\in \varOmega \backslash \{0\}$$,

$$Vb(x)\approx \widetilde{L}_{3} \bigl( \vert x \vert \bigr) \bigl( \delta_{ \varOmega }(x) \bigr)^{\min (1,2-\nu )}\widetilde{L}_{4} \bigl( \delta_{\varOmega }(x) \bigr),$$

where for $$t\in (0,\eta )$$

$$\widetilde{L}_{3}(t):=\textstyle\begin{cases} 1 & \textit{if }\gamma < 2, \\ \ln (\frac{\omega }{t}) \int_{0}^{t}\frac{L_{3} ( s ) }{s}\,ds+ \int_{t}^{\eta }\ln (\frac{\omega }{s}) \frac{L_{3} ( s ) }{s}\,ds, & \textit{if }\gamma =2, \end{cases}$$
(2.4)

and

$$\widetilde{L}_{4}(t):=\textstyle\begin{cases} 1, & \textit{if }\nu < 1, \\ \int_{t}^{\eta }\frac{L_{4}(s)}{s}\,ds, & \textit{if }\nu =1, \\ L_{4}(t), & \textit{if }1< \nu < 2, \\ \int_{0}^{t}\frac{L_{4} ( s ) }{s}\,ds, & \textit{if }\nu =2. \end{cases}$$

### Proposition 2.9

Let φ be a positive continuous function in D such that

$$\varphi (x)\approx \bigl(\rho_{D}(x) \bigr)^{-\alpha } \mathcal{M}_{0} \bigl(\rho_{D}(x) \bigr) \vert x \vert ^{-\beta }\mathcal{N}_{\infty } \bigl( \vert x \vert \bigr),\quad \textit{for }x\in D,$$
(2.5)

where $$\alpha \leq 2\leq \beta$$, $$\mathcal{M}_{0}\in \mathcal{K}_{0}$$ defined on $$(0,\eta )$$ ($$\eta >1$$) is such that

$$\int_{0}^{\eta }s^{1-\alpha }\mathcal{M}_{0}(s) \,ds< \infty ,$$

and $$\mathcal{N}_{\infty }(t):=\prod^{m}_{k=1} ( \ln_{k}(\omega t) ) ^{-\beta_{k}}$$, with $$\beta_{k}\in \mathbb{R}$$ satisfying either $$\beta_{1}>1$$, or ($$\beta_{1}=1$$ and there exists $$p\geq 2$$ such that $$\beta_{2}=\cdots =\beta_{p-1}=1$$ and $$\beta_{p}>1$$). Then

$$V\varphi (x)\approx \bigl(\rho_{D}(x) \bigr)^{\min (1,2-\alpha )} \bigl( \widetilde{\mathcal{M}}_{0} \bigl(\rho_{D}(x) \bigr) \bigr) \bigl( \widetilde{\mathcal{N}} _{\infty } \bigl( \vert x \vert \bigr) \bigr) ,\quad \textit{for }x\in D,$$

where $$\widetilde{\mathcal{M}}_{0}$$ is defined on $$(0,1)$$ by

$$\widetilde{\mathcal{M}}_{0}(t):=\textstyle\begin{cases} 1, & \textit{if }\alpha < 1, \\ \int_{t}^{\eta }\frac{\mathcal{M}_{0}(s)}{s}\,ds, & \textit{if }\alpha =1, \\ \mathcal{M}_{0}(t), & \textit{if }1< \alpha < 2, \\ \int_{0}^{t}\frac{\mathcal{M}_{0}(s)}{s}\,ds, & \textit{if }\alpha =2, \end{cases}$$

and $$\widetilde{\mathcal{N}}_{\infty }(t)=1$$, if $$\beta >2$$ and for $$\beta =2$$, $$\widetilde{\mathcal{N}}_{\infty }$$ is defined on $$[1, \infty )$$ as follows:

1. (i)

If $$\beta_{1}=1$$, $$\beta_{2}=\cdots =\beta_{p-1}=1$$ and $$\beta_{p}>1$$,

$$\widetilde{\mathcal{N}}_{\infty }(t):= \bigl(\ln (\omega t) \bigr) \bigl( \ln_{p}(\omega t) \bigr)^{1-\beta_{p}}\prod ^{m}_{k=p+1} \bigl( \ln_{k}( \omega t) \bigr) ^{-\beta_{k}}.$$
2. (ii)

If $$1<\beta_{1}<2$$,

$$\widetilde{\mathcal{N}}_{\infty }(t):= \bigl(\ln (\omega t) \bigr)^{2-\beta_{1}}\prod_{k=2}^{m} \bigl( \ln_{k}(\omega t) \bigr) ^{-\beta_{k}}.$$
3. (iii)

If $$\beta_{1}=2$$ and $$\beta_{i}=1$$, for $$2\leq i\leq m$$,

$$\widetilde{\mathcal{N}}_{\infty }(t):=\ln_{m+1}(\omega t).$$
4. (iv)

If $$\beta_{1}=2$$, $$\beta_{2}=\cdots =\beta_{l-1}=1$$ and $$\beta_{l}<1$$,

$$\widetilde{\mathcal{N}}_{\infty }(t):= \bigl(\ln_{l}(\omega t) \bigr)^{1-\beta _{l}}\prod^{m}_{k=l+1} \bigl( \ln_{k}(\omega t) \bigr) ^{-\mu_{k}}.$$
5. (v)

If ($$\beta_{1}=2$$, $$\beta_{2}=\cdots =\beta_{l-1}=1$$ and $$\beta_{l}>1$$) or $$\beta_{1}>2$$,

$$\widetilde{\mathcal{N}}_{\infty }(t):=1.$$

### Proof

From (2.5), we have

$$V\varphi (x)\approx \int _{D}G_{D}(x,y) \bigl(\rho_{D}(y) \bigr)^{-\alpha }\mathcal{M}_{0} \bigl(\rho_{D}(y) \bigr) \vert y \vert ^{-\beta } \mathcal{N}_{\infty } \bigl( \vert y \vert \bigr)\,dy,\quad \text{for }x\in D.$$

Using (1.3), (1.4) and the fact that $$\mathcal{M} _{0}(\rho_{D}(y))\approx \mathcal{M}_{0}(\delta_{D^{\ast }}(y^{\ast }))$$, we obtain

$$V\varphi (x)\approx \int _{D}G_{D^{\ast }} \bigl(x^{\ast },y^{ \ast } \bigr) \bigl(\delta_{D^{\ast }} \bigl(y^{\ast } \bigr) \bigr)^{-\alpha }\mathcal{M}_{0} \bigl( \delta_{D^{\ast }} \bigl(y^{\ast } \bigr) \bigr) \vert y \vert ^{-\beta } \mathcal{N}_{\infty } \bigl( \vert y \vert \bigr)\,dy,\quad \text{for }x \in D.$$

By letting $$\xi =y^{\ast }$$, we obtain

$$V\varphi (x)\approx \int _{D^{\ast }}G_{D^{\ast }} \bigl(x^{\ast }, \xi \bigr) \bigl(\delta_{D^{\ast }}(\xi ) \bigr)^{-\alpha }\mathcal{M}_{0} \bigl( \delta_{D^{\ast }}(\xi ) \bigr) \vert \xi \vert ^{\beta -4} \mathcal{N}_{\infty } \biggl(\frac{1}{ \vert \xi \vert } \biggr)\,d\xi ,\quad \text{for }x\in D.$$

From Remark 1.4(ii), the function $$t\rightarrow \mathcal{N} _{\infty }(\frac{1}{t})$$ belongs to $$\mathcal{K}_{0}$$. Using this fact, and applying Proposition 2.8 with $$\gamma =4-\beta \leq 2$$, $$\nu =\alpha \leq 2$$, $$L_{3}(t)=\mathcal{N}_{\infty }(\frac{1}{t})$$ and $$L_{4}=\mathcal{M}_{0}$$, we deduce that

$$V\varphi (x)\approx \bigl(\delta_{D^{\ast }} \bigl(x^{\ast } \bigr) \bigr)^{\min (1,2-\alpha )}\widetilde{\mathcal{M}}_{0} \bigl( \delta_{D^{\ast }} \bigl(x^{\ast } \bigr) \bigr) \widetilde{L}_{3} \bigl( \bigl\vert x^{\ast } \bigr\vert \bigr),$$
(2.6)

where for $$r\in (0,\eta )$$

$$\widetilde{\mathcal{M}}_{0}(r):=\textstyle\begin{cases} 1, & \text{if }\alpha < 1, \\ \int_{r}^{\eta }\frac{\mathcal{M}_{0}(s)}{s}\,ds, & \text{if }\alpha =1, \\ \mathcal{M}_{0}(r), & \text{if }1< \alpha < 2, \\ \int_{0}^{r}\frac{\mathcal{M}_{0}(s)}{s}\,ds, & \text{if }\alpha =2, \end{cases}$$

and

$$\widetilde{L}_{3}(r):=\textstyle\begin{cases} 1 & \text{ if }\beta >2, \\ \ln (\frac{\omega }{r}) \int_{0}^{r}\frac{\mathcal{N}_{\infty }(\frac{1}{s})}{s}\,ds+ \int_{r}^{\eta }\ln (\frac{\omega }{s})\frac{\mathcal{N}_{\infty }( \frac{1}{s})}{s}\,ds, & \text{ if }\beta =2. \end{cases}$$

For $$\beta =2$$, by direct computation, we obtain the following:

1. (i)

If $$\beta_{1}=1$$, $$\beta_{2}=\cdots =\beta_{p-1}=1$$ and $$\beta_{p}>1$$,

$$\widetilde{L}_{3}(r)\approx \ln \biggl(\frac{\omega }{r} \biggr) \biggl(\ln_{p} \biggl(\frac{ \omega }{r} \biggr) \biggr)^{1-\beta_{p}} \prod^{m}_{k=p+1} \biggl( \ln_{k} \biggl(\frac{\omega }{r} \biggr) \biggr) ^{-\beta_{k}}.$$
2. (ii)

If $$1<\beta_{1}<2$$,

$$\widetilde{L}_{3}(r)\approx \biggl(\ln \biggl(\frac{\omega }{r} \biggr) \biggr)^{2-\beta_{1}}\prod_{k=2}^{m} \biggl( \ln_{k} \biggl(\frac{\omega }{r} \biggr) \biggr) ^{-\beta_{k}}.$$
3. (iii)

If $$\beta_{1}=2$$ and $$\beta_{i}=1$$, for $$2\leq i\leq m$$,

$$\widetilde{L}_{3}(r)\approx \ln_{m+1} \biggl( \frac{\omega }{r} \biggr).$$
4. (iv)

If $$\beta_{1}=2$$, $$\beta_{2}=\cdots =\beta_{l-1}=1$$ and $$\beta_{l}<1$$,

$$\widetilde{L}_{3}(r)\approx \biggl(\ln_{l} \biggl( \frac{\omega }{r} \biggr) \biggr)^{1-\beta_{l}}\prod _{k=l+1}^{m} \biggl( \ln_{k} \biggl( \frac{\omega }{r} \biggr) \biggr) ^{-\mu_{k}}.$$
5. (v)

If ($$\beta_{1}=2$$, $$\beta_{2}=\cdots =\beta_{l-1}=1$$ and $$\beta_{l}>1$$) or $$\beta_{1}>2$$,

$$\widetilde{L}_{3}(r)=1.$$

We let $$\widetilde{\mathcal{N}}_{\infty }(t):=\widetilde{L}_{3}( \frac{1}{t})$$, for $$t\in {}[ 1,\infty )$$. The required result follows from (2.6) and the fact that $$\vert x^{\ast } \vert =\frac{1}{ \vert x \vert }$$, for $$x\in D$$.

The proof is completed. □

### Proposition 2.10

Under condition (H), we have

$$Vp(x)\approx \theta (x),\quad \textit{for }x\in D,$$

where $$p(x):=a(x)\theta^{\sigma }(x)$$, $$\sigma <1$$ and θ is defined in (1.7).

### Proof

Let a be a function satisfying condition (H). Using (1.6) and (1.7), we obtain

$$p(x)=a(x)\theta^{\sigma }(x)\thickapprox \bigl(\rho_{D}(x) \bigr)^{-\alpha } \mathcal{M}_{0} \bigl(\rho_{D}(x) \bigr) \vert x \vert ^{-\beta } \mathcal{N}_{\infty } \bigl( \vert x \vert \bigr)$$

where $$\alpha =\lambda -\min (1,\frac{2-\lambda }{1-\sigma })\sigma$$, $$\beta =\mu \geq 2$$ and for $$t\in (0,\eta )$$

$$\mathcal{M}_{0}(t):=\textstyle\begin{cases} \mathcal{L}_{0}(t), & \text{if }\lambda < 1, \\ \mathcal{L}_{0}(t)( \int_{t}^{\eta }\frac{\mathcal{L}_{0}(s)}{s}\,ds)^{\frac{\sigma }{1- \sigma }}, & \text{if }\lambda =1, \\ (\mathcal{L}_{0}(t))^{\frac{1}{1-\sigma }}, & \text{if }1< \lambda < 2, \\ \mathcal{L}_{0}(t)( \int_{0}^{t}\frac{\mathcal{L}_{0} ( s ) }{s}\,ds)^{\frac{ \sigma }{1-\sigma }}, & \text{if }\lambda =2, \end{cases}$$

and for $$s\geq 1$$, $$\mathcal{N}_{\infty }(s)=\mathcal{L}_{\infty }(s)$$, if $$\mu >2$$ while for $$\mu =2$$, $$\mathcal{N}_{\infty }$$ is defined as follows:

• If $$\mu_{1}=1+\sigma$$, $$\mu_{2}=\cdots =\mu_{p-1}=1$$ and $$\mu_{p}>1$$,

$$\mathcal{N}_{\infty }(s)= \bigl(\ln (\omega s) \bigr)^{-1} \bigl( \ln_{p}(\omega s) \bigr)^{\frac{ \sigma -\mu_{p}}{1-\sigma }}\prod ^{p-1}_{k=2} \bigl( \ln_{k}(\omega s) \bigr) ^{-1}\prod^{m}_{k=p+1} \bigl( \ln_{k}(\omega s) \bigr) ^{-\frac{\mu_{k}}{1-\sigma }}.$$
• If $$1+\sigma <\mu_{1}<2$$

$$\mathcal{N}_{\infty }(s)= \bigl(\ln (\omega s) \bigr)^{\frac{2\sigma -\mu_{1}}{1- \sigma }}\prod ^{m}_{k=2} \bigl( \ln_{k}(\omega s) \bigr) ^{-\frac{\mu_{k}}{1-\sigma }}.$$
• If $$\mu_{1}=2$$ and $$\mu_{i}=1$$, for all $$2\leq i\leq m$$,

$$\mathcal{N}_{\infty }(s)= \bigl(\ln_{m+1}(\omega s) \bigr)^{\frac{\sigma }{1- \sigma }}\prod^{m}_{k=1} \bigl( \ln_{k}(\omega s) \bigr) ^{-\mu_{k}}.$$
• If $$\mu_{1}=2$$, $$\mu_{2}=\cdots =\mu_{l-1}=1$$ and $$\mu_{l}<1$$,

$$\mathcal{N}_{\infty }(s)= \bigl( \ln (\omega s) \bigr) ^{-2} \bigl( \ln_{l}( \omega s) \bigr)^{\frac{\sigma -\mu_{l}}{1-\sigma }}\prod _{k=2}^{l-1} \bigl( \ln_{k}(\omega s) \bigr) ^{-1}\prod_{k=l+1}^{m} \biggl( \ln_{k} \biggl(\frac{\omega s}{t} \biggr) \biggr) ^{-\frac{ \mu_{k}}{1-\sigma }}.$$
• If ($$\mu_{1}=2$$, $$\mu_{2}=\cdots =\mu_{l-1}=1$$ and $$\mu_{l}>1$$) or $$\mu_{1}>2$$,

$$\mathcal{N}_{\infty }(s)=\prod^{m}_{k=1} \bigl( \ln_{k}( \omega s) \bigr) ^{-\mu_{k}},$$

Since $$\lambda \leq 2$$, then it follows that $$\alpha \leq 2$$.

By applying Proposition 2.9, we obtain

$$Vp(x)\thickapprox \bigl(\rho_{D}(x) \bigr)^{\min (1,2-\alpha )} \bigl( \widetilde{\mathcal{M}}_{0} \bigl(\rho_{D}(x) \bigr) \bigr) \bigl( \widetilde{\mathcal{N}} _{\infty } \bigl( \vert x \vert \bigr) \bigr).$$

Since $$\min (1,2-\nu )=\min (1,\frac{2-\lambda }{1-\sigma })$$, we deduce for $$x\in D$$,

$$Vp(x)\thickapprox \bigl(\rho_{D}(x) \bigr)^{\min (1,\frac{2-\lambda }{1-\sigma })} \bigl( \widetilde{\mathcal{M}}_{0} \bigl(\rho_{D}(x) \bigr) \bigr) \bigl( \widetilde{\mathcal{N}}_{\infty } \bigl( \vert x \vert \bigr) \bigr) \thickapprox \theta (x).$$

This completes the proof. □

## Proof of Theorem 1.5

In order to prove Theorem 1.5, we need first to establish some preliminary results related to the following problem $$( P _{\gamma } )$$ with $$\gamma >0$$:

$$( P_{\gamma } ) \textstyle\begin{cases} -\Delta u(x)=a(x)u^{\sigma }(x), x\in D\text{ (in the distributional sense), } \\ u>0 \text{ in }D, \\ \lim_{x\rightarrow \partial D}\frac{u(x)}{\ln (\omega \vert x \vert )}=\gamma , \\ \lim_{ \vert x \vert \rightarrow \infty }\frac{u(x)}{ \ln (\omega \vert x \vert )}=\gamma . \end{cases}$$

The next lemma will be used in what follows.

### Lemma 3.1

(See )

Let Ω be a bounded regular domain in $$\mathbb{R}^{2}$$ with $$0\in \varOmega$$. Let $$\lambda_{1},\lambda_{2}\in \mathbb{R}$$, $$\mathcal{M}_{1},\mathcal{M}_{2}\in \mathcal{K}_{0}$$ and set

$$\psi (\xi ):= \vert \xi \vert ^{-\lambda_{1}}\mathcal{M} _{1} \bigl( \vert \xi \vert \bigr) \bigl( \delta_{\varOmega }(\xi ) \bigr) ^{-\lambda_{2}}\mathcal{M}_{2} \bigl( \delta_{\varOmega }(\xi ) \bigr) ,\quad \textit{for }\xi \in \varOmega .$$

The following properties are equivalent:

1. (i)
$$\lim_{\alpha \rightarrow 0}\sup_{\zeta \in \varOmega } \int _{B(\zeta ,\alpha )\cap \varOmega }\frac{\delta_{\varOmega }( \xi )}{\delta_{\varOmega }(\zeta )}G_{\varOmega }(\zeta ,\xi ) \bigl\vert \psi (\xi ) \bigr\vert \,d\xi =0,$$

where $$G_{\varOmega }(\zeta ,\xi )$$ the Green’s function of the Laplacian in Ω.

2. (ii)
$$\int_{0}^{\eta }s^{1-\lambda_{1}}\ln \biggl( \frac{\omega }{s} \biggr)\mathcal{M} _{1}(s)\,ds< \infty \quad \textit{and} \quad \int_{0}^{\eta }s^{1-\lambda_{2}}\mathcal{M}_{2}(s) \,ds< \infty$$

with $$\lambda_{1}\leq 2$$ and $$\lambda_{2}\leq 2$$.

### Proposition 3.2

Assume that hypothesis (H) is fulfilled. Then the function $$q(y):= ( \ln (\omega \vert y \vert ) ) ^{\sigma -1}a(y)$$ belongs to the class $$K(D)$$.

### Proof

Let $$\alpha >0$$. Since $$\vert x^{\ast }-y^{\ast } \vert =\frac{ \vert x-y \vert }{ \vert x \vert \vert y \vert }$$, $$\vert x \vert >1$$ and $$\vert y \vert >1$$, it follows that if $$y\in B(x,\alpha )$$ then $$y^{\ast }\in B(x^{\ast }, \alpha )$$. Therefore by (1.6), (1.3) and (1.4), we have

\begin{aligned}& \int _{B(x,\alpha )\cap D}\frac{\rho_{D}(y)}{\rho_{D}(x)}G _{D}(x,y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr) ^{\sigma -1}a(y)\,dy \\& \quad \leq C \int _{B(x,\alpha )\cap D}\frac{(\delta_{D^{\ast }}(y ^{\ast }))^{1-\lambda }}{\delta_{D^{\ast }}(x^{\ast })}G_{D^{\ast }} \bigl(x ^{\ast },y^{\ast } \bigr) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr) ^{\sigma -1}\mathcal{L}_{0} \bigl( \delta_{D^{\ast }} \bigl(y^{\ast } \bigr) \bigr) \vert y \vert ^{-\mu } \mathcal{L}_{\infty } \bigl( \vert y \vert \bigr)\,dy \\& \quad \leq C \int _{B(x^{\ast },\alpha )\cap D^{\ast }}\frac{( \delta_{D^{\ast }}(\xi ))^{1-\lambda }}{\delta_{D^{\ast }}(x^{\ast })}G _{D^{\ast }} \bigl(x^{\ast },\xi \bigr)\mathcal{M}_{2} \bigl( \delta_{D^{\ast }}(\xi ) \bigr) \vert \xi \vert ^{\mu -4} \mathcal{M}_{1} \bigl( \vert \xi \vert \bigr)\,d\xi \\& \quad \leq C\sup_{\zeta \in D^{\ast }} \int _{B(\zeta ,\alpha )\cap D^{\ast }}\frac{(\delta_{D^{\ast }}( \xi ))^{1-\lambda }}{\delta_{D^{\ast }}(\zeta )}G_{D^{\ast }}(\zeta , \xi ) \mathcal{M}_{2} \bigl(\delta_{D^{\ast }}(\xi ) \bigr) \vert \xi \vert ^{\mu -4}\mathcal{M}_{1} \bigl( \vert \xi \vert \bigr) \,d\xi , \end{aligned}

where $$\mathcal{M}_{1}(s):= ( \ln (\frac{\omega }{s}) ) ^{( \sigma -1)}\mathcal{L}_{\infty }(\frac{1}{s})$$ and $$\mathcal{M}_{2}(s):= \mathcal{L}_{0}(s)$$.

By hypothesis (H), Remark 1.4(ii) and Lemma 2.4, we have $$\mathcal{M}_{1},\mathcal{M}_{2}\in \mathcal{K}_{0}$$ and condition (ii) in Lemma 3.1 is satisfied.

Hence

$$\lim_{\alpha \rightarrow 0}\sup_{x\in D} \int _{B(x,\alpha )\cap D}\frac{\rho_{D}(y)}{\rho_{D}(x)}G _{D}(x,y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr) ^{\sigma -1}a(y)\,dy=0.$$

Next, we claim that

$$\lim_{M\rightarrow +\infty }\sup_{x\in D} \int_{( \vert y \vert \geq M)\cap D}\frac{ \rho_{D}(y)}{\rho_{D}(x)}G_{D}(x,y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr) ^{\sigma -1}a(y)\,dy=0.$$

Indeed, by the above argument, for $$\varepsilon >0$$, there exists $$\alpha >0$$ such that

$$\sup_{\zeta \in D^{\ast }} \int _{B(\zeta ,\alpha )\cap D^{\ast }}\frac{(\delta_{D^{\ast }}( \xi ))^{1-\lambda }}{\delta_{D^{\ast }}(\zeta )}G_{D^{\ast }}(\zeta , \xi ) \mathcal{M}_{2} \bigl(\delta_{D^{\ast }}(\xi ) \bigr) \vert \xi \vert ^{\mu -4}\mathcal{M}_{1} \bigl( \vert \xi \vert \bigr) \,d\xi \leq \varepsilon .$$

Fix this α and let $$M>0$$. Using (1.3), we obtain

\begin{aligned}& \int_{( \vert y \vert \geq M)\cap D}\frac{\rho_{D}(y)}{\rho_{D}(x)}G_{D}(x,y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr) ^{\sigma -1}a(y)\,dy \\& \quad \leq C \int _{( \vert \xi \vert \leq \frac{1}{M})\cap D^{\ast }}\frac{( \delta_{D^{\ast }}(\xi ))^{1-\lambda }}{\delta_{D^{\ast }}(x^{\ast })}G _{D^{\ast }} \bigl(x^{\ast },\xi \bigr)\mathcal{M}_{2} \bigl( \delta_{D^{\ast }}(\xi ) \bigr) \vert \xi \vert ^{\mu -4} \mathcal{M}_{1} \bigl( \vert \xi \vert \bigr)\,d\xi \\& \quad \leq C\varepsilon +C \int _{( \vert x^{\ast }-\xi \vert \geq \alpha )\cap ( \vert \xi \vert \leq \frac{1}{M})\cap D^{\ast }}\frac{(\delta_{D^{\ast }}( \xi ))^{1-\lambda }}{\delta_{D^{\ast }}(x^{\ast })}G_{D^{\ast }} \bigl(x ^{\ast },\xi \bigr)\mathcal{M}_{2} \bigl(\delta_{D^{\ast }}( \xi ) \bigr) \vert \xi \vert ^{\mu -4}\mathcal{M}_{1} \bigl( \vert \xi \vert \bigr)\,d\xi \\& \quad \leq C\varepsilon +C \int _{( \vert \xi \vert \leq \frac{1}{M})\cap D^{\ast }} \bigl(\delta_{D^{\ast }}( \xi ) \bigr)^{2-\lambda }\mathcal{M}_{2} \bigl(\delta_{D^{\ast }}(\xi ) \bigr) \vert \xi \vert ^{\mu -4}\mathcal{M}_{1} \bigl( \vert \xi \vert \bigr)\,d\xi \\& \quad \leq C\varepsilon +C \int _{( \vert \xi \vert \leq \frac{1}{M})\cap D^{\ast }} \vert \xi \vert ^{\mu -4} \mathcal{M}_{1} \bigl( \vert \xi \vert \bigr)\,d\xi \\& \quad \leq C\varepsilon +C \int_{0}^{\frac{1}{M}}s^{\mu -3} \biggl( \ln \biggl( \frac{ \omega }{s} \biggr) \biggr) ^{\sigma -1}\mathcal{L}_{\infty } \biggl( \frac{1}{s} \biggr)\,ds. \end{aligned}

Now by using hypothesis (H), Lemmas 2.4 and 2.5, we have

$$\int_{0}^{\eta }s^{\mu -3} \biggl( \ln \biggl( \frac{\omega }{s} \biggr) \biggr) ^{ \sigma -1}\mathcal{L}_{\infty } \biggl( \frac{1}{s} \biggr)\,ds< \infty .$$

Therefore $$\lim_{M\rightarrow +\infty }\int_{0}^{ \frac{1}{M}}s^{\mu -3} ( \ln (\frac{\omega }{s}) ) ^{\sigma -1}\mathcal{L}_{\infty }(\frac{1}{s})\,ds=0$$, which gives the required result. □

### Proposition 3.3

Let $$\sigma <0$$, and assume that hypothesis (H) is satisfied. Then for each $$\gamma >0$$, problem $$( P_{\gamma } )$$ has at least one positive solution $$u_{\gamma }\in C(\overline{D})$$ such that for $$x\in \overline{D}$$,

$$u_{\gamma }(x)=\gamma \ln \bigl(\omega \vert x \vert \bigr)+ \int_{D}G _{D}(x,y)a(y)u_{\gamma }^{\sigma }(y) \,dy.$$
(3.1)

### Proof

Let $$\sigma <0$$ and $$\gamma >0$$. By Propositions 3.2 and 2.3, we have

$$x\mapsto h(x):=\frac{1}{\ln (\omega \vert x \vert )} \int _{D}G_{D}(x,y)a(y) \bigl(\ln \bigl(\omega \vert y \vert \bigr) \bigr)^{\sigma }\,dy \in C_{0} ( \overline{D} ) .$$
(3.2)

Let $$\beta :=\gamma +\gamma^{\sigma } \Vert h \Vert _{\infty }$$ and consider the convex set Λ given by

$$\varLambda = \bigl\{ v\in C \bigl( \overline{D}\cup \{\infty \} \bigr) :\gamma \leq v\leq \beta \bigr\} .$$

Define the operator T on Λ by

$$Tv(x)=\gamma +\frac{1}{\ln (\omega \vert x \vert )} \int_{D}G _{D}(x,y)a(y) (\ln \bigl(\omega \vert y \vert \bigr)^{\sigma }v^{ \sigma }(y)\,dy.$$

We aim at proving that is equicontinuous at each point of .

Indeed, let $$x_{0}\in D$$. Since $$\sigma <0$$, we have for each $$v\in \varLambda$$ and all $$x\in D$$,

$$\bigl\vert Tv(x)-Tv(x_{0}) \bigr\vert \leq \gamma^{\sigma } \int_{D} \biggl\vert \frac{1}{\ln (\omega \vert x \vert )}G_{D}(x,y)- \frac{1}{ \ln (\omega \vert x_{0} \vert )}G_{D}(x_{0},y) \biggr\vert \ln \bigl( \omega \vert y \vert \bigr)q(y)\,dy,$$

where $$q(y)=(\ln (\omega \vert y \vert ))^{\sigma -1}a(y) \in K(D)$$.

Now, by following the proof of Proposition 2.3, we have for all $$\varepsilon >0$$, there exists $$\delta >0$$ such that if $$x\in B(x_{0},\delta )\cap D$$, then

$$\gamma^{\sigma } \int_{D} \biggl\vert \frac{1}{\ln (\omega \vert x \vert )}G_{D}(x,y)- \frac{1}{ \ln (\omega \vert x_{0} \vert )}G_{D}(x_{0},y) \biggr\vert \ln \bigl( \omega \vert y \vert \bigr)q(y)\,dy\leq \varepsilon .$$

This implies that for all $$\varepsilon >0$$, there exists $$\delta >0$$ such that

$$\text{if }x\in B(x_{0},\delta )\cap D,\text{ then } \bigl\vert Tv(x)-Tv(x _{0}) \bigr\vert \leq \varepsilon ,\quad \text{for all }v \in \varLambda .$$

On the other hand, for all $$v\in \varLambda$$ and $$x\in \overline{D}$$, we have

$$\bigl\vert Tv(x)-\gamma \bigr\vert \leq \gamma^{\sigma }h(x),$$

where the function h is given by (3.2). Since $$h\in C_{0} ( \overline{D} )$$, we deduce that

$$\lim_{x\rightarrow x_{0}\in \partial D}Tv(x)=\lim_{ \vert x \vert \rightarrow \infty }Tv(x)=\gamma , \quad \text{uniformly for all }v\in \varLambda .$$

So, the family is equicontinuous in $$C ( \overline{D} \cup \{\infty \} )$$. In particular, for all $$v\in \varLambda$$, $$Tv\in C ( \overline{D}\cup \{\infty \} )$$ and therefore $$T\varLambda \subset \varLambda$$.

Moreover, since the family $$\{Tv(x),v\in \varLambda \}$$ is uniformly bounded in $$\overline{D}\cup \{\infty \}$$, then it follows from Arzelà–Ascoli theorem (see [19, p. 62] and [6, Theorem 2.3]) that $$T ( \varLambda )$$ is relatively compact in $$C ( \overline{D}\cup \{\infty \} )$$.

Next, we prove the continuity of T in Λ. Let $$( v_{k} ) _{k}\subset \varLambda$$ and $$v\in \varLambda$$ be such that $$\Vert v_{k}-v \Vert _{\infty }\rightarrow 0$$ as $$k\rightarrow \infty$$. Then we have

$$\bigl\vert Tv_{k}(x)-Tv(x) \bigr\vert \leq \frac{1}{\ln (\omega \vert x \vert )} \int_{D}G_{D}(x,y)a(y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr)^{\sigma } \bigl\vert v_{k}^{ \sigma }(y)-v^{\sigma }(y) \bigr\vert \,dr.$$

Now, since

$$\bigl\vert v_{k}^{\sigma }(y)-v^{\sigma }(y) \bigr\vert \leq 2 \gamma^{\sigma },$$

we deduce by (3.2) and the dominated convergence theorem that

$$\forall x\in \overline{D},\quad Tv_{k}(x)\rightarrow Tv(x)\quad \text{as }k\rightarrow \infty .$$

Since $$T ( \varLambda )$$ is relatively compact in $$C ( \overline{D}\cup \{\infty \} )$$, we obtain

$$\Vert Tv_{k}-Tv \Vert _{\infty }\rightarrow 0\quad \text{as }k \rightarrow \infty .$$

So, T is a compact mapping of Λ to itself. Therefore, by the Schauder fixed point theorem, there exists $$v_{\gamma }\in \varLambda$$ such that for each $$x\in \overline{D}$$

$$v_{\gamma }(x)=\gamma + \frac{1}{\ln (\omega \vert x \vert )} \int_{D}G_{D}(x,y)a(y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr)^{\sigma }v_{\gamma }^{\sigma }(y) \,dy.$$
(3.3)

Since $$v_{\gamma }^{\sigma }\leq \gamma^{\sigma }$$, we deduce from (3.3) and (3.2) that

$$\lim_{x\rightarrow \partial D}v_{\gamma }(x)=\lim_{ \vert x \vert \rightarrow \infty }v_{\gamma }(x)= \gamma .$$
(3.4)

Put $$u_{\gamma }(x)=\ln (\omega \vert x \vert )v_{\gamma }(x)$$, for $$x\in \overline{D}$$. Then $$u_{\gamma }\in C ( \overline{D} )$$ and we have

$$u_{\gamma }(x)=\gamma \ln \bigl(\omega \vert x \vert \bigr)+ \int_{D}G _{D}(x,y)a(y)u_{\gamma }^{\sigma }(y) \,dy,$$
(3.5)

as well as

$$\gamma \ln \bigl(\omega \vert x \vert \bigr)\leq u_{\gamma }(x)\leq \beta \ln \bigl(\omega \vert x \vert \bigr).$$
(3.6)

Now, since the function $$y\mapsto a(y)u_{\gamma }^{\sigma }(y)\in L _{\mathrm{loc}}^{1}(D)$$ and from (3.5) the function $$x\mapsto \int _{D}G_{D}(x,y)a(y)u_{\gamma }^{\sigma }(y)\,dy\in L_{\mathrm{loc}}^{1}(D)$$, we deduce by (1.5) that $$u_{\gamma }$$ satisfies

$$-\Delta u_{\gamma }(x)=a(x)u_{\gamma }^{\sigma }(x), \quad x\in D \text{ (in the distributional sense).}$$

By (3.4), we have

$$\lim_{x\rightarrow \partial D}\frac{u_{\gamma }(x)}{\ln ( \omega \vert x \vert )}=\lim_{ \vert x \vert \rightarrow \infty } \frac{u_{\gamma }(x)}{\ln (\omega \vert x \vert )}=\gamma .$$

This completes the proof. □

The next result based on the complete maximum principle is established in [51, Lemma 3.1].

### Lemma 3.4

Let g $$\mathcal{B}^{+}(D)$$ and v be a nonnegative superharmonic function on D. Then for any w $$\mathcal{B}(D)$$ such that $$V ( g \vert w \vert ) <\infty$$ and $$w+V ( gw ) =v$$, we have

$$0\leq w\leq v.$$

### Corollary 3.5

Let $$\sigma <0$$, and assume that hypothesis (H) is satisfied. For $$0<\gamma_{1}\leq \gamma_{2}$$, we denote by $$u_{\gamma_{i}}\in C( \overline{D})$$ the solution of problem $$( P_{\gamma } )$$ satisfying (3.1). Then we have

$$0\leq u_{\gamma_{2}}(x)-u_{\gamma_{1}}(x)\leq ( \gamma_{2}- \gamma_{1} ) \ln \bigl(\omega \vert x \vert \bigr),\quad \textit{for }x\in \overline{D}.$$
(3.7)

### Proof

Let g be the function defined on D by

$$g(x)=\textstyle\begin{cases} a(x)\frac{u_{\gamma_{2}}^{\sigma }(x)-u_{{\gamma_{1}}}^{\sigma }(x)}{u _{\gamma_{1}}(x)-u_{\gamma_{2}}(x)}, & \text{if }u_{\gamma_{1}}(x) \neq u_{\gamma_{2}}(x), \\ 0, & \text{if }u_{\gamma_{1}}(x)=u_{\gamma_{2}}(x). \end{cases}$$

Since $$\sigma <0$$, then $$g\in \mathcal{B}^{+} ( D )$$, and we have

$$u_{\gamma_{2}}-u_{{\gamma_{1}}}+V \bigl( g ( u_{\gamma_{2}}-u_{{\gamma_{1}}} ) \bigr) = ( \gamma_{2}-\gamma_{1} ) \ln \bigl(\omega \vert x \vert \bigr).$$
(3.8)

On the other hand, by using (3.1), (3.2) and (3.6), we obtain, for $$x\in \overline{D}$$,

$$V \bigl(g \vert u_{\gamma_{2}}-u_{{\gamma_{1}}} \vert \bigr) (x)\leq \bigl( \gamma_{1}^{\sigma }+\gamma_{2}^{\sigma } \bigr) \int_{D}G_{D}(x,y)a(y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr)^{\sigma }\,dy< \infty .$$

Hence the required result follows from (3.8) and Lemma 2.4 with $$v(x)=\ln (\omega \vert x \vert )$$. □

### Proposition 3.6

Let $$\sigma <0$$. Under hypothesis (H), problem (1.2) has at least one positive solution $$u\in C(\overline{D})$$ such that for $$x\in \overline{D}$$,

$$u(x)= \int_{D}G_{D}(x,y)a(y)u^{\sigma }(y)\,dy.$$
(3.9)

### Proof

Let $$( \gamma_{k} ) _{k}$$ be a positive sequence decreasing to zero. Let $$u_{k }\in C(\overline{D})$$ be the solution of problem $$( P_{\gamma_{k}} )$$ satisfying (3.1). By Corollary 3.5, the sequence $$( u_{k} ) _{k}$$ decreases to a function u, and since $$\sigma <0$$ the sequence $$( u_{k}-\gamma_{k}\ln (\omega \vert x \vert ) ) _{k}$$ increases to u. Therefore, by using (3.1), (3.6) and the fact that $$\sigma <0$$, we obtain for each $$x\in \overline{D} \backslash \{0\}$$,

\begin{aligned} u(x) \geq &u_{k}(x)-\gamma_{k}\ln \bigl(\omega \vert x \vert \bigr)= \int_{D}G_{D}(x,y)a(y)u_{k}^{\sigma }(y) \,dy \\ \geq &\beta_{k}^{\sigma } \int_{D}G_{D}(x,y)a(y) \bigl(\ln \bigl(\omega \vert y \vert \bigr) \bigr)^{ \sigma }\,dy>0, \end{aligned}

where $$\beta_{k}:=\gamma_{k}+\gamma_{k}^{\sigma } \Vert h \Vert _{\infty }$$ and h is given by (3.2).

By the monotone convergence theorem, we obtain

$$u(x)= \int_{D}G_{D}(x,y)a(y)u^{\sigma }(y)\,dy.$$

Since for each $$x\in \overline{D}$$, $$u(x)=\inf_{k} u_{k}(x)=\sup_{k} ( u_{k}(x)-\gamma_{k}\ln (\omega \vert x \vert ) )$$, u is an upper and lower semi-continuous function on and so $$u\in C(\overline{D})$$.

Since the function $$y\mapsto a(y)u^{\sigma }(y)$$ is in $$L_{\mathrm{loc}}^{1}(D)$$ and from (3.9) the function $$x\mapsto \int_{D}G_{D}(x,y)a(y)u ^{\sigma }(y)\,dy$$ is also in $$L_{\mathrm{loc}}^{1}(D)$$, we deduce by (1.5) that

$$-\Delta u(x)=a(x)u^{\sigma }(x), \quad x\in D\backslash \{0\}\text{ (in the distributional sense).}$$

Finally, using the fact that for all $$x\in D$$, $$0< u(x)\leq u_{k}(x)$$ and that $$u_{k}$$ is a solution of problem $$( P_{\gamma_{k}} )$$, we deduce that

$$\lim_{x\rightarrow \partial D}u(x)=0\quad \text{and}\quad \lim _{ \vert x \vert \rightarrow \infty }\frac{u(x)}{\ln ( \omega \vert x \vert )}=0.$$

Hence u is a solution of problem (1.2). □

### Proof of Theorem 1.5

Assume that function a satisfies hypothesis (H). By Proposition 2.10, there exists $$m\geq 1$$ such that for each D,

$$\frac{1}{m}\theta ( x ) \leq Vp ( x ) \leq m\theta ( x ) ,$$
(3.10)

where θ is the function defined in (1.7) and $$p(y):=a(y)\theta^{\sigma }(y)$$.

We split the proof into the following two cases:

Case 1: $$\sigma <0$$.

By Proposition 3.6, problem (1.2) has a positive continuous solution u satisfying (3.9). We claim that u satisfies (1.8).

By (3.10), we have

$$m^{\sigma } ( Vp ) ^{\sigma } ( x ) \leq \theta^{\sigma } ( x ) \leq m^{-\sigma } ( Vp ) ^{\sigma } ( x ) .$$
(3.11)

Let $$c=m^{-\frac{\sigma }{1-\sigma }}$$. Then by elementary calculus we have

$$cVp=V \bigl( a ( cVp ) ^{\sigma } \bigr) +Vf,$$
(3.12)

where $$f(x):=ca(x) [ \theta^{\sigma }(x)-m^{\sigma } ( Vp ) ^{\sigma }(x) ]$$, for $$x\in \overline{D}$$.

Clearly, we have $$f\in \mathcal{B}^{+} ( D )$$ and by using (3.9) and (3.12), we obtain

$$cVp-u+V \bigl( a \bigl( u^{\sigma }- ( cVp ) ^{\sigma } \bigr) \bigr) =Vf.$$
(3.13)

Let g be the function defined on D by

$$g(x)=\textstyle\begin{cases} a(x)\frac{u^{\sigma }(x)- ( cVp ) ^{\sigma }(x)}{ ( cVp ) (x)-u(x)}, & \text{if }u(x)\neq ( cVp ) (x), \\ 0, & \text{if }u(x)= ( cVp ) (x). \end{cases}$$

Then $$g\in \mathcal{B}^{+} ( D )$$ and since $$\sigma <0$$, we have

$$a \bigl( u^{\sigma }- ( cVp ) ^{\sigma } \bigr) =g ( cVp-u ) .$$
(3.14)

Therefore the relation (3.13) becomes

$$(cVp-u)+V \bigl( g ( cVp-u ) \bigr) =Vf.$$

Now since $$f\in \mathcal{B}^{+} ( D )$$ by using (3.14), (3.9), (3.12) and (3.10), we obtain

\begin{aligned} V \bigl( g \vert cVp-u \vert \bigr) \leq &V \bigl( au^{ \sigma } \bigr) +V \bigl( a ( cVp ) ^{\sigma } \bigr) \\ \leq &u+cVp \\ \leq &u+cm\theta < \infty . \end{aligned}

Hence by Lemma 3.4, we obtain

$$u\leq cVp.$$

Similarly, we prove that

$$\frac{1}{c}Vp\leq u.$$

Thus, by (3.10), u satisfies (1.7).

Case 2: $$0\leq \sigma <1$$.

Let $$\rho (x)=\frac{1}{\ln (\omega \vert x \vert )}\theta (x)$$, for $$x\in D$$. By (3.10), we have

$$\frac{1}{m}\rho ( x ) \leq \frac{1}{\ln (\omega \vert x \vert )}Vp ( x ) \leq m\rho ( x ) .$$
(3.15)

Put $$c=m^{\frac{1}{1-\sigma }}$$ and consider the closed convex set given by

$$A= \biggl\{ v\in C_{0}(\overline{D}),\frac{1}{c}\rho \leq v \leq c\rho \biggr\} .$$

Clearly $$\rho \in A$$.

Define the operator S on A by

$$Sv(x):=\frac{1}{\ln (\omega \vert x \vert )} \int_{D}G_{D}(x,y)a(y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr))^{\sigma }v^{\sigma }(y)\,dy,\quad x\in D.$$

By using (3.15), we obtain for all $$v\in A$$,

$$\frac{1}{c}\rho \leq Sv\leq c\rho .$$

Since for all $$v\in A$$, we have

$$\bigl\vert v^{\sigma }(y) \bigr\vert \leq c^{\sigma } \bigl\Vert \rho^{ \sigma } \bigr\Vert _{\infty },\quad \text{for all }y\in D,$$

we deduce as in the proof of Proposition 3.3 that

$$Sv\in C_{0}(\overline{D}),\quad \text{for all }v\in A.$$

So, $$S ( A ) \subset A$$.

Let $$( v_{k} ) _{k}\subset C_{0}(\overline{D})$$ defined by

$$v_{0}=\frac{1}{c}\rho \quad \text{and}\quad v_{k+1}=Sv_{k},\quad \text{for }k\in \mathbb{N}.$$

Since the operator S is nondecreasing and $$S ( A ) \subset A$$, we deduce that

$$\frac{1}{c}\rho =v_{0}\leq v_{1}\leq v_{2}\leq \cdots \leq v_{k} \leq v_{k+1}\leq c\rho .$$

Therefore, by the monotone convergence theorem, the sequence $$( v_{k} ) _{k}$$ converges to a function v such that for each $$x\in \overline{D}$$,

$$v(x)=\frac{1}{\ln (\omega \vert x \vert )} \int_{D}G_{D}(x,y)a(y) \bigl( \ln \bigl(\omega \vert y \vert \bigr) \bigr)^{\sigma }v^{\sigma }(y)\,dy$$

and

$$\frac{1}{c}\rho (x)\leq v(x)\leq c\rho (x).$$

Since v is bounded, we prove by similar arguments as in the proof of Proposition 3.3 that $$v\in C_{0}(\overline{D})$$.

Put $$u(x)=\ln (\omega \vert x \vert )v(x)$$. Then $$u\in C( \overline{D})$$ satisfies the equation

$$u(x)=V \bigl(au^{\sigma } \bigr) (x),\quad \text{for }x\in D.$$
(3.16)

Finally, since the function $$y\mapsto a(y)u^{\sigma }(y)$$ is in $$L_{\mathrm{loc}}^{1}(D)$$ and from (3.16) the function $$x\mapsto V(au ^{\sigma })(x)$$ is also in $$L_{\mathrm{loc}}^{1}(D)$$, we deduce by (1.5) that u is a solution of problem (1.2). The proof of Theorem 1.5 is completed. □

### Example 3.7

Let $$\sigma <1$$ and $$a\in C ( D )$$ be such that

$$a(x)\thickapprox \vert x \vert ^{-2} \bigl(\ln \bigl(\omega \vert x \vert \bigr) \bigr)^{-2} \bigl( \ln_{2} \bigl( \omega \vert x \vert \bigr) \bigr)^{-\beta } \bigl(\rho_{D}(x) \bigr)^{-2} \biggl( \ln \biggl(\frac{\omega }{\rho_{D}(x)} \biggr) \biggr)^{-\gamma },$$

where $$\beta \in \mathbb{R}$$ and $$\gamma >1$$. Then, by Theorem 1.5, problem (1.2) has at least one positive solution $$u\in C ( \overline{D} )$$ satisfying the following estimates:

1. (i)

If $$\beta =1$$, then for $$x\in D$$,

$$u(x)\thickapprox \bigl(\ln_{3} \bigl(\omega \vert x \vert \bigr) \bigr)^{\frac{1}{1- \sigma }} \biggl( \ln \biggl(\frac{\omega }{\rho_{D}(x)} \biggr) \biggr) ^{\frac{1- \gamma }{1-\sigma }}.$$
2. (ii)

If $$\beta <1$$, then for $$x\in D$$,

$$u(x)\thickapprox \bigl(\ln_{2} \bigl(\omega \vert x \vert \bigr) \bigr)^{\frac{1- \beta }{1-\sigma }} \biggl(\ln \biggl(\frac{\omega }{\rho_{D}(x)} \biggr) \biggr)^{\frac{1- \gamma }{1-\sigma }}.$$
3. (iii)

If $$\beta >1$$, then for $$x\in D$$,

$$u(x)\thickapprox \biggl(\ln \biggl(\frac{\omega }{\rho_{D}(x)} \biggr) \biggr)^{\frac{1-\gamma }{1-\sigma }}.$$

## References

1. Alsaedi, R., Mâagli, H., Zeddini, N.: Exact behavior of the unique positive solutions to some singular elliptic problem in exterior domains. Nonlinear Anal. 119, 186–198 (2015)

2. Bachar, I., Mâagli, H.: Singular solutions of a nonlinear equation in a punctured domain of $$\mathbb{R}^{2}$$. Discrete Contin. Dyn. Syst., Ser. S 12, 171–188 (2019)

3. Ben Othman, S., Mâagli, H., Masmoudi, S., Zribi, M.: Exact asymptotic behavior near the boundary to the solution for singular nonlinear Dirichlet problems. Nonlinear Anal. 71, 4137–4150 (2009)

4. Bingham, N.H., Goldie, C.M., Teugels, J.L.: Regular Variation. Encyclopedia Math. Appl., vol. 27. Cambridge University Press, Cambridge (1987)

5. Brezis, H., Kamin, S.: Sublinear elliptic equation in $$\mathbb{R}^{2}$$. Manuscr. Math. 74, 87–106 (1992)

6. Brown, R.F.: A Topological Introduction to Nonlinear Analysis, 3rd edn. Springer, Cham (2014)

7. Carl, S., Costa, D., Tehrani, H.: Extremal solutions of logistic-type equations in exterior domain in $${\mathbb{R}}^{2}$$. Nonlinear Anal. 176, 272–287 (2018)

8. Chaieb, M., Dhifli, A., Zermani, S.: Existence and asymptotic behavior of positive solutions of a semilinear elliptic system in a bounded domain. Opusc. Math. 36(3), 315–336 (2016)

9. Chemmam, R., Dhifli, A., Mâagli, H.: Asymptotic behavior of ground state solutions for sublinear and singular nonlinear Dirichlet problem. Electron. J. Differ. Equ. 2011, 88 (2011)

10. Chemmam, R., Mâagli, H., Masmoudi, S., Zribi, M.: Combined effects in nonlinear singular elliptic problems in a bounded domain. Adv. Nonlinear Anal. 1, 301–318 (2012)

11. Chhetri, M., Drabek, P., Shivaji, R.: Analysis of positive solutions for classes of quasilinear singular problems on exterior domains. Adv. Nonlinear Anal. 6(4), 447–459 (2017)

12. Chung, K.L., Zhao, Z.: From Brownian Motion to Schrödinger’s Equation. Springer, Berlin (1995)

13. Cîrstea, F., Rădulescu, V.D.: Existence and uniqueness of blow-up solutions for a class of logistic equations. Commun. Contemp. Math. 4, 559–585 (2002)

14. Cîrstea, F., Rădulescu, V.D.: Uniqueness of the blow-up boundary solution of logistic equations with absorption. C. R. Math. Acad. Sci. Paris 335(5), 447–452 (2002)

15. Cîrstea, F., Rădulescu, V.D.: Asymptotics for the blow-up boundary solution of logistic equations with absorption. C. R. Acad. Sci. Paris, Ser. I 336, 231–236 (2003)

16. Cîrstea, F., Rădulescu, V.D.: Extremal singular solutions for degenerate logistic-type equations in anisotropic media. C. R. Acad. Sci. Paris, Ser. I 339, 119–124 (2004)

17. Cîrstea, F., Rădulescu, V.D.: Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. Asymptot. Anal. 46, 275–298 (2006)

18. Cîrstea, F., Rădulescu, V.D.: Boundary blow-up in nonlinear elliptic equations of Bieberbach–Rademacher type. Trans. Am. Math. Soc. 359, 3275–3286 (2007)

19. Corduneanu, C.: Integral Equations and Stability of Feedback Systems. Academic Press, New York (1973)

20. Crandall, M.G., Rabinowitz, P.H., Tartar, L.: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 2, 193–222 (1977)

21. Dalmasso, R.: Solutions d’équations elliptiques semi-linéaires singulières. Ann. Mat. Pura Appl. 153, 191–201 (1988)

22. Drabek, P., Ho, K., Sarkar, A.: The Fredholm alternative for the p-Laplacian in exterior domains. Nonlinear Anal. 174, 17–53 (2018)

23. Dridi, S., Khamessi, B.: Asymptotic behavior of positive solutions of a semilinear Dirichlet problems in the annulus. Opusc. Math. 35, 21–36 (2015)

24. Dumont, S., Dupaigne, L., Goubet, O., Rădulescu, V.D.: Back to the Keller–Osserman condition for boundary blow-up solutions. Adv. Nonlinear Stud. 7(2), 271–298 (2007)

25. Edelson, A.: Entire solutions of singular elliptic equations. J. Math. Anal. Appl. 139, 523–532 (1989)

26. Filippucci, R., Pucci, P., Rădulescu, V.D.: Existence and non-existence results for quasilinear elliptic exterior problems with nonlinear boundary conditions. Commun. Partial Differ. Equ. 33(4–6), 706–717 (2008)

27. Ghergu, M., Rădulescu, V.D.: Singular Elliptic Problems. Bifurcation and Asymptotic Analysis. Oxford Lecture Series in Mathematics and Applications, vol. 37. Oxford University Press, London (2008)

28. Ghergu, M., Rădulescu, V.D.: PDEs Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012)

29. Gontara, S., Mâagli, H., Masmoudi, S., Turki, S.: Asymptotic behavior of positive solutions of a singular nonlinear Dirichlet problems. J. Math. Anal. Appl. 369, 719–729 (2010)

30. Karamata, J.: Sur un mode de croissance régulière. Théorèmes fondamentaux. Bull. Soc. Math. Fr. 61, 55–62 (1933)

31. Karntz, S., Stević, S.: On the iterated logarithmic Bloch space on the unit ball. Nonlinear Anal. TMA 71, 1772–1795 (2009)

32. Kusano, T., Swanson, C.A.: Asymptotic properties of semilinear elliptic equations. Funkc. Ekvacioj 26, 115–129 (1983)

33. Lazer, A.C., McKenna, P.J.: On a singular elliptic boundary value problem. Proc. Am. Math. Soc. 111, 721–730 (1991)

34. Li, S., Stević, S.: On an integral-type operator from iterated logarithmic Bloch spaces into Bloch-type spaces. Appl. Math. Comput. 215, 3106–3115 (2009)

35. Mâagli, H.: Asymptotic behavior of positive solutions of a semilinear Dirichlet problem. Nonlinear Anal. 74, 2941–2947 (2011)

36. Mâagli, H., Ben Othman, S., Dridi, S.: Existence and asymptotic behavior of ground state solutions of semilinear elliptic system. Adv. Nonlinear Anal. 6(3), 301–315 (2017)

37. Mâagli, H., Mâatoug, L.: Positive solutions of nonlinear elliptic equations in unbounded domains in $$\mathbb{R}^{2}$$. Potential Anal. 19, 261–279 (2003)

38. Mâagli, H., Turki, S., Zine El Abidine, Z.: Asymptotic behavior of positive solutions of semilinear Dirichlet problem outside the unit ball. Electron. J. Differ. Equ. 2013, 95 (2013)

39. Mâatoug, L.: Positive solutions of a nonlinear elliptic equation in $$\{x\in \mathbb{R}^{2}, \vert x \vert >1\}$$. Potential Anal. 16, 193–203 (2002)

40. Maric, V.: Regular Variation and Differential Equations. Lecture Notes in Math., vol. 1726. Springer, Berlin (2000)

41. Masmoudi, S.: On the existence of positive solutions for some nonlinear elliptic problems in unbounded domain in $$\mathbb{R}^{2}$$. Nonlinear Anal. 62, 397–415 (2005)

42. Port, S.C., Stone, C.J.: Brownian Motion and Classical Potential Theory. Academic Press, San Diego (1978)

43. Rădulescu, V.D.: Qualitative Analysis of Nonlinear Elliptic Partial Differential Equations: Monotonicity, Analytic, and Variational Methods. Contemporary Mathematics and Its Applications., vol. 6. Hindawi, New York (2008)

44. Repovš, D.: Singular solutions of perturbed logistic-type equations. Appl. Math. Comput. 218(8), 4414–4422 (2011)

45. Repovš, D.: Asymptotics for singular solutions of quasilinear elliptic equations with an absorption term. J. Math. Anal. Appl. 395(1), 78–85 (2012)

46. Resnick, S.I.: Extreme Values, Regular Variation, and Point Processes. Springer, New York (1987)

47. Seneta, R.: Regularly Varying Functions. Lectures Notes in Math., vol. 508. Springer, Berlin (1976)

48. Ufuktepe, U., Zhao, Z.: Positive solution of nonlinear elliptic equations in the Euclidian plane. Proc. Am. Math. Soc. 126, 3681–3692 (1998)

49. Véron, L.: Singular solutions of some nonlinear elliptic equations. Nonlinear Anal. 5, 225–242 (1981)

50. Wan, H.: Global asymptotic behavior of large solutions for a class of semilinear elliptic problems. Wuhan Univ. J. Nat. Sci. 22(1), 29–37 (2017)

51. Zeddini, N.: Positive solutions of singular elliptic equations outside the unit disk. Electron. J. Differ. Equ. 2001, 53 (2001)

52. Zhang, Q.S., Zhao, Z.: Singular solutions of semilinear elliptic and parabolic equations. Math. Ann. 310, 777–794 (1998)

53. Zhang, Z.: The asymptotic behavior of the unique solution for the singular Lane–Emden–Fowler equation. J. Math. Anal. Appl. 312, 33–43 (2005)

### Acknowledgements

The authors would like to thank the anonymous referees for their careful reading of the paper.

Not applicable.

## Funding

The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding this research group No. (RG-1435-043).

## Author information

Authors

### Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Imed Bachar.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests. 