4段階

微分幾何学において4 次元勾配(または4 次元勾配)は、ベクトル解析勾配4 ベクトル版です

特殊相対性理論量子力学では、4 次元勾配はさまざまな物理的な 4 次元ベクトルとテンソル間の特性と関係を定義するために使用されます

表記

この記事では(+ − − −) メトリック署名を使用します。

SR と GR はそれぞれ特殊相対性理論一般相対性理論の略語です

真空中の光の速度を示します

はSR の平坦な時空 計量です。

物理学では 4 つのベクトル式を記述する別の方法があります。

  • 4ベクトル形式は、 のように使うことができます。これは通常、より簡潔で、ベクトル表記、(内積の「ドット」など)を使用できます。4ベクトルを表すときは常に太字の大文字を使用し、3空間ベクトルを表すときは太字の小文字を使用します(例: )。3空間ベクトルの規則のほとんどには、4ベクトル数学における類似点があります。
  • リッチ計算スタイルを使用できます:はテンソルのインデックス表記を使用し、 などの複数のインデックスを持つテンソルを含むような、特により複雑な式に役立ちます

ラテンテンソルのインデックスは{1, 2, 3} の範囲にあり、 3 空間ベクトルを表します (例: )。

ギリシャテンソルの指数は{0, 1, 2, 3} の範囲にあり、 4 次元ベクトルを表します (例: )

SR 物理学では、通常、 などの簡潔なブレンドが使用されます。ここで、 は時間コンポーネントを表し、 は空間 3 コンポーネントを表します。

SR のテンソルは通常、上位インデックスと下位インデックスを持つ 4D テンソルであり、4D は 4 つの次元 (つまり各インデックスが取ることができる値の数) を示します。

ミンコフスキー計量で使用されるテンソル収縮はどちらの側にも進むことができる(アインシュタイン記法を参照): [1] : 56, 151–152, 158–161 

意味

4次元勾配共変成分を4ベクトルリッチ計算記法で簡潔に記述すると次のようになる: [2] [3] : 16 

上記の最後の部分にあるコンマ、4 位に関する偏微分を意味します

反変成分は以下の通りである: [2] [3] : 16 

の代替記号はおよびD です(ただし、ダランベール演算子表すこともできます)。

一般相対性理論では、より一般的な計量テンソル とテンソル共変微分を使用する必要があります(ベクトル 3 勾配と混同しないでください)。

共変微分は、クリストッフェル記号を介して4次元勾配時空曲率効果を組み込んでいる。

強い等価原理は次のように述べることができる: [4] : 184 

「超対称性理論においてテンソル表記で表現できる物理法則は、曲がった時空の局所慣性系においても全く同じ形をとる。」超対称性理論における4次元のコンマ(,)は、一般相対性理論では共変微分セミコロン(;)に置き換えられ、両者の関係はクリストッフェル記号を用いて表される。これは相対性物理学において「コンマからセミコロンへの規則」として知られている。

つまり、たとえばSR の場合はGR になります。

(1,0)-テンソルまたは4-ベクトルでは次のようになる: [4] : 136–139 

(2,0)-テンソルでは次のようになります。

使用法

4 次元勾配は特殊相対論(SR)においてさまざまな方法で使用されます。

この記事全体を通して、SR の平坦な時空ミンコフスキー座標に対してはすべて正しい式ですが、一般相対性理論(GR)のより一般的な曲がった空間座標に対しては修正する必要があります

4発散と保存則の源として

発散はベクトル演算子であり、ベクトル場の各点における発散の量を表す符号付きスカラー場を生成します。この計量シグネチャ[+,−,−,−]において、4次元勾配は負の空間成分を持つことに注意してください。ミンコフスキー計量は対角[+1,−1,−1,−1]であるため、4次元ドット積をとるとこの成分は打ち消されます。

4次元位置 の4次元発散は時空次元を与える

4次元電流密度 の4次元発散は保存則すなわち電荷保存則を与える[1] :103–107 

これは、電荷密度の時間変化率が電流密度の負の空間発散に等しくなければならないことを意味します

言い換えれば、箱の中の電荷は勝手に変化することはできず、電流を介して箱に出入りする必要がある。これは連続の方程式である。

4次元フラックス(4次元ダスト)の4次元発散は粒子保存則に用いられる:[4] : 90–110 

これは粒子数密度の保存則であり、典型的には重粒子数密度のようなものです。

