O Teorema Espectral para Operadores Compactos Autoadjuntos

39.8 Operadores Compactos em Espa¸ cos de Banach e de Hilbert

39.8.2 O Teorema Espectral para Operadores Compactos Autoadjuntos

Vamos na presente se¸cão demonstrar a versão do Teorema Espectral para operadores compactos autoadjuntos agindo em um espa¸co de Hilbert, generalizando em parte o teorema espectral provado para matrizes na Se¸cão 10.4, página 491.

Faremos implicitamente uso, em tudo o que segue, da Proposi¸cão 39.17, página 2053, que estabelece que os autovalores de um operador autoadjunto são reais e que para tais operadores os autovetores de autovalores distintos são ortogonais entre si. Também faremos uso, por vezes sem men¸cão, da principal conclusão do Teorema da Alternativa de Fredholm, Teorema 39.35, página 2153: todos os elementos não-nulos do espectro de um operador compacto são autovalores.

Historicamente, a maioria dos resultados que apresentaremos sobre propriedades espectrais de operadores compactos autoadjuntos são fruto de trabalhos de Hilbert, Schmidt, Riesz e Schauder, realizados na primeira década do século XX.

Alguns dos teoremas abaixo são por vezes denominadosTeorema de Hilbert-SchmidtouTeorema de Riesz-Schauder, mas isso é feito de forma inconsistente na literatura, de modo que preferimos não adotar essa nomenclatura. Vide comentário

a p´agina 2159.

• Autovalores de operadores compactos autoadjuntos

O teorema a seguir tem um papel central a desempenhar na demonstra¸cão do teorema espectral para operadores compactos autoadjuntos, por garantir que os mesmos sempre possuem pelo menos um autovalor. Uma parte de seu conteúdo já foi estabelecido no Teorema 39.34, página 2148.

Teorema 39.36 SejaC um operador compacto e autoadjunto agindo em um espa¸co de HilbertH e denotemos porσ(C) o espectro deC e por σp(C)o conjunto de todos os autovalores deC. Ent˜ao, valem as seguintes afirma¸c˜oes:

I. 1. σ(C)\ {0}=σp(C)\ {0}.

2. ParaC6= 0 tem-seσp(C)\ {0} 6=∅, pois

− kCk, kCk ∩σp(C)6=∅, isto ´e, ou kCk ou −kCk ou ambos ´e autovalor de C.

II. 1. σp(C)⊂h

− kCk, kCki .

2. Cada autovalor não-nulo de C tem degenerescência finita, ou seja, o subespa¸co de seus autovetores tem dimensão finita.

3. σp(C)´e um conjunto infinito, exceto seC for de posto finito.

4. SeC não for de posto finito,0 será o único ponto de acumula¸cão de σp(C).

5. SeC não for de posto finito, σp(C)é enumerável (i.e., infinito e contável). Portanto,σp(C)é enumerável se

e somente seC n˜ao for de posto finito. 2

Comentários. Enfatizamos que o espa¸co de HilbertH, no enunciado acima, não é necessariamente separável. Um outro comentário concerne ao caso de operadores compactos não-autoadjuntos. SeC é um operador compacto não-autoadjunto, pode-se provar (vide Teorema 39.34, página 2148) que o conjunto de seus autovalores não-nulos é também contável e se acumula no máximo em zero, mas pode ser vazio (mesmo queC seja de posto finito), o que não ocorre no caso de operadores compactos autoadjuntos (parteIdo enunciado acima). Um exemplo é operador de VolterraW, tratado no Exemplo 39.9 à página 2129. Outro exemplo é discutido no Exerc´ıcio E. 39.43, página 2147.

Comentamos também que seCnão for de posto finito pode ou não valer que 0∈σp(C), mas é sempre verdade que 0∈σ(C), pois 0 é um

ponto de acumula¸c˜ao deC. ♣

Prova do Teorema 39.36. Suporemos C 6= 0, de outra forma n˜ao h´a o que demonstrar. Provaremos separadamente as partesIeII.

Prova da parte I. A afirma¸cão que σ(C)\ {0} = σp(C)\ {0} foi provada no Teorema 39.35, página 2153. Como C é autoadjunto, valekCk= sup

ψ∈H,kψk=1|hψ, Cψi|(Teorema 39.12, p´agina 2055). Logo, existe uma sequˆenciaψn, n∈N,de

