複素解析

複素数から留数定理の応用まで、複素解析の基礎を体系的に学ぶコース。

依存関係グラフ

graph TD
  subgraph ch1["S1. 複素数と複素平面"]
    complex-number["複素数"]
    complex-number-basics["複素数と四則"]
    complex-arithmetic["複素数の四則演算"]
    complex-conjugate["複素共役"]
    complex-absolute-value["複素数の絶対値"]
    complex-plane["複素平面"]
    polar-form["極形式"]
    complex-line["複素平面における直線"]
    complex-circle["複素平面における円"]
    mobius-transformation["一次分数変換と円"]
    demoivre-formula["ドモアブルの公式"]
  end
  subgraph ch2["S2. 複素関数"]
    complex-function["複素関数"]
    linear-function["一次関数"]
    complex-function-visualization["複素関数の図示"]
    vector-valued-function["ベクトル値実関数との対比"]
    complex-continuity["複素関数の連続性"]
    polynomial-function["多項式函数"]
    rational-function["有理関数"]
    power-series-function["冪級数"]
    exponential-function["指数関数"]
    trigonometric-function["三角関数"]
    logarithm["対数関数"]
    power-function["冪乗函数"]
  end
  subgraph ch3["S3. 正則関数"]
    holomorphic-function["正則関数"]
    complex-derivative["微分係数と一次近似"]
    holomorphic-definition["正則関数の定義"]
    linear-approximation["一次近似"]
    holomorphic-examples["正則関数の例"]
    cauchy-riemann["コーシーリーマンの方程式"]
    elementary-holomorphic["初等関数の正則性"]
    conformal-mapping["等角性"]
    harmonic-function["調和関数"]
  end
  subgraph ch4["S4. 線積分"]
    contour-integral["線積分"]
    contour-integral-definition["線積分の定義"]
    contour-integral-properties["線積分の基本的な性質"]
    complex-integral-properties["複素線積分の基本的な性質"]
    contour-integral-examples["線積分の計算例"]
  end
  subgraph ch5["S5. コーシーの積分定理"]
    cauchy-integral-theorem["コーシーの積分定理"]
    primitive-function["原始関数の存在と閉曲線での線積分"]
    cauchy-rectangle["長方形に対するコーシーの積分定理"]
    cauchy-disk["円板上正則な関数の原始関数の存在"]
    cauchy-star-domain["星形領域上正則な関数の原始関数の存在"]
    curve-deformation["曲線の連続変形と線積分"]
    simply-connected["単連結領域でのコーシーの積分定理"]
    cauchy-theorem-general["一般的なコーシーの積分定理"]
    cauchy-theorem-computation["コーシーの積分定理を用いた積分計算"]
  end
  subgraph ch6["S6. コーシーの積分公式"]
    cauchy-integral-formula["コーシーの積分公式"]
    cauchy-formula-statement["コーシーの積分公式"]
    derivative-integral-representation["微分係数の積分表示と正則関数の解析性"]
    cauchy-formula-applications["積分計算への応用"]
  end
  subgraph ch7["S7. 冪級数"]
    power-series["冪級数"]
    convergence-radius["冪級数の収束半径"]
    uniform-convergence["広義一様収束"]
    term-by-term["冪級数の項別微分と項別積分"]
    identity-theorem-power-series["冪級数で定まる関数の一致の定理"]
    identity-theorem["一致の定理"]
    power-series-expansion["正則関数の冪級数展開"]
    elementary-power-series["初等関数のべき級数展開"]
    identity-theorem-continuation["一致の定理と解析接続"]
    analytic-continuation["解析接続"]
    gamma-function["ガンマ関数"]
  end
  subgraph ch8["S8. ローラン級数"]
    laurent-series["ローラン級数"]
    isolated-singularity["孤立特異点"]
    laurent-expansion["ローラン級数展開"]
    singularity-classification["孤立特異点の分類"]
    meromorphic-function["有理型関数"]
  end
  subgraph ch9["S9. 留数定理"]
    residue-theorem["留数定理"]
    residue-definition["留数とは"]
    residue-theorem-statement["留数定理"]
    argument-principle["偏角の原理"]
  end
  subgraph ch10["S10. 留数定理の応用"]
    application-of-residue-theorem["留数定理の応用"]
    trigonometric-integral["三角関数を含む定積分"]
    rational-integral["有理関数の無限区間上の定積分"]
    fourier-integral["フーリエ変換の計算例"]
    semicircle-residue["半周の留数"]
    multivalued-integral["多価関数を含む定積分"]
  end
  subgraph ch11["S11. リュービルの定理"]
    liouville-theorem["リュービルの定理"]
    maximum-principle["最大値の原理"]
    mean-value-property["平均値の性質"]
  end
  complex-number-basics --> complex-arithmetic
  complex-arithmetic --> complex-conjugate
  complex-conjugate --> complex-absolute-value
  complex-absolute-value --> complex-plane
  complex-plane --> polar-form
  complex-plane --> complex-line
  complex-plane --> complex-circle
  complex-circle --> mobius-transformation
  polar-form --> demoivre-formula
  complex-arithmetic --> linear-function
  complex-plane --> complex-function-visualization
  linear-function --> vector-valued-function
  complex-absolute-value --> vector-valued-function
  complex-absolute-value --> complex-continuity
  complex-arithmetic --> polynomial-function
  polynomial-function --> rational-function
  mobius-transformation --> rational-function
  complex-arithmetic --> power-series-function
  power-series-function --> exponential-function
  polar-form --> exponential-function
  exponential-function --> trigonometric-function
  exponential-function --> logarithm
  logarithm --> power-function
  complex-derivative --> holomorphic-definition
  complex-continuity --> holomorphic-definition
  holomorphic-definition --> linear-approximation
  linear-approximation --> holomorphic-examples
  rational-function --> holomorphic-examples
  holomorphic-examples --> cauchy-riemann
  holomorphic-examples --> elementary-holomorphic
  trigonometric-function --> elementary-holomorphic
  logarithm --> elementary-holomorphic
  linear-approximation --> conformal-mapping
  polar-form --> conformal-mapping
  cauchy-riemann --> harmonic-function
  complex-continuity --> contour-integral-definition
  contour-integral-definition --> contour-integral-properties
  contour-integral-properties --> complex-integral-properties
  exponential-function --> complex-integral-properties
  contour-integral-properties --> contour-integral-examples
  exponential-function --> contour-integral-examples
  contour-integral-definition --> primitive-function
  holomorphic-definition --> primitive-function
  primitive-function --> cauchy-rectangle
  linear-approximation --> cauchy-rectangle
  contour-integral-properties --> cauchy-rectangle
  cauchy-rectangle --> cauchy-disk
  cauchy-riemann --> cauchy-disk
  cauchy-disk --> cauchy-star-domain
  contour-integral-definition --> curve-deformation
  curve-deformation --> simply-connected
  contour-integral-definition --> cauchy-theorem-general
  holomorphic-definition --> cauchy-theorem-general
  cauchy-theorem-general --> cauchy-theorem-computation
  contour-integral-examples --> cauchy-theorem-computation
  contour-integral-properties --> cauchy-formula-statement
  cauchy-theorem-general --> cauchy-formula-statement
  curve-deformation --> cauchy-formula-statement
  exponential-function --> cauchy-formula-statement
  cauchy-formula-statement --> derivative-integral-representation
  uniform-convergence --> derivative-integral-representation
  cauchy-formula-statement --> cauchy-formula-applications
  trigonometric-function --> cauchy-formula-applications
  power-series-function --> convergence-radius
  complex-absolute-value --> convergence-radius
  convergence-radius --> uniform-convergence
  uniform-convergence --> term-by-term
  complex-derivative --> term-by-term
  term-by-term --> identity-theorem-power-series
  identity-theorem-power-series --> identity-theorem
  power-series-expansion --> identity-theorem
  derivative-integral-representation --> power-series-expansion
  power-series-expansion --> elementary-power-series
  term-by-term --> elementary-power-series
  trigonometric-function --> elementary-power-series
  power-function --> elementary-power-series
  identity-theorem --> identity-theorem-continuation
  identity-theorem --> analytic-continuation
  analytic-continuation --> gamma-function
  holomorphic-definition --> isolated-singularity
  logarithm --> isolated-singularity
  isolated-singularity --> laurent-expansion
  power-series-expansion --> laurent-expansion
  laurent-expansion --> singularity-classification
  singularity-classification --> meromorphic-function
  rational-function --> meromorphic-function
  laurent-expansion --> residue-definition
  cauchy-disk --> residue-definition
  residue-definition --> residue-theorem-statement
  residue-theorem-statement --> argument-principle
  meromorphic-function --> argument-principle
  residue-theorem-statement --> trigonometric-integral
  trigonometric-function --> trigonometric-integral
  residue-theorem-statement --> rational-integral
  residue-theorem-statement --> fourier-integral
  residue-definition --> semicircle-residue
  residue-theorem-statement --> multivalued-integral
  power-function --> multivalued-integral
  gamma-function --> multivalued-integral
  cauchy-riemann --> maximum-principle
  identity-theorem --> maximum-principle
  cauchy-formula-statement --> mean-value-property
  click complex-number "/notes/complex-number/"
  click complex-number-basics "/notes/complex-number-basics/"
  click complex-arithmetic "/notes/complex-arithmetic/"
  click complex-conjugate "/notes/complex-conjugate/"
  click complex-absolute-value "/notes/complex-absolute-value/"
  click complex-plane "/notes/complex-plane/"
  click polar-form "/notes/polar-form/"
  click complex-line "/notes/complex-line/"
  click complex-circle "/notes/complex-circle/"
  click mobius-transformation "/notes/mobius-transformation/"
  click demoivre-formula "/notes/demoivre-formula/"
  click complex-function "/notes/complex-function/"
  click linear-function "/notes/linear-function/"
  click complex-function-visualization "/notes/complex-function-visualization/"
  click vector-valued-function "/notes/vector-valued-function/"
  click complex-continuity "/notes/complex-continuity/"
  click polynomial-function "/notes/polynomial-function/"
  click rational-function "/notes/rational-function/"
  click power-series-function "/notes/power-series-function/"
  click exponential-function "/notes/exponential-function/"
  click trigonometric-function "/notes/trigonometric-function/"
  click logarithm "/notes/logarithm/"
  click power-function "/notes/power-function/"
  click holomorphic-function "/notes/holomorphic-function/"
  click complex-derivative "/notes/complex-derivative/"
  click holomorphic-definition "/notes/holomorphic-definition/"
  click linear-approximation "/notes/linear-approximation/"
  click holomorphic-examples "/notes/holomorphic-examples/"
  click cauchy-riemann "/notes/cauchy-riemann/"
  click elementary-holomorphic "/notes/elementary-holomorphic/"
  click conformal-mapping "/notes/conformal-mapping/"
  click harmonic-function "/notes/harmonic-function/"
  click contour-integral "/notes/contour-integral/"
  click contour-integral-definition "/notes/contour-integral-definition/"
  click contour-integral-properties "/notes/contour-integral-properties/"
  click complex-integral-properties "/notes/complex-integral-properties/"
  click contour-integral-examples "/notes/contour-integral-examples/"
  click cauchy-integral-theorem "/notes/cauchy-integral-theorem/"
  click primitive-function "/notes/primitive-function/"
  click cauchy-rectangle "/notes/cauchy-rectangle/"
  click cauchy-disk "/notes/cauchy-disk/"
  click cauchy-star-domain "/notes/cauchy-star-domain/"
  click curve-deformation "/notes/curve-deformation/"
  click simply-connected "/notes/simply-connected/"
  click cauchy-theorem-general "/notes/cauchy-theorem-general/"
  click cauchy-theorem-computation "/notes/cauchy-theorem-computation/"
  click cauchy-integral-formula "/notes/cauchy-integral-formula/"
  click cauchy-formula-statement "/notes/cauchy-formula-statement/"
  click derivative-integral-representation "/notes/derivative-integral-representation/"
  click cauchy-formula-applications "/notes/cauchy-formula-applications/"
  click power-series "/notes/power-series/"
  click convergence-radius "/notes/convergence-radius/"
  click uniform-convergence "/notes/uniform-convergence/"
  click term-by-term "/notes/term-by-term/"
  click identity-theorem-power-series "/notes/identity-theorem-power-series/"
  click identity-theorem "/notes/identity-theorem/"
  click power-series-expansion "/notes/power-series-expansion/"
  click elementary-power-series "/notes/elementary-power-series/"
  click identity-theorem-continuation "/notes/identity-theorem-continuation/"
  click analytic-continuation "/notes/analytic-continuation/"
  click gamma-function "/notes/gamma-function/"
  click laurent-series "/notes/laurent-series/"
  click isolated-singularity "/notes/isolated-singularity/"
  click laurent-expansion "/notes/laurent-expansion/"
  click singularity-classification "/notes/singularity-classification/"
  click meromorphic-function "/notes/meromorphic-function/"
  click residue-theorem "/notes/residue-theorem/"
  click residue-definition "/notes/residue-definition/"
  click residue-theorem-statement "/notes/residue-theorem-statement/"
  click argument-principle "/notes/argument-principle/"
  click application-of-residue-theorem "/notes/application-of-residue-theorem/"
  click trigonometric-integral "/notes/trigonometric-integral/"
  click rational-integral "/notes/rational-integral/"
  click fourier-integral "/notes/fourier-integral/"
  click semicircle-residue "/notes/semicircle-residue/"
  click multivalued-integral "/notes/multivalued-integral/"
  click liouville-theorem "/notes/liouville-theorem/"
  click maximum-principle "/notes/maximum-principle/"
  click mean-value-property "/notes/mean-value-property/"

