%=====================================================================
% 秋田高専 専攻科1年 電気磁気学特論講義ノート
%　　テーマ ベクトル解析(3)
%    本テキストの内容
%        ・はじめに
%        ・
%        ・
%
% last updated 2005.5.13
%    created by  Masashi Yamamoto
%     e-mail yamamoto@akita-nct.jp
%=====================================================================
\documentclass[10pt,a4paper]{jarticle}
\usepackage{graphicx,amsmath,amssymb,ascmac,theorem,float}
\usepackage{html}
\oddsidemargin 0mm  %左の余白 25.4mm-0mm　奇数ページ
\evensidemargin 0mm %左の余白 25.4mm-0mm　偶数ページ
\textwidth 160mm
\newcommand{\vm}[1]{\boldsymbol{#1}}
\newcommand{\grad}[1]{\nabla #1}
\renewcommand{\div}[1]{\nabla\cdot #1 }
\newcommand{\rot}[1]{\nabla\times #1}
\newcommand{\vnabla}[0]{\vm{\nabla}}
\newcommand{\pdiff}[3]{
 \if 1#1 \frac{\partial #2}{\partial #3}
 \else \frac{\partial^{#1} #2}{\partial #3^{#1}}\fi
}

%
\begin{document}
\title{ベクトル解析3(スカラー場とベクトル場の微分)}
\author{山本昌志\thanks{国立秋田工業高等専門学校　生産システム工学専攻}}
\date{2005年5月13日}
\maketitle
%
%
%=====================================================================
\section{本日の授業内容}
%=====================================================================
先週は、ベクトルとは何か説明して、そのスカラー積(内積)とベクトル積(外積)について
説明した。先週までで、ベクトルの和と積の演算の説明が完了した。本日は、微分の演算
の説明を行う。本日の授業の内容は、以下の通りである。
%
\begin{itemize}
 \item ベクトル場とスカラー場
 \item スカラー場の勾配
 \item ベクトル演算子 $\vm{\nabla}$
 \item ベクトル場の発散
 \item ベクトル場の回転
 \item スカラー場とベクトル場の2階微分
 \item ラプラス演算子
\end{itemize}
%
本日は、「ファインマン物理学 III 電磁気学　第2章」~\cite{ファインマン物理3電磁気
学}に沿って講義を行います。この辺の話は、ファインマンがかなり上手に説明をしてお
り、分かり易い。講義がよく分からなければ、これをじっくりと読むと良い。
%
%=====================================================================
\section{ベクトル場とスカラー場}
%=====================================================================
場とは、空間の各点の量のことを言う。この量がスカラーのものをスカラー場、ベクトル
のものをベクトル場と言う。空間の位置が決まればスカラーあるいはベクトルの値がきま
ると言うことで位置の関数であるが、時間の関数であっても良い。今のところ、時間の部
分は気にしないで、位置との関係を見ていく。現実の世界では、次のような量である。
\begin{list}{}{\itemindent=2em}
 \item[{\bf スカラー場}]空間の温度分布、密度分布、
 \item[{\bf ベクトル場}]流体の速度分布、電場、磁場
\end{list}

これらの量は、位置の関数で連続的に変化する。通常の物理の問題のように、不連続な変
化は考えないことにする。連続的になめらかに変化するので、微分が決められる。本日は、
このベクトル場とスカラー場の空間微分について、考える。

連続的になめらかに変化するスカラー場では、2次元では等高線、3次元では等高面を描く
ことができる。その等高線や等高面は次のような性質がある。
\begin{itemize}
 \item 閉じているか、考えている空間でいっぱいに広がっているのどちらかである。
 \item 決して交わることは無い。
\end{itemize}
%
%=====================================================================
\section{スカラー場の勾配($\mathrm{grad}$)}
%=====================================================================
%---------------------------------------------------------------------
\subsection{勾配の定義}
%---------------------------------------------------------------------
ここでは、スカラー場の微分を考える。温度を例にして考えることに
するが、ここでの話はスカラー場一般について成り立つ。この温度は、位置の関数なので
$T(x,\,y,\,z)$と書くことができるであろう。いろいろな微分が考えることができる。た
とえば、
\begin{align}
 \pdiff{1}{T}{x}
\end{align}
である。これは、座標軸の取り方に依存してる。座標軸を変えれば、値が変わってしまう
のは明らかである。従って、スカラー量はないし\footnote{スカラー量は座標軸を回転さ
せても変化しない量である。}、ベクトル量でない\footnote{3次元空間であれば少なくと
も3つの量が必要である。}のも明らかである。スカラー量でもベクトル量でも無いものは、
座標軸を変えると式が変わってしまい、物理的な考察をするときには役に立たない。

まだ他に、スカラー場の微分はいろいろ考えられる。しかし、実際問題、スカラー場の微分で役に
立つのは、勾配
\begin{align}
 \left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y},\,\pdiff{1}{T}{z}\right)
 \label{eq:def_grad0}
\end{align}
と呼ばれる量である。私は、これ以外の微分に出会ったことはない。スカラー場の微分で
役に立つものはこれしか無いと考えよい。

この勾配には3つの成分があり、ベクトル場になっている。それぞれは、位置の関数であ
るので場の量であることは確かである。また、$T$ はなめらかな関数なので、この3成分
もなめらかに変化するのも確かである。後の問題は、この3成分がベクトル量であること
を示せば良い。それを2つの方法で示す。

式(\ref{eq:def_grad0})がベクトルであることを示す。非常に近くの2点の温度を考える。
それぞれを$T_1=T(x,\,y,\,z)$と$T_2=T(x+\Delta x,\,y+\Delta y,\,z+\Delta z)$とす
る。温度差は、
\begin{align}
 \Delta T
 &=T_2-T_1 \nonumber \\
 &=T(x+\Delta x,\,y+\Delta y,\,z+\Delta z)-T(x,\,y,\,z)\nonumber\\
 &\simeq \left[T(x,\,y,\,z)
 +\pdiff{1}{T}{x}\Delta x+\pdiff{1}{T}{y}\Delta y+\pdiff{1}{T}{z}\Delta z
 \right]-T(x,\,y,\,z)\nonumber\\
 &\simeq\pdiff{1}{T}{x}\Delta x+\pdiff{1}{T}{y}\Delta y+\pdiff{1}{T}{z}\Delta z
\end{align}
となる。2点の距離を0の極限まで近づけると、最後の式は等号で結ばれることになる。そ
して、変位ベクトル $\Delta\vm{R}=(\Delta x,\,\Delta y,\,\Delta z)$と、記号
$\nabla T$なるものを
\begin{align}
 \vm{\nabla} T=\left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y},\,\pdiff{1}{T}{z}\right)
\end{align}
を導入すると
\begin{align}
 \Delta T
 &=\pdiff{1}{T}{x}\Delta x+\pdiff{1}{T}{y}\Delta y+\pdiff{1}{T}{z}\Delta z
 \nonumber \\
 &=\left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y},\,\pdiff{1}{T}{z}\right)
 \cdot
 (\Delta x,\,\Delta y,\,\Delta z) \nonumber \\
 &=\vm{\nabla} T\cdot\Delta\vm{R}
 \label{eq:nable_t_cdot_Delta_R}
\end{align}
となる。左辺は温度差なので座標軸を回転させても値は変わらないから、スカラー量であ
る。変位 $\Delta\vm{R}$ もベクトル量である。$\vm{\nabla} T$ は、ベクトル量
$\Delta\vm{R}$ との内積をとることによりスカラー量 $\Delta T$ になる。従って、
$\vm{\nabla} T$ はベクトル量である。これをスカラー場 $T$ の勾配と言い、
$\mathrm{grad}\,T$と書いたりもする。まとめると、
\begin{align}
 \vm{\nabla}T=\mathrm{grad}\,T=
 \left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y},\,\pdiff{1}{T}{z}\right)
 \label{eq:def_grad}
