• ベストアンサー

Σ_{n=0}^∞B_n(x)u^n/n!の変形が

stomachmanの回答

  • stomachman
  • ベストアンサー率57% (1014/1775)
回答No.2

ANo.1のコメントについてです。  なんか計算なさっているようですけど、 >> Σ_{n=0}^∞B_n(x)u^n/n!=ue^{ux}/(e^u-1) 
>> を(uではなく)xでh回微分してx→0にしたら何が起こるか を右辺左辺それぞれやった所がどうも見つからない… 小細工無用でとにかくやってみれば?

catalina2012
質問者

お礼

どうも有難うございます。 >>> Σ_{n=0}^∞B_n(x)u^n/n!=ue^{ux}/(e^u-1) >>> を(uではなく)xでh回微分してx→0にしたら何が起こるか > を右辺左辺それぞれやった所がどうも見つからない… > 小細工無用でとにかくやってみれば? Σ_{n=0}^∞B_n(x)u^n/n!=ue^{ux}/(e^u-1) の右辺をxでh回微分してx→0すると lim_{x→0}d/dx ue^{ux}/(e^u-1)=lim_{x→0}u^2e^{ux}/(e^u-1)=u^2/(e^u-1) lim_{x→0}d^2/dx^2 ue^{ux}/(e^u-1)=lim_{x→0}u^3e^{ux}/(e^u-1)=u^3/(e^u-1) : より lim_{x→0}d^h/dx^h ue^{ux}/(e^u-1)=lim_{x→0}u^{h+1}e^{ux}/(e^u-1) =u^{h+1}/(e^u-1)=u^hΣ_{n=0}^∞B_n u^n となり,左辺をxでh回微分してx→0すると lim_{x→0}d/dxΣ_{n=0}^∞B_n(x)u^n/n! =lim_{x→0}d/dxΣ_{n=0}^∞Σ_{i=0}^n nCi B_i x^{n-i} u^n/n! =1C0 B_0 u^1/1!+2C1 B_1 u^2/2!+3C2 B_2 u^3/3!+… lim_{x→0}d^2/dx^2Σ_{n=0}^∞B_n(x)u^n/n! =lim_{x→0}d^2/dx^2Σ_{n=0}^∞Σ_{i=0}^n nCi B_i x^{n-i} u^n/n! =2C0 B_0 2u^2/2!+3C1 B_1 2u^3/3!+4C2 B_2 u^4/4!+… lim_{x→0}d^3/dx^3Σ_{n=0}^∞B_n(x)u^n/n! =lim_{x→0}d^3/dx^3Σ_{n=0}^∞Σ_{i=0}^n nCi B_i x^{n-i} u^n/n! =3C0 B_0 3・2u^3/3!+4C1 B_1 3・2u^4/4!+5C2 B_2 3・2u^5/5!+… lim_{x→0}d^4/dx^4Σ_{n=0}^∞B_n(x)u^n/n! =lim_{x→0}d^4/dx^4Σ_{n=0}^∞Σ_{i=0}^n nCi B_i x^{n-i} u^n/n! =4C0 B_0 4・3・2u^4/4!+5C1 B_1 4・3・2u^5/5!+6C2 B_2 4・3・2u^6/6!+… : より lim_{x→0}d^h/dx^hΣ_{n=0}^∞B_n(x)u^n/n! =lim_{x→0}d^h/dx^hΣ_{n=0}^∞Σ_{i=0}^n nCi B_i x^{n-i} u^n/n! =hC0 B_0 h・(h-1)…4・3・2u^h/h!+(h+1)C1 B_1 h・(h+1)…4・3・2u^{h+1}/(h+1)!+(h+2)C2 B_2 h・(h-1)…4・3・2u^{h+2}/(h+2)!+… =B_0 u^h/0!+B_1 u^{h+1}/1!+B_2 u^{h+2}/2!+… =Σ_{n=0}^∞B_n u^{h+n}/n! =u^hΣ_{n=0}^∞B_n u^n/n! となりました。 つまり, f(x):=Σ_{n=0}^∞B_n(x)u^n/n!, g(x):=ue^{ux}/(e^u-1)と置くと j=1,2,…,に於いて,lim_{x→∞}f(x)^(h)=lim_{x→∞}g(x)^(h)が成り立つ事が分かりました。 これからどのようにしてf(x)=g(x)が言えるのでしょうか? お手数お掛けしまして申し訳ありません。

