Calculo Variacional PDF

Calculo Variacional
Prof. Dr. Ricardo L. Viana

Departamento de Fsica
Universidade Federal do Parana
Curitiba - PR
11 de maio de 2011
2
Sumario
1 Equacao de Euler 5
1.1 Uma variavel independente e uma dependente . . . . . . . . . . . 5
1.1.1 Parametro variacional . . . . . . . . . . . . . . . . . . . . 5
1.1.2 Deducao da equacao de Euler . . . . . . . . . . . . . . . . 6
1.1.3 Identidade de Beltrami . . . . . . . . . . . . . . . . . . . . 8
1.2 Aplicacoes 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 filmes de sabao . . . . . . . . . 13
1.2.4 Tunel em uma esfera . . . . . . . . . . . . . . . . . . . . . 16
1.3 Uma variavel independente e varias dependentes . . . . . . . . . 19
1.3.1 Equacoes 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 varias variaveis independentes . . . . 26
1.4.1 Equacao de Euler . . . . . . . . . . . . . . . . . . . . . . . 26
1.4.2 Equacao de Laplace . . . . . . . . . . . . . . . . . . . . . 27
1.5 Varias 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 Equacoes de Euler com vnculos . . . . . . . . . . . . . . 31
1.6.4 Problemas mecanicos com vnculos . . . . . . . . . . . . . 35
1.7 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Metodos variacionais aplicados 43

2.1 Revisao 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 aplicacao do metodo . . . . . . . . . . . . . 50
2.5 O metodo da razao no calculo variacional . . . . . . . . . . . . . 52
2.5.1 Calculo com o smbolo . . . . . . . . . . . . . . . . . . . 53
2.5.2 Teoria geral . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.5.3 O metodo da razao na mecanica quantica . . . . . . . . . 56
2.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3
4 SUMARIO
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 notacao yx = dy/dx para a derivada de y(x) em relacao ao
seu argumento.
O problema central do calculo variacional pode ser expresso na seguinte
forma: desejamos encontrar uma funcao y(x) que possui valores fixos nos pontos
x = x1 e x = x2 , tal que a integral de linha de uma dada funcao f (y, yx , x)
Z x2
J= f (y, yx , x)dx (1.1)
x1
seja um extremo (maximo, mnimo ou ponto de inflexao). Em outras palavras,

queremos encontrar y(x) com valores fixos y1 = f (x1 ) e y2 = f (x2 ) tal que a
integral J seja estacionaria.
A integral J e um funcional, pois nao depende so dos valores de y e sua
derivada num dado ponto x, mas sim em todos os pontos do intervalo x1 x
x2 , ja que a integral (2.18) depende do caminho escolhido entre esses pontos.
1.1.1 Parametro variacional

