Sturm-Liouville-Problem

Sturm-Liouvillescher Dierentialoperator:
Wie bringe ich einen allgemeinen linearen Dierentialoperator 2. Ordnung
L
x
y(x) =
_
a(x)
d
2
dx
2
+ b(x)
d
dx
+ c(x)
_
y(x) auf Sturm-Liouvillegestalt
L
x
y(x) =
1
(x)
S
x
y(x) , wobei S
x
y(x) =
_
d
dx
_
p(x)
d
dx
_
+ q(x)

y(x) der Sturm-

Liouvillesche Dierentialoperator ist?
_
a(x)
d
2
dx
2
+ b(x)
d
dx
+ c(x)
_
y(x) =
_
p(x)
(x)
d
2
dx
2
+
p

(x)
(x)
d
dx
+
q(x)
(x)
_
y(x)
Aus Koezientenvergleich folgt:
_
_
_
p(x) = a(x)(x)
p

(x) = b(x)(x)
q(x) = c(x)(x)

p
= (ln p)

=
b
a
p(x) = C exp(
_
b(x)
a(x)
dx)
(C ist nur eine Integrationskonstante, die sich wieder herausk urzen sollte.)
Durch Einsetzen von p(x), (x) =
p(x)
a(x)
und q(x) = c(x)(x) =
c(x)
a(x)
p(x)
in L
x
y(x) =
1
(x)
_
d
dx
_
p(x)
d
dx
_
+ q(x)

y(x) erhalt man die gesuchte Gestalt.

Sturm-Liouville-Transformation:
Wie komme ich von L
x
y(x) =
1
(x)
_
d
dx
_
p(x)
d
dx
_
+ q(x)

y(x) = y(x), mit

x [a, b] auf die Liouvillesche Normalform
_

d
2
dt
2
+ q(t)
_
w(t) = w(t) mit
t = t(x), in der ich das Eigenwertproblem viel leichter losen kann?
Wir machen den Ansatz y(x) = w(t(x))H(x).
Es folgt y

= w

H + wH

= wt

H + wH
1
(Kettenregel!)
und y

= w(t

)
2
H + wt

H + 2 wt

+ wH

.
Einsetzen in die Dierentialgleichung L
x
y(x) = y(x) liefert
p

( w(t

)
2
H + wt

H + 2 wt

+ wH

) +
p

( wt

H + wH

) +
q

wH = wH

(t

)
2
p

w(t) + (
t

+
2t

H
+
t

) w(t) + (
pH

H
+
p

H
+
q

)w(t) = w(t)
Aus Vergleich mit der Normalform w(t) + qw(t) = w(t) folgt

(t

)
2
p

= 1 t

=
_

p
t(x) =
x
_
a

( x)
p( x)
d x
1
Ein Strich steht f ur eine Ableitung nach x und ein Punkt f ur eine Ableitung nach t.
1
Daraus kann man dann auch die Umkehrfunktion x = x(t) bestimmen.
Das Vorzeichen ist so zu wahlen, dass t

p > 0 erf ullt ist.

+
2t

H
+
t

= 0 =
1
2
t

+
H

H
+
1
2
p

p
(ln H)

=
1
2
(ln(t

p))

ln H =
1
2
ln(t

p) + c (wahle o.B.d.A. c = 0)
H =
1

p
H(x) =
1
4
_
(x)p(x)
q =
1
H
(pH

+ p

+ qH) =
1
H
L(H)
Sollte in q noch eine x-Abhangigkeit sein, muss hier x = x(t) gesetzt
werden, um q = q(t) zu erhalten.
Durch Einsetzen erhalt man die Liouvillesche Normalform _

d
2
dt
2
+ q(t)
_
w(t) = w(t).
(Sowohl Denitionsbereich als auch Randbedingungen konnen sich durch die
Transformation andern!)
2