vetores emHcomkψnk= 1 tal quekCk= lim

n→∞|hψn, Cψni|(justifique!). ComoC=C^∗,hψn, Cψni´e um n´umero real.

Dessa forma, como o módulo dehψn, Cψniconverge a kCk,hψn, Cψnideve ter uma subsequência que converge akCk ou uma subsequência que converge a−kCk(ou ambas). Para evitar sobrecarregar a nota¸cão, também denotaremos essa subsequência porhψn, Cψni, a qual convergirá parac=±kCk, conforme o caso. Agora, usando o fato quecé real, que

Como ψn é uma sequência limitada e Cé compacto, a sequência Cψn possui uma subsequênciaCψnj convergente, ou seja, existeψ∈H tal que lim Isso completa a prova da parteI.

Prova da parte II.

II.2. Vamos supor queλseja um autovalor deCe que seja infinitamente degenerado⁶⁰. Isso significa que o subespa¸coM_λ gerado pelos autovetores deCcom autovalorλtem dimens˜ao infinita. Podemos escolher emM_λum conjunto ortonormal de vetoresφⁿ,n∈N. Comohφⁿ, φ^mi=δn, m, segue que param6=n,kφⁿ−φ^mk²=

Isso contraria a hipótese que C é compacto. Essa contradi¸cão leva-nos a excluir a possibilidade de λser infinitamente degenerado, exceto seλ= 0.

II.3. Vamos supor queσp(C) seja um conjunto finito. Pelo itemII.2o subespa¸co gerado por todos os autovetores deC com autovalor não-nulo é de dimensão finita e, portanto, é fechado. Vamos denotá-lo porM. É bastante claro queMé um subespa¸co invariante por C (justifique!). Assim, pelo Corolário 39.4, página 2053,M^⊥ é igualmente um subespa¸co fechado que é invariante porC.

Vamos denotar por P o projetor ortogonal sobreMe porP^⊥ =1−P o projetor ortogonal sobreM^⊥. Tem-se para todo ξ∈H

CP^⊥ξ = 1CP^⊥ξ = P+P^⊥

CP^⊥ξ = P CP^⊥ξ+P^⊥CP^⊥ξ = P^⊥CP^⊥ξ ,

60Aqui supomos implicitamente queHnão tem dimensão finita, senão não haveria o que demonstrar

poisP CP^⊥ξ= 0, j´a queCP^⊥ξ∈M^⊥ (poisP^⊥ξ∈M^⊥ eM^⊥ ´e invariante porC). Isso significa que

P^⊥CP^⊥=CP^⊥ . (39.173)

ComoC eP^⊥ são autoadjuntos, também obtém-se da última igualdade que P^⊥C = CP^⊥∗

= P^⊥CP^⊥∗

= P^⊥CP^⊥ = CP^⊥, mas n˜ao usaremos isso.

Observemos agora queP^⊥CP^⊥é compacto (pela Proposi¸cão 39.78, página 2140) e autoadjunto. Assim, pela parteI, existeϕ∈H, ϕ6= 0, tal queP^⊥CP^⊥ϕ=±P^⊥CP^⊥ϕ. Essa igualdade diz-nos queϕ∈M^⊥, poisP^⊥(CP^⊥ϕ)∈M^⊥, devido ao fatorP^⊥à esquerda. Se assim for, entãoP^⊥ϕ=ϕe, portanto,P^⊥CP^⊥ϕ=P^⊥Cϕ=Cϕ, a última igualdade seguindo do fato que CmantémM^⊥ invariante. Estabelecemos, assim, queCϕ=±P^⊥CP^⊥ϕ.

Agora, se P^⊥CP^⊥6= 0, entãoϕseria um autovetor deC com autovalor não-nulo, o que significa que ϕ∈M, pela defini¸cão de M. Ora, se ϕ 6= 0, isso não é poss´ıvel, pois o único vetor que M e M^⊥ têm em comum é o vetor nulo.

Conclu´ımos da´ı queP^⊥CP^⊥= 0, ou seja,P^⊥CP^⊥ = 0. Logo, por (39.173),CP^⊥= 0. Isso, por sua vez, diz-nos que para todo ψ∈M^⊥ valeCψ=CP^⊥ψ= 0.

