Acessibilidade / Reportar erro

A derivada funcional de segunda ordem da ação: investigando minimalidade, maximalidade e "ponto" sela

The functional derivative of second order of the action: exploring minimality, maximality and saddle point

Resumos

O presente trabalho tem basicamente dois objetivos. O primeiro é apresentar o problema geral da mecânica lagrangiana e o princípio de Hamilton utilizando, de uma maneira didática, definições matemáticas de derivadas "direcionais" funcionais e pontos críticos ou estacionários de um funcional. O segundo é analisar, através da derivada funcional de segunda ordem, condições em que as soluções de modelos unidimensionais representam "pontos críticos"de mínimo, de sela ou de máximo local do funcional ação e mostrar alguns exemplos.

derivadas direcionais funcionais; ponto estacionário de um funcional; equação de Euler-Lagrange; derivada funcional de segunda ordem


In this article we have two objectives. The first is to present the general problem of the lagrangean mechanics and the Hamilton principle by using mathematical definitions of functional directional derivatives and critical or stationary points of a functional. The second is to analyse, by use of the functional derivative of second order, conditions where the solutions of unidimensionals models represent minimum, of saddle or maximum local points of the action functional and show some examples.

Functional directional derivative; stationary point of a functional; Euler-Lagrange equation; functional derivative of second order


ARTIGOS GERAIS

A derivada funcional de segunda ordem da ação: investigando minimalidade, maximalidade e "ponto" sela

The functional derivative of second order of the action: exploring minimality, maximality and saddle point

Wilson Hugo C. Freire1 1 E-mail: wilsonhugo1@gmail.com.

Departamento de Física, Universidade Regional do Cariri, Juazeiro do Norte, CE, Brasil

RESUMO

O presente trabalho tem basicamente dois objetivos. O primeiro é apresentar o problema geral da mecânica lagrangiana e o princípio de Hamilton utilizando, de uma maneira didática, definições matemáticas de derivadas "direcionais" funcionais e pontos críticos ou estacionários de um funcional. O segundo é analisar, através da derivada funcional de segunda ordem, condições em que as soluções de modelos unidimensionais representam "pontos críticos"de mínimo, de sela ou de máximo local do funcional ação e mostrar alguns exemplos.

Palavras-chave: derivadas direcionais funcionais, ponto estacionário de um funcional, equação de Euler-Lagrange, derivada funcional de segunda ordem.

ABSTRACT

In this article we have two objectives. The first is to present the general problem of the lagrangean mechanics and the Hamilton principle by using mathematical definitions of functional directional derivatives and critical or stationary points of a functional. The second is to analyse, by use of the functional derivative of second order, conditions where the solutions of unidimensionals models represent minimum, of saddle or maximum local points of the action functional and show some examples.

Keywords: Functional directional derivative, stationary point of a functional, Euler-Lagrange equation, functional derivative of second order.

1. Introdução

O princípio de Hamilton é designado por vários autores como princípio de mínima ação [1-4]. Outros se referem a ação estacionária, ou crítica [5-7], mas não discutem a natureza desta criticalidade pois não seguem além da variação funcional de primeira ordem, o que é suficiente apenas para se obter as equações de movimento de Euler-Lagrange e prosseguir com suas aplicações e desmembramentos.

Em 2007, Gray e Taylor [8] apresentaram uma discussão detalhada sobre a possível não minimalidade da ação de um sistema mostrando inclusive que a solução da equação do oscilador harmônico simples constitui ponto de sela da ação, ao supor que o intervalo [t1; t2] da correspondente integral da lagrangiana é maior do que o semiperíodo do oscilador, o que é fisicamente aceitável para possibilitar oscilações neste intervalo de observação.

Eles mostraram também uma "prova intuitiva" 2 2 Traduzido da expressão "intuitive proof" dos autores. de um teorema de Jacobi que afirma que a ação nunca pode ser máxima, embora alguns autores se refiram à ação assumindo um extremum [ 2 ] admitindo a possibilidade de máximo. Na Ref. [9] deste trabalho, citada também por Gray e Taylor, há de fato uma prova da não maximalidade da ação, mas pressupõe que o potencial contido na lagrangiana é dependente em geral apenas da posição e do tempo. No entanto sabemos que na natureza há potenciais que violam este pressuposto, como é o caso de uma partícula num campo eletromagnético, onde o potencial depende também da velocidade [7, 10-12].

Explorando o caso de potenciais dependentes da velocidade, o presente trabalho mostra, conforme veremos mais adiante, que é possível construir modelos unidimensionais cujas soluções das equações de movimento representam pontos de máximo da ação, diferentemente dos casos considerados por Jacobi, Gray e Taylor. Além do mais vamos apresentar, no contexto unidimensional, condições suficientes para assegurar maximalidade ou minimalidade da ação e o caso do ponto de sela referente ao oscilador harmônico. Contudo, vamos inicialmente apresentar, de uma forma matematicamente instrutiva, o cálculo de variações e a formulação variacional do problema da mecânica, o princípio de Hamilton e a equação de Euler-Lagrange. Nos restringiremos ao caso de uma partícula em uma dimensão (um grau de liberdade) mas as idéias apresentadas podem ser estendidas naturalmente para outros sistemas.

2. Cálculo de variações e mecânica lagrangiana

O cálculo diferencial usual trata de funções de n variáveis,3 3 Não usaremos a notação para o vetor x =( x1, ..., xn) de . f : D que para cada x = (x1, ..., xn) ∈ D associa um y = f(x)= f(x1, ..., xn) em . Já o cálculo de variações ou cálculo variacional trata de funcionais ou, em outras palavras, é o cálculo diferencial de funcionais. Um funcional (linear ou não) é uma função A : onde F é um espaço vetorial sobre o conjunto dos números reais .

Vamos considerar o chamado funcional ação A :

associada a uma partícula em uma dimensão, dado pelas Refs. [6-7] (para uma abordagem mais matemática, veja as Refs. [13, 14])

definido para todo x no espaço vetorial das funções definidas no intervalo4 4 Este intervalo corresponde ao intervalo de tempo de observação, contados a partir do disparo de um cronômetro em t = 0; considera-se τ suficientemente grande, compatível com a escala de laboratório. Poderíamos considerar qualquer outro [t 1; t 2], mas não há perda de generalidade com [0; τ]. [0,τ] duas vezes continuamente diferenciáveis5 5 As equações de movimento são de segunda ordem, daí a colocação da hipótese da diferenciabilidade C 2 . e, todas, satisfazendo as condições de contorno com ponto inicial x0 e ponto final xτ fixos em . Precisamente

A função L : × [0; τ] é a lagrangiana do sistema que será suposta ser também de classe C2 e associa para cada × [0; τ] um valor real L . A expressão indica a derivada de x em t ∈ [0; τ ]. Assim, para cada função x em F o funcional ação A : associa um valor real A[x] dado pela integral (1) que depende em geral de todos os valores x(t) da função x.

Problema: Para a partícula cuja ação é dada por (1) a questão é: dentre todas as funções x : [0; τ ] em (funções C2 e com x(0) = x0 e x(τ) = xτ fixos) qual é aquela que descreve o movimento da partícula?

Princípio de Hamilton: O movimento da partícula é descrito pela função x ∈F que representa o "ponto" crítico ou estacionário6 6 Aqui a expressão "ponto"é no sentido de elemento de , portanto uma função. da ação A.

A grosso modo isto quer dizer que a partícula deve ter seu movimento descrito por uma função x(t), t ∈ [0; τ], em , tal que a variação (de primeira ordem) do funcional ação nesta função x deve ser zero. Vejamos o significado disto.

Lembremos que no cálculo diferencial usual ([15-17]) dada uma função diferenciável f : D dizemos que x =(x1, ..., xn) ∈ D é ponto crítico de f se gradf(x) f(x) = 0. Vejamos uma forma equivalente desta definição que se mostrará útil aos propósitos deste trabalho. No cálculo diferencial há um teorema que nos diz que se a função f é diferenciável em x então ela possui derivada em x relativa a qualquer direção v =(v1, ..., vn) (derivada direcional), a qual é dada por

onde ∈ é um parâmetro numérico. Pode-se verificar naturalmente que esta definição é equivalente à

e, tendo em vista a diferenciabilidade de f, segue da regra da cadeia que

Nestas condições, podemos dizer que x ∈ D é ponto crítico de f se a derivada direcional de f em x é zero para qualquer vetor "diretor" não nulo v de , ou seja, se

De forma semelhante à Eq. (2) dizemos que a de rivada (funcional) da ação A :

no "ponto" x ∈ e com relação à "direção" {X : [0; τ ] R | X é C2} é dada por [13, 14]

como no caso de funções de várias variáveis.7 7 Temos , assim como D . A derivada D η A[ x] é também conhecida como derivada de Gateaux [14]. Nos textos clássicos de mecânica é comum o uso da notação x + δ x; além disso se referem à δ x como uma pequena variação de x e trabalham com a correspondente variação δA do funcional A, o que é bem didático. Contudo, a justificação matemática para a expressão "pequena variação de x" reside no conceito de derivada (direcional) funcional D η A[ x] dado pela expressão (5) onde temos a presença de x + ∈ η no limite com 0, ao invés de x + δ x. Observemos que esta equação envolve a expressão A[x + ∈η], o que requer que x + ∈ηpois a ação A está definida no espaço ; assim, visto que este é constituído de funções x : [0; τ] com extremos fixos, temos x0 = x(0) = x(0) + η(0) e xτ = x(τ )= x(τ)+ η(τ) de onde segue que η(0) = η(τ ) = 0. As funções η ∈G que satisfazem estas condições são chamadas de admissíveis.

Agora, semelhantemente a Eq. (4), dizemos que x ∈ F é ponto estacionário (ou crítico) da ação A : se

Dessa forma o princípio de Hamilton afirma que o movimento da partícula cuja ação A : é dada por (1) é descrito por uma função x ∈ tal que

para todo admissível.

Temos, pela Eq. (1),

Derivando sob o sinal de integração e usando a regra de derivação em cadeia [15-17] segue que

em que as derivadas de L são consideradas nos pontos (x(t), (t),t), com t ∈ [0; τ ]. Integrando por partes a integral correspondente à segunda parcela desta equação, usando o teorema fundamental do cálculo e as condições admissíveis para η (η(0) = η(τ) = 0 que equivalem às condições de contorno x(0) = x0 e x(τ )= xτ ) temos

Pelo princípio de Hamilton o movimento da partícula é descrito por x(t), t ∈ [0; τ], tal que DηA[x] = 0, para todo η admissível de modo que, considerando o lema fundamental do cálculo de variações, [7, 13, 14], podemos escrever

que é a equação de movimento de Euler-Lagrange. Pode-se mostrar sem dificuldade que ela tem a forma

sendo, portanto, uma equação diferencial ordinária de segunda ordem (em geral não linear) em x. Portanto, a função x que descreve o movimento da partícula (ou seja, satisfaz o princípio de Hamilton) é solução da equação de movimento de Euler-Lagrange (com condições de contorno x(0) = x0 e x(τ)= xτ ).

Considerando a lagrangiana clássica L = K - U, onde K é a energia cinética e U é a energia potencial, a equação de Euler-Lagrange pode ser escrita como

onde

é a chamada força generalizada [10].

3. A derivada funcional de segunda ordem

Para analizar a natureza da criticalidade do "ponto estacionário" x : [0; τ ] da ação A : dada pela Eq. (1) que descreve o movimento da partícula, vamos considerar a derivada (direcional) funcional de segunda ordem, que explicaremos a seguir.

Lembremos do cálculo diferencial usual que dada uma função f : D de classe C2 temos, pelo teorema de Taylor

onde r(v) vai à zero mais rápido do que |v|2 no sentido que limv 0 [17]. Podemos escrever a expressão ( 3 ) de uma forma compacta da seguinte maneira

