Lock in $30 Savings on PRO—Offer Ends Soon! ⏳

2024年度春学期 応用数学(解析)第12回 複素関数・正則関数 (2024. 6. 27)

2024年度春学期 応用数学(解析)第12回 複素関数・正則関数 (2024. 6. 27)

関西大学総合情報学部 応用数学(解析)(担当・浅野晃)
http://racco.mikeneko.jp/Kougi/2024s/AMA/

Akira Asano

June 17, 2024
Tweet

More Decks by Akira Asano

Other Decks in Education

Transcript

  1. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1

    x4 + 1 dx 1 x 数直線を 実部 y 虚部 複素平面に拡張 z = x + yi こういう周C上で C C 1 z4 + 1 dz     を計算すると
  2. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 こんな積分は 4 まっとうには求められません。 そこで ∞ −∞ 1

    x4 + 1 dx 1 x 数直線を 実部 y 虚部 複素平面に拡張 z = x + yi こういう周C上で C C 1 z4 + 1 dz     を計算すると 上の積分も求まる
  3. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素数と複素関数 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 θ)
  4. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素数と複素関数 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 θ)
  5. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素数と複素関数 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 θ)
  6. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素数と複素関数 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 θ)
  7. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素数の指数関数(ふたたび) 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[オイラーの等式] ※本当は,級数をこんなふうに分けるのは   いつでもできるわけではありません💦💦
  8. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 (ところで)テイラー展開について 8 テイラー展開 f(x) = f(a) +

    f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと, 最初の位置 しか わからない f(a) 1階微分 がわかると,進む方向がわかる f′ (a) 2階微分 がわかると, 「進む方向の変化」がわかる f′ ′ (a) 定数関数 1次 関 数 2次関数 3次関数 3階微分 がわかると, 「『進む方向の変化』の変化」がわかる f′ ′ ′ (a) 関数 f(x) f(a) がすべてわかるなら,関数 の「行く末」はすべてわかる f(a), f′ (a), f′ ′ (a), …, f(n)(a), … f(x)
  9. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の微分 10 複素関数の微分の定義は,実関数と同様 f′(z) = df dz

    = lim ∆z→0 f(z + ∆z) − f(z) ∆z     複素関数 f(z) が,複素平面の領域 D で[正則] ただし,変数は複素平面上にあるのが,大きな違い
  10. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の微分 10 複素関数の微分の定義は,実関数と同様 → f(z) が D

    内のどこでも微分可能 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     複素関数 f(z) が,複素平面の領域 D で[正則] ただし,変数は複素平面上にあるのが,大きな違い
  11. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の微分 10 複素関数の微分の定義は,実関数と同様 → f(z) が D

    内のどこでも微分可能 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     複素関数 f(z) が,複素平面の領域 D で[正則] ただし,変数は複素平面上にあるのが,大きな違い
  12. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の微分 10 複素関数の微分の定義は,実関数と同様 → f(z) が D

    内のどこでも微分可能 f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     複素関数 f(z) が,複素平面の領域 D で[正則] ただし,変数は複素平面上にあるのが,大きな違い 複素平面上で微分可能とは?
  13. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z    
  14. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z    
  15. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z    
  16. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z    
  17. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     実軸 虚軸 z z + Δz
  18. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     実軸 虚軸 z z + Δz
  19. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     実軸 虚軸 z z + Δz
  20. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     実軸 虚軸 z z + Δz
  21. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     実軸 虚軸 z z + Δz どのように近づいても,極限値は同じ
  22. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素平面上での「微分可能」 11 複素関数 f(z) が,複素平面上のある点 z で微分可能とは

    複素平面上で z + Δz が z にどのように近づいても,極限値はひとつに定まる f′(z) = df dz = lim ∆z→0 f(z + ∆z) − f(z) ∆z     実軸 虚軸 z z + Δz どのように近づいても,極限値は同じ 正則関数は,「折り目のないぐにゃぐにゃの板」
  23. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数を図示すると 12 −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
  24. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則でない例 13 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
  25. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則でない例 13 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
  26. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 14 複素関数 f(z) が正則である必要十分条件は z =

    x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x
  27. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 14 複素関数 f(z) が正則である必要十分条件は z =

    x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x 実軸 虚軸 z = x + yi
  28. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 14 複素関数 f(z) が正則である必要十分条件は z =

    x + yi とするとき f(z) = u(x, y) + iv(x, y) と表せるなら ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ ∂u ∂x = ∂v ∂y かつ ∂u ∂y = − ∂v ∂x 実軸 虚軸 z = x + yi 極限をとるときにどのように近づいてもよいので
  29. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 14 複素関数 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 極限をとるときにどのように近づいてもよいので
  30. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 14 複素関数 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 極限をとるときにどのように近づいてもよいので
  31. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 14 複素関数 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 極限をとるときにどのように近づいてもよいので この2通りを考える
  32. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z)
  33. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を2通りの近づき方で表す f′ (z)
  34. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を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
  35. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を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
  36. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を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
  37. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を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
  38. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシー・リーマンの関係式 15 実軸 虚軸 z = x

    + yi (x + Δx) + yi x + (y + Δy)i この2通りの近づき方で極限値は等しいので を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 これらが実部・虚部とも等しい
  39. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実関数の積分 17 この面積を 求めたい 区切りを無限に細かく かつ分点の間隔の最大値→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)
  40. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実関数の積分 17 この面積を 求めたい 区切りを無限に細かく かつ分点の間隔の最大値→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)
  41. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の積分 18 積分区間だけでなく複素平面のどこを通って積分するか[経路]が重要 実軸 虚軸 経路C 経路を

    z = z(t) のように パラメータで表す t t t 経路の上に「板」が載っているイメージ (ただし「高さ」は複素数) z(ti) z(ti+1) ξi 「高さ」 f(ξi)
  42. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の積分 18 積分区間だけでなく複素平面のどこを通って積分するか[経路]が重要 実軸 虚軸 経路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))
  43. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 複素関数の積分 18 積分区間だけでなく複素平面のどこを通って積分するか[経路]が重要 実軸 虚軸 経路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 に沿った積分
  44. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 19 複素関数 f(z) が,領域 D での正則関数

    F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a)
  45. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 19 複素関数 f(z) が,領域 D での正則関数

    F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない
  46. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 f(z) が,領域 D での正則関数

    F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない
  47. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  48. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  49. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  50. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  51. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  52. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  53. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  54. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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
  55. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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 (合成関数の微分)
  56. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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 (合成関数の微分)
  57. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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)
  58. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 正則関数と積分 20 複素関数 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)
  59. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 閉曲線に沿った積分 21 複素関数 f(z) が,領域 D での正則関数

    F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない さっきの定理
  60. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 閉曲線に沿った積分 21 複素関数 f(z) が,領域 D での正則関数

    F(z) の微分なら 経路 C が両端 a, b を含めてすべて D 内にあれば F′(z) = f(z) ならば C f(z)dz = F(b) − F(a) 積分は経路に依存しない さっきの定理 ということは,
  61. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 閉曲線に沿った積分 21 複素関数 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 積分定  
  62. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 複素関数 f(z) が,領域 D での正則関数

    F(z) の微分で 経路 C が, D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定    
  63. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 f(z) が,領域 D

    での正則関数 F(z) の微分で 経路 C が, D 内にある単純閉曲線ならば F′(z) = f(z) ならば 閉曲線に沿った積分 ず C f(z)dz = 0 積分定    
  64. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で
  65. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で
  66. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で
  67. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で [コーシーの積分定理]
  68. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で [コーシーの積分定理] 示唆しているのは
  69. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で [コーシーの積分定理] 示唆しているのは 正則関数の微分は正則関数
  70. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で [コーシーの積分定理] 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる
  71. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で [コーシーの積分定理] 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる (証明の概略に,次回で少し触れます)
  72. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 での正則関数で [コーシーの積分定理] 示唆しているのは 正則関数の微分は正則関数 正則関数は何度でも微分できる 注: 「領域内で正則」であって, 「経路上で正則」ではない (証明の概略に,次回で少し触れます)
  73. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 22 実は 複素関数 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 閉曲線上の積分を表す 注: 「領域内で正則」であって, 「経路上で正則」ではない (証明の概略に,次回で少し触れます)
  74. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定      
  75. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy
  76. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数
  77. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       閉曲線 C 上での(線)積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数
  78. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       閉曲線 C 上での(線)積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数 閉曲線 C に囲まれた領域 D´ 内での(面)積分
  79. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       閉曲線 C 上での(線)積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数 閉曲線 C に囲まれた領域 D´ 内での(面)積分 線積分と面積分を交換
  80. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       閉曲線 C 上での(線)積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数 閉曲線 C に囲まれた領域 D´ 内での(面)積分 f(z) = u(x, y) + iv(x, y) として 線積分と面積分を交換
  81. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       閉曲線 C 上での(線)積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数 閉曲線 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) として 線積分と面積分を交換
  82. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 コーシーの積分定理 23 複素関数 f(z) が,領域 D での正則関数で

    経路 C が, D 内にある閉曲線ならば コーシーの積分定理 証明は,グリーンの定理で ず C f(z)dz = 0 積分定       閉曲線 C 上での(線)積分 C (Pdx + Qdy) = D′ ∂Q ∂x − ∂P ∂y dxdy 2次元関数 閉曲線 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) として 正則関数なので,コーシー・リーマンの 関係式よりどちらもゼロ 線積分と面積分を交換
  83. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題(1) 25 という関係をつかって, を指数関数で表してください。 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
  84. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題(2) 26 の加法定理 を 三角関数と指数関数の関係を使って導いてください。 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)
  85. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題(2) 27 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)
  86. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 次回に向けて 29 −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 正則でない点を囲んで積分したら?
  87. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 次回に向けて 29 −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 正則でない点を囲んで積分したら?
  88. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 次回に向けて 29 −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
  89. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 次回に向けて 29 −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
  90. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 次回に向けて 29 −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 積分は?
  91. 29 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 次回に向けて 29 −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 積分は? 正則でない「穴」によって決まる