基底成分表記 EditToHeaderToFooter

ベクトルの成分表記には、列ベクトル$$ \arrs{ F_x \\ F_y \\ F_z } $$線形結合$$ F_x \b e_x + F_y \b e_y + F_z \b e_z $$、総和規約$$ F_i \b e^i $$があり、この順番で習うのが普通。列ベクトルは基底を省いた表記で、直観的で初心者に易しいため、最初に習う*1。その後、座標変換などを扱うとき、基底を省いた裏目で対応できず、ベクトルの基本表現である線形結合を覚えさせられる。続いて、線形結合は記述量が多くて大変なため、すぐに成分計算の頂点に立つ総和規約を叩き込まれる。しかし、総和規約の計算は添字計算の嵐で、機械的に計算が進むのは良いが、直観的ではなく、基底間の対応と成分間の対応が確認しにくい。

これに対し、猫式ではベクトルを$$ \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } $$と表記。列ベクトルのように基底と成分の両方を並べ、縦線で分離。

対応する基底と成分の倍積を成分ベクトルと呼ぶと、全成分ベクトルの和がベクトルの値になる。このため、基底と成分の位置さえ対応していれば、$$ \arrb[cc|cc]{ \b e_x & & F_x \\ \b e_y & \b e_z & F_y & F_z } $$のような不規則な並びも許す。

*1 厳密には、高校では成分を横に並べた横ベクトル$$ (F_x, F_y, F_z) $$が一番最初だが、行列表記としては同類。

混合基底 EditToHeaderToFooter

ストークスの定理を列ベクトルで書くと、前回のベクトル置換積分では列ベクトルで記述して$$ \inte[S] \arrs{ \fracstrut \ppd{}{x} \\ \fracstrut \ppd{}{y} \\ \fracstrut \ppd{}{z} } \vx \arrs{ \fracstrut F_x \\ \fracstrut F_y \\ \fracstrut F_z } \sx \arrs{ \fracstrut dydz \\ \fracstrut dzdx \\ \fracstrut dxdy } $$＝$$ \inte[R] \arrs{ F_x \\ F_y \\ F_z } \sx \arrs{ d x \\ d y \\ d z } $$になるため、基底成分表記で書くと$$ \inte[S] \arrb{ \b e_x & \fracstrut \ppd{}{x} \\ \b e_y & \fracstrut \ppd{}{y} \\ \b e_z & \fracstrut \ppd{}{z} } \vx \arrb{ \b e_x & \fracstrut F_x \\ \b e_y & \fracstrut F_y \\ \b e_z & \fracstrut F_z } \sx \arrb{ \b e_x & \fracstrut d y d z \\ \b e_y & \fracstrut d z d x \\ \b e_z & \fracstrut d x d y } $$＝$$ \inte[R] \, \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } \sx \arrb{ \b e_x & d x \\ \b e_y & d y \\ \b e_z & d z } $$になる。

これをベクトル演算だけで無理に計算しても失敗する。正しく計算するには、$$ dx $$、$$ dy $$、$$ dz $$を基底とする微分形式を使う必要がある。このため、ベクトル置換積分では２系統の基底が混在している。

猫式では、区別のため、$$ \b e_x $$、$$ \b e_y $$、$$ \b e_z $$を通常基底*2と呼び、$$ dx $$、$$ dy $$、$$ dz $$を微小基底*3と呼ぶ。対応して、$$ \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } $$、$$ \arrb{ d x & F_x \\ d y & F_y \\ d z & F_z } $$、$$ \arrb{ \b e_x & d x \\ \b e_y & d y \\ \b e_z & d z } $$のように、通常基底のみ、微小基底のみ、両方の基底を含むベクトルをそれぞれ、通常ベクトル、微小ベクトル、混合ベクトルと呼ぶ。

