4.

Espao de Hilbert
Temos provado que Lp (X, ) um espao Banach - um espao completamente normado. A seguir irei discutir a classe dos espaos de Hilbert, uma classe especial dos espaos Banach, da qual L2 (X, ) um exemplo padro,em que a norma prove m de um produto escalar(produto interno), justamente como ocorre no espao Euclidiano. Um produto escalar em um espao vetorial V em uma forma sesquilinear VV? escrito (u, v ), se u, v V. A parte sesqui- justamente a linearidade na primeira varivel (4.1) (a1 u1 + a2 u2 , v ) = a1 (u1 , v )+ a2 (u2 , v ), anti- linearidade na segunda (4.2) (u, a1 v1 + a2 v2 )= a1 (u, v1 )+ a2 (u, v2 ) e a condio de conjunto (4.3) (u, v ) = (v , u) Observe que (4.2) segue a partir de (4.1) e (4.3). Se, alm disso, supormos a condio de positividade8 (4.4) (u, u) = 0, (u, u) = 0 u = 0, ento (4.5) ||u|| =(u, u )1/2 uma norma em V, como iremos ver. Suponha que u, v V tem ||u|| = ||v|| = 1. Ento (u, v )= ei? |(u, v )| para algum ? . Pela escolha de ?, e-i? (u, v ) = |(u, v )| real, portanto expandindo utilizando a linearidade de s , 0 = (e-iu - sv , e-iu - sv ) = ||u|| - 2s Re e-i(u, v )+ s2 ||v||2 = 1 - 2s|(u, v )| + s2 . O mnimo disso ocorre quando s = |(u, v )| isto negativo a menos que |(u, v )| = 1. Usando linearidade, e checando os casos triviais u = ou v = 0 mostra-se que (4.6) |(u, v )| = ||u|| ||v ||, u, v V Isto chamada de desigualdade de Schwarz9 Usando a desigualdade de Schwarz ||u + v ||2 = .||u||2 +(u, v ) + (v , u) + .||v ||2 = (||u|| + ||v ||)2 ||u|| + ||v || = ||u|| + ||v || u, v ? V que a desigualdade do triangulo. Definio 4.1. Um espao de Hilbert um espao de vetores de V com um produto escalar satisfazendo (4.1) -(4.4) que completo como um espao normalizado (ou seja ., um espao de Banach).

Portanto j mostramos que L2 (X, ) um espao de Hilbert para qualquer medida positiva . O produto interno ou escalar (4.7) (f, g) = fg d ,
X

e portanto a (4.3) fornece ||f||2 . Uma outra importante identidade valida em qualquer espao de produtos escalares a lei do paralelogramo: (4.8) ||u + v||2 + ||u v||2 = 2||u||2 +2||v||2 . Isto pode ser usado para provar o bsico teorema da existncia na teoria do espao de Hilbert.

Lema 4.2. Seja C H,no espao de Hilbert, fechado e convexo (ou seja, su + (1 - I)v C if u, v C e 0 < s < 1). Ento C contm um nico elemento de menor.. Prova . Podemos certamente escolher uma seqncia un C tal que ||un || ? d = inf {||v ||; v C}. Pela lei do paralelogramo, ||un um ||2 = 2||un ||2 + 2||um ||2 - ||un + um ||2 2(||un ||2 + ||um ||2 ) - 42 onde usamos o fato que (un + um )/2 C e portanto deve ter uma norma de pelo menos d. Portanto {un } uma seqncia de Cauchy, e portanto convergente pela hiptese de completividade de H. Ento lim un = u C (pois suposto fechado) e pela desigualdade do triangulo | ||un || - ||u|| | = ||un u|| ? 0 Portanto ||u|| = d. A unicidade de u segue ainda a partir da lei do paralelogramo que mostra que se ||u || = d ento ||u u|| = 2d2 4||(u + u)/2||2 = 0. O fato fundamental relativo ao espao de Hilbert que cada elemento v H define um funcional continuo linear por H u ? (u, v ) E inversamente todo funcional continuo linear provem desta forma. Proposio 4.3. Se L : H ? um funcional continuo linear no espao de Hilbert ento este um elemento nico v H tal que (4.9) Lu = (u, v ) u H, Prova. Considere o espao linear M = {u H ; Lu =0}

8 9

Observe que (u, u) real pela (4.3). No tem t neste Schwarz.

O espao nulo de L,um funcional continuo linear em H. Pela suposta continuidade, M fechado. Podemos supor que L no identicamente (pois teramos v = 0 em (4.9)). Portanto existe w M . Considere w + M = {v H; v = w + u, u M}.

nico elemento menor, v w + M . Desde que v minimize a norma em w + M, ||v + su||2 = ||v||2 + 2 Re(su, v)+ ||s ||2 ||u||2 estacionrio em s = 0. Portanto Re(u, v) = 0 u M, e o mesmo argumento com s substitudo mostra que (v, u) = 0 u M. Agora v w + M, portanto Lv = Lw 0. Considere o elemento w = w/Lw H. Sendo Lw. = 1, Para qualquer u H L(u - (Lu)w) = Lu - Lu = 0. Segue-se que u - (Lu)w M e se w = w./ ||w||2 (u, w) = ((Lu)w, w) = Lu

Este um subconjunto convexo de H. Aplicando o Lema 4.2 possue um

(w' , w") = Lu.

w'
2

A unicidade de v segue da positividade da norma. Corolrio 4.4. Para qualquer medida positiva , qualquer funcional continuo linear L : L2(X, ) ? da forma Lf = fg d , g L2 ( X , ) X Observe a evidente potncia do raciocnio abstrato aqui! Embora nos possa parecer que construmos g do nada, sua existncia segue a partir da completividade de L2(X, ), mas isto muito conveniente para expressar o argumento de forma abstrata para um espao de Hilbert genrico.