Anda di halaman 1dari 10

ED II - 2016.

1
Prof. Magno B. Alves
14/07/2016

0.1

Introduc
ao

Nas linhas abaixo, registramos por escrito as discussoes levadas a termo na aula de
13/07(4a ).

0.2

Espacos Vetoriais em 2 exemplos

Na tabela abaixo, 2 exemplos que servirao de fio condutor da discussao.


Conjunto
RN
Elementos
x = (x1 , , xN ), xi R, i
Igualdade
x = y xi = yi , i
Soma Vetorial
x + y = (x1 + y1 , , xN + yN )
Produto por Escalar
x = (x1 , , xN )
Produto interno
< x, y >= x1 y1 + xN yN

C
y : R R infinitamente derivavel
y1 = y2 em C y1 (x) = y2 (x) x R
(y1 + y2 )(x) = y1 (x) + y2 (x) (x R)
(y)(x) = y(x) (x R)
Rb
< y1 , y2 >= a y1 (x)y( x)dx

Agora, vamos unificar a notacao, denotando RN e C , genericamente, por V . Os


elementos de V serao, genericamente, denotados por
~u, ~v , w,
~
e serao, genericamente, denomindados vetores. Temos o seguinte quadro de propriedades para as operaco
es de soma vetorial e produto por escalar (real) em
V
Comutatividade
Associatividade
Elemnto Neutro
Elemnto Simetrico

Operac
oes em V
soma vetorial
~u + ~v = ~v + ~u
(~u + ~v ) + w
~ = ~u + (~v + w)
~
~0, ~u + ~0 = ~u
~u, ~u, ~u + (~u) = ~0

produto por escalar real


()~u = (~u)
1 ~u = ~u
-

Ha ainda regras de distributividade que mesclam soma vetorial e produto por escalar
(real) em duas versoes, reunidas na tabela abaixo
Distributividade em V
versao 1
versao 2
(~u + ~v ) = ~u + ~v ( + ) ~u = ~u + ~u
A razao de se considerar seriamente tal elenco de propriedades para as operacoes +
de soma vetorial e de produto por escalar e que tal elenco fornece, por assim dizer,
a legislacao do operacional algebrico envolvendo os elementos de V . Por exemplo, a
diferenca ~u ~v entre os vetores ~u e ~v e definida por
~u ~v = ~u + (~v ).
Alem disso, lancando-se mao das propriedades acima tabuladas, pode-se mostrar o
seguinte
o elemento neutro ~0 da soma e u
nico;
~u + ~v = ~u + w
~ = ~v = w;
~
~u + ~v = ~0 = ~u = ~v ;

~u + ~v = w
~ = ~u = w
~ ~v ;
(1) ~u = ~u.
O fato de V estar equipado com uma operacao de soma + bem como uma operacao
de produto por escalar real que cumprem as boas propriedades que se esperam que
somas e produtos cumpram - isto e, as propriedades acima tabeladas - e sintetizado, na

terminologia da Algebra
Linear, dizendo-se que V e um espaco vetorial real.

0.3

Operadores lineares em 3 exemplos

Nesta secao, apresentamos alguns exemplos daquilo que, em Algebra


Linear, se convenciona chamar de transformac
ao linear.
Exemplo 0.3.1 Seja > 0 um angulo em radianos. Defina a funcao R : R2 R2 ,
pondo
R (x, y) = (cos x sin y, sin x + cos y).
Verifica-se, sem maiores dificuldades que R cumpre o seguinte
R [(x, y) + (x0 , y 0 )] = R (x, y) + R (x0 , y 0 )
R [ (x, y)] = R (x, y).
Exerccio 0.3.1 Verifique as afirmacoes, acima, acerca de R [(x, y) + (x0 , y 0 )] e de R [ (x, y)].
Exemplo 0.3.2 Agora, considere a funcao P : R3 R3 definida por
P (x, y, z) = (x, y, 0).
Tambem, sem maiores dificuldades, verifica-se que P cumpre o seguinte
P [(x, y, z) + (x0 , y 0 , z 0 )] = P (x, y, z) + P (x0 , y 0 , z 0 )
P [ (x, y, z)] = P (x, y, z).
Exerccio 0.3.2 Verifique as afirmacoes, acima, acerca de P [(x, y, z) + (x0 , y 0 , z 0 )] e de
P [ (x, y, z)].
Exemplo 0.3.3 Por u
ltimo, considere

