Академический Документы
Профессиональный Документы
Культура Документы
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
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
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
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
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
0.4
< 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
d2
d
+
Q(x)
+ R(x).
dx2
dx
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 > =
=
=
=
=
=
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
< y1 , y2 > =
y1 (x)y2 (x)dx,
a
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
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).
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)},
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 .