{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T12:04:22Z","timestamp":1784030662659,"version":"3.55.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T00:00:00Z","timestamp":1779494400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T00:00:00Z","timestamp":1779494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1007\/s00211-026-01546-2","type":"journal-article","created":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T11:35:03Z","timestamp":1779536103000},"page":"1237-1289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier\u2013Chebyshev expansions"],"prefix":"10.1007","volume":"158","author":[{"given":"Matthieu","family":"Cadiot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Philippe","family":"Lessard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,23]]},"reference":[{"issue":"3","key":"1546_CR1","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1137\/10078298X","volume":"9","author":"G Arioli","year":"2010","unstructured":"Arioli, G., Koch, H.: Integration of dissipative partial differential equations: a case study. SIAM J. Appl. Dyn. Syst. 9(3), 1119\u20131133 (2010)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"10","key":"1546_CR2","doi-asserted-by":"publisher","first-page":"4765","DOI":"10.3934\/dcds.2015.35.4765","volume":"35","author":"M Breden","year":"2015","unstructured":"Breden, M., Desvillettes, L., Lessard, J.-P.: Rigorous numerics for nonlinear operators with tridiagonal dominant linear parts. Discrete Contin. Dyn. Syst. Ser. A 35(10), 4765\u20134789 (2015)","journal-title":"Discrete Contin. Dyn. Syst. Ser. A"},{"key":"1546_CR3","unstructured":"Cadiot, M.: IVP-Cheb.jl. (2025). https:\/\/github.com\/matthieucadiot\/IVP_Cheb.jl"},{"issue":"3","key":"1546_CR4","doi-asserted-by":"publisher","first-page":"1966","DOI":"10.1137\/23M1607507","volume":"23","author":"M Cadiot","year":"2024","unstructured":"Cadiot, M., Lessard, J.-P., Nave, J.-C.: Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods. SIAM J. Appl. Dyn. Syst. 23(3), 1966\u20132017 (2024)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"1","key":"1546_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/s10915-013-9749-1","volume":"59","author":"J Cyranka","year":"2014","unstructured":"Cyranka, J.: Efficient and generic algorithm for rigorous integration forward in time of dPDEs: part I. J. Sci. Comput. 59(1), 28\u201352 (2014)","journal-title":"J. Sci. Comput."},{"issue":"2","key":"1546_CR6","doi-asserted-by":"publisher","first-page":"655","DOI":"10.12775\/TMNA.2015.031","volume":"45","author":"J Cyranka","year":"2015","unstructured":"Cyranka, J.: Existence of globally attracting fixed points of viscous burgers equation with constant forcing. A computer assisted proof. Topol. Methods Nonlinear Anal. 45(2), 655\u2013697 (2015)","journal-title":"Topol. Methods Nonlinear Anal."},{"key":"1546_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2022.106304","volume":"109","author":"J Cyranka","year":"2022","unstructured":"Cyranka, J., Lessard, J.-P.: Validated forward integration scheme for parabolic PDEs via Chebyshev series. Commun. Nonlinear Sci. Numer. Simul. 109, 106304, 32 (2022)","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"issue":"1","key":"1546_CR8","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1016\/j.jmaa.2018.05.010","volume":"465","author":"J Cyranka","year":"2018","unstructured":"Cyranka, J., Mucha, P.B.: A construction of two different solutions to an elliptic system. J. Math. Anal. Appl. 465(1), 500\u2013530 (2018)","journal-title":"J. Math. Anal. Appl."},{"issue":"1","key":"1546_CR9","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1137\/17M111938X","volume":"17","author":"J Cyranka","year":"2018","unstructured":"Cyranka, J., Wanner, T.: Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta\u2013Kawasaki model. SIAM J. Appl. Dyn. Syst. 17(1), 694\u2013731 (2018)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"2","key":"1546_CR10","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1137\/14096699X","volume":"14","author":"J Cyranka","year":"2015","unstructured":"Cyranka, J., Zgliczy\u0144ski, P.: Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing\u2014a computer assisted proof. SIAM J. Appl. Dyn. Syst. 14(2), 787\u2013821 (2015)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"1","key":"1546_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0024-3795(00)00289-5","volume":"325","author":"C da Fonseca","year":"2001","unstructured":"da Fonseca, C., Petronilho, J.: Explicit inverses of some tridiagonal matrices. Linear Algebra Appl. 325(1), 7\u201321 (2001)","journal-title":"Linear Algebra Appl."},{"key":"1546_CR12","doi-asserted-by":"crossref","unstructured":"Duchesne, G.W., Lessard, J.-P., Takayasu, A.: A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory. Preprint (2024)","DOI":"10.1007\/s10915-024-02785-x"},{"key":"1546_CR13","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/019","volume-title":"Partial Differential Equations","author":"LC Evans","year":"2010","unstructured":"Evans, L.C.: Partial Differential Equations, vol. 19. American Mathematical Soc. (2010)"},{"issue":"2","key":"1546_CR14","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1137\/16M1073790","volume":"16","author":"J-L Figueras","year":"2017","unstructured":"Figueras, J.-L., de la Llave, R.: Numerical computations and computer assisted proofs of periodic orbits of the Kuramoto\u2013Sivashinsky equation. SIAM J. Appl. Dyn. Syst. 16(2), 834\u2013852 (2017)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"2","key":"1546_CR15","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1137\/16M1073777","volume":"16","author":"J-L Figueras","year":"2017","unstructured":"Figueras, J.-L., Gameiro, M., Lessard, J.-P., de la Llave, R.: A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations. SIAM J. Appl. Dyn. Syst. 16(2), 1070\u20131088 (2017)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"1546_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF00276188","volume":"16","author":"H Fujita","year":"1964","unstructured":"Fujita, H., Kato, T.: On the Navier\u2013Stokes initial value problem. I. Arch. Ration. Mech. Anal. 16, 269\u2013315 (1964)","journal-title":"Arch. Ration. Mech. Anal."},{"issue":"1","key":"1546_CR17","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1137\/16M1073789","volume":"16","author":"M Gameiro","year":"2017","unstructured":"Gameiro, M., Lessard, J.-P.: A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto\u2013Sivashinsky PDE. SIAM J. Appl. Dyn. Syst. 16(1), 687\u2013728 (2017)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"1546_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.physd.2017.03.004","volume":"350","author":"MD Groves","year":"2017","unstructured":"Groves, M.D., Lloyd, D.J.B., Stylianou, A.: Pattern formation on the free surface of a ferrofluid: spatial dynamics and homoclinic bifurcation. Physica D 350, 1\u201312 (2017)","journal-title":"Physica D"},{"key":"1546_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01630563.2020.1777159","volume":"41","author":"K Hashimoto","year":"2020","unstructured":"Hashimoto, K., Kinoshita, T., Nakao, M.: Numerical verification of solutions for nonlinear parabolic problems. Numer. Funct. Anal. Optim. 41, 1\u201320, 06 (2020)","journal-title":"Numer. Funct. Anal. Optim."},{"issue":"1","key":"1546_CR20","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1137\/1023004","volume":"23","author":"HV Henderson","year":"1981","unstructured":"Henderson, H.V., Searle, S.R.: On deriving the inverse of a sum of matrices. SIAM Rev. 23(1), 53\u201360 (1981)","journal-title":"SIAM Rev."},{"key":"1546_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2022.108234","volume":"398","author":"J Jaquette","year":"2022","unstructured":"Jaquette, J., Lessard, J.-P., Takayasu, A.: Global dynamics in nonconservative nonlinear Schr\u00f6dinger equations. Adv. Math. 398, 108234, 70 (2022)","journal-title":"Adv. Math."},{"key":"1546_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2021.106188","volume":"107","author":"J Jaquette","year":"2022","unstructured":"Jaquette, J., Lessard, J.-P., Takayasu, A.: Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Commun. Nonlinear Sci. Numer. Simul. 107, 106188 (2022)","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"issue":"4","key":"1546_CR23","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/BF01174182","volume":"187","author":"T Kato","year":"1984","unstructured":"Kato, T.: Strong $$L^{p}$$-solutions of the Navier\u2013Stokes equation in $${ R}^{m}$$, with applications to weak solutions. Math. Z. 187(4), 471\u2013480 (1984)","journal-title":"Math. Z."},{"key":"1546_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2019.112510","volume":"368","author":"T Kimura","year":"2020","unstructured":"Kimura, T., Minamoto, T., Nakao, M.T.: Constructive error estimates for full discrete approximation of periodic solution for heat equation. J. Comput. Appl. Math. 368, 112510, 10 (2020)","journal-title":"J. Comput. Appl. Math."},{"key":"1546_CR25","doi-asserted-by":"publisher","DOI":"10.1201\/b19556","volume-title":"The Navier\u2013Stokes Problem in the 21st Century","author":"PG Lemari\u00e9-Rieusset","year":"2016","unstructured":"Lemari\u00e9-Rieusset, P.G.: The Navier\u2013Stokes Problem in the 21st Century. CRC Press, Boca Raton (2016)"},{"key":"1546_CR26","first-page":"3519","volume":"248","author":"J-L Lions","year":"1959","unstructured":"Lions, J.-L.: Un th\u00e9or\u00e8me d\u2019existence et unicit\u00e9 dans les \u00e9quations de Navier\u2013Stokes en dimension 2. CR Acad. Sci. Paris 248, 3519\u20133521 (1959)","journal-title":"CR Acad. Sci. Paris"},{"key":"1546_CR27","volume-title":"Strongly Elliptic Systems and Boundary Integral Equations","author":"W McLean","year":"2000","unstructured":"McLean, W., McLean, W.C.H.: Strongly Elliptic Systems and Boundary Integral Equations. Cambridge University Press (2000)"},{"key":"1546_CR28","unstructured":"Miller, E.: The Navier\u2013Stokes Strain Equation with Applications to Enstrophy Growth and Global Regularity. ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)\u2014University of Toronto (Canada) (2019)"},{"issue":"2","key":"1546_CR29","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1137\/141001664","volume":"55","author":"M Mizuguchi","year":"2017","unstructured":"Mizuguchi, M., Takayasu, A., Kubo, T., Oishi, S.: A method of verified computations for solutions to semilinear parabolic equations using semigroup theory. SIAM J. Numer. Anal. 55(2), 980\u20131001 (2017)","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"1546_CR30","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1137\/0714040","volume":"14","author":"RE Moore","year":"1977","unstructured":"Moore, R.E.: A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14(4), 611\u2013615 (1977)","journal-title":"SIAM J. Numer. Anal."},{"key":"1546_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-7669-6","volume-title":"Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations","author":"M Nakao","year":"2019","unstructured":"Nakao, M., Plum, M., Watanabe, Y.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. Springer, Singapore (2019)"},{"key":"1546_CR32","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-24871-4_5","volume":"173","author":"V Odent","year":"2016","unstructured":"Odent, V., Tlidi, M., Clerc, M.G., Louvergneaux, E.: Experimental observation of front propagation in Lugiato\u2013Lefever equation in a negative diffractive regime and inhomogeneous Kerr cavity. Springer Proc. Phys. 173, 71\u201385 (2016)","journal-title":"Springer Proc. Phys."},{"issue":"2","key":"1546_CR33","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.98.022608","volume":"98","author":"L Ophaus","year":"2018","unstructured":"Ophaus, L., Gurevich, S.V., Thiele, U.: Resting and traveling localized states in an active phase-field-crystal model. Phys. Rev. E 98(2), 022608, 16 (2018)","journal-title":"Phys. Rev. E"},{"issue":"1","key":"1546_CR34","doi-asserted-by":"publisher","first-page":"71","DOI":"10.4310\/PAMQ.2008.v4.n1.a2","volume":"4","author":"YG Sinai","year":"2008","unstructured":"Sinai, Y.G., Arnold, M.D.: Global existence and uniqueness theorem for 3D-Navier\u2013Stokes system on $$\\mathbb{T} ^3$$ for small initial conditions in the spaces $$\\Phi (\\alpha )$$. Pure Appl. Math. Q. 4(1), 71\u201379 (2008)","journal-title":"Pure Appl. Math. Q."},{"issue":"3","key":"1546_CR35","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/s00211-022-01291-2","volume":"151","author":"A Takayasu","year":"2022","unstructured":"Takayasu, A., Lessard, J.-P., Jaquette, J., Okamoto, H.: Rigorous numerics for nonlinear heat equations in the complex plane of time. Numer. Math. 151(3), 693\u2013750 (2022)","journal-title":"Numer. Math."},{"key":"1546_CR36","first-page":"74","volume":"25","author":"A Takayasu","year":"2017","unstructured":"Takayasu, A., Mizuguchi, M., Kubo, T., Oishi, S.: Accurate method of verified computing for solutions of semilinear heat equations. Reliab. Comput. 25, 74\u201399 (2017)","journal-title":"Reliab. Comput."},{"key":"1546_CR37","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4g18","volume-title":"Validated Numerics: A Short Introduction to Rigorous Computations","author":"W Tucker","year":"2011","unstructured":"Tucker, W.: Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press, Princeton (2011)"},{"issue":"2","key":"1546_CR38","doi-asserted-by":"crossref","first-page":"41, 64","DOI":"10.1007\/s00332-021-09695-4","volume":"31","author":"JB van den Berg","year":"2021","unstructured":"van den Berg, J.B., Breden, M., Lessard, J.-P., van Veen, L.: Spontaneous periodic orbits in the Navier\u2013Stokes flow. J. Nonlinear Sci. 31(2), 41, 64 (2021)","journal-title":"J. Nonlinear Sci."},{"issue":"4","key":"1546_CR39","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1007\/s00211-024-01415-w","volume":"156","author":"JB van den Berg","year":"2024","unstructured":"van den Berg, J.B., Breden, M., Sheombarsing, R.: Validated integration of semilinear parabolic PDEs. Numer. Math. 156(4), 1219\u20131287 (2024)","journal-title":"Numer. Math."},{"issue":"10","key":"1546_CR40","doi-asserted-by":"publisher","first-page":"8509","DOI":"10.1016\/j.jde.2020.06.020","volume":"269","author":"D Wilczak","year":"2020","unstructured":"Wilczak, D., Zgliczy\u0144ski, P.: A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto\u2013Sivashinsky PDE on the line. J. Differ. Equ. 269(10), 8509\u20138548 (2020)","journal-title":"J. Differ. Equ."},{"issue":"2","key":"1546_CR41","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10208-002-0080-8","volume":"4","author":"P Zgliczy\u0144ski","year":"2004","unstructured":"Zgliczy\u0144ski, P.: Rigorous numerics for dissipative partial differential equations. II. Periodic orbit for the Kuramoto\u2013Sivashinsky PDE\u2014a computer-assisted proof. Found. Comput. Math. 4(2), 157\u2013185 (2004)","journal-title":"Found. Comput. Math."},{"issue":"2","key":"1546_CR42","first-page":"197","volume":"36","author":"P Zgliczy\u0144ski","year":"2010","unstructured":"Zgliczy\u0144ski, P.: Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs. Topol. Methods Nonlinear Anal. 36(2), 197\u2013262 (2010)","journal-title":"Topol. Methods Nonlinear Anal."}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-026-01546-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00211-026-01546-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-026-01546-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T11:13:07Z","timestamp":1784027587000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00211-026-01546-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,23]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,8]]}},"alternative-id":["1546"],"URL":"https:\/\/doi.org\/10.1007\/s00211-026-01546-2","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,23]]},"assertion":[{"value":"16 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 March 2026","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 April 2026","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2026","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}