Existence of weak solutions for a boundary value problem of a second order ordinary differential equation

Abstract

The aim of this paper is to investigate the existence of weak solutions for a boundary value problem of a second order differential equation. As the main tool, we apply a Krasnosel’skii type fixed point theorem in conjunction with the technique of measures of weak noncompactness in Banach spaces. Finally, two examples are given to illustrate our abstract results.

Introduction

In this paper, we investigate the existence of weak solutions for the boundary value problem of second order differential equations of the form

$$\begin{aligned}& \biggl(\frac{x(t)-g(t,x(t))}{h(t,x(t))}\biggr)'' + f \bigl(t,x(t)\bigr) =0, \quad 0< t < 1, \end{aligned}$$

(1.1)

$$\begin{aligned}& x(0)=g\bigl(0,x(0)\bigr), \qquad x(1)=g\bigl(1,x(1)\bigr), \end{aligned}$$

(1.2)

where the functions $f, g: [0,1]\times\mathbb{R} \rightarrow\mathbb {R}$ and $h:[0,1]\times\mathbb{R} \rightarrow\mathbb{R}\backslash\{ 0\}$ satisfy some special assumptions that will be given in detail in Section 3.

Boundary value problems arise in a variety of applied mathematics and physics areas (refer to [1, 2] etc.). Some boundary value problems of ordinary equations may be turned into (1.1)-(1.2). For example, in the design of bridge, denote $u(t)$ by the displacement of the bridge from the unloaded position. Small size bridges are often designed with two supported points, which leads to a two-point boundary value problem (cf. [3]):

$$\begin{aligned}& u''(t) +\upsilon(t) + \varphi\bigl(t,u(t)\bigr) =0, \quad 0< t< 1, \\& u(0)=0,\qquad u(1)=0. \end{aligned}$$

If we define $x(t)=g(t,x(t)) + h(t,x(t)) u(t)$ for the known functions g and h, and $f(t,x(t))=\upsilon(t)+\varphi(t,u(t))$, then the above problem is turned into (1.1)-(1.2).

As another example, for appropriate functions $p(t)$ and $\psi(t,x)$, if we take the functions involved in Eq. (1.1) in the form

$$\begin{aligned}& g\bigl(t,x(t)\bigr)=e^{-\int_{0}^{t} p(s)\,ds} \int_{0}^{t} x(s)p(s)e^{\int_{0}^{s} p(\tau )\,d\tau} \,ds, \\& h\bigl(t,x(t)\bigr)=e^{-\int_{0}^{t} p(s)\,ds} \quad\text{and}\quad f\bigl(t,x(t)\bigr)= e^{\int_{0}^{t} p(s)\,ds} \psi\bigl(t,x(t)\bigr), \end{aligned}$$

then Eq. (1.1) can be easily transformed into the following equation:

$$ x''(t)+p(t)x'(t)+\psi\bigl(t,x(t) \bigr)=0, \quad 0< t < 1. $$

Unlike initial value problems, which are normally uniquely solvable, boundary value problems can have no solution or several solutions. However, we will adopt a strategy in the present paper to cope with the weak solutions of this problem. To consider the existence of weak solutions for problem (1.1)-(1.2), we will turn it into the following perturbed quadratic integral equation:

$$ x(t)=g\bigl(t,x(t)\bigr)+h\bigl(t,x(t)\bigr) \int_{0}^{1} G(t,s) f\bigl(s,x(s)\bigr) \,ds,\quad 0 \leqslant t\leqslant1, $$

(1.3)

where G is the Green’s function associated with problem (1.1)-(1.2). Our considerations are put in $L^{1}(I)$, the Banach space consisting of all real functions defined and Lebesgue integrable on the interval $I:=[0,1]$. More specifically, by using the techniques of fixed point associated with measures of weak noncompactness, we will establish the existence of integrable solutions to Eq. (1.3) in a certain ball of $L^{1}(I)$. For the existence of integrable solutions of some nonlinear integral equations, we refer the reader to the literature [4–10].

Preliminaries

Let E be a Banach space. From now on we denote by $\mathcal{B}(E)$ the collection of all nonempty bounded subsets of E, and $\mathcal {W}(E)$ is a sub-collection of $\mathcal{B}(E)$ consisting of all weakly compact subsets of E. Denote by $\mathrm{B}_{r}$ the closed ball in E centered at zero with radius r. In what follows we accept the following definition (cf. [11]).

Definition 2.1

A mapping $\omega:\mathcal{B}(E)\rightarrow\mathbb{R}^{+}$ is said to be a (regular) measure of weak noncompactness if, for all $M,N\in \mathcal{B}(E)$, the following conditions are satisfied:

• (1) The family $\operatorname{ker}(\omega):=\{M\in\mathcal {B}(E):\omega(M)=0\}$ is nonempty, and $M\in\operatorname{ker}(\omega)$ if and only if M is relatively weakly compact;