また、混合ベクトルの一般型として、$$ \arrb[c|c|c] { \b e_x & dx & F_x \\ \b e_y & dy & F_y \\ \b e_z & dz & F_z } $$＝$$ \arrb { \b e_x dx & F_x \\ \b e_y dy & F_y \\ \b e_z dz & F_z } $$＝$$ \arrb { \b e_x & dx F_x \\ \b e_y & dy F_y \\ \b e_z & dz F_z } $$＝$$ \arrb { dx & \b e_x F_x \\ dy & \b e_y F_y \\ dz & \b e_z F_z } $$のように表現する。３つ区切りは基底毎の位取り表記、２つ区切りは基底側に書く基底に対するハイライト表記。

*2 通常空間の広がりを表すため。マクロ基底という名前も検討中。
*3 微小空間の広がりを表すため。ミクロ基底という名前も検討中。

ベクトルの二項演算 EditToHeaderToFooter

混合基底の演算もベクトル同様に、通常ベクトル演算、 微小ベクトル演算、混合ベクトル演算と分類できる。実際、ベクトル置換積分で登場するのは３種類の通常ベクトル演算と３種類の微小ベクトル演算のみで、混合ベクトル演算は出番無し。以下に、その６種類の演算を表に纏める。これらは作用する基底にしか影響を与えず、他方を成分扱いするため、ハイライト表記で記述。

通常ベクトルの倍積
$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$$$ B $$＝$$ \arrb{\b e_x & A_x B \\ \b e_y & A_y B \\ \b e_z & A_z B} $$

１次形式 $$ \wx $$ ０次形式
$$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$$$ \wx $$$$ B $$＝$$ \arrb{dx & A_xB \\ dy & A_yB \\ dz & A_zB } $$

通常ベクトルの外積
$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$$$ \vx $$$$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$＝$$ \arrb{ \b e_x & A_y B_z - A_z B_y \\ \b e_y & A_z B_x - A_x B_z \\ \b e_z & A_x B_y - A_y B_x } $$

１次形式 $$ \wx $$ １次形式
$$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$$$ \wx $$$$ \arrb{dx & B_x \\ dy & B_y \\ dz & B_z} $$＝$$ \arrb{ dydz & A_y B_z - A_z B_y \\ dxdy & A_z B_x - A_x B_z \\ dydx & A_x B_y - A_y B_x } $$

微小ベクトルの内積
$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$$$ \Sx $$$$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$＝$$ \arrb{ \fracstrut\,1\,& A_x B_x + A_y B_y + A_z B_z} $$

１次形式 $$ \wx $$ ２次形式
$$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$$$ \wx $$$$ \arrb{ \b dydz & B_{yz} \\ \b dzdx & B_{zx} \\ \b dxdy & B_{xy} } $$＝$$ \arrb{ \fracstrut dxdydz\,& A_x B_{yz} + A_y B_{zx} + A_z B_{xy}} $$

一般的に、通常基底も ｐ ベクトルとして$$ \wx $$を適用できる。むしろ、先に通常ベクトルの倍積、外積、内積を$$ \wx $$で纏めてから、微分形式に応用するのが通常基底の$$ \vx $$を拡張した$$ \wx $$の歴史に沿った手順である。しかし、この手順では$$ \wx $$が通常基底と微分基底の両方に使われるため、混同が起こる。普通は両系統の基底が同時に登場しないよう、上手く問題を避けているが、ベクトル解析の授業と微分形式の授業で習う公式の間にギャップを作ってしまう。

成分基底表記も、元々はこのギャップの橋渡しに考案されてい表記。しかし、３次元を扱う限り、倍積、外積、内積の方が敷居が低い。このため、今回は混乱を避け、上記６種類の演算を使う。

成分基底表記によるストークスの定理 EditToHeaderToFooter

ストークスの定理は、猫式の基底成分表記とベクトル積分演算子で表記すると次のようになる。$$ \inte[S] d^{-2} \arrb{ \b e_x & \fracstrut \ppd{}{x} \\ \b e_y & \fracstrut \ppd{}{y} \\ \b e_z & \fracstrut \ppd{}{z} } \vx \arrb{ \b e_x & \fracstrut F_x \\ \b e_y & \fracstrut F_y \\ \b e_z & \fracstrut F_z } \sx \arrb{ \b e_x & \fracstrut d y d z \\ \b e_y & \fracstrut d z d x \\ \b e_z & \fracstrut d x d y } $$＝$$ \inte[R] d^- \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } \sx \arrb{ \b e_x & d x \\ \b e_y & d y \\ \b e_z & d z } $$