1 S1. 複素数と複素平面

  1. 複素数と複素平面
  2. 複素数と四則
  3. 複素数の四則演算
  4. 複素共役
  5. 複素数の絶対値
  6. 複素平面
  7. 極形式
  8. 複素平面における直線
  9. 複素平面における円
  10. 一次分数変換と円
  11. ドモアブルの公式

2 S2. 複素関数

  1. 複素関数
  2. 一次関数
  3. 複素関数の図示
  4. ベクトル値実関数との対比
  5. 複素関数の連続性
  6. 多項式函数
  7. 有理関数
  8. 冪級数
  9. 指数関数
  10. 三角関数
  11. 対数関数
  12. 冪乗函数

3 S3. 正則関数

  1. 正則関数
  2. 微分係数と一次近似
  3. 正則関数の定義
  4. 一次近似
  5. 正則関数の例
  6. コーシーリーマンの方程式
  7. 初等関数の正則性
  8. 等角性
  9. 調和関数

4 S4. 線積分

  1. 線積分
  2. 線積分の定義
  3. 線積分の基本的な性質
  4. 複素線積分の基本的な性質
  5. 線積分の計算例

5 S5. コーシーの積分定理

  1. コーシーの積分定理
  2. 原始関数の存在と閉曲線での線積分
  3. 長方形に対するコーシーの積分定理
  4. 円板上正則な関数の原始関数の存在
  5. 星形領域上正則な関数の原始関数の存在
  6. 曲線の連続変形と線積分
  7. 単連結領域でのコーシーの積分定理
  8. 一般的なコーシーの積分定理
  9. コーシーの積分定理を用いた積分計算

6 S6. コーシーの積分公式

  1. コーシーの積分公式
  2. コーシーの積分公式
  3. 微分係数の積分表示と正則関数の解析性
  4. 積分計算への応用

7 S7. 冪級数

  1. 冪級数
  2. 冪級数の収束半径
  3. 広義一様収束
  4. 冪級数の項別微分と項別積分
  5. 冪級数で定まる関数の一致の定理
  6. 一致の定理
  7. 正則関数の冪級数展開
  8. 初等関数のべき級数展開
  9. 一致の定理と解析接続
  10. 解析接続
  11. ガンマ関数

8 S8. ローラン級数

  1. ローラン級数
  2. 孤立特異点
  3. ローラン級数展開
  4. 孤立特異点の分類
  5. 有理型関数

9 S9. 留数定理

  1. 留数定理
  2. 留数とは
  3. 留数定理
  4. 偏角の原理

10 S10. 留数定理の応用

  1. 留数定理の応用
  2. 三角関数を含む定積分
  3. 有理関数の無限区間上の定積分
  4. フーリエ変換の計算例
  5. 半周の留数
  6. 多価関数を含む定積分

11 S11. リュービルの定理

  1. リュービルの定理
  2. 最大値の原理
  3. 平均値の性質