Metodos Variacionais

Prof. Dr. Ricardo L. Viana

Departamento de Fsica
Universidade Federal do Parana
Curitiba - PR
13 de maio de 2014

Introduc
ao

O calculo variacional surgiu em meados do Seculo XVIII, tendo sido criado por
Euler, Lagrange e outros matematicos para a resolucao de problemas geometricos
envolvendo a determinacao de curvas ou superfcies que maximizassem ou minimizassem determinadas quantidades. Muitos princpios basicos da Fsica s
ao
expressos sob a forma de princpios variacionais. Podemos citar o princpio de
Hamilton da mec
anica classica, o princpio de Fermat da otica geometrica, entre
outros. O uso do calculo variacional prove uma metodologia elegante e geral
para a solucao de v
arios problemas da Fsica Matem
atica. Nesta parte do curso
estudaremos a formulacao de problemas variacionais para uma ou mais variaveis
dependentes e/ou independentes, procurando exemplificar os assuntos vistos
com aplicacoes de interesse fsico. Posteriormente iremos tratar a equacao de
Sturm-Liouville como um problema de calculo variacional e, como consequencia,
veremos um metodo devido a Rayleigh e Ritz, para a determinacao aproximada
de solucoes de problemas variacionais, o qual tem aplicacoes diversas que v
ao
desde a Ac
ustica `
a Mecanica Qu
antica.

Equac
ao de Euler para uma vari
avel independente e uma dependente

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
f (y, yx , x)dx
J=
(1)
x1

seja um extremo (m
aximo, 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 estacion
aria. A integral J e um funcional, pois nao depende s
o
dos valores de y e sua derivada num dado ponto x, mas sim em todos os pontos
1

y
2

= 1
=0

y
1

3
x

x
1

x
2

Figura 1: Parametrizacao de caminhos ligando dois pontos fixos.

do intervalo x1 x x2 , ja que a integral (131) depende do caminho escolhido
entre esses pontos.

2.1

Par
ametro variacional

H
a, 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 par
ametro
variacional , de modo que cada caminho seja caracterizado por y(x, [Fig.
1]. Para um dado valor de , como = 0, o caminho
otimo correspondente,
denotado por y(x, 0) torna J estacion
aria.
Suporemos que cada caminho seja uma deformacao contnua do caminho
otimo no sentido de que podemos escrever
y(x, ) = y(x, 0) + (x),

(2)

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
2

anterior, isso significa que n

ao 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.

2.2

Dedu
c
ao da equa
c
ao de Euler

O funcional integral (131), com o auxlio do par

ametro variacional , pode ser
reescrito como
Z x2
f (y(x, ), yx (x, ), x)dx.
(3)
J() =
x1

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

estacion
ario implica em
 
J
= 0.
(4)
=0
Diferenciando (3) em relacao a teremos

Z x2 
f y
f yx
J
dx.
=
+

y yx
x1

(5)

Integrando por partes o segundo termo do lado direito

x


Z x2
Z x2
f y  2
f yx
f
y d
dx =
dx

yx x1
dx yx
x1 yx |
x1 |{z}
|{z} {z }
|
{z
}
=u

=v

=dv

(6)

=du

Como todas as curvas parametrizadas por devem passar pelos pontos fixos,
 
 
y
y
= 0,
= 0,
(7)
x1
x2

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

nula, restando, ent
ao


Z x2 
f
d
f
y
J
=

dx.
(8)

y
dx
y

x
x1
Multiplicando por d e calculando as derivadas em relacao a para o caminho
otimo = 0 teremos
 


Z x2 
f
J
f
d
y
d =

ddx.
(9)
=0
y
dx yx

x1
Vamos denominar variaca
o da integral J a seguinte expressao
 
J
d,
J
=0
assim como, analogamente, a variacao de y sera
 
y
y
d,
=0
3

(10)

(11)

com as quais reescrevemos (9) como



Z x2 
f
d
f
ydx.

J =
y
dx yx
x1

(12)

A condicao (4) para que a integral J seja estacion

aria e, portanto, simplesmente
J = 0.
(13)
Impondo essa condicao em (12), como y e arbitrario, concluimos que, necessariamente, o termo entre colchetes deve anular-se, o que fornece a equacao de
Euler 1


f
f
d
(14)

= 0.
y
dx yx
Leonhard Euler chegou `
a equacao acima em 1744, no seu trabalho Metodo
para achar curvas planas que mostram algumas propriedades de m
aximos e
mnimos. Posteriormente, em 1760, Joseph Louis Lagrange aprofundou a analise
previa de Euler no seu trabalho Ensaio sobre um novo metodo para determinar
os m
aximos e mnimos de f
ormulas integrais indefinidas. Por esse motivo, dentro do contexto da mec
anica, a expressao (14) e tambem chamada de equacao
de Euler-Lagrange.

2.3

Aplica
c
ao: Menor dist
ancia entre dois pontos

O elemento de comprimento de um arco no plano e dado por

s
 2
p

p
dy
2
2
ds = dr dr = dx + dy = dx 1 +
= dx 1 + yx2 ,
dx

(15)

de tal sorte que o comprimento total de uma curva plana ligando os pontos de
coordenadas (x1 , y1 ) e (x2 , y2 ) e
L=

ds =
1

x2
x1

p
dx 1 + yx2 ,

(16)

na forma de um funcional integral.

