初めに
法線ベクトルとは、ある曲線や曲面上の点においてその点での接線に直交するベクトルのことを指します。接線ベクトルと同様に法線ベクトルもその点での微分幾何学の概念であり、その点での曲線や曲面の局所的な性質を表すことができます。
一般的に曲面上の点における法線ベクトルは、その点での曲面の勾配ベクトル（法線方向に最も急な方向を表すベクトル）を表します。勾配ベクトルはベクトル解析において勾配演算子（∇）を用いて表現され、勾配演算子を曲面の方程式に適用することで求めることができます。
また曲線上の点における法線ベクトルは、その点での曲線の接線ベクトルに直交するベクトルとして定義されます。これは曲線上の点での接線ベクトルが曲線の傾きを表すため、傾きに直交するベクトルが法線ベクトルとなるからです。
本記事ではこの事実を数式を交えて解説していきます。
ナブラ ∇ についてはこちらの記事
を参照してください。
法線ベクトルとは何か
2つのベクトル →OA,→AP が直交しているということは、2つのベクトルが独立であるということから内積を用いて
→OA⋅→AP=0
と表現できる。内積についてよく分からない読者は
を参照するように。
勿論2つのベクトル →OA,→AP は始点と終点を固定された定ベクトルとしても良いが、本記事ではこれらのベクトルを関数として考えてみる。
さて原点 O と2点 A(x0,y0),P(x,y) (x,y は変数) によって2つのベクトル →OA,→AP を
{→OA=(x0,y0)→AP=(x−x0,y−y0)
と定義する。するとベクトル →AP は動点 P(x,y) を終点にもつベクトル関数となる。このベクトル関数という表現は、2つの変数 x,y が独立変数（互いに関与しない変数）であっても良いが、当然これらの変数 x,y が関数 f(x,y)=0 という依存性を持っていても良いという意味である。つまりベクトルを成す成分が関数であることもあるということである。今は一旦は2つの変数 x,y の依存性を考慮せずに考えていこう。
円の接線と法線ベクトル
2つのベクトル →OA,→AP が直交するときには内積(1)式を計算すると
→OA⋅→AP=0∴x0(x−x0)+y0(y−y0)=0∴x0x+y0y=x20+y20
となる。得られた(3)式は2つの変数 x,y が満たすべき関係式であり、右辺はベクトル →OA の大きさを表している。左辺は当然ながら2つのベクトル →OA,→OP の内積となっている。よってこの大きさを r と置くと、(3)式は
x0x+y0y=r2∴→OA⋅→OP=|→OA|2
と書き表される。この r とは定点 A(x0,y0) の距離とも解釈できる。ところで(3)式の右辺を
x20+y20=|→OA|2=r2
と置いたが、 r2=Const. を満たすように2つの変数 s,t を用いて
s2+t2=r2
と置くと、(5)式は原点を O とする半径 r の円となる。
よって(4)式で表現される式とは方程式
x2+y2=r2
で表現される原点 O を中心とする半径 r の円周上の点 A(x0,y0) における接線の方程式
x0x+y0y=r2
であることが分かる。これは原点 O を中心としているが、2点 A(x0,y0),P(x,y) 以外の任意の点 B(a,b) を中心とするのであれば、(4)式は
→BA⋅→BP=|→BA|2∴(x0−a)(x−a)+(y0−b)(y−b)=r2
のように表される。
(4)、(6)式は点 P(x,y) が満たすべき直線の方程式である。このとき2つのベクトル →OA,→BA はそれぞれの直線に対しての法線ベクトルとなる。つまり直線の方程式
ax+by=c
について、この直線の法線ベクトル →n の1つは →n=(a,b) なのである。
曲面の法線ベクトルと接平面の解析
曲面と曲線の方程式
そこで(1)式
→OA⋅→AP=0
のベクトル →OA を形成する変数 x,y が関数 z=f(x,y) を用いて f(x,y)=0 という依存性を持っているような場合について考えてみる。つまり今まで考えてきた定点 A(x0,y0) の各成分を変数 x,y とするのである。ここで関数 z=f(x,y) とは変数 z を2変数で表現している。このことから3次元ユークリッド空間におけるデカルト座標系 (x,y,z) では、関数 z=f(x,y) で定義される z は曲面を表す。よって f(x,y)=0 で表現される図形とは、 z=f(x,y) を z=0 の平面（つまり xy 平面）で切り取った図形となるのだ。
例えば曲面
z=f(x,y)=x2+y2
を z=4 の平面で切り取ると、この平面上では曲面 z は原点を中心とする半径2の円となる。もしくはこの関数 f(x,y) を z 方向に-4だけ平行移動させたもの
z−(−4)=f(x,y)∴z=x2+y2−4
を平面 z=0 で切り取った場合と考えても良い。
接平面を成す接ベクトルの基底
それでは曲面 z=f(x,y) のある点 A(x,y) についてベクトル →OA に直交する接平面 α を考えよう。この接平面 α 上に含まれるベクトル →AP について考えることは、 xy 平面では接ベクトル →AP を考えることに該当する。
接平面 α 上に含まれるベクトル →AP は平面上のベクトルであるから、2つの基底により表現することが可能である。そこで接平面 α 上にある2つの基底 ⟨eu,ev⟩ を用いて
→AP=ueu+vev
のように表すことにする。
ここで任意のベクトル →AP は単一の単位ベクトル eα(u,v) によって
→AP=teα(u,v)
と表されることに注意する。ただし単位ベクトル eα(u,v) は
eα(u,v)=1√u2+v2(ueu+vev)
として書き表され、変数 u,v の取りうる値によって変化する。これは当たり前のことではあるが、ベクトル →AP は接平面 α 上に含まれることから、2つの変数 u,v の値が定まれば t はベクトル →AP の方向ベクトルを常に一定の向きにさせるような値を取る（つまり2つの変数 u,v に依存しない定数となる）。
ここで(9)式から接平面 α 上のベクトル →AP を成す単位ベクトル eα(u,v) とは、
eα(u,v)=1√u2+v2(ueu+vev)∴eα(l;u,v)=l(u,v)el(u,v)
のように2つの変数 u,v に依存する関数 l(u,v) と、接平面 α 上のベクトル →AP=(u,v) における方向ベクトル el(u,v)=⟨eu,ev⟩ とで分離することができる。後者で単位ベクトル eα(l;u,v) の方向を定め、前者で規格化をしているのである。
曲面を介したベクトルの解析
次に関数 z=f(x,y) で表される曲面について考える。今までの考察から接平面 α 上の点 →OP はこの曲面上の点 →OA を介して
→OP=→OA+→AP→OP=(xex+yey)+t(lel(u,v))
と表現される。ここで注意したいのは2つのベクトル →OA,→AP の単位ベクトルは独立であるということである。これは定義(1)式
→OA⋅→AP=0
により明らかである。そのためベクトル →OA は単純に単位ベクトル
ef(x,y)=1√x2+y2(xex+yey)
を用いて
→OA=ref(x,y)
と表すと、ベクトル →OP は
→OP=ref(x,y)+teα(l;u,v)=(r,t)
のように正規直交基底 ⟨ef(x,y),eα(l;u,v)⟩ を用いることで2次元で表現することができるのである。よってベクトル →OA は l(u,v);u,v に依存しないことから
df(x,y)dl=0
或いは
∂f(x,y)∂u+∂f(x,y)∂v=0
となる。特に後者の式は微分作用素
∇u,v:=∂∂ueu+∂∂vev
を用いて
∂f(x,y)∂u+∂f(x,y)∂v=∂f(x,y)∂u(eu⋅eu)+∂f(x,y)∂v(ev⋅ev)=(∂∂ueu+∂∂vev)f(x,y)⋅(eu+ev)=0∴∇u,vf(x,y)⋅l(1,1)el(1,1)=0∴∇u,vf(x,y)⋅eα(l;1,1)=0
となる。ただし
eα(l;1,1)=l(1,1)el(1,1)
とした (u,v=1) 。よって z=f(x,y) で表現される曲面の勾配 ∇f(x,y) は(13)式より接平面 α に垂直なベクトル（法線ベクトル）になる。特に
z=f(x,y)=c
のように z が定数 c と置かれる場合には、曲面 z=f(x,y) は曲線となり、法線ベクトルは xy 平面上にあるのだ。従って右辺を0に置き直した曲線 f(x,y)=0 の勾配 ∇f(x,y) は曲線 f(x,y)=0 の法線ベクトルを得る。
最後に
本記事では勾配 ∇f(x,y) が曲面、曲線の法線ベクトルとなることを数式を交えて解説した。そのために接平面 α を成す基底を定義したりとかなり抽象的な内容であったのかもしれない。本記事では3次元ユークリッド空間で議論しているが、この考え方は多次元にも適用される。その場合には上手い具合に各基底を多変数に依存するように定義してあげれば、超曲面上のベクトル →OA と超接平面 α 上のベクトル →AP を考えることになるが、結局基底による議論なので本記事での議論に帰着するのだ。
コメント