2

Princpio Variacional

Muitos problemas da natureza, aparentemente complicados, podem ser entendidos de forma simples. Por exemplo, vamos considerar uma corda bem exvel pendurada na parede pelos dois pontos extremos (Ver Fig.1).

Fig.1 Uma corda exvel pendurada. Porque ela ca nesta forma particular? Existe alguma razo pela qual a forma da corda tem que car assim? Ser que podemos expressar matematicamente a forma desta curva? A resposta sim e pelo menos, a parte da razo bem simples. Considere uma situao em que uma parte da corda seja ligeiramente levantada ou puxada (Fig.2).No que difere esta congurao da congurao anterior? Obviamente, se retirarmos a fora que puxa a corda (indicada pela seta), a corda voltar para a congurao anterior (Fig.1). Isto ocorre devido ao seu peso, ou seja, devido fora gravitacional que atua na corda. Vamos pensar em termos da energia em vez de pensar em termos de foras. Isto porque, j vimos que na Equao de Hamilton na Mec.I, que a quantidade escalar mais fcil de tratar. Para puxar a corda, deformando-a da sua congurao estvel, precisamos deslocar a parte da corda com a fora externa. Isto , a congurao da corda da Fig.2 ganhou um trabalho em relao a da Fig.1. Podemos considerar que a quantidade da energia dada em termos do trabalho feito da fora que puxa

a corda ca arrumazenada na corda1 como a energia potencial gravitacional.

Fig. 2 Assim, podemos concluir que a congurao da Fig.1 deve ter o valor do potencial gravitacional menor que o da Fig.2. Tambm concluimos que a fora gravitacional atua sempre na direo de diminuir o valor do potencial gravitacional do sistema. Isto sempre verdade pois, sempre necessrio fornecer a energia para levantar um objeto contra seu peso, isto , a fora gravitacional que atua nele. Do fato de que a congurao da Fig.1 sempre recuperada para qualquer outra deformao da corda, podemos concluir que a congurao da corda na Fig.1 deve corresponder ao menor valor da energia potencial gravitacional dentro de todas as conguraes sicamente permitidas. Em equilbrio, a corda assume a congurao cuja energia potencial seja a menor possvel. Podemos utilizar o fato acima como a condio de determinar a forma da corda em equilbrio. Isto , podemos formular a questo como Qual a forma de uma curva que tenha o menor energia possvel? Deste modo, a essncia do problema quase similar ao seguinte problema inteiramente diferente, mas mais fcil. Considere uma corda de complimento l. Qual o retngulo cercado por esta corda que tem a maior rea? Para resolver um problema como este, fundamental expressar-lo em termos de linguagem matemtica apropriada. O mtodo variacional muito poderoso para vrios problemas da fsica, no s do ponto de vista prtico,
Mais precisamente, a energia arrumazenada no campo gravitacional e no na corda. Mas aqui, no consideramos o campo gravitacional como um componente dinmica do sistema, atribuimos a carregador da energia gravitacional a corda.
1

mas tambm do ponto de vista formal como veremos mais adiante. Vamos comear fazendo uma reviso das matrias triviais de clculo:

2.1

Variao de funes

Vamos considerar primeiro o problema de se obter o ponto mnimo (ou mximo) de uma funo, y = f (x). (1) Seja o ponto x = xm o ponto mnimo (ou mximo). Neste caso, sabemos que o mnimo (ou mximo) dado pelo ponto onde a derivada nula, df = 0. (2) dx x=xm Isto signica que a variao de y em torno do ponto x = xm nula at a primeira ordem2 em x, y|x=xm f (xm + x) f (xm ) df = x + O(x2 ) 0. dx
x=xm

(3)

Ou seja, a Eq.(2) equivalente a dizer que

y|x=xm = 0 para qualquer variao innitesimal x. Isto , y|x=xm

2

(4)

J sabemos a expanso de Taylor de uma funo em torno de um valor de x = x0 : 1 1 f (x) = f (x0 ) + f 0 (x0 )x + f 00 (x0 )x2 + f (n) (x0 )xn + 2 n! d 1 n dn = (1 + x + )f (x) + x dx n! dxn x=x0 d x dx = e f (x)
x=x0

df = 0 para x at primeira ordem em x = 0. dx x=xm

(5)

onde x = x x0 . Daqui por diante consideraremos apenas variaes de uma funo ou funcional at a primeira ordem, exceto quando for especicado diferentemente.

10

A Eq.(2) constitui uma equao que determina quem xm , quando f (x) for especicada. Por exemplo, seja f (x) = x2 + 2x + 5, ento, df = 2x + 2 dx portanto, xm deve satisfazer a equao, 2xm + 2 = 0. Da, temos xm = 1. De fato, da Eq.(6), temos f (x) = (x + 1)2 + 4, que obviamente tem o mnimo em x = 1. (9) (7) (6)

(8)

2.2

Funo de multi-variveis
y = f (x1 , x2 ), (10)

Na Mecnica I, vimos que para uma funo de duas variveis,

podemor generalizar a srie de Taylor como f (x1 , x2 ) = f (x10 , x20 ) + x1 f f + x2 + x1 x2 (11)

onde x1 = x1 x10 e x2 = x2 x20 . Num desenvolvimento matemtico, essencial utilizar as notaes simplicadores. Porisso, vamos introduzir a notao vetorial. Consideramos o par de variveis, (x1 , x2 ) como um par de coordenadas no espao bidimensional. Ento, podemos associar o par ao vetor posio, x1 r= . (12) x2 11

Assim, a funo de duas variveis pode ser considerada como a funo de posio, f (x1 , x2 ) = f (r). Da mesma forma, podemos introduzir o vetor gradiente f da funo f por /x1 f /x1 = f (13) f = f /x2 /x2 Podemos considerar o simbolo como um operador diferencial que tem componentes, como um vetor, /x1 . (14) = /x2 Com a notao vetorial, a quantidade entre [ ] na Eq.(11) pode ser escrita na forma compacta, /x1 = x (15) x1 + x2 = (x1 x2 ) /x2 x1 x2 onde3 x x1 x2

e utilizamos o produto escalar entre dois vetores de n componentes (no caso acima n = 2), b1 b2 a b = (a1 a2 an ) . = aT b = a1 b1 + a2 b2 + an bn . (16) . . bn Assim, podemos expressar a expanso de Taylor de uma funo de duas varveis at a primeira ordem em r por f (r + r) = f (r) + r f (r) = (1 + r ) f (r)
3

(17) (18)

Note que x x .

no igual a

12

A vantagem do uso da notao vetorial que nesta forma, o resultado no depende de nmero de variveis. Quando a funo de n variveis, a frmula acima continua valendo se os vetores r e r tm n componentes, x1 x1 x2 x2 r = . , r = . , . . . . xn xn e o operador tambm tem n componentes; /x1 /x2 = . . . . /xn

A armao acima pode ser conrmado para n = 3 diretamente e a extenso para n geral parece ser natural. Mas devemos provar isto. Isto , queremos provar que uma funo de n variveis, a variao da funo em at primeira ordem de suas variveis ca escrita como f f (r + r) f (r) n X f = . xi xi i=1 Para mostrar isto, utilizamos a induo matemtica. 1. Para n = 2, j mostrada que vale f (r + r) = f (r) + para r=
2 X i=1

(19)

xi

f xi

x1 x2

2. Suponhamos que, para um nmero inteiro n, vale n X f f (r + r) = f (r) + . xi xi i=1 13

