問題は↓から見られます.
入学・入試案内 | 九大数理学研究院
7
複素関数論の基本的な問題です.
(1)
正則関数なのでの近傍でべき級数展開出来るので,仮定より直ちにわかります.
(2)
一致の定理を示せという問題です.色々示し方はあると思いますがここでは(1)を使ってみます.
背理法で示します.の任意の近傍で恒等的に
でないと仮定します.
すると,は
のある近傍で正則なのである近傍
上べき級数で表せます.
このとき背理法の仮定よりあるが存在して
となります.
よって(1)より,なる
上の正則函数を用いて,
と表せます.
より,
であり,
は
に収束するので連続性より
です.
よって,矛盾より,示せました.
(3)
連結性を使います.以下では位相はすべての相対位相を考えます.
と定めます.
は(2)の条件を満たすので
は内点を持ちます.
つまりを
の内部とすると,
です.
(2)からの境界は
に含まれることがわかります.よって,
は開かつ閉であり,
空ではないので,の連結性から
が分かります.
(4)
に対し,
の実部,虚部を整理すると,
が容易にわかります.
よって,任意のに対し,
なら,
となりますが,
の連続性から,ある
が存在して,
となります.
と定めます.
(2)(3)でとすれば,
がわかります.
8
微分方程式の問題です.誘導に従っていけば解けます.
(1)
と定め,
についての微分方程式に変換します.
連鎖律を使うだけです.
となります.
(2)
を微分作用素とするとき,
であることを用いて計算していきます.
(1)より解くべき微分方程式はです.
上に記した公式からとなるので,
より,一般解は,
です.
(3)
(2)の定数を決定するだけです.
9
一様可積分性についての問題です.(4)が難しいです.
(1)
これは成り立ちます.基本的な問題です.
を任意にとります.このとき
は可積分よりルベーグの収束定理から,
あるがとれて,
が分かります.
より,
がわかるので,
です.
は任意なので,
より,
与えられた命題が成り立つことが分かります.
(2)
これも成り立ちます.これも基本的な問題です.
は一様可積分より,ある
が存在して
がわかります.
よって,
が成り立ち,
この評価はによらないので与えられた命題が成り立つことが分かりました.
(3)
これは成り立ちません.これも簡単です.
反例を作ります.有限測度空間を考えます.ここで
は
の開集合から生成される
加法族,
をルベーグ測度とします.
と定めます.
このとき明らかにであり,
また任意のに対し,
なる
を考えれば,
も分かります.
よって与えられた命題が成り立たないことがわかりました.
(4)
これは成り立ちます.これだけやたらと大変です.もっと簡単な方法があるのかもしれません.
解答は中々に量があるので簡略に書きます.
以下ではというような表記法を用います.
と定めます.
に対し,
と表します.
最初はモーメント型の不等式を使うときの典型的な変形をして計算していきます.
その前にについて少し調べておきます.
の微分を計算することで,
がある程度大きければ
は狭義単調増大になることが分かります.
また,も容易にわかります.
よって,あるがとれて,
では
は正で狭義単調増大で次が成り立つようにできます:
. 少しややこしいですが, これは
が十分大きければ,
が成り立つことを示しています.
を任意にとります.任意の非負可積分関数
に対し,次のように評価します.
上の計算の1~3行目のような,「関数の測度
での積分」を「
の
に関する分布関数のルベーグ積分」に置き換えるという操作はよく使われるものです.
上の式変形の最右辺の第2項を更に評価します.
ここで,という変数変換をします.
では,
の逆関数
が取れることに注意します.
以上を踏まえて以下の計算をしていきます.以下ではは
より大きいとします.
よって,として
を考えれば,
仮定より,なる定数
がとれるので,
がわかります.
の定義から明らかに,
が成り立ち,
逆関数の微分は元の関数の微分の逆数であることからで,
簡単な計算からがわかるので,
となり,与えられた命題が成り立つことが分かりました.
(5)
これは成り立ちます.特に難しい点はありません.
を任意にとります.
は一様可積分より,ある
が存在して
とできます.
よって
仮定より,より,
.
は任意に小さくとれるのでこれで与えられた命題が成り立つことが分かりました.
10
(1)
期待値を計算するだけです.
(2)
分布関数の微分が密度関数になるので,分布関数を計算します.
に対し,
となるので,密度関数をとすると
.
(3)
(2)と同様にすれば,密度関数は
となることが分かります.
(4)
期待値を計算するだけです.
11
関数解析っぽい問題です.有限次元なので単位球のコンパクト性が使えます.
(1)
計算するだけです.有限次元なのでノルムから誘導される位相はどれも同値です.
ここではsupノルムから定まる位相を考えることにします.
とします.
と定めると,
です.
よって,がわかります.
2つめの不等号では仮定を用いています.
これより,がわかります.
の単位球はコンパクトで,
関数は連続なので単位球上最大値を持ちますが,
上の計算から最大値はより真に小さいことが分かります.
(2)
に注意します.
は単位行列です.
からわかります.
(2)
と定めると,(1)より
です.
よって,よりわかります.
初めまして. 私は現在院試の勉強をしているものです. そのため, こちらの解答参考にさせていただいております. ありがとうございます.
そこで, もしお時間があれば九大数理学府の他の年の問題も解いていただきたいです. よろしくお願いいたします.