Jump to content

Kneser's theorem (differential equations)

From Wikipedia, the free encyclopedia

In mathematics, the Kneser theorem can refer to two distinct theorems in the field of ordinary differential equations:

Statement of the theorem due to A. Kneser

[edit]

Consider an ordinary linear homogeneous differential equation of the form

with

continuous. We say this equation is oscillating if it has a solution y with infinitely many zeros, and non-oscillating otherwise.

The theorem states[1] that the equation is non-oscillating if

and oscillating if

Example

[edit]

To illustrate the theorem consider

where is real and non-zero. According to the theorem, solutions will be oscillating or not depending on whether is positive (non-oscillating) or negative (oscillating) because

To find the solutions for this choice of , and verify the theorem for this example, substitute the 'Ansatz'

which gives

This means that (for non-zero ) the general solution is

where and are arbitrary constants.

It is not hard to see that for positive the solutions do not oscillate while for negative the identity

shows that they do.

The general result follows from this example by the Sturm–Picone comparison theorem.

Extensions

[edit]

There are many extensions to this result, such as the Gesztesy–Ünal criterion.[2]

Statement of the theorem due to H. Kneser

[edit]

While Peano's existence theorem guarantees the existence of solutions of certain initial values problems with continuous right hand side, H. Kneser's theorem deals with the topology of the set of those solutions. Precisely, H. Kneser's theorem states the following:[3][4]

Let be a continuous function on the region , and such that for all .

Given a real number satisfying , define the set as the set of points for which there is a solution of such that and . Then is a closed and connected set.

References

[edit]
  1. ^ Teschl, Gerald (2012). Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society. ISBN 978-0-8218-8328-0.
  2. ^ Krüger, Helge; Teschl, Gerald (2008). "Effective Prüfer angles and relative oscillation criteria". Journal of Differential Equations. 245 (12): 3823–3848. arXiv:0709.0127. Bibcode:2008JDE...245.3823K. doi:10.1016/j.jde.2008.06.004. S2CID 6693175.
  3. ^ Hofmann, Karl H.; Betsch, Gerhard, eds. (2005-01-31), "Über die Lösungen eines Systems gewöhnlicher Differentialgleichungen, das der Lipschitzschen Bedingung nicht genügt [7–23]", Gesammelte Abhandlungen / Collected Papers, Berlin, New York: DE GRUYTER, pp. 58–61, doi:10.1515/9783110894516.58, ISBN 978-3-11-089451-6, retrieved 2023-01-21
  4. ^ Hartman, Philip (2002). Ordinary Differential Equations (Second ed.). Society for Industrial and Applied Mathematics. doi:10.1137/1.9780898719222.ch2. ISBN 978-0-89871-510-1.