A.A. 2016/2017
Esercizi su spazi di Hilbert,
problemi di Sturm-Liouville
e polinomi ortogonali
Marco Bramanti
Politecnico di Milano
January 23, 2017
Esercizi
A. Esercizi sulla geometria negli spazi di Hilbert
e i polinomi ortogonali
1
e. Sullo spazio C 1 [a; b] (funzioni a valori reali), il prodotto
Z b
hf; gi = [f (x) g (x) + f 0 (x) g 0 (x)] dx:
a
1; x; x2 ; x3 :
2
Esercizio 7 Esibire un sistema ortonormale completo nello spazio `2 delle suc-
cessioni reali a serie dei quadrati convergente.
L0 (x) = 1; L1 (x) = 1 x;
x2
L2 (x) = 1 2x + 2 ; :::
B. Problemi di Sturm-Liouville
Suggerimento: per prima cosa scrivere per esteso l’equazione di¤ erenziale e de-
terminare il suo integrale generale in funzione di . (E’un’equazione di Eulero...
Ricordare che per reale è xi = ei log x = cos ( log x)+i sin ( log x)). Quindi
imporre le condizioni agli estremi.
3
Esercizio 13 Mostrare che l’equazione di Bessel
n2
xR00 + R0 + x R = 0 per x 2 (0; 1)
x
col
P1metodon di Frobenius, cercando soluzioni in forma di serie di potenze y (x) =
n=0 cn x , arrivando a stabilire una formula di ricorrenza che assegna cn+1 in
funzione di cn . Imponendo che la serie termini, determinare quindi gli autoval-
ori e le corrispondenti autofunzioni (polinomi di Laguerre).
y 00 2xy 0 + y = 0 per x 2 R
col
P1metodon di Frobenius, cercando soluzioni in forma di serie di potenze y (x) =
n=0 cn x , arrivando a stabilire una formula di ricorrenza che assegna cn+2 in
funzione di cn . Imponendo che la serie termini, determinare quindi gli autoval-
ori e le corrispondenti autofunzioni (polinomi di Hermite).
4
Svolgimenti
Esercizio 1
a. Sì, questo prodotto è bilineare e commutativo, inoltre
Z b
2
hf; f i = f (x) dx 0
a
(se f è reale) tuttavia hf; f i = 0 implica che f 0 sia identicamente nulla, quindi
f sia costante, ma non necessariamente identicamente nulla.
e. Sì, questo prodotto è bilineare e commutativo, inoltre
Z bh i
2 2
hf; f i = f (x) + f 0 (x) dx 0
a
5
e poiché
Z 1 1=2
p
k1kL2 ( 1;1) = 12 dx = 2;
1
1
e1 = p :
2
Ora:
e2 = vers (x hx; e1 i e1 )
Z 1
1
hx; e1 i = x p dx = 0
1 2
e2 = vers (x) ;
Z 1 1=2 r
2 2
kxkL2 ( 1;1) = x dx =
1 3
r
3
e2 = vers (x) = x:
2
e3 = vers x2 x2 ; e1 e1 x2 ; e2 e2
Z 1 p
1 2
x2 ; e1 = x2 p dx =
1 2 3
Z 1 r
3
x2 ; e2 = x2 xdx = 0
1 2
p !
2 2 1 1
e3 = vers x p = vers x2 ;
3 2 3
Z 1 ! 1=2 r
2
1 1 2 2
x2 = x2 dx =
3 L2 ( 1;1) 1 3 3 5
r r
3 5 1 1 5
e3 = x2 = 3x2 1 :
2 2 3 2 2
6
e4 = vers x3 x3 ; e1 e1 x3 ; e2 e2 x3 ; e3 e3
Z 1
1
x3 ; e1 = x3 p dx = 0
1 2
Z 1 r p
3 3 3 6
x ; e2 = x xdx =
1 2 5
Z 1 r
3 31 5
x ; e3 = x 3x2 1 dx = 0
1 2 2
p r !
3 6 3 3
e4 = vers x x = vers x3 x ;
5 2 5
Z 1 !1=2 r
2
3 3 2 2
x3 x = x 3
x dx =
5 L2 ( 1;1) 1 5 5 7
r r
5 7 3 1 7
e4 = x3 x = 5x3 3x :
2 2 5 2 2
e1 = vers (1)
Z 1=2
2 p
k1kL2 (R;e x2 dx =
) e x dx = 4
R
1
e1 = p
4
:
7
e2 = vers (x hx; e1 i e1 )
Z
1 2
hx; e1 i = xp 4
e x dx = 0
R
e2 = vers (x) ;
Z 1=2 p
4
x2
kxkL2 (R;e x2 dx =
) x2 e dx = p
R 2
p
2
e2 = p4
x:
e3 = vers x2 x2 ; e1 e1 x2 ; e2 e2
Z p
1 x2
4
x2 ; e1 = x2 p e dx =
R
4
2
Z p
2 2
x2 ; e2 = x2 p
4
xe x dx = 0
R
p4
1 1
e3 = vers x2 p = vers x2 ;
2 4
2
Z !1=2 p
2
1 1 2
4
x2 = x2 e x dx = p
2 L2 (R;e x2 dx) R 2 2
p
2 1
e3 = p x2 :
4
2
e4 = vers x3 x3 ; e1 e1 x3 ; e2 e2 x3 ; e3 e3
Z
1 2
x3 ; e1 = x3 p
4
e x dx = 0
R
Z p p
2 x2 34
x3 ; e2 = x3 p
4
xe dx = p
R 2 2
Z p
3 3 2 1 2
x ; e3 = x 4p x2 e x dx = 0
R 2
p p !
3 34 2 3
e4 = vers x p p x = vers x3 x ;
2 2 4 2
Z !1=2 p
2
3 3 x2 3p
x3 x = x 3
x e dx = 4
2 L2 (R;e x2 dx) R 2 2
2 3 1
e4 = p p x3 x =p p 2x3 3x :
34 2 34
8
In de…nitiva una base ortonormale di V è data da:
1
e1 = p
4
p
2
e2 = p
4
x
p
2 1
e3 = p x2
4
2
1
e4 = p p 2x3 3x ;
34
e1 = vers (1)
Z +1 1=2
x
k1kL2 (R+ ;e x dx) = e dx =1
0
e1 = 1:
e2 = vers (x hx; e1 i e1 )
Z +1
hx; e1 i = xe x dx = 1
0
e2 = vers (x 1) ;
Z +1 1=2
2 x
kx 1kL2 (R+ ;e x dx) = (x 1) e dx =1
0
e2 = x 1:
e3 = vers x2 x2 ; e1 e1 x2 ; e2 e2
Z +1
x2 ; e1 = x2 e x dx = 2
0
Z +1
x2 ; e2 = x2 (x 1) e x dx = 4
0
e3 = vers x2 2 4 (x 1) = vers x2 4x + 2 ;
Z +1 1=2
2
x2 4x + 2 L2 (R+ ;e x dx) = x 2
4x + 2 e x
dx =2
0
1 2 x2
e3 = x 4x + 2 = 2x + 1:
2 2
9
e4 = vers x3 x3 ; e1 e1 x3 ; e2 e2 x3 ; e3 e3
Z +1
x3 ; e1 = x3 e x dx = 6
0
Z +1
x3 ; e2 = x3 (x 1) e x dx = 18
0
Z +1
3 x2
x ; e3 = x3 2x + 1 e x dx = 18
0 2
x2
e4 = vers x3 6 18(x 1) 18 2x + 1
2
= vers x3 9x2 + 18x 6 ;
Z +1 1=2
2
x3 9x2 + 18x 6 L2 (R+ ;e x dx) = x3 9x2 + 18x 6 e x
dx =6
0
1 3 x3 3 2
e4 = x 9x2 + 18x 6 = x + 3x 1:
6 6 2
In de…nitiva una base ortonormale di V è data da:
e1 = 1
e2 = x 1
2
x
e3 = 2x + 1
2
x3 3 2
e4 = x + 3x 1;
6 2
che sono i primi polinomi di Laguerre.
Esercizio 5. Si trovano due diverse basi ortonormali dello stesso spazio vetto-
riale, quello dei polinomi di grado 3: Tuttavia non si trovano gli stessi due in-
siemi di vettori, perché: se cominicamo dal vettore x3 troveremo e1 = vers x3 ;
quindi e1 sarà un monomio del tipo cx3 per una costante c opportuna, mentre
se cominciamo da 1 sarà
e4 = vers x3 x3 ; e1 e1 x3 ; e2 e2 x3 ; e3 e3
e1 = 1
e2 = x 1
2
x
e3 = 2x + 1:
2
10
La proiezione di f (x) = sin x su V0 è:
PV0 f = hf; e1 i e1 + hf; e2 i e2 + hf; e2 i e2
quindi calcoliamo1 :
Z +1
x 1
hf; e1 i = sin xe dx =
0 2
Z +1
x
hf; e2 i = sin x (x 1) e dx = 0
0
Z +1
x2 x 1
hf; e3 i = sin x 2x + 1 e dx =
0 2 4
Perciò
PV0 f = hf; e1 i e1 + hf; e2 i e2 + hf; e2 i e2
1 x2
1
= 2x + 1
2 24
x2 x 1
= + + :
8 2 4
x=2 x=2
Rappresentiamo, a titolo di confronto, i gra…ci di f (x) e e PV0 f (x) e :
11
i vettori
1
en = f kn gk=1
ken k`2 = 1
quindi calcoliamo
Z 1
1
hf; P0 i = sin x p dx = 0
1 2
Z 1 r p
3 6
hf; P1 i = sin x xdx =
1 2
Z 1 r
1 5
hf; P2 i = sin x 3x2 1 dx = 0
1 2 2
Z 1 r p 2
1 7 3 14 15 +
hf; P3 i = sin x 5x 3x dx = 3
1 2 2
perciò p r p r
2
6 3 14 15 + 1 7
s3 (x) = x+ 3
5x3 3x :
2 2 2
12
Rappresentiamo il gra…co di sin x e della sua approssimante s3 (x):
13
Esercizio 10. Calcoliamo anzitutto:
Z +1
f (x) xn e x
dx per n = 0; 1; 2:
0
Z +1 Z +1 +1
4 4
ex=4 e x
dx = e 3x=4
dx = e 3x=4
=
0 0 3 0 3
Z +1 Z +1 +1 Z +1
4 4
ex=4 xe x
dx = xe 3x=4
dx = xe 3x=4
+ e 3x=4
dx
0 0 3 0 0 3
2
4 16
=0+ =
3 9
Z +1 Z +1 +1 Z +1
4 2 4
ex=4 x2 e x
dx = x2 e 3x=4
dx = x e 3x=4
+ 2xe 3x=4
dx
0 0 3 0 0 3
Z +1
8 3x=4 8 16
=0+ xe dx = :
3 0 3 9
Quindi:
4
hf; L0 i =
3
Z +1 Z +1
3x=4 3x=4 4 16 4
hf; L1 i = e dx xe dx = =
0 0 3 9 9
Z +1 Z +1 Z +1
3x=4 3x=4 1
hf; L2 i = e dx 2 xe dx + x2 e 3x=4
dx
0 0 2 0
4 16 1 8 16 4
= 2 + =
3 9 2 3 9 27
e la proiezione richiesta è:
14
x=2 x=2
Gra…co di f (x) e e P f (x) e :
Esercizio 11
a. Regolare. Le funzioni p (x) = x; (x) = 1+x2 sono regolari e strettamente
positive in [1; 2] : Lo spazio di Hilbert in cui le autofunzioni sono ortogonali è
L2 (1; 2) ; 1 + x2 dx
b. Non regolare perché p (x) = x si annulla in un estremo dell’intervallo.
c. Regolare. Le funzioni p (x) = 1+x e (x) = 1 sono regolari e strettamente
positive in [0; 1] ; mentre q (x) = x2 è continua e non negativa in [0; 1] : Lo spazio
di Hilbert è L2 (0; 1) :
d. Non regolare perché la funzione p (x) = 1 + jxj non è C 1 ( 1; 1) (non
derivabile in x = 0).
0 y
(xy 0 ) + =0
x
y
xy 00 + y 0 + =0
x
x2 y 00 + xy 0 + y = 0;
x2 ( a) x 2
+x x 1
+ x =0
x [ ( 1) + + ] = 0 per ogni x; perciò
( 1) + + =0
2
=
p
= i
2 v. ad es. Bramanti, Esercitazioni di Analisi Matematica 2, ed. Esculapio, Cap.1, §1.2.D.
15
(poiché sappiamo già che sarà > 0), quindi l’integrale generale è
p p p p
y (x) = c1 xi + c2 x i
= c1 xi + c2 x i
e in forma reale è
p p
y (x) = c1 cos log x + c2 sin log x :
Esercizio 13
n2
xR00 + R0 + xR = 0 per x 2 (0; 1)
x
0 n2
(xR0 ) + xR R=0
x
16
2
è un problema di Sturm-Liouville con p (x) = x; (x) = x; q (x) = nx . La
funzione p è C 1 ; non negativa, ma si annulla in x = 0; la funzione è continua,
non negativa, ma si annulla in x = 0; la funzione q è non negativa ma discontinua
in x = 0 (tranne il caso n = 0 per cui q è nulla). Perciò il problema è singolare.
La solita dimostrazione prova che gli autovalori sono positivi e le autofunzioni
ortogonali in L2 ((0; 1) ; xdx) :
ed è evidentemente soddisfatta da y 1:
Sia vero per n 1; ossia:
0
x2 0 x2
e hn 1 (x) + 2 (n 1) e hn 1 (x) = 0
!
0 0
x2 2 dn 1
x2 x2 x2 dn 1
x2
e ex e + 2 (n 1) e e e =0
dxn 1 dxn 1
0
x2 2 dn 1
x2 dn x2 dn 1
x2
e ex 2x e + e + 2 (n 1) e =0
dxn 1 dxn dxn 1
0
dn 1 2 dn 2 dn 1
x2
2x n 1
e x + n e x + 2 (n 1) n 1
e =0
dx dx dx
dn+1 x2 d n 2 d n 1 2 dn 1
x2
e + 2x n e x + 2 n 1 e x + 2 (n 1) n e =0
dxn+1 dx dx dx 1
dn+1 x 2 dn
x 2 dn 1
x2
e + 2x e + 2n e = 0:
dxn+1 dxn dxn 1
17
2
dn x2
che sostituendo hn = ex dxn e si riscrive
00 0
x2 2 dn x2 x2 2 dn x2 dn x2
e ex e 2xe ex e + 2n e =0
dxn dxn dxn
e quindi
0
x2 2
dn+1 x2 d n
x2
e ex dxn+1 e + 2x dx n e
x2 2
dn+1 x2 2
dn x2 d n
x2
2xe ex dxn+1 e + 2xex dxn e + 2n dx n e =0
n+1 n
x2 2
d x2 d x2 dn+2 x2 d n
x2 n+1
d x2
e ex 2x dx n+1 e + 4x2 dx n e + dxn+2 e + 2 dx n e + 2x dx n+1 e
n+1 n n
d x2 d x2 d x2
2x dx n+1 e 4x2 dx n e + 2n dx n e =0
dn+2 x2 dn+1 x2 dn x2
e + 2x e + 2 (n + 1) e =0
dxn+2 dxn+1 dxn
che coincide con (1), quindi la tesi è dimostrata.
n=1
X1
y 00 (x) = n (n 1) cn xn 2
n=2
18
e imponendo che si annulli il coe¢ ciente di ogni potenza xn :
c1 + c0 = 0
2
(n + 1) cn+1 = (n ) cn
che dà:
c1 = c0
n
cn+1 = 2 cn per n = 1; 2; 3:::
(n + 1)
che si riassorbono in
n
cn+1 = 2 cn per n = 0; 1; 2; 3:::
(n + 1)
A¢ nché la serie termini è necessario che sia = n per qualche n: In quel
caso si ha
k n
ck+1 = 2 ck per k = 0; 1; 2; :::; n 1
(k + 1)
mentre
ck = 0 per k = n; n + 1; n + 2:::
y 00 2xy 0 + y = 0 per x 2 R
Si ha:
1
X
y 0 (x) = ncn xn 1
n=1
X1
y 00 (x) = n (n 1) cn xn 2
n=2
19
Raggruppando i termini simili
1
X
2c2 + c0 + [(n + 2) (n + 1) cn+2 2ncn + cn ] xn = 0
n=1
2c2 + c0 = 0
(n + 2) (n + 1) cn+2 2ncn + cn = 0 per n = 1; 2; 3; ::
ossia
2c2 = c0
(n + 2) (n + 1) cn+2 = (2n ) cn per n = 1; 2; 3; ::
che si raggruppano in
20