Abstract
In the paper, we consider a boundary value problem for a second order functional-differential equation with sufficiently general linear homogeneous boundary conditions. On the basis of the theory of semi-ordered spaces and with the help of special topological methods, we prove the existence of a unique positive solution to the problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
STATEMENT OF THE PROBLEM
Sufficiently many works are devoted to the solvability of functional-differential equations (see, e. g., [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]). Almost in all of these works, the problems of existence and uniqueness of positive solutions of boundary value problems mo second order differential equations with delay are considered, and the natural tools of their study are the methods of functional analysis based on the use of semi-ordered spaces, the theory of which is connected with the names of F. Riezs, M. G. Krein, L. V. Kantorovich, G. Freidental, G. Birkhoff and others. Further the methods of investigation of positive solutions of operator equations we developed by M. A. Krasnosel'skii and its followers, such as L. A. Ladyzhenskaya, I. A. Bakhtin, V. Ya. Stetsenko, Yu. V. Pokornii, and others.
This paper is a continuation of the author's investigations devoted to the problem of existence and uniqueness of positive solutions to boundary value problems for second order functional-differential equations.
The aim of the paper is to obtain, on the base of the theory of semi-ordered spaces and with the help of special topological methods, sufficient conditions of existence and uniqueness of a positive solution for boundary value problem for a functional-differential equation.
Denote by C the space \(C[0,1]\), by \(\mathbb{L}_p \ (1<p<\infty)\) the space \(\mathbb{L}_p(0,1)\) and let \(\mathbb{W}^2\) be the space of real-valued functions on \([0,1]\) with absolutely continuous derivative.
Consider the following boundary value problem:
here \(\alpha_{ij}, \beta_{ij}\quad(i, j=1, 2)\) are real numbers, \(T\colon C \to \mathbb{L}_p \ (1<p<\infty)\) is a positive linear operator [11, p. 59], the function \(f(t,u)\) is non-negative, increases with respect to the second argument, satisfies the Carathéodory condition, and \(f(\,\cdot\,, 0)\equiv0\).
By positive solution of the problem (1)–(3), we mean a function \(x\in \mathbb{W}^2\), positive on \((0,1)\), satisfying almost everywhere equation (1) and the boundary conditions (2)–(3).
1. MAIN RESULTS
Consider the integral equation, equivalent to the problem (1)–(3):
where \(G(t,s)\) is the Green function of the operator \(-\dfrac {d^2}{dt^2}\) with boundary conditions (2)–(3).
Now we will introduce some notation: \(\alpha\equiv \dfrac {\alpha_{12}+\beta_{11}+\beta_{12}}{\alpha_{11}+\alpha_{12}}\) , \(\beta\equiv \dfrac {\alpha_{22}+\beta_{21}+\beta_{22}}{\alpha_{21}+\alpha_{22}}\) . Under the fulfillment of the conditions
-
a)
\(\alpha\neq\beta\), \(\alpha_{11}+\alpha_{12}\neq0\), \(\alpha_{21}+\alpha_{22}\neq0\),
-
b)
\(\dfrac{1}{\beta-\alpha} \left [\dfrac{\beta_{21}}{\alpha_{21}+\alpha_{22}}\,(1-\alpha)-\dfrac{\beta_{11}}{\alpha_{11}+\alpha_{12}}\,(1-\beta)\right]\leq0\),
-
c)
\(\dfrac{1}{\beta-\alpha} \left [\dfrac{\alpha_{21}-\beta_{21}}{\alpha_{21}+\alpha_{22}}\,(1-\alpha)-\dfrac{\alpha_{11}-\beta_{11}}{\alpha_{11}+\alpha_{12}}\,(1-\beta)\right]>0\),
-
d)
\(\dfrac{1}{\beta-\alpha} \left [\dfrac{\beta_{21}}{\alpha_{21}+\alpha_{22}}\,\alpha-\dfrac{\beta_{11}}{\alpha_{11}+\alpha_{12}}\,\beta \right]>0\),
-
e)
\(\dfrac{1}{\beta-\alpha} \left [\dfrac{\alpha_{21}}{\alpha_{21}+\alpha_{22}}\,\alpha-\dfrac{\alpha_{11}}{\alpha_{11}+\alpha_{12}}\,\beta +1 \right]<0\),
the Green function exists, it is positive and has the form [12]
where
Assume that \(f(t,u)\) satisfies the condition
where \(a(t)\in\mathbb{L}_p\) , \(b>0\).
We can write equation (4) in the operator form:
where \(N\colon \mathbb{L}_p \to \mathbb{L}_p~\) is the Nemytskii operator, \(G\colon \mathbb{L}_p \to C~\) is the Green operator.
The operator A, defined by the equality
acts on the space of nonnegative continuous functions. It is completely continuous [13, p. 161] and keeps the cone \(\hat{K}\) of nonnegative functions x(t) of the space C, satisfying the condition
where m and M are the lower and the upper estimations of the Green functions.
Theorem 1.
Assume that \(T\colon C \to \mathbb{L}_p ~\) is an operator, positive on the cone \(\hat{K}\), inequality (5) holds and
-
1.
\(\gamma < \dfrac{m}{bM^{2}}\) , where \(\gamma\) is the norm of operator T;
-
2.
\(m\displaystyle \int\limits_0^1 f \left (s,\left(T1 \right)(s) \right)\,ds\geq 1\).
Then the boundary value problem (1)–(3) has at least one solution.
Proof. Further by semi-orderings \(u\prec v\) and \(u\,\overline{\prec}\, v\) in the cone \(\hat{K}\) of the space C we mean that the inequalities \(u(x)\leq v(x)\) and \(u(x)>v(x)\) hold for all \(x\in[0,1]\).
Because of (5), the operator A has a majorant on the cone \(\hat{K}\) of the space C:
We will show that the strong asymptotical derivative \(B'(\infty)\), by the cone \(\hat{K}\) of the space C, of the majorant B (see, e. g., [11, p. 109]) has spectral radius which is less than 1.
Actually, for every \(x(t)\in \hat{K}\) from the space C we have
Taking into account Condition 1 of the theorem, from the theorem [14, p. 461] we obtain that the spectrum of the completely continuous linear operator \(B'(\infty)\) by the cone \(\hat{K}\) is in the disk of radius less than 1.
To complete the proof, it is sufficient to prove the existence of a nonzero element \(x_{0}\in \hat{K}\) such that \(Ax_{0}\succ x_{0}\).
Putting \(x_{0}\equiv1\), by Condition 2 of the theorem, we have
From the theorem [11, p. 136], we obtain that the operator A has at least one nonzero fixed point in the cone \(\hat{K}\) of the space C, what is equivalent to existence of at least one positive solution to the boundary value problem (1)–(3). \(\square\)
Theorem 2.
Let \(a(t)\equiv 0\) in (5), the conditions of Theorem 1 hold and
Then the boundary value problem (1)–(3) has a unique positive solution.
Proof. To establish the uniqueness of positive solution, we will show that the concave and monotone operator A, defined by inequality (4), is u0-concave [11, p. 199] on the cone \(\hat{K}\) of the space C.
Taking into account (5), where we put \(a(t)\equiv 0\), we have
Further we will denote by \(\sigma\) the expression on the right-hand side of (7). It is evident that \(\sigma>0\).
For every positive \(\lambda\in(0,1)\), from (6) and (7) it follows that
Denote by \(\delta\) the difference containing in the parentheses on the right-hand side of (8). By the requirements of Theorem 1, the value of \(\delta\) is strongly positive. In terms of \(\sigma\) and \(\delta\), we write inequality (8) in the form
The last inequality coincides with the condition of u0-concavity (\(u_{0}\equiv1\)) and, according to the theorem [11, p. 200], the boundary value problem (1)–(3) has a unique positive solution. \(\square\)
Remark.
We note that in the case where \(f(t,u)\) is linear with respect to the second argument, for existence of unique positive solution, it is necessary and sufficient that the spectral radius of the operator GT in the space C is less than 1. Under the assumptions of this paper, Condition 1 of Theorem 1 is sufficient for this purpose.
As an example, we consider the boundary value problem
where
It is easy to see that the Green function of the operator \(-\dfrac {d^2}{dt^2}\) with boundary conditions (10), (11) exists, it is positive, has the form
and \(0.9\leq G(t,s)\leq1\) \((t, s\in[0,1])\).
With the help of the above theorems, it is easy to verify that, under the fulfillment of the requirements
the boundary value problem (9)–(11) has a unique positive solution.
REFERENCES
Azbelev N.V., Maksimov V.P., Simonov P.M. "Functional differential equations and their applications", Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, Ser. Matem. 1, 3-23 (2009) [in Russian].
Wong F.H., Wang S.P., Chen T.G. "Existence of positive solutions for second order functional differential equations", Comput. and Math. Appl. 56 (10), 2580-2587 (2008).
Ma R. "Positive solutions for boundary value problems of functional differential equations", Appl. Math. Comput. 193 (1), 66-72 (2007).
Zima M. "On positive solutions of functional-differential equations in banach spaces", J. Inequalities and Appl. 6 (3), 359-371 (2000).
Agarwal R.P., Stanek S. "Positive solutions of singular value problems for delay differential equations", Dyn. Syst. Appl. 16 (4), 755-770 (2007).
Hong C., Yeh C., Lee C., Wong F. "Existence of positive solutions for functional equations", Comp. Math. Appl. 40 (6–7), 783-792 (2000).
Sun Y., Han M.M., Debnath L. "Existence of positive periodic solutions for a class of functional differential equations", Appl. Math. Comput. 190 (1), 699-704 (2007).
Weng P., Jiang D. "Existence of positive solutions for boundary value problem of second-order FDE", Comput. Math. Appl. 37 (10), 1-9 (1999).
Hong C., Yeh C., Lee C., Wong F. "Existence of positive solutions for higher-order functional differential equations", J. Math. Anal. Appl. 297 (1), 14-23 (2004).
Yin F., Fugi F., Li Y. "The existence of positive solutions for the quasilinear functional delay differential equations", J. Math. Study 35 (4), 364-370 (2002).
Krasnosel'skii M.A. Positive Solutions of Operator Equations (Fizmatgiz, Moscow, 1962) [in Russian].
Abduragimov G.E. "On positive solutions of boundary value problem for a nonlinear functional-differential equation of the 2nd order", Vestn. Dagest. Gos. Univ. Estestv. Nauki IV, 121-123 (1997) [in Russian].
Krein S.G. Functional Analysis (Nauka, Moscow, 1972) [in Russian].
Zabreiko P.P., Krasnosel'skii P.P., Stetsenko V.Ya. "Estimates of the spectral radius of positive linear operators", Math. Notes 1 (4), 306-310 (1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the bright memory of my father, Abduragimov Elderkhan Israpilovich
Russian Text © The Author(s), 2021, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2021, No. 12, pp. 3–8.
About this article
Cite this article
Abduragimov, G.E. Existence and Uniqueness of a Positive Solution to a Boundary Value Problem for a Second Order Functional-Differential Equation. Russ Math. 65, 1–5 (2021). https://doi.org/10.3103/S1066369X2112001X
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1066369X2112001X