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.

GLOBAL STABLE AND UNSTABLE MANIFOLDS FOR A CLASS OF SEMILINEAR EQUATIONS WITH SECTORIALLY DICHOTOMOUS OPERATOR

Regularity of the Homogeneous Monge-Ampère Equation

Global Regularity for Very Weak Solutions of Obstacle Problems of Elliptic Equation

Almost Global Existence for Some Semilinear Wave Equations with Almost Critical Regularity

Global existence and lifespan for semilinear wave equations with mixed nonlinear terms

Smooth center-stable/unstable manifolds and foliations of stochastic evolution equations with non-dense domain

Global Solutions for Nonlinear Klein–Gordon Equations in Infinite Homogeneous Waveguides

Equilibrium Problems on Riemannian Manifolds with Applications

Stabilization of the critical semilinear wave equation on non-compact Riemannian manifold

Center stable manifolds for the radial semi-linear wave equation outside a ball

Global well-posedness for a class of semilinear hyperbolic equations with singular potentials on manifolds with conical singularities

Stability Of Solutions To Integro-Differential Equations In Hilbert Spaces

Existence of Global Smooth Solutions to Dirichlet Problem for Degenerate Elliptic Monge–Ampere Equations

Invariant Manifolds for Random Parabolic Evolution Equations with almost sectorial operators

Global existence for semilinear damped wave equations in relation with the Strauss conjecture

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

Generalized gravitational fields and well-posedness of the Boussinesq systems on non-compact Riemannian Manifolds

Global smooth solutions to 2D semilinear wave equations with large data

On the Strauss Index of Semilinear Tricomi Equation

Almost global existence for some Hamiltonian PDEs on manifolds with globally integrable geodesic flow

Equilibrium Index of Invariant Sets and Global Static Bifurcation for Nonlinear Evolution Equations