Limit Properties of Solutions of Singular Second-Order Differential Equations
© Irena Rachůnková et al. 2009
Received: 23 April 2009
Accepted: 28 May 2009
Published: 29 June 2009
We discuss the properties of the differential equation , a.e. on , where , and satisfies the -Carathéodory conditions on for some . A full description of the asymptotic behavior for of functions satisfying the equation a.e. on is given. We also describe the structure of boundary conditions which are necessary and sufficient for to be at least in . As an application of the theory, new existence and/or uniqueness results for solutions of periodic boundary value problems are shown.
where , , and the function is defined for a.e. and for all . The above equation is singular at because of the first term in the right-hand side, which is in general unbounded for . In this paper, we will also alow the function to be unbounded or bounded but discontinuous for certain values of the time variable . This form of is motivated by a variety of initial and boundary value problems known from applications and having nonlinear, discontinuous forcing terms, such as electronic devices which are often driven by square waves or more complicated discontinuous inputs. Typically, such problems are modelled by differential equations where has jump discontinuities at a discrete set of points in , compare .
This study serves as a first step toward analysis of more involved nonlinearities, where typically, has singular points also in and . Many applications, compare [2–12], showing these structural difficulties are our main motivation to develop a framework on existence and uniqueness of solutions, their smoothness properties, and the structure of boundary conditions necessary for to have at least continuous first derivative on . Moreover, using new techniques presented in this paper, we would like to extend results from [13, 14] (based on ideas presented in ) where problems of the above form but with appropriately smooth data function have been discussed.
Here, we aim at the generalization of the existence and uniqueness assertions derived in those papers for the case of smooth . We are especially interested in studying the limit properties of for and the structure of boundary conditions which are necessary and sufficient for to be at least in .
From the above remarks, we draw the conclusion that a new approach is necessary to study the analytical properties of (1.1).
The following notation will be used throughout the paper. Let be an interval. Then, we denote by the set of functions which are (Lebesgue) integrable on . The corresponding norm is . Let . By , we denote the set of functions whose th powers of modulus are integrable on with the corresponding norm given by .
Finally, we denote by and the sets of functions which are absolutely continuous on and which have absolutely continuous first derivatives on , respectively. Analogously, and are the sets of functions being absolutely continuous on each compact subinterval and having absolutely continuous first derivatives on each compact subinterval , respectively.
specified in the following definition.
We will provide a full description of the asymptotical behavior for of functions satisfying (2.1) a.e. on . Such functions will be called solutions of (2.1) if they additionally satisfy the smoothness requirement ; see next definition.
In Section 3, we consider linear problems and characterize the structure of boundary conditions necessary for the solution to be at least continuous on . These results are modified for nonlinear problems in Section 4. In Section 5, by applying the theory developed in Section 4, we provide new existence and/or uniqueness results for solutions of singular boundary value problems (2.1) with periodic boundary conditions.
3. Linear Singular Equation
which means that . We now use the properties of to represent all functions satisfying (3.1) a.e. on . Remember that such function does not need to be a solution of (3.1) in the sense of Definition 2.2.
We stress that by (3.8), the particular solution of (3.1) belongs to . For , we can see from (3.9) that it is useful to find other solution representations which are equivalent to (3.10) and (3.11), but use instead of , if .
which completes the proof.
of (3.1) for satisfies . Main results for the linear singular equation (3.1) are now formulated in the following theorems.
into the boundary conditions (3.26b).
Let and let a function satisfy equation (3.1) a.e. on . For , only one of the following properties holds:
into the boundary conditions (3.38b).
To illustrate the solution behaviour, described by Theorems 3.3 and 3.5, we have carried out a series of numerical calculations on a MATLAB software package bvpsuite designed to solve boundary value problems in ordinary differential equations. The solver is based on a collocation method with Gaussian collocation points. A short description of the code can be found in . This software has already been used for a variety of singular boundary value problems relevant for applications; see, for example, .
4. Limit Properties of Functions Satisfying Nonlinear Singular Equations
In this section we assume that the function satisfying differential equation (2.1) a.e. on is given. The first derivative of such a function does not need to be continuous at and hence, due to the lack of smoothness, does not need to be a solution of (2.1) in the sense of Definition 2.2. In the following two theorems, we discuss the limit properties of for .
Results derived in Theorems 4.1 and 4.2 constitute a useful tool when investigating the solvability of nonlinear singular equations subject to different types of boundary conditions. In this section, we utilize Theorem 4.1 to show the existence of solutions for periodic problems. The rest of this section is devoted to the numerical simulation of such problems.
A function is called a solution of the boundary value problem (5.1a) and (5.1b), if satisfies equation (5.1a) for a.e. and the periodic boundary conditions (5.1b).
and we see that it is singular. Consequently, the assumption of Theorem 3.4 is not satisfied, and the linear periodic problem (3.26b) subject to (5.1b) is not uniquely solvable. However this is not true for nonliner periodic problems. In particular, Theorem 5.6 gives a characterization of a class of nonlinear periodic problems (5.1a) and (5.1b) which have only one solution. We begin the investigation of problem (5.1a) and (5.1b) with a uniqueness result.
Theorem 5.2 (uniqueness).
We consider two cases.
Let . We can assume that . (Otherwise we choose .) Then we can find satisfying for and . Let be the first zero of . Then, if we set , we see that satisfies (5.5). Let have no zeros on . Then on , and, due to (5.4), . Since , we can find and such that satisfies (5.5).
Under the assumptions of Theorem 4.1 any solution of (5.1a) satisfies Therefore, we can investigate (5.1a) subject to the auxiliary conditions (5.10) instead of the equivalent original problem (5.1a) and (5.1b). This change of the problem setting is useful for obtaining of a priori estimates necessary for the application of the Fredholm-type existence theorem (Lemma 5.5) during the proof.
Theorem 5.3 (existence).
for a.e. . It can be shown that and which satisfy the -Carathéodory conditions on are nondecreasing in their second argument and a.e. on ; see . Therefore, also satisfies the -Carathéodory conditions on , and there exists a function such that for a.e. and all .
In order to show the existence of solutions to the periodic boundary value problem (5.1a) and (5.1b), the Fredholm-type Existence Theorem is used, see for example, in [20, Theorem ], [11, Theorem ] or [21, page 25]. For convenience, we provide its simple formulation suitable for our purpose below.
Lemma 5.5 (Fredholm-type existence theorem).
If we combine Theorems 5.2 and 5.3, we obtain conditions sufficient for the solution of (5.1a) and (5.1b) to be unique.
Theorem 5.6 (existence and uniqueness).
Estimated convergence order for the periodic boundary value problem (5.43)-(5.1a) and a = 1.
This research was supported by the Council of Czech Goverment MSM6198959214 and by the Grant no. A100190703 of the Grant Agency of the Academy of Sciences of the Czech Republic.
- Lee JW, O'Regan D: Existence of solutions to some initial value, two-point, and multi-point boundary value problems with discontinuous nonlinearities. Applicable Analysis 1989, 33(1-2):57-77. 10.1080/00036818908839861MATHMathSciNetView ArticleGoogle Scholar
- Agarwal RP, O'Regan D: Singular problems arising in circular membrane theory. Dynamics of Continuous, Discrete & Impulsive Systems. Series A 2003, 10(6):965-972.MATHMathSciNetGoogle Scholar
- Baxley JV: A singular nonlinear boundary value problem: membrane response of a spherical cap. SIAM Journal on Applied Mathematics 1988, 48(3):497-505. 10.1137/0148028MATHMathSciNetView ArticleGoogle Scholar
- Baxley JV, Gersdorff GS: Singular reaction-diffusion boundary value problems. Journal of Differential Equations 1995, 115(2):441-457. 10.1006/jdeq.1995.1022MATHMathSciNetView ArticleGoogle Scholar
- Constantin A: Sur un probleme aux limites en mecanique non lineaire. Comptes Rendus de l'Académie des Sciences. Série I 1995, 320(12):1465-1468.MATHMathSciNetGoogle Scholar
- Dickey RW: Rotationally symmetric solutions for shallow membrane caps. Quarterly of Applied Mathematics 1989, 47(3):571-581.MATHMathSciNetGoogle Scholar
- Dickey RW: The plane circular elastic surface under normal pressure. Archive for Rational Mechanics and Analysis 1967, 26(3):219-236.MATHMathSciNetView ArticleGoogle Scholar
- Hlavacek V, Marek M, Kubicek M: Modelling of chemical reactors-X. Multiple solutions of enthalpy and mass balances for a catalytic reaction within a porous catalyst particle. Chemical Engineering Science 1968, 23(9):1083-1097. 10.1016/0009-2509(68)87093-9View ArticleGoogle Scholar
- Johnson KN: Circularly symmetric deformation of shallow elastic membrane caps. Quarterly of Applied Mathematics 1997, 55(3):537-550.MATHMathSciNetGoogle Scholar
- Rachůnková I, Koch O, Pulverer G, Weinmüller E: On a singular boundary value problem arising in the theory of shallow membrane caps. Journal of Mathematical Analysis and Applications 2007, 332(1):523-541. 10.1016/j.jmaa.2006.10.006MATHMathSciNetView ArticleGoogle Scholar
- Rachůnková I, Staněk S, Tvrdý M: Singularities and Laplacians in boundary value problems for nonlinear ordinary differential equations. In Handbook of Differential Equations: Ordinary Differential Equations, Handbook of Differential Equations. Volume 3. Edited by: Caňada A, Drábek P, Fonda A. Elsevier, Amsterdam, The Netherlands; 2006:607-722.View ArticleGoogle Scholar
- Shin JY: A singular nonlinear differential equation arising in the Homann flow. Journal of Mathematical Analysis and Applications 1997, 212(2):443-451. 10.1006/jmaa.1997.5516MATHMathSciNetView ArticleGoogle Scholar
- Weinmüller E: On the boundary value problem for systems of ordinary second-order differential equations with a singularity of the first kind. SIAM Journal on Mathematical Analysis 1984, 15(2):287-307. 10.1137/0515023MATHMathSciNetView ArticleGoogle Scholar
- Koch O: Asymptotically correct error estimation for collocation methods applied to singular boundary value problems. Numerische Mathematik 2005, 101(1):143-164. 10.1007/s00211-005-0617-2MATHMathSciNetView ArticleGoogle Scholar
- de Hoog FR, Weiss R: Difference methods for boundary value problems with a singularity of the first kind. SIAM Journal on Numerical Analysis 1976, 13(5):775-813. 10.1137/0713063MATHMathSciNetView ArticleGoogle Scholar
- de Hoog FR, Weiss R: The numerical solution of boundary value problems with an essential singularity. SIAM Journal on Numerical Analysis 1979, 16(4):637-669. 10.1137/0716049MATHMathSciNetView ArticleGoogle Scholar
- Kitzhofer G: Numerical treatment of implicit singular BVPs, Ph.D. thesis. Institute for Analysis and Scientific Computing, Vienna University of Technology, Vienna, Austria; 2005. in prepartionGoogle Scholar
- Rachůnková I, Pulverer G, Weinmüller E: A unified approach to singular problems arising in the membran theory. to appear in Applications of Mathematics
- Kiguradze IT, Shekhter BL: Singular boundary value problems for second-order ordinary differential equations. In Current Problems in Mathematics. Newest Results, Vol. 30 (Russian), Itogi Nauki i Tekhniki. Akad. Nauk SSSR Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, Russia; 1987:105-201. translated in Journal of Soviet Mathematics, vol. 43, no. 2, pp. 2340–2417, 1988Google Scholar
- Lasota A: Sur les problèmes linéaires aux limites pour un système d'équations différentielles ordinaires. Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques 1962, 10: 565-570.MATHMathSciNetGoogle Scholar
- Vasiliev NI, Klokov JA: Foundation of the Theory of Boundary Value Problems for Ordinary Differential Equations. Zinatne, Riga, Russia; 1978.Google Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.