微分方程式の級数解の計算方法

このQ&Aのポイント
  • 微分方程式の級数解の計算方法について説明します。
  • 奇数の場合と偶数の場合で分けて計算方法を説明します。
  • 計算手順に従って級数解を求めることで、問題を解くことができます。
回答を見る
  • ベストアンサー

a[0] = a[2m+1] = 0 ?

微分方程式の級数解の計算の途中から書きます: c=1のとき、      (c+1) * c * a[1] = 0      (1+1) * (1) * a[1] = 0      2 * a[1] = 0      a[1] = 0      (c+n+2)(c+n+1) * a[n+2] - a[n] = 0      (1+n+2)(1+n+1) * a[n+2] - a[n] = 0      (n+3)(n+2) * a[n+2] - a[n] = 0      (n+3)(n+2) * a[n+2] = a[n]      a[n+2] = 1/(n+3)(n+2) * a[n] となる。すなわち、nが偶数2m(m=1,2,3,...)の場合、      a[n+2] = 1/(n+3)(n+2) * a[n]      a[2m+2] = 1/(2m+3)(2m+2) * a[n]           :(略)      a[n] = a[2m]      = 1/(2m+1)! * a[0] となる。 また、nが奇数2m+1(m=1,2,3,...)の場合、      a[n] = a[2m+1] = 0     ←これが何故0になるのか分かりません となる。 ・・・と書いてあります。自分でやってみますと、 また、nが奇数2m+1(m=0,1,2,...)の場合、     ←まずは(m=0,1,2,...)から始めます      a[n+2] = 1/(n+3)(n+2) * a[n]      a[ (2m+1)+2 ] = 1/{ (2m+1)+3 }{ (2m+1)+2 } * a[2m+1]      a[ (2m+2)+1 ] = 1/{ 2m+4 }{ (2m+2)+1 } * a[2m+2+1-2]      a[ 2(m+1)+1 ] = 1/{ 2(m+2) }{ 2(m+1)+1 } * a[2(m+1)-1]   ←まだ(m=0,1,2,...)です m=1を基準とすると      a[ 2m+1 ] = 1/{ 2(m+1) }{ 2m+1 } * a[ 2m-1 ]   ←これ以降は(m=1,2,3,...)です      a[ 2m-1 ] = 1/[ 2{(m-1)+1} ]{ 2(m-1)+1 } * a[ 2(m-1)-1 ]      a[ 2(m-1)-1 ] = 1/[ 2{(m-1)+1} ]{ 2(m-1)+1 } * a[ 2(m-1)-1 ]                  :                  : m=2:      a[ 2(2)+1 ] = 1/[ 2{(2)+1} ]{ 2(2)+1 } * a[ 2(2)-1 ]      a[ 4+1 ] = 1/[ 2{3} ]{ 4+1 } * a[ 4-1 ]      a[ 5 ] = 1/{ 6 * 5 } * a[ 3 ] m=1:      a[ 2(1)+1 ] = 1/[ 2{(1)+1} ]{ 2(1)+1 } * a[ 2(1)-1 ]      a[ 2+1 ] = 1/[ 2{2} ]{ 3 } * a[ 2-1 ]      a[ 3 ] = 1/{ 4 * 3 } * a[ 1 ]      a[n] = a[2m+1]         = 1/{ 2(m+1)(2m+1) * [ 2{(m-1)+1} ]{ 2(m-1)+1 } * ... * 4・3} * a[1] ・・・となって、a[n] = a[2m+1] = 0にはなりません。 どこかで間違えていますでしょうか? もしそうであれば、どうか解き方を教えてください。お願いします。

  • libre
  • お礼率93% (230/245)

質問者が選んだベストアンサー

  • ベストアンサー
  • f272
  • ベストアンサー率46% (7998/17100)
回答No.1

a[1]=0 と自分で言っているようだが...

libre
質問者

お礼