電磁4次元ポテンシャル の4次元発散はローレンツゲージ条件で使用される[1] :105–107 

これはEM 4 ポテンシャルの保存則に相当します。

弱場限界(つまり、発生源から遠くまで自由に伝播する)における重力放射を表す横方向のトレースレス 4D (2,0) テンソルの 4 次元発散。

横方向条件は、自由に伝播する重力波の保存方程式と同等です。

時空変換に伴う保存されたノイマンカレントとしての応力エネルギーテンソル の4次元発散は、SRにおける4つの保存則を与える:[4] :101–106 

エネルギー保存則時間方向)と線形運動量保存則(3 つの別々の空間方向)。

これは次のように記述されることが多く、ここで単一のゼロは実際には 4 ベクトルのゼロであることが理解されています

完全流体の応力エネルギーテンソルの保存則と粒子数密度( )の保存則(どちらも 4 次元勾配を利用する)を組み合わせると、相対論的オイラー方程式を導くことができます。これは、流体力学天体物理学において、特殊相対性理論の効果を考慮したオイラー方程式の一般化です。これらの方程式は、流体の 3 次元空間速度が光速よりもはるかに遅く、圧力がエネルギー密度よりもはるかに小さく、エネルギー密度が静止質量密度によって支配されている場合、古典的なオイラー方程式に簡約されます。

平坦な時空と直交座標系を使用して、これを応力エネルギーテンソルの対称性と組み合わせると、角運動量相対論的角運動量)も保存されることがわかります。ここで、このゼロは実際には (2,0) テンソルのゼロです。

SRミンコフスキー計量テンソルのヤコビ行列として

ヤコビ行列は、ベクトル値関数すべての 1 次偏微分からなる行列です

4次元勾配が4次元位置に作用するとSRミンコフスキー空間計量が得られる: [3] : 16 

ミンコフスキー計量の場合、成分合計されません)は、非対角成分がすべてゼロになります。

デカルトミンコフスキー計量の場合、次の式が成り立ちます

一般に、、ここで4Dクロネッカー デルタです。

ローレンツ変換を定義する方法として

ローレンツ変換はテンソル形式で次のように表される[4] :69 定数なので、

したがって、4勾配の定義により

この恒等式は基礎的です。4次元勾配の成分は、4次元ベクトルの成分の逆変換に従って変換されます。したがって、4次元勾配は「典型的な」一次元形式です。

全固有時間微分の一部として

4次元速度 と4次元勾配のスカラー積は固有時間に関する全微分を与える:[1] :58–59 

がローレンツスカラー不変量であるという事実は、固有時間に関する全微分も同様にローレンツスカラー不変量であることを示しています。

例えば、4次元速度は 4次元位置の固有時間に関する微分である。または

別の例として、4次元加速度は 4次元速度の固有時間微分です

または

ファラデー電磁テンソルを定義し、マクスウェル方程式を導出する方法として

ファラデー電磁テンソルは 、物理系の時空における電磁場を記述する数学的対象である。 [1] : 101–128  [5] : 314  [3] : 17–18  [6] : 29–30  [7] : 4 

4 次元勾配を適用して反対称テンソルを作成すると、次の式が得られます。ここで、

4 次元勾配を再度適用し、4 次元電流密度を と定義すると、マクスウェル方程式のテンソル形式を導くことができます。 ここで、2 行目はビアンキ恒等式(ヤコビ恒等式) のバージョンです

4波ベクトルを定義する方法として

波動ベクトルを表すベクトルです。他のベクトルと同様に、波動ベクトルは大きさと方向を持ち、どちらも重要です。大きさは波の波数または角波数(波長に反比例)のいずれかであり、方向は通常、の伝播方向です。

4次元波動ベクトル はミンコフスキー空間における波の負位相の4次元勾配(または位相の負の4次元勾配)である:[6] :387 