• (2) $N\subseteq M \Rightarrow \omega(N)\leq\omega(M)$;

• (3) $\omega(\overline{M}^{\omega})=\omega(M)$, where $\overline{M}^{\omega}$ is the weak closure of M;

• (4) $\omega(M\cup N) = \max\{\omega(M),\omega(N)\}$;

• (5) $\omega(\lambda M) = \vert \lambda \vert \omega(M)$ for all $\lambda\in\mathbb{R}$;

• (6) $\omega(\operatorname{co}(M)) = \omega(M)$, where $\operatorname{co}(M)$ is the convex hull of M;

• (7) $\omega(M + N) \leqslant\omega(M) + \omega(N)$;

• (8) If $(M_{n})_{n=1}^{\infty}$ is a decreasing sequence of nonempty, bounded and weakly closed subsets of E with $\lim_{n\rightarrow\infty}\omega(M_{n})=0$, then $M_{\infty}:=\bigcap_{n=1}^{\infty}M_{n}$ is nonempty.

The family $\ker(\omega)$ described in (1) is called the kernel of the measure of weak noncompactness ω. Note that the intersection set $M_{\infty}$ from (8) belongs to $\ker(\omega)$ since $\omega(M_{\infty})\leq\omega(M_{n})$ for all $n\in\mathbb{N}$ and $\lim_{n\rightarrow\infty}\omega(M_{n})=0$.

The first important example of a measure of weak noncompactness was defined by De Blasi [12] as follows:

$$\omega(M)=\inf\bigl\{ r>0:\exists W\in\mathcal{W}(E)\text{ such that } M \subseteq W+\mathrm{B}_{r}\bigr\} . $$

The De Blasi measure of weak noncompactness has some interesting properties. It plays a significant role in nonlinear analysis and has some applications.

Nevertheless, it is rather difficult to express the above De Blasi measure of weak noncompactness with the help of a convenient formula in a concrete Banach space. Such a formula is known in the case of the space of $L^{1}(I)$. In [13], Appell and De Pascale showed that the measure of noncompactness $\omega(\cdot)$ in $L^{1}(I)$ possesses the following simple form:

$$ \omega(M)=\limsup_{\varepsilon\to0 } \biggl\{ \sup _{x\in M} \biggl[ \int_{D} \bigl\vert x(t) \bigr\vert \,dt:D\subseteq I,\operatorname{meas}(D)\leq\varepsilon \biggr] \biggr\} $$

(2.1)

for any nonempty bounded subset M of $L^{1}(I)$, where $\operatorname{meas}(\cdot)$ denotes the Lebesgue measure.

Recall that a useful characterization of relatively weakly compact sets in $L^{1}(I)$ is provided by the following Dunford-Pettis theorem (cf. [14, p. 115]).

Theorem 2.2

A bounded set N is relatively weakly compact in $L^{1}(I)$ if and only if N is equi-integrable, that is,

$$ \forall\varepsilon>0, \exists\delta>0\textit{ such that } \int _{D} \bigl\vert x(t) \bigr\vert \,dt \leqslant \varepsilon, \quad\forall x\in N, $$

for any measurable set $D\subseteq I$ with $\operatorname{meas}(D)\leqslant \delta$.

Definition 2.3

(see [15, 16])

Let $E_{1}$ and $E_{2}$ be two Banach spaces, and let $\mathcal{D}$ be a subset of $E_{1}$. A continuous operator $T:\mathcal{D}\rightarrow E_{2}$ is said to be

• (1) ws-compact if $(x_{n})_{n\in\mathbb{N}} \subseteq\mathcal {D}$ is a weakly convergent sequence in $E_{1}$, the sequence $(Tx_{n})_{n\in\mathbb{N}}$ has a strongly convergent subsequence;

• (2) ww-compact if $(x_{n})_{n\in\mathbb{N}} \subseteq\mathcal {D}$ is a weakly convergent sequence in $E_{1}$, the sequence $(Tx_{n})_{n\in\mathbb{N}}$ has a weakly convergent subsequence.

Remark 2.4

A continuous operator is ws-compact if and only if it maps relatively weakly compact sets into relatively strongly compact ones; and it is ww-compact if and only if it maps relatively weakly compact sets into relatively weakly compact ones, since the weak compactness of a set in Banach spaces is equivalent to its weakly sequential compactness by the Eberlein-S̆mulian theorem (cf. [17, p. 430]).

A function $f:I\times\mathbb{R}\rightarrow\mathbb{R}$ is said to satisfy the Carathéodory conditions if it is measurable in t for each x in $\mathbb{R}$ and continuous in x for almost every (or a.e. for short) $t\in I$.

