[论文解读] Floating Bodies of Equilibrium. Explicit Solution

Franz Wegner|ArXiv.org|Mar 20, 2006

Spacecraft Dynamics and Control参考文献 3被引用 7

一句话总结

本文为密度均匀、在任意方向下均处于平衡状态的二维浮体问题提供了显式解析解，排除了相对密度 $\rho = \frac{1}{2}$ 的情况。通过涉及魏尔斯特拉斯椭圆函数的极坐标微分方程，作者推导出具有二面体对称性的封闭曲线，这些曲线在面积比例为 $\rho$ 和 $1-\rho$ 时保持弦长恒定，从而同时解决了非圆形形状的浮体问题与自行车胎痕问题。

ABSTRACT

Explicit solutions of the two-dimensional floating body problem (bodies that can float in all positions) for relative density rho different from 1/2 and of the tire track problem (tire tracks of a bicycle, which do not allow to determine, which way the bicycle went) are given, which differ from circles. Starting point is the differential equation given in archive physics/0205059 and Studies in Appl. Math. 111 (2003) 167-183.

研究动机与目标

• 解决相对密度 $\rho \neq \frac{1}{2}$ 的二维浮体问题，扩展阿乌布赫对 $\rho = \frac{1}{2}$ 的研究。
• 构造显式非圆形曲线，使其在任意方向下均保持浸没面积与露出面积分数恒定。
• 建立浮体问题与胎痕问题之间的直接对应关系，即自行车轨迹无法揭示行驶方向。
• 严格推导微分方程 $\frac{1}{\sqrt{r^2 + r'^2}} = a r^2 + b + c r^{-2}$，并证明其解满足所需的几何不变性。
• 证明解为封闭曲线，具有足够的严格凸性，并具备 $D_p$ 对称性，使得同一根弦长可支持多种密度。

提出的方法

• 基于弦将面积按比例 $\rho : (1-\rho)$ 分割且长度恒定的几何约束，推导出极坐标下关于 $r(\psi)$ 的微分方程，其中 $r' = dr/d\psi$。
• 使用弧长 $u$ 参数化边界，通过魏尔斯特拉斯椭圆函数 $\wp(u/\lambda)$ 显式表达 $r(u)$ 和 $\psi(u)$。
• 证明相距固定弧长 $\delta u$ 的两点之间的弦长平方是 $\wp(u/\lambda)$ 的有理函数，且在特定 $\delta u$ 值下其留数为零。
• 利用魏尔斯特拉斯函数的三参数加法定理，验证弦长在旋转与弧长平移下的不变性。
• 证明 $\delta_1 = \delta_2$（切线角相等）为必要但不充分条件，并通过椭圆函数恒等式显式验证更强条件 $\frac{d(\delta_1 - \delta_2)}{du} = 0$。
• 通过证明若前轮沿边界 $\Gamma$ 行驶，则后轮描绘出包络线 $\gamma$，且两条轨迹在方向上不可区分，从而建立浮体问题与胎痕问题的等价性。

实验结果

研究问题

• RQ1 能否构造出非圆形、封闭且严格凸的曲线，使其在 $\rho \neq \frac{1}{2}$ 时在任意方向下均保持平衡？
• RQ2 此类浮体的形状由何种微分方程控制？该方程能否显式求解？
• RQ3 这些曲线是否也能解决胎痕问题，即自行车轨迹无法揭示行驶方向？
• RQ4 魏尔斯特拉斯椭圆函数在确保固定弧长间隔下弦长恒定的过程中起什么作用？
• RQ5 对称性 $D_p$ 如何从解中自然涌现？它对可支持密度数量意味着什么？

主要发现

• 本文为所有 $\rho \neq \frac{1}{2}$ 构造了显式非圆形解，基于极坐标下的微分方程，解决了二维浮体问题。
• 解为具有 $D_p$ 二面体对称性的封闭曲线，每条曲线可支持 $p-2$ 种不同的密度 $\rho$，且弦长相同。
• 当且仅当有理函数在 $\wp(u/\lambda)$ 中的留数为零时，相距固定弧长 $\delta u$ 的弦长为常数，而这种情况仅在特定 $\delta u$ 值下发生。
• 通过显式求解微分方程并验证 $\frac{d(\delta_1 - \delta_2)}{du} = 0$，确认了解满足几何不变性。
• 相同的曲线也解决了胎痕问题：若前轮沿 $\Gamma$ 行驶，后轮将描绘出 $\gamma$，且两条轨迹在方向上不可区分。
• 该方法通过魏尔斯特拉斯函数及其加法定理，严格建立了浮体问题与胎痕问题之间的联系。