\end{align}
である。

つぎに式(\ref{eq:def_grad})がベクトル量になっていることを、座標軸の回転により証
明しよう。3次元は大変なので2次元の場合で説明するが、3次元に拡張しても同じことが
言える。元の座標を $(x,\,y,\,z)$、それを $\theta$ 回転させた座標を
$(x^\prime,\,y^\prime,\,z^\prime)$とした場合、それらには、
\begin{align}
 &\begin{bmatrix}
  x^\prime \\
  y^\prime
 \end{bmatrix}=
 \begin{bmatrix}
  \cos\theta & \sin\theta \\
  -\sin\theta & \cos\theta
 \end{bmatrix}
 \begin{bmatrix}
  x \\
  y
 \end{bmatrix}&
 &\text{あるいは}&
 &\begin{bmatrix}
  x \\
  y
 \end{bmatrix}=
 \begin{bmatrix}
  \cos\theta & -\sin\theta \\
  \sin\theta & \cos\theta
 \end{bmatrix}
\begin{bmatrix}
  x^\prime \\
  y^\prime
 \end{bmatrix}
\end{align}
という関係がある。変位ベクトル $(\Delta x, \Delta y)$ も同じ変換なので、
\begin{align}
 \Delta x^\prime &= \Delta x \cos\theta+\Delta y \sin\theta \\
 \Delta y^\prime &= -\Delta x \sin\theta+\Delta y \cos\theta
