A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
From MaRDI portal
Publication:1032871
DOI10.1016/J.JDE.2009.06.023zbMATH Open1179.35149OpenAlexW1968663132MaRDI QIDQ1032871FDOQ1032871
Authors: D. Roth, P. Joseph Mckenna, Filomena Pacella, Michael Plum 
Publication date: 5 November 2009
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jde.2009.06.023
Recommendations
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- Uniqueness of positive solutions of semilinear elliptic equations
- Uniqueness of solutions of nonlinear Dirichlet problems
- A computer assisted study of uniqueness of ground state solutions
- A remark on the uniqueness of the positive solution for a semilinear elliptic equation
Boundary value problems for second-order elliptic equations (35J25) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91) Finite difference methods for boundary value problems involving PDEs (65N06) Error bounds for boundary value problems involving PDEs (65N15)
Cites Work
- Title not available (Why is that?)
- Some global results for nonlinear eigenvalue problems
- Bifurcation from simple eigenvalues
- Symmetry and related properties via the maximum principle
- Sublinear elliptic equations in \(\mathbb{R}{}^ n\)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Bifurcation, perturbation of simple eigenvalues, and linearized stability
- Linear and quasilinear elliptic equations
- Title not available (Why is that?)
- Global analysis for a two-dimensional elliptic eigenvalue problem with the exponential nonlinearity
- An elementary proof of the uniqueness of positive radial solutions of a quasilinear Dirichlet problem
- Uniqueness and nonuniqueness for positive radial solutions of Δu + f(u, r) = 0
- Uniqueness Of Positive Solutions Of In A Ball
- Uniqueness of solutions of nonlinear Dirichlet problems
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Title not available (Why is that?)
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle
- The effect of domain shape on the number of positive solutions of certain nonlinear equations
- New solutions of the Gelfand problem
- A uniqueness result for a semilinear elliptic equation in symmetric domains
- Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
- Uniqueness and nondegeneracy for some nonlinear elliptic problems in a ball.
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Optimale Eigenwerteinschließungen
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (15)
- Existence and orbital stability/instability of standing waves with prescribed mass for the \(L^2\)-supercritical NLS in bounded domains and exterior domains
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- A computer assisted study of uniqueness of ground state solutions
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- Rigorous FEM for One-Dimensional Burgers Equation
- Uniqueness and nondegeneracy for Dirichlet fractional problems in bounded domains via asymptotic methods
- Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
- Sign-definiteness of \(q\)-eigenfunctions for a super-linear \(p\)-Laplacian eigenvalue problem
- Families of Periodic Solutions for Some Hamiltonian PDEs
- Uniqueness and nondegeneracy of least-energy solutions to fractional Dirichlet problems
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- A posteriori verification of the positivity of solutions to elliptic boundary value problems
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
Uses Software
This page was built for publication: A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1032871)