d2
: C C , pondo
dx2

d2
(y) = y 00 (derivada segunda de y)
dx2
Tambem neste caso, verifica-se sem maiores dificuldades que

d2
d2
d2
(y
+
y
)
=
(y
)
+
(y2 )
1
2
1
dx2
dx2
dx2

d2
d2
(y)
=

(y).
dx2
dx2

d2
d2
(y
+
y
)
e
de
(y).
1
2
dx2
dx2
Na terminologia generica, em que denotamos R2 , R3 e C por V , o que temos nos tres
exemplos acima e uma funcao T : V V que cumpre
Exerccio 0.3.3 Verifique as afirmacoes, acima,acerca de

T (~u + ~v ) = T (~u) + T (~v )


T (~u) = T (~u).

Resulta que tais funcao T : V V sao aquilo que, em Algebra


Linear, convencionase chamar de operador linear sobre o espaco vetorial V .

0.4

O operador adjunto a um operador linear

Iniciamos esta secao, detalhando aquilo que, em Algebra


Linear, se convenciona chamar
de um produto interno < , >. Para V = RN , definiu-se um tal produto interno
< , >, atraves de
< x, y >= x1 y1 + xN yN
e em V = C , atraves de
Z

y1 (x)y( x)dx ( < a < b < )

< y1 , y2 >=
a

Como de habito, vamos unificar a notacao, escrevendo V para nos referirmos simultaneamente a RN e a C . Em V , consideramos o produto interno < , >.
As propriedades, a seguir, sao as exigencias basicas que se imputam a um tal produto
Propriedades de produto interno
Positividade
< ~u, ~u > 0
Nao degenerescencia
< ~u, ~u >= 0 ~u = ~0
Comutatividade
< ~u, ~v > = < ~v , ~u >
Associatividade
< ~u, ~v > = < ~u, ~v > = < ~u, ~v >
Distributividade
< ~u + ~v , w
~ > = < ~u, w
~ > + < ~v , w
~>
Agora, se T : V V e um operador linear, temos a seguinte
Proposic
ao 0.4.1 A cada operador linear T : V V , associa-se um u
nico operador
linear T : V V , o operador adjunto a T , que cumpre
< T ~u, ~v >=< ~u, T ~v >, ~u, ~v V.
Exemplo 0.4.1 Considere, novamente, a transformacao linear R : R2 R2 que a
cada vetor ~v R2 associa a sua rotacao R ~u de (> 0) radianos no sentido anti-horario
e em tono da origem (0, 0) R2 . Se escrevemos ~v nas coordenadas cartesianas como
~v = (x, y)
entao
R (x, y) = (cos x sin y, sin x + cos y).
Consideracoes geometricas (ou mesmo algebricas) permitem concluir que (R )1 =
R e que
< R ~u, ~v >=< ~u, (R ) ~v >, ~u, ~v R2 .
Da, resulta que o operador R , adjunto a R , e dado por
R = R = R1 .
Exemplo 0.4.2 Considere, novamente, o espaco vetorial V = C das funcoes reais
y = y(x) (x R) que sao infinitamente diferenciaveis. Fixados < a < b < , em
C , considere o produto interno < , > dado por
Z b
< y1 , y2 > =
y1 (x)y2 (x)dx.
a

Sejam, agora, P = P (x), Q = Q(x) e R = R(x) funcoes infinitamente diferenciaveis


e considere o operador diferencial
L = P (x)

d2
d
+
Q(x)
+ R(x).
dx2
dx

Entao L define um operador linear


