# Existence of Solutions for Elliptic Systems with Nonlocal Terms in One Dimension

- Alberto Cabada
^{1}, - J. Ángel Cid
^{2}and - Luís Sanchez
^{3}Email author

**2011**:518431

**DOI: **10.1155/2011/518431

© Alberto Cabada et al. 2011

**Received: **2 June 2010

**Accepted: **26 August 2010

**Published: **2 September 2010

## Abstract

We study the solvability of a system of second-order differential equations with Dirichlet boundary conditions and non-local terms depending upon a parameter. The main tools used are a dual variational method and the topological degree.

## 1. Introduction

where is a domain in , a survey was given by De Figueiredo in [1]. The specific case of one-dimensional systems, motivated by the problem of finding radial solutions to an elliptic system on an annulus of , has been considered by Dunninger and Wang [2] and by Lee [3], who have obtained conditions under which such a system may possess multiple positive solutions.

On the other hand, systems of two equations that include non-local terms have also been considered recently. These are of importance because they appear in the applied sciences, for example, as models for ignition of a compressible gas, or general physical phenomena where temperature has a central role in triggering a reaction. In fact their interest ranges from physics and engineering to population dynamics. See for instance [4]. The related parabolic problems are also of great interest in reaction-diffusion theory; see [5–7] where the approach to existence and blow-up for evolution systems with integral terms may be found.

where , and . First we consider (1.2) as a perturbation of the nonlocal system and prove that if and grow linearly, then (1.2) has a solution provided is not too large. Afterwards, assuming that and are monotone, we will give estimates on the growth of these functions in terms of the parameter to ensure solvability. This will be done on the basis of some spectral analysis for the linear part and a dual variational setting.

## 2. Preliminaries

We first study the invertibility of the linear part of (1.2).

Lemma 2.1.

is invertible if and only if .

Moreover, and are both continuous for .

Proof.

is the Green's function associated to , . Notice that , are the solutions of , and , , respectively.

Clearly this linear system is uniquely solvable for each pair of functions , if and only if .

By the open mapping theorem we deduce that , , is continuous too.

In view of the previous lemma we will assume

.

Lemma 2.2.

Assume .Then the operator is compact and self-adjoint, where is the inclusion and .

Proof.

so is a self-adjoint operator.

## 3. An Existence Result of Perturbative Type

Let us introduce the basic assumption

and are continuous functions,

Theorem 3.1.

Assume , , and .

Then problem (1.2) has a solution.

Proof.

and since we obtain that and are bounded.

Thus we may invoke the properties of the Leray-Schauder degree (see, e.g., [10]) to deduce the existence of a solution for (3.3) with which is our problem (1.2).

Remark 3.2.

Notice that when the solution given by Theorem 3.1 may be the trivial one . However, under our assumptions if moreover or we obtain a proper solution.

## 4. Monotone Nonlinearities

In the following lemma we give some estimates for the minimum eigenvalue of .

Lemma 4.1.

one obtains that

(i) ,

(ii) ,

(iii) ,

(iv) .

Proof.

In consequence, there is a (unique) solution greater than of the equation if and only if . Moreover the greatest zero of function belongs to the interval if and only if .

it has its greatest zero between and if and only if .

Let denote the class of strictly increasing homeomorphisms from onto . We introduce the following assumption:

where and for all .

Notice that and are the Fenchel transform of and (see [11]).

Theorem 4.2.

Then attains a minimum at some point .

Moreover, is a solution of (1.2), where we put .

Proof.

Claim 1 ( attains a minimum at some point ).

and therefore is coercive.

Claim 2.

If we denote then is a solution of (1.2).

which implies that and for a.e. , where we put . Then is a solution of (1.2).

Remark 4.3.

it follows that is a strictly monotone operator (see [11]). Hence, when (4.29) holds, has a unique critical point. The argument of Claim 2 in previous theorem shows that there is a one-to-one correspondence between critical points of and the solutions to (1.2). In consequence, the solution of problem (1.2) is unique.

Remark 4.4.

for sufficiently small. Hence the minimum of is not attained at .

Remark 4.5.

then we can take an upper solution of the form with and then apply the monotone method.

## Declarations

### Acknowledgments

The authors are indebted to the anonymous referees for useful hints to improve the presentation of the paper. The first and the second authors were partially supported by Ministerio de Educación y Ciencia, Spain, Project MTM2007-61724. The third author was supported by FCT, Financiamento Base 2009.

## Authors’ Affiliations

## References

- de Figueiredo DG: Nonlinear elliptic systems.
*Anais da Academia Brasileira de Ciências*2000, 72(4):453-469. 10.1590/S0001-37652000000400002View ArticleMathSciNet - Dunninger DR, Wang H: Multiplicity of positive radial solutions for an elliptic system on an annulus.
*Nonlinear Analysis: Theory, Methods & Applications*2000, 42(5):803-811. 10.1016/S0362-546X(99)00125-XView ArticleMathSciNet - Lee Y-H: Multiplicity of positive radial solutions for multiparameter semilinear elliptic systems on an annulus.
*Journal of Differential Equations*2001, 174(2):420-441. 10.1006/jdeq.2000.3915View ArticleMathSciNet - Corrêa FJSA, Lopes FPM: Positive solutions for a class of nonlocal elliptic systems.
*Communications on Applied Nonlinear Analysis*2007, 14(2):67-77.MathSciNet - Deng W, Li Y, Xie C: Blow-up and global existence for a nonlocal degenerate parabolic system.
*Journal of Mathematical Analysis and Applications*2003, 277(1):199-217. 10.1016/S0022-247X(02)00533-4View ArticleMathSciNet - Zhang R, Yang Z: Global existence and blow-up solutions and blow-up estimates for a non-local quasilinear degenerate parabolic system.
*Applied Mathematics and Computation*2008, 200(1):267-282. 10.1016/j.amc.2007.11.012View ArticleMathSciNet - Li F, Chen Y, Xie C: Asymptotic behavior of solution for nonlocal reaction-diffusion system.
*Acta Mathematica Scientia. Series B*2003, 23(2):261-273.MathSciNet - Brezis H:
*Analyse Fonctionnelle, Collection Mathématiques Appliquées pour la Maîtrise*. Masson, Paris, France; 1983:xiv+234. Théorie et applications - Mitrinović DS, Pečarić JE, Fink AM:
*Inequalities Involving Functions and Their Integrals and Derivatives, Mathematics and Its Applications*.*Volume 53*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1991:xvi+587.View Article - Zeidler E:
*Nonlinear Functional Analysis and Its Applications. I: Fixed-Point Theorems*. Springer, New York; 1986:xxi+897.View Article - Mawhin J, Willem M:
*Critical Point Theory and Hamiltonian Systems, Applied Mathematical Sciences*.*Volume 74*. Springer, New York, NY, USA; 1989:xiv+277.View Article

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.