{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:13:27Z","timestamp":1770272007839,"version":"3.49.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,5,12]],"date-time":"2022-05-12T00:00:00Z","timestamp":1652313600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,5,12]],"date-time":"2022-05-12T00:00:00Z","timestamp":1652313600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2022,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. The proof is constructive and provides explicit bounds for the inclusion of the solution of the Cauchy problem, which is rewritten as a zero-finding problem on a certain Banach space. Using a solution map operator, we construct a simplified Newton operator and show that it has a unique fixed point. The fixed point together with its rigorous bounds provides the local inclusion of the solution of the Cauchy problem. The local inclusion technique is then applied iteratively to compute solutions over long time intervals. This technique is used to prove the existence of a branching singularity in the nonlinear heat equation. Finally, we introduce an approach based on the Lyapunov\u2013Perron method for calculating part of a center-stable manifold and prove that an open set of solutions of the Cauchy problem converge to zero, hence yielding the global existence of the solutions in the complex plane of time.<\/jats:p>","DOI":"10.1007\/s00211-022-01291-2","type":"journal-article","created":{"date-parts":[[2022,5,12]],"date-time":"2022-05-12T05:02:47Z","timestamp":1652331767000},"page":"693-750","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Rigorous numerics for nonlinear heat equations in the complex plane of time"],"prefix":"10.1007","volume":"151","author":[{"given":"Akitoshi","family":"Takayasu","sequence":"first","affiliation":[]},{"given":"Jean-Philippe","family":"Lessard","sequence":"additional","affiliation":[]},{"given":"Jonathan","family":"Jaquette","sequence":"additional","affiliation":[]},{"given":"Hisashi","family":"Okamoto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,12]]},"reference":[{"key":"1291_CR1","doi-asserted-by":"crossref","unstructured":"Ablowitz, M.J., Fokas, A.S.: Complex Variables: Introduction and Applications. Cambridge Texts in Applied Mathematics, 2nd edn. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511791246"},{"issue":"1","key":"1291_CR2","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.jmaa.2015.04.025","volume":"429","author":"D Bl\u00f6mker","year":"2015","unstructured":"Bl\u00f6mker, D., Nolde, C., Robinson, J.C.: Rigorous numerical verification of uniqueness and smoothness in a surface growth model. J. Math. Anal. Appl. 429(1), 311\u2013325 (2015)","journal-title":"J. Math. Anal. Appl."},{"key":"1291_CR3","unstructured":"Chicone, C.: Ordinary Differential Equations with Applications. Springer (2006)"},{"issue":"1","key":"1291_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s13160-015-0203-7","volume":"33","author":"C-H Cho","year":"2016","unstructured":"Cho, C.-H., Okamoto, H., Sh\u014dji, M.: A blow-up problem for a nonlinear heat equation in the complex plane of time. Jpn. J. Ind. Appl. Math. 33(1), 145\u2013166 (2016)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"1","key":"1291_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."},{"key":"1291_CR6","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/j.na.2014.12.026","volume":"121","author":"L D\u2019Ambrosio","year":"2015","unstructured":"D\u2019Ambrosio, L., Lessard, J.-P., Pugliese, A.: Blow-up profile for solutions of a fourth order nonlinear equation. Nonlinear Anal. 121, 280\u2013335 (2015)","journal-title":"Nonlinear Anal."},{"key":"1291_CR7","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1016\/S1874-575X(02)80035-2","volume":"2","author":"M Fila","year":"2002","unstructured":"Fila, M., Matano, H.: Blow-up in nonlinear heat equations from the dynamical systems point of view. Handb. Dyn. Syst. 2, 723\u2013758 (2002)","journal-title":"Handb. Dyn. Syst."},{"key":"1291_CR8","doi-asserted-by":"crossref","unstructured":"Jaquette, J., Lessard, J.-P., Takayasu, A.: Global dynamics in nonconservative nonlinear Schr\u00f6dinger equations. Adv. Math. 398, 108234 (2022)","DOI":"10.1016\/j.aim.2022.108234"},{"key":"1291_CR9","doi-asserted-by":"crossref","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)","DOI":"10.1016\/j.cnsns.2021.106188"},{"issue":"4","key":"1291_CR10","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/s00211-013-0575-z","volume":"126","author":"T Kinoshita","year":"2014","unstructured":"Kinoshita, T., Kimura, T., Nakao, M.T.: On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems. Numerische Mathematik 126(4), 679\u2013701 (2014)","journal-title":"Numerische Mathematik"},{"issue":"3","key":"1291_CR11","doi-asserted-by":"publisher","first-page":"219","DOI":"10.21136\/AM.2018.0082-18","volume":"63","author":"J-P Lessard","year":"2018","unstructured":"Lessard, J.-P.: Computing discrete convolutions with verified accuracy via Banach algebras and the FFT. Appl. Math. 63(3), 219\u2013235 (2018)","journal-title":"Appl. Math."},{"issue":"1","key":"1291_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/13090883X","volume":"52","author":"J-P Lessard","year":"2014","unstructured":"Lessard, J.-P., Reinhardt, C.: Rigorous numerics for nonlinear differential equations using Chebyshev series. SIAM J. Numer. Anal. 52(1), 1\u201322 (2014)","journal-title":"SIAM J. Numer. Anal."},{"key":"1291_CR13","doi-asserted-by":"crossref","unstructured":"Mason, J., Handscomb, D.: Chebyshev Polynomials. Chapman and Hall\/CRC (2002)","DOI":"10.1201\/9781420036114"},{"key":"1291_CR14","doi-asserted-by":"crossref","unstructured":"Masuda, K.: Blow-up of solutions of some nonlinear diffusion equations. In: Fujita, H., Lax, P.D., Strang, G. (eds.) Nonlinear Partial Differential Equations in Applied Science; Proceedings of The U.S.-Japan Seminar, Tokyo, 1982, North-Holland Mathematics Studies, vol.\u00a081, pp. 119\u2013131. North-Holland (1983)","DOI":"10.1016\/S0304-0208(08)72088-7"},{"issue":"1","key":"1291_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01163166","volume":"187","author":"K Masuda","year":"1984","unstructured":"Masuda, K.: Analytic solutions of some nonlinear diffusion equations. Mathematische Zeitschrift 187(1), 61\u201373 (1984)","journal-title":"Mathematische Zeitschrift"},{"issue":"3","key":"1291_CR16","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/s00211-020-01125-z","volume":"145","author":"K Matsue","year":"2020","unstructured":"Matsue, K., Takayasu, A.: Numerical validation of blow-up solutions with quasi-homogeneous compactifications. Numerische Mathematik 145(3), 605\u2013654 (2020)","journal-title":"Numerische Mathematik"},{"issue":"2","key":"1291_CR17","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."},{"key":"1291_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cam.2016.10.024","volume":"315","author":"M Mizuguchi","year":"2017","unstructured":"Mizuguchi, M., Takayasu, A., Kubo, T., Oishi, S.: Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. J. Comput. Appl. Math. 315, 1\u201316 (2017)","journal-title":"J. Comput. Appl. Math."},{"key":"1291_CR19","doi-asserted-by":"crossref","unstructured":"Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences. Springer (1983)","DOI":"10.1007\/978-1-4612-5561-1"},{"key":"1291_CR20","doi-asserted-by":"crossref","unstructured":"Platte, R.B., Trefethen, L.N.: Chebfun: a new kind of numerical computing. In: Progress in Industrial Mathematics at ECMI 2008, Mathematical Industries, vol.\u00a015, pp. 69\u201387. Springer, Heidelberg, (2010)","DOI":"10.1007\/978-3-642-12110-4_5"},{"key":"1291_CR21","volume-title":"Superlinear Parabolic Problems. Blow-up, Global Existence and Steady States","author":"P Quittner","year":"2007","unstructured":"Quittner, P., Souplet, P.: Superlinear Parabolic Problems. Blow-up, Global Existence and Steady States. Birkh\u00e4user, Basel (2007)"},{"key":"1291_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S Rump","year":"1999","unstructured":"Rump, S.: INTLAB\u2013INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1291_CR23","doi-asserted-by":"crossref","unstructured":"Sell, G.R., You, Y.: Dynamics of Evolutionary Equations, vol. 143. Springer (2002)","DOI":"10.1007\/978-1-4757-5037-9"},{"key":"1291_CR24","unstructured":"Stuke, H.: Complex time blow-up of the nonlinear heat equation. arXiv preprint arXiv:1812.10707, (2018)"},{"key":"1291_CR25","unstructured":"Takayasu, A., Lessard, J.-P., Jaquette, J., Okamoto, H.: Codes of \u201cRigorous numerics for nonlinear heat equations in the complex plane of time\u201d. https:\/\/github.com\/taklab-org\/RNcnheq (2019)"},{"key":"1291_CR26","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.cam.2016.10.013","volume":"314","author":"A Takayasu","year":"2017","unstructured":"Takayasu, A., Matsue, K., Sasaki, T., Tanaka, K., Mizuguchi, M., Oishi, S.: Numerical validation of blow-up solutions of ordinary differential equations. J. Comput. Appl. Math. 314, 10\u201329 (2017)","journal-title":"J. Comput. Appl. Math."},{"key":"1291_CR27","volume-title":"Approximation Theory and Approximation Practice","author":"LN Trefethen","year":"2013","unstructured":"Trefethen, L.N.: Approximation Theory and Approximation Practice. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (2013)"},{"issue":"2","key":"1291_CR28","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1137\/140984506","volume":"14","author":"JB van den Berg","year":"2015","unstructured":"van den Berg, J.B., Desch\u00eanes, A., Lessard, J.-P., Mireles James, J.D.: Stationary coexistence of hexagons and rolls via rigorous computations. SIAM J. Appl. Dyn. Syst. 14(2), 942\u2013979 (2015)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"1291_CR29","doi-asserted-by":"crossref","unstructured":"van den Berg, J.B., Jaquette, J., Mireles James, J.D.: Validated numerical approximation of stable manifolds for parabolic partial differential equations. J. Dyn. Differ. Equ. (2022)","DOI":"10.1007\/s10884-022-10146-1"},{"issue":"10","key":"1291_CR30","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":"5","key":"1291_CR31","doi-asserted-by":"publisher","first-page":"1774","DOI":"10.1016\/j.jde.2008.12.019","volume":"246","author":"P Zgliczynski","year":"2009","unstructured":"Zgliczynski, P.: Covering relations, cone conditions and the stable manifold theorem. J. Differ. Equ. 246(5), 1774\u20131819 (2009)","journal-title":"J. Differ. Equ."}],"updated-by":[{"DOI":"10.1007\/s00211-022-01299-8","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2022,6,20]],"date-time":"2022-06-20T00:00:00Z","timestamp":1655683200000}}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-022-01291-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00211-022-01291-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-022-01291-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T17:04:05Z","timestamp":1656176645000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00211-022-01291-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,12]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["1291"],"URL":"https:\/\/doi.org\/10.1007\/s00211-022-01291-2","relation":{"correction":[{"id-type":"doi","id":"10.1007\/s00211-022-01299-8","asserted-by":"object"}]},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,5,12]]},"assertion":[{"value":"17 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 April 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 June 2022","order":5,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":6,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s00211-022-01299-8","URL":"https:\/\/doi.org\/10.1007\/s00211-022-01299-8","order":8,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}