American Institute of Mathematical Sciences

Advanced
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

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.  Google Scholar

[2]

J. P. Boyd, Chebyshev and Fourier Spectral Methods,, Second edition, (2001).   Google Scholar

[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.  Google Scholar

[4]

M. Breden, L. Desvillettes and J.-P. Lessard, MATLAB codes to perform the proofs,, , ().   Google Scholar

[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.  Google Scholar

[6]

P. G. Ciarlet, Introduction to Numerical Linear Algebra and Optimisation,, With the assistance of Bernadette Miara and Jean-Marie Thomas, (1989).   Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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).   Google Scholar

[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.  Google Scholar

[13]

D. E. Knuth, The Art of Computer Programming, Vol. 2. Seminumerical Algorithms,, Second edition, (1981).   Google Scholar

[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.  Google Scholar

[15]

V. R. Korostyshevskiy, A Hermite Spectral Approach to Homoclinic Solutions of Ordinary Differential Equations,, ProQuest LLC, (2005).   Google Scholar

[16]

J.-P. Lessard, J. D. Mireles James and J. Ransford, Automatic differentiation for Fourier series and the radii polynomial approach,, in preparation., ().   Google Scholar

[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.  Google Scholar

[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.  Google Scholar

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.  Google Scholar

[2]

J. P. Boyd, Chebyshev and Fourier Spectral Methods,, Second edition, (2001).   Google Scholar

[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.  Google Scholar

[4]

M. Breden, L. Desvillettes and J.-P. Lessard, MATLAB codes to perform the proofs,, , ().   Google Scholar

[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.  Google Scholar

[6]

P. G. Ciarlet, Introduction to Numerical Linear Algebra and Optimisation,, With the assistance of Bernadette Miara and Jean-Marie Thomas, (1989).   Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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).   Google Scholar

[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.  Google Scholar

[13]

D. E. Knuth, The Art of Computer Programming, Vol. 2. Seminumerical Algorithms,, Second edition, (1981).   Google Scholar

[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.  Google Scholar

[15]

V. R. Korostyshevskiy, A Hermite Spectral Approach to Homoclinic Solutions of Ordinary Differential Equations,, ProQuest LLC, (2005).   Google Scholar

[16]

J.-P. Lessard, J. D. Mireles James and J. Ransford, Automatic differentiation for Fourier series and the radii polynomial approach,, in preparation., ().   Google Scholar

[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.  Google Scholar

[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.  Google Scholar

[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]

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
[8]

Peter Giesl, Holger Wendland. Construction of a contraction metric by meshless collocation. Discrete & Continuous Dynamical Systems - B, 2019, 24 (8) : 3843-3863. doi: 10.3934/dcdsb.2018333
[9]

J. P. Lessard, J. D. Mireles James. A functional analytic approach to validated numerics for eigenvalues of delay equations. Journal of Computational Dynamics, 2020, 7 (1) : 123-158. doi: 10.3934/jcd.2020005
[10]

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
[11]

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
[12]

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
[13]

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
[14]

Armengol Gasull, Francesc Mañosas. Subseries and signed series. Communications on Pure & Applied Analysis, 2019, 18 (1) : 479-492. doi: 10.3934/cpaa.2019024
[15]

Mike Boyle, Sompong Chuysurichay. The mapping class group of a shift of finite type. Journal of Modern Dynamics, 2018, 13: 115-145. doi: 10.3934/jmd.2018014
[16]

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
[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]

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
[19]

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
[20]

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

2019 Impact Factor: 1.338

Tools

Metrics

  • PDF downloads (47)
  • HTML views (0)
  • Cited by (1)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences