Clculo Variacional a

Praciano-Pereira, T.1

Sobral Matemtica a 9 de abril de 2009

tarcisio@member.ams.org

Sumrio a
1 Elementos da teoria 1.1 Funcionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Espaos de Funoes . . . . . . . . . . . . . . . . . . . . . . . . . . c c Bibliograa ............................................................................... 13 3 3 10

Lista de Figuras
1.1 1.2 1.3
funao convexa c

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . A braquistcrona . . . . . . . . . . . . . . . . . . . . . . . . . . . . o Vizinhana tubular em C[3, 3] . . . . . . . . . . . . . . . . . . . . . c

6 7 12

iii

Introduo ca
Este livro uma introduao ao Clculo Variacional seguindo, muito de perto, e c a como roteiro, o livro com o mesmo nome de I.M. Gelfand e V.S. Fomin a partir da traduao feita por Richard Silverman. c No exatamente uma traduaao, mas o leitor da obra citada pode ena e c contrar aqui tudo o que se encontra naquele livro fundamental. Eu completei muitas das armaoes que os mestres Gelfand e Fomin deixaram sem provar c por consideraram-nas simples exerc cios. O leitor tambm podem encontrar os e meus erros ao interpretar as idias dos mestres e tentar deix-las mais precisas e a em alguns pontos. Eu no tenho d vidas de que muitos gostariam de ter feito o que eu estou a u fazendo e assim me expondo ` cr a tica por ter ousado faz-lo, que seja bem vinda e a cr tica se pudermos juntos melhorar este livro e ter assim em nossa lingua uma fonte de grande valor nos primeiros passos para entender a teoria do Clculo a nos espaos de funoes. c c

Cap tulo 1

Os primeiros exemplos
Neste cap tulo inicial vem a discusso sobre o que so funcionais e alguns exemplos. a a

1.1

Alguns problemas variacionais simples

Um tipo de varivel chamadas funcionais tem uma utilidade importante em a diversos problemas da anlise matemtica, mecnica, geometria. A palavra a a a funcional foi criada porque vamos tratar de uma lei, ou equaao, em que a c varivel livre uma funao e assim evitar a forma pelo menos desagradvel a e c a de escrever algo do tipo o valor da funao sobre a funao f ... quando c c e desejarmos escrever (f ). O exemplo mais simples uma integral e
b

I(f ) =
a

f (x)dx

(1.1)

quando estivermos pensando em calcular I sobre uma fam de funoes inlia c tegrveis como ser frequentemente aqui o objetivo. Alguns outros exemplos a a podem ser (usando uma linguagem algumas vezes um pouco vaga) lia 1. O funcional comprimento de arco Considere a fam de todas as curvas 1 recticveis no plano. Esta integral pode ser encontrada no diversos livros a sobre o t tulo comprimento de arco e assim podemos associar a cada curva reticvel um unico numero que o valor do funcional comprimento a e de arco.
Clculo, o comprimento de uma curva o limite do comprimento das poligonais a e que envolvem ou so envolvidas pela curva com vrtices sobre a curva. Se este conjunto de a e nmeros tiver um unico ponto de acumulaao diremos que a curva reticvel e este ponto u c e a de acumulaao o comprimento da curva. c e
1 No

2. A ordenada do centro de massa Associado a uma curva feita de algum material, podemos calcular-lhe o centro de massa. Se a cada curva associarmos a ordenada do seu centro de massa, temos aqui um outro exemplo de funcional. veis ligando dois pon3. O caminho m nimo Considere todos caminhos poss tos A, B do plano, todos parametrizados no intervalo [0, 1]. Seja v(t) ; t [0.1] (1.2)

o vetor velocidade de uma part cula num destes caminhos no ponto t [0, 1]. Poderiamos associar a cada caminho o numero velocidade mdia da e part cula percorrendo este caminho. 4. Associando a uma equaao diferencial Como o nosso objetivo aqui enc e tender e modelar usando equaoes diferenciais, vamos considerar o conc junto de todas as funoes y = f (x) duas continuamente diferenciveis c a denidas no intervalo [a, b]. Ento a frmula a o
b

J (y) =
a

y 2 (x)dx

(1.3)

dene um funcional sobre o conjunto de todas estas funoes. Observe que c nada impede que este funcional tenha valores arbitrariamente grandes sobre esta fam lia. Poderiamos considerar um conjunto mais restrito, das funoes cujos grcos fossem reticveis, por exemplo. c a a c c nua 5. Um exemplo mais genrico Considere a funao F (x, y, z) uma funao cont e destas variveis. Ento a expresso a a a
b

J (y) =
a

F (x, y(x), y (x))dx

(1.4)

dene um funcional sobre o conjunto de todas as funoes diferenciveis c a denidas em [a, b]. Com esta formulaao abstrata podemos dar alguns c exemplos: (a) Se F (x, y, z) = z 2 vemos novamente o o exemplo 4 aqui apresentado. E se nos interessamos pela desigualdade |F (x, y, y )| < (1.5)

ela provavelmente se realiza sobre um subconjunto das funoes cujo c grco seja reticvel. a a a (b) Se F (x, y, z) = 1 + z 2 ento temos o funcional comprimento de arco.

Este assunto bem antigo e pode ser encontrado nos trabalhos de Euler e (1707-1783) ou de um dos Bernouill (braquistcrona). Mas uma formulaao o c do Clculo Variacional ainda no se encontra feita de forma semelhante a bem a a estabelecida frmulaao do Clculo Diferencial e Integral sobre a funoes. Em o c a c geral todos os trabalhos giram em torno da maximizaao de algum exemplo c particular de funcional como sugeri em alguns dos exemplos acima. Mas me interessa ir um pouco mais longe alcanando o que poderia ser chac mado de Clculo sobre funoes, numa comparaao com o Clculo Diferencial a c c a e Integral que seria um Clculo sobre variveis reais ou complexas, indicando a a assim qual a varivel do Clculo que estamos desenvolvendo. e a a Acho que podemos distinguir os dois n veis de desenvolvimento com a terminologia Clculo variacional e problemas variacionais, no segundo caso estaa rei preocupado apenas em determinar extremos de funcionais enquanto que no primeiro caso me vai interessar o desenvolvimento das ferramentas do Clculo a Diferencial e Integral para serem aplicadas `s funoes como variveis. No a c a a e atoa que este caminho est ainda longe de car bem denido, uma dos mtodos a e do Calculo Variacional a derivada nos sentido das distribuioes. e c Vou passar a alguns exemplos de problemas variacionais quer dizer ` busca a de extremos de funcionais. 1. A menor curva (comprimento m nimo) ligando dois pontos A, B do plano uma reta. e A soluao o segmento de reta ligando os pontos A, B. c e Dem :
Vou fazer algumas reduoes do problema que embora sejam particularidades, no tiram c a a generalidade do resultado. Primeiro vou supor que o ponto B se encontra acima do ponto A ou ainda que o coeciente angular da reta que liga os pontos A, B seja positivo, isto no traz nenhuma a particularizaao importante para o problema, mas torna as contas mais simples. c Segundo, vou considerar o grco de uma funao f que tambm liga os pontos A, B, a c e f (x0 ) = y0 ; f (x1 ) = y1 com uma certa particularidade, convexa, quer dizer que a derivada descrescente, e a segunda derivada negativa. O grco na gura (1.1) e e a pgina 6, ilustra a idia. a e Posso colocar estas hipteses nos seguintes termos o A = (x0 , y0 ), B = (x1 , y1 ), x0 < x1 , y0 < y1 ; x < y = y = f (x) ; x [x0 , x1 ] f (x)
x0

(1.6) (1.7) (1.8) (1.9)

<

f (y); f (x)

J(f ) =

x1 p R

0;

1 + f (x)2 dx

e quero encontrar o m nimo de J sobre todos os poss veis grcos de funoes difea c renciveis y = f (x) denidas no intervalo [x0 , x1 ]. a Vou provar que este funcional tem derivada zero exatamente em cima de uma curva cujo grco uma reta, o segmento AB. a e A fundamentaao geomtrica da demonstraao vem de que todas as funoes cujos c e c c grcos liguem os dois pontos, sero as cncavas ou as convexas que estaro entre a a o a as que minimizam o funcional J e ainda assim o valor de J sobre estes grcos maior a e

x0
Figura 1.1:
funao convexa c

x1

ou igual ao valor de J sobre a funao do primeiro grau que liga estes pontos, porc que qualquer envolvente tem maior comprimento do que uma envolvida, no caso, o segmento de reta. Feitas estas restrioes sobre os poss c veis caminhos entre os pontos A, B posso fazer os seguintes clculos: a
x1 p R

J(f ) =
df (x)2 df

1 + f (x)2 dx

(1.10) (1.11) (1.12)

x0

df (x)2 dx dx df

= 2f (x)f (x) f 1 = 2f (x) (x) f

(x) dx 1+f (x)2

J (f ) =

x0

x1 R

=0

Como a funao (o produto de funoes) no integrando negativa por hiptese, equaao c c e o c (12) porque f convexa ento ento f (x) 0. A unica possibilidade de que esta e a a integral seja zero2 se o integrando for identicamente zero, quer dizer f (x) = 0 e e consequentemente graf (f ) uma reta, como queriamos demonstrar. e Mostrei que de dentre todas as funoes convexas (e seria equivalente no caso das c cncavas) as retas so as que otimizam (extremo) o funcional. o a Eu teria ainda que provar que elas minimizam o funcional, aqui ca uma defeito desta demonstraao para ser corrigido depois. c q.e.d .

2. A braquistcrona a curva pela qual desliza um corpo em tempo m o e nimo entre dois pontos A, B dados. O problema foi atacado por vrios maa temticos desde o sculo 15 e foi resolvido por John Bernoulli, James a e
uma integral no sentido de Riemann porque toda funao convexa tem por segunda c derivada uma funao cont c nua.
2E

Bernoulli, Newton e LHpital sendo considerado o primeiro problema vao ricional pela forma como foi resolvido por John Bernoulli. Dem :

No muda na essnca do problema se eu considerar que a origem o ponto B e que a e e ele est mais acima do ponto A, mas simplicam-se as contas. A curva o grco a e a de uma funao, seja y = f (x) esta funao. A gura (1.2) pgina 7, representa estas c c a

x
tg( )= f(x)

Figura 1.2:

A braquistcrona o

hipteses, geometricamente. A tangente trigonomtrica do angulo da reta tangente no o e ponto (x, f (x)), sendo o coeciente angular da reta tangente, a derivada. A integral e

x0

x1 p R

1 + f (x)2 dx o comprimento de arco entre dois pontos dados logo posso calcular e tan() = f (x) ; S = ds = p 1 + f (x)2 dx
ds dt x1 p R

1 + f (x)2

(1.13) (1.14) (1.15) (1.16) (1.17) (1.18) (1.19)

x0

p = 1 + f (x)2 dx = v(t) dt p (x) = v(t) = f 2gf (x) p v(t)dt = ds = 1 + f (x)2 dx 1+f (x)2 1+f (x)2 dx dt = dx = v 2gf (x) 2gf (x) dx = dt
1+f (x)2

T =

x0

x1 R

1+f (x)2 dx v

Na equaao (14) estou estabelecendo que a velocidade o comprimento de arco vezes a c e Ver a pgina 25 de Gelfand/Fomin a q.e.d .

3. Isoperimtrica Das curvas fechadas a que determina uma maior rea o e a e c rculo. Dem :
Seja uma curva fechada, o seu interior, e P (x, y) = y ; Q(x, y) = x ento a 2 2 Z Z Z Z Z P Q dxdy (1.20) dxdy = Area() = P dx + Qdy = x y

See later the solution.... vou retornar a estas contas posteriormente para no parar a agora. q.e.d .

Observao 1 A forma geral de um operador ca A propriedade localizadora Os problemas descritos acima envolvem funcionais que podem ser escritos na forma
b

F (x, y, y )dx
a

(1.21)

Este tipo de funcional tem a propriedade localizadora que pode ser descrita da seguinte forma: se dividirmos a curva graf (f ); y = f (x) de acordo com uma partiao do intervalo [a, b], o valor do funcional c ser a soma dos valores em cada uma das partioes. E o tipo de a c funcional que usualmente aparece no Clculo de Variaoes. a c O leitor observe que esta propriedade crucial para considerarmos e uma partiao do intervalo [a, b] e calcular o valor do funcional como c uma soma dos seus valores em cada sub-intervalo abrindo as condioes c para uma discretizaao do problema, por exemplo substituindo os c grcos de funoes por segmentos de reta. a c

 Um funcional que no tem esta propriedade Um exemplo de funcioa nal que no tem a propriedade localizadora a e
b

x 1 + f (x)2 dx
a b

(1.22) 1+ f (x)2 dx
f

que determina o centro de massa de graf (f ) ; [a, b] R Uma forma geral do centro de massa Se f for uma funao positiva, c
b

xf (x)dx
a b

(1.23) f (x)dx

calcula o centro de massa do graf (f ). Ver centro massa.c. Diversos problemas da Mecnica e da F a sica se encontram ` ra do desena z volvimento do Clculo de Variaoes, como a curva de tempo m a c nimo, a braquistcrona ou o problema da isoperimtrica apresentados acima. Por outro o e lado, os mtodos do Clculo de Variaoes so amplamente aplicveis a divere a c a a sos problemas f sicos, mas preciso observar que as aplicaoes do Clculo de e c a Variaoes no se restringem a resolver questes espec c a o cas, pelo contrrio, ele a descreve leis gerais de vrios ramos da F a sica que vo da Mecnica Clssica ` a a a a teoria das part culas elementares. Para entender a metodologia do Clculo de Variaoes fundamental acoma c e panhar como eles se relacionam com os problemas da Anlise Clssica, o estudo a a das funoes multivariadas. Considere um funcional como c
b

J (f ) =
a

F (x, f (x), f (x))dx ; A = f (a), B = f (b)

(1.24)

em que as condioes de fronteira A, B so variveis determinando as diversas c a a curvas graf (f ). Uma das formas de atacar este problema consiste em considerar uma partiao uniforme do intervalo [a, b] c a = x0 , x1 , . . . , xn = b (1.25)

dividindo o intervalo original em n sub-intervalos iguais. Neste ponto substituimos a curva graf (f ) por poligonais cujos vrtices se encontram sobre graf (f ) e (x0 , A), (x1 , f (x1 )), . . . , (xn , f (xn )) = (xn , B) e aproximamos o funcional por uma soma de Riemann
n1

(1.26)

J (f ) =
k=0

F (xi , f (xi ),

f (xi + x) f (xi ) )x x

(1.27)

Cada poligonal ca determinada pelas ordenadas f (x1 ), . . . , f (xn ) uma seleao arbitrria de valores condicionados ` condiao de fronteira c a a c (a, A), (b, B) e desta forma a soma, na equaao (27), uma funao de n variveis e uma c e c a aproximaao do funcional ca representada por uma maximizaao desta funao. c c c Eule fez uso intenso deste mtodo de diferenas nitas ao resolver problemas e c variacionais, ele substituiu assim o problema de maximizaao de funcionais por c um problema de maximazaao de funoes de n variveis chegando ` soluao c c a a c por passagem ao limite. Quer dizer que os funcionais podem ser vistos como funoes de um n mero indenido de variveis. O Clculo Variacional pode ser c u a a entendido como a forma anloga do Clculo Diferencial. a a

1.2

Espaos de funes c co

No estudo das funoes de n variveis conveniente usar-se uma linguagem c a e geomtrica considerando-se um conjunto de n n meros e u f (x1 ), . . . , f (xn ) = y1 , . . . , yn como um ponto de um espao de dimenso n, da mesma forma uma linguagem c a geomtrica util no estudo dos funcionais. Assim vamos considerar cada funao e e c [a, b] R
f

(1.28)

como um ponto numa classe que chamaremos de espao de funoes. c c No Clculo a n variveis suciente considerar um unico espao pela equia a e c valncia topolgica dos espaos de dimenso nita, [3, Teorema 14 e o seu coe o c a rolrio pp 48-49], este espao ser aqui denotado como Rn , o representante a c a cannico dos espaos vetoriais reais com sua norma euclidiana. No caso dos o c espaos de funoes no h mais um elemento universal e somos conduzidos ` c c a a a seleao de um determinado espao pela natureza do problema que tivermos c c considerando. Por exemplo, no caso de um funcional do tipo
b

