Related papers: Proving periodic solutions and branches in the 2D …
In this article, we extend the framework developed in \cite{unbounded_domain_cadiot} to allow for rigorous proofs of existence of smooth, localized solutions in semi-linear partial differential equations possessing both space and non-space…
In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semi-linear PDEs in a Hilbert space $H^{l}\subset H^{s}(\mathbb{R}^{m})$ ($s\geq1$) via computer-assisted proofs.…
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we…
Quasipatterns (two-dimensional patterns that are quasiperiodic in any spatial direction) remain one of the outstanding problems of pattern formation. As with problems involving quasiperiodicity, there is a small divisor problem. In this…
In this paper, we study the existence of random periodic solutions for semilinear SPDEs on a bounded domain with a smooth boundary. We identify them as the solutions of coupled forward-backward infinite horizon stochastic integral equations…
When two-dimensional pattern-forming problems are posed on a periodic domain, classical techniques (Lyapunov-Schmidt, equivariant bifurcation theory) give considerable information about what periodic patterns are formed in the transition…
Dozens of exponential integration formulas have been proposed for the high-accuracy solution of stiff PDEs such as the Allen-Cahn, Korteweg-de Vries and Ginzburg-Landau equations. We report the results of extensive comparisons in MATLAB and…
The development of functions of real variables in Taylor and Frobenius series (whole series which are formed in nonorthogonal, nonperiodic bases), in sinusoidal Fourier series (bases of orthogonal, periodic functions), in series of special…
Spectral methods for solving partial differential equations (PDEs) and stochastic partial differential equations (SPDEs) often use Fourier or polynomial spectral expansions on either uniform and non-uniform grids. However, while very widely…
In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations on hyper-rectangular domains via semigroup theory and computer-assisted proofs.…
We extend the pseudoholomorphic curve methods from Floer theory to infinite-dimensional phase spaces and use our results to prove the existence of a forced time-periodic solution to a general Hamiltonian PDE with regularizing nonlinearity.…
Rational solutions of partial differential equations (PDEs) are notoriously difficult to approximate via spectral Fourier methods due to their algebraically slow decay rate. In this work we discuss approximating rational PDE solutions in a…
In this article, we present a comprehensive framework for constructing smooth, localized solutions in systems of semi-linear partial differential equations, with a particular emphasis to the Gray-Scott model. Specifically, we construct a…
We develop a triangular formulation of the hierarchical Poincar\'e-Steklov (HPS) method for elliptic partial differential equations on surfaces, allowing high-order discretizations on unstructured meshes and complex geometries. Classical…
Integrating evolutionary partial differential equations (PDEs) is an essential ingredient for studying the dynamics of the solutions. Indeed, simulations are at the core of scientific computing, but their mathematical reliability is often…
In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…
We consider the symmetry-breaking steady state bifurcation of a spatially-uniform equilibrium solution of E(2)-equivariant PDEs. We restrict the space of solutions to those that are doubly-periodic with respect to a square or hexagonal…
This work focuses on the numerical approximations of random periodic solutions of stochastic differential equations (SDEs). Under non-globally Lipschitz conditions, we prove the existence and uniqueness of random periodic solutions for the…
We prove the existence of time-periodic solutions to non-linear massive Klein-Gordon equations in Anti-de Sitter as well as their orbital stability over exponentially long times for certain values of the mass corresponding to completely…
The 1-2-3 conjecture has been solved positively in 2024 for finite graphs and by extension for infinite graphs which are locally finite. The solution is non-constructive, and finding explicit solutions for large (or infinite) graphs is very…