Assim, conclu´ımos que C aniquila todo o subespa¸coM^⊥, ou seja, queM^⊥ é constitu´ıdo por autovetores de C com autovalor zero. Pelo Teorema da Decomposi¸cão Ortogonal, Teorema 38.2, página 1982, todo vetorψ∈Hpode ser escrito na formaψ=ψM+ψM^⊥, comψM∈MeψM^⊥ ∈M^⊥. Logo,Cψ=CψM∈M, poisMé invariante por C. ComoMé de dimensão finita, o fato queCψ ∈Mpara todo ψ∈H está precisamente dizendo-nos queC é de posto finito.

E também fácil de se ver que se´ Cé de posto finito entãoC tem um conjunto finito de autovalores. Isso completa o que quer´ıamos provar.

II.4. SeCnão é de posto finito, vimos no itemII.3queσp(C) não é um conjunto finito. Como, pelo itemII.1,σp(C) está contido no intervalo fechado e limitado (ou seja, compacto) h

− kCk, kCki

, σp(C) deve possuir pelo menos um ponto de acumula¸cão (Teorema de Bolzano-Weierstrass, Teorema 32.7, página 1542 e Teorema 32.15, página 1554)). Seja x0

um desses pontos de acumula¸cão deσp(C) e vamos supor que x0 6= 0. Comox0é um ponto de acumula¸cão deσp(C), temos em cada intervalo aberto (x0−ǫ, x0+ǫ), comǫ >0, infinitos autovalores deC. Tomemosǫpequeno o suficiente de modo que 06∈(x0−ǫ, x0+ǫ), ou seja, tomemosǫ >0 mas tal que|x0|> ǫ. Tomemos também uma cole¸cão contável λn, n∈N, de autovalores distintos de C contidos no intervalo (x0−ǫ, x0+ǫ). É claro que|λn|>|x0| −ǫpara todo n. Seja, para cadan∈N, um autovetorφn deC com autovalorλn e comkφnk= 1. Como os autovalores são distintos, valehφn, φmi=δn, m. Assim, paran6=m,

kCφn−Cφmk² = kλnφn−λmφmk² =

(λnφn−λmφm), (λnφn−λmφm)

= |λn|²+|λm|² > 2 |x0| −ǫ2

. Como 2 |x0| −ǫ2

não depende demen, isso está dizendo-nos que Cφn,n∈N, não é uma sequência de Cauchy, assim como nenhuma de suas subsequências. Isso contraria o fato de C ser compacto. Logo,x0 6= 0 não pode ser ponto de acumula¸cão de autovalores de C. Como pelo menos um ponto de acumula¸cão deve existir, esse deve ser o pontox0= 0.

II.5. Tomemos emh

− kCk, kCki

um intervalo fechado [a, b] que não contém 0. Se [a, b] contivesse infinitos autovalores de C, então haveria em [a, b] um ponto de acumula¸cão de tais autovalores, o que já vimos ser imposs´ıvel. Assim [a, b]∩σp(C) é um conjunto finito. Portanto, conjuntos comoh

−kCk, −^kCkn

i∩σp(C) eh_kCk

n , kCki

∩σp(C) s˜ao finitos para todo n∈N. Como

