Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476)

scientific article; zbMATH DE number 7758701

Language	Label	Description	Also known as
English	Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd	scientific article; zbMATH DE number 7758701

Statements

instance of

scholarly article

0 references

title

Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (English)

0 references

author

Jan Bouwe Van Den Berg

0 references

Olivier Hénot

0 references

Jean-Philippe Lessard

0 references

published in

Nonlinearity

0 references

publication date

1 November 2023

0 references

full work available at URL

https://arxiv.org/abs/2211.16445

0 references

zbMATH Keywords

semilinear elliptic systems

0 references

existence of localised radially symmetric solutions

0 references

computer-assisted proof

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q3923023

0 references

Asymptotic symmetry and local behavior of semilinear elliptic equations with critical sobolev growth

0 references

Classification of solutions of some nonlinear elliptic equations

0 references

Existence of solitary waves in higher dimensions

0 references

Nonlinear scalar field equations. I: Existence of a ground state

0 references

Nonlinear scalar field equations. II: Existence of infinitely many solutions

0 references

Q5328310

0 references

On the Infinitely Many Solutions of a Semilinear Elliptic Equation

0 references

A shooting argument with oscillation for semilinear elliptic radially symmetric equations

0 references

Radial solutions of \(\Delta u+f(u)=0\) with prescribed numbers of zeros

0 references

On the asymptotic behavior and radial symmetry of positive solutions of semilinear elliptic equations in \({\mathbb{R}{}}^ n\). II: Radial symmetry

0 references

Uniqueness of positive radial solutions of \(\Delta u+f(u)=0\) in \({\mathbb{R}}^ n\)

0 references

Uniqueness of the ground state solution for \(\Delta u - u + u^3=0\) and a variational characterization of other solutions

0 references

Uniqueness of positive solutions of semilinear equations in \(R^ n\).

0 references

Uniqueness of non-negative solutions of semilinear equations in \({\mathbb{R}}^ n\)

0 references

Symmetry results for semilinear elliptic systems in the whole space

0 references

Existence of entire large positive solutions of semilinear elliptic systems

0 references

Asymptotic behaviour of ground states

0 references

Q4219729

0 references

Q4393225

0 references

Localized radial solutions of the Swift–Hohenberg equation

0 references

Q5472808

0 references

Connecting Orbits for a Singular Nonautonomous Real Ginzburg--Landau Type Equation

0 references

Computer-assisted proofs for radially symmetric solutions of PDEs

0 references

Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach

0 references

Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem

0 references

Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach

0 references

Q3144574

0 references

Julia: A Fresh Approach to Numerical Computing

0 references

Q3935355

0 references

Automatic differentiation for Fourier series and the radii polynomial approach

0 references

On polynomial forms of nonlinear functional differential equations

0 references

A computer-assisted proof of the Feigenbaum conjectures

0 references

A rigorous ODE solver and Smale's 14th problem

0 references

Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.

0 references

Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems

0 references

Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof

0 references

Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

0 references

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

0 references

Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation

0 references

STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE

0 references

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

0 references

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

0 references

Q5198996

0 references

Rigorous Numerics in Dynamics

0 references

Computer-assisted proofs in PDE: a survey

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

0 references

Rigorous numerics for ODEs using Chebyshev series and domain decomposition

0 references

Identifiers

zbMATH Open document ID

1528.35046

0 references

arXiv ID

2211.16445

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

10.1088/1361-6544/AD0278

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6058476