arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2302.06313math.AP
收藏

使得固支板瑞利猜想成立的充分条件

Sufficient conditions yielding the Rayleigh Conjecture for the clamped plate

Roméo Leylekian

AI总结:

针对d≥4维空间中固支板瑞利猜想未解决的问题,本文基于降阶原理,提出两个使猜想成立的充分条件,同时提供形状导数工具并显式计算球体主特征函数。

摘要:

双调和算子的瑞利猜想旨在证明,具有最小主特征值的固支板的形状为球体。1995年,Nadirashvili证明了该猜想在二维空间成立,Ashbaugh和Benguria证明了其在三维空间成立。此后,该猜想在d≥4维空间中仍处于未解决状态。本文对这一问题的解答做出了贡献,证明了只要最优形状的主特征函数满足某个特殊条件,该猜想在任意维度下都成立。该条件与特征函数的平均值相关,要求其在某种意义下是最小的。这一主要结果基于降阶原理,该原理可将初始的四阶线性问题转化为二阶仿射问题,从而可以运用形状优化和椭圆理论的经典方法。降阶原理被证明是一种通用工具,尤其可用于推导猜想成立的另一个充分条件,这是本文的第二项主要结果,该条件要求最优特征函数的拉普拉斯算子在边界上具有恒定法向导数。除了两项主要结果外,本文还详述了形状导数工具,这些工具可用于证明最优形状主特征值的单性并推导最优性条件。最后,由于第一项结果涉及球体的主特征函数,我们对其进行了显式计算。

英文摘要:

The Rayleigh Conjecture for the bilaplacian consists in showing that the clamped plate with least principal eigenvalue is the ball. The conjecture has been shown to hold in 1995 by Nadirashvili in dimension $2$ and by Ashbaugh and Benguria in dimension $3$. Since then, the conjecture remains open in dimension $d\geq 4$. In this paper, we contribute to answer this question, and show that the conjecture is true in any dimension as long as some special condition holds on the principal eigenfunction of an optimal shape. This condition regards the mean value of the eigenfunction, asking it to be in some sense minimal. This main result is based on an order reduction principle allowing to convert the initial fourth order linear problem into a second order affine problem, for which the classical machinery of shape optimization and elliptic theory is available. The order reduction principle turns out to be a general tool. In particular, it is used to derive another sufficient condition for the conjecture to hold, which is a second main result. This condition requires the Laplacian of the optimal eigenfunction to have constant normal derivative on the boundary. Besides our main two results, we detail shape derivation tools allowing to prove simplicity for the principal eigenvalue of an optimal shape and to derive optimality conditions. Eventually, because our first result involves the principal eigenfunction of a ball, we are led to compute it explicitly.

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

↑