Ha, naturalmente, infinitas funcoes com valores fixos em (x1 , y1 ) e (x2 , y2 ), mas
a integral J assume valores diferentes para cada um. No plano cartesiano,
isso equivale a dizer que ha infinitos caminhos ligando os pontos fixos, mas
apenas para um deles J e um extremo. Formalmente podemos rotular todos os
caminhos possveis entre os pontos (x1 , y1 ) e (x2 , y2 ) por meio de um parametro
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 estacionaria.
Suporemos que cada caminho seja uma deformacao contnua do caminho
otimo no sentido de que podemos escrever
y(x, ) = y(x, 0) + (x), (1.2)
5
6 CAPITULO 1. EQUACAO DE EULER
y =
2 2
y
2
= 1
=0
y
1 1 =
3
x
0 x x x
1 = 2
2
Figura 1.1: Parametrizacao de caminhos ligando dois pontos fixos.
onde (x) representa a deformacao, portanto deve ser uma funcao continuamente
diferenciavel (suave) em todos os pontos do intervalo x1 < x < x2 , anulando-se
nos seus extremos: (x1 ) = (x2 ) = 0.
Como um exemplo de parametrizacao consideremos os pontos fixos no plano
(x1 , y1 ) = (0, 0) e (x2 , y2 ) = (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
fixos 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 deformacao (x) deve ser uma funcao suave no intervalo
[x1 , x2 ], ou seja, deve ser diferenciavel em todos os seus pontos. No exemplo
anterior, isso significa que nao podemos usar uma funcao como ( R)
(
2x, se 0 x 1/2,
(x) =
2(x 1), se 1/2 x 1,
pois ela nao e diferenciavel em x = 1/2.
1.1.2 Deducao da equacao de Euler

O funcional integral (2.18), com o auxlio do parametro variacional , pode ser
reescrito como Z x2
J() = f (y(x, ), yx (x, ), x)dx. (1.3)
x1
A condicao imposta ao caminho otimo y(x, 0) de que torne o funcional acima

estacionario implica em
J
= 0. (1.4)
=0
1.1. UMA VARIAVEL INDEPENDENTE E UMA DEPENDENTE 7
Diferenciando (2.28) em relacao a teremos

Z x2
J f y f yx
= + dx. (1.5)
x1 y yx
Integrando por partes o segundo termo do lado direito

Z x2 x Z x2
f yx f y 2 y d f
dx = dx (1.6)
x1 yx | yx x1 dx yx
x1 |{z}
|{z} {z } | {z }
=u =dv =v =du
Como todas as curvas parametrizadas por devem passar pelos pontos fixos,

y y
= 0, = 0, (1.7)
x1 x2
tal que a primeira parcela resultante da integracao por partes e identicamente

nula, restando, entao
Z x2
J f d f y
= dx. (1.8)
x1 y dx y x
Multiplicando por d e calculando as derivadas em relacao a para o cami-

nho otimo = 0 teremos
Z x2
J f d f y
d = ddx. (1.9)
=0 x1 y dx y x
Vamos denominar variacao da integral J a seguinte expressao

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

y
y d, (1.11)
=0
com as quais reescrevemos (1.9) como

Z x2
f d f
J = ydx. (1.12)
x1 y dx yx
A condicao (1.4) para que a integral J seja estacionaria e, portanto, simples-

mente
J = 0. (1.13)
Impondo essa condicao 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 d f
= 0. (1.14)
y dx yx
1A equacao de Euler e uma condicao necessaria, porem nao suficiente para que J = 0.
Leonhard Euler chegou a equacao acima em 1744, no seu trabalho Metodo

para achar curvas planas que mostram algumas propriedades de maximos 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 maximos e mnimos de formulas integrais indefinidas. Por esse motivo, den-
tro do contexto da mecanica, a expressao (1.14) e tambem chamada de equacao
de Euler-Lagrange. A equacao de Euler e uma condicao necessaria, porem nao
suficiente, para que a integral J seja estacionaria. Alem disso, na deducao
que fizemos nos fizemos a suposicao implcita de que a solucao procurada y(x)
seja ao menos duas vezes diferenciavel. Ha situacoes em que solucoes nao-
diferenciaveis do problema variacional podem ser encontradas, e que nao sao
solucoes da equacao de Euler (como na secao 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
f yx = C = constante. (1.15)
yx
Para deduzir essa identidade, consideremos primeiramente a derivada total

da funcao f (y, yx , x):
df f dy f dyx f
= + +
dx y dx yx dx x
f f f
= yx + yxx + ,
y yx x
onde podemos isolar
f df f f
yx = yxx . (1.16)
y dx yx x
Multiplicando a equacao de Euler (1.14) por yx obtemos

f d f
yx yx = 0. (1.17)
y dx yx
Substituindo (1.16) em (1.17),

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

f d f
+ f yx = 0. (1.20)
x dx yx
1.2. APLICACOES DA EQUACAO DE EULER 9
f
Caso f nao dependa explicitamente de x, entao x = 0 e (1.20) reduz-se a

d f
f yx = 0. (1.21)
dx yx
que, por integracao, 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
s 2
p dy p
ds = dr dr = dx2 + dy 2 = dx 1 + = dx 1 + yx2 , (1.22)
dx
de tal sorte que o comprimento total de uma curva plana ligando os pontos de
coordenadas (x1 , y1 ) e (x2 , y2 ) e
Z 2 Z x2 p
L= ds = dx 1 + yx2 , (1.23)
1 x1
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 estacionaria (um mnimo, na verdade,
mas essa e uma questao posterior),
p ou seja, resolver a equacao de Euler (1.14)
correspondente para f = 1 + yx2 . Como f nao depende explicitamente de y,
!
d yx
p = 0
dx 1 + yx2
y
p x = C
1 + yx2
r
1
yx = a,
1 C2
onde a e uma outra constante.
A equacao diferencial dy/dx = a e elementar e fornece a solucao geral
y(x) = ax + b, onde b e uma constante de integracao. Como a curva y(x) deve
passar pelos pontos (x1 , y1 ) e (x2 , y2 ), as constantes a e b sao determinadas pela
resolucao do seguinte sistema de equacoes lineares
ax1 + b = y1 ,
ax2 + b = y2 ,
isto e,
y1 y2
a = , (1.24)
x1 x2
y2 x 1 y1 x 2
b = . (1.25)
x1 x2
A solucao 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 sao 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, so mostramos que a curva

y1 y2 y2 x 1 y1 x 2
y(x) = x+ (1.26)
x1 x2 x1 x2
tem um comprimento estacionario, ou seja, pode ser um maximo, mnimo ou
ponto de inflexao. 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 6= 0):
Z x2 p
L[y(x, )] = 2 ,
dx 1 + yx (1.27)
x1
onde yx = yx (x, ), e comparar com o comprimento da curva otima (1.26):

Z x2 q
L[y(x, 0)] = 2 ,
dx 1 + yx0 (1.28)
x1
Pela parametrizacao dada por (1.2), diferenciando em relacao a x temos que

yx = yx0 + x (1.29)
Substituindo (1.29) em (1.27) nos computamos a diferenca
L = L[y(x, )] L[y(x, 0)]
Z x2 q q
2 2
= dx 1 + (yx0 + x ) 1 + yx0
x1
onde yx0 = a. Usando o teorema binomial nos expandimos o integrando acima

em potencias do parametro . Apos um calculo tedioso obtemos
L = I1 + 2 I2 + . . .
onde
a
I1 = [(x2 ) (x1 )] = 0
2 1 + a2
e Z x2
1 3a2 + 4
I2 = 2 dx 0
8 (1 + a2 )3/2 x1 x
| {z } | {z }
0 0
donde L 0, ou L[y(x, )] L[y(x, 0)], a igualdade so 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.
y
1 x
0 x
2
y
Figura 1.2: A braquistocrona.
1.2.2 Braquistocrona
O problema da braquistocrona consiste em achar a trajetoria 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 desafio lancado aos maiores matematicos do seu tempo. Cinco
deles enviaram suas solucoes: Newton, Jacob Bernoulli (irmao de Johann), Leib-
nitz, LHopital, 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
Z 2
ds
t12 = , (1.30)
1 v
onde ds e o elemento de arco dado por (1.22). Para achar a velocidade v

comofuncao da elevacao y podemos usar conservacao de energia, o que fornece
v = 2gy. Substituindo em (1.30) teremos o funcional integral
Z s
x
1 + yx2
t12 = dx. (1.31)
0 2gy
Desejamos achar a forma da curva y(x) para a qual, dados os pontos fixos
1 e 2, o tempo de percurso e mnimo. Este e um problema variacional para o
qual a solucao e obtida resolvendo-se a equacao de Euler (1.14) para a funcao
1/2 1/2
f (y, yx ) = (1 + yx2 ) (2gy) . Como ela nao depende explicitamente de x
podemos usar, alternativamente, a identidade de Beltrami (1.15):

f 1/2 1/2 1/2 1/2
f yx = yx2 (1 + yx2 ) (2gy) + (1 + yx2 ) (2gy)
yx
1/2 1/2
C = (2gy) (1 + yx2 ) yx2 + (1 + yx2 )
1/2 1/2
= (2gy) (1 + yx2 ) .
Quadrando ambos os membros obtemos a seguinte equacao diferencial

1
y(1 + yx2 ) = k2 , (1.32)
2gC 2
onde k e uma nova constante. Isolando dx e tomando apenas o sinal positivo
para a raiz quadrada, obtemos
r
y
dx = 2
dy. (1.33)
k y
Vamos introduzir um parametro 0 < 2 atraves da seguinte substituicao

trigonometrica
k2
y() = (1 cos ) = k 2 sin2 , (1.34)
2 2
que, substituida em (1.33), e apos algumas simplificacoes, fornece

2 2
dx = k sin d (1.35)
2
tal que a outra coordenada pode ser encontrada, sob a forma parametrica, por
integracao dessa expressao
Z Z
2 2 k2
x = dx = k sin d = ( sin ) + k12 , (1.36)
2 2
onde k12 e uma nova constante de integracao, que se anula pela condicao de
contorno y(0) = 0. A braquistocrona, entao, e determinada pelas seguintes
equacoes parametricas:
k2
x() = ( sin ), (1.37)
2
k2
y() = (1 cos ), (1.38)
2
que sao as equacoes de uma cicloide.
A cicloide e a curva tracada por um ponto fixo num crculo de raio a = k 2 /2
que rola sem deslizar por uma linha reta. Podemos interpretar o parametro
como o angulo que o raio vetor do ponto fixo faz com um raio vetor de
referencia. Num ciclo completo, portanto, o parametro vai de zero a 2. Ela
foi estudada primeiramente por Galileu em 1599, que tentou achar a sua area
experimentalmente (!) cortando e pesando pedacos de metal. A area sob a curva
apos um ciclo completo, dada por 3a2 , foi encontrada por Torricelli, Fermat e
Descartes usando metodos geometricos. O comprimento de um ciclo completo
da cicloide e 8a.
y
y
2
ds
y y
1
0 x1 x2 x
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 final no mesmo tempo, ou seja, t12 , alem de ser
mnimo, independe da posicao inicial (ver o Problema 2)! Por esse motivo a
cicloide e tambem uma tautocrona. Essa propriedade foi descoberta por 1673
por Huyghens, que a utilizou no (tambem sua invencao) relogio 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 precisao do
relogio.
1.2.3 Superfcies de revolucao e filmes de sabao

O problema consiste em encontrar a curva que liga os pontos (x1 , y1 ) e (x2 , y2 )
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 y1 e y2 , 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 aplicacao fsica muito interessante. Filmes lquidos de sabao tem uma
energia livre de Gibbs F proporcional a area A da sua superfcie: F = f A, onde
f e o coeficiente de tensao superficial do lquido. Se o filme de sabao estiver
em equilbrio termodinamico, a energia livre de Gibbs deve ser mnima. Como
f so depende da temperatura do lquido, se esta e constante, entao o filme de
sabao em equilbrio deve sempre ter uma configuracao que minimiza a sua area
superficial. 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 (x1 , y1 ) e (x2 , y2 ) em torno do eixo x tem um elemento de
area p
dA = (2y)(ds) = 2y 1 + yx2 dx, (1.39)
onde usamos (1.22). A area total da superfcie sera, portanto, o funcional inte-
gral Z x2 p
A = 2 y 1 + yx2 dx, (1.40)
x1
que se pretende minimizar. p

Como o integrando f = y 1 + yx2 nao depende explicitamente de x podemos
usar a identidade de Beltrami (1.15) no lugar da equacao de Euler (1.14):
f p yy 2
f yx = y 1 + yx2 p x = a = const. (1.41)
yx 1 + yx2
p
Multiplicando por 1 + yx2 obtemos
p
y(1 + yx2 ) yx2 y = y = a 1 + yx2 .
Isolando yx2 nessa expressao teremos

dx 1 a
= =p . (1.42)
dy yx y a2
2
A equacao diferencial acima pode ser imediatamente integrada:

Z y
dy
x=a p = a cosh1 +b (1.43)
y 2 a2 a
onde b e uma constante de integracao. Invertendo temos a equacao da curva

procurada
xb
y(x) = a cosh , (1.44)
a
denominada catenaria na literatura. As constantes a e b sao determinadas
implicitamente pelas coordenadas dos pontos fixos

x1 b x2 b
y1 = a cosh , y2 = a cosh , (1.45)
a a
A superfcie de revolucao gerada pela catenaria e chamada de catenoide, 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 catenoide
e uma superfcie de mnima area.
Outras solucoes do problema

Ocorre que a catenoide nao e a unica solucao do problema. Para simplificar
os calculos, vamos supor que x1 = x2 = x0 e y1 = y2 = y0 , ou seja, a
superfcie mnima encontra dois arcos circulares de raio y0 simetricamente postos
em relacao a origem. A equacao da catenaria sera, portanto,
x
y(x) = a cosh , (1.46)
a
onde a constante e dada pela solucao da equacao transcendente
y0
a= , (1.47)
cosh(x0 /a)
y
o
xo 0 xo x
yo
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 x0 , e y0 estao amarrados pela condicao (1.47), nao

podemos especifica-los de uma forma arbitraria. Disso decorre que a solucao
(1.46) nao e verificada para todos os valores de x0 e y0 . Para mostrar esse fato,
vamos encontrar o valor maximo da razao x0 /y0 para o qual (1.47) e satisfeita.
Fazendo p = 1/a essa condicao e reescrita como
py0 = cosh(px0 ). (1.48)
Diferenciando em relacao a p ambos os membros

dx0
y0 = sinh(px0 ) x0 + p (1.49)
dp
Denotando o valor maximo de x0 por x0 , temos a condicao de maximo

dx0
=0
dp x0 =x
0
1 2
r r
o
R R

Figura 1.6: Tunel em uma esfera.
tal que (1.49) fique

y0 = xo sinh(px0 ). (1.50)
Pondo x0 em (1.48) e dividindo as equacoes membro a membro chegamos a
equacao transcendente
px0 = coth(px0 ), (1.51)
que tem apenas uma solucao positiva, que pode ser obtida (numericamente)
como px0 1, 2. De (1.48) e (1.50) teremos que
x0
= csch1, 2 0, 663 (1.52)
y0
donde para (x0 /y0 ) > 0, 66 a catenoide nao e a solucao do problema da superfcie
mnima. Ha uma outra solucao para o problema da superfcie mnima, devida a
Goldschmidt, que nao e obtida pelo calculo variacional, e e composta por dois
filmes circulares em cada aro [Fig. 1.5]. Como a solucao de Goldschmidt e
descontnua, ela nao satisfaz a equacao de Euler (1.41). Para (x0 /y0 ) > 0, 66
apenas as solucoes de Goldschmidt podem existir. Podemos encarar a situacao
da seguinte forma: quando os crculos estao suficientemente afastados entre si,
a solucao do tipo catenoide torna-se instavel, isto e, o filme de sabao se rompe.
1.2.4 Tunel em uma esfera

Um problema similar, porem mais difcil do que o da braquistocrona consiste
em encontrar a trajetoria de menor tempo de percurso para um tunel escavado
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
mg0 r2
U (r) = , (1.53)
2R
onde g0 = GM/R2 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 conservacao de energia mecanica, 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]:
Z 2
ds
t12 = q (1.54)
2
1 g0 R 1 Rr 2
Introduzindo coordenadas polares (r, ) o elemento de arco (1.22) e escrito como

q
ds = r2 + r2 d, (1.55)
de modo que o funcional a ser minimizado e

s Z s
R 2 r2 + r2
t12 = d. (1.56)
g 0 1 R2 r 2
Como o integrando nao depende explicitamente de , podemos usar a iden-

tidade de Beltrami (1.15) para obter
r
g0 2 1/2
r2 = C (R r2 )(r2 + r2 ) (1.57)
R
onde podemos exprimir a constante de integracao C em termos de r0 , que e a

distancia maxima aproximacao ao centro da esfera. Por simetria, r = r0 deve
ser o ponto medio de uma trajetoria ligando dois pontos sobre a superfcie da
esfera, e onde a tangente a trajetoria e perpendicular ao raio. Dessa forma
podemos aplicar em (1.57) a condicao de que r = 0 em r = r0 ,
r
g0 2 1/2
r02 = C (R r02 )r02 (1.58)
R
Dividindo (1.57) e (1.58) membro a membro obtemos a seguinte equacao

diferencial s
rR r2 r02
r = , (1.59)
r0 R2 r2
que pode ser integrada analiticamente fornecendo
s s
R r 2 r2 r r2 r02
0 0
(r) = arctan 2 2
arctan , (1.60)
r0 R r R R2 r 2
onde (r0 ) = 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
r0
2 = 1 . (1.61)
R
Definindo um parametro t pela relacao
s
r2 r02
tan(t) = , (1.62)
R2 r 2
a equacao (1.60) da trajetoria que minimiza o tempo de percurso e

R r0
(t) = arctan tan t t. (1.63)
r0 R
Fazendo uma transformacao trigonometrica podemos reescreve-la como
1 2 1
r2 (t) = (R + r02 ) (R2 r02 ) cos(2t). (1.64)
2 2
de modo que (1.62) e (1.64) sao as equacoes parametricas da trajetoria, a qual e
uma hipocicloide, que e a curva produzida por um ponto fixo 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)
s Z s
R r2 dr R2 (r2 r02 ) + r02 (R2 r2 )
t12 =
g 0 r1 R2 r 2 R2 (r2 r02 )
r Z r
1 1/2 1/2 2 1/2
= (R2 r02 ) r(R2 r2 ) (r r02 ) dr
Rg0 r0
2
1 1/2 1/2 R + r02 2r2
= (Rg0 ) (R2 r02 ) arccos (1.65)
2 R2 r02
onde supusemos que, em t = 0, a partcula esteja no ponto de maior aproximacao
do centro da esfera (r1 , 1 ) = (r0 , 0).
Supondo, ainda, que a partcula suba o tunel ate chegar na superfcie da
esfera em (r2 , 2 ) = (R, ) no tempo t = , de (1.65)
2 s
2
1 1/2 1/2 r R R2 r02
= (Rg0 ) (R2 r02 ) arccos 02 = , (1.66)
2 R r02 2 Rg0
| {z }
=arccos(1)=
Finalmente, por simetria o tempo total de percurso entre dois pontos na su-
perfcie sera s r
R2 r02 r 2
0
T = 2 = = 1 T0 , (1.67)
Rg0 R
onde s
R
T0 (1.68)
g0
1.3. UMA VARIAVEL INDEPENDENTE E VARIAS DEPENDENTES 19
e o tempo de percurso para uma trajetoria que passe pelo centro da esfera, isto
e, com r0 = 0, conectando dois pontos antipodais na sua superfcie. Em geral,
os tempos de transito para todas as cordas sao identicos, sendo o diametro a
maior corda possvel na esfera, evidentemente, Para uma hipocicloide, porem,
na medida em que r0 0, entao T T0 , significando 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 g0 = 9, 8m/s2 , temos que T0 = 2, 53 103 s = 42, 2min.
Para uma trajetoria (num hipotetico tunel) onde r0 = R/2, o tempo de per-
curso sera T = 0, 0625T0 = 2, 64min. Esse valor e espantosamente baixo, con-
siderando que, como o angulo central subtendendo os pontos inicial e final 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 tunel 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 Associacao 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 tunel 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 varios fatores tecnologicos. Na decada
de 1960 esse problema foi objeto de varios artigos [7, 8].
1.3 Uma variavel independente e varias depen-

dentes
1.3.1 Equacoes de Euler
Para generalizar o problema variacional nos consideraremos uma funcao de n
variaveis yi , i = 1, 2, . . . n, todas elas dependentes de x:
f = f (y1 (x), y2 (x), . . . yn (x); x),
e o funcional integral que desejamos tornar estacionario

Z x2
J= f (y1 , y2 , . . . yn ; y1x , y2x , . . . ynx ; x)dx, (1.69)
x1
onde yix = dyi /dx.

Como antes, consideramos uma infinidade de caminhos possveis ligando os
pontos fixos em x = x1 e x = x2 , parametrizados por , tal que = 0 represente
o caminho otimo para cada variavel dependente
yi (x, ) = yi (x, 0) + i (x), (1.70)
onde i (x) representam as deformacoes continuamente diferenciaveis para cada

i = 1, 2, . . . n, e que sao independentes entre si, anulando-se nos extremos:
i (x1 ) = i (x2 ) = 0.
Diferenciando o funcional (1.69) em relacao a teremos