これは数学的には波(より具体的には平面波位相の定義と同等です。

ここで、4 位置は時間角周波数、は空間 3 空間波数ベクトル、はローレンツ スカラー不変位相です。

平面波とがまたの明示的な関数ではないという仮定のもとに

SR平面波の明示的な形式は次のように書ける: [7] : 9 

ここでは(おそらく複素数の)振幅です。

一般的な波は複数の平面波の重ね合わせになります。

再び4勾配法、つまり複素数値平面波の4勾配版を使用する。

ダランベルシアン演算子として

特殊相対論、電磁気学、波動論において、ダランベール作用素(ダランベールこうそく)は、ミンコフスキー空間のラプラス作用素である。ダランベール作用素は、ダランベール作用素、あるいは波動作用素とも呼ばれる。この作用素は、フランスの数学者であり物理学者でもあるジャン・ル・ロン・ダランベールにちなんで名付けられている。

の平方は4-ラプラシアンであり、ダランベール演算子と呼ばれる[5] :300  [3] :17‒18  [6] :41  [7] :4 

ダランベルシアンは 2 つの 4 ベクトルのドット積であるため、ローレンツ不変スカラーです。

3次元表記法に倣って、記号と がそれぞれ4次元勾配とダランベルシアンを表すために使用されることもあります。しかし、より一般的には、記号 はダランベルシアンにのみ使用されます 。

ダランベルティアンで使用される 4 勾配の例をいくつか示します。

スピン0粒子(例:ヒッグス粒子) に対するクライン・ゴルドン相対論的量子波動方程式では、

電磁場波動方程式ローレンツゲージを使用)では、

  • 真空中:
  • スピンの影響を除いた4つの電流源の場合:
  • スピンの影響を含む量子電気力学ソースの場合:

どこ:

  • 電磁4ポテンシャル は電磁ベクトルポテンシャルである
  • 4-電流密度 は電磁電流密度である
  • ディラックガンマ行列は スピンの効果を与える

重力波波動方程式(同様のローレンツゲージを使用)[6] :274–322 では、横方向のトレースレス2次元テンソルは弱場極限(つまり、発生源から自由に遠くまで伝播する)での重力放射を表しています。

さらに条件は次のとおりです:

  • 純粋に空間的:
  • 痕跡なし:
  • 横方向:

グリーン関数の 4 次元バージョンでは4Dデルタ関数は次のようになります。

4次元ガウスの定理/ストークスの定理/発散定理の構成要素として

