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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the properties of the families of periodic - orbit centers of complex holomorphic differential equations near singularities, especially to explore the existence of invariant periodic sets through the iterative properties of the fixed - point index. Specifically, the author proposes a method based on the iterative properties of the fixed - point index to study the families of periodic - orbit centers of complex holomorphic differential equations near singularities, and uses this method to prove a more general version of Needham's theorem.
### Main problem decomposition:
1. **Study of the fixed - point index**:
- The paper first defines the fixed - point index \(\mu_f(p)\) of holomorphic mappings in the complex vector space \(\mathbb{C}^n\) and discusses its geometric properties.
- Through the properties of the fixed - point index, the relationship between the fixed points of holomorphic mappings and the fixed - point indices of their iterative mappings is studied.
2. **Existence of families of periodic - orbit centers**:
- The author uses the iterative properties of the fixed - point index to study the existence of families of periodic - orbit centers of complex holomorphic differential equations near singularities.
- In particular, the case of the Jacobian matrix \(F'(0)\) with purely imaginary eigenvalues is considered, and it is proved that there exists a complex analytic variety consisting of periodic orbits.
3. **Generalization of Needham's theorem**:
- Needham's theorem states that if the Jacobian matrix \(F'(0)\) has a non - zero purely imaginary eigenvalue \(\omega i\), and the real parts of the other eigenvalues are non - zero, then there exists a one - dimensional complex analytic sub - manifold containing the singularity and periodic orbits of the same period.
- The author uses the method of the fixed - point index to prove a more general version of Needham's theorem, that is, there exists a complex analytic variety with a pure complex dimension of at least 1, containing the singularity and periodic orbits of the same period.
### Formula summary:
- **Definition of the fixed - point index**:
\[
\mu_f(p)=\pi_{f - I}(p)
\]
where \(f - I\) is the mapping that maps each \(x\in B\) to \(f(x)-x\).
- **Geometric properties of the fixed - point index**:
\[
\mu_f(0)\geq1
\]
The equality holds if and only if the Jacobian matrix \(f'(0)\) has no eigenvalue equal to 1.
- **Existence condition of periodic orbits**:
If \(F'(0)\) has a non - zero purely imaginary eigenvalue \(\omega i\), and for any other eigenvalue \(\lambda\):
\[
\frac{\lambda}{\omega i}\neq0,\pm1,\pm2,\ldots
\]
then there exists a complex analytic variety with a pure complex dimension of at least 1, containing the singularity and periodic orbits of the same period \(\frac{2\pi}{|\omega|}\).
Through these studies, the paper not only provides the application of the fixed - point index in complex holomorphic differential equations, but also generalizes the classical results about the families of periodic - orbit centers.