関連するQ&A

  • x=Ux'という形を満たすn×n直交行列Uの存在?

    こんにちは。 R^n∋x:=(x_1,x_2,…,x_n)^T≠0をn次ベクトルとすると, x=Ux' (ただし,x':=(x'_1,x'_2,…,x'_{n-m},0,…,0)^T∈R^n, 1<m<n)という形を満たす n×n直交行列Uの存在を示したいのですがどうすればいいでしょうか? なお, 「^T」は転置を表します。

  • R[X_1X_2,…,X_n]=(R[X_1X_2,…,X_n-1])

    R[X_1X_2,…,X_n]=(R[X_1X_2,…,X_n-1])[X_n] が定義され R[X_1X_2,…,X_n]をR上のn変数多項式環、 その元をR係数n変数多項式というとき n変数多項式は整理すると Σ_(0≦i_1,i_2,…,i_n) a_i_1i_2…i_nX_1^i_1X_2^i_2…X_n^i_n (a_i_1…a_i_n∈Rで和は有限和)とかける ことを示したいです 教えてください 文章分かりにくくてごめんなさい

  • Σ{n=0~∞} (x^n)((x-1)^2...

    Σ{n=0~∞} (x^n)((x-1)^2n) /n! …(1) ってどういう風に考えたら e^x(x-1)^2とおけるのでしょうか? テーラー展開の考え方を使うというのはわかるのですが e^x(x-1)^2ってテーラー展開したら Σ{n=0~∞} (x^n)((x-1)^2n) /n! なりますか? テーラー展開は最近知ったばかりでよくわかりませんが、 f(x)=f(a)+f'(a)x/1!+f''(a)(x^2)/2!+f'''(a)(x^3)/3!+... …(2) という式はしってます。 (証明とかはわかりませんが、基本的なsinxとかのテーラー展開はできます) よくわからないのが、(1)式だと、分母がn!のときに分子のxが3n乗になってしまうのがよくわかりません。(2)式のとおり行く分母がn!のときに分子のxがn乗以外にはならない気がするのですが。。。 それともこれはF(x(x-1))=e^x(x-1)^2としてΣ{n=0~∞} ((x(x-1)^2)^n) /n!と考えるのでしょうか?

  • 数式の変形

    (√π)・e^(2・z_1・z_2) =(√π)・Σ[n=0~∞]{(2・z_1・z_2)^n}/(n!) =(√π)・Σ[n,m=0~∞]{(2^n)/(n!)}・(z_1^n・z_2^m)・δ(n,m) この式変形について分かりやすく説明していただけないでしょうか。 間の式変形が分からずにいます。 お忙しい中申し訳ありませんが、 どなたかどうかよろしくお願いいたします。

  • lim [n→∞] (1+1/√n)^n はどうなりますか?

    lim [n→∞] (1+1/√n)^n はどうなりますか? n=(√n)^2までは変形できてもその先はわかりませんでした。 e^2みたいな感じになったんですが・・・多分違うと思います。 よければ教えて下さい。

  • f_n=g_n a.e on R^nとする。g_n→g(測度収束)ならばf_n→g(測度収束)を

    次の問題で質問です。 [問]f_n=g_n a.e on R^nとする。g_n→g(測度収束)ならばf_n→g(測度収束)を示せ(f_n,g_n,gはルベーグ可測な関数)。 [証明] R^nでの殆どいたるところでf_n=g_nだというのだから零集合Zを除いたx∈Eではf_n(x)=g_n(x)という意味だと思います。 f_n,g_n,gをE⊂R^n上のルベーグ可測関数とする。 仮定より,0<∀ε∈R,0=lim[n→∞]μ({x∈E;|g_n(x)-g(x)|≧ε}) =lim[n→∞]μ({x∈E\Z;|g_n(x)-g(x)|≧ε}∪{x∈Z;|g_n(x)-g(x)|≧ε})(但しZは零集合) =lim[n→∞](μ({x∈E\Z;|g_n(x)-g(x)|≧ε})+μ({x∈Z;|g_n(x)-g(x)|≧ε})) (∵測度の定義(可算加法性)) =lim[n→∞](μ({x∈E\Z;|f_n(x)-g(x)|≧ε})+μ({x∈Z;|g_n(x)-g(x)|≧ε})) (∵仮定「f_n=g_n a.e.」) =lim[n→∞](μ({x∈E\Z;|f_n(x)-g(x)|≧ε})+0) (∵零集合の定義) =lim[n→∞]μ({x∈E\Z;|f_n(x)-g(x)|≧ε}+μ({x∈Z;|f_n(x)-g(x)|≧ε})) (∵零集合の定義) ≧lim[n→∞]μ({x∈E\Z;|f_n(x)-g(x)|≧ε}∪{x∈Z;|f_n(x)-g(x)|≧ε})) (∵測度の定義) =lim[n→∞]μ({x∈E;|f_n(x)-g(x)|≧ε}+) 即ち, 0<∀ε∈R,lim[n→∞]μ({x∈E;|f_n(x)-g(x)|≧ε})=0. ∴ {f_n}はgに測度収束する。 となったのですがこれで正しいでしょうか?

  • e^x-(x^0/0!+…+x^n/n!)>0

    f[n](x)=e^x-(x^0/0!+x^1/1!+…+x^n/n!)>0を示せ n=0のとき成立 n=kのとき成立すると仮定すると n=k+1のときf[k+1](x)=f[k](x)-x^(k+1)/(k+1)!となったのですがこれが0より大きいと示す方法が分かりません 教えてください

  • e^x-(x^0/0!+…+x^n/n!)>0

    f[n](x)=e^x-(x^0/0!+x^1/1!+…+x^n/n!)>0を示せ n=0のとき成立 n=kのとき成立すると仮定すると n=k+1のときf[k+1](x)=f[k](x)-x^(k+1)/(k+1)!となってこれが正を示すときに別の質問で(f[k+1](x))'を使って増減表を書くと聞いたのですが(f[k+1](x))'=e^x-(x^0/0!+x^1/1!+…+x^k/k!)が0になる場所はわかるのでしょうか?

  • x^nをx^2+x-2で割ったときの余り

    x^nをx^2+x-2で割ったときの余りを求めよ。 m nは正の整数とする。 という問題で、その前の問題で、 x^(3m) + 1を X^3で割ったあまりを求めていて それが x^(3m) + 1=(x^3-1)(xの整式)+2 =(X-1)(X^2+X+1)Q(X)+2・・・(1) (Q(X)はXの整式)でした。 解答では、この式利用して、 x^nのnをn=3m 、3m+1 、3m+2、 の時で場合わけをしていて、(1)の式を変形してそれぞれの余りを求めていました。 この場合わけはいったいどこからきたのでしょうか? 別の問題なのですが、 整式x^nをx^5-1で割った余りを求める問題で(nは自然数) 二項定理による変形で n=5m+rとして m=0,2,3,・・・・ r=0,1,2,3,4,5 として x^5-1=(x^5-1)(xの整式)+x^r と変形して、r=1~4の時は余りは r^5 r=5 のときは1 として求めていたんですが、今回の問題も同じように nをn=3m 、3m+1 、3m+2ではなくn=3m+r と変形して求めたりはしないのでしょうか?

  • x^n+(1/x^n)をθで表す問題です。

    x+(1/x)=2cosθの時、x^n+(1/x^n)をθで表す問題です。 n=1の時、x+(1/x)=2cosθ n=2の時、x^2+(1/x^2)={x+(1/x)}^2-2=(2cosθ)^2-2=4(cosθ)^2-2 n=3の時、x^3+(1/x^3)={x+(1/x)}^3-3{x+(1/x)}=(2cosθ)^3-3*2cosθ=8(cosθ)^3-6cosθ n=4の時、x^4+(1/x^4)={x+(1/x)}^4-4{x+(1/x)}^2+2=(2cosθ)^4-4(2cosθ)^2+2=16(cosθ)^4-16(cosθ)^2+2 と考えてみると、x^n+(1/x^n)の第1項は2^n*(cosθ)^nと表せそうですが、その他の項をnで表すことができないでおります。 どのように考えていけばよろしいのでしょうか?アドバイスの程宜しくお願い致します。