Universidade do Estado do Rio de Janeiro

Departamento de Fsica Teorica

Autor Jim Skea
Data 6 maio 2008
Fsica Matematica III, Exemplos 3: Espacos Lineares e Problemas Sturm-Liouville
1* Quais dos espa cos, L, abaixo sao espa cos lineares (vetoriais)? As operacoes de soma e produto sao os usuais. K denota
o espaco de escalares (n umeros) usado. Para cada espa co que nao seja um espa co linear, identique um axioma que o espaco
n ao obedece:
(i)
L =
__
a b
c d
_
: a, b, c, d R
_
; K = R.
(ii)
L =
__
a b
c 0
_
: a, b, c, C
_
; K = C.
(iii)
L = {(a

i + b

j) : a, b Z}, K = R.
(iv) L e o conjunto de matrizes 2x2 com elementos em C e determinante igual a zero. K = R.
(v) L e o conjunto de fun coes pares de uma variavel real, i.e. funcoes f(x) tal que f(x) = f(x). K = R.
(vi)
L = {(a

i + b

j) : a, b R
+
}, K = R.
(vii) Seja F(R) o conjunto de funcoes reais. Entao
L =
_
F(R) :
_
2
0
f(x) dx = 0 : f F(R)
_
, K = R,
isto e, L e o espa co de todas as fun coes reais com integrais nulas no intervalo [0, 2].
2 Seja L o espaco de vetores reais em duas dimensoes:
L = {u
1

i + u
2

j : u
1
, u
2
R}.
(a) Por que a opera cao u
3

_

2
i=1
u
3
i
_
1/3
nao e uma norma sobre L?
(b) Podemos denir a supnorma (ou suprema) de um espa co como
u

= max{|u
i
|}.
(i) Demonstre que a supnorma satisfaz as 3 propriedades necessarias para ser considerada uma norma.
(ii) A nota cao u

sugere que a supnorma pode ser considerada como o limite quando n da seq uencia de normas
u
2n

_

2
i=1
u
2n
i
_
1/2n
, n = 1, 2, . . .. Voce consegue justicar isso? (Pense na importancia relativa das componentes de u
`a medida que n cresce.)
3 Em relatividade restrita existe o conceito da magnitude de um quadrivetor. Se u for o quadrivetor com componentes
(u
1
, u
2
, u
3
, u
4
) numa base ortonormal, podemos denir a magnitude de u como |u| =
_
u
2
1
+ u
2
2
+ u
2
3
u
2
4
.
A magnitude de um quadrivetor e uma norma? Se for, demonstre que as propriedades de uma norma sao validas para
qualquer quadrivetor u. Senao, forne ca um contraexemplo.
*4 Verique se as opera coes < | >, denidas entre elementos dos espacos lineares L, sao produtos internos.
(a) L = {(u
1
, u
2
) : u
1
, u
2
R}, K = R, < u|v > u
1
v
2
+ 3u
2
v
1
.
(b) L = {(u
1
, u
2
) : u
1
, u
2
R}, K = R, < u|v > u
1
v
2
3u
2
v
1
.
(c) L = {(u
1
, u
2
) : u
1
, u
2
R}, K = R, < u|v > u
1
u
2
+ 3v
1
v
2
.
(d) L e o conjunto de polinomios reais {ax
n
: a R
+
, n Z
+
}, K = R, < f|g >
_
1
0
f(x)g(x) dx, f, g L.
*5 Considere o espa co de polinomios reais em x, com produto interno entre dois elementos desse espaco denido como
< u|v >=
_
1
0
u(x) v(x) dx.
(a) Demonstre que uma base ortonormal {
0
,
1
,
2
} para esse espaco ate grau 2 e dado por
0
= 1,
1
=

3(1 2x),

2
=

5(1 6x + 6x
2
). (b) Estenda essa base para polinomios de grau 3, com a condicao que
i
(0) > 0.
(c) Escreva o elemento u = 1 + x + x
2
em termos dessa base ortonormal.
*6(a) Seja H o espaco de Hilbert de polinomios em x com coecientes reais e produto interno
< u|v >=
_

0
u(x)v(x)e
x
dx
(isto e, existe uma funcao-peso e
x
). Calcule os primeiros tres elementos de uma base ortonormal para esse espa co, com a
condic ao que
i
(0) > 0.
(b) Escreva o elemento u = 1 + x + x
2
em termos dessa base ortonormal.
*7 Demonstre que {cos(mx), sen(nx)}, m, n Z
+
formam uma base ortogonal com respeito ao produto interno
< u|v >=
_
2
0
u(x)v(x) dx
e que < u|u >= . Como voce formaria uma base ortonormal?
*8 Onde for possvel, coloque as EDOs na forma auto-adjunta (forma Sturm-Liouville) e identique os intervalos de integra cao
que fazem com que suas autofun coes sempre sejam ortogonais. Em cada caso, identique a funcao-peso e o autovalor.
Considere que a, b, c e n sao constantes.
(a) (1 x
2
)y

xy

+ n
2
y = 0.
(b) (1 x
2
)y

3xy

+ n(n + 2)y = 0.
(c) (1 x
2
)y

(2a + 1)xy

+ n(n + 2a)y = 0.
(d) x(1 x)y

+ [c (a + b + 1)x]y

aby = 0.
9
`
As vezes (por exemplo na Mecanica Quantica) e interessante considerar solu coes complexas de uma equacao diferencial.
Seja
d
dx
_
p(x)
dy
dx
_
+ r(x) = w(x) y
uma EDO com p(x), r(x) e w(x) reais e considere que existam as condi coes de contorno

1
y(a) +
2
y

(a) = 0, y(b) +
2
y

(b) = 0,
com
i
e
i
reais. Demonstre que, sob essas condicoes, e permitindo que y seja complexa, os autovalores sao reais.