Anwendung des Satzes von Poincaré-Bendixson

Betrachten Sie das System

X ' = 3 X j 2 X 2 j j ' = 5 X 2 j X j 2

Zeigen Sie, dass das System keine periodischen Lösungen hat.

Dies ist ein kniffliges Beispiel. Die Linearisierung führt nirgendwo hin und es fällt mir schwer, eine Lyapunov-Funktion zu konstruieren, die den Zweck erfüllt. v = 1 / 2 ( X 2 + j 2 ) gibt

v ' ( X , j ) = 3 X 2 j 2 X 3 j + 5 X 2 j 2 X j 3 = 8 X 2 j 2 X j ( X 2 + j 2 ) )

Aber das sagt uns nicht viel Schönes über die Herkunft. Wenn überhaupt, sieht es so aus, als ob der Ursprung abstoßend ist, da kleine Störungen uns das geben 8 X 2 j 2 Term dominiert den Minusterm. Vielleicht kann man irgendwie zeigen, dass es keine elliptischen Bahnen gibt, aber das schließt andere, exotischere, periodische Bahnen nicht aus.

Wie geht es weiter...?

Beachten Sie, dass die Lösungen den Lösungen des Systems folgen
u ' = 3 v u v ' = 5 u v
in dem Sinne, dass jeder ( X , j ) -Pfad ist in der enthalten ( u , v ) -Pfad enthält ( X 0 , j 0 ) , nur folgt er diesem Weg mit einer anderen, variierenden Geschwindigkeit. (Der Einschluss kann strikt sein und ist es auch, z. B. every ( X , j ) -path bleibt auf den Quadranten beschränkt, von dem aus er gestartet wurde.) The ( u , v ) -lineares System ist hyperbolisch, nein ( u , v ) -Lösung ist periodisch, QED.

Antworten (2)

Der Titel ist irreführend: Es ist das Kriterium von Bendixson, was verwendet werden muss, was das für das System aussagt

X ' = F ( X , j ) j ' = G ( X , j )
Wenn F X + G j 0 in einer einfach zusammenhängenden Region R , dann hat das System keine geschlossene Trajektorie im Inneren R . (Siehe zB http://math.mit.edu/~jorloff/suppnotes/suppnotes03/lc.pdf für einen Beweis)

Beachten Sie in Ihrem Fall zunächst, dass die Achsen unveränderlich sind, sodass keine geschlossene Trajektorie eine von ihnen berühren kann. Berechnen Sie dann in einem der Quadranten:

F X + G j = 3 j 2 2 X j + 5 X 2 2 X j = 3 ( j 2 4 3 X j + 5 3 X 2 ) = 3 ( ( j 2 3 X ) 2 + 5 2 X 2 ) > 0
da jeder (strenge) Quadrant den Ursprung ausschließt und die Schlussfolgerung aus dem Bendixson-Kriterium resultiert.

Ich gebe die Lösung für Ihr nichtlineares System

D X D T = 3 X j 2 X 2 j
Und
D j D T = 5 X 2 j X j 2
Wenn wir Gl. 2 durch Gl. 1 dividieren, erhalten wir
D j D X = 5 X 2 j X j 2 3 X j 2 X 2 j
Jetzt dividieren durch X 3 Sowohl den Zähler als auch den Nenner erhalten wir
D j D X = 5 j X ( j X ) 2 3 ( j X ) 2 j X

Lassen j = X v Dann D j D X = X D v D X + v , also das DE in eine trennbare Gl.

X D v D X + v = 5 v v 2 3 v 2 v = 5 v 3 v 1 ,
Deshalb

X D v D X = 5 v 3 v 2 + v 3 v 1 = 5 3 v 2 3 v 1

3 v 1 5 3 v 2 D v = D X X

3 v 1 5 3 v 2 D v = D X X

Einstellung 3 5 v = Sünde θ 5 3 cos θ D θ = D v , Dann

3 5 3 Sünde θ 1 5 ( 1 Sünde 2 θ ) 5 3 cos θ D θ = D X X

so dass

3 5 3 Sünde θ 1 5 ( 1 Sünde 2 θ ) 5 3 cos θ D θ = bräunen θ D θ 5 3 1 5 Sek θ D θ = ln | cos θ | 1 15 ln | Sek θ + bräunen θ |

Daher lautet die Lösung,

ln | cos θ | 1 15 ln | Sek θ + bräunen θ | = ln | X | + C
Schließlich können wir das Ergebnis schreiben als

| cos θ | | Sek θ + bräunen θ | 1 15 = k X
Wo k = exp ( C ) .

Das ist cool, aber definitiv übertrieben :)