5.6 Potenzreihenansatz

Wir wiederholen das Cauchy-Produkt aus HM I:

(  oo      )  (  oo     )     oo  ( n      )
   sum  a xk  .  sum  b xj  =  sum     sum  a   b  xn
  k=0 k      j=0 j      n=0  l=0 n-ll

Wir wollen uns nun mit folgender Differentialgleichung beschäftigen:

|----------------------|
|Ly = y''+ p(x)y'+ q(x)y |
-----------------------

Wir nehmen an, daß p(x) und q(x) Potenzreihen sind:

       sum  oo 
p(x) =   pjxj
      j=0

        oo 
q(x) =  sum  qkxk
      k=0

Die Reihen konvergieren innerhalb des gemeinsamen Konvergenzradius:

|x|< R

Wenn man sich beispielsweise mit der Schrödinger-Gleichung beschäftigt, erhält man folgende Differentialgleichungen:

Sowohl die Legendre- als auch die Besselsche Differentialgleichungen treten insbesondere bei kugelsymmetrischen Problemen auf.

         p(x)    q(x)
~Ly = y''+ -x--y'+ -x2-y

        oo             oo 
p(x) =  sum  p xj,q(x) =  sum  qxk,|x|< R
      j=0 j         k=0 k

Gesucht sind Lösungen bei x = 0, d.h. für x > 0 bzw. x < 0. x = 0 in der Gleichung oben heißt Stelle der Bestimmtheit oder reguläre singuläre Stelle.

Beispiel:

Wir betrachten die Eulersche Differentialgleichung:

2x2y''+3xy'- y = 0,0 < x < a

y''+ 31y'- -1- y = 0,p(x) = 3,q(x) = - 1
     2x    3x2            2         2

Wir machen folgenden Ansatz:

y = xr,y'=  rxr-1,y''= r(r - 1)xr-2

Durch Einsetzen geht die Differentialgleichung über in:

2r(r- 1)+ 3r -1 = 0

Durch Auflösen ergibt sich:

r1 = +1,r2 = -1
      2

Damit folgt für die allgemeine Lösung:

|--------------------------------------------------|
|       12      -1                                  |
-y-=-C1x--+C2x---wobei-C1,C2-beliebige-Konstanten-sind-

Ein anderer Ansatz wird sein:

|----------- oo -----|
|y(x,r) = xr sum  ckxk|
|          k=0     |
-------------------

Es handelt sich um einen verallgemeinerten Potenzreihenansatz (Methode von Frobenius).

Ly = x2y''+ xp(x)y'+q(x)y = 0

Hier wird als der Ansatz verwendet:

|------------------|
|         r sum  oo   k |
|y(x,r) = x   ckx  |
-----------k=0-----

      2 '' (        2      3    ) '  (            2    )
Ly = x y  + p0x + p1x  + p2x  + ... y +  q0 + q1x+ q2x + ...y = 0

            oo  sum         sum  oo 
y(x,r) = xr   ckxk =    ckxk+r
           k=0       k=0

 '   sum  oo         k+r-1
y =    ck(k+ r)x
    k=0

     sum  oo 
y''=    ck(k+ r)(k + r- 1)yk+r-2
    k=0

Mit dem Cauchy-Produkt ergibt sich nun:

          (  oo     ) (  oo     )       oo  ( k        )
q(x)y = xr  sum  q xj    sum   cxk  = xr  sum    sum  q    c   xk
           j=0 j     k=0 k         k=0 n=0 k-m  m

           (  oo     ) (  oo           )       oo  (  k              )
xp(x)y'= xr   sum  pjxj     sum  ck(k + r)xk  = xr  sum     sum  (m + r)pk-mcm   xk
            j=0        k=0                 k=0 m=0

          oo  sum 
x2y''= xr    (k+ r)(k+ r -1)ckxk
         k=0

Diese Summen werden in die Differentialgleichung Ly = x2y'' + xp(x)y' + q(x)y eingesetzt:

    oo  sum  [                     sum k                        ]
xr     (k+ r)(k+ r- 1)ck +    [(m + r)pk-mcm  +qk-mcm]  xk
   k=0                     m=0

Sie Summanden zu k = 0 werden extra geschrieben:

  [                           [                                               ]  ]
 r                          sum  oo                      sum k                           k
x  r(r - 1) c0 + rp0c0 + q0c0 +   (k+ r)(k + r- 1)ck +    [(m + r)pk-mcm + qk-mcm] x
                           k=1                     m=0

  [                       sum  oo  (
xr c0(r(r- 1)+ rp0 + q0)+    ((k + r)(k + r- 1)+ (k+ r)p0 + q0)ck+
                         k=1
   k sum -1                       )  ]
+     [((m + r)pk-m + qk- m)cm] xk
   m=0
(5.2)

Wir führen folgende Abkürzungen ein:

f(r) = r(r - 1)+ p0r+ q0

Es handelt sich um das charakteristische Polynom für L. Das Ergebnis lautet mit y(x,r) = xr  sum k=0 oo c kxk:

                 sum  oo  [          k sum -1                     ]
Ly = xrc0f(r)+ xr   f (r + k)ck +    [(m + r)pk-m + qk-m]cm  xk
                k=1            m=0

Gesucht sind c0, c1, ... und r derart, daß Ly = 0 ist für x > 0.

Es handelt sich hierbei um die Rekursionsformeln für ck. Falls f(r + k)/=0 für k = 1, 2, ..., dann kann man aus (2) alle ck berechnen, falls c0 bekannt ist:

              0
c = - ---1--- sum   [(m + r)p    + q   ]c  = ----1--- (rp + q)c  = c (r)c
 1    f(r+ 1)m=0         1-m    1- m  m    f(r + 1)   1   1  0    1   0

         1     sum 1
c2 = --------    [(m + r)p2-m + q2-m]cm = c2(r)c0
      f(r+ 2) m=0

ck = ck(r)c0

ck(r) hängt ab von p0, p1, ..., pk, q0, q1, ..., qk, r. Damit folgt im Ansatz:

y = xr(c0 + c1x+ c2x2 + c3x3 + ...)= c0xr(1+ c1x+ c2x2 + ...)

Es folgt zwingend, daß c0/=0. Damit wählen wir c0 = 1. Aus (1) folgt f(r) = 0 = r(r - 1) + rp0 + q0 = (r2 - r1)(r - r2). Es handelt sich um eine quadratische Gleichung, die man unter anderem auch determinierende Gleichung nennt. Wir numerieren die r so, daß r1 > r2. Für komplexe r gilt Re(r1) > Re(r2). Nun muß gelten:

f(r1 + k) = k(r1- r2 + k) /= 0  A k  (-  N

f(r + k) = k(k- (r - r )) /= 0, nur falls r - r  (- /N
   2             1   2               1   2