Computação Algébrica no Cálculo das Variações: Determinação de Simetrias e Leis de Conservação
DOI:
https://doi.org/10.5540/tema.2005.06.01.0081Abstract
Os problemas de otimização dinâmica (em espaços de funções) tratados pelo cálculo das variações são normalmente resolvidos por recurso às condições necessárias de Euler-Lagrange, que são equações diferenciais de segunda ordem (ou de ordem superior, quando os problemas variacionais envolvem derivadas de ordem superior a um). Estas equações são, em geral, não lineares e de difícil resolução. Uma forma de as simplificar consiste em obter leis de conservação: primeiros integrais das equações diferenciais de Euler-Lagrange. Se em áreas como a Física e a Economia a questão da existência de leis de conservação é resolvida de forma bastante natural, a própria aplicação sugerindo as leis de conservação (e.g. conservação de energia, conservação da quantidade de movimento, conservação do rendimento, etc.), de um ponto de vista estritamente matemático, dado um problema do cálculo de variações, o processo de obtenção das leis de conservação ou, até mesmo, a demonstração de que elas existem (ou não), deixa de ser uma questão óbvia. Neste trabalho mostramos como um sistema de computação algébrica como o Maple pode ser muito útil na abordagem a estas questões. Especificamente, propomos, como principal contribuição do nosso trabalho, um conjunto de facilidades computacionais simbólicas que permitem, de uma forma sistemática e automática, identificar as leis de conservação de uma dada funcional integral do cálculo das variações.References
[1] L.N. de Andrade, “Introdução à Computação Algébrica com o Maple”, IMPA, editora da Sociedade Brasileira de Matemática, 2004.
B. van Brunt, “The Calculus of Variations”, Springer-Verlag New York, 2004.
G. Buttazzo e M. Belloni, A Survey on Old and Recent Results About the Gap Phenomenon in the Calculus of Variations, “Recent developments in well-posed variational problems”, pp. 1–27, Kluwer Acad. Publ., 1995.
F.S. David, “O Cálculo Variacional Clássico e Algumas das suas Aplicações à Física Matemática – Referência a Algumas Extensões mais Recentes”, Electricidade de Portugal, 1986.
L.P. Lebedev e M.J. Cloud, “The Calculus of Variations and Functional Analysis – with Optimal Control and Applications in Mechanics”, World Scientific, 2003.
A. Leitão, “Cálculo Variacional e Controle ótimo”, IMPA, 23o Colóquio Brasileiro de Matemática, 2001.
J.D. Logan, “Invariant Variational Principles”, Academic Press [Harcourt Brace Jovanovich Publishers], 1977.
J.D. Logan, “Applied Mathematics – A Contemporary Approach”, John Wiley & Sons, New York, 1987.
E. Noether, Invariante Variationsprobleme, G¨ott. Nachr. (1918), 235–257.
P.J. Olver, “Applications of Lie Groups to Differential Equations”, Springer-Verlag, 1986.
D.F.M. Torres, On the Noether Theorem for Optimal Control, European Journal of Control, 8, No. 1 (2002), 56–63.
D.F.M. Torres, Integrals of Motion for Discrete-Time Optimal Control Problems, Control Applications of Optimisations 2003, R. Bars and E. Gyurkovics eds., IFAC Workshop Series (2003), 33–38.
D.F.M. Torres, Proper Extensions of Noether’s Symmetry Theorem for Nonsmooth Extremals of the Calculus of Variations, Communications on Pure and Applied Analysis, 3, No. 3 (2004), 491–500.
Downloads
Published
How to Cite
Issue
Section
License
Authors who publish in this journal agree to the following terms:
Authors retain copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution License that allows the sharing of the work with acknowledgment of authorship and initial publication in this journal.
Authors are authorized to assume additional contracts separately, for non-exclusive distribution of the version of the work published in this journal (eg, publish in an institutional repository or as a book chapter), with acknowledgment of authorship and initial publication in this journal.
Authors are allowed and encouraged to publish and distribute their work online (eg, in institutional repositories or on their personal page) at any point before or during the editorial process, as this can generate productive changes as well as increase impact and the citation of the published work (See The effect of open access).
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles, or use them for any other lawful purpose, without asking prior permission from the publisher or the
author. This is in accordance with the BOAI definition of open access
Intellectual Property
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License under attribution BY.