Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator

DOI10.1007/978-3-319-32859-1_18zbMath1460.35216OpenAlexW2467319032MaRDI QIDQ2807837

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

Mathematics Subject Classification ID

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

Related Items (1)

A rigorous implicit \(C^1\) Chebyshev integrator for delay equations

This page was built for publication: Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator