Documentos de Académico
Documentos de Profesional
Documentos de Cultura
HW2
HW2
TAREA 2
PLAZO: EL 16 DE OCTUBRE
El plazo para entregar Tarea 2 es el 16 de octubre, lunes, antes del inicio de la clase. Note que se
corregirá sólo una selección de los ejercicios enunciados.
Reading: Melrose, Functional Analysis (Lecture Notes), 3.10-3.11 (Teorema de Riez), más apuntes de clase
(Series de Fourier + Teorema de Banach-Steinhaus).
Pregunta 1. [Operadores adjuntos] Sea (H, h·, ·i) un espacio de Hilbert y sea T ∈ B(H, H) un operador
lineal acotado. Demuestre que existe un único operador T ∗ ∈ B(H, H) tal que
hT x, yi = hx, T ∗ yi para todos x, y ∈ H.
El operador T ∗ : H → H se llama el operador adjunto de T . Pruebe que T ∗ satisface:
(i) kT ∗ k = kT k,
(ii) (T ∗ )∗ = T .
Pregunta 2. Sea (H, h·, ·i) un espacio de Hilbert separable y sea {xn }n∈N ⊆ H una sucesión acotada:
supn kxn k < ∞. Demuestre que existe x ∈ H y una subsucesión {xnk }k tal que
lim hxnk , yi = hx, yi para todo y ∈ H.
k→∞
Se dice que {xnk } converge débilmente a x. (Sugerencia: Tome y igual a cada uno de los miembros de
una base ortonormal y ejecute un argumento diagonal).
la serie de Fourier de f .
(a) Demuestre que para todo r ∈ [0, 1) la serie
∞
X
u(r, θ) := r|n| fˆ(n)en (θ)
n=−∞
2
define una función u(r, θ) ∈ C ([0, 1) × T), la cual satisface la ecuación de Laplace en coordenadas
polares (r, θ):
1 1
∆u = ∂r2 + ∂r + 2 ∂θ2 u = 0 en el disco unitario D = {0 ≤ r < 1, θ ∈ T).
r r
2 TAREA 2
(b) Pruebe que podemos expresar u(r, θ) = Pr ∗ f (θ) como una convolución de f con el kernel de Poisson
1 X |n| inθ 1 1 − r2
Pr (θ) := r e = .
2π 2π 1 − 2r cos θ + r2
n∈Z
Pregunta 4. Denote por FN ∈ L1 (T), N ∈ N, el kernel de Fejèr. Sea σN f := f ∗ FN . Demuestre que para
todo p ∈ [1, ∞]
kσN f kLp (T) ≤ kf kLp (T ) ∀f ∈ Lp (T).
Sugerencia: Utilice la desigualdad de Hölder en estimar
Z Z
1 1
FN (y)|f (x − y)| dy = FN (y)1/q Fn (y)1/p |f (x − y)| dy, + = 1,
T T p q
en combinación con el Teorema de Fubini-Tonelli :
Z Z Z Z
K(x, y) dy dx = K(x, y) dx dy, para toda K : T2 → [0, ∞] (Lebesgue) medible.
T T T T
Pregunta 8. Sean X, Y dos espacios de Banach y sea {Tn }n ⊂ B(X, Y ) una sucesión de operadores lineales
acotados. Suponga que para todo x ∈ X, el lı́mite T x := limn→∞ Tn x existe. Pruebe que si xn → x,
entonces Tn xn → T x para todo x ∈ X.