(20)

para

Agora consideramos a funo f acima depende no s de r = (x1 , x2 , ..., xn ) e uma outra varivel xn+1 , f (r) = f (r, xn+1 ) . Pela suposio, temos f (r + r, xn+1 ) = f (r, xn+1 ) +
n X i=1

r=

x1 x2 . . . xn

xi

f (r, xn+1 ) . xi

Se xn+1 desloca para xn+1 + xn+1 , temos n X f (r, xn+1 + xn+1 ) f (r+r, xn+1 +xn+1 ) = f (r, xn+1 +xn+1 )+ xi xi i=1 Podemos considerar f (r, xn+1 + xn+1 ) como funo de xn+1 , e expandindo pela srie de Taylor, temos n f (r, xn+1 ) X f (r, xn+1 ) + xi f (r+r, xn+1 +xn+1 ) = f (r, xn+1 )+xn+1 xn+1 xi i=1 (21) at a primeira ordem em xn+1 e r. Denindo o vetor de n + 1 componentes, x1 x2 . . , = . xn xn+1 podemos escrever a Eq.(21) como f + = f + f , 14

provando que a Eq.(20) vale para n n + 1.

3. De item 1 e item 2, provamos pela induo que a Eq.(20) vlida para qualquer nmero inteiro positivo n. Assim, a forma Eq.(17) vale para qualquer dimenso do vetor r.

2.3

Ordens superior

Uma vez provada nesta forma at a primeira ordem, podemos obter os termos da expanso de Taylor a ordem mais alta. Para isto, notamos que f (r + 2r) = f (r + r + r) = (1 + r ) f (r + r) = (1 + r ) (1 + r ) f (r) = (1 + r )2 f (r) , e podemos mostrar analogamente que f (r + N r) = (1 + r )N f (r) . Denotando N r = a, temos N 1 f (r + a) = 1 + a f (r) . N r innitesimal e, portanto, a = Nr deve ser tambm innitesimal, quando N nito. Entretanto, podemos escolher um a nito mas N innito, r se torna innitesimal. Assim, tomando N na Eq.(22), a pode ser um vetor nito. Assim, para um deslocamento nito a do vetor r, temos N 1 f (r + a) = lim 1 + a f (r) . (23) N N 15

(22)

Isto s vale que o vetor de deslocamento

J que

x N = eX , lim 1 + N N Podemos escrever formalmente f (r + a) = ea f (r) , onde ea denido por e

a X 1 = (a )n n! n=0

=1+a+

1 1 (a )2 + (a )3 + 2! 3!

Finalmente, a expanso de Taylor para uma funo de muitas variveis ca f (r + a) = f (r) + a f (r) + 1 1 (a )2 f (r) + (a )3 f (r) + (24) 2! 3!

Exerccio: Mostre que o segundo termo na Eq.(24) pode ser expresso na forma matricial, 1 1 (25) (a )2 f (r) = aT H a, 2 2 onde 2f 2f 2f . . . x1 xn x1 x2 x2 2 12 f x1 x2 f x2 . 2 (26) H= . ... . .
2f x1 xn 2f x2 n

Se a funo f uma escalar em relao a transformao de variveis, r r0 = Ar, mostre que H um tensor de rank 2 sob esta transformao.

A matriz H acima chamado de Hessiana da funo f . A expanso de Taylor de uma funo de n variveis ca, n n n X f 1 XX + xi Hij xi xj + (27) f (r + r) = f (r) + xi 2! i=1 j=1 i=1 16

Em resumo, a expanso de Taylor de uma funo para agrupar a dependncia da variao da funo em mesmas potncias de variaes {x0i s} nos variveis. O primeiro termo de ordem 0, o segundo linearmente depende em {x0i s}, o terceiro quadraticamente, e assim por diante. Exerccio: A expanso de Taylor at terceira ordem caria n n n X f 1 XX f (r + r) = f (r) + + xi Hij xi xj + xi 2! i=1 j=1 i=1 1 XXX + Tijk xi xj xk + 3! i j k Determine Tijk . Mostre que {Tijk } um tensor de rank 3 quando f (r) um escalar em relao a transformao de coordenadas, r r0 = Ar.

2.4

Funcional

A um funcional de f . Isto , o valor de A depende da forma de f . Escrevemos ento A = A [f (x)]. Como sabemos, a integral acima o limite n da soma, A = lim
n X i=1

Um funcional uma funo de uma funo4 . Por exemplo, a rea entre uma funo, y = f (x) e o eixo horizontal X no intervalo [a, b] da varivel x dada pela integral Z
b

A=

f (x)dx.

(28)

x fi

(29) (30)

= x {f1 + f2 + fn + } , onde fi = f (xi ),

Matematicamente falando, um funcional mapeamento de um epao vetorial ao corpo, ou seja, o conjunto de nmeros.

17

x = e

ba , n

Desta forma, podemos considerar A como uma funo (neste caso, linear) de {fi , i = 1, ..., }. Em geral, um funcional nada mais do que uma funo de innitas (contnua) variveis. Por exemplo, a energia potencial gravitacional da corda mencionada no incio desta sesso uma quantidade que depende da forma da corda. Assim, a energia potencial da corda um funcional da forma da curva. Devemos calcular a energia potencial da corda para uma dada congurao.

xi = a + (i 1)x.

2.5

Energia Potencial da Corda Pendurada como Funcional da Forma

Aps estabelecido certos conceitos sobre funcional, vamos voltar o problema da corda pendurada. Para calcular a energia potencial da corda, precisamos especicar a natureza da corda. Por simplicidade, consideramos que a corda totalmente exvel. Seja a forma da corda expressa por uma funo, y = f (x), xa x xb . (31)

Aqui, a forma da funo f (x) o nosso objetivo de saber e, portanto, ainda no est especicada. Mas independentemente da forma especca, podemos expressar a energia potencial da corda como funcional da f . Vamos dividir o intervalo [xa , xb ] de x em n tirinhas iguais (ver a gura abaixo). Cada tirinha tem a largura x = (xb xa ) /n.

x i

x i+1

Fig. 3 18

A energia potencial total a soma das energias potenciais dos pequenos segmentos, [xi , xi+1 ], n X U= U[i,i+1] .
i=1

Para n sucientemente grande, podemos considerar que a energia potencial gravitacional do segmento [i, i + 1] ca U[i,i+1] = gl y[i,i+1]

onde a densidade linear de massa da corda, l o comprimento do segmento ( l = a massa do segmento), g a constante da acceralao gravitacional e y[i,i+1] o valor mdio da posio vertical do segmento (essen cialmente (yi + yi+1 ) /2). Podemos ainda considerar que o cada segmento da corda considerada como uma reta. O comprimento da corda dentro do segmento p dl[i,i+1] = (xi+1 xi )2 + (yi+1 yi )2 s 2 yi+1 yi = |xi+1 xi | 1 + xi+1 xi s s 2 2 dy df = x 1 + = x 1 + . dx dx Assim, a energia potencial total da corda ca, U = lim
n X i=1 xb

U[i,i+1] = g x lim y[i,i+1]

n

= g

dx f (x) 1 +

xa

1+

df dx

dy dx

2 (32)

