logo

複素解析における零点 📂複素解析

複素解析における零点

定義 1

αC\alpha \in \mathbb{C}が関数f:CCf : \mathbb{C} \to \mathbb{C}の**nn次のゼロ**zero of Order nnであることは、limzαg(z)0\displaystyle \lim_{z \to \alpha} g(z) \ne 0のある関数ggに対して、ffが次のように表されることと同等である。 f(z)=(zα)ng(z) f(z) = (z-\alpha)^{n} g(z)

定理

ゼロは孤立している:

  • ゼロの周りに他のゼロが存在しないような半径を取ることができる。
  • ffのゼロα\alphaには、zN(α){α}z \in \mathcal{N} (\alpha) \setminus \left\{ \alpha \right\}からf(z)0f (z) \ne 0の間の近傍N(α)\mathcal{N} (\alpha)が存在する。

証明

一般性を失わずに、ggffnn次のゼロα\alpha解析的であると仮定してg(α)=2β0g(\alpha) = 2 \beta \ne 0とする。

ggα\alphaで連続であるため、全てのβ\betaに対して次を満たすδ>0\delta > 0が存在しなければならない。 zα<δ    g(z)g(α)<β | z - \alpha | < \delta \implies \left| g(z) - g(\alpha) \right| < |\beta| 先にg(α)=2βg(\alpha) = 2 \betaとしたので、三角不等式によって zα<δ    g(z)g(α)g(z)g(α)>β | z - \alpha | < \delta \implies |g(z)| \ge \left| |g(\alpha)| - \left| g(z) - g(\alpha) \right| \right| > |\beta| zα<δ|z-\alpha| < \deltaからg(z)>β|g(z)| > |\beta|となるので、α\alphaggゼロになることはできない。f(z)=(zα)ng(z)f(z) = (z-\alpha)^{n} g(z)としたので、具体的にこのオープンボールB(α,δ)B \left( \alpha , \delta \right)内では、α\alphaだけがffのゼロになる。 f(z){=0,if z=α0,if zB(α,δ){α} f(z) \begin{cases} = 0 & , \text{if } z = \alpha \\ \ne 0 & , \text{if } z \in B \left( \alpha , \delta \right) \setminus \left\{ \alpha \right\} \end{cases}

参考文献


  1. Osborne (1999). Complex variables and their applications: p66. ↩︎