På randen av Mandelbrotmengden

Her kan brukere av forum utfordre hverandre med morsomme oppgaver og nøtter man ønsker å dele med andre. Dette er altså ikke et sted for desperate skrik om hjelp, de kan man poste i de andre forumene, men et sted for problemløsing på tvers av trinn og fag.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
Hege Baggethun2020
Noether
Noether
Innlegg: 37
Registrert: 13/06-2020 23:21

a) Forklar/vis at dersom [tex]R[/tex] er en periodisk region i Mandelbrotmengden [tex]M[/tex], så vil [tex]\partial R\subseteq M[/tex].
(Vedrørende notasjon: [tex]\partial R[/tex] er randen til [tex]R[/tex].)

b) Deduser fra svaret i a) at punktet [tex]c\in M[/tex], når [tex]c = -1 + \frac{1}{4}i[/tex].
[tex]\sum_{y<n\leq x}a(n)f(n) = A(x)f(x)-A(y)f(y)-\int_{y}^{x}A(t)f'(t)dt[/tex]
Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

Litt usikker på definisjonen av periodisk region i Mandelbrot-mengden(?), så godt mulig jeg har misforstått noe her..

a) Betrakter det komplekse planet som Mandelbrotmengden er en delmengde i, som et topologisk rom (homeomorft med $R^2$). La $U\subseteq M$ være en vilkårlig delmengde i $M$ og la $x\in \partial U$. Bevis ved motsigelse: Anta at $x\not\in M$. Siden $M$ er lukket fins en åpen omegn $V$ om $x$ slik at $V\cap M=\emptyset$, men dette medfører en motsigelse siden enhver åpen omegn om $x$ må inneholde et punkt i $U\subseteq M$.
Hege Baggethun2020
Noether
Noether
Innlegg: 37
Registrert: 13/06-2020 23:21

Gustav skrev:Ltt usikker på definisjonen av periodisk region i Mandelbrot-mengden(?), så godt mulig jeg har misforstått noe her..

a) Betrakter det komplekse planet som Mandelbrotmengden er en delmengde i, som et topologisk rom (homeomorft med $R^2$). La $U\subseteq M$ være en vilkårlig delmengde i $M$ og la $x\in \partial U$. Bevis ved motsigelse: Anta at $x\not\in M$. Siden $M$ er lukket fins en åpen omegn $V$ om $x$ slik at $V\cap M=\emptyset$, men dette medfører en motsigelse siden enhver åpen omegn om $x$ må inneholde et punkt i $U\subseteq M$.
Et nydelig svar, helt riktig :D

Til info; En periodisk region er definert som en maksimal region [tex]R[/tex], slik at for et positivt heltall, [tex]p[/tex], så har funksjonen [tex]P_{c} = z^{2} + c[/tex] (for [tex]c\in \mathbb{C}[/tex]) en tiltrekkende [tex]p[/tex]-sykel for alle [tex]c\in R[/tex]. Og dersom en funksjon [tex]P_{c}[/tex] har en tiltrekkende sykel, så er [tex]c\in M[/tex], og [tex]c[/tex] er indre punkt for alle [tex]c[/tex] hvor dette er oppfylt. Det medfører at man kan argumentere slik du gjorde.

Klarer du oppgave b) også? :wink:

Et hint: Funksjonen [tex]P_{c}[/tex] har en tiltrekkende 2-sykel hvis og bare hvis [tex]c[/tex] tilfredsstiller [tex]\left | c+1 \right |<\frac{1}{4}[/tex].
[tex]\sum_{y<n\leq x}a(n)f(n) = A(x)f(x)-A(y)f(y)-\int_{y}^{x}A(t)f'(t)dt[/tex]
Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

Takk for definisjonen! Såvidt jeg skjønner er det nok å vise at $R=\{c\in \mathbb{C}: |c+1|<\frac14 \}$ er en periodisk region i M, som betyr at vi f.eks. må vise at $P_c=z^2+c$ har en tiltrekkende 2-sykel for alle $c\in R$. Dermed vil $c_0=-1+\frac14 i\in M$ siden $c_0\in \partial R$, fra punkt a):