Como podemos ver, a energia potencial da corda foi expressa como um funcional da forma da corda y = f (x), isto , U = U [f (x)]. S que, neste caso, o valor da energia no s depende de f mas tambm depende da sua derivada, df /dx. De qualquer modo, a derivada a funo da forma do f e, ento, U uma funo da forma da curva. Uma vez sabemos a funo f (x), podemos obter o valor do U. Quando mudamos a forma de f , pode mudar o valor do U. 19

A considerao anterior indica que a forma da funo f (x) da corda em equilbrio deve ser aquela forma que a energia potencial U seja o menor possvel entre todas as formas possveis. Esta condio deve determinar a forma da funo f . No caso de mnimo de uma funo, utilizamos a condio de que a derivada anula no ponto. No caso funcional, devemos introduzir o analogo da derivada, o que chamado de derivada funcional.

Derivada Funcional - Expanso de Taylor para um Funcional

I = I [f (x)] . (33)

Consideramos um funcional I de uma funo f = f (x).

Note que o simbolo-x na expresso acima usado para expressar a varivel da funo f irrelevante no caso de um funcional. Ou seja, podemos escrever igualmente I = I [f (t)] , (34) ou I = I [f (z)] , (35) etc. Isto porque, o valor do funcional depende da forma da funo f , e no importa a varivel que expressar sua forma. Mais especicamente, vamos considerar um funcional da forma, Z b F (f (x))dx (36) I = I [f (x)] =
a

onde F uma funo qualquer. Por exemplo, Z b ef (x) dx, I=

a

(37)

ou

1 dx, 2 a f (x) + 1 etc. Vejamos logo que podemos escrever tambm como Z b F (f (t))dt. I = I [f (t)] = I=
a

(38)

(39)

20

Assim, usual omitimos a varivel da funo dentro de um funcional e escrevemos apenas I = I [f ] . Aqui, importante o uso do simbolo [ ] para indicar que I um funcional. Por outro lado, utilizamos o smbolo ( ) para expressar a funo, por exemplo, L = L (f ) . Neste caso, L uma funo de s um valor de f no ponto especca da varivel do f . Por exemplo, L (f ) = sin (f (x)) e portanto, L depende de x. Mas o funcional, Z I [f ] = dx sin (f (x)) . j no depende de x, mas depende da forma, ou seja, depende de f para todos os valores de x. J que podemos considerar um funcional como o anlogo de uma funo de innitas variveis (contnuas), podemos tambm perguntar se existe o anlogo da expanso de Taylor para um funcional. A resposta sim. Para isto, consideremos uma pequena variao na funo f por f f + f onde f uma funo com amplitide infenitesimal. A variao do funcional , ento, denida por I I [f + f ] I [f ] . (40)

Se o funcional suave em f , ento, em analogia a Eq.(27), devemos poder escrever esta variao por Z Z Z 1 dx dy H(x, y)f (x)f (y) + (41) I = dx f (x)C (x) + 2!

Esta o anlogo da expanso de Taylor de uma funo F de n variveis {f ; = 1, ..., n}, 1 XX fa C + H f + . F (f1 , f2 , ..., fn ) = 2! =1 =1 =1
n n n X

21

Vemos que a quantidade C (x) corresponde a coeciente C e a varivel x est fazendo o papel do indice . J que C = razovel escrever C (x) F , f I f (x)

e chamada de derivada funcional (a primeira ordem). Note que C (x) uma funo de x, como a coeciente C possui o indice . Analogamente, H (x, y) corresponde a Hessiana H , e denotamos por 2I H (x, y) f (x)f (y) a derivada funcional de segunda ordem. Ela uma funo de duas variveis, x e y. Exemplo: A derivada funcional de funcional do tipo Z b I[f ] = dx F (f (x)).
a

(42)

Neste caso, temos I = I [f + f ] I [f ] Z b Z b = dx F (f (x) + f (x)) dx F (f (x)) a a Z b = dx {F (f (x) + f (x)) F (f (x))}

a

A quantidade F (f (x) + f (x)) F (f (x)) para dado valor de x xo pode ser considerada como F (f + f ) F (f ) = portanto, I = Z
b

F 1 2F f + (f )2 + , f 2 f 2

(43)

dx

1 2F F (x)f (x) + (x) (f (x))2 + f 2 f 2 22

(44)

Comparando com a denio de derivadas funcionais, temos I F = (x), f (x) f 2I 2F (x)(x y), = f (x)f (y) f 2 onde (x y) a funo de Dirac. Exerccio: Calcule as derivadas funcionais (at segunda ordem) dos funcionais, (28), (37) e (38). (45) (46)

Ponto estacionrio de um funcional

Na fsica, surgem frequentemente questes para descobrir a forma de funo que minimiza (maximiza) um dado funcional. No caso de funes, o ponto mximo ou mnimo de uma funo determinado pela condio de a derivada da funo no ponto seja nula. No caso de funcional, o mximo ou mnimo de um funcional dado pela uma forma da funo para qual a derivada funcional se anula. Vamos ver este ponto. Seja a forma da funo que d o valor mnimo (ou mximo) fm . Ento, por analogia com o argumento no caso de funo de muitas variveis, a variao de primeira ordem do funcional em trno desta funo deve ser nula, ou seja, I = I [fm + f ] I [fm ] = 0, f (47)

portanto, temos

onde f uma funo arbitrria cuja amplitude innitesimal para todos os valores do seu argumento. Por outro lado, em termos de derivada funcional, temos Z I , (48) I = dx f (x) f (x) f (x)=fm (x) Z I = 0, f (x) . dx f (x) f (x) f (x)=fm (x)

(49)

Aqui, a condio,

f (x)

(para qualquer f arbitrria) fundamental. 23

Exerccio: Prove que se

para qualquer A (x) arbitrria, ento temos que ter B (x) 0. Usando o resultado do execcio acima, da Eq.(49), devemos I = 0, f (x) f (x)=fm (x) Z
b

dx A (x) B (x) = 0,

(50)

para todos os valores de x. Esta equao impe uma condio para a funo fm (x). Por exemplo, seja I [f ] = Neste caso, temos dx f (x)2 + 2f (x) . (51)

Assim, a funo que estacionariza o funcional (51) deve satisfazer 2fm (x) + 2 = 0, ou fm (x) = 1 = const. isto , a funo fm deve ser uma constante, com valor 1. Exerccio: Mostre que este tipo de resultado, fm (x) = const. sempre ocorre para qualquer funcional do tipo (36). Exerccio: Discute estacionaridade dos funcionais, (28), (37) e (38). Para um funcional mais geral, a condio (50) fornece uma condio no trivial como veremos a seguir. (53)

I d 2 = f + 2f (x) = 2f (x) + 2. f (x) df

(52)

24

Variao de um funcional que depende de derivada - Equao de Euler-Lagrange

