面積分のソースを表示

{{calculus}}
[[ベクトル解析]]における'''面積分'''（めんせきぶん、<em lang="en">surface integral</em>）は、[[曲面]]上でとった[[定積分]]であり、[[二重積分]]として捉えることもできる。[[線積分]]は一次元の類似物にあたる。曲面が与えられたとき、その上の[[スカラー場]]や[[ベクトル場]]を積分することができる。 

面積分は[[物理学]]、特に[[電磁気学]]の[[古典論]]に応用がある。

[[file:Surface integral illustration.svg|right|thumb|面積分の定義は、曲面を小さな面素へ分解することによって成される。]]

== 面素 ==
滑らかな曲面 ''S'' 上の点座標 '''x''' = (''x'', ''y'', ''z'') が独立な変数 ''u'', ''v'' の関数として '''x''' = ''S''(''u'', ''v'') := (''x''(''u'', ''v''), ''y''(''u'', ''v''), ''z''(''u'', ''v'')) によって表されるとき、
{{Indent|<math>d\sigma = |d\mathbf{x}| = |dS| := \left\vert \dfrac{\partial S}{\partial u}\times\dfrac{\partial S}{\partial v} \right\vert\,du\,dv</math>}}
を曲面 ''S'' = ''S''(''u'', ''v'') の ''u'', ''v'' に関する'''面積要素'''あるいは'''面素'''と呼ぶ。

ここで、
: <math>\left\vert \dfrac{\partial S}{\partial u}\times\dfrac{\partial S}{\partial v} \right\vert^2 = \begin{vmatrix}\dfrac{\partial y}{\partial u} & \dfrac{\partial y}{\partial v}\\[14pt] \dfrac{\partial z}{\partial u} & \dfrac{\partial z}{\partial v}\end{vmatrix}^2 + \begin{vmatrix}\dfrac{\partial z}{\partial u} & \dfrac{\partial z}{\partial v}\\[14pt] \dfrac{\partial x}{\partial u} & \dfrac{\partial x}{\partial v}\end{vmatrix}^2 + \begin{vmatrix}\dfrac{\partial x}{\partial u} & \dfrac{\partial x}{\partial v}\\[14pt] \dfrac{\partial y}{\partial u} & \dfrac{\partial y}{\partial v}\end{vmatrix}^2 = EG-F^2</math>
は、''S'' の線素 ''ds''<sup>2</sup> = ''Edu''<sup>2</sup> + 2''Fdudv'' + ''Gdv''<sup>2</sup> から定まる第一基本量
:<math>\begin{cases}
 E := \left(\dfrac{\partial x}{\partial u}\right)^2 + \left(\dfrac{\partial y}{\partial u}\right)^2 + \left(\dfrac{\partial z}{\partial u}\right)^2 \\[14pt]
 F := \dfrac{\partial x}{\partial u}\dfrac{\partial x}{\partial v} + \dfrac{\partial y}{\partial u}\dfrac{\partial y}{\partial v} + \dfrac{\partial z}{\partial u}\dfrac{\partial z}{\partial v} \\[14pt]
 G := \left(\dfrac{\partial x}{\partial v}\right)^2 + \left(\dfrac{\partial y}{\partial v}\right)^2 + \left(\dfrac{\partial z}{\partial v}\right)^2
\end{cases}</math>
によって記述できて、面素 ''d''&sigma; はパラメータ ''u'', ''v'' の取り方に依らない。

[[Image:Surface integral1.svg|right|thumb|一つの面素の模式図。面素は限りなく小さく、極限をとって、それで曲面を近似する。]]
== スカラー場の面積分 ==
曲面 ''S'' とその上で定義されたスカラー場 ''f'' を考える。''S'' が何らかの物質でできていて、''S'' の各点 ''x'' において物質の[[密度]]が ''f''(''x'') であるものと考えるならば、''S'' 上の ''f'' の面積分は ''S'' の単位厚さあたりの[[質量]]を与える（もちろんこれは、曲面を無限に薄い立体と看做した場合にのみ正しい）。つまり、面積分を計算する一つの方法論は、曲面を非常に小さい無数の小片に分割し、その各小片の密度は近似的に定数であると仮定して、各小片についてその面積と密度とを掛けて単位厚さあたりの質量を求め、それらをすべて足し上げて得られる数として ''S'' の単位厚さあたりの総質量を求めればよいということになる。

