直交座標

数学において直交座標は、すべての座標超曲面が直角に交わるd座標の集合として定義されます(上付き文字は指数ではなく添え字であることに注意してください)。特定の座標q kの座標面とは、q k が定数である曲線、または超曲面です。たとえば、3 次元の直交座標( xyz )は、その座標面x =定数、y =定数、およびz =定数が互いに直角に交わる、つまり垂直な平面であるため、直交座標系です。直交座標は、曲線座標の特殊ですが、非常に一般的なケースです

モチベーション

長方形グリッド上に作用する等角写像曲線グリッドの直交性が保持されていることに注意してください。

ベクトル演算と物理法則は通常、直交座標で導くのが最も簡単ですが、量子力学流体の流れ、電気力学プラズマ物理化学種拡散などの場の理論で生じる問題など、特に境界値問題などのさまざまな問題の解決には、非直交座標系がよく使用されます

非直交座標系の主な利点は、問題の対称性に合わせて選択できることです。たとえば、地面(またはその他の障壁)から遠く離れた場所での爆発による圧力波は、直交座標系では 3D 空間に依存しますが、圧力は主に中心から遠ざかる方向に移動するため、球面座標系では問題はほぼ 1 次元になります(圧力波は主に時間と中心からの距離のみに依存するため)。もう 1 つの例は、まっすぐな円管内の(遅い)流体です。直交座標系では、偏微分方程式を伴う(難しい) 2 次元境界値問題を解く必要がありますが、円筒座標系では、偏微分方程式ではなく常微分方程式を伴う 1 次元の問題になります

一般曲線座標系ではなく直交座標系が好まれる理由は単純さである。座標系が直交していないと多くの複雑な問題が生じる。例えば、直交座標系では変数の分離によって多くの問題を解くことができる。変数の分離とは、複雑なd次元問題を既知の関数で解けるd次元問題に変換する数学的手法である。多くの方程式はラプラス方程式またはヘルムホルツ方程式に簡約できるラプラス方程式は13 個の直交座標系(下の表にトーラス座標系を除いて 14 個を挙げている)で分離可能でありヘルムホルツ方程式は11 個の直交座標系で分離可能である。[1] [2]

直交座標は、計量テンソルに非対角項を持ちません。言い換えれば、無限小二乗距離ds 2 は常に、無限小座標変位の二乗のスケール和として表すことができます。

ここで、dは次元とスケーリング関数(またはスケール係数)です。

計量テンソルの対角成分の平方根、または後述する局所基底ベクトルの長さに等しい。これらのスケーリング関数h iは、新しい座標における微分演算子(例えば、勾配ラプラシアン発散回転)を計算するために使用される。

2次元で直交座標系を生成する簡単な方法は、標準的な2次元グリッドの直交座標( x , y )を等角写像で表現することです。実座標xyから複素数z = x + iyを形成できます。ここで、i は虚数単位を表します複素導関数がゼロでない任意の正則関数w = f ( z ) は等角写像を生成します。結果として得られる複素数をw = u + ivと表記すると、定数uと定数vの曲線は、元の定数xと定数yの直線と同様に直角に交差します

3次元以上の直交座標は、直交2次元座標系から、それを新しい次元(円筒座標)に投影するか、2次元座標系をその対称軸の1つを中心に回転させることによって生成できます。ただし、楕円体座標など、2次元座標系の投影や回転では得られない3次元の直交座標系もあります。より一般的な直交座標は、必要な座標面をいくつか用意し、それらの直交軌道を考慮することで得られます

基底ベクトル

共変基底

直交座標系では基底ベクトルは固定(定数)です。より一般的な曲線座標系では、空間内の点が座標によって指定され、各点には基底ベクトルの集合が束縛されます。これらの基底ベクトルは一般に定数ではありません。これが曲線座標系の本質であり、非常に重要な概念です。直交座標系の特徴は、基底ベクトルは変化しますが、常に互いに直交している点です。言い換えれば、

これらの基底ベクトルは、定義により、他の座標を固定したまま 1 つの座標を変化させることによって得られる曲線の接線ベクトルです。

2次元直交座標の可視化。1つを除くすべての座標を定数として得られる曲線と基底ベクトルを示します。基底ベクトルの長さは必ずしも等しくなく、直交していればよいことに注意してください。

ここで、 rはある点、q iは基底ベクトルが抽出される座標です。言い換えれば、曲線は1つの座標を除くすべての座標を固定することで得られます。固定されていない座標はパラメトリック曲線のように変化し、曲線のパラメータ(変化する座標)に対する微分がその座標の基底ベクトルとなります。