Desejamos encontrar a curva ligando os pontos 1 e 2 tal que o seu comprimento L seja mnimo. Do ponto de vista do calculo variacional, isso implica
em achar y(x) tal que a integral L seja estacion
aria (um mnimo, na verdade,
mas essa e uma quest
ao p
posterior), ou seja, resolver a equacao de Euler (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
C2
yx =
a,
1 C2
1A

equac
ao de Euler
e uma condic
ao necess
aria, por
em n
ao suficiente para que J = 0.

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 s
ao determinadas pela
resolucao do seguinte sistema de equacoes lineares
ax1 + b
ax2 + b

=
=

y1 ,
y2 ,

isto e,
a

y1 y2
,
x1 x2
y2 x 1 y1 x 2
.
x1 x2

(17)
(18)

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 s
ao chamadas geodesicas dessa superfcie. Numa superfcie esferica,
por exemplo, a geodesica entre dois pontos e o menor arco de crculo maximo (o
centro coincide com o centro da esfera) que conecta estes pontos. Na relatividade
geral, o espaco-tempo quadridimensional e curvo, e a geodesica generaliza a
nocao de linha reta para este espaco. Uma partcula livre, na relatividade geral,
sempre move-se ao longo de uma geodesica do espaco-tempo curvo.

2.4

Identidade de Beltrami

Quando a funcao f no funcional integral (131) nao depende explicitamente da

variavel independente x, e possvel reduzir a equacao de Euler-Lagrange `a seguinte identidade, descoberta por Beltrami em 1868:
f yx

f
= C = constante.
yx

(19)

Para deduzir essa identidade, consideremos primeiramente a derivada total

da funcao f (y, yx , x):
df
dx

=
=

f dy
f dyx
f
+
+
y dx yx dx
x
f
f
f
yx +
yxx +
,
y
yx
x

onde podemos isolar

f
df
f
f
yx =

yxx
.
y
dx yx
x
Multiplicando a equacao de Euler (14) por yx obtemos


f
f
d
yx
= 0.
yx
y
dx yx

(20)

(21)

Substituindo (20) em (21),

f
f
d
df

yxx
yx
dx yx
x
dx
5

f
yx

= 0.

(22)

y
x

1
0

Figura 2: A braquistocrona.
Como

d
dx

f
yx
yx

f
d
= yxx
+ yx
yx
dx

f
yx

(23)

a expressao (22) fornece, apos um pequeno rearranjo, uma forma alternativa da

equacao de Euler:


f
f
d

f yx
= 0.
(24)
+
x dx
yx
Caso f nao dependa explicitamente de x, ent
ao


f
d
f yx
= 0.
dx
yx

f
x

= 0 e (24) reduz-se a
(25)

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

2.5

Aplica
c
ao: Braquist
ocrona

O problema da braquist
ocrona consiste em achar a trajet
oria pela qual uma
partcula deslizando a partir do repouso, sem atrito, e acelerada unicamente
pela gravidade, vai de um ponto a outro (num plano vertical) no menor tempo
possvel. Ele foi formulado pela primeira vez por Johann Bernoulli em 1696, sob
a forma de um desafio lancado aos maiores matematicos do seu tempo. Cinco
deles enviaram suas solucoes: Newton, Jacob Bernoulli (irmao de Johann), Leibnitz, LH
opital, alem do proprio Johann Bernoulli. Todos eles, usando diferentes
metodos geometricos, encontraram corretamente a curva como sendo um arco de
cicloide. Os metodos usados pelos irmaos Bernoulli para resolver o problema da
braquist
ocrona 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
t12 =

Z
6

2
1

ds
,
v

(26)

onde ds e o elemento de arco dado por (15). Para achar a velocidade v como
fun
cao da elevacao y podemos usar conservacao de energia, o que fornece v =
2gy. Substituindo em (26) teremos o funcional integral
Z xs
1 + yx2
dx.
(27)
t12 =
2gy
0
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 (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 (19):
f yx

f
yx

yx2 (1 + yx2 )

(2gy)

1/2

(1 + yx2 )

1/2

(2gy)

1/2

(1 + yx2 )

1/2

1/2

(2gy)

1/2

+ (1 + yx2 )

1/2

yx2 + (1 + yx2 )

(2gy)

1/2

Quadrando ambos os membros obtemos a seguinte equacao diferencial

y(1 + yx2 ) =

1
k2 ,
2gC 2

(28)

onde k e uma nova constante. Isolando dx e tomando apenas o sinal positivo

para a raiz quadrada, obtemos
r
y
dy.
(29)
dx =
2
k y
Vamos introduzir um par
ametro 0 < 2 atraves da seguinte substituicao
trigonometrica
 
k2

y() =
,
(30)
(1 cos ) = k 2 sin2
2
2
que, substituida em (29), e apos algumas simplificacoes, fornece
 

2
2
d
dx = k sin
2

(31)

tal que a outra coordenada pode ser encontrada, sob a forma parametrica, por
integracao dessa expressao
 
Z
Z
k2

2
2
x = dx = k
d =
sin
( sin ) + k12 ,
(32)
2
2
onde k12 e uma nova constante de integracao, que se anula pela condicao de
contorno y(0) = 0. A braquistocrona, ent
ao, e determinada pelas seguintes
equacoes parametricas:
x()

y()

k2
( sin ),
2
k2
(1 cos ),
2
7

(33)
(34)

y
y

ds

x1

x2

Figura 3: Superfcies de revolucao de area mnima.

que s
ao as equacoes de uma cicl
oide.
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 par
ametro
como o
angulo que o raio vetor do ponto fixo faz com um raio vetor de
referencia. Num ciclo completo, portanto, o par
ametro vai de zero a 2. Ela
foi estudada primeiramente por Galileu em 1599, que tentou achar a sua area
experimentalmente (!) cortando e pesando 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.
A braquist
ocrona tem uma outra propriedade notavel, e aparentemente paradoxal: 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! Por esse motivo a cicloide e tambem uma
taut
ocrona. Essa propriedade foi descoberta por 1673 por Huyghens, que a utilizou no (tambem sua invencao) rel
ogio de pendulo. Para garantir o isocronismo
das suas oscilacoes, ele adaptou no ponto de suspensao 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
(is
ocronos), o que melhorou bastante a precis
ao do rel
ogio.

2.6

Aplica
c
ao: Superfcies de revoluc
ao e filmes de sab
ao

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. 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 circulares.
Sob esse u
ltimo ponto de vista, o problema das superfcies de revolucao
tem uma aplicacao fsica muito interessante. Filmes lquidos de sab
ao tem uma
energia livre de Gibbs F proporcional `a area A da sua superfcie: F = f A, onde
f e o coeficiente de tensao superficial do lquido. Se o filme de sab
ao estiver

em equilbrio termodin
amico, a energia livre de Gibbs deve ser mnima. Como
f s
o depende da temperatura do lquido, se esta e constante, ent
ao o filme de
sab
ao 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
(35)
dA = (2y)(ds) = 2y 1 + yx2 dx,
onde usamos (15). A
area total da superfcie sera, portanto, o funcional integral
Z x2 p
(36)
y 1 + yx2 dx,
A = 2
x1

que se pretende minimizar. p

Como o integrando f = y 1 + yx2 nao depende explicitamente de x podemos
usar a identidade de Beltrami (19) no lugar da equacao de Euler (14):
f yx
Multiplicando por

p
yy 2
f
= a = const.
= y 1 + yx2 p x
yx
1 + yx2

p
1 + yx2 obtemos

y(1 + yx2 ) yx2 y = y = a

Isolando yx2 nessa expressao teremos

(37)

1 + yx2 .

dx
1
a
=
=p
.
2
dy
yx
y a2

A equacao diferencial acima pode ser imediatamente integrada:

Z
y
dy
x=a p
+b
= a cosh1
a
y 2 a2

(38)

(39)

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

procurada


xb
,
(40)
y(x) = a cosh
a
denominada caten
aria na literatura. As constantes a e b s
ao determinadas
implicitamente pelas coordenadas dos pontos fixos




x1 b
x2 b
y1 = a cosh
,
y2 = a cosh
,
(41)
a
a
A superfcie de revolucao gerada pela caten
aria e chamada de caten
oide, e seria
tambem obtida se a rotacao fosse feita em torno do eixo das ordenadas, ao
inves das abscissas. Foi Euler quem, em 1744, mostrou que a caten
oide e uma
superfcie de mnima
area.

Equac
ao de Euler para uma vari
avel independente e v
arias dependentes

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 estacion
ario
Z x2
f (y1 , y2 , . . . yn ; y1x , y2x , . . . ynx ; x)dx,
J=

(42)

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),

(43)

onde i (x) representam as deformacoes continuamente diferenciaveis para cada

i = 1, 2, . . . n, e que s
ao independentes entre si, anulando-se nos extremos:
i (x1 ) = i (x2 ) = 0.
Diferenciando o funcional (42) em relacao a teremos
Z x2
f
J
=

x1

Z x2
n 
X
f yi
f yix
dx
=
+
yi
yix
x1
i=1


Z
n
x
2
X
f
f
(44)
i +
ix
dx
=
yi
yix
i=1 x1
onde usamos o teorema de Schwartz para escrever
yix
dyi
d
yi
di
=
=
=
=
= ix .

dx
dx

dx
Integrando por partes a parcela
x


Z x2
Z x2
d
f
f di
f  2
i
dx
dx =
i 
yix x1
dx yix
x1 yix dx
x1
| {z }

(45)

(46)

=0

e impondo que o funcional integral sera estacion

ario se estivermos no caminho
otimo entre os pontos fixos
 
J
= 0.
(47)
=0
chegamos a

n Z
X
i=1

x2

dxi
x1

f
d

yi
dx
10

f
yix



=0

(48)

Como os i s
ao todos mutuamente independentes, para que a condicao acima
subsista para quaisquer deformacoes, cada termo entre os colchetes deve anularse identicamente, fornecendo uma equacao de Euler para cada variavel dependente em separado:
d
f

yi
dx

3.1

f
yix

= 0,

(i = 1, 2, . . . n)

(49)

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 mec
anica
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 coordenadas 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 s
ao possveis.
A energia cinetica e, em geral, uma funcao das velocidades generalizadas,
enquanto a energia potencial usualmente depende das coordenadas generalizadas 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 mec
anica diz que a trajet
oria de um sistema entre dois pontos fixos em t = t1 e t = t2 , e aquela que torna estacion
aria
a seguinte integral de acao
Z t2
L(qi , qi , t)dt,
(50)
J=
t1

que e um problema variacional com uma variavel independente e n dependentes,

e que implica resolvermos n equacoes de Euler da forma (49):
L
d

qi
dt

L
qi

= 0,

(i = 1, 2, . . . n)

(51)

chamadas, no presente contexto, de equacoes de Lagrange.

Um problema fundamental em din
amica consiste no movimento de uma
partcula de massa m no espaco tridimensional, sujeita a uma energia potencial
V (x, y, z) conhecida, a partir da qual podemos obter uma forca conservativa
como F = V . As coordenadas generalizadas serao x, y, z e as velocidades
generalizadas x,
y,
z,
com as quais formamos a energia cinetica
K=
tal que a Lagrangeana sera

1
m x 2 + y 2 + z 2 ,
2

L(x, y, z; x,
y,
z)
=K V =

1
m x 2 + y 2 + z 2 V (x, y, z).
2
11

As equacoes de Lagrange


d L
L

x
dt x


d L
L

y
dt y


d L
L

z
dt z

(51) serao
dV
d

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

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

(mz)
= Fx m
z = 0,
dz
dt

=
=

(52)
(53)
(54)

ou seja, nada mais do que as tres componentes da equacao Newtoniana do

movimento F = mr.

Equac
ao de Euler para v
arias vari
aveis dependentes e independentes

A generalizacao 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 , . . . yn ; 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 ):
J=

(2)

x1

dx1

(1)

x1

(2)

x2

(1)

x2

dx2

x(2)
n
(1)

dxn f (yi , yij , xj ).

(55)

xn

O problema variacional consiste em encontrar as n funcoes yi (xj ) para as

quais J e estacion
aria, ou J = 0. Como ha n variaveis dependentes, cada
uma delas dever
a 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

X
f

yi j=1 xj

f
yij

= 0.

