A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
From MaRDI portal
Publication:5347528
Recommendations
- Verified computations for solutions to semilinear parabolic equations using the evolution operator
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- scientific article; zbMATH DE number 5785599
- scientific article; zbMATH DE number 4150839
- A semigroup approach to a class of semilinear parabolic differential equations
- A verification method for solutions of nonsmooth equations
- Semigroup linearization for nonlinear parabolic equations
- Numerical verification of positiveness for solutions to semilinear elliptic problems
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- Computer-assisted proofs for semilinear elliptic boundary value problems
Cites work
- A nonlinear heat equation with singular initial data
- A numerical approach to the proof of existence of solutions for elliptic problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A posteriori error estimates in the maximum norm for parabolic problems
- Abstract parabolic evolution equations and their applications
- Constructive a priori error estimates for a full discrete approximation of the heat equation
- Critical exponents for a semilinear parabolic equation with variable reaction
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- scientific article; zbMATH DE number 4138299 (Why is no real title available?)
- scientific article; zbMATH DE number 3677120 (Why is no real title available?)
- scientific article; zbMATH DE number 1219622 (Why is no real title available?)
- scientific article; zbMATH DE number 1077323 (Why is no real title available?)
- scientific article; zbMATH DE number 1388032 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 3261884 (Why is no real title available?)
- scientific article; zbMATH DE number 3050727 (Why is no real title available?)
- Maximum norm a posteriori error estimation for parabolic problems using elliptic reconstructions
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- 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
- On the finite element method for parabolic equations. I: Approximation of homomorphic semi-groups
- On the growth of solutions of quasi‐linear parabolic equations
- Operator theory and numerical methods
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Semigroups of linear operators and applications to partial differential equations
- Superlinear parabolic problems. Blow-up, global existence and steady states
- The value of the critical exponent for reaction-diffusion equations in cones
- Validated Continuation for Equilibria of PDEs
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
Cited in
(12)- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Rigorous numerical computations for 1D advection equations with variable coefficients
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Verified computations for solutions to semilinear parabolic equations using the evolution operator
- Pointwise a posteriori error bounds for blow-up in the semilinear heat equation
- Rigorous FEM for One-Dimensional Burgers Equation
- Numerical verification of solutions for nonlinear parabolic problems
- Convergence analysis of the splitting method to the nonlinear heat equation
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier-Chebyshev expansions
This page was built for publication: A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347528)
