Você está na página 1de 65

C alculo Variacional

Prof. Dr. Ricardo L. Viana


Departamento de Fsica
Universidade Federal do Paran a
Curitiba - PR
11 de maio de 2011
2
Sumario
1 Equa cao de Euler 5
1.1 Uma variavel independente e uma dependente . . . . . . . . . . . 5
1.1.1 Par ametro variacional . . . . . . . . . . . . . . . . . . . . 5
1.1.2 Deducao da equacao de Euler . . . . . . . . . . . . . . . . 6
1.1.3 Identidade de Beltrami . . . . . . . . . . . . . . . . . . . . 8
1.2 Aplica coes da equacao de Euler . . . . . . . . . . . . . . . . . . . 9
1.2.1 Menor distancia entre dois pontos . . . . . . . . . . . . . 9
1.2.2 Braquistocrona . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3 Superfcies de revolucao e lmes de sab ao . . . . . . . . . 13
1.2.4 T unel em uma esfera . . . . . . . . . . . . . . . . . . . . . 16
1.3 Uma variavel independente e v arias dependentes . . . . . . . . . 19
1.3.1 Equa coes de Euler . . . . . . . . . . . . . . . . . . . . . . 19
1.3.2 Propagacao da luz e o princpio de Fermat . . . . . . . . . 20
1.3.3 Princpio de Hamilton . . . . . . . . . . . . . . . . . . . . 23
1.4 Uma variavel dependente e v arias variaveis independentes . . . . 26
1.4.1 Equa cao de Euler . . . . . . . . . . . . . . . . . . . . . . . 26
1.4.2 Equa cao de Laplace . . . . . . . . . . . . . . . . . . . . . 27
1.5 V arias variaveis independentes e dependentes . . . . . . . . . . . 28
1.6 Problemas variacionais com vnculos . . . . . . . . . . . . . . . . 28
1.6.1 Vnculos e multiplicadores de Lagrange . . . . . . . . . . 28
1.6.2 Exemplos de vnculos . . . . . . . . . . . . . . . . . . . . 30
1.6.3 Equa coes de Euler com vnculos . . . . . . . . . . . . . . 31
1.6.4 Problemas mec anicos com vnculos . . . . . . . . . . . . . 35
1.7 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Metodos variacionais aplicados 43
2.1 Revis ao sobre a equacao de Sturm-Liouville . . . . . . . . . . . . 43
2.2 A equacao de Sturm-Liouville como um problema variacional . . 44
2.3 Autofuncoes de L como funcoes de base . . . . . . . . . . . . . . 46
2.4 O metodo de Rayleigh-Ritz . . . . . . . . . . . . . . . . . . . . . 49
2.4.1 Exemplos de aplica cao do metodo . . . . . . . . . . . . . 50
2.5 O metodo da raz ao no calculo variacional . . . . . . . . . . . . . 52
2.5.1 Calculo com o smbolo . . . . . . . . . . . . . . . . . . . 53
2.5.2 Teoria geral . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.5.3 O metodo da raz ao na mec anica quantica . . . . . . . . . 56
2.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3
4 SUM

