東大数理院試過去問解答例(2022B10)

ここでは東大数理の修士課程の院試の2022B10の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

まず$f-1$を改めて$f$とおくことで、上の条件式は$$\mathrm{Re}f\le |z^2|$$の条件下で示せば良いことがわかります。ここではもう少し一般的な結果を示しましょう。

以下証明をしていきましょう。条件の式を簡単な場合に帰着していきます。まずpがどのような形であれ、この条件は$p=K{z}^m$の場合、つまりある定数$K>0$について
$$\mathrm{Re}f(z)\le |K{z}^m|$$が成り立つについて示せば十分です。

この条件の下で$f$がm次以下の多項式であることを示していきます(結局元の問題とほぼ同じことを示すことになってしまいました)。まず$f(z)=u(z)+iv(z)$とおき、そのTaylor展開を$f=\sum _{i=0}^{\mathrm{\infty }}{a}_i{z}^i$とおきます。ここで$k\ge m+1$に対して$a_k=0$であることが示したいことです。そのため$a_k$を$u=\mathrm{Re}f$を用いて表示して、さらにそれと条件式を使ってそれを示していきます。

晴れて$a_k$の値を$u$を使って表示することに成功しました。ここで複素解析の定跡(？)どおり絶対値を取って上から抑えたいところですが、まだ一つ問題があります。それは$u$の範囲が上からしか抑えられていないことです。そこでそれに対処するため次の式を使います。
$$u(0)=\frac{1}{2\pi }{\int }_0^{2\pi }u(r{e}^{i\theta })d\theta$$
これらの式を何倍かして足すことで
$$|a_k|r^k+4u(0)\le \frac{2}{\pi }{\int }_0^{2\pi }|u(r{e}^{ik\theta })|+u(r{e}^{ik\theta })d\theta$$
が得られます。ここで上で導出した$|a_k|r^k+2u(0))$の上界の式から
$$|a_k|r^k+4u(0)\le max\{0,4\underset{|z|=r}{max}|u(z)|\}$$が分かります。これを変形することで$$|a_k|\le max\{0,\frac{4\underset{|z|=r}{max}u(z)}{r^k}\}-\frac{4u(0)}{r^k}\le \frac{4}{r^{k-m}}+\frac{4u(0)}{r^k}$$が得られ、極限$r\to \mathrm{\infty }$を取ることで$k\ge m+1$に対して$a_k=0$が示せました。