- ベストアンサー
収束半径
ベキ級数Σa_n x^nの収束半径は簡単に求まりますが、 1.Σa_n x^(n^2)の収束半径なんてのはどうなのでしょうか? 2.Σa_n x^f(n) f(n)は非線形関数 の収束について一般論は可能なのでしょうか?
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
1についての回答(解答)です。 Σa_nx^n と同じ係数(a_n)について Σa_n x^(n^2) の収束半径を 求めると理解します。 Σb_nx^nのべき級数において係数を b_n=a_n^(1/2) (n=1,4,9,16,25,…) b_n=0 (n≠1,4,9,16,25,…) と定めると Σb_nx^n = Σa_nx^(n^2) となります。このべき級数に対してコーシー・アダマールの公式を適用した limsup |b_n|^(1/n)=limsup |a_n^(1/2)|^(1/n) の逆数が収束半径となります。 2については分かりません。でも条件を絞って(たとえば正の値をと る単調増加関数とか)、ある種の都合のよい関数なら一般化できるか もしれません。おもしろそうですね。
関連するQ&A
- ベキ級数の収束半径
今勉強している複素解析学の初歩のところで、ベキ級数の収束半径を求める問題についてお力をお借りしたいです。 テキストにあった問題「Σ(n!)z^nの収束半径は?(Σはn=0から∞まで)」でコーシー・アダマールの公式を使おうと思います。 n!のn乗根をここではn√nと書くことにして n√n! = n√n・n√(n-1)・…・n√2・n√1 とn個の積だと考えて それぞれはn→∞の極限で1に行くので、n√n!もn→∞の極限で1になると思い、公式から収束半径ρは1だと考えました。 ら、解答には収束半径は0とありました。そして「なぜならz≠0ならばn!|z^n|→∞が成り立つ」とあるのですが、納得できません。 自分の考え方は何が間違っているのでしょうか?よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 収束半径に関する質問です。
微積の本に次のような記述がありました。 ∞ Σa[n]x^nの収束半径をrとする。 n=1 L=lim|a[n+1]/a[n]|が存在すればr=1/L (証)x≠0に対し|a[n+1]x^(n+1)|/|a[n]x^n|→L|x|だから ダランベールの収束判定法(ratio test)より L|x|>1ならばΣa[n]x^nは発散 L|x|<1ならばΣa[n]x^nは収束 よって、r=1/Lだとわかる・・。 これに関して、収束のほうは L|x|<1ならばΣ|a[n]x^n|は収束 よってΣa[n]x^nは収束だから、納得できますが。 なぜいきなりL|x|>1ならばΣa[n]x^nは発散するのでしょうか? この本のratio testは、"正項級数"に関しての定理でした。 なので、 ratio testを適用すれば L|x|>1ならばΣ|a[n]x^n|は発散 としか言えないと思いました・・・(※) そこで、ratio testについていろいろ調べていたところ http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1221819332 ↑コチラに、ratio testの証明に関する記述がしてあるのを見つけました。 ですが、ここで書かれている証明には、私が持っている本に書いてある正項級数に関するものではなく、一般の級数に関してのもののように思います。そして証明も自分で読んでみて正しいように思いました。 [質問1] ratio testが正項級数に関して成り立つということしか知らなければ、 (※)の主張は正しいと思うのですがどうでしょうか? それとも、(※)からΣa[n]x^nの発散が導けるのでしょうか? [質問2] 上記のURLにある証明は正しいのでしょうか? (つまりratio testは正項級数に限らず成り立つのでしょうか?)
- ベストアンサー
- 数学・算数
- 収束半径の求め方について
Σ[∞...n=0] √(1/(n^(2)-n+1)x^n) この収束半径の解き方は a(n+1)/an=2/n×(n-1)=(2(n-1))/n=2-2/n Lim[n→∞] 2-2/n=2 収束半径は1/2であってますか?
- 締切済み
- 数学・算数
- 大学1年レベルの級数に関する問題です
∞ ∞ f(x)=Σ(a_n・x^n)に対して、Σa_n/(n+1)が収束すれば n=1 n=1 1 ∞ ∫f(x)dx=Σa_n/(n+1) が成立することを示せ。 0 n=1 という問題についてなのですが 私はこの問題を見たとき、次の定理 閉区間A=[a,b]上の連続関数f_n:A→R(n=1,2,・・・)を一般項とする関数項級数Σf_n(x)がA上で一様収束していれば a ∞ ∞ b ∫ Σf_n(x)dx=Σ ∫f_n(x)dx が成立する。 b n=1 n=1 a という、項別積分の定理を使おうと思いました。 それで、f_n(x)=a_n・x^nとし、この問題において与えられたΣa_n/(n+1)が収束という条件から、Σf_n(x)が[0,1]上で一様収束することを導こうとしたのですが、うまくいきませんでした。 しかし、Σa_n/(n+1)が収束ではなく絶対収束だったら、Σf_n(x)が[0,1]上で一様収束することを導けました。 具体的には、 Σa_n/(n+1)が絶対収束より、Σ{a_n/(n+1)}x^nの収束半径Rは1<Rを満たす。また、Σ{a_n/(n+1)}x^nとΣa_n・x^nの収束半径は等しい。 ここで 「整級数Σa_n・x^n=Σf_n(x)の収束半径をRとする。0<s<Rなる任意のsに対し、閉区間[-s,s]でこの関数級数は一様収束する」 という定理から、とくにs=1としてやれば、関数項級数Σf_nは[-1,1]で一様収束することが導ける。よって[0,1]でももちろん一様収束するから項別積分の定理が使える。 としました。 なのでもしかしたら”収束”という箇所がミスプリントなのでは?と思ったので質問させていただきました。 ですが、私が単に、収束という条件から答えを導き出せてない可能性のほうが高いと思うので。。。 どなたか回答よろしくお願いしますm(_ _)m ぜんぜん解けなくてとても困ってます・・・。
- ベストアンサー
- 数学・算数
- log(a^2+x^2)の収束半径の求め方
log(a^2+x^2)をマクローリン展開して一般項を求め、収束半径を計算する問題です。 一般項は log(a^2)+Σ(n=1~∞) (-1)^(n-1)(x/a)^(2n)/n となると思うのですが、このあとに収束半径を求める方法がわかりません。 解く過程を教えていただきたいです。 お願いします。
- ベストアンサー
- 数学・算数
- 収束半径なんですが…
次の収束半径を求めてみたんですが、合っているのか心配です。 合っていなければ、答えだけでもいいので教えてください。 Σ{3^n+(-3)^n}x^n (Σの上に∞付いてます) 自分の答えは、収束半径 R=∞ (n=2k ただし、k=1,2,3,…) n=2k+1のときは定義できない? となりました。 ちなみに、おとといの微積の試験問題でした。
- 締切済み
- 数学・算数
お礼
コーシー・アダマールの公式はsupをとるのですね。忘れてました。 ありがとうございます。