"Internal addresses encode kneading sequences in human-readable form, when extended to angled internal addresses they distinguish hyperbolic components in a concise and meaningful way. The algorithms are mostly based on Dierk Schleicher's paper Internal Addresses Of The Mandelbrot Set And Galois Groups Of Polynomials (version of February 5, 2008)http://arxiv.org/abs/math/9411238v2." Claude Heiland-Allen[1]
Parameter plane with internal rays (green) used for creating internal addresses
the internal address of a hyperbolic component A lists the periods of certain components that are “on the way” from the main cardioid to hyperbolic component A[3]
Internal addresses describe the combinatorial structure of the Mandelbrot set.[4] It is one of the Analytical Naming Systems[5][6]
the ancestral route of a hyperbolic component is the ordered sequence of all its ancestors
Internal address:
is not constant within hyperbolic component. Example: internal address of -1 is 1->2 and internal address of 0.9999 is 1[7]
of hyperbolic component is defined as a internal address of it's center
In an internal address, the numbers (period) must be increasing by definition.
The internal address is describing a kneading sequence by increasing periods.[8]These correspond to hyperbolic components in M, where the kneading sequence is changing.Example:
AABA∗ is obtained by changing A → AAB → AABA∗ , so the internal address is 1-3-5. Conversely, the internal address 1-3-5 gives A → AAB → AABA∗ .
infinite, finite at one end ( ray), finite at both ends ( segment)
self-intersections, crossing, singularities
other properities:
invariant
critical
Points of the curve:
regular
singular: A point on the curve at which the curve behaves in an extraordinary manner is called a singular point.
Points of inflexion
Multiple points( n-tuple points):[16] A point on the curve through which more than one branches of curve
double : "A double point is a point on a curve where two branches of the curve intersect; in other words, it’s a point traced twice when a curve is traversed."
Triple point: A point on the curve through which three branches of curve pass
Closed curves are curves whose ends are joined. Closed curves do not have end points.
Simple Closed Curve: A connected curve that does not cross itself and ends at the same point where it begins. It divides the plane into exactly two regions (Jordan curve theorem). Examples of simple closed curves are ellipse, circle and polygons.[18]
Complex Closed Curve (not simple = non-simple) It divides the plane into more than two regions. Example: Lemniscates.
"non-self-intersecting continuous closed curve in plane" = "image of a continuous injective function from the circle to the plane"
"Complex 1-variable polynomials with connected Julia sets and only repelling periodic points are called dendritic."[23]
"a dendrite is a locally connected continuum that does not contain Jordan curves."[24]
"a locally connected continuum without subsets homeomorphic to a circle"
connected with no interior
locally connected, uniquely arcwise connected, compact metric space
See also:
Misiurewicz point on the parameter plane
Dendrite Modeling: Modeling dendrites, including trees, lightning, river systems, and all manner of branching structures, has been frequently undertaken in computer graphics. We propose a new dendritic modeling framework using path planning as the basic operation[25]
integral curve is a parameterized curve, whose tangent vectors agree with the vectors from this vector field. In physics, integral curves for an electric field or magnetic field are known as field lines.
Illustration of the Jordan curve theorem. The Jordan curve (drawn in black) divides the plane into an "inside" region (light blue) and an "outside" region (pink).
Jordan curve = a simpleclosed curve that divides the plane into an "interior" region bounded by the curve and an "exterior" region containing all of the nearby and far away exterior points[35]
Lamination of the unit disk is a closed collection ofchords in the unit disc, which can intersect only in an endpoint of each on the boundary circle[36][37]
A lamination, L, is a union ofleaves and the unit circle which satisfies:[38]
leaves do not cross (although they may share endpoints) and
L is a closed set.
"The pattern of rays landing together can be described by a lamination of the disk. As θ is varied, the diameter defined by θ/2 and (θ +1)/2 is moving and disconnecting or reconnecting chords. " Wolf Jung[39]
"We prolong an external ray R θ supporting a Fatou component U (ω) up to its center ω through an internal ray and call the resulting set the extended ray E θ with argument θ." Alfredo Poirier[42]
The closure of an external ray is called a closed ray. If ray lands, then the closure of the ray is the union of the external ray and its landing point.[43]
"A ray R is said to land or converge, if the accumulation set is a singleton subset of J. The conjecture that the Mandelbrot set is locally connected is equivalent to the continuous landing of all external rays."[44]
where:
is a closure of = the bar is taken to mean the closure rather than the complex conjugate
MLC = Mandelbrot Local connectivity Conjecture: M is locally connected[45]
singelton set is a set with exactly one element
"If the MLC were proved true, the theorem of Caratheodory would give us an extension of the Riemann map to, giving a conformal equivalence of M with D. Given the fractal nature of M, this would be a very surprising result.[46]
Adynamic periodic ray pair is calledcharacteristic if it separates the critical value from all rays and for all k ≥ 1 (except of course from those on the ray pair itself).
Every cycle of periodic ray pairs has a unique characteristic ray pair with angles inthe union[47]
Fornon-periodic rays, we allow a characteristic ray pair to contain the critical value: a ray pair ischaracteristic if consists of two components so that
The internal rays are the curves that connects endpoints of external rays to the origin (the only pole) by winding in the specific way through the Julia set. Unlike the external rays the internal rays allways cross other internal rays, usually at multiple points, hence they are interwined[52]
A spider S is a collection of disjoint simple curves called legs[54] (extended rays = external + internal ray) in the complex plane connecting each of the post-critical points to infinity[55]
Computing external angle for c from centers of hyperbolic components and Misiurewicz points:
The spine of K is the arc from beta to minus beta. Mark 0 each time C is above the spine and 1 each time it is below. You obtain the expansion in base 2 of the external argument theta of z by C. This simply comes from the two following facts: * 0 < theta < 1/2 if access to z is above the spine, 1/2 < theta < 1 if it is below * function f doubles the external arguments with respect to K, as well as the potential, sinceRiemman map (Booettcher map) conjugates f to. Note that if c and z are real, the tree reduces to the segment [beta',beta] of the real line, and the sequence of 0 and 1 obtained is just the kneading sequence studied by Milnor and Thurston (except for convention: they use 1 and -1). This sequence appears now as the binary expansion of a number which has a geometrical interpretation. " A. Douady
Relation between spine and major leaf of thelamination
"A vein in the Mandelbrot set is a continuous, injective arc inside in the Mandelbrot set"
"The principal vein is the vein joining to the main cardioid" (Entropy, dimension and combinatorial moduli for one-dimensional dynamical systems. A dissertation by Giulio Tiozzo)
In algebra, the discriminant of a polynomial is a polynomial function of its coefficients, which allows deducing some properties of the roots without computing them.
the gradient is the generalization of the derivative for the multivariable functions[81][82]
definitions:
(field): Gradient field is the vector field with gradient vector
(function): The gradient of a scalar-valued multivariable function is a vector-valued function denoted
(vector): The gradient of the function f at the point (x,y) is defined as the unique vector (result of gradient function) representing the maximum rate of increase of a scalar function (length of the vector) and the direction of this maximal rate (angle of the vector). Such vector is given by the partial derivatives with respect to each of the independent variables[83]
(operator): Del or nabla is an gradient operator = a vector differential operator
landing map: " A theorem of Caratheodory states that if is a full compact and locally connected set, then external rays land and thelanding map is continuous."[93]
"set of orthogonal functions all of whose curvatures are changing at the same rate."[94]
"harmonic functions relate two sets of different curves such that the rate of change of their respective curvatures is always equal. " and they are orthogonal
"One set of curves of the harmonic function expressed the pathways of minimal change in the potential for action, while the other, orthogonal curves expressed the pathways of maximum change in the potential for action."
"a pair of harmonic conjugate functions, u and v. They satisfy theCauchy-Riemann equations. Geometrically, this implies that the contour lines of u and v intersect at right angles"[95]
Geometric examples:
" A set of concentric circles and radial lines comprises an harmonic function because both the circles and the radial lines intersect orthogonally and both have constant curvature."
"resurgent functions display at each of their singularpoints a behaviour closely related to their behaviour atthe origin. Loosely speaking, these functions resurrect,or surge up - in a slightly different guise, as it were - attheir singularities"
There are often many different possible coordinate systems for describing geometrical figures. The relationship between different systems is described bycoordinate transformations, which give formulas for the coordinates in one system in terms of the coordinates in another system. For example, in the plane, if Cartesian coordinates (x, y) and polar coordinates (r, θ) have the same origin, and the polar axis is the positivex axis, then the coordinate transformation from polar to Cartesian coordinates is given byx = r cosθ andy = r sinθ.
With every bijection from the space to itself two coordinate transformations can be associated:
Such that the new coordinates of the image of each point are the same as the old coordinates of the original point (the formulas for the mapping are the inverse of those for the coordinate transformation)
Such that the old coordinates of the image of each point are the same as the new coordinates of the original point (the formulas for the mapping are the same as those for the coordinate transformation)
For example, in 1D, if the mapping is a translation of 3 to the right, the first moves the origin from 0 to 3, so that the coordinate of each point becomes 3 less, while the second moves the origin from 0 to −3, so that the coordinate of each point becomes 3 more.
Interior of the Cauliflower Julia set. .The black structure around fixed point and it's preimages is a numerical error (glitch) }}
Definition:
Incorrect (noisy) parts of renders[106] using perturbation technique
pixels which dynamics differ significantly from the dynamics of the reference pixel[107]"These can be detected and corrected by using a more appropriate reference."[108]
a simplified, combinatorial model of the Julia set (MARY WILKERSON)
"Hubbard trees are finite planar trees, equipped with self-maps, which classify postcritically finite polynomials as holomorphic dynamical systems on the complex plane."[109]
" Hubbard trees are invariant trees connecting the points of the critical orbits of post-critically finite polynomials. Douady and Hubbard showed in the Orsay Notes that they encode all combinatorial properties of the Julia sets. For quadratic polynomials, one can describe the dynamics as a subshift on two symbols, and itinerary of the critical value is called the kneading sequence." Henk Bruin and Dierk Schleicher[110]
the Hubbard tree is the convex hull of the critical orbits within the filled Julia set, i.e., the complement of the basion of infinity
One can easily compute parameter c as a point c inside main cardioid of Mandelbrot set:
of period 1 hyperbolic component (main cardioid) for giveninternal angle (rotation number) t using this c /cpp code by Wolf Jung[115]
doubleInternalAngleInTurns;doubleInternalRadius;doublet=InternalAngleInTurns*2*M_PI;// from turns to radiansdoubleR2=InternalRadius*InternalRadius;doubleCx,Cy;/* C = Cx+Cy*i */// main cardioidCx=(cos(t)*InternalRadius)/2-(cos(2*t)*R2)/4;Cy=(sin(t)*InternalRadius)/2-(sin(2*t)*R2)/4;
/* conformal map from circle to cardioid (boundary of period 1 component of Mandelbrot set */F(w):=w/2-w*w/4;/* circle D={w:abs(w)=1 } where w=l(t,r) t is angle in turns ; 1 turn = 360 degree = 2*Pi radians r is a radius */ToCircle(t,r):=r*%e^(%i*t*2*%pi);GiveC(angle,radius):=( [w], /* point of unit circle w:l(internalAngle,internalRadius); */ w:ToCircle(angle,radius), /* point of circle */ float(rectform(F(w))) /* point on boundary of period 1 component of Mandelbrot set */)$compile(all)$/* ---------- global constants & var ---------------------------*/Numerator :1;DenominatorMax :10;InternalRadius:1;/* --------- main -------------- */for Denominator:1 thru DenominatorMax step 1 do( InternalAngle: Numerator/Denominator, c: GiveC(InternalAngle,InternalRadius), display(Denominator), display(c), /* compute fixed point */ alfa:float(rectform((1-sqrt(1-4*c))/2)), /* alfa fixed point */ display(alfa) )$
"The map is called the Caratheodory semiconjugacy, with the associated identity
in the degree 2 case. This identity allows us to easily track forward iteration of external rays and their landing points in by doubling the angle of their associated external rays modulo 1." Mary Wilkerson[118]
where
is the real numbers modulo the integers group ( quotient group )[119] which is isomorphic to the circle group[120]
the group of complex numbers of absolute value 1 under multiplication
or correspondingly, the group of rotations in 2D about the origin, that is, the special orthogonal group
a dyadic rational number
An isomorphism is given by (see Euler's identity).
"In contrast to a phase portrait, the return map is a discrete description of the underlying dynamics. .... A return map (plot) is generated by plotting one return value of the time series against the previous one "[124]
"If x is a periodic point of period p for f and U is a neighborhood of x, the composition maps U to another neighborhood V of x. This locally defined map is the return map for x." (W P Thurston: On the geometry and dynamics of Iterated rational maps)
"The first return map S → S is the map defined by sending each x0 ∈ S to the point of S where the orbit of x0 under the system first returns to S."[125]
"way to obtain a discrete time system from a continuous time system, called the method of Poincar´e sections Poincar´e sections take us from: continuous time dynamical systems on (n + 1)-dimensional spaces to discrete time dynamical systems on n-dimensional spaces"[126]
postcritically finite: maps whose critical orbits are all periodic or preperiodic[127]
" In the theory of iterated rational maps, the easiest maps to understand are postcritically finite: maps whose critical orbits are all periodic or preperiodic. These maps are also the most important maps for understanding the combinatorial structure of parameter spaces of rational maps. "
A postcritically finite quadratic polynomial fc(z) = z^2+c may be:[128]
for the Fatou component containing a superattracting fixed point for a rational map[133]
a Riemann map for the complement of the filled Julia set of a quadratic polynomial with connected Julia: "The Riemann map for the central component for the Basilica was drawn in essentially the same way, except that instead of starting with points on a big circle, I started with sample points on a circle of small radius (e.g. 0.00001) around the origin." Jim Belk
" Thurston and others have done some beautiful work involving approximating arbitrary Riemann maps using circle packings. See Circle Packing: A Mathematical Tale by Stephenson."
" To some extent, constructing a Riemann map is simply a matter of constructing a harmonic function on a given domain (as well as the associated harmonic conjugate), subject to certain boundary conditions. The solution to such problems is a huge topic of research in the study of PDE's, although the connection with Riemann maps is rarely mentioned." Jim Belk[135]
PDE's approach to construct a Riemann map explicitly on a given domain D
First, translate the domain so that it contains the origin.
Next, use a numerical method to construct a harmonic function F satisfying
for all, and let
Then
and is harmonic
so:
R is the radial component (i.e. modulus) of a Riemann map on D.
The angular component can now be determined by the fact that its level curves are perpendicular to the level curves of R, and have equal angular spacing near the origin."
"Using the Riemann mapping BM we can define the parameter external rays and equipotentials as the preimages of the straight rays going to ∞ and round circles centered at 0. This gives us two orthogonal foliations in the complement of the Mandelbrot set."[136]
bit shift map (because it shifts the bit) = if the value of an iterate is written in binary notation, the next iterate is obtained by shifting the binary point one bit to the right, and if the bit to the left of the new binary point is a "one", replacing it with a zero.
2x mod 1 map (because it is math description of its action)
Shift map (one-sided binary left shift) acts on one-sided infinite sequence of binary numbers by
It just drops first digit of the sequence.
If we treat sequence as a binary fraction:
then shift map = the dyadic transformation = dyadic map = bit shift map= 2x mod 1 map = Bernoulli map = doubling map = sawtooth map
and "shifting N places left is the same as multiplying by 2 to the power N (written as 2N)"[141](operator <<)
The rotation number[151][152][153][154][155]of the disk (component) attached to the main cardioid of the Mandelbrot set is a proper, positive rational number p/q in lowest terms where:
q is a period of attached disk (child period) = the period of the attractive cycles of the Julia sets in the attached disk
p describes fc action on the cycle: fc turns clockwise around z0 jumping, in each iteration, p points of the cycle[156]
the rotation numbers are ordered clockwise along the boundary of the componant
" For parameters c in the p/q-limb, the filled Julia set Kc has q components at the fixed point αc . These are permuted cyclically by the quadratic polynomial fc(z), going p steps counterclockwise " Wolf Jung
"the winding number of the dynamic ray at angle a around the critical value, which is defined as follows: denoting the point on the dynamic a-ray at potential t greater or equal to zero by zt and decreasing t from +infinity to 0, the winding number is the total change of arg(zt - c) (divided by 2*Pi so as to count in full turns). Provided that the critical value is not on the dynamic ray or at its landing point, the winding number is well-defined and finite and depends continuously on the parameter. " DIERK SCHLEICHER[159]
"the winding number of the dynamic ray at angle ϑ around the critical value, which is defined as follows: denoting the point on the dynamic ϑ-ray at potential t ≥ 0 by zt and decreasing t from +∞ to 0, the winding number is the total change of arg(zt − c) (divided by 2π so as to count in full turns). Provided that the critical value is not on the dynamic ray or at its landing point, the winding number is well-defined and finite and depends continuously on the parameter. When the parameter c moves in a small circle around c0 and if the winding number is defined all the time, then it must change by an integer corresponding to the multiplicity of c as a root of z(c) − c. However, when the parameter returns back to where it started, the winding number must be restored to what it was before. This requires a discontinuity of the winding number, so there are parameters arbitrarily close to c0 for which the critical value is on the dynamic ray at angle ϑ, and c0 is a limit point of the parameter ray at angle ϑ. Since this parameter ray lands, it lands at c0."
noncrossing: "A partition of a (finite) set is just a subdivision of the set into disjoint subsets. If the set is represented as points on a line (or around the edge of a disc), we can represent the partition with lines connecting the dots. The lines usually have lots of crossings. When the partition diagram has no crossing lines, it is called a non-crossing partition. ... They have a lot of beautiful algebraic structure, and are related to lots of old enumeration problems. More recently (and importantly), they turn out to be a crucial tool in understanding how the eigenvalues of large random matrices behave." Todd Kemp (UCSD)[170]
flatten' the cardiod (unroll)[175][176] = "A region along the cardioid is continuously blown up and stretched out, so that the respective segment of the cardioid becomes a line segment. .." (Figure 4.22 on pages 204-205 of The Science Of Fractal Images)[177]
Center of Siegel disc is an irrationally indifferent periodic point.
Mane's theorem:
"... appart from its center, a Siegel disk cannot contain any periodic point, critical point, nor any iterated preimage of a critical or periodic point. On the other hand it can contain an iterated image of a critical point."[187]
The "neck" of this eight-like figure is a cut-point.Cut points in the San Marco Basilica Julia set. Biaccessible points = landing points for 2 external rays
Cut point k of set S is a point for which set S-k is dissconected (consist of 2 or more sets).[190]This name is used in a topology.
Examples:
root points of Mandelbrot set
Misiurewicz points of boundary of Mandelbrot set
cut points of Julia sets (in case ofSiegel disc critical point is a cut point)
These points are landing points of 2 or more external rays.
Point which is a landing point of 2 external rays is calledbiaccessible
Cut ray is a ray which converges to landing point of another ray.[191]Cut rays can be used to constructpuzzles.
In the study ofdynamical systems, ahyperbolic equilibrium point orhyperbolic fixed point is afixed point that does not have anycenter manifolds. Near ahyperbolic point the orbits of a two-dimensional,non-dissipative system resemble hyperbolas. This fails to hold in general.Strogatz notes that "hyperbolic is an unfortunate name—it sounds like it should mean 'saddle point'—but it has become standard."[192] Several properties hold about a neighborhood of a hyperbolic point, notably[193]
types of fixed points
1a) stable fixpoint 1b) instable fixpoint, stable limit cycle 1c) phase space dynamics. Subcritical Hopf bifurcation: 2a) stable fixpoint, unstable limit cycle 2b) instable fixpoint 2c) phase space dynamics. \omega determines the angular dynamics and therefore the direction of winding for the trajectories.
is the limit of the period doubling cascade of bifurcations = the limit of the sequence of real period doubling parameters
the accumulation point of the period-doubling cascade in the real-valued x^2+c mapping
an infinitely renormalizable parameter of bounded type
boundary point between chaotic (-2 < c < MF) and periodic region (MF< c < 1/4)[195]
Generalized Feigenbaum points are:
the limit of the period-q cascade of bifurcations
landing points of parameter ray or rays with irrational angles
Examples:
-.1528+1.0397i)
The Mandelbrot set is conjectured to be self- similar around generalized Feigenbaum points[196] when the magnification increases by 4.6692 (the Feigenbaum Constant) and period is doubled each time[197]
n
Period = 2^n
Bifurcation parameter =cn
Ratio
1
2
-0.75
N/A
2
4
-1.25
N/A
3
8
-1.3680989
4.2337
4
16
-1.3940462
4.5515
5
32
-1.3996312
4.6458
6
64
-1.4008287
4.6639
7
128
-1.4010853
4.6682
8
256
-1.4011402
4.6689
9
512
-1.401151982029
10
1024
-1.401154502237
infinity
-1.4011551890 ...
Bifurcation parameter is a root point of period = 2^n component. This series converges to the Feigenbaum point c = −1.401155
" a "Feigenbaum point" (an infinitely renormalizable parameter of bounded type, such as the famous Feigenbaum value which is the limit of the period-2 cascade of bifurcations), then Milnor's hairiness conjecture, proved by Lyubich, states that rescalings of the Mandelbrot set converge to the entire complex plane. So there is certainly a lot of thickness near such a point, although again this may not be what you are looking for. It may also prove computationally intensive to produce accurate pictures near such points, because the usual algorithms will end up doing the maximum number of iterations for almost all points in the picture." Lasse Rempe-Gillen[198]
Catastrophe theory analyzes degeneratecritical points of the potential function — points where not just the first derivative, but one or more higher derivatives of the potential function are also zero. These are called thegerms of the catastrophe geometries. The degeneracy of these critical points can be unfolded by expanding the potential function as a Taylor series in small perturbations of the parameters.
In mathematics, the notion ofa germ of an object in/on a topological space is an equivalence class of that object and others of the same kind that captures their shared local properties. In particular, the objects in question are mostly functions (or maps) and subsets. In specific implementations of this idea, the functions or subsets in question will have some property, such as being analytic or smooth, but in general this is not needed (the functions in question need not even be continuous); it is however necessary that the space on/in which the object is defined is a topological space, in order that the word local has some meaning.The name is derived from cereal germ in a continuation of the sheaf metaphor, as a germ is (locally) the "heart" of a function, as it is for a grain.
The point at infinity[202]" is a superattracting fixed point, but more importantly its immediate basin of attraction - that is, the component of the basin containing the fixed point itself - is completely invariant (invariant under forward and backwards iteration). This is the case for all polynomials (of degree at least two), and is one of the reasons that studying polynomials is easier than studying general rational maps (where e.g. the Julia set - where the dynamics is chaotic - may in fact be the whole Riemann sphere). The basin of infinity supports foliations into "external rays" and "equipotentials", and this allows one to study the Julia set. This idea was introduced by Douady and Hubbard, and is the basis of the famous "Yoccoz puzzle"." Lasse Rempe-Gillen[203]
"Pinching points are found as the common landing points of external rays, with exactly one ray landing between two consecutive branches. They are used to cut M or K into well-defined components, and to build topological models for these sets in a combinatorial way. " (definition from Wolf Jung program Mandel)
its orbit (reference orbit) is computed with arbitrary precision and saved
orbits of the other points of the image (no-reference points) are computed from reference orbit using standard precision (with hardware floating point numbers) = faster than using arbitrary precision
" a"Feigenbaum point" (an infinitely renormalizable parameter of bounded type, such as the famous Feigenbaum value which is the limit of the period-2 cascade of bifurcations), then Milnor's hairiness conjecture, proved by Lyubich, states that rescalings of the Mandelbrot set converge to the entire complex plane. So there is certainly a lot of thickness near such a point, although again this may not be what you are looking for. It may also prove computationally intensive to produce accurate pictures near such points, because the usual algorithms will end up doing the maximum number of iterations for almost all points in the picture." Lasse Rempe-Gillen[211]
" A cubic polynomial P with a non-repelling fixed point b is said to be immediately renormalizable if there exists a (connected) quadratic-like invariant filled Julia set K∗ such that b ∈ K∗ . In that case exactly one critical point of P does not belong to K∗."[212]
In complex analysis there are four classes of singularities:
Isolated singularities: Suppose the functionf is not defined ata, although it does have values defined onU \ {a}.
The pointa is a removable singularity off if there exists a holomorphic functiong defined on all ofU such thatf(z) =g(z) for allz inU \ {a}. The functiong is a continuous replacement for the functionf.
The pointa is a pole or non-essential singularity off if there exists a holomorphic functiong defined onU withg(a) nonzero, and a natural numbern such thatf(z) =g(z) / (z −a)n for allz inU \ {a}. The least such numbern is called theorder of the pole. The derivative at a non-essential singularity itself has a non-essential singularity, withn increased by 1 (except ifn is 0 so that the singularity is removable).
The pointa is an essential singularity off if it is neither a removable singularity nor a pole. The pointa is an essential singularity if and only if the Laurent series has infinitely many powers of negative degree.
Branch points are generally the result of a multi-valued function, such as or being defined within a certain limited domain so that the function can be made single-valued within the domain. The cut is a line or curve excluded from the domain to introduce a technical separation between discontinuous values of the function. When the cut is genuinely required, the function will have distinctly different values on each side of the branch cut. The shape of the branch cut is a matter of choice, however, it must connect two different branch points (like and for) which are fixed in place.
from Mu-Ency: "the point in a primary filament that has the simplest external angle; this is the point that you get by appending FS[(1/2B1)] an infinite number of times to the primary filament's name." This is also the "limit" of the ... series.
"A point in the dendrite is called a triple point if its removal separates the dendrite into three connected components. Such a point is the landing point for three external rays, whose angles all have of the form
for some k, n ∈ N, where k is congruent to 1, 2 or 4, mod 7." Will Smith in Thompson-Like Groups for Dendrite JuliaSets
A point is called wandering if its forward orbit under the iteration of f is infinite.[215]
There is no wandering branched point for any quadratic polynomial. However, this is not true in general. Blokh and Oversteegen constructed cubic polynomials whose Julia sets contain wandering branched points;[216]
There are two types of orbit portraits: primitive and satellite.[217] If is the valence of an orbit portrait and is the recurrent ray period, then these two types may be characterized as follows:
Primitive orbit portraits have and. Every ray in the portrait is mapped to itself by. Each is a pair of angles, each in a distinct orbit of the doubling map. In this case, is the base point of a baby Mandelbrot set in parameter space.
Satellite (non-primitive) orbit portraits have. In this case, all of the angles make up a single orbit under the doubling map. Additionally, is the base point of a parabolic bifurcation in parameter space.
paritition of the unit circle and the dynamic plane. The partition is formed by the dynamic rays at angles and, which land together at the critical point. The ray for angle is landing at the critical value
collection of angles of rays landing on the critical point
data type used for computation. Measured in bits (width of significant (fraction) = number of binary digits) or in decimal digits
input values
result (number of significant figures)
See:
Numerical Precision: " Precision is the number of digits in a number. Scale is the number of digits to the right of the decimal point in a number. For example, the number 123.45 has a precision of 5 and a scale of 2."[219]
One-Dimensional Small Divisor Problems[221] (On Holomorphic Germs and Circle Diffeomorphisms)
linearization problem in complex dimension one dynamical systems: "Given a fixed point of a differentiable map, seen as a discrete dynamical system, the linearization problem is the question whether or not the map is locally conjugated to its linear approximation at the fixed point. Since the dynamics of linear maps on finite dimensional real and complex vector spaces is completely understood, the dynamics of a map on a finite dimensional phase space near a linearizable fixed point is tractable."[222]
Where it can be found:
stability in mechanics, particularly in celestial mechanics
relations between the growth of the entries in the continued fraction expansion of t and the behaviour of f around z=0 under iteration.
two functions are said to betopologically conjugate if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy also known as topological equivalence[224] is important in the study of iterated functions and more generally dynamical systems, since, if the dynamics of one iterative function can be determined, then that for a topologically conjugate function follows trivially.
To illustrate this directly: suppose that and are iterated functions, and there exists a homeomorphism such that
so that and are topologically conjugate. Then one must have
and so the iterated systems are topologically conjugate as well. Here, denotes function composition.
Commutative square diagram
a collection of maps
square diagram that commutes = all map compositions starting from the same set A and ending with the same set D give the same result
Examples
The logistic map and the tent map are topologically conjugate.[225]
The logistic map of unit height and the Bernoulli map are topologically conjugate.[citation needed]
For certain values in the parameter space, the Hénon map when restricted to its Julia set is topologically conjugate or semi-conjugate to the shift map on the space of two-sided sequences in two symbols.[226]
the process of sudden change of quality fuatures of the object, like collapsing (or being squeezed in)
the opposite of explosion
Example:
parabolic implosion in complex dynamics ()
when filled Julia for complex quadratic polynomial set looses all its interior (when c goes from 0 along internal ray 0 thru parabolic point c=1/4 and along external ray 0 = when c goes from interior, crosses the boundary to the exterior of Mandelbrot set)[237]
" We can see that looks somewhat like from the "outside", but on the "inside" there are curlicues; pairs of them are vaguely reminiscent of "butterflies". As t→0, these butterflies persist and remain uniformly large. We think of t as representing time, which decreases to 0. The fact that they suddenly disappear for t=0 is the phenomenon called "implosion". Or, if we think of time starting at t=0, then the instantaneous appearance of large "butterflies" for t>0 may be thought of as "explosion". "
the Julia set implodes when under small perturbations (epsilon) near parabolic parameter (like c = 1/4)[238]
integrating along some vector field means finding a solution curve. Example: finding extrrernal ray using Runge-Kutta method for numerical integration[241]
"System is linearizable at the origin if and only if there exists a change of coordinates which linearizes the system, that is, all the coefficients of the normal form vanish."[243]
In the neighbourhood of a fixed point, which we take to be 0,
(Taylor series with big O notation), where isthe multiplier at the fixed point. We say that f is linearisable if there is a neighbourhood U on which f is conjugate to (by a complex analytic conjugacy).
the local monodromy, which describes the change of the fundamental system of solutions caused by the analytic continuation along a loop encircling a regular singular point.
the (global) monodromy, which describes the changes caused by global analytic continuations
"Sectorial renormalizations are useful in the nonlinearizable situation. " Ricardo Pérez-Marco[256]
The self-similarity is a result of something called "renormalization" (which as far as I know is not related to the concept with the same name in quantum field theory). Jim Belk[257]
Examples:
Near parabolic renormalization for unicritical holomorphic maps[258]
"the double fixed point 0 of usually splits into two fixed points. ... These points separate at some speed" ( PARABOLIC IMPLOSION. A MINI-COURSE by ARNAUD CHERITAT )
"tuning is a procedure to replace the bounded superattracting Fatou components with the copies of a filled Julia set of another polynomial and respect some combinatorial properties. Douady-Hubbard proved any quadratic polynomial which has a periodic critical point can be tuned with any quadratic polynomials in the Mandelbrot set M." YIMIN WANG[263]
A compass rose: Notice that the convention for measuring angles is different to the convention we used in the unit circle definition of the trigonometric functions.
Firstly 0o is North, rather than the x axis.
Secondly the direction in which angles increase is clockwise rather than counter-clockwise.
Unit circle :
the direction in which angles increase is counter-clockwise
stability of quasiperiodic motion under small perturbation. In the celestial mechanics dynamics of 3 bodies around sun is described by the system of differential equations. In such case it "becomes fantastically complicated and remains largely mysterious even today." See KAM = Kolmogorov–Arnold–Moser theorem and small divisor problem
stability of the fixed point under small perturbation
there is equivalence (for |f′(0)| ≤ 1) of stability (a topological notion) and linearizability (an analytical notion)
Escape radius (ER) or bailout value is a radius of circle centered at origin (z=0). This set is used as a target set in the bailout test (escape time method = ETM)
How to choose parameters for which level curves cross critical point (and its preimages)? Choose escape radius equal to n=th iteration of critical value.
level curves cross at critical point
not cross
cross
cross
// find such ER for LSM/J that level curves croses critical point and it's preimagesdoubleGiveER(inti_Max){complexdoublez=0.0;// critical pointinti;;// critical point escapes very fast here. Higher valus gives infinityfor(i=0;i<i_Max;++i){z=z*z+c;}returncabs(z);}
Another way: choose the parameter c such that it is on an escape line, then the critical value will be on an escape line as well.
"the kneading sequence of an external angle ϑ (here ϑ = 1/6) is defined as the itinerary of the orbit of ϑ under angle doubling, where the itinerary is taken with respect to the partition formed by the angles ϑ/2, and (ϑ + 1)/2 "[283]
The itinerary ν = ν1ν2ν3 . . . of the critical value is called the kneading sequence.[284] One can start from the critical point but neglect the initial symbol. Such sequence is computed withthe Hubbard tree
Paritition of dynamic plane related with kneading sequence
"an attracting set for a dynamical system is a closed subset A of its phase space such that for "many" choices of initial point the system will evolve towards A ." John W Milnor[289]
contains Sharkovsky subsequence: sequence ofislands for periods: for k = 1, 2, ..... (in the increasing order = increasing from left to right). These are first appearance of hyperbolic components with such period in Sharkowsky ordering
"Dwell bands are regions where the integer iteration count is constant, when the iteration count decreases (increases) by 1 then you have passed a dwell band going outwards (inwards). "[292]Other names:
An attractor's basin of attraction is the region of the phase space, over which iterations are defined, such that any point (any initial condition) in that region will asymptotically be iterated into the attractor
The collection of all points whose iterates under f converge to the attractor[293]
decoration: "A decoration of the Mandelbrot set M is a part of M cut off by two external rays landing at some tip of a satellite copy of M attached to the main cardioid."[295]
fromMu-Ency: "Any contiguous subset of the Mandelbrot Set which consists of the infinitely convoluted and branching structures that connect the island mu-molecules to each other."
Some colloquial names for filaments:
antenna
main antenna
spike
spoke.
"A filament consists of a) minibrots and b) limit points of sequences of those minibrots. The latter include Misiurewicz points (rational external angles, one for filament termini and two or more for interior points such as multi-armed spiral centers) and other points (with irrational external angles). My intuition says if you zoom to a succession of smaller minis along a filament, if this is done in a pattern for infinitely long you tend to a Misiurewicz point, and if it's done randomly for infinitely long you tend to an irrational point. But I have no proof of this. Other noninterior points on filaments mostly belong to individual minibrots: cardioid cusps (two rational external angles, odd denominator) and minibrot-filament branch tips (Misiurewicz points, two rational external angles, even denominator). There is one last point: the exact base of the filament where it attaches to something (minibrot or main set). This point has irrational external angles. The Feigenbaum point at the base of the spike is one of these." pauldelbrot[297]
http://mathr.co.uk/mandelbrot/feature-database.csv.bz2 (a database of all islands up to period 16, found by tracing external rays): period, islandhood, angled internal address, lower external angle numerator, denominator, upper numerator, denominator, orientation, size, centre realpart, imagpart
features of island
period
symbolic sequence
angled internal address
lower and upper external angle of rays landing on it's root
center (
root
orientation
size
distortion
tip (Misiurewicz point,
c value
period and preperiod
lower and upper external angle of rays landing on it
"Hyperbolic components come in two kinds, primitive and satellite, depending on the local properties of their roots."[299]
primitive =non-satellite = island
the root of component is not on the boundary of another component = "it was born from another hyperbolic component by the period increasing bifurcation"[300]
ones that have a cusp likes the main cardioid, when the little Julia sets are disjoint[301]
The part of the Mandelbrot set contained in the wake together with the root is called the limb of the Mandelbrot set originated at H (hyperbolic component of the Mandelbrot set)[307]
13/34 limb and wake on the left image
p/q-limb is a part of Mandelbrot set contained insidep/q-wake
For every rational number, wherep andq are relatively prime, a hyperbolic component of periodq bifurcates from the main cardioid. The part of the Mandelbrot set connected to the main cardioid at this bifurcation point is called thep/q-limb. Computer experiments suggest that the diameter of the limb tends to zero like. The best current estimate known is the Yoccoz-inequality, which states that the size tends to zero like.
A period-q limb will haveq − 1 "antennae" at the top of its limb. We can thus determine the period of a given bulb by counting these antennas.
In an attempt to demonstrate that the thickness of thep/q-limb is zero, David Boll carried out a computer experiment in 1991, where he computed the number of iterations required for the series to converge for z = ( being the location thereof). As the series doesn't converge for the exact value of z =, the number of iterations required increases with a small ε. It turns out that multiplying the value of ε with the number of iterations required yields an approximation of π that becomes better for smaller ε. For example, for ε = 0.0000001 the number of iterations is 31415928 and the product is 3.1415928.[308]
"what emerges from Myrrberg-Feigenbaum point is what we denominate a shrub due to its shape" M Romera
filament,
chaotic part of the p/q limb: "The chaotic region is made up of an infinity of hyperbolic components mounted on an infinity of shrub branches in each one of the infinity shrubs of the family."[312]
Examples
main antenna is a shrub of family
representative of a branch is the smallest period hyperboloic componenet in the branch
p/q-wake is the region of parameter plane enclosed by two external rays landing on the same root point on the boundary of main cardioid (period 1 hyperbolic component).
Angles of the external rays that land on the root point one can find by:
p/q-Subwake of W is a wake of a p/q-satellite component of W
Wake 1/3 (bounded by 2 external rays) and internal ray 1/3
wake is named after:
rotation number p/q (as above)
angles of external rays landing in it's root point: "If two M-rays land at the same point we denote by wake the component of which does not contain 0."[313]
In case ofSiegel disc critical orbit is a boundary of component containing Siegel Disc.
For a quadratic polynomial with a parabolic orbit, the unique Fatou component[314] containing the critical value will be called thecharacteristic Fatou component; (Dierk Schleicher in Rational Parameter Rays of the Mandelbrot Set)
"for rational maps (iterating maps of the form f(x)=p(x)/q(x) where p,q are polynomials) result in 1, 2 or infinitely many components."[315]
See also:
interior and exterior of filled Julia set for polynomials
"A Jordan domain[316] J is the homeomorphic image of a closed disk in E2. The image of the boundary circle is a Jordan curve, which by the Jordan Curve Theorem separates the plane into two open domains, one bounded,the other not, such that the curve is the boundary of each."[317]
sth is invariant if it does't change under transformation
"A subset S of the domain Ω is an invariant set for the system (7.1) if the orbit through a point of S remains in S for all t ∈ R. If the orbit remains in S for t > 0, then S will be said to be positively invariant. Related definitions of sets that are negatively invariant, or locally invariant, can easily be given"[320]
Successive zooms lead to a Julia set which grows more and more hairs. (Similarly, the Mandelbrot set gains more decorations while limiting on the Feigenbaum point.)This leads to the natural question: Does the Julia set of the Feigenbaum quadratic polynomial have positive or zero measure?If zero, is its Hausdorff dimension less than 2?[321]
The Cantor locus is the unique hyperbolic component, in the moduli space of quadratic rational maps rat2, consisting of maps with totally disconnected Julia sets[326]
In one-dimensional complex dynamics, the connectedness locus is a subset of the parameter space of rational functions, which consists of those parameters for which the corresponding Julia set is connected.the Mandelbrot set is a subset of the complex plane that may be characterized as the connectedness locus of a family of polynomial maps.
The shift locus of complex polynomials of degree d ≥ 2 is a collection of polynomials that every critical point escapes to infinity under iterations of itself. The reason we call it a shift polynomial is the following theorem.
The most famous and the simplest one is the exterior of Mandelbrot set, C −M, which is the shift locus of quadratic polynomials S2.[327]
"For a rational map of the Riemann sphere f, the post-critical set PC(f) is defined as closure of orbits of allcritical points of f. It is proved by Lyubich [Ly83b] that the post-critical set of a rational map is the measure theoretic attractor of points in the Julia set of that map. That is, for every neighborhood of the post-critical set, orbit of almost every point in the Julia set eventually stays in that neighborhood"[330]
"The postcritical set P(f) of a rational map f is the smallest forward invariant subset of that contains the critical values of f."[331]
"The analysis of the post-critical set plays a central role in the dynamics of rational maps, mainly because of the following two properties:
the set of attracting cycles is always finite for rational maps f
every attracting cycle attracts the orbit of a critical point of f."[332]
"The singular set S(f) of a meromorphic function f : C → Cˆ is the collection of values w at which one can not define all branches of the inverse f −1 in any neighborhood of w. If f is rational, then S(f) coincides with the collection of critical values of f. If f is transcendentalmeromorphic, f −1 may also fail to be defined in a neighborhood of an asymptotic value"[334]
The Douady-Hubbardlanding theorem for periodic external rays of polynomial dynamics:
"for a complex polynomial f with bounded postcritical set, every periodic external ray lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic point is the landing point of at least one periodic external ray."[338]
Let f be a polynomial whose postcritical set P(f) is bounded. Then every periodic ray of f lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic periodic point of f is the landing
point of at least one periodic dynamic ray, and at most finitely may dynamic rays, all of which are periodic with the same period.
The Douady-HubbardStrumienianin Theorem says that each polynomial-like map g with connected Julia set is hybrid to a unique polynomial up to an affine conjugacy. To determine the straightening uniquely, it is convenient to introduce an external marking for g[339]
↑The Road to Chaos is Filled with Polynomial Curvesby Richard D. Neidinger and R. John Annen III. American Mathematical Monthly, Vol. 103, No. 8, October 1996, pp. 640-653
↑Plotting the Escape: An Animation of Parabolic Bifurcations in the Mandelbrot Set by Anne M. Burns. Mathematics Magazine Vol. 75, No. 2 (Apr., 2002), pp. 104-116
↑Arnold V. I. Geometric Methods in the Theory of Ordinary Differential Equations (Springer, 2020)[1]
↑Alligood, K. T., Sauer, T., and Yorke, J.A. (1997).Chaos: An Introduction to Dynamical Systems. Springer. pp. 114–124.ISBN0-387-94677-2.{{cite book}}: CS1 maint: multiple names: authors list (link)