# Fredholm-type theorem for boundary value problems for systems of nonlinear functional differential equations

Robert Hakl1* and Manuel Zamora2

Author Affiliations

1 Institute of Mathematics, Academy of Sciences of the Czech Republic, branch in Brno, Žižkova 22, Brno, 61662, Czech Republic

2 Departamento de Matemática, Facultad de Ciencias, Universidad del Bío-Bío, Casilla 5-C, Concepción, 4051381, Chile

For all author emails, please log on.

Boundary Value Problems 2014, 2014:113  doi:10.1186/1687-2770-2014-113

Dedicated to Professor Ivan Kiguradze.

The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2014/1/113

 Received: 30 January 2014 Accepted: 29 April 2014 Published: 13 May 2014

© 2014 Hakl and Zamora; licensee Springer.

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 credited.

### Abstract

A Fredholm-type theorem for boundary value problems for systems of nonlinear functional differential equations is established. The theorem generalizes results known for the systems with linear or homogeneous operators to the case of systems with positively homogeneous operators.

MSC: 34K10.

##### Keywords:
functional-differential equations; boundary value problems; existence of solutions

### 1 Statement of the problem

Consider the system of functional-differential equations

(1)

together with the boundary conditions

(2)

Here, are continuous operators satisfying Carathéodory conditions, i.e. for every there exists such that

and are continuous functionals which are bounded on every ball by a constant, i.e. for every there exists such that

Furthermore, we assume that and satisfy the following condition: there exist positive real numbers and such that whenever , and for every and we have

(3)

(4)

Remark 1 From the above-stated assumptions it follows that , for every .

In the case when and are linear bounded operators and , , the relationship between the existence of a solution to problem (1), (2) and the existence of only the trivial solution to its corresponding homogeneous problem, so-called Fredholm alternative, is well known; for more details see e.g.[1-8] and references therein.

In 1966, Lasota established the Fredholm-type theorem in the case when and are homogeneous operators (see [9]). Recently, Fredholm-type theorems in the case when and are positively homogeneous operators were established by Kiguradze, Půža, Stavroulakis in [10] and also by Kiguradze, Šremr in [11].

In this paper we unify the ideas used in [11] and [9] to obtain a new Fredholm-type theorem for the case when and are positively homogeneous operators. The consequences of the obtained result for particular cases of problem (1), (2) are formulated at the end of the paper.

The following notation is used throughout the paper.

ℕ is the set of all natural numbers;

ℝ is the set of all real numbers, ;

is the linear space of vectors with the elements endowed with the norm

is the Banach space of continuous vector-valued functions with the norm

is the set of absolutely continuous vector-valued functions ;

is the Banach space of Lebesgue integrable functions with the norm

;

if Ω is a set then measΩ, intΩ, , and Ω denotes the measure, interior, closure, and boundary of the set Ω, respectively.

By a solution to (1), (2) we understand a function satisfying (1) almost everywhere in and (2).

Notation 1 Define, for every , the following functions:

### 2 Main result

Theorem 1Let

(5)

If the problem

(6)

(7)

has only the trivial solution for every, then problem (1), (2) has at least one solution.

The proof of Theorem 1 is based on the following result by Krasnosel’skii (see [[12], Theorem 41.3, p.325]). We will formulate it in a form suitable for us.

Theorem 2LetXbe a Banach space, be a symmetricabounded domain with. Let, moreover, be a compactbcontinuous operator which has no fixed point onΩ. If, in addition,

thenAhas a fixed point in Ω, i.e. there existssuch that.

Furthermore, to prove Theorem 1 we will need the following lemma.

Lemma 1Let, for every, problem (6), (7) has only the trivial solution. Then there existssuch that for anyand any, the a priori estimate

(8)

holds, where

Proof Suppose on the contrary that for every there exist and such that

(9)

where

(10)

(11)

Put

(12)

(13)

Then

(14)

and from (10) and (11), in view of (3), (4), (12), and (13), we get

(15)

(16)

On the other hand, from (9) and (12) we have

(17)

whence, according to [[13], Corollary IV.8.11] it follows that

(18)

Therefore, (14), (15), and (18) imply that the sequences () are uniformly bounded and equicontinuous. Thus, according to Arzelà-Ascoli theorem, without loss of generality we can assume that there exist and such that

(19)

Furthermore, (15)-(17) yield and show that it is a solution to (6), (7). However, (14) and (19) result in

which contradicts our assumptions. □

Proof of Theorem 1 Let and for , i.e., define the norm

Then is a Banach space. Let the operators be defined as follows:

(20)

(21)

(22)

and consider the operator equation

(23)

