Abstract
The existence of infinitely many connected sets of positive solutions for a certain elliptic system is investigated in this paper. We consider semilinear equations with perturbed Laplace operators described in an exterior domain. We show that each of these solutions \(\mathbf {u}=( u_{1},u_{2})\) has the minimal asymptotic decay, namely \( u_{i}(x)=O(||x||^{2-n})\) as \(||x||\rightarrow \infty ,\)\(i=1,2,\) and finite energy in a neighborhood of infinity. Our main tool is the sub and super-solutions theorem which is based on the Sattinger’s iteration procedure. We do not need any growth assumptions concerning nonlinearities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The purpose of this paper is to formulate conditions which guarantee the existence of continua of positive solutions of the following system involving perturbed Laplace operators
for \(x\in G_{R}=\left\{ x\in \mathbb {R}^{n},||x||>R\right\} \) with \(n>2,\)\( R>0\) and \(||x||:=\sqrt{\sum \nolimits _{i=1}^{n}x_{i}^{2}}.\) We are interested in global solutions vanishing at infinity, i.e.
which are often called evanescent solutions.
Many problems modeled by similar systems arise in various areas of applied mathematics, in biological, chemical or physical phenomena, for example in pseudoplastic fluids [9], reaction–diffusion processes, chemical heterogeneous catalysts [4] or heat conduction in electrically conducting materials [18]. Recently the existence and multiplicity of solutions for such elliptic systems considered also in unbounded domains has been widely discussed in the literature (see e.g. [5, 11,12,13,14, 23,24,25, 27, 34, 36] and the references therein).
The existence or nonexistence of radially symmetric solutions for the Emden-Fowler system involving p-Laplace operators and some real parameters was discussed e.g. in [8]. There the approach is based on suitable transformations which play a crucial role in the reduction of the main problem to a quadratic system. In [20] and [21] results concerning more general problems associated with the existence of weak solutions of elliptic inequalities can be found. In Covei’s paper [13] the following Lane-Emden-Fowler system is investigated
for bounded domains \(\Omega \subset {\mathbb {R}}^{n}\) or \(\Omega ={\mathbb {R}} ^{n},\) in the case when nonlinearities \(F_{1},F_{2}\) are positive and satisfy some growth condition with respect to the second and third variables. The multiplicity of solutions for system of similar form and their additional properties were discussed, among others, in [11]. In that paper the variational approach allowed the authors to show the existence of at least nine solutions in the case when \(\Omega \) is a bounded regular domain in \({\mathbb {R}}^{n},\) the right-hand side is a Carathé odory function and satisfies, among others, some growth conditions (see Th.1.1). Precisely, these solutions \(U=(u_{1},u_{2}),\) satisfy the following sign conditions: both \(u_{1}\) and \(u_{2}\) are strictly positive or negative in the first four solutions; four others are such that one of the two coordinates is of the one sign while the other is of changing sign, and finally both coordinates change their sing in the ninth solution. There are many results concerning the existence of infinitely many solutions for the case when the system does not depend on \(\nabla u_{i}.\) For example, vanishing solutions for Schrödinger–Poisson system (also called Schrödinger–Maxwell equations), was discussed in [24], where an approximation methods were employed. Such systems are motivated by many problems arising in quantum mechanic, in plasma physics, semiconductor theory or nonlinear optics (see e.g. [6, 7, 15,16,17, 30] and the references therein). Based on variational methods Ambrosetti and Ruiz proved the existence of infinitely many radial solutions for the problem
when \(p\in \left( 2,5\right) \) and \(\lambda >0\) is sufficiently large (see [2] and [3]). In the case when \(p\in (1,2]\) and \(\lambda >0\) is small enough, the existence of finite number of such solutions was proved there. In 2011 d’Avenia, Pomponio and Vaira constructed infinitely many nonradial solutions of the above system with the first equation with the function K(x) instead of constant parameter \(\lambda \) for \(p\in \left( 1,5\right) \) and K decaying at infinity. In [10, 26] and [33] the following general problem
was considered for the positive potential V. Applying the variant of the fountain theorem the authors obtain infinitely many high-energy solutions for superlinear f. In the sublinear case and \(K\equiv 1,\) Sun constructed infinitely many small-energy solutions for such problem [32]. Similar multiplicity results for sublinear and odd f and positive nonconstant K was proved in [34]. The authors obtained the existence of finite number of nontrivial solution for superlinear case. The existence of a sequence of solutions decaying at infinity of the above system was obtained in [35] in the case when \(K\equiv 1,\)\(\lambda =1\), f is odd and satisfies particular estimates. We want to join in the discussion concerning the multiplicity of global solutions for (1) under quite mild conditions concerning nonlinearities. We focus on positive solutions with minimal growth and finite energy in a neighborhood of infinity. The aim of this paper is twofold. On the one hand we want to formulate sufficient conditions for the existence of infinitely many unbounded connected sets of global solutions for our problem. Here we have to emphasize that this results will be obtained without assumptions concerning the oddness or growth of nonlinearity \(f_{i}\) with respect to the second and/or third variables. These condition are often met in the literature. On the other hand we describe precisely the asymptotics of solutions and their gradients.
By a solution of our problem we understand a vector function \(\mathbf {u=} \left( u_{1},u_{2}\right) \in \left( C_{loc}^{2+\alpha }(G_{R})\right) ^{2}:=C_{loc}^{2+\alpha }(G_{R})\times C_{loc}^{2+\alpha }(G_{R})\) satisfying (1) and (2). Moreover, we say that \(\mathbf {u=} \left( u_{1},u_{2}\right) \) is a finite energy solution (or a solution with finite energy) in a neighborhood of infinity when there exits a nonnegative radial function \(\psi :=(\psi _{1},\psi _{2})\in C^{1}\left( \Omega _{R}\right) \) with \(\psi _{i}(x)\equiv 1,\)\(i=1,2,\) for ||x|| sufficiently large and such that \(\psi _{i}u_{i}\in D_{0}^{1,2}(\Omega _{R}),\) where \( D_{0}^{1,2}(\Omega _{R})\) denotes the completion of \(C_{0}^{\infty }\left( \Omega _{R}\right) \) in the norm \(||\varphi ||:=||\nabla \varphi ||_{L^{2}(\Omega _{R})}\) (see, among others, e.g. [27]).
Here we also recall standard definitions of a super-solution and a sub-solution of (1)–(2) (see e.g. [25]). Precisely, by a super-solution of (1)–(2) in \(G_{R}\) we understand a vector function \(\overline{{\mathbf {u}}}=(\overline{u}_{1}, \overline{u}_{2})\in \left( C_{loc}^{2+\alpha }(G_{R})\right) ^{2}\) satisfying the following differential inequalities
Analogously, as for a sub-solution \(\underline{\mathbf {u}}=(\underline{u} _{1},\underline{u}_{2})\) of (1)–(2) in \(G_{R}\), the sign of the inequality should be reversed.
To show the existence of continua of positive solutions with finite energy we assume the following hypotheses
- (H1):
\(g_{i}:G_{l_{0}}\rightarrow \mathbb {(}0,+\infty ),\) where \(1<l_{0}\le R,\) is locally Hölder continuous with exponent \(\alpha \in \left( 0,1\right) ,\)\(i=1,2;\)
- (H2):
\(a_{i}:[1,+\infty )\rightarrow (c_{1},c_{2})\) belongs to \(C^{1+\alpha }([1,+\infty )),\) where \(0<c_{1}<c_{2},\)\( i=1,2;\)
- (H3):
\(f_{1},f_{2}\) are continuously differentiable in \(G_{R}\times (\alpha _{1},\beta _{1})\times (\alpha _{2},\beta _{2}),\) where \(\alpha _{i}<0<\beta _{i},\)\(i=1,2,\)
- (a):
\(f_{1}(x,0,0)\), \(f_{2}(x,0,0)\) are positive in \( G_{R},\)
- (b):
\(f_{1}\) is nondecreasing in \( u _{2}\) and \(f_{2}\) is nondecreasing in \(u_{1}\);
- (c):
for each \(i=1,2,\)there exists \(d_{i}\in (0,\beta _{i}),\)\(m_{i}<4(n-2)d_{i}c_{1}^{2}c_{2}^{-1}\)such that for all \( r\in [1,+\infty ),\)
$$\begin{aligned} \underset{\mathbf {(}u_{1},u_{2})\in [0,d_{1}]\times [0,d_{2}]}{ \sup }\underset{||x||=r}{\sup }f_{i}(x,u_{1},u_{2})\le m_{i}r^{2-2n} \end{aligned}$$and there exist\(K_{1},K_{2}>1\)such that the following inequality holds
$$\begin{aligned} \left[ \frac{1}{2}\left( 1-K_{i}^{2-n}\right) ^{2}\frac{1}{K_{i}^{2}}\right] ^{-\frac{1}{n-2}}\le R. \end{aligned}$$(3)
It is worth emphasizing that we need the monotonicity and differentiability of \(f_{i}\) only on some right-hand side neighborhood of the origin. Moreover, we can consider both sublinear and superlinear \( f_{i}.\) It is associated with the fact that we have to control only the value of nonlinearities \(f_{i}(x,\cdot ,\cdot )\) in the rectangle \( [0,d_{1}]\times [0,d_{2}]\). Thus we can omit growth conditions concerning variable \(\mathbf {u=}\left( u_{1},u_{2}\right) \). Our main tool is Theorem 1 (given below) which says that the existence of a sub-solution \(\underline{\mathbf {u}}=(\underline{u}_{1},\underline{u}_{2})\) and a super-solution \(\overline{\mathbf {u}}=(\overline{u}_{1},\overline{u} _{2})\) of our problem such that \(0\le \underline{u}_{i}\le \overline{u} _{i}\le d_{i}\) for \(i=1,2,\) implies the existence of a solution \(\mathbf {u= }\left( u_{1},u_{2}\right) \) of (1) which is squeezed between them. The proof of Theorem 1 is based on classical ideas associated with the Sattinger’s monotone iteration procedure (see [31]) and the approach described by Kawano [25] for the system which does not contain the gradient term. The similar theorem was also proved in the [29] (Th. 1.2) but only for the special case when \(a_{i}\equiv 1,\)\(i=1,2.\) Therefore we can not use it directly. For the reader’s convenience we present the proof of this result in the “Appendix”.
Now we formulate precisely the theorem which will be our main tool in the proof of the existence result. The proof of Theorem 1 is given at the end of the paper (in “Appendix”).
Theorem 1
Assume that (H1), (H2), (H3) hold and \(\overline{\mathbf {u}}=(\overline{u}_{1},\overline{u}_{2})\) and \(\underline{\mathbf {u}}=(\underline{u}_{1},\underline{u}_{2})\) are, respectively, a positive super-solution and a nonnegative sub-solution of (1)–(2) such that
Then there exists a vector function \(\mathbf {u}=\left( u_{1},u_{2}\right) \in \left( C_{loc}^{2+\alpha }(G_{R})\right) ^{2}\) satisfying (1)–(2) and such that for \(i=1,2\), \(\underline{u}_{i}\le u_{i}\le \overline{u}_{i}\) in \(\overline{G }_{R}\) and \(u_{i}(x)=\overline{u}_{i}(x)\) on \(\partial G_{R}.\)
This approach allows us to prove two main results: the first one is associated with the existence of sequences of uncountable sets of solutions and the other one gives additional information concerning the asymptotics of solutions and their gradients.
Theorem 2
Suppose that (H1), (H2) and (H3) hold. Then there exist infinitely many connected sets of positive solutions \(\{(u_{1}^{q,l},u_{2}^{q,l}),q\in {\mathbb {R}} \}_{l\in {\mathbb {N}}}\) of (1)–(2), where \( {\mathbb {N}}:=\{1,2,3,...\}\). For all \(q\in {\mathbb {R}},\) the sequence \(\{(u_{1}^{q,l},u_{2}^{q,l})\}_{l\in {\mathbb {N}}}\) is nondecreasing in \(G_{R}\) and increasing on \(\partial G_{R}\) (with respect to each coordinate). Moreover
- 1.
there exists at least one sequence of continua \(\{S_{l}^{0}\}_{l\in {\mathbb {N}}}\) consisting of all solutions \((u_{1}^{q,l},u_{2}^{q,l})\) such that both coordinates \(u_{1}^{q,l}\) and \(u_{2}^{q,l}\) have different value on \(\partial G_{R}, \) i.e.
$$\begin{aligned} S_{l}^{0}:=\{(u_{1}^{q,l},u_{2}^{q,l}),q\in {\mathbb {R}}\, {\textit{ such that }}\, u_{1}^{q,l}\ne u_{2}^{q,l}{ {on} }\,\partial G_{R}\}\, {\textit{ for all}}\,\, l\in {\mathbb {N}}, \end{aligned}$$ - 2.
there exists at least one sequence of continua \(\{S_{l}^{1}\}_{l\in {\mathbb {N}}}\) consisting of all solutions \((u_{1}^{q,l},u_{2}^{q,l})\) such that both coordinates \(u_{1}^{q,l}\) and \(u_{2}^{q,l}\) have the same value on \(\partial G_{R},\) i.e.
$$\begin{aligned} S_{l}^{1}:=\{(u_{1}^{q,l},u_{2}^{q,l});q\in {\mathbb {R}}{\textit{ such that }} u_{1}^{q,l}=u_{2}^{q,l}{ {on} }\,\,\partial G_{R}\} {\textit{ for all }} l\in {\mathbb {N}}, \end{aligned}$$ - 3.
each of such sequences \(\{(u_{1}^{q,l},u_{2}^{q,l})\}_{l\in {\mathbb {N}}}\) generates another solution \(({\widetilde{u}}_{1}^{q}, {\widetilde{u}}_{2}^{q})\) of (1)–(2) and, in consequence, \(\{({\widetilde{u}}_{1}^{q},{\widetilde{u}}_{2}^{q}),q\in {\mathbb {R}}\}\) is also a connected set of positive solutions of (1)–(2).
Theorem 3
Under hypotheses (H1), (H2) and (H3) ,solutions \((u_{1}^{q,l},u_{2}^{q,l})\), where \(q\in {\mathbb {R}}\) and \(l\in {\mathbb {N}}\), described in Theorem 2, satisfy the following conditions:
- 1.
\((u_{1}^{q,l},u_{2}^{q,l})\) has finite energy in neighborhood of infinity,
- 2.
for \(i\in \{1,2\}\),
$$\begin{aligned} u_{i}^{q,l}(x)=O\left( \frac{1}{||x||^{n-2}}\right) \,\mathrm{as }\,\Vert x\Vert \rightarrow +\infty \end{aligned}$$(4)(which means that \((u_{1}^{q,l},u_{2}^{q,l})\) has the minimal growth) and for all \(\phi \in C^{1}(1,+\infty )\) such that \({\lim }_{{r\rightarrow +\infty }}\phi (r)=0\) and \({\lim }_{r\rightarrow +\infty }\phi ^{\prime }(r)r^{n-1}=+\infty \),
$$\begin{aligned} u_{i}^{q,l}(x)=o\left( \phi (||x||)\right) \,\mathrm{as }\,\Vert x\Vert \rightarrow +\infty . \end{aligned}$$(5)
2 Existence of continua of super-solutions
Taking into account the fact that \(f(x,0,0)\ge 0\) in \(\Omega _{R}\) we obtain the trivial sub-solution \(\underline{\mathbf {u}}\equiv (0,0)\) of (1)–(2). Therefore it suffices to construct an increasing sequences of positive super-solutions for (1)–(2). To this effect we consider a sequence of auxiliary linear problems. It appears that their radial positive solutions give us a sequence of super-solutions for our main problem. Let \(q\in {\mathbb {R}}\) and \(l\in {\mathbb {N}}\) be fixed. We consider the following two independent linear problems
where \(i=1,2,\)
and
for all \(l\in {\mathbb {N}},\)\(i=1,2.\) Now we describe some properties of \( {\widetilde{f}}_{i}^{q,l}\) and \(p_{i}^{q,l}\) .
Remark 1
For each q\(\in {\mathbb {R}}\) and \(i=1,2 \mathbf {,}\)
- 1.
\(\{p_{i}^{q,l}\}_{l\in N}\) is an increasing sequence of positive numbers,
- 2.
for all \(l\in {\mathbb {N}}\), the following inequality holds
$$\begin{aligned} \int _{1}^{\infty }r^{n-1}{\widetilde{f}} _{i}^{q,l}(r)dr<4(n-2)d_{i}c_{1}^{2}c_{2}^{-1},\,\,i=1,2, \end{aligned}$$(7) - 3.
there exists \(K_{i}>1\) such that for all \(l\in {\mathbb {N}}\), the following inequality holds
$$\begin{aligned} R^{2-n}\le \frac{1}{2}\left( 1-K_{i}^{2-n}\right) ^{2}\left[ \frac{\underset{r\in [1,K_{i}]}{\inf }r^{2n-2}{\widetilde{f}}_{i}^{q,l}(r)}{\underset{ r\in [1,+\infty )}{\sup }r^{2n-2}{\widetilde{f}}_{i}^{q,l}(r)}\right] . \end{aligned}$$(8)
Proof
Taking into account the definition of \(p_{i}^{q,l}\) we get that \(\{p_{i}^{q,l}\}_{l\in {\mathbb {N}}}\subset \left( 0,+\infty \right) \) and it is an increasing sequence. Moreover, (H3) part (c) implies for all \(\ i\in \{1,2\},\) the following chain of inequalities
Coming to the last part let us note that
and
Thus, by (H3) part (c), \(\left[ \frac{1}{2}\left( 1-K_{i}^{2-n}\right) ^{2}\frac{1}{K_{i}^{2}}\right] \ge R^{2-n}\) and further
which gives (8). \(\square \)
Applying the transformation given by diffeomorphism \(\psi :[0,1)\rightarrow [1,+\infty ),\) where \(\psi (t)=\left( 1-t\right) ^{\frac{1}{2-n}},\) we use the well-known fact that the solution \((\overline{u}_{1}^{q,l}, \overline{u}_{2}^{q,l})\) of (6) can be described as \(\overline{ u}_{i}^{q,l}(x)=z_{i}^{q,l}(\psi ^{-1}(||x||))\) for \(i=1,2,\) namely \( \overline{u}_{i}^{q,k}(x)=z_{i}^{q,k}(1-||x||^{2-n})\), where \(z_{i}^{q,l},\)\( i=1,2,\) are solutions of the following two independent Dirichlet problems with singularity at the end-point 1
with
Remark 2
Taking into account assumptions made on \(f_{i}\) we state that for each \(i=1,2\), \(h_{i}^{q,l}\) satisfies the following conditions
- 1.
for all \(l\in {\mathbb {N}}\) and \(q\in {\mathbb {R}}\), \(h_{i}^{q,l}\) is continuous, \(h_{i}^{q,l}(\cdot )>0\), \(h_{i}^{q,l}<h_{i}^{q,l+1}\) and
$$\begin{aligned} \int _{0}^{1}h_{i}^{q,l}(r)dr\le 4d_{i}c_{1}^{2}c_{2}^{-1}, \end{aligned}$$(10) - 2.
there exists \(0<\varepsilon _{i}<1\) such that for all \(l\in {\mathbb {N}}\) and \(q\in {\mathbb {R}}\)
$$\begin{aligned} (1-\overline{t})\left( \underset{t\in [0,1)}{\sup } h_{i}^{q,l}(t)\right) \le \frac{1}{2}\varepsilon _{i}^{2}\left( \underset{ t\in [0,\varepsilon _{i}]}{\inf }h_{i}^{q,l}(t)\right) , \end{aligned}$$(11)where \(\overline{t}:=1-R^{2-n}\in \left( 0,1\right) .\)
Lemma 4
For each \(q\in {\mathbb {R}}\) and \(l\in {\mathbb {N}} \) there exists a super-solution \((\overline{u}_{1}^{q,l},\overline{ u}_{2}^{q,l})\) of our problem such that
and for all \(l\in {\mathbb {N}}\) and \(q_{1},q_{2}\in {\mathbb {R}}\)
Precisely, for each \(q\in R\) there exist two types of sequences of super-solutions \(\left\{ (\overline{u}_{1}^{q,l},\overline{u} _{2}^{q,l})\right\} _{l\in {\mathbb {N}}}\) : in the first one for all \(l\in {\mathbb {N}}\), \(\overline{u}_{1}^{q,l}\equiv \overline{u} _{2}^{q,l}\) in \(G_{R}\), in the other one for all \(l\in {\mathbb {N}}\), \(\overline{u}_{1}^{q,l}\ne \overline{u}_{2}^{q,l}\).
Moreover for each \(q\in R\) and \(l\in {\mathbb {N}}\) the following assertions hold
and
for all \(\phi \in C^{1}(1,+\infty )\) such that \({\lim }_{ r\rightarrow +\infty }\phi (r)=0\) and \({\lim }_{ r\rightarrow +\infty }\phi ^{\prime }(r)r^{n-1}=+\infty .\)
Proof
We start with the solutions of the sequence of Dirichlet problems (9). To this end we fix \(q\in {\mathbb {R}}\) and \( l\in {\mathbb {N}}\). It is obvious that taking
where
with \(c_{i}:=\mathop {\displaystyle \int }\limits _{0}^{1}\frac{1}{{\widetilde{a}}_{i}(s)}dr,\) we obtain the solution of (9). By the definition of \(\mathbf {G}_{i} \mathbf {,}\) we get for all \(t\in [0,1],\)
Let us note that for all \(l\in {\mathbb {N}},\)\(i=1,2,\)\( h_{i}^{q,l}(t)<h_{i}^{q,l+1}(t)\) for all \(t\in (0,1),\) which implies
The above assertion and the boundary condition \( z_{i}^{q,l}(0)=z_{i}^{q,l+1}(0)=z_{i}^{q,l}(1)=z_{i}^{q,l+1}(1)=0\) lead to the inequality
Applying the same reasoning we obtain for all \(l\in {\mathbb {N}}\) and \(q_{1},q_{2}\in {\mathbb {R}},\)
Taking into account the facts that the unique solution \(z_{i}^{q,l}\) of (9) is nontrivial and concave, we can state that \(z_{i}^{q,l}\) is positive in (0, 1). Moreover we get
Indeed, owing to (11) we obtain the following chain of assertions
Moreover, we can describe the behavior of \(z_{i}^{q,l}\) as \(t\rightarrow \)\( 1^{-}.\) Since \(\left( z_{i}^{q,l}\right) ^{\prime }(t)=-\int _{0}^{1}sh_{i}^{q,l}(s)ds+\int _{t}^{1}h_{i}^{q,l}(s)ds\) we get
and further
Now we consider the vector function \(\left( \overline{u}_{1}^{q,l},\overline{ u}_{2}^{q,l}\right) ,\) where \(\overline{u} _{i}^{q,l}(x)=z_{i}^{q,l}(1-||x||^{2-n})\) in \(G_{R_{i}}\) which is a positive radial solution of (6). Taking into account (20) we obtain
which implies (14). To prove (15) we take an arbitrary \( \phi \in C^{1}(1,+\infty )\) such that \({\lim }_{r\rightarrow +\infty }\phi (r)=0\) and \({\lim }_{r\rightarrow +\infty }\phi ^{\prime }(r)r^{n-1}=+\infty .\) Then function \(\psi (t)=\phi ((1-t)^{\frac{1}{2-n}})\) satisfies conditions: \({\lim }_{t\rightarrow 1^{-}}\psi (t)=0\) and \( {\lim }_{t\rightarrow 1^{-}}\psi ^{\prime }(t)=+\infty .\) It is clear that \({\lim }_{t\rightarrow 1^{-}}\frac{(z_{i}^{q,l})^{\prime }(t)}{\psi ^{\prime }(t)}=0.\) Thus, applying again the de L’Hospital’s rule, we obtain \({\lim }_{t\rightarrow 1^{-}}\frac{z_{i}^{q,l}(t)}{\psi (t) }=0\) and further
for \(i=1,2,\) which gives (15). \(\square \)
3 Proof of the main results
Now we can prove our main result concerning the existence of sequences of connected sets of positive evanescent solutions of (1). The proof of this theorem is based on the sub-solution and super-solutions method described in Theorem 1 and the iteration process applied in [28].
Proof (of Theorem 2) Suppose that (H1), (H2), (H3) hold. Let us fix \(q\in {\mathbb {R}}.\) Lemma 4 leads to the existence of a nondecreasing (with respect to each coordinate) sequence \(\{(\overline{u}_{1}^{q,l},\overline{u} _{2}^{q,l})\}_{l\in {\mathbb {N}}}\) of super-solutions of (1)–(2). Let us consider trivial vector function \(\left( 0,0\right) \) being a sub-solution of (1)–(2) and its super-solution \(( \overline{u}_{1}^{q,1},\overline{u}_{2}^{q,1}).\) Theorem 1 gives the existence of solution \((u_{1}^{q,1},u_{2}^{q,1})\) for our problem such that for \(i=1,2,\)
Now we treat the above solution \((u_{1}^{q,1},u_{2}^{q,1})\) as a sub-solution of our problem. Since we have super-solution \((\overline{u} _{1}^{q,2},\overline{u}_{2}^{q,2})\) satisfying the following chain of inequalities for \(i=1,2,\)
we can apply again Theorem 1 and derive the existence of a solution \( (u_{1}^{q,2},u_{2}^{q,2})\) of (1)–(2) such that for \( i=1,2,\)
The last equality and the fact that \(\overline{u}_{i}^{q,1}<\overline{u} _{i}^{q,2}\) on \(\partial G_{R}\) imply that for \(i=1,2,\)\(u_{i}^{q,1}\ne u_{i}^{q,2}.\) Iterating this process and having constructed solution \( (u_{1}^{q,l},u_{2}^{q,l})\) of (1)–(2) we obtain the existence of another solution \((u_{1}^{q,l+1},u_{2}^{q,l+1})\) such that
for \(i=1,2.\) Since \(\overline{u}_{i}^{q,l}<\overline{u}_{i}^{q,l+1}\) on \( \partial G_{R}\) we obtain for \(i=1,2,\)\(u_{i}^{q,l}\ne u_{i}^{q,l+1}.\) Finally we obtain a sequence of bounded solutions \(\left\{ (u_{1}^{q,l},u_{2}^{q,l})\right\} _{l\in {\mathbb {N}}}\) which is nondecreasing in \(G_{R}\) and increasing on \(\partial G_{R}.\) Since for all \(q\in {\mathbb {R}} \), \(l\in {\mathbb {N}},\) and \(\ i=1,2,\)\({\lim }_{||x||\rightarrow \infty }u_{i}^{q,l}(x)=0\) we state that we get evanescent solutions.
Let us consider the case when for all \(l\in {\mathbb {N}},\) we take \({\widetilde{f}}_{1}^{q,l}\ne {\widetilde{f}}_{2}^{q,l},\) which implies \(\overline{u} _{1}^{q,l}\ne \overline{u}_{2}^{q,l}.\) Then \(u_{1}^{q,l}\ne u_{2}^{q,l}\) on \(\partial G_{R}\) and we can obtain the first sequence of continua \( \{S_{l}^{0}\}_{l\in {\mathbb {N}}},\) where
for all \(l\in {\mathbb {N}}.\) In the case when we consider \({\widetilde{f}} _{1}^{q,l}\equiv {\widetilde{f}}_{2}^{q,l}\) for all \(l\in {\mathbb {N}}, \) we get \(\overline{u}_{1}^{q,l}\equiv \overline{u}_{2}^{q,l}\) in \(G_{R}\) and further we obtain \(u_{1}^{q,l}=u_{2}^{q,l}\) on \(\partial G_{R}\) which allows us to construct the other sequence of continua \(\{S_{l}^{1}\}_{l\in {\mathbb {N}}}\) , where
Coming to the proof of the last part of Theorem 2 we fix \( q\in {\mathbb {R}}\) and consider the sequence \(\{(u_{1}^{q,l},u_{2}^{q,l})\}_{l \in {\mathbb {N}}}\) of solutions. Based on the classical estimate for solutions of elliptic PDE (see e.g. [27]-Lemma 3.2) in the following annulus \( \Omega _{j,R}:=\{x\in {\mathbb {R}}^{n},\)\(R+\frac{1}{2j}<||x||<R+j\},\)\(j\in {\mathbb {N}},\) we state the existence of \(D>0\) independent of l such that
The compactness of the injection \(C^{2,\alpha }(\overline{\Omega } _{1,R})\rightarrow C^{2}(\overline{\Omega }_{1,R}),\) gives the existence of a subsequence \(\{(u_{1}^{q,l},u_{2}^{q,l})\}_{l\in {\mathbb {N}}}\) which tends to \(({\widetilde{u}}_{1}^{1,q},{\widetilde{u}}_{2}^{1,q})\) in \(\overline{\Omega } _{1,R}\) in the \(\left( C^{2}(\overline{\Omega }_{1,R})\right) ^{2}\) norm. Therefore \(({\widetilde{u}}_{1}^{1,q},{\widetilde{u}}_{2}^{1,q})\) is also a solution of (1) in \(\overline{\Omega }_{1,R}.\) It is clear that the subsequence \(\{(u_{1}^{q,l_{k}},u_{2}^{q,l_{k}})\}_{k\in {\mathbb {N}}},\) also satisfies the above estimate, and consequently there exists a subsequence of \(\{(u_{1}^{q,l_{k}},u_{2}^{q,l_{k}})\}_{k\in {\mathbb {N}}}\) which converges in the \(\left( C^{2}(\overline{\Omega }_{2,R})\right) ^{2}\) norm to \(({\widetilde{u}}_{1}^{2,q},{\widetilde{u}}_{2}^{2,q})\), which is a solution of (1) in \(\overline{\Omega }_{2,R}\) and for \(i=1,2,\)\( {\widetilde{u}}_{i}^{2,q}={\widetilde{u}}_{i}^{1,q}\) in \(\overline{\Omega } _{1,R}.\) Iterating this schema, we can construct inductively a sequence \( \left\{ ({\widetilde{u}}_{1}^{j,q},{\widetilde{u}}_{2}^{j,q})\right\} _{j\in {\mathbb {N}}}\) of solutions of (1) in \(\overline{\Omega }_{j,R}\) such that \({\widetilde{u}}_{i}^{j+1,q}={\widetilde{u}}_{i}^{j,q}\) in \(\overline{ \Omega }_{j,R}.\) This property allows us to consider a vector function (\( {\widetilde{u}}_{1}^{q},{\widetilde{u}}_{2}^{q})\) given as follows
and state that it satisfies (1). Let us consider an arbitrary bounded set \(\overline{M}\subset \Omega _{R}.\) It is clear that there exists \(j\in {\mathbb {N}}\) such that \(\overline{M}\subset \Omega _{j,R}.\) Applying the above results for \(\Omega _{j,R}\) we derive that (\({\widetilde{u}}_{1}^{q}, {\widetilde{u}}_{2}^{q})\in \)\(\left( C^{2}(\overline{M})\right) ^{2}.\) Now, the regularity arguments associated with the Schauder’s estimates imply that (\({\widetilde{u}}_{1}^{q},{\widetilde{u}}_{2}^{q})\in \left( C^{2,\alpha }( \overline{M})\right) ^{2},\) consequently, (\({\widetilde{u}}_{1}^{q}, {\widetilde{u}}_{2}^{q})\in \left( C_{loc}^{2,\alpha }(\Omega _{R})\right) ^{2} \) and satisfies (1)–(2). Finally, the properties of (\( u_{1}^{q,l},u_{2}^{q,l})\) allowed us to prove that (\({\widetilde{u}}_{1}^{q}, {\widetilde{u}}_{2}^{q})\) is a positive evanescent solution of (1). \(\square \)
Our task is now to prove the other result concerning the asymptotics of solutions and their gradients. Here we employee the ideas described in [19, 27, 28].
Proof (of Theorem 3) Suppose that (H1), (H2), (H3) hold. Let us fix \(q\in {\mathbb {R}}\), \(l\in {\mathbb {N}},\) and consider the solution \((u_{1}^{q,l},u_{2}^{q,l})\) given in Theorem 2. We prove that each \((u_{1}^{q,l},u_{2}^{q,l})\) has finite energy applying the standard approach (see e.g. [27]). To this end we consider \(x\in \Omega _{R}\) such that \(||x||\ge 2R,\) and a ball B(x; r / 2) of center x and radius r / 2, where \(r=||x||.\) Then, applying (14 ) and the estimates for solutions of elliptic problems ( [22], Th. 6.2), we obtain the existence of \(L_{i}^{q,l}>R,\)\(C_{i}^{q,l}>0\) such that for all \(x\in {\mathbb {R}}^{n},\)\(||x||>L_{i}^{q,l},\)
where \(m:=\max \{m_{1},m_{2}\}\). Finally, taking into account (14 ), we obtain the existence of \(M_{i}^{q,l}>0\) and \(L_{i}^{q,l}>1\) such that for all \(x\in {\mathbb {R}}^{n},\)\(||x||>L_{i}^{q,l},\)
According to the definition given in the first section, this assertion implies that \((u_{1}^{q,l},u_{2}^{q,l})\) has finite energy in a neighborhood of infinity.
Assertions (4) and (5) are a simple consequence of (14) and (15). \(\square \)
4 Final remarks and examples
Employing the Kawano’s approach (see [25]) we can obtain the same conclusion as in Theorem 2 also in the case when condition ( b) in (H3) is replaced by the following condition
- (b’):
\(f_{1}\) is nonincreasing in \(u_{2}\) and \( f_{2}\) is nonincreasing in \(u_{1}\) in \(G_{R}\times [0,d_{1}]\times [0,d_{2}]\).
Then in the proof of Theorem 1 we have to choose different starting point of the monotone procedure and consider a super-subsolution \((\overline{ u}_{1},\underline{u}_{2})\) of our problem instead of super-solution. In this case we can also prove the existence of sequences of connected sets of solutions.
Now two natural questions appear. The first one concerns the existence of functions for which (H3) holds. It turns out that it is easy to find many examples of \(f_{1},f_{2}\) satisfying (H3) among functions of the form \(f_{i}(x,u_{1},u_{2})=\overline{f}_{i}(u_{1},u_{2})\left( ||x||^{q}+k(x)\right) ^{-1},\) where \(q>2n-2,\)k is positive and sufficiently smooth and \(\overline{f}_{i}\) is a polynomial, exponential or rational function or their combinations, e.g. \(\ \overline{f} _{i}(u_{1},u_{2})=c(u_{1}^{5}+u_{1}^{4}+(u_{1}+u_{2})^{2}+1)\) or \(\overline{f }_{i}(u_{1},u_{2})=c(e^{u_{1}+u_{2}}+\frac{u_{1}^{3}+u_{2}^{3}}{ (4-u_{1})(5-u_{2})}).\) With help of our approach we can also investigate problems of the Emden-Fowler type when \(\overline{f} _{i}(u_{1},u_{2})=c(u_{1}^{\alpha }+u_{2}^{\beta }+M)\) with \(\alpha ,\beta ,M>0.\) At the end of this paper an example of the problem with superlinear \( f_{i}(x,\cdot ,\cdot )\) will be discussed more precisely.
The other question is associated with R. Because of condition (3), the radius R has to be sufficiently large. For \(n=3\) we can consider \( \Omega _{R}\) being the complement of large balls because in this case R has to be greater than or equal to 32. But for \(n=4,\) we can consider \( \Omega _{R}\) with all \(R\ge 3.\, 674\,2.\) It is easy to note that for high dimension n, radius R can be close to 1. This fact is associated with the behavior of each function \(t_{n}(k)=\left[ \frac{ 2k^{2n-2}}{\left( k^{n-2}-1\right) ^{2}}\right] ^{\frac{1}{n-2}}\) in \( (1,+\infty ),\) where \(n\in {{\mathbb {N}}}\). We can note that for each \(n\in {\mathbb {N}}\) the minimal value of \(t_{n}\left( \cdot \right) \) in \( (1,+\infty )\) is attained at \(k_{n}=\root n-2 \of {\left( n-1\right) }\) and then
Condition (H3) part (c) can be rewritten as follows \( R>t_{n}(k_{n}).\) Below is the table with values \(t_{n}(k_{n})\) for higher n
n | 5 | 10 | 50 | 100 | 200 | 400 |
---|---|---|---|---|---|---|
\(t_{n}(k_{n})\) | \(2.\,077\,0\) | \(1.\,202\,9\) | \(1.\,018\,9\) | \(1.\,008\,3\) | \(1.\,003\,8\) | \(1.\,001\,8.\) |
Example 1
Let us consider the following system
for \(x\in G_{R}\), where \(G_{R}=\left\{ x\in {\mathbb {R}}^{3},||x||>R\right\} \) and for \(i=1,2,\)\(g_{i}(x)=\frac{1}{||x||-\frac{1}{2}\sin x_{i}},\)\( a_{i}(||x||)=1+\frac{||x||^{4}}{x_{i}^{2}+||x||^{4}}\). We show that Theorems 2 and 3 can be applied for the system given above. To this end we note that for \(g_{i}\) and \(a_{i},\)\(i=1,2\), (H1) and (H2) hold with \(c_{1}=1,\)\(c_{2}=2\). Since, in our case
and
we see that for \(d_{1}=d_{2}=1,\) simple calculations allows us to obtain for \(r\ge 1,\)
and
Therefore, it suffices to take \(m_{1}=2\) and \(m_{2}:=1.\) It is clear that \( m_{i}\le 2=4(n-2)d_{i}c_{1}^{2}c_{2}^{-1}.\) Then we can state that ( H3) also holds. Finally, Theorem 2 leads to the existence of sequences of connected sets of positive solutions (22) with asymptotics described in Theorem 3.
References
Agmon, S., Douglis, A., Nirenberg, L.: Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. Commun. Pure Appl. Math. 12, 623–727 (1959)
Ambrosetti, A., Ruiz, D.: Multiple bound states for the Schröldinger–Poisson problem. Commun. Contemp. Math. 10, 391–404 (2008)
Ambrosetti, A.: On Schrödinger–Poisson systems. Milan J. Math. 76, 257–274 (2008)
Aris, R.: The Mathematical Theory of Diffusion and Reaction in Permeable Catalysts. Clarendon Press, Oxford (1975)
Bandle, C., Greco, A., Porru, G.: Large solutions of quasilinear elliptic equations: existence and qualitative properties. Boll. Un. Mat. Ital. B (7) 11(1), 227–252 (1997)
Benci, V., Fortunato, D.: An eigenvalue problem for the Schrödinger–Maxwell equations. Topol. Methods Nonlinear Anal. 11, 283–293 (1998)
Benci, V., Fortunato, D.: Solitary waves of the nonlinear Klein–Gordon equation coupled with Maxwell equations. Rev. Math. Phys. 14, 409–420 (2002)
Bidaut-Véron, M.F., Giacomini, H.: A new dynamical approach of Emden–Fowler equations and systems. Adv. Differ. Equ. 15, 1033–1082 (2010)
Callegari, A., Nachman, A.: A nonlinear singular boundary value problem in the theory of pseudoplastic fluids. SIAM J. Appl. Math. 38, 275–281 (1980)
Chen, S.-J., Tang, C.-L.: High energy solutions for the superlinear Schrödinger–Maxwell equations. Nonlinear Anal. 71, 4927–4934 (2009)
Conti, M., Merizzi, L., Terracini, S.: On the Existence of Many Solutions for a Class of Superlinear Elliptic Systems. J. Differ. Equ. 167(2), 357–387 (2000)
Covei, D.P.: Radial and nonradial solutions for a semilinear elliptic system of Schrödinger type. Funkc. Ekvac. 54(3), 439–449 (2011)
Covei, D.P.: Existence and non-existence of solutions for an elliptic system. Appl. Math. Lett. 37, 118–123 (2014)
Covei, D.P.: An existence result for a quasilinear system with gradient term under the Keller–Osserman conditions. Turk. J. Math. 38(2), 267–277 (2014)
D’Aprile, T., Mugnai, D.: Solitary waves for nonlinear Klein–Gordon–Maxwell and Schrödinger–Maxwell equations. Proc. R. Soc. Edinb. Sect. A 134(5), 893–906 (2004)
d’Avenia, P.: Non-radially symmetric solutions of nonlinear Schrödinger equation coupled with Maxwell equations. Adv. Nonlinear Stud. 2(2), 177–192 (2002)
d’Avenia, P., Pomponio, A., Vaira, G.: Infinitely many positive solutions for a Schrödinger–Poisson system. Nonlinear Anal. 74, 5705–5721 (2011)
Diaz, J.I.: Nonlinear partial differential equations and free boundaries. Pitman Res. Notes Math. 1, 106 (1985)
Djebali, S., Orpel, A.: A note on positive evanescent solutions for a certain class of elliptic problems. J. Math. Anal. Appl. 353(1), 215–223 (2009)
Filippucci, R.: Quasilinear elliptic systems in \( {\mathbb{R}}^{n}\) with multipower forcing terms depending on the gradient. J. Differ. Equ. 255(7), 1839–1866 (2013)
Filippucci, R., Pucci, P., Rigoli, M.: Nonlinear weighted p-Laplacian elliptic inequalities with gradient term. Commun. Contemp. Math. 12, 501–535 (2010)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, 2nd edn. Springer, Berlin (1983)
Jiang, X., Lv, X.: Existence of entire positive solutions for semilinear elliptic systems with gradient term. Arch. Math. (Basel) 99(2), 169–178 (2012)
Jiang, Y., Zhou, H.S.: Schrödinger–Poisson system with steep potential well. J. Differ. Equ. 251, 582–608 (2011)
Kawano, N.: On bounded entire solutions of semilinear elliptic equations. Hiroshima Math. J. 14(1), 125–158 (1984)
Li, Q., Su, H., Wei, Z.: Existence of infinitely many large solutions for the nonlinear Schrödinger–Maxwell equations. Nonlinear Anal. 72, 4264–4270 (2010)
Noussair, E.S., Swanson, C.A.: Asymptotics for semilinear elliptic systems. Can. Math. Bull. 34(4), 514–519 (1991)
Orpel, A.: Increasing sequences of positive evanescent solutions of nonlinear elliptic equations. J. Differ. Equ. 259(5), 1743–1756 (2015)
Orpel, A.: Minimal positive solutions for systems of semilinear elliptic equations. Electron. J. Qual. Theory Differ. Equ. 39, 1–13 (2017). https://doi.org/10.14232/ejqtde.2017.1.39
Ruiz, D.: The Schrödinger–Poisson equation under the effect of a nonlinear local term. J. Funct. Anal. 237(2), 655–674 (2006)
Sattinger, D.H.: Monotone methods in nonlinear elliptic and parabolic boundary value problems. Indiana Univ. Math. J. 21, 979–1000 (1971/72)
Sun, J.: Infinitely many solutions for a class of sublinear Schrödinger–Maxwell equations. J. Math. Anal. Appl. 390, 514–522 (2012)
Yang, M.-H., Han, Z.-Q.: Existence and multiplicity results for the nonlinear Schrödinger–Poisson systems. Nonlinear Anal. Real World Appl. 13, 1093–1101 (2012)
Ye, Y., Tang, C.-L.: Existence and multiplicity of solutions for Schrödinger–Poisson equations with sign-changing potential. Calc. Var. Partial Differ. Equ. 53, 383–411 (2015)
Zhanga, Q., Xub, B.: Multiple small solutions for some Schrödinger–Poisson systems. Nonlinear Anal. 117, 200–210 (2015)
Zhang, X., Liu, L.: The existence and nonexistence of entire positive solutions of semilinear elliptic systems with gradient term. J. Math. Anal. Appl. 371(1), 300–308 (2010)
Acknowledgements
The author is grateful to anonymous referee for his/her careful reading of the first version of this manuscript and his/her constructive comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Now we prove the main tool which allowed us to obtain Theorem 2.
Proof(of Theorem 1) As in [25], we start with the existence of solutions on bounded domains and next we construct a solution on \(\Omega _{R}\).
PART 1: Our first aim is to obtain a sequence of solutions \(\left( u_{1}^{k},u_{2}^{k}\right) \) for following auxiliary system
where \(\Omega _{k}:=\left\{ x\in {\mathbb {R}}^{n},R<||x||<R+k\right\} ,\) with \( k\in {\mathbb {N}}\). Taking into account (H3) we derive the existence of positive constants \(K_{1},K_{2}\) such that \(\frac{\partial f_{1}(x,u_{1},u_{2})}{\partial u_{1}}+K_{1}\ge 0\) and \(\frac{\partial f_{2}(x,u_{1},u_{2})}{\partial u_{2}}+K_{2}\ge 0\) for all \( (x,u_{1},u_{2})\in \Omega _{k}\times [0,d_{1}]\times [0,d_{2}]. \) Now we apply the Sattinger’s monotone iteration schema with the starting point \(\mathbf {u}_{0}=(u_{0,1},u_{0,2})=(\overline{u}_{1},\overline{u}_{2}).\) Let us consider the following problem in \(\Omega _{k}\)
which contains two independent linear elliptic equations. Applying results described in [22] (Chapter 6), we have the existence of a classical solution \(\mathbf {u}_{1}=\left( u_{1,1},u_{1,2}\right) \) of (24). After simple calculations we state
where the last inequality follows from the fact that (\(\overline{u}_{1}, \overline{u}_{2})\) is a super-solution of (1)–(2). Since \( u_{1,1}(x)=\overline{u}_{1}(x)=u_{0,1}(x)\) on \(\partial \Omega _{k}\), we state, by the maximum principle, \(u_{1,1}(x)\le \overline{u} _{1}(x)=u_{0,1}(x).\) Analogously we obtain \(u_{1,2}(x)\le \overline{u} _{2}(x)\) in \(\Omega _{k}.\) Having constructed a pair \(\mathbf {u} _{m-1}=(u_{m-1,1},u_{m-1,2})\in \left( C^{2+\alpha }(\overline{\Omega } _{k})\right) ^{2}\) we can iterate this process and obtain \(\mathbf {u} _{m}=\left( u_{m,1},u_{m,2}\right) \in \left( C^{2+\alpha }(\overline{\Omega }_{k})\right) ^{2}\) as a classical solution of the linear problem in \(\Omega _{k}\)
We show inductively that for all \(m\in {\mathbb {N}},\)
Let us note that (25) is proved above for \(m=1\). Fix arbitrary integer \(m\ge 1\) and assume that \(u_{m,1}(x)\le u_{m-1,1}(x)\) and \( u_{m,2}(x)\le u_{m-1,2}(x)\) in \(\Omega _{k}\). Then properties of \(f_{1}\) and \(f_{2}\) give the following assertion: for all \(x\in \overline{\Omega } _{k},\)
The same reasoning allows us to state the inequality
Since \(u_{m+1,1}=u_{m,1}\) and \(u_{m+1,2}=u_{m,2}(x)\) in \(\partial \Omega _{k},\) the maximum principle implies that \(u_{m+1,1}(x)\le u_{m,1}(x)\) and \( u_{m+1,2}(x)\le u_{m,2}(x)\) in \(\overline{\Omega }_{k}.\) Finally, the induction principle implies that for all \(m\in {\mathbb {N}},\) (25) holds.
To sum up, we have constructed monotonic (with respect to each coordinate) and bounded sequence \(\{(u_{m,1},u_{m,2})\}_{m\in {\mathbb {N}}}\) , which is pointwisely convergent in \(\Omega _{k}\) to some vector functions \(\left( u_{1}^{k},u_{2}^{k}\right) \). We will show that \(\left( u_{1}^{k},u_{2}^{k}\right) \) is a solutions of (23). To this effect we apply the standard reasoning, based on the \(L^{p}\)-estimates of Agmon-Douglis-Nirenberg ([1]), which leads to the existence of \(C>0\) such that for all \(m\in {\mathbb {N}},\)
(see [25] or [27] for details). The compact embedding \( C^{2+\alpha }(\Omega _{k})\times C^{2+\alpha }(\Omega _{k})\hookrightarrow C^{2}(\Omega _{k})\times C^{2}(\Omega _{k}),\) implies that \( \{(u_{m,1},u_{m,2})\}_{m\in {\mathbb {N}}}\) tends to \(\left( u_{1}^{k},u_{2}^{k}\right) \) in \(\left( C^{2}(\Omega _{k})\right) ^{2},\) and further \(\left( u_{1}^{k},u_{2}^{k}\right) \) is a classical solution of (23).
PART 2: Now we fix \(k_{0}>0\) and consider the sequence \(\{\left( u_{1}^{k},u_{2}^{k}\right) \}_{k>k_{0}}\). Since \(\Omega _{k_{0}}\subset \Omega _{k}\) for all \(k>k_{0},\) we can consider the sequence \(\{\left( u_{1}^{k},u_{2}^{k}\right) \}_{k>k_{0}}\) in \(\Omega _{k_{0}}.\) Applying similar reasoning as in the first part we state the existence of a positive constant D such that for all \(k>k_{0}\),
Take \(k_{0}=1.\) Then we have for all \(k>1,\)\(||u_{1}^{k}||_{C^{2+\alpha }(\Omega _{1})}\le D_{1}\) and \(||u_{2}^{k}||_{C^{2+\alpha }(\Omega _{1})}\le D_{1}.\) The compact embedding \(\left( C^{2+\alpha }(\Omega _{1})\right) ^{2}\) into \(\left( C^{2}(\Omega _{1})\right) ^{2},\) again allows us to state the existence of a subsequence \(\{\left( u_{1}^{k_{l_{1}}},u_{2}^{k_{l_{1}}}\right) \}_{k_{l_{1}}>1}\) of \(\{\left( u_{1}^{k},u_{2}^{k}\right) \}_{k>k_{0}}\) which tends to a certain \(\left( {\widehat{u}}_{1}^{1},{\widehat{u}}_{2}^{1}\right) \) in \(\left( C^{2}(\Omega _{1})\right) ^{2}.\) Thus \(\left( {\widehat{u}}_{1}^{1},{\widehat{u}} _{2}^{1}\right) \) satisfies (1) in \(\Omega _{1}\) and \(\underline{ u}_{1}\le {\widehat{u}}_{1}^{1}\le \overline{u}_{1}\) and \(\underline{u} _{2}\le {\widehat{u}}_{2}^{1}\le \overline{u}_{2}\) in \(\overline{\Omega }_{1} \) and \({\widehat{u}}_{1}^{1}=\overline{u}_{1}\) and \({\widehat{u}}_{2}^{1}= \overline{u}_{2}\) on \(\{x\in {\mathbb {R}}^{n},||x||=R\}.\) Proceeding this iteration schema we consider a subsequence \(\{( u_{1}^{k_{l_{1}}},u_{2}^{k_{l_{1}}}) \}_{k_{l_{1}}>2}\) on \(\Omega _{2}\) and obtain the subsequence \(\{( u_{1}^{k_{l_{2}}},u_{2}^{k_{l_{2}}}) \}_{k_{l_{2}}>2}\) of \(\{( u_{1}^{k_{l_{1}}},u_{2}^{k_{l_{1}}}) \}_{k_{l_{1}}>1}\) such that \( \{( u_{1}^{k_{l_{2}}},u_{2}^{k_{l_{2}}}) \}_{k_{l_{2}}>2}\) converges in \(( C^{2}(\Omega _{2})) ^{2}\) to \(( {\widehat{u}} _{1}^{2},{\widehat{u}}_{2}^{2}) \) being a solution of (1) in \(\Omega _{2}\) and such that \(\underline{u}_{1}\le {\widehat{u}}_{1}^{2}\le \overline{u}_{1},\)\(\underline{u}_{2}\le {\widehat{u}}_{2}^{2}\le \overline{u }_{2}\) in \(\overline{\Omega }_{2}\) and \({\widehat{u}}_{1}^{2}=\overline{u}_{1}\) and \({\widehat{u}}_{2}^{2}=\overline{u}_{2}\) on \(\{x\in {\mathbb {R}} ^{n},||x||=R\}.\) Iterating this process for each \(m\in {\mathbb {N}},\) we construct a sequence \(\{( u_{1}^{k_{l_{m}}},u_{2}^{k_{l_{m}}}) \}_{k_{l_{m}}>m}\) which is convergent in \(\left( C^{2}(\Omega _{m})\right) ^{2}\) and such that \(\{( u_{1}^{k_{l_{m}}},u_{2}^{k_{l_{m}}}) \}_{k_{l_{m}}>m}\) is a subsequence of \(\{( u_{1}^{k_{l_{m}-1}},u_{2}^{k_{l_{m-1}}}) \}_{k_{l_{m-1}}>m-1}.\)
To sum up, we can put \({\widehat{u}}_{1}^{m}(x)={\lim }_{l_{m}\rightarrow \infty }u_{1}^{k_{l_{m}}}(x)\) and \({\widehat{u}}_{2}^{m}(x)={\lim }_{ l_{m}\rightarrow \infty }{\lim }u_{2}^{k_{l_{m}}}(x)\) in \(\Omega _{m}\) and derive that \(\left( {\widehat{u}}_{1}^{m},{\widehat{u}}_{2}^{m}\right) \) is a solution of (1) in \(\Omega _{m},\)\(\underline{u}_{1}\le {\widehat{u}}_{1}^{m}\le \overline{u}_{1}\) and \(\underline{u}_{2}\le {\widehat{v}}_{2}^{m}\le \overline{v}_{2}\) in \(\overline{\Omega }_{m}\) and \( {\widehat{u}}_{1}^{m}=\overline{u}_{1}\) and \({\widehat{u}}_{2}^{m}=\overline{u} _{2}\) on \(\{x\in {\mathbb {R}}^{n},||x||=R\}.\) By construction, \({\widehat{u}} _{1}^{m}|_{\Omega _{m-1}}={\widehat{u}}_{1}^{m-1}\) and \({\widehat{u}} _{2}^{m}|_{\Omega _{m-1}}={\widehat{u}}_{2}^{m-1}.\) This fact implies that we can consider functions \(U_{1},U_{2}:G_{R}\rightarrow R\) given as follows
and state that the pair \(\left( U_{1},U_{2}\right) \in \)\(\left( C_{loc}^{2+\alpha }(G_{R})\right) ^{2}\) and satisfies (1) in \( G_{R}.\) By properties of the vector functions \(\left( {\widehat{u}}_{1}^{m}, {\widehat{u}}_{2}^{m}\right) \) we derive that \(\underline{u}_{1}\le U_{1}\le \overline{u}_{1},\)\(\underline{u}_{2}\le U_{2}\le \overline{u}_{2}\) in \( \overline{\Omega }_{m}\), \(U_{1}=\overline{u}_{1}\) and \(U_{2}=\overline{u}_{2} \) on \(\{x\in {\mathbb {R}}^{n},||x||=R\}.\) Moreover asymptotics of \(\overline{u} _{1}\) and \(\overline{u}_{2}\) gives the required conditions at infinity: \( {\lim }_{||x||\rightarrow \infty }U_{1}(x)=0, {\lim }_{ ||x||\rightarrow \infty }U_{2}(x)=0.\)\(\square \)
Rights and permissions
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.
About this article
Cite this article
Orpel, A. Connected sets of positive solutions of elliptic systems in exterior domains. Monatsh Math 191, 761–778 (2020). https://doi.org/10.1007/s00605-019-01343-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-019-01343-0