A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
From MaRDI portal
Publication:2974076
DOI10.1142/S0219199717500055zbMath1367.35080arXiv1601.01543OpenAlexW2963595005MaRDI QIDQ2974076
Dagmar Rütters, Filomena Pacella, Michael Plum
Publication date: 6 April 2017
Published in: Communications in Contemporary Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1601.01543
Related Items (7)
Non-radial solutions for some semilinear elliptic equations on the disk ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane ⋮ Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Finite element approximation of invariant manifolds by the parameterization method
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A geometric data structure for parallel finite elements and the application to multigrid methods with block smoothing
- Self-focusing multibump standing waves in expanding waveguides
- Asymptotically radial solutions in expanding annular domains
- A computer-assisted proof for photonic band gaps
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- The nonlinear Schrödinger equation. Self-focusing and wave collapse
- Nonlinear elliptic equations on expanding symmetric domains
- Existence of many positive solutions of semilinear equations on annulus
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Eigenvalue inclusions via domain decomposition
- Alternating Sign Multibump Solutions of Nonlinear Elliptic Equations in Expanding Tubular Domains
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- MULTIBUMP SOLUTIONS FOR AN ELLIPTIC PROBLEM IN EXPANDING DOMAINS
- On kernels, eigenvalues, and eigenfunctions of operators related to elliptic problems
This page was built for publication: A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
