Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

Previous Article
Transitive sofic spacing shifts
DCDS Home
This Issue
Next Article
Lorentz-Morrey regularity for nonlinear elliptic problems with irregular obstacles over Reifenberg flat domains

October 2015, 35(10): 4765-4789. doi: 10.3934/dcds.2015.35.4765

Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

Maxime Breden ^1, , Laurent Desvillettes ^1, and Jean-Philippe Lessard ^2,

1.	CMLA, ENS Cachan & CNRS, 61 avenue du Président Wilson, 94230 Cachan, France, France
2.	Département de Mathématiques et de Statistique, Université Laval, 1045 avenue de la Médecine, Québec, QC, G1V0A6, Canada

Received June 2014 Revised January 2015 Published April 2015

Abstract
Related Papers

We present a method designed for computing solutions of infinite dimensional nonlinear operators $f(x)=0$ with a tridiagonal dominant linear part. We recast the operator equation into an equivalent Newton-like equation $x=T(x)=x-Af(x)$, where $A$ is an approximate inverse of the derivative $Df(\overline{x})$ at an approximate solution $\overline{x}$. We present rigorous computer-assisted calculations showing that $T$ is a contraction near $\overline{x}$, thus yielding the existence of a solution. Since $Df(\overline{x})$ does not have an asymptotically diagonal dominant structure, the computation of $A$ is not straightforward. This paper provides ideas for computing $A$, and proposes a new rigorous method for proving existence of solutions of nonlinear operators with tridiagonal dominant linear part.

Keywords: contraction mapping, Fourier series., rigorous numerics, Tridiagonal operator.

Mathematics Subject Classification: Primary: 47H10, 97N20; Secondary: 42A10, 34B08, 65L1.

Citation: Maxime Breden, Laurent Desvillettes, Jean-Philippe Lessard. Rigorous numerics for nonlinear operators with tridiagonal dominant linear part. Discrete & Continuous Dynamical Systems - A, 2015, 35 (10) : 4765-4789. doi: 10.3934/dcds.2015.35.4765

References:

[1]	A. W. Baker, M. Dellnitz and O. Junge, A topological method for rigorously computing periodic orbits using Fourier modes,, Discrete Contin. Dyn. Syst., 13 (2005), 901. doi: 10.3934/dcds.2005.13.901.
[2]	J. P. Boyd, Chebyshev and Fourier Spectral Methods,, Second edition, (2001).
[3]	M. Breden, J.-P. Lessard and M. 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. doi: 10.1007/s10440-013-9823-6.
[4]	M. Breden, L. Desvillettes and J.-P. Lessard, MATLAB codes to perform the proofs,, , ().
[5]	R. Castelli and J.-P. Lessard, Rigorous numerics in Floquet theory: Computing stable and unstable bundles of periodic orbits,, SIAM J. Appl. Dyn. Syst., 12 (2013), 204. doi: 10.1137/120873960.
[6]	P. G. Ciarlet, Introduction to Numerical Linear Algebra and Optimisation,, With the assistance of Bernadette Miara and Jean-Marie Thomas, (1989).
[7]	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), 117. doi: 10.1137/030600210.
[8]	M. Gameiro and J.-P. Lessard, Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs,, J. Differential Equations, 249 (2010), 2237. doi: 10.1016/j.jde.2010.07.002.
[9]	M. Gameiro and J.-P. Lessard, Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates,, SIAM J. Numer. Anal., 51 (2013), 2063. doi: 10.1137/110836651.
[10]	Y. Hiraoka and T. Ogawa, Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation,, Japan J. Indust. Appl. Math., 22 (2005), 57. doi: 10.1007/BF03167476.
[11]	A. Hungria, J.-P. Lessard and J. D. Mireles-James, Radii polynomial approach for analytic solutions of differential equations: Theory, examples, and comparisons,, To appear in Math. Comp., (2015).
[12]	G. Kiss and J.-P. Lessard, Computational fixed-point theory for differential delay equations with multiple time lags,, J. Differential Equations, 252 (2012), 3093. doi: 10.1016/j.jde.2011.11.020.
[13]	D. E. Knuth, The Art of Computer Programming, Vol. 2. Seminumerical Algorithms,, Second edition, (1981).
[14]	V. R. Korostyshevskiy and T. Wanner, A Hermite spectral method for the computation of homoclinic orbits and associated functionals,, J. Comput. Appl. Math., 206 (2007), 986. doi: 10.1016/j.cam.2006.09.016.
[15]	V. R. Korostyshevskiy, A Hermite Spectral Approach to Homoclinic Solutions of Ordinary Differential Equations,, ProQuest LLC, (2005).
[16]	J.-P. Lessard, J. D. Mireles James and J. Ransford, Automatic differentiation for Fourier series and the radii polynomial approach,, in preparation., ().
[17]	S. M. Rump, INTLAB - INTerval LABoratory,, in Developments in Reliable Computing* (ed. Tibor Csendes)*, (1999), 77. doi: 10.1007/978-94-017-1247-7_7.
[18]	P. Zgliczyński and K. Mischaikow, Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation,, Found. Comput. Math., 1 (2001), 255. doi: 10.1007/s002080010010.

