Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Exer
Exer
Teoría Espectral:
Ejercicios Para Entregar
KC
20 de junio de 2020
E JERCICIO 1
z
3
E JERCICIO 2
P ROBLEMA : Probar que Cc∞ (Rd ) (funciones suaves de soporte compacto) es den-
so en L p (Rd ), para 1 ≤ p < ∞.
D EMOSTRACIÓN : Sea ϕ ∈ Cc∞ (Rd ) tal que Rd ϕ(x) dx = 1. Luego, la familia de
R
Por lo anterior, si x se toma de tal forma que d(x, BR ) := ı́nfy∈BR |x − y| > N, enton-
ces g ∗ ϕδ (x) = 0. Así, g ∗ ϕδ tiene soporte compacto.
Por tanto, al ser {ϕδ }δ una aproximación de la identidad, se concluye que para
1 ≤ p < ∞,
kg ∗ ϕδ − gkL p (Rd ) → 0, cuando δ → 0.
Finalmente, si notamos que
k f − g ∗ ϕδ kL p (Rd ) = kg + h − g ∗ ϕδ kL p (Rd ) ≤ kg − g ∗ ϕδ kL p (Rd ) + khkL p (Rd ) < 2ε,
para δ lo suficientemente cercano a cero, entonces obtenemos que Cc∞ (Rd ) = L p (Rd ),
para 1 ≤ p < ∞. z
4
E JERCICIO 3
c T EOREMA 1.
Toda función ϕ ∈ S (Rd ) tiene las siguientes propiedades:
2πix·ξ
R
a.) ϕ(x) = Rd ϕ̂(ξ )e dξ (Fórmula de Inversión de Fourier),
b.) ϕ̂ ∈ S (Rd ). Además, el operador Transformada de Fourier ( ˆ· ) : S (Rd ) →
S (Rd ) es un operador biyectivo.
ˆ
c.) ϕ̂(x) = ϕ(−x), para todo x ∈ Rd ,
¯
d.) ϕ̄ˆ (ξ ) = ϕ̂(−ξ ).
c T EOREMA 2.
Si f , g ∈ L1 (Rd ), entonces
Z Z
fˆ(ξ )g(ξ ) dξ = f (x)ĝ(x) dx.
Rd Rd
^ P ROPOSICIÓN 1.
Si ϕ ∈ S (Rd ), entonces
kϕkL2 (Rd ) = kϕ̂kL2 (Rd ) .
E JERCICIO 4
E JERCICIO 5
P ROBLEMA : H0 no es acotado
D EMOSTRACIÓN : En primer lugar recordemos que el operador H0 se define por
la fórmula
H0 f := F −1 (4π 2 |ξ |2 F ( f )), para todo f ∈ D(H0 ),
donde D(H0 ) := { f ∈ L2 (Rd ) : |ξ |2 fˆ(ξ ) ∈ L2 (Rd )}. Así pues, sea Rn el rectángulo
[n, n + 1] × · · · × [n, n + 1] en Rd , con n entero mayor o igual que 1. Luego, por
el hecho que F es biyectiva, podemos considerar fn tal que fˆn = χ Rn , de lo cual
debemos notar que fn ∈ D(H0 ), para cada n ≥ 1, pues |ξ |2 χ Rn (ξ ) ∈ L2 (Rd ) debido
a que su soporte es compacto.
Ahora bien, k fn kL2 (Rd ) = kχ Rn kL2 (Rd ) = 1 gracias al Teorema de Plancherel, por
lo cual, para mostrar que H0 no es acotado, debemos probar que kH0 fn kL2 (Rd ) →
∞ cuando n → ∞. Para ello usamos nuevamente la identidad de Plancherel en la
siguiente igualdad:
E JERCICIO 6
P ROBLEMA : Probar que σ (H0 ) ⊆ [0, ∞). Ver si es cierta la otra contenencia (sí
es cierta).
9
S OLUCIÓN : Para probar que σ (H0 ) ⊆ [0, ∞), veamos que λ ∈ ρ(T ) si λ < 0. Para
ello usaremos la identidad de Plancherel, la cual nos permite obtener la siguiente
estimación, para todo f ∈ D(H0 ):
Luego, por ser H0 un operador autoadjunto, λ ∈ ρ(H0 ), lo cual significa que σ (H0 ) ⊆
[0, ∞).
Ahora bien, para ver que λ ∈ σ (H0 ) cuando λ ≥ 0, definamos
2
2 4π
An := ξ ∈ Rd : λ ≤ 4π 2 |ξ | ≤ λ + , y βn ,
n
donde βn es tal que kβn χ An kL2 (Rd ) = 1. Así, aprovechando el hecho que F es biyec-
tiva, suponemos fn ∈ L2 (Rd ) tal que fˆn = βn χ A , la cual cumple que k fn k 2 d = 1,
n L (R )
gracias a la Identidad de Plancherel, además de que fn ∈ D(H0 ), debido a que el
soporte de βn χ An es compacto. En consecuencia, observemos lo siguiente:
E JERCICIO 7
E JERCICIO 8
P ROBLEMA : Sea H un espacio de Hilbert y sea {Ut }t∈R un grupo unitario fuer-
temente continuo en H. Probar que, dado t0 ∈ R,
Ut f → Ut0 f en H, cuando t → t0 .
E JERCICIO 9
e−itH0 f − f −1 e−itH0 f − f
−1
hB f , gi = lı́m , g = lı́m ,g
i t→0 t t→0 i t
−1 eitH0 g − g eitH0 g − g
−1
= lı́m f , = f, lı́m = h f , Bgi . (6)
t→0 i −t i t→0 −t
Ahora bien, se sabe que si f ∈ D(H0 ), entonces
e−itH0 f − f
lı́m = −iH0 f ,
t→0 t
de lo cual se concluye que B es una extensión simétrica de H0 , y ya que H0 es un
operador autoadjunto, entonces B es extendido por H0 , teniendo así que H0 = B. z
^ P ROPOSICIÓN 2.
Sean x ∈ H; ε, δ > 0, y t0 , s0 ∈ R. Si para todo t ∈ R tal que |t − t0 | < δ se satisface
kUt −Ut0 (x)k < ε, entonces kUs −Us0 (x)k < ε, para todo s ∈ R tal que |s − s0 | < δ .
D EMOSTRACIÓN : Supongamos que |s − s0 | < δ . Si s0 = t0 + m, para algún m ∈
R, existe t ∈ R tal que s = m + t. Por consiguiente, |t0 − t| = |t0 + m − t − m| =
|s0 − s| < δ . Así pues,
Us −Us (x)
=
Um+t −Um+t (x)
=
Um (Ut −Ut (x))
=
Ut −Ut (x)
< ε.
0 0 0 0
z
13
^ P ROPOSICIÓN 3.
Sean f ∈ Cc∞ (R) y x ∈ H. Si supp f ⊆ [−M, M], para algún M > 0 y P denota la
familia de particiones del intervalo [−M, M], entonces
Z ∞
−∞
f (t)Ut x dt := lı́m
kPk→0 P
∑ f (tˆj )Utˆj x(t j+1 − t j ) existe,
P∈P
donde t j son los extremos de los subintervalos de la partición P y t j ≤ tˆj ≤ t j+1 .
D EMOSTRACIÓN : Sea P ∈ P y sean ĥ j y tˆj tales que t j ≤ ĥ j , tˆj ≤ t j+1 . Luego,
observemos que
∑ f (tˆj )(t j+1 − t j ) Utˆj x − ∑ f (ĥ j )(t j+1 − t j )Uĥ j x
P P
=
∑(t j+1 − t j )[ f (tˆj )Utˆj x − f (ĥ j )Uĥ j x]
P
≤ ∑
f (tˆj )(t j+1 − t j )(Utˆj −Uĥ j (x))
P
ˆ
+ ∑
( f (t j ) − f (ĥ j ))(t j+1 − t j )Uĥ j (x)
.
P
Ahora bien, notemos que cada sumando a la derecha de la desigualdad puede llegar
a ser tan pequeño como queramos. Ciertamente, usando que Ut x → x, cuando t →
0, la Proposición 2 nos permite concluir que dado ε > 0 existe P1 ∈ P con su
norma lo suficientemente pequeña, tal que kUtˆj −Uĥ j (x)k < ε, para todos los puntos
intermedios ĥ j y tˆj de la partición. Así,
∑
f (t j )(t j+1 − t j )(Utˆj −Uĥ j (x))
≤ ε ∑ f (tˆj ) (t j+1 − t j ),
ˆ
P1 P1
Por su parte, para el segundo término se concluye que, por ser f integrable según
Riemann, sobre [−M, M], existe P2 ∈ P tal que
∑ f (tˆj ) − f (ĥ j ) (t j+1 − t j ) < ε.
P2
^ P ROPOSICIÓN 4.
D es denso en H.
R
D EMOSTRACIÓN : Sea f ∈ Cc∞ (R) tal que R f (t) dt = 1 y cuyo soporte está
contenido en el intervalo [−M, M], con M > 0. Entonces la familia de funciones
{ fδ }δ , donde
1 t
fδ (t) := f , para todo t ∈ R,
δ δ
R
cumple que R fδ (t) dt = 1 y supp fδ ⊆ [−δ M, δ M], para cada δ > 0. En conse-
cuencia,
Z ∞
kx fδ − xk = fδ (t)(Ut x − x) dt
−∞
Z ∞
≤ fδ (t) dt sup kUt x − xk = sup kUt x − xk, (8)
−∞ t∈[−δ M,δ M] t∈[−δ M,δ M]
se concluye que
Us − I
Z ∞
xf → − f 0 (t)Ut x dt = x− f 0 , cuando s → 0.
s −∞
^ P ROPOSICIÓN 6.
Sean t ∈ R y x ∈ H. Entonces Ut (D) ⊆ D y Ut Ax f = AUt x f , para x f ∈ D.
D EMOSTRACIÓN : Para ver que Ut (D) ⊆ D, notemos que
Z ∞ Z ∞ Z ∞
Ut x f = Ut f (s)Us x ds = f (s)Ut+s x ds = f (s − t)Us x ds = x f (•−t) ,
−∞ −∞ −∞
^ P ROPOSICIÓN 7.
Sea T un operador simétrico. T es autoadjunto si, y sólo si N(T ∗ ± iI) = {0}.
Así, supongamos que existe u ∈ D(A∗ ) tal que A∗ u = iu. Luego, al fijar t ∈ R,
16
observemos que
Ut+s −Ut Us − I
x f = Ut x f → iUt Ax f , cuando s → 0. (15)
s s
Luego, por la Proposición 6, podemos concluir que para cada x ∈ D se cumple lo
siguiente:
d
hUt x, ui = hiAUt x, ui = i hUt x, A∗ ui = i hUt x, iui = hUt x, ui .
dt
Ahora bien, si ϕ(t) := hUt x, ui, para todo t ∈ R, lo anterior nos permite decir que ϕ
es solución de la ecuación diferencial ordinaria
ψ 0 = ψ, (16)
cuyas soluciones son de la forma Cet . Por consiguiente, ϕ(t) = hx, ui et . Luego, al
observar que
|hUt x, ui| ≤ kUt xkkuk = kxk kuk ,
concluimos que ϕ es una función acotada, lo cual es posible sólo si hx, ui = 0. Y ya
que lo anterior se obtiene para todo x ∈ D, la densidad de D en H (Proposición 4)
implica que u = 0. De forma análoga se prueba que ker(A + iI) = {0}. Así, usando
(8) concluimos que A es autoadjunto.
Finalmente, definimos Vt := eitA y el objetivo ahora es probar que Ut = Vt , para todo
t ∈ R. Para ello usaremos el siguiente hecho:
^ P ROPOSICIÓN 8.
Si T es autoadjunto y Vt := eitT , entonces para cada x ∈ D(T ),
Vt x − x
→ iT x, cuando t → 0.
t
Además, Si el anterior límite existe para algún x ∈ H, entonces x ∈ D(T ).
Supongamos que x ∈ D = D(A), por lo cual x ∈ D(A). Luego, por la Proposición 8
se concluye, de forma análoga a (15), que Vt x ∈ D(A) y por tanto,
Vt+s x −Vs x
V 0 (t)x := → iAVt x, cuando s → 0.
s
Así pues, sea w : R → H la función definida por la fórmula
w(t) := Ut x −Vt x, para todo t ∈ R.
Ahora notemos que de la Ecuación (15) y la Proposición 6 también se concluye que
w0 (t) = iUt Ax − iAVt x = iAUt x − iAVt x = iAUt x − iAVt x = iAw(t).
Por consiguiente,
d d
kw(t)k2 = hw(t), w(t)i
dt dt
= i Aw(t), w(t) + w(t), iAw(t)
= i Aw(t), w(t) − i w(t), Aw(t) = 0,
17
por el hecho que A es autoadjunta. Luego, como w(0) = 0, se concluye que w(t) = 0,
para todo t ∈ R, y como D es denso, entonces Ut ≡ Vt z