Let $\mathbf{m}(I)$ denote the collection of all measurable functions $x:I\rightarrow\mathbb{R}$. If a function $f:I\times\mathbb {R}\rightarrow\mathbb{R}$ satisfies the Carathéodory condition, then f defines a mapping $\mathcal{N}_{f}: \mathbf{m}(I) \rightarrow \mathbf{m}(I)$ by $\mathcal{N}_{f}x(t):=f(t,x(t))$. This mapping is called the superposition operator (Nemytskii operator) associated with f. Regarding its continuity, we have the following theorem (cf. [18, p. 93]).

Theorem 2.5

The superposition operator $\mathcal{N}_{f}$ maps $L^{1}(I)$ into $L^{1}(I)$ if and only if there exist a function $a\in L^{1}_{+}(I)$ and a constant $b>0$ such that

$$\bigl\vert f(t,x) \bigr\vert \leq a(t)+b \vert x \vert , $$

where $L^{1}_{+}(I)$ denotes the positive cone of $L^{1}(I)$. In this case, $\mathcal{N}_{f}$ is continuous and bounded in the sense that it maps bounded sets into bounded ones.

Definition 2.6

Let $\mathcal{D}$ be a nonempty subset of the Banach space E. An operator $T: \mathcal{D} \rightarrow E$ is said to be

• (1) contractive with ℓ if there exists $\ell\in[0,1)$ such that $\Vert Tx_{1}-Tx_{2} \Vert \leqslant\ell \Vert x_{1}-x_{2} \Vert$ for all $x_{1},x_{2}\in\mathcal{D}$;

• (2) ω-contractive with ℓ if it maps bounded sets into bounded sets, and there exists $\ell\in[0,1)$ such that $\omega (T(M))\leqslant\ell \omega(M)$ for all bounded sets M in $\mathcal{D}$.

We end these preliminaries with the following Krasnosel’skii type fixed point result (cf. [19, Corollary 3.4]). It plays an important role in the proof of our main result.

Theorem 2.7

Let M be a nonempty, bounded, closed and convex subset of a Banach space E. Suppose that the operators $A: M \rightarrow E$ and $B:E\rightarrow E$ satisfy

• (i) A is ω-contractive with α, and A is ws-compact;

• (ii) B is contractive with β, and B is ww-compact;

• (iii) the equality $y=By+Ax$ with $x\in M$ implies $y\in M$.

Then there exists $x\in M$ such that $x=Ax+Bx$ provided $\alpha+\beta<1$.

Main results

Throughout this paper, $L^{1}(I)$ will denote the Banach space consisting of all real functions defined and Lebesgue integrable on $I:=[0,1]$, with the standard norm $\Vert \cdot \Vert$; and $L^{\infty}(I)$ will denote the Banach space consisting of all real functions defined and essentially bounded on I, with the standard norm $\Vert \cdot \Vert _{\infty}$.

Lemma 3.1

A function $x=x(t)$ is a solution of the boundary value problem (1)-(2) if and only if x is a solution of the following integral equation:

$$\begin{aligned} x(t) = g\bigl(t,x(t)\bigr) + h\bigl(t,x(t)\bigr) \int_{0}^{1}G(t,s)\,f\bigl(s,x(s)\bigr) \,ds, \end{aligned}$$

(3.1)

where the Green’s function associated with (1.1)-(1.2) is defined by

$$ G(t,s)= \textstyle\begin{cases} s(1-t), & 0\leq s\leq t\leq1,\\ t(1-s), & 0\leq t\leq s\leq1. \end{cases} $$

(3.2)

Proof

$x:I\rightarrow\mathbb{R}$ is a solution of Eq. (1.1) if and only if it satisfies

$$ \frac{d}{dt} \biggl(\frac{x(t)-g(t,x(t))}{h(t,x(t))}\biggr)=- \int_{0}^{t} f\bigl(s,x(s)\bigr) \,ds + c_{1}, $$

it follows that

$$ \frac{x(t)-g(t,x(t))}{h(t,x(t))} = - \int_{0}^{t} (t-s)\, f\bigl(s,x(s)\bigr) \,ds + c_{1}t+c_{0}. $$

(3.3)

By choosing $t=0$ and $t=1$ in (3.3) respectively and applying the boundary condition (1.2), we get

$$ c_{0}=\frac{x(0)-g(0,x(0))}{h(0,x(0))}=0,\qquad c_{1} = \int_{0}^{1}(1-s)\, f\bigl(s,x(s)\bigr) \,ds. $$

(3.4)

From (3.3)-(3.4) we deduce that

$$\begin{aligned} \frac{x(t)-g(t,x(t))}{h(t,x(t))} =& \int_{0}^{t} s(1-t)\, f\bigl(s,x(s)\bigr) \,ds + \int_{t}^{1} t(1-s)\, f\bigl(s,x(s)\bigr) \,ds \\ =& \int_{0}^{1} G(t,s)\, f\bigl(s,x(s)\bigr) \,ds. \end{aligned}$$

Thus, problem (1.1)-(1.2) has been transformed into the perturbed quadratic integral equations (3.1). □

