3次元Euclid空間に於けるベクトル解析

\[ % to cope with definition mismatch between MathJax and LaTeX \newcommand{\coloneq}{\mathrel{:=}} \newcommand{\eqcolon}{\mathrel{=:}} % general purpose \newcommand{\ctext}[1]{\raise0.2ex\hbox{\textcircled{\scriptsize{#1}}}} % mathematics % general purpose \DeclarePairedDelimiterX{\parens}[1]{\lparen}{\rparen}{#1} \DeclarePairedDelimiterX{\braces}[1]{\lbrace}{\rbrace}{#1} \DeclarePairedDelimiterX{\bracks}[1]{\lbrack}{\rbrack}{#1} \DeclarePairedDelimiterX{\verts}[1]{|}{|}{#1} \DeclarePairedDelimiterX{\Verts}[1]{\|}{\|}{#1} \DeclarePairedDelimiterX{\setComprehension}[2]{\lbrace}{\rbrace}{#1\,\delimsize\vert\,#2} \newcommand{\as}{{\quad\textrm{as}\quad}} \newcommand{\st}{{\textrm{ s.t. }}} \newcommand{\naturalNumbers}{\mathbb{N}} \newcommand{\integers}{\mathbb{Z}} \newcommand{\rationalNumbers}{\mathbb{Q}} \newcommand{\realNumbers}{\mathbb{R}} \newcommand{\nonNegRealNumbers}{\mathbb{R}_{\geq 0}} \newcommand{\posRealNumbers}{\mathbb{R}_{> 0}} \newcommand{\complexNumbers}{\mathbb{C}} \newcommand{\field}{\mathbb{F}} \newcommand{\EuclideanSpace}{\mathbb{E}} \newcommand{\argmax}{\operatorname*{arg~max}} \newcommand{\argmin}{\operatorname*{arg~min}} % set theory \newcommand{\range}[2]{\braces*{#1,\dotsc,#2}} \renewcommand{\complement}{\mathrm{c}} \newcommand{\ind}[2]{\mathbbm{1}_{#1}\parens*{#2}} \newcommand{\indII}[1]{\mathbbm{1}\braces*{#1}} % number theory \newcommand{\abs}[1]{\verts*{#1}} \newcommand{\combi}[2]{{_{#1}\mathrm{C}_{#2}}} \newcommand{\perm}[2]{{_{#1}\mathrm{P}_{#2}}} \newcommand{\GaloisField}{\mathrm{GF}} % real analysis \newcommand{\NapierE}{\mathrm{e}} \newcommand{\sgn}{\operatorname{sgn}} % sign function \newcommand{\rect}{\operatorname{rect}} % rectangular function \newcommand{\cl}{\operatorname{cl}} % closure of a set \newcommand{\img}{\operatorname{im}} % image of a function \newcommand{\dom}{\operatorname{dom}} % domain of a function \newcommand{\LittleO}[2]{\underset{#1}{o}\parens*{#2}} % little-o notation \newcommand{\norm}[1]{\Verts*{#1}} % norm of a vector or function \newcommand{\floor}[1]{\left\lfloor #1\right\rfloor} \newcommand{\ceil}[1]{\left\lceil#1\right\rceil} \newcommand{\sinc}{\operatorname{sinc}} \newcommand{\nrmSinc}{\operatorname{nsinc}} % normalized sinc function \newcommand{\erf}{\operatorname{erf}} % inverse trigonometric functions \newcommand{\asin}{\operatorname{Sin}^{-1}} \newcommand{\acos}{\operatorname{Cos}^{-1}} \newcommand{\atan}{\operatorname{Tan}^{-1}} % derivative \newcommand{\deriv}[3]{\frac{\mathrm{d}^{#3}#1}{\mathrm{d}{#2}^{#3}}} \newcommand{\derivLong}[3]{\frac{\mathrm{d}^{#3}}{\mathrm{d}{#2}^{#3}}#1} \newcommand{\partDeriv}[3]{\frac{\mathrm{\partial}^{#3}#1}{\mathrm{\partial}{#2}^{#3}}} \newcommand{\partDerivLong}[3]{\frac{\mathrm{\partial}^{#3}}{\mathrm{\partial}{#2}^{#3}}#1} \newcommand{\partDerivIIHetero}[3]{\frac{\mathrm{\partial}^2#1}{\partial#2\mathrm{\partial}#3}} \newcommand{\partDerivIIHeteroLong}[3]{{\frac{\mathrm{\partial}^2}{\partial#2\mathrm{\partial}#3}#1}} % integral \newcommand{\pv}{{\textrm{ p.v. }}} \newcommand{\integrate}[5]{\int_{#1}^{#2}{#3}{\;\mathrm{d}^{#4}}#5} \newcommand{\LebInteg}[4]{\int_{#1} {#2} {#3}\parens*{\;\mathrm{d}#4}} % complex analysis \newcommand{\conj}[1]{\overline{#1}} \renewcommand{\Re}{\operatorname{Re}} \renewcommand{\Im}{\operatorname{Im}} \newcommand{\Arg}{\operatorname{Arg}} \newcommand{\Log}{\operatorname{Log}} % Laplace transform \newcommand{\LPLC}{\operatorname{\mathcal{L}}} \newcommand{\ILPLC}{\operatorname{\mathcal{L}}^{-1}} % discrete fourier transform \newcommand{\DFT}{\operatorname{DFT}} \newcommand{\IDFT}{\operatorname{IDFT}} % Z-transform \newcommand{\ZTrans}{\operatorname{\mathcal{Z}}} \newcommand{\IZTrans}{\operatorname{\mathcal{Z}}^{-1}} \newcommand{\SSZTrans}{\underset{\text{s.s.}}{\mathcal{Z}}} % single-sided Z-transform % linear algebra \newcommand{\bm}[1]{{\boldsymbol{#1}}} \newcommand{\vecEntry}[2]{\bm{#1}\bracks*{#2}} \newcommand{\matEntry}[3]{#1\bracks*{#2}\bracks*{#3}} \newcommand{\matPart}[5]{\matEntry{#1}{#2:#3}{#4:#5}} \newcommand{\minor}[3]{{#1}\bracks*{\setminus #2}\bracks*{\setminus #3}} % the minor of a matrix: row #2 and column #3 deleted \newcommand{\diag}{\operatorname{diag}} \newcommand{\transpose}[1]{{#1}^\top} \newcommand{\HerConj}[1]{{#1}^*} \newcommand{\tr}{\operatorname{tr}} \newcommand{\inProd}[2]{\left\langle#1,#2\right\rangle} \newcommand{\dotProd}[2]{#1 \cdot #2} \newcommand{\HadamardProd}{\odot} \newcommand{\HadamardDiv}{\oslash} \newcommand{\vecSpan}{\operatorname{span}} \newcommand{\rank}{\operatorname{rank}} % vector % unit vector \newcommand{\vix}{\bm{i}_x} \newcommand{\viy}{\bm{i}_y} \newcommand{\viz}{\bm{i}_z} % graph theory \newcommand{\neighborhood}{\mathcal{N}} % probability theory \newcommand{\PDF}{\operatorname{PDF}} \newcommand{\Ber}{\operatorname{Ber}} \newcommand{\Beta}{\operatorname{Beta}} \newcommand{\ExpDist}{\operatorname{ExpDist}} \newcommand{\ErlangDist}{\operatorname{ErlangDist}} \newcommand{\PoissonDist}{\operatorname{PoissonDist}} \newcommand{\GammaDist}{\operatorname{Gamma}} \newcommand{\cind}[2]{\ind{#1\left| #2\right.}} % conditional indicator function \renewcommand{\Pr}{\operatorname{Pr}} \DeclarePairedDelimiterX{\cPrParens}[2]{(}{)}{#1\,\delimsize\vert\,#2} \newcommand{\Ev}{\operatorname{E}} % expected value \newcommand{\Var}{\operatorname{Var}} \newcommand{\Cov}{\operatorname{Cov}} % physics % unit of measurement \newcommand{\second}{\text{s}} \newcommand{\hertz}{\text{Hz}} \newcommand{\decibel}{\text{dB}} % signal processing % Discrete Time Fourier Transform \newcommand{\DTFT}{\operatorname{DTFT}} \newcommand{\IDTFT}{\operatorname{IDTFT}} % computer science % fixed-point arithmetic \newcommand{\IntPartBW}[1]{\underbracket[0.140ex]{#1}_\mathrm{i}} % 0.140ex is half of the default thickness. See: [How to make underbracket thinner](https://tex.stackexchange.com/questions/559078/how-to-make-underbracket-thinner) \newcommand{\DecPartBW}[1]{\underbracket[0.140ex]{#1}_\mathrm{d}} \newcommand{\TotalBW}[1]{\underbracket[0.140ex]{#1}} \newcommand{\Rat}{\operatorname{Rat}} % Maps a fixed-point number to a corresponding rational number. % programming \newcommand{\plpl}{\mathrel{++}} \newcommand{\pleq}{\mathrel{+}=} \newcommand{\asteq}{\mathrel{*}=} \]

はじめに

他の記事で参照するための補題をここに書いておく。

ベクトルのスカラー関数倍の回転

主張

$\bm{r}\in\realNumbers$とする。$f: \realNumbers^3\to\complexNumbers,\;A(\bm{r}): \realNumbers^3\to\realNumbers^3$はともに$\mathrm{C}^1$級とする。このとき次式が成り立つ。

\[ \nabla_\bm{r}\times f(\bm{r})\bm{A}(\bm{r}) = \bigl(\nabla_\bm{r}f(\bm{r})\bigr)\times \bm{A}(\bm{r}) + f(\bm{r})\nabla_\bm{r}\times\bm{A}(\bm{r}) \]

導出

$i+j$を3で割った余りを$[i+j]$と表すことにする。

\begin{align*} \phantom{=} &\nabla_\bm{r}\times f(\bm{r})\bm{A}(\bm{r}) = \sum_{i=1}^3 \bm{i}_i\left(\partDeriv{f(\bm{r})A_{[i+2]}(\bm{r})}{r_{[i+1]}}{} – \partDeriv{f(\bm{r})A_{[i+1]}(\bm{r})}{r_{[i+2]}}{}\right) \\ = &\sum_{i=1}^3 \bm{i}_i \left[\left(\partDeriv{f(\bm{r})}{r_{[i+1]}}{}A_{[i+2]}(\bm{r}) – \partDeriv{f(\bm{r})}{r_{[i+2]}}{}A_{[i+3]}(\bm{r})\right) + f(\bm{r})\left(\partDeriv{A_{[i+2]}(\bm{r})}{r_{[i+1]}}{} – \partDeriv{A_{[i+1]}(\bm{r})}{r_{[i+2]}}{}\right)\right] \\ = &\bigl(\nabla_\bm{r}f(\bm{r})\bigr)\times \bm{A}(\bm{r}) + f(\bm{r})\nabla_\bm{r}\times\bm{A}(\bm{r}) \end{align*}

$\square$

定数ベクトルとの外積の回転

主張

$\bm{r},\bm{C}\in\realNumbers$とする。$A: \realNumbers^3\to\realNumbers^3$は$\mathrm{C}^1$級とする。このとき次式が成り立つ。\[ \nabla_\bm{r}\times\bigl(\bm{C}\times\bm{A}(\bm{r})\bigr) = (\nabla\cdot\bm{A}(\bm{r}))\bm{C} – J_\bm{A}\bm{C} \]ここに$J_\bm{A}$は$A$のJacobi行列である。

導出

\begin{align*} &\phantom{=} \nabla_\bm{r}\times\bigl(\bm{C}\times\bm{A}(\bm{r})\bigr) \\ &= \bm{i}_1\left[C_1\partDerivLong{A_2}{r_2}{} – C_2\partDerivLong{A_1}{r_2}{} – C_3\partDerivLong{A_1}{r_3}{} + C_1\partDerivLong{A_3}{r_3}{}\right] \\ &\phantom{=} + \bm{i}_2\left[C_2\partDerivLong{A_3}{r_3}{} – C_3\partDerivLong{A_2}{r_3}{} – C_1\partDerivLong{A_2}{r_1}{} + C_2\partDerivLong{A_1}{r_1}{}\right] \\ &\phantom{=} + \bm{i}_3\left[C_3\partDerivLong{A_1}{r_1}{} – C_1\partDerivLong{A_3}{r_1}{} – C_2\partDerivLong{A_3}{r_2}{} + C_3\partDerivLong{A_2}{r_2}{}\right] \end{align*}

$\bm{i}_1$の係数を変形して次式を得る。

\[ C_1\left(\partDerivLong{A_1}{r_1}{} + \partDerivLong{A_2}{r_2}{} + \partDerivLong{A_3}{r_3}{}\right) – C_1\partDerivLong{A_1}{r_1}{} – C_2\partDerivLong{A_1}{r_2}{} – C_3\partDerivLong{A_1}{r_3}{} = C_1\nabla\cdot\bm{A} – \bm{C}\cdot\nabla A_1 \]

$\bm{i}_2, \bm{i}_3$についても同様にして、結局次式を得る。

\[ \nabla_\bm{r}\times\bigl(\bm{C}\times\bm{A}(\bm{r})\bigr) = (\nabla\cdot\bm{A})\bm{C} – (\bm{C}\cdot\nabla A_1)\bm{i}_1 – (\bm{C}\cdot\nabla A_2)\bm{i}_2 – (\bm{C}\cdot\nabla A_3)\bm{i}_3 = (\nabla\cdot\bm{A}(\bm{r}))\bm{C} – J_\bm{A}\bm{C} \]

$\square$

ベクトルLaplacianの発散

主張

$\bm{r}\in\realNumbers$とする。$A: \realNumbers^3\to\realNumbers^3$は$\mathrm{C}^3$級とする。次式が成り立つ。

\[ \nabla\cdot(\nabla^2\bm{A}) = \Delta(\nabla\cdot\bm{A}) \]

導出

\begin{align*} \nabla\cdot\nabla^2\bm{A} &= \nabla\cdot\left(\bm{i}_1 \Delta A_1 + \bm{i}_2 \Delta A_2 + \bm{i}_3 \Delta A_3\right) = \partDerivLong{\Delta A_1}{r_1}{} + \partDerivLong{\Delta A_2}{r_2}{} + \partDerivLong{\Delta A_3}{r_3}{} \\ &= \Delta\left(\partDerivLong{A_1}{r_1}{} + \partDerivLong{A_2}{r_2}{} + \partDerivLong{A_3}{r_3}{}\right) = \Delta(\nabla\cdot\bm{A}) \end{align*}

$\square$

コメントを残す