# Singular limiting solutions for elliptic problem involving exponentially dominated nonlinearity and convection term

- Sami Baraket
^{1}Email author, - Imed Abid
^{2}, - Taieb Ouni
^{2}and - Nihed Trabelsi
^{2}

**2011**:10

https://doi.org/10.1186/1687-2770-2011-10

© Baraket et al; licensee Springer. 2011

**Received: **22 March 2011

**Accepted: **12 August 2011

**Published: **12 August 2011

## Abstract

Given Ω bounded open regular set of ℝ^{2} and *x*_{1}, *x*_{2}, ..., *x*_{
m
} ∈ Ω, we give a sufficient condition for the problem

to have a positive weak solution in Ω with *u* = 0 on ∂Ω, which is singular at each *x*_{
i
} as the parameters *ρ*, *λ* > 0 tend to 0 and where *f*(*u*) is dominated exponential nonlinearities functions.

2000 **Mathematics Subject Classification**: 35J60; 53C21; 58J05.

## Keywords

## 1 Introduction and statement of the results

^{2}. The function

*a*is assumed to be positive and smooth. In the following, we take

*a*(

*u*) =

*e*

^{ λu }and

*f*(

*u*) =

*e*

^{ λu }(

*e*

^{ u }+

*e*

^{ γu }), for

*λ*> 0 and

*γ*∈(0, 1), then problem (1) take the form

with ϱ = (*λρ*^{2})^{1-λ}. So when *λ* → 0^{+}, the exponent
tends to infinity while the exponent
tends to -∞. For ϱ ≡ 0, problem (3) has been studied by Ren and Wei in [1]. See also [2].

*A*

_{ λ }) is satisfied. Under the assumption (

*A*

_{ λ }), we can treat equation (2) as a perturbation of the following:

for *γ* ∈ (0, 1).

Our question is: Does there exist *v*_{ε,λ}a sequence of solutions of (2) which converges to some singular function as the parameters *ε* and *λ* tend to 0?

with a regular bounded domain Ω of ℝ^{2}. They give a sufficient condition for the problem (5) to have a weak solution in Ω which is singular at some points (*x*_{
i
})_{1≤i≤m}as *ρ* and *λ* a small parameters satisfying (*A*_{
λ
}), where the presence of the gradient term seems to have significant influence on the existence of such solutions, as well as on their asymptotic behavior.

The study of this problem goes back to 1853 when Liouville derived a representation formula for all solutions of (7) which are defined in ℝ^{2}, see [5]. It turns out that, beside the applications in geometry, elliptic equations with exponential nonlinearity also arise in modeling many physical phenomenon, such as thermionic emission, isothermal gas sphere, gas combustion, and gauge theory [6]. When *ρ* tends to 0, the asymptotic behavior of nontrivial branches of solutions of (7) is well understood thanks to the pioneer work of Suzuki [7] which characterizes the possible limit of nontrivial branches of solutions of (7). His result has been generalized in [8] to (6) with
, and finally by Ye in [9] to any exponentially dominated nonlinearity *f*(*u*). The existence of nontrivial branches of solutions with single singularity was first proved by Weston [10] and then a general result has been obtained by Baraket and Pacard [11]. These results were also extended, applying to the Chern-Simons vortex theory in mind, by Esposito et al. [12] and Del Pino et al. [13] to handle equations of the form -Δ*u* = *ρ*^{2}*V*(*x*)*e*^{
u
} where *V* is a nonconstant positive potential. See also [14–16] wherever this rule is applicable. where the Laplacian is replaced by a more general divergence operator and some new phenomena occur. Let us also mention that the construction of nontrivial branches of solutions of semilinear equations with exponential nonlinearities allowed Wente to provide counter examples to a conjecture of Hopf [17] concerning the existence of compact (immersed) constant mean curvature surfaces in Euclidean space. Another related problem is the higher dimension problem with exponential nonlinearity. For example, the 4-dimensional semilinear elliptic problem with bi-Laplacian is treated in [18] and the problem with an additional singular source term given by Dirac masses is treated in [19] in the radial case. The results in [18, 19] are generalized to noncritical points of the reduced function, see [20].

