Abstract:In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations via semigroup theory and computer-assisted proofs. Once a numerical candidate for the solution is obtained via a finite dimensional projection, Chebyshev series expansions are used to solve the linearized equations about the approximation from which a solution map operator is constructed. Using the solution operator (which exists from semigroup theory), we define an infinite dimensional contraction operator whose unique fixed point together with its rigorous bounds provide the local inclusion of the solution. Applying this technique for multiple time steps leads to constructive proofs of existence of solutions over long time intervals. As applications, we study the 3D/2D Swift-Hohenberg, where we combine our method with explicit constructions of trapping regions to prove global existence of solutions of initial value problems converging asymptotically to nontrivial equilibria. A second application consists of the 2D Ohta-Kawasaki equation, providing a framework for handling derivatives in nonlinear terms.

A Higher-Order Non-autonomous Semilinear Parabolic Equation

Semilinear Periodic-Parabolic Equations with Nonlinear Boundary Conditions

Higher order linear parabolic equations

A Class of Semilinear Parabolic Problems and Analytic Semigroups

A class of non-linear non-classical parabolic equations

Semigroup theory and analysis of solutions for a higher order non‐Lipschitz problem with advection in RN

Higher Hölder regularity for a subquadratic nonlocal parabolic equation

Initial boundary value problem for a class of higher-order n-dimensional nonlinear pseudo-parabolic equations

Quasilinear parabolic equations with superlinear nonlinearities in critical spaces

Quasi-linear elliptic equations with superlinear convection

Nonlocal Cauchy Problems for Semilinear Evolution Equations

Well-posedness of higher-order nonlinear Schrödinger equations in Sobolev spaces Hs(Rn) and applications

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory

Nonlocal Cauchy Problems For Semilinear Evolution Equations Involving Almost Sectorial Operators

Dirichlet Problem for Nonlinear Higher-Order Equations in Upper Half Plane

A higher-order quadratic NLS equation on the half-line

Caffarelli-Kohn-Nirenberg type problems with Berestycki-Lions type nonlinearities

Higher regularity of solutions to fully nonlinear elliptic equations

A Regularity Theory for Parabolic Equations with Anisotropic Nonlocal Operators in [math] Spaces

Asymptotic behavior of solutions to nonlinear parabolic equations with nonlocal terms

Note on a Higher Order Pseudo‐parabolic Equation with Variable Exponents