Validated forward integration scheme for parabolic PDEs via Chebyshev series

Zgliczyński, 2004, Rigorous numerics for dissipative partial differential equations. II. Periodic orbit for the kuramoto-Sivashinsky PDE—a computer-assisted proof, Found Comput Math, 4, 157, 10.1007/s10208-002-0080-8 Zgliczyński, 2010, Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs, Topol Methods Nonlinear Anal, 36, 197 Wilczak, 2020, A geometric method for infinite-dimensional chaos: symbolic dynamics for the kuramoto-Sivashinsky PDE on the line, J Differential Equations, 269, 8509, 10.1016/j.jde.2020.06.020 Cyranka, 2014, Efficient and generic algorithm for rigorous integration forward in time of dPDEs: Part i, J Sci Comput, 59, 28, 10.1007/s10915-013-9749-1 Cyranka, 2018, Computer-assisted proof of heteroclinic connections in the one-dimensional ohta-kawasaki model, SIAM J Appl Dyn Syst, 17, 694, 10.1137/17M111938X Cyranka, 2015, Existence of globally attracting fixed points of viscous burgers equation with constant forcing, a computer assisted proof, Topol Methods Nonlinear Anal, 45, 655, 10.12775/TMNA.2015.031 Cyranka, 2015, Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing—A computer assisted proof, SIAM J Appl Dyn Syst, 14, 787, 10.1137/14096699X Arioli, 2010, Integration of dissipative partial differential equations: a case study, SIAM J Appl Dyn Syst, 9, 1119, 10.1137/10078298X Mizuguchi, 2017, A method of verified computations for solutions to semilinear parabolic equations using semigroup theory, SIAM J Numer Anal, 55, 980, 10.1137/141001664 Takayasu, 2017, Accurate method of verified computing for solutions of semilinear heat equations, Reliab Comput, 25, 74 Takayasu, 2021 Jaquette, 2022, Global dynamics in nonconservative nonlinear Schrödinger equations, Adv Math, 10.1016/j.aim.2022.108234 Hashimoto, 2020, Numerical verification of solutions for nonlinear parabolic problems, Numer Funct Anal Optim, 41, 1, 10.1080/01630563.2020.1777159 Kimura, 2019, Constructive error estimates for full discrete approximation of periodic solution for heat equation, J Comput Appl Math, 368 Nakao, 2019 Figueras, 2017, A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations, SIAM J Appl Dyn Syst, 16, 1070, 10.1137/16M1073777 Gameiro, 2017, A posteriori verification of invariant objects of evolution equations: periodic orbits in the kuramoto-Sivashinsky PDE, SIAM J Appl Dyn Syst, 16, 687, 10.1137/16M1073789 Figueras, 2017, Numerical computations and computer assisted proofs of periodic orbits of the kuramoto-Sivashinsky equation, SIAM J Appl Dyn Syst, 16, 834, 10.1137/16M1073790 van de Berg, 2021, Spontaneous periodic orbits in the Navier-Stokes flow, J Nonlinear Sci, 31 Cyranka, 2018, A construction of two different solutions to an elliptic system, J Math Anal Appl, 465, 500, 10.1016/j.jmaa.2018.05.010 Jaquette, 2022, Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity, Commun Nonlinear Sci Numer Simul, 107, 10.1016/j.cnsns.2021.106188 Breden, 2015, Rigorous numerics for nonlinear operators with tridiagonal dominant linear parts, Discrete Contin Dyn Syst Ser A, 35, 4765, 10.3934/dcds.2015.35.4765 Lessard, 2014, Rigorous numerics for nonlinear differential equations using Chebyshev series, SIAM J Numer Anal, 52, 1, 10.1137/13090883X Hungria, 2016, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Math Comp, 85, 1427, 10.1090/mcom/3046 Zhang, 2005, Vol. 4 Sekine, 2020, A new formulation using the schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator, Numer Math, 146, 1, 10.1007/s00211-020-01155-7 Sherman, 1949, Adjustment of an inverse matrix corresponding to changes in the elements of a given column or a given row of the original matrix (abstract), Ann Math Stat, 20, 621 Sherman, 1950, Adjustment of an inverse matrix corresponding to a change in one element of a given matrix, Ann Math Stat, 21, 124, 10.1214/aoms/1177729893 Woodbury, 1950, Vol. 42 Woodbury Max A. The stability of out-input matrices. Chicago, Ill; 1949. Bartlett, 1951, An inverse matrix adjustment arising in discriminant analysis, Ann Math Stat, 22, 107, 10.1214/aoms/1177729698 Grindrod, 1996 Ablowitz, 1979, Explicit solutions of Fisher’s equation for a special wave speed, Bull Math Biol, 41, 835, 10.1016/S0092-8240(79)80020-8 McKean, 1975, Application of Brownian motion to the equation of Kolmogorov-Petrovskii-piskunov, Comm Pure Appl Math, 28, 323, 10.1002/cpa.3160280302 Swift, 1977, Hydrodynamic fluctuations at the convective instability, Phys Rev A, 15, 10.1103/PhysRevA.15.319 Cross, 1993, Pattern formation outside of equilibrium, Rev Mod Phys, 65, 851, 10.1103/RevModPhys.65.851