ベクトルの長さは必ずしも等しくないことに注意してください。座標のスケール係数と呼ばれる便利な関数は、単に基底ベクトルの長さです(下の表を参照)。スケール係数はラメ係数と呼ばれることもありますが、ラメパラメータ(固体力学)と混同しないでください

正規化された基底ベクトルはハット記号で表記され、長さで割ることで得られます。

ベクトル場は、その成分を基底ベクトルまたは正規化基底ベクトルに関して指定することができますが、どちらの場合を指すのかを明確にする必要があります。正規化基底の成分は、応用において量の明確化のために最もよく使用されます(例えば、接線速度とスケール係数の積ではなく、接線速度のみを扱いたい場合など)。一方、微分においては、正規化基底はより複雑なため、あまり一般的ではありません。

反変基底

上に示した基底ベクトルは共変基底ベクトルです(ベクトルと「共変」するため)。直交座標の場合、反変基底ベクトルは共変ベクトルと同じ方向を向き、長さが逆数となるため、簡単に見つけることができます(このため、2組の基底ベクトルは互いに逆数であると言われています)。

これは、定義により、クロネッカーのデルタを用いて、となることから導かれます。次の点に注意してください。

ここで、直交座標系におけるベクトルを記述するために一般的に用いられる3つの異なる基底関数系、すなわち共変基底e i、反変基底e i、そして正規化基底ê iについて見ていきましょう。ベクトルは目的関数であり、その単位元はどの座標系にも依存しませんが、ベクトルの成分は、ベクトルがどの基底で表現されるかによって異なります。

混乱を避けるために、 e i基底に関するベクトルxの成分はx iと表され、 e i基底に関する成分はx iと表されます

添え字の位置は、各要素の計算方法を表します(上付き添え字は指数と混同しないでください)。加算記号 Σ (大文字のシグマ)と、すべての基底ベクトル( i = 1, 2, ..., dにわたる加算範囲は省略されることが多いことに注意してください。各要素は、単純に次のように関連しています。

正規化された基底に関して、ベクトル成分を区別する広く普及した表記法は存在しません。この記事では、ベクトル成分に下付き文字を使用し、成分は正規化された基底で計算されることに注意します。

ベクトル代数

ベクトルの加算と否定は、直交座標の場合と同様に、要素ごとに複雑な処理なしで実行されます。その他のベクトル演算については、追加の考慮が必要になる場合があります。

ただし、これらの操作はすべて、ベクトル場内の2つのベクトルが同じ点に束縛されている(つまり、ベクトルの両端が一致している)ことを前提としていることに注意してください。基底ベクトルは一般に直交座標系で変化するため、空間内の異なる点で計算された成分を持つ2つのベクトルを加算する場合は、異なる基底ベクトルを考慮する必要があります。

ドット積

直交座標直交基底を持つユークリッド空間)における内積は、単に成分の積の和です。直交座標では、2つのベクトルxyの内積は、ベクトルの成分が正規化された基底で計算される場合、次のようなよく知られた形になります。

これは、正規化された基底が、ある時点で直交座標系を形成できるという事実から直接導かれる結果です。つまり、基底セットは直交です。

共変基底または反変基底の成分については、

これは、ベクトルを成分形式で書き出し、基底ベクトルを正規化し、内積を取ることで簡単に導出できます。例えば、2次元では次のようになります。

ここでは、正規化された共変基数と反変基数が等しいという事実が使用されています。

外積

3D デカルト座標における外積は次のようになります。

上記の式は、正規化された基底で成分が計算される場合、直交座標でも有効なままです。

共変基底または反変基底を持つ直交座標で外積を構築するには、基底ベクトルを正規化する必要があります。例:

これを拡張して書くと、

直交座標や高次元への一般化を簡素化する外積の簡潔な表記は、レヴィ・チヴィタ テンソルで可能であり、スケール係数がすべて 1 に等しくない場合は 0 と 1 以外の成分を持つことになります。

ベクトル計算

差別化

ある点からの微小変位を見ると、

定義により、関数の勾配は次式を満たす必要がある(この定義は、ƒ が任意のテンソルであっても成り立つ)

したがって、del 演算子は次のようになります。

そして、これは一般曲線座標系でも成り立ちます。勾配ラプラシアンといった量は、この演算子を適切に適用することで得られます。

基底ベクトルの式

d rと正規化された基底ベクトルê iから、以下を構築できる。[3] [4]

差動要素ベクトルスカラー
線要素座標曲線q iへの接線ベクトル:

無限小の 長さ

表面要素座標面の法線q k =定数:

微小表面

体積要素該当なし微小体積

どこ