Z x2
J f
=
x1
Z x2 n
X f yi f yix
= dx +
x1 i=1
yi yix
n Z x2
X f f
= dx i + ix (1.71)
i=1 x1
yi yix
onde usamos o teorema de Schwartz para escrever

yix dyi d yi di
= = = = = ix . (1.72)
dx dx dx
Integrando por partes a parcela
Z x2 x Z x2
f di f 2 d f
dx = i i dx (1.73)
x1 yix dx yix x1 x1 dx yix
| {z }
=0
e impondo que o funcional integral sera estacionario se estivermos no caminho

otimo entre os pontos fixos
J
= 0. (1.74)
=0
chegamos a
n Z x2
X f d f
dxi =0 (1.75)
i=1 x1 yi dx yix
Como os i sao todos mutuamente independentes, para que a condicao acima
subsista para quaisquer deformacoes, cada termo entre os colchetes deve anular-
se identicamente, fornecendo uma equacao de Euler para cada variavel depen-
dente em separado:

f d f
= 0, (i = 1, 2, . . . n) (1.76)
yi dx yix
1.3.2 Propagacao 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 trajetorias tais
que o caminho otimo e estacionario (pode ser um mnimo, maximo ou ponto de
inflexao). O caminho otico e definido como o produto da distancia geometrica
d entre dois pontos pelo ndice de refracao n da luz nesse meio: se o meio e
homogeneo e isotropico, entao = nd. Em geral, porem, teremos que
Z
= n(s)ds,
C
onde s parametriza um caminho C entre dois pontos - e a distancia medida ao

longo de C a partir de um ponto de referencia. O ndice de refracao de um meio
e a razao entre a velocidade da luz no vacuo c e a velocidade da luz v nesse meio.

Entao, o princpio de Fermat, na sua forma mais geral, atesta que a integral
Z 2 Z 2 2
ds r
c =c dt (1.77)
1 v 1 v
e estacionaria
para o caminho percorrido pela luz num meio, onde escrevemos
ds = |dr| = dr dr.
Se o meio e inomogeneo, entao n depende de r. Mas, se o meio for ho-
mogeneo porem anisotropico (como em um cristal, por exemplo), n, assim como
v, dependera da direcao de propagacao, ou seja, de r. Numa situacao destas, a
integral estacionaria sera
Z 2 2
r
dt. (1.78)
1 v(r)
onde t e a variavel independente e as componentes do vetor posicao sao as
variaveis dependentes.
A trajetoria da luz r(t) sera,
portanto, a solucao da Equacao de Euler corres-
pondente ao integrando f = r2 /v(r), o que implica em tres equacoes escalares.
Por exemplo,
f d f f
= 0, = Cx , (1.79)
x dt x
|{z} x
=0
e assim por diante. Definindo um vetor de constantes C = (Cx , Cy , Cz ), o
integrando de (1.78) sera dado por
f (r) = C r + C1
onde C1 e um vetor de constantes de integracao. Como f , por outro lado,
nao pode depender explicitamente de r, isso implica em que f deva ser uma
constante. Isso so e compatvel com a solucao da equacao de Euler acima, se
r(t) = C1 t + C2 ,
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 reflexao e da refracao da luz. Vamos considerar a refracao
da luz pela interface de dois meios com ndices de refracao n1 e n2 (supostos
homogeneos e isotropicos). Os dois pontos fixos tem coordenadas (x1 , y1 ) e
(x2 , y2 ). Pela discussao precedente vimos que, em cada meio, a trajetoria da luz
devera ser uma linha reta. O caminho otico total entre os pontos 1 e 2 e
q q
2 2
= 1 + 2 = n1 (x1 x0 ) + y12 + n2 (x2 x0 ) + y22 , (1.80)
onde (x0 , 0) sao as coordenadas do ponto na interface entre os dois meios.
As trajetorias da luz em cada meio minimizam o caminho otico, o que pode
ser obtido achando o mnimo de em relacao a x0 :

2(x 0 x 1 )(+1) 2(x 2 x 0 )(1)
= n1 q + n2 q =0
x0 2 2 2 2
2 (x1 x0 ) + y1 2 (x2 x0 ) + y2
n1 sin 1 n2 sin 2 = 0 (1.81)
que e a lei de Snell da refracao, onde 1 e 2 sao os angulos que os raios incidente
e refratado, respectivamente, em relacao a normal a interface no ponto (x0 , 0).
Observe que essa solucao em si nao e diferenciavel nesse ponto, entao ela nao
pode ser considerada, rigorosamente, uma solucao da Equacao 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 tao intensa que
a velocidade da luz e nula, de tal sorte que a luz e aprisionada. Proximo ao
horizonte de eventos de um buraco negro, a velocidade da luz cresce proporcio-
nalmente a distancia y em relacao 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 isotropico.
O princpio de Fermat (1.77), nesse caso, impoe que
Z 2 Z x2
p
ds 1 + yx2
= dx
1 v x1 y/b
seja um extremo para a trajetoria 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
f yx = C
yx
p
1 + yx2 2yx
yx p =
y 2 1 + yx2
dx 1
= q ,
dy 1
1
C 2 y2
cuja solucao e
r
1
x + C1 = y2 , (1.82)
C2
onde C1 e uma constante de integracao. Quadrando a expressao acima chegamos
a equacao de uma circunferencia de raio 1/C e centro no ponto de coordenadas
(C1 , 0).
A trajetoria 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 flutuar (a famosa lenda
do holandes voador e baseada nesse tipo de miragem).
1.3.3 Princpio de Hamilton

Uma das consequencias mais importantes dos metodos variacionais para a fsica
foi a construcao, feita por Lagrange, de uma nova formulacao para a mecanica
Newtoniana, a partir do princpio de mnima acao de Maupertuis, e finalmente
consolidada em 1788 com a publicacao de sua obra Mecanique Analytique. Nesse
formalismo, a variavel independente e o tempo t e trabalhamos com as coorde-
nadas generalizadas de um sistema qi , i = 1, 2, . . . n e as respectivas velocidades
generalizadas qi = qit = dqi /dt. Uma partcula no espaco, por exemplo, pode ter
como coordenadas generalizadas as componentes do seu vetor posicao: q1 = x,
q2 = y, e q3 = z; mas outras escolhas sao 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(qi , qi , t). O
princpio variacional (de Hamilton) da mecanica diz que a trajetoria de um sis-
tema entre dois pontos fixos em t = t1 e t = t2 , e aquela que torna estacionaria
a seguinte integral de acao
Z t2
J= L(qi , qi , t)dt, (1.83)
t1
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 d L
= 0, (i = 1, 2, . . . n) (1.84)
qi dt qi
chamadas, no presente contexto, de equacoes de Lagrange.
Partcula num campo de forcas conservativas

Um problema fundamental em dinamica 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
1
K= m x2 + y 2 + z 2 ,
2
tal que a Lagrangeana sera
1
L(x, y, z; x, y, z) = K V = m x2 + y 2 + z 2 V (x, y, z).
2
As equacoes de Lagrange (1.84) serao

L d L dV d
= (mx) = Fx mx = 0, (1.85)
x dt x dx dt

L d L dV d
= (my) = Fy my = 0, (1.86)
y dt y dy dt

L d L dV d
= (mz) = Fx mz = 0, (1.87)
z dt z dz dt
vertical

z
y
centro de massa
Mg
x

linha nodal
Figura 1.7: Piao 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 fixo de apoio
pode ser descrito por apenas tres coordenadas generalizadas, que sao os tres
angulos de Euler. Considerando o eixo de simetria o eixo z fixo no corpo, esses
angulos sao [Fig. 1.7]:
q1 = : mede a inclinacao do eixo z do corpo em relacao ao eixo vertical
fixo no espaco;
q2 = : mede o azimute do piao em relacao a vertical
q3 = : e o angulo de rotacao do piao em relacao ao seu eixo de simetria.
As velocidades generalizadas correspondentes sao
q1 = : velocidade de nutacao, ou seja, a rapidez da oscilacao do eixo de
simetria z do piao em relacao ao eixo vertical fixo no espaco;
q2 = : velocidade de precessao, que e a rapidez da rotacao do eixo de
simetria z do piao em torno do eixo vertical fixo no espaco;
q3 = : velocidade de rotacao do piao em relacao ao seu eixo z de simetria.
A energia cinetica de rotacao do piao e dada, em geral, por
1 1 1
K= I1 12 + I2 22 + I3 32 ,
2 2 2
onde I1 , I2 e I3 sao os valores principais do tensor de inercia do piao, que definem

eixos principais do espaco, e para os quais as as componentes correspondentes
da velocidade angular de rotacao sao 1 , 2 e 3 , respectivamente. A relacao
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 I1 = I2 6= I3 . Combinando essa in-

formacao com as equacoes acima, obtemos para a energia cinetica do piao:
I1 2 I
3
2
K(qi , qi ) = + 2 sin2 + + cos (1.91)
2 2
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 (q1 ) = M gz = M g cos , (1.92)
de modo que a Lagrangeana e
I1 2 I
3
2
L= + 2 sin2 + + cos M g cos , (1.93)
2 2
As equacoes de Lagrange serao

L d L
= I1 2 sin cos I3 sin ( + cos ) I1 = 0,
(1.94)
dt

L d L d h i
= I3 + cos = 0, (1.95)
dt dt

L d L d h i
= I1 sin2 + I3 cos + cos = 0, (1.96)
dt dt
De (1.95) e (1.96) obtemos, imediatamente, que

I3 + cos = a, (1.97)
I1 sin2 + a cos = b, (1.98)
onde a e b sao constantes de integracao.

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.
1.4 Uma variavel dependente e varias variaveis

independentes
1.4.1 Equacao de Euler
Seja y uma variavel dependente e n variaveis independentes x1 , x2 , xn . A de-
rivada de y em relacao a cada uma delas sera denotada yj = y/xj . Neste caso
nao deve haver confusao com a notacao correspondente quando houver varias
variaveis dependentes. Os pontos fixos em relacao a cada variavel independente
(1) (2) (1) (2) (1) (2)
serao indicados por (x1 , x1 ), (x2 , x2 ). . ., (xn , xn ). Para evitar uma so-
brecarga inutil na notacao, indicaremos estes pontos fixos simplesmente por 1 e
2, ficando subentendido seu significado quando do seu emprego.
Dessa forma, a funcao f (y, yj , xj ) e o integrando do funcional que se quer
tornar estacionario
Z 2 Z 2 Z 2
J= dx1 dx1 dxn f (y, yj , xj ) (1.99)
1 1 1
O problema variacional sera, pois, o de encontrar a funcao de n variaveis
y(x1 , x2 , . . . xn ) para a qual J = 0, considerados os pontos fixos, onde o smbolo
de variacao e definido como

J
J = d, (1.100)
=0
com o auxlio do parametro variacional .
A parametrizacao a ser introduzida e a mesma dos casos anteriores, ou seja,
y(xj , ) = y(xj .0) + (xj ) (1.101)
onde y(xj , 0) indica o caminho que torna J um extremo e e uma funcao
diferenciavel e que se anula nos pontos fixos: (1) = (2) = 0.
Diferenciando o funcional (1.99) em relacao a
Z 2 Z 2 Z 2
J f
= dx1 dx2 dxn
1 1 1

Z 2 Z 2 Z 2 n
f y X f y j
= dx1 dx2 dxn +
1 1 1 y j=1 yj

Z 2 Z 2 Z 2 n
f X f
= dx1 dx2 dxn + j
1 1 1 y j=1
yj
Z 2 Z 2 Z 2
f
= dx1 dx2 dxn + (1.102)
1 1 1 y
n Z 2 Z 2 Z 2 Z 2 Z 2
X f
+ dx1 dx2 dxj j dxj+1 dxn
j=1 1 1 1 yj 1 1
| {z }
=I
Integrando por partes o fator I na expressao acima temos

Z 2 Z 2 2 Z 2
f f d f
dxj j = dxj = dxj
1 yj 1 yj xj xj 1 dxj yj
| {z }1
=0
1.4. UMA VARIAVEL DEPENDENTE E VARIAS VARIAVEIS INDEPENDENTES27
tal que
Z Z 2 Z 2
J 2 f
dx1 dx2 dxn +
1 1 1 y
n Z 2 Z 2 Z 2
X d f
+ dx1 dx2 dxn dxj
j=1 1 1 1 dxj yj

