ジューコフスキー変換へんかん-講義こうぎ

date2026-04-20descriptionジューコフスキー変換を、円を解きやすい標準領域から翼型へ移すための等角写像として説明し、臨界点が尖点を生む理由まで導出する講義である。prerequisites複素解析の入口 / 複素積分の基本 / 複素数と複素平面type講義statusactive

mathanalysiscomplex-analysisundergraduatelecture

導入どうにゅう

この講義こうぎの核心かくしんは、ジューコフスキー変換へんかんを公式こうしきとして暗記あんきするのでなく、円えんの外部がいぶという解ときやすい領域りょういきを、翼型よくがたの外部がいぶという工学的こうがくてきに重要じゅうような領域りょういきへ移うつすための写像しゃぞうとして理解りかいすることにある。

複素解析ふくそかいせきでは、複雑ふくざつな領域りょういきをそのまま扱あつかうのではなく、正則写像せいそくしゃぞうで標準領域ひょうじゅんりょういきへ移うつし、そこで計算けいさんした結果けっかを戻もどす発想はっそうが重要じゅうようである。ジューコフスキー変換へんかんは、この発想はっそうが幾何きかと流体力学りゅうたいりきがくに接続せつぞくする代表例だいひょうれいである。

data/lecture/math/analysis/複素解析の入口-講義.n.md

用語ようごと定義ていぎ

ジューコフスキー変換へんかんとは、典型的てんけいてきには

J (z) = z + \frac{1}{z}

で定義ていぎされる複素関数ふくそかんすうである。文献ぶんけんによっては

ζ = \frac{1}{2} (z + \frac{1}{z})

を用もちいる。係数けいすう $\frac{1}{2}$ は全体ぜんたいの拡大縮小かくだいしゅくしょうを変かえるだけであり、写像しゃぞうの本質ほんしつは同一どういつである。

等角写像とうかくしゃぞうConformal map とは、局所的きょくしょてきに角度かくどを保たもつ写像しゃぞうである。正則せいそくかつ導関数どうかんすうが 0 でない点てんでは、複素関数ふくそかんすうは等角写像とうかくしゃぞうとして作用さようする。

方針ほうしん

考察こうさつする順序じゅんじょは次つぎの通とおりである。

