Escolar Documentos
Profissional Documentos
Cultura Documentos
de un Hilbert X
xX, !yM (PM (x)) /
/ ||x-y|| ||x-z||, zM
Identidad
de polarizacin.
Una forma sesquilineal a es hermitiana
si, y slo si, a(x,x) , xX
Si M X es cerrado y convexo,
y=PM (x) es el nico elemento de M que verifica
Re(x-y,z-y) 0, zM
Formas sesquilineales
Si M X es cerrado, y= PM (x) es
el nico elemento de M que verifica
x-yM
Si M X es cerrado y convexo se
verifica:
|| PM x1 - PM x2 || || x1 x2 ||, x1, x2X
X=MM
Lema de Riesz:
Si X es Hilbert, dada LX'
!xX / Ly=(y,x)
yX
Si la forma sesquilineal a
es hermitiana, por los
resultados sobre
sesquilineales.
TEMA 1
ESPACIOS DE
HILBERT:
RESULTADOS
BSICOS
Y
VARIACIONALES
.
Si a: XX es sesquilineal y continua,
existe una nica aplicacin A de X en s
mismo, lineal y continua tal que:
a(x,y)=(x,Ay), (x,y) XX
Si K = x0 + M, con M subespacio vectorial
cerrado, existe un nico elemento xK tal que:
a(v,x) = Lv, vM
Resultados sobre
continuidad y
diferenciabilidad
de una funcin integral.
Lema de Urysohn:
n
Siendo K compacto V abierto ,
existe f cumpliendo:
sop f V, 0 f(x) 1 , xn, f(x) = 1, xK
Si existe dual de T,
entonces es nico.
Inyectividad
de f uf
Se verifica
(u )d = (u )f
Aplicacin de la
convolucin.
Definicin de la convolucin como funcin.
Dadas C0(n) y u distribucin sobre n,
se define (u )f de manera puntual x n.
Esta funcin es continua.
Concepto de
distribucin.
Si f L
entonces
loc verifica
= 0
C0 ()
= 0, A , medible acotado
A
Se define soporte
de una distribucin.
f uf
Si el soporte de una distribucin no nula
tiene medida nula, entonces es singular.
TEMA 2
FUNCIONES CON
SOPORTE
COMPACTO.
DISTRIBUCIONES.
L2( I ) es completo
El espacio Hm ( I ) es completo
(Hm ( I ) es Hilbert)
TEMA 3
ESPACIOS DE
SOBOLEV EN .
PROBLEMAS DE
CONTORNO.
q y f en C( I ).
Las condiciones de contorno se consideran
lineales, separadas o peridicas.
El objetivo es encontrar una solucin u
en sentido clsico, es decir, u C2( I ) C( I )
Lema de Urysohn
Lema de Nikodym: Si u () y Du = 0,
entonces u es una funcin constante cpp
Se verifica
H2 ( I ) = {f C1( I ) : Df L2( I )}
Teoremas de Stampacchia
o de Lax-Milgram, segn el problema.
Es necesario que la forma sesquilineal
asociada al problema sea coercitiva
(ajustar las condiciones).
Podemos garantizar la
existencia de solucin dbil.
Si u es H2-solucin, su representante
en C1( I ) es solucin clsica.
El recproco tambin es cierto si
I es acotado.
H2-solucin
Considerar el problema de
Sturm-Liouville asociado
(en H2( I ) 0 )
Teorema de Sturm-Liouville
Identidad de Lagrange
Si f H1( I ),
entonces f L( I )
Si I es acotado y f H1 ( I ) se verifica:
|| f || (b-a)-0.5 || f ||2 +-(b-a)0.5 || Df ||2
Si I es no acotado y f H1 ( I ) se verifica:
( || f || )2 2( || f ||2 )2 +2 ( || f{} ||2 )2
Solucin clsica
(si I acotado)