Z 2 Z 2 Z 2 n
f X d f
= dx1 dx2 dxn .
1 1 1 y j=1 dxj yj
Calculando a derivada de J ao longo do caminho otimo

Z 2 Z 2 Z 2 n
J f X d f
= dx1 dx2 dxn =0
=0 1 1 1 y i j=1
dx j y j
| {z }
=0
(1.103)
para (xj ) arbitrarioss, o que nos leva a equacao de Euler para varias variaveis
dependentes
n
f X d f
=0 (1.104)
y j=1 dxj yj
1.4.2 Equacao de Laplace

Do eletromagnetismo, sabemos que a densidade de energia num campo eletrico
no vacuo E e dada por
1
u = 0 E2 (1.105)
2
Se o campo for eletrostatico, pode ser escrito como menos o gradiente de um
potencial E = , tal que
1 2
u(x, y, z) = 0 || (1.106)
2
Consideremos um paraleleppedo de arestas x2 x2 , y2 y1 , e z2 z1 .
Se impusermos que a energia eletrostatica encerrada numa regiao fechada de
volume V seja mnima, isso equivale a achar um extremo do funcional
Z Z x2 Z y2 Z z 2
2
J= d3 r|| = dx dy dz (2x + 2y + 2z ), (1.107)
V x1 y1 z1 | {z }
f
onde x = /x, etc.

De (1.104), o potencial que satisfaz essa condicao e a solucao de
f d f d f d f
= 0,
dx x dy y dz
|{z} | {z } | {z } | {zz}
=0 =2x =2y =2z
2(xx + yy + zz ) = 0,
que e a equacao de Laplace 2 = 0.
1.5 Varias variaveis independentes e dependen-

tes
A generalizacao final do problema variacional consiste em consideraremos uma
funcao de n variaveis dependentes yi , i = 1, 2, . . . n, e n variaveis independentes
xj , j = 1, 2, . . . n, bem como das respectivas n2 derivadas jacobianas yij
dyi /dxj :
f = f (y1 , . . . un ; y11 , . . . ynn ; x1 , . . . xn ),
que e o integrando de um funcional integral n-dimensional, sendo os pontos fixos
(1) (2) (1) (2)
(x1 , x1 ), . . ., (xn , xn ):
(2) (2)
Z x1 Z x2 Z x(2)
n
J= dx1 dx2 dxn f (yi , yij , xj ). (1.108)
(1) (1) (1)
x1 x2 xn
O problema variacional consiste em encontrar as n funcoes yi (xj ) para

as quais J e estacionaria, ou J = 0. O desenvolvimento matematico dessa
condicao 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 xj sejam independentes entre si, a
funcao f deve satisfazer o seguinte conjunto de n equacoes de Euler:
n
f X f
= 0. (i = 1, 2, . . . n) (1.109)
yi j=1 xj yij
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 xj nao sejam, de fato, independentes entre si, mas
sim estejam amarradas por alguma relacao de vnculo. A existencia desses
vnculos leva a introducao dos chamados multiplicadores de Lagrange. Antes
de abordar o problema variacional propriamente dito, vamos estudar esse pro-
blema sob o ponto de vista da determinacao 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, entao
f f f
df = dx + dy + dz = 0, (1.110)
x y z
tal que e necessario e suficiente que, para dx, dy e dz arbitrarios, tenhamos
f f f
= = = 0. (1.111)
x y z
1.6. PROBLEMAS VARIACIONAIS COM VINCULOS 29
No entanto, se x, y e z estiverem amarrados por uma dada relacao na

forma geral
(x, y, z) = 0,
dita vnculo, entao as variaveis nao sao 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 condicao (1.111) para que f tenha um extremo nao e
mais valida, 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 relacao acima implica em

f f f
+ dx + + dy + + dz = 0 (1.113)
x x y y z z
Ate agora o multiplicador de Lagrange e um escalar qualquer. No entanto,

nos o escolhemos de tal sorte que
f
+ = 0, (z 6= 0) (1.114)
z z
ja que, agora, dz nao e mais arbitraria devido ao vnculo. Logo

f f
+ dx + + dy = 0 (1.115)
x x y y
Lembremos, porem, que dx e dy ainda sao arbitrarios, de modo que a igualdade

acima vale se e somente se
f
+ = 0, (1.116)
x x
f
+ = 0. (1.117)
y y
Logo, se as condicoes (1.116)-(1.114) forem satisfeitas, entao 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 numero n qualquer de
variaveis independentes (x1 , x2 , . . . xn ) sujeitas a m vnculos, descritos pelas
equacoes
k (x1 , x2 , . . . xn ) = 0, (k = 1, 2, . . . m). (1.118)
Neste caso, as condicoes (1.116)-(1.114) sao generalizadas na seguinte forma
m
f X k
+ k = 0, (i = 1, 2, . . . n) (1.119)
xi xi
k=1
que, tambem, determinam os m multiplicadores de Lagrange k , um para cada

vnculo do sistema.
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 V0 do seu produto:
V (r, h) = (r2 )h = V0 = constante. (1.120)
Em princpio, as variaveis r e h sao independentes entre si, ou seja, se o fabri-

cante quiser uma lata mais estreita (r menor), entao 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(r2 ) (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) = V0 . A condicao de vnculo sera, entao
(r, h) = r2 h V0 = 0. (1.122)
Introduzindo o multiplicador de Lagrange teremos duas condicoes para

um extremo na forma (1.116)-(1.114), a saber:
S
+ = 2h + 4r + (2r)h = 0, (1.123)
r r
S
+ = 2r + (r2 ) = 0 (1.124)
h h
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 superficial, para um
dado volume, tem o diametro igual a altura.
Eletron numa caixa tridimensional

Um problema elementar em mecanica quantica consiste em achar os nveis de
energia de uma partcula quanto-mecanica 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 condicoes 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

h2 1 1 1
E(a, b, c) = + 2+ 2 . (1.125)
8m a2 b c
Desejamos encontrar os valores de a, b e c que minimizam a energia do

eletron, sujeito ao vnculo de que o volume V0 da caixa seja dado:
V (a, b, c) = abc = V0 , (1.126)
de modo que a equacao de vnculo e
(a, b, c) = abc V0 = 0 (1.127)

correspondente a um multiplicador de Lagrange .

As condicoes de mnimo para a energia sao, portanto
E h2
+ = + bc = 0, (1.128)
a a 4ma3
E h2
+ = + ac = 0, (1.129)
b b 4mb3
E h2
+ = + ab = 0. (1.130)
c c 4mc3
Multiplicando (1.128) por a, (1.129) por b, e (1.130) por c, chegamos a
seguinte relacao
h2 h2 h2
abc = 3
= 3
= ,
4ma 4mb 4ma3
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 = h2 /4ma5 .
1.6.3 Equacoes de Euler com vnculos

Vamos retornar a equacao de Euler (1.109) para varias variaveis dependentes e
independentes, no caso em que haja m vnculos expresos pela forma geral
k (y1 , y2 , . . . yn ; x1 , x2 , . . . xn ) = 0, (k = 1, 2, . . . m) (1.131)
de sorte que yi e xi nao sao 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 (x1 , . . . xn ).
Multiplicando (1.131) pelos multiplicadores de Lagrange e integrando entre
os pontos fixos 1 e 2 temos
Z 2
k (xj )k (yi , xj )dxj = 0, (1.132)
1
tal que a variacao correspondente seja tambem identicamente nula para cada
vnculo Z 2
k (xj )k (yi , xj )dxj = 0, (k = 1, 2, . . . m). (1.133)
1
Por outro lado, sabemos que tambem e nula a variacao do funcional (1.108)
Z 2
f (yi , yij , xj )dxj = 0. (1.134)
1
Somando (1.134) e (1.133) para todos os m vnculos temos que

Z 2" m
X
#
f (yi , yij , xj ) + k (xj )k (yi , xj ) dxj = 0, (1.135)
1 k=1
| {z }
g(yi ,yij ,xj )
onde definimos
m
X
g(yi , yij , xj ) = f (yi , yij , xj ) + k (xj )k (yi , xj ). (1.136)
k=1
y(x)
a 0 a x
Figura 1.8: O problema isoperimetrico.
Portanto, na presenca dos vnculos, (1.135) implica em que precisamos sa-

tisfazer n equacoes de Euler do tipo (1.109) para a nova funcao (1.136):
n
g X g
= 0. (i = 1, 2, . . . n) (1.137)
yi j=1 xj yij
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 fixos 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)
Z a
A(y, x) = ydx, (1.138)
a
e o funcional que se quer maximizar, entre os pontos fixos, sujeito a condicao

de que o comprimento seja constante:
Z 2 Z ap
ds = 1 + yx2 dx = (1.139)
1 a
onde usamos (1.23).

Este vnculo leva-nos a introduzir um unico (m = 1) multiplicador de La-
grange , de modo que a condicao de vnculo pode ser escrita na forma padrao
(1.132) desde que definamos
p
(yx ) = 1 + yx2 , (1.140)
2a
assim como a funcao (1.136) e dada por

p
2

g = f + = y + 1 + yx , (1.141)
2a
que satisfaz a equacao de Euler (1.137):

g d g
= 0
y dx yx
! !
d yx d yx
1 p = x p = 0
dx 1 + yx2 dx 1 + yx2
yx
p x = C = constante.
1 + yx2
Isolando a derivada yx chegamos a seguinte equacao diferencial
dy C +x
=q , (1.142)
dx 2
2 (C + x)
que pode ser integrada fornecendo

