20/08/2019, 05:10:51 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Duda sobre la inmersión de espacios Lp en el espacio de distribuciones  (Leído 463 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Luxeet
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Perú Perú

Mensajes: 94



Ver Perfil
« : 13/12/2018, 05:27:50 pm »

El ejercicio es el siguiente: Debo demostrar que [texx]L^p (\Omega) \hookrightarrow D'(\Omega)[/texx] ,   [texx]\Omega \subseteq{\mathbb{\mathbb{R^n}}}[/texx] es acotado

Spoiler (click para mostrar u ocultar)

Para esto tengo por definición que dados dos espacios vectoriales topológicos [texx]V[/texx] y [texx]W[/texx] se dice que [texx]V \hookrightarrow W[/texx] si existe una aplicación [texx]R: V \rightarrow{ W}[/texx] tal que [texx]R[/texx] es lineal inyectiva y continua.

(Incluso otros textos toman por definición que [texx]V \hookrightarrow W[/texx]  si [texx]\exists{c>0} [/texx] tal que [texx]\left |{u}\right |_W \leq{c\left |{u}\right |_V}[/texx] , [texx]\forall u \in V[/texx])


Ahora, anteriormente a este ejercicio ya tengo demostrado que [texx]L^{1}_{loc}(\Omega) \hookrightarrow D'(\Omega) [/texx]

Entonces ¿bastaría demostrar que  [texx]L^p (\Omega) \subseteq{L^{1}_{loc}(\Omega)}[/texx] para así concluir el ejercicio o debo hacer todo el planteamiento siguiente?:

Spoiler (click para mostrar u ocultar)

Quizá tenga errores en ambos razonamientos que indico,  :triste: como siempre les agradezco muchísimo toda la atención y ayuda que puedan brindarme.

Saludos cordiales.
En línea

Ss.
Masacroso
Pleno*
*****

Karma: +2/-0
Desconectado Desconectado

España España

Mensajes: 1.525


Ver Perfil
« Respuesta #1 : 14/12/2018, 04:23:04 am »

Podrías demostrar que [texx]L^p(\Omega)\hookrightarrow L^1_{\rm loc}(\Omega)[/texx], para eso es suficiente con mostrar que [texx]L^p(\Omega)\hookrightarrow L^p_{\rm loc}(\Omega)[/texx] ya que [texx]L^p_{\rm loc}(\Omega)\hookrightarrow L^1_{\rm loc}(\Omega)[/texx] es bastante trivial.
En línea
Luxeet
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Perú Perú

Mensajes: 94



Ver Perfil
« Respuesta #2 : 14/12/2018, 02:29:36 pm »

Podrías demostrar que [texx]L^p(\Omega)\hookrightarrow L^1_{\rm loc}(\Omega)[/texx], para eso es suficiente con mostrar que [texx]L^p(\Omega)\hookrightarrow L^p_{\rm loc}(\Omega)[/texx] ya que [texx]L^p_{\rm loc}(\Omega)\hookrightarrow L^1_{\rm loc}(\Omega)[/texx] es bastante trivial.
Para ello bastaría probar que [texx]\exists{c>0} [/texx] tal que [texx]\left |{u}\right |_{L^{p}_{loc} (\Omega)} \leq{c\left |{u}\right |_{L^p (\Omega)}}[/texx] ,  [texx]\forall u \in L^p (\Omega)[/texx]

Sería: [texx]\displaystyle\int_{K} \left |{u(x)}\right |^p  dx=\displaystyle\int_{K}\left |{u\cdot{1}}\right |^pdx\leq{ \left\|{u}\right\|_{q}} \left\|{1}\right\|_{p_1}[/texx] esto por desigualdad de Hölder y [texx]q[/texx] es el exponente conjugado de [texx]p_1[/texx]
(y de aquí elegir un valor adecuado de [texx]q[/texx] para darle forma a la norma de [texx]L^p[/texx])


 ¿Y así luego se tendría que [texx]L^p(\Omega)\hookrightarrow L^p_{\rm loc}(\Omega)[/texx]?  :BangHead: No sé está bien hacer la integración sobre [texx]K[/texx] ya que a la derecha de esa desigualdad busco la norma de [texx]L^{p}[/texx]

Gracias
En línea

Ss.
Masacroso
Pleno*
*****

Karma: +2/-0
Desconectado Desconectado

España España

Mensajes: 1.525


Ver Perfil
« Respuesta #3 : 15/12/2018, 06:22:47 am »

Podrías demostrar que [texx]L^p(\Omega)\hookrightarrow L^1_{\rm loc}(\Omega)[/texx], para eso es suficiente con mostrar que [texx]L^p(\Omega)\hookrightarrow L^p_{\rm loc}(\Omega)[/texx] ya que [texx]L^p_{\rm loc}(\Omega)\hookrightarrow L^1_{\rm loc}(\Omega)[/texx] es bastante trivial.
Para ello bastaría probar que [texx]\exists{c>0} [/texx] tal que [texx]\left |{u}\right |_{L^{p}_{loc} (\Omega)} \leq{c\left |{u}\right |_{L^p (\Omega)}}[/texx] ,  [texx]\forall u \in L^p (\Omega)[/texx]

Sería: [texx]\displaystyle\int_{K} \left |{u(x)}\right |^p  dx=\displaystyle\int_{K}\left |{u\cdot{1}}\right |^pdx\leq{ \left\|{u}\right\|_{q}} \left\|{1}\right\|_{p_1}[/texx] esto por desigualdad de Hölder y [texx]q[/texx] es el exponente conjugado de [texx]p_1[/texx]
(y de aquí elegir un valor adecuado de [texx]q[/texx] para darle forma a la norma de [texx]L^p[/texx])


 ¿Y así luego se tendría que [texx]L^p(\Omega)\hookrightarrow L^p_{\rm loc}(\Omega)[/texx]?  :BangHead: No sé está bien hacer la integración sobre [texx]K[/texx] ya que a la derecha de esa desigualdad busco la norma de [texx]L^{p}[/texx]

Gracias

Tienes que usar una función distancia especial para los espacios [texx]L^p_{\rm loc}[/texx], la norma [texx]\|{\cdot}\|_p[/texx] me parece que no sirve (no sé ni siquiera si realmente es una norma en este espacio, ya que en principio una norma no puede tomar valores infinitos).

La distancia en los espacios [texx]L^p_{\rm loc}(X)[/texx], tal y como yo los conozco, se definen a través de una sucesión de subconjuntos abiertos relativamente compactos en [texx]X[/texx] que cubren a [texx]X[/texx]. Sea esa sucesión [texx](X_j)[/texx], entonces para [texx]f,g\in L^p_{\rm loc}(X)[/texx] se define la distancia

[texx]\displaystyle d_p(f,g):=\sum_{j=0}^\infty\frac{2^{-j} q_{j,p}(f-g)}{1+q_{j,p}(f-g)}[/texx]

donde [texx]q_{j,p}(f-g):=\| f|_{X_j}-g|_{X_j}\|_p[/texx], es decir, los [texx]q_{j,p}[/texx] es la distancia inducida por la norma [texx]\|{\cdot}\|_p[/texx] en cada subconjunto [texx]X_j[/texx].

Se puede demostrar que la topología inducida por la función distancia [texx]d_p[/texx] es independiente de la sucesión utilizada, y que además el espacio es completo bajo esa función distancia.

Ésa es la definición que tengo de la distancia utilizada en los espacios [texx]L^p_{\rm loc}[/texx]. Con esa distancia se puede demostrar que la inclusión [texx]i:L^p(X)\to L^p_{\rm loc}(X),\, x\mapsto x[/texx] es continua, y por tanto [texx]L^p(X)\hookrightarrow L^p_{\rm loc}(X)[/texx]. Luego la otra inclusión entre [texx]L^p_{\rm loc}[/texx] y [texx]L^1_{\rm loc}[/texx] también es continua con esas funciones distancias, terminando así la demostración.

De hecho se puede demostrar, además de la inmersión, que cada espacio es denso dentro de otro... pero eso es otro tema.

P.D.: no conozco el teorema de Du Bois Raymond. Si no has usado la función distancia antes descrita entonces probablemente tengas que hacer la demostración de otra manera, con otras herramientas diferentes de las que yo conozco.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!