東京大学 情報理工学研究科 数理情報学 2022年8月実施 第3問

标签：

• Tokyo-University
• Exponential-Convergence-of-Trapezoidal-Rule-for-Analytic-Periodic-Functions
• Contour-Integration

Author

hari64boli64, 祭音Myyura

Description

複素数全体の集合を $\mathbb{C}$ で表し、虚数単位を $i$ と書く。実数 $r > 1$ に対し、$D_r$ を複素数平面上の円板領域 $D_r = \{z \in \mathbb{C} \mid |z| < r\}$ とする。$D_r$ 上の正則関数 $f: D_r \rightarrow \mathbb{C}$ に対し、一様ノルム $\lVert f \rVert$ を $\lVert f \rVert = \sup_{z \in D_r} |f(z)|$ で定め、$I(f)$ と $I_N(f)$ をそれぞれ

$$I(f) = \int_0^{2\pi} f(e^{i\theta}) \text{d}\theta, \quad \quad I_N(f) = \frac{2\pi}{N} \sum_{k=1}^N f(e^{2\pi i k /N})$$

と定める。ここで、$N$ は正の整数とする。以下の設問に答えよ。

(1) 実数 $R > 0$ に対し、$\Gamma(R) \subset \mathbb{C}$ を、正（反時計回り）に向き付けられた、中心 $0$、半径 $R$ の円周とする。このとき、$D_r$ 上の正則関数 $f: D_r \rightarrow \mathbb{C}$ に対して

$$I(f) = \oint_{\Gamma(1)} \frac{-i}{z} f(z) \text{d}z$$

が成り立つことを示せ。

(2) $D_r$ 上の正則関数 $f: D_r \rightarrow \mathbb{C}$ に対し、

$$g_N[f](z) = \frac{-i z^{N-1}}{z^N-1} f(z)$$

とおく。$D_r$ 上の $g_N[f]$ の極を全て求め、それぞれの極における $g_N(f)$ の留数を求めよ。

(3) $D_r$ 上の正則関数 $f: D_r \rightarrow \mathbb{C}$ が $\lVert f \rVert < \infty$ を満たすとする。このとき、

$$\begin{align} |I(f) - I_N(f)| \le \frac{2 \pi \lVert f \rVert}{r^N-1} \tag{*} \end{align}$$

が成り立つことを示せ。

(4) 式 ($*$) の右辺の定数 $2 \pi$ が最良であること、すなわち、

$$\limsup_{N \rightarrow \infty} \left ( r^N \sup_f \frac{|I(f) - I_N(f)|}{\lVert f \rVert} \right) = 2 \pi$$

が成り立つことを示せ。ここで、$\sup_{f}$ は、$\lVert f \rVert < \infty$ であるような $D_r$ 上の正則関数 $f: D_r \rightarrow \mathbb{C}$ 全体にわたる上限を表す。

题目描述

以 $\mathbb{C}$ 表示复数集，以 $i$ 表示虚数单位。对实数 $r>1$，令

$$D_r=\{z\in\mathbb{C}\mid |z|<r\}.$$

对 $D_r$ 上的全纯函数 $f:D_r\to\mathbb{C}$，定义一致范数

$$\lVert f\rVert=\sup_{z\in D_r}|f(z)|,$$

并对正整数 $N$ 定义

$$I(f)=\int_0^{2\pi}f(e^{i\theta})\,d\theta, \qquad I_N(f)=\frac{2\pi}{N}\sum_{k=1}^N f(e^{2\pi ik/N}).$$

回答下列问题。

(1) 对实数 $R>0$，令 $\Gamma(R)$ 为复平面上以 $0$ 为圆心、半径为 $R$、按正向（逆时针方向）定向的圆周。证明

$$I(f)=\oint_{\Gamma(1)}\frac{-i}{z}f(z)\,dz.$$

(2) 定义

$$g_N[f](z)=\frac{-iz^{N-1}}{z^N-1}f(z).$$

求 $g_N[f]$ 在 $D_r$ 内的全部极点，并求它在每个极点处的留数。

(3) 假设 $\lVert f\rVert<\infty$。证明

$$|I(f)-I_N(f)| \leq\frac{2\pi\lVert f\rVert}{r^N-1}. \tag{*}$$

(4) 证明式 $(*)$ 右端的常数 $2\pi$ 是最优的，即

$$\limsup_{N\to\infty} \left( r^N\sup_f\frac{|I(f)-I_N(f)|}{\lVert f\rVert} \right)=2\pi,$$

其中上确界取遍所有满足 $\lVert f\rVert<\infty$ 的 $D_r$ 上全纯函数 $f:D_r\to\mathbb{C}$。

Kai

(1)

$e^{i\theta}=z$ とおくと、$\frac{\text{d}z}{\text{d}\theta}=ie^{i\theta}=iz$ であるので、