Remark 3.2

Since the maximum value of the Green’s function G will be gotten as $s=t$, we have $\max_{(t,s)\in I^{2}}G(t,s) = \max_{t\in I} t(1-t)= 1/4$. Thus, the linear operator $\mathbb{G}$ defined by

$$ \mathbb{G} x(t):= \int_{0}^{1} G(t,s) x(s) \,ds, \quad \forall x\in L^{1}(I), $$

is bounded from $L^{1}(I)$ into $L^{\infty}(I)$. In fact, we have

$$ \Vert \mathbb{G} x \Vert _{\infty}\leqslant \frac{1}{4} \int_{0}^{1} \bigl\vert x(s) \bigr\vert \,ds \leqslant\frac{1}{4} \Vert x \Vert . $$

(3.5)

Definition 3.3

A function $x\in L^{1}(I)$ is said to be a weak solution of problem (1.1)-(1.2) if x satisfies Eq. (3.1) on the interval I.

We will consider (1.1)-(1.2) under the following assumptions.

($\mathcal{H}1$):

The functions $f:I\times\mathbb {R}\rightarrow\mathbb{R}$ and $h:I\times\mathbb{R}\rightarrow \mathbb{R}\backslash\{0\}$ satisfy the Carathéodory conditions. Moreover, there exist functions $f_{0}, h_{0} \in L^{1}_{+}(I)$ and positive numbers η and γ, respectively, such that

$$ \bigl\vert f(t,x) \bigr\vert \leqslant f_{0}(t)+ \eta \vert x \vert ,\qquad \bigl\vert h(t,x) \bigr\vert \leqslant h_{0}(t)+ \gamma \vert x \vert , \quad \forall x\in\mathbb{R} \text{ and a.e. } t\in I. $$

($\mathcal{H}2$):

The function $g:I\times\mathbb {R}\rightarrow\mathbb{R}$ satisfies the Carathéodory conditions, and there exists a positive number β such that

$$ \bigl\vert g(t,x)-g(t,y) \bigr\vert \leqslant\beta \vert x-y \vert , \quad \forall x,y\in\mathbb{R} \text{ and a.e. } t\in I. $$

Moreover, $g_{0}(t):= \vert g(t,0) \vert$ belongs to $L^{1}_{+}(I)$.

($\mathcal{H}3$):

The following inequality holds:

$$ 4\beta+ \gamma \Vert f_{0} \Vert + \eta \Vert h_{0} \Vert + 2\sqrt{\gamma\eta\bigl( 4 \Vert g_{0} \Vert + \Vert f_{0} \Vert \Vert h_{0} \Vert \bigr)}< 4. $$

(3.6)

Remark 3.4

(1) Note that from ($\mathcal{H}2$) we deduce that $\vert g(t,x) \vert \leqslant g_{0}(t)+\beta \vert x \vert$ for all $x\in\mathbb{R}$ and a.e. $t\in I$. Thus, by Theorem 2.5, ($\mathcal{H}1$) and ($\mathcal{H}2$) imply that the superposition operators $\mathcal{N}_{f}$, $\mathcal{N}_{g}$ and $\mathcal {N}_{h}$, respectively, map $L^{1}(I)$ into itself continuously. Further, according to [7, Lemma 3.2], $\mathcal{N}_{f}$, $\mathcal {N}_{g}$ and $\mathcal{N}_{h}$ are ww-compact.

(2) It is easily deduced from inequality (3.6) of ($\mathcal {H}3$) that the following quadratic inequality about r

$$ \gamma\eta\mathbf{r}^{2} - \bigl(4-4\beta- \gamma \Vert f_{0} \Vert - \eta \Vert h_{0} \Vert \bigr) \mathbf{r} +4 \Vert g_{0} \Vert + \Vert f_{0} \Vert \Vert h_{0} \Vert \leqslant0 $$

(3.7)

has positive solutions, since inequality (3.6) implies that

$$\begin{aligned}& \bigl(4-4\beta- \gamma \Vert f_{0} \Vert - \eta \Vert h_{0} \Vert \bigr)^{2}-4\gamma\eta\bigl(4 \Vert g_{0} \Vert + \Vert f_{0} \Vert \Vert h_{0} \Vert \bigr)>0, \\& \frac{4-4\beta- \gamma \Vert f_{0} \Vert - \eta \Vert h_{0} \Vert }{2\gamma\eta}>0. \end{aligned}$$

Further, there is a certain solution $\mathbf{r}_{0}$ of (3.7) such that

$$ 0< \mathbf{r}_{0} \leqslant\frac{4-4\beta- \gamma \Vert f_{0} \Vert - \eta \Vert h_{0} \Vert }{2\gamma\eta}. $$

(3.8)

Theorem 3.5

Under assumptions ($\mathcal{H}1$)-($\mathcal{H}3$), problem (1.1)-(1.2) has at least one weak solution $x\in M$, where $M:=\{x: \Vert x \Vert \leqslant\mathbf{r}_{0}\}$ is a closed ball of $L^{1}(I)$, and $\mathbf{r}_{0}$ is a solution of (3.7) and satisfies (3.8) .

Proof

Let $\mathcal{B}:=\mathcal{N}_{g}$. Define $\mathcal{A}$ by $\mathcal {A} x(t): =\mathcal{N}_{h} x(t)\cdot\mathbb{G}\mathcal{N}_{f} x(t)$ for $x\in M$. For proving the operator equation $x=\mathcal{A}x+\mathcal {B}x$ has a unique solution in $L^{1}(I)$, our processes are divided into several steps.

(1). $\mathcal{A}$ is ws-compact.

For all $x_{1},x_{2}\in M$, from ($\mathcal{H}1$)-($\mathcal{H}2$), Remark 3.4 and Remark 3.2, we deduce that

$$\begin{aligned}& \Vert \mathcal{A} x_{1} - \mathcal{A} x_{2} \Vert \\& \quad\leqslant \bigl\Vert \mathbb{G}(\mathcal{N}_{f} x_{1}-\mathcal {N}_{f} x_{2}) \bigr\Vert _{\infty}\cdot \Vert \mathcal{N}_{h} x_{1} \Vert + \Vert \mathbb{G}\mathcal{N}_{f} x_{2} \Vert _{\infty}\cdot \Vert \mathcal{N}_{h} x_{1} - \mathcal{N}_{h} x_{2} \Vert \\& \quad\leqslant \frac{1}{4} \bigl( \Vert h_{0} \Vert +\gamma \mathbf{ r}_{0} \bigr)\cdot \Vert \mathcal{N}_{f} x_{1}-\mathcal{N}_{f} x_{2} \Vert + \frac{1}{4} \bigl( \Vert f_{0} \Vert +\eta \mathbf{ r}_{0}\bigr)\cdot \Vert \mathcal{N}_{h} x_{1}- \mathcal{N}_{h} x_{2} \Vert . \end{aligned}$$

Thus, according to the continuity of the operators $\mathcal{N}_{f}$ and $\mathcal{N}_{h}$, we obtain that $\mathcal{A}$ is continuous on M.

Further, let us take a weakly convergent sequence $(x_{n})_{n\in\mathbb {N}}$ from M. Then, for any measurable subset D of the interval I, from (3.5) we obtain the following estimate:

$$\begin{aligned} \int_{D} \bigl\vert \mathcal{A}x_{n}(t) \bigr\vert \,dt \leqslant& \Vert \mathbb{G}\mathcal{N}_{f} x_{n} \Vert _{\infty}\int _{D} \bigl\vert \mathcal{N}_{h} x_{n}(t) \bigr\vert \,dt \\ \leqslant& \frac{1}{4} \bigl( \Vert f_{0} \Vert +\eta \mathbf {r}_{0}\bigr) \int_{D} \bigl\vert \mathcal{N}_{h} x_{n}(t) \bigr\vert \,dt \quad (n=1,2,\ldots). \end{aligned}$$

(3.9)

Since the sequence $(\mathcal{N}_{h} x_{n})_{n\in\mathbb{N}}$ is relatively weakly compact (cf. Remark 3.4(1)), then applying formula (2.1) we deduce from (3.9) that $(\mathcal{A} x_{n})_{n\in\mathbb{N}}$ is relatively weakly compact as well.

In what follows, let us fix a number $\varepsilon>0$. According to Theorem 2.2, we can choose a number $\delta>0$ such that, for any measurable subset $D_{\delta}$ of the interval I with $\operatorname{meas}(D_{\delta})\leqslant\delta$, we have

$$ \int_{D_{\delta}} \bigl\vert \mathcal{A} x_{n}(s) \bigr\vert \,ds \leqslant\frac{\varepsilon}{3}, \quad m=1,2,\ldots. $$

(3.10)

According to Remark 3.4(1), $(\mathcal{N}_{f} x_{n})_{n\in\mathbb {N}}$ has a weakly convergent subsequence, say $(\mathcal{N}_{f} x_{n_{k}})_{k\in\mathbb{N}}$. Since the continuity of the linear operator $\mathbb{G}$ implies its weak continuity on $L^{1}(I)$ for a.e. $t\in I$, then $(\mathbb{G}\mathcal{N}_{f} x_{n_{k}})_{k\in\mathbb{N}}$ converges pointwise for a.e. $t\in I$. Now, applying Egoroff’s theorem, there exists a measurable subset $I_{0}\subseteq I$ with $\operatorname{meas}(I\backslash I_{0})\leqslant\delta$ such that $(\mathbb {G}\mathcal{N}_{f} x_{n_{k}})_{k\in\mathbb{N}}$ is uniformly convergent on $I_{0}$.

