東大数理院試過去問解答例(2014B09)

134

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

2014B09

以下の問いに答えなさい。

正則関数 $f (w) = e^{- w} w^{x - 1}$ の領域
$D_{ε} := {w \in C | Re w > 0, Im w > 0, ε < | w | < \frac{1}{ε}}$
の境界での積分を考えることで、任意の $x \in (0, 1)$ について
$\int_{0}^{\infty} t^{x - 1} \sin t d t = Γ (x) \sin (\frac{π x}{2})$
$\int_{0}^{\infty} t^{x - 1} \cos t d t = Γ (x) \cos (\frac{π x}{2})$
が成り立つことを示しなさい。
積分
$\int_{0}^{\infty} \frac{\sin t}{t^{\frac{3}{2}}} d t$
を計算しなさい。ただし必要であれば $Γ (\frac{1}{2}) = \sqrt{π}$ であることは証明なしに用いて良い。

まず
$C_{3} = D_{ε} \cap {w \in C | Re w = 0}$
$C_{1} = D_{ε} \cap {w \in C | Im w = 0}$
$C_{2} = D_{ε} \cap {w \in C | | w | = \frac{1}{ε}}$
$C_{4} = D_{ε} \cap {w \in C | | w | = ε}$
とおく。このとき $C = C_{1} + C_{2} + C_{3} + C_{4}$ に反時計回りに向きを定める。
$\begin{aligned} \int_{C_{1}} e^{- w} w^{x - 1} d w & = \int_{ε}^{\frac{1}{ε}} e^{- w} w^{x - 1} d w \overset{ε \to 0}{\to} Γ (x) \end{aligned}$
$\begin{aligned} \int_{C_{3}} e^{- w} w^{x - 1} d w & = - \int_{ε}^{\frac{1}{ε}} e^{- i z} (i z)^{x - 1} i d z \\ = - e^{i \frac{π x}{2}} \int_{ε}^{\frac{1}{ε}} e^{- i z} z^{x - 1} d z \\ = - (\cos (\frac{π x}{2}) + i \sin (\frac{π x}{2})) \int_{ε}^{\frac{1}{ε}} z^{x - 1} (\cos (z) - i \sin (z)) d z \end{aligned}$
$\begin{aligned} \int_{C_{2}} e^{- w} w^{x - 1} d w & = \int_{0}^{\frac{π}{2}} e^{- \frac{1}{ε} e^{i θ}} {(\frac{1}{ε} e^{i θ})}^{x - 1} \frac{i}{ε} e^{i θ} d θ \\ \leq \int_{0}^{\frac{π}{2}} e^{- \frac{1}{ε}} {(\frac{1}{ε})}^{x} d θ \\ = \frac{π}{2 ε^{x} e^{\frac{1}{ε}}} \overset{ε \to 0}{\to} 0 \end{aligned}$
$\begin{aligned} \int_{C_{4}} e^{- w} w^{x - 1} d w & = - \int_{0}^{\frac{π}{2}} e^{- ε e^{i θ}} {(ε e^{i θ})}^{x - 1} i ε e^{i θ} d θ \\ \leq \int_{0}^{\frac{π}{2}} e^{- ε} ε^{x} d θ \\ = \frac{π ε^{x}}{2 e^{ε}} \overset{ε \to 0}{\to} 0 \end{aligned}$
である。ここで $f$ は $D_{ε}$ 内に極を持たないからCauchyの積分定理により
$(\cos (\frac{π x}{2}) - i \sin (\frac{π x}{2})) \int_{ε}^{\frac{1}{ε}} e^{- z} z^{x - 1} - \int_{ε}^{\frac{1}{ε}} z^{x - 1} (\cos (z) - i \sin (z)) d z \overset{ε \to 0}{\to} 0$
である。上記の左辺の極限をとり、その実部と虚部を考えれば
$\int_{0}^{\infty} t^{x - 1} \cos t d t = Γ (x) \cos (\frac{π x}{2})$
$\begin{aligned} \int_{0}^{\infty} t^{x - 1} \sin (t) d t & = Γ (x) \sin (\frac{π x}{2}) \end{aligned}$
が従う。
まず $x \in (- 1, 0)$ について $Γ$ -関数の性質と部分積分と(1)より
$\begin{aligned} \int_{0}^{\infty} t^{x - 1} \sin (t) & = - \frac{1}{x} \int_{0}^{\infty} t^{(x + 1) - 1} \cos (t) d t \\ = - \frac{1}{x} Γ (x + 1) \cos (\frac{π (x + 1)}{2}) \\ = Γ (x) \sin (\frac{π x}{2}) \end{aligned}$
であるから、(1)で示した等式は $x \in (- 1, 0)$ についても成り立つ。よってこれに $x = - \frac{1}{2}$ を代入することで
$\int_{0}^{\infty} \frac{\sin t}{x^{\frac{3}{2}}} d t = - \frac{1}{\sqrt{2}} Γ (- \frac{1}{2}) = \sqrt{2} Γ (\frac{1}{2}) = \sqrt{2 π}$
であることがわかる。

投稿日：2024年3月5日

更新日：2024年3月5日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

53369

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2014B09)