\end{align}
となる。先ほどと同じように距離を無限小にとった場合の温度差をプライムが付いた座標
系で考える。温度変化は、
\begin{align}
 \Delta T&=
 T(x^\prime+\Delta x^\prime,\,y^\prime+\Delta y^\prime)
 -T(x^\prime,\,y^\prime)\nonumber\\
 &=
 \pdiff{1}{T}{x^\prime}\Delta x^\prime+
 \pdiff{1}{T}{y^\prime}\Delta y^\prime \nonumber \\
 &=
 \pdiff{1}{T}{x^\prime}\left(\Delta x \cos\theta+\Delta y \sin\theta\right) +
 \pdiff{1}{T}{y^\prime}\left(-\Delta x \sin\theta+\Delta y \cos\theta\right)
 \nonumber \\
 &=
 \left(
 \pdiff{1}{T}{x^\prime}\cos\theta-\pdiff{1}{T}{y^\prime}\sin\theta
 \right)\Delta x+
 \left(
 \pdiff{1}{T}{x^\prime}\sin\theta+\pdiff{1}{T}{y^\prime}\cos\theta
 \right)\Delta y \nonumber \\
 &= \left(
 \pdiff{1}{T}{x^\prime}\cos\theta-\pdiff{1}{T}{y^\prime}\sin\theta
 ,\,
 \pdiff{1}{T}{x^\prime}\sin\theta+\pdiff{1}{T}{y^\prime}\cos\theta
 \right)\cdot(\Delta x,\,\Delta y)
 \label{eq:Delta_T_prime_cordinate}
\end{align}
となる。この式の右辺の左側のベクトルと式(\ref{eq:nable_t_cdot_Delta_R})の2次元
の場合を比較すると、
\begin{align}
 \begin{bmatrix}
  \pdiff{1}{T}{x} \\
  \pdiff{1}{T}{y}
 \end{bmatrix}=
 \begin{bmatrix}
  \cos\theta & -\sin\theta \\
  \sin\theta & \cos\theta
 \end{bmatrix}
 \begin{bmatrix}
  \pdiff{1}{T}{x^\prime} \\
  \pdiff{1}{T}{y^\prime}
  \label{eq:grad_no_kaiten}
 \end{bmatrix}
\end{align}
となる。これを見て分かるように、
\begin{align}
 \left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y}\right)
\end{align}
はという量は、座標軸の回転に対して、座標が受けるのと同じ変換を受ける。従って、ベ
クトル量である。これと同じことが、3次元の式(\ref{eq:def_grad})についても成り立つ
のでベクトル量である。
%
%=====================================================================
\section{$\vm{\nabla}$演算子}
%=====================================================================
ここでは、$\vm{\nabla}$が演算子であり、ベクトルのような振る舞いを示すこと説明す
る。式(\ref{eq:grad_no_kaiten})から、
\begin{align}
 \left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y}\right)=
 \left(
 \pdiff{1}{T}{x^\prime}\cos\theta-\pdiff{1}{T}{y^\prime}\sin\theta
 ,\,
 \pdiff{1}{T}{x^\prime}\sin\theta+\pdiff{1}{T}{y^\prime}\cos\theta
 \right)
