Rupture field: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Helpful Pixie Bot
m ISBNs (Build KE)
 
No edit summary
Line 1: Line 1:
Yoshiko is her title but she doesn't like when people use her full title. Bookkeeping is what she does. Delaware is the place I love most but I need to transfer for my family. The thing she adores most is to perform handball but she can't make it her profession.<br><br>Look into my blog :: auto warranty - [http://Portal.novarad.net/ActivityFeed/MyProfile/tabid/91/UserId/1043/Default.aspx visit the following internet page],
In [[mathematics]], in the field of [[ordinary differential equation]]s, the '''Kneser theorem''', named after [[Adolf Kneser]], provides criteria to decide whether a differential equation is [[Oscillation theory|oscillating]] or not.
 
== Statement of the theorem ==
Consider an ordinary linear homogenous differential equation of the form
 
:<math>y'' + q(x)y = 0\,</math>
 
with
 
:<math>q: [0,+\infty) \to \mathbb{R}</math>
 
[[continuous function|continuous]].
We say this equation is ''oscillating'' if it has a solution ''y'' with infinitely many zeros, and ''non-oscillating'' otherwise.
 
The theorem states<ref>{{cite book| last = Teschl| given = Gerald|authorlink=Gerald Teschl| title = Ordinary Differential Equations and Dynamical Systems| publisher=[[American Mathematical Society]]| place = [[Providence, Rhode Island|Providence]]| year = 2012| isbn= 978-0-8218-8328-0| url = http://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}</ref> that the equation is non-oscillating if
 
:<math>\limsup_{x \to +\infty} x^2 q(x) < \tfrac{1}{4}</math>
 
and oscillating if
 
:<math>\liminf_{x \to +\infty} x^2 q(x) > \tfrac{1}{4}.</math>
 
== Example ==
To illustrate the theorem consider
 
:<math>q(x) = \left(\frac{1}{4} - a\right) x^{-2} \quad\text{for}\quad x > 0</math>
 
where <math>a</math> is real and non-zero. According to the theorem, solutions will be oscillating or not depending on whether <math>a</math> is positive (non-oscillating) or negative (oscillating) because
 
:<math>\limsup_{x \to +\infty} x^2 q(x) = \liminf_{x \to +\infty} x^2 q(x) = \frac{1}{4} - a</math>
 
To find the solutions for this choice of <math>q(x)</math>, and verify the theorem for this example, substitute the 'Ansatz'
 
:<math>y(x) = x^n \, </math>
 
which gives
 
:<math>n(n-1) + \frac{1}{4} - a = \left(n-\frac{1}{2}\right)^2 - a = 0</math>
 
This means that (for non-zero <math>a</math>) the general solution is
 
:<math>y(x) = A x^{\frac{1}{2} + \sqrt{a}} + B x^{\frac{1}{2} - \sqrt{a}}</math>
 
where <math>A</math> and <math>B</math> are arbitrary constants.  
 
It is not hard to see that for positive <math>a</math> the solutions do not oscillate while for negative <math>a = -\omega^2</math> the identity
 
:<math>x^{\frac{1}{2} \pm i \omega} = \sqrt{x}\ e^{\pm (i\omega) \ln{x}} = \sqrt{x}\ (\cos{(\omega \ln x)} \pm i \sin{(\omega \ln x)})</math>
 
shows that they do.
 
The general result follows from this example by the [[Sturm–Picone comparison theorem]].
 
==Extensions==
 
There are many extensions to this result. For a recent account see.<ref>Helge Krüger and Gerald Teschl, ''Effective Prüfer angles and relative oscillation criteria'', J. Diff. Eq. 245 (2008), 3823–3848 [http://dx.doi.org/10.1016/j.jde.2008.06.004]</ref>
 
==References==
{{reflist}}
 
{{DEFAULTSORT:Kneser Theorem}}
[[Category:Ordinary differential equations]]
[[Category:Theorems in analysis]]
[[Category:Oscillation]]

Revision as of 19:37, 21 April 2013

In mathematics, in the field of ordinary differential equations, the Kneser theorem, named after Adolf Kneser, provides criteria to decide whether a differential equation is oscillating or not.

Statement of the theorem

Consider an ordinary linear homogenous 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

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

There are many extensions to this result. For a recent account see.[2]

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  1. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  2. Helge Krüger and Gerald Teschl, Effective Prüfer angles and relative oscillation criteria, J. Diff. Eq. 245 (2008), 3823–3848 [1]