de modo que

Assim, a expressão de Taylor de segunda ordem (10) pode ser reescrita como

Assim, se x ∈ D é ponto crítico de f então f(x) = 0 e neste caso a fórmula de Taylor nos permite obter

Neste caso (detalhes em, p/ ex., Ref. [17]), se existir um disco aberto centrado em x, Cx D, tal que f(x + v) >f(x) para todo x + v ∈ Cx então x é ponto (crítico) de mínimo local de f. Para isto ocorrer é suficiente, pela fórmula de Taylor de segunda ordem, que f(x) > 0 para todo 0 em , visto que lim{r(v)/|v|2} = 0. Analogamente, se ocorrer f(x + v) <f(x) ao invés de f(x + v) >f(x) então x será ponto de máximo local de f e para isto é suficiente que f(x) < 0 para todo de . Entretanto se f(x) > 0 para algum v e f(x) < 0 para um então x é um ponto crítico de sela de f. Nada podemos concluir com o uso da derivada segunda no caso em que f(x) = 0 para todo em onde pode ser conveniente (dependendo de certas condições) usar fórmulas de Taylor de ordem superior ou analizar caso a caso.

De volta ao caso da ação A :

dada por (1) associada a uma partícula em uma dimensão, os conceitos de máximo local, mínimo local e sela são análogos ao caso de funções f : D . A fórmula de Taylor de segunda ordem é análoga à Eq. (13)

onde, considerando a expressão ( 5 ) trocando A por DηA,

Quando x : [0; τ] , em , é "ponto"estacionário da ação A (Dη A[x] = 0 para todo admissível), ou seja, satisfaz o princípio de Hamilton, a fórmula de Taylor (14) nos permite notar que [13]:

• se D

A[x]> 0 para todo η ∈G não identicamente nulo então x é "ponto" de mínimo (local) da ação A;

• se D

A[x]< 0 para todo η ∈g não identicamente nulo então x é "ponto"de máximo (local) da ação A;

• se D

A[x]> 0 para algum η ∈G e D [x] < 0 para , então x é "ponto"de sela da ação A.

Vamos calcular D

A[x] para o funcional ação A dado por (1). Pelas Eqs. (15) e (7)

Conforme procedimento descrito na seção anterior, derivando sob o sinal de integração e usando a regra da cadeia obtemos a forma quadrática (em η, )

Aqui, as derivadas segundas de L são consideradas em . Para uma função lagrangiana não relativística L = K - U da forma

temos

Vamos considerar inicialmente a classe de modelos em que o termo cruzado em η a ação é nula. Tal classe é ainda bastante ampla e os potenciais são da forma

onde temos a presença da parcela W dependente da velocidade. Neste caso

3.1. Modelos que minimizam a ação

Pela Eq. ( 20 ) teremos D A[x] > 0 para todo η admissível se, por exemplo, ocorrer

e

para todo . Sob estas condições a solução da equação de Euler-Lagrange minimiza a ação. Em particular isto ocorre para todos os potenciais da forma

para o qual W é identicamente nulo. Para os potenciais desta forma temos = 0 e m> = 0 em concordância com as Eqs. (21) e (22). A derivada funcional segunda da ação é simplesmente para todo η admissível.

Alguns exemplos que se enquadram neste caso são: partícula livre (U = V = constante) e partícula em queda livre num campo gravitacional constante (U = V = αx, α constante).

Um exemplo interessante, topologicamente equivalente ao do oscilador harmônico simples a ser apresentado mais adiante, é o de um potencial U(x)= c|x| que se enquadra nos casos aqui analisados de mínima da ação, desde que a hipótese da lagrangiana ser C2 seja trocada por C2 por partes (ou seccionalmente C2).8 8 A equivalência topológica aqui é no sentido de que o gráfico de de c|x| pode ser deformado continuamente no de (1/2) m ω 2x 2 do oscilador e vice-versa.

Um outro exemplo de mínima ação é o da partícula livre relativística, cuja lagrangiana é [6, 10, 11]

onde

De fato, por substituição desta lagrangiana na Eq. (16),

3.2. Modelos que maximizam a ação

Para ocorrer maximalidade da ação é suficiente que D

A[x] < 0 para qualquer η admissível. isto, de fato ocorre, se o potencial u = V (x, t)+ W for tal que

e

para todo .

Como exemplo, considere o potencial

Visto que m, temos as expressões (24) e (25) satisfeitas e a solução da correspondente equação de Euler-Lagrange maximiza a ação.

3.3. Modelo com ponto sela da ação

Existe a possibilidade de que a solução da equação de Euler-Lagrange seja ponto de sela da ação, mesmo no caso em que U = V (x, t)(W identicamente nula), por causa do termo na Eq. (20), que neste caso assume a forma

Vamos considerar o oscilador harmônico simples, para o qual

de modo que a Eq. (26) torna-se

Seja

a qual satisfaz η(0) = η(τ)=0(η admissível). Então, por derivação termo a termo,

Substituindo as Eqs. (29) e (30) na Eq. (28) e fazendo uma mudança apropriada de variável nas integrais segue que

Usando as relações de ortogonalidade

em que δln é o delta de Kronecker (δnn = 1 e δln = 0 para l n) temos

Notemos que escolhendo um η para o qual α1 0 e αn = 0 para todo n> 1 temos

quando o tempo τ de observação é maior do que o semiperíodo τ/ω do oscilador (o que é fisicamente aceitável). 9 9 Gray e Taylor enquadram este caso numa classificação que designaram como coleção de linhas de mundo suficientemente longas. Mas, ainda para este tempo de observação, podemos selecionar um outro η escolhendo um aN tal que a N 0, αn = 0, ∀n = N e com (NΠ/τ )2 >ω2 o, que implica em

Logo a solução da equação de movimento do oscilador harmônico simples é ponto de sela da ação para o tempo de observação τ maior do que o semiperíodo τ/ω do oscilador, conforme obtido por Gray e Taylor.

4. Considerações finais

Gray e Taylor mostraram como a ação pode ser mínima ou sela para potenciais dependentes da posição e do tempo e tendo em vista as dimensões das linhas de mundo da partícula em questão. O presente trabalho considerou o caso de potenciais unidimensionais dependentes também da velocidade e apresentou nestes casos condições em que podem ocorrer situações de maximização da ação independentemente dos comprimentos das linhas de mundo, com um formalismo matemático didaticamente instrutivo. Esta abordagem particularmente recupera de maneira direta o resultado de ponto de sela para o oscilador harmônico (obtido por Gray e Taylor). A importância de trabalhos desta natureza é apresentar e ilustrar com certos detalhes o teste da segunda derivada funcional, um tanto ausente nos textos clássicos de mecânica. Além do mais este formalismo pode ser utilizado sem grandes dificuldades formais em outros sistemas, em mais dimensões e em ordens superiores.

Agradecimentos

Agradeço especialmente ao amigo e colega Prof. Dr. Mickel Ponte, do Departamento de Física da Universidade Regional do Cariri -Ceará, pela gentileza de ler todo trabalho, pelas discussões esclarecedoras e por fazer as correções necessárias. Agradeço também ao referido Departamento pelas condições oferecidas para que este trabalho fosse realizado. Agradeço à Prof. Dra. Cicera Nunes do Departamento de Educação da mesma universidade pelas observações de ordem estética.