\end{align}
である。これを、
\begin{align}
 \left(\pdiff{1}{}{x},\,\pdiff{1}{}{y}\right)T=
 \left(
 \pdiff{1}{}{x^\prime}\cos\theta-\pdiff{1}{}{y^\prime}\sin\theta
 ,\,
 \pdiff{1}{}{x^\prime}\sin\theta+\pdiff{1}{}{y^\prime}\cos\theta
 \right)T
\end{align}
と書き改めても良いだろう。従って、$(\partial/\partial x,\,\partial/\partial
y,\,\partial/\partial z)$は演算子になっている。さらに、
\begin{align}
 \begin{bmatrix}
  \pdiff{1}{}{x}\\
  \pdiff{1}{}{y}
 \end{bmatrix}=
 \begin{bmatrix}
  \cos\theta & -\sin\theta \\
  \sin\theta & \cos\theta
 \end{bmatrix}
 \begin{bmatrix}
  \pdiff{1}{}{x^\prime}\\
  \pdiff{1}{}{y^\prime}
 \end{bmatrix}
\end{align}
の関係より、ベクトルのように振る舞うことが分かるだろう。

$\vm{\nabla}$を独立したベクトル演算子と考えると都合がよい。どのように都合が良い
かは後で述べる。勾配を表す式(\ref{eq:def_grad})では $\vm{\nabla}T$ で一つの記号で
あったが、今後はベクトル演算子 $\vm{\nabla}$ スカラー場 $T$ との積と考える。すな
わち、
\begin{align}
 \vm{\nabla}T
 &=\left(\pdiff{1}{}{x},\,\pdiff{1}{}{y},\,\pdiff{1}{}{z}\right)T
 \nonumber \\
 &=\left(\pdiff{1}{T}{x},\,\pdiff{1}{T}{y},\,\pdiff{1}{T}{z}\right)
\end{align}
である。ベクトル演算子 $\vm{\nabla}$ は右側にある量に作用することを忘れてはなら
ない。従って、積の交換法則は成り立たず、$\vm{\nabla}T\neq T\vm{\nabla}$ である。

また、これは微分を表すことも忘れてはならない。微分演算子$\mathrm{d}/\mathrm{d}x$
のようにである。このベクトル演算子はは当然スカラー場やベクトル量に作用する。

ベクトル演算子はベクトル量とスカラー積やベクトル積をとることができる。それについ
ては、次節以降に述べる。
%
%=====================================================================
\section{ベクトル場の発散}
%=====================================================================
ベクトル演算子 $\vm{\nabla}$ とベクトル場$\vm{A}$とのスカラー積を考えることがで
きるだろう。これは、
\begin{align}
 \vm{\nabla}\cdot\vm{A}
 &=\left(\pdiff{1}{}{x},\,\pdiff{1}{}{y},\,\pdiff{1}{}{z}\right)
 \cdot\vm{A} \nonumber \\
 &=\pdiff{1}{A_x}{x}+\pdiff{1}{A_y}{y}+\pdiff{1}{A_z}{z}
\end{align}
となる。これは、発散と呼ばれるスカラー場である。ベクトル演算子とベクトル場のスカ
ラー積なので、スカラー量になると覚える。実際に、スカラー量になることの証明は、諸
君に任せる。

この量の物理的意味は、来週の積分の演算を通して示す。
%
%=====================================================================
\section{ベクトル場の回転}
%=====================================================================
次にベクトル演算子 $\vm{\nabla}$ とベクトル場$\vm{A}$とのベクトル積を考える。これは、
\begin{align}
 \vm{\nabla}\cdot\vm{A}
 &=\left(\pdiff{1}{}{x},\,\pdiff{1}{}{y},\,\pdiff{1}{}{z}\right)
 \times\vm{A} \nonumber \\
 &=
 \begin{vmatrix}
  \vm{i} & \vm{j} & \vm{k} \\
  \pdiff{1}{}{x} & \pdiff{1}{}{y} & \pdiff{1}{}{z}\\
  A_x & A_y & A_z
 \end{vmatrix} \nonumber \\
 &=
 \left(\pdiff{1}{A_z}{y}-\pdiff{1}{A_y}{z}\right)\vm{i}+
 \left(\pdiff{1}{A_x}{z}-\pdiff{1}{A_z}{x}\right)\vm{j}+
 \left(\pdiff{1}{A_y}{x}-\pdiff{1}{A_x}{y}\right)\vm{k}
 \nonumber \\
 &=\left(
 \pdiff{1}{A_z}{y}-\pdiff{1}{A_y}{z},\,
 \pdiff{1}{A_x}{z}-\pdiff{1}{A_z}{x},\,
 \pdiff{1}{A_y}{x}-\pdiff{1}{A_x}{y}
 \right)