which is well defined in (Ω)^{
m
} for *x*_{
i
} ≠ *x*_{
j
} for *i* ≠ *j*. Our main result is the following

**Theorem 1**

*Given β*∈ (0, 1)

*. Let*Ω

*an open smooth bounded set of*ℝ

^{2}

*, λ*> 0

*satisfying the condition*(

*A*

_{ λ })

*, γ*∈ (0, 1)

*and S*= {

*x*

_{1}, ...

*x*

_{ m }} ⊂ Ω

*be a nonempty set. Assume that, the point*(

*x*

_{1}, ...,

*x*

_{ m })

*is a*nondegenerate

*critical point of the function*

One of the purpose of the present paper is to present a rather efficient method: *nonlinear Cauchy-data matching method* to solve such singularly problems. This method has already been used successfully in geometric context (constant mean curvature surfaces, constant scalar curvature metrics, extremal Kähler metrics, manifolds with special holonomy, ...) and appeared in the study [18] in the context of partial differential equations.

## 2 Construction of the approximate solution

^{2}. Let us notice that equations (11) is invariant under dilation in the following sense: If

*v*is a solution of (11) and if

*τ*> 0, then

*v*(

*τ*·) + 2log

*τ*is also a solution of (11). With this observation in mind, we define for all

*τ*> 0

### 2.1 A linearized operator on ℝ^{2}

*u*

_{1}(=

*u*

_{ε = τ = 1}) given by (10) which has been defined in the previous section. We are interested in the classification of bounded solutions of in ℝ

^{2}. Some solutions are easy to find. For example, we can define

*r*= |

*x*|. Clearly and this reflects the fact that (11) is invariant under the group of dilations

*τ*→

*u*(

*τ*·) + 2 log

*τ*. We also define, for

*i*= 1, 2

which are also solutions of
. Since, these solutions correspond to the invariance of the equation under the group of translations *a* → *u*(· + *a*). We recall the following result which classifies all bounded solutions of
which are defined in ℝ^{2}.

**Lemma 1** [11] *Any bounded solution of*
*defined in* ℝ^{2} *is a linear combination of ϕ*_{
i
} *for i* = 0, 1, 2.

Let *B*_{
r
} denote the ball of radius *r* centered at the origin in ℝ^{2}.

**Definition 1**

*Given k*∈ ℕ

*, β*∈ (0, 1)

*and μ*∈ ℝ

*, we introduce the Hölder weighted spaces*

*as the space of functions*

*for which the following norm*

*is finite*.

As a consequence of the result of Lemma 1, we recall the surjectivity result of given in [11].

*is surjective*.

**Definition 2**

*Given k*∈ ℕ

*, β*∈ (0, 1)

*and μ*∈ ℝ

*, we introduce the Hölder weighted spaces*

*as the space of functions in*

*for which the following norm*

*is finite*.

In . We will need the following:

**Definition 3**

*Given*,

*k*∈ ∞

*, β*∈ (0, 1)

*and μ*∈ ℝ

*, the weighted space*

*is defined to be the space of functions*

*endowed with the norm*

*t*α

*χ*(

*t*) is a smooth non-negative cutoff function identically equal to 1 for

*t*≤ 1 and identically equal to 0 for

*t*≥ 2. It is easy to check that there exists a constant

*c*=

*c*(

*μ*) > 0, independent of

*σ*≥ 1, such that

*δ*∈ (0, 1) and denote by to be a right inverse of provided by Proposition 1. To find a solution of (17), it is enough to find a fixed point

*h*, in a small ball of , solution of

*κ*> 0, there exist

*c*

_{ κ }

*>*0 (only depend on

*κ*), such that for

*δ*∈ (0,1) and |

*x|*=

*r*, we have

*A*

_{ λ }) and (19), we conclude that given

*κ*> 0, there exist

*ε*