左辺＝

＝$$ \inte[S] d^{-2} $$$$ \arrb{ \b e_x & \ppd{F_z}{y} - \ppd{F_y}{z} \\ \b e_y & \ppd{F_x}{z} - \ppd{F_z}{x} \\ \b e_z & \ppd{F_y}{x} - \ppd{F_x}{y} } \sx \arrb{ \b e_x & dydz \\ \b e_y & dzdx \\ \b e_z & dxdy } $$

通常基底外積を実行

＝$$ \inte[S] d^{-2} $$$$ \arrb{ 1 & dydz \left( \ppd{F_z}{y} - \ppd{F_y}{z} \right) \\ 1 & dzdx \left( \ppd{F_x}{z} - \ppd{F_z}{x} \right) \\ 1 & dxdy \left( \ppd{F_y}{x} - \ppd{F_x}{y} \right) } $$

通常基底内積を実行

＝$$ \inte[S] d^{-2} $$$$ \arrb{ dydz & \ppd{F_z}{y} - \ppd{F_y}{z} \\ dzdx & \ppd{F_x}{z} - \ppd{F_z}{x} \\ dxdy & \ppd{F_y}{x} - \ppd{F_x}{y} } $$

微小基底にハイライト
ココから、微小基底の計算を開始
微分形式では普通この段階から始めるため、通常基底が登場しない

＝$$ \inte[S] d^{-2} $$$$ \arrb{ dx & \ppd{}{x} \\ dy & \ppd{}{y} \\ dz & \ppd{}{z} } \wx \arrb{ dx & F_x \fracstrut \\ dy & F_y \fracstrut \\ dz & F_z \fracstrut } $$

１次形式$$ \wx $$１次形式に分解

＝$$ \inte[S] d^{-2}d $$$$ \arrb{ dx & F_x \\ dy & F_y \\ dz & F_z } $$

外微分演算子の定義より
もしくは、第一因子は$$ d\b r \sx \ddd{}{\b r} $$のため、全微分の関係より
いずれもの解釈でも$$ d $$は０次形式のため、$$ \wx $$は省略可能

＝$$ \inte[R] d^- $$$$ \arrb{ dx & F_x \\ dy & F_y \\ dz & F_z } $$

$$ d $$について累次積分を実行
積分領域を適当に再解釈
微小基底の計算はココまで

＝$$ \inte[R] d^- $$$$ \arrb{ 1 & dx F_x \\ 1 & dy F_y \\ 1 & dz F_z } $$＝$$ \inte[R] d^- \arrb{ \b e_x \sx \b e_x & dx F_x \\ \b e_y \sx \b e_y & dy F_y \\ \b e_z \sx \b e_z & dz F_z } $$

再び通常基底にハイライト
このような割り込みは一般的に成立しないが、
各成分に微小基底があるため、ここは可能

＝$$ \inte[R] d^- $$$$ \arrb{ \b e_x & dx \\ \b e_y & dy \\ \b e_z & dz } $$$$ \sx $$$$ \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } $$

通常基底の内積に分解

＝右辺

通常ベクトルの内積による簡略表記 EditToHeaderToFooter

上の計算途中で、$$ \arrb{ dx & F_x \\ dy & F_y \\ dz & F_z } $$＝$$ \arrb{ \b e_x & dx \\ \b e_y & dy \\ \b e_z & dz } $$$$ \sx $$$$ \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } $$とあるが、注釈にもあるように、微小基底があるため、通常基底の内積を取っても３つ成分ベクトルは混ざることはなく、このような割り込みは可能となる。

これを利用して、$$ \arrb{d\b A & \b B} $$＝$$ d\b A \sx \b B $$と定義すれば、通常ベクトルの内積と基底成分表記が簡単に行き来できる。もともと基底と成分は積で扱われるため、ベクトルの場合に対し内積を取るのは自然の拡張と言える。

これより、微小基底の３種類の演算は次のように書ける。