Como calcular a derivada funcional de um funcional mais generico? Por exemplo, para o funcional tipo Eq.(32) no se aplica a frmula, Eq.(45) ou Eq.(46). Infelizmente no existe a frmula geral para escrever a derivada funcional diretamente para um dado funcional. Devemos aplicar a denio da derivada funcional caso por caso. Mas existe uma classe de funcionais que aparecem frequentemente nos problemas de fsica, para a qual, podemos obter a frmula para derivada funcional. Vamos considerar um funcional com a forma5 , Z xb df dx (54) L f, I[f ] = dx xa onde L = L(f, g) uma funo dada de duas variveis f e g. Calculamos a variao do funcional associada a variao da funo f , f f + f. A variao de I ca I I[f + f ] I[f ] Z xb df d(f + f ) = L f, . dx L f + f, dx dx xa Utilizando a relao, d(f + f ) df d(f ) = + , dx dx dx e expandindo a funo L nas suas variveis, o primeiro termo da Eq.(56) ca, df L d(f ) L d(f + f ) df + , (57) + = L f, + f L f + f, dx dx f dx dx e, consequentemente, temos ) Z xb ( L d(f ) L df . dx f + I = f dx dx xa
5

(55)

(56)

(58)

Muitos problemas na Mecnica se reduzem a este tipo de funcional. Na Mecnica, I referido como ao e L chamado de funo Lagrangeana.

25

Fazendo a integrao por partes no segundo termo, a variao do I at primeira ordem em f ca !) " #x=xb ( Z xb L L d L df + f (x) df dxf (x) , (59) I = f dx dx dx xa
x=xa

bastante comum que as variaes de f sejam feitas utilizando-se a condio de que f = 0 em x = xa e x = xb , f (xa ) = f (xb ) = 0. (60)

e, portanto, pela denio, a derivada funcional de primeira ordem ca, ! I L d L df . (62) (x) = f f dx dx