On the other hand, $(\mathcal{N}_{h} x_{n_{k}})_{k\in\mathbb{N}}$ has a weakly convergent subsequence as well according to Remark 3.4(1). Without loss of generality, we can assume that it is still $(\mathcal {N}_{h} x_{n_{k}})_{k\in\mathbb{N}}$. Thus, the sequence $(\mathcal{N}_{h} x_{n_{k}}\cdot\mathbb{G}\mathcal{N}_{f} x_{n_{k}})_{k\in\mathbb{N}}$, that is, $(\mathcal{A} x_{n_{k}})_{k\in\mathbb{N}}$ is strongly convergent in $L^{1}(I_{0})$ (cf. [14, Proposition 3.5, p. 58]). Therefore, $(\mathcal{A} x_{n_{k}})_{k\in\mathbb{N}}$ satisfies the Cauchy criterion on $I_{0}$, i.e., there exists $k_{0}\in\mathbb{N}$ such that for arbitrary natural numbers $j,k\geqslant k_{0}$ the following inequality holds:

$$ \int_{I_{0}} \bigl\vert \mathcal{A} x_{n_{j}}(t)- \mathcal{A} x_{n_{k}}(t) \bigr\vert \,dt \leqslant\frac{\varepsilon}{3}. $$

(3.11)

Thus, we deduce from (3.10) and (3.11) that

$$\begin{aligned} \Vert \mathcal{A} x_{n_{j}}-\mathcal{A} x_{n_{k}} \Vert &\leqslant \int_{I_{0}} \bigl\vert \mathcal{A} x_{n_{j}}(t)- \mathcal{A} x_{n_{k}}(t) \bigr\vert \,dt \\ &\quad{} + \int_{I \backslash I_{0}} \bigl\vert \mathcal{A} x_{n_{j}}(t) \bigr\vert \,dt + \int_{I \backslash I_{0}} \bigl\vert \mathcal{A} x_{n_{k}}(t) \bigr\vert \,dt \\ &\leqslant\varepsilon, \end{aligned} $$

which implies that the sequence $(\mathcal{A} x_{n_{k}})_{k\in\mathbb {N}}$ is convergent in $L^{1}(I)$, and then $\mathcal{A}$ maps relatively weakly compact subsets of M into relatively strongly compact ones.

Thus, we complete the proof that $\mathcal{A}$ is ws-compact.

(2). $\mathcal{A}$ is ω-contractive.

Let D be a measurable subset of the interval I, and let S be a nonempty subset of M. From Remark (3.4) and Remark (3.2), for all $x\in S$, we deduce that

$$ \int_{D} \bigl\vert \mathcal{A}x(t) \bigr\vert \,dt \leqslant \Vert \mathbb{G}\mathcal{N}_{f} x \Vert _{\infty}\int_{D} \bigl\vert \mathcal{N}_{h} x(t) \bigr\vert \,dt \leqslant\frac{1}{4}\bigl( \Vert f_{0} \Vert +\eta \Vert x \Vert \bigr) \int _{D}\bigl(h_{0}(t)+\gamma \bigl\vert x(t) \bigr\vert \bigr) \,dt. $$

Taking into account the facts that the set of a single element is weakly compact and $\Vert x \Vert \leqslant\mathbf{r}_{0}$, the use of formula (2.1) leads to

$$ \omega\bigl(\mathcal{A}(S)\bigr)\leqslant \frac{( \Vert f_{0} \Vert +\eta\mathbf{r_{0}})\gamma}{4} \omega(S) = \alpha \omega(S), $$

(3.12)

where $\alpha:=( \Vert f_{0} \Vert +\eta\mathbf {r_{0}})\gamma/4$. Applying inequality (3.8), we have

$$ \alpha< \frac{\gamma}{4} \biggl( \Vert f_{0} \Vert +\frac {4-4\beta- \gamma \Vert f_{0} \Vert - \eta \Vert h_{0} \Vert }{\gamma}\biggr)< 1-\beta. $$

(3.13)

Thus, (3.12) implies that $\mathcal{A}$ is ω-contraction with α.

(3). If $y=\mathcal{B}y + \mathcal{A}x$ for $x\in M$, then $y\in M$.

If $y\in L^{1}(I)$ satisfies $y=\mathcal{B}y + \mathcal{A}x$ for $x\in M$, then we have

$$\begin{aligned} \bigl\vert y(t) \bigr\vert \leqslant& \bigl\vert \mathcal{N}_{g} y(t) \bigr\vert + \bigl\vert \mathcal{N}_{h} x(t) \bigr\vert \cdot \bigl\vert \mathbb{G}\mathcal{N}_{f} x(t) \bigr\vert \\ \leqslant& g_{0}(t)+\beta \bigl\vert y(t) \bigr\vert + \bigl(h_{0}(t)+\gamma \bigl\vert x(t) \bigr\vert \bigr)\cdot \frac{1}{4} \bigl( \Vert f_{0} \Vert +\eta \Vert x \Vert \bigr), \end{aligned}$$

