Вы находитесь на странице: 1из 3

Si M es un subconjunto cerrado y convexo

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

Una forma sesquilineal definida


positiva es un producto interior.
Si es continua, la norma
asociada es menos fina.
Si adems es coercitiva, las
normas equivalen.

Una forma coercitiva no tiene por qu


ser hermitiana, aunque, si lo es, ser
definida positiva.

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

Si M subespacio vectorial cerrado de X:

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

Teorema de Stampacchia: Siendo K X, convexo y cerrado,


a sesquilineal y continua, coercitiva, y L lineal y continua,
existe un nico elemento xK tal que:
Re a(y-x,x) Re L(y-x), yK

Teorema de Lax-Milgram: Si K = X, entonces


existe un nico elemento xK tal que:
a(z,x) = Lz, zX

Dados z y r>0, existe C0 con sop =B(z,r) verificando:


(x) en el interior de B(z,r), depende slo de |x-z|, integra 1 sobre n
n

Siendo H L1loc () subespacio vectorial tal que


H C0 () y T : H L1loc () operador lineal,
introducimos el concepto de operador dualizable.

Resultados sobre
continuidad y
diferenciabilidad
de una funcin integral.

Nueva definicin de soporte


para funciones medibles que
coincide con la clsica para
funciones continuas.

Lema de Urysohn:
n
Siendo K compacto V abierto ,
existe f cumpliendo:
sop f V, 0 f(x) 1 , xn, f(x) = 1, xK

Se define convolucin entre


n
funciones de L1loc ( ) y

Si existe dual de T,
entonces es nico.

El operador dual permite extender operaciones definidas


sobre funciones localmente integrables al
conjunto de todas las distribuciones.

Ck(n) de soporte compacto.


Esta operacin tiene
buenas propiedades.

Dadas C0( ) y u distribucin sobre ,


la convolucin (u )d es la forma lineal que acta as:
n
((u )d , ) = (u, (-) ), C0 ( ).
n

Inyectividad
de f uf

Dado un multindice y u una distribucin sobre ,


la derivacin Du es la forma lineal que acta as:
(Du, ) = (-1)|| (u, D ), C0 ()

Dadas f C() y u distribucin sobre ,


el producto fu es la forma lineal que acta as:
(fu, ) = (u,f ), C0 ()

Conserva las propiedades de la definida en L1loc (n).


La distribucin acta como identidad.

Se verifica
(u )d = (u )f

Teorema de particiones de la unidad:


Siendo K compacto abierto de n, siendo Vi , i=1,, m,

Lemas necesarios: Construccin aproximante identidad,


regla derivacin de un producto entre C0 () y L1loc (),
resultado sobre convergencia y derivacin.

abiertos tales que K


=1 i , entonces existen m funciones i con
valores en [0,1] de modo que
=1 i | K = 1

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.

Si u C() es una funcin cuyas derivadas


distribucionales hasta orden k son continuas,
entonces u es de clase Ck

Si L es lineal de coeficientes constantes y


es solucin fundamental de L, entonces
C0 (n), es solucin de Lu =

Dadas C0(n) y u distribucin sobre n,


se verifica:
u C(n)
Si u es de soporte compacto:
u C0(n)

Toda funcin localmente integrable f permite


generar una distribucin, uf , siendo esta aplicacin inyectiva:
L1loc () ()

Si f L1loc () entonces sop f = sop uf

f uf
Si el soporte de una distribucin no nula
tiene medida nula, entonces es singular.

TEMA 2
FUNCIONES CON
SOPORTE
COMPACTO.
DISTRIBUCIONES.

Se define el espacio de Sobolev,


Hm ( I ), m, dotado de un
producto escalar.
Se cumple Hm ( I ) Hm-1 ( I ).

L2( I ) es completo

Problemas de contorno relativos a una EDO


lineal de segundo orden de la forma:
-(pu) + qu = f
con p, q y f reales, p positiva y en C1( I ),

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

Si F es absolutamente continua, su derivada


generalizada y distribucional coinciden.

Necesitamos rebajar la hiptesis


de f C( I ) a f L2 ( I )
Se verifica H1 ( I ) AC( I )
(en el sentido de que
existe un representante)

Si f H1( I ), con I acotado,


entonces f es acotada y
|f(x)-f(y)| K |x-y|0.5, x,y I

Se verifica
H2 ( I ) = {f C1( I ) : Df L2( I )}

Condicin suficiente para que


f L2( I ) pertenezca a L( I )
si I es no acotado, que se cumple
si f H1( I )

Si u H ( I ) es solucin dbil, tambin


es H2-solucin.
1

Teoremas de Stampacchia
o de Lax-Milgram, segn el problema.
Es necesario que la forma sesquilineal
asociada al problema sea coercitiva
(ajustar las condiciones).

Para poder utilizar resultados variacionales


sobre espacios de Hilbert, buscamos la
solucin en otro espacio.
Decimos que u H2( I ) es H2-solucin si:
-D(pu) + qu = f, cpp
y su representante en C1( I ) cumple las
condiciones de contorno.
Pero an definimos otro concepto
de solucin.

Se define el concepto de solucin dbil


sobre funciones de H1 ( I ) H2 ( I ) .
La definicin depende del problema: de las
condiciones de contorno y de lo que implique
ser H2-solucin del propio problema.
El espacio H1 ( I ) es Hilbert.

Podemos garantizar la
existencia de solucin dbil.

El producto de dos funciones de


H1 ( I ) pertenece a H1 ( I ).

Si u es H2-solucin, su representante
en C1( I ) es solucin clsica.
El recproco tambin es cierto si
I es acotado.

La definicin se construye de modo que si u


es H2-solucin entonces u es solucin dbil.

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

Si I es acotado de longitud mayor que 1/2 y


f H1 ( I ) se verifica:
2
( || f || ) 4( || f ||2 )2 +4 ( || f{} ||2 )2

Clculo de la solucin mediante


una serie de tipo Fourier.

Solucin clsica
(si I acotado)