show all references

References:

[1]	A. W. Baker, M. Dellnitz and O. Junge, A topological method for rigorously computing periodic orbits using Fourier modes,, Discrete Contin. Dyn. Syst., 13 (2005), 901. doi: 10.3934/dcds.2005.13.901.
[2]	J. P. Boyd, Chebyshev and Fourier Spectral Methods,, Second edition, (2001).
[3]	M. Breden, J.-P. Lessard and M. 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. doi: 10.1007/s10440-013-9823-6.
[4]	M. Breden, L. Desvillettes and J.-P. Lessard, MATLAB codes to perform the proofs,, , ().
[5]	R. Castelli and J.-P. Lessard, Rigorous numerics in Floquet theory: Computing stable and unstable bundles of periodic orbits,, SIAM J. Appl. Dyn. Syst., 12 (2013), 204. doi: 10.1137/120873960.
[6]	P. G. Ciarlet, Introduction to Numerical Linear Algebra and Optimisation,, With the assistance of Bernadette Miara and Jean-Marie Thomas, (1989).
[7]	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), 117. doi: 10.1137/030600210.
[8]	M. Gameiro and J.-P. Lessard, Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs,, J. Differential Equations, 249 (2010), 2237. doi: 10.1016/j.jde.2010.07.002.
[9]	M. Gameiro and J.-P. Lessard, Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates,, SIAM J. Numer. Anal., 51 (2013), 2063. doi: 10.1137/110836651.
[10]	Y. Hiraoka and T. Ogawa, Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation,, Japan J. Indust. Appl. Math., 22 (2005), 57. doi: 10.1007/BF03167476.
[11]	A. Hungria, J.-P. Lessard and J. D. Mireles-James, Radii polynomial approach for analytic solutions of differential equations: Theory, examples, and comparisons,, To appear in Math. Comp., (2015).
[12]	G. Kiss and J.-P. Lessard, Computational fixed-point theory for differential delay equations with multiple time lags,, J. Differential Equations, 252 (2012), 3093. doi: 10.1016/j.jde.2011.11.020.
[13]	D. E. Knuth, The Art of Computer Programming, Vol. 2. Seminumerical Algorithms,, Second edition, (1981).
[14]	V. R. Korostyshevskiy and T. Wanner, A Hermite spectral method for the computation of homoclinic orbits and associated functionals,, J. Comput. Appl. Math., 206 (2007), 986. doi: 10.1016/j.cam.2006.09.016.
[15]	V. R. Korostyshevskiy, A Hermite Spectral Approach to Homoclinic Solutions of Ordinary Differential Equations,, ProQuest LLC, (2005).
[16]	J.-P. Lessard, J. D. Mireles James and J. Ransford, Automatic differentiation for Fourier series and the radii polynomial approach,, in preparation., ().
[17]	S. M. Rump, INTLAB - INTerval LABoratory,, in Developments in Reliable Computing* (ed. Tibor Csendes)*, (1999), 77. doi: 10.1007/978-94-017-1247-7_7.
[18]	P. Zgliczyński and K. Mischaikow, Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation,, Found. Comput. Math., 1 (2001), 255. doi: 10.1007/s002080010010.