(i = 1, 2, . . . n)

(56)

Esta situacao bastante geral pode ocorrer em problemas variacionais com vnculos,
como se ver
a a seguir.

Problemas variacionais com vnculos

comum que as variaveis xj nao sejam, de fato, independentes entre si, mas
E
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 problema sob o ponto de vista da determinacao de maximos e mnimos no calculo
diferencial.
12

5.1

Vnculos e multiplicadores de Lagrange

Considere uma funcao de tres variaveis independentes f (x, y, z). Se ela tem um
extremo, ent
ao
f
f
f
dx +
dy +
dz = 0,
(57)
df =
x
y
z
tal que e necessario e suficiente que, para dx, dy e dz arbitrarios, tenhamos
f
f
f
=
=
= 0.
x
y
z

(58)

No entanto, se x, y e z estiverem amarrados por uma dada relacao na

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






f
f
f

dx +
dy +
dz = 0
+
+
+
x
x
y
y
z
z

(59)

(60)

Ate agora o multiplicador de Lagrange e um escalar qualquer. No entanto,

nos o escolhemos de tal sorte que

f
+
= 0,
z
z

(z 6= 0)

ja que, agora, dz nao e mais arbitraria devido ao vnculo. Logo





f
f

dx +
dy = 0
+
+
x
x
y
y

(61)

(62)

Lembremos, porem, que dx e dy ainda s

ao arbitrarios, de modo que a igualdade
acima vale se e somente se
f

+
x
x

f
+
y
y

= 0,

(63)

= 0.

(64)

Logo, se as condicoes (63)-(61) forem satisfeitas, ent

ao df = 0 e f e um extremo.
Por tabela, tambem podemos obter, se o quisermos, o multiplicador de Lagrange
(`
as vezes isso nem e realmente necessario).
Podemos generalizar a presente discussao para um n
umero n qualquer de
variaveis independentes (x1 , x2 , . . . xn ) sujeitas a m vnculos, descritos pelas
equacoes
k (x1 , x2 , . . . xn ) = 0,
(k = 1, 2, . . . m).
(65)
13

Neste caso, as condicoes (63)-(61) s

ao generalizadas na seguinte forma
m

X k
f
k
+
= 0,
xi
xi

(i = 1, 2, . . . n)

(66)

k=1

que, tambem, determinam os m multiplicadores de Lagrange k , um para cada

vnculo do sistema.

5.2
5.2.1

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.

(67)

Em princpio, as variaveis r e h s
ao independentes entre si, ou seja, se o fabricante quiser uma lata mais estreita (r menor), ent
ao ela dever
a ser necessariamente 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 )
(68)
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, ent
ao
(r, h) = r2 h V0 = 0.

(69)

Introduzindo o multiplicador de Lagrange teremos duas condicoes para

um extremo na forma (63)-(61), a saber:

S
+
r
r
S

+
h
h

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

(70)

2r + (r2 ) = 0

(71)

De (71) obtemos o multiplicador de Lagrange = 2/r que, substituido em

(70), fornece h = 2r, ou seja, o cilindro de menor area superficial, para um dado
volume, tem o diametro igual `a altura.
5.2.2

El
etron numa caixa tridimensional

Um problema elementar em mec

anica quantica consiste em achar os nveis de
energia de uma partcula quanto-mec
anica de massa m, como um eletron, dentro
de uma caixa de paredes impenetraveis, na forma de um paraleleppedo de
arestas a, b e c. A partir da equacao de Schrodinger independente do tempo,
com as 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


1
1
1
h2
(72)
+ 2+ 2 .
E(a, b, c) =
8m a2
b
c
14

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 ,

(73)

de modo que a equacao de vnculo e

(a, b, c) = abc V0 = 0

(74)

correspondente a um multiplicador de Lagrange .

As condicoes de mnimo para a energia s
ao, portanto

E
+
a
a
E

+
b
b
E

+
c
c

=
=
=

h2
+ bc = 0,
4ma3
h2
+ ac = 0,

4mb3
h2
+ ab = 0.

4mc3

(75)
(76)
(77)

Multiplicando (75) por a, (76) por b, e (77) por c, chegamos `a seguinte

relacao
h2
h2
h2
abc =
=
=
,
4ma2
4mb2
4mc2
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 .

5.3

Equa
c
oes de Euler com vnculos

Vamos retornar `
a equacao de Euler (56) para v
arias 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)

(78)

de sorte que yi e xi nao s

ao mais mutuamente independentes, como presumimos 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 (78) pelos multiplicadores de Lagrange e integrando entre os
pontos fixos 1 e 2 temos
Z 2
k (xj )k (yi , xj )dxj = 0,
(79)
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).
(80)

Por outro lado, sabemos que tambem e nula a variacao do funcional (55)

f (yi , yij , xj )dxj = 0.

1

15

(81)

y(x)

Figura 4: O problema isoperimetrico.

Somando (81) e (80) para todos os m vnculos temos que
#
Z 2"
m
X
k (xj )k (yi , xj ) dxj = 0,
f (yi , yij , xj ) +

onde definimos

(82)

k=1

{z

g(yi ,yij ,xj )

g(yi , yij , xj ) = f (yi , yij , xj ) +

m
X

k (xj )k (yi , xj ).

(83)

k=1

Portanto, na presenca dos vnculos, (82) implica em que precisamos satisfazer

n equacoes de Euler do tipo (56) para a nova funcao (83):
n

X
g

yi j=1 xj
5.3.1

g
yij

= 0.

(i = 1, 2, . . . n)

(84)

O problema isoperim
etrico

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 4].
A
area sob a curva y(x)
Z a
ydx,
(85)
A(y, x) =
a