あははは、あんなに面倒くさい計算したのに     a[n] = a[2m+1]         = 1/{ 2(m+1)(2m+1) * [ 2{(m-1)+1} ]{ 2(m-1)+1 } * ... * 4・3} * 0         = 0 ・・・というオチだったんですね(爆笑) 計算自体は一応合ってそうなのでよかったです。 これからは短期記憶能力の方を鍛えないとですね。(^^ゞ ありがとうございました!

関連するQ&A

  • 証明

    m,nが奇数のとき、(m^2)-(n^2) は8で割り切れることを証明するには m=2α+1 n=2β+1 (α、βは整数とおくと) (m^2)-(n^2)=(m+n)(m-n) m+n=2(α+β+1) m-n=2(α-β) (m^2)-(n^2)=4(α+β+1)(α-β) までは考えたのですが そのあと、 (1)αが奇数,βが奇数⇒α+β+1が奇数,α-βが偶数   (2)αが奇数,βが偶数⇒α+β+1が偶数,α-βが奇数   (3)αが偶数,βが奇数⇒α+β+1が偶数,α-βが奇数   (4)αが偶数,βが偶数⇒α+β+1が奇数,α-βが偶数 となり,(α+β+1)(α-β)は偶数です. よって、8の倍数といえる これでも合ってますか? 以前、回答がこなかったのでもういちどおねがいします

  • mを自然数,nを奇数とするとき,2(1^n+2^n+…+m^n)がm(m+1)で割り切れる

    mを自然数,nを奇数とするとき,2(1^n+2^n+…+m^n)が m(m+1)で割り切れることを証明したいのですが、あることに気づく必要があるといわれたのですが、それがどうもよくわかりません。 また、nが偶数のときには、何か別の性質があるのでしょうか?

  • (Σa_n・x^n)^m

    mを自然数として(Σ[n=0↑∞]a_n・x^n)^mが収束する場合にこれをべき級数で表した時のx^kの係数の計算の仕方がよくわかりません。a_nやxは実数とします。 Σ[n=0↑∞]Σ[n=n_1+n_2+…+n_m]a_n_1・a_n_2・…・a_n_m・x^nとして a_n_1・a_n_2・…・a_n_m=a_0^i_0・a_1^i_1・…・a_j^i_j・… と表すと有限個のjについてi_j>0でΣ[j=0↑∞]i_j=mであってnを固定するとこの係数をもつ項がm!/(i_1!・i_2!・…・i_n!)個あると考えればいいのかと思ったのですがこの推論は間違っているようです。 別のやり方としてx=0でのk次微分係数を計算してk!で割ればいいと思ったのですが具体的な計算ができませんでした。

  • x^n-1=0の解の2乗

    mを使った指数の表現がわからないので質問します。問題は、 n次方程式x^n-1=0のn個の解 cos((2kπ)/n)+isin((2kπ)/n) (k=0,1,2・・・,n-1)のそれぞれの2乗のうち相異なるもののすべてを解とする最低次の方程式をつくれ。 というものです。 ω=cos((2π)/n)+isin((2π)/n)とおくと、 x^n-1=0のn個の解の集合は、A={1,ω,ω^2,ω^3,・・・,ω^(n-1)}である。 1)n=2m-1(m∈N)のとき、A={1,ω,ω^2,ω^3,・・・,ω^(2m-2)} この各元の2乗の集合は、B={1,ω^2,ω^4,・・・ ,ω^(2m-2),ω^2m,ω^(2m+2),・・・,ω^(4m-4)}である。ここでωはx^(2m-1)-1=0の解であるから、ω^(2m-1)=1。ω^(2m+2k)=ω^(2m-1)*ω^(2k+1)=ω^(2k+1) (k=0,1,2・・・,m-2)。よってA=B ゆえに求める方程式x^n-1=0 自分は、Bの元のω^2m以上のωの偶数乗は、Aの元のωの奇数乗であることは、ω^(2m+2k)=ω^(2m-1)*ω^(2k+1)よりわかったのですが、Bの元のω^(2m-2)以下の元 ,ω^(2m-4)などに対応するAの元があるかがはっきりしません。Aの値によっては、2m-4は負の数になる等疑問がいくつか出てきました。Aのωの指数は,0から2m-2まで1つずつ増えて行くので、ω^(2m-4)はAの元に含まれるとは感覚的にはわかります。しかし、m=2,3の場合を文字で指数を表現するとわかりづらいのです。例えばm=2,n=3のとき A={1,ω,ω^2}={1,ω^(2m-3),ω^(2m-2)} とすると、B={1,ω^(4m-6),ω^(4m-4)}となり、4m-6は2m-2以下か?とかAのωの偶数乗とひとしいか分かりづらかったです。また、2m-k=mを満たすkはmより、A={1,ω^(m-1),ω^(2m-2)} (2m-kで2m-2はm=k=2となるので、)これはB={1,ω^(2m-2),ω^(4m-4)}となり、さらに、m=3,n=5のとき A={1,ω,ω^2,ω^3,ω^4}={1,ω^(m-2),ω^(m-1),ω^(2m-3),ω^(2m-2)}としても、B={1,ω^(2m-4),ω^(2m-2),ω^(4m-6),ω^(4m-4)}とぱっと見ではAのωの偶数乗とひとしいか分かりづらいです。どなたか、Bの元のω^(2m-2)以下の元はAのωの偶数乗の元と等しいとわかりやすくする、ωの指数の表現があれば教えてください。またBの元のどのωの累乗から、2m+2kでどこから4m-2lのかその分け方も教えてください。お願いします。 本の解説はつづいて、2)n=2m(m∈N)のときを考え、答えは、nが奇数のときx^n-1=0 nが偶数のときx^(n/2)-1=0でした。

  • 数学Aの条件のことについて…詳しく教えて下さい…

    mは奇数またはnは奇数→積mnは奇数 という問題がありました。 わからなかったので答えをみたところ、これは偽で反例が(m=1,n=2)でした。どうしてnは奇数と書いてあるのに反例で偶数がでてくるのでしょうか? ちなみに受験生です。

  • 論証 証明の仕方

    命題 m+n,mnが共に偶数ならばm,nは共に偶数である が真であることの証明法を質問します。 逆の命題はm=2k,n=2l(k,lはともに整数)とおいてm+n=2(k+l),mn=2×2klで証明終でしたが,上記のも直接証明できませんか?(lは小文字のエル) 対偶で m,nの少なくとも片方が奇数ならばm+n,mnの少なくとも片方は奇数である は 1)mが偶数m=2k,nが奇数k=2l-1(mnは偶数だがm+nは2k+2l-1となるので奇数) 2)m,n共に奇数 m=2k-1,l=2l-1(m+nは偶数だがmnは4kl-2k-2l+1となるので奇数) 3)mが奇数m=2k-1,nが偶数n=2l(1)と同様) としてそれぞれm+n,mnを示せばよいのでしょうが,そうではない方法でお願いします。 m+n=2k,mn=2lとおいてnを消去したらmの2次式となってしまい,解の公式で解いたら m=l±√ となり,偶数であることを示せませんでした。

  • a,b,cはa^2-3b^2=c^2を満たす整数とするとき、次のことを

    a,b,cはa^2-3b^2=c^2を満たす整数とするとき、次のことを証明せよ。 1、a,bの少なくとも一方は偶数である。 2、a,bが共に偶数なら、少なくとも一方は4の倍数である。 3、aが奇数ならbは4の倍数である。 という問題です。 1はa,bを奇数として、2m+1,2n+1とおいて計算したのですが、いまいちどう証明したらよいのか分かりません。 2はどちらも2m,2nとして計算したら、4(m^2-3n^2)=c^2となったのですが、これで何の証明になるのか…。 3もよく分かりません。 勉強不足で申し訳ありません。考え方だけでも教えてください。よろしくお願いします。

  • 数列の和。偶数奇数に分かれる場合

    よろしくお願いいたいます。 数列の数列の和。偶数奇数に分かれる問題で a2m=4m^2+m a2m-1=4m^2-3m+1 となりました。このn項数までの和を求める問題なのですが、、 項数の設定が良くわかりません。 偶数、奇数とも項数をNでおき、和の公式に当てはめる流れになるのですが 最終的にn項に戻すときに 偶数はn=2Nだから N=1/2nを代入。 奇数はn=2N-1だから N=n+1/2を代入。 まず、項数をn=2N、n=2N-1と置くところがわかりません。 偶数奇数なのだから半分ずつ、1/2nずつではないのですか? また項数をn=2N、n=2N-1と置いたとしいても足す数は最終的にnなのだから 1/2n+n+1/2とnで換算したときに合計がnにならないとおかしいと 感じます。 私は何が理解できていないのでしょうか? 丁寧なご説明をいただけたら幸いです

  • 高校数学です。「 円周を n等分する点を、~」

    高校数学です。次の問題の解と解法がわかりません。どなたか教えていただけないでしょうか。 「 円周を n等分する点を、A1, A2, …, An とする。 この n個の点から異なる3個の点を選び、それらを頂点とする三角形を作ったとき、 鋭角三角形となるような選び方は何通りあるか? (1) n=5 のとき (2) n=6 のとき (3) n が偶数2m のときと、n が奇数2m+1 のとき 」

  • 微分方程式の級数解 a[0] * x^n

    微分方程式      (d^2 y)/(dx^2) + (1/x) (dy/dx) - (n^2/x^2) y = 0   (x>0) の級数解を、次の問いに従って求めよ。 ただし、n>0とする。 (1) 級数解を      y(x) = x^c * Σ[i=0,∞] a[i] * x^i とおいたとき、指数cはどのように求まるか。ただし、a[0] ≠ 0であるとする。 解答 級数解を      y(x) = x^c * Σ[i=0,∞] a[i] * x^i とおいて、項別に微分すると      dy/dx = x^c * Σ[i=0,∞] (c+i)a[i] * x^(i-1)      (d^2 y)/(dx^2) = x^c * Σ[i=0,∞] (c+i)(c+i-1)a[i] * x^(i-2) これを微分方程式に代入して      x^c * Σ[i=0,∞] (c+i)(c+i-1)a[i] * x^(i-2)       + (1/x) * x^c * Σ[i=0,∞] (c+i)a[i] * x^(i-1)        + (n^2/x^2) * x^c * Σ[i=0,∞] a[i] * x^i = 0      x^c * Σ[i=0,∞] (c+i)(c+i-1)a[i] * x^(i-2)       + x^c * Σ[i=0,∞] (c+i)a[i] * x^(i-2)        + n^2 * x^c * Σ[i=0,∞] a[i] * x^(i-2) = 0      x^c * Σ[i=0,∞] { (c+i)(c+i-1) + (c+i) - n^2 } a[i] * x^(i-2) = 0      x^c * Σ[i=0,∞] [ (c+i) { (c+i-1) + 1} - n^2 ] a[i] * x^(i-2) = 0      x^c * Σ[i=0,∞] { (c+i)(c+i-1+1) - n^2 } a[i] * x^(i-2) = 0      x^c * Σ[i=0,∞] { (c+i)(c+i) - n^2 } a[i] * x^(i-2) = 0      x^c * Σ[i=0,∞] { (c+i)^2 - n^2 } a[i] * x^(i-2) = 0 x^(c-2)の係数について      (c^2 - n^2)a[0] = 0 でなければならない。 したがって、a[0] ≠ 0の条件から      c^2 = n^2      c = ±n と定まる。 (2) 一般解を級数解で求めよ。 解答 x^(i+c-2) (i=1,2,3,...)の係数について      { (c+i)^2 - n^2 } = 0 でなければならない。 c=nのとき、      { (c+i)^2 - n^2 } = (n+i)^2 - n^2                = 2ni + i^2 ≠ 0 であるから、a[i] = 0 (i=1,2,3,...)となる。 すなわち、これに対応する解は      a[0] * x^n     ←これが分かりません ・・・とまだまだ続くのですが、a[0] * x^nになる理由が分かりません。 自分で考えてみますと、      Σ[i=0,∞] { (c+i)^2 - n^2 } a[i] * x^(i+c-2) = 0 で、(i=1,2,3,...)はすべてa[i] = 0になると言ってるのだから、残るはi=0のみ。 i=0:      { (c+0)^2 - n^2 } a[0] * x^(0+c-2) = 0      { c^2 - n^2 } a[0] * x^(c-2) = 0 しかも、c=nなので      { n^2 - n^2 } a[0] * x^(n-2) = 0      { 0 } a[0] * x^(n-2) = 0 ・・・x^(n-2)の係数について係数は0という結果になりました。これでいいんですか??? たとえ、{ (c+i)^2 - n^2 } = 2ni + i^2としても、i=0なので0ですよね? このa[0] * x^nはどうやって導いたのでしょうか? 教えてください。お願いします。