2 2
(x + C) + (y + C1 ) = 2 (1.143)
onde C1 e uma constante de integracao. Essa e a equacao de um crculo de raio
e com centro no ponto de coordenadas (C, C1 ). Os pontos fixos (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 = C1 = 0 e o raio do crculo e
= a, tal que a equacao do crculo seja simplesmente
x 2 + y 2 = a2 . (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 fitas muito finas
e ata-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 solucao do problema
isoperimetrico.
A catenaria
Uma corrente ou cabo pesado de comprimento C esta 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
Z 2 Z 2 Z 2
V (y, yx ) = dV = dmgy = g yds, (1.145)
1 1 1
onde usamos (1.22), e usamos o smbolo g para representar a aceleracao da

gravidade, a fim de que nao haja confusao notacional. Assim, o funcional que
desejamos minimizar e
Z L
V p
J= = dxy 1 + yx2 , (1.146)
g 0
0 x
L
Figura 1.9: Catenaria.
p
cujo integrando e f = y 1 + yx2 .
O vnculo nesse problema e que a corda e suposta inextensvel, de modo que
o seu comprimento seja constante 2 :
Z 2 Z L p
= ds = dx 1 + yx2 , (1.147)
1 0
que pode ser colocada na forma (1.132) desde que

p
(yx ) = 1 + yx2 (1.148)
L
tal que, introduzindo o multiplicador de Lagrange, a expressao (1.136) fica
p
g = f + = (y + ) 1 + yx2 . (1.149)
L
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
g yx = C = constante
y
p yx
(y + ) 1 + yx2 yx (y + ) p =
L 1 + yx2
Fazendo k CL + , um pouco de algebra mostra que a expressao anterior

reduz-se a equacao diferencial
q
dy 1 2
= L2 (y + ) k 2 (1.150)
dx k
2 Supondo que a densidade de massa seja constante ao longo do cabo, = M/, onde M e
a sua massa total.

que tem como solucao a equacao da catenaria 3

k L(x + K)
y(x) = cosh (1.151)
L k
onde K e uma nova constante de integracao. O nome catenaria vem do latim
catena, que significa cadeia, ou corrente. Galileo, erroneamente, considerava
que a solucao do problema seria uma parabola. Curiosamente, se uma parabola
rolar por uma reta, o foco da parabola descrevera uma catenaria. Em 1691 a
equacao da catenaria foi obtida independentemente por Leibniz, Huyghens e
Johann Bernoulli, em resposta a um desafio (sempre ele!) de Jakob Bernoulli.
Vimos, anteriormente, que a catenaria tambem e a solucao do problema de
superfcies de revolucao de mnima area.
Na solucao (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 fixos:

k LK
y(0) = a a + = cosh , (1.152)
L k

k L(L + K)
y(L) = b b + = cosh , (1.153)
L k
alem de usarmos novamente a condicao de vnculo (1.147):
Z L p Z L
L(x + K)
= dx 1 + yx2 = dx cosh ,
0 0 k

L L(L + K) LK
= sinh sinh . (1.154)
k k k
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 mecanicos onde ha m vnculos holonomicos, ou seja, vnculos cujas equacoes
podem ser escritos como
k (q1 , q2 , . . . qn , t) = 0, (k = 1, 2, . . . m), (1.155)
onde qi sao as coordenadas generalizadas. Por exemplo, o movimento plano de
uma partcula cuja trajetoria e restrita a um crculo de centro na origem e raio
R e caracterizado pelo seguinte vnculo holonomico:
x2 + y 2 = R 2 = q12 + q22 R2 = 0. (1.156)
Para cada equacao de vnculo associamos um multiplicador de Lagrange
k (t), com os quais formamos o equivalente mecanico da funcao (1.136), que e
m
X
g(qi , qi , t) = L(qi , qi , t) + k (t)k (qi , t), (1.157)
k=1
3 Podemos fazer a integracao por meio da substituicao de variaveis L(y + ) = k cosh .
r
x
h
lx

Figura 1.10: Aro rolando num plano inclinado.
que satisfaz a equacao de Euler-Lagrange na forma (1.137):

g d g
= 0
qi dt qi
m
L X k (qi , t) d L
k (t) = 0
qi qi dt qi
k=1
que podemos reescrever, definindo ki = k /qi , como

m
d L L X
= ki k . (1.158)
dt qi qi
k=1
Por curiosidade, se a coordenada generalizada qi tiver dimensao de comprimento,

entao o produto k ki representa a componente ao longo da direcao qi da forca
do reacao correspondendo ao k-esimo vnculo.
Aro rolando num plano inclinado

Um problema classico de vnculo holonomico em dinamica lagrangeana e o de
um aro de massa M e raio r rolando sem deslizar sobre um plano inclinado
de em relacao a horizontal. Podemos usar, como coordenadas generalizadas,
q1 = x: distancia percorrida pelo aro sobre o plano inclinado, e q2 = : angulo
de rotacao do aro em relacao ao eixo que passa pelo seu centro de massa [Fig.
1.10]. A condicao 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, entao, os coeficientes de vnculo:

x = = 1, = = r, (1.160)
x
ambos associados ao mesmo multiplicador de Lagrange .

A energia cinetica do aro e igual a energia de translacao do centro de massa
mais a energia cinetica de rotacao em torno do eixo que passa pelo centro de
massa
1 1
K(x, ) = M x2 I 2 , (1.161)
2 2
onde o momento de inercia do aro e I = M r2 . A energia potencial gravitacional
do centro de massa do aro e
U (x) = M gh = M g[( x) sin + r cos ], (1.162)
onde e o comprimento total do plano inclinado [Fig. 1.10]. Como o termo
M gr cos e uma constante, ele pode ser ignorado, pois representa apenas um
fator constante aditivo na energia potencial (que, lembramos, e sempre definida
a menos de uma constante aditiva). Logo, a Lagrangeana e
1 1
L=K U = M x2 M r2 2 M g( x) sin . (1.163)
2 2
Ha duas equacoes de Euler-Lagrange da forma (1.158):

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

d L L d
= = (M r2 ) r = 0.
dt dt
Como r e constante, entao ha duas equacoes diferenciais a serem resolvidas
M x M g sin = , (1.164)
M r2 = 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
= M g sin , (1.166)
2
tal que a equacao do movimento sejam simplesmente
g sin
x = K1
2
g sin K1
= =
2r r
Supondo que, em t = 0, tenhamos as condicoes iniciais x(0) = 0, x(0) = 0
(aro no alto do plano inclinado em repouso) e (0) = 0, (0) = 0 as equacoes
acima tem solucoes triviais
1 1 K1 2
x(t) = K1 t 2 , (t) = t . (1.167)
2 2 r
Observe que o aro desce o plano inclindado rolando sem deslizar com aceleracao
K1 , 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 responsavel
pelo rolamento do aro, e o multiplicador de Lagrange , que e a forca de vnculo
e, na verdade, a forca de atrito de rolamento.
0 x
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 especificada 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
1
L(r, ; r, ) = m(r2 + r2 2 ) mgr cos . (1.168)
2
Enquanto a conta esta deslizando sobre a calota, a condicao de vnculo e r = R,
ou (r) = r R = 0, de sorte que os coeficientes de vnculo sao

r = = 1, = = 0, (1.169)
r
As equacoes de Euler-Lagrange (1.158) sao

d L L d
r = (mr) mr2 + mg cos () = 0(1.170)
dt r r dt

d L L d
= (mr2 ) mgr sin = 0 (1.171)
dt dt
Enquanto a conta desliza sobre a calota r = R, portanto r = 0, de modo que
mR2 + mg cos () = 0 (1.172)
mR2 mgR sin = 0 (1.173)
Derivando (1.172) em relacao ao tempo
d
2mR mg sin = (1.174)
d
e dividindo tudo por obtemos
g sin
= (1.175)
R
1.7. PROBLEMAS 39
que, substituido em (1.174), fornece por integracao o multiplicador de Lagrange
() = 3mg cos + C (1.176)
onde C e uma constante de integracao.

O multiplicador de Lagrange e a componente radial da forca de reacao da
calota agindo sobre a conta. Quando a conta esta no alto da calota ( = 0) essa
forca e igual ao peso da conta mg. Portanto a constante de integracao e dada
por C = (0) 3mg = 2mg, de forma que () = mg(3 cos 2). A partcula
permanecera sobre a calota desde que () > 0, ou seja, ela deixara a calota
quando cos = 2/3, que fornece o angulo crtico c = 48o 11 .
1.7 Problemas
1. Encontre a funcao y(x) que torna a integral
Z 1
J= (2x + 3y + yx2 )dx
0
um extremo, com y(0) = y(1) = 1.
2. Mostre que o caminho no espaco tridimensional que fornece a menor distancia

entre dois pontos quaisquer e um segmento de reta unindo estes dois pontos.
3. Considere o problema da braquistocrona, 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 cicloide e uma tautocrona, por meio dos seguintes passos:
p
(a) dt = a/gd, onde a = k2 /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 cicloide), e
r
a
T12 = ;
g
(b) O tempo decorrido para uma partcula se deslocar do ponto generico (x0 , y0 ),
ou seja, tal que = 0 , ate o ponto mais baixo da trajetoria, e
sin 2
r Z
a
T32 = d;
g 0
q
cos2 0 cos2

2 2
(c) Usando a substituicao de variavel u = cos(/2)/ cos(0 /2), T32 = T12 , inde-
pendentemente do valor de 0 (ponto inicial).
5. Mostre que a superfcie mnima de revolucao tambem e uma catenoide mesmo

quando o eixo de rotacao e y ao inves de x.
6. Estude a existencia das solucoes de Goldschmidt para o problema da superfcie

mnima entre dois crculos de raio y0 cujos centros tem coordenadas (x0 , 0), por
meio das seguintes etapas [Veja http://mathworld.wolfram.com/SurfaceofRevolution.
html e [3], pgs. 1048 e 1049]:
(a) Substituindo (1.46) em (1.40), mostre que a area da catenoide sera

2x0 2x0
A = a2 sinh + ;
a a
(b) Considere, por exemplo, o caso onde x0 = 0, 5 e y0 = 1, para o qual a

razao x0 /y0 = 0, 5 < 0, 663, portanto permitindo solucoes do tipo catenoide,
de acordo com (1.52). Mostre graficamente que ha duas solucoes possveis:
a1 = 0, 234 e a2 = 0, 848, correspondendo a dois valores para a area da catenoide:
A1 = 6, 845 e A2 = 5, 992. Essas solucoes sao ditas curva profunda e curva
rasa, respectivamente, aludindo ao perfil assumido pela catenoide.
(c) A area das solucoes de Goldschmidt e AG = 2y02 . Mostre que, se a area da
catenoide for igual a AG , vale a equacao transcendente (com u = py0 = y0 /a)
p
u u2 1 + cosh1 u u2 = 0,
que tem uma solucao positiva em u0 = 1, 211. Usando esse resultado em (1.48)
mostre que
x0 cosh1 u0
= = 0, 528
y0 u0
de forma que se
(x0 /y0 ) < 0, 528: so ha a solucao do tipo catenoide com curva rasa (pois
A2 e um mnimo absoluto);
0, 528 < (x0 /y0 ) < 0, 663: a catenoide coexiste com a solucao de Goldsch-
midt (mas A2 < AG , de modo que a catenoide com curva rasa torna-se
um mnimo relativo);
(x0 /y0 ) > 0, 663: so ha a solucao de Goldschmidt.
7. Alem da catenoide e da solucao de Goldschmidt, existe ainda uma terceira
solucao 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 = c1 cosh c3 , onde c1 e c3 sao constantes;
(b) Mostre que a area dessa terceira solucao e

x0 x0
c21 sinh 2 + c3 + [cosh2 (c3 ) sinh(2c3 )] + 2
c1 c1
que e maior do que a area de uma unica catenoide, mas e um mnimo relativo;
(c) Plateau propos que filmes de sabao sempre se conectam de tres em tres,
fazendo angulos de 120o entre as respectivas tangentes. Aplicando essa regra
a
conexao entre as catenoides e o disco central, mostre que c3 = sinh1 (1/ 3) =
0, 549, tal que cosh2 (c3 ) sinh(2c3 ) = 0.
(d) Mostre que o valor maximo da razao x0 /y0 para a ocorrencia dessa terceira
solucao e 0, 377.
8. A hipocicloide e a curva produzida por um ponto fixo P sobre um crculo de
raio b que rola sem deslizar pelo interior de um crculo de raio a > b. Sendo
o angulo de rotacao para o segmento que une os centros dos dois crculos e o
ponto P , as equacoes parametricas cartesianas da hipocicloide sao

ab ab
x() = (a b) cos b cos , y() = (a b) sin + b sin ,
b b
Mostre que, em termos do problema do tunel numa esfera de raio a = R, o raio
do crculo menor e b = (R r0 )/2 e que 2t = a/b.
1.7. PROBLEMAS 41
9. Considere uma partcula de massa m sob a acao de um potencial V (, , z)

em coordenadas cilndricas. Obtenha a Lagrangeana da partcula e escreva as
equacoes de Lagrange.
10. O pendulo esferico consiste de uma massa m pendurada por um fio de compri-
mento . A massa m e livre para mover-se no espaco, cuja posicao e determinada
pelos seus angulos e (em coordenadas esfericas).
(a) Obtenha a Lagrangeana da partcula e escreva as equacoes de Lagrange.
(b) Considere o caso particular em que p o fio do pendulo descreve um cone de
pequena abertura 0 . Mostre que = g/d, onde d = cos 0 e a distancia
vertical do plano de rotacao abaixo do ponto de suspensao.
(c) Suponha, agora, que o movimento e quase-conico, ou seja, que = 0 + ,
onde 0 . Expandindo a equacao de Lagrange em serie de potencias mostre
que p
(t) 0 + 0 cos t0 1 + 3 cos2 0
11. Na teoria dos reatores de fissao 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:
2 2
01
+ = C = constante,
R H
onde 01 = 2, 4048... e a menor raiz da funcao de Bessel J0 (R). Ache a relacao
entre R e H.
12. Considere uma elipse de semi-eixos a e b, cuja equacao cartesiana e

x 2 y 2
+ = 1.
a b
Obtenha o retangulo inscrito nessa elipse cuja area seja a maior possvel. Mostre
que, para esse retangulo maximo, a area e 64% da area da elipse.
13. Resolva o problema isoperimetrico considerando que a curva e parametrizada

pela distancia s medida ao longo da curva, tal que as equacoes parametricas da
curva sejam escritas como x = x(s) e y = y(s). A area a ser maximizada e
Z
dx
A= y ds
0 ds
onde e o comprimento total da curva.
14. Um pendulo smples consiste de uma partcula de massa m suspensa por um

fio leve e inextensvel de comprimento . Ache a Lagrangeana, a condicao de
vnculo, e as equacoes de Euler-Lagrange. Resolva essas equacoes para o caso
de pequenas oscilacoes, e encontre a forca de tensao no fio via multiplicadores
de Lagrange.
15. Uma partcula de massa m esta 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, condicao de vnculo, as equacoes de Euler-Lagrange.
Obtenha a posicao radial em funcao do tempo para as condicoes iniciais r(0) = r0
e r(0) = 0. Ache a forca de vnculo exercida sobre a partcula pela haste.
Captulo 2
Metodos variacionais
aplicados
2.1 Revisao sobre a equacao de Sturm-Liouville

A equacao de Sturm-Liouville tem a forma geral

d dy
p(x) s(x)y = r(x)y, (2.1)
dx dx
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. Definindo o operador de Sturm-
Liouville
d d
L p(x) s(x), (2.2)
dx dx
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 y1 e y2 forem solucoes da

equacao (2.3), entao uma combinacao linear das mesmas tambem o sera:
L[c1 y1 + c2 y2 ] = c1 L[y1 ] + c2 L[y2 ]. (2.4)
Em consequencia, as solucoes da equacao (2.1) formam um espaco vetorial linear

real, que e munido de um produto interno definido por
Z b
< y1 , y2 > y1 (x)y2 (x)dx. (2.5)
a
e duas solucoes sao ortogonais se o produto interno entre elas for nulo: <
y1 , y2 >= 0.
A norma de uma solucao y(x) e definida como

||y(x)|| = < y, y >. (2.6)
43
44 CAPITULO 2. METODOS VARIACIONAIS APLICADOS
Como desejamos que a norma das solucoes seja finita

Z b
[y(x)]2 dx < , (2.7)
a
as solucoes y(x) devem ser funcoes de quadrado integral, de modo que o espaco
das funcoes e denotado L2 [a, b]. Em geral, para funcoes complexas, esse espaco
e dito de Hilbert.
Para a discussao atual basta considerarmos condicoes de contorno de Diri-
chlet homogeneas:
y(a) = y(b) = 0 (2.8)
para as quais a equacao de Sturm-Liouville so apresenta solucoes aceitaveis para
determinados valores de = n , denominados autovalores do operador (2.2).
A cada autovalor corresponde um e somente uma solucao 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[y1 ], y2 >=< y1 , L[y2 ] > (2.10)

Em consequencia, os autovalores {n }n=1 sao reais, e as autofuncoes {n (x)}n=1
correspondentes a autovalores distintos sao ortogonais em relacao a funcao peso:
< n , r(x)j >= 0 se i 6= j. Se supusermos, adicionamente, que as autofuncoes
sao normalizadas (norma igual a um) entao temos a chamada condicao de orto-
normalidade (em relacao a funcao peso r(x)):
Z b
i (x)j (x)r(x)dx = ij . (2.11)
a
2.2 A equacao de Sturm-Liouville como um pro-

blema variacional
Vamos mostrar que, se y(x) e uma solucao da equacao de Sturm-Liouville (2.1),
entao o funcional
Z b
K[y] = p(x)yx2 + s(x)y 2 r(x)y 2 dx (2.12)
a
e estacionario. Logo, a equacao de Sturm-Liouville pode ser encarada como uma

equacao de Euler para a funcao
f (y, yx , x) p(x)yx2 + s(x)y 2 r(x)y 2 (2.13)
De fato, abrindo o lado esquerdo da equacao de Euler (1.14):

f d f
= 0
y dx yx
d
2sy 2ry (2pyx ) = 0
dx
2.2. A EQUACAO DE STURM-LIOUVILLE COMO UM PROBLEMA VARIACIONAL45
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
Z b Z b Z b
dy b d
pyx2 dx = pyx dx = pyx y|a y (py )dx (2.14)
a a |{z} dx
| {z } a |{z} |dx {zx }
=u =v
=dv =du
Pelas condicoes de contorno (2.8) o primeiro termo do lado direito e nulo, pois
p(b)yx (b)y(b) p(a)yx (a)y(a) = 0 (2.15)
Logo, o funcional (2.12) fica

Z b
d

K[y] =
dx (p(x)y x ) sy
y y(r(x)y) (2.16)
a

| {z }

=L[y]
que, usando a notacao do produto interno (2.5), resulta em
2
K[y] = < y, L[y] > < y, r(x)y >= < y, L[y] > ||y|| (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 estacionario o funcional K[y] (sem restricoes) equivale
a tornar estacionario o funcional
J[y] = < y, L[y] > (2.18)
sujeito a condicao de vnculo

2
N [y] =< y, r(x)y >= ||y|| = constante, (2.19)
onde passa a ser, aqui, um multiplicador de Lagrange, desde que N/y 6= 0

ou N/x 6= 0.
Podemos, ainda, mostrar que, se y(x) satisfaz a equacao de Sturm-Liouville
sem o termo em :
d dy
p(x) s(x)y = 0 (2.20)
dx dx
entao o funcional (2.18) nao so e um extremo, como tambem e um mnimo. Para
mostrar esse fato, vamos supor uma funcao (x) suave e que satisfaca as mesmas
condicoes de contorno de Dirichlet homogeneas da equacao de Sturm-Liouville:
(a) = (b) = 0, mas que nao seja uma solucao ela propria.
Definimos a funcao
(x) (x) y(x) (2.21)
2
tal que 2 = ( + y) = 2 + 2y + y 2 e
2
x2 = (x + yx ) = x2 + 2x yx + yx2 ,
donde (2.18) e
Z b
J[] = (px2 + s 2 )dx
a
= [p( 2 + 2y + y 2 ) + s(x2 + 2x yx + yx2 )]dx
Z b Z b
= 2 (px yx + sy)dx + (px2 + s 2 ) + J[y].
|a {z } a
=I
A variacao no funcional sera, portanto, dada por

Z b
J J[] J[y] = 2I + (px2 + s 2 )dx. (2.22)
a
Integrando por partes, e usando as condicoes de contorno, temos

Z b Z b
b d
pyx x dx = pyx |a (pyx )dx (2.23)
a | {z } a dx
=0
donde
Z b Z b
d d
I= (pyx ) sy dx = (pyx ) sy dx = 0, (2.24)
a dx a dx
| {z }
=0
em vista de (2.20).
Logo, subsituindo em (2.22),
Z b
J = (px2 + s 2 )dx 0 (2.25)
a
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 solucao da
equacao diferencial). Caso contrario ( 6= y) entao J > 0, ou J[] > J[y], de
forma que J tem um mnimo se y for a solucao da equacao de Sturm-Liouville,
pois qualquer outra funcao que nao seja solucao (mas que satisfaca as mesmas
condicoes de contorno) resultara num valor maior para o funcional J.
Em resumo, a solucao da equacao de Sturm-Liouville L[y] = r(x)y com
condicoes 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 solucao
2
||y(x)|| seja constante. sera o multiplicador de Lagrange associado a esse
vnculo.
2.3 Autofuncoes 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 R3 , o conjunto de versores {i, j, k}
e completo, mas o conjunto {i, j} nao e, pois falta alguem.
2.3. AUTOFUNCOES DE L COMO FUNCOES DE BASE 47
Essa propriedade e razoavelmente facil de verificar em espacos de dimensao

finita, como o Rn , mas como assegurar completeza num espaco de dimensao in-
finita, como o espaco das solucoes da equacao de Sturm-Liouville? Essa questao
esta longe de ser trivial, pois uma combinacao linear de um numero infinito de
vetores so e um vetor do espaco se a serie infinita correspondente convergir para
o respectivo vetor.
No caso da equacao de Sturm-Liouville, se o espaco vetorial das solucoes

y(x) tem uma base, entao 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
X
y(x) = cn n (x). (2.26)
n=1
onde cn =< y(x), n (x) > sao os coeficientes de Fourier generalizados.

A propriedade de completeza significa, nesse conexto, que a serie infinita
acima converge no sentido de media quadratica, ou seja,
Z N
2
b X

lim y(x) cn n (x) dx = 0 (2.27)
N a
n=1

de modo que {n (x)}n=1 e dita uma sequencia de Cauchy.

No momento, as funcoes {n (x)}n=1 satisfazem as condicoes de contorno
mas nao sao necessariamente solucoes da equacao de Sturm-Liouville. O obje-
tivo dessa secao 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 solucoes y(x).
Comecamos substituindo a serie infinita (2.26) no funcional (2.18):
* " #+
X X X
J[y] = cm m , L cn n = cm cn hm , L [n ]i (2.28)
m=1 n=1 m,n
onde usamos a linearidade do operador de Sturm-Liouville. Definindo os coefi-

cientes
Z b
d
Amn = hm , L [n ]i = m (pnx ) + sn dx
a dx
Z b
= (pmx nx + sm n )dx (2.29)
a
onde integramos por partes para obter o resultado final, e denotamos nx =

dn /dx, etc. Desta forma o funcional (2.28) pode ser escrito como uma expansao
bilinear nos coeficientes cn .
X
J[y] = Amn cm cn (2.30)
m,n
Fazendo a mesma na condicao de vnculo (2.19) chegamos a nova expansao

bilinear X X
N [y] = cm cn hm , r(x)n i = Rmn cm cn , (2.31)
m,n m,n
onde definimos Z b
Rmn = hm , r(x)n i = m r(x)n dx. (2.32)
a
Combinando (2.30) e (2.31) o funcional (2.17) e escrito como

X
K[y] = J[y] N [y] = cm cn (Amn Rmn ). (2.33)
m,n

Sendo dado o conjunto completo de funcoes {n (x)}n=1 , os coeficientes Amn
e Rmn sao conhecidos a priori, de forma que os valores estacionarios de K ficam
determinados pelas condicoes variacionais
K
= 0, (j = 1, 2, . . .) (2.34)
cj
Impondo essas condicoes na expansao bilinear (2.33)
K X
= (Amn Rmn )(cm nj + mj cn )
cj m,n
X X
0 = (Amj Rmj )cm + (Ajn Rjn )cn
m n
X
0 = [(Anj + Ajn ) (Rnj + Rjn )]cn
n
onde trocamos m por n, posto que sao ndices mudos.

Pelas definicoes (2.29) e (2.32) e evidente que os coeficientes sao simetricos
mediante a troca dos ndices, de forma que, dividindo por 2, temos

X
(Ajn Rjn )cn = 0, (j = 1, 2, . . .) (2.35)
n=1
que e um sistema linear homogeneo com infinitas 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 coeficientes serao
Amn = n < m , rn >= n mn (2.36)

Rmn = < m , rn >= mn (2.37)
onde usamos a ortonormalidade das autofuncoes (2.11). O sistema linear (2.35)

ficara diagonalizado

X
(n )jn cn = (j )cj = 0, (j = 1, 2, . . .) (2.38)
n=1
Se quisermos solucoes nao-triviais para esse sistema, ou seja cj 6= 0, entao

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 solucoes.
2.4. O METODO 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 satisfaca as condicoes de contorno (a) = (b) = 0, o
funcional de Sturm-Liouville L[] tera um valor maior do que teria para uma
solucao bona fide 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 solucoes aproximadas para o
problema, cuja exatidao pode ser refinada de forma a termos respostas tao pre-
cisas quanto se queira. Por esse motivo, esse metodo e bastante usado em varias
areas como acustica (campo onde foi originalmente proposto por Lord Rayleigh
em ), mecanica quantica, vibracoes mecanicas, analise numerica, entre outras.
N
Nos partimos de um conjunto de N funcoes linearmente independentes {n (x)}n=1
que satisfazem as condicoes de contorno do problema de Sturm-Liouville mas
nao sao autofuncoes de L, de modo que o que procuramos e uma solucao apro-
ximada na forma de uma combinacao linear dessas funcoes
N
X
y(x) = cn n (x) (2.39)
n=1
Substituindo (2.39) no funcional (2.17) e repetindo as manipulacoes algebricas

explicadas na secao precedente obteremos que
X X
N [y] =
K[y] = J[y] m = 1N n = 1N cm cn (Amn Rmn ), (2.40)
onde os chapeus foram colocados em todas as funcoes para denotar o carater

aproximado da solucao procurada:
D h iE
Amn = m , L n (2.41)
D E
Rmn = m , r(x)n (2.42)
Aqui, como antes, a condicao de que o funcional K seja estacionario implica

nas seguintes condicoes variacionais:
K
= 0, (j = 1, 2, . . . N ) (2.43)
cj
Substituindo (2.40) em (2.43) resultara um sistema linear homogeneo porem

finito (ao inves de infinito, como na secao anterior), com N equacoes e N
incognitas, a saber, os coeficientes cj :
N
X
(Ajn Rjn )cn = 0, (j = 1, 2, . . . N ) (2.44)
n=1
Se desejamos que este sistema tenha solucoes nao-triviaix, ou seja, que cj 6=

0, entao o determinante dos coeficientes deve ser nulo:
det(Ajn Rjn ) = 0, (2.45)

que e uma equacao algebrica de grau N . Pelo teorema fundamental da algebra,

N
teremos N razes reais ou complexas, que sao os autovalores aproximados {n (x)}n=1 .
Espera-se que este conjunto reproduza aproximadamente um certo numero 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

Equacao de Helmholtz unidimensional
A equacao de Helmholtz em uma dimensao [[1], pg. 575]
yxx + 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 condicoes de contorno de Dirichlet
homogeneas y(1) = y(1) = 0.
Vamos inicialmente escolher uma unica funcao (N = 1):
1 (x) = 1 x2 (2.47)
que satisfaz as condicoes de contorno 1 (1) = 0, de modo que a solucao apro-

ximada e
y(x) = c1 1 (x) = c(1 x2 ). (2.48)
O funcional (2.40) e, em vista de (2.12), dado por
Z 1
K[y] = yx2 y 2 dx
1
Z 1
2
= 4cx2 c2 (1 x2 ) dx
1

2 8 16
= c (2.49)
3 15
Aplicando a condicao variacional (2.43)

K 8 16
= 2c = 0, (2.50)
c 3 15
temos que
5
= 2, 5
=
2
Naturalmente esse problema tem uma solucao exata, que e
x
y(x) = cos
2
que, derivada duas vezes, fornece
2 x x
yxx = cos = y = cos ,
2 2 2
2.4. O METODO DE RAYLEIGH-RITZ 51
exata
aproximada
0,8
0,6
y(x)
0,4
0,2
0
-1 -0,5 0 0,5 1
x
Figura 2.1: Solucoes exata e aproximada da equacao (2.46).
que fornece o autovalor exato:

2
= = 2, 467...
4
que resulta num erro relativo de apenas 1, 3%, um resultado surpreendente tendo
em vista que estamos aproximando a solucao com apenas uma funcao. Natu-
ralmente isso ocorre pois a funcao que chutamos e, de fato, muito proxima a
solucao exata [Fig. 2.1].
Menor raiz da funcao de Bessel com m = 3

Vamos considerar a equacao de Bessel com m = 3 [[1], pg. 576]

1 2 32
yxx + yx + k 2 y = 0, (0 x 1) (2.51)
x x
com a condicao 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 solucao de (2.51) que e regular (isto e, que
nao diverge) na origem e a funcao de Bessel de ordem m = 3:
y(x) = AJ3 (kx). (2.52)
onde A e uma constante de integracao. Impondo que y(1) = 0 temos que
AJ3 (k) = 0. Se A 6= 0, entao J3 (k) = 0, ou seja, k e uma raiz da funcao
de Bessel de ordem m = 3. As primeiras raizes de J3 (k) sao k1 = 6, 380...,
k2 = 9, 761..., k3 = 13, 015.. e assim por diante [Fig. 2.2]. Logo a solucao exata
correspondendo a menor raiz da funcao de Bessel com m = 3 e
y(x) = AJ3 (k1 x) = AJ3 (6, 380x).
0.5
0.4
0.3
0.2
J3(x) 0.1
0.1
0.2
0.3
0 2 4 6 8 10 12 14 16 18 20
x
Figura 2.2: Funcao de Bessel de ordem m = 3.
Usamos o metodo de Rayleigh-Ritz empregando, como funcao tentativa,
1 (x) = x3 (1 x) (2.53)
que satisfaz as condicoes de contorno, pois 1 (0) = 0 e 1 (1) = 0; de modo que

y = cx3 (1 x) e montamos o funcional (2.49):
Z 1h i
K[y] = p(x)yx2 + s(x)y 2 k 2 r(x)y 2 dx
0
Z 1
9
= xyx2 + y 2 k 2 r(x)y 2 dx
0 x
Z 1 h i 9
2 2 2
= c2 x 9x4 (1 x) 6x5 (1 x) + x6 + [x6 (1 x) k 2 x7 (1 x) dx
x
0
1 1 2
= c2 k
8 360
Aplicando
a condicao 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 secao anterior, pode ser generalizada de forma elegante para o problema da
razao entre dois funcionais lineares quaisquer num espaco vetorial apropriado.
Como veremos mais tarde, uma das aplicacoes do metodo da razao e na esti-
mativa de nveis de energia em problemas de mecanica quantica. Inicialmente,
porem, vamos apresentar o formalismo geral, que impoe condicoes bastante am-
plas.
2.5. O METODO DA RAZAO NO CALCULO VARIACIONAL 53
2.5.1 Calculo com o smbolo

Na secao 1.1. nos introduzimos o smbolo denotando variacao do funcional
J[y] da seguinte forma:
J
J = d (2.54)
=0
onde e um parametro que rotula os varios caminhos possveis que conectam
os pontos fixos em relacao aos quais consideramos o problema variacional. A
escolha = 0 corresponde ao caminho que torna o funcional J[y] estacionario,
em relacao a pequenas variacoes do argumento, tambem definidas como

y
y = d (2.55)
=0
Embora nao seja uma diferencial autentica, ela satisfaz as mesmas propri-
edades de calculo de uma diferencial, de forma que podemos realizar operacoes
elementares sobre funcionais, como
(c1 J1 + c2 J2 ) = c1 J1 + c2 J2 , (2.56)
(J1 J2 ) = (J1 )J2 + J1 (J2 ), (2.57)

J1 J2 (J1 ) J1 (J2 )
= 2 . (2.58)
J2 (J2 )
dentre outras, que podem ser demonstradas a partir da definicao (2.54). Por
exemplo,

(c1 J1 + c2 J2 )
(c1 J1 + c2 J2 ) = d
=0

J1 J2
= c1 d + c2 d
=0 =0
= c1 J1 + c2 J2 ,
e assim por diante.
2.5.2 Teoria geral

Vamos trabalhar com espacos vetoriais complexos, de dimensao finita ou (mais
geralmente) infinita. 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, entao
F [ay + bz] = aF [y] + bF [z], G[ay + bz] = aG[y] + bG[z], (2.59)

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-definido
< y, G[y] > 0 (2.62)
sendo que a igualdade vale se e so 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
condicoes acima citadas, sao 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] >, (2.67)

| {z }
>0

ja que y 6= 0. Logo = , portanto e sempre real, como queramos demonstrar.
Se x e y forem funcoes definidas num certo intervalo I R, podemos cons-
truir funcionais sobre esse intervalo a partir dos produtos internos e dos opera-
dores acima definidos:
Z
J[y] = < y, F [y] >= y (x)F [y(x)]dx, (2.68)
ZI
N [y] = < y, G[y] >= y (x)G[y(x)]dx, (2.69)
I
tal que podemos definir um novo funcional como a razao destes dois:
J[y]
[y] = . (2.70)
N [y]
Caso as condicoes (2.59)-(2.62) valham para todas as funcoes do espaco em

questao, entao vale o seguinte teorema: o funcional [y] sera estacionario para
pequenas variacoes do vetor y se e somente se y satisfizer a equacao generali-
zada de autovalores 2.63, onde os autovalores sao os valores estacionarios do
funcional [y]. Observe que, no enunciado, falamos numa condicao de duplo
sentido: se e somente se. Isso significa que (2.63) implica em = 0 (condicao

necessaria), tanto como = 0 implica em (2.63) (condicao suficiente) . 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 infinitesi-
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] >
| {z }
=<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 J JN
= =
N N2
1
= 2 < y, G[y] > < y, F [y] > + < y, F [y] > + < y, F [y] >
< y, G[y] >

< y, F [y] > < y, G[y] > + < y, G[y] > + < y, G[y] >
Supondo, agora, que y satisfaca a equacao de autovalores generalizada (2.63),

teremos
1
= 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] > + < 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 implicacao
no sentido inverso, concluimos que a razao 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 especfico,
F e o operador de Sturm-Liouville L[y] e G[y] = r(y)y, cuja razao e estacionaria
quando for o autovalor correspondente da equacao de Sturm-Liouville (2.3).
2.5.3 O metodo da razao na mecanica quantica

