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.

Well-Posedness of the Bochner Integral Form of Operator-Valued Riccati Equations

A Note on the Necessary Conditions for the Algebraic Riccati Equation.

On the Approximation of Operator-Valued Riccati Equations in Hilbert Spaces

Weak integrability of operator valued functions with values in ideals of compact operators on Hilbert space

Integral Representation Formulas in Banach Algebra Settings

Hille's theorem for Bochner integrals of functions with values in locally convex spaces

Riccati equations and Berezin transforms for reproducing kernel Hilbert spaces of unit ball

Uniqueness of a nonlinear integro-differential equation with nonlocal boundary condition and variable coefficients

Vallée-Poussin theorem for fractional functional differential equations with integral boundary condition

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

A Liouville-type theorem for biharmonic maps between complete Riemannian manifolds with small energies

A bilinear fractional integral operator for Euler-Riesz systems

A General Integral Identity with Applications to a Reverse Serrin Problem

On the Problem of the Uniqueness of Fixed Points and Solutions for Quadratic Fractional-Integral Equations on Banach Algebras

Singular Integral Operator, Hardy-Morrey Space Estimates for Multilinear Operators and Navier-Stokes Equations

Well-Posed Final Value Problems and Duhamel's Formula for Coercive Lax--Milgram Operators

Rough Singular Integral Operators on Hardy-Sobolev Spaces

New tools for the study of Bochner differential operators

A direct proof of existence of weak solutions to elliptic problems

Local Well-Posedness of a New Integrable Equation

Existence and Multiplicity of Solutions for Choquard Type Problem Involving p(x)-Biharmonic Operator