Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

@article{Mizuguchi2017NumericalVF,
  title={Numerical verification for existence of a global-in-time solution to semilinear parabolic equations},
  author={Makoto Mizuguchi and Akitoshi Takayasu and Takayuki Kubo and Shin'ichi Oishi},
  journal={J. Comput. Appl. Math.},
  year={2017},
  volume={315},
  pages={1-16}
}

Figures and Tables from this paper

A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory

TLDR
A recursive scheme to extend a time interval in which the validity of the solution can be verified and the existence of a global-in-time solution is demonstrated for a certain semilinear parabolic equation.

Numerical Verification of Solutions for Nonlinear Parabolic Problems

TLDR
A numerical verification method of solutions for nonlinear parabolic initial boundary value problems based on Nakao's projection method based on the full-discrete finite element method with constructive error estimates is presented.

Accurate method of verified computing for solutions of semilinear heat equations

We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact

Rigorous numerics for nonlinear heat equations in the complex plane of time

In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. Using a solution map operator, we

Pointwise a Posteriori Error Bounds for Blow-Up in the Semilinear Heat Equation

TLDR
Conditional a posteriori error bounds are derived in the first order in time, implicit-explicit (IMEX), conforming finite element method in space discretization of the problem.

Rigorous numerical computations for 1D advection equations with variable coefficients

TLDR
The provided method is regarded as an efficient application of semigroup theory in a sequence space associated with the Fourier series of unknown functions as well as a foundational approach of verified numerical computations for hyperbolic PDEs.

A Rigorous Implicit $$C^1$$ C 1 Chebyshev Integrator for Delay Equations

We present a new approach to validated numerical integration for systems of delay differential equations. We focus on the case of a single constant delay though the method generalizes to systems with

Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method

This paper describes a numerical verification method for positive solutions of the Allen–Cahn equation on the basis of the suband super-solution method. Our application range extends to

Rigorous FEM for 1D Burgers equation

We propose a method to integrate dissipative PDEs rigorously forward in time with the use of Finite Element Method (FEM). The technique is based on the Galerkin projection on the FEM space and

References

SHOWING 1-10 OF 26 REFERENCES

A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory

TLDR
A recursive scheme to extend a time interval in which the validity of the solution can be verified and the existence of a global-in-time solution is demonstrated for a certain semilinear parabolic equation.

A numerical approach to the proof of existence of solutions for elliptic problems

In this paper, we describe a method which proves by computers the existence of weak solutions for linear elliptic boundary value problems of second order. It is shown that we can constitute the

On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

TLDR
This work considers the guaranteed a posteriori estimates for the inverse parabolic operators with homogeneous initial-boundary conditions and derives an a posterioru estimate of the norm for the infinite-dimensional operator.

Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation

TLDR
The constructive a priori error estimates for a full discrete numerical solution of the heat equation based on the finite element Galerkin method with an interpolation in time that uses the fundamental solution for semidiscretization in space are considered.

A numerical approach to the proof of existence of solutions for elliptic problems II

This paper is a continuation of the preceding study ([2]) in which we described an automatic proof by computer, utilizing Schauder’s fixed point theorem, of the existence of weak solutions for

Geometry of unbounded domains,poincaré inequalities and stability in semilinear parabolic equations

We investigate thc close relations existing between certain geometric properties of domains Ω of RN, the validity of Poincark inequalities in Ω, and the behavior of solutions of semilinear parabolic

On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems

TLDR
A new technique for obtaining the estimates of the inverse operator by using the finite dimensional approximation and error estimates enables us to obtain very sharp bounds compared with a priori estimates.

On the existence and nonexistence of global solutions of reaction-diffusion equations in sectorial domains

In this paper we study the first initial-boundary value problem for ut = Au + uP in conical domains D = (0, oo) x Q c RN where Q c SN-I is an open connected manifold with boundary. We obtain some

Blow-up of solutions of semilinear parabolic differential equations

For a semilinear parabolic initial boundary value problem we establish criterions on blow-up of the solution in finite time and give bounds for the blow-up time. We treat several applications in both

A computer-assisted proof for the pattern formation on reaction-diffusion systems

In this paper we give a method by computer-assistance to prove a pattern formation. As a typical model we consider two dimensional time-dependent reaction-diffusion equations with Neumann boundary