L : W C ,
com
W = {y C | y(a) = 0 = y(b)},
que, a cada y W , associa L[y] C dada por
L[y](x) = P (x)y 00 (x) + Q(x)y 0 (x) + R(x)y(x) (x R).
Agora, se y1 (x) e y2 (x) sao funcoes pertencentes a W , integracao por partes permite
concluir, diretamente, que
< L[y1 ], y2 >=< y1 , L [y2 ] >,
onde L : C C e dado por
L [y](x) = [P (x)y(x)]00 [Q(x)y(x)]0 + R(x)y(x),
De fato, temos o seguinte
Z b
< L[y1 ], y2 > =
[P (x)y100 (x) + Q(x)y10 (x) + R(x)y1 (x)] y2 (x)dx
a
Z b
Z b
Z b
0
0
0
y1 (x) [R(x)y2 (x)] dx
y1 (x) [Q(x)y2 (x)] dx +
y1 (x) [P (x)y(x)] dx
=
a
a
a
Z b
Z b
Z b
00
0
=
y1 (x) [P (x)y(x)] dx
y1 (x) [Q(x)y2 (x)] dx +
y1 (x) [R(x)y2 (x)] dx
a
a
a
Z b
y1 (x){[P (x)y(x)]00 [Q(x)y2 (x)]0 + [R(x)y2 (x)]}dx
=
a

= < y1 , L [y2 ] >,


como afirmado anteriormente.
Observac
ao 0.4.1 O leitor n
ao deve deixar de observar que, nas passagens
acima nas quais integra
c
ao por partes
e usada, lan
ca-se m
ao, contundentemente, do anulamento das fun
c
oes y1 (x) e y2 (x).
Observac
ao 0.4.2 O operador L escreve-se, por extenso, como
L [y](x) = P (x)y 00 (x) + [2P 0 (x) Q(x)] y 0 (x) + [P 00 (x) Q0 (x) + R(x)] y(x).
digno de registro que, em cursos de Equa
E
c
oes Diferenciais, a equa
c
ao
diferencial
P (x)y 00 (x) + [2P 0 (x) Q(x)] y 0 (x) + [P 00 (x) Q0 (x) + R(x)] y(x) = 0

e denominada de a equa
c
ao adjunta `
a equa
c
ao diferencial
P (x)y 00 (x) + Q(x)y 0 (x) + R(x)y(x) = 0.
(Por exemplo, a equa
c
ao adjunta
e considerada, com destaque, nos exerccios
da se
c
ao 6.5 - Problemas de Sturm-Liouville - do captulo 6 do texto de Simmons e Krantz !)
As considera
c
oes acima deixam claro que o formato e o nome da equa
c
ao
adjunta surgem, naturalmente, no contexto dos operadores auto-adjuntos

em Algebra
Linear. O enquadramento da equa
c
ao adjunta neste contexto
torna natural (e justificada em termos conceituais) a associa
c
ao de uma tal
equa
c
ao (adjunta) `
a equa
c
ao diferencial P (x)y 00 (x) + Q(x)y 0 (x) + R(x)y(x) = 0.

0.5

Operadores auto-adjuntos

Convem iniciar esta secao, resgatando a projecao ortogonal sobre o plano xy de equacao
cartesiana {z = 0}.
Exemplo 0.5.1 De volta ao operador linear P : R3 R3 , projecao ortogonal sobre o
plano xy, vimos que nas coordenadas cartesianas x, y, z, tal operador P escreve-se como
P (x, y, z) = (x, y, 0).
Agora, se ~u = (x, y, z) e se ~v = (x0 , y 0 , z 0 ) sao vetores arbitrarios em R3 , ficamos com
< P ~u, ~v > =
=
=
=
=
=

< (x, y, 0), (x0 , y 0 , z 0 ) >


x x0 + y y 0 + 0 z 0
x x0 + y y 0
x x0 + y y 0 + z 0
< (x, y, z), (x0 , y 0 , 0) >
< ~u, P~v >,

quaisquer que sejam ~u, ~v R3 . Isto permite enquadrar P naquilo que, em Algebra
Linear,
convenciona-se chamar de operador auto-adjunto.
Formalmente, temos a seguinte
Definic
ao 0.5.1 O operador linear T e dito auto-adjunto, quando
T = T .
A seguir, apresentamos 3 disfarces usados por d2 /dx2 , como operador auto-adjunto, em
sua atuacao como eminencia parda no Metodo de Separacao de Variaveis. Em cada um

deles, considera-se uma instancia concreta daquilo que, em Algebra