[1]	Mads Kyed. On a mapping property of the Oseen operator with rotation. Discrete & Continuous Dynamical Systems - S, 2013, 6 (5) : 1315-1322. doi: 10.3934/dcdss.2013.6.1315
[2]	Michel Potier-Ferry, Foudil Mohri, Fan Xu, Noureddine Damil, Bouazza Braikat, Khadija Mhada, Heng Hu, Qun Huang, Saeid Nezamabadi. Cellular instabilities analyzed by multi-scale Fourier series: A review. Discrete & Continuous Dynamical Systems - S, 2016, 9 (2) : 585-597. doi: 10.3934/dcdss.2016013
[3]	Charles Fulton, David Pearson, Steven Pruess. Characterization of the spectral density function for a one-sided tridiagonal Jacobi matrix operator. Conference Publications, 2013, 2013 (special) : 247-257. doi: 10.3934/proc.2013.2013.247
[4]	Yong-Kum Cho. A quadratic Fourier representation of the Boltzmann collision operator with an application to the stability problem. Kinetic & Related Models, 2012, 5 (3) : 441-458. doi: 10.3934/krm.2012.5.441
[5]	Earl Berkson. Fourier analysis methods in operator ergodic theory on super-reflexive Banach spaces. Electronic Research Announcements, 2010, 17: 90-103. doi: 10.3934/era.2010.17.90
[6]	Fabrizio Colombo, Irene Sabadini, Frank Sommen. The inverse Fueter mapping theorem. Communications on Pure & Applied Analysis, 2011, 10 (4) : 1165-1181. doi: 10.3934/cpaa.2011.10.1165
[7]	Peter Giesl, Holger Wendland. Construction of a contraction metric by meshless collocation. Discrete & Continuous Dynamical Systems - B, 2017, 22 (11) : 1-21. doi: 10.3934/dcdsb.2018333
[8]	Luiz Henrique de Figueiredo, Diego Nehab, Jorge Stolfi, João Batista S. de Oliveira. Rigorous bounds for polynomial Julia sets. Journal of Computational Dynamics, 2016, 3 (2) : 113-137. doi: 10.3934/jcd.2016006
[9]	John Banks. Topological mapping properties defined by digraphs. Discrete & Continuous Dynamical Systems - A, 1999, 5 (1) : 83-92. doi: 10.3934/dcds.1999.5.83
[10]	Robert Stephen Cantrell, Brian Coomes, Yifan Sha. A tridiagonal patch model of bacteria inhabiting a Nanofabricated landscape. Mathematical Biosciences & Engineering, 2017, 14 (4) : 953-973. doi: 10.3934/mbe.2017050
[11]	Barbara A. Shipman. Compactified isospectral sets of complex tridiagonal Hessenberg matrices. Conference Publications, 2003, 2003 (Special) : 788-797. doi: 10.3934/proc.2003.2003.788
[12]	B. Cantó, C. Coll, E. Sánchez. The problem of global identifiability for systems with tridiagonal matrices. Conference Publications, 2011, 2011 (Special) : 250-257. doi: 10.3934/proc.2011.2011.250
[13]	Armengol Gasull, Francesc Mañosas. Subseries and signed series. Communications on Pure & Applied Analysis, 2019, 18 (1) : 479-492. doi: 10.3934/cpaa.2019024
[14]	Peter Giesl. Converse theorem on a global contraction metric for a periodic orbit. Discrete & Continuous Dynamical Systems - A, 2019, 39 (9) : 5339-5363. doi: 10.3934/dcds.2019218
[15]	Timothy J. Healey. A rigorous derivation of hemitropy in nonlinearly elastic rods. Discrete & Continuous Dynamical Systems - B, 2011, 16 (1) : 265-282. doi: 10.3934/dcdsb.2011.16.265
[16]	Jean-Philippe Lessard, Evelyn Sander, Thomas Wanner. Rigorous continuation of bifurcation points in the diblock copolymer equation. Journal of Computational Dynamics, 2017, 4 (1&2) : 71-118. doi: 10.3934/jcd.2017003
[17]	Zhengxin Zhou. On the Poincaré mapping and periodic solutions of nonautonomous differential systems. Communications on Pure & Applied Analysis, 2007, 6 (2) : 541-547. doi: 10.3934/cpaa.2007.6.541
[18]	Kay Kirkpatrick. Rigorous derivation of the Landau equation in the weak coupling limit. Communications on Pure & Applied Analysis, 2009, 8 (6) : 1895-1916. doi: 10.3934/cpaa.2009.8.1895
[19]	V. Afraimovich, J.-R. Chazottes, A. Cordonet. Synchronization in directionally coupled systems: Some rigorous results. Discrete & Continuous Dynamical Systems - B, 2001, 1 (4) : 421-442. doi: 10.3934/dcdsb.2001.1.421
[20]	Anna Belova. Rigorous enclosures of rotation numbers by interval methods. Journal of Computational Dynamics, 2016, 3 (1) : 81-91. doi: 10.3934/jcd.2016004

2018 Impact Factor: 1.143

American Institute of Mathematical Sciences