4 votos

Dudas sobre el teorema de convergencia dominante

Estoy siguiendo un curso de análisis real y mi profesor, mientras demuestra la continuidad de la traslación de funciones en $L^p$ , utilizó el teorema de convergencia dominada (DCT) de una manera extraña. Escribo la primera mitad de la prueba, para ser claro.

Dado $f \in L^p(E)$ con $E$ medible y $1\le p< \infty$ , entonces para cada $\varepsilon >0$ existe $\delta=\delta(\varepsilon)$ tal que $$ \Vert T_hf-f\Vert_p<\varepsilon \ \ \text{ if}\ \ \vert h \vert < \delta $$ Cuando el operador $T_hf$ se define por $$ T_hf(x)= \begin{cases} f(x+h) & \text{if}\ x+h \in E, \\ 0 & \text{if}\ x+h \in \mathbb{R}^N-E \end{cases} $$

Prueba.Primero podemos suponer $f$ continua y con soporte compacto (y al final de la prueba utiliza la densidad de dichas funciones en $L^p$ ). Para todos los $x \in E$ tenemos que $$ \vert T_hf(x)- f(x)\vert^p=\vert f(x+h)-f(x) \vert^p \to 0 \ \ \text{if}\ \ \vert h \vert \to 0$$ Ahora $f$ es continua y con soporte compacto, por lo que $\Vert f \Vert_\infty < \infty$ entonces podemos escribir $$ \vert T_hf(x)- f(x)\vert^p \le \left(\vert f(x+h)\vert+\vert f(x) \vert\right)^p \le 2^p \Vert f \Vert_\infty$$ Por lo tanto, dejar que $K$ sea el soporte compacto de $f$ y $\vert h\vert < \delta$ tenemos que la función $\vert T_hf-f \vert$ desaparece fuera del conjunto $K_\delta=K+B(0,\delta)$ (la bola centrada en $0$ con radio $\delta$ ), que es medible. Así que podemos dominar $$ \vert T_hf-f \vert \le 2^p \Vert f \Vert_\infty \chi_{K_\delta}$$ Ahora, utilizando la DCT, podemos decir que $\Vert T_hf-f \Vert_p <\varepsilon$ para $|h|<\delta$ . Para $f \in L^p(E)$ genérico utilizamos la densidad de las funciones continuas y con soporte compacto.

La DCT es verdadera para familias numerables de funciones $\{f_n \}$ pero aquí se utiliza para una familia no contable $\{f_t\}_{t \in I \subseteq \mathbb{R}}$ , como por ejemplo $T_hf$ . Me las arreglé como sigue para dar un sentido a la prueba.

La DCT establece que si tenemos una secuencia de función medible $f_n$ tal que $f_n \to f$ en forma de punto, y todas las funciones $f_n$ están "dominados" por una función sumable $g$ es decir $|f_n(x)| \le |g(x)|, \ \forall n, \ \forall x$ Así que $$\lim_{n \to \infty} \int_{E} f_{n} d \mu= \int_{E} f d \mu$$ Ahora tenemos un subconjunto $I$ de números reales (suponemos por semplicidad $I$ como intervalo), y una familia de funciones $\{f_t\}_{t \in I}$ (dominado por una función sumable $g$ ). Consideremos la función $$ \begin{aligned} \phi \colon I &\longrightarrow \mathbb{R} \\ t &\longmapsto \int_{E}f_t d \mu \end{aligned} $$ Ahora supongamos que tenemos la propiedad de que, fijado $\bar t \in I$ para todas las secuencias $\{t_n\} \subseteq I$ tal que $t_n \to \bar t$ como $n$ aumento, resultado que $f_{t_n} \to f_{t}$ de la misma manera. Por DCT tenemos que $$\lim_{n\to \infty}\phi(t_n) = \phi(\bar t)$$ para cada secuencia $t_n$ convergente a $\bar t$ . Así que para un teorema bien conocido de la topología, tenemos $$ \lim_{t \to \bar t} \phi(t)=\phi(\bar t) $$

Elección de $\phi(h)=T_hf$ y $\bar t=0$ hemos concluido el problema.

Porque no tengo práctica con $L^p$ espacio mi pregunta es si el razonamiento anterior es correcto o no. Mi profesor utiliza ese hecho fácil, sin argumentos largos, por lo que puede haber una forma de razonamiento más rápido?

Muchas gracias.

1voto

Davide Giraudo Puntos 95813

Creo que tu razonamiento era más o menos lo que tu profesor tenía en mente. En realidad, lo que tenemos que demostrar es que para cada secuencia $\{h_n\}$ convergiendo a $0$ tenemos $\lVert \tau_{h_n}f-f\rVert_{L^p}\to 0$ . Es suficiente para llegar a la conclusión, ya que si no fuera cierto, habría un $\varepsilon$ de manera que si $\delta>0$ podemos encontrar $|h|<\delta$ tal que $\lVert \tau_{h}f-f\rVert_{L^p}\geqslant \varepsilon$ . En particular, tomando $\delta=\frac 1n$ para $n$ entero, encontramos una secuencia $\{h_n\}$ convergiendo a $0$ tal que $\lVert \tau_{h_n}f-f\rVert_{L^p}\geqslant \varepsilon$ una contradicción.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X