Ser først at ligningen $P^2_c(z)=z $ (Lign. 1)(der $P_c^2$ betyr funksjonen $P_c$ iterert to ganger) medfører at $P_c $ har 2-sykler(som ikke er fikspunkt) for alle $c\neq -\frac34$. Det gjenstår å vise for hvilke $c$ disse er tiltrekkende. Fra https://en.wikipedia.org/wiki/Periodic_ ... multiplier fins betingelsen på et tiltrekkende periodisk punkt $z_0$:

$|\lambda| = |(P^{2}_c)'(z_0)|=4|z_0||z_0^2+c|<1$, der $z_0=\frac{-1+\sqrt{-3-4c}}{2}$ (en løsning av Lign. 1), men dette er etter litt regning ekvivalent med at $|c+1|<\frac14$. Dermed er $R$ en maksimal region slik at for alle $c\in R$ har $P_c$ en tiltrekkende 2-sykel, og vi er ferdige.
Hege Baggethun2020
Noether
Noether
Innlegg: 37
Registrert: 13/06-2020 23:21

Gustav skrev:Takk for definisjonen! Såvidt jeg skjønner er det nok å vise at $R=\{c\in \mathbb{C}: |c+1|<\frac14 \}$ er en periodisk region i M, som betyr at vi f.eks. må vise at $P_c=z^2+c$ har en tiltrekkende 2-sykel for alle $c\in R$. Dermed vil $c_0=-1+\frac14 i\in M$ siden $c_0\in \partial R$, fra punkt a):

Ser først at ligningen $P^2_c(z)=z $ (Lign. 1)(der $P_c^2$ betyr funksjonen $P_c$ iterert to ganger) medfører at $P_c $ har 2-sykler(som ikke er fikspunkt) for alle $c\neq -\frac34$. Det gjenstår å vise for hvilke $c$ disse er tiltrekkende. Fra https://en.wikipedia.org/wiki/Periodic_ ... multiplier fins betingelsen på et tiltrekkende periodisk punkt $z_0$:

$|\lambda| = |(P^{2}_c)'(z_0)|=4|z_0||z_0^2+c|<1$, der $z_0=\frac{-1+\sqrt{-3-4c}}{2}$ (en løsning av Lign. 1), men dette er etter litt regning ekvivalent med at $|c+1|<\frac14$. Dermed er $R$ en maksimal region slik at for alle $c\in R$ har $P_c$ en tiltrekkende 2-sykel, og vi er ferdige.
Et korrekt og veldig fint svar, bra! :)
[tex]\sum_{y<n\leq x}a(n)f(n) = A(x)f(x)-A(y)f(y)-\int_{y}^{x}A(t)f'(t)dt[/tex]
Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

Fin oppgave! Jeg slet litt med å finne definisjoner på begrepene, men kom samtidig over flere interessante artikler om temaet :D Har hatt et par kurs i ikke-lineær dynamikk, men merket jeg var litt rusten på området. Tror aldri Mandelbrotmengder var noe stort emne i noen av kursene jeg tok.
Hege Baggethun2020
Noether
Noether
Innlegg: 37
Registrert: 13/06-2020 23:21

Gustav skrev:Fin oppgave! Jeg slet litt med å finne definisjoner på begrepene, men kom samtidig over flere interessante artikler om temaet :D Har hatt et par kurs i ikke-lineær dynamikk, men merket jeg var litt rusten på området. Tror aldri Mandelbrotmengder var noe stort emne i noen av kursene jeg tok.
Veldig gøy at du likte oppgaven. Jeg tror absolutt at det finnes mye interessant litteratur om temaet, særlig dersom man har tilgang til artikler. Jeg har skaffet meg boken "Fractal Geometry" av Kenneth Falconer, siden jeg ble veldig fascinert av konseptene.

Jeg tok et fag i kompleks analyse i fjor (15 studiepoeng), hvor Mandelbrotmengden utgjorde en stor del av det pensumet som gjaldt anvendelser. Det ble veldig godt mottatt av studentene!
[tex]\sum_{y<n\leq x}a(n)f(n) = A(x)f(x)-A(y)f(y)-\int_{y}^{x}A(t)f'(t)dt[/tex]
Svar