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.

Existence and computation of Riemann-Stieltjes integrals through Riemann integrals

The existence of Riemann-Stieltjes integrals with applications to fractional Brownian motion

Stieltjes integrals of Hölder continuous functions with applications to fractional Brownian motion

Existence of solutions for a fractional Riemann–Stieltjes integral boundary value problem

Some integrals involving the Stieltjes constants

On the positivity of Riemann-Stieltjes integrals

The Ross-Darboux-Stieltjes Integral

Approximative Theorem of Incomplete Riemann-Stieltjes Sum of Stochastic Integral

Riemann Integral on Fractal Structures

Existence results for singular functional integrodifferential equations

An extension of the Cartwright-McMullen theorem in fractional calculus for the smooth Stieltjes case

Regulated functions. *-integral

Existence and Ulam stability for nonlinear implicit differential equations with Riemann-Liouville fractional derivative

Diffusive Representations for the Numerical Evaluation of Fractional Integrals

Riemann-Stieltjes Operators From H-Infinity Space To Alpha-Bloch Spaces

Some integrals involving the Stieltjes constants:Part II

Existence and Integral Representation of Scalar Riemann-Liouville Fractional Differential Equations with Delays and Impulses

Generalized fractional calculus in Banach spaces and applications to existence results for boundary value problems

On second-order linear Stieltjes differential equations with non-constant coefficients

B-stability of numerical integrators on Riemannian manifolds

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