Uitwerkingen Tentamen Gewone Differentiaalvergelijkingen

Vergelijkbare documenten
Hoofdstuk 9: Niet-lineaire differentiaalvergelijkingen en stabiliteit

Technische Universiteit Delft. ANTWOORDEN van Tentamen Gewone differentiaalvergelijkingen, TW2030 Vrijdag 30 januari 2015,

Hoofdstuk 7: Stelsels eerste orde lineaire differentiaalvergelijkingen

3. Bepaal de convergentie-eigenschappen (absoluut convergent, voorwaardelijk convergent, divergent) van de volgende reeksen: n=1. ( 1) n (n + 1)x 2n.

Technische Universiteit Delft Uitwerking Tentamen Analyse 3, WI 2601 Maandag 11 januari 2010,

Oefeningentoets Differentiaalvergelijkingen, deel 1 dinsdag 6 november 2018 in lokaal 200M van 16:00 tot 18:00u

x(t + T ) = x(t) Voorbeeld 1. Beschouw het niet-lineaire autonome stelsel . (1) y x + y y(x 2 + y 2 )

Differentiaalvergelijkingen Technische Universiteit Delft

Lineaire Algebra voor ST

Opgaven Functies en Reeksen. E.P. van den Ban

Lineaire Algebra voor ST

Lineaire Algebra voor W 2Y650

TENTAMEN ANALYSE 1. dinsdag 3 april 2007,

Hoofdstuk 1: Inleiding

Je mag Zorich deel I en II gebruiken, maar geen ander hulpmiddelen (zoals andere boeken, aantekeningen, rekenmachine etc.)!

maplev 2010/9/8 17:01 page 349 #351

Tussentoets Analyse 2. Natuur- en sterrenkunde.

Tentamen Functies en Reeksen

Hoofdstuk 3: Tweede orde lineaire differentiaalvergelijkingen

Tussentoets Analyse 1

Stelsels van lineaire DVen met constante coëfficiënten

Z.O.Z. Radboud Universiteit Nijmegen Tentamen Analyse 1 WP001B 16 juni 2016, 12:30 15:30 (16:30)

168 HOOFDSTUK 5. REEKSONTWIKKELINGEN

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

Wiskunde y en Theoretische Biologie, 12 april Naam: Collegekaartnummer: Vraag 1

Vectoranalyse voor TG

x 1 (t) = ve rt = (a + ib) e (λ+iµ)t = (a + ib) e λt (cos µt + i sin µt) x 2 (t) = ve rt = e λt (a cos µt b sin µt) ie λt (a sin µt + b cos µt).

(b) Formuleer het verband tussen f en U(P, f), en tussen f en L(P, f). Bewijs de eerste. (c) Geef de definitie van Riemann integreerbaarheid van f.

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

Hoofdstuk 10: Partiële differentiaalvergelijkingen en Fourierreeksen

1. (a) Gegeven z = 2 2i, w = 1 i 3. Bereken z w. (b) Bepaal alle complexe getallen z die voldoen aan z 3 8i = 0.

Lineaire Algebra voor W 2Y650

Complexe functies 2019

Opgaven Inleiding Analyse

Tentamen Modellen en Simulatie (WISB134)

Examen Wiskundige Basistechniek 15 oktober 2011

5.8. De Bessel differentiaalvergelijking. Een differentiaalvergelijking van de vorm

Examen G0O17D Wiskunde II (6sp) maandag 10 juni 2013, 8:30-12:30 uur

UNIVERSITEIT TWENTE Faculteit Elektrotechniek, Wiskunde en Informatica

HERTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

Lineaire Afbeelding Stelsels differentiaalvergelijkingen. 6 juni 2006

Radboud Universiteit Nijmegen Tentamen Analyse 1 WP001B 26 augustus 2010, , Examenzaal

Stelsels differentiaalvergelijkingen

Inleiding Wiskundige Systeemtheorie

Complexe eigenwaarden

Inleiding Wiskundige Systeemtheorie

1 Eigenwaarden en eigenvectoren

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Uitwerking Tentamen Calculus, 2DM10, maandag 22 januari 2007

Tentamen Simulaties van biochemische systemen - 8C110 9 April uur

Calculus I, 23/11/2015

V.4 Eigenschappen van continue functies

Tentamen Simulaties van biochemische systemen - 8C110 3 juli uur