\end{align}
となる。これは、回転と呼ばれるスカラー場である。ベクトル演算子とベクトル場のベク
トル積なので、ベクトル量になると覚える。これが、実際にベクトル量になることの証明
は、諸君に任せる。

この量の物理的意味は、来週の積分の演算を通して示す。
%
%=====================================================================
\section{スカラー場とベクトル場の2階微分}
%=====================================================================
ほとんどの物理法則は、1階微分あるいは2階微分方程式で書かれる。3階の微分方程式な
んかお目にかかったことはないし、5階や23階とかも無い。実に不思議なことである。こ
こでは、ベクトル演算子を使ったスカラー場とベクトル場の2階微分を考える。
%
%---------------------------------------------------------------------
\subsection{ベクトル恒等式}
%---------------------------------------------------------------------
ベクトル演算子を使った1階微分は先ほど示したとおりである。2階微分もしばしば現れる
ので、それを示しておく。先程述べたようにベクトル演算子も、ベクトルと同じように振
る舞う。そこで、ベクトルに関する式を先に示しておいた方が良いだろう。$\vm{A}$ と 
$\vm{B}$ をベクトルとして、重要なベクトル恒等式は、
\begin{align}
 &\vm{A}\times\vm{A}=0 \label{eq_v_a}\\
 &\vm{A}\cdot(\vm{A}\times\vm{B})=0 \label{eq_v_b}\\
 &\vm{A}\cdot(\vm{B}\times\vm{C})=\vm{C}\cdot(\vm{A}\times\vm{B})
 =\vm{B}\cdot(\vm{C}\times\vm{A}) \label{eq_v_c}\\
 &\vm{A}\times(\vm{B}\times\vm{C})
 =\vm{B}(\vm{A}\cdot\vm{C})-\vm{C}(\vm{A}\cdot\vm{B}) \label{eq_v_d}
\end{align}
である。これらの証明は、各自ベクトル解析の教科書を見よ。
%
%---------------------------------------------------------------------
\subsection{2階微分}
%---------------------------------------------------------------------
スカラー場を $\phi$ ベクトル場を $\vm{h}$とした場合、ベクトル演算子を使った2階微
分の可能な組み合わせは、次の通りである。
\begin{align}
 &\vnabla\cdot(\vnabla \phi)         \label{eq_nabla2_a} \\
 &\vnabla\times(\vnabla \phi)        \label{eq_nabla2_b} \\
 &\vnabla(\vnabla\cdot\vm{h})        \label{eq_nabla2_c} \\
 &\vnabla\cdot(\vnabla\times\vm{h})  \label{eq_nabla2_d}\\
 &\vnabla\times(\vnabla\times\vm{h}) \label{eq_nabla2_e}
\end{align}
これら、全ての組み合わせについて、どうなるか考えよう。

まずは、通常のベクトルの演算で$0$になるものを探し、その関係を利用して式
(\ref{eq_nabla2_a})〜(\ref{eq_nabla2_e})の演算で$0$になるものを類推する。以下の
ベクトルの演算が0になることは直ちに分かる。
%
\begin{align}
 &\vm{A}\times(\vm{A}\phi)=(\vm{A}\times\vm{A})\phi=0,
 \qquad\text{式(\ref{eq_v_a})}より\\
 &\vm{A}\cdot(\vm{A}\times\vm{B})=0,
\qquad\text{式(\ref{eq_v_b})そのもの}
\end{align}
%
これらの関係から、$\vm{A}$ を $\vnabla$ 、$\vm{B}$ を $\vm{h}$ とすると
%
\begin{align}
 &\vnabla\times(\vnabla \phi)=0\\
 &\vnabla\cdot(\vnabla\times\vm{h})=0
\end{align}
%
と類推できる。類推ではあるが、これは正しい式である。学生諸君は、成分を計算してこ
れが成立することを確認すること。