ベクトル解析において発散定理はガウスの定理やオストログラツキーの定理とも呼ばれ、を通るベクトル場のフロー(つまり、フラックスと面内のベクトル場の挙動を関連付ける結果です。より正確には、発散定理は、閉じた面を通るベクトル場の外向きのフラックスが、面内の領域での発散体積積分に等しいと述べています。直感的には、すべてのソースの合計からすべてのシンクの合計を引いたものが、領域からの正味のフローを与えると述べています。ベクトル解析、およびより一般的には微分幾何学において、ストークスの定理(一般化ストークスの定理とも呼ばれる)は、多様体上の微分形式の積分に関する記述であり、ベクトル解析のいくつかの定理を簡略化および一般化します。

またはどこで

  • は、
  • は、
  • は、方向に沿った成分である
  • ミンコフスキー時空の4次元単連結領域である
  • 独自の3Dボリューム要素を持つ3D境界である
  • 外向きの法線である
  • 4D微分体積要素である

相対論的解析力学におけるSRハミルトン・ヤコビ方程式の要素として

ハミルトン・ヤコビ方程式(HJE)は古典力学の定式化であり、ニュートンの運動法則ラグランジアン力学ハミルトン力学などの他の定式化と同等である。ハミルトン・ヤコビ方程式は、力学問題自体が完全には解けない場合でも可能な場合がある、機械システムの保存量を特定するのに特に有用である。また、HJEは粒子の運動を波として表すことができる唯一の力学定式化でもある。この意味で、HJEは光の伝播と粒子の運動の類似性を見つけるという、理論物理学の長年の目標(少なくとも18世紀のヨハン・ベルヌーイにまで遡る)を達成した。

粒子の一般相対論的運動量は次のように表される[1] :93–96。 ここで

これは本質的に、システムの全運動量4である。これは、最小結合則を用いたにおけるテスト粒子である。粒子の固有運動量に加え、粒子電荷を介して電磁4ベクトルポテンシャルとの相互作用によって生じる運動量が存在する

相対論的なハミルトン・ヤコビ方程式は、全運動量を作用 の負の4次元勾配に等しく設定することによって得られます

時間的要素は次のようになります。

空間コンポーネントは次のようになります。

ハミルトニアンはどこにありますか。

これは実際には、4 波ベクトルが上記の位相の負の 4 勾配に等しいことに関係しています。

HJEを得るには、まず4次元運動量に対するローレンツスカラー不変則を用いる。

しかし、最小結合規則から

それで:

時間的要素と空間的要素に分解する:

ここで最後は相対論的なハミルトン・ヤコビ方程式です。

量子力学におけるシュレーディンガー関係の構成要素として

4 次元勾配は量子力学と関連しています。

4次元運動量 と4次元勾配の関係はシュレーディンガー量子力学関係を与える[7] : 3–5 

時間的要素は次のようになります。

空間コンポーネントは次のようになります。

これは実際には 2 つの別々のステップで構成できます。

第一に: [1] : 82–84 

これは次の完全な 4 ベクトル バージョンです。

プランク・アインシュタイン関係(時間成分)

(空間成分)ド・ブロイ 物質波関係

2位: [5] : 300 

これは複素数値平面波波動方程式の4勾配版である。

時間的要素は次のようになります。

空間コンポーネントは次のようになります。

量子交換関係の共変形式の要素として

量子力学(物理学)において、正準交換関係は、正準共役量(定義により一方が他方のフーリエ変換であるような関連がある量)間の基本的な関係です。

  • によると:[7] : 4 
  • 空間的な要素を考慮すると、
  • 以来
  • 以来
  • そして、インデックスを再ラベルすると、通常の量子交換規則が得られます。

相対論的量子力学における波動方程式と確率流の構成要素として

4次元勾配は、いくつかの相対論的波動方程式の要素である: [5] : 300–309  [3] : 25, 30–31, 55–69 

スピン0粒子(例:ヒッグス粒子)に対するクライン・ゴルドン相対論的量子波動方程式では[7] : 5 

スピン1/2粒子(例えば電子)に対するディラックの相対論的量子波動方程式では[7] : 130 

ここで、ディラックのガンマ行列であり、は相対論的な波動関数です。

クライン・ゴルドン方程式ではローレンツスカラー、ディラック方程式ではスピノルです。

ガンマ行列自体がSRの基本的な側面であるミンコフスキー計量を参照しているのは良いことだ:[7] : 130 

4確率電流密度の保存は連続方程式から導かれる: [7] : 6 

4確率電流密度は相対論的に共変な表現を持つ: [7] : 6 

4価電流密度は電荷(q)と4価確率電流密度の積である:[7] : 8 

特殊相対論から量子力学と相対論的量子波動方程式を導くための重要な要素として

相対論的波動方程式は共変であるために4次元ベクトルを使用する。[3] [7]

標準的なSR4ベクトルから始める: [1]

  • 4ポジション
  • 4速
  • 4-モメンタム
  • 4波ベクトル
  • 4勾配

前のセクションの次の単純な関係に注意してください。各 4 ベクトルはローレンツ スカラーによって互いに関連しています。

ここで、それぞれに標準的なローレンツのスカラー積の規則を適用します。

最後の方程式 (4 勾配スカラー積を含む) は基本的な量子関係です。

これをローレンツスカラー場に適用すると、量子相対論的波動方程式の中で最も基本的なクライン・ゴルドン方程式が得られる[7] : 5–8 

シュレーディンガー方程式はクライン・ゴルドン方程式の低速度極限ケース| v | ≪ c)である[7] : 7–8 

量子関係をローレンツスカラー場の代わりに4次元ベクトル場に適用すると、プロカ方程式が得られる[7] :361 

静止質量項をゼロ(光のような粒子)に設定すると、自由マクスウェル方程式が得られます。

最小結合規則を使用すると、より複雑な形式や相互作用を導き出すことができます

RQM共変微分(内部粒子空間)の構成要素として

現代の素粒子物理学では 現在存在が知られている追加の RQM フィールド (内部粒子空間) を利用するゲージ共変微分を定義することができます。

古典的な電磁場計算から知られているバージョン(自然単位)は次の通りである: [3] : 39 

現在知られている標準模型基本的な相互作用の完全な共変微分(自然単位)は[3] :35–53 である。

または

ここで、スカラー積の合計()は、テンソルのインデックスではなく、内部空間を参照します。

  • U(1)不変性= (1)電磁力 ゲージボソン
  • SU(2)不変性 = (3)弱い力ゲージボソン ( i = 1, …, 3)に対応する
  • SU(3)不変性 = (8)カラー力ゲージボソン ( a = 1, …, 8)に対応する

