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 Existence of Solutions to Some Semilinear Integro-Differential Evolution Equations with Sign-Varying Kernels

Sharp Global Existence for Semilinear Wave Equation with Small Data

UNIFORM POLYNOMIAL STABILITY OF SECOND ORDER INTEGRO-DIFFERENTIAL EQUATIONS IN HILBERT SPACES WITH POSITIVE DEFINITE KERNELS

Almost Global Existence For Solutions Of Semilinear Klein-Gordon Equations With Small Weakly Decaying Cauchy Data.

Existence of Semiclassical Ground-State Solutions for Semilinear Elliptic Systems

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

Coupled second order semilinear evolution equations indirectly damped via memory effects

Existence of solutions to a conformally invariant integral equation involving Poisson-type kernels

Existence and asymptotic behavior of solutions for nonlinear parabolic equations with variable exponent of nonlinearity

Solutions To Abstract Integral Equations And Infinite Delay Evolution Equations

A Study on Non-autonomous Second Order Evolution Equations with Nonlocal Conditions

Stability Of Solutions To Integro-Differential Equations In Hilbert Spaces

Global Existence of Small Data Solutions to Weakly Coupled Systems of Semi-Linear Fractional σ–Evolution Equations with Mass and Different Nonlinear Memory terms

Global Existence of Solutions of the Critical Semilinear Wave Equations with Variable Coefficients Outside Obstacles

Nonlocal Cauchy Problems for Semilinear Evolution Equations

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

Existence of Classical Solutions to Nonautonomous Nonlocal Parabolic Problems

Asymptotically almost automorphic solutions for some integrodifferential equations with nonlocal initial conditions

Viability for locally monotone evolution inclusions and lower semicontinuous solutions of Hamilton-Jacobi-Bellman equations in infinite dimensions

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

Existence and Nonexistence of Positive Solutions for Semilinear Elliptic Equations Involving Hardy–Sobolev Critical Exponents