A equacao de Schrodinger
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-mecanica de massa m movendo-se em uma dimensao sob a influencia de
um potencial V (x) e
~2 d 2
(x) + V (x)(x) = E(x), (2.74)
2m dx2
onde ~ = h/2 = 1, 05457148 1034 m2 .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 sao, em geral,
complexas, elas pertencem a um espaco de funcoes complexas de quadrado in-
tegravel, chamado espaco de Hilbert. Nesse espaco o produto interno e definido
como 1 Z b
< 1 |2 (x) >= 1 (x)2 (x)dx. (2.75)
a
Definindo o operador Hamiltoniano
~2 d 2
H + V (x), (2.76)
2m dx2
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) sao as autofuncoes do operador hamiltoni-
ano, cujos autovalores correspondentes sao os valores da energia E da partcula.
Impondo condicoes de contorno apropriadas ao problema quanto-mecanico, sa-
bemos que so ha solucoes para determinados autovalores discretos da energia

{En }n=1 (quantizacao), correspondendo as autofuncoes {n }n=1 .
O operador Hamiltoniano e auto-adjunto no espaco de Hilbert, tambem cha-
mado hermitiano, pois
< H1 |2 (x) >=< 1 |H2 (x) > . (2.78)
Como consequencia, os autovalores de energia sao reais, e as autofuncoes cor-
respondendo a autovalores distintos sao ortogonais:
< m |n (x) >= N mn , (2.79)
onde N =< n |n (x) > e uma constante de normalizacao.

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
(x) = cn n (x), (2.80)
n=1
1 Usamosa notacao bra(c)ket para o produto interno na mecanica quantica, imitando Dirac.
2 Tambemde acordo com o uso consagrado na mecanica quantica, escreveremos H ao
inves de H[].
onde os coeficientes sao dados por

