Tesebomba 12

UNIVERSIDADE EDUARDO MONDLANE
FACULDADE DE CINCIAS
DEPARTAMENTO DE MATEMTICA E INFORMTICA
TRABALHO DE LICENCIATURA
TEMA:
PROPRIEDADES ESPECTRAIS DOS OPERADORES
LINEARES LIMITADOS
Autor: Eisten Daniel Neto Bomba, estudante nalista do curso de Matemtica Pura
Maputo, 2012
UNIVERSIDADE EDUARDO MONDLANE
FACULDADE DE CINCIAS
DEPARTAMENTO DE MATEMTICA E INFORMTICA
TRABALHO DE LICENCIATURA
TEMA:
PROPRIEDADES ESPECTRAIS DOS OPERADORES
LINEARES LIMITADOS
Autor: Eisten Daniel Neto Bomba, estudante nalista do curso de Matemtica Pura
Supervisor: Professor Associado Yury Nepomnyashchikh, PhD em Matemtica
Maputo, 2012
Agradecimentos
A Deus, pela minha sade, por ter me dado as oportunidades certas e condies de
aproveit-las.
Ao meu supervisor Prof. Yury Nepomnyashchikh, pela pacincia e dedicao, por valiosas
crticas e sugestes e pelo exemplo de trabalho que ele signica.
A minha famlia pelo apoio moral, material e pela conana depositada em mim. Em
especial a minha me Maria do Cu Jos e a minha irm Tnia Ermelinda Neto Bomba,
que no mediram esforos para a minha formao acadmica.
minha namorada Ftima Jorge, por todo amor, carinho e compreenso concedido a
mim, mesmo distante.
Ao meu amigo e docente de matemtica na 11
a
, 12
a
classe Carlos Jos, por me incentivar
a seguir o ramo da matemtica.
Ao Prof. Momade Rachide pela amizade, pelo apoio moral e nanceiro, durante os ltimos
anos da minha formao.
Aos docentes e funcionrios do Departamento de Matemtica e Informtica, com os quais
convivi.
Aos meus colegas do curso de matemtica, em especial: Justino Mrio Buanali, Mano
Gimo, Meline Macrio, Ibraimo Tuaibo, Andr Langa, Estvo Macia, pelas discusses e
sugestes que prestaram ao longo desta jornada.
3
Aos meus amigos Narciso Carlos Alfaiate, Aldo Paulo Egas Fazenda pela excelente relao
e pelo intercmbio de idias e informao.
Aos meus amigos, Aldamira de Lurdes Nelson Morais, Nelo Milange, Diocleciano Felizardo
Namelo, Iko Jaime Banquimane, pela conana e por acreditarem no meu sucesso, em
especial, ao Paulo Jorge Nhampossa.
Finalmente, agradeo a todos que directa ou indirectamente estiveram sempre comigo.
Muito obrigado!
4
Declarao sob palavra de honra
Declaro por minha honra que este trabalho fruto das minhas investigaes, estando indicadas
na bibliograa as fontes por mim usadas e que o mesmo nunca foi usado para obteno de
qualquer grau acadmico.
Maputo, Novembro de 2012
-
Eisten Daniel Neto Bomba
5
Dedicatria
Quero dedicar este trabalho minha me e aos meus lhos Eisten Jnior e Sleyd.
6
Contedo
Agradecimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Dedicatria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Simbologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1 Noes preliminares 14
1.1 Espaos mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.1.1 Mtrica e espao mtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.1.2 Conjuntos abertos, fechados e densos . . . . . . . . . . . . . . . . . . . . 15
1.1.3 Espaos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.1.4 Continuidade e continuidade uniforme . . . . . . . . . . . . . . . . . . . 16
1.2 Espaos normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.1 Norma e espaos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.2 Operadores lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.3 Operadores lineares limitados . . . . . . . . . . . . . . . . . . . . . . . . 21
1.2.4 Espao dual. Espaos reexivos . . . . . . . . . . . . . . . . . . . . . . . 23
1.3 Espaos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2 Teoria espectral de operadores lineares limitados 28
2.1 Operadores lineares fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2 Conceitos bsicos da teoria espectral . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2.1 Valor regular, conjunto resolvente, espectro . . . . . . . . . . . . . . . . . 31
2.2.2 Decomposio do espectro . . . . . . . . . . . . . . . . . . . . . . . . . . 31
7
2.3 Propriedades espectrais dos operadores lineares limitados . . . . . . . . . . . . . 32
2.4 Espectro do operador de multiplicao nos espaos C[0, 1], L
2
[0, 1] e P[0, 1] . . . 36
2.5 Espectro do operador diferencial no espao C[0, 1] . . . . . . . . . . . . . . . . . 40
3 Operadores adjuntos e operadores lineares compactos 43
3.1 Operador integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 Operadores adjuntos nos espaos de Banach . . . . . . . . . . . . . . . . . . . . 44
3.3 Operadores adjuntos nos espaos de Hilbert . . . . . . . . . . . . . . . . . . . . 46
3.4 Operadores lineares compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.4.1 Denio e propriedades bsicas dos operadores lineares compactos . . . 48
3.4.2 Operadores lineares compactos concretos . . . . . . . . . . . . . . . . . . 51
4 Teoria espectral de operadores lineares compactos 54
4.1 Propriedades espectrais dos operadores lineares compactos . . . . . . . . . . . . 54
4.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2.1 Espectro do operador de Volterra nos espaos C[0, 1] e L
2
[0, 1] . . . . . . 65
4.3 Alternativa de Fredholm no espao de Banach . . . . . . . . . . . . . . . . . . . 68
4.4 Alternativa de Fredholm no espao de Hilbert . . . . . . . . . . . . . . . . . . . 69
5 Aplicao investigao de equaes integrais lineares 73
5.1 Equaes integrais de Fredholm de 2
a
espcie . . . . . . . . . . . . . . . . . . . . 73
5.2 Alternativa de Fredholm para equaes integrais . . . . . . . . . . . . . . . . . . 74
5.3 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Concluso e recomendaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
Bibliograa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
8
Simbologia
o conjunto vazio;
N o conjunto dos nmeros naturais;
Z o conjunto dos nmeros inteiros;
R o conjunto dos nmeros reais;
C o conjunto dos nmeros complexos;
P denota o conjunto dos nmeros reais ou complexos;
A denota o fecho do conjunto A;
| | denota norma num espao normado;
signica "identicamente igual";
R
n
o espao de vectores n-dimensionais;
L
p
() (1 p < ) o espao das classes de equivalncias de funes x : R
p-integrveis, dotado da norma
|x| =
__
[x[
p
dt
_1
p
;
C[a, b] o espao das funes contnuas x : [a, b] R, dotado da norma
|x| = max
t[a,b]
[x(t)[;
9
W
1
[a, b] o espao das funes absolutamente contnuas x : [a, b] R, dotado da norma
|x| = [x(a)[ +
_
b
a
[x
(t)[dt;
P[a, b] o espao das funes limitadas x : [a, b] R, dotado da norma
|x| = sup
t[a,b]
[x(t)[;
l
p
o espao das sequncias p-somveis, dotado da norma
|x| =
_

k=1
[x
k
[
p
_1
p
;
L(X, Y ) o espao dos operadores lineares de X em Y ;
L(X) o espao L(X, X);
B(X, Y ) o espao dos operadores lineares limitados de X em Y ;
B(X) o espao B(X, X);
K(X, Y ) o espao dos operadores lineares compactos de X em Y ;
K(X) o espao K(X, X);
X Y o produto directo dos espaos lineares X e Y ;
X
denota o espao adjunto (dual) do espao normado X;

dimX denota a dimenso do espao (subespao) linear X;
|T| denota a norma do operador T;
T
1
denota o inverso do operador T;
I o operador identidade;
V
denota o complemento ortogonal (anulador) do subespao linear V ;

, denota o produto interno;
10
G(T) denota o grafo do operador T;
D(T) o domnio do operador T;
N(T) o ncleo do operador T;
T
o adjunto do operador T;
Im(T) a imagem do operador T;
(T) o conjunto resolvente do operador T;
(T) o espectro do operador T;

p
(T) o espectro pontual do operador T;

c
(T) o espectro contnuo do operador T;

r
(T) o espectro residual do operador T;
R
(T) a resolvente do operador T;

M
a transposta da matriz M;
denota o m da demonstrao.
11
Introduo
A teoria espectral uma rea de anlise funcional moderna e suas aplicaes. Muitos problemas
de modelao matemtica e da teoria de equaes diferenciais funcionais podem ser escritos
nos termos de operadores lineares limitados (veja, por exemplo, [1]). Ento, a investigao das
propriedades espectrais de tais operadores tema actual e de muita importncia.
O nosso objectivo principal neste trabalho fazer uma reviso detalhada da teoria espec-
tral dos operadores lineares e apresentar alguns exemplos para esclarecer os conceitos e certas
propriedades desta teoria.
O presente trabalho constitudo por: introduo, cinco captulos, concluso e bibliograa.
No primeiro captulo deste trabalho, apresentaremos denies e propriedades bsicas de
topologia e anlise funcional, mais exactamente: espaos mtricos, espaos normados, espaos
de Hilbert e a teoria dos operadores lineares nos espaos normados.
No segundo captulo introduziremos o conceito do operador fechado e apresentaremos algu-
mas propriedades destes operadores (na primeira seco). Na segunda seco introduziremos
os conceitos bsicos da teoria espectral. Na terceira seco apresentaremos algumas proprieda-
des espectrais dos operadores lineares limitados nos espaos de Banach. Nas ltimas seces
deste captulo faremos um estudo sobre o espectro do operador de multiplicao nos espaos
C[0, 1], L
2
[0, 1], P[0, 1] e do operador diferencial no espao C[0, 1].
No terceiro captulo introduziremos as noes de alguns tipos especiais de operadores. Na
primeira seco apresentaremos o operador integral de Fredholm. Na segunda seco introduzi-
remos o conceito de operador adjunto T
de um dado operador linear limitado T nos espaos de

Banach. Na terceira seco introduziremos o conceito de operador adjunto nos espaos de Hil-
bert. Na quarta e ltima seco deste captulo deniremos o operador compacto e estudaremos
12
algumas propriedades bsicas destes operadores.
No quarto captulo faremos um estudo das propriedades espectrais dos operadores lineares
compactos, especialmente, as alternativas de Fredholm no espao de Banach e Hilbert, respec-
tivamente. Faremos tambm uma comparao destas alternativas. Alm disso, estudaremos
os espectros de alguns operadores lineares compactos concretos, especialmente, o espectro do
operador integral de Volterra nos espaos C[0, 1] e L
2
[0, 1].
O quinto captulo dedicamos as aplicaes da alternativa de Fredholm para equaes inte-
grais lineares da segunda espcie.
13
Captulo 1
Noes preliminares
Neste primeiro captulo, apresentaremos conceitos e propriedades bsicas de topologia geral e
anlise funcional que sero utilizados nos prximos captulos. Tais conceitos e propriedades
se encontram com mais detalhes nas obras [2], [3], [7], [8], [9], [11], [12] e [16]. De salientar
que ao longo deste trabalho iremos usar elementos da teoria de medida e integral de Lebesgue
abordados com mais detalhes nas obras [11] e [14], os quais no sero apresentados neste
captulo.
1.1 Espaos mtricos
1.1.1 Mtrica e espao mtrico
Denio 1.1.1 Seja X um conjunto. Diremos que a funo : X X R uma mtrica
em X se :
1. (x, y) 0, x, y X e (x, y) = 0 x = y;
2. (x, y) = (y, x), x, y X;
3. (x, y) = (x, z) + (z, y), x, y, z X
Se (x, y) uma mtrica em X, a dupla (X, ) chamada espao mtrico.
14
1.1 Espaos mtricos 15
1.1.2 Conjuntos abertos, fechados e densos
Denio 1.1.2 (bolas) Sejam (X, ) um espao mtrico, x X e r > 0.
1. Denimos a bola aberta de centro x
0
e raio r como o conjunto
B(x
0
, r) = x X : (x, x
0
) < r.
2. A bola fechada de centro x
0
e raio r o conjunto
B[x
0
, r] = x X : (x, x
0
) r.
Denio 1.1.3 Sejam (X, ) um espao mtrico, A X e x
0
X.
1. x
0
chama-se ponto interior de A se existe um r > 0 tal que B(x
0
, r) A.
2. x
0
chama-se ponto aderente de A se para todo r > 0 vale B(x
0
, r) A ,= .
3. x
0
chama-se ponto de acumulao de A se para todo r > 0 vale B(x
0
, r) x
0
A ,= .
Denio 1.1.4 Seja (X, ) um espao mtrico. O conjunto formado por todos os pontos
aderentes de A X chama-se fecho de A, e denotado por A.
Denio 1.1.5 Sejam (X, ) um espao mtrico e A X. A dito ser aberto se todos os
seus pontos so interiores.
Denio 1.1.6 Um subconjunto A de um espao mtrico X dito ser fechado se todos os
seus pontos so aderentes, isto , A = A.
Denio 1.1.7 Seja (X, ) um espao mtrico. Um conjunto A X dito ser denso em X
se A = X.
1.1.3 Espaos compactos
Denio 1.1.8 Um espao mtrico X dito ser compacto, se toda sequncia em X possui
subsequncia convergente. Um subconjunto A de X dito ser compacto, se A compacto
considerando como subespao de X.
Denio 1.1.9 Seja (X, ) um espao mtrico. Um conjunto A X relactivamente com-
pacto quando o seu fecho compacto.
1.2 Espaos normados 16
1.1.4 Continuidade e continuidade uniforme
Sejam (X, ), (Y, d) espaos mtricos e D(f) X.
Denio 1.1.10 (continuidade) Uma funo f : D(f) Y dita contnua no ponto x
0

D(f) se para todo > 0, existe um > 0, tal que d(f(x), f(x
0
)) < para qualquer x
D(f) com (x, x
0
) < . A funo f dita ser contnua se for contnua em todos os pontos do
seu domnio .
Denio 1.1.11 (continuidade uniforme) Uma funo f : D(f) Y dita uniforme-
mente contnua em D(f) se para todo > 0, existe um > 0, tal que d(f(x), f(y)) < para
quaisquer x, y D(f) com (x, y) < .
Observao 1.1.1 Se uma funo f : D(f) Y uniformemente contnua, ento f con-
tnua. A armao recproca nem sempre verdadeira. Por exemplo, a funo f : [0, )
[0, ) dada por f(x) =

x contnua, mas no uniformemente contnua.
Teorema 1.1.1 Seja f : D(f) Y uma funo contnua e D(f) compacto. Ento f : D(f)
Y uniformemente contnua em D(f).
Demonstrao. Veja [8], Teorema 3.6, pg.115.
1.2 Espaos normados
O nosso estudo ser sempre no contexto dos espaos vectoriais reais ou complexos. Represen-
taremos por P o corpo dos nmeros reais ou complexos.
1.2.1 Norma e espaos de Banach
Denio 1.2.1 Seja X um espao vectorial. Um norma em X uma aplicao (funo)
| | : X R que satisfaz as seguintes propriedades :
1. |x| 0 x X e |x| = 0 x = 0;
2. |x| = [[|x| P x X;
3. |x + y| |x| +|y| x, y X.
Denio 1.2.2 Um espao vectorial X munido de uma norma || chamado espao normado
e denotado por (X, | |).
Observao 1.2.1 Sejam X, Y espaos normados. A rigor deveramos escrever | |
X
e | |
Y
para indicar normas em X e Y , respectivamente. Porm, para no sobrecarregar a notao,
usaremos a mesma notao | | para indicar as normas em X e Y .
Observao 1.2.2 Um espao normado torna-se naturalmente um espao mtrico com a m-
trica derivada da norma:
(x, y) = |x y|.
Denio 1.2.3 Diremos que uma sequncia (x
n
) em um espao normado converge para o
ponto x
0
X se, para todo > 0, existe um n
0
natural, tal que |x
n
x
0
| < para todo n n
0
.
Neste caso, a sequncia (x
n
) dita convergente em X, e escreve-se x
n
x
0
ou limx
n
= x
0
.
Lema 1.2.1 Seja X um espao normado e A X. Ento, A fechado se, e somente se, para
toda sequncia (x
n
) de pontos de A que converge para x, segue que x A.
Denio 1.2.4 Seja R
n
um conjunto mensurvel
1
. Seja 1 p < . Denimos o espao
L
p
() como sendo o espao normado das classes de equivalncia de funes p-integrveis no
sentido de Lebesgue
2
, isto ,
L
p
() =
_
x : R :
_
[x(t)[
p
dt <
_
,
dotado da norma
|x| =
__
[x(t)[
p
dt
_1
p
.
Escrevendo a igualdade x = y onde x e y so elementos do espao L
2
[a, b] na forma
x(t) = y(t), t [a, b] (1.1)
1
Conjunto mensurvel veja [11], Denio 2, pg.264.
2
Henri Lebesgue (18751941) matemtico francs
temos que observar o seguinte.
De facto, x e y so classes de funes equivalentes em relao medida de Lebesgue em R.
Ento, em (1.1) esto as funes x() e y() que so representantes das classes de equivalncia
de x e y. De agora em diante, a igualdade (1.1) no espao L
2
[a, b] sempre entenderemos que se
cumpre em quase todos os pontos t [a, b].
Denio 1.2.5 Seja 1 p < . Denimos o espao l
p
como sendo o espao normado das
sequncias reais p-somveis, isto ,
l
p
=
_
x : N R :
k=1
[x
k
[
p
<
_
,
dotado da norma
|x| =
_

k=1
[x
k
[
p
_1
p
.
Denio 1.2.6 Denimos o espao C[a, b] como sendo o espao normado das funes cont-
nuas x : [a, b] R, dotado da norma
|x| = max
t[a,b]
[x(t)[.
Denio 1.2.7 Denimos o espao P[a, b] como sendo o espao normado das funes limi-
tadas x : [a, b] R, dotado da norma
|x| = sup
t[a,b]
[x(t)[.
Denio 1.2.8 Denimos o espao W
1
[a, b] como sendo o espao das funes absolutamente
contnuas x : [a, b] R, dotado da norma
|x| = [x(a)[ +
_
b
a
[x
(t)[dt.
Uma funo x : [a, b] R absolutamente contnua se para todo > 0, existe um > 0
tal que
n
k=1
[x(b
k
) x(a
k
)[ <
para toda famlia nita ]a
k
, b
k
[ de subintervalos disjuntos de [a, b] satisfazendo
n
k=1
[b
k
a
k
[ < .
Equivalentemente, uma funo x : [a, b] R absolutamente contnua se x
integrvel a
Lebesgue em [a, b] e tem lugar a igualdade
x(t
1
) x(t
0
) =
_
t
1
t
0
x
(t)dt,
para todos t
0
, t
1
[a, b].
Denio 1.2.9 Diremos que uma sequncia (x
n
) em um espao normado de Cauchy
3
se
> 0, n
0
N : |x
n
x
m
| < sempre que n, m n
0
.
Denio 1.2.10 Um espao de Banach
4
um espao normado em que toda sequncia de
Cauchy convergente.
Exemplo 1.2.1 Os espaos C[a, b], L
p
(), l
p
, P[a, b], W
1
[a, b] so de Banach.
Teorema 1.2.1 (Weierstrass
5
-Bolzano
6
) Seja X um espao normado de dimenso nita.
Ento toda sequncia limitada em X possui subsequncia convergente.
Lema 1.2.2 (Riesz
7
) Sejam X um espao normado e Y subespao linear fechado prprio de
X. Ento para todo real ]0, 1[, existe um x X tal que
|x| = 1, |x y| para todo y Y.
Demonstrao. Veja [12], Lema 2.5-4, pg.78.
Teorema 1.2.2 (dimenso nita) Se X um espao normado de dimenso innita, ento
a bola B[0, 1] = x X : |x| 1 no conjunto compacto.
Demostrao. Veja [12], Teorema 2.5-5, pg.80.
Corolrio 1.2.1 A bola unitria B[0, 1] num espao normado X um conjunto compacto se,
e somente se, X um espao de dimenso nita.
3
Augustin Louis Cauchy (17891857) matemtico francs
4
Stefan Banach (18921942)matemtico polaco
5
Karl Theodor Wilhelm Weierstrass (18151897) matemtico alemo
6
Bernhard Bolzano (17811848) matemtico checo
7
Marcel Riesz (18861968) matemtico francs
1.2.2 Operadores lineares
Denio 1.2.11 Sejam X, Y espaos normados. Diremos que o operador T : D(T) Y
com domnio D(T) X linear se :
1. D(T) um subespao linear de X;
2. T(x + y) = Tx + Ty para todos x, y D(T);
3. T(x) = Tx P e x D(T).
O conjunto de todos os operadores lineares T : X Y denotamos por L(X, Y ). Quando
X = Y denotamos L(X, Y ) por L(X).
Denio 1.2.12 Quando o espao Y na denio 1.2.11 um corpo (real ou complexo) o
operador T : D(T) Y chamado funcional.
Denio 1.2.13 (ncleo e imagem) Sejam X, Y espaos normados e seja T : D(T) Y
um operador linear com domnio D(T) X. O ncleo do operador T um subespao de D(T)
denido por
N(T) = x D(T) : Tx = 0
e a imagem de T um subespao de Y denido por
Im(T) = y Y : y = Tx para algum x D(T) .
Denio 1.2.14 (operador nito) Sejam X, Y espaos normados e T : D(T) Y um
operador linear, onde D(T) X. Diremos que o operador T nito se
dimIm(T) < .
Denio 1.2.15 Sejam X, Y espaos normados e seja T : D(T) Y um operador linear
com domnio D(T) X. Diremos que o operador T inversvel se existe um operador S :
Im(T) D(T), tal que (ST)x = x para todo x D(T) e (TS)y = y para todo y Im(T).
O operador S chama-se inverso de T e denotado por T
1
.
Teorema 1.2.3 (operador inverso) Sejam X, Y espaos normados e T : D(T) Y um
operador linear com D(T) X e Im(T) Y . Ento:
1. O inverso T
1
: Im(T) D(T) existe se, e somente se,
Tx = 0 x = 0, isto , N(T) = 0;
2. Se T
1
existe, ento T
1
linear.
Demonstrao. Veja [12], Teorema 2.6-10, pg.88.
1.2.3 Operadores lineares limitados
Denio 1.2.16 Sejam X, Y espaos normados. Diremos que o operador T : D(T) Y com
domnio D(T) X contnuo no ponto x
0
D(T) se, para toda sequncia (x
n
) que converge
para x
0
, temos que Tx
n
Tx
0
.
Denio 1.2.17 Sejam X, Y espaos normados. Diremos que o operador linear T : D(T)
Y limitado se existe uma constante real positiva k, tal que
|T(x)| k|x| para todo x D(T). (1.2)
Equivalentemente, T limitado se levar qualquer conjunto limitado em D(T) num conjunto
limitado em Y .
Denio 1.2.18 Sejam X, Y espaos normados e seja T : D(T) Y um operador linear
limitado com domnio D(T) X. A norma do operador T denida por
|T| = sup
xD(T)
_
|Tx|
|x|
: x ,= 0
_
. (1.3)
Observao 1.2.3 Da desigualdade (1.2) se k = |T|, obtemos
|Tx| |T||x|. (1.4)
O conjunto de todos os operadores lineares T : X Y que so limitados denotamos por
B(X, Y ). Quando X = Y denotamos B(X, Y ) por B(X). Mais ainda, o espao B(X, Y ) junto
com a norma denida em (1.3) um espao normado.
Denio 1.2.19 Sejam X e Y espaos normados. Dizemos que X e Y so isomorfos se
existe um operador linear bijectivo T : X Y contnuo tal que T
1
: Y X contnuo.
Se, alm disso, T for uma isometria, isto , |Tx| = |x| para todo X, ento dizemos que X
e Y so isometricamente isomorfos.
Denio 1.2.20 (convergncia pontual e uniforme) Sejam X, Y espaos normados. Uma
sequncia de operadores lineares limitados T
n
: X Y converge pontualmente para o operador
T : X Y se, para todo x X, tem-se
|T
n
x Tx| 0 .
A sequncia (T
n
) converge uniformemente para T se converge na norma de B(X, Y ), isto ,
|T
n
T| 0 .
Lema 1.2.3 (norma) Sejam X, Y espaos normados e T : D(T) X Y um operador
linear limitado. Ento
|T| = sup
xD(T)
|Tx| : |x| = 1
Demonstrao. Veja [12], Lema 2.7.2, pg.92.
Teorema 1.2.4 Seja T L(X, Y ). As seguintes armaes so equivalentes:
1. T contnuo.
2. T contnuo no ponto 0.
3. T limitado.
Demonstrao. Veja [16], Lema 4.1, pg.88.
Teorema 1.2.5 Se X um espao normado de dimenso nita, ento todo operador linear
em X limitado.
Teorema 1.2.6 (Teorema de Banach) Sejam X, Y espaos de Banach e T : X Y um
operador linear, limitado e bijectivo. Ento T
1
limitado.
Demonstrao. Veja [11], Teorema 3, pg.216.
1.2.4 Espao dual. Espaos reexivos
Denio 1.2.21 Seja X um espao normado. O espao dual de X, denotado por X
, o
conjunto dos funcionais lineares limitados de X em P, isto , X
= B(X, P).
Observao 1.2.4 O espao X
linear. Alm disso, X
um espao normado com norma

denida por
|f| = sup
xX
_
[f(x)[
|x|
: x ,= 0
_
. (1.5)
Denio 1.2.22 Sejam X um espao normado e V um subespao linear de X. O anulador
de V o subespao linear V
de X
dos funcionais lineares que anulam V , isto ,

V
= f X
: f(x) = 0, para todo x V . (1.6)

Analogamente, se W um subespao linear de X
, o anulador de W o subespao linear W
de X dos vectores que so anulados pelos funcionais de W, ou seja,

W
= x X : f(x) = 0, para todo f W . (1.7)

Teorema 1.2.7 Sejam X um espao normado e Y um espao de Banach. Ento B(X, Y )
um espao de Banach. Em particular, X
de Banach.
Nesta subseco q designa o conjugado de p, isto ,
1
p
+
1
q
= 1.
Exemplo 1.2.2 O espao dual de l
p
(1 < p < ) l
q
. Em particular, (l
2
)
= l
2
(veja [9],
Exemplo 6.2.7, pg.160).
Exemplo 1.2.3 O espao dual de L
p
[a, b] (1 < p < ) L
q
[a, b]. Em particular, (L
2
[a, b])
=
L
2
[a, b] (veja [9], Teorema 6.2.6, pg.160).
Observao 1.2.5 Todo funcional f L
q
[a, b] admite a representao
f(x) =
_
b
a
f(t)x(t)dt (x L
p
[a, b])
(veja [9], Teorema 6.2.6, pg.160).
Teorema 1.2.8 (Teorema de Hahn
8
-Banach) Sejam X um espao normado e Y subespao
linear de X. Se o funcional f : Y P linear e limitado, ento existe

f X
tal que
|
f| = |f|.
Corolrio 1.2.2 Sejam X um espao normado e x X, x ,= 0. Ento existe f X
tal que
|f| = 1 e f(x) = |x|.
Representemos por X
o espao dual de X
. X
chamado o espao bidual de X. Denamos

a aplicao
J : X X
(1.8)
de tal forma que; para cada x X, o funcional Jx : X
P dado por
(Jx)(f) = f(x) (1.9)
para todo f X
.
A aplicao (1.8) est bem denida, linear e |Jx| = |x| para todo x X. Em particular, J
injectiva (veja [2], pg.36).
Denio 1.2.23 Dizemos que um espao de Banach reexivo se a aplicao (1.8) for
sobrejectiva. Neste caso, X e X
so isometricamente isomorfos.
Exemplo 1.2.4 Os espaos L
p
= L
p
[a, b] (1 < p < ) so reexivos. De facto,
(L
p
)
= L
q
,
(L
q
)
= L
p
,
(L
q
)
= (L
p
)
= L
p
.
8
Hans Hahn (18791934)matemtico austraco
1.3 Espaos de Hilbert 25
1.3 Espaos de Hilbert
Denio 1.3.1 Seja X um espao linear. Um produto interno em X uma funo , :
X X P que satisfaz as seguintes propriedades:
(a) x + y, z = x, z +y, z para todos x, y, z X.
(b) x, y = x, y para todos x, y X, P.
(c) x, y = y, x para todos x, y X.
(d) x, y 0 sendo que x, x = 0 se x = 0.
O trao no membro direito de (c) denota o conjugado complexo.
Denio 1.3.2 Um espao linear com produto interno chama-se espao euclidiano.
Exemplo 1.3.1 R
n
um espao euclidiano com produto interno denido por
x, y = x
1
y
1
+ x
2
y
2
+ ... + x
n
y
n
.
Lema 1.3.1 Sejam x, y X. Se x, y , = 0, ento y ,= 0.
Demonstrao. Segue imediatamente das condies (c) e (d) da denio do produto interno.
Seja X um espao euclidiano e denamos o funcional

| | : X [0, ), (1.10)
pela frmula
|x| =
_
x, x. (1.11)
Proposio 1.3.1 (desigualdade de Cauchy-Schwarz
9
-Bunyakovsky
10
) Para todos x, y
X justa a desigualdade
[x, y[ |x||y|. (1.12)
9
Hermann Schwarz (18431921)matemtico alemo
10
Viktor Bunyakovsky (18041889)matemtico russo
Demonstrao. Se x, y = 0, ento a desigualidade de Cauchy-Schwarz-Bunyakovsky
vlida. Agora suponhamos que x, y , = 0. Do lema anterior segue que y ,= 0, consequentemente,
y, y , = 0.
Seja =
x, y
y, y
. Ento,
0 x y, x y = x, x y, x x, y [[
2
y, y.
= x, x y, x [x, y y, y].
Como =
x, y
y, y
, segue que x, y y, y = 0. Deste modo,
0 x, x y, x,
0 x, x
[x, y[
2
y, y
[x, y[
2
|x|
2
|y|
2
.
Proposio 1.3.2 O funcional (1.10) dene uma norma em X.
Demonstrao. A condio 1 da denio da norma segue imediatamente da condio (d) da
denio do produto interno. A condio 2 da denio da norma segue de
|x| =
_
x, x =
_
[
2
[x, x = [[|x|.
Finalmente, a desigualdade triangular provada usando a desigualdade de Cauchy-Schwarz-
Bunyakovsky.
|x + y|
2
= x + y, x + y = x, x +x, y +y, x +y, y
= x, x +x, y +x, y +y, y
= x, x + 2Rex, y +y, y
|x|
2
+ 2[x, y[ +|y|
2
|x|
2
+ 2|x||y| +|y|
2
= (|x| +|y|)
2
,
onde Rex, y denota a parte real de x, y.
Denio 1.3.3 Seja H um espao euclidiano. Dizemos que H um espao de Hilbert
11
se H um espao de Banach com a norma derivada do produto interno.
11
David Hilbert (18621943)matemtico alemo
Teorema 1.3.1 (Teorema da representao de Riesz) Seja H um espao de Hilbert. Dado
qualquer funcional contnuo f sobre H existe um e nico elemento y H tal que
f(x) = x, y
para todo x H. Alm disso,
|f| = |y|.
Corolrio 1.3.1 Todo espao de Hilbert H reexivo.
Exemplo 1.3.2 L
2
[a, b] espao de Hilbert com produto denido por
x, y =
_
b
a
x(t)y(t)dt.
Exemplo 1.3.3 l
2
espao de Hilbert com produto denido por
x, y =
k=1
x
k
y
k
.
Denio 1.3.4 Seja H espao de Hilbert e sejam x, y H. Dizemos que x ortogonal a y
se x, y = 0, e escreve-se xy. Analogamente, para V H escreve-se xV se xz para todo
z V .
Captulo 2
Teoria espectral de operadores lineares
limitados
2.1 Operadores lineares fechados
A teoria dos operadores lineares fechados vasta e de bastante aplicao na mecnica quntica
(veja [12] Cap.11). Infelizmente, neste trabalho no aprofundaremos a teoria destes operadores,
porm, iremos introduzir o conceito destes operadores e apresentaremos algumas propriedades
(sem demonstraes) que sero teis na deduo de certas propriedades da teoria espectral dos
operadores lineares limitados.
Denio 2.1.1 (operador fechado) Sejam X, Y espaos normados e T : D(T) Y um
operador linear com domnio D(T) X. Dizemos que o operador T fechado se seu grafo
G(T) = (x, Tx) : x D(T)
fechado em X Y .
Teorema 2.1.1 (grafo fechado) Sejam X, Y espaos de Banach e T : D(T) Y um opera-
dor linear fechado com domnio D(T) X. Se D(T) fechado em X, ento o operador T
limitado.
28
2.1 Operadores lineares fechados 29
Teorema 2.1.2 (operador fechado) Sejam X, Y espaos normados e T : D(T) Y um
operador linear com domnio D(T) X. As seguintes armaes so equivalentes:
1. T fechado.
2. Se x
n
x
0
, onde (x
n
) D(T), e Tx
n
y
0
, ento x
0
D(T) e Tx
0
= y
0
.
Lema 2.1.1 Sejam X,Y espaos normados e , P. Se T, S L(X, Y ) so fechados, ento
T + S fechado.
Demonstrao. Use o teorema anterior.
Teorema 2.1.3 (inverso do operador fechado) Seja T : D(T) Y um operador linear
fechado com domnio D(T) X, onde X, Y so espaos normados. Se T
1
existe, ento T
1
fechado.
Demonstrao. Veja [12], pg.644.
Exemplo 2.1.1 ([12], pg.294) Sejam X = C[0, 1] e D(T) o subespao das funes x X
que possuem derivadas contnuas. Ento o operador diferencial T : D(T) X denido por
(Tx)(t) = x
(t)
fechado mas no limitado.
Demonstrao. Primeiro mostremos que o operador diferencial no limitado.
Seja x
n
(t) = e
nt
(n N). Ento,
|x
n
| = 1,
|Tx
n
| = max
t[0,1]
ne
nt
= n, e
|Tx
n
| |T||x
n
| = |T|.
Logo |T| = , e deste modo, o operador diferencial no limitado.
Agora mostremos que operador diferencial fechado. Sejam (x
n
) D(T) e (Tx
n
) ambas
convergentes, digamos,
x
n
x e Tx
n
y.
2.1 Operadores lineares fechados 30
Tendo em conta que a convergncia na norma do espao C[0, 1] a convergncia uniforme em
[0, 1], ento de x
n
y obtemos
_
t
0
y()d =
_
t
0
lim
n
x
n
()d = lim
n
_
t
o
x
n
()d = x(t) x(0),
isto ,
x(t) = x(0) +
_
t
0
y()d. (2.1)
De (2.1) segue imediatamente que x D(T) e x
= y. Ento, pelo teorema 2.1.2 conclumos

que o operador diferencial fechado.
Exemplo 2.1.2 ([12], pg.295) Seja X um espao normado e D(T) um subespao prprio
denso em X. O operador identidade I : D(T) D(T) no fechado.
Demonstrao. Seja x X D(T). Como D(T) = X, ento existe (x
n
) D(T) tal que
x
n
x. Temos que Ix
n
= x
n
, e passando ao limite quando n obtemos
limIx
n
= limx
n
= x , D(T).
Em virtude do teorema 2.1.2 conclumos que o operador I no fechado.
De facto, a limitao no implica o fechamento, e vice-versa.
Teorema 2.1.4 (operador fechado) Seja T : D(T) Y um operador linear limitado com
domnio D(T) X, onde X, Y so espaos normados. Ento:
1. Se D(T) um subespao fechado de X, ento o operador T fechado.
2. Se Y de Banach e T fechado , ento D(T) um subespao fechado de X, isto ,
D(T) = D(T).
Demonstrao. Veja [12], Lema 4.13-5, pg.295.
Corolrio 2.1.1 Todo operador T B(X, Y ) fechado.
2.2 Conceitos bsicos da teoria espectral 31
2.2 Conceitos bsicos da teoria espectral
Esta seco dedicada especialmente, aos conceitos bsicos da teoria espectral de operadores
lineares. Nas prximas seces deste captulo, faremos o estudo de algumas propriedades es-
pectrais dos operadores limitados em espaos de Banach e apresentaremos alguns exemplos nos
espaos concretos.
Sejam X um espao de Banach complexo e T : D(T) X um operador linear com domnio
D(T) X. Vamos associar o operador T ao operador
T
= T I, (2.2)
onde C e I o operador identidade em D(T) X. Se T
tem inverso, denotamos por

R
(T), isto ,
R
(T) = T
1
= (T I)
1
(2.3)
e denomina-se resolvente do operador T ou, simplesmente, a resolvente de T.
2.2.1 Valor regular, conjunto resolvente, espectro
Denio 2.2.1 O nmero complexo tal que :
(E
1
) R
(T) existe,
(E
2
) R
(T) limitado,
(E
3
) R
(T) est denido num conjunto denso em X, isto , D(R
(T)) = X.
denomina-se valor regular do operador T.
Denio 2.2.2 O conjunto de todos valores regulares do operador T denomina-se conjunto
resolvente de T e denotado por (T).
Denio 2.2.3 O espectro do operador T denido como o complemento do conjunto re-
solvente, e denotado por (T), isto , (T) = C (T).
2.2.2 Decomposio do espectro
O espectro de um operador decompe-se em trs conjuntos disjuntos :
2.3 Propriedades espectrais dos operadores lineares limitados 32
Espectro pontual
Espectro contnuo
Espectro residual
Denio 2.2.4 O espectro pontual ou discreto
p
(T) o conjunto dos valores C tal
que R
(T) no existe. Se
p
(T), ento chamado autovalor do operador T.
Denio 2.2.5 O espectro contnuo
c
(T) o conjunto dos valores C tal que R
(T)
existe e satisfaz a condio (E
3
), mas no satisfaz (E
2
), isto , R
(T) no limitado.
Denio 2.2.6 O espectro residual
r
(T) o conjunto dos valores C tal que R
(T)
existe mas no satisfaz a condio (E
3
), isto , o domnio de R
(T) no denso em X. Neste

caso, R
(T) pode ou no ser limitado.

Observao 2.2.1 Em espaos de dimenso nita
c
(T) =
r
(T) = , portanto
(T) =
p
(T).
Observao 2.2.2 Se a resolvente R
(T) existe, ento linear pelo teorema do operador in-

verso (Teorema 1.2.3). O teorema mostra tambm que R
(T) : Im(T
) D(T
) existe se, e
somente se, T
x = 0 x = 0, isto , N(T
) = 0. Deste modo se T
x = 0 para algum x ,= 0,
ento
p
(T) (pela denio), isto , um autovalor do operador T.
Denio 2.2.7 Seja
p
(T). O vector x ,= 0 que satisfaz a equao T
x = 0 chama-
se autovector ou autofuno do operador T associado ao autovalor . E o conjunto de
solues da equao T
x = 0 chama-se autoespao associado ao autovalor .

2.3 Propriedades espectrais dos operadores lineares limi-
tados
Teorema 2.3.1 Seja T B(X), onde X um espao de Banach complexo. Ento o espectro
do operador T no vazio.
Denio 2.3.1 Seja T B(X), onde X um espao de Banach complexo. O raio espectral
do operador T denotado por r(T) denido como
r(T) = sup [[ : (T) . (2.4)
Teorema 2.3.2 Sejam X um espao de Banach complexo, T L(X) e (T). Se o
operador T fechado, ento T
1
existe e est denido em todo o espao X.

Demonstrao. O operador T fechado (pela hiptese). Ento, pelo lema 2.1.1 o operador
T
fechado. Por isso, T

1
fechado (veja Teorema 2.1.3). O operador T

1
limitado por
(E
2
), logo o seu domnio fechado pela armao 2 do teorema 2.1.4 aplicado para R
(T).
Assim, da condio (E
3
) implica que D(R
(T)) = D(R
(T)) = X.
Corolrio 2.3.1 Sejam T B(X) e (T). Ento o operador T
1
existe, limitado e
est denido em todo o espao X.
Corolrio 2.3.2 Seja X um espao de Banach e seja T B(X). Se o operador T
injectivo
e Im(T
) = X, mas Im(T
) ,= X, ento a resolvente R
(T) no limitada.
Demonstrao. Faamos a demonstrao pelo mtodo de reduo ao absurdo.
Suponhamos que a resolvente R
(T) limitada. Ento R
(T) satisfaz as condies (E

1
), (E
2
) e
(E
3
). Pelo corolrio 2.3.1 Im(T
) = X, mas isto absurdo, pois contradiz a condio Im(T
) ,=
X. Portanto, a resolvente no pode ser limitada.
Observao 2.3.1 Segundo o corolrio 2.3.1 se T B(X) onde X um espao de Banach
complexo, ento o conjunto resolvente (T) consta de todos C tal que R
(T) existe,
limitada e est denida em todo o espao X.
Lema 2.3.1 Seja X um espao de Banach e seja T B(X). Se T
bijectivo, ento T
satisfaz a condio (E
2
). Em outras palavras, se T
bijectivo, ento um valor regular do

operador T.
Demonstrao. Segue imediatamente do teorema de Banach (Teorema 1.2.6).
Teorema 2.3.3 Autovectores x
1
, x
2
, ..., x
n
correspondentes aos autovalores
1
,
2
, ...,
n
de
um operador linear T : X X constituem um conjunto linearmente independente.
Teorema 2.3.4 Seja X um espao de Banach complexo e seja T B(X). O raio espectral do
operador T tem as seguintes propriedades:
1. r(T) = lim
n
|T
n
|
1
n
.
2. r(T) |T|.
Demonstrao. Veja [4], Proposio 1.8, pg.5.
Denio 2.3.2 Seja X um espao de Banach complexo e seja T B(X). O operador T
dito ser nilpotente se lim
n
|T
n
|
1
n
= 0.
Teorema 2.3.5 Seja X um espao de Banach complexo e seja T B(X). Ento, as seguintes
armaes so equivalentes:
1. T nilpotente.
2. r(T) = 0.
3. (T) = 0.
Demonstrao. Segue imediatamente da denio 2.3.1 e dos teoremas 2.3.1, 2.3.4.
Teorema 2.3.6 Seja T B(X), onde X um espao de Banach complexo.
Se |T| < 1, ento (I T)
1
existe como um operador linear limitado denido em todo o espao
X e
(I T)
1
=
k=0
T
k
= I + T + T
2
+ ... (2.5)
Teorema 2.3.7 (espectro fechado) O conjunto resolvente de um operador linear limitado T
num espao de Banach complexo X aberto. Consequentemente, o espectro (T) fechado.
Demonstrao. Pretendemos mostrar que todo ponto pertencente a (T) interior, ou seja,
para todo
0
(T) existe B(
0
, ) (T). Para todo xo
0
(T) e qualquer C temos
T I = T
0
I (
0
)I
= T
0
I (
0
)(T
0
I)(T
0
I)
1
= (T
0
I)
_
I (
0
)(T
0
I)
1
= T
0
[I (
0
)R
0
(T)]
Denotando I (
0
)R
0
(T) por V obtemos
T
= T
0
V. (2.6)
Uma vez que
0
(T) e o operador T limitado, ento do corolrio 2.3.1 implica que
R
0
(T) = T
1
0
B(X). Alm disso, o teorema 2.3.6 mostra que o operador V admite um
inverso V
1
em B(X), para todo satisfazendo a desigualdade |(
0
)R
0
(T)| < 1, isto ,
[
0
[ <
1
|R
0
(T)|
. (2.7)
De (2.6) e visto que T
1
0
= R
0
(T) B(X), segue ento, que o operador T
tem um inverso
R
(T) = T
1
= (T
V )
1
= V
1
R
0
(T), (2.8)
para todo satisfazendo a desigualdade (2.7).
Por isso, todos C que satisfazem a desigualdade (2.7) so valores regulares do operador T,
isto , pode-se encontrar B(
0
, ) (T), onde =
1
|R
0
(T)|
. Ento,
0
um ponto interior
de (T). Como
0
arbitrrio, ento (T) aberto e, consequentemente, o seu complemento
(T) = C (T) fechado.
O teorema seguinte uma generalizao do teorema 2.3.6.
Teorema 2.3.8 Seja T B(X), onde X um espao de Banach complexo. Se r(T) < 1,
ento cumpre-se a armao do teorema 2.3.6.
2
[0, 1] e P[0, 1] 36
Teorema 2.3.9 Seja T B(X), onde X um espao de Banach complexo e seja C. Se
[[ > r(T), ento (T).
Demonstrao. Seja [[ > r(T) e seja C =
1
T um operador auxiliar. claro que I C =
. Do teorema 2.3.4 obtemos

r(C) = lim
n
|C
n
|
1
n
= lim
n
|(
1
T)
n
|
1
n
= lim
n
1
[[
|T
n
|
1
n
=
1
[[
r(T).
Como [[ > r(T) ento r(C) < 1, e pelo teorema 2.3.8, (C I)
1
existe, limitado e est
denido em todo o espao X. Por outro lado, temos que T
= (C I). Logo, R
(T) existe,
limitado e est denido em todo o espao X. Portanto, (T).
2.4 Espectro do operador de multiplicao nos espaos C[0, 1],
L
2
[0, 1] e P[0, 1]
Proposio 2.4.1 Seja T : X X o operador de multiplicao denido por
(Tx)(t) = tx(t), t [0, 1]. (2.9)
1) Se X = C[0, 1], ento T limitado e (T) =
r
(T) = [0, 1].
2) Se X = L
2
[0, 1], ento T limitado e (T) =
c
(T) = [0, 1].
3) Se X = P[0, 1], ento T limitado e (T) =
p
(T) = [0, 1].
Demonstrao. 1) Seja X = C[0, 1]. A linearidade do operador T clara e a limitao advm
de
|Tx| = max
0t1
[tx(t)[ max
0t1
[x(t)[ = |x| |T| |x|.
Vamos agora investigar o espectro deste operador.
a) Seja C [0, 1]. Consideremos a equao no homognea
(Tx)(t) x(t) = y(t), t [0, 1]. (2.10)
De (2.9) e (2.10) obtemos,
x(t) =
y(t)
t
. (2.11)
2
[0, 1] e P[0, 1] 37
Como C [0, 1], ento a igualdade (2.11) determina a nica soluo contnua da equao
(2.10). Logo, o operador T
bijectivo. Pelo lema 2.3.1 segue que C [0, 1] (T).

b) Seja [0, 1]. Ento, da equao (t)x(t) = 0 segue que x(t) = 0, para todo t [0, 1].
A nica funo contnua que satisfaz esta condio a funo identicamente nula. Assim,
N(T
) = 0, isto signica que o operador T
injectivo. Deste modo, no um auto-

valor do operador T e de a) implica que
p
(T) = . Por outro lado, para todo y Im(T
)
temos que y() = 0. O conjunto Im(T
) est contido em E = y C[0, 1] : y() = 0 e

E = E ,= X. Logo, Im(T
) ,= X. Portanto, [0, 1] um ponto do espectro residual. Assim,

(T) =
r
(T) = [0, 1].
2) Seja X = L
2
[0, 1]. A limitao do operador T no espao L
2
[0, 1] advm de
|Tx|
2
=
_
1
0
[(Tx)(t)[
2
dt =
_
1
0
[tx(t)[
2
dt
_
1
0
[x(t)[
2
dt = |x|
2
.
Agora investiguemos o espectro.
a) Seja C [0, 1]. A equao (2.10) tem soluo nica x L
2
[0, 1] para todo y L
2
[0, 1],
visto que
_
1
0
y(t)
t
2
dt C|y|
2
< ,
onde C = max
t[0,1]
1
[t [
2
. Logo, o operador T
bijectivo. Pelo lema 2.3.1 segue que C [0, 1]

(T).
b) Seja [0, 1]. Ento, da igualdade (t )x(t) = 0 implica que x(t) = 0 em quase todos
os pontos t ,= , logo x = 0, elemento nulo em L
2
[0, 1]. Assim, T
inversvel e deste modo,

[0, 1] no pode ser um autovalor do operador T. O inverso do operador T
dado por
(T
1
x)(t) =
x(t)
t
. (2.12)
O domnio do operador T
1
consta de elementos x L
2
[0, 1] tal que
x(t)
t
L
2
[0, 1], ou seja,
D(R
(T)) =
_
x L
2
[0, 1] :
x(t)
t
L
2
[0, 1]
_
. (2.13)
2
[0, 1] e P[0, 1] 38
Observemos que o domnio do operador T
1
no coincide com todo L

2
[0, 1], visto que, a funo
x(t) 1 pertence ao espao L
2
[0, 1], mas no pertence ao conjunto D(R
(T)), pois
_
1
0
1
(t )
2
dt = . (2.14)
Mostremos agora, que o conjunto D(R
(T)) denso em L
2
[0, 1]. Sejam > 0, x L
2
[0, 1].
Para qualquer > 0 consideremos o conjunto
=
_

2
; +

2
_
[0, 1] e denamos a
seguinte funo
x
(t) =
_
_
_
x(t) , se t [0, 1]
0 , se t
. (2.15)
Vamos mostrar que a funo x
(t) denida em (2.15) pertence ao domnio do operador T

1
.
Para tal satisfeito mostrar que T
1
L
2
[0, 1], ou seja,
_
1
0
(T
1
)(t)
2
dt < . (2.16)
De (2.12), (2.15) e considerando o caso em que
=
_

2
; +

2
_
, obtemos
_
1
0
(t)
t
2
dt =
_

2
0
x
2
(t)
(t )
2
dt +
_
1
+
2
x
2
(t)
(t )
2
dt
max
0t
2
_
1
(t )
2
_ _

2
0
x
2
(t)dt + max
+
2
t1
_
1
(t )
2
_ _
1
+
2
x
2
(t)dt
_
2
_
2
_
_

2
0
x
2
(t)dt +
_
1
+
2
x
2
(t)dt
_
_
2
_
2
_
1
0
x
2
(t)dt =
_
2
_
2
|x|
2
< .
Logo x
D(R
(T)), e para os outros casos de
, a demonstrao anloga ou a demonstrao

pode ser feita para o caso geral de
, visto que, para todo t [0, 1]
tem lugar a desigualdade

[t [ >

2
. Aplicando o teorema da continuidade absoluta de integral de Lebesgue (veja [14],
Prop. 13, pg.85) para x
2
, existe
0
> 0 tal que
_
A
x
2
(t)dt <
2
, para todo A [0, 1] com A
0
. (2.17)
2
[0, 1] e P[0, 1] 39
Avaliemos a grandeza |x x
0
| em L
2
[0, 1]. De (2.15) e (2.17) obtemos
|x x
0
|
2
=
_
0
x
2
(t)dt <
2
, visto que
0

0
. (2.18)
Assim, para todo x L
2
[0, 1] e para todo
0
> 0, existe um y D(R
(T)) tal que |y x| <

0
.
Ento D(R
(T)) = L
2
[0, 1].
Como D(R
(T)) ,= L
2
[0.1], ento do corolrio 2.3.2 segue que o operador T
1
no limitado.
Deste modo, [0, 1]
c
(T).
3) Seja X = P[0, 1]. A limitao do operador T no espao P[0, 1] advm de
|Tx| = sup
0t1
[tx(t)[ sup
0t1
[x(t)[ = |x| |T| |x|.
Consideremos as igualdades (2.10) e (2.11), mas agora no espao P[0, 1].
a) Seja C [0, 1]. Ento a igualdade (2.11) determina a nica soluo x P[0, 1] da
equao (2.10), para todo y P[0, 1]. Logo, o operador T
bijectivo. Pelo lema 2.3.1 segue

que C [0, 1] (T).
b) Seja [0, 1]. A equao (t )x(t) = 0 no espao P[0, 1] admite a soluo x
[]
denida
por
x
[]
(t) =
_
_
_
0 , se t [0, 1]
1 , se t =
.
Ento, N(T
) = Span
_
x
[]
_
e isto signica que o operador T
no injectivo, deste modo,

um autovalor do operador T, ou seja, [0, 1]
p
(T).
De a) e b) resulta que (T) =
p
(T) = [0, 1].
Concluso
Se X = C[0, 1], temos
(T) = C [0, 1],
p
(T) = ,
c
(T) = ,
(T) =
r
(T) = [0, 1].
2.5 Espectro do operador diferencial no espao C[0, 1] 40
Se X = L
2
[0, 1], temos
(T) = C [0, 1],
p
(T) = ,
r
(T) = ,
(T) =
c
(T) = [0, 1].
Se X = P[0, 1], temos
(T) = C [0, 1],
c
(T) = ,
r
(T) = ,
(T) =
p
(T) = [0, 1].
Observao 2.4.1 interessante que o espectro do operador de multiplicao (2.9) nos espa-
os C[0, 1], L
2
[0, 1] e P[0, 1] o mesmo, mas com tipos de pontos do espectro diferentes.
2.5 Espectro do operador diferencial no espao C[0, 1]
Proposio 2.5.1 Consideremos o operador diferencial (Tx)(t) = x
(t) no subespao X com

domnio denido por
D(T) = x X : x
C[0, 1] .
1. Se X = C[0, 1], ento (T) =
p
(T) = C.
2. Se X = x C[0, 1] : x(0) = 0, ento (T) = .
3. Se X = x C[0, 1] : x(0) = x(1), ento
(T) =
p
(T) = C : = 2ni, n Z.
Demonstrao. 1) Seja X = C[0, 1].
Consideremos a equao T
x = 0 x
(t) x(t) = 0. Resolvendo a equao T
x = 0 em
funo de x, obtemos x(t) = Ce
t
onde C constante arbitrria. Assim, N
(T) = Span
_
e
t
_
,
o que signica que todo C um autovalor do operador T, ou seja,
p
(T) = C. Portanto,
(T) =
p
(T) = C.
2) Seja X = x C[0, 1] : x(0) = 0. A equao T
x = y equivalente a equao dife-

rencial com condio inicial,
_
_
_
x
(t) x(t) = y(t), t [0, 1]

x(0) = 0
. (2.19)
Como todas as condies do teorema sobre existncia e unicidade de soluo da equao di-
ferencial esto garantidas, ento a equao (2.19) tem soluo nica. E resolvendo a equao
pelo mtodo do factor integrante obtemos,
x(t) =
_
t
0
y(s)e
(ts)
ds. (2.20)
Logo o operador T
bijectivo para todo C. Mais ainda T

1
limitado, visto que

|T
1
x| = max
0t1
_
t
0
e
(ts)
x(s)ds
C|x|, (2.21)
onde C = max
_
1, [e
[
_
. Portanto, (T) = C e (T) = .
3) Seja X = x C[0, 1] : x(1) = x(0). Vimos em 1) que a soluo da equao T
x = 0
dada por x(t) = Ce
t
. Ento x(0) = C, x(1) = x(0)e
e da condio x(0) = x(1) obtemos a

equao
x(0)(e
1) = 0.
Se e
1 = 0, ento x(0) arbitrrio, ou seja, todo que satisfaz a equao e
1 = 0 um
autovalor do operador T. Resolvendo a equao e
1 = 0 obtemos = 2ni, onde n Z.

Logo, todo pertencente ao conjunto A = C : = 2ni, n Z um autovalor do
operador T, deste modo, A
p
(T).
Agora, seja C A. Ento, a igualdade
x(t) =
1
1 e
_
1
0
e
(1s)
y(s)ds +
_
t
0
y(s)e
(ts)
ds
determina a nica soluo da equao x
(t) x(t) = y(t), para todo y C[0, 1]. Logo, T

bijectivo e de modo anlogo em 2), segue que C A (T).
Portanto, (T) =
p
(T) = A.
Concluso
Se X = C[0, 1], temos
(T) = ,
c
(T) = ,
r
(T) = ,
(T) =
p
(T) = C.
Se X = x C[0, 1] : x(0) = 0, temos
(T) = C,
p
(T) = ,
r
(T) = ,
(T) = .
Se X = x C[0, 1] : x(0) = x(1), temos
(T) = C C : = 2ni, n Z,
c
(T) = ,
r
(T) = ,
(T) =
p
(T) = C : = 2ni, n Z.
Observao 2.5.1 interessante que para casos diferentes do espao X o operador diferencial
tem espectros distintos. No caso 2 vimos que o espectro deste operador vazio. Isto no est
em contradio com o teorema 2.3.1, visto que o operador diferencial no limitado.
Observao 2.5.2 Das proposies 2.4.1 e 2.5.1, conclumos que o espectro de um operador
depende do espao de actuao.
Captulo 3
Operadores adjuntos e operadores lineares
compactos
3.1 Operador integral de Fredholm
Denio 3.1.1 Seja k : [a, b] [a, b] R. O operador integral T com ncleo k, denido
por
(Tx)(t) =
_
b
a
k(t, s)x(s)ds, (3.1)
chama-se operador integral de Fredholm
1
.
Denio 3.1.2 ([11], pg.450) Se o ncleo k do operador (3.1) satisfazer a condio
_
b
a
_
b
a
[k(t, s)[
2
dtds < , (3.2)
o respectivo operador se chamar operador de Hilbert-Schmidt
2
.
Denio 3.1.3 Seja [0, 1] [0, 1] R. O operador integral V com ncleo k
v
denido por
(V x)(t) =
_
t
0
k
v
(t, s)x(s)ds,
chama-se operador integral de Volterra
3
.
1
Erik Ivar Fredholm (18661927)matemtico sueco
2
Erhard Schmidt (18761959)matemtico alemo
3
Vito Volterra (18601940) matemtico italiano
43
3.2 Operadores adjuntos nos espaos de Banach 44
O operador de Volterra um caso particular do operador de Fredholm com ncleo denido por
k(t, s) =
_
_
_
k
v
(t, s), se s < t
0, se s > t
.
No entanto, o operador integral de Volterra tem propriedades espectrais especcas.
3.2 Operadores adjuntos nos espaos de Banach
Denio 3.2.1 Sejam X, Y espaos normados e seja T B(X, Y ). Denimos o operador
adjunto de T, e denotamos por T
, como sendo a aplicao T
: Y
denida por
(T
f)(x) = f(Tx), (3.3)

para todos x X e f Y
.
Observemos que como T : X Y e f : Y P so lineares e contnuos, temos que a
aplicao f T : X P linear e contnua. Da T
est bem denida.

Denio 3.2.2 Seja X um espao de Banach tal que X = X
. Um operador T B(X)
dito ser autoadjunto se T
= T.
Notemos que X = X
para espaos l
2
e L
2
[a, b] (veja exemplos 1.2.2 e 1.2.3).
Observao 3.2.1 Em espaos de dimenso nita o adjunto de um operador linear T de-
terminado pela transposta da matriz que dene o operador T. Para mais detalhes veja [12],
pg.234.
Proposio 3.2.1 Sejam X, Y espaos normados, S, T B(X, Y ) e , P. Ento
(S + T)
= S
+ T
.
Demonstrao. Para cada f X
temos que
((S + T)
f)(x) = f((S + T)x)

= f(Sx) + f(Tx)
= f(Sx) + f(Tx)
= (S
f)(x) + (T
f)(x),
3.2 Operadores adjuntos nos espaos de Banach 45
para todo x X. Deste modo (S + T)
f = S
f + T
f para todo f X
. Portanto
(S + T)
= S
+ T
.
Teorema 3.2.1 Sejam X, Y espaos de Banach e T : X Y um operador linear fechado.
Ento as seguintes armaes so equivalentes:
1. Im(T) fechado.
2. Im(T
) fechado.
3. Im(T) = (N(T
))
.
4. Im(T
) = (N(T))
.
Teorema 3.2.2 Sejam X, Y espaos de Banach e seja T B(X, Y ). O operador T possui
um inverso T
1
em B(Y, X) se e somente se seu adjunto T
B(Y
, X
) possui um inverso
(T
)
1
B(X
, Y
). Neste caso, vale (T

1
)
= (T
)
1
.
Teorema 3.2.3 Seja T o operador integral de Hilbert-Schmidt. Ento T actua no espao
L
2
[a, b], limitado, e o adjunto T
o operador integral com ncleo denido por k(s, t), isto ,

(T
f)(t) =
_
b
a
k(s, t)f(s)ds, t [a, b]. (3.4)
Demonstrao. 1) Actuao e limitao. Em virtude da desigualdade de Cauchy-Schwarz-
Bunyakovsky, para quase todos os pontos t [a, b], teremos
|Tx| =
_
b
a
_
b
a
k(t, s)x(s)ds
2
dt
_
b
a
__
b
a
[k(t, s)[
2
ds
_
b
a
[x(s)[
2
ds
_
dt
= |x|
_
b
a
_
b
a
[k(t, s)[
2
dsdt,
sendo que
_
b
a
_
b
a
[k(t, s)[
2
dsdt < .
3.3 Operadores adjuntos nos espaos de Hilbert 46
2) Adjunto de T. Da observao 1.2.5 e do teorema de Fubini
4
(veja [11], Teorema 5,
pg.307) obtemos
f(Tx) =
_
b
a
f(t)(Tx)(t)dt =
_
b
a
f(t)
__
b
a
k(t, s)x(s)ds
_
dt
=
_
b
a
__
b
a
k(t, s)f(t)dt
_
x(s)ds
=
_
b
a
(T
f)(s)x(s)ds
= (T
f)(x),
donde resulta a armao do teorema.
Em particular, um operador integral de Fredholm T ser autoadjunto em L
2
[a, b], isto , T
= T,
se, e somente se, k(s, t) = k(t, s) (ncleo simtrico).
3.3 Operadores adjuntos nos espaos de Hilbert
Denio 3.3.1 Seja T : H V um operador linear limitado, onde H e V so espaos de
Hilbert. Denimos o adjunto-hermitiano T
de T como sendo o operador T
: V H
denido por
T
y, x = y, Tx,
para todos x H e y V .
Denio 3.3.2 Um operador T B(H), onde H um espao de Hilbert, dito ser autoad-
junto se T
= T.
Ressaltemos que a denio 3.3.1 se distingue da denio 3.2.1, segundo a qual, o adjunto
T
actua de Y
para X
, onde X e Y so espaos de Banach. A m de no complicarmos as

notaes e terminologia, escrevemos sempre T
em lugar de T
e cham-lo-emos de adjunto,
lembrando que, ao se tratar de espaos de Hilbert, se entender sempre no sentido desta seco.
Observao 3.3.1 Em espaos de dimenso nita o adjunto-hermitiano de um operador linear
T determinado pela conjugada da matriz transposta que dene o operador T. Para mais
detalhes veja [7], pg.96.
4
Guido Fubini (18791943)matemtico italiano
3.3 Operadores adjuntos nos espaos de Hilbert 47
Teorema 3.3.1 (propriedades do adjunto-hermitiano) Sejam H,V espaos de Hilbert,
x H, y V , S, T : H V operadores lineares limitados e C. Ento
1. x, T
y = Tx, y.
2. (T)
= T
.
3. (S + T)
= S
+ T
.
4. (T
= T.
5. (ST)
= T
.
6. Se S bijectivo, ento existe (S
)
1
, e alm disso, (S
)
1
= (S
1
)
.
As demonstraes destas propriedades podem ser encontradas nas obras [7], [12].
Observao 3.3.2 Para sentir a ligao entre adjunto e adjunto-hermitiano veja por exemplo,
[12], pg.[236-237].
Teorema 3.3.2 Seja T : L
2
[a, b] L
2
[a, b] um operador integral de Fredholm com ncleo k
satisfazendo a condio (3.2). Ento o adjunto-hermitiano T
dado por
(T
y)(s) =
_
b
a
k(t, s)y(t)dt, s [a, b]. (3.5)
Demonstrao. Pelo teorema de Fubini, obtemos
Tx, y =
_
b
a
(Tx)(t)y(t)dt =
_
b
a
__
b
a
k(t, s)x(s)ds
_
y(t)dt
=
_
b
a
__
b
a
k(t, s)y(t)dt
_
x(s)ds
=
_
b
a
__
b
a
k(t, s)y(t)dt
_
x(s)ds
=
_
b
a
(T
y)(s)x(s)ds
= x, T
y,
donde resulta a armao do teorema.
Em particular, um operador integral de Fredholm T ser autoadjunto em L
2
[a, b] se, e somente
3.4 Operadores lineares compactos 48
se, k(s, t) = k(t, s).
Ao se considerar o espao de Hilbert real o facto de um operador ser autoadjunto signicar
que k(s, t) = k(t, s).
3.4 Operadores lineares compactos
3.4.1 Denio e propriedades bsicas dos operadores lineares com-
pactos
Denio 3.4.1 Sejam X, Y, Z espaos de Banach e seja T L(X, Y ). Diremos que o ope-
rador T compacto se para qualquer sequncia limitada (x
n
) em X, a sequncia (Tx
n
) em Y
possui subsequncia convergente. Equivalentemente, o operador T compacto se levar qualquer
conjunto limitado em X num conjunto relactivamente compacto em Y (veja [16], Teorema 7.8,
pg.208).
O conjunto de todos os operadores lineares T : X Y que so compactos denotamos por
K(X, Y ). Quando X = Y denotamos K(X, Y ) por K(X).
Teorema 3.4.1 Sejam X, Y espaos de Banach e seja T K(X, Y ). Ento T limitado.
Demonstrao. Suponhamos que T no limitado. Ento para cada inteiro n 1 existe um
vector x
n
(|x
n
| = 1) tal que |Tx
n
| n. Visto que (x
n
) limitada, ento pela compacticidade
do operador T existe uma subsequncia (Tx
n
k
) convergente. Mas isto contradiz |Tx
n
k
| n
k
.
Portanto, T limitado.
Corolrio 3.4.1 K(X, Y ) B(X, Y ).
Teorema 3.4.2 Sejam X, Y espaos de Banach. Se S, T K(X, Y ) e , P ento S+T
compacto. Em particular K(X, Y ) um subespao linear de B(X, Y ).
Demonstrao. evidente.
Teorema 3.4.3 Sejam X, Y, Z espaos de Banach. Se S B(X, Y ), T B(Y, Z) e T ou S
compacto, ento TS compacto.
Demonstrao. Suponhamos que S compacto. Seja (x
n
) uma sequncia limitada em X.
Ento existe alguma subsequncia (x
n
k
) tal que (Tx
n
k
) converge. Uma vez que T limitado,
ento TSx
n
k
converge. Daqui segue que TS compacto.
Agora suponhamos que S limitado mas no compacto. Ento pela hiptese T deve ser
compacto. Como S limitado, ento a sequncia (Sx
n
) limitada. E pela compacticidade
de T, existe alguma subsequncia (Sx
n
k
) tal que (TSx
n
k
) converge. De novo obtemos que TS
compacto.
Teorema 3.4.4 Sejam X, Y espaos de Banach e seja T B(X, Y ). Se T nito, ento T
compacto.
Demonstrao. Pela hiptese T nito, ento o espao E = Im(T) um espao normado
de dimenso nita. Alm disso, para toda sequncia limitada (x
n
) em X, a sequncia (Tx
n
)
limitada em E (pelo facto de T ser limitado). Ento, pelo teorema de Bolzano-Weierstrass
(teorema 1.2.1) esta sequncia possui subsequncia convergente. Portanto, T compacto.
Corolrio 3.4.2 Se dimX ou dimY nita, ento o operador linear limitado que actua de
X para Y compacto.
Observao 3.4.1 O corolrio 3.4.2 mostra que os operadores lineares compactos so a gene-
ralizao dos operadores lineares limitados em espaos de dimenso nita.
Teorema 3.4.5 Um operador T em B(X, Y ) compacto se, e somente se, o seu adjunto T

compacto.
Teorema 3.4.6 Se X um espao normado de dimenso innita, ento o operador identidade
I em X no compacto.
Demonstrao. Como X um espao normado de dimenso innita, ento pelo teorema
1.2.2 o conjunto E = x X : |x| 1 no compacto. Deste modo, I(E) = E no
relativamente compacto. Portanto, o operador identidade I no compacto.
Corolrio 3.4.3 Seja X um espao de Banach de dimenso innita e seja T K(X). Ento
o operador T no admite inverso limitado denido em todo o espao X.
Demonstrao. Suponhamos que o operador T admite inverso limitado denido em todo o
espao X. Ento, pelo teorema 3.4.3 o operador identidade I = TT
1
ser compacto. Mas isto
contradiz o teorema 3.4.6, e portanto, o operador T no admite inverso limitado.
Observao 3.4.2 O teorema 3.4.6 e o corolrio 3.4.3, mostram que em espaos de dimenso
innita existem vrios operadores que no so compactos. De facto, a compacticidade uma
propriedade mais forte que a limitao.
Teorema 3.4.7 Sejam X, Y espaos de Banach. Se (T
m
) uma sequncia em K(X, Y ) que
converge para T B(X, Y ), ento o operador T compacto.
Demonstrao. Suponhamos que T
m
K(X, Y ) e |T
m
T| 0 em B(X, Y ). Considere
uma sequncia (x
n
) em X tal que |x
n
| k
0
para todo n N. Como T
1
compacto, a sequncia
(x
n
) possui uma subsequncia (x
1,n
) tal que a sequncia (T
1
x
1,n
) converge. Como T
2
compacto
a subsequncia limitada (x
1,n
) possui uma subsequncia (x
2,n
) tal que a sequncia (T
2
x
2,n
)
convergente. Procedendo desse modo, encontramos uma subsequncia (x
m,n
) de (x
n
) tal que a
sequncia (T
m
x
m,n
) converge, para todo m N.
Considere a subsequncia (x
n,n
). Quer dizer tomamos o primeiro elemento x
1,1
da subsequncia
(x
1,n
), o segundo elemento x
2,2
da subsequncia (x
2,n
) e assim sucessivamente (Diagonalizao
de Cantor
5
). Para todo m N xo e n m a sequncia (x
n.n
) uma subsequncia da sequncia
(x
m,n
), de forma que (T
m
x
n,n
) convergente. Para simplicarmos a notao, vamos denotar a
sequncia (x
n,n
) simplesmente por (x
(n)
).
Vamos mostrar que (Tx
(n)
) de Cauchy. De facto, dado > 0, tome m N tal que |T
m
T| <
3k
0
. Por outro lado, como (T
m
x
(n)
) convergente, existe n
0
N tal que para j, k n
0
tem
lugar a desigualdade
|T
m
x
(j)
T
m
x
(k)
| <

3
.
5
Georg Cantor (18451918)matemtico alemo
Assim,
|Tx
(j)
Tx
(k)
| |Tx
(j)
T
m
x
(j)
| +|T
m
x
(j)
T
m
x
(k)
| +|T
m
x
(k)
Tx
(j)
| <
<

3k
0
k
0
+

3
+

3k
0
k
0
= .
Ento Tx
(n)
sequncia de Cauchy. Visto que estamos em espaos de Banach, ento a sub-
sequncia (Tx
(n)
) convergente. Portanto, o operador T compacto.
Corolrio 3.4.4 Sejam X, Y espaos de Banach. Suponhamos que |T
n
T| 0 em B(X, Y )
e que T
n
nito para todo n N. Ento o operador T compacto.
3.4.2 Operadores lineares compactos concretos
Teorema 3.4.8 Seja J = [a, b], e suponhamos que k uma funo contnua no quadrado
Q = J J. Ento o operador integral denido por
(Tx)(t) =
_
b
a
k(t, s)x(s)ds, t [a, b] (3.6)
actua no espao X = C[a, b] e compacto.
Para provarmos que o operador denido em (3.6) compacto precisamos de dois elementos
principais:
Denio de sequncia equicontnua em C[a, b]
Teorema de Arzel
6
-Ascoli
7
Denio 3.4.2 ([12], pg.454) Seja X = C[a, b]. Diremos que a sequncia (x
n
) X
equicontnua se, para todo > 0, existe um > 0 dependente de , tal que para todo x
n
e todos
s
1
, s
2
[a, b] satisfazendo [s
1
s
2
[ < temos que [x
n
(s
1
) x
n
(s
2
)[ < .
Teorema 3.4.9 (Arzel-Ascoli) Toda sequncia equicontnua (x
n
) e limitada em C[a, b] pos-
sui subsequncia convergente ([12], pg.454).
6
Cesare Arzel (18421912)matemtico italiano
7
Guido Ascoli (18871957)matemtico italiano
Demonstrao da concluso do teorema 3.4.8
claro que T linear (pela linearidade do integral). A limitao de T provm de
|Tx| = max
tJ
_
b
a
k(t, s)x(s)ds

k|x|, (3.7)
onde

k = (b a) max
t,s[a,b]
[k(t, s)[.
Seja (x
n
) uma sequncia limitada em X, digamos, |x| c para todo n. Seja y
n
= (Tx
n
).
Ento |y
n
| = |Tx
n
| |T||x
n
|. Assim (y
n
) tambm limitada.
Primeiro mostremos que (y
n
) uma sequncia equicontnua para logo em seguida aplicarmos o
teorema de Arzel-Ascoli. Uma vez que a funo k contnua em Q pela suposio e J J
compacto, ento pelo teorema 1.1.1 k uniformemente contnua em Q. Por isso, dado > 0,
existe um > 0, tal que para todo t J e todos s
1
, s
2
J satisfazendo [s
1
s
2
[ < temos
que [k(s
1
, t) k(s
2
, t)[ <

(b a)c
. Consequentemente, para s
1
, s
2
como antes e para todo n
obtemos
[y
n
(s
1
) y
n
(s
2
)[ =
_
b
a
[k(s
1
, t) k(s
2
, t)]x(t)dt
< (b a)

(b a)c
c = .
Isto mostra que (y
n
) equicontnua em X. Do teorema de Arzel-Ascoli implica que a sequncia
(y
n
) possui subsequncia convergente.
Visto que (x
n
) uma sequncia arbitrria limitada em X e y
n
= Tx
n
, ento conclumos que o
operador T compacto.
Nas obras [11], [17], se encontram as condies mais gerais da funo k que garantem a
actuao e compacticidade do operador integral no espao C[a, b].
Teorema 3.4.10 O operador T denido por (3.6) cujo o ncleo k satisfaz a condio
_
b
a
_
b
a
[k(t, s)[
2
dtds <
(operador de Hilbert-Schmidt), actua no espao L
2
[a, b] e compacto.
Observemos que a actuao e a limitao do operador de Hilbert-Schmidt foi demonstrada na
seco 3.2 (veja teorema 3.2.3). A compacticidade demonstrada na obra [9], pg.194.
Exemplo 3.4.1 Seja A : l
2
l
2
um operador denido por
Ax =
_
x
1
2
,
x
2
2
2
,
x
3
2
3
, ...,
x
n
2
n
, ...
_
para todo x l
2
.
Vamos mostrar que o operador A um operador linear compacto.
Demonstrao. Claro que o operador A linear. A limitao do operador A advm de
|Ax|
2
=
i=1
x
i
2
i
2
|x|
2
|Ax| |x|.
Seja A
n
: l
2
l
2
uma sequncia de operadores denidos por
A
n
x =
_
x
1
2
,
x
2
2
2
,
x
3
2
3
, ...,
x
n
2
n
, 0, 0, 0, ...,
_
.
A
n
: l
2
l
2
linear, limitado e nito para cada n natural. A linearidade e a limitao de A
n
so evidentes. A
n
nito porque Im(A
n
) espao
Z
n
= x l
2
: x
j
= 0, j = n + 1, n + 2, n + 3, ...
que de dimenso nita. Por outro lado, temos
|A
n
x Ax|
2
=
i=n+1
x
i
2
i
1
(2
n+1
)
2
|x|
2
, (3.8)
donde resulta
|A
n
A|
1
2
n+1
. (3.9)
De (3.9) segue que |A
n
A| 0. Portanto, pelo corolrio 3.4.4 o operador A compacto.
Observao 3.4.3 Do exemplo 3.4.1 pode-se fazer uma generalizao para os operadores A :
l
2
l
2
denidos por Ax = a
n
x, onde a
n
0.
Captulo 4
Teoria espectral de operadores lineares
compactos
Neste quarto captulo estudaremos as propriedades espectrais do operador linear compacto
T : X X, onde X um espao de Banach complexo. Para tal usaremos de novo o operador
T
= T I (4.1)
e os conceitos bsicos da teoria espectral abordados no captulo 2.
4.1 Propriedades espectrais dos operadores lineares com-
pactos
Teorema 4.1.1 Seja T K(X). Se X tem dimenso innita, ento 0 (T).
Demostrao. Suponhamos que 0 , (T). Ento pelo corolrio 2.3.2 o operador T admite
inverso limitado denido em todo o espao X. Mas isto contradiz o corolrio 3.4.3. Portanto,
0 (T).
Teorema 4.1.2 Sejam T K(X) e ,= 0. Ento o subespao N(T I) = N(T
) tem
dimenso nita.
54
4.1 Propriedades espectrais dos operadores lineares compactos 55
Demonstrao. Vamos mostrar que o conjunto M = x N(T
) : |x| 1 compacto em
N(T
) e em seguida aplicamos o corolrio 1.2.1.

Seja (x
n
) M. Ento, a sequncia (x
n
) limitada visto que |x| 1, e pela compacticidade
do operador T a sequncia (Tx
n
) possui subsequncia convergente (Tx
n
k
).
Como (x
n
) M N(T
), ento
Tx
n
x
n
= 0. (4.2)
Explorando o facto que ,= 0 e exprimindo a equao (4.2) em funo de x
n
obtemos x
n
=
1
Tx
n
. Consequentemente, x
n
k
=
1
Tx
n
k
converge. O limite da sequncia (x
n
k
) est em M,
visto que M fechado.
Como (x
n
) uma sequncia arbitrria em M, ento o conjunto M compacto em N(T
) pela
denio de conjunto compacto. Portanto, pelo corolrio 1.2.1 temos que N(T
) um subespao
de dimenso nita.
Teorema 4.1.3 Sejam T K(X) e ,= 0. Ento o subespao Im(T
) fechado em X.
Demonstrao. Seja (x
n
) X tal que (T
)x
n
y X. Queremos provar que y Im(T
).
a) Suponhamos primeiro que a sequncia (x
n
) seja limitada. Pela compacticidade do operador
T temos que a sequncia (Tx
n
) possui uma subsequncia (Tx
n
k
) convergente. Daqui, segue que
a sequncia x
n
k
= Tx
n
k
T
x
n
k
convergente. Como ,= 0, segue que a subsequncia (x
n
k
)
converge a um elemento x X, e portanto (T
)x
n
k
(T
)x. Logo y = (T
)x Im(T
).
b) Agora suponhamos que a sequncia (x
n
) no seja limitada. Sem perda de generalidade
podemos supor que T
x
n
,= 0, ou seja, x
n
, N(T
) para cada n.
Seja X
n
o subespao gerado por x
n
e N(T
). Pelo lema de Riesz (Lema 1.2.2), para cada n

existe z
n
X
n
tal que
|z
n
| = 1 e |z
n
w|
1
2
para todo w N(T
).
Pela denio de X
n
, para algum
n
P e v
n
N(T
) tem lugar a igualdade

z
n
=
n
x
n
+ v
n
.
Ento
(T
)z
n
=
n
(T
)x
n
. (4.3)
H duas possibilidades:
(i) Suponhamos que
n
0. Ento segue de (4.3) que
(T
)z
n
=
n
(T
)x
n
0. (4.4)
Como a sequncia (z
n
) limitada, e pela compacticidade do operador T temos que (Tz
n
k
)
convergente, e o argumento da parte (a) mostra que z
n
k
converge a um elemento z X. De
(4.4) segue que T
z = 0, ou seja, z N(T
). Mas isto absurdo, pois z

n
k
z, e |z
n
k
w|
1
2
para todo w N(T
). Logo (i) no pode ocorrer.

(ii) Necessariamente temos
n
, 0. Sem perda de generalidade podemos supor que [
n
[ > 0
para todo n, e portanto a sequncia
_
1
n
_
limitada. Segue de (4.3) que
y = lim
n
(T
)x
n
= lim
n
(T
)
_
z
n
n
_
.
Como a sequncia
_
z
n
n
_
limitada, estamos de novo no caso (a), e segue portanto que o
subespao Im(T
) fechado em X para todo ,= 0.

Teorema 4.1.4 Seja X um espao de Banach, T K(X) e ,= 0. Ento:
1. Im(T
) = (N(T
))
.
2. Im(T
) = (N(T
))
.
Demonstrao. Segue do teorema anterior e dos teoremas 3.2.1 e 3.4.5.
Observao 4.1.1 Quando X um espao de Hilbert o teorema 4.1.4 sofre uma modicao.
De facto, (T I)
= T
I (no sentido de Hilbert), e em virtude dos teoremas 4.1.3, 3.2.1

e 3.4.5 obtemos
1. Im(T
) = (N(T
))
.
2. Im(T
) = (N(T
))
.
Teorema 4.1.5 Sejam T K(X) e ,= 0. Se o operador T
injectivo, ento T
sobrejec-
tivo.
Demonstrao. Seja X
n
= Im(T
n
) para n = 0, 1, 2, . . . claro que

X = X
0
.
Seja x X
n+1
. Ento existe algum y X, tal que x = T
n+1
y. Mas T
n+1
y = T
n
(T
y) = T
n
v,
para algum v X. Logo x X
n
, deste modo, para todo n = 0, 1, 2, . . . justa a incluso
X
n
X
n+1
.
Usando a frmula do binmio de Newton
1
obtemos
T
n
= T
n
n!
(n 1)!1!
T
n1
+ ... + (1)
p
n!
(n p)!p!
T
np
p
+ ... + (1)
n
n
I. (4.5)
Denotando T
n
n!
(n1)!1!
T
n1
+ ... + (1)
p n!
(np)!p!
T
np
p
+ ... + (1)
n1
nT
n1
por T
n
ento
a igualdade (4.5) toma a forma
T
n
= T
n
+ (1)
n
n
I.
T
n
compacto pelos teoremas 3.4.2 e 3.4.3. Segue ento do teorema 4.1.3 que cada X
n
um
subespao fechado de X.
A seguir provaremos que X
n
= X
n+1
para algum n 0. Caso contrrio, pelo lema de Riesz,
para cada n existe um x
n
X
n
tal que
|x
n
| = 1, e |x
n
w|
1
4
, para todo w X
n+1
. (4.6)
Seja m > n. Uma vez que T = T
+ I, ento podemos escrever

Tx
n
Tx
m
= x
n
(T
x
n
+ T
x
m
+ x
m
). (4.7)
A direita de (4.7) temos, x
n
X
n
, x
n
X
n
, ento T
x
n
X
n+1
e, visto que m > n, tambm
T
x
m
+ x
m
X
m
X
n+1
. Por isso, (4.7) toma a forma
Tx
n
Tx
m
= (x
n
x), para algum x X
n+1
. (4.8)
1
Isaac Newton (16431727) fsico, astrnomo e matemtico ingls
De (4.6) e (4.8) resulta que
|Tx
n
Tx
m
| = [[|x
n
x|
1
4
[[ > 0.
Isto absurdo, pois T compacto. Logo X
n
= X
n+1
para algum n 0.
Se n = 0, temos que X
0
= X
1
, e portanto T
sobrejectivo.
Se n > 0, provaremos que X
n1
= X
n
. De facto seja x X
n1
. Ento x = T
n1
y, para
algum y X. Logo T
x = T
n
y X
n
, e visto que X
n
= X
n+1
, segue que T
x = T
n+1
z, para
algum z X. Como T
injectivo, segue que x = T

n
z X
n
. Logo X
n1
= X
n
.
Aplicando o mesmo raciocnio um nmero nito de vezes segue X
1
= X
0
, e portanto T

sobrejectivo.
Corolrio 4.1.1 Seja T K(X). Ento cada ,= 0 pertencente ao espectro do operador T
um autovalor de T.
Demonstrao. Segue dos teoremas 4.1.5 e 1.2.6.
Corolrio 4.1.2 Seja T K(X) e seja ,= 0. Ento ou autovalor de T ou valor
regular de T.
Lema 4.1.1 Seja X um espao de Banach complexo e seja T K(X). Ento (T) = (T
),
,= 0 um autovalor de T se, e somente se, um autovalor de T
.
Demonstrao. 1) Suponhamos que X um espao de dimenso nita, ou seja,
n = dimX < .
Neste caso, sabemos que operador T admite a representao Tx = Ax, onde A uma matriz
de dimenso n n e adjunto de T dado pela matriz transposta de A, isto , T
f = A
f.
Sabemos ainda que (T) se, e somente se, det(A I) = 0, mais ainda det(A I) =
det(A I)
= det(A
I).
Logo det(A I) = 0 se, e somente se, det(A
I) = 0.
Ento (T) se, e somente se, (T
).
2) Suponhamos que X tem dimenso innita. Ento, pelos teoremas 3.4.5, 4.1.1 0 (T) e
0 (T
).
Seja (T) 0. Ento um autovalor do operador T (corolrio 4.1.1), e deste modo
N(T
) ,= 0.
Agora mostremos que tambm um autovalor de T
. Da denio 1.2.22 e do corolrio 1.2.2

segue que
(N(T
))
= f X
: f(x) = 0, para todo x N(T
) , = X
.
Do teorema 3.2.1 segue que Im(T
) = (N(T
))
,= X
. Ento, pelo corolrio 4.1.2 (T
).
Analogamente, se (T
) mostra-se que (T).

Portanto, (T) = (T
), sendo que
p
(T) =
p
(T
) = (T) 0.
Observao 4.1.2 Para o caso de espao de Hilbert, (T
) = (T) e ,= 0 um autovalor
de T se, e somente se, um autovalor de T
.
Teorema 4.1.6 Seja X um espao de Banach complexo e sejam T K(X) e ,= 0. Ento
as equaes T
x = 0 e T
f = 0 tm o mesmo nmero de solues linearmente independentes,

ou seja,
dimN(T
) = dimN(T
).
Observao 4.1.3 Quando X um espao de Hilbert dimN(T
) = dimN(T
), visto que
(T I)
= T
I = T
.
Teorema 4.1.7 Seja T K(X). Ento o conjunto dos autovalores do operador enumervel,
e o nico possvel ponto de acumulao = 0.
Demonstrao. Obviamente, suciente mostrar que para todo real k > 0 o conjunto de
todos
p
(T) com [[ k nito.
Suponhamos o contrrio para algum k
0
> 0. Ento existe uma sequncia innita (
n
) de
autovalores distintos tal que [
n
[ k
0
. Mais ainda Tx
n
=
n
x
n
para algum x
n
,= 0. Pelo
teorema 2.3.3 os autovectores x
1
, x
2
, ..., x
n
formam um conjunto linearmente independente.
Seja M
n
= Spanx
1
, x
2
, ..., x
n
. Ento, todo x M
n
admite a representao
x =
1
x
1
+
2
x
2
+ ... +
n
x
n
. (4.9)
Aplicando T
n
I a ambos os membros de (4.9) e levando em conta que Tx
i
=
i
x
i
, obtemos
(T
n
I)x = (
1
)(
1
n
)x
n
+ (
2
)(
2
n
)x
n
+ ... + (
n1
)(
n1
n
)x
n1
(4.10)
De (4.10) segue que
(T
n
I)x M
n1
, para todo x M
n
. (4.11)
M
n
fechado para cada n (todo subespao de dimenso nita fechado). Pelo lema de Riesz,
existe um y
n
M
n
tal que
|y
n
| = 1, e |y
n
x|
1
4
para todo x M
n1
. (4.12)
Seja m < n. Ento,
Ty
n
Ty
m
=
n
y
n
w, onde w =
n
y
n
Ty
n
+ Ty
m
. (4.13)
Uma vez que m n 1, ento y
m
M
m
M
n1
. Consequentemente, Ty
m
M
n1
visto que
T(M
n1
) M
n1
. De (4.11) segue que
n
y
n
Ty
n
= (T
n
I)y
n
M
n1
. (4.14)
Assim, w M
n1
, e disto implica que
w
0
=
1
n
w M
n1
. (4.15)
De (4.12), (4.13), (4.15) e levando em conta que [
n
[ k
0
, obtemos
|Ty
n
Ty
m
| = |
n
y
n
w| = [
n
[|y
n
w
0
|
1
4
k
0
. (4.16)
Vemos desta ltima desigualdade que no possvel escolher uma subsequncia de (Ty
n
) con-
vergente, mas isto absurdo, pois (y
n
) limitada e T compacto. Daqui, a suposio que
existe uma innidade de autovalores satisfazendo [
n
[ k
0
, para algum k
0
> 0 no pode ser
verdadeira. Portanto, para todo real k > 0, o conjunto de todos
p
(T) satisfazendo [[ k
nito.
Teorema 4.1.8 Seja X um espao de Banach de dimenso innita e seja T K(X). Ento
ocorre uma, e apenas uma, das seguintes alternativas:
4.2 Exemplos 61
1) (T) = 0.
2) (T)
1
,
2
, ...,
n
, onde
1
,
2
, ...,
n
so autovalores distintos de T, e N(T
n
) tem
dimenso nita para cada n.
3) (T) = 0
1
,
2
, ...,
k
, ..., onde (
n
) uma sequncia de autovalores distintos de
T, e N(T
n
) tem dimenso nita para cada n. Alm disso, a sequncia (
n
) converge a zero.
Demonstrao. Segue dos teoremas 4.1.1, 4.1.2 e 4.1.7.
4.2 Exemplos
Exemplo 4.2.1 Seja S : l
2
l
2
Sx =
_
0, x
1
,
x
2
2
,
x
3
3
, ...
_
, para todo x l
2
. (4.17)
Ento (S) =
r
(S) = 0.
Demonstrao. Mostremos primeiro que o operador S linear e compacto. claro que o
operador S linear e a limitao advm de
|Sx|
2
=
i=2
x
i1
i 1
2
=
j=1
x
j
j
j=1
[x
j
[
2
= |x|
2
. (4.18)
De (4.18) implica que
|Sx| |x|.
Seja S
n
: l
2
l
2
uma sequncia de operadores denidos por
S
n
x =
_
0, x
1
,
x
2
2
, ..,
x
n
n
, 0, 0, 0, ...
_
, para todo x l
2
.
A linearidade e a limitao de T
n
para cada n so evidentes. Alm disso, para cada n o operador
T
n
nito. Deste modo, T
n
compacto para cada n. Por outro lado, temos
|S
n
x Sx|
2
=
i=n+1
x
i
i
1
(n + 1)
2
|x|
2
, donde resulta que
|S
n
S|
1
n + 1
. (4.19)
4.2 Exemplos 62
De (4.19) segue que |S
n
S| 0. Logo, pelo corolrio 3.4.4 o operador S compacto.
Agora vamos estudar o espectro do operador S. O operador S no tem autovalores, mos-
tremos isto. Consideremos a equao Sx x = 0,
_
0, x
1
,
x
2
2
, ...
_
= (x
1
, x
2
, x
3
, ...) (4.20)
a) Se = 0, ento de (4.20) obtemos x
1
= x
2
= x
3
= ... = 0. Logo = 0 no um autovalor
do operador S.
b) Seja ,= 0. Suponhamos que um autovalor do operador S, ento existe um x ,= 0 l
2
tal que Sx x = 0.
Transformando o sistema (4.20) em forma de coordenadas obtemos
_
_
_
x
1
= 0
x
n
n
x
n+1
= 0 , n = 1, 2, 3, 4, ...
(4.21)
Como ,= 0 obtemos do sistema (4.21) que x
1
= x
2
= x
3
= ... = 0. Mas isto contradiz o facto
de ,= 0 ser um autovalor do operador S. Ento de a) e b) implica que o operador S no tem
autovalores, ou seja,
p
(S) = . Visto que S um operador compacto, ento (S) = 0. Por
ltimo, mostremos que 0 um ponto do espectro residual.
Para todo y = (y
1
, y
2
, y
3
, ..., y
n
, ...) Im(S), tem-se y
1
= 0. Ento |y e
1
| 1 (e
1
=
(1, 0, 0, ...)) e deste modo o conjunto Im(S) no denso em l
2
. Portanto, (S) =
r
(S) = 0.
Exemplo 4.2.2 Seja A o operador denido no exemplo 3.4.1. Ento

(A) = 0
_
1
2
,
1
2
2
, ,
1
2
n
,
_
,
e zero um ponto do espectro contnuo.
Antes de realizarmos a demonstrao da concluso do exemplo 4.2.2 precisamos de provar o
seguinte lema.
Lema 4.2.1 O conjunto E
0
= x l
2
: x tem um nmero nito de coordenadas distintas de zero
denso em l
2
.
4.2 Exemplos 63
Demonstrao. Seja x l
2
. Consideremos a sequncia
x
(n)
= (x
1
, x
2
, , x
n
, 0, 0, 0, ) . (4.22)
Ento,
|x x
(n)
|
2
=
k=n+1
[x
k
[
2
.
Como x l
2
a srie
k=1
[x
k
[
2
converge. Logo, R
n
=
k=n+1
[x
k
[
2
0, quando n . Daqui
implica que
|x x
(n)
| 0.
Assim, para todo x l
2
e para todo > 0, existe um x
E
0
tal que |x
x| < . Portanto,
E = l
2
, isto , E
0
denso em l
2
.
Demonstrao da concluso do exemplo 4.2.2. J vimos no captulo 3 que o operador
A compacto em l
2
. Agora estudemos o espectro deste operador.
Consideremos a equao Ax x = 0,
_
x
1
2
,
x
2
2
2
, ,
x
n
2
n
,
_
(x
1
, x
2
, , x
n
, ) = 0. (4.23)
Transformando o sistema (4.23) em forma de coordenadas obtemos,
_
_
_
1
2

_
x
1
= 0
_
1
2
2

_
x
2
= 0

_
1
2
n

_
x
n
= 0

(4.24)
a) Se = 0, ento de (4.24) obtemos x
1
= x
2
= = x
n
= = 0. Logo, = 0 no um
autovalor do operador A.
b) Seja ,= 0. O sistema (4.24) tem soluo nica x
1
= x
2
= = x
n
= = 0 se, e somente
se,
V = C
_
1
2
,
1
2
2
, ,
1
2
n
,
_
.
4.2 Exemplos 64
Logo todo pertencente ao conjunto
_
1
2
,
1
2
2
, ,
1
2
n
,
_
um autovalor de A.
Ento, do teorema 4.1.8 segue que (A) = 0
_
1
2
,
1
2
2
, ,
1
2
n
.
_
.
Por ltimo, mostremos que zero ponto do espectro contnuo. J vimos em a) que zero no
autovalor do operador A, da que A admite um inverso. O inverso de A dado por
A
1
x =
_
2x
1
, 2
2
x
2
, , 2
n
x
n
,
_
.
O domnio de A
1
consta de elementos x l
2
tal que
k=1
[2
k
x
k
[
2
< , ou seja,
D(A
1
) =
_
x l
2
:
k=1
[2
k
x
k
[
2
<
_
.
claro que D(A
1
) E
0
(denido no Lema 4.2.1). Uma vez que E
0
denso em l
2
, ento
D(A
1
) = l
2
.
Exemplo 4.2.3 Seja T : l
2
l
2
Tx =
_
x
2
,
x
3
2
,
x
4
3
,
_
, para todo x l
2
.
Ento (T) =
p
(T) = 0.
Demonstrao. O operador T compacto (demonstrao anloga do exemplo 4.2.1). Ento,
vamos estudar o espectro deste operador.
Consideremos a equao Tx x = 0,
_
x
2
,
x
3
2
,
x
4
3
, ...
_
(x
1
, x
2
, x
3
, ...) = 0. (4.25)
a) Se = 0, obtemos x
2
= x
3
= x
4
= ... = 0, mas com x
1
arbitrrio, ou seja, a soluo da
equao (4.25) x = (x
1
, 0, 0, 0, ...), onde x
1
arbitrrio. Ento N(T
) ,= 0. Isto signica
que = 0 um autovalor do operador T.
b) Seja ,= 0. Suponhamos que um autovalor do operador T. Da equao (4.25) re-
sulta que x
n
= (n 1)!
n1
x
1
, n 1, que no um elemento de l
2
expecto quando x
1
= 0,
neste caso tem-se x = (0, 0, 0, ...), o que contradiz o facto de ,= 0 ser um autovalor do
4.2 Exemplos 65
operador T.
Como ,= 0 no um autovalor do operador T e T compacto, ento pelo teorema 4.1.8
(T) =
p
(T) = 0.
4.2.1 Espectro do operador de Volterra nos espaos C[0, 1] e L
2
[0, 1]
Consideremos o operador de Volterra denido por
(V x)(t) =
_
t
0
x(s)ds, t [0, 1].
Este operador actua no espao C[0, 1] e compacto (veja, por exemplo, [11], pg.[229-231]).
Tambm, actua em L
2
[0, 1] e compacto (veja teoremas 3.2.3 e 3.4.10) . Agora vamos mostrar
a seguinte proposio.
Proposio 4.2.1 1) No espao C[0, 1], cumpre-se a propriedade (V ) =
r
(V ) = 0.
2) No espao L
2
[0, 1], cumpre-se a propriedade (V ) =
c
(V ) = 0.
Demonstrao. 1) Espectro do operador de Volterra no espao C[0, 1]. Uma vez que C[0, 1]
de dimenso innita, ento 0 (V ).
Para mostrarmos que o espectro do operador V s consta de zero suciente provar que V no
possui autovalores distintos de zero.
Seja ,= 0. Suponhamos que um autovalor de V . Ento existe uma funo x ,= 0
pertencente a C[0, 1], tal que V
x = 0, ou seja,
_
t
0
x(s)ds x(t) = 0. (4.26)
Derivando ambos os membros da equao (4.26) obtemos x
(t) x(t) = 0, e resolvendo a

ltima equao em funo de x teremos
x(t) = Ce
1
t
. (4.27)
Substituindo t = 0 em (4.27) obtemos x(0) = C, mas de (4.26) temos que x(0) =
1
_
0
0
x(s)ds =
0.
Ento conclumos que x = 0, o que est em contradio com o facto de ser um autovalor do
operador V . Deste modo, (V ) = 0.
4.2 Exemplos 66
Mostremos agora, que zero um ponto do espectro residual. A equao
_
t
0
x(s)ds = 0, tem
somente a soluo nula, logo V injectivo. Por outro lado, Im(V ) um subespao de
E = x C[0, 1] : x(0) = 0 .
Ento Im(V ) E, mas E = E ,= C[0, 1]. Logo, Im(V ) no denso em C[0, 1] e isto signica
que zero um ponto do espectro residual. Portanto, (V ) =
r
(V ) = 0.
2) Espectro do operador de Volterra no espao L
2
[0, 1].
Primeiro, mostremos que o operador de Volterra no tem autovalores distintos de zero.
Sejam = a + bi ,= 0, m = min
_
1, e
a
a
2
+b
2
_
e M
0
= max
_
1,
1
[[
_
. A soluo da equao
_
t
0
x(s)ds x(t) = 0 dada por
x(t) = Ce
1
t
.
Suponhamos que C ,= 0. Ento,
[x(t)[ = [C[[e
1
t
[ m[C[
0
, t [0, 1]. (4.28)
Por outro lado, x um elemento de L
2
[0, 1]. Pelo teorema da continuidade absoluta de integral
de Lebesgue temos que, existe um
0
> 0 tal que
_
A
[x(t)[dt <

0
M
0
, (4.29)
para todo A [0, 1] com A
0
.
Ento, da equao
_
t
0
x(s)ds x(t) = 0, em quase todos os pontos t [0,
0
] obtemos
[x(t)[ =
_
t
0
x(s)ds
M
0
_
t
0
[x(s)[ds < M
0
.

0
M
0
=
0
,
visto que [0, t]
0
. Mas isto est em contradio com (4.28). Logo, conclumos que o
operador de Volterra no tem autovalores distintos de zero. Deste modo, (V ) = 0.
Mostremos agora, que zero um ponto do espectro contnuo. Consideremos as seguintes
equaes
_
t
0
x(s)ds = y(t), t [0, 1], (4.30)
_
t
0
x(s)ds = 0. (4.31)
4.2 Exemplos 67
A equao (4.31) admite somente x(t) 0 em quase todos os pontos t [0, 1], que o elemento
nulo em L
2
[0, 1]. Logo o operador V injectivo, e o inverso dado por
(V
1
x)(t) = x
(t), t [0, 1]. (4.32)

O domnio de V
1
consta de funes absolutamente contnuas no segmento [0, 1] tais que
x(0) = 0, isto ,
D(V
1
) =
_
x W
1
[0, 1] : x(0) = 0
_
.
evidente que D(V
1
) ,= L
2
[0, 1].
Uma vez que W
1
[0, 1] = L
2
[0, 1], ento para todo x L
2
[0, 1] e para todo > 0, existe um
y W
1
[0, 1] tal que
|x y| <

2
. (4.33)
Sejam M = max
t[0,1]
[y(t)[ e ]0,

2
16M
2
[. Denamos a seguinte funo
z(t) =
_
_
y(t), se t 1
y()
t, se 0 t
. (4.34)
A funo z um elemento de D(V
1
), visto que absolutamente contnua (pela denio) e
z(0) = 0.
Avaliemos a grandeza |z y| em L
2
[0, 1]. Em virtude da desigualdade de Minkowski
2
(veja
[11], pg.52) teremos,
|z y| =
__
1
0
[z(t) y(t)[
2
dt
_
1
2
=
_
_

0
y()
t y(t)
2
dt
_1
2
__

0
y()
2
dt
_
1
2
+
__

0
y(t)
2
dt
_
1
2
_
1
3
M
2
_1
2
+
_
M
2
_1
2
< 2M
1
2
< 2M

4M
=

2
.
2
Hermann Minkowski (18641909)matemtico alemo
4.3 Alternativa de Fredholm no espao de Banach 68
Ento, da desigualdade triangular obtemos
|x z| |x y| +|y z| =

2
+

2
= .
Assim, para todo x L
2
[0, 1] e para todo
1
> 0, existe um x
1
D(V
1
) tal que |xx
1
| <
1
.
Logo D(V
1
) denso em L
2
[0, 1]. Portanto, (V ) =
c
(V ) = 0.
4.3 Alternativa de Fredholm no espao de Banach
A alternativa de Fredholm estabelece as relaes entre as propriedades das equaes
Tx x = y, (4.35)
Tx x = 0, (4.36)
T
f f = g, (4.37)
T
f f = 0, (4.38)
que se chamam equao no homognea (da segunda espcie), equao homognea, equao
adjunta (da equao 4.35) e equao adjunta homognea, respectivamente.
Aqui T : X X operador linear compacto no espao de Banach, e T
: X
o
adjunto de T.
Notemos que as duas primeiras equaes so equaes no espao X, e as outras duas so
equaes no espao adjunto (dual) X
.
Das propriedades estudadas anteriormente obtemos o seguinte resultado.
Teorema 4.3.1 Sejam X um espao de Banach complexo, T K(X) e ,= 0. Ento ocorre
uma, e apenas uma, das alternativas seguintes:
(F
1
) As equaes no homogneas (4.35) e (4.37) tm solues nicas x e f, respectivamente,
para quaisquer que sejam y X e g X
. As equaes homogneas correspondentes (4.36) e

(4.38) tm somente solues nulas.
(F
2
) As equaes homogneas (4.36) e (4.38) tm o mesmo nmero de solues linearmente
independentes
x
1
, x
2
, ..., x
n
e f
1
, f
2
, ..., f
n
, (n 1)
4.4 Alternativa de Fredholm no espao de Hilbert 69
respectivamente. As equaes (4.35) e (4.37) no so solveis para todos y e g, respectivamente;
estas equaes tm solues se, e somente se, y e g so tais que y (N(T
))
e g (N(T
))
.
Demonstrao. Nos termos operacionais a alternativa (F
1
) se designa:
(F
1
operacional) ,= 0, (T) e (T
), tal que existem as resolventes contnuas

R
(T) = (T I)
1
B(X), R
(T
) = (T
I)
1
B(X
).
E alternativa (F
2
) se designa:
(F
2
operacional) ,= 0,
p
(T),
p
(T
), de tal modo que n = dim(N(T
)) =
dim(N(T
)) < e Im(T
) = (N(T
))
, Im(T
) = (N(T
))
.
Deste modo, a demonstrao do teorema se reduz em provar que operador T satisfaz
(F
1
operacional) ou (F
2
operacional).
Pelo corolrio 4.1.2 e lema 4.1.1 temos que ,= 0 ou autovalor de T e T
ou valor regular
de T e T
. Se valor regular, ento T satisfaz (F

1
operacional). Ou se ,= 0 autovalor
de T, ento pelos teoremas 4.1.2, 4.1.4, 4.1.6, segue que T satisfaz (F
2
operacional).
Portanto, o operador T satisfaz uma, e apenas uma, das alternativas (F
1
) ou (F
2
).
4.4 Alternativa de Fredholm no espao de Hilbert
Nesta seco vamos reescrever a alternativa de Fredholm para o espao de Hilbert, e estabele-
ceremos a diferena que existe entre esta e alternativa de Fredholm para o espao de Banach
(Teorema 4.3.1).
A alternativa de Fredholm para espaos de Hilbert estabelece as relaes entre as proprie-
dades das equaes
Tx x = y, (4.39)
Tx x = 0, (4.40)
T
f f = g, (4.41)
T
f f = 0, (4.42)
que se chamam equao no homognea (da segunda espcie), equao homognea, equao
adjunta (da equao 4.39) e equao adjunta homognea, respectivamente.
Aqui T : H H operador linear compacto no espao de Hilbert, e T
: H H o
adjunto de T.
Notemos que as equaes (4.39), (4.40), (4.41), (4.42) esto no mesmo espao H.
Teorema 4.4.1 Sejam H um espao de Hilbert complexo, T K(H) e ,= 0. Ento ocorre
uma, e apenas uma, das alternativas seguintes:
(F
1
) As equaes no homogneas (4.39) e (4.41) tm solues nicas x e f, respectivamente,
para quaisquer que sejam y, g H. As equaes homogneas correspondentes (4.36) e (4.38)
tm somente solues nulas.
(F
2
) As equaes homogneas (4.40) e (4.42) tm o mesmo nmero de solues linearmente
independentes
x
1
, x
2
, ..., x
n
e f
1
, f
2
, ..., f
n
, (n 1)
respectivamente. As equaes (4.39) e (4.41) no so solveis para todos y e g, respectivamente;
estas equaes tm solues se, e somente se, y e g so tais que y (N(T
))
e g (N(T
))
.
Demonstrao. Nos termos operacionais a alternativa (F
1
) se designa:
(F
1
operacional) ,= 0, (T) e (T
), tal que existem as resolventes contnuas

R
(T) = (T I)
1
, R
(T
) = (T
I)
1
B(H).
E alternativa (F
2
) se designa:
(F
2
operacional) ,= 0,
p
(T),
p
(T
), de tal modo que n = dim(N(T
)) =
dim(N(T
)) < e Im(T
) = (N(T
))
, Im(T
) = (N(T
))
.
Deste modo, a demonstrao do teorema se reduz em provar que operador T satisfaz
(F
1
operacional) ou (F
2
operacional).
Pelo corolrio 4.1.2 e da observao 4.1.2 temos que ,= 0 ou autovalor de T e autovalor
de T
ou valor regular de T e valor regular de T
. Se valor regular, ento T satisfaz

(F
1
operacional). Ou se ,= 0 autovalor de T, ento pelo teorema 4.1.2 e das observaes
4.1.1, 4.1.2, 4.1.3, segue que T satisfaz (F
2
operacional).
Portanto, o operador T satisfaz uma, e apenas uma, das alternativas (F
1
) ou (F
2
).
Observao 4.4.1 No caso (F
2
) e quando y (N(T
))
a soluo geral da equao Txx =

y tem a representao
x = x
p
+ x
0
g
= x
p
+
n
k=1
k
x
k
,
onde x
p
alguma soluo particular da equao no homognea, x
0
g
a soluo geral da equao
homognea, x
1
, x
2
, ..., x
n
alguma base do espao N(T
) das solues da equao homognea

e
1
,
2
, ...,
n
so constantes arbitrrias.
Analogamente, no caso (F
2
) e quando g (N(T
))
a soluo geral da equao T
ff = g
tem a representao
f = f
p
+ f
0
g
= f
p
+
n
k=1
k
f
k
,
onde f
p
alguma soluo particular da equao adjunta no homognea, f
0
g
a soluo geral
da equao adjunta homognea, f
1
, f
2
, ..., f
n
alguma base do espao N(T
) das solues
da equao adjunta homognea e
1
,
2
, ...,
n
so constantes arbitrrias.
Comparao dos adjuntos e das alternativas
Analisemos os adjuntos dos operadores integrais com ncleos denidos por
k
1
(t, s) = e
i(s+t)
, k
2
(t, s) = e
i(st)
,
respectivamente, no sentido de Banach e Hilbert, isto , adjuntos no sentido das seces 3.2 e
3.3.
1) Seja T : L
2
[0, 2] L
2
[0, 2] o operador integral denido por
(Tx)(t) =
_
4
0
e
i(s+t)
x(s)ds, t [0, 2]. (4.43)
i) Achemos o adjunto de T no sentido de Banach. Pelo teorema 3.2.3 o adjunto T
o operador
integral com ncleo k
1
denido por k
1
(t, s) = k
1
(s, t) = e
i(s+t)
= k
1
(t, s). Logo o operador T
autoadjunto (no sentido de Banach).
ii)Achemos o adjunto de T no sentido de Hilbert. Pelo teorema 3.3.2 o adjunto T
o operador
1
denido por k
1
(t, s) = k
1
(s, t) = e
i(s+t)
,= k
1
(t, s). Logo o operador T
no autoadjunto (no sentido de Hilbert).
De i) e ii) segue que o operador T autodjunto no sentido de Banach, mas no no sentido de
Hilbert.
2) Seja S : L
2
[0, 2] L
2
[0, 2] o operador integral denido por
(Sx)(t) =
_
2
e
i(st)
x(s)ds, t [0, 2]. (4.44)
iii) Achemos o adjunto de S no sentido de Banach. Pelo teorema 3.2.3 o adjunto S
o operador
2
denido por k
2
(t, s) = k
2
(s, t) = e
i(ts)
,= k
2
(t, s). Logo o operador S
no auto-adjunto (no sentido de Banach).
iv) Achemos o adjunto de S no sentido de Hilbert. Pelo teorema 3.3.2 o adjunto S
o operador
2
denido por k
2
(t, s) = k
2
(s, t) = e
i(ts)
= e
i(st)
= k
2
(t, s). Logo o
operador S autoadjunto (no sentido de Hilbert).
De iii) e iv) segue que o operador S autodjunto no sentido de Hilbert, mas no no sentido de
Banach.
De i), ii), iii), e iv) percebemos que para um mesmo operador em L
2
[a, b], pode ser autoadjunto
no sentido de Banach, mas no no sentido Hilbert, e vice-versa.
Devido esta diferena de adjuntos, j se pode sentir a diferena entre a alternativa de
Fredholm nos espaos de Banach e nos espaos de Hilbert, por exemplo, para o operador
T a alternativa de Fredholm no sentido de Banach estabelece a relao entre as equaes,
Tx x = y e Tx x = 0 visto que autoadjunto (no sentido de Banach), mas no sentido
de Hilbert estabelece a relao entre as equaes, Tx x = y, Tx x = 0, T
f f = g e
T
f f = 0, visto que no autoadjunto (no sentido de Hilbert).

Captulo 5
Aplicao investigao de equaes
integrais lineares
Suponhamos que k satisfaz a condio
_
b
a
_
b
a
[k(t, s)[
2
dtds < e consideremos o operador
integral de Fredholm com ncleo k, denido por
(Tx)(t) =
_
b
a
k(t, s)x(s)ds t [a, b], (5.1)
no espao de Hilbert L
2
[a, b].
Lembremos que este operador actua no espao L
2
[a, b] e compacto.
5.1 Equaes integrais de Fredholm de 2
a
espcie
Denio 5.1.1 As equaes integrais das formas
x(t)
_
b
a
k(t, s)x(s)ds = f(t), (5.2)
x(t)
_
b
a
k(t, s)x(s)ds = 0, (5.3)
y(t)
_
b
a
k(s, t)y(s)ds = g(t), (5.4)
y(t)
_
b
a
k(s, t)y(s)ds = 0, (5.5)
chamam-se equao integral de Fredholm no homognea (da segunda espcie), equao homo-
gnea, equao adjunta (da equao (5.2)) e equao adjunta homognea, respectivamente.
73
5.2 Alternativa de Fredholm para equaes integrais 74
Denio 5.1.2 O parmetro complexo ,= 0 chama-se valor caracterstico da equao
(5.2) se a equao (5.3) tem soluo no nula.
Lema 5.1.1 valor caracterstico de (5.2) se, e somente se, =
1
um autovalor no
nulo do operador T. Neste caso, o conjunto de solues da equao x Tx = 0 coincide com
o autoespao N(T
).
5.2 Alternativa de Fredholm para equaes integrais
Teorema 5.2.1 Para ,= 0 vlida uma, e apenas, das alternativas seguintes:
(F
1
) no valor caracterstico de (5.2) e no valor caracterstico de (5.4); as equaes
no homogneas (5.2) e (5.4) tm solues nicas x e f, respectivamente, para quaisquer que
sejam f, g L
2
[a, b]. As equaes homogneas correspondentes (5.3) e (5.5) tm somente
solues nulas.
(F
2
) um valor caracterstico de (5.2) e valor caracterstico de (5.4); as equaes homo-
gneas (5.3) e (5.5) tm subespaos de solues no nulas de dimenso nita
H
= N(I T), H
= N(I T
), sendo que n = dimH
= dimH
.
Neste caso, a equao (5.2) tem soluo se, e somente se, f H
, isto , para todas partes

direitas f L
2
[a, b] que so ortogonais a todas solues da equao (5.5).
Analogamente, a equao (5.4) tem soluo se, e somente se, g H
, isto , para todas

partes direitas g L
2
[a, b] que so ortogonais a todas solues da equao (5.3).
Demonstrao. Segue do teorema 4.4.1 e lema 5.1.1.
5.3 Exemplos
Dados em L
2
[a, b] o operador integral T, denido por
(Tx)(t) =
_
b
a
k(t, s)x(s)ds t [a, b], (5.6)
5.3 Exemplos 75
e a equao integral de Fredholm
x(t)
_
b
a
k(t, s)x(s)ds = f(t), t [a, b]. (5.7)
Coloquemos as seguintes questes:
i) Ache o adjunto T
de T.
ii) Ache todos os valores caractersticos da equao (5.7). Para cada um deles, ache o subespao
das solues da equao x Tx = 0 e a sua dimenso.
iii) Ache todos os valores caractersticos da equao x T
x = g. Para cada um deles, ache

o subespao das solues da equao x T
x = 0 e a sua dimenso.
iv) Para cada um dos valores caractersticos da equao (5.7), ache a condio sobre f, quando
(5.7) tem soluo.
v) Escolha um dos valores caractersticos da equao (5.7), uma funo concreta f no nula,
quando (5.7) tem soluo.
Vamos responder as questes colocadas acima para os seguintes operadores.
(T
1
x)(t) =
_
1
1
_
3
2
ts +
7
2
t
2
s
4
_
x(s)ds, t [1, 1].
(T
2
x)(t) =
_
1
1
_
5ts
3
+
9
4
t
2
s
6
_
x(s)ds, t [1, 1].
(T
3
x)(t) =
_
1
0
(4t
2
2ts)x(s)ds, t [0, 1].
Exemplo 5.3.1 Seja T = T
1
, denido por
(T
1
x)(t) =
_
1
1
_
3
2
ts +
7
2
t
2
s
4
_
x(s)ds, t [1, 1]. (5.8)
Resoluo
i) Pelo teorema 3.3.2 o operador T
de T operador integral com ncleo k
(t, s) = k(s, t) =
3
2
ts +
7
2
t
4
s
2
, tal que
(T
x)(t) =
_
1
1
_
3
2
ts +
7
2
t
4
s
2
_
x(s)ds, t [1, 1]. (5.9)
5.3 Exemplos 76
ii) Valores caractersticos de (5.7) so valores de , quando a equao xTx = 0 tem soluo
no nula,
x(t)
3
2
t
_
1
1
sx(s)ds
7
2
t
2
_
1
1
s
4
x(s)ds = 0. (5.10)
Sejam
C
1
=
_
1
1
sx(s)ds, C
2
=
_
1
1
s
4
x(s)ds. (5.11)
De (5.10) e (5.11) obtemos
x(t)
3
2
tC
1
7
2
t
2
C
2
= 0. (5.12)
Multiplicando a ambos os membros da equao (5.12) por t, t
4
, respectivamente, e tomando o
integral de 1 at 1 obtemos o sistema de equaes lineares algbricas em relao as constantes
C
1
, C
2
,
_
_
_
1
1
_
tx(t)
3
2
t
2
C
1
7
2
t
3
C
2
_
dt = 0
_
1
1
_
t
4
x(t)
3
2
t
5
C
2
7
2
t
6
C
2
_
dt = 0
_
_
_
(1 )C
1
= 0
(1 )C
2
= 0
. (5.13)
Sabemos da lgebra linear que o sistema (5.13) tem soluo no nula (C
1
, C
2
) se, e somente se,
o determinante deste sistema igual a zero, isto ,
() =
1 0
0 1
= 0. (5.14)
Ento, a equao (5.7) tem valor caracterstico = 1 com multiplicidade 2.
Agora achemos a soluo geral da equao (5.12) quando = 1. De (5.13) implica que
C
1
, C
2
so livres, e substituindo o respectivo valor de em (5.12) obtemos,
x(t) =

C
1
t +

C
2
t
2
,
onde

C
1
=
3
2
C
1
,

C
2
=
7
2
C
2
.
Ento, o conjunto de solues da equao x Tx = 0
H
1
= N(I T) = Spant, t
2
,
e claro que dimH
1
= 2.
5.3 Exemplos 77
iii) Os valores caractersticos da equao xT
x = g coincidem com os valores caractersticos

da equao (5.7), visto que a equao (5.7) tem valores caractersticos reais. Ento, vamos
trabalhar com a equao x T
x = 0,
x(t)
3
2
tC
1
7
2
t
4
C
2
= 0, (5.15)
onde
C
1
=
_
1
1
sx(s)ds, C
2
=
_
1
1
s
2
x(s)ds. (5.16)
De (5.15) e (5.16) obtemos,
_
_
_
1
1
_
tx(t)
3
2
t
2
C
1
7
2
t
5
C
2
_
dt = 0
_
1
1
_
t
2
x(t)
3
2
t
3
C
1
7
2
t
6
C
2
_
dt = 0
_
_
_
(1 )C
1
= 0
(1 )C
2
= 0
. (5.17)
Seja = 1. Do sistema (5.17) implica que C
1
, C
2
so livres, e da equao (5.15) obtemos
x(t) =

C
1
t +

C
2
t
4
,
onde

C
1
=
3
2
,

C
2
=
7
2
.
Ento, o conjunto de solues da equao x T
x = 0
H
1
= N(I T
) = Spant, t
4
,
e claro que dimH
1
= 2.
iv) Seja = 1. Pelo teorema da alternativa de Fredholm para equaes integrais (Teorema
5.2.1), a equao x Tx = f, tem soluo se, e somente se, f ortogonal ao conjunto de
solues da equao x T
x = 0, isto , fH
. Ento a equao (5.7) ter soluo se, e

somente se,
_
_
_
1
1
tf(t)dt = 0
_
1
1
t
4
f(t)dt = 0
. (5.18)
v) Seja = 1. Vamos achar f ,= 0 da forma f(t) = at + t
3
satisfazendo a condio (5.18).
Ento,
_
_
_
1
1
t(at + t
3
) = 0
_
1
1
t
4
(at + t
3
) = 0
2
3
a +
2
5
= 0 a =
3
5
.
5.3 Exemplos 78
Deste modo, para f(t) =
3
5
t + t
3
, a equao (5.7) tem soluo.
2
, denido por
(T
2
x)(t) =
_
1
1
_
5ts
3
+
9
4
t
2
s
6
_
x(s)ds, t [1, 1]. (5.19)
Resoluo
de T operador integral com ncleo T
(t, s) = k(s, t) =
5t
3
s +
9
4
t
6
s
2
, tal que
(T
x)(t) =
_
1
1
_
5t
3
s +
9
4
t
6
s
2
_
x(s)ds, t [1, 1]. (5.20)
no nula,
x(t) 5t
_
1
1
s
3
x(s)ds
9
4
t
2
_
1
1
s
4
x(s)ds = 0. (5.21)
Sejam
C
1
=
_
1
1
s
3
x(s)ds, C
2
=
_
1
1
s
6
x(s)ds. (5.22)
De (5.21) e (5.22) obtemos
x(t) 5tC
1
9
4
t
2
C
2
= 0. (5.23)
Multiplicando a ambos os membros da equao (5.23) por t
3
, t
6
, respectivamente, e tomando o
C
1
, C
2
,
_
_
_
1
1
_
t
3
x(t) 5t
4
C
1
9
4
t
5
C
2
_
dt = 0
_
1
1
_
t
6
x(t) 5t
7
C
2
9
4
t
8
C
2
_
dt = 0
_
(1 2) C
1
= 0
_
1
1
2
_
C
2
= 0
. (5.24)
O sistema (5.24) tem soluo no nula (C
1
, C
2
) se, e somente se, o determinante deste sistema
igual a zero, isto ,
() =
1 2 0
0 1
1
2
= 0. (5.25)
5.3 Exemplos 79
Ento, a equao (5.7) tem valores caractersticos
1
=
1
2
,
2
= 2.
a) Achemos a soluo geral da equao (5.23) quando =
1
2
. De (5.24) implica que C
1
livre,
C
2
= 0, e substituindo o respectivo valor de em (5.23) obtemos
x(t) =

C
1
t,
onde

C
1
=
5
2
C
1
.
Ento, o conjunto de solues da equao x
1
Tx = 0
H
1
= N(I
1
T) = Spant,
e claro que dimH
1
= 1.
b) Achemos a soluo geral da equao (5.23) quando = 2. De (5.24) implica que C
1
= 0, C
2
livre, e substituindo o respectivo valor de em (5.23) obtemos
x(t) =

C
2
t
2
,
onde

C
2
=
9
2
C
2
.
2
Tx = 0
H
2
= N(I
2
T) = Spant
2
,
e claro que dimH
2
= 1.

x = 0,
x(t) 5t
3
C
1
9
4
t
6
C
2
= 0, (5.26)
onde
C
1
=
_
1
1
sx(s)ds, C
2
=
_
1
1
s
2
x(s)ds. (5.27)
5.3 Exemplos 80
De (5.26) e (5.27) obtemos,
_
_
_
1
1
_
tx(t) 5t
4
C
1
9
4
t
7
C
2
_
dt = 0
_
1
1
_
t
2
x(t) 5t
5
C
1
9
4
t
8
C
2
_
dt = 0
_
(1 2) C
1
= 0
_
1
1
2
_
C
2
= 0
. (5.28)
a) Seja =
1
. Do sistema (5.28) implica que C
1
livre, C
2
= 0, e da equao (5.26) obtemos
x(t) =

C
1
t
3
,
onde

C
1
=
5
2
C
1
.
1
T
x = 0
H
1
= N(I
1
T
) = Spant
3
,
e claro que dimH
1
= 1.
b) Seja =
2
. Do sistema (5.28) implica que C
1
= 0 , C
2
= livre, e da equao (5.26)
obtemos
x(t) =

C
2
t
6
,
onde

C
2
=
9
2
C
2
.
2
T
x = 0
H
2
= N(I
2
T
) = Spant
6
,
e claro que dimH
2
= 1.
iv) Seja =
1
. Pelo teorema da alternativa de Fredholm para equaes integrais (Teorema
solues da equao x
1
T
x = 0, isto , fH
1
. Ento a equao x
1
Tx = f ter soluo
se, e somente se,
_
1
1
t
3
f(t)dt = 0. (5.29)
Analogamente, para =
2
, a equao x Tx = f ter soluo se, e somente se,
_
1
1
t
6
f(t)dt = 0. (5.30)
5.3 Exemplos 81
v) Escolhemos =
2
. Vamos achar f ,= 0 da forma f(t) = t
2
+ b satisfazendo a condio
(5.30). Ento,
_
1
1
t
6
(t
2
+ b)dt = 0
2
7
b +
2
9
= 0 b =
7
9
.
Deste modo, para f(t) = t
2
7
9
, a equao x
2
Tx = f tem soluo.
3
, denido por
(T
3
x)(t) =
_
1
0
(4t
2
2ts)x(s)ds, t [0, 1]. (5.31)
Resoluo
de T operador integral com ncleo k
(t, s) = k(s, t) =
4s
2
2ts, tal que
(T
x)(t) =
_
1
0
_
4s
2
2ts
_
x(s)ds, t [0, 1]. (5.32)
no nula,
x(t) 4t
2
_
1
0
x(s)ds + 2t
_
1
0
sx(s)ds = 0. (5.33)
Sejam
C
1
=
_
1
0
x(s)ds, C
2
=
_
1
0
sx(s)ds. (5.34)
De (5.33) e (5.34) obtemos
x(t) 4t
2
C
1
+ 2tC
2
= 0. (5.35)
Multiplicando a ambos os membros da equao (5.35) por 1, t, respectivamente, e tomando o
C
1
, C
2
,
_
_
_
1
0
_
x(t) 4t
2
C
1
+ 2tC
2
dt = 0
_
1
0
_
tx(t) 4t
3
C
1
+ 2t
2
C
2
dt = 0
_
_
1
4
3
_
C
1
+ C
2
= 0
C
1
+
_
1 +
2
3
_
C
2
= 0
. (5.36)
5.3 Exemplos 82
O sistema (5.36) tem soluo no nula (C
1
, C
2
) se, e somente se, o determinante deste sistema
igual zero, isto ,
() =
1
4
3

1 +
2
3
= 0. (5.37)
Ento, a equao (5.7) tem valor caracterstico = 3 com multiplicidade 2.
Agora achemos a soluo geral da equao (5.35) quando = 3. De (5.36) implica que
C
1
= C
2
e substituindo o respectivo valor de em (5.35) obtemos
x(t) =

C
1
(2t
2
t),
onde

C
1
= 6C
1
.
Ento, o conjunto de solues da equao x 3Tx = 0
H
3
= N(I 3T) = Span2t
2
t,
e claro que dimH
3
= 1.

x = 0,
x(t) 4C
1
+ 2tC
2
= 0, (5.38)
onde
C
1
=
_
1
0
s
2
x(s)ds, C
2
=
_
1
0
sx(s)ds. (5.39)
De (5.38) e (5.39) obtemos,
_
_
_
1
0
_
t
2
x(t) 4t
2
C
1
+ 2t
3
C
2
dt = 0
_
1
0
_
tx(t) 4tC
1
+ 2t
2
C
2
dt = 0
_
_
1
4
3
_
C
1
+
1
2
C
2
= 0
2C
1
+
_
1 +
2
3
_
C
2
= 0
. (5.40)
5.3 Exemplos 83
Seja = 3. Do sistema (5.40) implica que C
1
=
1
2
C
2
e da equao (5.38) obtemos
x(t) =

C
2
(1 t),
onde

C
2
= 6C
2
.
Ento, o conjunto de solues da equao x 3T
x = 0
H
3
= N(I 3T
) = Span1 t,
e claro que dimH
3
= 1.
iv) Seja = 3. Pelo teorema da alternativa de Fredholm para equaes integrais (Teorema
solues da equao x T
x = 0, isto , fH
. Ento a equao x Tx = f ter soluo

se, e somente se,
_
1
0
(1 t)f(t)dt = 0. (5.41)
v) Seja = 3. Vamos achar f ,= 0 da forma f(t) = t +c satisfazendo a condio (5.41). Ento,
_
1
0
(1 t)(t + c)dt = 0
1
3
+
1 c
2
+ c c =
1
3
.
Deste modo, para f(t) = t
1
3
, a equao x Tx = f tem soluo.
Observemos que os ncleos dos operadores (5.8), (5.19), e (5.31) nos exemplos 5.3.1, 5.3.2 e
5.3.3 so da forma
k(t, s) = a
1
ts
p
1
+ a
2
t
2
s
p
2
, (5.42)
onde a
1
, a
2
,= 0, p
1
, p
2
N, que um caso particular de operadores integrais com ncleos
degenerados, isto , operadores integrais com ncleos da forma
k(t, s) =
n
k=1
a
k
(t)b
k
(s), (5.43)
onde as funes a
k
(t) e b
k
(s) (k = 1, 2, ..., n) so contnuas no quadrado a t, s b e
linearmente independentes.
Um aspecto interessante para operadores integrais com ncleos da forma (5.42), est ligado a
relao que existe entre a multiplicidade dos autovalores no nulos e a dimenso dos autoespaos
associados. De facto, dos resultados obtidos nas questes ii) e iii) vemos que:
5.3 Exemplos 84
O operador T
1
tem nico autovalor no nulo, de multiplicidade 2 e autoespao associado
de dimenso 2.
O operador T
2
tem dois autovalores diferentes, no nulos, ambos de multiplicidade 1 e
cada autoespao associado de dimenso 1.
O operador T
3
tem nico autovalor no nulo, de multiplicidade 2 e autoespao associado
de dimenso 1.
A equao integral de Fredholm
x(t)
_
b
a
k(t, s)x(s)ds = f(t) (5.44)
com ncleo da forma (5.43), chama-se equao integral de Fredholm com ncleo dege-
nerado. Este tipo de equao resolve-se do seguinte modo.
Escrevemos (5.44) sob a forma
x(t) = f(t) +
n
k=1
a
k
(t)
_
b
a
b
k
(s)x(s)ds (5.45)
e introduzimos as representaes
_
b
a
b
k
(s)x(s)ds = C
k
(k = 1, 2, ..., n). (5.46)
Ento (5.45) toma a forma
x(t) = f(t) +
n
k=1
C
k
a
k
(t), (5.47)
onde C
k
so constantes desconhecidas.
Deste modo, a soluo de uma equao integral com ncleo degenerado se reduz ao encontrar
as constantes C
k
(k = 1, 2, ..., n). Substituindo a expresso (5.47) na equao integral (5.45),
obtemos
n
m=1
_
C
m
_
b
a
b
m
(t)
_
f(t) +
n
k=1
C
k
a
k
(t)
_
dt
_
a
m
(t) = 0.
Em virtude da independncia linear das funes a
m
(t) (m = 1, 2, ..., n) deduzimos que
C
m
_
b
a
b
m
(t)
_
f(t) +
n
k=1
C
k
a
k
(t)
_
dt = 0,
ou
C
m
k=1
_
b
a
a
k
(t)b
m
(t)dt =
_
b
a
b
m
(t)f(t)dt (m = 1, 2, ..., n).
Introduzindo as representaes para a simplicao da escritura
a
km
=
_
b
a
a
k
(t)b
m
(t)dt, f
m
=
_
b
a
b
m
(t)f(t),
obtemos que
C
m
k=1
a
km
C
k
= f
m
(m = 1, 2, ..., n),
ou de forma desenvolvida:
_
_
(1 a
11
)C
1
a
12
C
2
a
1n
C
n
= f
1
a
21
C
1
+ (1 a
22
)C
2
a
2n
C
n
= f
2

a
n1
C
1
a
n2
C
2
+ (1 a
nn
)C
n
= f
n
. (5.48)
Achemos o determinante () do sistema (5.48)
() =
1 a
11
a
12
...
1n
a
21
1 a
22
...
2n
... ... ... ...
a
n1
a
n2
... 1 a
nn
.
Se () ,= 0, ento o sistema (5.48) tem soluo nica, que pode ser achada pelo um dos
mtodos da lgebra Linear.
Finalmente, a soluo da equao integral (5.45) ser a funo x(t) dada pela expresso
x(t) = f(t) +
n
k=1
C
k
a
k
(t).
Ao contrrio, todas as solues da equao () = 0 so valores caractersticos da equao
(5.45). Alm disso, se valor caracterstico da equao (5.45), ento a dimenso do conjunto
das solues da equao homognea igual a n p(), onde p() o posto da matriz simples
do sistema (5.48).
Concluso e recomendaes
Este trabalho teve como objectivos levar a cabo, de um modo pedaggico e didtico um estudo
sobre as propriedades espectrais dos operadores lineares, especialmente, as dos operadores li-
neares compactos. Fez-se um estudo dos espectros de certos operadores lineares nos espaos
C[0, 1], P[0, 1], L
2
[0, 1], l
2
, e viu-se que, para o caso dos operadores compactos nos espaos de
dimenso innita, zero pode ser um ponto do espectro pontual ou contnuo ou residual.
Tambm, estudou-se a condio necessria e suciente que garante a solubilidade da equao
Tx x = f,
onde T um operador linear e um parmetro complexo no nulo.
Para a continuao desta investigao recomenda-se o seguinte:
Investigar as propriedades espectrais dos operadores autoadjuntos nos espaos de Hilbert.
Investigar as propriedades espectrais dos operadores compactos no lineares nos espaos
de Banach e de Hilbert.
Investigar as propriedades espectrais dos operadores de Riesz (veja [4]).
86
Bibliograa
[1] Alves, M.J., Equaes Diferenciais Funcionais Singulares de Segunda Ordem, Perm Sta-
tes University Press, 2000.
[2] Biezumer, R.J., Notas de aula do curso anlise funcional, UFMG, 2009.
[3] Conway, J.B., A Course in Functional Analysis, Spriger-Verlag, New York, Berlim,
Heidelberg, Tokyo, 1985.
[4] Downson, H.R., Spectral Theory of Linear Operators, Academic Press, London, New
York, San Diego, 1978.
[5] Dunford, N., Schwartz, J.T., Linear Operators Vol. II: General Theory, Interscience
Publishers, INC., New York, 1958.
[6] Frana, W.V., O Espao dos Operadores Lineares Compactos, dissertao de mestrado,
Rio de Janeiro:UFRJ/IM, 2008.
[7] Helmberg, G., Introduction to Spectral Theory in Hilbert Space, Elsevier, 1969.
[8] Gonalves, D., Gonalves, M.B, Elementos de Anlise, Florionpo-
lis:UFSC/EAD/CED/CFM, 2009.
[9] Hutson, V., Pym, J.S., Cloud, M.J., Applicaction of Functional Analysis and Operator
Theory, 2nd edition, Elsevier, 2005.
[10] Kisseliov, A.I, Kransnov, M.I, Makarenko, G.I, Equaes integrais, Editora
Mir.Moscou,1981.
87
[11] Kolmogorov, A.N., Formin, S.V, Elementos da teoria de funes e da anlise funcional,
Editora Mir.Moscou, 1989.
[12] Kreyszing E., Introductory Functional Analysis with applications, WILEY, University of
Windsor, 1978.
[13] Reed, M., Simon, B., Methods of modern mathematical physics Vol. I: functional analy-
sis, 2nd edition, Academic Press, San Diego, 1980.
[14] Royden, H.L., Real Analysis, 2nd edition, Collier-Macmilan, London, 1988.
[15] Rudin, W., Functional Analysis, 2nd edition, McGraw-Hill, International Editions, 1991.
[16] Rynne, P.B., Youngson, A.M, Linear Functional Analysis, 2nd edition, Springer-Verlag,
London, 2007.
[17] Sambo, T.A., Operadores lineares e no lineares no espao das funes vectoriais cont-
nuas, trabalho de licenciatura, MAPUTO-UEM, 2009.

Tesebomba 12

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Tesebomba 12

Caricato da

Copyright:

Formati disponibili

UNIVERSIDADE EDUARDO MONDLANE

denota o espao adjunto (dual) do espao normado X;

denota o complemento ortogonal (anulador) do subespao linear V ;

(T) a resolvente do operador T;

de um dado operador linear limitado T nos espaos de

linear. Alm disso, X

um espao normado com norma

dos funcionais lineares que anulam V , isto ,

: f(x) = 0, para todo x V . (1.6)

, o anulador de W o subespao linear W

de X dos vectores que so anulados pelos funcionais de W, ou seja,

= x X : f(x) = 0, para todo f W . (1.7)

chamado o espao bidual de X. Denamos

Seja X um espao euclidiano e denamos o funcional

= y. Ento, pelo teorema 2.1.2 conclumos

tem inverso, denotamos por

(T) est denido num conjunto denso em X, isto , D(R

(T) no denso em X. Neste

(T) pode ou no ser limitado.

(T) existe, ento linear pelo teorema do operador in-

x = 0 chama-se autoespao associado ao autovalor .

existe e est denido em todo o espao X.

fechado. Por isso, T

fechado (veja Teorema 2.1.3). O operador T

(T) limitada. Ento R

(T) satisfaz as condies (E

) = X, mas isto absurdo, pois contradiz a condio Im(T

bijectivo, ento um valor regular do

T um operador auxiliar. claro que I C =

. Do teorema 2.3.4 obtemos

bijectivo. Pelo lema 2.3.1 segue que C [0, 1] (T).

) = 0, isto signica que o operador T

injectivo. Deste modo, no um auto-

) est contido em E = y C[0, 1] : y() = 0 e

) ,= X. Portanto, [0, 1] um ponto do espectro residual. Assim,

bijectivo. Pelo lema 2.3.1 segue que C [0, 1]

inversvel e deste modo,

no coincide com todo L

(t) denida em (2.15) pertence ao domnio do operador T

(T)), e para os outros casos de

, a demonstrao anloga ou a demonstrao

, visto que, para todo t [0, 1]

tem lugar a desigualdade

(T)) tal que |y x| <

bijectivo. Pelo lema 2.3.1 segue

no injectivo, deste modo,

(t) no subespao X com

(t) x(t) = 0. Resolvendo a equao T

x = y equivalente a equao dife-

(t) x(t) = y(t), t [0, 1]

bijectivo para todo C. Mais ainda T

limitado, visto que

e da condio x(0) = x(1) obtemos a

1 = 0, ento x(0) arbitrrio, ou seja, todo que satisfaz a equao e

1 = 0 obtemos = 2ni, onde n Z.

(t) x(t) = y(t), para todo y C[0, 1]. Logo, T

, como sendo a aplicao T

f)(x) = f(Tx), (3.3)

est bem denida.

f)(x) = f((S + T)x)

). Neste caso, vale (T

o operador integral com ncleo denido por k(s, t), isto ,