2025年度秋学期 応用数学（解析） 第12回 複素関数論ダイジェスト(1) 複素関数・正則関数 (2025. 12. 12)

関西大学総合情報学部　応用数学（解析）（担当・浅野晃）
http://racco.mikeneko.jp/Kougi/2025a/AMA/

Transcript

1. 応用数学（解析） 2025年度秋学期 関西大学総合情報学部 浅野　晃 第4部・「その先の解析学」への導入 ／ 第12回 複素関数論ダイジェスト(1) 複素関数・正則関数
2. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 応用数学（解析）は 2 ここから先の”「その先の解析学」への導入”は， 「ちょっとかっこいい数学」への入口です 複素関数論ダイジェスト（2回） 測度論ダイジェスト（2回） 本来は，それぞれ半期15回をかけて学ぶ科目です🎓🎓 ここでは，「雰囲気💭💭」を説明します
4. 「複素関数」で いったい何をやろうというのか🤔🤔
5. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 ∞ −∞ 1 x4 + 1 dx 1
6. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1
7. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を
8. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を y
9. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を y 複素平面に拡張
10. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を 実部 y 虚部 複素平面に拡張 z = x + yi
11. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を 実部 y 虚部 複素平面に拡張 z = x + yi こういう周C上で C
12. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を 実部 y 虚部 複素平面に拡張 z = x + yi こういう周C上で C C 1 z4 + 1 dz 　 　 を計算すると
13. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1 x4 + 1 dx 1 x 数直線を 実部 y 虚部 複素平面に拡張 z = x + yi こういう周C上で C C 1 z4 + 1 dz 　 　 を計算すると 上の積分も求まる
15. 複素数と複素関数🤔🤔
16. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1
17. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1
18. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面
19. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 x y
20. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 x y ・ z = x + yi
21. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 x y ・ z = x + yi x
22. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 x y ・ z = x + yi x y
23. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y
24. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r
25. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ
26. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ r cosθ
27. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ r cosθ r sinθ
28. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ r cosθ r sinθ z = r(cos θ + i sin θ)
29. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ r cosθ r sinθ ［絶対値］ z = r(cos θ + i sin θ)
30. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ r cosθ r sinθ ［絶対値］ ［偏角］ z = r(cos θ + i sin θ)
31. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数と複素関数 6 複素数で定義された関数が［複素関数］ 複素数 虚部 実部 z = x + yi （ は実数， ） x, y i = −1 複素平面 実軸 x y 虚軸 ・ z = x + yi x y r θ r cosθ r sinθ ［絶対値］ ［偏角］ 複素数には大小はない 絶対値の大小がある z = r(cos θ + i sin θ)
32. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数の指数関数（ふたたび） 7 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) cosθ のテイラー展開 sinθ のテイラー展開 よって eiθ = cos θ + i sin θ θ = π のとき eiπ + 1 = 0［オイラーの等式］ ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦 は と書ける z = r(cos θ + i sin θ) z = reiθ
33. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素数の指数関数（ふたたび） 7 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) cosθ のテイラー展開 sinθ のテイラー展開 よって eiθ = cos θ + i sin θ θ = π のとき eiπ + 1 = 0［オイラーの等式］ ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦 z = r(cos θ + i sin θ) は と書ける z = r(cos θ + i sin θ) z = reiθ
35. 複素関数と微分 正則関数
36. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　
37. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 ただし，変数は複素平面上にあるのが，大きな違い
38. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 ただし，変数は複素平面上にあるのが，大きな違い
39. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 複素関数 f(z) が，複素平面の領域 D で［正則］ ただし，変数は複素平面上にあるのが，大きな違い
40. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 → f(z) が D 内のどこでも微分可能 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 複素関数 f(z) が，複素平面の領域 D で［正則］ ただし，変数は複素平面上にあるのが，大きな違い
41. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 → f(z) が D 内のどこでも微分可能 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 複素関数 f(z) が，複素平面の領域 D で［正則］ ただし，変数は複素平面上にあるのが，大きな違い
42. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の微分 9 複素関数の微分の定義は，実関数と同様 → f(z) が D 内のどこでも微分可能 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 複素関数 f(z) が，複素平面の領域 D で［正則］ ただし，変数は複素平面上にあるのが，大きな違い 複素平面上で微分可能とは？
43. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　
44. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　
45. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　
46. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　
47. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　
48. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 実軸 虚軸 z z + Δz
49. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 実軸 虚軸 z z + Δz
50. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 実軸 虚軸 z z + Δz
51. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 実軸 虚軸 z z + Δz
52. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 実軸 虚軸 z z + Δz どのように近づいても，極限値は同じ
53. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素平面上での「微分可能」 10 複素関数 f(z) が，複素平面上のある点 z で微分可能とは 複素平面上で z + Δz が z にどのように近づいても，極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z 　 　 実軸 虚軸 z z + Δz どのように近づいても，極限値は同じ 正則関数は，「折り目のないぐにゃぐにゃの板」
54. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数を図示すると 11 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 f(z) = z 実軸 虚軸 f(z)の実部 色： f(z)の虚部 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 f(z) = z3 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez MATLABで描画 参考：http://jp.mathworks.com/help/matlab/examples/functions-of-complex-variables.html
55. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則でない例 12 f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 MATLABで描画 参考：http://jp.mathworks.com/help/matlab/examples/functions-of-complex-variables.html
56. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則でない例 12 f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 こういう「穴」が問題になる MATLABで描画 参考：http://jp.mathworks.com/help/matlab/examples/functions-of-complex-variables.html
57. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 13 複素関数 f(z) が正則である必要十分条件は z = x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x
58. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 13 複素関数 f(z) が正則である必要十分条件は z = x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x 実軸 虚軸 z = x + yi
59. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 13 複素関数 f(z) が正則である必要十分条件は z = x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x 実軸 虚軸 z = x + yi 極限をとるときにどのように近づいてもよいので
60. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 13 複素関数 f(z) が正則である必要十分条件は z = x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x x + (y + Δy)i 実軸 虚軸 z = x + yi 極限をとるときにどのように近づいてもよいので
61. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 13 複素関数 f(z) が正則である必要十分条件は z = x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら (x + Δx) + yi ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x x + (y + Δy)i 実軸 虚軸 z = x + yi 極限をとるときにどのように近づいてもよいので
62. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 13 複素関数 f(z) が正則である必要十分条件は z = x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら (x + Δx) + yi ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x x + (y + Δy)i 実軸 虚軸 z = x + yi 極限をとるときにどのように近づいてもよいので この２通りを考える
63. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z)
64. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z)
65. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z) f′(z) = lim ∆x→0 {u(x + ∆x, y) + iv(x + ∆x, y)} − {u(x, y) + iv(x, y)} ((x + ∆x) + yi) − (x + yi) = lim ∆x→0 u(x + ∆x, y) − u(x, y) ∆x + i lim ∆x→0 v(x + ∆x, y) − v(x, y) ∆x = ∂u ∂x + i ∂v ∂x
66. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z) f′(z) = lim ∆x→0 {u(x + ∆x, y) + iv(x + ∆x, y)} − {u(x, y) + iv(x, y)} ((x + ∆x) + yi) − (x + yi) = lim ∆x→0 u(x + ∆x, y) − u(x, y) ∆x + i lim ∆x→0 v(x + ∆x, y) − v(x, y) ∆x = ∂u ∂x + i ∂v ∂x
67. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z) f′(z) = lim ∆x→0 {u(x + ∆x, y) + iv(x + ∆x, y)} − {u(x, y) + iv(x, y)} ((x + ∆x) + yi) − (x + yi) = lim ∆x→0 u(x + ∆x, y) − u(x, y) ∆x + i lim ∆x→0 v(x + ∆x, y) − v(x, y) ∆x = ∂u ∂x + i ∂v ∂x f′(z) = lim ∆y→0 {u(x, y + ∆y) + iv(x, y + ∆y)} − {u(x, y) + iv(x, y)} (x + (y + ∆y)i) − (x + yi) = lim ∆y→0 u(x, y + ∆y) − u(x, y) i∆y + i lim ∆x→0 v(x, y + ∆y) − v(x, y) i∆y = −i lim ∆y→0 u(x, y + ∆y) − u(x, y) ∆y + lim ∆x→0 v(x, y + ∆y) − v(x, y) ∆y = ∂v ∂y − i ∂u ∂y
68. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z) f′(z) = lim ∆x→0 {u(x + ∆x, y) + iv(x + ∆x, y)} − {u(x, y) + iv(x, y)} ((x + ∆x) + yi) − (x + yi) = lim ∆x→0 u(x + ∆x, y) − u(x, y) ∆x + i lim ∆x→0 v(x + ∆x, y) − v(x, y) ∆x = ∂u ∂x + i ∂v ∂x f′(z) = lim ∆y→0 {u(x, y + ∆y) + iv(x, y + ∆y)} − {u(x, y) + iv(x, y)} (x + (y + ∆y)i) − (x + yi) = lim ∆y→0 u(x, y + ∆y) − u(x, y) i∆y + i lim ∆x→0 v(x, y + ∆y) − v(x, y) i∆y = −i lim ∆y→0 u(x, y + ∆y) − u(x, y) ∆y + lim ∆x→0 v(x, y + ∆y) − v(x, y) ∆y = ∂v ∂y − i ∂u ∂y
69. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシー・リーマンの関係式 14 実軸 虚軸 z = x + yi (x + Δx) + yi x + (y + Δy)i この２通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z) f′(z) = lim ∆x→0 {u(x + ∆x, y) + iv(x + ∆x, y)} − {u(x, y) + iv(x, y)} ((x + ∆x) + yi) − (x + yi) = lim ∆x→0 u(x + ∆x, y) − u(x, y) ∆x + i lim ∆x→0 v(x + ∆x, y) − v(x, y) ∆x = ∂u ∂x + i ∂v ∂x f′(z) = lim ∆y→0 {u(x, y + ∆y) + iv(x, y + ∆y)} − {u(x, y) + iv(x, y)} (x + (y + ∆y)i) − (x + yi) = lim ∆y→0 u(x, y + ∆y) − u(x, y) i∆y + i lim ∆x→0 v(x, y + ∆y) − v(x, y) i∆y = −i lim ∆y→0 u(x, y + ∆y) − u(x, y) ∆y + lim ∆x→0 v(x, y + ∆y) − v(x, y) ∆y = ∂v ∂y − i ∂u ∂y これらが実部・虚部とも等しい
71. 複素関数の積分
72. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x 長方形で近似 a b
73. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x x0 長方形で近似 a b xn
74. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x x0 長方形で近似 a b xn xi
75. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x x0 長方形で近似 a b xn xi xi+1
76. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x x0 長方形で近似 a b xn xi xi+1 ξi
77. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x x0 長方形で近似 高さ f(ξi) a b xn xi xi+1 ξi
78. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい … f(x) x f(x) x x0 長方形で近似 高さ f(ξi) a b xn xi xi+1 ξi ∞ n−1 i=0 f(ξi)(xi+1 − xi)
79. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい 区切りを無限に細かく かつ分点の間隔の最大値→0 … f(x) x f(x) x x0 長方形で近似 高さ f(ξi) a b xn xi xi+1 ξi ∞ n−1 i=0 f(ξi)(xi+1 − xi)
80. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい 区切りを無限に細かく かつ分点の間隔の最大値→0 … f(x) x f(x) x x0 長方形で近似 高さ f(ξi) a b xn xi xi+1 ξi ∞ n−1 i=0 f(ξi)(xi+1 − xi) b a f(x)dx = lim n→∞ n−1 i=0 f(ξi)(xi+1 − xi)
81. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実関数の積分 16 この面積を 求めたい 区切りを無限に細かく かつ分点の間隔の最大値→0 … f(x) x f(x) x x0 長方形で近似 高さ f(ξi) a b 実関数の積分 xn xi xi+1 ξi ∞ n−1 i=0 f(ξi)(xi+1 − xi) b a f(x)dx = lim n→∞ n−1 i=0 f(ξi)(xi+1 − xi)
82. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要
83. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C
84. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す
85. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t
86. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t
87. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t z(ti) z(ti+1)
88. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t z(ti) z(ti+1) ξi
89. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t 経路の上に「板」が載っているイメージ （ただし「高さ」は複素数） z(ti) z(ti+1) ξi
90. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t 経路の上に「板」が載っているイメージ （ただし「高さ」は複素数） z(ti) z(ti+1) ξi 「高さ」 f(ξi)
91. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t 経路の上に「板」が載っているイメージ （ただし「高さ」は複素数） z(ti) z(ti+1) ξi 「高さ」 f(ξi) C f(z)dz = lim n→∞ n−1 i=0 f(ξi)(z(ti+1) − z(ti))
92. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 複素関数の積分 17 積分区間だけでなく複素平面のどこを通って積分するか［経路］が重要 実軸 虚軸 経路C 経路を z = z(t) のように パラメータで表す t t t 経路の上に「板」が載っているイメージ （ただし「高さ」は複素数） z(ti) z(ti+1) ξi 「高さ」 f(ξi) C f(z)dz = lim n→∞ n−1 i=0 f(ξi)(z(ti+1) − z(ti)) f(z) の経路 C に沿った積分
93. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 18 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a)
94. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 18 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない
95. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない
96. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b
97. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
98. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
99. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
100. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
101. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
102. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
103. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b dF(z(t)) dt = dF(z(t)) dz dz(t) dt （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt
104. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b dF(z(t)) dt = dF(z(t)) dz dz(t) dt （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt （合成関数の微分）
105. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b dF(z(t)) dt = dF(z(t)) dz dz(t) dt （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt （合成関数の微分）
106. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b dF(z(t)) dt = dF(z(t)) dz dz(t) dt （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt （合成関数の微分） C f(z)dz = 1 0 dF(z(t)) dt dt = F(z(1)) − F(z(0)) = F(b) − F(a)
107. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 正則関数と積分 19 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない 経路C を z = z(t) で表す　両端は z(0) = a, z(1) = b dF(z(t)) dt = dF(z(t)) dz dz(t) dt （置換積分） C f(z)dz = 1 0 f(z(t)) dz(t) dt dt = 1 0 dF(z(t)) dz dz(t) dt dt （合成関数の微分） C f(z)dz = 1 0 dF(z(t)) dt dt = F(z(1)) − F(z(0)) = F(b) − F(a)
108. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 閉曲線に沿った積分 20 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない さっきの定理
109. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 閉曲線に沿った積分 20 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない さっきの定理 ということは，
110. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 閉曲線に沿った積分 20 複素関数 f(z) が，領域 D での正則関数 F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない さっきの定理 ということは， 経路 C が単純閉曲線なら，始点も終点も同じだから ず C f(z)dz = 0 積分定 　
111. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　
112. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　
113. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で
114. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で
115. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で
116. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］
117. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］ 示唆しているのは
118. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］ 示唆しているのは 正則関数の微分は正則関数
119. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］ 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる
120. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］ 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる （証明の概略に，次回で少し触れます）
121. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］ 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる 注： 「領域内で正則」であって， 「経路上で正則」ではない （証明の概略に，次回で少し触れます）
122. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 21 実は 複素関数 f(z) が，領域 D での正則関数 F(z) の微分で 経路 C が， D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定 　 　 経路 C が， D 内にある単純閉曲線ならば ず C f(z)dz = 0 積分定 　 複素関数 f(z) が，領域 D での正則関数で ［コーシーの積分定理］ 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる C f(z)dz 閉曲線上の積分を表す 注： 「領域内で正則」であって， 「経路上で正則」ではない （証明の概略に，次回で少し触れます）
123. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　
124. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy
125. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数
126. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 閉曲線 C 上での（線）積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数
127. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 閉曲線 C 上での（線）積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数 閉曲線 C に囲まれた領域 D´ 内での（面）積分
128. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 閉曲線 C 上での（線）積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数 閉曲線 C に囲まれた領域 D´ 内での（面）積分 線積分と面積分を交換
129. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 閉曲線 C 上での（線）積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数 閉曲線 C に囲まれた領域 D´ 内での（面）積分 f(z) = u(x, y) + iv(x, y) として 線積分と面積分を交換
130. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 閉曲線 C 上での（線）積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数 閉曲線 C に囲まれた領域 D´ 内での（面）積分 C f(z)dz = C {u(x, y) + iv(x, y)}(dx + idy) = C (udx − vdy) + i C (vdx + udy) = D′ − ∂v ∂x − ∂u ∂y dxdy + i D′ ∂u ∂x − ∂v ∂y dxdy f(z) = u(x, y) + iv(x, y) として 線積分と面積分を交換
131. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 コーシーの積分定理 22 複素関数 f(z) が，領域 D での正則関数で 経路 C が， D 内にある閉曲線ならば コーシーの積分定理 証明は，グリーンの定理で ず C f(z)dz = 0 積分定 　 　 　 閉曲線 C 上での（線）積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy ２次元関数 閉曲線 C に囲まれた領域 D´ 内での（面）積分 C f(z)dz = C {u(x, y) + iv(x, y)}(dx + idy) = C (udx − vdy) + i C (vdx + udy) = D′ − ∂v ∂x − ∂u ∂y dxdy + i D′ ∂u ∂x − ∂v ∂y dxdy f(z) = u(x, y) + iv(x, y) として 正則関数なので，コーシー・リーマンの 関係式よりどちらもゼロ 線積分と面積分を交換
133. 問題🌀🌀
134. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 問題(1) 24 という関係をつかって， を指数関数で表してください。 eiθ = cos θ + i sin θ sin θ, cos θ より eiθ = cos θ + i sin θ e−iθ = cos(−θ) + i sin(−θ) = cos θ − i sin θ だから， だから， eiθ + e−iθ = 2 cos θ cos θ = eiθ + e−iθ 2 eiθ − e−iθ = 2i sin θ sin θ = eiθ − e−iθ 2i
135. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 問題(2) 25 の加法定理 を 三角関数と指数関数の関係を使って導いてください。 sin sin(x + y) = sin x cos y + cos x sin y を指数関数で表すと sin x cos y + cos x sin y sin x cos y + cos x sin y = eix − e−ix 2i · eiy + e−iy 2 + eix + e−ix 2 · eiy − e−iy 2i = 1 4i (eix − e−ix)(eiy + e−iy) + (eix + e−ix)(eiy − e−iy)
136. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 問題(2) 26 sin x cos y + cos x sin y = eix − e−ix 2i · eiy + e−iy 2 + eix + e−ix 2 · eiy − e−iy 2i = 1 4i (eix − e−ix)(eiy + e−iy) + (eix + e−ix)(eiy − e−iy) 右辺を展開して整理すると sin x cos y + cos x sin y = 1 4i (ei(x+y) − e−i(x+y)) + (ei(x−y) − e−i(x−y)) + (ei(x+y) − e−i(x+y)) − (ei(x−y) − e−i(x−y)) = 1 4i 2(ei(x+y) − e−i(x+y)) = ei(x+y) − e−i(x+y) 2i = sin(x + y)
137. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 今日のまとめ 27 複素関数 　複素数の指数関数 　複素関数の微分→「正則関数」 　複素関数の積分（経路に沿った積分） コーシーの積分定理 領域内で正則な関数を， 領域内の閉曲線に沿って積分すると０
138. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 今日のまとめ 27 複素関数 　複素数の指数関数 　複素関数の微分→「正則関数」 　複素関数の積分（経路に沿った積分） コーシーの積分定理 領域内で正則な関数を， 領域内の閉曲線に沿って積分すると０ 正則でない点を囲んで積分したら？
139. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 次回に向けて 28 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 正則でない点を囲んで積分したら？
140. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 次回に向けて 28 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 正則でない点を囲んで積分したら？
141. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 次回に向けて 28 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 正則でない点を囲んで積分したら？ 積分は0
142. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 次回に向けて 28 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 正則でない点を囲んで積分したら？ 積分は0
143. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 次回に向けて 28 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 正則でない点を囲んで積分したら？ 積分は0 積分は？
144. 28 202５年度秋学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 次回に向けて 28 −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 0 0.5 1 1.5 2 2.5 3 f(z) = ez f(z) = 1 / z −1 −0.5 0 0.5 1 −1 −0.5 0 0.5 1 −20 −15 −10 −5 0 5 10 15 20 正則でない点を囲んで積分したら？ 積分は0 積分は？ 正則でない「穴」によって決まる