A computer assisted proof of the symmetries of least energy nodal solutions on squares

zbMath1490.35112arXiv2102.07596MaRDI QIDQ5074280

Christophe Troestler, Ariel Martin Salort

Publication date: 9 May 2022

Full work available at URL: https://arxiv.org/abs/2102.07596

zbMATH Keywords

Dirichlet conditionLane-Emden equation on a squaresymmetries of the least energy solutions

Mathematics Subject Classification ID

Boundary value problems for second-order elliptic equations (35J25) Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Symmetries, invariants, etc. in context of PDEs (35B06) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval analysis and automatic result verification
• On a class of non-linear integral equations
• Partial symmetry of least energy nodal solutions to some variational problems
• Principles of verified numerical integration
• Symmetry and related properties via the maximum principle
• A sign-changing solution for a superlinear Dirichlet problem
• Real analyticity and non-degeneracy
• Rump's example revisited
• Qualitative properties of nodal solutions of semilinear elliptic equations in radially symmetric domains
• Dual variational methods in critical point theory and applications
• ASYMPTOTICS AND SYMMETRIES OF LEAST ENERGY NODAL SOLUTIONS OF LANE–EMDEN PROBLEMS WITH SLOW GROWTH
• Introduction to Interval Analysis
• On the shape of solutions of an asymptotically linear problem

This page was built for publication: A computer assisted proof of the symmetries of least energy nodal solutions on squares