< |n (x) >
cn = (2.81)
< n |n (x) >
e, fisicamente, sao amplitudes de probabilidade para os autovalores de energia
correspondentes.
O metodo da razao aplicado a equacao de Schrodinger

As funcoes de onda de quadrado integravel adaptam-se sem problemas aos re-
quisitos da teoria geral para a aplicacao do metodo da razao. Alem disso, o
operador Hamiltoniano e linear e auto-adjunto, e o operador identidade (de-
finido como I[] = ) e trivialmente linear, auto-adjunto e positivo-definido.
Nesse caso, os funcionais J e N serao, respectivamente, dados por
Z b
J[] = < |H >= (x)H(x)dx =
a
Z b
2
~ d2
(x) + V (x)(x) dx (2.82)
a 2m dx2
Z b
N [] = < | >= (x)(x)dx. (2.83)
a
O funcional correspondente a razao de J e N corresponde, na teoria da

mecanica 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
< n |Hn > En < n |n >
< H > [n ] = = = En (2.85)
< n |n > < n |n >
Pelo teorema da secao anterior, o valor esperado do Hamiltoniano e esta-
cionario ( < H >= 0) sob variacoes infinitesimais da funcao de onda ().
Alem disso, esse valor esperado e, de fato, um mnimo [pode-se ver a prova
dessa afirmacao em [4], pg. 313, por exemplo]. Portanto, usando uma outra
funcao (x) que nao seja a autofuncao mas satisfaca as mesmas condicoes 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 mecanica 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 solucao analtica, o que e bastante frequente nas aplicacoes
em fsica atomica e molecular.
Escolhemos uma funcao-tentativa (x) (ou uma combinacao linear delas)
que satisfaz as mesmas condicoes de contorno do problema e depende de um ou
mais parametros variacionais c1 , c2 , . . .. Computamos, entao, o valor esperado
do hamiltoniano para essa funcao tentativa
< |H >
< H > [] = (2.86)
< | >
V(x)
Eo
a 0 a x
Figura 2.3: Poco de potencial quadrado infinito.
que devera tambem ser uma funcao dos parametros c1 , c2 , . . .. Nos tornamos
esse funcional estacionario (na verdade, um mnimo) impondo as condicoes va-
riacionais
<H>
= 0, (j = 1, 2, . . .) (2.87)
cj
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 > [] E0 , a igualdade so ocorrendo se a funcao-
tentativa for a propria autofuncao do estado fundamental.
Poco de potencial quadrado infinito

