|
|
| Line 1: |
Line 1: |
| {{Wikibooks|Fractals }}
| | Hi there, I am Andrew Berryhill. One of the issues she loves most is canoeing and she's been performing it for fairly a while. For many years she's been operating as a travel agent. For many years he's been residing in Alaska and he doesn't plan on changing it.<br><br>My page: real psychic readings ([http://gcjcteam.org/index.php?mid=etc_video&document_srl=696611&sort_index=regdate&order_type=desc http://gcjcteam.org/]) |
| In [[mathematics]], an '''orbit portrait''' is a combinatorial tool used in [[Complex analytic dynamics|complex dynamics]] for understanding the behavior of [[Complex quadratic polynomial|one-complex dimensional quadratic maps]].
| |
| | |
| In simple words one can say that it is :
| |
| * a list of external angles for which rays land on points of that orbit
| |
| * graph showing above list
| |
| | |
| ==Definition==
| |
| Given a [[Complex quadratic polynomial|quadratic map]]
| |
| :<math>f_c : z \to z^2 + c. \,</math>
| |
| from the [[complex plane]] to itself
| |
| :<math>f_c : \mathbb{\C} \to \mathbb{\C} \,</math>
| |
| and a [[w:Periodic points of complex quadratic mappings|repelling or parabolic]] periodic [[Orbit (dynamics)|orbit]] <math>{\mathcal O} = \{z_1, \ldots z_n\}</math> of <math>f\,</math>, so that <math>f(z_j) = z_{j+1}\,</math> (where subscripts are taken 1 + modulo <math>n</math>), let <math>A_j</math> be the set of [[external ray|angles]] whose corresponding [[external ray]]s land at <math>z_j\,</math>. | |
| | |
| Then the set <math>{\mathcal P} = {\mathcal P}({\mathcal O}) = \{A_1, \ldots A_n\}</math> is called '''the orbit portrait of the periodic orbit''' <math>{\mathcal O}</math>.
| |
| | |
| All of the sets <math>A_j\,</math> must have the same number of elements, which is called the '''valence''' of the portrait.
| |
| | |
| ==Examples==
| |
| [[File:Julia-p9.png|right|thumb|Julia set with external rays landing on period 3 orbit]]
| |
| * Parabolic orbit portrait
| |
| | |
| for [[complex quadratic polynomial]] with c= -0.03111+0.79111*i portrait of parabolic period 3 orbit is :<ref>[http://comet.lehman.cuny.edu/keenl/FlekKeenJDEA.pdf Boundaries of Bounded Fatou Components of Quadratic Maps Ross Flek and Linda Keen]</ref> | |
| <math>{\mathcal P} = \left \{
| |
| \left(\frac{74}{511},\frac{81}{511},\frac{137}{511} \right) ,
| |
| \left(\frac{148}{511},\frac{162}{511},\frac{274}{511} \right) ,
| |
| \left(\frac{296}{511},\frac{324}{511},\frac{37}{511} \right)
| |
| \right \rbrace</math>
| |
| | |
| Valence = 3 rays per orbit point.
| |
| | |
| Rays for above angles land on points of that orbit . Parameter c is a center of period 9 hyperbolic component of Mandelbrot set.
| |
| | |
| ==Properties==
| |
| Every orbit portrait <math>{\mathcal P}</math> has the following properties:
| |
| | |
| *Each <math>A_j</math> is a finite subset of <math>{\mathbb R} / {\mathbb Z}</math>
| |
| | |
| *The [[doubling map]] on the circle gives a bijection from <math>A_j</math> to <math>A_{j+1}</math> and preserves cyclic order of the angles.<ref>[http://www.ibiblio.org/e-notes/Chaos/saw.htm Chaotic 1D maps by Evgeny Demidov]</ref>
| |
| | |
| *All of the angles in all of the sets <math>A_1, \ldots, A_n</math> are periodic under the doubling map of the circle, and all of the angles have the same exact period. This period must be a multiple of <math>n</math>, so the period is of the form <math>rn</math>, where <math>r</math> is called the recurrent ray period.
| |
| | |
| *The sets <math>A_j</math> are pairwise unlinked, which is to say that given any pair of them, there are two disjoint intervals of <math> {\mathbb R }/ {\mathbb Z}</math> where each interval contains one of the sets.
| |
| | |
| ==Formal orbit portraits==
| |
| Any collection <math>\{A_1, \ldots, A_n\}</math> of subsets of the circle which satisfy these four properties above is called a '''formal orbit portrait'''. It is a theorem of [[John Milnor]] that every formal orbit portrait is realized by the actual orbit portrait of a periodic orbit of some quadratic one-complex-dimensional map. Orbit portraits contain dynamical information about how external rays and their landing points map in the plane, but formal orbit portraits are no more than combinatorial objects. Milnor's theorem states that, in truth, there is no distinction between the two.
| |
| | |
| ==Trivial orbit portraits==
| |
| Orbit portrait where all of the sets <math>A_j</math> have only a single element are called trivial, except for orbit portrait <math>{{0}}</math>. An alternative definition is that an orbit portrait is nontrivial if it is maximal, which in this case means that there is no orbit portrait that strictly contains it (i.e. there does not exist an orbit portrait <math>\{A^\prime_1,\ldots,A^\prime_n\}</math> such that <math>A_j \subsetneq A^\prime_j</math>). It is easy to see that every trivial formal orbit portrait is realized as the orbit portrait of some orbit of the map <math>f_0(z) = z^2</math>, since every external ray of this map lands, and they all land at distinct points of the [[Julia Set]]. Trivial orbit portraits are pathological in some respects, and in the sequel we will refer only to nontrivial orbit portraits.
| |
| | |
| ==Arcs==
| |
| In an orbit portrait <math>\{A_1, \ldots, A_n\}</math>, each <math>A_j</math> is a finite subset of the circle <math>\mathbb R / \mathbb Z</math>, so each <math>A_j</math> divides the circle into a number of disjoint intervals, called complementary arcs based at the point <math>z_j</math>. The length of each interval is referred to as its angular width.
| |
| Each <math>z_j</math> has a unique largest arc based at it, which is called its critical arc. The critical arc always has length greater than <math>\frac 1 2</math>
| |
| | |
| These arcs have the property that every arc based at <math>z_j</math>, except for the critical arc, maps diffeomorphically to an arc based <math>z_{j+1}</math>, and the critical arc covers every arc based at <math>z_{j+1}</math> once, except for a single arc, which it covers twice. The arc that it covers twice is called the critical value arc for <math>z_{j+1}</math>. This is not necessarily distinct from the critical arc.
| |
| | |
| When <math>c</math> escapes to infinity under iteration of <math>f_c</math>, or when <math>c</math> is in the Julia set, then <math>c</math> has a well-defined external angle. Call this angle <math>\theta_c</math>. <math>\theta_c</math> is in every critical value arc. Also, the two inverse images of <math>c</math> under the doubling map (<math>\frac {\theta_c} 2</math> and <math>\frac {\theta_c + 1} 2</math>) are both in every critical arc.
| |
| | |
| Among all of the critical value arcs for all of the <math>A_j</math>'s, there is a unique smallest critical value arc <math>{\mathcal I}_{\mathcal P}</math>, called the '''characteristic arc''' which is strictly contained within every other critical value arc. The characteristic arc is a complete invariant of an orbit portrait, in the sense that two orbit portraits are identical if and only if they have the same characteristic arc.
| |
| | |
| ==Sectors==
| |
| Much as the rays landing on the orbit divide up the circle, they divide up the complex plane. For every point <math>z_j</math> of the orbit, the [[external ray]]s landing at <math>z_j</math> divide the plane into <math>v</math> open sets called sectors based at <math>z_j</math>. Sectors are naturally identified the complementary arcs based at the same point. The angular width of a sector is defined as the length of its corresponding complementary arc. Sectors are called '''critical sectors''' or '''critical value sectors''' when the corresponding arcs are, respectively, critical arcs and critical value arcs.<ref>[http://www.ibiblio.org/e-notes/MSet/wakes.htm Periodic orbits and external rays by Evgeny Demidov]</ref>
| |
| | |
| Sectors also have the interesting property that <math>0</math> is in the critical sector of every point, and <math>c</math>, the [[Complex_quadratic_polynomial#Critical_value|critical value]] of <math>f_c</math>, is in the critical value sector.
| |
| | |
| ==Parameter wakes==
| |
| Two [[External ray|parameter rays]] with angles <math>t_-</math> and <math>t_+</math> land at the same point of the [[Mandelbrot Set]] in parameter space if and only if there exists an orbit portrait <math>\mathcal P</math> with the interval <math>[t_-, t_+]</math> as its characteristic arc. For any orbit portrait <math>\mathcal P</math> let <math>r_{\mathcal P}</math> be the common landing point of the two external angles in parameter space corresponding to the characteristic arc of <math>\mathcal P</math>. These two parameter rays, along with their common landing point, split the parameter space into two open components. Let the component that does not contain the point <math>0</math> be called the <math>\mathcal P</math>-wake and denoted as <math>{\mathcal W}_{\mathcal P}</math>. A [[Complex quadratic polynomial|quadratic polynomial]] <math>f_c(z) = z^2 + c</math> realizes the orbit portrait <math>{\mathcal P}</math> with a repelling orbit exactly when <math>c \in {\mathcal W}_{\mathcal P}</math>. <math>{\mathcal P}</math> is realized with a parabolic orbit only for the single value <math> c= r_{\mathcal P}</math>
| |
| for about
| |
| | |
| ==Primitive and satellite orbit portraits== | |
| Other than the zero portrait, there are two types of orbit portraits: primitive and satellite. If
| |
| <math>v</math> is the valence of an orbit portrait <math>\mathcal P</math> and <math>r</math> is the recurrent ray period, then these two types may be characterized as follows:
| |
| * Primitive orbit portraits have <math>r = 1</math> and <math>v = 2</math>. Every ray in the portrait is mapped to itself by <math>f^n</math>. Each <math>A_j</math> is a pair of angles, each in a distinct orbit of the doubling map. In this case, <math>r_{\mathcal P}</math> is the base point of a baby Mandelbrot set in parameter space.
| |
| * Satellite orbit portraits have <math>r = v \ge 2</math>. In this case, all of the angles make up a single orbit under the doubling map. Additionally, <math>r_{\mathcal P}</math> is the base point of a parabolic bifurcation in parameter space.
| |
| | |
| ==See also==
| |
| * abstract Mandelbrot set <ref>[http://www.mostlymaths.net/2009/08/lavaurs-algorithm.html Lavaurs algorithm by Rubén Berenguel]</ref>
| |
| *[[Lamination (topology)|Lamination]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| [[Category:Dynamical systems]]
| |
Hi there, I am Andrew Berryhill. One of the issues she loves most is canoeing and she's been performing it for fairly a while. For many years she's been operating as a travel agent. For many years he's been residing in Alaska and he doesn't plan on changing it.
My page: real psychic readings (http://gcjcteam.org/)