Neste caso, o segundo termo da Eq.(59) anula e temos !) ( Z xb d L L df I = . dxf (x) f dx dx xa

(61)

Equao de Euler-Lagrange: Ponto estacionrio de um funcional

para qualquer variao f . Assim, conclumos que a funo fm (x) tem que satisfazer equao diferencial, !) ( L d L df = 0. (64) f dx dx
f =fm

Se fm (x) a funo que corresponde ao mximo (ou mnimo) de I, ento devemos ter !) ( Z b d L L df dxf (x) 0, (63) I = f dx dx a
f =fm

Esta chamada de Equao de Euler-Lagrange para o funcional (54). Em geral, a Equao de Euler-Lagrange resulta numa equao diferencial de segunda ordem. 26

Exerccio: Considere uma funo I({fi }) de n variveis, {fi } = {f1 , , fn } , tipo X 1 (fi fi1 )), L(fi , (65) I = x x i onde x = (xb xa ) /n e fi = f (xi ) com xi = xa + (i 1)x. Obviamente, no limite de n , (65) se recupera (54). 1. Calcule a derivada parcial (no funcional), L fi 2. Tomando o limite n , verique que a expresso acima coincide com a derivada funcional, a menos de um fator, 1/x. Exerccio: Obenha a equao de Euler-Lagrange das seguintes funcionais e interprete a equao resultante. Z dx I = dt L x, , dt onde 2 1 dx 1. L = m V (x) , 2 dt s 2 1 dx . 2. L = m 1 2 c dt Exerccio: O que acontece para a equao de Euler-Lagrange quando na Eq.(54) a Lagrangiana L contem a dependncia explicita em t, ou seja, Z xb df I[f ] = L f, ; t dx ? dx xa

6.1

Exemplo: Mnimo da Energia Potencial da Corda - I (Sem Vnculo)

Vamos aplicar a Equao de Euler-Lagrange (64) para a energia potencial da corda pendurada. Note que o esquema da subseo anterior corresponde 27

exatamente ao processo de procurar a congurao da corda que tenha a menor energia potencial gravitacional. O fato de que os dois extremos da corda so xos corresponde a condio de contorno Eq.(60). Identicamos s 2 df L= f 1+ , (66) dx portanto, L = f e s df dx 2

1+

(67)

Assim, pela Equao de Euler-Lagrange, a funo y = fm (x) deve satisfazer a equao diferencial, s 2 df d f df q (69) df 2 dx = 1 + dx . dx 1 + dx

df L 1 df = f q df 2 dx . dx 1 + dx

(68)

Esta constitui uma equao diferencial de segunda ordem para f (x). primeira vista, parece ser muito complicada para resolver. Mas, neste caso, uma pequena mudana de varivel ajuda para simplicar a equao. Lembramos que o pequeno elemento de comprimento da corda dl pode ser expresso em termos de f por s 2 p df 2 + dy 2 = dx 1 + dl = dx . (70) dx A integral, l(x) = Z
x

dx 1 +

xa

df dx

(71)

mede o comprimento da corda medido do ponto x = xa at x = x. Podemos inverter (em princpio) esta relao l = l(x) 28

e utilizar l como a varivel em vez de x, x = x(l). Consequentemente, consideramos a funo f (x) como a funo de l. Neste caso, temos df df (l) df dx 1 = =q df 2 dx . dl dx dl 1 + dx Assim, trocando a varivel independente x para l, a Eq.(69) pode ser reescrita d df f = 1. (72) dl dl

Esta equao diferencial fcil de ser integrada. A primeira integral em l ca df = l + C, (73) f dl Podemos escolher, sem perder a generalidade, que a coordenada y seja 0 para x = xa , ou para l = 0, f (l = 0) = 0. (74) Com isto, temos C = 0. A segunda integral ca 1 2 1 2 f = l + C 0. 2 2 (75)

Novamente, com a condio de f (0) = 0, temos C 0 = 0. Assim, concluimos que f (l) = l. (76) Para expressar a funo em termos de varivel x, derivamos dois lados desta equao em relao a x e temos s 2 df dl df = = 1+ (77) dx dx dx onde na segunda igualdade, utilizamos a Eq.(70). A equao (77) obviamente inconsistente, a menos que df ! (78) dx 29

Mas, se a Eq(78) seja verdadeira, ento a forma da corda seria uma linha vertical!! 6 O que signica isto? Ser que algo errado no raciocnio? Na verdade, a resposta (78) correta dentro da pergunta formulada. A pergunta foi, Qual a congurao da corda que minimiza a energia potencial? Nesta pergunta, no foi indicado nenhum momento que qual o comprimento da corda. Assim, na verdade, a pergunta foi, Qual a congurao da corda que minimiza a energia potencial independentemente do comprimento da corda? Ou seja, foi permitido implicitamente que a corda possa esticar livremente. Neste caso, obviamente, a congurao que tem menor energia tal que a corda estica indenidamente, pendurada dos pontos da extremidade (ver Fig.4).

Fig. 4 Assim, a resposta (78) estava correta dentro da pergunta formulada!. O que no era correto era a pergunta em si. interessante notar que a matemtica encontra a soluo que se encaixa na pergunta como foi formulada. Agora, se quisermos a resposta para o problema inicialmente proposto, devemos reformular a pergunta. A pergunta mais precisa , Qual a congurao de uma corda, de dado comprimento, digamos l0 , pendurada nos dois pontos, que tenha a menor energia potencial gravitacional?
A mesma concluso pode ser obtida diretamente da Eq.(76), pois se o valor da coordenada vertical y do cada ponto da corda ca identica ao comprimento da corda at o ponto, a corda deve estar na direo vertical.
6

30

Desta forma, a funo y = f (x) que representa a forma da corda no ser mais to arbitrria como antes. Da Eq.(71), o comprimento da corda total deve ser igual a l0 , s 2 Z xb df dx 1 + = l0 = const, (79) dx xa o que no deve ser satisfeito pela fuo f (x) to artibrria. Ou seja, a Eq.(79) constitui um vnculo para o problema de princpio variacional.

Vnculo e Mtodo de Constante Multiplicadora de Lagrange

Frequentemente temos que incluir alguns vnculos entre variveis para determinar o mnimo de uma quantidade. Por exemplo, vamos considerar o problema de encontrar o retngulo que tem o maior rea possvel, formado de um o de comprimento 2a. A rea desta retngulo, com largura x e altura y S = S(x, y) = xy. (80) Queremos maximizar esta rea. Mas aqui x e y no pode ser arbitrria, mas tm que satisfazer a condio x + y = a. (81)

Se o vnculo for simples como este, poderamos eliminar uma das variveis, x ou y da Eq.(81) e procurar o mnimo de S. Entretanto, nos problemas mais geral, o vnculo poderia ter uma forma mais complicada do que a Eq.(81) e a eliminao de uma das variveis pode se tornar complicada ou at no possvel fazer analiticamente. Um mtodo muito eciente e, portanto, frequentemente usado o mtodo da constante multiplicadora de Lagrange. Vamos ver no caso acima mais simples. Escrevendo o vnculo (81) na forma (x, y) = 0, (82) onde obviamente (x, y) = x + y a 31

as variaes de x e y devem satisfazer = 0, onde, como j sabemos, = Isto , temos que x = 0. (85) Esta equao mostra que o vetor de variao x tem que ser ortogonal ao vetor . Isto signica que as variaes compatveis com o vnculo (82) tm que estar no plano perpendicular ao vetor . Por outro lado, em torno do ponto mximo da rea, sua variao nula para qualquer r que satisfaa Eq.(83), S = 0, (86) onde novamente, S = ou seja, x S = 0. (88) Quer dizer que, o vetor S tem que ser perperndicular ao vetor arbitrrio x no plano perperndicular ao . Isto , o vetor S perpendicular ao plano. Isto implica que os dois vetores, e S so paralelos, S = , onde uma constante arbitrria. Por outro lado, se a Eq.(89) vlida, a equao r (S ) = r (S ) = 0, (90) (89) S S x + y = x S, x y (87) x + y = x . x y (84) (83)

sempre verdade, para qualquer r, mesmo fora do plano perpendicular ao ao . Mas, neste caso, a Eq.(90) equivalente a dizer que (S ) = 0, 32 (91)

para qualquer r, agora sem nenhum vnculo. Isto , o problema de procurar o mximo da funo S(x, y) sob o vnculo dado pela Eq.(82) equivalente a procurar o mximo da funo, S , sem nenhum vnculo, onde uma constante. O valor de deve ser determinado utilizando a equao de vnculo posteriormente. Este o mtodo da constante multiplicadora de Lagrange o qual incorpora o vnculo num problema de princpio variacional. Vejamos um exemplo de como funciona. Vamos aplicar o mtodo para o caso de procurarmos o mximo da rea de rectngulo com circuferncia xo. Neste caso, S = xy, = x + y a, e, portanto, deve existir um constante tal que [xy (x + y a)] = 0 para qualquer x e y. Tomando independentemente as derivadas em relao a x e y, temos y = 0, x = 0. Da, eliminando e utilizando o vnculo, temos os valores de x e y que do o mximo de S como x = y = a/2. O valor mximo de S , portanto, (a/2)2 . Exerccio: Qual a forma de um paralelepipido que tem o maior volume, sendo a rea de superfcie constante? Exerccio: Duas variveis, x e y satisfazem a relao, 2x2 + y 2 = 1. Determina os valores de x e y que mximize a funo, z = x2 + y 2 + 2(x + y). 33

O mtodo de constante multiplicadora de Lagrange pode ser fcilmente generalizado para casos de muitos variveis, inclusive existam mais do que um vnculo entre as variveis. Sejam 1 (x1 , x2 , ..., xn ) = 0, . . . m (x1 , x2 , ..., xn ) = 0, m(< n) vnculos entre as variveis, x1 , ..., xn . Um mximo (ou mnimo) local de uma funo f (x1 , ..., xn ) dado pela condio " # m X F = f (92) i i = 0,
i=1

para qualquer {xi }. Exerccio: Demonstre a Eq.(92). Exerccio: Tres variveis, x, y e z satisfazem as relaes, 2x2 + y 2 = 1, x + y + z = 1. Encontre o mximo da funo, F = x2 + y 2 + z 2 + 2x + 3y + z.

Vnculo Funcional

No problema de procular mximo (mnimo) de um funcional, quando existir alguns vnculos para a funo, podemos trata-los em termos do mtodo de constantes multiplicadoras de Lagrange. Seja I = I[f ] um funcional que deve ser maximizado (minimizado) e [f ] = 0 o vnculo para a funo f , dado na forma funcional. Neste caso, a funo f deve ser obtida pela variao, [I ] = 0, (93)

onde uma constante. Em termos da derivada funcional, podemos expressar esta condio por I () = 0. f f 34

A justicativa deste mtodo completamente anloga ao caso das funes. Vamos aplicar o mtodo para resolver o problema da corda pendurada. Neste caso, s 2 Z xb df dx f (x) 1 + , (94) I = g dx xa e s 2 Z xb df = dx 1 + = l0 (95) dx xa Assim, o princpio variacional ca, [I ] = 0, ou, podemos escrever na forma, Z xb df = 0, dx L f, dx xa onde, agora, L = g (f ) s 1+ df dx 2 , (96)

(97)

(98)

com = /g. Desta forma, poder aplicar a equao de Euler-Lagrange e obtemos, s 2 df d df 1 . (99) (f ) q = 1+ df 2 dx dx dx 1 + dx Da mesma forma que foi feita anteriormente, introduzimos uma nova varivel, s 2 p df dl = dx2 + dy 2 = dx 1 + . (100) dx (101)

Assim, a Eq.(99) pode ser re-escrita por d df (f ) = 1. dl dl A primeira integral em l ca (f ) df = l + C1 , dl 35

(102)

onde C1 uma constante de integrao e a segunda integral ca (f )2 = (l + C1 )2 + C2 . (C2 = constante). Ou seja, q f = (l + C1 )2 + C2 , (104) (103)

Esta a relao entre a altura do ponto de corda y = f (l) em funo do comprimento l medido do ponto x = xa . Para saber a forma da corda, queremos saber a funo y = f (l(x)). Para isto, devemos eliminra a varivel l da Eq.(104) usando a equao, s 2 dl df . (105) = 1+ dx dx Tomando a derivada dos dois lados da Eq.(104) em relao a x, temos df dl l + C1 = q dx dx (l + C1 )2 + C2 q (f )2 C2 dl = f dx Substituindo a Eq.(105), temos q s 2 (f )2 C2 df df 1+ . = dx f dx
df Esta uma equao algebrica em relao a dx . Resolvendo, temos s df (f )2 C2 = , dx C2

(106)

(107)

(108)

(109)

que constitui uma equao diferencial de primeira ordem em relao a f . Temos df q = dx, 2
(f ) C2 C2

36

e integrando ambos lados, temos p 1 f (x) = C2 cosh (x x0 ) + , C2 (110)

onde x0 uma constante de integrao.

Exerccio: Verique que a Eq.(110) satisfaz a equao (99). Exerccio: Esboce a forma de funo (110) e discute o signicado de constantes, x0 , e C2 . Qual dos sinais deve ser escolhido como a soluo do problema? Note que a soluo, Eq.(110) contm 3 constantes incognitas. Entretanto, estas devem ser determinadas pelas condies, ya = f (xa ), yb = f (xb ), e dx 1 + p 1 1 = C2 sinh (xb x0 ) sinh (xa x0 ) . C2 C2 Exerccio: Expresse x0 , C2 e em termos de xa , xb , yD e l0 quando dois extreminades da corda tem a mesma altura, yD .
xa

l0 =

xb

df dx

Um fato importante para notar que estas constantes so determinadas puramente as condio geomtricas, e no entra nenhuma propriedade fsica da corda (densidade de massa, ). Isto , qualquer corda exvel, independente da material (seja a corrente de ao, a linha de algodo, etc), desde que tenha mesmo comprimento, ter mesma forma quando pendurada de dois pontos na parede. Isto fato pode ser fcilmente vericado experimentalmente.

37

A Primeira Ingegral

resulta a equao de Euler-Lagrange, ! L L d df = 0, dx dx f

Uma das vantagens da abordagem variacional que podemos extrair algumas propriedades da soluo do problema do ponto de visat banstante genrio, sem resolver a equao diferencial. Como vimos o princpio variacional para um funcional da forma, Z xb df I= dx L(f, ), (111) dx xa

(112)

que , em geral, a equao difrencial de segunda ordem para f (x). A soluo de uma equao diferencial de segunda ordem contm 2 constantes de integrao. No caso da equao de Euler-Lagrange acima, Eq.(112), podemos mostrar que a primeira integral obtida por H(f, df L df ) df L = const. dx dx dx (113)

De fato, tomando a derivada desta quantidade, temos " # dH d L df df = L dx dx dx dx ! dL df L L d2 f d df + df 2 . = dx dx dx dx dx dx Por autro lado, j que L uma funo de f e
df , dx

(114)

temos

Substituindo esta expresso em Eq.(114), temos ! dH d L L df df df = dx dx dx f dx # " dx ! L df L d df = dx dx f dx 38

dL L df L d2 f = + df 2 . dx f dx dx dx

(115)

(116)

Mas a quatidade dentro do chave [ ] acima exatamente o lado esquerdo da Equao de Euler-Lagrange, Eq.(112). Assim, se a equao de EulerLagrange satisfeita, temos dH = 0. dx Consequentemente, para a soluo da equao de Euler-Lagrange, sempre verdade que L df df L = const. (117) dx dx H= L df df L dx dx f = g q df 2 . 1 + dx

Vamos aplicar este resultado ao problema de corda que estudamos. Tomando L como na Eq.(98), temos

(118)

Segundo o argumento geral, esta quantidade deve ser constante, ou seja, f g q df 2 = C, 1 + dx (119)

r g df = (f )2 1, dx C que exatamente igual a Eq.(109) com a idendicao, g 1 = . C C2

Da, temos

(120)

(121)

Desta forma, a primeira integral do nosso problema sempre obtida de forma immediata. Na sesso anterior, sabendo este fato, poderiamos ter abreviado todas as contas entre a Eq.(98) e a Eq.(109).

10

Vnculos Locais

Um funcional pode depender de mais de uma funo. Por exemplo, no problema anterior da corda, poderiamos ter considerado a forma da corda em 39

termos de funo de seu comprimento l, x = x(l) y = y(l). As duas funes, x(l) e y(l) determinam a forma da corda, expressa parametricamente. Porm, as duas funes no devem ser independente, pois o comprimento da corda est relacionado com as duas funes por, dx2 + dy 2 = dl2 , ou 1= s dx dl 2 dy dl 2

(122)

Exerccio: Verique que a exigncia que esta equao vale para qualquer (l) equivalente a Eq.(122). A energia potencial da corda ca mais simples nesta representao, Z D U = g y(l)dl (124)
0

A Eq.(122) um vnculo entre as duas funes x = x(l) e y = y(l) para todos os valor de l. Em contraste ao vnculo integrado como a Eq.(95), este vnculo local no sentido de que a Eq.(122) tem que ser satisfeita localmente (cada valor de l). Para aplicar o mtodo de constante multiplicador de Lagrange, podemos expressar a Eq.(122) na forma ingegrada, s 2 2 Z l0 dx dy dl (l) + 1 = 0, (l). (123) dl dl 0

onde a variao em relao a quaisquer variaes das duas funes, x(l) x(l) + x(l) e y(l) y(l) + y(l). 40

pois gdl = dm a massa da corda correspondente ao pequeno comprimento dl. O principio variacional agora pode ser expresso por s 2 2 Z l0 dx dy dl gy + (l) + 1 = 0 (125) dl dl 0

Para facilitar a viso geral, vamos considerar o funcional Z lb dx dy I [x, y] = dl L(x(l), y(l), , ; l), dl dl la e o principio variacional, I = Z
lb

dl L(x(l), y(l),

la

dx dy , ; l) = 0. dl dl

(126)

Agora o funcional depende de duas funes (e suas derivadas). No problema acima, obviamente s 2 2 dx dy L = gy + (l) + 1 . (127) dl dl Fazendo os procedimentos anlogos no caso de uma funo, temos I = I [x + x, y + y] I [x, y] Z lb dx dy d(x + x) d(y + y) , ; l) L(x(l), y(l), , ; l) dl L(x + x, y + y, = dl dl dl dl la )# " ( ) ( Z lb d L d L L L dx + y(l) . (128) dl x(l) = x dl dl y dl dy la dl L d L = 0, x dl dx dl d L L = 0. y dl dy dl