for a.e. $t\in I$, it follows that

$$ 4 \Vert y \Vert \leqslant4 \Vert g_{0} \Vert + 4\beta \Vert y \Vert + \bigl( \Vert f_{0} \Vert +\eta \Vert x \Vert \bigr) \bigl( \Vert h_{0} \Vert + \gamma \Vert x \Vert \bigr). $$

Noting that $\Vert x \Vert \leqslant\mathbf{r_{0}}$ and applying inequality (3.7), we deduce from the above that

$$ \Vert y \Vert \leqslant\frac{4 \Vert g_{0} \Vert + \Vert f_{0} \Vert \Vert h_{0} \Vert + (\gamma \Vert f_{0} \Vert + \eta \Vert h_{0} \Vert ) \mathbf{r}_{0} + \gamma\eta\mathbf{r}^{2}_{0}}{4(1-\beta)}\leqslant \mathbf{r}_{0}, $$

which implies $y\in M$.

(4). Conclusion.

The condition (i) of Theorem 2.7 is verified in (1)-(2), and the condition (iii) of Theorem 2.7 is verified in (3). Moreover, $\mathcal{B}=\mathcal{N}_{g}$ is contractive with β by ($\mathcal{H}2$), and $\mathcal{B}$ is ww-compact by Remark 3.4(1). Then the condition (ii) of Theorem 2.7 is satisfied. The estimate $\alpha+\beta<1$ is from (3.13).

Now, according to Theorem 2.7, we obtain that Eq. (3.1) has at least one solution in M, and then the existence of weak solutions in $L^{1}(I)$ for problem (1.1)-(1.2) is proved. □

Examples

In this section we give two examples to illustrate the existence result involved in Theorem 3.5.

Example 4.1

Consider the following boundary problem of second order ordinary differential equations:

$$\begin{aligned}& \biggl(\frac{2x(t) - (t-t^{2}) \sin x(t)}{\sqrt{e^{t}+[x(t)]^{2}}}\biggr)'' + \frac{\ln(1+t)+x(t)}{1+[x(t)]^{2}}=0,\quad 0< t< 1, \end{aligned}$$

(4.1)

$$\begin{aligned}& x(0)=0, \qquad x(1)=0. \end{aligned}$$

(4.2)

In order to show that problem (4.1)-(4.2) admits at least one weak solution in a certain ball of $L^{1}(I)$, we are going to check that the conditions of Theorem 3.5 are satisfied. To this end, define the functions as follows:

$$ g(t,x): = \frac{1}{2}\bigl(t-t^{2}\bigr)\sin x,\qquad h(t,x): = \frac{1}{2}\sqrt {e^{t}+x^{2}},\qquad f(t,x): = \frac{\ln(1+t)+x}{1+x^{2}}. $$

For all $x\in\mathbb{R}$ and $t\in[0,1]$, we have

$$ \bigl\vert f(t,x) \bigr\vert \leqslant\ln(1+t) + \vert x \vert , \qquad \bigl\vert h(t,x) \bigr\vert \leqslant \frac{1}{2} \sqrt{e^{t}} + \frac{1}{2} \vert x \vert . $$

Thus, ($\mathcal{H}1$) is satisfied with $f_{0}(t)=\ln(1+t)$, $\eta=1$, $h_{0}(t)=\sqrt{e^{t}}/2$ and $\gamma= 1/2$.

For any $x_{1},x_{2}\in\mathbb{R}$ and $t\in I$, we have

$$ \bigl\vert g(t,x_{1})-g(t,x_{2}) \bigr\vert = \frac{t-t^{2}}{2} \vert \sin x_{1} -\sin x_{2} \vert \leqslant\frac{1}{8} \vert x_{1}-x_{2} \vert . $$

Thus, ($\mathcal{H}2$) is satisfied with $\beta=1/8$ and $g_{0}(t)=0$.

Moreover, a simple calculation yields

$$ \Vert f_{0} \Vert =2\ln2-1,\qquad \Vert g_{0} \Vert =0,\qquad \Vert h_{0} \Vert =\sqrt{e}-1. $$

It is easy to infer that inequality (3.6) holds, and then ($\mathcal{H}3$) is satisfied.

Now, based on Theorem 3.5, we infer that there exists $x\in L^{1}(I)$ such that it is a weak solution of problem (4.1)-(4.2) in the set $M:=\{x: \Vert x \Vert \leq\mathbf{r}_{0}\}$, where $\mathbf{r}_{0}$ satisfies

$$ 0< \mathbf{r}_{0} \leqslant\frac{4-4\beta- \gamma \Vert f_{0} \Vert - \eta \Vert h_{0} \Vert }{2\gamma\eta} =5-\ln2-\sqrt{e} = 2.8581\ldots. $$

