Related papers: A rigorous integrator and global existence for hig…
Simulations of the dynamics generated by partial differential equations (PDEs) provide approximate, numerical solutions to initial value problems. Such simulations are ubiquitous in scientific computing, but the correctness of the results…
This paper presents a novel approach to rigorously solving initial value problems for semilinear parabolic partial differential equations (PDEs) using fully spectral Fourier-Chebyshev expansions. By reformulating the PDE as a system of…
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 introduce a new approach to compute rigorously solutions of Cauchy problems for a class of semi-linear parabolic partial differential equations. Expanding solutions with Chebyshev series in time and Fourier series in space,…
Exponential integrators based on contour integral representations lead to powerful numerical solvers for a variety of ODEs, PDEs, and other time-evolution equations. They are embarrassingly parallelizable and lead to global-in-time…
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 propose a semigroup method for solving high-dimensional elliptic partial differential equations (PDEs) and the associated eigenvalue problems based on neural networks. For the PDE problems, we reformulate the original…
In this paper, we propose an efficient exponential integrator finite element method for solving a class of semilinear parabolic equations in rectangular domains. The proposed method first performs the spatial discretization of the model…
In this paper we study the quasilinear nondiagonal parabolic type systems. We assume that the principal elliptic operator, which is part of the parabolic system, has a divergence structure. Under certain conditions it is proved the…
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…
Reducibility methods, aiming to simplify systems by conjugating them to those with constant coefficients, are crucial for studying the existence of quasiperiodic solutions. In KAM theory for PDEs, these methods help address the…
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 develop a numerical scheme for the space-time fractional parabolic equation, i.e., an equation involving a fractional time derivative and a fractional spatial operator. Both the initial value problem and the…
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…
This paper is devoted to the construction of exponential integrators of first and second order for the time discretization of constrained parabolic systems. For this extend, we combine well-known exponential integrators for unconstrained…
This thesis pertains to the study of elliptic and parabolic partial differential equations on "thin" structures. The first main objective is to establish the strong and weak low-dimensional counterparts of the parabolic Neumann problem. The…
We present a general method of solving the Cauchy problem for multidimensional parabolic (diffusion type) equation with variable coefficients which depend on spatial variable but do not change over time. We assume the existence of the…
We use the framework of Colombeau algebras of generalized functions to study existence and uniqueness of global generalized solutions to mixed non-local problems for a semilinear hyperbolic system. Coefficients of the system as well as…
We study the numerical approximation of a coupled hyperbolic-parabolic system by a family of discontinuous Galerkin space-time finite element methods. The model is rewritten as a first-order evolutionary problem that is treated by the…
This article deals with the study of a non-local one-dimensional quasilinear problem with continuous forcing. We use a time-reparameterization to obtain a semilinear problem and study a more general equation using semigroup theory. The…