- Research Article
- Open access
- Published:

# Existence of Solutions of Second Order Boundary Value Problems with Integral Boundary Conditions and Singularities

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 807178 (2010)

## Abstract

By the notation and monotone convergence theorem of Henstock-Kurzweil integral, we investigate the existence of continuous solutions for the second order boundary value problems with integral boundary conditions in which the nonlinearities are allowed to have the singularities in *t* and are not Lebesgue integrable.

## 1. Introduction

The singular boundary value problems

where may be singular at and , have been studied extensively; see, for example, [1–8], and the references contained therein.

In [7], Taliaferro showed that problem (1.1) has a solution, where , and with and .

Since then, there are many improvements of this result in literatures for more general case.

In [5] and other literatures, the authors studied (1.1) in the case where , is continuous, and with or in the case where is continuous and satisfies with and . We note that admit a time singularity at and/or and space singularity at .

In [4], the authors considered (1.1) when , , is continuous, and a.e. (in particular, is allowed to have a finite number of singularities).

In [1], Agarwal and O'Regan studied (1.1) when , and satisfies the following caratheodory conditions.

The map is continuous for .

The map is measurable for all .

There exists with such that for and .

In [8], the authors studied (1.1) with and supposed that , is continuous, and .

It is noticed that the case

with being continuous is not included in all those papers abovementioned.

In this paper, motivated by this case, relying on theory of Henstock-Kurzweil integral, we investigate the following second order boundary value problems with integral boundary conditions

where are nonnegative constants and are not certainly -integrable.

Henstock-Kurzweil integral encompasses the Newton, Riemann and Lebesgue integrals. A particular feature of this integral is that integrals of highly oscillating function which occur in quantum theory and nonlinear analysis such as , where on and , can be defined.

For the literatures in which the theory of Henstock-Kurzweil integral to study differential equations is used we refer to [9–14] and so on.

This paper is organized as follows. In Section 2, we make some preliminaries in Henstock-Kurzweil integral; in Section 3, we will prove the equivalence of problem (1.3) and an integral equation as well as existence and uniqueness of solution for the linear problem which associate with (1.3); in Section 4, we are devoted to the existence results for the singular problem (1.3). An example will be given in Section 5.

## 2. Preliminaries

In this section we introduce the basic facts on Henstock-Kurzweil integrability, a concept that extends the classical Lebesgue integrability on the real line. All notations and properties can be found in the references (see, e.g., [13, 14]).

Let be the real unit interval provided with the -algebra of Lebesgue measurable sets with the Lebesgue measure .

Definition 2.1 (see [13, 14]).

One says that is a tagged partition of if is a finite family of closed subintervals of which are nonoverlapping, that is, their interiors are pairwise disjoint, and whose union is , and if . Given a function (called a gauge of ), one says that a tagged partition is -fine if for every .

Definition 2.2 (see [13, 14]).

A function is said to be Henstock-Kurzweil (shortly ) integrable if there exists a real satisfying that, for every , there is a gauge such that

for every -finite partition . One says that

is a Henstock-Kurzweil (shortly ) integral of over .

A function is absolutely continuous (or ) on if for each there exists such that whenever is a finite collection of nonoverlapping intervals that have endpoints in and satisfy while denotes the oscillation of over ; that is,

A function is generalized absolutely continuous (or ) on if is continuous on and if can be expressed as a countable union of sets on each of which is absolutely continuous (or ).

For the Lebesgue integral of function , we denote that .

Denote by the continuous functions space on , by the absolutely continuous functions space on , by the generalized absolutely continuous functions space on , and by the space of -integrable functions from to . Assume that the space is equipped with pointwise ordering and normed by the maximum norm, and that the space is equipped with a.e. pointwise ordering and normed by the Alexiewicz norm.

The following Lemma 2.3–Lemma 2.7 are from [13, 14].

Lemma 2.3.

The Henstock-Kurzweil integral is linear, and additive over nonoverlapping intervals of .

Lemma 2.4.

Let be -integrable and let be bounded variation. Then is -integrable, and for every

Lemma 2.5.

Let be -integrable. If for almost every , and if , then

Lemma 2.6.

Let be -integrable. Then the relation

defined a function , which is continuous and belongs to , a.e. derivable and a.e. on .

is called a primitive of .

Lemma 2.7.

Assume that functions and are -integrable, that the sequence is increasing (respectively decreasing) for almost every , and that

for all and a.e. . Then there exists such an -integrable function , that for a.e. , and that

## 3. Linear Problem

We know that the homogeneous problem

has only the trivial solution and Green's function is

It is easy to prove the following lemma.

Lemma 3.1.

For every , functions and are derivable on and and their derivations are absolutely continuous.

Lemma 3.2.

Let be an -integrable function, then

()for every , and are -integrable in ;

()the function, where ,

is derivable a.e. on and

() satisfies the following conditions:

() is derivable a.e. on and

Proof.

() From Lemma 3.1, since we know that and are absolutely continuous respect to , and , the conclusions are in as follows.

() Since

it follows from Lemma 2.6 that, for a.e. ,

() Since

we claim that

In fact, by Lemma 2.4,

Denote that ; then and . There exists such that

Therefore,

Thus, we have

The proof of another condition is similar.

() Since

for a.e. , there exists a subset of with such that on . Relying on Lemma 2.6, is derivable a.e. on and, therefore, a.e. on , and

Theorem 3.3.

Given functions . Then the following nonhomogeneous linear problem

has a unique solution and

where

Proof.

We notice that and

