The Error in Rayleigh's Approximative Period

この論文は、レイリー近似による周期が真の周期を過大評価することを示し、相対誤差が初期変位に比例し初期伸長に反比例することを厳密な上下界を用いて証明し、大 O 記法を明示的な不等式と新たな相対誤差の公式に置き換えたものである。

要約

この論文は、100 年以上前に物理の巨匠・レイリー卿が提案した「振動する糸の動き」に関する計算の**「甘さ」**を、現代の数学で厳密にチェックした面白い研究です。

専門用語を抜きにして、日常の例え話を使って解説しますね。

1. 物語の舞台：「真ん中に重りを付けたゴムひも」

想像してみてください。
長いゴムひも（または太い糸）を両手で引っ張って、真ん中に重いおもりをくっつけます。そして、そのおもりを横に少しだけ揺らして放します。

• レイリー卿の考え（昔の推測）：
  「おもりが揺れている間、糸の張力は**『ほぼ一定』**だと考えよう。少し伸びたり縮んだりするけど、それは無視できるほど小さいから、一定のバネだと思って計算すれば十分正確だ！」
  これだと、計算はすごく簡単で、おもりは「一定のリズム（周期）」で揺れることになります。

• 本当の動き（厳密な計算）：
  しかし、実際にはおもりが揺れると、糸はさらに伸びて張力が強くなり、戻ると張力が弱まります。つまり、**「バネの強さが揺れている最中に constantly（常に）変化している」**のです。
  この複雑な動きを正確に計算するのは、数学的には非常に難しく、昔から「完璧な答え」は出ていませんでした。

2. この論文がやったこと：「甘さの測定」

著者のビラリノさんは、「レイリー卿の『一定の張力』という仮定は、どれくらい間違っているのか？」を厳密に証明しました。

彼は、**「本当の揺れ方（Exact Period）」と「レイリー卿の推測（Approximate Period）」を比べるための、「上からの限界」と「下からの限界」**という、2 つの「枠」を見つけました。

• 発見された驚きの事実：
  レイリー卿の計算した周期は、**「いつも本当の周期より長い（遅い）」**ことがわかりました。
  つまり、レイリー卿の計算だと「おもりはもっとゆっくり揺れる」と言っていますが、実際にはもっと速く揺れているのです。

3. 誤差の正体：「どのくらいズレるのか？」

この論文の最大の見どころは、「ズレの大きさ（誤差）」が何に依存しているかをシンプルに説明した点です。

誤差の大きさは、おもりの重さや、糸の素材の硬さ（ヤング率）には関係ありません。
重要なのは以下の 2 つの比率だけです。

1. 「糸がどれだけ伸びたか」（元の長さ vs 引っ張った長さ）
2. 「おもりがどれだけ横に揺れたか」（揺れの大きさ）

【簡単なイメージ】

• 糸がほとんど伸びていない状態（ピンと張っていない）：
  おもりを揺らすと、糸の張力が激しく変わります。レイリー卿の「一定」という仮定はここですっぽり外れ、誤差が巨大になります（例 2 のように 25% もズレることもあります！）。
• 糸がしっかり伸びている状態：
  揺れても張力の変化が相対的に小さいので、レイリー卿の計算はかなり正確になります。

4. 論文の結論：「なぜレイリー卿は間違えたのか？」

レイリー卿は「揺れが小さいなら、張力の変化は無視できる」と言いましたが、この論文は**「張力の変化（伸び）自体が小さすぎる場合、その仮定は逆に大失敗する」**ことを示しました。

• 例え話：
  風船を膨らませて、その表面に描いた絵を眺めているとします。
  • レイリー卿の視点： 「風船は少ししか膨らんでいないから、表面は平らな紙と同じだ」と考えた。
  • 現実： 風船が小さすぎる（伸びていない）と、少し曲がっただけで表面の曲がり具合が激しく変わる。だから「平ら」という仮定は破綻する。

まとめ

この論文は、古典的な物理の問題に対して、**「近似（おおよその計算）がいつ、どれくらい危険なのか」**を数学的に厳密に証明したものです。

• レイリー卿の計算は、糸がしっかり伸びている場合は便利で良い近似ですが、
• 糸があまり伸びていない場合は、計算結果が現実と大きく乖離（かいり）してしまうという**「落とし穴」**を、新しい数式で明らかにしました。

「近似は便利だが、その限界を知っておかないと、25% もの大きな間違いをしてしまうぞ！」というのが、この論文が私たちに教えてくれるメッセージです。

技術概要

レイリー近似の周期における誤差に関する技術的サマリー

マーク・B・ビラリノ（Mark B. Villarino）による論文「レイリーの近似周期における誤差（The Error in Rayleigh's Approximative Period）」は、古典的な物理問題である「伸びた弦の振動」において、レイリー卿が提案した近似解の精度を厳密に評価し、誤差の上下限を導出したことを目的としています。以下に、問題設定、手法、主要な貢献、結果、および意義について詳細をまとめます。

1. 問題設定

論文は、長さ $2L_0$でバネ定数$\sigma$の水平な弾性弦を長さ$2L$まで引き伸ばし、その中心に質量$m$ の物体を結び、垂直方向に振動させる系を対象としています（重力や減衰は考慮しない）。