$$\begin{aligned} I(f) & =\int_0^{2\pi} f(e^{i\theta}) \text{d}{\theta} \\ & =\int_{\Gamma(1)} f(z) \frac{1}{iz} \text{d}{z} \\ & =\oint_{\Gamma(1)} \frac{-i}{z}f(z) \text{d}{z} \end{aligned}$$

(2)

$D_r$ 内の特異点候補は、$z^N-1=0$ より $z=\zeta_N^k\ (k=1,\ldots,N)$ である。ただし、 $\zeta_N=e^{\frac{2\pi i}{N}}$ とする。 $f(\zeta_N^k)\ne0$ ならば1位の極であり、 $f(\zeta_N^k)=0$ ならば可除特異点となる。

いずれの場合も留数は

$$\begin{aligned} \underset{z = \zeta_N^k}{\mathrm{Res}} g_N[f](z) & = \lim_{z \to \zeta_N^k} (z-\zeta_N^k)\frac{-iz^{N-1}}{z^N-1}f(z) \\ & = \lim_{z \to \zeta_N^k} \frac{-iz^{N-1}}{Nz^{N-1}}f(z) \\ & = \frac{-i}{N}f(\zeta_N^k) \end{aligned}$$

となる。

(3)

(2) の結果と留数定理より、

$$\begin{aligned} \oint_{\Gamma(r')}g_N[f](z) \text{d}{z} & = \oint_{\Gamma(r')}\frac{-iz^{N-1}}{z^N-1}f(z)\text{d}{z} \\ & = 2\pi i \sum_{k=1}^{N} \underset{z = \zeta_N^k}{\mathrm{Res}} g_N[f](z) \\ & = \frac{2\pi}{N} \sum_{k=1}^{N} f(\zeta_N^k) \end{aligned}$$

となる。ただし、$1<r'<r$ とする。

なお、ここで $r'$ を $r$ としなかったのは、$f(z)$ が $D_r=\{ z\in\mathbb{C} \; | \; |z| < r \}$ でのみ定義されている関数であり、 $\Gamma(r)$ で未定義であるからである。

これを用いて、与式を評価すると、

$$\begin{aligned} |{I(f)-I_N(f)}| & =\left |\oint_{\Gamma(1)} \frac{-i}{z}f(z) \text{d}{z} - \frac{2\pi}{N} \sum_{k=1}^{N} f(\zeta_N^k) \right| \\ & =\left | \oint_{\Gamma(r')} \frac{-i}{z}f(z) \text{d}{z} - \oint_{\Gamma(r')} g_N[f](z) \text{d}{z} \right | \\ & =\left |\oint_{\Gamma(r')} \left (\frac{-i}{z} - \frac{-iz^{N-1}}{z^N-1} \right)f(z) \text{d}{z} \right | \\ & \leq \lVert f \rVert \oint_{\Gamma(r')} \left |\frac{-i}{z} - \frac{-iz^{N-1}}{z^N-1}\right| |\mathrm{d}z| \\ & = \lVert f \rVert \oint_{\Gamma(r')} \left | \frac{1}{z(z^N-1)} \right | |\mathrm{d}z| \\ & \leq \lVert f \rVert \frac{2\pi r'}{r'({r'}^N-1)} \\ & = \frac{2\pi \lVert f \rVert}{({r'}^N-1)} \end{aligned}$$

となる。

これが、任意の $1<r'<r$ に対して成立するので、$r' \nearrow r$ の極限をとると、

$$\begin{aligned} | I(f)-I_N(f) | \leq \frac{2\pi \lVert f \rVert}{r^{N}-1} \end{aligned}$$

となる。

(4)

比の上限では $f\not\equiv0$ とする。(3) より、各 $N$ に対して

$$r^N\sup_f\frac{|I(f)-I_N(f)|}{\|f\|} \le\frac{2\pi r^N}{r^N-1}\longrightarrow2\pi.$$

よって上極限は $2\pi$ 以下である。

与式を下から評価して、それが $2\pi$ に収束することを示す。 ここで、$f(z)=z^N$ とすると、

$$\begin{aligned} I(f) & =\int_0^{2\pi} e^{iN\theta} \text{d}{\theta} = \frac{1}{iN} \left[e^{iN\theta} \right]_0^{2\pi} = 0\\ I_N(f) & =\frac{2\pi}{N} \sum_{k=1}^N e^{2\pi i k} = 2\pi \end{aligned}$$

となり、$\lVert f\rVert=r^N$ である。

よって、

$$\begin{aligned} \limsup_{N \to \infty} \left(r^N \sup_f \frac{|I(f)-I_N(f)|}{\lVert f \rVert} \right) \geq r^N\frac{|0-2\pi|}{r^N}=2\pi \end{aligned}$$

となる。

以上より、答えは $2\pi$ である。