$J (z) = z + \frac{1}{z}$ が円えんをどう変形へんけいするかを計算けいさんする
導関数どうかんすう $J^{'} (z)$ から、等角性とうかくせいが壊こわれる点てんを確認かくにんする
中心ちゅうしんをずらした円えんを臨界点りんかいてんへ通とおすと、なぜ尖点せんてんが発生はっせいするかを局所展開きょくしょてんかいで確認かくにんする
円柱えんちゅうまわりの流ながれを翼型よくがたまわりの流ながれへ移うつす構造こうぞうを整理せいりする

直感的ちょっかんてきな説明せつめい

$z$ と $\frac{1}{z}$ を足たす形かたちは、点てん $z$ と、その反転はんてん $\frac{1}{z}$ を同時どうじに参照さんしょうする形かたちである。半径はんけい $r$ の円えんを $z = r e^{i θ}$ と表あらわすと、 $\frac{1}{z} = \frac{1}{r} e^{- i θ}$ であるから、半径はんけいの情報じょうほうと角度かくどの情報じょうほうが反対向はんたいむきに混まざる。

この混合こんごうにより、円周えんしゅうは楕円だえんに移うつる。単位円たんいえんだけは特別とくべつで、上下方向じょうげほうこうの成分せいぶんが相殺そうさいされ、実軸じつじくの線分せんぶんへ潰つぶれる。

さらに中心ちゅうしんを少すこしずらした円えんを使つかうと、像ぞうは楕円だえんから非対称ひたいしょうな形かたちへ変化へんかする。その円えんが $z = 1$ を通とおるように設定せっていすると、導関数どうかんすうが 0 になる点てんが境界きょうかいに乗のるため、像ぞうに鋭するどい尖点せんてんが現あらわれる。これが翼つばさの後縁こうえんを表現ひょうげんする数学的すうがくてき機構きこうである。

厳密げんみつな説明せつめい

1. 円えんが楕円だえんへ移うつる計算けいさん

$z = r e^{i θ}$ と置おく。ただし $r > 0$ とする。このとき

J (z) = r e^{i θ} + \frac{1}{r} e^{- i θ}

である。オイラーの公式こうしきから $e^{i θ} = \cos θ + i \sin θ$ 、 $e^{- i θ} = \cos θ - i \sin θ$ なので、

J (z) = (r + \frac{1}{r}) \cos θ + i (r - \frac{1}{r}) \sin θ

となる。像ぞうの実部じつぶを $x$ 、虚部きょぶを $y$ と書かけば、

x = (r + \frac{1}{r}) \cos θ, y = (r - \frac{1}{r}) \sin θ

である。したがって $r \neq 1$ では

\frac{x^{2}}{{(r + \frac{1}{r})}^{2}} + \frac{y^{2}}{{(r - \frac{1}{r})}^{2}} = 1

を得える。これは楕円だえんの方程式ほうていしきである。

$r = 1$ のときは $y = 0$ となり、 $x = 2 \cos θ$ であるから、単位円たんいえんは実軸じつじくの線分せんぶん $[- 2, 2]$ へ移うつる。

2. 等角性とうかくせいが壊こわれる点てん

$J$ の導関数どうかんすうは

J^{'} (z) = 1 - \frac{1}{z^{2}}

である。したがって

J^{'} (z) = 0 ⟺ z^{2} = 1 ⟺ z = \pm 1

となる。 $z = 0$ では $J$ そのものが定義ていぎされないため、除外じょがいする。結論けつろんとして、 $z = 0, \pm 1$ を避さけた領域りょういきでは、 $J$ は局所的きょくしょてきに等角写像とうかくしゃぞうとして作用さようする。

3. 尖点せんてんが発生はっせいする理由りゆう

$z = 1$ の近傍きんぼうを確認かくにんする。 $z = 1 + ε$ と置おくと、

\frac{1}{1 + ε} = 1 - ε + ε^{2} - ε^{3} + O (ε^{4})

である。したがって

J (1 + ε) = 1 + ε + \frac{1}{1 + ε} = 2 + ε^{2} - ε^{3} + O (ε^{4})

を得える。一次いちじの項こうが消滅しょうめつし、最初さいしょに効きく変化へんかが $ε^{2}$ になる。これは、境界きょうかいの近ちかい 2 方向ほうこうが像ぞうの同おなじ接線方向せっせんほうこうへ折おり込こまれることを意味いみする。この折込おりこみが尖点せんてんを生うむ。

このため、翼型よくがたを作つくる発想はっそうは、円えんをただ変形へんけいすることではない。臨界点りんかいてん $z = 1$ を境界きょうかいに置おき、像ぞうの後縁こうえんを尖とがらせることが本質ほんしつである。

4. 大域的たいいきてきには 1 対たい 1 でない

$J$ には

J (z) = J (\frac{1}{z})

という対称性たいしょうせいがある。したがって、全平面ぜんへいめんから $0$ を除のぞいた領域りょういきで 1 対たい 1 にはならない。

しかし、たとえば $| z | > 1$ の外部領域がいぶりょういきへ制限せいげんすれば、像ぞうを切断平面せつだんへいめんとして捉とらえることで等角写像とうかくしゃぞうとして使用しようできる。この逆写像ぎゃくしゃぞうを求もとめると

w = z + \frac{1}{z} ⟺ z^{2} - w z + 1 = 0

なので、

z = \frac{w \pm \sqrt{w^{2} - 4}}{2}

を得える。平方根へいほうこんが現あらわれるため、枝えだの選択せんたくと枝切えだぎりが必要ひつようになる。これは、局所的きょくしょてきには正則せいそくでも、大域的たいいきてきには逆写像ぎゃくしゃぞうの扱あつかいが繊細せんさいになる典型例てんけいれいである。

具体例ぐたいれい

円えん $| z | = 2$ を考かんがえる。このとき $r = 2$ なので、

x = \frac{5}{2} \cos θ, y = \frac{3}{2} \sin θ

である。したがって像ぞうは

\frac{x^{2}}{(5 / 2)^{2}} + \frac{y^{2}}{(3 / 2)^{2}} = 1

という楕円だえんになる。半径はんけいが 1 から離はなれるほど、縦方向たてほうこうの潰つぶれが弱よわまり、楕円だえんとしての厚あつみが増ます。

別べつの観点かんてん

幾何的きかてきな観点かんてん

ジューコフスキー変換へんかんは、円えんと放射線ほうしゃせんからなる極座標きょくざひょうの曲線族きょくせんぞくを、楕円だえんと双曲線そうきょくせんの曲線族きょくせんぞくへ移うつす変換へんかんとして理解りかいできる。この観点かんてんでは、式しき $z + \frac{1}{z}$ は図形ずけいを組くみ替かえる装置そうちである。

複素関数的ふくそかんすうてきな観点かんてん

$J^{'} (z) = 0$ となる点てんでは、正則写像せいそくしゃぞうが局所的きょくしょてきな回転かいてんと拡大かくだいとして作用さようするという性質せいしつが破綻はたんする。この破綻はたんを境界きょうかいに配置はいちすることで、滑なめらかな円えんから尖とがった境界きょうかいを生成せいせいできる。

流体力学りゅうたいりきがくへの接続せつぞく

二次元にじげんの非圧縮ひあっしゅく・非粘性ひねんせい・渦うずなしの流ながれでは、速度そくどポテンシャルと流線関数りゅうせんかんすうを組くみ合あわせた複素ふくそポテンシャルを用もちいることができる。このとき、円柱えんちゅうまわりの既知きちの流ながれを、等角写像とうかくしゃぞうで翼型よくがたまわりの流ながれへ移うつす戦略せんりゃくが成立せいりつする。

ただし、現実げんじつの流体りゅうたいには粘性ねんせいや剥離はくりが存在そんざいする。ジューコフスキー変換へんかんは理想流体りそうりゅうたいの解析的かいせきてきな模型もけいとして強力きょうりょくであるが、実験じっけんや数値流体すうちりゅうたいの代替だいたいそのものではない。

判定法はんていほう

円えんの外部がいぶ、線分せんぶんを切きった平面へいめん、楕円だえん、翼型よくがたが同時どうじに現あらわれる問題もんだいでは、ジューコフスキー変換へんかんを候補こうほにする。
境界きょうかいに鋭するどい点てんを作つくりたい問題もんだいでは、導関数どうかんすうが 0 になる臨界点りんかいてんを境界きょうかいへ置おく発想はっそうを確認かくにんする。
全平面ぜんへいめんで 1 対たい 1 の写像しゃぞうが必要ひつような問題もんだいでは、そのまま使用しようできない。領域りょういきの制限せいげんと枝えだの選択せんたくを確認かくにんする。

どこまで成なり立たつか

変換へんかん $J (z) = z + \frac{1}{z}$ は $z = 0$ を除のぞく領域りょういきで正則せいそくである。しかし、 $z = \pm 1$ では導関数どうかんすうが 0 になるため、等角性とうかくせいは成立せいりつしない。また、大域的たいいきてきには $z$ と $\frac{1}{z}$ を同一視どういつしする性質せいしつがあるため、領域りょういきを制限せいげんしないと逆写像ぎゃくしゃぞうを一価いっかに選えらべない。

流体力学りゅうたいりきがくで使用しようする場合ばあいも、非圧縮ひあっしゅく・非粘性ひねんせい・渦うずなしという理想化りそうかが前提ぜんていである。粘性ねんせいや乱流らんりゅうを主要しゅように扱あつかう場合ばあいには、この模型もけいだけでは不足ふそくする。

最終形さいしゅうけい

[PARSE ERROR: Undefined("Command(\"boxed\")")] J (z) = z + \frac{1}{z}

[PARSE ERROR: Undefined("Command(\"boxed\")")] J^{'} (z) = 1 - \frac{1}{z^{2}}, J^{'} (\pm 1) = 0

[PARSE ERROR: Undefined("Command(\"boxed\")")] z = r e^{i θ} \Rightarrow J (z) = (r + \frac{1}{r}) \cos θ + i (r - \frac{1}{r}) \sin θ

一言ひとことでいうと

ジューコフスキー変換へんかんとは、円えんを解析かいせきしやすい対象たいしょうとして保持ほじしつつ、臨界点りんかいてんを境界きょうかいに配置はいちすることで翼型よくがたの尖点せんてんを生成せいせいする複素解析ふくそかいせきの道具どうぐである。