Difference between revisions of "Julia set"

From TORI
Jump to navigation Jump to search
Line 9: Line 9:
 
$\mathbb J(f) = \{ z \in C : \exists ~ n\in \mathbb N_+ ~:~ f^n(z) \bar \in C\}$
 
$\mathbb J(f) = \{ z \in C : \exists ~ n\in \mathbb N_+ ~:~ f^n(z) \bar \in C\}$
   
where the upper subscript after the name of the function indicates the number of [[iteration]].
+
where the upper subscript after the name of the function indicates the number of [[iteration]]
  +
<ref>
 
http://www.ams.org/journals/bull/1993-29-02/S0273-0979-1993-00432-4/
 
Walter Bergweiler.
 
Iteration of meromorphic functions.
 
Bull. Amer. Math. Soc. 29 (1993), 151-188.
  +
</ref>.
 
On this case, the number of iteration is supposed to be integer.
 
On this case, the number of iteration is supposed to be integer.
   
Line 47: Line 53:
 
==References==
 
==References==
 
<references/>
 
<references/>
 
http://www.ams.org/journals/bull/1993-29-02/S0273-0979-1993-00432-4/
 
Walter Bergweiler.
 
Iteration of meromorphic functions.
 
Bull. Amer. Math. Soc. 29 (1993), 151-188.
 
 
   
 
http://en.wikipedia.org/wiki/Julia_set
 
http://en.wikipedia.org/wiki/Julia_set

Revision as of 18:18, 14 July 2013

Julia set, set of values in range of holomorphism of function, but out of holomorphism of some its integer iteration.

Julia set is often defined with symbol $J$ or $\mathbb J$. The name of the function can be indicated either as the subscript or in the parenthesis immediately after this symbol.

Let $f$ be holomorphic function defined at some $C\in \mathbb C$.

Then

$\mathbb J(f) = \{ z \in C : \exists ~ n\in \mathbb N_+ ~:~ f^n(z) \bar \in C\}$

where the upper subscript after the name of the function indicates the number of iteration [1]. On this case, the number of iteration is supposed to be integer.

Fatou set

The complementary set to Julia set is called Fatou set [2]; symbol $\mathbb F$ is used to denote it:

$\mathbb F(f) = \{ z \in C : \forall ~ n\in \mathbb N_+ ~,~ f^n(z) \in C\}$

in such a way that

$\mathbb J(f) \cup \mathbb F(f)=C$

At least for positive integer $n$, the following relations hold:

\[f^n(\mathbb J(f)) = \mathbb J(f)\]

\[ f^n(\mathbb F(f)) = \mathbb F(f)\]

Fractal behavior

Usually, the Julia set of any non–trivial function with at least one singularity shows complicated, fractal behaviour; the similar structures reproduce again and again, displaced and scaled.

Science about properties of these fractals, and, in particular, those of the Julia sets and the Fatou sets, is called Complex dynamics.

Non–integer iterates

The definition of the Julia set above implies that the function $f$ is iterated integer number of times. In principle, similar set can be considered, assuming, that the number of iterate $n$ can take also non–integer values.

References

  1. http://www.ams.org/journals/bull/1993-29-02/S0273-0979-1993-00432-4/ Walter Bergweiler. Iteration of meromorphic functions. Bull. Amer. Math. Soc. 29 (1993), 151-188.
  2. http://archive.numdam.org/ARCHIVE/BSMF/BSMF_1920__48_/BSMF_1920__48__208_1/BSMF_1920__48__208_1.pdf P.Fatou. Sur les equations fonctionelles. Bulletin de la S.M.F., tome 48 (1920), p.208-314.

http://en.wikipedia.org/wiki/Julia_set

Keywords

Fractal , Superfunction , Iteration