面積分の明示式を得るには、（[[球面]]上の[[地理座標系|経線と緯線]]のように）''S'' の上に[[曲線座標系]]を取るための[[媒介変数]]が必要である。そのような媒介変数表示を '''x'''(''s'', ''t'') と書いて (''s'', ''t'') が[[座標平面]]の適当な領域 ''T'' を動くものとすると、面積分は
:<math>
\int_{S} f \,dS 
:= \iint_{T} f(\mathbf{x}(s, t)) \left|{\partial \mathbf{x} \over \partial s}\times {\partial \mathbf{x} \over \partial t}\right| ds\, dt
</math>

と定義される。ただし、右辺の縦棒で挟まれた式は ''x''(''s'', ''t'') の二種類の[[偏微分]]同士の[[クロス積|交叉積]]の[[ノルム]]（{{仮リンク|大きさ (数学)|label=大きさ|en|Magnitude (mathematics)}}）である。

例えば、一般の函数 ''z'' = ''f''(''x'', ''y'') で与えられる曲面の表面積を求めるなら、'''r''' = (''x'', ''y'', ''z'') として
:<math>A := \int_S \,dS = \iint_T \left|{\partial \mathbf{r} \over \partial x}\times {\partial \mathbf{r} \over \partial y}\right| dx\,dy</math>
を計算することになる。このとき、
: <math>
  {\partial \mathbf{r} \over \partial x}=(1, 0, f_x(x,y)),\quad
  {\partial \mathbf{r} \over \partial y}=(0, 1, f_y(x,y))
</math>
であるから、代入して整理すれば
:<math>A = \iint_T \sqrt{\left({\partial f \over \partial x}\right)^{\!\!2}+\left({\partial f \over \partial y}\right)^{\!\!2}+1}\ dx\,dy</math>
を得る。これが一般の函数で与えられた曲面の曲面積に対するよく知られた公式である。式中で偏微分のクロス積として得られるベクトル
: <math>\left(-\frac{\partial f}{\partial x},-\frac{\partial f}{\partial y},1\right)</math>
は、この曲面の[[法ベクトル|法線ベクトル]]として理解することができる。

上記の公式にはクロス積が現れているから、この公式は曲線が三次元空間に埋め込まれているときのみ有効であることに注意。

== ベクトル場の面積分 ==
[[Image:Surface vectors.png|right|thumb|300px|曲面上のベクトル場]]
''S'' 上のベクトル場 '''v''' を考える。つまり、''S'' の各点 '''x''' に対して '''v'''('''x''') がベクトルであるものとする。

ベクトル場の面積分は、成分ごとのスカラー場の面積分として定義することができる（結果はベクトルになる）。これは例えば、電荷を帯びた曲面から発生する電場のある固定された点における式や、物質面から発生する重力のある固定された点における値を表すのに利用される。

あるいは、ベクトル場の[[法成分]]を積分することもできる（結果はスカラーになる）。''S'' を通過して流れる流体を考え、点 '''x''' における流体の速度 が '''v'''('''x''') で与えられるものとすると、単位時間当たりに ''S'' を通過する流体の量として[[流束]]が定まる。このように考えると、ベクトル場が各点で ''S'' に[[接平面|接する]]ならば（流体は ''S'' に[[平行]]で ''S'' に入りも出もしないから）流束は 0 であることがわかる。またそのことから、'''v''' が ''S'' に沿って流れるだけでなく、接成分も法成分も持つものならば、流束に寄与するのは法成分のみであることもわかる。このような理由に基づけば、流束を求めるのに、各点でベクトル場 '''v''' と曲面 ''S'' の法ベクトルとの[[点乗積]]を取る必要があって、それはスカラー場を与えるから、そのスカラー場の面積分が既に述べた仕方で計算できる。

式でまとめれば、
:<math>\int_S {\mathbf v}\cdot d{\mathbf{S}} := \int_S ({\mathbf v}\cdot {\mathbf n})dS=\iint_T {\mathbf v}(\mathbf{x}(s, t))\cdot \left({\partial \mathbf{x} \over \partial s}\times {\partial \mathbf{x} \over \partial t}\right) ds\, dt</math>
と書ける。右辺のクロス積は媒介変数で表された ''S'' の法ベクトル場である。この式の左辺は、右辺の式で「定義」されるもの（ドットがあるのと面素がベクトル記法になっていることに注意）である。

