Computer-assisted proofs for radially symmetric solutions of PDEs
type: Item
instance of: scholarly article
title: Computer-assisted proofs for radially symmetric solutions of PDEs
zbMATH Open document ID: 1409.35017
author: Xianqiang Yang
published in: Journal of Computational Dynamics
publication date: 2019-02-22T00:00:00Z
Mathematics Subject Classification ID: 35A35
Mathematics Subject Classification ID: 41A58
Mathematics Subject Classification ID: 65M99
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65G40
Mathematics Subject Classification ID: 35K57
Mathematics Subject Classification ID: 58C15
Mathematics Subject Classification ID: 35J61
zbMATH DE Number: 7027710
zbMATH Keywords: geometric elliptic PDEs on manifolds
zbMATH Keywords: Taylor series
zbMATH Keywords: contraction mapping theorem
describes a project that uses: INTLAB
describes a project that uses: RODES
describes a project that uses: Matlab
describes a project that uses: CAPD
MaRDI profile type: Publication
full work available at URL: jcd.2018003
OpenAlex ID: W2896220636
cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
cites work: Integration of Dissipative Partial Differential Equations: A Case Study
cites work: Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
cites work: The Set of Degenerate Central Configurations in the Planar Restricted Four-Body Problem
cites work: Bifurcations and Enumeration of Classes of Relative Equilibria in the Planar Restricted Four-Body Problem
cites work: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
cites work: Hill's approximation in a restricted four-body problem
cites work: Infinitely Many Rotationally Symmetric Solutions to a Class of Semilinear Laplace–Beltrami Equations on Spheres
cites work: Q5341132
cites work: Functional analysis and Galerkin's method
cites work: A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
cites work: A computer-assisted proof of the Feigenbaum conjectures
cites work: On the central configurations of the planar restricted four-body problem
cites work: On the Existence of Positive Solutions of Semilinear Elliptic Equations
cites work: Snaking of radial solutions of the multi-dimensional Swift-Hohenberg equation: a numerical study
cites work: Introduction to Interval Analysis
cites work: NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
cites work: Q4949347
cites work: Verification methods: rigorous results using floating-point arithmetic
cites work: Radially symmetric patterns of reaction-diffusion systems
cites work: Relative equilibrium solutions in the four body problem
cites work: A rigorous ODE solver and Smale's 14th problem
cites work: Q5198996
cites work: Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
cites work: Rigorous numerics in dynamics
cites work: Global smooth solution curves using rigorous branch following
cites work: Spots, traps, and patches: asymptotic analysis of localized solutions to some linear and nonlinear diffusive systems
cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
cites work: Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
cites work: Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
DOI: 10.3934/JCD.2018003
description: scientific article; zbMATH DE number 7027710