Example 4.2

Consider the following boundary problem of second order ordinary differential equations:

$$\begin{aligned}& x''(t) + t x'(t) + \ln \bigl(1+ \bigl\vert x(t) \bigr\vert \bigr) + 2-t+2t^{2}-\ln \bigl(1+t-t^{2}\bigr)=0,\quad t\in[0,1], \end{aligned}$$

(4.3)

$$\begin{aligned}& x(0)=0,\qquad x(1)=0. \end{aligned}$$

(4.4)

According to the introduction in Section 1, we can take the functions as follows:

$$\begin{aligned}& g\bigl(t,x(t)\bigr) = e^{-\frac{1}{2}t^{2}} \int_{0}^{t} x(s) s e^{\frac{1}{2}s^{2}} \,ds, \qquad h \bigl(t,x(t)\bigr)=e^{-\frac{1}{2}t^{2}}, \\& f\bigl(t,x(t)\bigr)=e^{\frac{1}{2}t^{2}}\bigl[\ln\bigl(1+ \bigl\vert x(t) \bigr\vert \bigr) + 2-t+2t^{2}-\ln\bigl(1+t-t^{2}\bigr)\bigr]. \end{aligned}$$

For all $x\in\mathbb{R}$ and $t\in[0,1]$, we have

$$\begin{aligned}& \bigl\vert f(t,x) \bigr\vert \leqslant e^{\frac {1}{2}t^{2}}\bigl[2-t+2t^{2}- \ln\bigl(1+t-t^{2}\bigr)\bigr] + \sqrt{e} \vert x \vert , \\& \bigl\vert h(t,x) \bigr\vert \leqslant \int_{0}^{1} e^{-\frac {1}{2}t^{2}} \,dt + \gamma \vert x \vert . \end{aligned}$$

Thus, ($\mathcal{H}1$) is satisfied with $f_{0}(t)=e^{\frac {1}{2}t^{2}}[2-t+2t^{2}- \ln(1+t-t^{2})]$, $\eta=\sqrt{e}$, $h_{0}(t) = e^{-\frac{1}{2}t^{2}}$ and γ being chosen as enough small positive number.

Further, for all $x_{1},x_{2}\in\mathbb{R}$ and $t\in[0,1]$, we have

$$ \bigl\vert g(t,x_{1})-g(t,x_{2}) \bigr\vert = e^{-\frac{1}{2}t^{2}} \int _{0}^{t} \vert x_{1}-x_{2} \vert s e^{\frac{1}{2}s^{2}} \,ds \leqslant\biggl(1-\frac{1}{\sqrt{e}}\biggr) \vert x_{1}-x_{2} \vert , $$

and $g_{0}(t,0)=0$. Thus, ($\mathcal{H}2$) is satisfied with $\beta=1- 1/\sqrt{e}$. Note that a simple calculation yields

$$ \Vert h_{0} \Vert = \int_{0}^{1} e^{-\frac{1}{2}t^{2}} \,dt \leqslant0.9, \qquad \Vert g_{0} \Vert =0, \qquad \Vert f_{0} \Vert \leqslant \int_{0}^{1} e^{-\frac {1}{2}t^{2}}\bigl(2-t+2t^{2} \bigr) \,dt \leqslant1.69. $$

Thus, if we take $0<\gamma\leqslant0.02$, then we have

$$\begin{aligned}& 4\beta+ \gamma \Vert f_{0} \Vert + \eta \Vert h_{0} \Vert + 2\sqrt{\gamma\eta\bigl( 4 \Vert g_{0} \Vert + \Vert f_{0} \Vert \Vert h_{0} \Vert \bigr)} \\& \quad\leqslant4\biggl(1-\frac{1}{\sqrt{e}}\biggr)+0.02\times1.69 + \sqrt {e} \times0.9 + 2\sqrt{0.02\times\sqrt{e}\times1.69\times0.9} \\& \quad = 3.5394\ldots< 4, \end{aligned}$$

which implies that ($\mathcal{H}3$) is satisfied.

Finally, based on Theorem 3.5, we infer that there exists $x\in L^{1}(I)$ such that it is a weak solution of problem (4.3)-(4.4). Moreover, it is easy to see that the exact solution of (4.3)-(4.4) is $x(t)=t-t^{2}$.

Conclusions

In this work, we have established an existence result for weak solutions of the boundary value problem of nonlinear differential equations of second order. Our main assumptions about the functions being involved in the equation are the Carathéodory conditions, and the main tool is a Krasnosel’skii type fixed point theorem in conjunction with the technique of measures of weak noncompactness.

In the proof of Theorem 3.5, we avoided using the Scorza-Dragoni theorem [20], the Arzelà-Ascoli theorem, the modulus of continuity of the function G, etc. By using Egoroff’s theorem, we have replaced this method so that the proof process is simplified. The reader can compare it with [5, 8, 10, 21, 22].