Related papers: Rigorous computation of solutions of semi-linear P…

We develop computer-assisted tools to study semilinear equations of the form \begin{equation*} -\Delta u -\frac{x}{2}\cdot \nabla{u}= f(x,u,\nabla u) ,\quad x\in\mathbb{R}^d. \end{equation*} Such equations appear naturally in several…

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.…

In this article, we enforce space group symmetries in Fourier series to rigorously prove the existence of smooth, periodic solutions in partial differential equations (PDEs) with hexagonal and triangular symmetries. In particular, we…

We consider the stability analysis of a large class of linear 1-D PDEs with polynomial data. This class of PDEs contains, as examples, parabolic and hyperbolic PDEs, PDEs with boundary feedback and systems of in-domain/boundary coupled…

The main goal of this dissertation is to find conditions which will guarantee the existence of solutions in the Hilbert space $H$ of semilinear equation \[ L u+N(u)=h \] where $L$ is a linear and self-adjoint operator, $N$ a non-linear…

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…

This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few…

We study a semilinear hyperbolic system of PDEs which arises as a continuum approximation of the discrete nonlinear dimer array model introduced by Hadad, Vitelli and Alu (HVA) in \cite{HVA17}. We classify the system's traveling waves, and…

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 prove small-data global existence to semi-linear wave equations on hyperbolic space of dimension greater than or equal to three, for nonlinearities that have the form of a sufficiently high integer power of the solution. We also prove…

We study the Cauchy problem for a semilinear stochastic partial differential equation driven by a finite-dimensional Wiener process. In particular, under the hypothesis that all the coefficients are sufficiently smooth and have bounded…

We deal with a class of semilinear parabolic PDEs on the space of continuous functions that arise, for example, as Kolmogorov equations associated to the infinite-dimensional lifting of path-dependent SDEs. We investigate existence of…

This paper develops and analyzes a fully discrete finite element method for a class of semilinear stochastic partial differential equations (SPDEs) with multiplicative noise. The nonlinearity in the diffusion term of the SPDEs is assumed to…

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…

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…

We consider the problem of existence and uniqueness of strong a.e. solutions $u: \mathbb{R}^n \longrightarrow \mathbb{R}^N$ to the fully nonlinear PDE system \[\label{1} \tag{1} F(\cdot,D^2u ) \,=\, f, \ \ \text{ a.e. on }\mathbb{R}^n, \]…

This paper aims to investigate the numerical approximation of semilinear non-autonomous stochastic partial differential equations (SPDEs) driven by multiplicative or additive noise. Such equations are more realistic than autonomous SPDEs…

We consider a wide class of semi linear Hamiltonian partial differential equa- tions and their approximation by time splitting methods. We assume that the nonlinearity is polynomial, and that the numerical tra jectory remains at least uni-…

We prove the existence of time-periodic, small amplitude solutions of autonomous quasilinear or fully nonlinear completely resonant pseudo-PDEs of Benjamin-Ono type in Sobolev class. The result holds for frequencies in a Cantor set that has…

In this paper, we present a computer-assisted framework for constructive proofs of existence for stationary solutions to one-dimensional parabolic PDEs and the rigorous determination of their linear stability. By expanding solutions in…