_{ κ }> 0,

*λ*

_{ κ }> 0 and (only depend on

*κ*) such that

Reducing *λ*_{
κ
}> 0 and *ε*_{
κ
}> 0 if necessary, we can assume that,
for all *λ* ∈ (0, *λ*_{
κ
}) and *ε* ∈ (0, *ε*_{
κ
}). Then, (21) and (22) are enough to show that *h* ↦ ℵ is a contraction from
into itself and hence has a unique fixed point *h* in this set. This fixed point is solution of (20) in
. We summarize this in the:

### 2.2 Analysis of the Laplace operator in weighted spaces

*x*

_{1}, ...,

*x*

_{ m }∈ Ω, we define

**x**:= (

*x*

_{1}, ...,

*x*

_{ m })

*r*

_{0}> 0 so that the balls of center

*x*

_{ i }and radius

*r*

_{0}are mutually disjoint and included in Ω. For all

*r*∈ (0,

*r*

_{0}), we define

With these notations, we have:

**Definition 4**

*Given k*∈ ℝ,

*β*∈ (0,1)

*and ν*∈ ℝ,

*we introduce the Hölder weighted space*

*as the space of functions*

*for with the following norm*

*is finite*.

When *k* ≥ 2, we denote by
be the subspace of functions
satisfying *w* = 0 on ∂Ω. We recall the

*is surjective. Denote by*
*a right inverse of*
.

**Remark 1** *Observe that, when ν* < 0, *ν ∉ ℤ, the right inverse even though is not unique and can be chosen to depend smoothly on the points x*_{1}, ..., *x*_{
m
}*, at least locally. Once a right inverse is fixed for some choice of the points x*_{1}, ..., *x*_{
m
}*, a right inverse which depends smoothly on some points* *close to x*_{1}, ..., *x*_{
m
} *can be obtained using a simple perturbation argument. This argument will be used later in the nonlinear exterior problem, since we will move a little bit the points* (*x*_{
i
}).

### 2.3 Harmonic extensions

*H*

^{ i }(=

*H*

^{ i }(

*φ*; ·)) to be the solution of

We denote by *e*_{1}, *e*_{2} the coordinate functions on *S*^{1}.

which decays at infinity.

**Definition 5**

*Given k*∈ ℕ,

*β*∈ (0,1)

*and ν*∈ ℝ

*, we define the space*

*as the space of functions*

*for which the following norm*

*is finite*.

If *F* ⊂ *L*^{2}(*S*^{1}) is a space of functions defined on *S*^{1}, we define the space *F*_{⊥} to be the subspace of functions *F* of which are *L*^{2}(*S*^{1}) -orthogonal to the functions 1, *e*_{1},*e*_{2}. We will need the:

*where H*^{
i
}(= *H*^{
i
} (*ψ*; ·)) *and H*^{
e
} = *H*^{
e
}(*ψ*; ·), *is an isomorphism*.

## 3 The nonlinear interior problem

*w*=

**v**+

*v*and using the fact that

*H*

^{ i }is harmonic, this amounts to solve

*μ*∈ (1,2) and denote by to be a right inverse of provided by Proposition 1. To find a solution of (28), it is sufficient to find solution of

We denote by , the nonlinear operator appearing on the right-hand side of equation (29).

*κ*> 0 (whose value will be fixed later on), we further assume that the functions

*φ*satisfy

Then, we have the following result

**Lemma 5**

*Given κ*> 0.

*There exist ε*

_{ κ }> 0,

*λ*

_{ κ }> 0,

*c*

_{ κ }> 0

*and*

*(only depend on κ) such that for all λ*∈ (0,

*λ*

_{ κ })

*and ε*∈ (0,

*ε*

_{ κ })

*Proof*. The proof of the first estimate follows from the asymptotic behavior of

*H*

^{ i }together with the assumption on the norm of boundary data

*φ*given by (30). Indeed, let

*c*

_{ κ }be a constant depending only on

*κ*(provided

*ε*and

*λ*are chosen small enough) it follows from the estimate of