次にベクトル公式
%
\begin{align}
 \vm{A}\times(\vm{B}\times\vm{C})
 =\vm{B}(\vm{A}\cdot\vm{C})-\vm{C}(\vm{A}\cdot\vm{B})
 \label{eq:vector_3_times_1}
\end{align}
%
を用いた場合を考える。$A$と$B$を$\vnabla$で置き換え、$\vm{C}$を$\vm{h}$
とすると、
%
\begin{align}
 \vnabla\times(\vnabla\times\vm{h})
 =\vnabla(\vnabla\cdot\vm{h})-\vm{h}(\vnabla\cdot\vnabla)
 \label{eq:nabla_times_nabla_1}
\end{align}
%
となる。右辺第2項の$\vm{h}(\vnabla\cdot\vnabla)$が変である。この困難を避
けるために、少し技巧的であるが、式(\ref{eq:vector_3_times_1})を
%
\begin{align}
 \vm{A}\times(\vm{B}\times\vm{C})
 =\vm{B}(\vm{A}\cdot\vm{C})-(\vm{A}\cdot\vm{B})\vm{C}
\end{align}
%
とすればよい。右辺第2項は、ベクトル$\vm{C}$とスカラー
$\vm{A}\cdot\vm{B}$との積であるため、演算の順序を入れ替えても良い。こ
うすると、式(\ref{eq:nabla_times_nabla_1})は
%
\begin{equation}
 \begin{aligned}
  \vnabla\times(\vnabla\times\vm{h})
  &=\vnabla(\vnabla\cdot\vm{h})-(\vnabla\cdot\vnabla)\vm{h}
  &=\vnabla(\vnabla\cdot\vm{h})-\vnabla^2\vm{h}
 \end{aligned}
\end{equation}
%
となり、正しそうである。事実、これは正しい式である。成分ごとに、きちん
と微分を行えば分かる。

以上で、最初に示した2階の微分のうち、式(\ref{eq_nabla2_b})と
(\ref{eq_nabla2_d})、(\ref{eq_nabla2_e})の公式を導いた。残りは、特に興
味のあるものは無い。そこで、以上の結果をまとめると
%
\begin{align}
 &\vnabla\cdot(\vnabla \phi)=\nabla^2\phi=\text{スカラー場}\label{eq_nabla2_a1}\\
 &\vnabla\times(\vnabla \phi)=0\label{eq_nabla2_b1}\\
 &\vnabla(\vnabla\cdot\vm{h})=\text{ベクトル場}\label{eq_nabla2_c1}\\
 &\vnabla\cdot(\vnabla\times\vm{h})=0\label{eq_nabla2_d1}\\
 &\vnabla\times(\vnabla\times\vm{h})
 =\vnabla(\vnabla\cdot\vm{h})-\nabla^2\vm{h}=\text{ベクトル場}
 \label{eq_nabla2_e1}
\end{align}
となる。

ここで、$\nabla^2$ という演算子が現れている。これは、ラプラス演算子と言われるも
ので、いろいろな場面で活躍する。これについては、後でのべる。

これまでの話をまとめると、ベクトル演算子$\vnabla$は通常のベクトルの演算
規則が成り立ち、便利である。諸君は、これを上手に使えばよい。もし、その
公式が気になるようであれば、成分に分けて、こつこつと微分をしてみれば良
い。
%
%---------------------------------------------------------------------
\subsection{注意点}
%---------------------------------------------------------------------
先ほど、ベクトル演算子$\vnabla$は通常のベクトル演算と同様に扱えると述べ
たが、注意が必要である。例えば、通常のベクトル公式
%
\begin{align}
 (\vm{A}\psi)\times(\vm{A}\phi)=0
\end{align}
%
である。
\begin{itemize}
 \item{これがなぜ0になるか、図に示して説明せよ}
\end{itemize}
もし、$\vm{A}$を$\vnabla$と置き換えると
%
\begin{align}
 (\vnabla\psi)\times(\vnabla\phi)=0\text{??????}
\end{align}
%
となる。ベクトル$\vnabla\psi$の方向は$\psi$に関係するし、$\vnabla\phi$も
同様である。したがって、0になるのは特殊な場合である。

これは、次のように考える。最初の$\vnabla$は$\psi$に作用し、つぎのものは
$\phi$に作用する。したがって、同じ$\vnabla$でも異なるベクトルと考える。