Hertentamen Wiskundige Technieken 1 Donderdag 4 jan 2018, 9-12 uur

OEFENOPGAVEN BIJ HET TENTAMEN ANALYSE 1 (COLLEGE NAJAAR 2006). (z + 2i) 4 = 16. y 4y + 5y = 0 y(0) = 1, y (0) = 2. { 1 + xc 1 voor x > 0.

Tentamen Simulaties van biochemische systemen - 8C Juni uur

Reeksnr.: Naam: t 2. arcsin x f(t) = 2 dx. 1 x

Lineaire dv van orde 2 met constante coefficienten

Examen G0O17E Wiskunde II (3sp) maandag 10 juni 2013, 8:30-11:30 uur. Bachelor Geografie en Bachelor Informatica

Stelsels lineaire differentiaalvergelijkingen (homogeen)

Wiskundige Technieken 1 Uitwerkingen Tentamen 4 november 2013

TW2040: Complexe Functietheorie

V.2 Limieten van functies

n=0 en ( f(y n ) ) ) n=0 equivalente rijen zijn.

Tentamen lineaire algebra 2 18 januari 2019, 10:00 13:00 Uitwerkingen (schets)

Bekijk nog een keer het stelsel van twee vergelijkingen met twee onbekenden x en y: { De tweede vergelijking van de eerste aftrekken geeft:

ax + 2 dx con- vergent? n ln(n) ln(ln(n)), n=3 (d) y(x) = e 1 2 x2 e 1 2 t2 +t dt + 2

Radboud Universiteit Nijmegen Tentamen Calculus 1 NWI-NP003B 4 januari 2013,

UNIVERSITEIT TWENTE Faculteit Elektrotechniek, Wiskunde en Informatica

TRILLINGEN EN GOLVEN HANDOUT FOURIER

Topologie in R n 10.1

Definitie: Een functie f heeft een absoluut maximum f(x 0 ) in het punt. x 1 Domein(f) als voor alle x Domein(f) geldt:

FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie

Aanvullingen van de Wiskunde

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Tentamen Lineaire Algebra voor ST (2DS06) op , uur.

CTB1002 deel 1 - Lineaire algebra 1

== Hertentamen Analyse 1 == Dinsdag 25 maart 2008, u

UNIVERSITEIT TWENTE Faculteit Elektrotechniek, Wiskunde en Informatica

tentamen Analyse (deel 3) wi TH 21 juni 2006, uur

d τ (t) dt = 1 voor alle τ 0.

n 2 + 2n + 4 3n 2 n + 4n n + 2n + 12 n=1

Resultaten IJkingstoets Bio-ingenieur 1 september Nummer vragenreeks: 1

Tentamen Lineaire Algebra UITWERKINGEN

FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie

De parabool en de cirkel raken elkaar in de oorsprong; bepaal ook de coördinaten van de overige snijpunten A 1 en A 2.

Tentamen Simulaties van biochemische systemen - 8C110 8 April uur

Aanwijzingen bij vraagstukken distributies

Bespreking Examen Analyse 1 (Augustus 2007)

Overzicht Fourier-theorie

Hertentamen WISN101 Wiskundige Technieken 1 Do 5 jan :30 16:30

UNIVERSITEIT TWENTE Faculteit Elektrotechniek, Wiskunde en Informatica

Examenvragen Hogere Wiskunde I

Modellen en Simulatie Recursies

ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.

Hertentamen WISN102 Wiskundige Technieken 2 Di 17 april 13:30 16:30

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

UNIVERSITEIT TWENTE Faculteit Elektrotechniek, Wiskunde en Informatica

UNIVERSITEIT TWENTE Faculteit Elektrotechniek, Wiskunde en Informatica

HERTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

Uitwerking Proeftentamen Lineaire Algebra 1, najaar y y = 2x. P x. L(P ) y = x. 2/3 1/3 en L wordt t.o.v de standaardbasis gegeven door

Afdeling Kwantitatieve Economie

Transcriptie:

Uitwerkingen Tentamen Gewone Differentiaalvergelijkingen Maandag 4 januari 216, 1: - 13: uur 1. Beschouw voor t > de inhomogene singuliere tweede orde vergelijking, t 2 ẍ + 4tẋ + 2x = f(t, (1 waarin f : R R continu differentieerbaar is op heel R in het bijzonder is f(t dus ook glad rond t = en bestaat f(. (a Beschouw eerst het homogene probleem f(t. Bepaal de algemene oplossing x h (t = x h (t; A, B van (1, waarbij A, B R de vrij te kiezen parameters zijn. Uitwerking: Dit is Euler s vergelijking: we proberen x(t = t r, r C. Dit leidt tot de vergelijking r 2 + 3r + 2 = met wortels r = 1 en r = 2. We concluderen dat x 1 (t = t 1 en x 2 (t = t 2 lineair onafhankelijke oplossingen zijn van (1 voor t >. Er volgt x h (t; A, B = At 1 + Bt 2, A, B R. (b Neem nog steeds f(t. Bepaal de unieke waarden A en B van de vrije parameters uit onderdeel (a zodanig dat de limiet lim t x h (t; A, B bestaat. Geef de expliciete enigszins triviale uitdrukking voor x def h (t = x h (t; A, B. Uitwerking: De limiet lim t At 1 + Bt 2 bestaat alleen als A = B =. Daarom geldt A = B = en volgt x h (t =. (c Beschouw nu het inhomogene probleem en bepaal wederom een expliciete uitdrukking voor de algemene oplossing x in (t = x in (t; C, D van (1, waarbij nu C, D R de vrije parameters zijn. Uitwerking: We gebruiken de methode van variatie van constanten. We proberen de oplossing ψ(t = c 1 (tx 1 (t + c 2 (tx 2 (t, waarvoor geldt Invullen van ψ(t in (1 geeft c 1 x 1 + c 2 x 2 = t 1 c 1 + t 2 c 2. (2 f(t = t 2 ψ + 4t ψ + 2ψ = c 1 (t 2 ẍ 1 + 4tx 1 + 2x 1 + c 2 (t 2 ẍ 2 + 4tx 2 + 2x 2 + t 2 ( c 1 x 1 + c 2 x 2 = t 2 ( c 1 x 1 + c 2 x 2 = c 1 2t 1 c 2. (3 Oplossen van het stelsel (2-(3 voor c 1 en c 2 leidt tot de vergelijkingen c 1 = f(t, c 2 = tf(t. Omdat f : R R continu is, voldoen c 1 (t = f(τdτ, c 2 (t = Daarvoor is een particuliere oplossing van (1 τf(τdτ. ψ(t = t 1 f(τdτ t 2 τf(τdτ.

Dus er volgt x in (t; C, D = t 1 (C + ( f(τdτ + t 2 D τf(τdτ. (d Bepaal ook in dit geval C en D zodanig dat lim t x in (t; C, D bestaat met x in (t zoals gevonden in (c. Uitwerking: Definieer de afbeeldingen g 1,2, h 1,2 : R R door g 1 (t = f(τdτ, g 2 (t = τf(τdτ, h 1(t = t en h 2 (t = t 2. Merk op dat g 1,2 continu differentieerbaar zijn (fundamentele stelling van de analyse met afgeleiden g 1 (t = f(t en g 2 (t = tf(t. Er geldt g 1,2 (, h 1,2 ( = en de limieten g 1,2 lim (t (4 t (t, h 1,2 bestaan. De stelling van l Hôpital geeft dat de limieten g 1,2 (t lim t h 1,2 (t, daarom ook bestaan en gelijk zijn aan (4. Er volgt dat de limiet lim t x in (t; C, D bestaat dan en slechts dan als de limiet lim t Ct 1 + Dt 2 bestaat. Dit laatste is precies het geval als C = D =. Er volgt C = D =. (e Geef een uitdrukking voor x def in (t = x in (t; C, D en bepaal x in ( (= lim t x in (t. Uitwerking: Er geldt x in(t = x in (t;, = t 1 f(τdτ t 2 τf(τdτ. De stelling van l Hôpital geeft (zie uitwerking vorige deelvraag lim x g 1 (t t in(t = lim t h 1 (t lim g 2 (t t h 2 (t = lim t g 1 (t h 1 (t lim t g 2 (t h 2 (t = f( 1 2 f( = 1 2 f(. 2.A(i. Beschouw voor ρ > 1 de 1-dimensionale vergelijking, ẋ = x ρ. (5 Bepaal de oplossing x 1 (t van (5 die voldoet aan de beginvoorwaarde x 1 (1 = 1. Uitwerking: We gebruiken scheiden van variabelen. Zolang x 1 (t ongelijk is aan, is een equivalente vergelijking x ρ 1 x 1 = 1. Integreren van deze vergelijking geeft x 1 ρ 1 = t + C, (6 1 ρ voor een zekere C R. Omdat geldt x 1 (1 = 1 moet gelden C = van (6 geeft x 1 (t = ((1 ρt + ρ 1/(1 ρ, wat de oplossing van (5 geeft met x 1 (1 = 1. ρ 1 ρ. Omschrijven

A(ii. De oplossing x 1 (t bestaat alleen voor t (, T (ρ, T (ρ < (omdat ρ > 1: bepaal (de maximale waarde van T (ρ. Uitwerking: Omdat ρ > 1 heeft x 1 (t een verticale asymptoot precies als (1 ρt + ρ = oftewel als t = ρ/(ρ 1. Verder is x 1 (t welgedefinieerd en een oplossing van (5 voor t (, ρ/(ρ 1 1. Dus volgt T (ρ = ρ/(ρ 1. B(i. Beschouw in R n het lineaire systeem, x = A x. (7 Neem aan dat de coëfficiënten van de n n matrix A constant zijn dus niet van t afhangen en dat de matrix A n verschillende, reële eigenwaarden λ 1,..., λ n heeft. Laat zien dat (7 geen niet-triviale oplossingen x loc (t dus x loc (t kan hebben waarvoor geldt dat zowel lim t + x loc (t = als lim t x loc (t =. Uitwerking: Zonder beperking der algemeenheid kunnen we aannemen λ 1 <... < λ n. Laat v 1,..., v n de eigenvectoren zijn corresponderend met λ 1,..., λ n. Omdat alle eigenwaarden van A verschillend zijn, weten we dat de functies t v i e λ it, i = 1,..., n een basis vormen van de n-dimensionale oplossingsruimte van (7. Laat nu x loc (t een niet-triviale oplossing zijn waarvoor geldt lim t ± x loc (t =. We schrijven x loc (t = c 1 v 1 e λ 1t +... + c n v n e λnt, (8 waarbij c 1,..., c n R niet allen zijn. Laat i = min{i : c i } en i + = max{i : c i }. Er volgt = lim x loc(t = c i v i lim t t eλ i t, omdat λ i de kleinste exponent is in de sommatie (8 met niet-nul coefficient. Omdat geldt c i v i, volgt λ i >. Analoog geldt λ i+ < door naar de limiet t te kijken. Echter er geldt i i + en dus λ i λ i+ : TEGENSPRAAK. Dus een dergelijke oplossing x loc (t kan niet bestaan. B(ii. Laat aan de hand van een voorbeeld zien dat (7 wel een niet-triviale oplossing x loc (t met lim t + x loc (t = lim t x loc (t = kan hebben als de matrix A expliciet van de tijd t afhangt (ofwel: als A = A(t. Uitwerking: Beschouw in R het lineaire systeem ẋ = 2tx, (9 dat van de vorm (7 is waarbij n = 1 en A = A(t = 2t expliciet van t afhangt. De oplossing x loc (t = e t2 van (9 voldoet aan lim t ± x loc (t =. 3. Beschouw de tweede orde vergelijking, ẍ x + x 3 = g(ẋ, (1 waarin g : R R een continu differentieerbare functie is met g( =. (a Schrijf (1 als een 2-dimensionaal systeem en laat zien dat dit systeem 3 kritieke punten (x,, (x,, (x +, heeft, waarbij x < x < x +. Merk op dat deze niet van g(y met g( = afhangen.

Uitwerking: We introduceren de variabele y = ẋ. Dit geeft het volgende 2- dimensionale systeem { ẋ = y, ẏ = x x 3 (11 + g(y. De kritieke punten van (11 vinden we door het stelsel y =, x x 3 + g(y = op te lossen. Er volgt y = en x x 3 =, omdat geldt g( =. Dus (x, := (, en (x ±, := (±1, zijn de drie kritieke punten, die niet van de precieze vorm van g afhangen. (b Neem g(y en laat zien dat de banen van (1 op niveaukrommen van de uitdrukking H(x, y = 1 2 y2 1 2 x2 + 1 4 x4 liggen. Uitwerking: Stel (x(t, y(t is een oplossing van (11. Introduceer de functie h: R R gegeven door h(t = H(x(t, y(t. Via de kettingregel leiden we af h (t = y(tẏ(t x(tẋ(t + x(t 3 ẋ(t =. Dus is de functie h(t constant. Dus er bestaat een c R zodat H(x(t, y(t = c. Met andere woorden de banen van (11 liggen op de niveaukrommen van H. (c Neem g(y en geef een schets van het faseportret geef in deze schets de vaste punten en (minstens een vijftal banen. Uitwerking: Banen liggen op de niveaukrommen van H. Dit zijn gesloten curves. De kritieke punten liggen op de niveaukrommen H(x, y = 1/4 en H(x, y =. Figure 1: Plot van systeem (11 gemaakt in PPLANE.

(d Beschouw nu het algemene geval g(y (met g( =. Laat zien dat het punt (x, altijd instabiel is. Uitwerking: We schrijven (11 als z = f( z waarbij f : R 2 R 2 gegeven is door ( ( x y f = y x x 3. + g(y We bepalen de Jacobiaan van f ( ( Df x = y 1 1 3x 2 g (y Het kritieke punt (x, is instabiel, want de matrix D f ( x = ( 1 1 g ( heeft eigenwaarden λ ± = (g (± g ( 2 + 4/2, waarbij λ + > ongeacht de waarde van g ( R. (e Laat voor algemene g(y (met g( = zien dat de punten (x ±, beide asymptotisch stabiel zijn als g ( <.,. Uitwerking: De matrices D f ( x ± = ( 1 2 g (, hebben eigenwaarden λ ± = (g ( ± g ( 2 8/2. In het geval g ( 2 8 volgt Re(λ ± = g ( <. In het geval g ( 2 > 8 volgt g ( < g ( 2 8 < en dus geldt wederom Re(λ ± <. Dus volgt dat de punten (x ±, beide asymptotisch stabiel zijn als g ( <. (f Beschouw nu g(y = y n, n N. Laat zien dat als n oneven is de punten (x ±, beide instabiel zijn. Uitwerking: 1 Stel (x(t, y(t is een oplossing van (11. Beschouw weer de afbeelding h: R R gegeven door h(t = H(x(t, y(t. Er geldt h (t = y(tẏ(t x(tẋ(t + x(t 3 ẋ(t = y(t n+1, (12 omdat n oneven is. Stel nu dat (x(t, y(t een niet-constante periodieke oplossing is van (11 met periode T. Dan is de samenstelling h ook T -periodiek. Er volgt = h(t h( = T h (tdt = T y(t n+1 dt. Omdat n oneven is, volgt uit bovenstaande dat ẋ(t = y(t = voor alle t [, T ]. Dus (x(t, y(t is constant: TEGENSPRAAK. Er volgt dat (11 geen niet-constante periodieke oplossingen heeft. Stel nu dat (x ±, stabiel is. Er bestaat dan een 1 Merk op dat in dit geval de eigenwaarden van D f(x ±, geen uitkomst geven over de stabiliteit, immers de eigenwaarden van D f(x ±, zijn puur imaginair: ± 2i voor n > 1. We gebruiken daarom een alternatieve methode.

< δ < 1/2 zodanig dat voor elke oplossing (x(t, y(t van (11 met (x(, y( (x ±, < δ geldt (x(t, y(t (x ±, < 1/2 voor alle t. Neem nu de oplossing met (x(, y( = (x ± δ/2,. Omdat h(t monotoon stijgend is (zie (12 volgt (x(t, y(t G := {(x, y R 2 : H(x, y H(x ± δ/2,, (x, y (x ±, 1/2}, voor alle t. Merk op dat de begrensde verzameling G geen equilibria bevat, want de punten (x ±, zijn de globale minima van H en dus volgt H(x ±, < H(x ± δ/2, voor alle < δ < 1/2. Uit de stelling van Poincaré-Bendixson volgt nu dat (x(t, y(t naar een niet-constante periodieke oplossing in G moet spiraliseren. Echter, we hebben laten zien dat systeem (11 geen niet-constante periodieke oplossingen heeft: TEGENSPRAAK. Dus de punten (x ±, zijn instabiel. 4. Beschouw het in poolcoördinaten (r, θ (, [, 2π] gegeven stelsel, { ṙ = 1 r + σh(r, θ, θ = G(r, θ, (13 waarin σ R en G, H : (, [, 2π] R niet-triviale, continu differentieerbare functies van r en θ zijn, die periodiek zijn als functie van θ [, 2π] zie ( onder aan deze opgave. (a Neem aan dat G(r, θ voor alle (r, θ (, [, 2π]. Laat zien dat systeem (13 een periodieke oplossing in een omgeving van {r = 1} heeft als σ voldoende klein is. Ofwel: laat zien dat er een σ > bestaat zodanig dat (13 een periodieke oplossing in een omgeving van {r = 1} heeft voor alle σ waarvoor geldt dat σ < σ. Hint. Wat kan je zeggen over (het teken van ṙ als r = 1 ± δ? Uitwerking: Neem < δ < 1 en beschouw de verzameling X = [1 δ, 1+δ] [, 2π]. Omdat H continu is en X begrensd en gesloten volgt dat het maximum M := max H(r, θ, (r,θ X bestaat. Neem nu σ = δ/(m + 1. Laat σ < σ. Op de cirkel r = 1 δ geldt ṙ = δ + σh(1 δ, θ δ σ M >. Net zo geldt op de cirkel r = 1 + δ dat ṙ <. Er volgt dat banen in systeem (13 de annulus 1 δ r 1+δ niet kunnen verlaten. Bovendien volgt dat deze annulus geen equilibria bevat, omdat G(r, θ voor alle (r, θ (, [, 2π]. Uit de stelling van Poincaré-Bendixson volgt dat de annulus 1 δ r 1 + δ een niet-constante periodieke oplossing heeft. (b Laat zien dat de uitspraak uit (a ook correct is als alleen de eis G(1, θ wordt opgelegd. Maak duidelijk welk extra argument er aan de redenering bij (a moet worden toegevoegd (en onderbouw dit argument. Uitwerking: Omdat [, 2π] gesloten en begrensd is, G continu is en G(1, θ geldt voor alle θ [, 2π], bestaat er een δ > zodanig dat G(r, θ voor alle (r, θ [1 δ, 1 + δ] [, 2π]. Het bewijs gaat nu hetzelfde als in (a als we toevoegen dat moet gelden < δ < δ, opdat de annulus 1 δ r 1 + δ geen equilibria bevat.

(c Neem nu aan dat er wel nulpunten θ bestaan van de vergelijking G(1, θ =. In dit geval is het niet noodzakelijk dat (13 een (niet-constante periodieke oplossing heeft in een omgeving van {r = 1} hoe klein σ ook gekozen wordt. Leg deze uitspraak uit aan de hand van een goed gemotiveerde schets van een mogelijk faseportret van systeem (13 in een omgeving van {r = 1}. Uitwerking: Beschouw bijvoorbeeld het geval waarin G(r, θ = sin(θ. Merk op dat deze G niet-triviaal, continu differentieerbaar is en 2π-periodiek is in θ. Bovendien geldt G(1,, G(1, π =. We laten zien dat voor deze keuze van G er geen nietconstante periodieke oplossingen kunnen zijn in systeem (13. In het faseportret is te zien dat de banen op de nullclines θ = en θ = π disjunct zijn van de andere banen in systeem (13. Dit komt omdat de hoek constant blijft ( θ = als geldt θ = of θ = π en banen elkaar niet kunnen kruisen. De banen die op de nullclines θ = en θ = π liggen kunnen zelf geen (niet-constante periodieke banen zijn, want dit zou betekenen dat een baan zichzelf snijdt. De nullclines θ = en θ = π verdelen het faseportret in twee invariante gebieden. Voor een niet-constante periodieke baan (r(t, θ(t in systeem (13 moet dus gelden ofwel θ(t (, π ofwel θ(t (π, 2π voor alle t. Dus bestaat er een T > zodanig dat = θ(t = sin(θ(t. Echter, uit de laatste vergelijking volgt θ(t {, π}: TEGENSPRAAK. Dus systeem (13 heeft geen niet-constante periodieke oplossingen. Figure 2: Een mogelijk faseportret van een systeem van de vorm (13 met G(r, θ = sin(θ gemaakt in PPLANE. De gele lijn zijn de nullclines θ = en θ = π. ( De continu differentieerbare functies G en H voldoen dus aan: G(r, θ, H(r, θ, G(r, 2π G(r,, H(r, 2π H(r, en G G G G (r, 2π (r,, (r, 2π (r,.