はヤコビ行列式であり、直交座標における微小立方体 d x d y d zから微小曲面体積への体積変形の幾何学的解釈を持ちます。

統合

上記の線要素を使用すると、ベクトルFのパスに沿った線積分は次のようになります。

1つの座標q k を一定に保って記述される表面の面積の無限小要素は次のようになります。

同様に、ボリューム要素は次のようになります。

ここで、大きな記号 Π (大文字のPi)はを表します。これは、大きな記号 Σ が和を表すのと同じです。すべてのスケール係数の積がヤコビ行列式であることに注意してください。

例として、3D のq 1 =定数面上のベクトル関数Fの面積分は次のようになります。

F 1 / h 1は、 Fの表面法線方向の成分であることに注意してください。

3次元の微分作用素

これらの演算はアプリケーションでよく使用されるため、このセクションのすべてのベクトル成分は正規化された基底に関して表されます

オペレーター表現
スカラー場勾配
ベクトル場発散
ベクトル場の回転
スカラー場のラプラシアン

上記の式は、繰り返しの添字の合計を前提として、レヴィ・チヴィタ記号 とヤコビ行列式を使用して、より簡潔な形式で記述できます。

オペレーター表現
スカラー場勾配
ベクトル場発散
ベクトル場の回転(3Dのみ)
スカラー場のラプラシアン

また、スカラー場の勾配は、標準偏微分を含むヤコビ行列 Jで表現できることにも注意してください。

基準の変更により

ここで、回転行列とスケーリング行列は次のようになります。

2次元直交座標表

システム複素変換

値線の形状コメント
デカルト座標線、線
対数極座標円、線極座標になる
放物線放物線、放物線
ポイントダイポール円、円
楕円形楕円、双曲線針のフィールドは、長距離では対数極座標で表示される
バイポーラ円、円遠距離では点双極子のように見える
双曲線、双曲線内縁のフィールド
楕円、放物線
2次元直交座標の例。[5]

3次元直交座標表

通常の直交座標の他に、13個の他の座標が以下に表形式で示されています。[6]

曲線座標 ( q 1 , q 2 , q 3 )直交座標(x , y , z) からの変換スケール係数
球座標

放物線座標

双極円筒座標

楕円体座標

どこ

放物面座標

どこ

円筒極座標

楕円円筒座標

扁平回転楕円体座標

長球座標

二球座標

トーラス座標

放物面円筒座標

円錐座標

より一般的だが解析的な直交座標系の例としては、相似偏球面(SOS)系[7] [8]があり、この系では、直交座標からの変換とスケール係数は、一般化二項係数を用いた無限収束和として表現されます。

参照

注記

  1. ^ Eric W. Weisstein . 「直交座標系」. MathWorld . 2008年7月10日閲覧
  2. ^ モースとフェシュバッハ 1953年、第1巻、pp.494–523, 655–666。
  3. ^ 数学ハンドブック(第3版)、S. Lipschutz、MR Spiegel、J. Liu、Schuam's Outline Series、2009年、ISBN 978-0-07-154855-7
  4. ^ Vector Analysis (第 2 版)、MR Spiegel、S. Lipschutz、D. Spellman、Schaum's Outlines、McGraw Hill (USA)、2009、ISBN 978-0-07-161545-7
  5. ^ 「直交座標系」。
  6. ^ Vector Analysis (第 2 版)、MR Spiegel、S. Lipschutz、D. Spellman、Schaum's Outlines、McGraw Hill (USA)、2009、ISBN 978-0-07-161545-7
  7. ^ Strunz, Pavel (2022). 「相似偏球面座標系の解析解」. Celest Mech Dyn Astron . 134 : 51. arXiv : 2109.12057 . doi :10.1007/s10569-022-10099-z. S2CID  252973048.
  8. ^ Strunz, Pavel (2024). 「直交相似偏球面座標におけるラプラス方程式の方位角対称ケースの内部解」Eur. Phys. J. Plus . 139 : 409. arXiv : 2308.11398 . doi :10.1140/epjp/s13360-024-05181-4. S2CID  261064631.

参考文献

  • Korn GA とKorn TM . (1961)科学者とエンジニアのための数学ハンドブック、McGraw-Hill、pp. 164–182。
  • モースとフェシュバッハ (1953).理論物理学の方法, 第1巻. マグロウヒル.
  • Margenau H. と Murphy GM. (1956) The Mathematics of Physics and Chemistry、第 2 版、Van Nostrand、pp. 172–192。
  • Leonid P. Lebedev と Michael J. Cloud (2003) Tensor Analysis、pp. 81 – 88。

Retrieved from "https://en.wikipedia.org/w/index.php?title=Orthogonal_coordinates&oldid=1316614197"