だからと言って、$\vnabla\times\vnabla\phi=0$が成り立たないというわけでは
ない。この場合、2つの$\vnabla$は同じ$\phi$に作用する。
%

ベクトル演算子 $\vnabla$ を $(\partial/\partial x,\,\partial/\partial
y,\,\partial/\partial z)$ としてスカラー積やベクトル積を計算して、勾配や発散、回
転を計算できるのは、カーテシアン座標系のみである。ほかの座標系になると、かなり複
雑になる。詳細は、私のwebページに載せている。
\begin{quote}
 \htmladdnormallink{http://www.akita-nct.jp/~yamamoto/study/electromagnetics/coodinate\_transform/html/coodinate\_trans.html}{http://www.akita-nct.jp/~yamamoto/study/electromagnetics/coodinate_transform/html/index.html}
\end{quote}
を参考にせよ。
%
%=====================================================================
\section{ラプラス演算子}
%=====================================================================
ベクトル演算子同士の内積をとった結果、
%
\begin{equation}
 \begin{aligned}
  \nabla\cdot\nabla
  &=\nabla^2\\
  &=\left(
  \frac{\partial}{\partial x},\,
  \frac{\partial}{\partial y},\,
  \frac{\partial}{\partial z}
  \right)\cdot\left(
  \frac{\partial}{\partial x},\,
  \frac{\partial}{\partial y},\,
  \frac{\partial}{\partial z}
  \right)\\
  &=
  \frac{\partial^2}{\partial x^2}+
  \frac{\partial^2}{\partial y^2}+
  \frac{\partial^2}{\partial z^2}
 \end{aligned}
\end{equation}
%
の新しくできる演算子をラプラス演算子(ラプラシアン)と言う。$\nabla^2$の
代わりに$\Delta$と書くこともある。

これは、見て分かるようにスカラー演算子である。スカラー演算子であるため、
スカラーやベクトルに作用することができる。スカラー場$\phi$に作用すると、
次のようなスカラー場ができる。
%
\begin{equation}
 \begin{aligned}
  \nabla^2\phi
  &=\left(
  \frac{\partial^2}{\partial x^2}+
  \frac{\partial^2}{\partial y^2}+
  \frac{\partial^2}{\partial z^2}
  \right)\phi\\
  &=
  \frac{\partial^2 \phi}{\partial x^2}+
  \frac{\partial^2 \phi}{\partial y^2}+
  \frac{\partial^2 \phi}{\partial z^2}
 \end{aligned}
\end{equation}
%

ベクトル場$\vm{h}$に作用すると、次のようなベクトル場ができる。
%
\begin{equation}
 \begin{aligned}
  \nabla^2 \vm{h}
  &=\left(
  \frac{\partial^2}{\partial^2 x}+
  \frac{\partial^2}{\partial^2 y}+
  \frac{\partial^2}{\partial^2 z}
  \right)\left(h_x,\,h_y,\,h_z\right)\\
  &=\left(
  \frac{\partial^2 h_x}{\partial x^2}+
  \frac{\partial^2 h_x}{\partial y^2}+
  \frac{\partial^2 h_x}{\partial z^2},\,
  \frac{\partial^2 h_y}{\partial x^2}+
  \frac{\partial^2 h_y}{\partial y^2}+
  \frac{\partial^2 h_y}{\partial z^2},\,
  \frac{\partial^2 h_z}{\partial x^2}+
  \frac{\partial^2 h_z}{\partial y^2}+
  \frac{\partial^2 h_z}{\partial z^2}
  \right)
  \end{aligned}
\end{equation}
%

先にも述べたように、このように単純に計算できるのはカーテシアン座標系の場合に限ら
れる。ほかの曲線座標系のラプラス演算子は複雑である。円柱座標系と球座標系について
は、詳細は、私のwebページに載せている。
\begin{quote}
\htmladdnormallink{http://www.akita-nct.jp/~yamamoto/study/electromagnetics/laplacian/html/index.html}{http://www.akita-nct.jp/~yamamoto/study/electromagnetics/laplacian/html/index.html}
\end{quote}
を参考にせよ。
%
%======= 参考文献 =====================================================
\bibliographystyle{junsrt}
\bibliography{reference} 
%=====================================================================
\end{document}