Recebido em 14/5/2011; Aceito em 1/7/2011; Publicado em 27/2/2012

  • [1] L.D. Landau and E.M. Lifshitz, Mechanics (Butterworth-Heinenann, Oxford, 1993), 3rd ed.
  • [2] J.V. Jose and E.J. Saletan, Classical Dynamics (Cambridge University Press, Cambridge, 1988).
  • [3] J.P. Provost, Am. J. Phys. 43, 774 (1975).
  • [4] J. Hanc, S. Tuleja and M. Hancova, Am. J. Phys. 71, 380 (2003).
  • [5] T.W. Kible and F. Berkshire, Classical Mechanics (Imperial College Press, London, 2004), 5th ed.
  • [6] H. Goldstein, C. Poole and J. Safko, Classical Mechanics (Addisson Wesley, New Jersey, 2000), 3rd ed.
  • [7] Nivaldo A. Lemos, Mecânica Analítica (Ed. Livraria da Física, São Paulo, 2004).
  • [8] C.G. Gray and Edwin F. Taylor, Am. J. Phys. 75,5 (2007).
  • [9] D. Morin, Introductory Classical Mechanics, disponível em www.courses.fas.harvard.edu/~phys16/Textbook/ chap. 5, p. V-8.
  • [10] J. Barcelos Neto, Mecânica Newtoniana, Lagrangiana e Hamiltoniana (Ed. Livraria da Física, São Paulo, 2004).
  • [11] J.D. Jackson, Classical Electrodynamics (J. Wiley, New York, 1998), 3rd ed.
  • [12] D.J. Griffiths, Introduction to Electrodynamics (Addison Wesley, New Jersey, 1999), 3rd ed.
  • [13] I. Gelfand and I. Fomin, Calculus of Variations (Dover, New York, 2000).
  • [14] A. Komech, in: Lecture Notes of The Max Plank Institute for Mathematics in the Sciences, LN 25/2005, Leipzig, 2005. Apêndice sobre derivadas funcionais direcionais (de Gateaux) e mecânica lagrangiana.
  • [15] S. Lang, Calculus of Several Variables (SpringerVerlag, New York, 1991), 3rd ed.
  • [16] J. Marsden and A. Tromba, Vector Calculus (Freeman, New York, 2003).
  • [17] Elon L. Lima, Análise Real (IMPA, Rio de Janeiro, 2004,) v. 2.
  • 1
    E-mail:
  • 2
    Traduzido da expressão "intuitive proof" dos autores.
  • 3
    Não usaremos a notação
    para o vetor
    x =(
    x1, ..., xn) de
    .
  • 4
    Este intervalo corresponde ao intervalo de tempo de observação, contados a partir do disparo de um cronômetro em
    t = 0; considera-se τ suficientemente grande, compatível com a escala de laboratório. Poderíamos considerar qualquer outro [t
    1; t
    2], mas não há perda de generalidade com [0; τ].
  • 5
    As equações de movimento são de segunda ordem, daí a colocação da hipótese da diferenciabilidade C
    2 .
  • 6
    Aqui a expressão "ponto"é no sentido de elemento de
    , portanto uma função.
  • 7
    Temos
    , assim como D
    . A derivada
    D
    η
    A[
    x] é também conhecida como derivada de Gateaux [14]. Nos textos clássicos de mecânica é comum o uso da notação
    x +
    δ
    x; além disso se referem à
    δ
    x como uma pequena variação de
    x e trabalham com a correspondente variação
    δA do funcional A, o que é bem didático. Contudo, a justificação matemática para a expressão "pequena variação de
    x" reside no conceito de derivada (direcional) funcional
    D
    η
    A[
    x] dado pela expressão (5) onde temos a presença de x + ∈
    η no limite com
    0, ao invés de x +
    δ
    x.
  • 8
    A equivalência topológica aqui é no sentido de que o gráfico de de c|x| pode ser deformado continuamente no de (1/2)
    m
    ω
    2x
    2 do oscilador e vice-versa.
  • 9
    Gray e Taylor enquadram este caso numa classificação que designaram como coleção de linhas de mundo suficientemente longas.
  • Datas de Publicação

    • Publicação nesta coleção
      16 Maio 2012
    • Data do Fascículo
      Mar 2012

    Histórico

    • Recebido
      14 Maio 2011
    • Aceito
      01 Jul 2011
    Sociedade Brasileira de Física Caixa Postal 66328, 05389-970 São Paulo SP - Brazil - São Paulo - SP - Brazil
    E-mail: marcio@sbfisica.org.br