Difference between revisions of "Julia set"
| 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]]. |
| + | This notation had been used by [[Walter Bergweiler]] at least since 1993 |
||
<ref> |
<ref> |
||
http://www.ams.org/journals/bull/1993-29-02/S0273-0979-1993-00432-4/ |
http://www.ams.org/journals/bull/1993-29-02/S0273-0979-1993-00432-4/ |
||
| Line 16: | Line 17: | ||
Bull. Amer. Math. Soc. 29 (1993), 151-188. |
Bull. Amer. Math. Soc. 29 (1993), 151-188. |
||
</ref>. |
</ref>. |
||
| − | On this case, the number of iteration is supposed to be integer. |
+ | On this case, the number $n$ of iteration is supposed to be integer. |
==Fatou set== |
==Fatou set== |
||
Revision as of 18:20, 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. This notation had been used by Walter Bergweiler at least since 1993 [1]. On this case, the number $n$ 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
- ↑ 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://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