初等関数のべき級数展開

最初にロピタルの公式を述べた後,べき級数の例として初等関数のべき級数展開を紹介し,最後に解析接続の原理である一致の定理について解説する.

ロピタルの公式 f(z),g(z)f(z), g(z)z=αz=\alphaで解析的で、n=0,,m1n=0,\ldots,m-1f(n)(α)=g(n)(α)=0f^{(n)}(\alpha)=g^{(n)}(\alpha)=0とする。 このとき、g(m)(α)0g^{(m)}(\alpha)\neq0であれば

limzαf(z)g(z)=limzαf(m)(α)g(m)(α) \lim_{z\to\alpha}\frac{f(z)}{g(z)}=\lim_{z\to\alpha}\frac{f^{(m)}(\alpha)}{g^{(m)}(\alpha)}

が成り立つ。

limze2πi/nze2πi/nzn1 \lim_{z\to e^{2\pi i/n}}\frac{z-e^{2\pi i/n}}{z^n-1}limz0ezcoszzz2 \lim_{z\to 0}\frac{e^z-\cos z-z}{z^2}limzicosh(πz/2)\Log(iz) \lim_{z\to i}\frac{\cosh(\pi z/2)}{\Log(-iz)}

指数関数f(z)=ezf(z)=e^zの冪級数展開。

ez=n=01n!zn e^z= \sum_{n=0}^\infty\frac{1}{n!}z^n

である。 収束半径は\inftyである。

対数関数の主値、f(z)=Log(1+z)f(z)=Log(1+z)の冪級数展開。

Log(1+z)=n=1(1)n1nzn Log(1+z)=\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n}z^n

収束半径は11

冪函数f(z)=(1+z)αf(z)=(1+z)^\alphaの冪級数展開。

(1+z)α=n=0(αn)zn (1+z)^\alpha=\sum_{n=0}^\infty\binom{\alpha}{n}z^n

ここで、(αn)\binom{\alpha}{n}は一般化二項係数で、

(αn)=α(α1)(αn+1)n! \binom{\alpha}{n}=\frac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}

で定まるもの。

冪級数の和、積、合成

f(z)=e2zf(z)=e^{2z}z=0z=0の周りで冪級数展開して、収束半径を求める。 f(z)=1z2+1f(z)=\dfrac{1}{z^2+1}z=0z=0の周りで冪級数展開して、収束半径を求める。 f(z)=1z+1f(z)=\dfrac{1}{z+1}z=1z=1の周りで冪級数展開して、収束半径を求める。 f(z)=cosz=eiz+eiz2f(z)=\cos z=\dfrac{e^{iz}+e^{-iz}}{2}z=0z=0の周りで冪級数展開して、収束半径を求める。 f(z)=1z23z+2f(z)=\dfrac{1}{z^2-3z+2}z=0z=0の周りで冪級数展開して、収束半径を求める。 f(z)=z2cosz2f(z)=z^2\cos z^2z=0z=0の周りで冪級数展開して、収束半径を求める。 f(z)=(1+z)ezf(z)=(1+z)e^zz=0z=0の周りで冪級数展開して、収束半径を求める。

項別微積分を用いて冪級数展開を計算する。 (log(1+z))=ˊ11+z(\log(1+z))\'=\frac{1}{1+z}を用いてz=0z=0中心のlog(1+z)\log(1+z)の冪級数展開と収束半径を求める。 (cosz)=ˊsinz(\cos z)\'=-\sin zを用いてz=0z=0中心のsinz\sin zの冪級数展開と収束半径を求める。 z=0z=0中心の1(1z)3\dfrac{1}{(1-z)^3}の冪級数展開と収束半径を求める。 1cosz\dfrac{1}{\cos z}z=0z=0中心に冪級数展開し、収束半径を求める。 tanz\tan zz=0z=0中心に冪級数展開し、収束半径を求める。 11sinz\dfrac{1}{1-\sin z}z=0z=0中心に冪級数展開し、収束半径を求める。