arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1712.08030math.AP
收藏

Validated numerical solutions for some semilinear elliptic equations on the disk

Gianni Arioli, Hans Koch

英文摘要:

Starting with approximate solutions of the equation $-Δu=wu^3$ on the disk, with zero boundary conditions, we prove that there exist true solutions nearby. One of the challenges here lies in the fact that we need simultaneous and accurate control of both the (inverse) Dirichlet Laplacean and nonlinearities. We achieve this with the aid of a computer, using a Banach algebra of real analytic functions, based on Zernike polynomials. Besides proving existence, and symmetry properties, we also determine the Morse index of the solutions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