ベッセル関数による展開の方法とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > ベッセル関数による展開の方法の意味・解説 

ベッセル関数による展開の方法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/18 16:16 UTC 版)

ケプラー方程式」の記事における「ベッセル関数による展開の方法」の解説

もう1つ方法は、ベッセル関数による展開の方法である。この方法は ϵ {\displaystyle \epsilon } が大き場合でも適用可能である。 ケプラーの方程式は、以下の並進不変であるという特徴持っている。 ( M , E ) → ( M + 2 π , E + 2 π ) . {\displaystyle (M,E)\rightarrow (M+2\pi ,E+2\pi ).} また、 E = M − ϵ sin ⁡ E {\displaystyle E=M-\epsilon \sin E} であるから、これを逐次代入すると ϵ sin ⁡ E = ϵ sin ⁡ ( M − ϵ sin ⁡ E ) = ϵ sin ⁡ ( M − ϵ sin ⁡ ( M − ϵ sin ⁡ E ) ) = ⋯ , {\displaystyle {\begin{aligned}\epsilon \sin E&=\epsilon \sin(M-\epsilon \sin E)\\&=\epsilon \sin(M-\epsilon \sin(M-\epsilon \sin E))\\&=\cdots ,\end{aligned}}} により、 ϵ sin ⁡ E {\displaystyle \epsilon \sin E} は M の周期関数で、かつ M の奇関数であることがわかる。したがって、 ϵ sin ⁡ E {\displaystyle \epsilon \sin E} を M によって以下のようにフーリエ展開できる。 ϵ sin ⁡ E = ∑ n = 1 ∞ A n sinn M . {\displaystyle \epsilon \sin E=\sum _{n=1}^{\infty }A_{n}\sin nM.} フーリエ係数 A n はフーリエ展開一般論により、 A n = 2 π ∫ 0 π d M ϵ sin ⁡ E sinn M , {\displaystyle A_{n}={\frac {2}{\pi }}\int _{0}^{\pi }dM\epsilon \sin E\sin nM,} で与えられる。上式の右辺は − 2 n π ∫ d M ϵ sinE d d M cosn M , {\displaystyle -{\frac {2}{n\pi }}\int dM\epsilon \sin E{\frac {d}{dM}}\cos nM,} と変形できるから、部分積分して − 2 n π [ ϵ sinE cosn M ] M = 0 M = π + 2 n π ∫ 0 π d M ϵ d sinE d Mcosn M {\displaystyle -{\frac {2}{n\pi }}{\Big [}\epsilon \sin E\cos nM{\Big ]}_{M=0}^{M=\pi }+{\frac {2}{n\pi }}\int _{0}^{\pi }dM{\frac {\epsilon d\sin E}{dM}}\cdot \cos nM} である。第1項表面項消えることと、第2項に元のケプラーの方程式代入して、 2 n π ( − ∫ 0 π d E cosn M + ∫ 0 π d M cosn M ) , {\displaystyle {\frac {2}{n\pi }}\left(-\int _{0}^{\pi }dE\cos nM+\int _{0}^{\pi }dM\cos nM\right),} を得る。上式の第2項コサイン関数周期性により消える。第1項に元のケプラーの方程式代入すると − 2 n π ∫ 0 π d E cos ⁡ n ( E + ϵ sin ⁡ E ) , {\displaystyle -{\frac {2}{n\pi }}\int _{0}^{\pi }dE\cos n(E+\epsilon \sin E),} を得る。ここで、 n 次のベッセル関数積分表示1つ J n ( z ) = 1 π ∫ 0 π d θ cos ⁡ ( z sin ⁡ θ − n θ ) , {\displaystyle J_{n}(z)={\frac {1}{\pi }}\int _{0}^{\pi }d\theta \cos(z\sin \theta -n\theta ),} を用いると、 − 2 J n ( − n ϵ ) / n {\displaystyle -2J_{n}(-n\epsilon )/n} に等しいことがわかるので、結局E = M + ∑ n = 1 ∞ 2 n J n ( − n ϵ ) sinn M , {\displaystyle E=M+\sum _{n=1}^{\infty }{\frac {2}{n}}J_{n}(-n\epsilon )\sin nM,} が厳密解であることがわかる。 別ルートによって同じ結果にたどり着くことも可能である。ケプラーの方程式微分して、 d E d M = 1 1 + ϵ cosE = 1 + ∑ n = 1 ∞ a n cosn M , a n := 1 π ∫ 0 2 π d M cosn M 1 + ϵ cosE = 1 π ∫ 0 2 π d E cos ⁡ n ( E + ϵ sin ⁡ E ) = 2 J n ( − n ϵ ) . {\displaystyle {\begin{aligned}{\frac {dE}{dM}}&={\frac {1}{1+\epsilon \cos E}}=1+\sum _{n=1}^{\infty }a_{n}\cos nM,\\a_{n}&:={\frac {1}{\pi }}\int _{0}^{2\pi }dM{\frac {\cos nM}{1+\epsilon \cos E}}={\frac {1}{\pi }}\int _{0}^{2\pi }dE\cos n(E+\epsilon \sin E)=2J_{n}(-n\epsilon ).\end{aligned}}} ただし、最初の式の2番目の等号では、 E も M も周期関数(周期 2 π {\displaystyle 2\pi } )であることを用いてフーリエ展開した。よって、積分すると、 E = M + ∑ n = 1 ∞ 2 n J n ( − n ϵ ) sinn M , {\displaystyle E=M+\sum _{n=1}^{\infty }{\frac {2}{n}}J_{n}(-n\epsilon )\sin nM,} となって、同じ結果得られた。

※この「ベッセル関数による展開の方法」の解説は、「ケプラー方程式」の解説の一部です。
「ベッセル関数による展開の方法」を含む「ケプラー方程式」の記事については、「ケプラー方程式」の概要を参照ください。

ウィキペディア小見出し辞書の「ベッセル関数による展開の方法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ベッセル関数による展開の方法」の関連用語

1
ケプラー方程式 百科事典
18% |||||

ベッセル関数による展開の方法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ベッセル関数による展開の方法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのケプラー方程式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS