Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems

DOI10.14232/ACTACYB.24.3.2020.6MaRDI QIDQ5126109zbMATH OpenOpenAlexWikidataFDO

Authors Jonathan Wunderlich, Michael Plum

Publication date 2 October 2020

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.24.3.2020.6

zbMATH Keywords

computer-assisted proofenclosureexistenceSchrödinger-Poisson system

Mathematics Subject Classification ID

Schrödinger operator, Schrödinger equation (35J10) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Computer-assisted existence proofs for two-point boundary value problems
• Computer-assisted existence and uniqueness proofs for semilinear elliptic boundary value problems
• Computer-assisted proofs in PDE: a survey
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Existence of ground state solutions for the Schrödinger-Poisson systems
• Computer-assisted proofs for radially symmetric solutions of PDEs
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Existence and nonexistence of solutions for Schrödinger-Poisson problems
• On the existence of solutions for the Schrödinger-Poisson equations

This page was built for publication: Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5126109)