-
The best bound of the area--length ratio in Ahlfors Covering surface theory (I)
Authors:
Guang Yuan Zhang
Abstract:
In Ahlfors' covering surface theory, it is well known that there exists a positive constant $h$ such that for any nonconstant holomorphic mapping $f:% \barΔ\to S,$ if $f(Δ)\cap \{0,1,\infty \}=\emptyset ,$ then% A(f,Δ)\leq hL(f,\partial Δ),% where $Δ$ is the disk $|z|<1$ in $\mathbb{C},$ $S$ is the unit Riemann sphere, $A(f,Δ)$ is the area of the image of $Δ$ and $% L(f,\partial Δ)$ is the lengt…
▽ More
In Ahlfors' covering surface theory, it is well known that there exists a positive constant $h$ such that for any nonconstant holomorphic mapping $f:% \barΔ\to S,$ if $f(Δ)\cap \{0,1,\infty \}=\emptyset ,$ then% A(f,Δ)\leq hL(f,\partial Δ),% where $Δ$ is the disk $|z|<1$ in $\mathbb{C},$ $S$ is the unit Riemann sphere, $A(f,Δ)$ is the area of the image of $Δ$ and $% L(f,\partial Δ)$ is the length of the image of $\partial Δ$, both counting multiplicities.
In this paper, we will show that the best lower bound for $h$ is the number h_{0}=\max_{τ\in \lbrack 0,1]}[ \frac{\sqrt{1+τ^{2}}(π+\arcsin τ)}{\mathrm{{arccot}\frac{\sqrt{1-τ^{2}}}{\sqrt{% 1+τ^{2}}}}}-τ] =4. \allowbreak 034 159 790 \allowbreak 51..., % and this is the exact estimation, i.e. there exists a sequence of holomorphic mappings $f_{n}:\barΔ\to S$ such that $% f_{n}(Δ)\cap \{0,1,\infty \}=\emptyset $ and \lim_{n\to \infty}A(f_{n},Δ)/L(f_{n},\partial Δ)=h_{0}.
△ Less
Submitted 23 March, 2009; v1 submitted 20 March, 2009;
originally announced March 2009.
-
The numbers of periodic orbits of holomorphic mappings hidden at fixed points
Authors:
Guang Yuan Zhang
Abstract:
Let $Δ^{2}$ be a ball in the complex vector space $\mathbb{C}^{2}$ centered at the origin, let $f:Δ^{2}\to \mathbb{C}^{2}$ be a holomorphic mapping$,$ with $f(0)=0$, and let $M$ be a positive integer. If the origin 0 is an isolated fixed point of the $M$ th iteration $f^{M}$ of $f,$ then one can define the number $\mathcal{O}_{M}(f,0)$ of periodic orbits of $f$ with period $M$ hidden at the fixe…
▽ More
Let $Δ^{2}$ be a ball in the complex vector space $\mathbb{C}^{2}$ centered at the origin, let $f:Δ^{2}\to \mathbb{C}^{2}$ be a holomorphic mapping$,$ with $f(0)=0$, and let $M$ be a positive integer. If the origin 0 is an isolated fixed point of the $M$ th iteration $f^{M}$ of $f,$ then one can define the number $\mathcal{O}_{M}(f,0)$ of periodic orbits of $f$ with period $M$ hidden at the fixed point 0, which has the meaning: any holomorphic mapping $g:Δ^{2}\to \mathbb{C}^{2}$ sufficiently close to $f$ in a neighborhood of the origin has exactly $% \mathcal{O}_{M}(f,0)$ distinct periodic orbits with period $M$ near the origin, provided that all fixed points of $g^{M}$ near the origin are all simple.
It is known that $\mathcal{O}_{M}(f,0)\geq 1$ iff the linear part of $f$ at the origin has a periodic point of period $M.$ This paper will continue to study the number $\mathcal{O}_{M}(f,0)$. We are interested in the condition for the linear part of $f$ at the origin such that $\mathcal{O}_{M}(f,0)\geq 2.$
For a $2\times 2$ matrix $A$ that is arbitrarily given, the goal of this paper is to give a necessary and sufficient condition for $A$,$ $such that $% \mathcal{O}_{M}(f,0)\geq 2$ for all holomorphic mappings $f:Δ^{2}\to \mathbb{C}^{2}$ such that $f(0)=0,$ $Df(0)=A$ and that the origin 0 is an isolated fixed point of $f^{M}.$
△ Less
Submitted 2 December, 2006;
originally announced December 2006.
-
From an iteration formula to Poincaré's Isochronous Center Theorem for holomorphic vector fields
Authors:
Guang Yuan Zhang
Abstract:
We first generalize a classical iteration formula for one variable holomorphic mappings to a formula for higher dimensional holomorphic mappings. Then, as an application, we give a short and intuitive proof of a classical theorem, due to H. Poincaré, for the condition under which a singularity of a holomorphic vector field is an isochronous center.
We first generalize a classical iteration formula for one variable holomorphic mappings to a formula for higher dimensional holomorphic mappings. Then, as an application, we give a short and intuitive proof of a classical theorem, due to H. Poincaré, for the condition under which a singularity of a holomorphic vector field is an isochronous center.
△ Less
Submitted 31 March, 2006; v1 submitted 25 November, 2005;
originally announced November 2005.
-
Fixed Point Indices and Invariant Periodic Sets of Holomorphic Systems
Authors:
Guang Yuan Zhang
Abstract:
This note presents a method to study center families of periodic orbits of complex holomorphic differential equations near singularities, based on some iteration properties of fixed point indices. As an application of this method, we will prove Needham's theorem in a more general version.
This note presents a method to study center families of periodic orbits of complex holomorphic differential equations near singularities, based on some iteration properties of fixed point indices. As an application of this method, we will prove Needham's theorem in a more general version.
△ Less
Submitted 10 November, 2005;
originally announced November 2005.
-
Fixed point indices and periodic points of holomorphic mappings
Authors:
Guang Yuan Zhang
Abstract:
Let $Δ^{n}$ be the ball $|x|<1$ in the complex vector space $\mathbb{C}% ^{n}$, let $f:Δ^{n}\to \mathbb{C}^{n}$ be a holomorphic mapping and let $M$ be a positive integer. Assume that the origin $% 0=(0,..., 0)$ is an isolated fixed point of both $f$ and the $M$-th iteration $f^{M}$ of $f$. Then for each factor $m$ of $M,$ the origin is again an isolated fixed point of $f^{m}$ and the fixed poin…
▽ More
Let $Δ^{n}$ be the ball $|x|<1$ in the complex vector space $\mathbb{C}% ^{n}$, let $f:Δ^{n}\to \mathbb{C}^{n}$ be a holomorphic mapping and let $M$ be a positive integer. Assume that the origin $% 0=(0,..., 0)$ is an isolated fixed point of both $f$ and the $M$-th iteration $f^{M}$ of $f$. Then for each factor $m$ of $M,$ the origin is again an isolated fixed point of $f^{m}$ and the fixed point index $μ_{f^{m}}(0)$ of $f^{m}$ at the origin is well defined, and so is the (local) Dold's index (see [\ref{Do}]) at the origin:% \begin{equation*} P_{M}(f,0)=\sum_{τ\subset P(M)}(-1)^{#τ}μ_{f^{M:τ}}(0), \end{equation*}% where $P(M)$ is the set of all primes dividing $M,$ the sum extends over all subsets $τ$ of $P(M)$, $#τ$is the cardinal number of $τ$ and $% M:τ=M(\prod_{p\in τ}p)^{-1}$.
$P_{M}(f,0)$ can be interpreted to be the number of periodic points of period $M$ of $f$ overlapped at the origin: any holomorphic mapping $% f_{1}:Δ^{n}\to \mathbb{C}^{n}$ sufficiently close to $f$ has exactly $P_{M}(f,0)$ distinct periodic points of period $M$ near the origin$%, $ provided that all the fixed points of $f_{1}^{M}$ near the origin are simple. Note that $f$ itself has no periodic point of period $M$ near the origin$.$
According to M. Shub and D. Sullivan's work [\ref{SS}], a necessary condition so that $P_{M}(f,0)\neq 0$ is that the linear part of $f$ at the origin has a periodic point of period $M.$ The goal of this paper is to prove that this condition is sufficient as well for holomorphic mappings.
△ Less
Submitted 16 April, 2006; v1 submitted 9 November, 2005;
originally announced November 2005.
