Processing math: 100%

解析学

【大学数学】
座標変換とは?具体例を紹介しつつ説明

図形に関する問題は

xy-座標内で解く事にこだわらず、

逆を持つ写像で
別のuv-座標に移動し

図形を綺麗な形にしてからの方が
易しくなる事があります。

この際、

二つの座標の行き来に用いられる
写像を座標変換といい

有名なものは線形変換、極座標変換があります。

座標変換の定義から始めて
具体例でイメージを掴めるよう説明したいと思います。

定義

n次元における座標変換は次で定義されます。

座標変換(n次元)

写像

f:RnRn

が領域D⊂Rnの上で単射な時、座標変換という。

2次元の場合、写像は

f:R2R2

定義域をuv-平面
値域をxy-平面と名付けるなら

(x,y)=f(u,v)

の形でfは与えられます。

領域Dで単射より
fの定義域をDに制限した写像

f:Df(D)

は全単射、f(D)からDへの逆写像f-1が存在し

Dとf(D)の間をこれらの写像を通じて
行き来できる状況になっています。

なるべく綺麗な形のD(多くは長方形)、
適切なfを用意して

f(D)と問題になっている図形を等しくします。

Dとf(D)の各点はfで対応付いているため

uv-平面で解いた結果をxy-平面に還元できます。

この定義に加えて偏微分可能性を仮定し
ヤコビアンを計算できる様にする事も多いです。

具体例

2次元の座標変換の例を紹介して行きます。

平行移動

平行移動する座標変換は次で与えられます。

[xy]=[uv]+[ab]

対象の図形を原点に持って来れます。

拡大・縮小

拡大または縮小する座標変換は次で与えられます。

[xy]=α[uv](=[α00α][uv])

単位幅に揃えられます。

反転

横軸について鏡写しにする
座標変換は次で与えられます。

[xy]=[uv](=[1001][uv])

回転

反時計回りにθ回転する
座標変換は次で与えられます。

[xy]=[cosθsinθsinθcosθ][uv]

斜めになっている図形を整えられます。

角度θの軸についての反転

角度θの直線ℓを軸にした反転は次で与えられます。

[xy]=[cosθsinθsinθcosθ][1001][cosθsinθsinθcosθ][uv]

-θ回転が

[cos(θ)sin(θ)sin(θ)cos(θ)]=[cosθsinθsinθcosθ]

なので下図の通りに合成しています。

線形写像

線形写像

[xy]=[abcd][uv]

は行列式の値が0の時
単射であり座標変換として扱えます。

これは

=[abcd](u[10]+v[01])

=u[ac]+v[bd]

の様に書けるので

[10][01]

を単位ベクトルとする座標(通常の直交座標)

において(u, v)の位置に居た点が

[ac][bd]

を単位ベクトルとする座標の
(u, v)の位置に移動したと理解できます。

斜交座標と同じ考え方です。

正方形

{(u,v)|0<u<1,0<v<1}

をベクトル(a, c)、(b, d)で張られる平行四辺形に写します。

性質

線形写像で0は0に

[abcd][00]=[00]

また直線は直線に写ります。

[abcd](OA+tAB)

=[abcd]OA+t[abcd]AB

ベクトルAB≠0ならば単射より

[abcd]AB0

です。

アフィン写像用語

ここまでの平行移動、回転などの
座標変換fはすべて

f(x)=Ax+b

の形をしています。

この様な行列の掛け算または
ベクトルの足し算で表される写像を

アフィン写像と呼びます。

極座標変換

縦の長さ2πの長方形領域

{(r,θ)|0<r<a,0<θ<2π}

は極座標変換

[xy]=[rcosθrsinθ]

により円に近い図形

{(x,y)|x2+y2<a2}{(x,0)|0xa}

に写せます。

多重積分の変数変換に応用

この座標変換は円上での積分に便利です。

被積分関数を有界とすれば
境界上での積分値は0なので、

円に近い図形上の積分と
円上の積分は等しくなります。

ヤコビアンを通じて
長方形上の積分へと書き換えられ、

多重積分が容易になります。

まとめ

座標変換とは
図形についての問題を簡単にするテクニックです。

xy-座標において歪な形の図形も、

適切な単射な写像fを定めて

uv-座標で見直すと綺麗な形にできます。

その際(x, y)と(u, v)各点が
結び付いている必要があり、

紐づけを担うのがfと逆写像f-1です。

応用例としては
多重積分の変数変換で、

球上の積分には極座標変換

線形写像もヤコビアンと関連して
定理の証明に利用されます。

-解析学

S