Difference between revisions of "Super-attracting fixpoint"

From Hyperoperations Wiki
Jump to navigation Jump to search
(initial draft)
(uniqueness)
 
Line 1: Line 1:
 
A fixpoint $a$ of $f$ such that $f'(a)=0$.
 
A fixpoint $a$ of $f$ such that $f'(a)=0$.
  
For an at $0$ analytic function $f(z)=c_p z^p + c_{p+1}z^{p+1} + \dots$, $p\ge 2$, $c_p\neq 0$, one can always find a locally analytic and injective function $\beta$ such that the [[Böttcher equation]] $\beta(f(z))=\beta(x)^p$ is satisfied. $\beta$ is called the [[Böttcher coordinate]].
+
For an at $0$ analytic function $f(z)=c_p z^p + c_{p+1}z^{p+1} + \dots$, $p\ge 2$, $c_p\neq 0$, one can always find a locally analytic and injective function $\beta$ such that the [[Böttcher equation]]  
 +
$$\beta(f(z))=\beta(z)^p,$$
 +
with $\beta(0)=0$, $\beta'(0)\neq 0$ is satisfied. $\beta$ is unique up to taking positive integer powers and multiplication by ($p-1$)-root of unity. It is called the [[Böttcher coordinate]].

Latest revision as of 12:47, 7 June 2011

A fixpoint $a$ of $f$ such that $f'(a)=0$.

For an at $0$ analytic function $f(z)=c_p z^p + c_{p+1}z^{p+1} + \dots$, $p\ge 2$, $c_p\neq 0$, one can always find a locally analytic and injective function $\beta$ such that the Böttcher equation $$\beta(f(z))=\beta(z)^p,$$ with $\beta(0)=0$, $\beta'(0)\neq 0$ is satisfied. $\beta$ is unique up to taking positive integer powers and multiplication by ($p-1$)-root of unity. It is called the Böttcher coordinate.