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

无界L型区域上Emden方程存在性的计算机辅助证明

A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain

Filomena Pacella, Michael Plum, Dagmar Rütters

摘要:

我们证明了存在性,非退化,并在无穷远的非平凡的解决方案埃姆登的方程$-Δu = | u |^3$上的一个无界的$L$形域,Dirichlet边界条件的指数衰减。除了这个结果的直接价值,我们也把这个解决方案作为一个积木的解决方案扩大有界域的角落,建立在未来的工作。我们的证明大量使用计算机辅助:从一个数值近似解开始,我们使用一个不动点参数来证明附近的精确解的存在性。在证明过程中建立的特征值界也意味着解的非退化性。

英文摘要:

We prove existence, non-degeneracy, and exponential decay at infinity of a non-trivial solution to Emden's equation $-Δu = | u |^3$ on an unbounded $L$-shaped domain, subject to Dirichlet boundary conditions. Besides the direct value of this result, we also regard this solution as a building block for solutions on expanding bounded domains with corners, to be established in future work. Our proof makes heavy use of computer assistance: Starting from a numerical approximate solution, we use a fixed-point argument to prove existence of a near-by exact solution. The eigenvalue bounds established in the course of this proof also imply non-degeneracy of the solution.

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

↑