• 運動方程式: ヒュークの法則とニュートンの第二法則に基づき、物体の垂直変位 $y(t)$ に対する運動方程式は以下の非線形微分方程式で記述されます。
  $$\frac{d^2y}{dt^2} + \left( \frac{2\sigma}{m} \frac{\sqrt{L^2+y^2}-L_0}{\sqrt{L^2+y^2}} \right) y = 0$$
  この方程式は非線形で複雑であり、文献において厳密な解析解が得られた例はこれまで見つかっていませんでした。

• レイリーの近似: レイリーは「微小振動」を仮定し、張力の変化を無視して一定とみなすことで、上記の方程式を以下の線形微分方程式（調和振動子）に簡略化しました。
  $$\ddot{y} + \frac{2T}{mL}y = 0$$
  ここで $T = \sigma(L-L_0)$ は平衡状態での張力です。これにより得られる近似周期 $P$ は、$P = 2\pi \sqrt{\frac{mL}{2T}}$ となります。

• 課題: レイリー自身はこの近似が真の周期 $P$ とどの程度近いかを議論していませんでした。また、既存の文献にもこの近似解の誤差解析は見当たりませんでした。

2. 手法とアプローチ

著者は、近似解の誤差を定量化するために、以下の数学的アプローチを採用しました。

1. 厳密な周期の導出:
   非線形微分方程式を変数分離法を用いて解き、速度 $v = \dot{y}$ に関する式に変換します。初期条件（$t=0$ で $y=y_0, v=0$）を適用し、積分を行うことで、真の周期 $P$ を以下の積分式として導出しました。
   $$P = 4 \sqrt{\frac{m}{2\sigma L_0}} \int_0^{y_0} \frac{1}{\sqrt{y_0^2 - y^2}} \sqrt{\frac{1}{L_0} - \frac{2}{\sqrt{L^2+y^2} + \sqrt{L^2+y_0^2}}} \, dy$$
   この積分は初等的に計算できない複雑な楕円積分ですが、被積分関数の部分に対して上下限の評価を行うことで、厳密な周期の範囲を特定します。

2. 上下限の評価:
   積分項内の根号部分（分母）について、$y$ に依存しない上限と下限を導出します。これにより、真の周期 $P$ に対する不等式関係を得ます。

3. 相対誤差の解析:
   近似周期 $P$ と真の周期 $P$ の比、および相対誤差 $R = (P - P)/P$ について、上記の周期の上下限を用いて厳密な不等式を導き出します。

3. 主要な貢献と結果

定理 1: 周期の上下限と誤差の符号

• 結果: レイリーの近似周期 $P$ は、常に真の周期 $P$ よりも過大評価（$P > P$）されることが証明されました。
• 相対誤差の範囲: 相対誤差 $R$ について、以下の厳密な不等式が成立します。
  $$\sqrt{\frac{\frac{1}{L_0} - \frac{2}{L+\sqrt{L^2+y_0^2}}}{\frac{1}{L_0} - \frac{1}{L}}} < \frac{P}{P} < \sqrt{\frac{\frac{1}{L_0} - \frac{1}{\sqrt{L^2+y_0^2}}}{\frac{1}{L_0} - \frac{1}{L}}}$$
  これにより、誤差の絶対値 $|R|$ は、質量 $m$ やヤング率には依存せず、初期伸長率 $L_0/L$ と初期変位比 $y_0/L$ のみに依存することが示されました。

定理 2: 相対誤差の簡潔な近似式

複雑な根号を含む上下限を、より直感的な形式で表現する定理を提示しました。
$$|R| = \Theta \cdot \frac{L_0}{L-L_0} \cdot \left(\frac{y_0}{2L}\right)^2$$
ここで、比例定数 $\Theta$ は以下の範囲に収まります。
$$\frac{1}{2 - (y_0/2L)^2} \cdot \frac{1}{1 + \frac{1}{32}\frac{L_0}{L-L_0}} \le \Theta \le 1$$

• 物理的意味: 相対誤差は、初期変位の二乗 $(y_0/2L)^2$ に比例し、初期の伸長量 $(L-L_0)$ に反比例します。つまり、伸長が非常に小さい場合（$L \approx L_0$）、誤差は急激に増大することが示唆されます。

数値例による検証

• 例 1（通常のケース）: 伸長が比較的大きい場合、誤差は約 3.4% であり、導出した理論的範囲（2.5% 〜 5%）内に収まりました。
• 例 2（異常なケース）: 鋼線のように非常に硬く、伸長が極めて微小な場合、レイリーの近似は 25% という巨大な誤差を生むことが示されました。これは、伸長量 $(L-L_0)$ が分母にあるため、微小な伸長では誤差が爆発的に増大することを理論的に説明しています。

4. 意義と結論

本論文の主な意義は以下の点にあります。

1. 古典的問題への厳密な解答: 100 年以上前にレイリーが提示した古典的な問題に対し、その近似解の精度に関する最初の厳密な誤差解析を提供しました。
2. 誤差の定量化: 近似が「いつ」「どの程度」破綻するかを、質量や材料定数に依存しない幾何学的なパラメータ（伸長率と変位比）を用いて明確に定義しました。
3. 実用的な指針: 微小変位近似（レイリーの近似）が、張力が非常に高い（伸長が極めて小さい）材料や状況では、驚くほど大きな誤差を生む可能性があることを警告し、その適用範囲を数学的に裏付けました。

結論として、著者は「近似が許容されるためには誤差の上限を示す必要がある」という現代数学の基準に従い、レイリーの近似が常に真の周期を過大評価することを証明し、その誤差の振る舞いを厳密に記述する新しい定理を確立しました。