Verified computations for solutions to semilinear parabolic equations using the evolution operator

DOI10.1007/978-3-319-32859-1_18zbMATH Open1460.35216OpenAlexW2467319032MaRDI QIDQ2807837FDOQ2807837

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

Publication date: 25 May 2016

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_18

Recommendations

• A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
• scientific article; zbMATH DE number 5785599
• Numerical existence and uniqueness proof for solutions of semilinear parabolic equations
• Numerical verification of solutions for nonlinear parabolic problems

Mathematics Subject Classification ID

Existence problems for PDEs: global existence, local existence, non-existence (35A01) Initial-boundary value problems for second-order parabolic equations (35K20) Semilinear parabolic equations with Laplacian, bi-Laplacian or poly-Laplacian (35K91)

Cited In (5)

• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
• A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory

This page was built for publication: Verified computations for solutions to semilinear parabolic equations using the evolution operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807837)