Se I = 0 para qualquer x e y, ento, concluimos que

(129)

41

Assim, obtemos a equao de Euler-Lagranges para cada uma das funes, x e y. No caso da corda, Eq.(127), temos L = 0, x L dx (l) dx = q dy 2 dl dl dx 2 + dl dl

portanto as equaes de Euler-Lagrange ca, dx d (l) q dy 2 dl = 0, dl dx 2 + dl dl dy (l) d q dy 2 dl = g. dl dx 2 + dl dl Integrando as duas equaes em l, temos dx (l) q dy 2 dl = C1 , dx 2 + dl dl

L = g, y L dy (l) dy = q dy 2 dl , dl dx 2 + dl dl

Eliminamos pela diviso da segunda equao pela primeira, temos dy gl + C2 = . dx C1 Derivando os dois lados em termos de x (no l), temos, s 2 2 1 g dl dy dy = = 1+ . 2 dx C1 dx C dx 42

(l) dy q dy 2 dl = gl + C2 . dx 2 + dl dl

onde C = C1 /g uma constante a ser determinada. Chamando dy/dx de (x), a equao acima ca na forma q d 1 = 1 + 2 , (130) dx C que fcilmente integrada. Temos = sinh( x x0 ) C (131)

onde x0 a constante de integrao. Assim, dy x x0 = sinh( ). dx C Integrando, temos, x x0 ) + y0 C que novamente a soluo obtida anteriormente. y = C cosh( (132)

(133)

Exerccio: Deduza as equaes de Euler-Lagrange para 3 funes f, g e h cuja Lagrangiana L = L(f, g, h, df dg dh , , ). dx dx dx

10.1

A primeira integral no caso de duas variveis

Podemos vericar fcilmente a primeira integral correspondente a Eq.(113) no caso de ter duas variveis dada por H(x, y, Exerccio: Prove que dx dy dx L dy L dx + L. , )= dl dl dl dl dl dy dl

dH =0 dl para as funes x, y que satisfazem as equaes, d L L = 0, x dl dx dl d L L = 0. y dl dy dl 43

(134)

10.2

Exemplo 2. Uma Mola Homognea

Vamos aplicar as ideias discutidas acima para tratar um problema analogo da corda pendurada, mas agora no lugar de uma corda, consideramos uma mola elstica. No caso de uma mola, o prprio peso faz com que a mola estica, e diferentemente do caso de uma corda, no podemos saber o comprimento da mola, apriori. Por outro lado, o princpio que determina a congurao da mola deve ser igual ao caso da corda. Isto , no equilbrio, a mola deve atingir a congurao cuja energia total seja mnima. A diferena que quando a mola estica, a energia interna da mola aumenta. Assim, na medida que a mola pendura e estica, a reduo da energia potencial gravitacional acaba equlibrando com o aumento da energia interna da mola pela sua elasticidade. Como sabemos, se a mola estica homogeniamente, a energia interna da mola associada a sua estenso dada por Uint (Homog.) = k (l l0 )2 2 (135)

onde l0 o comprimento da mola no estado natural e l o comprimento estendida da mola. Agora, quando a mola ca pendurada, a esteno da mola no homognea. Assim, devemos subdividir a mola em pequenos pedaos, e calcular a energia como a soma das energias internas dos estes pequenas pedaos. Para isto, temos que lembrar que, quando subdividir uma mola em pequenos pedaos, a constante da mola para cada pedao no igual a da corda como todo. Isto fcil de ver de seguinte forma. Considere que a mola no estado natural como uma sequncia dos n pedaos iguais (Fig.5).

44

dl

Fig.5 Dividindo a mola em segumentos Cada segumento tem o comprimento dl = l0 /n. Quando a mola estica homogeniamente por um fator, digamos , ento cada pedao estica proporcionalmente, dl dl = dl. A energia da mola de cada pedao ca 1 dUint = k 0 (dl dl)2 2 1 = k 0 dl2 ( 1)2 , 2 e a energia interna total da mola ca Uint = k0 dl2 ( 1)2 2 k0 dl ( 1)2 = ndl 2 k0 /n k0 /n 2 2 ( 1) l = (l l0 )2 = 2 2 45 X1

Comparando esta expresso com a Eq.(135), temos k0 = nk = k l0 . dl (136)

Quanto maior que subdividimos a mola, a constante da mola de cada pedao ca maior, ou seja, a mola pequena ca mais dura. Uma vez calculado o valor da constante da mola do pequeno segumento da mola, podemos agora calcular a eneriga interna da mola mesmo quando a grau da estenso for inhomogenia. Suponhamos que a mola estende de forma inhomognia de forma que dl = dl (l), onde l o comprimento at o segumento medodo de um dos extremidades quando a mola no esteja esticada. A energia interna da mola ca Uint = 2 X 1 l0 dl = k ( 1)2 dl2 2 dl dl 2 Z l0 1 dl = k dl 1 . 2 0 dl X1 k0 (dl dl)2

e, portanto,

Na representao da forma da mola pendurada em termos de duas funes, x = x(l) e y = y(l), temos p (137) dl = dx2 + dy 2 dl = dl

dx dl

dy dl

(138)

A energia total da mola a soma da energia potencial gravitacional e a energia interna da mola. Assim, temos Utot = Ugrav + Uint = g Z
l0

1 dl y(l) + k 2

l0

s 2 2 2 dx dy dl + 1 dl dl 46

(139)

Agora podemos aplicar o princpio variacional para obter a forma do equilbrio da mola. A congurao de equilbrio da mola deve satisfazer o princpio, Utot = 0, (140) para qualquer variaes x e y das duas funes x(l) e y(l) em torno da sua forma equilbrio, x(l) x(l) + x(l), y(l) y(l) + y(l), (141)

Estas formam um sistema de equaes algbricas em relao a dx/dl e dy/dl. Para resolver o sistema, tomamos quadrados dos dois lados de cada equao e somando os dois lados, temos s 2 2 2 dx dy 2 + 1 = C1 + (gl + C2 )2 , k2 dl dl ou s dx dl 2 + dy dl 2 1 = k q 2 C1 + (gl + C2 )2 + 1.

As primeras integrais so fcilmente feitas e temos s 2 2 dx dx dy k + 1 q dl = C1 , 2 dl dl dx 2 + dy dl dl s 2 2 dy dx dy k + 1 q dl = gl + C2 . 2 dl dl dx 2 + dy dl dl

A energia total, Eq.(139) tem a forma que a equao de Euler-Lagrange diretamente aplicvel. Assim, temos s 2 2 dx d dx dy + 1 q dl = 0, (142) k 2 dl dl dl dx 2 + dy dl dl s 2 2 dy dx dy d + 1 q dl = g, (143) k dl dl dl dy 2 dx 2 + dl dl (144)

(145)

47

Substituindo esta expresso nas equaes (144) e (145), temos dx C1 C1 , = +q dl k 2 2 (gl + C2 ) + C1

Podemos integrar facimente e temos

dy gl + C2 gl + C2 , = +q dl k 2 2 (gl + C2 ) + C1

C2 C1 C1 1 g x(l) = x0 + l + l+ sinh , k g C1 g s 2 2 2 C2 gl /2 + C2 l C1 l+ + + . y(l) = y0 + k g g No limite de que a constante da mola ca innito (k )7 , temos C2 C1 1 g x(l) = x0 + l+ sinh , g C1 g s 2 2 C2 C1 l+ + . y(l) = y0 + g g A eliminao do varivel l destas equaes resulta em y y0 = g C1 cosh (x x0 ) g C1

(146) (147)

que coincide com o resultado da corda. Exerccio: Utilizando os recursos nmericos adequados, obtenha gracos y = y(x) para a congurao da mola partindo Eqs.(146,??).
7

a mola rgido para estenso, mas exvel = a corda

48

11

Princpio Variacional na Mecnica

Muitos problemas de Fsica podem ser formulados em termos de Princpio Variacioal. Por exemplo, na tica geomtrica, a trajtoria de raio de luz no meio da matria pode ser obtida pelo Princpio de Huygens: a luz escolhe o caminho que custa o menor tempo para chegar. Do ponto de vista matemtica, podemos escrever o Princpio de Huygens na forma de Princpio Variacional. Para simplicar, consideramos o caso bidimensional ( a luz propaga num plano). A trajetria da luz pode ser expressa pela funo, y = f (x), onde ya = f (xa ), yb = f (xb ), so as coordenadas dos pontos de partda e chegada da luz, respectivamente. No meio da matria, a velocidade da luz no necsssarriamente constante mas uma funo da posio, dependendo da propriedade da matria (ndice de difrao n). Assim, escrevemos v = cn(x, y), (149) (148)

onde c a velocidade da luz no vcuo. O Princpio de Huygens pode ser escrita como T [f ] = 0, f (150) onde T [r] = Z
xb

xa

q df 2 1 + dx cn(x, y)

dx.

(151)

Exerccio: Escreva o Princpio de Huygens para o caso 3-dimensional. Independentemente de saber o porque deste Princpio, a formulao variacional acima , sem dvida, til para determinar o caminho da propagao da luz na matria. Este princpio de Huygens deve ser naturalmente explicado em termos de propagao da onda eletromagnetica, o que viremos posteriormente. interessante que, a trajetria de uma partcula sob ao de uma fora conservativa tambm pode ser formulada em termos de um princpio variacional. Vejamos em seguida. 49

Exerccio: O dono de um parque de diverso quer construir uma montanha russa econmica. Qual a curva da montanha russa y = f (x) (y sendo a alutura da trilha) para que a carroa chega mais rpido ao ponto nal (xb , yb ), saindo do ponto de partda (xa , ya )? Suponha que no h nenhum atrito. (dica: O tempo total que a carroa gasta a integral do inverso da velocidade da carroa alongo ao trajtria. Use a conservao de energia para determinar a velocidade em funo de altura da carroa.)

12

Equao de Newton para Uma Partcula

o que uma equao diferencial de segunda ordem. Como mencionamos antes, L chamada de funo Lagrangiana (ou simplesmente Lagrangiana). Note que (ver o exerccio anterior), se escolhemos 2 dx 1 L= m V (x), 2 dt ento, a equao de Euler-Lagrange resulta em m dV d2 x = . 2 dt dx (155) (154)

Como vimos, a equao de Euler-Lagrange para a funo8 x = x(t), derivada do funcional do tipo Z dx I [x] = dt L(x, ), (152) dt dada por ! d L L dx = , (153) dt dt x

Isto tem a forma de equao de movimento de uma partcula unidimensional sob a fora derivada do potencial, F =
8

dV . dx

(156)

Nesta sesso, utilizamos a varivel t como o parmetro para especicar a funo e identcado como o tempo.

50

Por exemplo, considere uma massa m que movimenta alongo ao eixo x livremente, ligada numa mola com massa disprezivel. Neste caso, a equao de movimento de Newton ca m d2 x = kx, dt2 (157)

onde k a constante da mola. Esta equao pode ser obtida pela Equao de Euler-Lagrange com a Lagrangiana, 2 1 1 dx L= m kx2 . (158) 2 dt 2 O primeiro termo desta funo a energia cintica da partcula, e o segundo termo a energia potencial da mola. Isto , se colocamos a Lagrangiana como L = T V, (159) ento, o Princpio Variacional, I = 0, x = x(t) com I= Z
tb

(160)

Ldt,

(161)

ta

resulta a equao de movimento de Newton para uma partcula sob a fora gerada do potencial V = V (x). Aqui, o funcional I chamado de aao, e as variaes x deve satisfazer a condio de contorno, x(t)|t=ta ,tb = 0. O argumento pode ser fcilmente generalizado para o caso de uma partcula em movimento tridimensional. A energia cintica de uma partcula com massa m 2 2 2 ! 2 1 dx dr dy dz 1 = m + + , (162) T = m 2 dt dt dt 2 dt e a energia potencial ca V = V (x, y, z) = V (r). 51 (163)

Colocando dr L = L(r, ) = T V dt 2 1 dr = m V (r). 2 dt

(164)

Como tem 3 funes, x = x(t), y = y(t) e z = z(t), a equao de EulerLagrange para cada funo ca ! d L V dx = , (165) dt dt x ! V d L dy = , (166) dt dt y ! d L V dz = . (167) dt dt z ou, d L V , = dt x x V d L = , dt y y d L V = . dt z z onde x = dx/dt, etc. Vericamos que estas resultam em d2 x V m 2 = , dt x V d2 y , m 2 = dt y d2 z V m 2 = , dt z ou m d2 r = V. dt2 52 (171) (168) (169) (170)

Isto a equao de movimento de uma partcla sob a fora derivada do potencial V . importante notar que a quantidade, L x igual a componente x do momento linear da partcula. Isto , L px x L = py , y L pz z v L = p, onde introduzimos a notao, v =
x y z

(172)

ou

(173)

que o anlogo da gradiente, mas a derivada em relao a velocidade, v = dr/dt. Exerccio: Escreva a Lagrangiana para o movimento da Terra em torno do Sol, considerando apenas a fora gravitacional do Sol, xo na origim. O lado direito da equao de Euler-Lagrange a negativa do gradiente do potencial, ou seja a fora. A estrutura da equao de Euler-Lagrange ento tem a forma d p = f. (175) dt A derivada da Lagrangiana em relao a derivada temporal da coordenada o momento, e a derivada da Lagrangeiana em relao a coordenada prpria a fora.

(174)

53

Vimos que a equao de movimento de Newton sob a fora conservativa pode ser obtida pelo Princpio Variacional para o ao, Eq.(161). O Princpio Variacional aplicado para Mecnica chamado o Princpio de Mnima Ao (ou Princpio de Hamilton). A generalizao do Princpio de Mnima Ao para sistemas que contem muitas partculas trivial. Introduzimos a Lagrangiana, dr1 dr2 drn L = L r1 , r2 , , rn ; , , , dt dt dt n X = Ti U(r1 , r2 , , rn ), (176)
i=1

onde U (r1 , ..., rn ) representa a energia potencial do sistema para a congurao de partculas representada pela coordenadas de n partculas, {r1 , r2 , , rn } , e Ti a energia cintica de iesima partcula, 2 mi dri Ti = . (177) 2 dt O princpio de Mnima Ao leva as seguintes 3 n-equaes de movimento, m V d2 xi = , 2 dt xi d2 yi V m 2 = , dt yi V d2 zi , m 2 = dt zi

(178)

para i = 1, ..., n. Consideramos que este Princpio de Mnima Ao (Princpio de Hamilton) como o princpio que substituir as leis de Newton. Nesta posio, estamos considerando que todos os movimentos da Natureza devem ser dirigido por este princpio. Ou seja, existe sempre uma quantidade chamada de Lagrangiana, expressa em termos de coordenadas e suas derivadas temporais, de tal forma que a trajtoria que se realiza na Natureza aquela que faz o mnimo da ao, a integral da Lagrangiana no tempo. Ento, o que signicado deste princpio variacional? O que ao? As respostas para 54

estas perguntas no so simples. Se a lei da dinmica obtida pelo Princpio de Mnima Ao, ento, nos nunca podemos observar movimentos que no corresponde o ponto mnimo da ao I. Ou seja, o ao como funcional de possveis trajetrias nunca seria mensurvel em natureza. Assim, pode se parecer que o conceito da ao apenas uma coisa virtual, o conceito apenas matmtico. Por ser equivalente, o todo que pode se obter pelo Princpio de Mnima Ao tambm pode ser obtido em termos de Equao de Newton. Neste sentido, pode se pensar que o formalismo no acrecenta nenhuma coisa nova do ponto de vista fsica e, que puramente um jogo matemtico. Naturalmente devemos evitar de brincar com apenas mero formalismos, s para ser pedante sem ter nenhum utilidade prtica. Mas, no caso do Princpio de Mnima Ao, mais do que comprovado que o formalismo fornece uma viso esclarecedora para compreenso da estrutura da lgica da Mecnica Clssica, alm de ser um ferramento extremamente til para resolver problemas prticos. Podemos citar alguns pontos como: Sendo a Lagrangiana uma escalar, fcil efetuar qualquer transformao de variveis. A conservao da energia imediata. fcil de generalizar para sistemas de muitos partculas, ou at o meio contnuo. Certas leis de conservao (constantes de movimento) podem ser deduzido da forma da Lagrangiana. Isto d uma interpretao da razo de existncia destas constantes de movimento. Por exemplo, a conservao de momento linear tem como origim a homogenidade do espao. A conservao do momento angular est associada com a isotropia do sistema, etc. Para certos sistemas, em particular, quando existe vnculos entre variveis, muito mais fcil identicar a Lagrangiana do que construir a equao de movimento. O formalismo serve para generalizar a Mecnica, introduzindo novos conceitos, como vejamos em teoria dos campos. Foi fundamental para formular a Macnica Quntica. 55