Como um primeiro exemplo do metodo da razao na mecanica quantica, vamos
considerar uma caixa unidimensional de paredes infinitamente rgidas tem um
potencial dado por [Fig. 2.3]
(
0, se a x a,
V (x) = (2.88)
, se x a ou x a.
Como as paredes sao 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 /2md2 /dx2 .
Usando a funcao-tentativa real
(x) = c(a2 x2 ), (2.89)
onde c e o parametro variacional, e que satisfaz as condicoes 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
d2
= 2c,
dx2
os funcionais (2.82) e (2.83) serao

Z a ! Z a
~2 d2 ~2 2 2 4c2 ~2 a3
J[] = = (x) dx = c(2c) (a x )dx = (2.90)
a 2m dx2 2m a 3m
Z a Z a 2 5
16c a
N [] = (x)(x)dx = c2 (a2 x2 )dx = (2.91)
a a 15
e o valor esperado do hamiltoniano sera
< |H > 4c2 ~2 a3 /3m ~2 5
< H > [] = = = . (2.92)
< | > 16c2 a5 /15 m 4a2
Observe que, como < H > nao depende do parametro variacional nao e ne-
cessario minimizar < H > em relacao a ele.
O problema do poco quadrado infinito e exatamente soluvel. A autofuncao
(normalizada) do estado fundamental e [veja, por exemplo, [6], pg. 47]
1 x
(x) = cos ,
a 2a
correspondente ao autovalor de energia
~2 2
E0 = ,
m 8a2
de modo que o metodo variacional foi capaz de estimar esse valor com um erro
de 1, 63%. Nov
d2
= 2c,
dx2
os funcionais (2.82) e (2.83) serao
Z a ! Z a
~2 d2 ~2 4c2 ~2 a3
J[] = =
(x) 2
dx = c(2c) (a2 x2 )dx = (2.93)
a 2m dx 2m a 3m
Z a Z a
16c2 a5
N [] = (x)(x)dx = c2 (a2 x2 )dx = (2.94)
a a 15
< |H > 4c2 ~2 a3 /3m ~2 5
< H > [] = = 2 5
= . (2.95)
< | > 16c a /15 m 4a2
Observe que, como < H > nao depende do parametro variacional nao e ne-
cessario minimizar < H > em relacao a ele.
O problema do poco quadrado infinito e exatamente soluvel. A autofuncao
(normalizada) do estado fundamental e [veja, por exemplo, ]
1 x
(x) = cos ,
a 2a
correspondente ao autovalor de energia
~2 2
E0 = ,
m 8a2
de modo que o metodo variacional foi capaz de estimar esse valor com um erro
de 1, 63%. Novamente, esse bom resultado se justifica pela proximidade entre a
funcao de onda verdadeira e aquela usada como tentativa [veja a Fig. 2.4].
exata
aproximada
0,8
0,6

0,4
0,2
0
-1 -0,5 0 0,5 1
x
Figura 2.4: Autofuncoes exata e aproximada para o estado fundamental de uma

partcula num oco de potencial quadrado infinito, com a = 1.
Oscilador harmonico
[[5], pg. 1151]

O potencial para um oscilador harmonico unidimensional e [Fig. 2.5]
1
V (x) = m 2 x2 , (2.96)
2
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
~2 d 2 1
H= 2
+ m 2 x2 . (2.97)
2m dx 2
Como estamos procurando estados ligados, as autofuncoes de energia da partcula

para esse problema devem anular-se no infinito
(x) 0, se |x| .
Vamos usar como funcao-tentativa
2
(x) = ex , (2.98)
2.6. PROBLEMAS 61
V(x)
Eo
0 x
Figura 2.5: Oscilador harmonico.
onde > 0 sera o parametro variacional. Os funcionais (2.82) e (2.83) serao

Z !
x2 ~2 d2 1 2 2 2
J[] = = e 2
+ m x ex dx =
2m dx 2
2 Z
~ 1 21 2
= + m e2x , (2.99)
2m 8
Z
2
N [] = e2x , (2.100)

~2 1 1
< H > [] = + m 2 (2.101)
2m 8
Aplicando a condicao variacional (2.87)

<H> ~2 1 1
= m 2 2 = 0, (2.102)
0 2m 8
que fornece o valor do parametro que minimiza < H >

m
0 = , (2.103)
2~
dando
1
< H > (0 ) = ~, (2.104)
2
que e igual ao valor exato da energia do estado fundamental E0 . Naturalmente
isso ocorreu pois nossa funcao tentativa e identica a autofuncao exata.
2.6 Problemas
1. Mostre que o operador de Sturm-Liouville e
(a) linear: L[c1 y1 + c2 y2 ] = c1 L[y1 ] + c2 L[y2 ];

(b) auto-adjunto: < L[y1 ], y2 >=< y1 , L[y2 ] >
2. Demonstre que:
(a) os autovalores do operador L sao reais;
(b) as autofuncoes de L correspondentes a autovalores distintos sao ortogonais
3. Resolva a equacao de Helmholtz unidimensional (2.46) usando o metodo de

Rayleigh-Ritz como uma combinacao linear de duas funcoes-tentativa:
1 (x) = 1 x2 , 2 (x) = x2 (1 x2 ),
Compare o valor de com o resultado exato e calcule o erro relativo percentual.

Interprete seu resultado em termos do carater das funcoes tentativa empretadas.
4. Considere a equacao de Bessel de ordem m = 0:

1
yxx + yx + y = 0, (0 x 1)
x
com as condicoes de contorno y(0) < e y(1) = 0. Use o metodo de Rayleigh-
Ritz com a funcao tentativa
1 (x) = a + bx2 + cx4 ,
e mostre que o autovalor aproximado e uma solucao da equacao quadratica

32 128 + 640 = 0. Estime o erro do autovalor bom, e explique o autovalor
ruim que tambem e obtido.
5. A partir da definicao (2.22) mostre as propriedades (2.5) e (2.58) do smbolo .
6. Considere o problema de uma partcula num poco potencial quadrado infinito.

Estime a energia do estado fundamental usando, como funcao tentativa,
(x) = |a| |x|
onde e um parametro 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 harmonico usando uma

funcao tentativa
1
(x) = 2
x +a
onde a > 0 e um parametro variacional.
8. Voce pode usar o metodo variacional para obter a energia do primeiro estado
excitado do oscilador harmonico (n = 2). Use a funcao tentativa
2
(x) = xex
9. Considere uma partcula sujeita ao potencial V (x) = x4 . Use o metodo varia-

cional para estimar a energia do estado fundamental, usando a funcao tentativa
2
(x) = ex
2
~
Compare seu resultado com a solucao exata desse problema: E0 = 1, 06 2m k1/3 ,
2
onde k = 2m/~ .
2.6. PROBLEMAS 63
10. O metodo variacional na mecanica quantica pode ser generalizado para tres
dimensoes. Os funcionais (2.82) e (2.83) serao dados por
Z 2
~
J[] = < (r)|H(r) >= d3 r ( ) + V (r) (r)(r)
2m
Z
3
N [] = < (r)|(r) >= d r (r)(r)
Usando a funcao tentativa,

(
r

1
, se r ,
(r) =
0, se r > .
com fazendo o papel de parametro variacional, estime a energia do estado

fundamental do atomo de hidrogenio, onde V = ke2 /r, com k = 1/40 .
11. Repita o problema anterior com a funcao tentativa

2
(r) = er
Resposta: 11, 5eV (o valor experimental e 13, 6eV ).
12. Use o metodo variacional para estimar a energia de ligacao de um deuteron

(nucleo de deuterio), supondo que o potencial de interacao entre o proton e o
neutron e
V (r) = Aer/r0
e use uma funcao tentativa (x) = Cer , onde A e C sao constantes de nor-
malizacao, r0 e um comprimento caracterstico do potencial, e e o parametro
variacional. A resposta e 2, 1M eV . O valor experimental e 2, 24M ev.
Referencias Bibliograficas
[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

Calculo Variacional PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Calculo Variacional PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Calculo Variacional

Prof. Dr. Ricardo L. Viana

2 Metodos variacionais aplicados 43

1.1 Uma variavel independente e uma depen-

seja um extremo (maximo, mnimo ou ponto de inflexao). Em outras palavras,

1.1.1 Parametro variacional

y(x, ) = y(x, 0) + (x), (1.2)

Figura 1.1: Parametrizacao de caminhos ligando dois pontos fixos.

pois ela nao e diferenciavel em x = 1/2.

1.1.2 Deducao da equacao de Euler

A condicao imposta ao caminho otimo y(x, 0) de que torne o funcional acima

Diferenciando (2.28) em relacao a teremos

Integrando por partes o segundo termo do lado direito

tal que a primeira parcela resultante da integracao por partes e identicamente

Multiplicando por d e calculando as derivadas em relacao a para o cami-

Vamos denominar variacao da integral J a seguinte expressao

assim como, analogamente, a variacao de y sera

com as quais reescrevemos (1.9) como

A condicao (1.4) para que a integral J seja estacionaria e, portanto, simples-

Leonhard Euler chegou a equacao acima em 1744, no seu trabalho Metodo

1.1.3 Identidade de Beltrami

Para deduzir essa identidade, consideremos primeiramente a derivada total

Substituindo (1.16) em (1.17),

que, por integracao, nos leva a identidade de Beltrami (1.15).

1.2 Aplicacoes da equacao de Euler

na forma de um funcional integral.

A solucao y(x) = ax + b representa um segmento de reta entre dois pontos.

Prova de que o extremo e um mnimo

onde yx = yx (x, ), e comparar com o comprimento da curva otima (1.26):

Pela parametrizacao dada por (1.2), diferenciando em relacao a x temos que

onde yx0 = a. Usando o teorema binomial nos expandimos o integrando acima

donde L 0, ou L[y(x, )] L[y(x, 0)], a igualdade so valendo para o caso

Figura 1.2: A braquistocrona.

onde ds e o elemento de arco dado por (1.22). Para achar a velocidade v

podemos usar, alternativamente, a identidade de Beltrami (1.15):

Quadrando ambos os membros obtemos a seguinte equacao diferencial

Vamos introduzir um parametro 0 < 2 atraves da seguinte substituicao

Figura 1.3: Superfcies de revolucao de area mnima.

A braquistocrona tem uma outra propriedade notavel, e aparentemente pa-

1.2.3 Superfcies de revolucao e filmes de sabao

que se pretende minimizar. p

Isolando yx2 nessa expressao teremos

A equacao diferencial acima pode ser imediatamente integrada:

onde b e uma constante de integracao. Invertendo temos a equacao da curva

Outras solucoes do problema

Figura 1.4: Superfcies de revolucao de area mnima.

Figura 1.5: Solucoes do problema de area mnima

Como os valores de x0 , e y0 estao amarrados pela condicao (1.47), nao

py0 = cosh(px0 ). (1.48)

Diferenciando em relacao a p ambos os membros

Denotando o valor maximo de x0 por x0 , temos a condicao de maximo

Figura 1.6: Tunel em uma esfera.

tal que (1.49) fique

1.2.4 Tunel em uma esfera

numa esfera homogenea de massa M e raio R, para o qual o campo gravitacional

Introduzindo coordenadas polares (r, ) o elemento de arco (1.22) e escrito como

de modo que o funcional a ser minimizado e

Como o integrando nao depende explicitamente de , podemos usar a iden-

onde podemos exprimir a constante de integracao C em termos de r0 , que e a

Dividindo (1.57) e (1.58) membro a membro obtemos a seguinte equacao

onde (r0 ) = 0 corresponde ao ponto de maxima aproximacao. O angulo cen-

a equacao (1.60) da trajetoria que minimiza o tempo de percurso e

1.3 Uma variavel independente e varias depen-