On $N$-parameter families and interpolation problems for nonlinear ordinary differential equations
HTML articles powered by AMS MathViewer
- by Philip Hartman PDF
- Trans. Amer. Math. Soc. 154 (1971), 201-226 Request permission
Abstract:
Let $y = ({y_0}, \ldots ,{y_{N - 1}})$. This paper is concerned with the existence of solutions of a system of ordinary differential equations $yâ = g(t,y)$ satisfying interpolation conditions $(^\ast ) {y_0}({t_j}) = {c_j}$ for $j = 1, \ldots$, N and ${t_1} < \cdots < {t_N}$. It is shown that, under suitable conditions, the assumption of uniqueness for all such problems and of âlocalâ solvability (i.e., for ${t_1}, \ldots ,{t_N}$ on small intervals) implies the existence for arbitrary ${t_1}, \ldots ,{t_N}$ and ${c_1}, \ldots ,{c_N}$. A result of Lasota and Opial shows that, in the case of a second order equation for ${y_0}$, the assumption of uniqueness suffices, but it will remain undecided if the assumption of âlocalâ solvability can be omitted in general. More general interpolation conditions involving N points, allowing coincidences, are also considered. Part I contains the statement of the principal results for interpolation problems and those proofs depending on the theory of differential equations. Actually, the main theorems are consequences of results in Part II dealing with âN-parameter familiesâ and âN-parameter families with pseudoderivatives.â A useful lemma states that if F is a family of continuous functions $\{ {y^0}(t)\}$ on an open interval (a, b), then F is an N-parameter family (i.e., contains a unique solution of the interpolation conditions $(^\ast )$ for arbitrary ${t_1} < \cdots < {t_N}$ on (a, b) and ${c_1}, \ldots ,{c_N}$) if and only if (i) ${y^0},{z^0} \in F$ implies ${y^0} - {z^0} \equiv 0$ or ${y^0} - {z^0}$ has at most N zeros; (ii) the set $\Omega \equiv \{ ({t_1}, \ldots ,{t_N},{y^0}({t_1}), \ldots ,{y^0}({t_N})):a < {t_1} < \cdots < {t_N} < b$ and ${y^0} \in F\}$ is open in ${R^{2N}}$; (iii) ${y^1},{y^2}, \ldots , \in F$ and the inequalities ${y^n}(t) \leqq {y^{n + 1}}(t)$ for $n = 1,2, \ldots$ or ${y^n}(t) \geqq {y^{n + 1}}(t)$ for $n = 1,2, \ldots$ on an interval $[\alpha ,\beta ] \subset (a,b)$ imply that either ${y^0}(t) = \lim {y^n}(t)$ exists on (a, b) and ${y^0} \in F$ or $\lim |{y^n}(t)| = \infty$ on a dense set of (a, b); and finally, (iv) the set $S(t) = \{ {y^0}(t):{y^0} \in F\}$ is not bounded from above or below for $a < t < b$. The notion of pseudoderivatives permits generalizations to interpolation problems involving some coincident points.References
-
O. AramÇ, Rezultate comparative asupra unor probleme la limita pentru ecuatii differentiale lineare, Acad. R. P. RomĂźne. Fil. Cluj. Stud. Circ. Mat. 10 (1959), 207-257.
- E. F. Beckenbach, Generalized convex functions, Bull. Amer. Math. Soc. 43 (1937), no. 6, 363â371. MR 1563543, DOI 10.1090/S0002-9904-1937-06549-9
- Roberto Conti, Recent trends in the theory of boundary value problems for ordinary differential equations, Boll. Un. Mat. Ital. (3) 22 (1967), 135â178. MR 0218650
- Masuo Fukuhara, Sur lâensemble des courbes intĂ©grales dâun systĂšme dâĂ©quations diffĂ©rentielles ordinaires, Proc. Imp. Acad. Tokyo 6 (1930), no. 9, 360â362 (French). MR 1568301
- Philip Hartman, Unrestricted $n$-parameter families, Rend. Circ. Mat. Palermo (2) 7 (1958), 123â142. MR 105470, DOI 10.1007/BF02854523
- Philip Hartman, Ordinary differential equations, John Wiley & Sons, Inc., New York-London-Sydney, 1964. MR 0171038
- E. Kamke, Zur Theorie der Systeme gewöhnlicher Differentialgleichungen. II, Acta Math. 58 (1932), no. 1, 57â85 (German). MR 1555344, DOI 10.1007/BF02547774
- Andrzej Lasota and Marian ĆuczyĆski, A note on the uniqueness of two point boundary value problems. I, Zeszyty Nauk. Uniw. JagielloĆ. Prace Mat. 12 (1968), 27â29. MR 224900
- A. Lasota and Z. Opial, Lâexistence et lâunicitĂ© des solutions du problĂšme dâinterpolation pour lâĂ©quation diffĂ©rentielle ordinaire dâordre $n$, Ann. Polon. Math. 15 (1964), 253â271 (French). MR 173804, DOI 10.4064/ap-15-3-253-271
- A. Lasota and Z. Opial, On the existence and uniqueness of solutions of a boundary value problem for an ordinary second-order differential equation, Colloq. Math. 18 (1967), 1â5. MR 219792, DOI 10.4064/cm-18-1-1-5
- Laszlo S. Nicolson, Boundary value problems for systems of ordinary differential equations, J. Differential Equations 6 (1969), 397â407. MR 249710, DOI 10.1016/0022-0396(69)90001-1
- ZdzisĆaw Opial, On a theorem of O. AramÄ, J. Differential Equations 3 (1967), 88â91. MR 206375, DOI 10.1016/0022-0396(67)90008-3
- Mauricio Matos Peixoto, Generalized convex functions and second order differential inequalities, Bull. Amer. Math. Soc. 55 (1949), 563â572. MR 29949, DOI 10.1090/S0002-9904-1949-09246-7
- MarĂlia Chaves Peixoto, On the inequalities $y''â\geq G(x,y, yâ,y'')$, An. Acad. Brasil. Ci. 21 (1949), 205â218. MR 31969
- Leonard Tornheim, On $n$-parameter families of functions and associated convex functions, Trans. Amer. Math. Soc. 69 (1950), 457â467. MR 38383, DOI 10.1090/S0002-9947-1950-0038383-X
- William M. Whyburn, Differential systems with boundary conditions at more than two points, Proceedings of the conference on differential equations (dedicated to A. Weinstein), University of Maryland Book Store, College Park, Md., 1956, pp. 1â21. MR 0082002
- Keith Schrader and Paul Waltman, An existence theorem for nonlinear boundary value problems, Proc. Amer. Math. Soc. 21 (1969), 653â656. MR 239176, DOI 10.1090/S0002-9939-1969-0239176-0
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 154 (1971), 201-226
- MSC: Primary 34A99
- DOI: https://doi.org/10.1090/S0002-9947-1971-0301277-X
- MathSciNet review: 0301277