F (x, y, y )dx
a

(1.29)

ser interessante considerar a classe das funoes C 1 ao passo que no caso de um a c funcional do tipo
b

F (x, y, y , y )dx
a

(1.30)

ser interessante trabalhar com a classe3 C 2 . No estudo de funcionais somos a conduzidos a usar diversos espaos de funoes. c c O conceito de continuidade tem um signicado importante para os funcionais de forma muito semelhante ao que ocorre com as funoes na anlise clssica. c a a Mas para formular o conceito de continuidade para funcionais precisamos de discutir o que signica proximidade nos espaos de funoes e uma forma de c c faz-lo consiste em denir norma de uma funao, o conceito anlogo ao de e c a n distncia de um ponto do R ` origem. Vou precisar da estrutura de espao a a c vetorial normado, EVN, e uma boa apresentaao pode ser encontrada em [?, c cap tulos 8,9] cuja notaao4 vou adotar neste livro. De imediato vou precisar c da deniao de norma que se encontra em [?, pag 212]. c Denida a norma do espao vetorial podemos torn-lo um espao mtrico c a c e com a deniao c Denio 1 (distncia) Distncia entre pontos num EVN Se f, g forem dois ca a a pontos de um espao vetorial normado, ento c a d(f, g) = f g dene a distncia entre estes dois pontos. a Com a deniao de distncia posso recuperar toda a linguagem geomtrica c a e do Clculo para os espaos de funoes e vou passar a alguns exemplos que sero a c c a importantes para a discusso posterior. a c nuas denidas num intervalo fechado 1. O espao C[a, b] das funoes cont c [a, b]. Observar aqui que a escolha de um intervalo fechado essencial, e uma vez que C[a, b] C(a, b) C(R) essas relaoes so um exerc c a cio relativamente simples de teoria dos conjuntos usando o conceito de continuidade de funoes reais. Para o meu c objetivo aqui interessa o espao das funoes cont c c nuas denidas num intervalo fechado uma vez que vou usar f (a), f (b) como condioes de fronteira c dos problemas. Em C[a, b] denimos Denio 2 (Norma) Norma em C[a, b] ca f = sup |f (x)|
x[a,b]

que dado por |f (x0 )|; x0 [a, b] porque o supremo de funoes cont e c nuas se realiza em algum ponto do intervalo fechado (consequncia do Teorema e do Valor Mdio para funoes cont e c nuas). A gura (1.3) pgina 12, o grco de uma vizinhana tubular de uma a e a c
a palavra classe representa uma variedade de espaos, ver por exemplo, [2]. c no quer dizer que estou considerando o livro citado como pre-requesito para este, os a cap tulos anteriores ao 8 contm muito mais topologia do que provavelmente vou necessitar e aqui.
4 Isto 3 Aqui

25 f(x) f8(x) f7(x) f6(x) f5(x) f4(x) f3(x) f2(x) f1(x) 0

20

15

10

-5

-10 -3 -2 -1 0 1 2 3

Figura 1.3:

Vizinhana tubular em C[3, 3] c

funao denida num interlo compacto (fechado) da reta e que se anula c fora deste intervalo. Uma bola de raio deste espao uma vizinhana tubular centrada num c e c elemento do espao, o que podemos ver na gura (1.3). Qualquer funao c e c 5 cujo grco que numa variaao mxima de 0.7, cont a c a nua ou no, seria a um elemento desta vizinhana tubular. Na gura podemos ver alguns c elementos da vizinhana tubular de raio 0.7 da funao c c x [3, 3] f (x) = x3 sin((x + 4)/3) x [3, 3] f (x) = 0 no intervalo [3, 3] 2.

a funao f no for cont c a nua, seu grco pode estar na vizinhana tubular, mas f a c C[3, 3]

5 Se

Referncias Bibliogrcas e a
[1] I. M. Gelfand e S. V. Fomin Calculos of variation traduao de R.A. Silveman, Prentice-Hall, Inc. c Dover - 2000 - 1963 [2] Jaak Peetre Besov Spaces Duke University Mathematics Series I - 1976 [3] G.E.Shilov An introduction to theory of linear spaces traduao de R.A. Silveman, Prentice-Hall, Inc. Egnelwood Clis, N. J. (1961) c [4] Simmons, G.F. Introduction to Topology and Modern Analysis. McGraw-Hill - Book Company - 1968

13