*H*

^{ i }, given by lemma 2, that

*i*= 1,2,

*μ*∈ (1,2) and the condition (

*A*

_{ λ }), then there exist

*c*

_{ κ }

*>*0 (only depend on

*κ*) such that

*κ*) such that

□

Reducing *λ*_{
κ
}> 0 and *ε*_{
κ
}> 0 if necessary, we can assume that,
for all *λ* ∈ (0, *λ*_{
κ
}) and *ε* ∈ (0, *ε*_{
κ
}). Then, (31) and (32) are enough to show that
is a contraction from
into itself and hence has a unique fixed point
in this set. This fixed point is solution of (20) in ℝ^{2}. We summarize this in the following:

**Proposition 4**

*Given κ >*0,

*there exist ε*

_{ κ }

*>*0,

*λ*

_{ κ }

*>*0

*and c*

_{ κ }

*>*0

*(only depending on κ) such that for all ε*∈ (0,

*ε*

_{ κ })

*, λ*∈ (0,

*λ*

_{ κ })

*satisfying*(

*A*)

*, for all τ in some fixed compact subset of*[

*τ -*,

*τ*

^{+}] ⊂ (0, ∞)

*and for a given φ satisfying (24)-(30), then there exists a unique*

*solution of (29) such that*

Observe that the function
being obtained as a fixed point for contraction mappings, it depends continuously on the parameter *τ*.

## 4 The nonlinear exterior problem

*c >*0, so that

where is a cutoff function identically equal to 1 in and identically equal to 0 outside .

We need to define some auxiliary weighted spaces:

**Definition 6**

*Let*,

*k*∈ ℝ,

*β*∈ (0, 1)

*and ν*∈ ℝ

*, we define the Hölder weighted space*

*as the set of functions*

*for which the following norm*

*is finite*

*σ*∈ (0,

*r*

_{0}/2) and all

*Y*= (

*y*

_{1}, ...,

*y*

_{ m }) ∈ Ω

^{ m }such that ||

*X - Y*|| ≤

*r*

_{0}/2, where

*X*= (

*x*

_{1}, ...,

*x*

_{ m }), we denote by

*i*= 1, ...,

*m*and in each

*B*

_{σ/2}(

*y*

_{ i }), where is a cutoff function identically equal to 1 for

*t*≥ 1 and identically equal to 0 for

*t*≤ 1/2. It is easy to check that there exists a constant

*c*=

*c*(

*ν*)

*>*0 only depending on

*ν*such that

*κ*> 0 (whose value will be fixed later on), we assume that the points , the functions and the parameters to satisfy

Then, the following result holds

**Lemma 6**

*Given κ >*0,

*there exist ε*

_{ κ }

*>*0,

*λ*

_{ κ }

*>*0,

*c*

_{ κ }

*>*0

*and*

*(depending on κ) such that for all ε*∈ (0,

*ε*

_{ κ })

*, λ*∈ (0,

*λ*

_{ κ })

*Proof:* Recall that
, we will estimate
in different subregions of
.

□

Reducing *λ*_{
κ
} > 0 and *ε* _{
κ
}> 0 if necessary, we can assume that,
for all *λ* ∈ (0, *λ*_{
κ
}) and *ε* ∈ (0, *ε*_{
κ
}). Then, (42) and (43) are enough to show that
is a contraction from
into itself and hence has a unique fixed point
in this set. This fixed point is solution of (35). We summarize this in the following

**Proposition 5**

*Given κ >*0

*, there exists ε*

_{ κ }> 0

*and λ*

_{ κ }> 0

*(depending on κ) such that for all ε*∈ (0,

*ε*

_{ κ })

*and λ*∈ (0,

*λ*

_{ κ })

*, for all set of parameter*

*satisfying (39) and function*

*satisfying (26), there exists a unique*

*solution of (36) such that*

As in the previous section, observe that the function being obtained as a fixed point for contraction mapping, depends smoothly on the parameters and the points .

