Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
HTML articles powered by AMS MathViewer
- by Allan Hungria, Jean-Philippe Lessard and J. D. Mireles James PDF
- Math. Comp. 85 (2016), 1427-1459 Request permission
Abstract:
Judicious use of interval arithmetic, combined with careful pen and paper estimates, leads to effective strategies for computer assisted analysis of nonlinear operator equations. The method of radii polynomials is an efficient tool for bounding the smallest and largest neighborhoods on which a Newton-like operator associated with a nonlinear equation is a contraction mapping. The method has been used to study solutions of ordinary, partial, and delay differential equations such as equilibria, periodic orbits, solutions of initial value problems, heteroclinic and homoclinic connecting orbits in the $C^{\mathbf {k}}$ category of functions. In the present work we adapt the method of radii polynomials to the analytic category. For ease of exposition we focus on studying periodic solutions in Cartesian products of infinite sequence spaces. We derive the radii polynomials for some specific application problems and give a number of computer assisted proofs in the analytic framework.References
- Alan R. Champneys and Björn Sandstede, Numerical computation of coherent structures, Numerical continuation methods for dynamical systems, Underst. Complex Syst., Springer, Dordrecht, 2007, pp. 331–358. MR 2359337, DOI 10.1007/978-1-4020-6356-5_{1}1
- Oscar E. Lanford III, A computer-assisted proof of the Feigenbaum conjectures, Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 3, 427–434. MR 648529, DOI 10.1090/S0273-0979-1982-15008-X
- Hans Koch, Alain Schenkel, and Peter Wittwer, Computer-assisted proofs in analysis and programming in logic: a case study, SIAM Rev. 38 (1996), no. 4, 565–604. MR 1420838, DOI 10.1137/S0036144595284180
- S. Day, O. Junge, and K. Mischaikow, A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems, SIAM J. Appl. Dyn. Syst. 3 (2004), no. 2, 117–160. MR 2067140, DOI 10.1137/030600210
- J. D. Mireles-James and K. Mischaikow, Computational proofs in dynamics, Encyclopedia of Applied Computational Mathematics, 2016. To appear.
- Siegfried M. Rump, Verification methods: rigorous results using floating-point arithmetic, Acta Numer. 19 (2010), 287–449. MR 2652784, DOI 10.1017/S096249291000005X
- Mitsuhiro T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations, Numer. Funct. Anal. Optim. 22 (2001), no. 3-4, 321–356. International Workshops on Numerical Methods and Verification of Solutions, and on Numerical Function Analysis (Ehime/Shimane, 1999). MR 1849323, DOI 10.1081/NFA-100105107
- Marian Gidea and Piotr Zgliczyński, Covering relations for multidimensional dynamical systems. II, J. Differential Equations 202 (2004), no. 1, 59–80. MR 2060532, DOI 10.1016/j.jde.2004.03.014
- Sarah Day, Jean-Philippe Lessard, and Konstantin Mischaikow, Validated continuation for equilibria of PDEs, SIAM J. Numer. Anal. 45 (2007), no. 4, 1398–1424. MR 2338393, DOI 10.1137/050645968
- Marcio Gameiro and Jean-Philippe Lessard, Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs, J. Differential Equations 249 (2010), no. 9, 2237–2268. MR 2718657, DOI 10.1016/j.jde.2010.07.002
- Jan Bouwe van den Berg and Jean-Philippe Lessard, Chaotic braided solutions via rigorous numerics: chaos in the Swift-Hohenberg equation, SIAM J. Appl. Dyn. Syst. 7 (2008), no. 3, 988–1031. MR 2443030, DOI 10.1137/070709128
- Gábor Kiss and Jean-Philippe Lessard, Computational fixed-point theory for differential delay equations with multiple time lags, J. Differential Equations 252 (2012), no. 4, 3093–3115. MR 2871794, DOI 10.1016/j.jde.2011.11.020
- Marcio Gameiro and Jean-Philippe Lessard, Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates, SIAM J. Numer. Anal. 51 (2013), no. 4, 2063–2087. MR 3077902, DOI 10.1137/110836651
- Marcio Gameiro and Jean-Philippe Lessard, Existence of secondary bifurcations or isolas for PDEs, Nonlinear Anal. 74 (2011), no. 12, 4131–4137. MR 2802992, DOI 10.1016/j.na.2011.03.046
- Maxime Breden, Jean-Philippe Lessard, and Matthieu Vanicat, Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system, Acta Appl. Math. 128 (2013), 113–152. MR 3125637, DOI 10.1007/s10440-013-9823-6
- Jean-Philippe Lessard, Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright’s equation, J. Differential Equations 248 (2010), no. 5, 992–1016. MR 2592879, DOI 10.1016/j.jde.2009.11.008
- Marcio Gameiro, Jean-Philippe Lessard, and Konstantin Mischaikow, Validated continuation over large parameter ranges for equilibria of PDEs, Math. Comput. Simulation 79 (2008), no. 4, 1368–1382. MR 2487806, DOI 10.1016/j.matcom.2008.03.014
- Jean-Philippe Lessard, Jason D. Mireles James, and Christian Reinhardt, Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields, J. Dynam. Differential Equations 26 (2014), no. 2, 267–313. MR 3207723, DOI 10.1007/s10884-014-9367-0
- Jean-Philippe Lessard and Christian Reinhardt, Rigorous numerics for nonlinear differential equations using Chebyshev series, SIAM J. Numer. Anal. 52 (2014), no. 1, 1–22. MR 3148084, DOI 10.1137/13090883X
- R. Castelli and H. Teismann, Rigorous numerics for NLS: bound states, spectra, and controllability. Preprint, 2013.
- Jan Bouwe van den Berg, Jason D. Mireles-James, Jean-Philippe Lessard, and Konstantin Mischaikow, Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation, SIAM J. Math. Anal. 43 (2011), no. 4, 1557–1594. MR 2821596, DOI 10.1137/100812008
- J. B. van den Berg, C. M. Groothedde, and J. F. Williams, Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem, SIAM J. Appl. Dyn. Syst. 14 (2015), no. 1, 423–447. MR 3323206, DOI 10.1137/140987973
- Anaïs Correc and Jean-Philippe Lessard, Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof, European J. Appl. Math. 26 (2015), no. 1, 33–60. MR 3294286, DOI 10.1017/S0956792514000308
- Roberto Castelli and Jean-Philippe Lessard, Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits, SIAM J. Appl. Dyn. Syst. 12 (2013), no. 1, 204–245. MR 3032858, DOI 10.1137/120873960
- Roberto Castelli, Jean-Philippe Lessard, and J. D. Mireles James, Parameterization of invariant manifolds for periodic orbits I: Efficient numerics via the Floquet normal form, SIAM J. Appl. Dyn. Syst. 14 (2015), no. 1, 132–167. MR 3304254, DOI 10.1137/140960207
- Jan Bouwe van den Berg, Jean-Philippe Lessard, and Konstantin Mischaikow, Global smooth solution curves using rigorous branch following, Math. Comp. 79 (2010), no. 271, 1565–1584. MR 2630003, DOI 10.1090/S0025-5718-10-02325-2
- M. Gameiro, J.-P. Lessard, and A. Pugliese, Computation of smooth manifolds of solutions of PDEs via rigorous multi-parameter continuation. To appear in Foundations of Computational Mathematics, 2015.
- Marcio Gameiro and Jean-Philippe Lessard, Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation, Numer. Math. 117 (2011), no. 4, 753–778. MR 2776917, DOI 10.1007/s00211-010-0350-3
- J.-P. Eckmann, H. Koch, and P. Wittwer, A computer-assisted proof of universality for area-preserving maps, Mem. Amer. Math. Soc. 47 (1984), no. 289, vi+122. MR 727816, DOI 10.1090/memo/0289
- William Arveson, A short course on spectral theory, Graduate Texts in Mathematics, vol. 209, Springer-Verlag, New York, 2002. MR 1865513, DOI 10.1007/b97227
- Jan Bouwe van den Berg, Andréa Deschênes, Jean-Philippe Lessard, and Jason D. Mireles James, Stationary coexistence of hexagons and rolls via rigorous computations, SIAM J. Appl. Dyn. Syst. 14 (2015), no. 2, 942–979. MR 3353132, DOI 10.1137/140984506
- M. Gameiro R. de la Llave, J.-L. Figueras and J.-P. Lessard, Theoretical results on the numerical computation and a-posteriori verification of invariant objects of evolution equations, in preparation, 2014.
- Donald E. Knuth, The art of computer programming. Vol. 2, 2nd ed., Addison-Wesley Series in Computer Science and Information Processing, Addison-Wesley Publishing Co., Reading, Mass., 1981. Seminumerical algorithms. MR 633878
- Àngel Jorba and Maorong Zou, A software package for the numerical integration of ODEs by means of high-order Taylor methods, Experiment. Math. 14 (2005), no. 1, 99–117. MR 2146523
- Konstantin Mischaikow and Marian Mrozek, Chaos in the Lorenz equations: a computer-assisted proof, Bull. Amer. Math. Soc. (N.S.) 32 (1995), no. 1, 66–72. MR 1276767, DOI 10.1090/S0273-0979-1995-00558-6
- Zin Arai and Konstantin Mischaikow, Rigorous computations of homoclinic tangencies, SIAM J. Appl. Dyn. Syst. 5 (2006), no. 2, 280–292. MR 2237148, DOI 10.1137/050626429
- J. B. Swift and P. C. Hohenberg, Hydrodynamic fluctuations at the convective instability, Phys. Rev. A, 15(1) (1977).
- S. M. Rump, INTLAB - INTerval LABoratory, in Tibor Csendes, editor, Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, 1999, pp. 77–104. http://www.ti3.tu-harburg.de/rump/.
Additional Information
- Allan Hungria
- Affiliation: Department of Mathematical Sciences, Ewing Hall, University of Delaware, Newark, Delaware 19716
- Email: allanh@udel.edu
- Jean-Philippe Lessard
- Affiliation: Département de Mathématiques et de Statistique, Université Laval, 1045 avenue de la Médecine, Québec, QC, G1V0A6, Canada
- Email: jean-philippe.lessard@mat.ulaval.ca
- J. D. Mireles James
- Affiliation: Department of Mathematical Sciences, Florida Atlantic University, 777 Glades Rd., Boca Raton, Florida 33431
- MR Author ID: 912491
- Email: jmirelesjames@fau.edu
- Received by editor(s): March 16, 2014
- Received by editor(s) in revised form: November 22, 2014
- Published electronically: September 28, 2015
- Additional Notes: The second author was supported by NSERC and the FRQNT program Établissement de nouveaux chercheurs.
The third author was partially supported by NSF grant DSM 1318172. - © Copyright 2015 American Mathematical Society
- Journal: Math. Comp. 85 (2016), 1427-1459
- MSC (2010): Primary 65L60, 65G40, 34C25, 35K57
- DOI: https://doi.org/10.1090/mcom/3046
- MathSciNet review: 3454370