- Research
- Open access
- Published:

# Fredholm’s third theorem for second-order singular Dirichlet problem

*Boundary Value Problems*
**volume 2014**, Article number: 59 (2014)

## Abstract

Consider the singular Dirichlet problem

where p,q:\phantom{\rule{0.2em}{0ex}}]a,b[\phantom{\rule{0.2em}{0ex}}\to \mathbb{R} are locally Lebesgue integrable functions. It is proved that if

then Fredholm’s third theorem remains true.

**MSC:**34B05.

## 1 Introduction

Consider the boundary value problem

where p,q\in {L}_{\mathrm{loc}}(]a,b[). We are mainly interested in the case, when the functions *p* and *q* are not integrable on [a,b]. In this case, the problem (1), (2) is said to be singular. It is proved in [1] that if

and

then, for the singular problem (1), (2), the Fredholm alternative holds. More precisely, the following theorem is true.

**Theorem 1.1** ([[1], Theorem 0.1])

*Let* (3) *hold*. *Then the problem* (1), (2) *is uniquely solvable for any* *q* *satisfying* (4) *iff the corresponding homogeneous equation*

*has no nontrivial solution satisfying* (2).

The aim of this paper is to show that, under the assumption (3), the Fredholm’s third theorem remains true. Before formulation of the main results, we introduce the following notation.

ℝ is the set of real numbers.

For x\in \mathbb{R}, we put {[x]}_{-}=\frac{1}{2}(|x|-x).

C(I), where I\subset \mathbb{R}, is a set of continuous functions u:I\to \mathbb{R}.

For u\in C([\alpha ,\beta ]), we put {\parallel u\parallel}_{[\alpha ,\beta ]}=max\{|u(t)|:t\in [\alpha ,\beta ]\}.

{\mathit{AC}}_{\mathrm{loc}}^{\prime}(]\alpha ,\beta [) is the set of functions u:\phantom{\rule{0.2em}{0ex}}]\alpha ,\beta [\phantom{\rule{0.2em}{0ex}}\to \mathbb{R}, which are absolutely continuous together with their first derivative on every closed subinterval of ]\alpha ,\beta [.

{L}_{\mathrm{loc}}(]\alpha ,\beta [) is the set of functions p:\phantom{\rule{0.2em}{0ex}}]\alpha ,\beta [\phantom{\rule{0.2em}{0ex}}\to \mathbb{R}, which are Lebesgue integrable on every closed subinterval of ]\alpha ,\beta [.

By f(a) (resp., f(b)) we denote the right (resp., left) limit of the function f:\phantom{\rule{0.2em}{0ex}}]a,b[\phantom{\rule{0.2em}{0ex}}\to \mathbb{R} at the point *a* (resp., *b*).

By a solution of equation (1) we understand a function u\in {\mathit{AC}}_{\mathrm{loc}}^{\prime}(]a,b[), which satisfies it almost everywhere in ]a,b[. A solution of equation (1) satisfying (2) is said to be a solution of the problem (1), (2).

We will say that a certain property holds in ]\alpha ,\beta [ if it takes place on every closed subinterval of ]\alpha ,\beta [.

Recall that we consider the problem (1), (2), where p,q\in {L}_{\mathrm{loc}}(]a,b[).

**Theorem 1.2** *Let* (3) *hold*. *Then the homogeneous problem* (1a), (2) *has no more than one*, *up to a constant multiple*, *nontrivial solution*.

**Remark 1.1** Below we will show (see Proposition 2.1) that if (3) holds and {u}_{0} is a nontrivial solution of (1a), (2), then there exists {r}_{0}>0 such that

**Theorem 1.3** *Let* (3) *hold and the homogeneous problem* (1a), (2) *have a nontrivial solution* {u}_{0}. *Then the problem* (1), (2), *where the function* *q* *satisfies* (4), *is solvable iff the condition*

*is fulfilled*.

**Remark 1.2** In view of Remark 1.1 and condition (4), the function q{u}_{0} is integrable on [a,b] and, therefore, condition (5) is meaningful.

## 2 Auxiliary statements

First of all, for convenience of references, we recall two lemmas from [1].

**Lemma 2.1** ([[1], Lemma 2.1])

*Let* (3) *and* (4) *hold*. *Then*, *for any* \alpha \in [a,b[ *and* \beta \in \phantom{\rule{0.2em}{0ex}}]\alpha ,b], *every solution* *u* *of equation* (1) *satisfying*

*admits the estimate*

**Lemma 2.2** ([[1], Lemma 2.2])

*Let* (3) *hold*. *Then there exist* {a}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,b[, {b}_{0}\in \phantom{\rule{0.2em}{0ex}}]{a}_{0},b[, *and* \varrho >0 *such that*, *for any* \alpha \in [a,{a}_{0}[, \beta \in \phantom{\rule{0.2em}{0ex}}]{b}_{0},b], *and* *q* *satisfying* (4), *every solution* *u* *of equation* (1) *satisfying*

*admits the estimate*

*while every solution* *u* *of equation* (1) *satisfying*

*admits the estimate*

Next proposition immediately follows from Lemma 2.2.

**Proposition 2.1** *Let* (3) *hold and* {u}_{0} *be a nontrivial solution of the homogeneous problem* (1a), (2). *Then there exists* {r}_{0}>0 *such that*

**Proposition 2.2** *Let* (3) *hold and* {u}_{0} *be a nontrivial solution of* (1a) *satisfying* {u}_{0}(a)=0 (*respectively*, {u}_{0}(b)=0). *Then there exists* {a}_{1}\in \phantom{\rule{0.2em}{0ex}}]a,b[ (*respectively*, {b}_{1}\in \phantom{\rule{0.2em}{0ex}}]a,b[) *such that*

*Proof* In view of (3) there exists {a}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,b[ (respectively, {b}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,b[) such that

Hence, the inequality

holds, as well. The latter inequality, by virtue of [[2], Lemma 4.1], implies that for any a<{t}_{1}<{t}_{2}<{a}_{0} (respectively, {b}_{0}<{t}_{1}<{t}_{2}<b), the problem

has no nontrivial solution.

Now suppose that {u}_{0} is a nontrivial solution of (1a) satisfying {u}_{0}(a)=0 (respectively, {u}_{0}(b)=0). Then it follows from the above that either

or there is a {t}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,{a}_{0}] (respectively, {t}_{0}\in [{b}_{0},b[) such that

It is now clear that (6) holds with {a}_{1}={a}_{0} (respectively, {b}_{1}={b}_{0}) if (7) holds, and with {a}_{1}=\frac{a+{t}_{0}}{2} (respectively, {b}_{1}=\frac{{t}_{0}+b}{2}) if (8) is satisfied. □

**Lemma 2.3** *Let* (3) *and* (4) *hold*. *Let*, *moreover*, *u* *be a solution of the problem* (1), (2) *and* {u}_{0} *be a solution of the problem* (1a), (2). *Then*

*Proof* It is clear that

Hence,

where

By virtue of Proposition 2.1 and condition (4), the function q{u}_{0} is integrable on [a,b]. Thus, it follows from (10) that there exists a finite limit

Now we will show that {\epsilon}_{0}=0. Suppose the contrary, let

Then there is \alpha \in \phantom{\rule{0.2em}{0ex}}]a,b[ such that

On account of Proposition 2.2, we can assume without loss of generality that

Then it follows from (13) that

Hence

where \mu =\frac{u(\alpha )}{{u}_{0}(\alpha )}.

Taking now into account Proposition 2.1, we get from (15) that

where {\epsilon}_{1}=\frac{{\epsilon}_{0}}{2{r}_{0}^{2}{(b-a)}^{2}}. The latter inequality, in view of the conditions {u}_{0}(a)=0 and u(a)=0, implies that

On the other hand, by virtue of Lemma 2.1, there is M>0 such that

In view of (16) and (17), we get

and therefore, on account of (11), we obtain

Now, let {\alpha}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,\alpha [ be such that

Then it is clear that

and consequently

However, the latter inequality and (16) yield that {\epsilon}_{0}\le 0, which contradicts (12). The contradiction obtained proves the first equality in (9). By the same arguments one can prove the second equality in (9). □

We will need the next lemma in the proof of the sufficiency part of Theorem 1.3 and thus, we will suppose that Theorem 1.2 and the necessity part of Theorem 1.3 are true.

**Lemma 2.4** *Let* (3) *hold and the homogeneous problem* (1a), (2) *have a nontrivial solution *{u}_{0}. *Then there exist* {n}_{0}\in \mathbb{N} *and* r>0 *such that*, *for any* *q* *satisfying* (4) *and* (5) *and every* n>{n}_{0}, *the solution* *u* *of the problem*

*admits the estimate*

*Proof* Suppose the contrary, let the assertion of the lemma be violated. Then, for any n\in \mathbb{N}, there exist {k}_{n}\ge n, {q}_{n}\in {L}_{\mathrm{loc}}(]a,b[), and {u}_{n}\in {\mathit{AC}}_{\mathrm{loc}}^{\prime}(]a,b[) such that

and

Introduce the notation

Then it is clear that

and

By virtue of Lemma 2.1 (with q(t)=\frac{1}{{k}_{n}}{[p(t)]}_{-}{\tilde{u}}_{n}(t)+{\tilde{q}}_{n}(t)) and (19), we have

while, by virtue of Lemma 2.2 (with q(t)=\frac{1}{{k}_{n}}{[p(t)]}_{-}{\tilde{u}}_{n}(t)+{\tilde{q}}_{n}(t)), there exist {a}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,b[, {b}_{0}\in \phantom{\rule{0.2em}{0ex}}]{a}_{0},b[, and \varrho >0 such that

On account of (19) and (22), the sequence {\{{u}_{n}\}}_{n=1}^{+\mathrm{\infty}} is uniformly bounded and equicontinuous in ]a,b[. Thus, by virtue of the Arzelà-Ascoli lemma, we can assume without loss of generality that

where {v}_{0}\in C(]a,b[) and, moreover,

In view of (18) it is clear that

Hence, on account of (19), (20), (24), and (25), we get

Therefore, {v}_{0}\in {\mathit{AC}}_{\mathrm{loc}}^{\prime}(]a,b[) and {v}_{0} is a solution of equation (1a). On the other hand, it follows from (23), in view of (19), (20), and (24), that

and thus {v}_{0} is a solution of the problem (1a), (2).

By virtue of (20) and (23), it is clear that there are {n}_{1}\in \mathbb{N}, {a}_{1}\in \phantom{\rule{0.2em}{0ex}}]a,{a}_{0}], and {b}_{1}\in [{b}_{0},b[ such that

Therefore, {\parallel {\tilde{u}}_{n}\parallel}_{[{a}_{1},{b}_{1}]}=1 for n>{n}_{1}. Taking now into account (24), we get that {\parallel {v}_{0}\parallel}_{[{a}_{1},{b}_{1}]}=1 and, therefore, {v}_{0} is a nontrivial solution of the problem (1a), (2).

By virtue of Theorem 1.2, there is \lambda \ne 0 such that

Moreover, in view of the necessity part of Theorem 1.3 (with q(t)=\frac{1}{{k}_{n}}{[p(t)]}_{-}{\tilde{u}}_{n}(t)+{\tilde{q}}_{n}(t)), (18), (19), (21), and (26), we get

Let now \alpha \in \phantom{\rule{0.2em}{0ex}}]a,b[ and \beta \in \phantom{\rule{0.2em}{0ex}}]\alpha ,b[ be arbitrary. Then, in view of (24), we have

On account of (3), (26), and Proposition 2.1, the function {[p]}_{-}{v}_{0} is integrable on [a,b]. Taking into account (19), we get

and

Hence, (27) implies the inequality

which, together with (28), results in

Since *α* and *β* were arbitrary, we get from the latter inequality that

Taking now into account that {v}_{0}\not\equiv 0, we get {[p]}_{-}\equiv 0, *i.e.*, p(t)\ge 0 for t\in \phantom{\rule{0.2em}{0ex}}]a,b[. However, in this case the problem (1a), (2) has no nontrivial solution, which contradicts the assumption of the lemma. □

## 3 Proofs

*Proof of Theorem 1.2* Let {u}_{0} and {v}_{0} be any nontrivial solutions of (1a). By virtue of Lemma 2.3 (with u\equiv {v}_{0} and q\equiv 0), we get

On the other hand, clearly

and, therefore,

Choose {t}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,b[ such that

It is clear that {u}_{0}({t}_{0})\ne 0 since otherwise {u}_{0}\equiv 0. Then it follows from (29) that

and as above {v}_{0}({t}_{0})\ne 0. Put \lambda =\frac{{u}_{0}({t}_{0})}{{v}_{0}({t}_{0})} and

Evidently, *w* is a solution of equation (1a) and w({t}_{0})=0. However, it follows from (29) that {w}^{\prime}({t}_{0})=0. Consequently, w\equiv 0 and thus {u}_{0}\equiv \lambda {v}_{0}. □

*Proof of Theorem 1.3* Let {u}_{0} be a nontrivial solution of (1a), (2) while *u* be a solution of (1), (2). Put

It is clear that

Hence,

By virtue of Lemma 2.3, Proposition 2.1, and condition (4), we get from (30) that

and therefore (5) is fulfilled.

Let now {u}_{0} be a nontrivial solution of (1a), (2), q\in {L}_{\mathrm{loc}}(]a,b[) satisfy (4), and (5) be fulfilled. Let, moreover, {n}_{0}\in \mathbb{N} and r>0 be from the assertion of Lemma 2.4. By virtue of Lemma 2.4, for any n>{n}_{0}, the problem

has no nontrivial solution. Since

and (3) holds, it follows from Theorem 1.1 that, for any n>{n}_{0}, the problem

has a unique solution {u}_{n}.

In view of Lemma 2.4, the inequalities

are fulfilled, where

On the other hand, on account of Lemma 2.1, (31), and (33), we get

where

It follows from (33) and (34) that the sequence {\{{u}_{n}\}}_{n={n}_{0}}^{+\mathrm{\infty}} is uniformly bounded and equicontinuous in ]a,b[. Hence, by virtue of the Arzelà-Ascoli lemma, we can assume without loss of generality that

where u\in C(]a,b[) and, moreover,

In view of (32), it is clear that

Hence, on account of (35) and (36), we get that

Therefore, u\in {\mathit{AC}}_{\mathrm{loc}}^{\prime}(]a,b[) and *u* is a solution of equation (1).

On the other hand, by virtue of Lemma 2.2 and (33), there are {a}_{0}\in \phantom{\rule{0.2em}{0ex}}]a,b[, {b}_{0}\in \phantom{\rule{0.2em}{0ex}}]{a}_{0},b[, and \varrho >0 such that, for any n>{n}_{0}, the inequalities

and

are fulfilled. Hence, in view of (35), we get

and

Consequently, *u* satisfies (2) and thus *u* is a solution of the problem (1), (2). □

## References

Lomtatidze A, Opluštil Z: Fredholm alternative for the second-order singular Dirichlet problem.

*Bound. Value Probl.*2014., 2014: Article ID 13 10.1186/1687-2770-2014-13Kiguradze IT, Shekhter BL: Singular boundary value problems for second-order ordinary differential equations.

*J. Sov. Math.*1988, 43(2):2340-2417. 10.1007/BF01100361

## Acknowledgements

Published results were supported by the project ‘Popularization of BUT R&D results and support systematic collaboration with Czech students’ CZ.1.07/2.3.00/35.0004 and by the project NETME CENTRE PLUS (LO1202). The results of this project NETME CENTRE PLUS (LO1202) were co-funded by the Ministry of Education, Youth and Sports within the support programme ‘National Sustainability Programme I’. Research was also supported by RVO: 67985840.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Lomtatidze, A., Opluštil, Z. Fredholm’s third theorem for second-order singular Dirichlet problem.
*Bound Value Probl* **2014**, 59 (2014). https://doi.org/10.1186/1687-2770-2014-59

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-2770-2014-59