A constructive proof of the Poincaré-Birkhoff theorem
HTML articles powered by AMS MathViewer
- by Yong Li and Zheng Hua Lin PDF
- Trans. Amer. Math. Soc. 347 (1995), 2111-2126 Request permission
Abstract:
In this paper, with the use of the homotopy method, a constructive proof of the Poincaré-Birkhoff theorem is given. This approach provides a global method for finding fixed points of area-preserving maps and periodic solutions of Duffing equations.References
- J. C. Alexander and James A. Yorke, The homotopy continuation method: numerically implementable topological procedures, Trans. Amer. Math. Soc. 242 (1978), 271–284. MR 478138, DOI 10.1090/S0002-9947-1978-0478138-5
- Eugene Allgower and Kurt Georg, Simplicial and continuation methods for approximating fixed points and solutions to systems of equations, SIAM Rev. 22 (1980), no. 1, 28–85. MR 554709, DOI 10.1137/1022003
- Eugene L. Allgower and Kurt Georg, Numerical continuation methods, Springer Series in Computational Mathematics, vol. 13, Springer-Verlag, Berlin, 1990. An introduction. MR 1059455, DOI 10.1007/978-3-642-61257-2
- Steve Alpern and V. S. Prasad, Combinatorial proofs of the Conley-Zehnder-Franks theorem on a fixed point for torus homeomorphisms, Adv. Math. 99 (1993), no. 2, 238–247. MR 1219584, DOI 10.1006/aima.1993.1024
- Steve Alpern and V. S. Prasad, Fixed points of area-preserving annulus homeomorphisms, Fixed point theory and applications (Marseille, 1989) Pitman Res. Notes Math. Ser., vol. 252, Longman Sci. Tech., Harlow, 1991, pp. 1–8 (English, with French summary). MR 1122814 V. I. Arnold, Fixed points of symplectic diffeomorphisms, Proc. Sympos. Pure Math., vol. 28, Amer. Math. Soc., Providence, R.I., 1976. G. D. Birkhoff, Proof of Poincare’s last geometric theorem, Trans. Amer. Math. Soc. 14 (1913), 333-343. —, An extension of Poincare’s last geometric theorem, Acta Math. 47 (1925), 297-311. —, Dynamical systems, Amer. Math. Soc. Colloq. Publ., vol. 27, Amer. Math. Soc. Providence, R.I., 1927; revised 1966; reprinted 1979. —, Une generalisation $a$-$n$-dimensions du dernier theoreme de geometrie de Poincaré, C.R. Acad. Sci. 192 (1931), 196-198.
- Shui Nee Chow, John Mallet-Paret, and James A. Yorke, Finding zeroes of maps: homotopy methods that are constructive with probability one, Math. Comp. 32 (1978), no. 143, 887–899. MR 492046, DOI 10.1090/S0025-5718-1978-0492046-9
- C. C. Conley and E. Zehnder, The Birkhoff-Lewis fixed point theorem and a conjecture of V. I. Arnol′d, Invent. Math. 73 (1983), no. 1, 33–49. MR 707347, DOI 10.1007/BF01393824
- Charles Conley and Eduard Zehnder, Morse-type index theory for flows and periodic solutions for Hamiltonian equations, Comm. Pure Appl. Math. 37 (1984), no. 2, 207–253. MR 733717, DOI 10.1002/cpa.3160370204 M. A. Del Pino, R. Manaserich and A. E. Murna, On the number of $2\pi$-periodic solutions for $u'' + g(u) = s(1 + h(t))$ using the Poincare-Birkhoff theorem, J. Differential Equations 95 (1992), 240-258.
- R. Dieckerhoff and E. Zehnder, An “a priori” estimate for oscillatory equations, Dynamical systems and bifurcations (Groningen, 1984) Lecture Notes in Math., vol. 1125, Springer, Berlin, 1985, pp. 9–14. MR 798079, DOI 10.1007/BFb0075632
- Tong Ren Ding, Nonlinear oscillations at a point of resonance, Sci. Sinica Ser. A 25 (1982), no. 9, 918–931. MR 681856
- Tung Ren Ding, An infinite class of periodic solutions of periodically perturbed Duffing equations at resonance, Proc. Amer. Math. Soc. 86 (1982), no. 1, 47–54. MR 663864, DOI 10.1090/S0002-9939-1982-0663864-1
- Tong Ren Ding and Wei Yue Ding, Resonance problem for a class of Duffing’s equations, Chinese Ann. Math. Ser. B 6 (1985), no. 4, 427–432. A Chinese summary appears in Chinese Ann. Math. Ser. A 6 (1985), no. 6, 760. MR 843678
- Tong Ren Ding and Fabio Zanolin, Time-maps for the solvability of periodically perturbed nonlinear Duffing equations, Nonlinear Anal. 17 (1991), no. 7, 635–653. MR 1128965, DOI 10.1016/0362-546X(91)90111-D
- Wei Yue Ding, Fixed points of twist mappings and periodic solutions of ordinary differential equations, Acta Math. Sinica 25 (1982), no. 2, 227–235 (Chinese). MR 677834
- Wei Yue Ding, A generalization of the Poincaré-Birkhoff theorem, Proc. Amer. Math. Soc. 88 (1983), no. 2, 341–346. MR 695272, DOI 10.1090/S0002-9939-1983-0695272-2
- Martin Flucher, Fixed points of measure preserving torus homeomorphisms, Manuscripta Math. 68 (1990), no. 3, 271–293. MR 1065931, DOI 10.1007/BF02568764
- Alessandro Fonda, Raúl Manásevich, and Fabio Zanolin, Subharmonic solutions for some second-order differential equations with singularities, SIAM J. Math. Anal. 24 (1993), no. 5, 1294–1311. MR 1234017, DOI 10.1137/0524074
- John Franks, Recurrence and fixed points of surface homeomorphisms, Ergodic Theory Dynam. Systems 8$^*$ (1988), no. Charles Conley Memorial Issue, 99–107. MR 967632, DOI 10.1017/S0143385700009366
- John Franks, Generalizations of the Poincaré-Birkhoff theorem, Ann. of Math. (2) 128 (1988), no. 1, 139–151. MR 951509, DOI 10.2307/1971464
- C. B. García and W. I. Zangwill, An approach to homotopy and degree theory, Math. Oper. Res. 4 (1979), no. 4, 390–405. MR 549125, DOI 10.1287/moor.4.4.390 —, Pathways to solution, fixed points, and equilibria, Prentice-Hall, Englewood Cliffs, NJ, 1981.
- Philip Hartman, On boundary value problems for superlinear second order differential equations, J. Differential Equations 26 (1977), no. 1, 37–53. MR 477242, DOI 10.1016/0022-0396(77)90097-3
- Howard Jacobowitz, Periodic solutions of $x^{\prime \prime }+f(x,t)=0$ via the Poincaré-Birkhoff theorem, J. Differential Equations 20 (1976), no. 1, 37–52. MR 393673, DOI 10.1016/0022-0396(76)90094-2
- Herbert B. Keller, Global homotopies and Newton methods, Recent advances in numerical analysis (Proc. Sympos., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1978) Publ. Math. Res. Center Univ. Wisconsin, vol. 41, Academic Press, New York-London, 1978, pp. 73–94. MR 519057
- R. B. Kellogg, T. Y. Li, and J. Yorke, A constructive proof of the Brouwer fixed-point theorem and computational results, SIAM J. Numer. Anal. 13 (1976), no. 4, 473–483. MR 416010, DOI 10.1137/0713041
- Mark Levi, KAM theory for particles in periodic potentials, Ergodic Theory Dynam. Systems 10 (1990), no. 4, 777–785. MR 1091426, DOI 10.1017/S0143385700005897
- Yong Li and Xian Rui Lü, Continuation theorems for boundary value problems, J. Math. Anal. Appl. 190 (1995), no. 1, 32–49. MR 1314105, DOI 10.1006/jmaa.1995.1063
- Bin Liu, Boundedness for solutions of nonlinear Hill’s equations with periodic forcing terms via Moser’s twist theorem, J. Differential Equations 79 (1989), no. 2, 304–315. MR 1000692, DOI 10.1016/0022-0396(89)90105-8
- Bin Liu, An existence theorem for harmonic solutions to semilinear Duffing equations, Acta Math. Sinica 34 (1991), no. 2, 165–170 (Chinese). MR 1117074
- G. R. Morris, A case of boundedness in Littlewood’s problem on oscillatory differential equations, Bull. Austral. Math. Soc. 14 (1976), no. 1, 71–93. MR 402198, DOI 10.1017/S0004972700024862
- J. Moser, On invariant curves of area-preserving mappings of an annulus, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1962 (1962), 1–20. MR 147741 H. Poincaré, Sur un theoreme de geometrie, Rend. Circ. Mat. Palermo 33 (1912), 375-407.
- Steve Smale, A convergent process of price adjustment and global Newton methods, J. Math. Econom. 3 (1976), no. 2, 107–120. MR 411577, DOI 10.1016/0304-4068(76)90019-7
- Layne T. Watson and Melvin R. Scott, Solving spline-collocation approximations to nonlinear two-point boundary-value problems by a homotopy method, Appl. Math. Comput. 24 (1987), no. 4, 333–357. MR 919208, DOI 10.1016/0096-3003(87)90015-4
Additional Information
- © Copyright 1995 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 347 (1995), 2111-2126
- MSC: Primary 58F22; Secondary 34C25
- DOI: https://doi.org/10.1090/S0002-9947-1995-1290734-4
- MathSciNet review: 1290734