Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
From MaRDI portal
Publication:6058476
DOI10.1088/1361-6544/ad0278zbMath1528.35046arXiv2211.16445OpenAlexW4388093798MaRDI QIDQ6058476
Jean-Philippe Lessard, Jan Bouwe Van Den Berg, Olivier Hénot
Publication date: 1 November 2023
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2211.16445
semilinear elliptic systemscomputer-assisted proofexistence of localised radially symmetric solutions
Existence problems for PDEs: global existence, local existence, non-existence (35A01) Semilinear elliptic equations (35J61) Second-order elliptic systems (35J47)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonlinear scalar field equations. II: Existence of infinitely many solutions
- Nonlinear scalar field equations. I: Existence of a ground state
- Radial solutions of \(\Delta u+f(u)=0\) with prescribed numbers of zeros
- Uniqueness of positive solutions of semilinear equations in \(R^ n\).
- Uniqueness of non-negative solutions of semilinear equations in \({\mathbb{R}}^ n\)
- Uniqueness of positive radial solutions of \(\Delta u+f(u)=0\) in \({\mathbb{R}}^ n\)
- Classification of solutions of some nonlinear elliptic equations
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- On the asymptotic behavior and radial symmetry of positive solutions of semilinear elliptic equations in \({\mathbb{R}{}}^ n\). II: Radial symmetry
- Existence of solitary waves in higher dimensions
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Symmetry results for semilinear elliptic systems in the whole space
- Existence of entire large positive solutions of semilinear elliptic systems
- A rigorous ODE solver and Smale's 14th problem
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- On polynomial forms of nonlinear functional differential equations
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Automatic differentiation for Fourier series and the radii polynomial approach
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Computer-assisted proofs in PDE: a survey
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Uniqueness of the ground state solution for \(\Delta u - u + u^3=0\) and a variational characterization of other solutions
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Connecting Orbits for a Singular Nonautonomous Real Ginzburg--Landau Type Equation
- Rigorous Numerics in Dynamics
- Julia: A Fresh Approach to Numerical Computing
- Asymptotic symmetry and local behavior of semilinear elliptic equations with critical sobolev growth
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Localized radial solutions of the Swift–Hohenberg equation
- On the Infinitely Many Solutions of a Semilinear Elliptic Equation
- A shooting argument with oscillation for semilinear elliptic radially symmetric equations
- A computer-assisted proof of the Feigenbaum conjectures
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Asymptotic behaviour of ground states
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