== 2-形式の面積分 ==
曲面 ''S'' 上の[[微分形式|微分 2-形式]]
:<math> f=f_{z}\, dx \wedge dy + f_{x}\, dy \wedge dz + f_{y}\, dz  \wedge dx </math>
が与えられ、(''s'', ''t'') が領域 ''D'' を動くとき
:<math>\mathbf{x} (s,t)=( x(s,t), y(s,t), z(s,t))\!</math> 
が ''S'' の[[向き付け可能性|向きを保つ]]媒介表示とすると、''f'' の ''S'' 上の面積分は
:<math>\iint_D \left[ f_{z} ( \mathbf{x} (s,t)) \frac{\partial(x,y)}{\partial(s,t)} + f_{x} ( \mathbf{x} (s,t))\frac{\partial(y,z)}{\partial(s,t)} + f_{y} ( \mathbf{x} (s,t))\frac{\partial(z,x)}{\partial(s,t)} \right] ds\,dt</math>
で与えられる。ここで、
:<math>{\partial \mathbf{x} \over \partial s}\times {\partial \mathbf{x} \over \partial t}=\left(\frac{\partial(y,z)}{\partial(s,t)}, \frac{\partial(z,x)}{\partial(s,t)}, \frac{\partial(x,y)}{\partial(s,t)}\right)</math>
は ''S'' に直交する面素である。

この 2-形式の面積分は、成分が (''f''<sub>''x''</sub>, ''f''<sub>''y''</sub>, ''f''<sub>''z''</sub>) であるようなベクトル場の面積分と同じものであることに注意。

== 面積分に関する定理 ==
[[発散定理]]やその一般化である[[ストークスの定理]]のような、面積分に対する有用な結果が[[微分幾何学]]や[[ベクトル解析]]を用いて、様々に得られる。

== 進んだ注意点 ==
面積分が、曲面 ''S'' の媒介変数表示を用いて定義されることに留意すべきである。与えられた曲面に対して、その媒介変数表示はいくつも考えうる。たとえば、球面上で北極と南極の位置を動かせば、球面上の各点の経度や緯度もそれに伴って変わる。故に、面積分の定義が媒介変数表示の取り方に依存するかどうかと考えるのは自然な疑問である。スカラー場の積分に関しては答えは単純で、どのような媒介変数表示を取っても面積分の値は同一である。

ベクトル場の面積分に対しては、法ベクトルが絡む所為で事態は少し複雑になるが、同じ曲面の二つの媒介変数表示が曲面の各点で同じ向きの法ベクトルを持つならば、いずれの媒介変数表示に関する面積分も同じ値を持つことが証明できる。ところが、それらの法ベクトルが互いに逆の向きを持つならば、一方の媒介変数表示に関して得られる面積分の値は他方に関するものの反数になる。このことから、曲面が与えられたときにはその一意的な媒介変数表示はどれも区別する必要はないが、ベクトル場を積分するときにはより進んで、各点の法線方向を決め、媒介変数表示は一貫した法線方向を持つものを選ばなければならないことがわかる。

もう一つの問題は、曲面全体を覆うことのできる媒介変数表示を持たない曲面が存在することである。そのような例として、（高さが有限な）[[円柱 (数学)|円柱]]の表面（側面と上面と底面）として与えられる曲面を挙げることができる。この問題は、曲面をいくつかの小片に分割して、それぞれの小片で面積分を計算し、それらをすべて足し上げることで、すぐに解決できる。これで実際にうまくいくのだが、ベクトル場の積分についてはやはり、分割の各小片での法ベクトルを、再びもとの一つの曲面に戻したときに方向が一貫性を持つように、気をつけて選ぶ必要がある。円柱の例で言えば、側面での法方向を立体の外向きに取ったならば、上面や底面でも同じく立体から外向きに法方向を取らねばならないということである。

そうすると次の問題は、各点の法方向を曲面全体で一貫して入れることができない曲面の存在である（例えば、[[メビウスの帯]]）。そのような曲面を小片に分割して各小片上に媒介変数をとり、再度もとのように貼合わせると、別々の小片に由来する法ベクトルの間で辻褄を合わせることができない。つまり、ある二つの小片の間の繋ぎ目で法ベクトルの方向が反対になるのである。このような曲面は[[向き|向き付け不能]]であると言う。向き付け不能な曲面の上でベクトル場の積分について記述することはできない。

== 関連項目 ==
* [[発散定理]]
* [[ストークスの定理]]
* [[線積分]]
* [[体積分]]
* [[直交座標系]]
* [[球面座標系の面素]] 
* [[円筒座標系の面素]]
* [[面積分法]] ([[:en:Holstein–Herring method|Holstein–Herring method]])

== 外部リンク ==
* {{MathWorld|urlname=SurfaceIntegral|title=Surface Integral}}
* {{PlanetMath|urlname=IntegrationWithRespectToSurfaceArea|title=surface integration with respect to area}}
*[http://www.math.gatech.edu/%7Ecain/notes/cal15.pdf Surface Integral -- Theory and exercises]

{{DEFAULTSORT:めんせきふん}}
[[Category:ベクトル解析]]
[[Category:積分法]]
[[Category:数学に関する記事]]