１次形式 $$ \wx $$ ０次形式：　$$ [ d\b r | \b A ] $$$$ \wx $$$$ [ \spc{ 1}{d\b S} | B ] $$＝$$ [ d\b r \wx \spc{ 1}{d\b S} | \b A B ] $$＝$$ [ d\b r | \b A B ] $$
１次形式 $$ \wx $$ １次形式：　$$ [ d\b r | \b A ] $$$$ \wx $$$$ [ \spc{d\b r}{d\b S} | \b B ] $$＝$$ [ d\b r \wx \spc{d\b r}{d\b S} | \b A \vx \b B ] $$＝$$ [ d\b S | \b A \vx \b B ] $$
１次形式 $$ \wx $$ ２次形式：　$$ [ d\b r | \b A ] $$$$ \wx $$$$ [ \spc{d\b S}{d\b S} | \b B ] $$＝$$ [ d\b r \wx \spc{d\b S}{d\b S} | \b A \Sx \b B ] $$＝$$ [ d V | \b A \sx \b B ] $$

この簡略表記と猫式のベクトル微分演算子により、ストークスの定理は次のように変形できる。
$$ \inte[S] d^{-2} $$$$ \ddd{}{\b r} \vx \b F \sx d^2\b S $$＝$$ \inte[R] d^- $$$$ \arrb{ d\b r \wx d\b r & \ffd{1}{d\b r} \vx \b F } $$＝$$ \inte[R] d^- $$$$ \arrb{ d\b r & \ffd{1}{d\b r} } \wx \arrb{ d\b r & \b F } $$＝$$ \inte[R] d^- $$$$ \arrb{ d\b r & \b F } $$＝$$ \inte[R] d^- $$$$ \b F \sx d\b r $$
同様に、ガウスの定理は次のように変形できる。
$$ \inte[V] d^{-3} $$$$ \ddd{}{\b r} \sx \b F \, d^3V $$＝$$ \inte[S] d^{-2} $$$$ \arrb{ d\b r \wx d\b S & \ffd{1}{d\b r} \sx \b F } $$＝$$ \inte[S] d^{-2} $$$$ \arrb{ d\b r & \ffd{1}{d\b r} } \wx \arrb{ d^2\b S & \b F } $$＝$$ \inte[S] d^{-2} $$$$ \arrb{ d^2\b S & \b F } $$＝$$ \inte[S] d^{-2} $$$$ \b F \sx d^2\b S $$

まとめ・つなぎ EditToHeaderToFooter

今回は、微分形式を経由して、積分公式を導きいた。ベクトル形の積分公式と微分形式を橋渡しするため独自の表記を用いたが、個々の手順自体は合法的。やってることは、$$ d\b r \wx d\b r $$＝$$ d^2\b S $$、$$ d\b r \wx d\b S $$＝$$ d^3V $$によって微小要素を分解してから、$$ d\b r \wx \ffd{1}{d\b r} $$単位で消している。

これと同じことを、前回は$$ \ddd{^3V}{\b r} $$＝$$ d^2\b S $$、$$ d^2\b S \vx \ffd{1}{d\b r} $$＝$$ d\b r $$と理解していた。その結果を作り出すために考えたインチキ規則は、微小基底の二項演算を眺めば、成分側の演算手順から基底側の演算手順への変換規則であるの分かる。$$ \wx $$の演算では、成分が加算項と減算項の２つに分かれ、基底の並びは必ず加算項と一致する。一方で、通常基底と微傷基底の演算を比較すると、成分側の計算が完全に一致する。このため、通常基底として計算して置き、減算項を抜けば、微小基底の基底側の演算結果が出てくる。

直観的センスとしては、今回は$$ \ffd{6}{2} $$＝$$ \ffd{2 \times 3}{2} $$＝$$ 3 $$と回りくどいのに対し、前回は$$ \ffd{6}{2} $$＝$$ 3 $$と直接割ってるため、一枚上手と思う。

微分形式では、１次形式が線積分、２次形式が面積分、３次形式が体積分に対応。３、２、１の次は０。体、面、線の次は点。というわけで、次回、０次形式に対応する「点積分」。
    初基 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS