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.

Necessary conditions for the solvability of fractional semilinear heat equations in the very weak framework

Solvability of superlinear fractional parabolic equations

Existence of solutions semilinear parabolic equations with singular initial data in the Heisenberg group

Initial traces of solutions to a semilinear heat equation under the Dirichlet boundary condition

Weak solvability and well-posedness of some fractional parabolic problems with vanishing initial datum

On solvability of a time-fractional semilinear heat equation, and its quantitative approach to the classical counterpart

Existence of solutions to a fractional semilinear heat equation in uniformly local weak Zygmund type spaces

Local solvability and dilation-critical singularities of supercritical fractional heat equations

Solvability of the Cauchy problem for fractional semilinear parabolic equations in critical and doubly critical cases

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

On a Fujita critical time-fractional semilinear heat equation in the uniformly local weak Zygmund type space

Global solvability for the heat equations in two half spaces and an interface

Global strong solvability of a quasilinear subdiffusion problem

Existence of solutions to the fractional semilinear heat equation with a singular inhomogeneous term

Stochastic fractional integro-differential equations with weakly singular kernels: Well-posedness and Euler–Maruyama approximation

A weak solution for the fractional N-Laplacian flow

A Note on the Fractional Cauchy Problems with Nonlocal Initial Conditions

Weak solvability of elliptic variational inequalities coupled with a nonlinear differential equation

Global Existence Of Weakly Discontinuous Solutions To The Cauchy Problem With A Kind Of Non-Smooth Initial Data For Quasilinear Hyperbolic Systems

On the Solvability of a Singular Time Fractional Parabolic Equation with Non Classical Boundary Conditions