It can easily be seen that problem (1), (2), and (23) are equivalent in the following sense: if is a solution to (23), then () and is a solution to (1), (2); and vice versa if is a solution to (1), (2), then is a solution to (23).

Let be such that the conclusion of Lemma 1 is valid. According to (5) we can choose such that

(24)

Let, moreover,

(25)

Now we will show that the operator A has a fixed point in Ω. According to Theorem 2 it is sufficient to show that

Assume on the contrary that there exist and such that

(26)

Then from (26), in view of (20)-(22) we obtain

where , i.e.

(27)

(28)

Now from (27) and (28) it follows that ,

(29)

(30)

(31)

Moreover, since , on account of (25) and (29) we have

(32)

Now the equality (32), according to Notation 1, implies

(33)

(34)

Therefore, in view of Lemma 1, with respect to (30)-(34) we obtain

However, the latter inequality contradicts (24). □

### 3 Corollaries

If the operators and are homogeneous, i.e. if moreover

(35)

(36)

then from Theorem 1 we obtain the following assertion.

Corollary 1Let (5), (35), and (36) be fulfilled. If the problem

(37)

(38)

has only the trivial solution then problem (1), (2) has at least one solution.

For a particular case when are defined by

(39)

(40)

where and are measurable functions, we have the following assertion.

Corollary 2Let (5), (36), (39), and (40) be fulfilled. Let, moreover,

and let problem (37), (38) have only the trivial solution. Then problem (1), (2) has at least one solution.

Namely, for a two-dimensional system of ordinary equations and a particular case of boundary conditions we get the following.

Corollary 3Let, and let

with, have only the trivial solution. Then the problem

has at least one solution for everyand.

The particular case of the system discussed in Corollary 3 is so-called second-order differential equation with λ-Laplacian. Therefore, in the case when , Corollary 3 yields the following.

Corollary 4Let the problem

with, , have only the trivial solution. Then the problem

has at least one solution for everyand.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

RH and MZ obtained the results in a joint research. Both authors read and approved the final manuscript.

### Acknowledgements

Robert Hakl has been supported by RVO: 67985840. Manuel Zamora has been supported by Ministerio de Educación y Ciencia, Spain, project MTM2011-23652, and by a postdoctoral grant from University of Granada.

### End notes

1. If then .

2. It transforms bounded sets into relatively compact sets.

### References

1. Azbelev, NV, Maksimov, VP, Rakhmatullina, LF: Introduction to the Theory of Functional Differential Equations, Nauka, Moscow (1991)

2. Azbelev, NV, Maksimov, VP, Rakhmatullina, LF: Methods of Modern Theory of Linear Functional Differential Equations, R&C Dynamics, Moscow (2000)

3. Bravyi, E: A note on the Fredholm property of boundary value problems for linear functional differential equations. Mem. Differ. Equ. Math. Phys.. 20, 133–135 (2000)

4. Hakl, R, Lomtatidze, A, Stavroulakis, IP: On a boundary value problem for scalar linear functional differential equations. Abstr. Appl. Anal.. 9(1), 45–67 (2004)

5. Hakl, R, Mukhigulashvili, S: On a boundary value problem for n-th order linear functional differential systems. Georgian Math. J.. 12(2), 229–236 (2005)

6. Kiguradze, I, Půža, B: On boundary value problems for systems of linear functional differential equations. Czechoslov. Math. J.. 47(2), 341–373 (1997). Publisher Full Text

7. Kiguradze, I, Půža, B: Boundary Value Problems for Systems of Linear Functional Differential Equations, Masaryk University, Brno (2003)

8. Schwabik, Š, Tvrdý, M, Vejvoda, O: Differential and Integral Equations: Boundary Value Problems and Adjoints, Academia, Praha (1979)

9. Lasota, A: Une généralisation du premier théorème de Fredholm et ses applications à la théorie des équations différentielles ordinaires. Ann. Pol. Math.. 18, 65–77 (1966)

10. Kiguradze, I, Půža, B, Stavroulakis, IP: On singular boundary value problems for functional differential equations of higher order. Georgian Math. J.. 8(4), 791–814 (2001)

11. Kiguradze, I, Šremr, J: Solvability conditions for non-local boundary value problems for two-dimensional half-linear differential systems. Nonlinear Anal. TMA. 74(17), 6537–6552 (2011). Publisher Full Text

12. Krasnosel’skii, MA, Zabreiko, PP: Geometricheskie metody nelineinogo analiza, Nauka, Moscow (1975)

13. Dunford, N, Schwartz, JT: Linear Operators: General Theory, Wiley-Interscience, New York (1961)