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

DOI10.1137/141001664zbMath1362.65106OpenAlexW2609219101MaRDI QIDQ5347528

Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi

Publication date: 24 May 2017

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2241/00146623

zbMATH Keywords

verified numerical computationssemilinear parabolic initial-boundary value problemsexistence and local uniqueness

Mathematics Subject Classification ID

Initial-boundary value problems for second-order parabolic equations (35K20) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15)

Related Items

Rigorous numerics for nonlinear heat equations in the complex plane of time, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Convergence analysis of the splitting method to the nonlinear heat equation, Numerical verification for existence of a global-in-time solution to semilinear parabolic equations, Pointwise a Posteriori Error Bounds for Blow-Up in the Semilinear Heat Equation, Rigorous numerical computations for 1D advection equations with variable coefficients, Rigorous FEM for One-Dimensional Burgers Equation, Rigorous numerical inclusion of the blow-up time for the Fujita-type equation

Uses Software

• INTLAB

Cites Work

• On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
• The value of the critical exponent for reaction-diffusion equations in cones
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Semigroups of linear operators and applications to partial differential equations
• On the finite element method for parabolic equations. I: Approximation of homomorphic semi-groups
• A nonlinear heat equation with singular initial data
• On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
• On the differentiability and the representation of one-parameter semi-group of linear operators
• Maximum Norm A Posteriori Error Estimation for Parabolic Problems Using Elliptic Reconstructions
• Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation
• Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
• Critical exponents for a semilinear parabolic equation with variable reaction
• A numerical approach to the proof of existence of solutions for elliptic problems
• Validated Continuation for Equilibria of PDEs
• A Posteriori Error Estimates in the Maximum Norm for Parabolic Problems
• Abstract Parabolic Evolution Equations and their Applications
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• On the growth of solutions of quasi‐linear parabolic equations
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item