0

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

365
1

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

2024B12(改)

自然数m1に対し、開円板{zC||z=1|}上の正則関数
Lim(z):=n=1znnm
を考える。

  1. 等式
    Lim+1(z)=Lim(z)z
    を示しなさい。
  2. Lim(z)C[1,)上の正則関数に解析接続されることを示しなさい。
  3. (2)で定義されたC[1,)上の正則関数もLimとおく。任意のx(1,)に対して極限
    Lim+1(x+i0):=limε+0Lim(x+iε)
    Lim+1(xi0):=limε+0Lim(xiε)
    が存在すること、これらがR上の連続関数を定めていること、そして等式
    Lim(x+i0)Lim(xi0)=i2πlogm1x(m1)!
    が成り立つことを示しなさい。
  1. 項別微分で直接確かめれば良い。
  2. 初めにX=C[0,)上帰納的に
    Li2(z)=0zlog1ttdt
    Lim(z):=0zLim1(t)tdt
    と定義する(但しlogの分枝は[0,)にとる)。このときLimz=0に零点を持つ正則関数であることが帰納的に従う。
  3. まず(2)の定義によってLimlog(1z)が一価関数として定義されるリーマン面上でX上の正則関数を定め、その閉包X上の連続関数を定めていることが帰納的にわかる。特に任意のx(1,)に対して極限
    Lim+1(x+i0):=limε+0Lim(x+iε)
    Lim+1(xi0):=limε+0Lim(xiε)
    が存在すること、これらが(1,)上の連続関数を定めていることがわかる。また(2)の定義からm>1に対して極限
    limz1Lim(z)
    が存在することも帰納的にわかる。よって等式
    Lim(x+i0)Lim(xi0)=limε0CεLim1(x)xdx=1xLim1(t+i0)Lim1(ti0)tdt=1xi2πlogm2t(m2)!tdx=i2π(m2)!1xlogm2ttdt=i2π(m2)!0logxsm2ds=i2πlogm1x(m1)!
    が成り立つ(但しCεxから実軸上をεまで移り、z=1を中心とする半径εの円周を反時計回りに周り、実軸上をεからxに移動する経路を表す)。よって所望の等式が得られた。

今回の問題は元の問題から大幅に変えてあります。元々の問題は本記事の(3)がなく代わりに「(3) Lim(z)C{0,1}上、12を始点とする任意の曲線に沿って解析接続できることを示せ」「(4) Lim(z)C{1}上、12を始点とするある曲線に沿っては解析接続できないことを示せ」という問題がついていました。ただ本記事の(3)を述べた後だとこの問題が蛇足になるという理由でここでは述べませんでした。以下蛇足になる理由を述べることで元の問題の解説の代わりとさせていただきます。ご了承ください。

まずlog(1x)が可算個のC[1,)を張り合わせたリーマン面Y上で定義できるのと同じように、Limも同じリーマン面で定義できるように一見見えます。しかしここで(3)で示した等式
Lim(x+i0)Lim(xi0)=i2πlogm1x(m1)!
を思い出してみましょう。これはつまり上記のY上でLimを定義しようとすると、z=1の周りを一周するごとにLim(z)i2πlogm1x(m1)!だけ増えて(or減って)いくことを表しています。つまりLimC[1,)上では問題なく定義できるものの、隣のC[1,)ではLimLim±i2πlogm1x(m1)!になる、特にz=0を分枝に持つようになってしまうので、Y上の一価関数として定義できません。Limだけをみてもわからないですが、(,0]が実はLimの分岐点になってしまっています。ですからC{1}上の曲線で解析接続しようとしても、この分枝を無視しているからうまく行かないというわけです。逆にこの分枝を考慮してC{0,1}を考えるとこの上の任意の曲線に沿って解析接続することができます。本記事の(3)が元問題の(3)(4)の核心になっていると考え、本記事ではこれらを省略させていただきました。

Limは具体的に
Lim(z)=z(m1)!0tm1etzdt
と書き表すこともできます。証明は積分
1nm=1(m1)!0tm1entdt
を元の巾級数に代入するだけです。

Lim(z)多重対数関数と呼ばれています。

投稿日:202467
更新日:2024116
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中