Some results on the method of lower and upper solutions for non-compact domains

DOI10.1016/S0362-546X(96)00276-3MaRDI QIDQ4382297zbMATH OpenFDO

Authors Cristina Marcelli, Paola Rubbioni

Publication date 30 March 1998

Published in Nonlinear Analysis: Theory, Methods & Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0362-546X(96)00276-3

zbMATH Keywords

Carathéodory solutionsPerron-Müller existence theoremupper solutions

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Differential inequalities involving functions of a single real variable (34A40)

Review text

For the initial value problem \[ u'=f(t,u) \text{ in }J=[a,b],\;u(a)=u_0, \] with a lower function \(v\), \(v'\leq f(t,v)\), and an upper function \(w\) \textit{O. Perron} showed in 1914 [Math. Ann. 76, 471-484 (1915; JFM 45.0469.01)] that if \(v\leq w\) in \(J\) and \(v(a)\leq u_0\leq w(a)\), then there is a solution \(u\) between \(v\) and \(w\). This is true for a system of equations if \(f\) is quasimonotone increasing, as \textit{M. Müller} showed [Math. Z. 26, 619-645 (1927; JFM 53.0400.02)]. The authors proved in [Nonlinear Anal., Theory Methods Appl. 28, No. 11, 1759-1767 (1997; Zbl 0877.34006)] a variant of the Perron-Müller theorem: Assume only \(v(a)\leq w(a)\) and let \(m(t)\) be the minimum and \(M(t)\) the maximum of \(v,w\). Then if \(v(a)\leq u_0\leq w(a)\), there is a solution satisfying \(m\leq u\leq M\) in \(J\). The present paper gives three extensions of this theorem: \begin{itemize} \item[(a)] it holds for \(J=[a,\infty)\), \item[(b)] it holds if \(v,w\) exist only in \((a,b]\) if \(\lim\sup v(t)\leq u_0\leq\lim\inf w(t)\) as \(t\to a_+\), and \item[(c)] it holds for the terminal value problem where the limit \(u(\infty) =y_0\) is prescribed if \(\lim\sup w(t)\leq y_0\leq\lim\inf v(t)\) as \(t\to\infty\). \end{itemize} All results hold for \(u,v,w\) absolutely continuous and \(f\) satisfying Carathéodory assumptions, in case (c) \(| f(t,x)|\leq h(t)\in L(a, \infty)\) in \([a,\infty)\times B\), \(B\subset\mathbb{R}^n\) bounded, under the general mixed quasimonotonicity property of \(f\). Here, inequalities, maximum and lim sup are taken componentwise.

Recommendations

• A new extension of classical Müller's theorem
• On the method of upper and lower solutions in abstract cones
• On the method of upper and lower solutions under Carathéodory assumptions
• Generalized monotone iterative techniques for integro-differential equations

Cites work

• A new extension of classical Müller's theorem
• Extension of the method of upper and lower solutions for discontinuous differential equations
• scientific article; zbMATH DE number 4075602 (Why is no real title available?)
• scientific article; zbMATH DE number 3674585 (Why is no real title available?)
• On the method of upper and lower solutions under Carathéodory assumptions
• Quasi-solutions and monotone method for systems of nonlinear boundary value problems

Cited in

(2)

• On extending existence theory from scalar ordinary differential equations to infinite quasimonotone systems of functional equations
• O(\(N\)) invariance of the multi-field bounce

This page was built for publication: Some results on the method of lower and upper solutions for non-compact domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382297)