Computer-assisted proofs for radially symmetric solutions of PDEs

DOI10.3934/jcd.2018003zbMath1409.35017MaRDI QIDQ1728241

Xianqiang Yang

Publication date: 22 February 2019

Published in: Journal of Computational Dynamics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/jcd.2018003

zbMATH Keywords

Taylor series; contraction mapping theorem; geometric elliptic PDEs on manifolds

Mathematics Subject Classification ID

35K57: Reaction-diffusion equations

65G40: General methods in interval analysis

35A35: Theoretical approximation in context of PDEs

41A58: Series expansions (e.g., Taylor, Lidstone series, but not Fourier series)

65G20: Algorithms with automatic result verification

65M99: Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems

58C15: Implicit function theorems; global Newton methods on manifolds

35J61: Semilinear elliptic equations

Uses Software

• Matlab
• INTLAB
• CAPD
• RODES