A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
DOI10.1007/s10915-024-02785-xMaRDI QIDQ6671871
Akitoshi Takayasu, Gabriel William Duchesne, Jean-Philippe Lessard
Publication date: 27 January 2025
Published in: Journal of Scientific Computing (Search for Journal in Brave)
initial value problemsglobal existencesemigroup theorycomputer-assisted proofsspectral methodssemilinear parabolic PDEs
Asymptotic behavior of solutions to PDEs (35B40) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) PDEs in connection with fluid mechanics (35Q35) Navier-Stokes equations for incompressible viscous fluids (76D05) Finite difference methods applied to problems in fluid mechanics (76M20) Spectral methods applied to problems in fluid mechanics (76M22) Best approximation, Chebyshev systems (41A50) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) General methods in interval analysis (65G40) Existence problems for PDEs: global existence, local existence, non-existence (35A01) Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs (65M70) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Semilinear parabolic equations with Laplacian, bi-Laplacian or poly-Laplacian (35K91) Computer assisted proofs of proofs-by-exhaustion type (68V05)
This page was built for publication: A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