e o funcional que se quer maximizar, entre os pontos fixos, sujeito `a condicao

de que o comprimento seja constante:
Z ap
Z 2
1 + yx2 dx =
(86)
ds =
1

16

onde usamos (16).

Este vnculo leva-nos a introduzir um u
nico (m = 1) multiplicador de Lagrange , de modo que a condicao de vnculo pode ser escrita na forma padrao
(79) desde que definamos
(yx ) =

1 + yx2

,
2a

(87)

assim como a funcao (83) e dada por

g = f + = y +

que satisfaz a equacao de Euler (84):

g
d

y dx
d
1
dx

y
p x
1 + yx2

1 + yx2

g
yx

yx
x p
1 + yx2

d
=
dx

2a

yx
x =
1 + yx2

(88)

C = constante.

Isolando a derivada yx chegamos `a seguinte equacao diferencial

dy
=q
dx

C +x
2 (C + x)

(89)

que pode ser integrada fornecendo

(x + C) + (y + C1 ) = 2

(90)

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. 4), 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 .

(91)

O problema isoperimetrico tem uma historia curiosa, remontando `a Grecia

antiga, quando a Rainha Dido fundou a cidade de Cartago. Por motivos belicosos, 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 at
a-las uma `
a outra, de modo que ela pode envolver uma area muito grande
de terra em frente ao Mar Mediterraneo, que tornou-se a cidade de Cartago.
Os gregos antigos ja sabiam que o arco de crculo era a solucao do problema
isoperimetrico.

17

y
b

Figura 5: Catenaria.
5.3.2

A caten
aria

Uma corrente ou cabo pesado de comprimento C est

a suspenso num plano
vertical entre os pontos de coordenadas 1 : (0, a) e 2 : (L, b) [Fig. 5], 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
Z
Z
2

yds,

dmgy = g

dV =

V (y, yx ) =

(92)

onde usamos (15), 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
p
V
J=
(93)
dxy 1 + yx2 ,
=
g
0
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 L p
Z 2
dx 1 + yx2 ,
ds =
=
(94)
0

que pode ser colocada na forma (79) desde que

(yx ) =

1 + yx2

(95)

tal que, introduzindo o multiplicador de Lagrange, a expressao (83) fica

g = f + = (y + )

1 + yx2

.
L

(96)

2 Supondo que a densidade de massa seja constante ao longo do cabo, = M/, onde M
e
a sua massa total.

18

Como a funcao g nao depende explicitamente da variavel independente x

podemos, ao inves da equacao de Euler (84), empregar a identidade de Beltrami
(19):
g yx
(y + )

1 + yx2

g
y

yx
yx (y + ) p
L
1 + yx2

C = constante

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
(97)
=
dx
k
que tem como solucao a equacao da caten
aria 3


L(x + K)
k

y(x) = cosh
L
k

(98)

onde K e uma nova constante de integracao. O nome caten

aria vem do latim
catena, que significa cadeia, ou corrente. Galileo, erroneamente, considerava
que a solucao do problema seria uma par
abola. Curiosamente, se uma par
abola
rolar por uma reta, o foco da par
abola descrever
a uma caten
aria. Em 1691 a
equacao da caten
aria foi obtida independentemente por Leibniz, Huyghens e
Johann Bernoulli, em resposta a um desafio (sempre ele!) de Jakob Bernoulli.
Vimos, anteriormente, que a caten
aria tambem e a solucao do problema de
superfcies de revolucao de mnima area.
Na solucao (98) 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
(98) aos pontos fixos:


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


k
L(L + K)
y(L) = b b + = cosh
,
(100)
L
k
alem de usarmos novamente a condicao de vnculo (94):

L
k



Z L
p
L(x + K)
dx cosh
dx 1 + yx2 =
,
k
0
0




LK
L(L + K)
sinh
.
sinh
k
k
Z

(101)

O conjunto de equacoes (99)-(101) determina implicitamente as constantes procuradas (lembrando que k = CL + ).

3 Podemos

fazer a integrac
ao por meio da substituic
ao de vari
aveis L(y + ) = k cosh .

19

5.4

Problemas mec
anicos com vnculos

O formalismo anteriormente descrito pode ser aplicado imediatamente a sistemas mec

anicos onde ha m vnculos holonomicos, ou seja, vnculos cujas equacoes
podem ser escritos como
k (q1 , q2 , . . . qn , t) = 0,

(k = 1, 2, . . . m),

(102)

onde qi s
ao as coordenadas generalizadas. Por exemplo, o movimento plano de
uma partcula cuja trajet
oria e restrita a um crculo de centro na origem e raio
R e caracterizado pelo seguinte vnculo holonomico:
x2 + y 2 = R 2

= q12 + q22 R2 = 0.

(103)

Para cada equacao de vnculo associamos um multiplicador de Lagrange

k (t), com os quais formamos o equivalente mec
anico da funcao (83), que e
g(qi , qi , t) = L(qi , qi , t) +

m
X

k (t)k (qi , t),

(104)

k=1

que satisfaz a equacao de Euler-Lagrange na forma (84):



d g
g
= 0

qi
dt qi


m
k
d L
L X
= 0
k (t)

qi
qi
dt qi
k=1

que podemos reescrever, definindo ki = k /qi , como

d
dt

L
qi

X
L
ki k .
=
qi

(105)

k=1

Por curiosidade, se a coordenada generalizada qi tiver dimensao de comprimento,

ent
ao o produto k ki representa a componente ao longo da direcao qi da forca
do reacao correspondendo ao k-esimo vnculo.
5.4.1

Aro rolando num plano inclinado

Um problema cl
assico de vnculo holonomico em din
amica lagrangeana e o de
um aro de massa M e raio r rolando sem deslizar sobre um plano inclinado
de em 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.
6]. 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,
(106)
Tiramos, ent
ao, os coeficientes de vnculo:
x =

= 1,
x

=
20

= r,

(107)

lx

Figura 6: Aro rolando num plano inclinado.

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 M x 2 1 I 2 ,
(108)
K(x,
)
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 ],

(109)

onde e o comprimento total do plano inclinado [Fig. 6]. 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
L=K U =

1
1
M x 2 M r2 2 M g( x) sin .
2
2

