Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
http:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=182.167.240.158
miniwiki - 利用者の投稿記録 [ja]
2024-05-23T18:05:03Z
利用者の投稿記録
MediaWiki 1.31.0
ポアソン方程式
2018-07-21T14:35:56Z
<p>182.167.240.158: /* 関連項目 */</p>
<hr />
<div>'''ポアソン方程式'''(ポアソンほうていしき、{{lang-en-short|Poisson's equation}})は、2階の楕円型偏微分方程式。方程式の名はフランスの数学者・物理学者[[シメオン・ドニ・ポアソン]]に因む。<br />
<br />
==概要==<br />
{{math|''f'' {{=}}''f'' (''x''<sub>1</sub>,…,''x<sub>n</sub>)''}}を既知の関数とし、{{math|''u''{{=}}''u'' (''x''<sub>1</sub>,…,''x<sub>n</sub>'')}}を未知関数としたときに、次の形で与えられる2階の[[偏微分方程式]]を''n''次元ポアソン方程式と呼ぶ。<br />
<br />
: <math><br />
\frac{\partial^2}{\partial x_{1}^{2}} u(x_1, \dotsc, x_n) +<br />
\frac{\partial^2}{\partial x_{2}^{2}} u(x_1, \dotsc, x_n) + \dotsb +<br />
\frac{\partial^2}{\partial x_{n}^{2}} u(x_1, \dotsc, x_n)<br />
= f(x_1, \dotsc, x_n)<br />
</math><br />
<br />
特に{{mvar|''f''}} が恒等的に0である場合には、[[ラプラス方程式]]に帰着される。<br />
<br />
[[ラプラス演算子]]Δ または[[ナブラ]]∇ を用いれば、<br />
<br />
:<math>\Delta u = f \,</math><br />
<br />
または、<br />
<br />
:<math>{\nabla}^2 u = f \,</math><br />
<br />
と表すことができる。<br />
<br />
== 物理学での例 ==<br />
ポアソン方程式は電磁気学、移動現象論、流体力学といった物理学の諸領域において、系を記述する基礎方程式として現れる<ref name ="Feynman1971">R. P. Feynman, R. B. Leighton and M. Sands (1971), chapter.12</ref>。例えば、電荷分布を与えたときの[[静電ポテンシャル]]や質量分布を与えたときの[[重力ポテンシャル]]を記述する方程式はポアソン方程式であり、その代表的な例である。また、熱の発生源が存在する場合の温度分布や物質の発生・消滅源が存在する場合の物質濃度分布においても、時間に依存性しない定常状態を記述する方程式はポアソン方程式となる。<br />
<br />
;電磁気学の例<br />
ポアソン方程式で記述される物理現象としては、[[電磁気学]]における[[静電ポテンシャル]]がある。与えられた電荷の分布''&rho;''としたときに、静電ポテンシャル''&phi;''は次のポアソン方程式を満たす。<br />
<br />
:<math>\Delta \phi = - {\rho \over \epsilon_0}</math><br />
<br />
;重力ポテンシャルの例<br />
{{math|''&rho;''(''x'')}}を与えられた質量分布としたときに、重力ポテンシャル{{math|''&phi;''(''x'')}}は次のポアソン方程式を満たす。<br />
<br />
:<math><br />
\Delta \phi= 4 \pi G \rho<br />
</math><br />
<br />
ここで{{mvar|G}}は[[万有引力定数]]である。<br />
<br />
;熱伝導による温度分布の例<br />
内部に[[放射線源]]や[[ジュール熱]]を発する抵抗を熱源に持つ物質の温度分布{{math|''T''(''x'')}}を考える。[[熱流束]]を{{math|'''J'''(''x'')}}とし、熱源の分布を{{math|''s''(''x'')}}とする。このとき、{{math|'''J'''(''x'')}}の[[発散 (ベクトル解析)|発散]]は単位体積当たりの熱の放出に相当するが、時間について不変となる定常状態では{{math|''s''(''x'')}}に一致する。<br />
<br />
:<math><br />
\nabla \cdot \boldsymbol{J}=s<br />
</math><br />
<br />
一方、[[フーリエの法則]]に基づき、熱流束は温度勾配に比例する。<br />
<br />
:<math><br />
\boldsymbol{J} =- \lambda \nabla T<br />
</math><br />
<br />
ここでは{{mvar|&lambda;}}は[[熱伝導率]]を表す。これを上式に代入すれば、ポアソン方程式<br />
<br />
:<math><br />
\Delta T= -\frac{s}{\lambda}<br />
</math><br />
<br />
を得る<ref name ="Feynman1971"></ref>。<br />
<br />
== 解の構成 ==<br />
ポアソン方程式は[[対数ポテンシャル]]や[[ニュートン・ポテンシャル]]を用いることで、有界領域の内部における解の例(特殊解){{math|''u''<sub>0</sub>}}を構成することができる。こうした特殊解は物理や工学での応用上、重要である。さらに、いくつかの条件の下では、全領域(無限境界)における解となる。また、こうした特殊解を用いることで、ポアソン方程式の[[境界値問題]]をより単純なラプラス方程式の境界値問題に帰着させることができる。<br />
<br />
;2次元の場合<br />
2次元空間{{math|'''R'''<sup>2</sup>}}の有界領域{{math|&Omega;}}で{{math|''f'' (''&xi;'',''&eta;'' )}}が[[滑らかな関数|1階連続微分可能]]とすると、<br />
<br />
:<math><br />
\begin{align}<br />
u_0(x,y) & =-\frac{1}{2\pi}\iint_{\Omega}f(\xi, \eta)<br />
\log{\frac{1}{ \sqrt{(\xi-x)^2+(\eta-y)^2} }} d \xi d \eta \\<br />
& = -\frac{1}{2\pi}\iint_{\Omega}f(\xi, \eta)<br />
\log{\frac{1}{r}}<br />
\, d \xi d \eta \quad(r=\sqrt{(\xi-x)^2+(\eta-y)^2})<br />
\end{align}<br />
</math><br />
<br />
で与えた{{math|''u''<sub>0</sub>(''x'', ''y'' )}}は、{{math|&Omega;}} の内部で2階連続微分可能であり<br />
<br />
:<math>\Delta u_0(x,y)=f(x,y) \,</math><br />
<br />
を満たす。ここで積分内の項{{math|log(1/''r'' )}}を'''対数ポテンシャル'''と呼ぶ。上記の関係式は、[[ディラックのデルタ関数]]による形式的な関係式<br />
<br />
:<math> \Delta_{(x,y)} \biggl (\log{\frac{1}{r}} \biggr ) = - 2 \pi \cdot \delta(x-\xi, y-\eta) </math><br />
<br />
から理解することができる。<br />
<br />
;3次元の場合<br />
3次元空間{{math|'''R'''<sup>3</sup>}}の有界領域{{math|&Omega;}}で{{math|''f'' (''&xi;'', ''&eta;'', ''&zeta;'' )}}が1階連続微分可能とすると、<br />
<br />
:<math><br />
\begin{align}<br />
u_0(x,y,z) &= -\frac{1}{4\pi}\iiint_{\Omega}<br />
\frac{f(\xi, \eta, \zeta)}{ \sqrt{(\xi-x)^2+(\eta-y)^2+(\zeta-z)^2} }<br />
d \xi d \eta d \zeta \\<br />
&= -\frac{1}{4\pi}\iiint_{\Omega}<br />
f(\xi, \eta, \zeta) \frac{1}{r} \, d \xi d \eta d \zeta <br />
\quad (r=\sqrt{(\xi-x)^2+(\eta-y)^2+(\zeta-z)^2})<br />
\end{align}<br />
</math><br />
<br />
で与えた{{math|''u''<sub>0</sub>(''x'', ''y'', ''z'')}}は、{{mvar|''&Omega;''}} の内部で2階連続微分可能であり<br />
<br />
:<math> \Delta u_0(x,y,z)=f(x,y,z) \,</math><br />
<br />
を満たす。ここで積分の中に現れる項{{math|1/''r''}} を'''ニュートン・ポテンシャル'''と呼ぶ。上記の関係式は、2次元の場合と同様にディラックのデルタ関数による形式的な関係式<br />
<br />
:<math>\Delta_{(x,y,z)} \biggl ( \frac{1}{r} \biggr ) = - 4 \pi \cdot \delta(x-\xi, y-\eta, z -\zeta) </math><br />
<br />
から理解することができる。<br />
<br />
;''n''次元の場合<br />
より一般的には、''n''次元空間{{math|'''R'''<sup>n</sup>}}(''n'' ≧3)の有界領域{{math|&Omega;}}で{{math|''f'' (''&xi;''<sub>1</sub>,…,''&xi;<sub>n</sub>'')}}が1階連続微分可能とすると、<br />
<br />
:<math><br />
u_0(x_1,\cdots,x_n) <br />
= -\frac{\Gamma \bigl (\frac{n}{2}\bigr)}{ 2(n-2)\pi^{\frac{n}{2}} }<br />
\int \cdots \int_{\Omega} f(\xi_1, \cdots, \xi_n) r^{2-n} \, d \xi_1 \cdots d \xi_n <br />
\quad (r=\sqrt{(\xi_1-x_1)^2+ \cdots +(\xi_n-x_n)^2})<br />
</math><br />
<br />
で与えた{{math|''u''<sub>0</sub>(''&xi;''<sub>1</sub>,…,''&xi;<sub>n</sub>'')}}は、{{math|&Omega;}}の内部で2階連続微分可能で<br />
<br />
:<math> \Delta u_0(x_1, \cdots ,x_n) = f(x_1, \cdots ,x_n ) \,</math><br />
<br />
を満たす。<br />
<br />
== 脚注 ==<br />
<references /><br />
<br />
==参考文献==<br />
* R. Courant, D. Hilbert, ''Methoden Der Mathematischen Physik '', [[リヒャルト・クーラント|R. クーラン]], [[ダフィット・ヒルベルト|D. ヒルベルト]] (著), 丸山 滋弥, 斎藤 利弥 (翻訳)『数理物理学の方法』東京図書<br />
* Richard P. Feynman, Robert B. Leighton and Matthew Sands,''[[ファインマン物理学|The Feynman Lectures on Physics]]'' vol.II, Addison Wesley (1971) ISBN 020102117X<br />
<br />
== 関連項目 ==<br />
* [[ラプラス方程式]]<br />
* [[ヘルムホルツ方程式]]<br />
* [[グリーン関数]]<br />
<br />
{{Math-stub}}<br />
{{Physics-stub}}<br />
{{デフォルトソート:ほあそんほうていしき}}<br />
[[Category:物理数学]]<br />
[[Category:微分方程式]]<br />
[[Category:物理学の方程式]]<br />
[[Category:数学に関する記事]]<br />
[[Category:エポニム]]</div>
182.167.240.158
ヘルムホルツ方程式
2018-07-21T14:34:17Z
<p>182.167.240.158: /* 関連項目 */</p>
<hr />
<div>'''ヘルムホルツ方程式'''(ヘルムホルツほうていしき、{{lang-en-short|Helmholtz equation}})は、[[ヘルマン・フォン・ヘルムホルツ]]の名にちなむ方程式で、<br />
:<math> (\nabla^2 + k^2) A = 0 </math><br />
という[[楕円]]型の[[偏微分方程式]]である。<br />
ここで<math>\nabla^2</math>は[[ラプラシアン]]、''k'' は定数、''A'' = ''A'' (''x'', ''y'', ''z'' ) は3次元[[ユークリッド空間]] '''R'''<sup>3</sup> で定義された未知関数である。''k'' = 0 は[[ラプラス方程式]]である。<br />
<br />
== 動機と用途 ==<br />
ヘルムホルツ方程式はしばしば、時間と空間の両方を含む[[偏微分方程式]]が関わる物理学の問題を扱うときに現れる。そうした偏微分方程式を扱うにあたって[[変数分離]]を行うことにより、''時間によらない部分'' としてヘルムホルツ方程式が出てくるのである。<br />
<br />
例えば[[波動方程式]]<br />
:<math> <br />
\left( \nabla^2 - \frac{1}{c^2} \frac{\partial^2}{\partial t^2} \right)<br />
u(\boldsymbol{r}, t) = 0<br />
</math><br />
<br />
を考える。関数 ''u'' (''t'' ) が時間部分と空間部分に分離できると仮定して<br />
:<math> u(\boldsymbol{r}, t) = A(\boldsymbol{r}) T(t) </math><br />
と変数分離し、これを波動方程式に代入し整理すると<br />
:<math> (\nabla^2 + k^2) A = 0 </math><br />
:<math> \left( \frac{d^2}{dt^2} + \omega^2 \right) T = 0 </math><br />
という2つの微分方程式が得られる。ここで ''k'' は分離定数であり、また ''&omega;'' = ''kc'' とおいた。<br />
これで、空間変数 '''''r''''' に関するヘルムホルツ方程式と、時間に関する2階の[[常微分方程式]]が得られた。時間の常微分方程式の解は[[角振動数]] ''&omega;'' の sin と cos の[[線形結合]]で表される。一方、空間の微分方程式の解は境界条件によって決まる。<br />
また、[[ラプラス変換]]や[[フーリエ変換]]などの[[積分変換]]によって、双曲型の偏微分方程式がヘルムホルツ方程式に変換されることもある。<br />
<br />
ヘルムホルツ方程式は波動方程式と関連があるので、[[電磁波の放射]]、[[地震学]]、[[音響学]]などの物理学の諸分野で出てくる。<br />
<br />
== ヘルムホルツ方程式を変数分離で解く ==<br />
空間に関するヘルムホルツ方程式<br />
:<math> (\nabla^2 + k^2) A = 0 </math><br />
の一般解は、[[変数分離]]によって求められる。<br />
<br />
球座標では、一般解は<br />
:<math><br />
A(r,\theta,\phi)<br />
= \sum_k \sum_{l=0}^\infty \sum_{m=-l}^l<br />
\{ a_{lm} j_l(kr) + b_{lm} n_l(kr) \} \, Y_l^m(\theta,\phi)<br />
</math><br />
と表される。この解は[[波動方程式]]や[[拡散方程式]]の空間部分の解から出てくる。ここで ''j''<sub>''l''</sub> と ''n''<sub>''l''</sub> は[[球ベッセル関数]]で、 ''Y''<sub>''l''</sub><sup>''m''</sup> (''&theta;'', ''&phi;'') は[[球面調和関数]]である。<br />
<br />
2次元の極座標では、一般解は<br />
:<math><br />
A(r,\theta) <br />
= \sum_k \sum_{n=0}^\infty<br />
\{ a_n \cos(n\theta) + b_n \sin(n\theta) \} \, J_n(kr)<br />
</math><br />
と表される。''J''<sub>''n''</sub> は[[ベッセル関数]]である。この解は原点で正則なものであり、より一般的な解は原点で正則でないもうひとつのベッセル関数 ''Y''<sub>''n''</sub> を含む。これは解を考える範囲として原点を含まない場合には考える必要がある。<br />
この極座標の解は太鼓の膜の振動を表すのに用いられる。<br />
<br />
以上の解はどれも一般解であり、特定の場合に適用するには境界条件が必要であることに注意されたい。<br />
<br />
== 近軸のとき ==<br />
ヘルムホルツ方程式の[[近軸光学|近軸]](paraxial)における表式は<br />
:<math> \nabla_T^2 A - j^2 k \frac{\partial A}{\partial z} = 0 </math><br />
となる。ここで<br />
:<math><br />
\nabla_T^2<br />
= \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2}<br />
</math><br />
は[[ラプラシアン]]の横(transverse)成分である。<br />
<br />
この方程式は[[光学]]での応用が重要である。光学では、この方程式が放物面波(paraboloidal waves)や[[ガウシアンビーム]]の形の電磁波(光)の伝播についての解を与える。多くのレーザー装置が放射するビームはそのような形になっている。<br />
<br />
近軸の近似では、電場の複素強度?(electric field complex magnitude) ''E'' は<br />
:<math> E(\boldsymbol{r}) = A(\boldsymbol{r})\,e^{-jkz} </math><br />
となる。ここで ''A'' は電場の複素振幅を表し、それに指数関数で表される正弦波的な変調がかかっている。<br />
<br />
近軸の近似においては、電場の振幅 ''A'' と伝播方向の長さ ''z'' との間に一定の制限がかかる。それは<br />
:<math> \left| \frac{\partial A}{\partial z} \right| \ll |kA| </math><br />
と<br />
:<math> \left| \frac{\partial^2 A}{\partial z^2} \right| \ll |k^2 A| </math><br />
である。これらの条件は、光学軸(''z'' 軸)と[[波数ベクトル]]'''''k''''' とがなす角度 ''&theta;'' が十分に小さく<br />
:<math> \sin\theta \simeq \theta, \quad \tan\theta \simeq \theta </math><br />
が成り立つことと同値である。<br />
<br />
== 関連項目 ==<br />
* [[ポアソン方程式]]<br />
* [[ラプラス方程式]]<br />
* [[電磁気学]]<br />
* [[音響解析]]<br />
* [[スツルム=リウヴィル型微分方程式]]<br />
<br />
{{sci-stub}}<br />
{{DEFAULTSORT:へるむほるつほうていしき}}<br />
[[Category:物理数学]]<br />
[[Category:微分方程式]]<br />
[[Category:物理学の方程式]]<br />
[[Category:数学に関する記事]]<br />
[[Category:エポニム]]</div>
182.167.240.158
ラプラス方程式
2018-07-21T14:32:54Z
<p>182.167.240.158: /* 関連項目 */</p>
<hr />
<div>{{出典の明記|date=2013年2月14日 (木) 05:33 (UTC)}}<br />
'''ラプラス方程式'''(ラプラスほうていしき、{{lang-en-short|Laplace's equation}})は、2階線型の[[楕円型偏微分方程式|楕円型]][[偏微分方程式]]<br />
:{{math|1=&nabla;<sup>2</sup>''&phi;'' = &Delta;''&phi;'' = 0}}<br />
である。ここで、{{math|1=&nabla;<sup>2</sup> = &Delta;}} は[[ラプラシアン]](ラプラス作用素、ラプラスの演算子)である。なお、&nabla; については[[ナブラ]]を参照。ラプラス方程式は、発見者である[[ピエール=シモン・ラプラス]]から名づけられた。ラプラス方程式の解は、[[電磁気学]]、[[天文学]]、[[流体力学]]など自然科学の多くの分野で重要である。ラプラス方程式の解についての一般理論は[[ポテンシャル理論]]という一つの分野となっている。<br />
<br />
{{math|'''R'''{{sup|3}}}} の場合に標準座標を用いてラプラス方程式を書くと次のようになる:<br />
<br />
: <math><br />
{\partial^2 \over \partial x^2 }\phi(x,y,z) +<br />
{\partial^2 \over \partial y^2 }\phi(x,y,z) +<br />
{\partial^2 \over \partial z^2 }\phi(x,y,z) = 0.<br />
</math><br />
<br />
数学以外の自然科学の分野では、たとえば電荷分布のない一様な媒質中の静電[[ポテンシャル]]や、[[熱伝導]]など[[拡散方程式]]の定常な場合などがこの方程式で表される。ラプラス方程式には、時間に当たる変数 ''t'' が含まれていない。即ち、ラプラス方程式は、時間によって変化しない[[定常状態]]を表す偏微分方程式であると言える。時間を反映した変数がないので、ラプラス方程式には、初期条件はなく、境界条件だけが必要となる。<br />
<br />
== 一般化 ==<br />
変数の数は任意有限個に拡張できる。''n'' 変数の関数 ''&phi;'' = ''&phi;''(''x''<sub>1</sub>, ''x''<sub>2</sub>,..., ''x''<sub>''n''</sub>) に関する偏微分方程式<br />
: <math><br />
{\partial^2 \over \partial x_1^2 }\phi +<br />
{\partial^2 \over \partial x_2^2 }\phi +<br />
\cdots +<br />
{\partial^2 \over \partial x_n^2 }\phi = 0<br />
</math><br />
を一般にラプラス方程式と呼ぶ。同様に微分作用素<br />
:<math>\Delta = {\partial^2 \over \partial x_1^2 } +<br />
{\partial^2 \over \partial x_2^2 } + \cdots +<br />
{\partial^2 \over \partial x_n^2 }<br />
</math><br />
をラプラシアンと呼ぶ。<br />
<br />
== 固有値問題 ==<br />
ラプラシアンの固有値は、ある関数 {{math|''u'' &ne; 0}} について<br />
:<math>\triangle u= \lambda u</math><br />
を満たすような {{mvar|&lambda;}} である。これは[[ヘルムホルツ方程式]]である。<br />
<br />
== 関連項目 ==<br />
*[[ラプラス変換]]<br />
*[[グリーン関数]]<br />
*[[アーンショーの定理]]<br />
*[[調和関数]] - ラプラス方程式の解となる関数。<br />
*[[フーリエ級数]]<br />
* 派生する方程式<br />
**[[ヘルムホルツ方程式]]<br />
**[[波動方程式]]<br />
**[[ポアソン方程式]] - ラプラス方程式の右辺を関数 ''f''(''x'', ''y'', ''z'') に置き換えた方程式 &Delta;φ = ''f''<br />
* [[調和微分形式]]<br />
<br />
{{Math-stub}}<br />
{{Physics-stub}}<br />
{{デフォルトソート:らふらすほうていしき}}<br />
[[Category:物理数学]]<br />
[[Category:微分方程式]]<br />
[[Category:物理学の方程式]]<br />
[[Category:調和関数]]<br />
[[Category:数学に関する記事]]<br />
[[Category:エポニム]]</div>
182.167.240.158
アイコナール方程式
2018-07-20T15:34:46Z
<p>182.167.240.158: /* 参考文献 */</p>
<hr />
<div>[[幾何光学]]において、'''アイコナール方程式'''は光の伝播をあらわす基礎方程式である。<br />
<br />
形式的には[[解析力学]]の[[ハミルトン=ヤコビの方程式]]と同じ形である。<br />
<br />
幾何光学の近似(波長が十分小さい)のもとで、[[マクスウェルの方程式]]から等位相面をあらわす量<math>L(\boldsymbol{r})</math>('''アイコナール''')をあらわす以下の式を得る。<br />
<br />
:<math><br />
\left| \operatorname{grad}\,L \right|^2 = n^2<br />
</math><br />
ここで ''n'' は屈折率で、 <math>n = \sqrt{\varepsilon \mu / \varepsilon_0 \mu_0}</math><br />
<br />
成分で表示すると、<br />
:<math><br />
\left( {\partial L \over \partial x} \right)^2 + <br />
\left( {\partial L \over \partial y} \right)^2 + <br />
\left( {\partial L \over \partial z} \right)^2 = n^2<br />
</math><br />
<br />
等位相面は <math>L(\boldsymbol{r}) = \mbox{const.}</math> となる <math>\boldsymbol{r}</math> であらわされ、[[光線]]は等位相面の法線をつないだものとして定義できる。<br />
<br />
==参考文献==<br />
*{{cite book |author=鶴田 匡夫 |title=応用光学I |year=1990 |isbn=4-563-02331-0}}<br />
<br />
{{physics-stub}}<br />
{{DEFAULTSORT:あいこなるほうていしき}}<br />
[[category:光学]]<br />
[[Category:幾何光学]]<br />
[[Category:物理学の方程式]]</div>
182.167.240.158
MKdV方程式
2018-07-20T15:10:25Z
<p>182.167.240.158: /* 関連項目 */</p>
<hr />
<div>{{小文字}}<br />
'''mKdV方程式'''(えむけぃでいびぃほうていしき、{{lang-en-short|mKdV equation}})または'''変形KdV方程式'''(へんけいけぃでいびぃほうていしき、{{lang-en-short|modified KdV equation}})とは非線形波動を記述する非線形[[偏微分方程式]]。[[可積分系]]の方程式の一つであり、無限個の[[保存則|保存量]]が存在する。日系3世である数学者ローバート・ミウラ(R. Miura)によって導出された。<br />
<br />
==概要==<br />
=== 定義 ===<br />
時間変数''t'' と空間変数''x'' の関数で''v'' (''x'', ''t'' )についての非線形偏微分方程式<br />
<br />
:<math> v_t +6 v^2 v_x +v_{xxx}=0 \, </math><br />
<br />
を'''mKdV方程式'''または、'''変形KdV方程式'''という。ここで、右下の添え字は各変数に対する偏微分を表す。mKdV方程式は可積分系の方程式であり、<br />
<br />
:<math> v=\pm \alpha \operatorname{sech} (\alpha x -\alpha^3 t) \, </math><br />
<br />
等の[[ソリトン]]的な解を有する。<br />
<br />
=== KdV方程式との関係 ===<br />
<br />
''v'' が第2項の符号を変えたmKdV方程式<br />
<br />
:<math> v_t - 6 v^2 v_x +v_{xxx}=0 \, </math><br />
<br />
の解とすると、'''Miura変換'''と呼ばれる関係式<br />
<br />
:<math> u=v_x+v^2 \,</math><br />
<br />
で結ばれる''u'' は[[KdV方程式]]<br />
<br />
:<math> u_t - 6 u u_x +u_{xxx}=0 \, </math><br />
<br />
の解となる。このことは、関係式<br />
<br />
:<math><br />
\biggl (\frac{\partial}{\partial x}+2v \biggr )(v_t - 6 v^2 v_x +v_{xxx})<br />
= u_t - 6 u u_x +u_{xxx}<br />
</math><br />
<br />
から導かれる。Miura変換並びにmKdV方程式は日系3世である数学者ローバート・ミウラ(R. Miura)によって、導出された。こうしたMiura変換の発見は可積分系における[[逆散乱法]]の発展の契機となった。<br />
<br />
=== 逆散乱法との関係 ===<br />
''u''を与えられたものとすれば、ミウラ変換の関係式は、[[リッカチの微分方程式]]であり、変数変換<br />
<br />
:<math><br />
v=\frac{\psi_x}{\psi}<br />
</math><br />
<br />
により、<br />
<br />
:<math><br />
\psi_{xx}-u(x)\psi=0<br />
</math><br />
<br />
と[[線形化]]される。元のKdV方程式が、[[ガリレイ変換]]<br />
<br />
:<math>u \rightarrow u- \lambda</math><br />
:<math>x \rightarrow x- 6 \lambda t</math><br />
<br />
のもとで不変であることに注意すれば、ガリレイ変換''u''→''u''-&lambda;で、上記の線形化された方程式は、<br />
<br />
:<math><br />
\psi_{xx}+(u-\lambda)\psi=0<br />
</math><br />
<br />
となる。これは、''u''をポテンシャル関数、&lambda;を固有値とする[[シュレディンガー方程式]]である。従って、KdV方程式を解くことは、シュレディンガー方程式において、ポテンシャル関数を求める[[逆問題]]を解くことと等価である。<br />
<br />
==参考文献==<br />
;原論文<br />
*R. Miura, "Korteweg‐de Vries Equation and Generalizations. I. A Remarkable Explicit Nonlinear Transformation," ''J. Math. Phys.'', '''9''', p. 1202 (1968) {{doi|10.1063/1.1664700}}<br />
<br />
;参考書籍<br />
*[[和達三樹]] 『非線形波動 (現代物理学叢書) 』 岩波書店 (2000年) ISBN 978-4000067416<br />
*[[戸田盛和]] 『非線形波動とソリトン』 日本評論社(2000年) ISBN 978-4535783164<br />
<br />
==関連項目==<br />
* [[KdV方程式]]<br />
* [[ソリトン]]<br />
<br />
{{math-stub}}<br />
{{DEFAULTSORT:Mkdvほうていしき}}<br />
[[Category:可積分系]]<br />
[[Category:物理学の方程式]]<br />
[[Category:数学に関する記事|Mえむけいていひいほうていしき]]</div>
182.167.240.158
KdV方程式
2018-07-20T15:09:31Z
<p>182.167.240.158: /* 外部リンク */</p>
<hr />
<div>'''KdV方程式'''(KdVほうていしき、{{lang-en-short|KdV equation}})、もしくは'''コルトヴェーグ・ドフリース方程式'''とは、非線形波動を記述する非線形[[偏微分方程式]]の一つである。[[ソリトン]]解を有する[[可積分系]]の代表的な例として知られる。方程式の名前は、定式化を行った{{仮リンク|ディーデリック・コルトヴェーグ|label=コルトヴェーグ|en|Diederik Korteweg}} (D. Korteweg) と{{仮リンク|グスタフ・ド・フリース|label=ド・フリース|en|Gustav de Vries}} (G. de Vries) に因む。<br />
<br />
==概要==<br />
時間変数 {{mvar|t}} と空間変数 {{mvar|x}} をもつ一次元実数値関数 {{math|''u''(''x'', ''t'')}} に対して、{{Mvar|&alpha;, &beta;}} をゼロではない任意の実定数として<br />
:<math>\frac{\partial u}{\partial t}+\alpha u\frac{\partial u}{\partial x}+\beta\frac{\partial^3u}{\partial x^3}=0</math><br />
で与えられる非線形偏微分方程式を'''KdV方程式'''という<ref name="housoku">[[#Reference-Kotobank-コルテヴェク‐ドフリースの方程式|法則の事典]]</ref><ref name="jiten">{{Kotobank|孤立波|2=[[世界大百科事典]] 第2版}}</ref>。また、各変数と {{mvar|u}} に適当な{{仮リンク|スケール変換|en|Scaling (geometry)}}を施せば、係数を {{Math|''&alpha;'' {{=}} 6, ''&beta;'' {{=}} 1}} と取りなおすことができる。このとき、各変数に対する偏微分を右下の添え字として表せば{{Sfnp|戸田|2000|p=40}}、<br />
:<math>u_{t}+6uu_{x}+u_{xxx}=0</math><br />
となる。<br />
<br />
KdV方程式は、浅水波などの非線形波動現象を記述する。<br />
<br />
KdV方程式の一般的な解法としては、{{仮リンク|逆散乱法|en|Inverse scattering transform}}や[[双線形化法|広田の直接法]]が存在する。<br />
<br />
=== 非線形項・分散項 ===<br />
KdV方程式の第二項 {{mvar|uu<sub>x</sub>}} を波の立上りの効果を表す'''非線形項'''、第三項 {{mvar|u<sub>xxx</sub>}} を波の広がりの効果を表す'''分散項'''という{{R|housoku}}。KdV方程式は非線形項と分散項が釣り合うため、波が形を崩すことなく伝播する。<br />
<br />
=== その他の表示 ===<br />
KdV方程式の係数のとり方はいくつかの流儀が存在するが、いずれも適当な変数変換の下で、互いに移り変われる。例えば、{{math|''u'' &rarr; &minus;''u''}} なる変換による<br />
:<math>u_{t}-6uu_{x}+u_{xxx}=0</math><br />
や {{math|''u'' &rarr; {{Sfrac|''u''|6}}}} なる変換による<br />
:<math>u_{t}+uu_{x}+u_{xxx}=0</math><br />
もよく用いられる。<br />
<br />
==歴史的背景==<br />
KdV方程式の研究の歴史は、1834年、造船技師{{仮リンク|ジョン・スコット・ラッセル|label=スコット・ラッセル|en|John Scott Russell}}が[[エジンバラ]]郊外の運河で[[孤立波]]を観察したことに遡る{{R|jiten}}<ref name="MathWorld">[[#Reference-Mathworld-Korteweg-de Vries Equation|Weisstein]]</ref>。彼は[[艀]]用の狭い運河のそばで馬に乗っているときに、孤立波が運河を伝播する様子を偶然、目撃した。彼はその時の状況を次のように記している{{Sfnp|Russell|1845}}。<br />
{{Cquote|<!--I was observing the motion of a boat which was rapidly drawn along a narrow channel by a pair of horses, when the boat suddenly stopped – not so the mass of water in the channel which it had put in motion; it accumulated round the prow of the vessel in a state of violent agitation, then suddenly leaving it behind, rolled forward with great velocity, assuming the form of a large solitary elevation, a rounded, smooth and well-defined heap of water, which continued its course along the channel apparently without change of form or diminution of speed. I followed it on horseback, and overtook it still rolling on at a rate of some eight or nine miles an hour, preserving its original figure some thirty feet long and a foot to a foot and a half in height. Its height gradually diminished, and after a chase of one or two miles I lost it in the windings of the channel. Such, in the month of August 1834, was my first chance interview with that singular and beautiful phenomenon which I have called the Wave of Translation.-->私は2頭の馬に引かれたボートが狭い運河を進む動きを観察していた。ボートはにわかに止まったが、動いていた運河の水はそうならなかった。水が船の[[船首|舳先]]の周りに急激に集まり、突然そこを離れすごい速さでうねり進んでいった。孤立した水の盛り上がりは丸みを帯びた、滑らかではっきりとした水の集まりであり、それが見たところ形や速度を変えることなく、運河に沿って進んでいった。私は馬の背に乗って追いかけたが、波は時速8〜9[[マイル]]で進み続け、元の約30[[フィート]]の幅と約1〜1.5フィートの高さを保っていた。その高さは徐々に減少していき、私は1〜2マイル追いかけたが、運河の曲がり角で見失った。1834年の8月、{{Interp|移動波|原文では Wave of Translation}}と名付けた特異で美しい現象に、私が偶然出会った最初の機会であった。|||ジョン・スコット・ラッセル}}<br />
<br />
[[造船技師]]かつ[[流体力学]]の研究者であった彼は、実験用の水槽を作り、研究を進めた。そして、次の結果を得た。<br />
*浅水波の伝播において、孤立波(永久型の長波)が存在する。<br />
*一定水深の水路において、孤立波の速度は {{math|''v'' {{=}} {{sqrt|''g''(''h'' + ''&eta;'')}}}} で与えられる。ここで {{mvar|g}} は[[重力加速度]]、{{mvar|&eta;}} は静止した状態の流体水面から測った波の高さ、{{Mvar|h}} は静止流体の深さである。この研究結果は、[[ウィリアム・トムソン|ケルヴィン卿]]、[[ジョージ・ガブリエル・ストークス|ストークス]]、{{仮リンク|ジョセフ・バレンティン・ブシネスク|en|Joseph Valentin Boussinesq|label=ブシネスク}}、[[ジョージ・ビドル・エアリー|エアリー]]といった当時の科学者の間で、孤立波の存在についての大きな論争を起こした。特にエアリーは孤立波の存在に否定的であった。孤立波の存在に最終決着がつくのは、スコット・ラッセルの観測から60年経った後であった。<br />
<br />
1895年、{{仮リンク|ディーデリック・コルトヴェーグ|label=コルトヴェーグ|en|Diederik Korteweg}} (D. Korteweg) と{{仮リンク|グスタフ・ド・フリース|label=ド・フリース|en|Gustav de Vries}} (G. de Vries) とは適度に振幅の小さい浅水波を記述する方程式として、KdV方程式を導いた{{Sfnp|Korteweg|deVries|1895}}{{R|jiten}}。この方程式は孤立波を含む永久波解を持っていた。但し、彼らの研究は注目を浴びることなく、長い間、忘れ去られていた。<br />
<br />
[[ファイル:KdV equation.gif|right|thumb|ザブスキーとクルスカルの報告結果{{Sfnp|Zabusky|Kruskal|1965}}を基に同条件で計算したKdV方程式の解の時間発展の様子。時刻 {{math|''t'' {{=}} 0}} での初期条件として与えられた余弦波は、時間とともに形を変え、いくつかの孤立波の集まりとなる。]]<br />
<br />
70年後、KdV方程式は{{仮リンク|ノーマン・ザブスキー|label=ザブスキー|en|Norman Zabusky}}と{{仮リンク|マーティン・クルスカル|label=クルスカル|en|Martin David Kruskal}}による、非線形格子におけるエネルギー伝播の問題([[フェルミ・パスタ・ウラムの問題]])の研究過程で再発見された{{Sfnp|Zabusky|Kruskal|1965}}。1965年、彼らは非線形格子の連続体モデルの数値計算において、不思議な現象を見い出した。一つは、[[余弦関数|余弦波]]で与えた初期状態がいくつかの孤立波に分裂する現象であり、もう一つは二つの孤立波の伝播において、速度が速い孤立波が速度が遅い孤立波を追い越す形で衝突してもそれぞれの波形が壊れず、そのまま伝播する現象である{{R|MathWorld}}。彼らはこうした粒子性を有する波動現象を、孤立波{{enlink|solitary wave}}と粒子を表す接尾語 -on を合わせ、[[ソリトン]]{{enlink|soliton}}と名付けた{{Sfnp|戸田|2000|p=51}}<ref>{{Kotobank|ソリトン|2=[[日本大百科全書]](ニッポニカ)}}</ref>。このザブスキーとクルスカルによる研究を契機に、こうした可積分系の性質は注目を集め、その後の研究活発化と理論の発展につながった。<br />
<br />
==KdV方程式の解==<br />
KdV方程式の解として、次のものが存在する。<br />
<br />
=== 1-ソリトン解 ===<br />
一つの孤立波を表す1ソリトン解は次の形で与えられる。<br />
:<math>u(x,t)=2\kappa^2\operatorname{sech}^{2}\kappa(x-ct+\delta)=2\frac{\partial^2}{\partial x^2}\log{(1+e^{2\kappa(x-ct+\delta)})}\quad(c=4\kappa^2)</math><br />
ここで、{{math|sech}} は {{math|sech(''x'') {{=}} {{Sfrac|2|''e''<sup>''x''</sup> + ''e''{{sup-|''x''}}}}}} で与えられる[[双曲線関数|双曲線正割関数]]を表す。この解は {{math|''u''(''x'', ''t'') {{=}} ''u''(''x'' &minus; ''ct'')}} という関数形を有しており、{{math|sech<sup>2</sup>}} で表される一つのピークを持つ孤立波が形を保ったまま、速度 {{mvar|c}} で伝播する状況に対応している。また、振幅値 {{math|2''&kappa;''<sup>2</sup>}} は速度 {{math|''c'' {{=}} 4''&kappa;''<sup>2</sup>}} に比例しており、波の高さ(振幅)が高いほど、速く伝播する性質を持つ。<br />
<br />
=== 2-ソリトン解 ===<br />
二つの孤立波を表す2ソリトン解は次の形で与えられる。<br />
:<math>u(x,t)=2\frac{\partial^2}{\partial x^2}\log{\left(1+A_1e^{2\kappa_1(x-c_1t+\delta_1)}+A_1e^{2\kappa_2(x-c_2t+\delta_2)}+\left(\frac{\kappa_1-\kappa_2}{\kappa_1+\kappa_2}\right)^2A_1A_2e^{2\kappa_1(x-c_1t+\delta_1)+2\kappa_2(x-c_2t+\delta_2)}\right)}</math><br />
但し、<br />
:<math>c_1=4\kappa_{1}^{\,2},\,\,c_2=4\kappa_{2}^{\,2}</math><br />
である。<br />
<br />
この解は次のような行列式による表示を行うことも可能である。<br />
:<math>u(x,t)=2\frac{\partial^2}{\partial x^2}\log{\det{A(x, t)}}</math><br />
:<math>A(x,t)=\begin{pmatrix}<br />
1+\frac{1}{2k_1}e^{-2\kappa_1(x-c_1t+\delta_1)}&<br />
\frac{1}{k_1+k_2}e^{\kappa_1(x-c_1t+\delta_1)+\kappa_2(x-c_2t+\delta_2)}\\<br />
\frac{1}{k_2+k_1}e^{\kappa_2(x-c_2t+\delta_2)+\kappa_1(x-c_1t+\delta_1)}&<br />
1+\frac{1}{2k_2}e^{-2\kappa_2(x-c_2t+\delta_2)}<br />
\end{pmatrix}</math><br />
<br />
=== {{mvar|N}}-ソリトン解 ===<br />
{{mvar|N}} 個の孤立波を表す {{mvar|N}} ソリトン解は次の形で与えられる。<br />
:<math>u(x,t)=2\frac{\partial^2}{\partial x^2}\log{\det{A(x,t)}}</math><br />
ここで、{{math|''A'' {{=}} ''A''(''x'', ''t'')}} は {{mvar|n}} 次の[[正方行列]]で、その {{mvar|i}} 行 {{mvar|j}} 列成分 {{math|''A''<sub>''ij''</sub>(''x'', ''t'')}} が<br />
:<math>A_{ij}(x,t)=\delta_{ij}+\frac{1}{k_i+k_j}e^{-\{\kappa_i(x-c_it+\delta_i)+\kappa_j(x-c_jt+\delta_j)\}}</math><br />
:<math>c_i=4\kappa_i^{\,2}\quad(i,j=1,2,\cdots ,N)</math><br />
で与えられる。但し、{{mvar|&delta;<sub>ij</sub>}} は[[クロネッカーのデルタ]]を表す。<br />
<br />
=== 周期解(クノイダル波) ===<br />
KdV方程式は[[ヤコビの楕円関数]] {{math|cn}}(クノイダル関数)で表される周期解<br />
:<math>u(x,t)=u_0+2\kappa^2k^2\operatorname{cn}^{2}\kappa(x-ct+\delta)</math><br />
をもつ。ただし、<br />
:<math>c=6u_0-(1-2k^2)\kappa^2</math><br />
である。<br />
<br />
==保存量==<br />
可積分系であるKdV方程式は、時間に対して不変となる無限個の独立な[[保存量]]を持つという著しい性質を持つ。1968年、日系人数学者{{仮リンク|ロバート・ミウラ|en|Robert M. Miura}}らによって、この性質は見出された{{Sfnp|Miura|Gardner|Kruskal|1968}}。KdV方程式<br />
:<math>u_{t}+uu_{x}+u_{xxx}=0</math><br />
については、<br />
:<math>\begin{align}I_{1}&=\int^{\infty}_{-\infty}u\,dx\\<br />
I_{2}&=\int^{\infty}_{-\infty}\frac{1}{2}u^2\,dx\\<br />
I_{3}&=\int^{\infty}_{-\infty}\left\{\frac{1}{3}u^3-u_{x}^{\,2}\right\}\,dx\\<br />
I_{4}&=\int^{\infty}_{-\infty}\left\{\frac{1}{4}u^4-3uu_{x}^{\,2}+\frac{9}{5}u_{xx}^{\,2}\right\}\,dx\\<br />
I_{5}&=\int^{\infty}_{-\infty}\left\{\frac{1}{5}u^5-6u^2u_{x}^{\,2}+\frac{36}{5}uu_{xx}^{\,2}-\frac{108}{35}u_{xxx}^{\,2}\right\}\,dx\\<br />
&\;\vdots\end{align}</math><br />
が保存量となる。<br />
<br />
== 脚注 ==<br />
{{脚注ヘルプ}}<br />
{{reflist|2}}<br />
<br />
==参考文献==<br />
=== 論文 ===<br />
* {{Citation|first=J. Scott|last=Russell|url=http://www.macs.hw.ac.uk/~chris/Scott-Russell/SR44.pdf|title=Report on waves|format=[[Portable Document Format|PDF]]|journal=Report of the fourteenth meeting of the British Association for the Advancement of Science, York|issue=September 1844|location=London|year=1845|pages=311–390, Plates XLVII-LVII.}}<br />
* {{Cite journal|first1=D. J.|last1=Korteweg|first2=G.|last2=deVries|title=On the Change of Form of Long Waves Advancing in a Rectangular Canal, and on a New Type of Long Stationary Waves|publisher=[[テイラーアンドフランシス|Taylor & Francis]]|journal={{enlink|Philosophical Magazine|Phil. Mag.|p=off|s=off}}|volume=39|series=Series 5|issue=240|pages=422-443|year=1895|issn=1478-6435|lccn=2003249007|oclc=476300855|doi=10.1080/14786449508620739|ref=harv}}<br />
* {{Cite journal|first1=N.J.|last1=Zabusky|first2=M. D.|last2=Kruskal|title=Interaction of "Solitons" in a Collisionless Plasma and the Recurrence of Initial States|publisher=[[アメリカ物理学会|APS]]|journal=[[フィジカル・レビュー|Phys. Rev. Lett.]]|volume=15|issue=6|year=1965|pages=240-243|issn=0031-9007|lccn=59037543|oclc=1715834|doi=10.1103/PhysRevLett.15.240|ref=harv}}<br />
* {{Cite journal|first1=Robert M.|last1=Miura|first2=Clifford S.|last2=Gardner|first3=Martin D.|last3=Kruskal|title=Korteweg–de Vries equation and generalizations. II. Existence of conservation laws and constants of motion|publisher=[[米国物理学協会|AIP]]|journal={{enlink|Journal of Mathematical Physics|J. Math. Phys.|p=off|s=off}}|volume=9|issue=8|year=1968|page=1204|issn=0022-2488|lccn=a61003320|oclc=42684012|doi=10.1063/1.1664701|ref=harv}}<br />
<br />
=== 書籍 ===<br />
{{脚注の不足|section=1|date=2017年7月14日 (金) 06:16 (UTC)}}<br />
* {{Cite book|和書|last=和達|first=三樹|authorlink=和達三樹|url=https://www.iwanami.co.jp/book/b259106.html|title=非線形波動|series=現代物理学叢書|publisher=[[岩波書店]]|date=2000-06-15|id={{全国書誌番号|20086006}}|isbn=978-4000067416|ncid=BA47128770|oclc=674802574|asin=4000067419|ref=harv}}<br />
* {{Cite book|和書|last=戸田|first=盛和|authorlink=戸田盛和|url=https://www.nippyo.co.jp/shop/book/1475.html|title=非線形波動とソリトン|publisher=[[日本評論社]]|date=2000-08|edition=新版|id={{全国書誌番号|20103309}}|isbn=978-4535783164|ncid=BA48161206|oclc=54567165|asin=4535783160|ref=harv}}<br />
<br />
==関連項目==<br />
*[[可積分系]]<br />
*[[ソリトン]]<br />
<br />
== 外部リンク ==<br />
{{Commonscat}}<br />
* {{Kotobank|2=法則の辞典}}<br />
* {{Kotobank|コルテヴェク‐ドフリースの方程式|2=法則の辞典}}<br />
* {{MathWorld|title=Korteweg-de Vries Equation|urlname=Korteweg-deVriesEquation}}<br />
<br />
{{DEFAULTSORT:Kdvほうていしき}}<br />
[[Category:波動力学]]<br />
[[Category:可積分系]]<br />
[[Category:物理学の方程式]]<br />
[[Category:数学に関する記事]]<br />
[[Category:エポニム]]</div>
182.167.240.158
電信方程式
2018-07-20T14:59:37Z
<p>182.167.240.158: /* 関連項目 */</p>
<hr />
<div>{{出典の明記|date=2017-08-27}}<br />
'''電信方程式'''(でんしんほうていしき、{{lang-en-short|telegraphic equation}})とは、[[波動]]や[[信号]]の伝播を記述する2階の線形[[偏微分方程式]]のこと。[[分布定数回路]]における電流や電圧の分布、導体中の[[電磁場]]の伝播、減衰のある弦の振動などの現象を記述する。<br />
<br />
== 定義と性質 ==<br />
空間変数''x'' と時間変数''t'' と実数値関数''u'' (''x'', ''t'' )に対し、<br />
<br />
:<math><br />
\frac{\partial ^2 u}{\partial t^2} - \frac{\partial ^2 u}{\partial x^2} +\gamma u=0<br />
</math><br />
<br />
で与えられる双曲型の2階偏微分方程式を'''電信方程式'''という。特に&gamma;=0である場合は、通常の[[波動方程式]]に相当する。<br />
<br />
より一般的にn次元の空間変数'''x'''=(''x''<sub>1</sub>,…,''x''<sub>n</sub>) と時間変数''t'' の実数値関数''u'' (''x'', ''t'' )に対し、<br />
<br />
:<math><br />
\frac{\partial ^2 u}{\partial t^2} - \nabla^2 u +\gamma u=0<br />
</math><br />
で与えられる偏微分方程式も'''電信方程式'''という。但し、&nabla;<sup>2</sup>はn次元における[[ラプラス作用素]]<br />
<br />
:<math><br />
\nabla^2=\frac{\partial ^2}{\partial x_1^{\, 2}} + \frac{\partial ^2}{\partial x_2^{\, 2}} <br />
+ \cdots + \frac{\partial ^2}{\partial x_n^{\, 2}}<br />
</math><br />
<br />
である。<br />
; 標準形<br />
: 電信方程式は、時間''t'' についての一階の導関数や物理的な係数を含んだ形で、<br />
::<math><br />
\left [ \frac{1}{c^2} \frac{\partial^2}{\partial t^2} - \nabla^2<br />
+ \frac{1}{\kappa^2} \frac{\partial}{\partial t} + \mu^2 \right ]<br />
u(\boldsymbol{x},t) = 0<br />
</math><br />
: という形式で表現される場合が多い。このような場合でも<br />
::<math><br />
\chi(\boldsymbol{x},t) = e^{\frac{c^2}{2\kappa^2}t}\cdot u(\boldsymbol{x},t)<br />
, \quad<br />
s=ct, \quad<br />
\gamma=\mu^2-\frac{c^2}{4\kappa^2}<br />
</math><br />
: という変換にて、<br />
::<math><br />
\frac{\partial ^2 \chi}{\partial s^2} - \nabla^2 \chi + \gamma \chi=0<br />
</math><br />
: となり、上記の形式に帰着される。<br />
<br />
== 電信方程式に従う物理現象 ==<br />
=== 分布定数回路における電圧、電流分布 ===<br />
[[伝送線路]]などの[[分布定数回路]]において、位置''x''、時刻''t'' における電圧をV(''x'', ''t'' )、電流をI(''x'', ''t'' )とすると以下を満たす。<br />
<br />
:<math><br />
C \frac{\partial V}{\partial t} +GV + \frac{\partial I}{\partial x} =0<br />
</math><br />
:<math><br />
L \frac{\partial I}{\partial t} +RI + \frac{\partial V}{\partial x} =0<br />
</math><br />
ここで、''L'' は伝送線路のインダクタンス、''R'' は伝送線路の抵抗、''C'' は伝送線路の容量、''G'' は伝送線路の漏洩コンダクタンスである。狭義の意味では、電信方程式は分布定数回路における、この連立微分方程式そのものを指すことが多い。<br />
<br />
上式から互いの変数を消去すれば、<br />
<br />
:<math><br />
LC \frac{\partial ^2 V}{\partial t^2} +(LG+RC) \frac{\partial V}{\partial t}<br />
- \frac{\partial ^2 V}{\partial x^2}+RGV=0<br />
</math><br />
:<math><br />
LC \frac{\partial ^2 I}{\partial t^2} +(LG+RC) \frac{\partial I}{\partial t}<br />
- \frac{\partial ^2 I}{\partial x^2}+RGI=0<br />
</math><br />
を得る。<br />
<br />
=== 導体中の電磁場 ===<br />
電気伝導率&sigma;、誘電率&epsilon;、透磁率&mu;の導体中において、電場'''E'''('''x''',''t'' )と磁場'''H'''('''x''',''t'' )は、次の形の電信方程式を満たす。<br />
<br />
:<math><br />
\mu \varepsilon \frac{\partial ^2 \mathbf{E} }{\partial t^2} - \nabla^2 \mathbf{E}<br />
+ \mu \sigma \frac{\partial \mathbf{E} }{\partial t}=0<br />
</math><br />
:<math><br />
\mu \varepsilon \frac{\partial ^2 \mathbf{H} }{\partial t^2} - \nabla^2 \mathbf{H}<br />
+ \mu \sigma \frac{\partial \mathbf{H} }{\partial t}=0<br />
</math><br />
<br />
=== 減衰のある弦の振動 ===<br />
減衰ある弦の振動において、位置''x'' と時刻''t'' における弦の変位を''u'' (''x'', ''t'' )とすると、''u'' (''x'', ''t'' )は<br />
<br />
:<math><br />
\rho \frac{\partial ^2 u}{\partial x^2}-T \frac{\partial ^2 u}{\partial t^2}<br />
+ \rho \kappa \frac{\partial u}{\partial t}=0 <br />
\,</math><br />
<br />
で与えられる電信方程式を満たす。ここで、''T'' は張力、&rho;は弦の線密度、&kappa;は減衰の効果を表す比例係数である。<br />
<br />
=== クライン-ゴルドン方程式 ===<br />
[[場の量子論]]において、クライン-ゴルドン場&phi;('''x''',''t'' )の満たす[[クライン-ゴルドン方程式]]は、電信方程式と等価である以下の形で与えられる。<br />
<br />
:<math><br />
\left [<br />
\frac{1}{c^2} \frac{\partial ^2 }{\partial t^2}-\nabla^2 <br />
+\biggl ( \frac{mc}{\hbar} \biggr ) ^2 <br />
\right ]<br />
\phi(\mathbf{x},t) =0 <br />
</math><br />
<br />
ここで''c'' は光速度、''m'' はクライン-ゴルドン場の粒子の質量である。<br />
<br />
== 参考文献 ==<br />
* R. Courant, D. Hilbert, ''Methoden Der Mathematischen Physik '', [[リヒャルト・クーラント|R. クーラン]], [[ダフィット・ヒルベルト|D. ヒルベルト]](著)、丸山滋弥、斎藤利弥(翻訳)『数理物理学の方法』東京図書<br />
<br />
== 関連項目 ==<br />
* [[分布定数回路]]<br />
** [[伝送線路]]<br />
* [[波動方程式]]<br />
<br />
{{Math-stub}}<br />
{{Physics-stub}}<br />
{{DEFAULTSORT:てんしんほうていしき}}<br />
[[Category:物理数学]]<br />
[[Category:微分方程式]]<br />
[[Category:物理学の方程式]]<br />
[[Category:数学に関する記事]]</div>
182.167.240.158
一般相対性理論
2018-07-20T14:14:40Z
<p>182.167.240.158: /* GNSS */</p>
<hr />
<div>{{Pathnav|[[物理学]]|[[相対性理論]]|frame=1}}<br />
[[File:Spacetime curvature.png|right|thumb|300px|質量(地球)が空間の幾何学をゆがめている様子を2次元に落とし込んで描いたところ 歪んだ幾何学自体が重力と解釈できる]]<br />
{{一般相対性理論}}<br />
'''一般相対性理論'''(いっぱんそうたいせいりろん、{{lang-de-short|allgemeine Relativitätstheorie}}, {{lang-en-short|general theory of relativity}})は、[[アルベルト・アインシュタイン]]が[[1905年]]の[[特殊相対性理論]]に続いて[[1915年]]から[[1916年]]にかけて発表した[[物理学]]の理論である。'''一般相対論'''(いっぱんそうたいろん、{{lang-en-short|general relativity}})とも。<br />
<br />
== 概要 ==<br />
[[File:1919 eclipse positive.jpg|thumb|right|220px|エディントンによる1919年の皆既日食の写真]]<br />
[[ファイル:Flamm.jpg|thumb|right|220px|重力場の概念図]]<br />
[[一般相対性原理]]と[[一般共変性原理]]および[[等価原理]]を理論的な柱とし、[[リーマン幾何学]]を[[数学]]的土台として構築された[[古典論]]的な[[重力場]]の理論であり、[[古典物理学]]の金字塔である<ref group="注">[[レフ・ランダウ]]は、一般相対論は現存する物理学の理論の中で最も美しい理論だと述べている。</ref>。[[測地線]]の[[方程式]]と[[アインシュタイン方程式]](重力場の方程式)が帰結である。時間と空間を結びつけるこの理論では、[[アイザック・ニュートン]]によって[[万有引力]]として説明された現象が、もはやニュートン力学的な意味での[[力 (物理学)|力]]ではなく、[[時空連続体]]の[[ゆがみ|歪み]]として説明される。<br />
<br />
一般相対性理論では、次のことが予測される。<br />
;[[重力レンズ|重力レンズ効果]]<br />
:重力場中では光が曲がって進むこと。[[アーサー・エディントン]]は、[[1919年5月29日の日食]]で、[[太陽]]の近傍を通る星の光の曲がり方がニュートン力学で予想されるものの2倍であることを観測で確かめ、一般相対性理論が正しいことを示した。<br />
;[[水星]]の[[近点・遠点|近日点]]の移動<br />
:ニュートン力学だけでは、水星軌道のずれ([[近点移動|近日点移動]]の大きさ)の観測値の説明が不完全だったが、一般相対性理論が解決を与え、太陽の[[質量]]による時空連続体の歪みに原因があることを示した。<br />
;[[重力波 (相対論)|重力波]]<br />
:[[時空]]の歪み([[重力場]])の変動が伝播する現象。[[線型近似]]が有効な弱い重力波の伝播速度は[[光速]]である。アインシュタインによる予測の発表から100年目の[[2016年]]に、アメリカの[[LIGO]]により直接観測された。<br />
;[[膨張宇宙]]<br />
:時空は膨張または収縮し、定常にとどまることがないこと。[[ビッグバン]]宇宙を導く。<br />
;[[ブラックホール]]<br />
:限られた空間に大きな質量が集中すると、光さえ脱出できないブラックホールが形成される。<br />
;[[重力]]による[[赤方偏移]]<br />
:強い重力場から放出される光の波長は元の波長より引き延ばされる現象。<br />
;[[時間]]の遅れ<br />
:強い重力場中で測る時間の進み([[固有時|固有時間]])が、弱い重力場中で測る時間の進みより遅いこと。<br />
<br />
一般相対性理論は慣性力と重力を結び付ける等価原理のアイデアに基づいている。等価原理とは、簡単に言えば、外部を観測できない箱の中の観測者は、自らにかかる力が、箱が一様に加速されるために生じている慣性力なのか、箱の外部にある質量により生じている重力なのか、を区別することができないという主張である。<br />
<br />
相対論によれば空間は時空連続体であり、一般相対性理論では、その時空連続体が均質でなく歪んだものになる。つまり、質量が時空間を歪ませることによって、重力が生じると考える。そうだとすれば、大質量の周囲の時空間は歪んでいるために、光は直進せず、また時間の流れも影響を受ける。これが重力レンズや時間の遅れといった現象となって観測されることになる。また質量が移動する場合、その移動にそって時空間の歪みが移動・伝播していくために重力波が生じることも予測される。<br />
<br />
アインシュタイン方程式から得られる時空は、ブラックホールの存在や膨張宇宙モデルなど、アインシュタイン自身さえそれらの解釈を拒むほどの驚くべき描像である。しかし、ブラックホールや初期宇宙の[[特異点]]の存在も理論として内包しており、特異点の発生は一般相対性理論そのものを破綻させてしまう。将来的には[[量子重力理論]]が完成することにより、この困難は解決されるものと期待されている。<br />
<br />
== 歴史 ==<br />
=== 一般相対性理論が成立するまでの研究 ===<br />
1905年に特殊相対性理論を発表したアインシュタインは、特殊相対性理論を加速度運動を含めたものに拡張する理論の構築に取り掛かった。1907年に、アインシュタイン自身が「人生で最も幸福な考え (the happiest thought of my life)」と振り返る「重力によって生じる加速度は観測する座標系によって局所的にキャンセルすることができる」というアイディア(等価原理<ref>[[#選集2|選集2]] [A2]一般相対性理論および重力論の草案 (1914), p.34</ref>)を得る。 光の進み方と重力に関する論文を1911年に出版した後、1912年からは、重力場を時空の幾何学として取り扱う方法を模索した。このときにアインシュタインに[[リーマン幾何学]]の存在を教えたのが、数学者[[マルセル・グロスマン]]であった。ただし、このときグロスマンは、「物理学者が深入りする問題ではない」と助言したとも伝えられている。1915年-16年には、これらの考えが1組の微分方程式([[アインシュタイン方程式]])としてまとめられた。<br />
<br />
この時期にアインシュタインが発表した一般相対性理論に関する論文は、以下の通り。<br />
*1911年 論文『光の伝播に対する重力の影響<ref group="注">原題:[[#einstein|''Über den Einfluß der Schwerkraft auf die Ausbreitung des Lichtes'']]</ref>』(Annalen der Physik, 35, 898-908)<br />
*1914年 論文『一般相対性理論および重力論の草案<ref group="注">原題:''Entwurf einer verallgemeinerten Relativitätstheorie und einer Theorie der Gravitation''</ref>』(ZS. f. Math. u. Phys., 62, 225-261)<br />
*1915年 論文『水星の近日点の移動に対する一般相対性理論による説明<ref group="注">原題:{{Cite journal|title=Erklärung der Perihelbewegung des Merkur aus der allgemeinen Relativitätstheorie|bibcode=1915SPAW.......831E|doi=10.1002/3527608958.ch4}}.</ref>』(S.B. Preuss. Akad. Wiss., 831-839)<br />
*1916年 論文『一般相対性理論の基礎<ref group="注">原題:[[#einstein2|''Die Grundlage der allgemeinen Relativitätstheorie'']]</ref>』(Annalen der Physik (Germany), 49, 769-822)<br />
*1916年 論文『ハミルトンの原理と一般相対性理論<ref group="注">原題:{{Cite journal|title=Hamiltonsches Prinzip und allgemeine Relativitätstheorie|bibcode=1916SPAW......1111E|doi=10.1002/3527608958.ch9}}</ref>』(S.B. Preuss. Akad. Wiss., 1111-1116)<br />
<br />
=== 一般相対性理論の発表後 ===<br />
アインシュタイン方程式の発表後は、その方程式を解くことが研究の課題となった。<br />
<br />
1916年に[[カール・シュヴァルツシルト]]が、アインシュタイン方程式を球対称・真空の条件のもとに解き、今日[[ブラックホール]]と呼ばれる時空を表す[[シュヴァルツシルトの解|シュヴァルツシルト解]]を発見した。アインシュタイン自身は、自ら導いた方程式から、重力波の概念を提案したり、宇宙全体に適用すると動的な宇宙が得られてしまうことから、[[宇宙定数|宇宙項]]を新たに方程式に加えるなどの提案を行っている。<br />
*1917年 論文『一般相対性理論についての宇宙論的考察』(S.B. Preuss. Akad. Wiss., 142-152)<br />
*1918年 論文『重力波について』(S.B. Preuss. Akad. Wiss., 154-167)<br />
<br />
1919年に[[アーサー・エディントン]]が[[皆既日食]]を利用して、一般相対性理論により予測された太陽近傍での光の曲がりを確認したことにより、理論の正しさが認められ、世間への認知が一気に広まった。<br />
<br />
1922年には、宇宙膨張を示唆するフリードマン・ロバートソンモデルが提案されるが、アインシュタイン自身は、宇宙が定常であると信じていたので、現実的な宇宙の姿であるとは受け入れようとはしなかった。<br />
<br />
しかし、1929年には、[[エドウィン・ハッブル]]が、遠方の銀河の[[赤方偏移]]より、宇宙が膨張していることを示し、これにより、一般相対性理論の予測する時空の描像が正しいことが判明した。後にアインシュタインは宇宙項の導入を取り下げ、「生涯最大の失敗だった (the biggest blunder in my career)」と[[ジョージ・ガモフ]]に語ったという。<br />
<br />
1931年、[[スブラマニアン・チャンドラセカール]]は、[[白色矮星]]の質量に上限があることを理論的計算によって示した。今日、[[チャンドラセカール限界]]として知られる式は、[[万有引力定数]] {{mvar|G}}、[[プランク定数]] {{mvar|h}}、[[光速]] {{mvar|c}} の3つの基本定数を含み、古典物理・量子物理双方の成果を集大成したものでもある。チャンドラセカールは、「星の構造と進化にとって重要な物理的過程の理論的研究」の功績で[[ノーベル物理学賞]](1983年)を受賞した。<br />
<br />
1939年、[[ロバート・オッペンハイマー]]とゲオルグ・ヴォルコフ{{enlink|George Volkoff}}<!-- ゲオルグの読み方は違うかも -->は、[[中性子星]]形成のメカニズムを考察する過程で、[[重力崩壊]]現象が起きることを予測した。<br />
<br />
その後しばらく、一般相対性理論は、「数学的産物」として実質的な物理研究の主流からは外れている。<br />
<br />
重力波は果たして物理的な実体であるのかどうかという論争や、アインシュタイン方程式の厳密解の分類方法などの研究がしばらく続くが、1960年代の[[パルサー]]の発見やブラックホール候補天体の発見、そして[[ロイ・カー]]による回転ブラックホール解([[カー解]])の発見を契機に、一般相対性理論は天文学の表舞台に登場する。同時期に、[[スティーヴン・ホーキング]]と[[ロジャー・ペンローズ]]が[[特異点定理]]を発表し、数学的・物理的に進展を始めると共に、[[ジョン・ホイーラー]]らが、古典重力・量子重力双方に物理的な描像を次々と提出し始めた。[[ワームホール]](1957年)や[[ブラックホール]](1967年)という名前を命名したのは、ホイーラーである。<br />
<br />
1974年、[[ジョゼフ・テイラー]]と[[ラッセル・ハルス]]は、連星[[パルサー]] [[PSR B1913+16]] を発見した。連星の自転周期とパルスの放射周期を精密に観測することによって、[[重力波 (相対論)|重力波]] により、連星系からエネルギーが徐々に運び去られていることを示し、重力波の存在を間接的に証明した。この業績により、2人は「重力研究の新しい可能性を開いた新型連星パルサーの発見」として[[ノーベル物理学賞]](1993年)を受賞した。<br />
<br />
現在は、重力波の直接観測を目指して、世界各地で[[レーザー干渉計]]が稼働している。観測のターゲットとしているのは、中性子星連星やブラックホール連星の合体で生じる重力波などで、波形の予測のための理論や数値シミュレーションが研究の重要なテーマになっている。<br />
<br />
また、宇宙論研究では、[[ビッグバン]]宇宙モデル(1947年)が有力とされているが、さらにその初期宇宙の膨張則を修正した[[インフレーション宇宙]]モデル(1981年)も正しいことが、2006年の[[WMAP]]衛星による[[宇宙背景輻射]]の観測により決定的になったと考える人も多い。最近は、高次元宇宙モデルが脚光を浴びているが、これらの宇宙モデルは、いずれも一般相対性理論を基礎にして議論される。<br />
<br />
アインシュタイン以後、一般相対性理論以外の重力理論も、数多く提案されているが、現在までにほとんどが観測的に棄却されている。実質的に対抗馬となるのは、[[カール・ブランス]]と[[ロバート・H・ディッケ]]による[[ブランス・ディッケ重力理論]]であるが、現在の観測では、ブランス・ディッケ理論のパラメーターは、ほとんど一般相対性理論に近づけなくてはならず、両者を区別することが難しいほどである。量子論と一般相対論の統一という物理学の試みは未だ進行中であるものの、一般相対性理論を積極的に否定する観測事実・実験事実は一つもない。他に提案されたどの重力理論よりも一般相対性理論は単純な形をしていることから、重力は一般相対性理論で記述される、と考えるのが現代の物理学である。<br />
<br />
== 物理学としての位置づけ ==<br />
=== 万有引力の法則との関係 ===<br />
[[アインシュタイン方程式]]は[[微分方程式]]として与えられているため局所的な理論ではあるが、ちょうど[[電磁気学]]における局所的な[[マクスウェルの方程式|マクスウェル方程式]]から大域的な[[クーロンの法則]]を導くことができるように、アインシュタイン方程式は静的なニュートンの[[万有引力]]の法則を包含している。万有引力の法則との主な違いは次の3点である。 <br />
#[[重力]]は瞬時に伝わるのではなく[[光]]と同じ速さで伝わる。<br />
#[[重力]]から重力が発生する(非線形相互作用)。<br />
#[[質量]]を持つ物体の[[加速度|加速]]運動により[[重力波 (相対論)|重力波]]が放射される。<br />
ここで、3.は[[荷電粒子]]が加速運動することにより[[電磁波]]が[[放射]]されることと類似している。これは、万有引力の法則やクーロンの法則に、運動する対象の自己の重力や[[電荷]]の効果を取り入れていることに対応している。<br />
<br />
=== 特殊相対性理論との関係 ===<br />
後述するように、一般相対性理論における時空間は数学的には各点の[[接ベクトル空間]]に[[ミンコフスキー空間|ミンコフスキー計量]]をいれた4次元[[多様体]]([[擬リーマン多様体#ローレンツ多様体|ローレンツ多様体]])で、[[アインシュタイン方程式]]を満たすものである。<br />
<br />
よって各点の接ベクトル空間は、[[特殊相対性理論]]に従うミンコフスキー空間であり、接ベクトル空間とは、数学的には[[テイラー展開]]の一次の項に対応している。<br />
<br />
これはすなわち、一般相対性理論の側からみた場合、特殊相対性理論とは時空間上に任意に固定された一点の近傍において、一般相対性理論を一次近似したものである事を意味している。なお、([[宇宙定数|宇宙項]]のない)アインシュタイン方程式に登場する各項([[曲率]]や[[エネルギー・運動量テンソル]])は、二次の微分に関わる項であり、一次近似である特殊相対性理論には登場しない。<br />
<br />
逆に特殊相対性理論の側から一般相対性理論をみると、特殊相対性理論の数学的定式化であるミンコフスキー空間は、全ての点に同一のミンコフスキー計量をいれた平坦なローレンツ多様体である。<br />
<br />
このローレンツ多様体上では曲率は全点でゼロであるので、この事実を(宇宙項のない)アインシュタイン方程式に代入すると、この空間ではエネルギー・運動量テンソルがゼロである事を意味する。<br />
<br />
また、平坦なローレンツ多様体上では[[共変微分]]と通常の微分は一致するので、全ての線形座標で[[クリストッフェル記号]]は消えている。クリストッフェル記号は物理学的には[[重力]]に対応しているので、これはすなわち全ての線形座標で重力がゼロである事を意味する。<br />
<br />
以上より特殊相対性理論とは、エネルギー・運動量テンソルの影響が無視できる程度に、すなわち宇宙全体に比べれば微小な領域における理論であり、空間の曲率も領域の微小さゆえに無視できる場合の理論であると言える。<br />
<br />
=== 量子力学との関係 ===<br />
{{main|量子重力理論}}<br />
[[量子論]]は一般相対性理論と同様に物理学の基本的な理論の1つであると考えられている。しかし、一般相対性理論と量子論を整合させた理論([[量子重力理論]])はいまだに完成していない。現在、人類の知っているあらゆる物理法則は全て[[場の量子論]]と一般相対性理論という2つの理論から導くことができる。そのため、その2つを導くことのできる量子重力理論はこの世のすべてを説明できる[[万物の理論]]とも呼ばれている。<br />
<br />
基本的に相対性理論で取り扱われる[[重力]]は、4つの[[基本相互作用]]のうち他の3つの力に比べて圧倒的に小さく、[[天体物理学]]や[[天文学]]で取り扱う[[天文現象]]のような{{仮リンク|微視的|label=巨視的|en|Macroscopic scale|preserve=1}}なレベル以下の大きさでは無視できる。逆に、量子論効果は[[量子化学]]や[[量子力学]]、[[素粒子物理学]]で取り扱う[[分子]]や[[原子]]、[[クォーク]]などのような[[微視的]]なレベル以上の大きさでは無視できる。よって相対性理論を適用する場面と量子論を適用する場面は重ならないためほとんどの場合この両者を考慮する必要はない。しかし、[[ブラックホール]]や[[ビッグバン]]などの大質量かつ微視的なスケールの現象を説明するためにはこの両者を併用する必要があるが、相対論と量子論を従来用いられてきた[[摂動|摂動法]]を用いて統合しようとすると、両者の間に深刻な対立が生じてしまい、並立させることが出来ない。従来の量子論では摂動展開時に生じる{{仮リンク|紫外発散|en|Ultraviolet divergence}}を[[繰り込み]]によって解消しているが、重力にはこの手法が適用できないのである。<br />
<br />
この2つの理論の対立を折衷する様々なアプローチが試みられているが、未だ決定的な理論は出てきていない。<br />
<br />
====曲がった時空上の場の理論 (Quantum field theory in curved spacetime)====<br />
一般に[[場の量子論]]においては平坦なミンコフスキー時空における粒子を扱うが、重力の効果を近似的(半古典的)に背景時空(曲がった時空)として導入することにより、場の量子論に曲がった時空の効果を近似的に取り入れたものである。<br />
<br />
重力子の影響を背景時空として近似しているため、強い重力場のもとでは時空を完全に量子化したような[[量子重力理論]]に修正されるべきである。欠点としては、時空が静的なものであるため完全には相対論的ではない。<br />
<br />
[[ホーキング放射]]はこの理論のもとで予測された。<br />
<br />
==== 超弦理論 ====<br />
{{Main|超弦理論}}<br />
超弦理論は、従来の量子論では大きさを持たない[[点 (数学)|点]]と仮定されている[[粒子]]を、長さを持つひもと仮定しなおすことにより紫外発散の問題を解消している。理論的な探求は進んでいるものの、実験的裏付けに乏しく未だ[[仮説]]の域を脱していない。<br />
<br />
== 一般相対性理論の内容 ==<br />
一般相対性理論は、次の仮定を出発点にする。<br />
;[[一般相対性原理]]<br />
:物理学の法則は、任意の仕方で運動している座標系に関していつも成立する{{Sfnp|リーマン幾何とその応用|1971|p=100}}<br />
:; 一般共変性の仮定<br />
::自然の一般法則<ref group="注">一般共変性の仮定においては『自然の一般法則』であり『物理法則』ではない。</ref>は、すべての座標系に対して成り立つ、すなわち任意の座標系に対して(一般)共変な方程式で表されなくてはならない{{Sfnp|リーマン幾何とその応用|1971|p=104}}。<br />
:; 局所座標系における特殊相対性理論の成立仮定<br />
::無限に小さな4次元領域(4次元の[[擬リーマン多様体]]のある点における局所座標系または接空間)に対しては、座標を適当に選べば、特殊の意味での相対性理論が原則として成り立つ{{refnest|group="注"|重力場がある場合は、[[等価原理]]により、座標系の加速状態を適当に選ぶことで、特殊相対性理論が成り立つ座標系を取ることができる{{Sfnp|リーマン幾何とその応用|1971|pp=105-107}}。}}。時空のある点における基本計量テンソル {{math|''g''{{sub|i j}}}} は、その座標系に関する重力場を記述する{{Sfnp|リーマン幾何とその応用|1971|p=106}}。基本計量テンソルの行列式 {{Mvar|g}} は常に有限の負の値を持つ{{Sfnp|リーマン幾何とその応用|1971|p=117}}。<br />
;測地線の仮定<br />
:自由質点運動は測地線である<br />
一般相対性理論成立の歴史上、[[等価原理]]{{enlink|equivalence principle}}はスタートポイントとして考えられたが、数学的に重要であるのは、一般相対性原理(一般共変性の仮定と局所座標系における特殊相対性理論の成立仮定)である。<br />
<br />
=== 時空モデルとしてのリーマン多様体に求められる条件 ===<br />
一般相対性理論においては、重力のある空間を光が通過するとき光は曲がる(光のとる経路が伸びる)ことから、時空は、重力場を基本計量テンソルとする4次元の[[リーマン多様体]]として扱われる<ref group="注">通常、数学でリーマン多様体というと[[ユークリッド空間]]をパッチワークのように張り合わせたものを指し、2点間の距離の2乗が非負の正定値[[計量テンソル|計量]]と呼ばれる空間である。それに対して、一般相対性理論が扱うのは、時間と空間の意味をもつ座標を含む[[ミンコフスキー空間]]を張り合わせたものであり、2点間の距離が虚数になり得る不定計量の空間である。このため、擬リーマン多様体{{enlink|pseudo-Riemannian manifold}}とも呼ばれる。</ref>。可微分多様体 M が[[リーマン多様体]]であるとは、M 上の各点に基本計量テンソル {{math|''g''{{sub|ij}}(''x'')}} が与えられているものを言う。なお、局所座標系 {{math|(''x''<sup>0</sup>, ''x''<sup>1</sup>, ''x''<sup>2</sup>, ''x''<sup>3</sup>)}} の四つの座標の内、{{math|''x''{{sup|0}}}} は適当な測定単位で測られた時間座標、{{math|''x''{{sup|1}}, ''x''{{sup|2}}, ''x''{{sup|3}}}} は空間座標とする。すなわち、{{math|''x''{{sup|0}} {{=}} ''ct'', ''x''{{sup|1}} {{=}} ''x'', ''x''{{sup|2}} {{=}} ''y'', ''x''{{sup|3}} {{=}} ''z''}} であるとする。さらに、リーマン多様体上に定義されるテンソル概念に対して、上下に現れる同じ添字については常に和を取るという[[アインシュタインの縮約記法]]を用いる。<br />
<br />
;一般共変性の仮定<br />
リーマン多様体を導入することで、'''一般共変性の仮定'''は、<br />
{{Quotation|<br />
ある自然の一般法則がある座標系で一つのテンソルの成分がすべてゼロになる形で書き表すことができるとき、すなわち、<br />
:(テンソルの成分) = 0<br />
とできるとき、その法則は一般共変性を持つ<br />
}}<br />
というように、リーマン多様体上で定義されるテンソル概念の性質として定式化できるようになる。<br />
<br />
;局所座標系における特殊相対性理論の成立仮定<br />
[[リーマン幾何学]]によれば、リーマン多様体上の無限に近い2点間の距離 ds は<br />
:<math>ds^2=g_{i j}dx^idx^j</math><br />
の平方で与えられる。この ds を4次元空間の無限に近い点に属する'''線素'''{{enlink|line element}}の大きさと呼ぶ{{Sfnp|リーマン幾何とその応用|1971|p=105}}が、これは、特殊相対性理論が成り立つような座標系においては、[[ミンコフスキー]]が指摘した4次元空間における不変量<br />
:<math>ds^2=c^2dt^2-dx^2-dy^2-dz^2</math><br />
一致するものでなくてはならない。すなわち、適当な座標変換により、計量テンソル {{mvar|g{{sub|ij}}}} は、<br />
:<math>g_{tt}=1,~g_{xx}=g_{yy}=g_{zz}=-1</math><ref group="注">これを[[ミンコフスキー計量]]{{enlink|Metric tensor (general relativity)|metric}}と呼ぶこともある。</ref><br />
行列形式で描けば、<br />
:<math>\begin{pmatrix}1&0&0&0\\<br />
0&-1&0&0\\<br />
0&0&-1&0\\<br />
0&0&0&-1\\\end{pmatrix}</math><br />
となることが要請される。これはより一般的な表現として、有限で常に負の値をもつ基本計量テンソルの行列式 {{math|''g'' {{=}} det(''g<sub>ij</sub>'')}} に対する次の条件<br />
:<math>\sqrt{-g}=1</math><br />
という形で条件として求められる。<br />
<br />
=== 測地線の方程式 ===<br />
[[擬リーマン空間]]における[[測地線]]{{enlink|geodesic}}は、通常の計量空間における定義と同様に、2点間の長さを最小にする曲線として定義される。曲線の長さは、<br />
{{Indent|<math>l(\gamma)=\int_\gamma\sqrt{\pm g_{\mu\nu}dx^\mu dx^\nu}=\int_\gamma\sqrt{\pm g_{\mu\nu}\frac{dx^\mu}{dt}\frac{dx^\nu}{dt}}\,dt</math>}}<br />
で与えられる。ここでの積分は、曲線 {{math|''&gamma;''(''t'')}} に沿うものとする。ルート内の符号の+は空間的な曲線に対して、負の符号は時間的な曲線に対して適用し、いずれの場合も長さが実数になるようにする。<br />
<br />
この長さの極値をもたらす条件を導出すると、測地線の方程式が得られる。局所座標で表現すると、方程式は、<br />
{{Indent|<math>\frac{d^2x^\mu}{dt^2}+\Gamma^{\mu}_{~\nu\rho}\frac{dx^\nu}{dt}\frac{dx^\rho}{dt}=0</math>}}<br />
となる。ここで、{{math|''x''{{sup|''&mu;''}}(''t'')}} は、曲線 {{math|''&gamma;''(''t'')}} の座標であり、{{math|&Gamma;{{SubSup||&ensp;''&nu;&rho;''|''&mu;''}}}} は先に登場した[[クリストッフェル記号]]である。座標の常微分方程式として得られるこの式は、初期値と初速度を与えれば解を一意に決定する。この式は、曲がった時空における光・粒子の運動方程式である。<br />
<br />
=== リーマンテンソル、アインシュタイン・テンソル ===<br />
時空の曲率は、レヴィ・チビタ接続 &nabla; が定義する[[リーマン曲率テンソル]]{{enlink|Riemann curvature tensor|Riemann tensor}}{{math|{{SubSup|R|&emsp;''&sigma;&mu;&nu;''|''&rho;''}}}} で表現される。局所座標表現では、次のように書ける。<br />
{{Indent|<math>{R^\rho}_{\sigma\mu\nu}=\frac{\partial}{\partial x^\mu}\Gamma^\rho{}_{\nu\sigma}-\frac{\partial}{\partial x^\nu}\Gamma^\rho{}_{\mu\sigma}+\Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma}-\Gamma^\rho {}_{\nu\lambda}\Gamma^\lambda {}_{\mu\sigma}</math>}}<br />
<br />
物理的には、このリーマン曲率テンソルから、2成分を縮約した[[リッチテンソル]]{{enlink|Ricci curvature|Ricci tensor}}{{mvar|R{{sub|&mu;&nu;}}}} と、さらに添字を縮約したリッチ[[スカラー曲率]]{{enlink|Scalar curvature|Ricci scalar}}{{mvar|R}}<br />
{{Indent|<math>R_{\mu\nu}={R^\rho}_{\mu\rho\nu}</math><br />
<br />
<math>R_{}^{}=g^{\mu\nu}R_{\mu\nu}</math>}}<br />
を考えればよく、さらにその組み合わせである、<br />
{{Indent|<math>G_{\mu\nu}=R_{\mu\nu}-\frac{1}{2}Rg_{\mu\nu}</math>}}<br />
が物質分布で定まることをアインシュタインが見いだした。この最後の組み合わせ {{mvar|G{{sub|&mu;&nu;}}}} を[[アインシュタインテンソル|アインシュタイン・テンソル]]{{enlink|Einstein tensor}}と呼ぶ。<br />
<br />
=== アインシュタイン方程式とその特徴 ===<br />
一般相対性理論の基本方程式は、<br />
{{Indent|<math>G_{\mu\nu}+\Lambda g_{\mu\nu}=\kappa T_{\mu\nu}</math>}}<br />
と表され、[[アインシュタイン方程式]]と呼ばれる。ここで {{mvar|G{{sub|&mu;&nu;}}}} はアインシュタインテンソル、{{mvar|g{{sub|&mu;&nu;}}}} は計量テンソル、{{math|&Lambda;}} は[[宇宙定数|宇宙項]]、{{mvar|T{{sub|&mu;&nu;}}}} は[[エネルギー・運動量テンソル]]である。非相対論的極限でニュートンの重力理論に収束することから、右辺の比例係数 {{mvar|&kappa;}} ([[アインシュタインの定数]])は、<br />
{{Indent|<math>\kappa=\frac{8\pi G}{c^4}</math>}}<br />
となる。{{mvar|G}} は[[万有引力定数]]、 {{mvar|c}} は[[光速]]である。4次元空間を考えれば、テンソルは対称なので、アインシュタイン方程式は、10本の方程式からなる。<br />
<br />
アインシュタイン方程式の左辺は時空の曲率を表し、右辺は物質分布を表す。右辺の物質分布の項により時空が曲率を持ち、その曲率の影響で次の瞬間の物質分布が定まる、という構造である。真空の時空であれば、右辺をゼロとすればよい。例えば、重力以外の力を考えないと、次のようになる。<br />
<blockquote><br />
右辺のエネルギー運動量テンソルが増加の場合(アインシュタインの特殊相対論によるとエネルギーと質量は等価であるから、エネルギー運動量テンソルの増加は質量の増加を意味する)、左辺も増加しなければならない。これは時空の曲率が増加することを意味する。アインシュタインの解釈によると重力とは時空の湾曲によるものであったから、曲率の増加は重力の増大を表す。右辺のエネルギー運動量テンソルの増大は質量が増大する事を表し、この方程式によると、それは左辺の時空の曲率、つまり重力がさらに増大することを意味する。<br />
</blockquote><br />
すなわち、重力は非線形で、重力自身は自己増大してゆく。通常の[[恒星]]のモデルでは、[[核融合]]による、生じる[[光]]([[電磁波]])の輻射圧とガスによる圧力が、重力と釣り合うように恒星の半径が決まる。星が燃え尽きて支える力がなくなると、[[重力崩壊]]し、[[電子]]の[[縮退圧]]で支えられる[[白色矮星]] か、[[中性子]]の[[縮退圧]]で支えられる[[中性子星]]、あるいは、[[ブラックホール]]になることが予測される。<br />
<br />
アインシュタイン方程式の数学的な特徴は、次のような点にある。<br />
*[[座標変換]]に対し、[[共変的]]であるので、「時間座標1+空間座標3」のみではなく、「光の進行方向2+空間座標2」といった分解表現も可能である。<br />
*非線形の2階の[[偏微分方程式]]([[楕円型偏微分方程式]]および[[双曲型偏微分方程式]])である。<br />
*時空構造を論じていながら、時空全体の[[大域的構造]]や[[トポロジー]]を仮定しない。<br />
*得られる解には、特異点が存在する([[特異点定理]])。<br />
<!-- このように、物質密度などを表すエネルギー運動量テンソルと時空の湾曲とを関係付けていることが、アインシュタイン方程式の特徴であるといえる。 --><br />
<br />
=== アインシュタイン方程式の厳密解 ===<br />
アインシュタイン方程式自身に何ら近似することなく得られる解析解のことを'''厳密解'''という。良く知られている厳密解に、次のものがある。<br />
; [[シュヴァルツシルトの解|シュヴァルツシルト解]]<br />
: [[カール・シュヴァルツシルト]]が1916年に発表した解。真空で球対称を仮定した解で、ブラックホールを表す最も単純な解。<br />
; [[カー解]]<br />
: [[ロイ・カー]]が1962年発表した解。真空で軸対称時空を仮定した解で、回転するブラックホールを表す最も単純な解。<br />
; [[ドジッター解]]<br />
: [[ウィレム・ド・ジッター]]が1917年に発表した解。真空で宇宙項がある場合の膨張宇宙解。[[ド・ジッター宇宙]]を表す。<br />
; [[フリードマン・ロバートソン・ウォーカー計量|フリードマン・ロバートソン・ウォーカー解]]<br />
: [[アレクサンドル・フリードマン]]、[[ハワード・ロバートソン]]、[[アーサー・ウォーカー]]が1922年に発表した解。時空の球対称性を仮定し、物質分布を一様等方な流体近似した解で、ビッグバン膨張宇宙を表す解。<br />
; [[ゲーデル解]]<br />
: [[クルト・ゲーデル]]が1949年に発表した解。[[物質分布]]を規定する[[エネルギー・運動量テンソル]]を、回転する一様な[[ダスト粒子]]として仮定し、ゼロでない[[宇宙定数|宇宙項]]を仮定した解で、[[ゲーデルの回転宇宙]]を表す解。<br />
<br />
現在でも、新しい解(解析解)を発見すれば、発見者の名前がつく。ただし、同じ物理的な時空であっても、異なる座標表現を用いて、異なる解のように表現されることがあるので、注意することが必要である。<br />
<br />
== 一般相対性理論の応用 ==<br />
=== GNSS ===<br />
自動車などの位置をリアルタイムに測定表示する[[カーナビゲーション|カーナビゲーションシステム]]は、[[衛星測位システム|GNSS]]の代表といえる[[グローバル・ポジショニング・システム|GPS]]などを利用しており、[[GPS衛星]]などに搭載された[[原子時計]]に基づき生成される航法信号に依存している。<br />
<br />
GPS衛星からの信号を受信する装置では、さまざまな要因による補正を行うが、GPS衛星の時計との同期に関するものとして、地表に対して高速で運動するGPS衛星の、特殊相対論効果による地表からみた[[時間の遅れ]]、および地球の重力場による地上の時間の遅れ、言い換えれば一般相対論効果による衛星の時計の進みが含まれる<ref group="注">他に地球自転に起因する信号伝播に対する[[サニャック効果]]もある。</ref>。<br />
<br />
GPS衛星の[[軌道速度]]は[[秒速]]約4[[キロメートル]]と高速であるため、特殊相対論によって時間の進み方が遅くなる。一方、GPS衛星の高度は約2万キロメートルで、地球の重力場の影響が小さいことから、一般相対論によって地上よりも時間の進み方が速くなる。このように特殊相対論と一般相対論で互いに逆の効果をもたらすことになる。この相対論的補正をせずに1日放置すると、位置情報が約11キロメートルもずれてしまうほどの時刻差になることから、相対論的補正はGPSシステムの運用に不可欠である<ref>{{Cite journal|doi=10.1063/1.1485583|author=Neil Ashby|year=2002|month=May|title=Relativity and the Global Positioning System|journal=[[:en:Physics Today|Physics Today]]|publisher=[[米国物理学協会|American Institute of Physics]]|volume=55|issue=5|page=41}}</ref>。<br />
<br />
== 脚注 ==<br />
{{脚注ヘルプ}}<br />
=== 注釈 ===<br />
{{Reflist|group="注"}}<br />
=== 出典 ===<br />
{{Reflist}}<br />
<br />
== 参考文献 ==<br />
*{{Cite journal|author=A. Einstein|title=Über den Einfluß der Schwerkraft auf die Ausbreitung des Lichtes|url=http://www.itp.kit.edu/~sahlmann/pdfs/propagation%20of%20light.pdf|format=[[Portable Document Format|PDF]]|trans_title=光の伝播に対する重力の影響|journal=[[アナーレン・デア・フィジーク|Annalen der Physik]]|location=[[ライプツィヒ|Leipzig]]|volume=340|issue=10|pages=898-908|date=June 21, 1911|language=[[ドイツ語|German]]|issn=0003-3804|oclc=5854993|doi=10.1002/andp.19113401005|bibcode=1911AnP...340..898E|ref=einstein}}<br />
*{{cite journal|author=A. Einstein|title=Die Grundlage der allgemeinen Relativitätstheorie|url=http://www.physik.uni-augsburg.de/annalen/history/einstein-papers/1916_49_769-822.pdf|format=[[Portable Document Format|PDF]]|trans_title=一般相対性理論の基礎|journal=[[アナーレン・デア・フィジーク|Annalen der Physik]]|location=[[ライプツィヒ|Leipzig]]|volume=354|issue=7|pages=769–822|date=March 20, 1916|language=[[ドイツ語|German]]|issn=0003-3804|oclc=5854993|doi=10.1002/andp.19163540702|bibcode=1916AnP...354..769E|ref=einstein2}}<br />
*{{Cite book|和書|author=内山龍雄|authorlink=内山龍雄|date=1987-01-29|title=相対性理論|series=物理テキストシリーズ8|publisher=岩波書店|id={{全国書誌番号|87019979}}|isbn=4-00-007748-1|ncid=BN00639508|oclc=673778932|asin=4000077481|url=http://www.iwanami.co.jp/.BOOKS/00/1/0077480.html}}<br />
*{{Cite book|和書|author=P.A.M.Dirac|authorlink=ポール・ディラック|translator=[[江沢洋]]|year=2005-12|title=一般相対性理論|series=ちくま学芸文庫|publisher=筑摩書房|id={{全国書誌番号|20969268}}|isbn=4-480-08950-0|ncid=BA74624119|oclc=674910090|asin=4480089500|url=http://www.chikumashobo.co.jp/product/9784480089502/}}<br />
* {{cite book|和書|author=フィリップ・フランク|translator=矢野健太郎|title=評伝 アインシュタイン|year=2005|publisher=岩波書店|ref=評伝(2005)}}<br />
* {{cite book|和書|author=リーマン|author2=リッチ|author3=レビ=チビタ|author4=アインシュタイン|coauthors=マイヤー|title=リーマン幾何とその応用|translator=矢野健太郎|year=1971|publisher=共立出版|ref={{SfnRef|リーマン幾何とその応用|1971}}}}<br />
* {{cite book|和書|author=メラー|title=相対性理論|translator=永田 恒夫, 伊藤 大介|publisher=みすず書房|year=1959|ref=メラー(1959)}}<br />
* {{cite book|和書|author=矢野 健太郎|title=アインシュタイン|year=1991|ref=矢野(1991)}}<br />
* {{cite book|和書|author=矢野 健太郎|title=微分幾何学|publisher=朝倉書店|year=1949|ref=矢野(1949)}}<br />
* {{cite book|和書|author=矢野 健太郎|title=接続の幾何学|publisher=河出書房|year=1948|ref=矢野(1948)}}<br />
* {{cite book|和書|author=矢野 健太郎|title=リーマン幾何学入門|publisher=森北出版|year=1971|ref=矢野(1971)}}<br />
* {{cite book|和書|author=坪井 忠二|title=重力|edition=第2版|publisher=岩波全書|year=1979|ref=坪井(1979)}}<br />
* {{cite book|和書|author=ア・グリゴリヤン|translator=小林 茂樹、今井 博|title=力学はいかに創られたか|year=1970|publisher=東京図書株式会社|ref=ア・グリゴリヤン(1970)}}<br />
* {{cite book|和書|author=シュポルスキーほか|transkator=佐々木健ほか|title=アインシュタインと現代物理学|year=1958|publisher=東京図書株式会社|ref=現代物理学(1958)}}<br />
<br />
== 関連文献 ==<br />
*{{Cite book|和書|author=A.Einstein|others=[[湯川秀樹]]監修|editor=[[中村誠太郎]]・[[谷川安孝]]・[[井上健 (物理学者)|井上健]]訳・編|date=1971-03-01|title=アインシュタイン選集1――特殊相対性理論・量子論・ブラウン運動――|publisher=共立出版|id={{全国書誌番号|69018983}}|isbn=978-4-320-03019-0|ncid=BN00729724|oclc=834568557|asin=4320030192|url=http://www.kyoritsu-pub.co.jp/bookdetail/9784320030190}}<br />
*{{Cite book|和書|author=A.Einstein|others=湯川秀樹監修|editor=内山龍雄訳・編|date=1970-12-05|title=アインシュタイン選集2――一般相対性理論および統一場理論――|publisher=共立出版|id={{全国書誌番号|69018984}}|isbn=978-4-320-03020-6|ncid=BN00963834|oclc=834568671|asin=4320030206|url=http://www.kyoritsu-pub.co.jp/bookdetail/9784320030206|ref=選集2}}<br />
*{{Cite book|和書|author=A.Einstein|others=湯川秀樹監修|editor=中村誠太郎・井上健訳・編|date=1972-01-25|title=アインシュタイン選集3――アインシュタインとその思想――|publisher=共立出版|id={{全国書誌番号|69018985}}|isbn=978-4-320-03021-3|ncid=BN00729768|oclc=834568753|asin=4320030214|url=http://www.kyoritsu-pub.co.jp/bookdetail/9784320030213}}<br />
*{{Cite book|和書|author=内山龍雄|authorlink=内山龍雄|date=1978-07-30|title=一般相対性理論|series=物理学選書15|publisher=裳華房|id={{全国書誌番号|78026559}}|isbn=978-4-7853-2315-8|ncid=BN00729054|oclc=873890979|asin=4785323159|url=http://www.shokabo.co.jp/mybooks/ISBN978-4-7853-2315-8.htm}}<br />
*{{Cite book|和書|author=佐藤勝彦|authorlink=佐藤勝彦 (物理学者)|date=1996-12-18|title=相対性理論|series=岩波基礎物理シリーズ9|publisher=岩波書店|id={{全国書誌番号|97049882}}|isbn=4-00-007929-8|ncid=BN15591416|oclc=675345203|asin=4000079298|url=http://www.iwanami.co.jp/.BOOKS/00/8/0079290.html}}<br />
*{{Cite book|和書|author=佐藤文隆|authorlink=佐藤文隆|coauthors=[[小玉英雄]]|date=2000-06-15|title=一般相対性理論|series=現代物理学叢書|publisher=岩波書店|id={{全国書誌番号|20086007}}|isbn=4-00-006742-7|ncid=BA47513104|oclc=54548828|asin=4000067427|url=http://www.iwanami.co.jp/.BOOKS/00/7/0067420.html}}<br />
*{{Cite book|和書|author=W.Pauli|authorlink=ヴォルフガング・パウリ|translator=内山龍雄|date=2007-12-10|title=相対性理論|volume=上巻|series=ちくま学芸文庫|publisher=筑摩書房|id={{全国書誌番号|21355333}}|isbn=978-4-480-09119-2|ncid=BA84202329|oclc=675553164|asin=448009119X|url=http://www.chikumashobo.co.jp/product/9784480091192/}}<br />
*{{Cite book|和書|author=W.Pauli|translator=内山龍雄|date=2007-12-10|title=相対性理論|volume=下巻|series=ちくま学芸文庫|publisher=筑摩書房|id={{全国書誌番号|21355334}}|isbn=978-4-480-09120-8|ncid=BA84202329|oclc=675553100|asin=4480091203|url=http://www.chikumashobo.co.jp/product/9784480091208/}}<br />
*{{Cite book|和書|author=L.D. Landau|authorlink=レフ・ランダウ|coauthors=[[エフゲニー・リフシッツ|E.M. Lifshitz]]|translator=[[恒藤敏彦]]・[[広重徹]]|year=1978-10|title=場の古典論――電気力学、特殊および一般相対性理論|edition=原書第6版|series=[[理論物理学教程|ランダウ=リフシッツ理論物理学教程]] 第2巻|publisher=東京図書|id={{全国書誌番号|79000237}}|isbn=978-4-489-01161-0|ncid=BN00890297|oclc=841897028|asin=448901161X|url=http://www.tokyo-tosho.co.jp/kikan/04/kaisetu.html#k_01161}}<br />
*{{Cite book|last=W. Misner|first=Charles|coauthors=Thorne, Kip S.; Wheeler, John Archibald|date=September 15, 1973|title=Gravitation|series=Physics Series|publisher=W H Freeman & Co (Sd)|asin=0716703440|oclc=585119|ncid=BA00053088|isbn=0-7167-0344-0}}<br />
*{{Cite book|last=Wald|first=Robert|date=June 15, 1984|title=General Relativity|publisher=Univ of Chicago Pr (Tx)|id={{ASIN|B004DL0OEO}} ([[Amazon Kindle|Kindle]])|asin=0226870332|oclc=10018614|ncid=BA00907886|isbn=0-226-87033-2}}<br />
<br />
== 関連項目 ==<br />
{{Wikibooks}}<br />
*[[アインシュタイン方程式]] - [[エネルギー・運動量テンソル]]<br />
*[[アルベルト・アインシュタイン]]<br />
*[[宇宙論]] - [[ビッグバン]] - [[インフレーション宇宙]] - [[宇宙背景輻射]]<br />
*[[シュヴァルツシルトの解]] - [[ライスナー・ノルドシュトロム解]] - [[カー解]] - [[カー・ニューマン解]] - [[フリードマン・ロバートソン・ウォーカー計量]] - [[ゲーデル解]]<br />
*[[重力子]]<br />
*[[重力相互作用]]<br />
*[[重力波 (相対論)|重力波]] <br />
*[[サニャック効果]]<br />
*[[数値相対論]]<br />
*[[相対性理論]] - [[特殊相対性理論]]<br />
*[[微分幾何学]]<br />
*[[ブラックホール]] - [[シュヴァルツシルト・ブラックホール]] - [[カー・ブラックホール]]<br />
*[[ポスト・ニュートン展開]] - [[PPN形式]]<br />
*[[リーマン幾何学]]<br />
*[[量子重力理論]] - [[超弦理論]] - [[M理論]]<br />
*[[ワームホール]]<br />
*[[1919年5月29日の日食]]<br />
<br />
== 外部リンク ==<br />
* {{Kotobank|2=ブリタニカ国際大百科事典 小項目事典}}<br />
* {{Britannica|science|general-relativity|General relativity}}<br />
<br />
{{Physics-footer}}<br />
{{相対性理論}}<br />
{{重力理論}}<br />
{{Tensors}}<br />
{{アルベルト・アインシュタイン}}<br />
{{Normdaten}}<br />
{{DEFAULTSORT:いつはんそうたいせいりろん}}<br />
[[Category:一般相対性理論|*]]<br />
[[Category:世界観]]<br />
[[Category:アルベルト・アインシュタイン]]</div>
182.167.240.158
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46