## 5 The nonlinear Cauchy-data matching

^{ m }are given close to

**x**:= (

*x*

_{1}, ...,

*x*

_{ m }) and satisfy (37). Assume also that

*τ*:= (

*τ*

_{1}, ...,

*τ*

_{ m }) ∈ [

*τ*

_{ - },

*τ*

^{+}]

^{ m }⊂ (0, ∞)

^{ m }are given (the values of

*τ*

_{-}and

*τ*

^{+}will be fixed shortly). First, we consider some set of boundary data satisfying (24). We set

*ε*∈ (0,

*ε*

_{ κ }) and

*λ*∈ (0,

*λ*

_{ κ }), we use the result of Proposition 5, to find a solution

*v*

_{ ext }of (43) which can be decomposed as

*v*

_{ext}in is a smooth function. This amounts to find the boundary data and the parameters so that, for each

*i*= 1 ...,

*m*

*ε*and

*λ*small enough a function (which is obtained by patching together the functions and the function

*v*

_{ext}) solution of -Δ

*v*-

*λ*|∇

*v*|

^{2}=

*ρ*

^{2}(

*e*

^{ v }+

*e*

^{ γv }) and elliptic regularity theory implies that this solution is in fact smooth. This will complete the proof of our result since, as

*ε*and

*λ*tend to 0, the sequence of solutions we have obtained satisfies the required properties, namely, away from the points

*x*

_{ i }the sequence

*v*

_{ε,λ}converges to . Before we proceed, the following remarks are due. First, it will be convenient to observe that the function can be expanded as

on *S*^{1}. Here, all functions are considered as functions of *y* ∈ *S*^{1} and we have simply used the change of variables
to parameterize
.

*S*

^{1}, belong to and where are

*L*

^{2}(

*S*

^{1}) orthogonal to and . Projecting the equations (51) over will yield the system

*H*

^{ i }and

*H*

^{ e }given in Lemma 2 and Lemma 3, and also the estimates (45) and (46). The system (52) can be readily simplified into

*τ*

_{ - }and

*τ*

^{+}since, according to the above, as

*ε*and

*λ*tend to 0 we expect that will converge to

*x*

_{ i }and that

*τ*

_{ i }will converge to satisfying

*L*

^{2}-projection of (51) over . Given a smooth function

*f*defined in Ω, we identify its gradient with the element of

where as usual, the terms
depend nonlinearly on all the variables on the left side, but is bounded (in the appropriate norm) by a constant (independent of *ε* and *λ*) time
, provide *ε* ∈ (0, *ε*_{
κ
}) and *λ* ∈ (0, *λ*_{
κ
}). Then, the nonlinear mapping which appears on the right-hand side of (55) is continuous and compact. In addition, reducing *ε*_{
κ
} and *λ*_{
κ
} if necessary, this nonlinear mapping sends the ball of radius
(for the natural product norm) into itself, provided *κ* is fixed large enough. Applying Schauder's fixed Theorem in the ball of radius
in the product space where the entries live yields the existence of a solution of Eq. (55) and this completes the proof of our Theorem 1. □

## Declarations

### Acknowledgements

The authors extend their appreciation to the Deanship of Scientific Research at King Saud University for funding the work through the research group project No RGP-VPP-087.

## Authors’ Affiliations

## References

- Ren X, Wei J: On a two-dimensional elliptic problem with large exponent in nonlinearity.
*Trans Am Math Soc*1994, 343: 749-763.View ArticleMathSciNetGoogle Scholar - Esposito P, Musso M, Pistoia A: Concentrating solutions for a planar problem involving nonlinearities with large exponent.
*J Diff Eqns*2006, 227: 29-68.View ArticleMathSciNetGoogle Scholar - Baraket S, Ben Omrane I, Ouni T: Singular limits solutions for 2-dimensional elliptic problem involving exponential nonlinearities with non linear gradient term.
*Nonlinear Differ Equ Appl*2011, 18: 59-78.View ArticleMathSciNetGoogle Scholar - Baraket S, Ye D: Singular limit solutions for two-dimensional elliptic problems with exponentionally dominated nonlinearity.
*Chin Ann Math Ser B*2001, 22: 287-296.View ArticleMathSciNetGoogle Scholar - Liouville J:Sur l'équation aux différences partielles
.
*J Math*1853, 18: 17-72.Google Scholar - Tarantello G: Multiple condensate solutions for the Chern-Simons-Higgs theory.
*J Math Phys*1996, 37: 3769-3796.View ArticleMathSciNetGoogle Scholar - Suzuki T: Two dimensional Emden-Fowler Equation with Exponential Nonlinearity.
*Nonlinear Diffusion Equations and Their Equilibrium States Birkäuser*1992, 3: 493-512.View ArticleGoogle Scholar - Nangasaki K, Suzuki T: Asymptotic analysis for two-dimensional elliptic eigenvalue problems with exponentially dominated nonlinearities.
*Asymptotic Anal*1990, 3: 173-188.MathSciNetGoogle Scholar - Ye D: Une remarque sur le comportement asymptotique des solutions de
*-*Δ*u*=*λ f*(*u*).*C R Acad Sci Paris I*1997, 325: 1279-1282.View ArticleGoogle Scholar - Weston VH: On the asymptotique solution of a partial differential equation with exponential nonlinearity.
*SIAM J Math*1978, 9: 1030-1053.View ArticleMathSciNetGoogle Scholar - Baraket S, Pacard F: Construction of singular limits for a semilinear elliptic equation in dimension 2.
*Calc Var Partial Differ Equ*1998, 6: 1-38.View ArticleMathSciNetGoogle Scholar - Esposito P, Grossi M, Pistoia A: On the existence of Blowing-up solutions for a mean field equation.
*Ann I H Poincaré -AN*2005, 22: 227-257.View ArticleMathSciNetGoogle Scholar - Del Pino M, Kowalczyk M, Musso M: Singular limits in Liouville-type equations.
*Calc Var Partial Differ Equ*2005, 24: 47-87.View ArticleMathSciNetGoogle Scholar - Wei J, Ye D, Zhou F: Bubbling solutions for an anisotropic Emden-Fowler equation.
*Calc Var Partial Differ Equ*2007, 28: 217-247.View ArticleMathSciNetGoogle Scholar - Wei J, Ye D, Zhou F: Analysis of boundary bubbling solutions for an anisotropic Emden-Fowler equation.
*Ann I H Poincaré AN*2008, 25: 425-447.View ArticleMathSciNetGoogle Scholar - Ye D, Zhou F: A generalized two dimensional Emden-Fowler equation with exponential nonlinearity.
*Calc Var Partial Differ Equ*2001, 13: 141-158.View ArticleMathSciNetGoogle Scholar - Wente HC: Counter example to a conjecture of H. Hopf.
*Pacific J Math*1986, 121: 193-243.View ArticleMathSciNetGoogle Scholar - Baraket S, Dammak M, Ouni T, Pacard F: Singular limits for a 4-dimensional semilinear elliptic problem with exponential nonlinearity.
*Ann I H Poincaré AN*2007, 24: 875-895.View ArticleMathSciNetGoogle Scholar - Dammak M, Ouni T: Singular limits for 4-dimensional semilinear elliptic problem with exponential nonlinearity adding a singular source term given by Dirac masses.
*Differ Int Equ*2008, 11-12: 1019-1036.MathSciNetGoogle Scholar - Clapp M, Munoz C, Musso M: Singular limits for the bi-Laplacian operator with exponential nonlinearity in ℝ
^{4}.*Ann I H Poincaré AN*2008, 25: 1015-1041.View ArticleMathSciNetGoogle Scholar - Baraket S, Ben Omrane I, Ouni T, Trabelsi N: Singular limits solutions for 2-dimensional elliptic problem with exponentially dominated nonlinearity and singular data.
*Communications in Contemporary Mathematics 2*2011, 13(4):129.MathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.