Espacio de Sóbolev

Espacio de Sóbolev

Espacio de Sóbolev

Un espacio de Sóbolev es un tipo de espacio vectorial funcional, dotado de una norma de tipo Lp, tal que la función y sus derivadas hasta cierto orden tienen norma finita. Un espacio de Sóbolev puede ser considerado como un subespacio de un espacio Lp, estos espacios reciben su nombre del matemático ruso Sergéi Sóbolev.

Contenido

Espacios Wm,p(Ω)

Un espacio de Sóbolev es un espacio vectorial normado de funciones puede verse como un subespacio de un espacio Lp. De hecho un espacio de Sóbolev es un subespacio del espacio Lp formado por clases de funciones tales que sus derivadas hasta orden m pertenecen también a Lp. Dado un dominio \scriptstyle \Omega\subset\R^n el espacio de Sobolev \scriptstyle W^{m,p}(\Omega)\, se define como:

W^{m,p}(\Omega)=\{f\in L^p(\Omega) |\ D^\alpha f\in L^p(\Omega),\ 
\forall \alpha\in\mathbb{N}^n: |\alpha| \le m\ \} \subset L^p(\Omega)

Donde D^\alpha f\, es la notación multi-índice para las derivadas parciales. Debe tenerse presente que dicho espacio está de hecho formado realmente por clases de equivalencia de funciones.

La norma del espacio de Sóbolev se define a partir de la norma \|\cdot\|_{L^p(\Omega)} de Lp:

\|f\|_{m,p,\Omega} = \left[ \sum_{|\alpha|\le m} \|D^\alpha f\|^p_{L^p(\Omega)} \right]^{1/p}, \qquad 1 \le p < \infty

\|f\|_{m,\infty,\Omega} = \max_{|\alpha|\le m} \|D^\alpha f\|_{L^\infty(\Omega)}

Algunas propiedades interesantes son:

  • Los espacios de Sóbolev son reflexivos para \scriptstyle 1 < p < \infty
  • El espacio de Sóbolev \textstyle W^{0,p}(\Omega) = L^p(\Omega)
  • \textstyle W^{m,p}(\Omega) \hookrightarrow \hookrightarrow W^{k,p}(\Omega) si \textstyle m>k
  • \textstyle C^m(\bar\Omega) \hookrightarrow W^{m,p}(\Omega)
  • \textstyle C^\infty(\bar\Omega) \cap W^{m,p}(\Omega) es denso en \textstyle W^{m,p}(\Omega)

Esta última propiedad permite definir un subespacio de clases de equivalencia de funciones que se anulan sobre la frontera, a partir de la clausura topológica:

W^{m,p}_0(\Omega) = \overline{W^{m,p}(\Omega) \cap C^\infty_0(\Omega)}

Espacios Hm(Ω)

Algunos espacios de Sóbolev, con p = 2\, pueden ser dotados de la estructura de espacio de Hilbert al igual que los espacios L2:

H^m(\Omega) \equiv W^{m,2}(\Omega)

Donde el producto interno se define a partir del producto interno de L2:

(f,g)_{H^m(\Omega)} = \sum_{|\alpha| \le m} (D^\alpha f, D^\alpha g)_{L^2(\Omega)}

Analagamente al caso de los espacios W^{m,p}_0(\Omega) se define el espacio:

H^m_0(\Omega) = \overline{H^m(\Omega) \cap C^\infty_0(\Omega)}

Referencia

Bibliografía

  • R. A. Adams (1975): Sobolev Spaces, Academic Press, New York, 1975.
  • R. Dautray & J.L. Lions, Mathematical Analysis and Numerical Methods for Science and Technology, Vol II, Functional and Variational Methods, Springer-Verlag, Nwe York, 1988.
  • S.L. Sobolev, "On a theorem of functional analysis" Transl. Amer. Math. Soc. (2) , 34 (1963) pp. 39–68 Mat. Sb. , 4 (1938) pp. 471–497
  • S.L. Sobolev, "Some applications of functional analysis in mathematical physics" , Amer. Math. Soc. (1963)
  • E. Zeidler, Nonlinear Functional Analysis and its Applications. I: Fixed-point Theorems, Springer-Verlag, New York, 1985.
  • E. Zeidler, Nonlinear Functional Analysis and its Applications. IIA: Fixed-point Theorems, Springer-Verlag, New York, 1990.
  • E. Zeidler, Nonlinear Functional Analysis and its Applications. III: Fixed-point Theorems, Springer-Verlag, New York, 1986.
Obtenido de "Espacio de S%C3%B3bolev"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Espacio de Hilbert — Saltar a navegación, búsqueda En matemáticas, el concepto de espacio de Hilbert es una generalización del concepto de espacio euclídeo. Esta generalización permite que nociones y técnicas algebraicas y geométricas aplicables a espacios de… …   Wikipedia Español

  • Sergéi Sóbolev — Sergéi Lvóvich Sóbolev. Sergéi Lvóvich Sóbolev (Ruso: Сергей Львович Соболев) (6 de octubre 1908 3 de enero 1989) fue un matemático ruso que trabajó en análisis matemático y ecuaciones en derivadas parciales. Nació en San Petersburgo y murió en… …   Wikipedia Español

  • Formulación débil de una ecuación diferencial — La formulación débil (o formulación variacional) de un problema definido mediante ecuaciones diferenciales es una forma alternativa en que dichas ecuaciones se escriben en forma integral, dando lugar a ecuaciones tratables mediante los métodos… …   Wikipedia Español

  • Método de los elementos finitos — Solución de MEF en 2D para una configuración de un magnetostato, (las líneas muestran la dirección de la densidad de flujo calculada, y el color, su magnitud) …   Wikipedia Español

  • Espacios Lp — Saltar a navegación, búsqueda Los espacios Lp son los espacios vectoriales normados más importantes en el contexto de la teoría de la medida y de la integral de Lebesgue. Reciben también el nombre de espacio de Lebesgue por el matematico Henri… …   Wikipedia Español

  • Teoría de distribuciones — En Análisis matemático una distribución, también llamada función generalizada, es un objeto matemático que generaliza la noción de función y la de medida. Además la noción de distribución sirve para extender el concepto de derivada a todas las… …   Wikipedia Español

  • Análisis funcional — Saltar a navegación, búsqueda Para otros usos de este término, véase Análisis funcional (desambiguación). El análisis funcional es la rama de las matemáticas, y específicamente del análisis, que trata del estudio de espacios de funciones. Tienen… …   Wikipedia Español

  • Dominio de Lipschitz — Saltar a navegación, búsqueda En matemática, un dominio de Lipschitz (o dominio con frontera de Lipschitz) es un dominio en el Espacio Euclidiano cuya frontera es suficientemente regular en el sentido que esta puede ser considerada como si fuera… …   Wikipedia Español

  • Francisco Michavila — Saltar a navegación, búsqueda Francisco Michavila Secretario General del Consejo de Universidades 5 de mayo de 1995 –  …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”