 Research
 Open Access
 Published:
Existence of weak solutions for a boundary value problem of a second order ordinary differential equation
Boundary Value Problems volume 2018, Article number: 9 (2018)
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
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 twopoint boundary value problem (cf. [3]):
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
then Eq. (1.1) can be easily transformed into the following equation:
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:
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 subcollection 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:
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:
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 DunfordPettis 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 equiintegrable, that is,
for any measurable set \(D\subseteq I\) with \(\operatorname{meas}(D)\leqslant \delta\).
Definition 2.3
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)
wscompact 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)
wwcompact 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 wscompact if and only if it maps relatively weakly compact sets into relatively strongly compact ones; and it is wwcompact 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 EberleinS̆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
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 wscompact;

(ii)
B is contractive with β, and B is wwcompact;

(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:
where the Green’s function associated with (1.1)(1.2) is defined by
Proof
\(x:I\rightarrow\mathbb{R}\) is a solution of Eq. (1.1) if and only if it satisfies
it follows that
By choosing \(t=0\) and \(t=1\) in (3.3) respectively and applying the boundary condition (1.2), we get
From (3.3)(3.4) we deduce that
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(1t)= 1/4\). Thus, the linear operator \(\mathbb{G}\) defined by
is bounded from \(L^{1}(I)\) into \(L^{\infty}(I)\). In fact, we have
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 xy \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 wwcompact.
(2) It is easily deduced from inequality (3.6) of (\(\mathcal {H}3\)) that the following quadratic inequality about r
has positive solutions, since inequality (3.6) implies that
Further, there is a certain solution \(\mathbf{r}_{0}\) of (3.7) such that
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 wscompact.
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
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:
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
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:
Thus, we deduce from (3.10) and (3.11) that
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 wscompact.
(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
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
where \(\alpha:=( \Vert f_{0} \Vert +\eta\mathbf {r_{0}})\gamma/4\). Applying inequality (3.8), we have
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
for a.e. \(t\in I\), it follows that
Noting that \(\Vert x \Vert \leqslant\mathbf{r_{0}}\) and applying inequality (3.7), we deduce from the above that
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 wwcompact 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:
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:
For all \(x\in\mathbb{R}\) and \(t\in[0,1]\), we have
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
Thus, (\(\mathcal{H}2\)) is satisfied with \(\beta=1/8\) and \(g_{0}(t)=0\).
Moreover, a simple calculation yields
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
Example 4.2
Consider the following boundary problem of second order ordinary differential equations:
According to the introduction in Section 1, we can take the functions as follows:
For all \(x\in\mathbb{R}\) and \(t\in[0,1]\), we have
Thus, (\(\mathcal{H}1\)) is satisfied with \(f_{0}(t)=e^{\frac {1}{2}t^{2}}[2t+2t^{2} \ln(1+tt^{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
and \(g_{0}(t,0)=0\). Thus, (\(\mathcal{H}2\)) is satisfied with \(\beta=1 1/\sqrt{e}\). Note that a simple calculation yields
Thus, if we take \(0<\gamma\leqslant0.02\), then we have
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)=tt^{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 ScorzaDragoni 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].
References
Boyce, WE, DiPrima, RC: Elementary Differential Equations and Boundary Value Problems, 10th edn. Wiley, New York (2012)
Powers, DL: Boundary Value Problems and Partial Differential Equations, 5th edn. Elsevier, Amsterdam (2006)
Wu, B, Li, X: Secondorder twopoint boundary value problems using the variational iteration algorithmII. Int. J. Comput. Math. 88(6), 12011207 (2011)
Agarwal, RA, Hussain, N, Taudi, MA: Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstr. Appl. Anal. 2012, Article ID 245872 (2012)
Banaś, J, Chlebowicz, A: On existence of integrable solutions of a functional integral equation under Carathéodory conditions. Nonlinear Anal., Theory Methods Appl. 70, 31723179 (2009)
O’Regan, D, Meehan, M: Existence Theory for Nonlinear Integral and Integrodifferential Equations. Kluwer Academic, Dordrecht (1998)
Latrach, K, Taoudi, MA: Existence results for a generalized nonlinear Hammerstein equation on L1 spaces. Nonlinear Anal., Theory Methods Appl. 66, 23252333 (2007)
Taoudi, MA: Integrable solutions of a nonlinear functional integral equation on an unbounded interval. Nonlinear Anal., Theory Methods Appl. 71, 41314136 (2009)
ElSayed, AMA, Hashem, HHG: Monotonic positive solution of a nonlinear quadratic functional integral equation. Appl. Math. Comput. 216, 25762580 (2010)
Bellour, A, O’Regan, D, Taoudi, MA: On the existence of integrable solutions for a nonlinear quadratic integral equation. J. Appl. Math. Comput. 46, 6777 (2014)
Banaś, J, Rivero, J: On measures of weak noncompactness. Ann. Math. Pures Appl. 151, 213224 (1988)
De Blasi, FS: On a property of the unit sphere in Banach spaces. Bull. Math. Soc. Sci. Math. Roum. 21, 259262 (1977)
Appell, J, De Pascale, E: Su alcuni parametri connessi con la misura di non compattezza di Hausdorff in spazi di funzioni misurabili. Boll. Unione Mat. Ital., B 3(6), 497515 (1984)
Brezis, H: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, New York (2011)
Isac, G, Gowda, MS: Operators of class \((S)^{1}_{+}\), Altman’s condition and the complementarity problem. J. Fac. Sci., Univ. Tokyo, Sect. 1A, Math. 40, 116 (1993)
Jachymski, J: On Isac’s fixed point theorem for selfmaps of a Galerkin cone. Ann. Sci. Math. Qué. 18(2), 169171 (2004)
Dunford, N, Schwartz, JT: Linear Operators Part I: General Theory. Interscience, New York (1958)
Appell, J, Zabrejko, PP: Nonlinear Superposition Operators. Cambridge Tracts in Math., vol. 95. Cambridge University Press, Cambridge (1990)
Wang, F: Fixedpoint theorems for the sum of two operators under ωcondensing. Fixed Point Theory Appl. 2013, 102 (2003)
Scorza Dragoni, G: Un teorema sulle funzioni continue rispetto ad une e misarubili rispetto ad un’altra variable. Rend. Semin. Mat. Univ. Padova 17, 102106 (1948)
Liang, J, Yan, SH, Agarwal, RP, Huang, TW: Integral solution of a class of nonlinear integral equations. Appl. Math. Comput. 219, 49504957 (2013)
Wang, F: A fixed point theorem for nonautonomous type superposition operators and integrable solutions of a general nonlinear functional integral equation. J. Inequal. Appl. 2014, 487 (2014)
Acknowledgements
The authors are grateful to anonymous referees for their constructive comments and suggestions which have greatly improved this paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally and significantly in writing this article. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Both authors contributed to each part of this study equally and declare that they have no competing interests.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Both authors read and approved the final version of the manuscript.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Weng, S., Wang, F. Existence of weak solutions for a boundary value problem of a second order ordinary differential equation. Bound Value Probl 2018, 9 (2018). https://doi.org/10.1186/s1366101809297
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101809297
MSC
 35G30
 47H08
 47H09
Keywords
 boundary value problem
 measure of weak noncompactness
 quadratic integral equation