Linear, convencionase chamar de subespa
co vetorial . Precisamente, considera-se tres instancias concretas
de subconjuntos W C que cumprem
w~1 , w~2 W = w~1 + w~2 W
R, w
~ W = w
~ W.
Em cada uma dessas instancias concretas de subespacos vetoriais W C , temos a
encarnacao de d2 /dx2 como uma transformacao linear auto-adjunta
d2
: W C ,
dx2
no sentido que
d2 y 1
d2 y2
<
, y2 > = < y1 , 2 >, y1 , y2 W.
dx2
dx
Aqui, como anteriormente, considera-se em V - e tambem em W V - o produto interno
< , > dado por
Z
b

< y1 , y2 > =

y1 (x)y2 (x)dx,
a

onde < a < b < sao n


umeros reais fixados a priori.
As tres instancias, acima aludidas, sao as seguintes

a. Condic
oes de Dirichlet: Materializadas por
W = {y C | y(a) = 0 = y(b)},
b. Condic
oes de Neumann: Materializadas por
W = {y C | y 0 (a) = 0 = y 0 (b)},
c. Condic
oes Peri
odicas: Materializadas por
W = {y C | y(a) = y(b) e y 0 (a) = y 0 (b)}.
Proposic
ao 0.5.1 O operador linear d2 /dx2 : W C e auto-adjunto nas tres situacoes acima.
Demonstra
c
ao: Para essa tarefa, fixe, arbitrariamente, funcoes y1 , y2 W , onde W
pode ser qualquer um dos subespacos de C que materializam as condicoes de Dirichlet,
de Neumann ou Periodica. Integracao por partes fornece
Z b
d2 y 1
<
, y2 > =
y100 (x)y2 (x)dx
dx2
a
Z b
0
x=b
= y1 (x)y2 (x)|x=a
y10 (x)y20 (x)dx
a
Z b
0
0
= [y1 (b)y2 (b) y1 (a)y2 (a)]
y10 (x)y20 (x)dx
a
Z b
0
0
0
x=b
= [y1 (b)y2 (b) y1 (a)y2 (a)] y1 (x)y2 (x)|x=a +
y1 (x)y200 (x)dx
a
Z b
0
0
0
0
= [y1 (b)y2 (b) y1 (a)y2 (a)] [y1 (b)y2 (b) y1 (a)y2 (a)] +
y1 (x)y200 (x)dx.
a

Resulta que ambos


[y10 (b)y2 (b) y10 (a)y2 (a)] e [y1 (b)y20 (b) y1 (a)y20 (a)] = 0,
se anulam em qualquer uma das tres condicoes em pauta. De fato :
Nas condicoes de Dirichlet, porque y1 (a) = 0 = y1 (b) anulam [y1 (b)y20 (b) y1 (a)y20 (a)]
e porque y2 (a) = 0 = y2 (b) anulam [y10 (b)y2 (b) y10 (a)y2 (a)];
Nas condicoes de Neumann porque y10 (a) = 0 = y10 (b) anulam [y10 (b)y2 (b) y10 (a)y2 (a)]
e porque y20 (a) = 0 = y20 (b) anulam [y1 (b)y20 (b) y1 (a)y20 (a)];
Nas condicoes Periodicas porque y10 (a) = y10 (b) e y2 (a) = y( b) anulam [y1 (b)y20 (b) y1 (a)y20 (a)]
e porque y1 (a) = y1 (b) e y20 (a) = y20 (b) anulam [y10 (b)y2 (b) y10 (a)y2 (a)].
Isto confirma a afirmacao feita acima e permite concluir que
Z b
d2 y 1
, y2 > =
y1 (x)y200 (x)dx
<
dx2
a
d2 y 2
= < y1 , 2 >,
dx
donde se conclui que d2 /dx2 : W C e autoadjunto nas tres situacoes acima. Segue
a proposicao. 

0.6

Autovalores e autovetores

Iniciamos, mais uma vez, resgatando a projecao ortogonal sobre o plano xy.
Exemplo 0.6.1 De volta ao operador linear P : R3 R3 que, nas coordenadas cartesianas x, y, z, escreve-se como
P (x, y, z) = (x, y, 0),
vamos procurar os valores com respeito aos quais existe (x, y, z) 6= (0, 0, 0) cumprindo
P (x, y, z) = (x, y, z).

Um tal e o que, em Algebra