σp(C)\ {0} = [∞ n=1

−kCk, −kCk n

∪ kCk

n , kCk

∩σp(C),

conclu´ımos que o lado direito é uma união contável de conjuntos contáveis (finitos). Logo, σp(C)\ {0} é contável e, portanto,σp(C) é contável. A afirma¸cão queσp(C) é enumerável se e somente seC não for de posto finito segue disso e do item II.3.

Isso completa a prova da parteII.

Estamos agora prontos para abordar o Teorema Espectral para operadores compactos e autoadjuntos.

• O Teorema Espectral para operadores compactos autoadjuntos

Para o enunciar o Teorema Espectral para operadores compactos autoadjuntos e para simplificar sua demonstra¸c˜ao precisamos acertar algumas conven¸c˜oes.

Se C é um operador compacto e autoadjunto agindo em um espa¸co de Hilbert H, vimos no Teorema 39.36 que o conjunto de seus autovalores é contável (e até mesmo finito, caso C seja de posto finito) e cada autovalor não-nulo é finitamente degenerado. Vamos denotar por λn, n ∈N, o conjunto dos autovalores não-nulos, convencionando que se um autovalorλtem multiplicidadek então ele aparecek, vezes seguidas na contagem, de forma que tenhamos, digamos, λm = · · · = λm+k−1 = λ. Com isso, a sequência λn, n ∈ N, contém cada autovalor repetido o número de vezes correspondente à sua multiplicidade. Podemos convencionar também que os autovalores são ordenados de tal forma que

|λk| ≤ |λl| para todok≥l, ou seja, de forma que a sequência|λn|, n∈N seja não-crescente. Sabemos que autovetores correspondentes a autovalores distintos são ortogonais entre si. O subespa¸coM_λ gerado pelos autovetores de autovalorλ tem dimensão k, a multiplicidade deλ. Com isso, podemos encontrar emM_λ um conjunto ortonormal dekautovetores φm, . . . , φ_m+k−1. Constitu´ımos dessa forma um conjunto ortonormalφn,n∈N, de autovetores de C, cada qual com autovalorλn: Cφn=λnφn, para todon∈N. Vamos denotar porPn o projetor ortogonal relativo a cada autovetorφn: para todo ψ∈H valePnψ:=hφn, ψiφn.

Caso C seja de posto finito, então as sequências λn, n ∈ N, φn, n ∈ N e Pn, n ∈ N são, em verdade, sequências finitas. Lembramos também que casoC não seja de posto finito, então 0 é o único ponto de acumula¸cão da sequência λn,n∈N (novamente pelo Teorema 39.36), o que implica limn→∞λn = 0, fato que usaremos adiante.

Com essas conven¸c˜oes e com essa nota¸c˜ao, temos o seguinte:

Teorema 39.37 (Teorema Espectral para Operadores Compactos Autoadjuntos) Seja C um operador com-pacto e autoadjunto agindo em um espa¸co de Hilbert H. Ent˜ao, a sequˆencia de operadores de posto finito

XN n=1

λnPn, N ∈N, converge a C na norma de B(H). Assim, para todoψ∈H tem-se

Cψ = X∞ n=1

λnPnψ = X∞ n=1

λnhφn, ψiφn. (39.174)

Comentários. Enfatizamos que o espa¸co de HilbertH, no enunciado acima, não é necessariamente separável.

ComoCφn=λnφn, a express˜ao (39.174) significa tamb´em que para todoψ∈H,Cψ= X∞ n=1

hφn, ψiCφn. Compare-se isso `as afirma¸c˜oes

do Teorema 39.33, p´agina 2142. ♣

Prova do Teorema 39.37. Seja P_m ≡ [φ1, . . . , φm], m ∈ N o subespa¸co de H gerado pelos autovetores ortonormais φ1, . . . , φmdeC. Por ser de dimens˜ao finita, cadaP_m´e um subespa¸co fechado deH. Para cadaN ∈N defina-se

KN := C− XN n=1

λnPn.

CasokKMk= 0 para algumM ∈N, ent˜aoC=PM

n=1λnPn e a prova est´a completa. CasokKNk 6= 0 para todoN ∈N, procedemos da seguinte forma.

Como os vetoresφn formam um conjunto ortonormal, valePiφj =hφi, φjiHφi=δi, jφi. Logo, se 1≤l≤N, tem-se KNφl = Cφl−

XN n=1

λnPnφl = λlφl−λlφl = 0, o que significa dizer queKN aniquila o subespa¸coP_N.

Os Pj’s são autoadjuntos e compactos (por serem de posto finito) e, portanto, cada KN é também compacto e autoadjunto. O Teorema 39.36, página 2155, garante, então, queKN possui um autovalor igual akKNk ou a−kKNk. Seja ψ um autovetor não-nulo correspondente. Teremos KNψ =cNψ onde cN =kKNk oucN =−kKNk. Como KN

aniquila o subespa¸coP_N, essa igualdade e a hip´otese quecN 6= 0 implicam queψ∈(P_N)^⊥.

Para ver isso, lembremos que pelo Teorema da Decomposi¸cão Ortogonal, Teorema 38.2, página 1982, podemos escrever ψ = χ+ξ, onde χ ∈ P_N e ξ ∈ (PN)^⊥. Como KN é autoadjunto e aniquila todo vetor de P_N, vale hχ, KNψiH = hKNχ, ψiH= 0. Como,KNψ=cNψ, isso diz-nos que 0 =cNhχ, ψiH =cNhχ, χiH =cNkχk², provando queχ= 0 e queψ=ξ∈(PN)^⊥.

Agora, o fato queψ∈(P_N)^⊥ implicaPnψ= 0 para todo 1≤n≤N. Logo, KNψ=Cψ e a igualdadeKNψ=cNψ significaCψ =cNψ, ou seja,kKNkou−kKNk´e um autovalor deC.

Quando definimos a sequência λn, n∈N, convencionamos colocar consecutivamente autovalores de multiplicidade repetida e ordená-los de modo que|λn|, n∈Nseja uma sequência não-crescente. Isso implica que secN =±kKNké um autovalor de Ccujo autovetor não pertence aP_n, então temos|cN| ≤ |λN|, ou seja,kKNk ≤ |λN|. Agora, também pelo Teorema 39.36, limN→∞|λN|= 0, o que implica limN→∞kKNk= 0. Isso é precisamente o que quer´ıamos provar.

• Base ortonormal completa de autovetores de um operador compacto autoadjunto

Seja C um operador compacto e autoadjunto agindo em um espa¸co de Hilbert (n˜ao necessariamente separ´avel)H.

SejaB₁={φn|n∈N}, como acima, um conjunto ortonormal cont´avel de autovetores de Ccom autovalores n˜ao-nulos.

SejaT o fecho do subespa¸co gerado pelos vetoresφn,n∈N. É fácil de ver que se ψ∈T^⊥, entãoψ∈Ker (C). De fato, para todoψ∈T^⊥ valehφn, ψiH= 0 para todo ne, por (39.174), isso implicaCψ = 0. Vemos, portanto, queHé uma soma direta dos subespa¸cos fechadosT e Ker (C). Como Ker (C) é fechado, é um espa¸co de Hilbert e, portanto, possui uma base ortonormal completa (não necessariamente contável) B₀. Todos os vetores dessa base são autovetores de C com autovalor nulo. O conjunto B₀∪B₁ será, portanto, uma base ortogonal completa em H, formada por autovalores (nulos ou não) deC. Conclu´ımos então a prova do seguinte teorema:

Teorema 39.38 Seja C um operador compacto e autoadjunto agindo em um espa¸co de Hilbert (não necessariamente separável)H. Então, o espa¸co de HilbertH decompõe-se em uma direta de subespa¸cos ortogonaisH=H₀⊕

M∞ k=1

H_k

! , onde H₀ := Ker (C) é o subespa¸co dos autovetores de C com autovalor 0 e H_k := Ker (λk1−C) é o subespa¸co dos autovetores de C com autovalor λk. Cada H_k com k ≥ 1 tem dimensão finita e H₀ pode ter dimensão infinita. Por conseguinte,H possui uma base ortonormal completa formada por autovetores (com autovalores nulos ou não) de C. 2

Esse teorema pode também ser demonstrado sem evocar-se o Teorema Espectral. Para tal, considere-se o subespa¸co fechado A de H formado pela soma direta de T e Ker (C). Ou seja, Aé o subespa¸co fechado gerado por todos os autovetores deC(com autovalores nulos ou não). ComoAé mantido invariante porC, entãoA^⊥ também o é (Corolário 39.4, página 2053). SeP^⊥ é o projetor ortogonal sobre A^⊥, então o fato de A^⊥ ser invariante por C significa CP^⊥ = P^⊥CP^⊥. Agora, P^⊥CP^⊥ é obviamente compacto e autoadjunto (Proposi¸cão 39.78, página 2140). Vamos supor que P^⊥CP^⊥ 6= 0. Pelo Teorema 39.36, existirá φ ∈ H, φ 6= 0, tal que P^⊥CP^⊥φ = cφ, onde c = ±P^⊥CP^⊥. Essa expressão implicaφ∈A^⊥ (devido ao fatorP^⊥ do lado esquerdo). Assim, ela afirma queCφ=cφ. Mas isso diz-nos que φé autovalor deC, o que só é poss´ıvel se φ∈A. Logo P^⊥CP^⊥ = 0, mas isso, por sua vez, implicaCP^⊥ = 0, pois CP^⊥=P^⊥CP^⊥. Logo, para todoψ∈A^⊥ teremosCψ =CP^⊥ψ= 0, o que implica ψ∈Ker (C). Agora, Ker (C)⊂A e o único vetor queAeA^⊥ têm em comum é o vetor nulo. Provamos então que seψ∈A^⊥ entãoψ= 0, ou sejaA=H. Pela defini¸cão, isso diz precisamente que o conjunto ortonormalB₀∪B₁, que geraA, é uma base ortonormal completa emH, encerrando novamente a prova.

Comentário. Os Teoremas 39.36 e 39.38 foram demonstrados por Hilbert⁶¹, Schmidt⁶², Riesz⁶³ e Schauder⁶⁴. O Teorema Espectral para operadores compactos autoadjuntos foi provado por Hilbert em 1906, sendo o restante da teoria (re)elaborado pelos demais autores por volta de 1908. Esses trabalhos são os marcos iniciais da Análise Funcional. Para mais detalhes históricos desses importantes desenvolvimentos, vide

[95]. ♣

• O caso de operadores compactos n˜ao-autoadjuntos

O Teorema Espectral demonstrado acima para operadores compactos e autoadjuntos pode ser, como veremos, esten-dido em um certo sentido para operadores compactos não-autoadjuntos. Já observamos, porém, que nem todo operador

61David Hilbert (1862–1943).

62Erhard Schmidt (1876–1959).

63Frigyes Riesz (1880–1956).

64Juliusz Pawel Schauder (1899–1943). Schauder foi tragicamente assassinado pela Gestapo.

compacto em espa¸cos de dimensão infinita possui autovalores. Assim, esperamos alguma diferen¸ca em rela¸cão ao caso autoadjunto, pois na decomposi¸cão espectral (39.174) são os autovaloresλn deCque comparecem. A observa¸cão crucial vem do fato que|C|:=√

C^∗Cé compacto e autoadjunto (Proposi¸cão 39.82, página 2145) e, pelo Teorema 39.36, página 2155, possui autovalores, valendo inclusive o Teorema 39.37.

Seja C um operador compacto mas não necessariamente autoadjunto e seja C = U|C| sua decomposi¸cão polar (Teorema 39.31, página 2136). Pela Proposi¸cão 39.82, página 2145, sabemos que|C|é compacto, autoadjunto e positivo.

Podemos, pelo Teorema Espectral para operadores compactos e autoadjuntos, Teorema 39.37, p´agina 2158, escrever

|C| = X∞ n=1

µnhφn, · iφn, (39.175)

ondeµnsão os autovalores positivos de|C|(os quais são positivos pois|C|é um operador positivo) eφnos correspondentes autovetores normalizados. Usando a decomposi¸cão polarC=U|C|, temos então

C = X∞ n=1

µnhφn, · iU φn.

Lembremos que, pelo Teorema da Decomposi¸c˜ao Polar (Teorema 39.31, p´agina 2136), Ker (U) = Ker |C|

= Ker (C), de modo queU φn 6= 0, poisµn >0. Se definirmos ψn :=U φn, teremoshψn, ψmi=hU φn, U φmi=hφn, φmi=δm, n, a segunda igualdade decorrendo do fato deU ser uma isometria parcial (e do fato queU φn6= 0 para todo n∈N). Isso mostra que os vetoresψn, tal como os vetoresφn, formam um conjunto ortonormal.

Em resumo, o que conclu´ımos desses coment´arios ´e o seguinte:

Teorema 39.39 (Representa¸cão Canônica de Operadores Compactos) Seja C um operador compacto agindo em um espa¸co de Hilbert H. Então, existem números positivos µn, n ∈ N (denominados valores singulares do ope-radorC) e conjuntos ortonormais φn, n∈N, eψn, n∈N, emH tais que

C = X∞ n=1

µnhφn, · iψn , (39.176)

a convergência da série de operadores do lado esquerdo se dando na norma de B(H). Se C for de posto finito, a soma acima será finita. Assim, para todoχ∈H podemos escrever

Cχ = X∞ n=1

µnhφn, χiψn , (39.177)

A representa¸cão (39.176), ou (39.177), é denominada representa¸cão canônica do operador compactoC. 2

Nota. Definindo os operadores lineares e limitadosQnχ:=hφn, χiψn,n∈N, podemos escrever (39.176) na forma C =

∞

n=1

µ_nQ_n.

Note-se que os operadoresQnsão compactos (por serem de posto finito) e satisfazemQ²_n=hφn, ψniQn(verifique!) e geralmente não são,

portanto, projetores, nem sequer s˜ao autoadjuntos, exceto seφn=ψn. ♣

A expressão (39.176) está também dizendo-nos que todo operador compactoCagindo em um espa¸co de Hilbert pode ser aproximado em norma por operadores de posto finito. Isso generaliza o Teorema 39.33, página 2142, pois aqui não precisamos supor queHseja separável.

A decomposi¸cão (39.176) generaliza para operadores compactos em espa¸co de Hilbert a decomposi¸cão em valores singulares para matrizes, a qual foi apresentada na Se¸cão 10.8.2, página 542.

• Valores singulares de um operador compacto

Os n´umerosµn que comparecem em (39.176) e (39.177) s˜ao denominadosvalores singularesdo operador compactoC.

Vemos que trata-se dos autovalores de |C|. O operador Cnão necessariamente tem autovalores mas sempre tem valores singulares e, por isso, há que se fazer a distin¸cão entre ambos os conceitos.

E. 39.44 Exerc´ıcio. Mostre que a representa¸cão canônica do operador compacto não-autoadjuntoC:ℓ2(N)→ℓ2(N) definido no Exerc´ıcioE. 39.43, página 2147, é

Ca = X∞

k=1

k hek, aiek+1, paraa∈ℓ2(N), ondee_k∈ℓ2(N)´e o vetor cujal-´esima componente e_k

l´e dada por e_k

l=δk, l. 6

• Operadores nucleares

Já comentamos à página 2143 que nem todo operador compacto agindo em espa¸cos de Banach pode ser aproximado por operadores de posto finito. Para espa¸cos de Hilbert, porém, isso é verdade, como atesta a expressão (39.177). No entanto, essa mesma expressão motiva uma importante defini¸cão que apresentaremos e discutiremos brevemente aqui: a deoperadores nucleares, no¸cão introduzida por Grothendieck⁶⁵.

Sejam XeYdois espa¸cos de Banach. Um operador limitadoN :X→Y´e dito ser umoperador nuclearse existirem constantesµn>0, n∈N, comP∞

n=1µn <∞, funcionais lineares cont´ınuos ln∈X^† comklnk^X^†= 1 para todon∈N e vetoresyn ∈Ycomkynk^Y= 1 para todon∈N, tais que

N x = X∞ n=1

µnln(x)yn, (39.178)

para todo x∈X.

A condi¸c˜ao P∞

n=1µn < ∞, é inclu´ıda por ser suficiente para garantir convergência do lado direito da expressão (39.178). Pela expressão (39.177), vemos que um operador compacto em um espa¸co de Hilbert é nuclear se e somente se a sequência de seus valores singulares for somável.

E. 39.45 Exerc´ıcio-exemplo. Sejaψn,n∈N, um conjunto ortonormal de vetores em um espa¸co de HilbertHe sejaPno projetor ortogonal sobreψn. O operador

C = X∞

n=1

1 nPn

é compacto (vide o exemplo da equa¸cão (39.160)) mas não é nuclear. Justifique essas afirma¸cões. 6

Como exerc´ıcio, deixamos ao leitor demonstrar as seguintes afirma¸cões, válidas no contexto geral de espa¸cos de Banach: 1. todo operador de posto finito é nuclear (isso é evidente, aliás);2. todo operador nuclear é compacto;3. toda combina¸cão linear de dois operadores nucleares é novamente um operador nuclear;4. o produto (à direita ou à esquerda) de um operador nuclear por um operador cont´ınuo é novamente um operador nuclear. Vide [429].

39.9 O Teorema Espectral para Operadores Limitados Auto-adjuntos em Espa¸ cos de Hilbert

Na presente se¸cão trataremos do Teorema Espectral para operadores limitados autoadjuntos agindo em espa¸cos de Hilbert em suas diversas formas. Seguiremos proximamente [315], mas completaremos várias lacunas daquela exposi¸cão.

No documento Cap´ıtulo 39 Operadores Lineares Limitados em Espa¸cos de Banach e de Hilbert (páginas 140-146)