推 hcsoso :哎呀, 好多新方法, 我研究一下再回~ 01/20 19:35
※ 引述《hcsoso (索索)》之銘言：
: 最近在自修複變, 碰上了一些問題;
: 在版上爬過一陣文, 沒有找到相關的題目,
: 有請了解的人能給個思考的方向, 謝謝大家!
: (不要詳解! 想要再想想看, 只是不知如何下手.)
: 在 Stein & Shakarchi 的複變課本中 p67 第 14 題 :
: 設 f 在包含閉單位圓的開集合上複可微, 除了單位元上某一點 z* 是個 pole 之外.
: 若以 a_0 + a_1*z + a_2*z^2 + ... 表示 f 在開單位圓上的冪級數展開,
: 則請證明
: lim a / a = z*.
: n -> infty n n+1
: 不太知道第一步要從哪裡著手?
先寫一個有關數列的小引理
Lemma:
若Xn, Yn 為兩數列，Xn/X(n+1)→1，Yn/Xn→0
則 [Xn+Yn]/[X(n+1)+Y(n+1)] → 1
回到原題：
由旋轉，可設z* = 1
Case 1: f_k(z) = (1-z)^(-k)
此時 a_n,k = C(k+n-1,n) = C(k+n-1,N-1)
故 a_n,k / a_(n+1),k →1, a_n,k / n^(k-1) → 1
Case 2: General case
設f = Sigma (k=1至N)c_k f_N + g , c_k =/= 0，g在1解析
g有比1大之收斂半徑， 設 g(z) = Sigma b_n z^n，則
limsup (b_n)^(1/n) = r '< 1，存在 r'<r <1 使得 b_n < C r^n (*)
記 Xn = c_N a_n,N ， Yn = Sigma (k=1 至 N-1) c_k a_n,k + b_n
則此時 an = Xn + Yn
由Case 1，及(*)，知可用Lemma，故 an / a_(n+1) → 1
--
代數幾何觀點！
Algebro-Geometrical Aspect!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.62.149.226