ARIO
Captulo 1
Equacao de Euler
1.1 Uma variavel independente e uma depen-
dente
No que segue, denotaremos por x a variavel independente, e por y a dependente.
Usaremos, ainda, a nota cao y
x
= dy/dx para a derivada de y(x) em rela cao ao
seu argumento.
O problema central do calculo variacional pode ser expresso na seguinte
forma: desejamos encontrar uma funcao y(x) que possui valores xos nos pontos
x = x
1
e x = x
2
, tal que a integral de linha de uma dada funcao f(y, y
x
, x)
J =
_
x
2
x
1
f(y, y
x
, x)dx (1.1)
seja um extremo (m aximo, mnimo ou ponto de inexao). Em outras palavras,
queremos encontrar y(x) com valores xos y
1
= f(x
1
) e y
2
= f(x
2
) tal que a
integral J seja estacion aria.
A integral J e um funcional, pois nao depende s o dos valores de y e sua
derivada num dado ponto x, mas sim em todos os pontos do intervalo x
1
x
x
2
, ja que a integral (2.18) depende do caminho escolhido entre esses pontos.
1.1.1 Parametro variacional
H a, naturalmente, innitas funcoes com valores xos em (x
1
, y
1
) e (x
2
, y
2
), mas
a integral J assume valores diferentes para cada um. No plano cartesiano,
isso equivale a dizer que ha innitos caminhos ligando os pontos xos, mas
apenas para um deles J e um extremo. Formalmente podemos rotular todos os
caminhos possveis entre os pontos (x
1
, y
1
) e (x
2
, y
2
) por meio de um par ametro
variacional , de modo que cada caminho seja caracterizado por y(x, [Fig.
1.1]. Para um dado valor de , como = 0, o caminho otimo correspondente,
denotado por y(x, 0) torna J estacion aria.
Suporemos que cada caminho seja uma deforma cao contnua do caminho
otimo no sentido de que podemos escrever
y(x, ) = y(x, 0) + (x), (1.2)
5
6 CAP

ITULO 1. EQUAC

AO DE EULER
x
x
y
1
2
y
y
x
x
1
1
2
2
0
=0
=
=
=
2
1
2
3
=
Figura 1.1: Parametrizacao de caminhos ligando dois pontos xos.
onde (x) representa a deforma cao, portanto deve ser uma funcao continuamente
diferenciavel (suave) em todos os pontos do intervalo x
1
< x < x
2
, anulando-se
nos seus extremos: (x
1
) = (x
2
) = 0.
Como um exemplo de parametriza cao consideremos os pontos xos no plano
(x
1
, y
1
) = (0, 0) e (x
2
, y
2
) = (1, 0), onde o caminho otimo seja o segmento de
reta que os une:
y(x, 0) = (x, y)[y = 0, 0 x 1.
Uma famlia de curvas suaves parametrizadas por que conectam os pontos
xos e ( R)
y(x, ) = x(1 x),
onde = 0 fornece o caminho otimo: y(x, 0) = 0. Logo (x) = x(1 x), que
satisfaz (0) = (1) = 0.
Observe que a deforma cao (x) deve ser uma funcao suave no intervalo
[x
1
, x
2
], ou seja, deve ser diferenciavel em todos os seus pontos. No exemplo
anterior, isso signica que nao podemos usar uma funcao como ( R)
(x) =
_
2x, se 0 x 1/2,
2(x 1), se 1/2 x 1,
pois ela nao e diferenciavel em x = 1/2.
1.1.2 Dedu cao da equa cao de Euler
O funcional integral (2.18), com o auxlio do par ametro variacional , pode ser
reescrito como
J() =
_
x
2
x
1
f(y(x, ), y
x
(x, ), x)dx. (1.3)
A condi cao imposta ao caminho otimo y(x, 0) de que torne o funcional acima
estacion ario implica em
_
J

_
=0
= 0. (1.4)
1.1. UMA VARI

AVEL INDEPENDENTE E UMA DEPENDENTE 7


Diferenciando (2.28) em rela cao a teremos
J

=
_
x
2
x
1
_
f
y
y

+
f
y
x
y
x

_
dx. (1.5)
Integrando por partes o segundo termo do lado direito
_
x
2
x
1
f
y
x
..
=u
y
x

dx
. .
=dv
=
f
y
x
y

x
2
x
1

_
x
2
x
1
y

..
=v
d
dx
_
f
y
x
_
dx
. .
=du
(1.6)
Como todas as curvas parametrizadas por devem passar pelos pontos xos,
_
y

_
x
1
= 0,
_
y

_
x
2
= 0, (1.7)
tal que a primeira parcela resultante da integra cao por partes e identicamente
nula, restando, ent ao
J

=
_
x
2
x
1
_
f
y

d
dx
_
f
y
x
__
y

dx. (1.8)
Multiplicando por d e calculando as derivadas em rela cao a para o cami-
nho otimo = 0 teremos
_
J

_
=0
d =
_
x
2
x
1
_
f
y

d
dx
_
f
y
x
__
y

ddx. (1.9)
Vamos denominar variac ao da integral J a seguinte expressao
J
_
J

_
=0
d, (1.10)
assim como, analogamente, a variacao de y sera
y
_
y

_
=0
d, (1.11)
com as quais reescrevemos (1.9) como
J =
_
x
2
x
1
_
f
y

d
dx
_
f
y
x
__
ydx. (1.12)
A condi cao (1.4) para que a integral J seja estacion aria e, portanto, simples-
mente
J = 0. (1.13)
Impondo essa condi cao em (1.12), como y e arbitrario, concluimos que, neces-
sariamente, o termo entre colchetes deve anular-se, o que fornece a equacao de
Euler
1
f
y

d
dx
_
f
y
x
_
= 0. (1.14)
1
A equa cao de Euler e uma condi cao necessaria, porem nao suciente para que J = 0.
8 CAP

ITULO 1. EQUAC

AO DE EULER
Leonhard Euler chegou `a equacao acima em 1744, no seu trabalho Metodo
para achar curvas planas que mostram algumas propriedades de m aximos e
mnimos. Posteriormente, em 1760, Joseph Louis Lagrange aprofundou a analise
previa de Euler no seu trabalho Ensaio sobre um novo metodo para determinar
os m aximos e mnimos de formulas integrais indenidas. Por esse motivo, den-
tro do contexto da mec anica, a expressao (1.14) e tambem chamada de equacao
de Euler-Lagrange. A equacao de Euler e uma condi cao necessaria, porem nao
suciente, para que a integral J seja estacion aria. Alem disso, na dedu cao
que zemos nos zemos a suposicao implcita de que a solu cao procurada y(x)
seja ao menos duas vezes diferenciavel. H a situacoes em que solu coes nao-
diferenciaveis do problema variacional podem ser encontradas, e que nao s ao
solu coes da equacao de Euler (como na se cao 1.2.3).
1.1.3 Identidade de Beltrami
Quando a funcao f no funcional integral (2.18) nao depende explicitamente
da variavel independente x, e possvel reduzir a equacao de Euler-Lagrange `a
seguinte identidade, descoberta por Beltrami em 1868:
f y
x
f
y
x
= C = constante. (1.15)
Para deduzir essa identidade, consideremos primeiramente a derivada total
da funcao f(y, y
x
, x):
df
dx
=
f
y
dy
dx
+
f
y
x
dy
x
dx
+
f
x
=
f
y
y
x
+
f
y
x
y
xx
+
f
x
,
onde podemos isolar
f
y
y
x
=
df
dx

f
y
x
y
xx

f
x
. (1.16)
Multiplicando a equacao de Euler (1.14) por y
x
obtemos
y
x
f
y
y
x
d
dx
_
f
y
x
_
= 0. (1.17)
Substituindo (1.16) em (1.17),
df
dx

f
y
x
y
xx

f
x
y
x
d
dx
_
f
y
x
_
= 0. (1.18)
Como
d
dx
_
y
x
f
y
x
_
= y
xx
f
y
x
+ y
x
d
dx
_
f
y
x
_
, (1.19)
a expressao (1.18) fornece, apos um pequeno rearranjo, uma forma alternativa
da equacao de Euler:

f
x
+
d
dx
_
f y
x
f
y
x
_
= 0. (1.20)
1.2. APLICAC

OES DA EQUAC

AO DE EULER 9
Caso f nao dependa explicitamente de x, ent ao
f
x
= 0 e (1.20) reduz-se a
d
dx
_
f y
x
f
y
x
_
= 0. (1.21)
que, por integra cao, nos leva `a identidade de Beltrami (1.15).
1.2 Aplicacoes da equacao de Euler
1.2.1 Menor distancia entre dois pontos
O elemento de comprimento de um arco no plano e dado por
ds =

dr dr =
_
dx
2
+ dy
2
= dx

1 +
_
dy
dx
_
2
= dx
_
1 + y
2
x
, (1.22)
de tal sorte que o comprimento total de uma curva plana ligando os pontos de
coordenadas (x
1
, y
1
) e (x
2
, y
2
) e
L =
_
2
1
ds =
_
x
2
x
1
dx
_
1 + y
2
x
, (1.23)
na forma de um funcional integral.
Desejamos encontrar a curva ligando os pontos 1 e 2 tal que o seu compri-
mento L seja mnimo. Do ponto de vista do calculo variacional, isso implica
em achar y(x) tal que a integral L seja estacion aria (um mnimo, na verdade,
mas essa e uma quest ao posterior), ou seja, resolver a equacao de Euler (1.14)
correspondente para f =
_
1 + y
2
x
. Como f nao depende explicitamente de y,
d
dx
_
y
x
_
1 + y
2
x
_
= 0
y
x
_
1 + y
2
x
= C
y
x
=
_
1
1 C
2
a,
onde a e uma outra constante.
A equacao diferencial dy/dx = a e elementar e fornece a solu cao geral
y(x) = ax + b, onde b e uma constante de integra cao. Como a curva y(x) deve
passar pelos pontos (x
1
, y
1
) e (x
2
, y
2
), as constantes a e b s ao determinadas pela
resolucao do seguinte sistema de equacoes lineares
ax
1
+ b = y
1
,
ax
2
+ b = y
2
,
isto e,
a =
y
1
y
2
x
1
x
2
, (1.24)
b =
y
2
x
1
y
1
x
2
x
1
x
2
. (1.25)
10 CAP

ITULO 1. EQUAC

AO DE EULER
A solu cao y(x) = ax + b representa um segmento de reta entre dois pontos.
Em geral, curvas que fornecem a menor distancia entre dois pontos sobre uma
superfcie s ao chamadas geodesicas dessa superfcie. Numa superfcie esferica,
por exemplo, a geodesica entre dois pontos e o menor arco de crculo maximo (o
centro coincide com o centro da esfera) que conecta estes pontos. Na relatividade
geral, o espaco-tempo quadridimensional e curvo, e a geodesica generaliza a
nocao de linha reta para este espaco. Uma partcula livre, na relatividade geral,
sempre move-se ao longo de uma geodesica do espaco-tempo curvo.
Prova de que o extremo e um mnimo
Observe que, rigorosamente falando, s o mostramos que a curva
y(x) =
_
y
1
y
2
x
1
x
2
_
x +
_
y
2
x
1
y
1
x
2
x
1
x
2
_
(1.26)
tem um comprimento estacion ario, ou seja, pode ser um maximo, mnimo ou
ponto de inexao. Para mostrar que o comprimento L e, de fato, um mnimo, e
necessario realizar um calculo mais elaborado. Vamos considerar o comprimento
de uma curva nao-otima (quando ,= 0):
L[y(x, )] =
_
x
2
x
1
dx
_
1 + y
2
x
, (1.27)
onde y
x
= y
x
(x, ), e comparar com o comprimento da curva otima (1.26):
L[y(x, 0)] =
_
x
2
x
1
dx
_
1 + y
2
x0
, (1.28)
Pela parametriza cao dada por (1.2), diferenciando em rela cao a x temos que
y
x
= y
x0
+
x
(1.29)
Substituindo (1.29) em (1.27) nos computamos a diferenca
L = L[y(x, )] L[y(x, 0)]
=
_
x
2
x
1
dx
_
_
1 + (y
x0
+
x
)
2

_
1 + y
2
x0
_
onde y
x0
= a. Usando o teorema binomial nos expandimos o integrando acima
em potencias do par ametro . Apos um calculo tedioso obtemos
L = I
1
+
2
I
2
+ . . .
onde
I
1
=
a
2

1 + a
2
[(x
2
) (x
1
)] = 0
e
I
2
=
1
8
3a
2
+ 4
(1 + a
2
)
3/2
. .
0
_
x
2
x
1

2
x
dx
. .
0
0
donde L 0, ou L[y(x, )] L[y(x, 0)], a igualdade s o valendo para o caso
onde = 0. Em geral, L[y(x, )] sera sempre maior do que L[y(x, 0)], onde o
ultimo e, de fato, um mnimo.
1.2. APLICAC

OES DA EQUAC

AO DE EULER 11
x
y
0
x
y
1
2
Figura 1.2: A braquistocrona.
1.2.2 Braquist ocrona
O problema da braquistocrona consiste em achar a trajet oria pela qual uma
partcula deslizando a partir do repouso, sem atrito, e acelerada unicamente
pela gravidade, vai de um ponto a outro (num plano vertical) no menor tempo
possvel. Ele foi formulado pela primeira vez por Johann Bernoulli em 1696, sob
a forma de um desao lancado aos maiores matematicos do seu tempo. Cinco
deles enviaram suas solu coes: Newton, Jacob Bernoulli (irmao de Johann), Leib-
nitz, LH opital, alem do proprio Johann Bernoulli. Todos eles, usando diferentes
metodos geometricos, encontraram corretamente a curva como sendo um arco de
cicloide. Os metodos usados pelos irmaos Bernoulli para resolver o problema da
braquistocrona e assemelhados levaram, anos apos, Euler e Lagrange a criarem
o calculo variacional.
Por simplicidade, vamos supor que a partcula de massa m parta do repouso
da origem 1 : (0, 0) e deslize sem atrito pela curva y(x) ate chegar ao ponto
2 : (x, y). O tempo necessario para percorrer o caminho ligando esses pontos e
t
12
=
_
2
1
ds
v
, (1.30)
onde ds e o elemento de arco dado por (1.22). Para achar a velocidade v
como funcao da eleva cao y podemos usar conserva cao de energia, o que fornece
v =

2gy. Substituindo em (1.30) teremos o funcional integral


t
12
=
_
x
0

1 + y
2
x
2gy
dx. (1.31)
Desejamos achar a forma da curva y(x) para a qual, dados os pontos xos
1 e 2, o tempo de percurso e mnimo. Este e um problema variacional para o
qual a solu cao e obtida resolvendo-se a equacao de Euler (1.14) para a funcao
f(y, y
x
) = (1 + y
2
x
)
1/2
(2gy)
1/2
. Como ela nao depende explicitamente de x
12 CAP

ITULO 1. EQUAC

AO DE EULER
podemos usar, alternativamente, a identidade de Beltrami (1.15):
f y
x
f
y
x
= y
2
x
(1 + y
2
x
)
1/2
(2gy)
1/2
+ (1 + y
2
x
)
1/2
(2gy)
1/2
C = (2gy)
1/2
(1 + y
2
x
)
1/2
_
y
2
x
+ (1 + y
2
x
)

= (2gy)
1/2
(1 + y
2
x
)
1/2
.
Quadrando ambos os membros obtemos a seguinte equacao diferencial
y(1 + y
2
x
) =
1
2gC
2
k
2
, (1.32)
onde k e uma nova constante. Isolando dx e tomando apenas o sinal positivo
para a raiz quadrada, obtemos
dx =
_
y
k
2
y
dy. (1.33)
Vamos introduzir um par ametro 0 < 2 atraves da seguinte substituicao
trigonometrica
y() =
k
2
2
(1 cos ) = k
2
sin
2
_

2
_
, (1.34)
que, substituida em (1.33), e apos algumas simplica coes, fornece
dx = k
2
sin
2
_

2
_
d (1.35)
tal que a outra coordenada pode ser encontrada, sob a forma parametrica, por
integra cao dessa expressao
x =
_
dx = k
2
_
sin
2
_

2
_
d =
k
2
2
( sin ) + k
2
1
, (1.36)
onde k
2
1
e uma nova constante de integra cao, que se anula pela condi cao de
contorno y(0) = 0. A braquistocrona, ent ao, e determinada pelas seguintes
equacoes parametricas:
x() =
k
2
2
( sin ), (1.37)
y() =
k
2
2
(1 cos ), (1.38)
que s ao as equacoes de uma cicloide.
A cicloide e a curva tracada por um ponto xo num crculo de raio a = k
2
/2
que rola sem deslizar por uma linha reta. Podemos interpretar o par ametro
como o angulo que o raio vetor do ponto xo faz com um raio vetor de
referencia. Num ciclo completo, portanto, o par ametro vai de zero a 2. Ela
foi estudada primeiramente por Galileu em 1599, que tentou achar a sua area
experimentalmente (!) cortando e pesando peda cos de metal. A area sob a curva
apos um ciclo completo, dada por 3a
2
, foi encontrada por Torricelli, Fermat e
Descartes usando metodos geometricos. O comprimento de um ciclo completo
da cicloide e 8a.
1.2. APLICAC

OES DA EQUAC

AO DE EULER 13
y
x 0
y
y
x
x
y
ds
2
1
1
2
Figura 1.3: Superfcies de revolucao de area mnima.
A braquistocrona tem uma outra propriedade notavel, e aparentemente pa-
radoxal: uma partcula colocada em qualquer posicao (nao necessariamente a
origem), vai alcancar o ponto nal no mesmo tempo, ou seja, t
12
, alem de ser
mnimo, independe da posicao inicial (ver o Problema 2)! Por esse motivo a
cicloide e tambem uma taut ocrona. Essa propriedade foi descoberta por 1673
por Huyghens, que a utilizou no (tambem sua inven cao) rel ogio de pendulo.
Para garantir o isocronismo das suas oscilacoes, ele adaptou no ponto de sus-
pensao do pendulo duas guias na forma de arcos de cicloide, o que fez com que o
proprio pendulo oscilasse nao em arcos de crculo (aproximadamente isocronos),
mas em arcos de cicloide (isocronos), o que melhorou bastante a precis ao do
rel ogio.
1.2.3 Superfcies de revolucao e lmes de sabao
O problema consiste em encontrar a curva que liga os pontos (x
1
, y
1
) e (x
2
, y
2
)
que, ao ser girada em torno do eixo das abscissas, fornece uma superfcie de
revolucao de mnima area [Fig. 1.3]. Imaginando que os pontos 1 e 2, ao serem
girados, geram dois crculos de raios y
1
e y
2
, respectivamente, isso equivale a
perguntar qual a superfcie de mnima area limitada por esses dois aros circula-
res.
Sob esse ultimo ponto de vista, o problema das superfcies de revolucao
tem uma aplica cao fsica muito interessante. Filmes lquidos de sab ao tem uma
energia livre de Gibbs F proporcional `a area A da sua superfcie: F =
f
A, onde

f
e o coeciente de tensao supercial do lquido. Se o lme de sab ao estiver
em equilbrio termodin amico, a energia livre de Gibbs deve ser mnima. Como

f
s o depende da temperatura do lquido, se esta e constante, ent ao o lme de
sab ao em equilbrio deve sempre ter uma congura cao que minimiza a sua area
supercial. Este e o famoso problema de Plateau, nomeado em homenagem ao
fsico frances que primeiro estudou este e outros problemas relacionados.
A superfcie de revolucao gerada pela rotacao do arco de curva plana y(x)
ligando os pontos (x
1
, y
1
) e (x
2
, y
2
) em torno do eixo x tem um elemento de
area
dA = (2y)(ds) = 2y
_
1 + y
2
x
dx, (1.39)
14 CAP

ITULO 1. EQUAC

AO DE EULER
onde usamos (1.22). A area total da superfcie sera, portanto, o funcional inte-
gral
A = 2
_
x
2
x
1
y
_
1 + y
2
x
dx, (1.40)
que se pretende minimizar.
Como o integrando f = y
_
1 + y
2
x
nao depende explicitamente de x podemos
usar a identidade de Beltrami (1.15) no lugar da equacao de Euler (1.14):
f y
x
f
y
x
= y
_
1 + y
2
x

yy
2
x
_
1 + y
2
x
= a = const. (1.41)
Multiplicando por
_
1 + y
2
x
obtemos
y(1 + y
2
x
) y
2
x
y = y = a
_
1 + y
2
x
.
Isolando y
2
x
nessa expressao teremos
dx
dy
=
1
y
x
=
a
_
y
2
a
2
. (1.42)
A equacao diferencial acima pode ser imediatamente integrada:
x = a
_
dy
_
y
2
a
2
= a cosh
1
_
y
a
_
+ b (1.43)
onde b e uma constante de integra cao. Invertendo temos a equacao da curva
procurada
y(x) = a cosh
_
x b
a
_
, (1.44)
denominada catenaria na literatura. As constantes a e b s ao determinadas
implicitamente pelas coordenadas dos pontos xos
y
1
= a cosh
_
x
1
b
a
_
, y
2
= a cosh
_
x
2
b
a
_
, (1.45)
A superfcie de revolucao gerada pela caten aria e chamada de caten oide, e seria
tambem obtida se a rotacao fosse feita em torno do eixo das ordenadas, ao inves
das abscissas (Problema 3). Foi Euler quem, em 1744, mostrou que a caten oide
e uma superfcie de mnima area.
Outras solucoes do problema
Ocorre que a caten oide nao e a unica solu cao do problema. Para simplicar
os calculos, vamos supor que x
1
= x
2
= x
0
e y
1
= y
2
= y
0
, ou seja, a
superfcie mnima encontra dois arcos circulares de raio y
0
simetricamente postos
em rela cao `a origem. A equacao da caten aria sera, portanto,
y(x) = a cosh
_
x
a
_
, (1.46)
onde a constante e dada pela solu cao da equacao transcendente
a =
y
0
cosh(x
0
/a)
, (1.47)
1.2. APLICAC

OES DA EQUAC

AO DE EULER 15
x
y
0
x
x
o
o
y
o
y
o
Figura 1.4: Superfcies de revolucao de area mnima.
Figura 1.5: Solucoes do problema de area mnima
[http://mathworld.wolfram.com/SurfaceofRevolution.html]
Como os valores de x
0
, e y
0
est ao amarrados pela condi cao (1.47), nao
podemos especica-los de uma forma arbitraria. Disso decorre que a solu cao
(1.46) nao e vericada para todos os valores de x
0
e y
0
. Para mostrar esse fato,
vamos encontrar o valor maximo da raz ao x
0
/y
0
para o qual (1.47) e satisfeita.
Fazendo p = 1/a essa condi cao e reescrita como
py
0
= cosh(px
0
). (1.48)
Diferenciando em rela cao a p ambos os membros
y
0
= sinh(px
0
)
_
x
0
+ p
dx
0
dp
_
(1.49)
Denotando o valor maximo de x
0
por x

0
, temos a condi cao de maximo
dx
0
dp

x
0
=x

0
= 0
16 CAP

ITULO 1. EQUAC

AO DE EULER

r
R
R
r
o

1
2
Figura 1.6: T unel em uma esfera.
tal que (1.49) que
y
0
= x

o
sinh(px

0
). (1.50)
Pondo x

0
em (1.48) e dividindo as equacoes membro a membro chegamos `a
equacao transcendente
px

0
= coth(px

0
), (1.51)
que tem apenas uma solu cao positiva, que pode ser obtida (numericamente)
como px

0
1, 2. De (1.48) e (1.50) teremos que
x

0
y
0
= csch1, 2 0, 663 (1.52)
donde para (x
0
/y
0
) > 0, 66 a caten oide nao e a solu cao do problema da superfcie
mnima. H a uma outra solu cao para o problema da superfcie mnima, devida a
Goldschmidt, que nao e obtida pelo calculo variacional, e e composta por dois
lmes circulares em cada aro [Fig. 1.5]. Como a solu cao de Goldschmidt e
descontnua, ela nao satisfaz a equacao de Euler (1.41). Para (x
0
/y
0
) > 0, 66
apenas as solu coes de Goldschmidt podem existir. Podemos encarar a situacao
da seguinte forma: quando os crculos est ao sucientemente afastados entre si,
a solu cao do tipo caten oide torna-se instavel, isto e, o lme de sab ao se rompe.
1.2.4 T unel em uma esfera
Um problema similar, porem mais difcil do que o da braquistocrona consiste
em encontrar a trajet oria de menor tempo de percurso para um t unel escavado
1.2. APLICAC

OES DA EQUAC

AO DE EULER 17
numa esfera homogenea de massa M e raio R, para o qual o campo gravitacional
nao e uniforme. Usando a Lei de Gauss para a gravitacao, e facil mostrar que
a energia potencial gravitacional para uma partcula de massa m situada `a
distancia r do centro da esfera e
U(r) =
mg
0
r
2
2R
, (1.53)
onde g
0
= GM/R
2
e a aceleracao da gravidade na superfcie da esfera (r = R),
e G e a constante Newtoniana.
Suponha que a partcula parta do repouso de um ponto 1 na superfcie da
esfera. Usando conserva cao de energia mec anica, o tempo necessario para ir do
ponto 1 ate um ponto 2 situado a uma distancia r do centro da esfera e [Figura
1.6]:
t
12
=
_
2
1
ds
_
g
0
R
_
1
r
2
R
2
_
(1.54)
Introduzindo coordenadas polares (r, ) o elemento de arco (1.22) e escrito como
ds =
_
r
2
+ r
2

d, (1.55)
de modo que o funcional a ser minimizado e
t
12
=

R
g
0
_

2

r
2

+ r
2
R
2
r
2
d. (1.56)
Como o integrando nao depende explicitamente de , podemos usar a iden-
tidade de Beltrami (1.15) para obter
r
2
=
_
g
0
R
C
_
(R
2
r
2
)(r
2

+ r
2
)

1/2
(1.57)
onde podemos exprimir a constante de integra cao C em termos de r
0
, que e a
distancia maxima aproximacao ao centro da esfera. Por simetria, r = r
0
deve
ser o ponto medio de uma trajet oria ligando dois pontos sobre a superfcie da
esfera, e onde a tangente `a trajet oria e perpendicular ao raio. Dessa forma
podemos aplicar em (1.57) a condi cao de que r

= 0 em r = r
0
,
r
2
0
=
_
g
0
R
C
_
(R
2
r
2
0
)r
2
0

1/2
(1.58)
Dividindo (1.57) e (1.58) membro a membro obtemos a seguinte equacao
diferencial
r

=
rR
r
0

r
2
r
2
0
R
2
r
2
, (1.59)
que pode ser integrada analiticamente fornecendo
(r) = arctan
_
_
R
r
0

r
2
r
2
0
R
2
r
2
_
_

r
0
R
arctan

r
2
r
2
0
R
2
r
2
, (1.60)
18 CAP

ITULO 1. EQUAC

AO DE EULER
onde (r
0
) = 0 corresponde ao ponto de maxima aproximacao. O angulo cen-
tral subtendido pelos dois pontos na superfcie da esfera pode ser encontrado
impondo r = R em (1.60), fornecendo
2 =
_
1
r
0
R
_
. (1.61)
Denindo um par ametro t pela rela cao
tan(t) =

r
2
r
2
0
R
2
r
2
, (1.62)
a equacao (1.60) da trajet oria que minimiza o tempo de percurso e
(t) = arctan
_
R
r
0
tan t
_

r
0
R
t. (1.63)
Fazendo uma transformacao trigonometrica podemos reescreve-la como
r
2
(t) =
1
2
(R
2
+ r
2
0
)
1
2
(R
2
r
2
0
) cos(2t). (1.64)
de modo que (1.62) e (1.64) s ao as equacoes parametricas da trajet oria, a qual e
uma hipocicloide, que e a curva produzida por um ponto xo P sobre um crculo
de raio b que rola sem deslizar pelo interior de um crculo de raio a > b.
Para calcular analiticamente o tempo (mnimo) de percurso entre dois pontos
quaisquer substituimos (1.59) em (1.56)
t
12
=

R
g
0
_
r
2
r
1
dr

R
2
r
2

R
2
(r
2
r
2
0
) + r
2
0
(R
2
r
2
)
R
2
(r
2
r
2
0
)
=
_
1
Rg
0
(R
2
r
2
0
)
1/2
_
r
r
0
r(R
2
r
2
)
1/2
(r
2
r
2
0
)
1/2
dr
=
1
2
(Rg
0
)
1/2
(R
2
r
2
0
)
1/2
arccos
_
R
2
+ r
2
0
2r
2
R
2
r
2
0
_
(1.65)
onde supusemos que, em t = 0, a partcula esteja no ponto de maior aproximacao
do centro da esfera (r
1
,
1
) = (r
0
, 0).
Supondo, ainda, que a partcula suba o t unel ate chegar na superfcie da
esfera em (r
2
,
2
) = (R, ) no tempo t = , de (1.65)
=
1
2
(Rg
0
)
1/2
(R
2
r
2
0
)
1/2
arccos
_
r
2
0
R
2
R
2
r
2
0
_
. .
=arccos(1)=
=

2

R
2
r
2
0
Rg
0
, (1.66)
Finalmente, por simetria o tempo total de percurso entre dois pontos na su-
perfcie sera
T = 2 =

R
2
r
2
0
Rg
0
=
_
1
_
r
0
R
_
2
T
0
, (1.67)
onde
T
0

R
g
0
(1.68)
1.3. UMA VARI

AVEL INDEPENDENTE E V

ARIAS DEPENDENTES 19
e o tempo de percurso para uma trajet oria que passe pelo centro da esfera, isto
e, com r
0
= 0, conectando dois pontos antipodais na sua superfcie. Em geral,
os tempos de transito para todas as cordas s ao identicos, sendo o diametro a
maior corda possvel na esfera, evidentemente, Para uma hipocicloide, porem,
na medida em que r
0
0, ent ao T T
0
, signicando que o tempo de percurso
por uma hipocicloide e sempre menor do que o tempo de percurso pela corda
que une os dois pontos.
Como um exemplo numerico, supondo que a Terra seja uma esfera perfeita
onde R = 6370km e g
0
= 9, 8m/s
2
, temos que T
0
= 2, 53 10
3
s = 42, 2min.
Para uma trajet oria (num hipotetico t unel) onde r
0
= R/2, o tempo de per-
curso sera T = 0, 0625T
0
= 2, 64min. Esse valor e espantosamente baixo, con-
siderando que, como o angulo central subtendendo os pontos inicial e nal e,
de (1.61), = /4, um calculo simples mostra que a corda ligando esses dois
pontos mede R

2 = 9008km, e que a profundidade maxima de um t unel ao


longo da corda seria h = R(1 cos ) = 1865km. Alem disso, a distancia entre
esses pontos ao longo da superfcie e s = R/4 = 5000km.
Este problema tem uma historia curiosa. Em 1888 Collignon apresentou
perante o Congresso da Associa cao Francesa para o Avanco da Ciencia um
trabalho com o ttulo De Paris ao Rio de Janeiro em 42 minutos e 11 segundos
(provavelmente referindo-se a um hipotetico t unel ao longo da corda ligando as
duas cidades). De fato, na decada de 1930 especulou-se muito sobre esse tipo de
possibilidade, naturalmente limitada por v arios fatores tecnologicos. Na decada
de 1960 esse problema foi objeto de v arios artigos [7, 8].
1.3 Uma variavel independente e varias depen-
dentes
1.3.1 Equa coes de Euler
Para generalizar o problema variacional nos consideraremos uma funcao de n
variaveis y
i
, i = 1, 2, . . . n, todas elas dependentes de x:
f = f(y
1
(x), y
2
(x), . . . y
n
(x); x),
e o funcional integral que desejamos tornar estacion ario
J =
_
x
2
x
1
f(y
1
, y
2
, . . . y
n
; y
1x
, y
2x
, . . . y
nx
; x)dx, (1.69)
onde y
ix
= dy
i
/dx.
Como antes, consideramos uma innidade de caminhos possveis ligando os
pontos xos em x = x
1
e x = x
2
, parametrizados por , tal que = 0 represente
o caminho otimo para cada variavel dependente
y
i
(x, ) = y
i
(x, 0) +
i
(x), (1.70)
onde
i
(x) representam as deforma coes continuamente diferenciaveis para cada
i = 1, 2, . . . n, e que s ao independentes entre si, anulando-se nos extremos:

i
(x
1
) =
i
(x
2
) = 0.
20 CAP

ITULO 1. EQUAC

AO DE EULER
Diferenciando o funcional (1.69) em rela cao a teremos
J

=
_
x
2
x
1
f

=
_
x
2
x
1
dx
n

i=1
_
f
y
i
y
i

+
f
y
ix
y
ix

_
=
n

i=1
_
x
2
x
1
dx
_
f
y
i

i
+
f
y
ix

ix
_
(1.71)
onde usamos o teorema de Schwartz para escrever
y
ix

dy
i
dx
=
d
dx
=
y
i

=
d
i
dx
=
ix
. (1.72)
Integrando por partes a parcela
_
x
2
x
1
f
y
ix
d
i
dx
dx =
f
y
ix

x
2
x
1
. .
=0

_
x
2
x
1

i
d
dx
_
f
y
ix
_
dx (1.73)
e impondo que o funcional integral sera estacion ario se estivermos no caminho
otimo entre os pontos xos
_
J

_
=0
= 0. (1.74)
chegamos a
n

i=1
_
x
2
x
1
dx
i
_
f
y
i

d
dx
_
f
y
ix
__
= 0 (1.75)
Como os
i
s ao todos mutuamente independentes, para que a condi cao acima
subsista para quaisquer deforma coes, cada termo entre os colchetes deve anular-
se identicamente, fornecendo uma equacao de Euler para cada variavel depen-
dente em separado:
f
y
i

d
dx
_
f
y
ix
_
= 0, (i = 1, 2, . . . n) (1.76)
1.3.2 Propaga cao da luz e o princpio de Fermat
De acordo com o princpio de Fermat, proposto originalmente em 1662, os raios
luminosos ligando dois pontos dados, propagam-se ao longo de trajet orias tais
que o caminho otimo e estacion ario (pode ser um mnimo, maximo ou ponto de
inexao). O caminho otico e denido como o produto da distancia geometrica
d entre dois pontos pelo ndice de refra cao n da luz nesse meio: se o meio e
homogeneo e isotr opico, ent ao = nd. Em geral, porem, teremos que
=
_
C
n(s)ds,
onde s parametriza um caminho C entre dois pontos - e a distancia medida ao
longo de C a partir de um ponto de referencia. Ondice de refracao de um meio
1.3. UMA VARI

AVEL INDEPENDENTE E V

ARIAS DEPENDENTES 21
e a raz ao entre a velocidade da luz no v acuo c e a velocidade da luz v nesse meio.
Ent ao, o princpio de Fermat, na sua forma mais geral, atesta que a integral
c
_
2
1
ds
v
= c
_
2
1

r
2
v
dt (1.77)
e estacion aria para o caminho percorrido pela luz num meio, onde escrevemos
ds = [dr[ =

dr dr.
Se o meio e inomogeneo, ent ao n depende de r. Mas, se o meio for ho-
mogeneo porem anisotr opico (como em um cristal, por exemplo), n, assim como
v, dependera da direcao de propaga cao, ou seja, de r. Numa situacao destas, a
integral estacion aria sera
_
2
1

r
2
v( r)
dt. (1.78)
onde t e a variavel independente e as componentes do vetor posicao s ao as
variaveis dependentes.
A trajet oria da luz r(t) sera, portanto, a solu cao da Equa cao de Euler corres-
pondente ao integrando f =

r
2
/v( r), o que implica em tres equacoes escalares.
Por exemplo,
f
x
..
=0

d
dt
f
x
= 0,
f
x
= C
x
, (1.79)
e assim por diante. Denindo um vetor de constantes C = (C
x
, C
y
, C
z
), o
integrando de (1.78) sera dado por
f( r) = C r +C
1
onde C
1
e um vetor de constantes de integra cao. Como f, por outro lado,
nao pode depender explicitamente de r, isso implica em que f deva ser uma
constante. Isso s o e compatvel com a solu cao da equacao de Euler acima, se
r(t) = C
1
t +C
2
,
ou seja, a luz propaga-se ao longo de linhas retas.
Refracao da luz
O princpio de Fermat pode ser usado, no ambito da otica geometrica, para
deduzir as leis da reexao e da refra cao da luz. Vamos considerar a refracao
da luz pela interface de dois meios com ndices de refra cao n
1
e n
2
(supostos
homogeneos e isotr opicos). Os dois pontos xos tem coordenadas (x
1
, y
1
) e
(x
2
, y
2
). Pela discussao precedente vimos que, em cada meio, a trajet oria da luz
dever a ser uma linha reta. O caminho otico total entre os pontos 1 e 2 e
=
1
+
2
= n
1
_
(x
1
x
0
)
2
+ y
2
1
+ n
2
_
(x
2
x
0
)
2
+ y
2
2
, (1.80)
onde (x
0
, 0) s ao as coordenadas do ponto na interface entre os dois meios.
As trajet orias da luz em cada meio minimizam o caminho otico, o que pode
ser obtido achando o mnimo de em rela cao a x
0
:

x
0
= n
1
_
_
2(x
0
x
1
)(+1)
2
_
(x
1
x
0
)
2
+ y
2
1
_
_
+ n
2
_
_
2(x
2
x
0
)(1)
2
_
(x
2
x
0
)
2
+ y
2
2
_
_
= 0
n
1
sin
1
n
2
sin
2
= 0 (1.81)
22 CAP

ITULO 1. EQUAC

AO DE EULER
que e a lei de Snell da refra cao, onde
1
e
2
s ao os angulos que os raios incidente
e refratado, respectivamente, em rela cao `a normal `a interface no ponto (x
0
, 0).
Observe que essa solu cao em si nao e diferenciavel nesse ponto, ent ao ela nao
pode ser considerada, rigorosamente, uma solu cao da Equa cao de Euler.
Buraco negro
Um buraco negro e uma singularidade cosmologica. Na superfcie de um buraco
negro, chamada horizonte de eventos, a forca gravitacional e t ao intensa que
a velocidade da luz e nula, de tal sorte que a luz e aprisionada. Pr oximo ao
horizonte de eventos de um buraco negro, a velocidade da luz cresce proporcio-
nalmente `a distancia y em rela cao a ele, na forma v(y) = y/b, onde b > 0, tal
que v(0) = 0. Nessa situacao a velocidade da luz depende da posicao e o meio
nao pode mais ser considerado homogeneo nem isotr opico.
O princpio de Fermat (1.77), nesse caso, impoe que
_
2
1
ds
v
=
_
x
2
x
1
_
1 + y
2
x
y/b
dx
seja um extremo para a trajet oria da luz. Como o integrando nao depende da
variavel independente (note que, agora, a variavel independente e x, e nao t!),
podemos usar a identidade de Beltrami (1.15)
f y
x
f
y
x
= C
_
1 + y
2
x
y
y
x
2y
x
2
_
1 + y
2
x
=
dx
dy
=
1
_
1
C
2
y
2
1
,
cuja solu cao e
x + C
1
=
_
1
C
2
y
2
, (1.82)
onde C
1
e uma constante de integra cao. Quadrando a expressao acima chegamos
`a equacao de uma circunferencia de raio 1/C e centro no ponto de coordenadas
(C
1
, 0).
A trajet oria da luz nas proximidades do horizonte de eventos de um buraco
negro e um arco de circunferencia, compatvel com a ideia de que a luz nao
pode escapar do buraco negro. Um fenomeno semelhante ocorre quando ha
um aquecimento desigual do ar proximo `a superfcie. Como o ndice de refracao
do ar depende da temperatura local do ar, a nao-uniformidade da velocidade
da luz leva, assim como no caso do buraco negro, a uma pequena curvatura
dos raios de luz proximo `a superfcie do mar ou do gelo. Esse fenomeno leva ao
aparecimento de um certo tipo de miragem conhecido como fata morgana, carac-
terizada pelo aparecimento de imagens bastante distorcidas de objetos situados
proximo ao horizonte como ilhas ou navios, que parecem utuar (a famosa lenda
do holandes voador e baseada nesse tipo de miragem).
1.3. UMA VARI

AVEL INDEPENDENTE E V

ARIAS DEPENDENTES 23
1.3.3 Princpio de Hamilton
Uma das consequencias mais importantes dos metodos variacionais para a fsica
foi a constru cao, feita por Lagrange, de uma nova formulacao para a mec anica
Newtoniana, a partir do princpio de mnima a cao de Maupertuis, e nalmente
consolidada em 1788 com a publica cao de sua obra Mecanique Analytique. Nesse
formalismo, a variavel independente e o tempo t e trabalhamos com as coorde-
nadas generalizadas de um sistema q
i
, i = 1, 2, . . . n e as respectivas velocidades
generalizadas q
i
= q
it
= dq
i
/dt. Uma partcula no espaco, por exemplo, pode ter
como coordenadas generalizadas as componentes do seu vetor posicao: q
1
= x,
q
2
= y, e q
3
= z; mas outras escolhas s ao possveis.
A energia cinetica e, em geral, uma funcao das velocidades generalizadas,
enquanto a energia potencial usualmente depende das coordenadas generaliza-
das e/ou do tempo. Neste formalismo ocupa papel central a Lagrangeana do
sistema, igual `a diferenca entre as energias cinetica e potencial L(q
i
, q
i
, t). O
princpio variacional (de Hamilton) da mec anica diz que a trajet oria de um sis-
tema entre dois pontos xos em t = t
1
e t = t
2
, e aquela que torna estacion aria
a seguinte integral de a cao
J =
_
t
2
t
1
L(q
i
, q
i
, t)dt, (1.83)
que e um problema variacional com uma variavel independente e n dependentes,
e que implica resolvermos n equacoes de Euler da forma (1.76):
L
q
i

d
dt
_
L
q
i
_
= 0, (i = 1, 2, . . . n) (1.84)
chamadas, no presente contexto, de equacoes de Lagrange.
Partcula num campo de forcas conservativas
Um problema fundamental em din amica consiste no movimento de uma partcula
de massa m no espaco tridimensional, sujeita a uma energia potencial V (x, y, z)
conhecida, a partir da qual podemos obter uma forca conservativa como F =
V . As coordenadas generalizadas serao x, y, z e as velocidades generalizadas
x, y, z, com as quais formamos a energia cinetica
K =
1
2
m
_
x
2
+ y
2
+ z
2
_
,
tal que a Lagrangeana sera
L(x, y, z; x, y, z) = K V =
1
2
m
_
x
2
+ y
2
+ z
2
_
V (x, y, z).
As equacoes de Lagrange (1.84) serao
L
x

d
dt
_
L
x
_
=
dV
dx

d
dt
(m x) = F
x
m x = 0, (1.85)
L
y

d
dt
_
L
y
_
=
dV
dy

d
dt
(m y) = F
y
m y = 0, (1.86)
L
z

d
dt
_
L
z
_
=
dV
dz

d
dt
(m z) = F
x
m z = 0, (1.87)
24 CAP

ITULO 1. EQUAC

AO DE EULER

z
vertical
y
x
linha nodal
centro de massa
Mg
Figura 1.7: Pi ao simetrico pesado.
ou seja, nada mais do que as tres componentes da equacao Newtoniana do
movimento F = mr.
Piao simetrico pesado
Um piao que executa uma rotacao uniforme em torno de um eixo de simetria
que passa tanto pelo seu centro de massa como pelo seu ponto xo de apoio
pode ser descrito por apenas tres coordenadas generalizadas, que s ao os tres
angulos de Euler. Considerando o eixo de simetria o eixo z xo no corpo, esses
angulos s ao [Fig. 1.7]:
q
1
= : mede a inclinacao do eixo z do corpo em rela cao ao eixo vertical
xo no espaco;
q
2
= : mede o azimute do piao em rela cao `a vertical
q
3
= : e o angulo de rotacao do piao em rela cao ao seu eixo de simetria.
As velocidades generalizadas correspondentes s ao
q
1
=

: velocidade de nutacao, ou seja, a rapidez da oscilacao do eixo de
simetria z do piao em rela cao ao eixo vertical xo no espaco;
q
2
=

: velocidade de precessao, que e a rapidez da rotacao do eixo de
simetria z do piao em torno do eixo vertical xo no espaco;
q
3
=

: velocidade de rotacao do piao em rela cao ao seu eixo z de simetria.
A energia cinetica de rotacao do piao e dada, em geral, por
K =
1
2
I
1

2
1
+
1
2
I
2

2
2
+
1
2
I
3

2
3
,
1.3. UMA VARI

AVEL INDEPENDENTE E V

ARIAS DEPENDENTES 25
onde I
1
, I
2
e I
3
s ao os valores principais do tensor de inercia do piao, que denem
eixos principais do espaco, e para os quais as as componentes correspondentes
da velocidade angular de rotacao s ao
1
,
2
e
3
, respectivamente. A rela cao
entre elas e as velocidades generalizadas e dada por [veja [2], Cap. 4, Sec. 4.9]:

1
=

sin sin +

cos , (1.88)

2
=

sin cos

sin , (1.89)

3
=

cos +

(1.90)
Sendo o piao simetrico, temos que I
1
= I
2
,= I
3
. Combinando essa in-
formacao com as equacoes acima, obtemos para a energia cinetica do piao:
K(q
i
, q
i
) =
I
1
2
_

2
+

2
sin
2

_
+
I
3
2
_

+

cos
_
2
(1.91)
Alem disso, denotando por a distancia entre o centro de massa do piao de
massa M e o ponto de apoio, a sua energia potencial gravitacional e
V (q
1
) = Mgz = Mg cos , (1.92)
de modo que a Lagrangeana e
L =
I
1
2
_

2
+

2
sin
2

_
+
I
3
2
_

+

cos
_
2
Mg cos , (1.93)
As equacoes de Lagrange serao
L


d
dt
_
L

_
= I
1

2
sin cos I
3

sin (

+

cos ) I
1

= 0, (1.94)
L


d
dt
_
L

_
=
d
dt
_
I
3
_

+

cos
__
= 0, (1.95)
L


d
dt
_
L

_
=
d
dt
_
I
1

sin
2
+ I
3
cos
_

+

cos
__
= 0, (1.96)
De (1.95) e (1.96) obtemos, imediatamente, que
I
3
_

+

cos
_
= a, (1.97)
I
1

sin
2
+ a cos = b, (1.98)
onde a e b s ao constantes de integra cao.
Podemos isolar

em (1.98) e substituir em (1.97), isolando, por sua vez,

. Ao substituir ambas as derivadas em (1.94) podemos obter uma equacao da


forma

= F(), onde F e uma funcao complicada de , apenas. Entretanto,
nao e possvel efetuar a quadratura que fornece como funcao do tempo, o
que poderia fornecer posteriormente (t) e (t). Ao inves de tentar resolver
diretamente as equacoes de movimento, usualmente estudamos o problema do
piao pesado simetrico usando a equacao da energia do sistema para obter um
problema unidimensional reduzido. Detalhes desse procedimento podem ser
encontrados em [2], Cap. 5, Sec. 5.7.
26 CAP

ITULO 1. EQUAC

AO DE EULER
1.4 Uma variavel dependente e varias variaveis
independentes
1.4.1 Equacao de Euler
Seja y uma variavel dependente e n variaveis independentes x
1
, x
2
, x
n
. A de-
rivada de y em rela cao a cada uma delas sera denotada y
j
= y/x
j
. Neste caso
nao deve haver confusao com a nota cao correspondente quando houver v arias
variaveis dependentes. Os pontos xos em rela cao a cada variavel independente
serao indicados por (x
(1)
1
, x
(2)
1
), (x
(1)
2
, x
(2)
2
). . ., (x
(1)
n
, x
(2)
n
). Para evitar uma so-
brecarga in util na nota cao, indicaremos estes pontos xos simplesmente por 1 e
2, cando subentendido seu signicado quando do seu emprego.
Dessa forma, a funcao f(y, y
j
, x
j
) e o integrando do funcional que se quer
tornar estacion ario
J =
_
2
1
dx
1
_
2
1
dx
1

_
2
1
dx
n
f(y, y
j
, x
j
) (1.99)
O problema variacional sera, pois, o de encontrar a funcao de n variaveis
y(x
1
, x
2
, . . . x
n
) para a qual J = 0, considerados os pontos xos, onde o smbolo
de variacao e denido como
J =
_
J

_
=0
d, (1.100)
com o auxlio do par ametro variacional .
A parametriza cao a ser introduzida e a mesma dos casos anteriores, ou seja,
y(x
j
, ) = y(x
j
.0) + (x
j
) (1.101)
onde y(x
j
, 0) indica o caminho que torna J um extremo e e uma funcao
diferenciavel e que se anula nos pontos xos: (1) = (2) = 0.
Diferenciando o funcional (1.99) em rela cao a
J

=
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n
f

=
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n
_
_
f
y
y

+
n

j=1
f
y
j
y
j

_
_
=
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n
_
_
f
y
+
n

j=1
f
y
j

j
_
_
=
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n
f
y
+ (1.102)
+
n

j=1
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
j
f
y
j

j
. .
=I
_
2
1
dx
j+1

_
2
1
dx
n
Integrando por partes o fator J na expressao acima temos
_
2
1
dx
j
f
y
j

j
=
_
2
1
f
y
j

x
j
dx
j
=

x
j

2
1
. .
=0

_
2
1

d
dx
j
_
f
y
j
_
dx
j
1.4. UMAVARI

AVEL DEPENDENTE E V

ARIAS VARI

AVEIS INDEPENDENTES27
tal que
J

_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n
f
y
+
+
n

j=1
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n

d
dx
j
_
f
y
j
_
dx
j
=
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n

_
_
f
y

n

j=1
d
dx
j
_
f
y
j
_
_
_
.
Calculando a derivada de J ao longo do caminho otimo
_
J

_
=0
=
_
2
1
dx
1
_
2
1
dx
2

_
2
1
dx
n

_
_
f
y
i

j=1
d
dx
j
_
f
y
j
_
_
_
. .
=0
= 0
(1.103)
para (x
j
) arbitrarioss, o que nos leva `a equacao de Euler para v arias variaveis
dependentes
f
y

n

j=1
d
dx
j
_
f
y
j
_
= 0 (1.104)
1.4.2 Equa cao de Laplace
Do eletromagnetismo, sabemos que a densidade de energia num campo eletrico
no v acuo E e dada por
u =
1
2

0
E
2
(1.105)
Se o campo for eletrostatico, pode ser escrito como menos o gradiente de um
potencial E = , tal que
u(x, y, z) =
1
2

0
[[
2
(1.106)
Consideremos um paraleleppedo de arestas x
2
x
2
, y
2
y
1
, e z
2
z
1
.
Se impusermos que a energia eletrostatica encerrada numa regi ao fechada de
volume V seja mnima, isso equivale a achar um extremo do funcional
J =
_
V
d
3
r[[
2
=
_
x
2
x
1
dx
_
y
2
y
1
dy
_
z
2
z
1
dz (
2
x
+
2
y
+
2
z
)
. .
f
, (1.107)
onde
x
= /x, etc.
De (1.104), o potencial que satisfaz essa condi cao e a solu cao de
f

..
=0

d
dx
f

x
..
=2
x

d
dy
f

y
..
=2
y

d
dz
f

z
..
=2
z
= 0,
2(
xx
+
yy
+
zz
) = 0,
que e a equacao de Laplace
2
= 0.
28 CAP

ITULO 1. EQUAC

AO DE EULER
1.5 Varias variaveis independentes e dependen-
tes
A generalizacao nal do problema variacional consiste em consideraremos uma
funcao de n variaveis dependentes y
i
, i = 1, 2, . . . n, e n variaveis independentes
x
j
, j = 1, 2, . . . n, bem como das respectivas n
2
derivadas jacobianas y
ij

dy
i
/dx
j
:
f = f(y
1
, . . . u
n
; y
11
, . . . y
nn
; x
1
, . . . x
n
),
que e o integrando de um funcional integral n-dimensional, sendo os pontos xos
(x
(1)
1
, x
(2)
1
), . . ., (x
(1)
n
, x
(2)
n
):
J =
_
x
(2)
1
x
(1)
1
dx
1
_
x
(2)
2
x
(1)
2
dx
2

_
x
(2)
n
x
(1)
n
dx
n
f(y
i
, y
ij
, x
j
). (1.108)
O problema variacional consiste em encontrar as n funcoes y
i
(x
j
) para
as quais J e estacion aria, ou J = 0. O desenvolvimento matematico dessa
condi cao e semelhante ao efetuado no caso anterior, com a diferenca que nos
consideramos agora n variaveis dependentes, e cada uma delas devera satisfazer
uma equacao de Euler. Caso as variaveis x
j
sejam independentes entre si, a
funcao f deve satisfazer o seguinte conjunto de n equacoes de Euler:
f
y
i

j=1

x
j
_
f
y
ij
_
= 0. (i = 1, 2, . . . n) (1.109)
Esta situacao bastante geral pode ocorrer em problemas variacionais com vnculos,
como se vera a seguir.
1.6 Problemas variacionais com vnculos

E comum que as variaveis x


j
nao sejam, de fato, independentes entre si, mas
sim estejam amarradas por alguma rela cao de vnculo. A existencia desses
vnculos leva `a introdu cao dos chamados multiplicadores de Lagrange. Antes
de abordar o problema variacional propriamente dito, vamos estudar esse pro-
blema sob o ponto de vista da determina cao de maximos e mnimos no calculo
diferencial.
1.6.1 Vnculos e multiplicadores de Lagrange
Considere uma funcao de tres variaveis independentes f(x, y, z). Se ela tem um
extremo, ent ao
df =
f
x
dx +
f
y
dy +
f
z
dz = 0, (1.110)
tal que e necessario e suciente que, para dx, dy e dz arbitrarios, tenhamos
f
x
=
f
y
=
f
z
= 0. (1.111)
1.6. PROBLEMAS VARIACIONAIS COM V

INCULOS 29
No entanto, se x, y e z estiverem amarrados por uma dada rela cao na
forma geral
(x, y, z) = 0,
dita vnculo, ent ao as variaveis nao s ao mais independentes entre si, pois
podemos, em princpio, exprimir uma delas, como z, em funcao das outras
duas: z = z(x, y), de modo que, ainda que dx e dy sejam arbitrarios, dz nao e
mais arbitrario. Logo, a condi cao (1.111) para que f tenha um extremo nao e
mais v alida, em geral.
Para contornar esse problema, observamos que, como d = 0, podemos
introduzir um escalar , dito multiplicador de Lagrange, tal que
df + d = 0. (1.112)
Aplicando diferenciais totais temos que a rela cao acima implica em
_
f
x
+

x
_
dx +
_
f
y
+

y
_
dy +
_
f
z
+

z
_
dz = 0 (1.113)
Ate agora o multiplicador de Lagrange e um escalar qualquer. No entanto,
nos o escolhemos de tal sorte que
f
z
+

z
= 0, (
z
,= 0) (1.114)
ja que, agora, dz nao e mais arbitraria devido ao vnculo. Logo
_
f
x
+

x
_
dx +
_
f
y
+

y
_
dy = 0 (1.115)
Lembremos, porem, que dx e dy ainda s ao arbitrarios, de modo que a igualdade
acima vale se e somente se
f
x
+

x
= 0, (1.116)
f
y
+

y
= 0. (1.117)
Logo, se as condi coes (1.116)-(1.114) forem satisfeitas, ent ao df = 0 e f e um
extremo. Por tabela, tambem podemos obter, se o quisermos, o multiplicador
de Lagrange (` as vezes isso nem e realmente necessario).
Podemos generalizar a presente discussao para um n umero n qualquer de
variaveis independentes (x
1
, x
2
, . . . x
n
) sujeitas a m vnculos, descritos pelas
equacoes

k
(x
1
, x
2
, . . . x
n
) = 0, (k = 1, 2, . . . m). (1.118)
Neste caso, as condi coes (1.116)-(1.114) s ao generalizadas na seguinte forma
f
x
i
+
m

k=1

k
x
i
= 0, (i = 1, 2, . . . n) (1.119)
que, tambem, determinam os m multiplicadores de Lagrange
k
, um para cada
vnculo do sistema.
30 CAP

ITULO 1. EQUAC

AO DE EULER
1.6.2 Exemplos de vnculos
O problema da lata de leite condensado
Um fabricante de leite condensado deseja produzir uma lata cilndrica de raio r
e altura h que acondicione um volume dado V
0
do seu produto:
V (r, h) = (r
2
)h = V
0
= constante. (1.120)
Em princpio, as variaveis r e h s ao independentes entre si, ou seja, se o fabri-
cante quiser uma lata mais estreita (r menor), ent ao ela devera ser necessaria-
mente mais alta (h maior), e vice-versa.
No entanto, para cada escolha que for feita de r e h a area S da superfcie
da lata sera diferente.
S(r, h) = (2r)h + 2(r
2
) (1.121)
Como o custo de fabricacao da lata e proporcional `a area da superfcie, o
fabricante naturalmente deseja minimizar a funcao S(r, h) sujeita ao vnculo
V (r, h) = V
0
. A condi cao de vnculo sera, ent ao
(r, h) = r
2
h V
0
= 0. (1.122)
Introduzindo o multiplicador de Lagrange teremos duas condi coes para
um extremo na forma (1.116)-(1.114), a saber:
S
r
+

r
= 2h + 4r + (2r)h = 0, (1.123)
S
h
+

h
= 2r + (r
2
) = 0 (1.124)
De (1.124) obtemos o multiplicador de Lagrange = 2/r que, substituido em
(1.123), fornece h = 2r, ou seja, o cilindro de menor area supercial, para um
dado volume, tem o diametro igual `a altura.
Eletron numa caixa tridimensional
Um problema elementar em mec anica quantica consiste em achar os nveis de
energia de uma partcula quanto-mec anica de massa m, como um eletron, dentro
de uma caixa de paredes impenetraveis, na forma de um paraleleppedo de
arestas a, b e c. A partir da equacao de Schrodinger independente do tempo,
com as condi coes de contorno apropriadas (a funcao de onda tem nos nas paredes
da caixa), pode-se mostrar que a energia do estado fundamental e dada por
E(a, b, c) =
h
2
8m
_
1
a
2
+
1
b
2
+
1
c
2
_
. (1.125)
Desejamos encontrar os valores de a, b e c que minimizam a energia do
eletron, sujeito ao vnculo de que o volume V
0
da caixa seja dado:
V (a, b, c) = abc = V
0
, (1.126)
de modo que a equacao de vnculo e
(a, b, c) = abc V
0
= 0 (1.127)
1.6. PROBLEMAS VARIACIONAIS COM V

INCULOS 31
correspondente a um multiplicador de Lagrange .
As condi coes de mnimo para a energia s ao, portanto
E
a
+

a
=
h
2
4ma
3
+ bc = 0, (1.128)
E
b
+

b
=
h
2
4mb
3
+ ac = 0, (1.129)
E
c
+

c
=
h
2
4mc
3
+ ab = 0. (1.130)
Multiplicando (1.128) por a, (1.129) por b, e (1.130) por c, chegamos `a
seguinte rela cao
abc =
h
2
4ma
3
=
h
2
4mb
3
=
h
2
4ma
3
,
que e identicamente satisfeita se a = b = c, ou seja, o paraleleppedo reduz-se a
um cubo de aresta a. O multiplicador de Lagrange e = h
2
/4ma
5
.
1.6.3 Equa coes de Euler com vnculos
Vamos retornar `a equacao de Euler (1.109) para v arias variaveis dependentes e
independentes, no caso em que haja m vnculos expresos pela forma geral

k
(y
1
, y
2
, . . . y
n
; x
1
, x
2
, . . . x
n
) = 0, (k = 1, 2, . . . m) (1.131)
de sorte que y
i
e x
i
nao s ao mais mutuamente independentes, como presu-
mimos ate agora. Assim como no caso dos problemas de extremos no calculo
usual, para cada equacao de vnculo introduzimos um multiplicador de Lagrange

k
(x
1
, . . . x
n
).
Multiplicando (1.131) pelos multiplicadores de Lagrange e integrando entre
os pontos xos 1 e 2 temos
_
2
1

k
(x
j
)
k
(y
i
, x
j
)dx
j
= 0, (1.132)
tal que a variacao correspondente seja tambem identicamente nula para cada
vnculo

_
2
1

k
(x
j
)
k
(y
i
, x
j
)dx
j
= 0, (k = 1, 2, . . . m). (1.133)
Por outro lado, sabemos que tambem e nula a variacao do funcional (1.108)

_
2
1
f(y
i
, y
ij
, x
j
)dx
j
= 0. (1.134)
Somando (1.134) e (1.133) para todos os m vnculos temos que

_
2
1
_
f(y
i
, y
ij
, x
j
) +
m

k=1

k
(x
j
)
k
(y
i
, x
j
)
_
. .
g(y
i
,y
ij
,x
j
)
dx
j
= 0, (1.135)
onde denimos
g(y
i
, y
ij
, x
j
) = f(y
i
, y
ij
, x
j
) +
m

k=1

k
(x
j
)
k
(y
i
, x
j
). (1.136)
32 CAP

ITULO 1. EQUAC

AO DE EULER
x
y
0
a
a
y(x)
Figura 1.8: O problema isoperimetrico.
Portanto, na presen ca dos vnculos, (1.135) implica em que precisamos sa-
tisfazer n equacoes de Euler do tipo (1.109) para a nova funcao (1.136):
g
y
i

j=1

x
j
_
g
y
ij
_
= 0. (i = 1, 2, . . . n) (1.137)
O problema isoperimetrico
Um dos mais famosos problemas variacionais com vnculo e o isoperimetrico,
tambem chamado problema de Dido: dentre todas as curvas de um dado
comprimento no semi-plano superior, ligando dois pontos xos 1 : (a, 0) e
2 : (a, 0), encontrar a curva que, juntamente com o intevalo [a, a], envolve a
maior area possvel [Figura 1.8].
A area sob a curva y(x)
A(y, x) =
_
a
a
ydx, (1.138)
e o funcional que se quer maximizar, entre os pontos xos, sujeito `a condi cao
de que o comprimento seja constante:
_
2
1
ds =
_
a
a
_
1 + y
2
x
dx = (1.139)
onde usamos (1.23).
Este vnculo leva-nos a introduzir um unico (m = 1) multiplicador de La-
grange , de modo que a condi cao de vnculo pode ser escrita na forma padrao
(1.132) desde que denamos
(y
x
) =
_
1 + y
2
x


2a
, (1.140)
assim como a funcao (1.136) e dada por
g = f + = y +
_
_
1 + y
2
x


2a
_
, (1.141)
1.6. PROBLEMAS VARIACIONAIS COM V

INCULOS 33
que satisfaz a equacao de Euler (1.137):
g
y

d
dx
_
g
y
x
_
= 0
1
d
dx
_
y
x
_
1 + y
2
x
_
=
d
dx
_
x
y
x
_
1 + y
2
x
_
= 0
y
x
_
1 + y
2
x
x = C = constante.
Isolando a derivada y
x
chegamos `a seguinte equacao diferencial
dy
dx
=
C + x
_

2
(C + x)
2
, (1.142)
que pode ser integrada fornecendo
(x + C)
2
+ (y + C
1
)
2
=
2
(1.143)
onde C
1
e uma constante de integra cao. Essa e a equacao de um crculo de raio
e com centro no ponto de coordenadas (C, C
1
). Os pontos xos (a, 0) e (a, 0)
devem pertencer a esse crculo. Como, por simetria, o centro do crculo deve
estar na origem (veja a Fig. 1.8), temos que C = C
1
= 0 e o raio do crculo e
= a, tal que a equacao do crculo seja simplesmente
x
2
+ y
2
= a
2
. (1.144)
O problema isoperimetrico tem uma historia curiosa, remontando `a Grecia
antiga, quando a Rainha Dido fundou a cidade de Cartago. Por motivos belico-
sos, Dido fez uma barganha com o senhor local, que concordou (ingenuamente)
em dar a ela tanta terra quanto ela pudesse envolver com um pelego de boi. A
esperta Rainha instruiu seus seguidores a cortar o pelego em tas muito nas
e at a-las uma `a outra, de modo que ela pode envolver uma area muito grande
de terra em frente ao Mar Mediterraneo, que tornou-se a cidade de Cartago.
Os gregos antigos ja sabiam que o arco de crculo era a solu cao do problema
isoperimetrico.
A catenaria
Uma corrente ou cabo pesado de comprimento C est a suspenso num plano
vertical entre os pontos de coordenadas 1 : (0, a) e 2 : (L, b) [Fig. 1.9], tal
que sua forma seja descrita pela funcao y(x), escolhida de forma a minimizar a
energia potencial. Seja = dm/ds a densidade de massa do cabo. A energia
potencial do cabo sera
V (y, y
x
) =
_
2
1
dV =
_
2
1
dmgy = g
_
2
1
yds, (1.145)
onde usamos (1.22), e usamos o smbolo g para representar a aceleracao da
gravidade, a m de que nao haja confusao notacional. Assim, o funcional que
desejamos minimizar e
J =
V
g
=
_
L
0
dxy
_
1 + y
2
x
, (1.146)
34 CAP

ITULO 1. EQUAC

AO DE EULER
x
y
0
L
a
b
Figura 1.9: Catenaria.
cujo integrando e f = y
_
1 + y
2
x
.
O vnculo nesse problema e que a corda e suposta inextensvel, de modo que
o seu comprimento seja constante
2
:
=
_
2
1
ds =
_
L
0
dx
_
1 + y
2
x
, (1.147)
que pode ser colocada na forma (1.132) desde que
(y
x
) =
_
1 + y
2
x


L
(1.148)
tal que, introduzindo o multiplicador de Lagrange, a expressao (1.136) ca
g = f + = (y + )
_
1 + y
2
x


L
. (1.149)
Como a funcao g nao depende explicitamente da variavel independente x po-
demos, ao inves da equacao de Euler (1.137), empregar a identidade de Beltrami
(1.15):
g y
x
g
y
= C = constante
(y + )
_
1 + y
2
x


L
y
x
(y + )
y
x
_
1 + y
2
x
=
Fazendo k CL+, um pouco de algebra mostra que a expressao anterior
reduz-se `a equacao diferencial
dy
dx
=
1
k
_
L
2
(y + )
2
k
2
(1.150)
2
Supondo que a densidade de massa seja constante ao longo do cabo, = M/, onde M e
a sua massa total.
1.6. PROBLEMAS VARIACIONAIS COM V

INCULOS 35
que tem como solu cao a equacao da caten aria
3
y(x) =
k
L
cosh
_
L(x + K)
k
_
(1.151)
onde K e uma nova constante de integra cao. O nome catenaria vem do latim
catena, que signica cadeia, ou corrente. Galileo, erroneamente, considerava
que a solu cao do problema seria uma par abola. Curiosamente, se uma par abola
rolar por uma reta, o foco da par abola descrever a uma caten aria. Em 1691 a
equacao da caten aria foi obtida independentemente por Leibniz, Huyghens e
Johann Bernoulli, em resposta a um desao (sempre ele!) de Jakob Bernoulli.
Vimos, anteriormente, que a caten aria tambem e a solu c ao do problema de
superfcies de revolucao de mnima area.
Na solu cao (1.151) temos, ao todo, tres constantes indeterminadas: C, K, e
o multiplicador de Lagrange (observe que nao foi necessario determinar o valor
de para resolver o problema!). Para determinar essas constantes, aplicamos
(1.151) aos pontos xos:
y(0) = a a + =
k
L
cosh
_
LK
k
_
, (1.152)
y(L) = b b + =
k
L
cosh
_
L(L + K)
k
_
, (1.153)
alem de usarmos novamente a condi cao de vnculo (1.147):
=
_
L
0
dx
_
1 + y
2
x
=
_
L
0
dxcosh
_
L(x + K)
k
_
,
L
k
= sinh
_
L(L + K)
k
_
sinh
_
LK
k
_
. (1.154)
O conjunto de equacoes (1.152)-(1.154) determina implicitamente as constantes
procuradas (lembrando que k = CL + ).
1.6.4 Problemas mecanicos com vnculos
O formalismo anteriormente descrito pode ser aplicado imediatamente a siste-
mas mec anicos onde ha m vnculos holonomicos, ou seja, vnculos cujas equacoes
podem ser escritos como

k
(q
1
, q
2
, . . . q
n
, t) = 0, (k = 1, 2, . . . m), (1.155)
onde q
i
s ao as coordenadas generalizadas. Por exemplo, o movimento plano de
uma partcula cuja trajet oria e restrita a um crculo de centro na origem e raio
R e caracterizado pelo seguinte vnculo holonomico:
x
2
+ y
2
= R
2
= q
2
1
+ q
2
2
R
2
= 0. (1.156)
Para cada equacao de vnculo associamos um multiplicador de Lagrange

k
(t), com os quais formamos o equivalente mec anico da funcao (1.136), que e
g(q
i
, q
i
, t) = L(q
i
, q
i
, t) +
m

k=1

k
(t)
k
(q
i
, t), (1.157)
3
Podemos fazer a integracao por meio da substituicao de variaveis L(y + ) = k cosh .
36 CAP

ITULO 1. EQUAC

AO DE EULER

r
x
lx
h

Figura 1.10: Aro rolando num plano inclinado.


que satisfaz a equacao de Euler-Lagrange na forma (1.137):
g
q
i

d
dt
_
g
q
i
_
= 0
L
q
i

k=1

k
(t)

k
(q
i
, t)
q
i

d
dt
_
L
q
i
_
= 0
que podemos reescrever, denindo
ki
=
k
/q
i
, como
d
dt
_
L
q
i
_

L
q
i
=
m

k=1

ki

k
. (1.158)
Por curiosidade, se a coordenada generalizada q
i
tiver dimensao de comprimento,
ent ao o produto
k

ki
representa a componente ao longo da direcao q
i
da forca
do rea cao correspondendo ao k-esimo vnculo.
Aro rolando num plano inclinado
Um problema classico de vnculo holonomico em din amica lagrangeana e o de
um aro de massa M e raio r rolando sem deslizar sobre um plano inclinado
de em rela cao `a horizontal. Podemos usar, como coordenadas generalizadas,
q
1
= x: distancia percorrida pelo aro sobre o plano inclinado, e q
2
= : angulo
de rotacao do aro em rela cao ao eixo que passa pelo seu centro de massa [Fig.
1.10]. A condi cao de vnculo impoe que o elemento de arco percorrido pelo aro
e o mesmo elemento de distancia ao longo do plano, ou seja rd = dx, que
podemos escrever como
(x, ) = r x = 0, (1.159)
Tiramos, ent ao, os coecientes de vnculo:

x
=

x
= 1,

= r, (1.160)
1.6. PROBLEMAS VARIACIONAIS COM V

INCULOS 37
ambos associados ao mesmo multiplicador de Lagrange .
A energia cinetica do aro e igual `a energia de transla cao do centro de massa
mais a energia cinetica de rotacao em torno do eixo que passa pelo centro de
massa
K( x,

) =
1
2
M x
2

1
2
I

2
, (1.161)
onde o momento de inercia do aro e I = Mr
2
. A energia potencial gravitacional
do centro de massa do aro e
U(x) = Mgh = Mg[( x) sin + r cos ], (1.162)
onde e o comprimento total do plano inclinado [Fig. 1.10]. Como o termo
Mgr cos e uma constante, ele pode ser ignorado, pois representa apenas um
fator constante aditivo na energia potencial (que, lembramos, e sempre denida
a menos de uma constante aditiva). Logo, a Lagrangeana e
L = K U =
1
2
M x
2

1
2
Mr
2

2
Mg( x) sin . (1.163)
H a duas equacoes de Euler-Lagrange da forma (1.158):
d
dt
_
L
x
_

L
x

x
= =
d
dt
(M x) Mg sin + = 0,
d
dt
_
L

= =
d
dt
(Mr
2

) r = 0.
Como r e constante, ent ao ha duas equacoes diferenciais a serem resolvidas
M x Mg sin = , (1.164)
Mr
2

= r. (1.165)
Da equacao de vnculo (1.159) x = r

que, substituido em (1.165), fornece


M x = . Pondo esse resultado em (1.164) temos que o multiplicador de La-
grange e
=
1
2
Mg sin , (1.166)
tal que a equacao do movimento sejam simplesmente
x =
g sin
2
K
1

=
g sin
2r
=
K
1
r
Supondo que, em t = 0, tenhamos as condi coes iniciais x(0) = 0, x(0) = 0
(aro no alto do plano inclinado em repouso) e (0) = 0,

(0) = 0 as equacoes
acima tem solu coes triviais
x(t) =
1
2
K
1
t
2
, (t) =
1
2
K
1
r
t
2
. (1.167)
Observe que o aro desce o plano inclindado rolando sem deslizar com aceleracao
K
1
, que e a metade da aceleracao que ele teria se deslizasse em rolar por um
plano sem atrito (como uma partcula, portanto). Logo, o atrito e respons avel
pelo rolamento do aro, e o multiplicador de Lagrange , que e a forca de vnculo
e, na verdade, a forca de atrito de rolamento.
38 CAP

ITULO 1. EQUAC

AO DE EULER
x
y
0
m
R

Figura 1.11: Conta deslizando sobre uma calota hemisferica.


Conta deslizando sobre uma calota
Vamos considerar uma calota hemisferica de raio R com centro na origem [Fig.
1.11] e uma conta de massa m que desliza sobre a mesma tal que sua posicao
pode ser especicada pelas coordenadas polares (r, ) (a conta pode deixar a
calota, de modo que r nao e constante), que serao as coordenadas generalizadas
do problema [[3], pg. 1068]. A Lagrangeana correspondente e
L(r, ; r,

) =
1
2
m( r
2
+ r
2

2
) mgr cos . (1.168)
Enquanto a conta est a deslizando sobre a calota, a condi c ao de vnculo e r = R,
ou (r) = r R = 0, de sorte que os coecientes de vnculo s ao

r
=

r
= 1,

= 0, (1.169)
As equacoes de Euler-Lagrange (1.158) s ao
d
dt
_
L
r
_

L
r

r
=
d
dt
(m r) mr

2
+ mg cos () = 0(1.170)
d
dt
_
L

=
d
dt
(mr
2

) mgr sin = 0 (1.171)
Enquanto a conta desliza sobre a calota r = R, portanto r = 0, de modo que
mR

2
+ mg cos () = 0 (1.172)
mR
2

mgRsin = 0 (1.173)
Derivando (1.172) em rela cao ao tempo
2mR

mg

sin =
d
d

(1.174)
e dividindo tudo por

obtemos

=
g sin
R
(1.175)
1.7. PROBLEMAS 39
que, substituido em (1.174), fornece por integra cao o multiplicador de Lagrange
() = 3mg cos + C (1.176)
onde C e uma constante de integra cao.
O multiplicador de Lagrange e a componente radial da forca de rea cao da
calota agindo sobre a conta. Quando a conta est a no alto da calota ( = 0) essa
forca e igual ao peso da conta mg. Portanto a constante de integra cao e dada
por C = (0) 3mg = 2mg, de forma que () = mg(3 cos 2). A partcula
permanecer a sobre a calota desde que () > 0, ou seja, ela deixar a a calota
quando cos = 2/3, que fornece o angulo crtico
c
= 48
o
11

.
1.7 Problemas
1. Encontre a fun c ao y(x) que torna a integral
J =
_
1
0
(2x + 3y + y
2
x
)dx
um extremo, com y(0) = y(1) = 1.
2. Mostre que o caminho no espaco tridimensional que fornece a menor dist ancia
entre dois pontos quaisquer e um segmento de reta unindo estes dois pontos.
3. Considere o problema da braquist ocrona, mas ao inves de uma partcula consi-
dere uma esfera de mesma massa e raio a rolando sem deslizar (mas com atrito
desprezvel). Ache a forma da trajetoria que minimiza o tempo de percurso.
4. Mostre que a cicl oide e uma taut ocrona, por meio dos seguintes passos:
(a) dt =
_
a/gd, onde a = k
2
/2;
(b) O tempo decorrido para uma partcula sem atrito se deslocar do ponto de
coordenadas (0, 0), ou seja, tal que = 0, ate o ponto mais baixo da trajetoria
(onde = , correspondendo a meio ciclo da cicl oide), e
T
12
=
_
a
g
;
(b) O tempo decorrido para uma partcula se deslocar do ponto generico (x
0
, y
0
),
ou seja, tal que =
0
, ate o ponto mais baixo da trajetoria, e
T
32
=
_
a
g
_

0
sin
_

2
_
_
cos
2
_

0
2
_
cos
2
_

2
_
d;
(c) Usando a substitui c ao de variavel u = cos(/2)/ cos(
0
/2), T
32
= T
12
, inde-
pendentemente do valor de
0
(ponto inicial).
5. Mostre que a superfcie mnima de revoluc ao tambem e uma catenoide mesmo
quando o eixo de rotac ao e y ao inves de x.
6. Estude a existencia das soluc oes de Goldschmidt para o problema da superfcie
mnima entre dois crculos de raio y
0
cujos centros tem coordenadas (x
0
, 0), por
meio das seguintes etapas [Veja http://mathworld.wolfram.com/SurfaceofRevolution.
html e [3], pgs. 1048 e 1049]:
40 CAP

ITULO 1. EQUAC

AO DE EULER
(a) Substituindo (1.46) em (1.40), mostre que a area da catenoide ser a
A = a
2
_
sinh
_
2x
0
a
_
+
2x
0
a
_
;
(b) Considere, por exemplo, o caso onde x
0
= 0, 5 e y
0
= 1, para o qual a
razao x
0
/y
0
= 0, 5 < 0, 663, portanto permitindo soluc oes do tipo catenoide,
de acordo com (1.52). Mostre gracamente que ha duas solucoes possveis:
a
1
= 0, 234 e a
2
= 0, 848, correspondendo a dois valores para a area da catenoide:
A
1
= 6, 845 e A
2
= 5, 992. Essas soluc oes s ao ditas curva profunda e curva
rasa, respectivamente, aludindo ao perl assumido pela catenoide.
(c) A area das soluc oes de Goldschmidt e A
G
= 2y
2
0
. Mostre que, se a area da
catenoide for igual a A
G
, vale a equa c ao transcendente (com u = py
0
= y
0
/a)
u
_
u
2
1 + cosh
1
u u
2
= 0,
que tem uma soluc ao positiva em u
0
= 1, 211. Usando esse resultado em (1.48)
mostre que
x
0
y
0
=
cosh
1
u
0
u
0
= 0, 528
de forma que se
(x
0
/y
0
) < 0, 528: s o ha a soluc ao do tipo catenoide com curva rasa (pois
A
2
e um mnimo absoluto);
0, 528 < (x
0
/y
0
) < 0, 663: a catenoide coexiste com a soluc ao de Goldsch-
midt (mas A
2
< A
G
, de modo que a catenoide com curva rasa torna-se
um mnimo relativo);
(x
0
/y
0
) > 0, 663: s o ha a soluc ao de Goldschmidt.
7. Alem da catenoide e da soluc ao de Goldschmidt, existe ainda uma terceira
soluc ao para o problema de superfcie mnima, consistindo de um disco de raio
r entre os aros e suportado por duas catenoides apoiadas em cada aro circular
[[3], pg. 1051].
(a) Mostre que r = c
1
cosh c
3
, onde c
1
e c
3
s ao constantes;
(b) Mostre que a area dessa terceira soluc ao e
c
2
1
_
sinh
_
2
_
x
0
c
1
+ c
3
__
+ [cosh
2
(c
3
) sinh(2c
3
)] + 2
x
0
c
1
_
que e maior do que a area de uma unica catenoide, mas e um mnimo relativo;
(c) Plateau prop os que lmes de sab ao sempre se conectam de tres em tres,
fazendo angulos de 120
o
entre as respectivas tangentes. Aplicando essa regra `a
conex ao entre as catenoides e o disco central, mostre que c
3
= sinh
1
(1/

3) =
0, 549, tal que cosh
2
(c
3
) sinh(2c
3
) = 0.
(d) Mostre que o valor m aximo da razao x
0
/y
0
para a ocorrencia dessa terceira
soluc ao e 0, 377.
8. A hipocicl oide e a curva produzida por um ponto xo P sobre um crculo de
raio b que rola sem deslizar pelo interior de um crculo de raio a > b. Sendo
o angulo de rotac ao para o segmento que une os centros dos dois crculos e o
ponto P, as equa c oes parametricas cartesianas da hipocicl oide s ao
x() = (ab) cos b cos
_
a b
b

_
, y() = (ab) sin +b sin
_
a b
b

_
,
Mostre que, em termos do problema do t unel numa esfera de raio a = R, o raio
do crculo menor e b = (R r
0
)/2 e que 2t = a/b.
1.7. PROBLEMAS 41
9. Considere uma partcula de massa m sob a a c ao de um potencial V (, , z)
em coordenadas cilndricas. Obtenha a Lagrangeana da partcula e escreva as
equa c oes de Lagrange.
10. O pendulo esferico consiste de uma massa m pendurada por um o de compri-
mento . A massa m e livre para mover-se no espaco, cuja posic ao e determinada
pelos seus angulos e (em coordenadas esfericas).
(a) Obtenha a Lagrangeana da partcula e escreva as equa c oes de Lagrange.
(b) Considere o caso particular em que o o do pendulo descreve um cone de
pequena abertura
0
. Mostre que

=
_
g/d, onde d = cos
0
e a dist ancia
vertical do plano de rotac ao abaixo do ponto de suspens ao.
(c) Suponha, agora, que o movimento e quase-c onico, ou seja, que =
0
+ ,
onde
0
. Expandindo a equa c ao de Lagrange em serie de potencias mostre
que
(t)
0
+
0
cos
_
t

0
_
1 + 3 cos
2

0
_
11. Na teoria dos reatores de ss ao nuclear um problema consiste em minimizar
o volume de um reator cilndrico de raio R e altura H sujeito a um vnculo
determinado pela teoria da difusao de neutrons:
_

01
R
_
2
+
_

H
_
2
= C = constante,
onde
01
= 2, 4048... e a menor raiz da fun c ao de Bessel J
0
(R). Ache a rela c ao
entre R e H.
12. Considere uma elipse de semi-eixos a e b, cuja equa c ao cartesiana e
_
x
a
_
2
+
_
y
b
_
2
= 1.
Obtenha o ret angulo inscrito nessa elipse cuja area seja a maior possvel. Mostre
que, para esse ret angulo m aximo, a area e 64% da area da elipse.
13. Resolva o problema isoperimetrico considerando que a curva e parametrizada
pela dist ancia s medida ao longo da curva, tal que as equa c oes parametricas da
curva sejam escritas como x = x(s) e y = y(s). A area a ser maximizada e
A =
_

0
y
dx
ds
ds
onde e o comprimento total da curva.
14. Um pendulo smples consiste de uma partcula de massa m suspensa por um
o leve e inextensvel de comprimento . Ache a Lagrangeana, a condic ao de
vnculo, e as equa c oes de Euler-Lagrange. Resolva essas equa c oes para o caso
de pequenas oscila c oes, e encontre a for ca de tens ao no o via multiplicadores
de Lagrange.
15. Uma partcula de massa m est a constrangida a mover-se ao longo de uma haste
sem atrito que gira com velocidade angular constante sobre um plano horizon-
tal. Ache a Lagrangeana, condic ao de vnculo, as equa c oes de Euler-Lagrange.
Obtenha a posic ao radial em fun c ao do tempo para as condi c oes iniciais r(0) = r
0
e r(0) = 0. Ache a for ca de vnculo exercida sobre a partcula pela haste.
42 CAP

ITULO 1. EQUAC

AO DE EULER
Captulo 2
Metodos variacionais
aplicados
2.1 Revisao sobre a equacao de Sturm-Liouville
A equacao de Sturm-Liouville tem a forma geral
d
dx
_
p(x)
dy
dx
_
s(x)y = r(x)y, (2.1)
onde y R, a x b, e as funcoes p(x), s(x) e r(x) (esta ultima denominada
funcao peso) assumem valores nao-negativos. Denindo o operador de Sturm-
Liouville
L
d
dx
_
p(x)
d
dx
_
s(x), (2.2)
reescrevemos a equacao (2.1) na forma compacta
L[y] = r(x)y. (2.3)
O operador de Sturm-Liouville e linear, ou seja, se y
1
e y
2
forem solu coes da
equacao (2.3), ent ao uma combinacao linear das mesmas tambem o sera:
L[c
1
y
1
+ c
2
y
2
] = c
1
L[y
1
] + c
2
L[y
2
]. (2.4)
Em consequencia, as solu coes da equacao (2.1) formam um espaco vetorial linear
real, que e munido de um produto interno denido por
< y
1
, y
2
>
_
b
a
y
1
(x)y
2
(x)dx. (2.5)
e duas solu coes s ao ortogonais se o produto interno entre elas for nulo: <
y
1
, y
2
>= 0.
A norma de uma solu cao y(x) e denida como
[[y(x)[[ =

< y, y >. (2.6)


43
44 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


Como desejamos que a norma das solu coes seja nita
_
b
a
[y(x)]
2
dx < , (2.7)
as solu coes y(x) devem ser funcoes de quadrado integral, de modo que o espaco
das funcoes e denotado L
2
[a, b]. Em geral, para funcoes complexas, esse espaco
e dito de Hilbert.
Para a discussao atual basta considerarmos condi coes de contorno de Diri-
chlet homogeneas:
y(a) = y(b) = 0 (2.8)
para as quais a equacao de Sturm-Liouville s o apresenta solu coes aceitaveis para
determinados valores de =
n
, denominados autovalores do operador (2.2).
A cada autovalor corresponde um e somente uma solu cao correspondente, dita
autofuncao
n
(x), e que satisfaz a equacao
L[
n
(x)] =
n
r(x)
n
(x). (2.9)
Pode-se mostrar que o operador de Sturm-Liouville e auto-adjunto, ou seja,
< L[y
1
], y
2
>=< y
1
, L[y
2
] > (2.10)
Em consequencia, os autovalores
n

n=1
s ao reais, e as autofuncoes
n
(x)

n=1
correspondentes a autovalores distintos s ao ortogonais em rela cao `a funcao peso:
<
n
, r(x)
j
>= 0 se i ,= j. Se supusermos, adicionamente, que as autofuncoes
s ao normalizadas (norma igual a um) ent ao temos a chamada condi cao de orto-
normalidade (em rela cao `a funcao peso r(x)):
_
b
a

i
(x)
j
(x)r(x)dx =
ij
. (2.11)
2.2 A equacao de Sturm-Liouville como um pro-
blema variacional
Vamos mostrar que, se y(x) e uma solu cao da equacao de Sturm-Liouville (2.1),
ent ao o funcional
K[y] =
_
b
a
_
p(x)y
2
x
+ s(x)y
2
r(x)y
2

dx (2.12)
e estacion ario. Logo, a equacao de Sturm-Liouville pode ser encarada como uma
equacao de Euler para a funcao
f(y, y
x
, x) p(x)y
2
x
+ s(x)y
2
r(x)y
2
(2.13)
De fato, abrindo o lado esquerdo da equacao de Euler (1.14):
f
y

d
dx
_
f
y
x
_
= 0
2sy 2ry
d
dx
(2py
x
) = 0
2.2. AEQUAC

AODE STURM-LIOUVILLE COMOUMPROBLEMAVARIACIONAL45
que, dividindo por 2, resulta na equacao de Sturm-Liouville (2.1), como queramos
demonstrar.
Integrando por partes a primeira parcela do integrando do funcional K,
temos que
_
b
a
py
2
x
dx =
_
b
a
py
x
..
=u
dy
dx
dx
. .
=dv
= py
x
y[
b
a

_
b
a
y
..
=v
d
dx
(py
x
)dx
. .
=du
(2.14)
Pelas condi coes de contorno (2.8) o primeiro termo do lado direito e nulo, pois
p(b)y
x
(b)y(b) p(a)y
x
(a)y(a) = 0 (2.15)
Logo, o funcional (2.12) ca
K[y] =
_
b
a
_

_
_

_
d
dx
(p(x)y
x
) sy
. .
=L[y]
_

_
y y(r(x)y)
_

_
(2.16)
que, usando a nota cao do produto interno (2.5), resulta em
K[y] = < y, L[y] > < y, r(x)y >= < y, L[y] > [[y[[
2
(2.17)
Essa forma para o funcional permite-nos encarar o problema de Sturm-
Liouville tambem sob a forma de um problema variacional com vnculos: achar
a funcao y(x) que torna estacion ario o funcional K[y] (sem restri coes) equivale
a tornar estacion ario o funcional
J[y] = < y, L[y] > (2.18)
sujeito `a condi cao de vnculo
N[y] =< y, r(x)y >= [[y[[
2
= constante, (2.19)
onde passa a ser, aqui, um multiplicador de Lagrange, desde que N/y ,= 0
ou N/x ,= 0.
Podemos, ainda, mostrar que, se y(x) satisfaz a equacao de Sturm-Liouville
sem o termo em :
d
dx
_
p(x)
dy
dx
_
s(x)y = 0 (2.20)
ent ao o funcional (2.18) nao s o e um extremo, como tambem e um mnimo. Para
mostrar esse fato, vamos supor uma funcao (x) suave e que satisfa ca as mesmas
condi coes de contorno de Dirichlet homogeneas da equacao de Sturm-Liouville:
(a) = (b) = 0, mas que nao seja uma solu cao ela propria.
Denimos a funcao
(x) (x) y(x) (2.21)
tal que
2
= ( + y)
2
=
2
+ 2y + y
2
e

2
x
= (
x
+ y
x
)
2
=
2
x
+ 2
x
y
x
+ y
2
x
,
46 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


donde (2.18) e
J[] =
_
b
a
(p
2
x
+ s
2
)dx
= [p(
2
+ 2y + y
2
) + s(
2
x
+ 2
x
y
x
+ y
2
x
)]dx
= 2
_
b
a
(p
x
y
x
+ sy)dx
. .
=I
+
_
b
a
(p
2
x
+ s
2
) + J[y].
A variacao no funcional sera, portanto, dada por
J J[] J[y] = 2I +
_
b
a
(p
2
x
+ s
2
)dx. (2.22)
Integrando por partes, e usando as condi coes de contorno, temos
_
b
a
py
x

x
dx = py
x
[
b
a
. .
=0

_
b
a

d
dx
(py
x
)dx (2.23)
donde
I =
_
b
a
_

d
dx
(py
x
) sy
_
dx =
_
b
a

_
d
dx
(py
x
) sy
_
. .
=0
dx = 0, (2.24)
em vista de (2.20).
Logo, subsituindo em (2.22),
J =
_
b
a
(p
2
x
+ s
2
)dx 0 (2.25)
ja que p(x) 0 e s(x) 0 para todo x [a, b]. Naturalmente J = 0 se e
somente se = 0, ou = y (isto e, se a funcao for mesmo uma solu cao da
equacao diferencial). Caso contrario ( ,= y) ent ao J > 0, ou J[] > J[y], de
forma que J tem um mnimo se y for a solu cao da equacao de Sturm-Liouville,
pois qualquer outra funcao que nao seja solu cao (mas que satisfa ca as mesmas
condi coes de contorno) resultar a num valor maior para o funcional J.
Em resumo, a solu cao da equacao de Sturm-Liouville L[y] = r(x)y com
condi coes de contorno homogeneas y(a) = y(b) = 0, e uma funcao que minimiza
o funcional J[y] = < y, L[y] >, sujeito ao vnculo de que a norma da solu cao
[[y(x)[[
2
seja constante. sera o multiplicador de Lagrange associado a esse
vnculo.
2.3 Autofun coes de L como funcoes de base
Na linguagem da algebra linear, um conjunto de vetores e completo se podemos
exprimir um vetor arbitrario como uma combinacao linear deles sem que falte
nem sobre nenhum vetor. Os vetores de um conjunto completo formam uma
base para o espaco vetorial. Por exemplo, no R
3
, o conjunto de versores

i,

j,

k
e completo, mas o conjunto

i,

j nao e, pois falta alguem.


2.3. AUTOFUNC

OES DE L COMO FUNC

OES DE BASE 47
Essa propriedade e razoavelmente facil de vericar em espacos de dimensao
nita, como o R
n
, mas como assegurar completeza num espaco de dimensao in-
nita, como o espaco das solu coes da equacao de Sturm-Liouville? Essa quest ao
est a longe de ser trivial, pois uma combinacao linear de um n umero innito de
vetores s o e um vetor do espaco se a serie innita correspondente convergir para
o respectivo vetor.
No caso da equacao de Sturm-Liouville, se o espaco vetorial das solu coes
y(x) tem uma base, ent ao existe um conjunto completo de funcoes
n
(x)

n=1
,
tal que y(x) possa ser expressa como uma superposicao linear das funcoes de
base
y(x) =

n=1
c
n

n
(x). (2.26)
onde c
n
=< y(x),
n
(x) > s ao os coecientes de Fourier generalizados.
A propriedade de completeza signica, nesse conexto, que a serie innita
acima converge no sentido de media quadr atica, ou seja,
lim
N
_
b
a

y(x)
N

n=1
c
n

n
(x)

2
dx = 0 (2.27)
de modo que
n
(x)

n=1
e dita uma sequencia de Cauchy.
No momento, as funcoes
n
(x)

n=1
satisfazem as condi coes de contorno
mas nao s ao necessariamente solu coes da equacao de Sturm-Liouville. O obje-
tivo dessa se cao e mostrar, atraves de metodos variacionais, que o conjunto de
autofuncoes do operador de Sturm-Liouville e completo no sentido acima, ou
seja, que as autofuncoes servem de base para o espaco das solu coes y(x).
Comecamos substituindo a serie innita (2.26) no funcional (2.18):
J[y] =
_

m=1
c
m

m
, L
_

n=1
c
n

n
__
=

m,n
c
m
c
n

m
, L[
n
] (2.28)
onde usamos a linearidade do operador de Sturm-Liouville. Denindo os coe-
cientes
A
mn
=
m
, L[
n
] =
_
b
a

m
_
d
dx
(p
nx
) + s
n
_
dx
=
_
b
a
(p
mx

nx
+ s
m

n
)dx (2.29)
onde integramos por partes para obter o resultado nal, e denotamos
nx
=
d
n
/dx, etc. Desta forma o funcional (2.28) pode ser escrito como uma expansao
bilinear nos coecientes c
n
.
J[y] =

m,n
A
mn
c
m
c
n
(2.30)
Fazendo a mesma na condi cao de vnculo (2.19) chegamos a nova expansao
bilinear
N[y] =

m,n
c
m
c
n

m
, r(x)
n
=

m,n
R
mn
c
m
c
n
, (2.31)
48 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


onde denimos
R
mn
=
m
, r(x)
n
=
_
b
a

m
r(x)
n
dx. (2.32)
Combinando (2.30) e (2.31) o funcional (2.17) e escrito como
K[y] = J[y] N[y] =

m,n
c
m
c
n
(A
mn
R
mn
). (2.33)
Sendo dado o conjunto completo de funcoes
n
(x)

n=1
, os coecientes A
mn
e R
mn
s ao conhecidos a priori, de forma que os valores estacion arios de K cam
determinados pelas condi coes variacionais
K
c
j
= 0, (j = 1, 2, . . .) (2.34)
Impondo essas condi coes na expansao bilinear (2.33)
K
c
j
=

m,n
(A
mn
R
mn
)(c
m

nj
+
mj
c
n
)
0 =

m
(A
mj
R
mj
)c
m
+

n
(A
jn
R
jn
)c
n
0 =

n
[(A
nj
+ A
jn
) (R
nj
+ R
jn
)]c
n
onde trocamos m por n, posto que s ao ndices mudos.
Pelas denicoes (2.29) e (2.32) e evidente que os coecientes s ao simetricos
mediante a troca dos ndices, de forma que, dividindo por 2, temos

n=1
(A
jn
R
jn
)c
n
= 0, (j = 1, 2, . . .) (2.35)
que e um sistema linear homogeneo com innitas equacoes.
Agora vamos supor que
n
(x)

n=1
sejam as autofuncoes do operador de
Sturm-Liouville, com as propriedades (2.9). Nesse caso, os coecientes serao
A
mn
=
n
<
m
, r
n
>=
n

mn
(2.36)
R
mn
= <
m
, r
n
>=
mn
(2.37)
onde usamos a ortonormalidade das autofuncoes (2.11). O sistema linear (2.35)
cara diagonalizado

n=1
(
n
)
jn
c
n
= (
j
)c
j
= 0, (j = 1, 2, . . .) (2.38)
Se quisermos solu coes nao-triviais para esse sistema, ou seja c
j
,= 0, ent ao

j
= 0 para todo j, de modo que =
j
: os multiplicadores de Lagrange
devem ser os autovalores do operador de Sturm-Liouville. Consequentemente,
o conjunto das autofuncoes e completo e pode ser usado como funcoes de base
para o espaco das solu coes.
2.4. O M

ETODO DE RAYLEIGH-RITZ 49
2.4 O metodo de Rayleigh-Ritz
Vimos anteriormente que, se escolhermos uma funcao arbitraria (x) no inter-
valo a x b que satisfa ca as condi coes de contorno (a) = (b) = 0, o
funcional de Sturm-Liouville L[] ter a um valor maior do que teria para uma
solu cao bona de da equacao de Sturm-Liouville. Esse importante resultado
e a base do metodo variacional de Rayleigh-Ritz, pelo qual podemos obter in-
formacoes relevantes sobre o problema de Sturm-Liouville sem precisar resolve-lo
diretamente. O metodo de Rayleigh-Ritz fornece solu coes aproximadas para o
problema, cuja exatid ao pode ser renada de forma a termos respostas t ao pre-
cisas quanto se queira. Por esse motivo, esse metodo e bastante usado em v arias
areas como ac ustica (campo onde foi originalmente proposto por Lord Rayleigh
em ), mec anica quantica, vibracoes mec anicas, analise numerica, entre outras.
N os partimos de um conjunto de N funcoes linearmente independentes

n
(x)
N
n=1
que satisfazem as condi coes de contorno do problema de Sturm-Liouville mas
nao sao autofuncoes de L, de modo que o que procuramos e uma solu cao apro-
ximada na forma de uma combinacao linear dessas funcoes
y(x) =
N

n=1
c
n

n
(x) (2.39)
Substituindo (2.39) no funcional (2.17) e repetindo as manipula coes algebricas
explicadas na se cao precedente obteremos que

K[ y] =

J[ y]


N[ y] =

m = 1
N

n = 1
N
c
m
c
n
(

A
mn


R
mn
), (2.40)
onde os chapeus foram colocados em todas as funcoes para denotar o car ater
aproximado da solu cao procurada:

A
mn
=
_

m
, L
_

n
__
(2.41)

R
mn
=
_

m
, r(x)

n
_
(2.42)
Aqui, como antes, a condi cao de que o funcional

K seja estacion ario implica
nas seguintes condi coes variacionais:


K
c
j
= 0, (j = 1, 2, . . . N) (2.43)
Substituindo (2.40) em (2.43) resultar a um sistema linear homogeneo porem
nito (ao inves de innito, como na se cao anterior), com N equacoes e N
incognitas, a saber, os coecientes c
j
:
N

n=1
(

A
jn


R
jn
) c
n
= 0, (j = 1, 2, . . . N) (2.44)
Se desejamos que este sistema tenha solu coes nao-triviaix, ou seja, que c
j
,=
0, ent ao o determinante dos coecientes deve ser nulo:
det(

A
jn


R
jn
) = 0, (2.45)
50 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


que e uma equacao algebrica de grau N. Pelo teorema fundamental da algebra,
teremos N razes reais ou complexas, que s ao os autovalores aproximados

n
(x)
N
n=1
.
Espera-se que este conjunto reproduza aproximadamente um certo n umero de
autovalores exatos do sistema
n
. Veremos, por meio de alguns exemplos, que se
as funcoes

n
(x) forem chutadas corretamente, ja com uma ou duas funcoes
e possvel obter excelentes aproximacoes para os autovalores.
2.4.1 Exemplos de aplicacao do metodo
Equa cao de Helmholtz unidimensional
A equacao de Helmholtz em uma dimensao [[1], pg. 575]
y
xx
+ y = 0, (1 x 1) (2.46)
e um caso particular da equacao de Sturm-Liouville para p(x) = 1, s(x) = 0 e
r(x) = 1, com a = 1 e b = 1. Supomos condi coes de contorno de Dirichlet
homogeneas y(1) = y(1) = 0.
Vamos inicialmente escolher uma unica funcao (N = 1):

1
(x) = 1 x
2
(2.47)
que satisfaz as condi coes de contorno

1
(1) = 0, de modo que a solu cao apro-
ximada e
y(x) = c
1

1
(x) = c(1 x
2
). (2.48)
O funcional (2.40) e, em vista de (2.12), dado por

K[ y] =
_
1
1
_
y
2
x

y
2
_
dx
=
_
1
1
_
4 cx
2

c
2
(1 x
2
)
2
_
dx
= c
2
_
8
3

16
15
_
(2.49)
Aplicando a condi cao variacional (2.43)


K
c
= 2 c
_
8
3

16
15
_
= 0, (2.50)
temos que

=
5
2
= 2, 5
Naturalmente esse problema tem uma solu cao exata, que e
y(x) = cos
_
x
2
_
que, derivada duas vezes, fornece
y
xx
=
_

2
_
2
cos
_
x
2
_
= y = cos
_
x
2
_
,
2.4. O M

ETODO DE RAYLEIGH-RITZ 51
-1 -0,5 0 0,5 1
x
0
0,2
0,4
0,6
0,8
1
y
(
x
)
exata
aproximada
Figura 2.1: Solucoes exata e aproximada da equacao (2.46).
que fornece o autovalor exato:
=

2
4
= 2, 467...
que resulta num erro relativo de apenas 1, 3%, um resultado surpreendente tendo
em vista que estamos aproximando a solu cao com apenas uma funcao. Natu-
ralmente isso ocorre pois a funcao que chutamos e, de fato, muito proxima `a
solu cao exata [Fig. 2.1].
Menor raiz da fun cao de Bessel com m = 3
Vamos considerar a equacao de Bessel com m = 3 [[1], pg. 576]
y
xx
+
1
x
y
x
+
_
k
2

3
2
x
2
_
y = 0, (0 x 1) (2.51)
com a condi cao de contorno que y(0) < e y(1) = 0. Ela tem a forma da
equacao de Sturm-Liouville se p(x) = x, s(x) = 9/x, r(x) = x, e = k
2
.
Sabemos, de Metodos I, que a solu cao de (2.51) que e regular (isto e, que
nao diverge) na origem e a funcao de Bessel de ordem m = 3:
y(x) = AJ
3
(kx). (2.52)
onde A e uma constante de integra cao. Impondo que y(1) = 0 temos que
AJ
3
(k) = 0. Se A ,= 0, ent ao J
3
(k) = 0, ou seja, k e uma raiz da funcao
de Bessel de ordem m = 3. As primeiras raizes de J
3
(k) s ao k
1
= 6, 380...,
k
2
= 9, 761..., k
3
= 13, 015.. e assim por diante [Fig. 2.2]. Logo a solu cao exata
correspondendo `a menor raiz da funcao de Bessel com m = 3 e
y(x) = AJ
3
(k
1
x) = AJ
3
(6, 380x).
52 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


0 2 4 6 8 10 12 14 16 18 20
0.3
0.2
0.1
0
0.1
0.2
0.3
0.4
0.5
x
J
3
(
x
)
Figura 2.2: Fun cao de Bessel de ordem m = 3.
Usamos o metodo de Rayleigh-Ritz empregando, como funcao tentativa,

1
(x) = x
3
(1 x) (2.53)
que satisfaz as condi coes de contorno, pois

1
(0) = 0 e

1
(1) = 0; de modo que
y = cx
3
(1 x) e montamos o funcional (2.49):

K[ y] =
_
1
0
_
p(x) y
2
x
+ s(x) y
2

k
2
r(x) y
2
_
dx
=
_
1
0
_
x y
2
x
+
9
x
y
2

k
2
r(x) y
2
_
dx
= c
2
_
1
0
_
x
_
9x
4
(1 x)
2
6x
5
(1 x) + x
6
_
+
9
x
[x
6
(1 x)
2

k
2
x
7
(1 x)
2
_
dx
= c
2
_
1
8

1
360

k
2
_
Aplicando a condi cao variacional

K/ c = 0 chegamos ao autovalor aproximado

k =

45 = 6, 708.... Comparando esse resultado com a menor raiz da funcao


de Bessel, que e 6, 380..., vemos que o erro cometido e de 5, 14%.
2.5 O metodo da razao no calculo variacional
A formulacao variacional para o problema de Sturm-Liouville, que foi estudada
na se cao anterior, pode ser generalizada de forma elegante para o problema da
raz ao entre dois funcionais lineares quaisquer num espaco vetorial apropriado.
Como veremos mais tarde, uma das aplica coes do metodo da raz ao e na esti-
mativa de nveis de energia em problemas de mec anica quantica. Inicialmente,
porem, vamos apresentar o formalismo geral, que impoe condi coes bastante am-
plas.
2.5. O M

ETODO DA RAZ

AO NO C

ALCULO VARIACIONAL 53
2.5.1 Calculo com o smbolo
Na se cao 1.1. nos introduzimos o smbolo denotando variacao do funcional
J[y] da seguinte forma:
J =
_
J

_
=0
d (2.54)
onde e um par ametro que rotula os v arios caminhos possveis que conectam
os pontos xos em rela cao aos quais consideramos o problema variacional. A
escolha = 0 corresponde ao caminho que torna o funcional J[y] estacion ario,
em rela cao a pequenas variacoes do argumento, tambem denidas como
y =
_
y

_
=0
d (2.55)
Embora nao seja uma diferencial autentica, ela satisfaz `as mesmas propri-
edades de calculo de uma diferencial, de forma que podemos realizar opera coes
elementares sobre funcionais, como
(c
1
J
1
+ c
2
J
2
) = c
1
J
1
+ c
2
J
2
, (2.56)
(J
1
J
2
) = (J
1
)J
2
+ J
1
(J
2
), (2.57)

_
J
1
J
2
_
=
J
2
(J
1
) J
1
(J
2
)
(J
2
)
2
. (2.58)
dentre outras, que podem ser demonstradas a partir da denicao (2.54). Por
exemplo,
(c
1
J
1
+ c
2
J
2
) =
_
(c
1
J
1
+ c
2
J
2
)

_
=0
d
= c
1
_
J
1

_
=0
d + c
2
_
J
2

_
=0
d
= c
1
J
1
+ c
2
J
2
,
e assim por diante.
2.5.2 Teoria geral
Vamos trabalhar com espacos vetoriais complexos, de dimensao nita ou (mais
geralmente) innita. Nesse espaco, sejam dois vetores quaisquer y e z, e um
escalar complexo a. Valem as seguintes propriedades para o produto interno:
< y, z >

=< z, y >;
< ay, z >= a

< y, z >;
< y, az >= a < y, z >
Sejam, ainda, dois operadores F e G agindo sobre vetores nesse espaco. Exigi-
mos as seguintes propriedades desses operadores
1. F e G devem ser lineares: sejam a e b dois escalares complexos, ent ao
F[ay + bz] = aF[y] + bF[z], G[ay + bz] = aG[y] + bG[z], (2.59)
54 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


2. F e G devem ser auto-adjuntos (ou hermitianos)
< F[y], z > = < y, F[z] >= < F[z], y >

, (2.60)
< G[y], z > = < y, G[z] >= < G[z], y >

, (2.61)
3. G deve ser positivo-denido
< y, G[y] > 0 (2.62)
sendo que a igualdade vale se e s o se y = 0
Teremos, ainda, oportunidade de trabalhar com a chamada equacao de au-
tovalores generalizada
F[y] = G[y] (2.63)
onde e um autovalor generalizado. Podemos mostrar que os autovalores, nas
condi coes acima citadas, s ao necessariamente reais. Para isso consideramos que
< y, F[y] >=< y, G[y] >= < y, G[y] > . (2.64)
Tomando o complexo conjugado dessa expressao e usando a propriedade do
produto interno < y, z >

=< z, y > temos que


< F[y], y >=

< G[y], y > . (2.65)


Usando a propriedade (2.60) podemos escrever
< y, F[y] >=

< y, G[y] > . (2.66)


Substraindo (2.66) de (2.64) resulta em
0 = (

) < y, G[y] >


. .
>0
, (2.67)
ja que y ,= 0. Logo =

, portanto e sempre real, como queramos demonstrar.


Se x e y forem funcoes denidas num certo intervalo I R, podemos cons-
truir funcionais sobre esse intervalo a partir dos produtos internos e dos opera-
dores acima denidos:
J[y] = < y, F[y] >=
_
I
y

(x)F[y(x)]dx, (2.68)
N[y] = < y, G[y] >=
_
I
y

(x)G[y(x)]dx, (2.69)
tal que podemos denir um novo funcional como a raz ao destes dois:
[y] =
J[y]
N[y]
. (2.70)
Caso as condi coes (2.59)-(2.62) valham para todas as funcoes do espaco em
quest ao, ent ao vale o seguinte teorema: o funcional [y] sera estacion ario para
pequenas variacoes do vetor y se e somente se y satiszer a equacao generali-
zada de autovalores 2.63, onde os autovalores s ao os valores estacion arios do
funcional [y]. Observe que, no enunciado, falamos numa condi cao de duplo
2.5. O M

ETODO DA RAZ

AO NO C

ALCULO VARIACIONAL 55
sentido: se e somente se. Isso signica que (2.63) implica em = 0 (condi cao
necessaria), tanto como = 0 implica em (2.63) (condi cao suciente) . Vamos
provar apenas a necessidade, deixando a segunda para o leitor como exerccio
[detalhes no [1], pg. 583].
Para mostrar que (2.63) implica em = 0 fazemos uma variacao innitesi-
mal de y:
y y + y
e computamos o efeito nos funcionais (2.68):
J[y + y] = < y + y, F[y + y] >=< y + y, F[y] + F[y] >= (2.71)
= < y, F[y] > +< y, F[y] >
. .
=<y,F[y]>

+ < y, F[y] > + < y, F[y] >


onde usamos as propriedades (2.59), (2.60) e (2.62), nessa ordem.
A variacao correspondente no funcional J e, usando (2.71),
J = J[y + y] J[y]
= < y, F[y] > +< y, F[y] >

+ < y, F[y] > + < y, F[y] > < y, F[y] >


= < y, F[y] >

+ < y, F[y] > + < y, F[y] > . (2.72)


Analogamente, para o funcional N,
N = < y, G[y] >

+ < y, G[y] > + < y, G[y] > . (2.73)


Usando (2.58) podemos calcular a variacao no funcional :
=
_
J
N
_
=
NJ JN
N
2
=
1
< y, G[y] >
2
_
< y, G[y] >
_
< y, F[y] >

+ < y, F[y] > + < y, F[y] >


_
< y, F[y] >
_
< y, G[y] >

+ < y, G[y] > + < y, G[y] >


_
Supondo, agora, que y satisfa ca a equacao de autovalores generalizada (2.63),
teremos
=
1
< y, G[y] >
2
_
< y, G[y] >
_

< y, G[y] >

+ < y, G[y] > + < y, G[y] >


_
< y, G[y] >
_
< y, G[y] >

+ < y, G[y] > + < y, G[y] >


_
Finalmente, usando o fato dos autovalores serem reais (o que provamos ha
pouco), observamos o cancelamento de todos os termos na expressao acima, de
forma que = 0, como queramos demonstrar. Juntamente com a implica cao
no sentido inverso, concluimos que a raz ao dos funcionais J[y] e N[y] e esta-
cionaria somente se for o autovalor correspondente `a equacao generalizada
(2.63).
O tratamento dado no incio deste captulo `a equacao de Sturm-Liouville
pode ser encarado como um caso particular deste teorema. Nesse caso especco,
F e o operador de Sturm-Liouville L[y] e G[y] = r(y)y, cuja raz ao e estacion aria
quando for o autovalor correspondente da equacao de Sturm-Liouville (2.3).
56 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


2.5.3 O metodo da razao na mecanica quantica
A equa cao de Schr odinger
A funcao de onda (x) e uma quantidade variavel que descreve matematica-
mente as caractersticas ondulatorias de uma partcula (Enciclopaedia Britta-
nica). A equacao de Schrodinger independente do tempo para uma partcula
quanto-mec anica de massa m movendo-se em uma dimensao sob a inuencia de
um potencial V (x) e


2
2m
d
2
dx
2
(x) + V (x)(x) = E(x), (2.74)
onde = h/2 = 1, 0545714810
34
m
2
.kg/s e a constante de Planck reduzida,
e E e a energia total da partcula.
A equacao de Schrodinger e linear. Como as funcoes de onda s ao, em geral,
complexas, elas pertencem a um espaco de funcoes complexas de quadrado in-
tegr avel, chamado espaco de Hilbert. Nesse espaco o produto interno e denido
como
1
<
1
[
2
(x) >=
_
b
a

1
(x)
2
(x)dx. (2.75)
Denindo o operador Hamiltoniano
H

2
2m
d
2
dx
2
+ V (x), (2.76)
a equacao de Schrodinger independente do tempo (2.74) pode ser reescrita como
2
H(x) = E(x), (2.77)
mostrando que, na verdade, (x) s ao as autofuncoes do operador hamiltoni-
ano, cujos autovalores correspondentes s ao os valores da energia E da partcula.
Impondo condi coes de contorno apropriadas ao problema quanto-mec anico, sa-
bemos que s o ha solu coes para determinados autovalores discretos da energia
E
n

n=1
(quantiza cao), correspondendo `as autofuncoes
n

n=1
.
O operador Hamiltoniano e auto-adjunto no espaco de Hilbert, tambem cha-
mado hermitiano, pois
< H
1
[
2
(x) >=<
1
[H
2
(x) > . (2.78)
Como consequencia, os autovalores de energia s ao reais, e as autofuncoes cor-
respondendo a autovalores distintos s ao ortogonais:
<
m
[
n
(x) >= N
mn
, (2.79)
onde N =<
n
[
n
(x) > e uma constante de normaliza cao.
Supondo, ainda, que o conjunto de autofuncoes
n

n=1
e completo, ele
pode ser usado como uma base para funcoes de onda no espaco de Hilbert, tal
que possamos escrever (postulado da expansao)
(x) =

n=1
c
n

n
(x), (2.80)
1
Usamos a nota cao bra(c)ket para o produto interno na mecanica quantica, imitando Dirac.
2
Tambem de acordo com o uso consagrado na mecanica quantica, escreveremos H ao
inves de H[].
2.5. O M

ETODO DA RAZ

AO NO C

ALCULO VARIACIONAL 57
onde os coecientes s ao dados por
c
n
=
< [
n
(x) >
<
n
[
n
(x) >
(2.81)
e, sicamente, s ao amplitudes de probabilidade para os autovalores de energia
correspondentes.
O metodo da razao aplicado `a equa cao de Schr odinger
As funcoes de onda de quadrado integr avel adaptam-se sem problemas aos re-
quisitos da teoria geral para a aplica cao do metodo da raz ao. Alem disso, o
operador Hamiltoniano e linear e auto-adjunto, e o operador identidade (de-
nido como I[] = ) e trivialmente linear, auto-adjunto e positivo-denido.
Nesse caso, os funcionais J e N serao, respectivamente, dados por
J[] = < [H >=
_
b
a

(x)H(x)dx =
_
b
a

(x)
_


2
2m
d
2

dx
2
+ V (x)(x)
_
dx (2.82)
N[] = < [ >=
_
b
a

(x)(x)dx. (2.83)
O funcional correspondente `a raz ao de J e N corresponde, na teoria da
mec anica quantica, ao valor esperado do operador hamiltoniano
< H > [] =
< [H >
< [ >
(2.84)
Se empregarmos uma autofuncao de energia
n
(x) o valor esperado e o proprio
autovalor, pois
< H > [
n
] =
<
n
[H
n
>
<
n
[
n
>
=
E
n
<
n
[
n
>
<
n
[
n
>
= E
n
(2.85)
Pelo teorema da se cao anterior, o valor esperado do Hamiltoniano e esta-
cionario ( < H >= 0) sob variacoes innitesimais da funcao de onda ().
Alem disso, esse valor esperado e, de fato, um mnimo [pode-se ver a prova
dessa arma cao em [4], pg. 313, por exemplo]. Portanto, usando uma outra
funcao

(x) que nao seja a autofuncao mas satisfa ca `as mesmas condi coes de
contorno, obteremos, em geral, um valor de < H > que e maior do que aquele
que seria obtido usando a autofuncao correta. Esta e a base do metodo variaci-
onal muito frequentemente usado em mec anica quantica, e bastante usado para
determinar a energia do estado fundamental de um sistema mesmo sem conhecer
as suas autofuncoes. Isso e particularmente importante quando a equacao de
Schrodinger nao tem solu cao analtica, o que e bastante frequente nas aplica coes
em fsica at omica e molecular.
Escolhemos uma funcao-tentativa

(x) (ou uma combinacao linear delas)
que satisfaz as mesmas condi coes de contorno do problema e depende de um ou
mais par ametros variacionais c
1
, c
2
, . . .. Computamos, ent ao, o valor esperado
do hamiltoniano para essa funcao tentativa
< H > [

] =
<

[H

>
<

[

>
(2.86)
58 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


V(x)
x a a
0
E
o
Figura 2.3: Po co de potencial quadrado innito.
que dever a tambem ser uma funcao dos par ametros c
1
, c
2
, . . .. N os tornamos
esse funcional estacion ario (na verdade, um mnimo) impondo as condi coes va-
riacionais
< H >
c
j
= 0, (j = 1, 2, . . .) (2.87)
que fornecem valores otimos que, substituidos em < H >, tornam este um
mnimo. Dessa forma < H > [

] e um limite superior para a energia do estado
fundamental, pois < H > [

] E
0
, a igualdade s o ocorrendo se a funcao-
tentativa for a propria autofuncao do estado fundamental.
Po co de potencial quadrado innito
Como um primeiro exemplo do metodo da raz ao na mec anica quantica, vamos
considerar uma caixa unidimensional de paredes innitamente rgidas tem um
potencial dado por [Fig. 2.3]
V (x) =
_
0, se a x a,
, se x a ou x a.
(2.88)
Como as paredes s ao impenetraveis, a funcao de onda do estado fundamental
deve ter nos nas paredes da caixa, ou seja, (a) = (a) = 0. Para a <
x < a o hamiltoniano de uma partcula de massa m e, simplesmente, H =

2
/2md
2
/dx
2
.
Usando a funcao-tentativa real

(x) = c(a
2
x
2
), (2.89)
onde c e o par ametro variacional, e que satisfaz as condi coes de contorno, pois

(a) = 0. Observe que nao e necessario normalizar a funcao tentativa, pois


nos dividiremos posteriormente pela sua norma, de qualquer jeito.
Uma vez que
d
2

dx
2
= 2c,
2.5. O M

ETODO DA RAZ

AO NO C

ALCULO VARIACIONAL 59
os funcionais (2.82) e (2.83) serao
J[

] = =
_
a
a

(x)
_


2
2m
d
2

dx
2
_
dx =

2
2m
c(2c)
_
a
a
(a
2
x
2
)dx =
4c
2

2
a
3
3m
(2.90)
N[

] =
_
a
a

(x)

(x)dx = c
2
_
a
a
(a
2
x
2
)dx =
16c
2
a
5
15
(2.91)
e o valor esperado do hamiltoniano sera
< H > [

] =
<

[H

>
<

[

>
=
4c
2

2
a
3
/3m
16c
2
a
5
/15
=

2
m
5
4a
2
. (2.92)
Observe que, como < H > nao depende do par ametro variacional nao e ne-
cess ario minimizar < H > em rela cao a ele.
O problema do po co quadrado innito e exatamente sol uvel. A autofuncao
(normalizada) do estado fundamental e [veja, por exemplo, [6], pg. 47]
(x) =
1

a
cos
_
x
2a
_
,
correspondente ao autovalor de energia
E
0
=

2
m

2
8a
2
,
de modo que o metodo variacional foi capaz de estimar esse valor com um erro
de 1, 63%. Nov
d
2

dx
2
= 2c,
os funcionais (2.82) e (2.83) serao
J[

] = =
_
a
a

(x)
_


2
2m
d
2

dx
2
_
dx =

2
2m
c(2c)
_
a
a
(a
2
x
2
)dx =
4c
2

2
a
3
3m
(2.93)
N[

] =
_
a
a

(x)

(x)dx = c
2
_
a
a
(a
2
x
2
)dx =
16c
2
a
5
15
(2.94)
e o valor esperado do hamiltoniano sera
< H > [

] =
<

[H

>
<

[

>
=
4c
2

2
a
3
/3m
16c
2
a
5
/15
=

2
m
5
4a
2
. (2.95)
Observe que, como < H > nao depende do par ametro variacional nao e ne-
cess ario minimizar < H > em rela cao a ele.
O problema do po co quadrado innito e exatamente sol uvel. A autofuncao
(normalizada) do estado fundamental e [veja, por exemplo, ]
(x) =
1

a
cos
_
x
2a
_
,
correspondente ao autovalor de energia
E
0
=

2
m

2
8a
2
,
de modo que o metodo variacional foi capaz de estimar esse valor com um erro
de 1, 63%. Novamente, esse bom resultado se justica pela proximidade entre a
funcao de onda verdadeira e aquela usada como tentativa [veja a Fig. 2.4].
60 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


-1 -0,5 0 0,5 1
x
0
0,2
0,4
0,6
0,8
1

exata
aproximada
Figura 2.4: Autofuncoes exata e aproximada para o estado fundamental de uma
partcula num o co de potencial quadrado innito, com a = 1.
Oscilador harm onico
[[5], pg. 1151]
O potencial para um oscilador harmonico unidimensional e [Fig. 2.5]
V (x) =
1
2
m
2
x
2
, (2.96)
onde
2
= k/m e a frequencia natural para uma partcula de massa m sujeita a
uma forca restauradora onde k e a constante elastica. O operador hamiltoniano
sera, portanto
H =

2
2m
d
2
dx
2
+
1
2
m
2
x
2
. (2.97)
Como estamos procurando estados ligados, as autofuncoes de energia da partcula
para esse problema devem anular-se no innito
(x) 0, se [x[ .
Vamos usar como funcao-tentativa

(x) = e
x
2
, (2.98)
2.6. PROBLEMAS 61
V(x)
x
0
E
o
Figura 2.5: Oscilador harmonico.
onde > 0 sera o par ametro variacional. Os funcionais (2.82) e (2.83) serao
J[

] = =
_

e
x
2
_


2
2m
d
2

dx
2
+
1
2
m
2
x
2
_
e
x
2
dx =
=
_

2m
+
1
8
m
2
1

__

e
2x
2
, (2.99)
N[

] =
_

e
2x
2
, (2.100)
e o valor esperado do hamiltoniano sera
< H > [

] =

2

2m
+
1
8
m
2
1

(2.101)
Aplicando a condi cao variacional (2.87)
_
< H >

0
=

2
2m

1
8
m
2
1

2
= 0, (2.102)
que fornece o valor do par ametro que minimiza < H >

0
=
m
2
, (2.103)
dando
< H > (
0
) =
1
2
, (2.104)
que e igual ao valor exato da energia do estado fundamental E
0
. Naturalmente
isso ocorreu pois nossa funcao tentativa e identica `a autofuncao exata.
2.6 Problemas
1. Mostre que o operador de Sturm-Liouville e
62 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


(a) linear: L[c
1
y
1
+ c
2
y
2
] = c
1
L[y
1
] + c
2
L[y
2
];
(b) auto-adjunto: < L[y
1
], y
2
>=< y
1
, L[y
2
] >
2. Demonstre que:
(a) os autovalores do operador L s ao reais;
(b) as autofunc oes de L correspondentes a autovalores distintos s ao ortogonais
3. Resolva a equa c ao de Helmholtz unidimensional (2.46) usando o metodo de
Rayleigh-Ritz como uma combina c ao linear de duas fun c oes-tentativa:

1
(x) = 1 x
2
,

2
(x) = x
2
(1 x
2
),
Compare o valor de com o resultado exato e calcule o erro relativo percentual.
Interprete seu resultado em termos do carater das fun c oes tentativa empretadas.
4. Considere a equa c ao de Bessel de ordem m = 0:
y
xx
+
1
x
y
x
+ y = 0, (0 x 1)
com as condic oes de contorno y(0) < e y(1) = 0. Use o metodo de Rayleigh-
Ritz com a fun c ao tentativa

1
(x) = a + bx
2
+ cx
4
,
e mostre que o autovalor aproximado e uma soluc ao da equac ao quadratica
3

2
128

+640 = 0. Estime o erro do autovalor bom, e explique o autovalor


ruim que tambem e obtido.
5. A partir da denic ao (2.22) mostre as propriedades (2.5) e (2.58) do smbolo .
6. Considere o problema de uma partcula num po co potencial quadrado innito.
Estime a energia do estado fundamental usando, como func ao tentativa,

(x) = |a|

|x|

onde e um par ametro variacional. Qual o erro percentual relativo quando se


compara com o resultado exato? [[4], pg. 315]
7. Obtenha a energia do estado fundamental do oscilador harm onico usando uma
fun c ao tentativa

(x) =
1
x
2
+ a
onde a > 0 e um par ametro variacional.
8. Voce pode usar o metodo variacional para obter a energia do primeiro estado
excitado do oscilador harm onico (n = 2). Use a fun c ao tentativa

(x) = xe
x
2
9. Considere uma partcula sujeita ao potencial V (x) = x
4
. Use o metodo varia-
cional para estimar a energia do estado fundamental, usando a func ao tentativa

(x) = e
x
2
Compare seu resultado com a soluc ao exata desse problema: E
0
= 1, 06

2
2m
k
1/3
,
onde k = 2m/
2
.
2.6. PROBLEMAS 63
10. O metodo variacional na mecanica qu antica pode ser generalizado para tres
dimens oes. Os funcionais (2.82) e (2.83) ser ao dados por
J[] = < (r)|H(r) >=
_
d
3
r
__

2
2m
_
(

) + V (r)

(r)(r)
_
N[] = < (r)|(r) >=
_
d
3
r

(r)(r)
Usando a fun c ao tentativa,

(r) =
_
_
1
r

_
, se r ,
0, se r > .
com fazendo o papel de par ametro variacional, estime a energia do estado
fundamental do atomo de hidrogenio, onde V = ke
2
/r, com k = 1/4
0
.
11. Repita o problema anterior com a fun c ao tentativa

(r) = e
r
2
Resposta: 11, 5eV (o valor experimental e 13, 6eV ).
12. Use o metodo variacional para estimar a energia de liga c ao de um deuteron
(n ucleo de deuterio), supondo que o potencial de interac ao entre o proton e o
neutron e
V (r) = Ae
r/r
0
e use uma fun c ao tentativa

(x) = Ce
r
, onde A e C s ao constantes de nor-
malizac ao, r
0
e um comprimento caracterstico do potencial, e e o par ametro
variacional. A resposta e 2, 1MeV . O valor experimental e 2, 24Mev.
64 CAP

ITULO 2. M

ETODOS VARIACIONAIS APLICADOS


Referencias Bibliogracas
[1] E. Butkov, Fsica Matematica (Guanabara Dois, Rio de Janeiro, 1978).
[2] H. Goldstein, C. Poole, e J. Safko, Classical Mechanics, 3rd. Ed. (Addison
Wesley, San Francisco, 2000).
[3] G. B. Arfken e H. J. Weber, Mathematical Methods for Physicists, 5a. Ed.
(Harcourt, San Diego, 2001).
[4] J. J. Sakurai, Modern Quantum Mechanics, Revised Edition, (Addison
Wesley, San Francisco, 1994).
[5] C. Cohen-Tannoudji, B. Diu, e F. Laloe, Quantum Mechanics, 2 volumes,
(Wiley, New York, 1977).
[6] S. Gasiorowicz, Quantum Physics, 3rd. Ed. (Wiley, New York, 2003)
[7] G. Venezian, Am. J. Phys. 34, 701 (1966).
[8] P. W. Cooper, Am. J. Phys. 34, 68 (1966).
65

Você também pode gostar