H
a duas equacoes de Euler-Lagrange


d L
L

x = =
dt x
x


L
d L

= =

dt

(110)

da forma (105):
d
(M x)
M g sin + = 0,
dt
d
r = 0.
(M r2 )
dt

Como r e constante, ent

ao ha duas equacoes diferenciais a serem resolvidas
Mx
M g sin =
M r2 =

,
r.

(111)
(112)

Da equacao de vnculo (106) x

= r que, substituido em (112), fornece
Mx
= . Pondo esse resultado em (111) temos que o multiplicador de Lagrange
21

1
M g sin ,
2
tal que a equacao do movimento sejam simplesmente
=

(113)

g sin
K1
2
K1
g sin
=
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
x(t) =

1
K1 t 2 ,
2

(t) =

1 K1 2
t .
2 r

(114)

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 respons
avel
pelo rolamento do aro, e o multiplicador de Lagrange , que e a forca de vnculo
e, na verdade, a forca de atrito de rolamento.

A equa
c
ao de Sturm-Liouville como um problema variacional

Vimos, no Captulo referente `as funcoes de Green, que a equacao de SturmLiouville representa uma generalizacao de uma classe ampla de equacoes diferenciais ordin
arias de segunda ordem, muitas das quais de interesse na Fsica
Matem
atica. Vamos abordar, agora, essa equacao do ponto de vista de um problema variacional com vnculos, o que nos permitira, posteriormente, empregar
um metodo para obter solucoes

6.1

Propriedades das solu

c
oes da equa
c
ao de Sturm-Liouville

Nesta secao vamos recordar algumas propriedades das solucoes da equacao de

Sturm-Liouville que foram vistas anteriormente em nosso estudo das funcoes de
Green. A equacao de Sturm-Liouville tem a forma


dy
d
p(x)
s(x)y = r(x)y,
dx
dx

(115)

onde y R, a x b, e as funcoes p(x), s(x) e r(x) (esta u

ltima denominada
funcao peso) assumem valores nao-negativos. Definindo o operador de SturmLiouville


d
d
L
(116)
p(x)
s(x),
dx
dx
reescrevemos a equacao (115) na forma compacta
L[y] = r(x)y.
22

(117)

Recordamos a definicao de produto interno

Z b
y1 (x)y2 (x)dx,
< y1 , y2 >

(118)

de modo que y1 e y2 s
ao ortogonais se o produto interno entre elas for nulo:
< y1 , y2 >= 0. A norma de uma solucao y(x) e definida como

(119)
||y(x)|| = < y, y >.
tal que y e normalizada se < y, y >= 1.
Para a discussao atual basta considerarmos condicoes de contorno de Dirichlet homogeneas:
y(a) = y(b) = 0
(120)
para as quais a equacao de Sturm-Liouville s
o apresenta solucoes aceitaveis para
determinados valores de = n , denominados autovalores do operador (116).
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).

(121)

Os autovalores {n }n=1 do operador de Sturm-Liouville s

ao reais, e as auto
ao ortogonais em
funcoes {n (x)}n=1 correspondentes a autovalores distintos s
relacao `
a funcao peso: < n , r(x)j >= 0 se i 6= j. Se supusermos, adicionamente, que as autofuncoes s
ao normalizadas (norma igual a um) ent
ao temos a
chamada condicao de ortonormalidade (em relacao `a funcao peso r(x)):
Z

i (x)j (x)r(x)dx = ij .

(122)

Esta propriedade das autofuncoes permite-nos encar

a-las como funcoes de
base, ou seja, y(x) possa ser expressa como uma superposicao linear das funcoes
de base

X
cn n (x).
(123)
y(x) =
n=1

onde cn =< y(x), n (x) > s

ao os coeficientes de Fourier generalizados. Quando

isso ocorre dizemos que o conjunto de autofuncoes {n (x)}n=1 e completo. A

propriedade de completeza significa, que a serie infinita acima converge no sentido de media quadr
atica, ou seja,
2
Z b 
N

X


(124)
cn n (x) dx = 0.
lim
y(x)
N a 

n=1

A equa
c
ao de Sturm-Liouville como uma equac
ao
de Euler com vnculos

Vamos mostrar que, se y(x) e uma solucao da equacao de Sturm-Liouville (115),

ent
ao o funcional
Z b


p(x)yx2 + s(x)y 2 r(x)y 2 dx
K[y] =
(125)
a

23

e estacion
ario. 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

(126)

De fato, abrindo o lado esquerdo da equacao de Euler (14):



f
d
f

= 0
y
dx yx
d
2sy 2ry
(2pyx ) = 0
dx
que, dividindo por 2, resulta na equacao de Sturm-Liouville (115), como
queramos demonstrar.
Integrando por partes a primeira parcela do integrando do funcional K,
temos que
Z

b
a

pyx2 dx

b
a

dy
b
dx = pyx y|a
pyx
|{z}
dx
| {z }
=u

=dv

b
a

d
y
(py )dx
|{z} |dx {zx }
=v

(127)

=du

Pelas condicoes de contorno (120) o primeiro termo do lado direito e nulo, pois
p(b)yx (b)y(b) p(a)yx (a)y(a) = 0

(128)

Logo, o funcional (125) fica

Z b
d

K[y] =
y
+
y(r(x)y)
(p(x)y
)

sy
x
dx

{z
}
|

(129)

=L[y]

que, usando a notacao do produto interno (118), resulta em

K[y] = < y, L[y] > < y, r(x)y >= < y, L[y] > ||y||

(130)

Essa forma para o funcional permite-nos encarar o problema de SturmLiouville tambem sob a forma de um problema variacional com vnculos: achar
a funcao y(x) que torna estacion
ario o funcional K[y] (sem restricoes) equivale
a tornar estacion
ario o funcional
J[y] = < y, L[y] >

(131)

sujeito `
a condicao de vnculo
2

N [y] =< y, r(x)y >= ||y|| = constante,

(132)

onde passa a ser, aqui, um multiplicador de Lagrange, desde que N/y 6= 0 ou

N/x 6= 0. Pode-se, ainda, mostrar que, se y(x) satisfaz a equacao de SturmLiouville sem o termo em , ent
ao o funcional (131) nao s
o e um extremo, como
tambem e um mnimo.

24

O m
etodo de Rayleigh-Ritz

O metodo variacional de Rayleigh-Ritz permite-nos obter informacoes relevantes

sobre o problema de Sturm-Liouville sem precisar resolve-lo diretamente, fornecendo solucoes aproximadas para o problema, cuja exatidao pode ser refinada
de forma a termos respostas t
ao precisas quanto se queira. Por esse motivo, esse
metodo e bastante usado em v
arias areas como ac
ustica, mec
aniica quantica,
vibracoes mec
anicas, analise numerica, entre outras.
N
N
os 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
n
ao s
ao autofuncoes de L, de modo que o que procuramos e uma solucao aproximada na forma de uma combinacao linear dessas funcoes
y(x) =

N
X

cn n (x)

(133)

n=1

onde os coeficientes cn s
ao, ainda, indeterminados (n
ao s
ao coeficientes de
Fourier generalizados!)
Substituindo (133) em (125) teremos
K[
y] =

b
a

i
h

dx p(x)
yx2 + s(x)
y 2 r(x)
y2 ,

(134)

e o valor aproximado de obtido com a funcao tentativa (133)

onde
N
Como {n (x)}n=1 nao s
ao autofuncoes do operador de Sturm-Liouville,
ent
ao y(x) nao e solucao da equacao de Sturm-Liouville e, consequentemente,
o funcional K[
y ] tambem nao e um extremo (na verdade, um mnimo). No
entanto, se escolhermos apropriadamente os coeficientes cn podemos fazer com
que y seja uma aproximacao para a solucao verdadeira y(x). Isto se consegue
impondo condicoes variacionais sobre os coeficientes:
K[
y]
= 0,

cj

(j = 1, 2, . . . N )

(135)

Os valores dos coeficientes obtidos dessa forma podem ser substituidos novamente na combinacao linear (133) de modo a obtermos uma solucao aproximada
y(x). Uma vez que K[y] e um mnimo para a solucao exata y(x), a solucao aproximada y(x) da um valor maior para o funcional, ou seja, K[
y ] = K[y].
Com frequencia o metodo de Rayleigh-Ritz objetiva a determinacao de um
da equacao de Sturm-Liouville
valor aproximado para o autovalor mais baixo
correspondente, a partir das condicoes variacionais (135). Em geral teremos
, onde e o autovalor exato [1]; de modo que o metodo de Rayleigh-Ritz

nos fornece um valor aproximado que e sempre maior do que o valor exato,
nunca menor do ele (sera igual apenas se y(x) = y(x)). Essa propriedade faz
com que o metodo de Rayleigh-Ritz seja bastante usado na Mecanica Quantica,
onde e um autovalor de energia, usualmente o estado fundamental de um
sistema qu
antico dado [4].

25

8.1
8.1.1

Exemplos de aplica
c
ao do m
etodo
Equa
c
ao de Helmholtz unidimensional

A equacao de Helmholtz em uma dimensao

yxx + y = 0,

(1 x 1)

(136)

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 u
nica funcao (N = 1):
1 (x) = 1 x2

(137)

que satisfaz as condicoes de contorno 1 (1) = 0, de modo que a solucao aproximada e

(138)
y(x) = c1 1 (x) = c(1 x2 ).
O funcional (134) sera
K[
y]

=
=
=

1
1
1


y 2 dx
yx2


c2 (1 x2 )2 dx
4
cx2
1


8 16
2

c
3
15


Aplicando a condicao variacional (135)



K[
y]
8 16
= 0,
= 2
c

c
3
15

(139)

(140)

temos que o multiplicador de Lagrange associado e

= 5 = 2, 5

2
Observe que neste exemplo nao precisamos, de fato, obter o valor de c, ja que o
resultado e independente dele.
Naturalmente esse problema tem uma solucao exata, que e
 x 
y(x) = cos
,
2
que, derivada duas vezes, fornece
 2
 x 
 x 
yxx =
= y = cos
,
cos
2
2
2
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. Naturalmente isso ocorre pois a funcao que chutamos e, de fato, muito proxima `a
solucao exata [Fig. 7].
26

1
exata
aproximada
0,8

y(x)

0,6

0,4

0,2

0
-1

-0,5

0,5

Figura 7: Solucoes exata e aproximada da equacao (136).

8.1.2

Menor raiz da fun

c
ao de Bessel com m = 3

Vamos considerar a equacao de Bessel com m = 3



32
1
(0 x 1)
yxx + yx + k 2 2 y = 0,
x
x

(141)

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 (141) que e regular (isto e, que nao
diverge) na origem e a funcao de Bessel de ordem m = 3:
y(x) = AJ3 (kx).

(142)

onde A e uma constante de integracao. Impondo que y(1) = 0 temos que

AJ3 (k) = 0. Se A 6= 0, ent
ao J3 (k) = 0, ou seja, k e uma raiz da funcao
de Bessel de ordem m = 3. As primeiras raizes de J3 (k) s
ao k1 = 6, 380...,
k2 = 9, 761..., k3 = 13, 015.. e assim por diante [Fig. 8]. Logo a solucao exata
correspondendo `
a menor raiz da funcao de Bessel com m = 3 e
y(x) = AJ3 (k1 x) = AJ3 (6, 380x).
Usamos o metodo de Rayleigh-Ritz empregando, como funcao tentativa,
1 (x) = x3 (1 x)

(143)

que satisfaz as condicoes de contorno, pois 1 (0) = 0 e 1 (1) = 0; de modo que

27

0.5
0.4

0.3

J3(x)

0.2

0.1
0
0.1
0.2
0.3

10
x

12

14

16

18

20

Figura 8: Funcao de Bessel de ordem m = 3.

y = cx3 (1 x) e montamos o funcional (134):
y]
K[

=
=
=
=

i
h
p(x)
yx2 + s(x)
y 2 k2 r(x)
y 2 dx
0

Z 1
9 2 2
2
2
x
yx + y k r(x)
y dx
x
0

Z 1 h
i 9
2
2
2
4
5
6
2
6
2 7

x 9x (1 x) 6x (1 x) + x + [x (1 x) k x (1 x) dx
c
x
0

1
1
c2
k2

8 360

c = 0 chegamos ao autovalor aproximado

Aplicando
a condicao variacional K/

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%.

Problemas
1. Encontre a funca
o y(x) que torna a integral
Z 1
J=
(2x + 3y + yx2 )dx
0

um extremo, com y(0) = y(1) = 1.

2. Ache a curva no plano y(x) para a qual e um extremo o seguinte funcional
integral
Z 2 p
1 + yx2
J=
dx
,
x
1
com y(1) = 0 e y(2) = 1.

28

3. Mostre que o caminho no espaco tridimensional que fornece a menor dist

ancia
entre dois pontos quaisquer e um segmento de reta unindo estes dois pontos.
4. Considere o problema da braquist
ocrona, mas ao inves de uma partcula considere uma esfera de mesma massa e raio a rolando sem deslizar (mas com atrito
desprezvel). Ache a forma da trajet
oria que minimiza o tempo de percurso.
5. Mostre que a superfcie mnima de revoluca
o tambem e uma caten
oide mesmo
quando o eixo de rotaca
o e y ao inves de x.
6. Considere uma partcula de massa m sob a aca
o de um potencial V (, , z)
em coordenadas cilndricas. Obtenha a Lagrangeana da partcula e escreva as
equaco
es de Lagrange.
7. O pendulo esferico consiste de uma massa m pendurada por um fio de comprimento . A massa m e livre para mover-se no espaco, cuja posica
o e determinada
pelos seus
angulos e (em coordenadas esfericas).
(a) Obtenha a Lagrangeana da partcula e escreva as equaco
es 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 dist
ancia
vertical do plano de rotaca
o abaixo do ponto de suspens
ao.
8. Na teoria dos reatores de fiss
ao nuclear um problema consiste em minimizar
o volume de um reator cilndrico de raio R e altura H sujeito a um vnculo
determinado pela teoria da difus
ao de neutrons:
  2  2
01
+
= C = constante,
R
H
onde 01 = 2, 4048... e a menor raiz da funca
o de Bessel J0 (R). (a) Ache
a relaca
o entre R e H; (b) Ache o valor do multiplicador de Lagrange; (c)
Determine o mnimo volume do reator
9. Considere uma elipse de semi-eixos a e b, cuja equaca
o cartesiana e
 x 2  y 2
+
= 1.
a
b
(a) Obtenha o ret
angulo inscrito nessa elipse cuja
area seja a maior possvel; (b)
Ache o valor do multiplicador de Lagrange; (c) Mostre que, para esse ret
angulo
m
aximo, a
area e 64% da
area da elipse.
10. Uma partcula de massa m move-se, sem atrito, sob a aca
o da gravidade, sobre
a superfcie interna de um parabol
oide de revoluca
o cuja equaca
o cartesiana e
x2 + y 2 = az,
onde a e uma constante. (a) Obtenha a Lagrangeana em coordenadas cilndricas;
(b) Escreva as equaco
es de Euler-Lagrange; (c) Supondo que a partcula descreva
um crculo horizontal no plano z = h = const. com velocidade angular ,
determine o valor do multiplicador de Lagrange.
11. Um pendulo smples consiste de uma partcula de massa m suspensa por um
fio leve e inextensvel de comprimento . Ache a Lagrangeana, a condica
o de
vnculo, e as equaco
es de Euler-Lagrange. Resolva essas equaco
es para o caso
de pequenas oscilaco
es, e encontre a forca de tens
ao no fio via multiplicadores
de Lagrange.

29

12. Uma partcula de massa m est

a constrangida a mover-se ao longo de uma haste
sem atrito que gira com velocidade angular constante sobre um plano horizontal. Ache a Lagrangeana, condica
o de vnculo, as equaco
es de Euler-Lagrange.
Obtenha a posica
o radial em funca
o do tempo para as condico
es iniciais r(0) = r0
e r(0)

= 0. Ache a forca de vnculo exercida sobre a partcula pela haste.

13. Considere uma calota hemisferica de raio R com centro na origem e uma conta
de massa m que desliza sobre a calota sem atrito, de modo que sua posica
o
pode ser especificada pelas coordenadas polares (r, ). Obtenha a Lagrangeana,
as equaco
es de Euler-Lagrange e o multiplicador de Lagrange. Interprete fisicamente o multiplicador de Lagrange e use seu resultado para prever o
angulo
para o qual a conta deixa a superfcie da calota.
14. Seja a equaca
o
yxx + y = 0,

(1 x 1)

com y(1) = y(1) = 0. Use a funca

o tentativa
y(x) = cx(1 x)
para, com o metodo de Rayleigh-Ritz, estimar o valor de .
15. Considere a equaca
o de Bessel de ordem zero
yxx +

1
yx + y = 0,
x

(0 x 1),

e as condico
es de contorno: y(0) < e y(1) = 0. Estime o menor valor do
autovalor pelo metodo de Rayleigh-Ritz, usando a seguinte funca
o tentativa
y(x) = a + bx2 + cx4 ,
onde a, b e c s
ao par
ametros variacionais. Compare seu resultado com o valor
exato 5, 7832. Dica: n
ao esqueca que a funca
o tentativa deve satisfazer as
condico
es de contorno.

Refer
encias
[1] E. Butkov, Fsica Matem
atica (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] C. Cohen-Tannoudji, B. Diu, F. Laloe, Quantum Mechanics (Wiley, New
York, 1992)

30