結合定数は 任意の数値であり、実験から発見する必要がある。非アーベル変換の場合、ある表現に対して結合定数が固定されれば、すべての表現に対して既知となることは強調しておく価値がある。

これらの内部粒子空間は経験的に発見された。[3] : 47 

導出

3次元において、勾配演算子はスカラー場をベクトル場に写像し、ベクトル場内の任意の2点間の線積分は、これら2点におけるスカラー場の差に等しくなります。これに基づくと、勾配を4次元に自然に拡張すると次のように表されるという 誤った解釈が生まれる かもしれませんこれは誤りです。

しかし、線積分にはベクトル内積の適用が含まれ、これを4次元時空に拡張すると、使用される規約に応じて空間座標または時間座標の符号が変わります。これは時空の非ユークリッド的性質によるものです。本稿では、空間座標に負の符号を置きます(時間正計量規約)。係数(1/ c)は、4次元ベクトルのすべての要素に対して正しい単位次元([長さ] −1 )を維持するためであり、係数(−1)は4次元勾配ローレンツ共変量を維持するためです。上記の式にこれらの2つの補正を加えると、4次元勾配の正しい​​定義が得られます。 [1] :55–56  [3] :16 

参照

参考文献

参考文献に関する注意

物理学におけるスカラー、4 次元ベクトル、テンソルの使用に関して、著者によって同じ方程式に対してわずかに異なる表記法が使用されています。たとえば、不変静止質量には を使用する著者もいれば、不変静止質量には を使用し、相対論的質量には を使用しています。多くの著者は、および係数を無次元単位に設定しています。また、一部またはすべての定数を示している著者もいます。速度には を使用する著者もいれば、 を使用する著者もいます。4次元波動ベクトルとして を使用する著者もいます (任意の例を挙げると)。または 、などを使用する著者もいます。4次元波動ベクトルを と書く著者もいれば、と書く著者もいます。4 次元ベクトル全体で次元の単位が一致するようにする著者もいれ、一致しない著者もいます。4 次元ベクトルの名前で時間要素を参照する著者もいれば、4 次元ベクトルの名前で空間要素を参照する著者もいます。本の中でこの 2 つを混在させ、最初は一方を使い、後でもう一方を使う場合もあります。(+ − − −)計量を用いるものもあれば、 (− + + +)計量を用いるものもあります。4次元ベクトルを使わず、すべて従来のEと3次元ベクトルpとして扱うものもあります。重要なのは、これらはすべて表記法のスタイルに過ぎず、中にはより明確で簡潔なものもあるということです。導出全体を通して一貫したスタイルを用いる限り、物理的な意味は同じです。[7] : 2–4 

  1. ^ abcdefghi リンドラー、ヴォルフガング (1991). 特殊相対論入門(第2版). オックスフォード・サイエンス・パブリケーションズ. ISBN 0-19-853952-5
  2. ^ ab ケンブリッジ物理学公式ハンドブック、G. ウォーン、ケンブリッジ大学出版局、2010年、ISBN 978-0-521-57507-2
  3. ^ abcdefghijk ケイン、ゴードン (1994). 『現代素粒子物理学:基本粒子と力』(改訂版). アディソン・ウェズリー出版. ISBN 0-201-62460-5
  4. ^ abcde シュルツ、バーナード・F. (1985).一般相対論入門(第1版). ケンブリッジ大学出版局. ISBN 0-521-27703-5
  5. ^ abcd サドベリー、アンソニー (1986). 『量子力学と自然界の粒子:数学者のためのアウトライン』(第1版)ケンブリッジ大学出版局. ISBN 0-521-27765-5
  6. ^ abcd Carroll, Sean M. (2004).一般相対性理論入門:時空と幾何学(第1版). Addison-Wesley Publishing Co. ISBN 0-8053-8732-3
  7. ^ abcdefghijklmnop グライナー、ウォルター (2000).相対論的量子力学:波動方程式(第3版). シュプリンガー. ISBN 3-540-67457-8

さらに読む

  • S. ヒルデブラント著「解析学 II」(微積分学 II)、ISBN 3-540-43970-6、2003年
  • LC Evans、「偏微分方程式」、AMSociety、Grad.Studies Vol.19、1988年
  • JDジャクソン、「古典電気力学」第11章、Wiley ISBN 0-471-30932-X
Retrieved from "https://en.wikipedia.org/w/index.php?title=Four-gradient&oldid=1311381184"