The facts associated with Lemma 3.2 deduce that the function satisfies , is derivable a.e. on , and

and verifies the boundary conditions. The uniqueness of solution of (3.17) follows from Lemma 3.1.

## 4. The Nonlinear Problems

In this section we consider the following nonlinear problems:

We impose the following hypotheses on the functions and .

and are -integrable whenever .

and are increasing in for almost every .

There exist -integrable functions and such that

a.e. hold on for all .

To prove our results, we need the following fixed point theorem for mappings of which is proved in [10].

Lemma 4.1.

Let be an increasing mapping which maps every monotone sequence of to a sequence which converges pointwise to a function of . If , , , and , then has in an order interval of least and greatest fixed points and they are increasing in .

We prove an existence result for solutions of (4.1).

Theorem 4.2.

Assume that the hypotheses ()–() are satisfied, then (4.1) has least and greatest solutions in .

Proof.

We know from Theorem 3.3 that the solutions of (4.1) are the solutions of following operator equation:

where

The hypothesis and Lemma 2.5 imply that if and , then

That is, is increasing in .

Let be an increasing sequence in , then the hypothess ()–() imply that the functions sequences are increasing in and belong to , and

Thus, by Lemma 2.7, there exist -integrable functions such that

Denote that

Then we can easily get that for every and

which implies also that for every . Therefore we obtain

Denoting that

then, by Lemma 2.6, . In addition, the hypothesis implies that

Thus, by Lemma . We know that has in the order interval of least fixed point and greatest fixed point . The functions and are least and greatest solutions of (4.1) in . The hypothesis implies also that if , then . Thus all the solutions of (4.1) belong to the order interval , whence and are least and greatest of all solutions in of (4.1).

On the other hand, if is a solution of (4.1), then, from Lemma 2.6,

The proof is completed.

## 5. An Example

Consider the following problem:

where

and satisfies the following caratheodory conditions:

the map is continuous for ,

the map is measurable for all ,

there exists with such that for and ,

is increasing in for .

Since function is not Lebesgue integrable, the results in literature do not hold for (5.1). Let , , then and is -integrable for every continuous since is Lebesgue integrable for every continuous and HK-integrable.

Hence, the existence of continuous solution of problem (5.1) is guaranteed by Theorem 4.2.

## References

Agarwal RP, O'Regan D: “Existence theory for single and multiple solutions to singular positone boundary value problems,”

*Journal of Differential Equations*2001, “175(2):393–414. 10.1006/jdeq.2001.3975Jiang D: “Upper and lower solutions for a superlinear singular boundary value problem”.

*Computers & Mathematics with Applications*2001, “41(5–6):563–569. 10.1016/S0898-1221(00)00299-6Khan RA: “The generalized method of quasilinearization and nonlinear boundary value problems with integral boundary conditions”.

*Electronic Journal of Qualitative Theory of Differential Equations*2003, (10):1–9.Lan K, Webb JRL: “Positive solutions of semilinear differential equations with singularities”.

*Journal of Differential Equations*1998, “148(2):407–421. 10.1006/jdeq.1998.3475Mao A, Luan S, Ding Y: “On the existence of positive solutions for a class of singular boundary value problems”.

*Journal of Mathematical Analysis and Applications*2004, “298(1):57–72. 10.1016/j.jmaa.2004.02.030Staněk S: “Positive solutions of singular Dirichlet boundary value problems with time and space singularities”.

*Nonlinear Analysis: Theory, Methods & Applications*2009, “71(10):4893–4905. 10.1016/j.na.2009.03.043Taliaferro SD: “A nonlinear singular boundary value problem”.

*Nonlinear Analysis: Theory, Methods & Applications*1979, “3(6):897–904. 10.1016/0362-546X(79)90057-9Zhang X, Liu L: “Positive solutions of superlinear semipositone singular Dirichlet boundary value problems”.

*Journal of Mathematical Analysis and Applications*2006, “316(2):525–537. 10.1016/j.jmaa.2005.04.081Carl S, Heikkilä S, Ye G: “Order properties of spaces of non-absolutely integrable vector-valued functions and applications to differential equations”.

*Differential and Integral Equations*2009, “22(1–2):135–156.Heikkilä S, Kumpulainen M: “Monotone comvergence theorems for strongly Henstock-Kurzweil integrable operator-valued functions and applications. to appear

Heikkilä S, Kumpulainen M, Seikkala S: “Convergence theorems for HL integrable vector-valued functions with applications”.

*Nonlinear Analysis: Theory, Methods & Applications*2009, “70(5):1939–1955. 10.1016/j.na.2008.02.093Satco B: “Second order three boundary value problem in Banach spaces via Henstock and Henstock-Kurzweil-Pettis integral”.

*Journal of Mathematical Analysis and Applications*2007, “332(2):919–933. 10.1016/j.jmaa.2006.10.081Schwabik S, Ye G:

*Topics in Banach Space Integration, Series in Real Analysis*.*Volume 10*. World Scientific, Hackensack, NJ, USA; 2005:xiv+298.Lee PY:

*Lanzhou Lectures on Henstock Integration, Series in Real Analysis*.*Volume 2*. World Scientific, Teaneck, NJ, USA; 1989:x+179.

## Acknowledgment

This work was supported by NNSF of China (10871059).

## Author information

### Authors and Affiliations

### Corresponding author

## 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

Ye, G., Li, X. Existence of Solutions of Second Order Boundary Value Problems with Integral Boundary Conditions and Singularities.
*J Inequal Appl* **2010**, 807178 (2010). https://doi.org/10.1155/2010/807178

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/807178