Linear, convenciona-se chamar de um autovalor do
operador linear P , enquanto que um tal (x, y, z) 6= (0, 0, 0), nos termos acima, e o que,

em Algebra
Linear, convenciona-se chamar de um autovetor do operador linear P
associado ao autovalor .
Vamos determinar, diretamente, os autovalores de P e seus respectivos autovetores.
Como acabamos de dizer, queremos determinar os valores para os quais existe
(x, y, z) 6= (0, 0, 0) cumprindo
(x, y, 0) = (x, y, z),
ou seja, para os quais existe (x, y, z) 6= (0, 0, 0) cumprindo

x=x
y =y

0 = z.
Sem maiores dificuldades, verifica-se o seguinte
x = y = 0 = 0
x 6= 0 ou y 6= 0 = 1 e z = 0
Resumindo, se
A = {(x, y, z) R3 | P (x, y, z) = (x, y, z)}
entao
A=1 = {z = 0} (plano xy);
A=0 = {x = y = 0} (eixo z).

Observac
ao 0.6.1 Em Algebra
Linear, A e o que se convenciona chamar de autoespa
co (do operador linear P ) associado ao autovalor .
digno de observa
Exemplo 0.6.2 E
c
ao que o operador auto-adjunto
d2
: W C
dx2
da condi
c
ao de Dirichlet
W = {y C | y(a) = 0 = y(b)},

manifesta-se, naturalmente, com a = 0 e b = L, quando o m


etodo de separa
c
ao de v
ari
aveis
e aplicado ao seguinte problema de valor de contorno
para a equa
c
ao unidimensional do calor

t u = x2 u, 0 < x < L, t > 0;


u(0, t) = 0 = u(L, t), t > 0;

u(x.0) = f (x), 0 < x < L.


De fato, como visto em aula passada, quando para o subproblema

t u = x2 u, 0 < x < L, t > 0;
u(0, t) = 0 = u(L, t), t > 0,
procuramos solucoes nao-triviais, no padrao variaveis separadas
u(x, t) = X(x)T (t), 0 < x < L, t > 0,
recamos no problema de autovalores
d2 X
= X
dx2
d2
: W C das condicoes de Dirichlet. Resulta (de
dx2
consideracoes levadas a termo em aula passada) que os valores admissveis para - isto
e, os autovalores - sao
n2 2
n = 2 (n Z)
L
e que, fixado n Z, temos que
 nx 
Xn (x) = sin
L
para o operador (auto-adjunto)

e autovetor de d2 /dx2 associado ao autovalor n .


Observac
ao 0.6.2 No caso, como as Xn s sao funcoes, costuma-se usar a terminologia
autofun
c
oes, ao inves de autovetores.
Exemplo 0.6.3 Tamb
em
e digno de observa
c
ao que o operador auto-adjunto
d2
: W C
dx2
da condi
c
ao de Neumann
W = {y C | y 0 (a) = 0 = y 0 (b)},
manifesta-se, naturalmente, com a = 0 e b = L, quando o m
etodo de separa
c
ao de v
ari
aveis
e aplicado ao seguinte problema de valor de contorno
para a equa
c
ao unidimensional do calor

t u = x2 u, 0 < x < L, t > 0;


x u(0, t) = 0 = x u(L, t), t > 0;

u(x.0) = f (x), 0 < x < L.


De fato, procedendo como no caso das condicoes de Dirichlet, quando para o subproblema

t u = x2 u, 0 < x < L, t > 0;
u(0, t) = 0 = u(L, t), t > 0,

procuramos solucoes nao-triviais, no padrao variaveis separadas


u(x, t) = X(x)T (t), 0 < x < L, t > 0,
recamos no problema de autovalores
d2 X
= X
dx2
d2
: W C das condicoes de Neumann. Resulta
dx2
(de consideracoes similares `aquelas levadas a termo em aula passada) que os valores admissveis para - isto e, os autovalores - sao
para o operador (auto-adjunto)

n =

n2 2
(n Z),
L2

os mesmos dos encontrados nas condicoes de Dirichlet, so que, agora, fixado n Z, temos
que
 nx 
Xn (x) = cos
L
e autofuncao de d2 /dx2 associados ao autovalor n .

Anda mungkin juga menyukai