[论文解读] Floating Bodies of Equilibrium in Three Dimensions. The central symmetric case

Franz Wegner|ArXiv.org|Mar 7, 2008

Mathematics and Applications参考文献 9被引用 3

一句话总结

本文研究了在任意方向下均能保持平衡的三维中心对称物体，将乌拉姆问题从球体推广至非球体。通过球谐函数展开和非线性形状方程，证明当相对密度 $\rho = \frac{1}{2}$ 时，若允许存在孔洞，则存在非球形解；当 $\rho \ne \frac{1}{2}$ 时，通过形式微扰展开可得出大量变形球体解，前提是关联勒让德函数无退化零点。

ABSTRACT

Three-dimensional central symmetric bodies different from spheres that can float in all orientations are considered. For relative density rho=1/2 there are solutions, if holes in the body are allowed. For rho different from 1/2 the body is deformed from a sphere. A set of nonlinear shape-equations determines the shape in lowest order in the deformation. It is shown that a large number of solutions exists. An expansion scheme is given, which allows a formal expansion in the deformation to arbitrary order under the assumption that apart from x=0,+1,-1 there is no x, which obeys P_{p,2}(x)=0 for two different integer ps, where P are Legendre functions.

研究动机与目标

• 确定是否存在非球形、中心对称的三维物体，其在所有方向下均能保持随遇平衡，从而将乌拉姆问题从球体推广至更一般情形。
• 分析任意相对密度 $\rho \ne \frac{1}{2}$ 时浮体平衡解的存在性与结构，超越已知的二维情形。
• 推导并求解控制此类物体从球体发生形变的非线性形状方程，方法为球谐函数展开。
• 建立一个形式微扰展开方案，用于确定浮体形状，其有效性基于如下条件：不存在 $\theta_0$ 使得 $P_{p,-2}^{(\text{odd})}(\cos\theta_0) = 0$ 对两个不同的 $p$ 同时成立。
• 探讨对称性（特别是镜像对称与反演对称）在浮体问题解的构造中的作用。

提出的方法

• 将浮体的形状在球体附近展开为球谐函数，形变以质心为参考测量。
• 在浸没体积与浮力体积恒定的约束下最小化势能，导出质心位于球面上的条件。
• 推导一阶与二阶形变下的非线性形状方程，涉及关联合流多项式与勒让德多项式展开的系数。
• 在对称性假设下（如旋转对称与镜像对称）分析方程，将解限制为在 O(3) 的子群作用下不变的形式。
• 构建高阶修正项的形式展开方案，假设 $P_{p,-2}(\cos\theta_0)$ 的零点在不同 $p$ 之间无退化，以确保可解性。
• 使用罗德里格斯公式与关联合流多项式的递推关系，计算展开式中的系数，特别是 $G^{(d/2-1)}_{2n}(x)$。

实验结果

研究问题

• RQ1 是否存在非球形、中心对称的三维物体，在相对密度 $\rho = \frac{1}{2}$ 时，能在所有方向下保持随遇平衡？
• RQ2 当 $\rho \ne \frac{1}{2}$ 时，此类浮体是否可能存在？若存在，其形状受何种约束？
• RQ3 决定球体形变为平衡浮体的非线性形状方程的结构为何？
• RQ4 物体的对称性（特别是镜像对称与反演对称）如何影响解的存在性与形式？
• RQ5 能否构建一个形式微扰展开，以任意阶次确定此类物体的形状？

主要发现

• 当 $\rho = \frac{1}{2}$ 时，若物体中存在孔洞，则存在非球形解，表明此时球体并非唯一满足平衡条件的浮体。
• 当 $\rho \ne \frac{1}{2}$ 时，物体从球体发生形变，其形状由球谐函数展开导出的非线性形状方程所控制。
• 在对称性假设下，特别是当物体在 O(3) 的子群作用下不变时，可找到大量形状方程的解，导致镜像对称的形状。
• 二阶形状方程仅允许那些在相同谐函数模态上的平方投影与原形变成比例的形变，这限制了解仅存在于偶数 $p$ 的情形，以保持中心对称性。
• 形式展开方案在假设不存在 $\theta_0 \in (-1,1)$ 使得 $P_{p,-2}(\cos\theta_0) = 0$ 对两个不同 $p$ 同时成立的前提下有效，从而保证解的非退化性。
• 数值检验表明，与系数 $\gamma$ 的分母相关的函数 $K_p(x)$ 在实数 $x$ 上至 $p=36$ 均为严格正数，支持展开式的正则性。