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

461

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

解答と問題を上げる前にこの問題ではフーリエ変換とその性質をフルに使っていくのでそのおさらいをします。

絶対可積分関数 $f : R \to C$ に対して、 $f$ のフーリエ変換を
$\hat{f} (ξ) := \int_{- \infty}^{\infty} f (x) e^{- 2 π i ξ x} d x$
で定める。

以下フーリエ変換の性質を述べていきます。但し
$L_{p} (R) := {f : R \to C | \int_{- \infty}^{\infty} | f (x) |^{p} d x < \infty}$
$(f * g) (x) := \int_{- \infty}^{\infty} f (x - y) g (y) d y$
と定義します。 $f * g$ は $f, g$ の畳み込み積と言って、 $\frac{1}{p} + \frac{1}{q} = 1 + \frac{1}{r}$ なる $p, q, r \in [1, \infty]$ に対して $L_{p} (R)$ の元と $L_{q} (R)$ の元の畳み込み積は $L_{r} (R)$ の元になります。

フーリエ変換は単射線型準同型 $L_{1} (R) ↪ L_{\infty} (R)$ を定義し、任意の $f \in L_{1} (R)$ に対して $f$ は一様連続であり、極限
$lim_{| ξ | \to \infty} | \hat{f} (ξ) | = 0$
が満たされている。
$L_{2} (R) \cap L_{1} (R)$ 上ではフーリエ変換に等しくなるようなユニタリ作用素 $L_{2} (R) ≃ L_{2} (R)$ が一意に存在する(以下この同型による $f$ の像も $\hat{f}$ と表記し、 $f$ のフーリエ変換と呼ぶ)。
任意の $f \in L_{1} (R)$ 及び $g \in L_{2} (R)$ に対して等式
$\hat{f} \hat{g} = \hat{f * g}$
が成り立つ。

これらの証明は色々なところに転がっているので省略します。フーリエ変換のおさらいは以上です。

ここから問題の証明......といきたいところですがもう一つ補題を示します。

任意の $f \in L_{1} (R)$ に対し不等式
$| \int_{- \infty}^{\infty} f (x) d x | \leq \int_{- \infty}^{\infty} | f (x) | d x$
が成り立つ。この不等式の等号が成立するのは $f$ の偏角が殆ど至る所定数であるときであり、またそのときに限る。

初めに $θ$ を
$| \int_{- \infty}^{\infty} f (x) d x | = e^{i θ} \int_{- \infty}^{\infty} f (x) d x$
を満たすようにとる。このとき
$\begin{aligned} | \int_{- \infty}^{\infty} f (x) d x | & = e^{i θ} \int_{- \infty}^{\infty} f (x) d x \\ = \int_{- \infty}^{\infty} e^{i θ} f (x) d x \\ = \int_{- \infty}^{\infty} Re (e^{i θ} f (x)) d x \\ \leq \int_{- \infty}^{\infty} | e^{i θ} f (x) | d x & = \int_{- \infty}^{\infty} | f (x) | d x \end{aligned}$
であるから不等式が示せた。そしてこの不等式の等号が成り立つには固定した $θ$ に対して殆ど至る所
$Re (e^{i θ} f (x)) = | e^{i θ} f (x) |$
を満たすことが必要充分であることがわかり所望の結果が従う。

ここから問題を述べ、それを示していきます。

2024B10

$f \in L_{1} (R)$ に対して以下の条件(i)(ii)は同値であることを示しなさい。

$sup_{∥ g ∥_{2} = 1} ∥ f * g ∥_{2} = ∥ f ∥_{1}$
ある非負関数 $r$ 及び実数 $s, t$ が存在して、 $R$ 上殆ど至る所 $f (x) = r (x) e^{i (s x + t)}$ である。

但し
$∥ f ∥_{p} := {(\int_{- \infty}^{\infty} | f (x) |^{p} d x)}^{\frac{1}{p}}$
と定義し、また条件(i)に於いて $g$ は $∥ g ∥_{2} = 1$ なる $L_{2} (R)$ の元全体を走っているものとする。

まず補題1(2)(3)を用いることで、不等式
$\begin{aligned} sup_{∥ g ∥_{2} = 1} ∥ f * g ∥_{2} & = sup_{∥ g ∥_{2} = 1} ∥ \hat{f * g} ∥_{2} \\ = sup_{∥ g ∥_{2} = 1} ∥ \hat{f} \hat{g} ∥_{2} \\ = sup_{∥ g ∥_{2} = 1} ∥ \hat{f} g ∥_{2} \\ = ∥ \hat{f} ∥_{\infty} & \leq ∥ f ∥_{1} \end{aligned}$
が成り立っていることがわかる。よって(i)は最後の不等式が実は等号になっていることと同値である。ここで補題1(1)より
$∥ \hat{f} ∥_{\infty} := sup_{ξ \in R} | \int_{- \infty}^{\infty} f (x) e^{- 2 π i x ξ} d x | = max_{ξ \in R} | \int_{- \infty}^{\infty} f (x) e^{- 2 π i x ξ} d x |$
$∥ f ∥_{1} = \int_{- \infty}^{\infty} | f (x) | d x$
であるから、補題2と合わせて、上の不等式に於ける等号が成立するためには、上記の $\infty$ ノルムの式の右辺に於ける最大値を実現するような $ξ$ 及びある $t$ について殆ど至る所
$f (x) e^{- 2 π i (x ξ + t)} = | f (x) |$
が満たされていることが必要充分であることがわかる。よって(i)と(ii)の同値性が示せた。

投稿日：2024年6月17日

更新日：2024年6月20日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53680

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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