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.

Hausdorff continuous solutions of nonlinear PDEs through the order completion method

Generalized solutions to nonlinear first order Cauchy problems

The order completion method for systems of nonlinear PDEs: Pseudo-topological perspectives

The order completion method for systems of nonlinear PDEs revisited

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

Strictly Hyperbolic Equations with Coefficients Low-Regular in Time and Smooth in Space

Difference equations associated with fully nonlinear boundary value problems for second order ordinary differential equations

Hölder Continuity of the Gradient of Solutions to Doubly Non-Linear Parabolic Equations

Convergence of the Dirichlet-Neumann method for semilinear elliptic equations

Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

Solving elliptic PDEs in unbounded domains

Hölder regularity results for parabolic nonlocal double phase problems

Semi-Regular Solutions of Integral Equations with Discontinuous Nonlinearities

Non-uniqueness of Hölder continuous solutions for stochastic Euler and Hypodissipative Navier-Stokes equations

Entire Monogenic Functions of Given Proximate Order and Continuous Homomorphisms

Nonlinear Reconstruction for Operator Learning of PDEs with Discontinuities

Solving PDEs with Incomplete Information

An elliptic problem involving critical Choquard and singular discontinuous nonlinearity

Hausdorff Measure Estimates and Lipschitz Regularity in Inhomogeneous Nonlinear Free Boundary Problems

Regularity of time-periodic solutions to autonomous semilinear hyperbolic PDEs