Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Fernando Ricardo Moreira1, Esdras Teixeira Costa2, Marcio Koetz3, Samanta Andressa Santos Dumke Teixeira 4, Henrique Bernardes da Silva5
1
Professor Mestre do Curso de Matemtica da Universidade Federal de Gois (UFG) (moreirafrmat@hotmail.com) 2 Professor Doutor do Curso de Matemtica da UFG 3 Professor Doutor da Faculdade de Engenharia Agrcola da UFMT 4, 5 Alunos de Graduao em Matemtica na UFG RESUMO
A transformada de Laplace uma poderosa ferramenta na resoluo de problemas envolvendo equaes difero-integrais, diferenciais ordinrias e parciais. Neste artigo definimos a transformada de Laplace e calculamos a transformada para diversas funes elementares. Por ltimo fizemos algumas aplicaes da transformada de Laplace para resolver problemas de valor inicial em equaes diferenciais ordinrias e problemas de valor de contorno em equaes diferenciais parciais. PALAVRAS CHAVE: Transformada de Laplace, Problema de Valor Inicial, Transformada Inversa. THE LAPLACE TRANSFORM AND SOME APPLICATIONS ABSTRACT The Laplace transform is a powerful tool in solving problems involving equations difero-integrate, and partial differential equations. In this article we define the Laplace transform and transformed to calculate the various elementary functions. Finally we made some applications of the Laplace transform to solve initial value problems in ordinary differential equations and problems of boundary-value partial differential equations. KEYWORDS: Laplace Transform, Initial-Value Problem, Inverse Transform. 1. INTRODUO Muitos problemas em matemtica aplicada recaem na resoluo de certas equaes diferenciais, que na maioria das vezes no uma tarefa fcil. Portanto mtodos que auxiliam na resoluo de equaes diferenciais so sempre muito bem-vindos. Neste contexto, a Transformada de Laplace (Pierre Simon de Laplace (1749-1827) estudou Mecnica Celeste e Teoria das Probabilidades, Sobre uma biografia de Laplace veja Andreotti) uma
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.1
ferramenta importantssima para a resoluo de problemas de valor inicial em equaes diferenciais. A importncia da Transformada reside no fato dela transformar problemas de valor inicial para equaes diferenciais ordinrias, certos problemas de valores de contorno para equaes diferenciais parciais em equaes algbricas. Estes problemas de equaes diferenciais nem sempre so de trato simples. Somente para dar um exemplo da importncia da transformada de Laplace na resoluo de equaes diferenciais, observe o seguinte o problema de valor inicial:
.
A equao que aparece acima uma equao difero-integral cuja soluo garantida pelo Teorema de Picard, veja Sotomayor,1979. Este teorema s garante a existncia e unicidade de soluo para problemas em equaes diferenciais ordinrias, mas no fornece uma direo para encontrar esta soluo. A equao acima no pode ser resolvida pelos mtodos usuais de resoluo de equaes diferenciais lineares de primeira ordem, mas pode ser resolvida via a teoria da transformada de Laplace. A transformada de Laplace tambm pode ser utilizada para resolver certas integrais imprprias como: e
Neste trabalho iremos estudar um pouco sobre a Transformada de Laplace e faremos algumas aplicaes da sua utilizao para resolver certos problemas em equaes diferenciais. 2. RESULTADOS E DISCUSSO 2.1 Definio da Transformada, Funes de Ordem Exponencial e Existncia da Transformada Inversa. Agora iremos definir a transformada de Laplace e apresentar muitos resultados que sero teis no desenvolvimento da teoria apresentada. Definio 2.1.1 Dada uma funo definida no intervalo definimos a sua Transformada de Laplace, e denotamos por , por:
Supondo que a integral acima seja convergente pelo menos para algum valor de . Por exemplo, considere a funo . Sua transformada, dada por: Equao (1) Uma questo a ser levantada a seguinte, que condio uma funo deve satisfazer para que sua transformada esteja bem definida, isto , que a integral dada na definio 2.1 seja convergente?
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.2
Vamos querer que a funo no cresa muito rapidamente, por exemplo a funo no possui transformada de Laplace. Vamos supor que a funo satisfaa: para Onde e so constantes positivas. Funes satisfazendo a desigualdade acima so ditas de ordem exponencial . Vamos mostrar agora que a transformada de Laplace de funes de Ordem Exponencial est bem definidas. Temos que
Logo a transformada existe para . Isto , para funes de ordem exponencial a integral imprpria absolutamente convergente e ainda temos a seguinte estimativa . possvel mostrar que se ento a funo definida por uma funo de ordem exponencial , tambm de ordem da
exponencial com a mesma constante . Agora vamos discutir sobre outro problema: a existncia transformada inversa . Comeamos com a seguinte definio: Definio 2.1.2 Se uma funo tal que, para todo ,
chamada de funo nula. Por exemplo, toda Ento a funo funo que nula, exceto num conjunto de medida nula uma funo nula. Seja uma funo de ordem exponencial, sua transformada de Laplace e , onde uma funo nula. Observe que
Pois, a integral
e ) podem ter a mesma transformada de que duas funes distintas ( Laplace, isto , o operador no injetor. Porm temos o seguinte resultado sobre o operador transformada . Teorema 2.1.3 (Teorema de Lerch) Se nos restringirmos a funes que sejam contnuas por partes em todo intervalo finito e de ordem exponencial, ento a transformada inversa de Laplace de , isto , nica. Prova Para uma demonstrao deste teorema veja FIGUEIREDO & NEVES (2001). 2.2 Propriedades da Transformada de Laplace Nesta seo iremos calcular a transformada de algumas funes elementares. Tambm mostraremos algumas propriedades que a transformada
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.3
possui e apresentaremos uma tabela sobre transformada de vrias funes para posterior utilizao nas aplicaes. , cujo At agora s calculamos a transformada da funo resultado para . Portanto,
. Mostraremos este resultado por induo. Primeiramente mostraremos para . Ento e assim
Logo o resultado vlido para . Suponha que o resultado em questo seja vlido para . Queremos mostrar que vale para . Ento:
Pela hiptese de induo temos que a ltima integral acima, que justamente a transformada de a funo . Assim
Uma propriedade muito importante que o operador transformada de Laplace satisfaz a propriedade linear, isto , . A demonstrao deste fato se deve linearidade da integral de Riemann. fcil mostrar que esta propriedade vlida para qualquer combinao linear finita de funes. Calcularemos agora a transformada de algumas funes. Primeiramente note que podemos substituir na equao (1) pelo nmero complexo ,e para efetuar as mesmas operaes e obter
, obtemos ento
E ainda fazendo uma combinao linear das frmulas anteriores, obtemos a frmula da inversa
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.4
Nosso principal objetivo com a transformada de Laplace resolver equaes diferenciais, portanto vejamos como o operador transformada atua na derivao de funes. Comeamos com os seguintes Lema. Lema 2.2.1 Se uma funo derivvel, com derivada de ordem exponencial ento
Isto ,
Lema 2.2.2 Se uma funo derivvel quantas vezes for necessrio, com derivadas de ordem exponencial ento
Prova Pela definio
Assim temos
Mais geralmente podemos provar o seguinte resultado. uma funo derivvel quantas vezes for Teorema 2.2.3 Se necessrio, com derivadas de ordem exponencial ento . Prova Segue diretamente dos Lemas 2.2.1 e 2.2.3. Outra frmula interessante segue do Lema 2.2.1. Seja ento ,
Isto ,
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.5
Se obtemos
e o Lema 2.2.1,
Ento temos a seguinte frmula de recorrncia Aplicando sucessivamente a frmula anterior teremos
Colocaremos agora uma tabela com a transformada (e conseqentemente sua inversa) de algumas funes que aparecem com bastante freqncia e algumas frmulas gerais. QUADRO 2.2.4 : Transformadas de Laplace FUNO TRANSFORMADA
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.6
Outro quadro com outras transformadas pode ser encontrada no livro de SPIEGEL (1965). Para o que estamos nos propondo, estes quadros com as frmulas so suficientes. Para saber mais sobre transformadas de Laplace de diversas funes, como por exemplo; a funo gama, funes de Bessel, funo impulso unitrio ou funo delta de Dirac1 veja a referncia anterior. 3. APLICAES DA TRANSFORMADA DE LAPLACE Nesta seo iremos fazer algumas aplicaes da transformada de Laplace como: resoluo de problemas de valor inicial para equaes diferenciais ordinrias, resoluo de problemas de contorno para equaes diferenciais parciais e clculo de algumas integrais imprprias. 3.1 Uso da Transformada de Laplace na resoluo de problemas de valor inicial para equaes diferenciais ordinrias. Comeamos com a seguinte observao. Considere o problema de valor inicial abaixo:
Do ponto de vista matemtico, no faz nenhuma diferena este problema de valor inicial (PVI) com condies iniciais num ponto qualquer, de outro PVI com a mesma equao, mas com o ponto inicial no ponto O que h apenas uma translao, isto , se soluo do PVI com condio inicial no ponto ento soluo do PVI com Consideraremos apenas PVI com condies iniciais condio inicial em em zero. Exemplo 3.1.1 Considere o PVI dado abaixo
Na equao anterior usamos a linearidade do operador e o quadro 2.2.4. Usando ainda o quadro 2.2.4, na parte sobre a atuao do operador nas derivadas obtemos
Usando
, ento teremos
Paul Dirac, Prmio Nobel em Fsica em 1933, por trabalhos em Mecnica Quntica.
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.7
Ou equivalentemente
Agora usando a tabela 2.2.4, mas no sentido inverso, isto , para calcular a transformada inversa, obtemos a seguinte expresso para a soluo do PVI proposto
E ento a soluo do nosso Logo, problema de valor inicial. Na resoluo do problema anterior tivemos que desenvolver a equao algbrica (funo racional) obtida, em fraes parciais. Para saber um pouco mais sobre a tcnica de resoluo de fraes parciais veja GUIDORIZZI (2001). Resolveremos agora uma equao difero-integral como aplicao da teoria da transformada de Laplace. Exemplo 3.1.2 Considere o PVI dado abaixo
Aplicando o operador em ambos os lados da equao acima, usando a linearidade de , utilizando a tabela 2.2.4 e a condio inicial obtemos
Ou equivalentemente
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.8
Aplicando a transformada inversa em ambos os lados obtemos a soluo do PVI, expressa por . Estamos usando o quadro 2.2.4 para calcular a inversa da transformada de Laplace de algumas funes. Existe a frmula inversa da transformada de Laplace, chamada de frmula complexa de inverso ou frmula integral de Bromwich. Spiegel, em seu livro, traz um captulo inteiro sobre a frmula complexa de inverso. A palavra complexa devido ao uso da teoria de funes de variveis complexas e no pela dificuldade de clculo apresentada pela frmula. Exemplo 3.1.3 Mostre que Considere a funo definida por transformada de Laplace, temos . . Ento, tomando a
O resultado procurado segue fazendo t = 1. Para finalizar mostraremos um exemplo da utilizao da teoria da transformada de Laplace na resoluo de problemas de valor de contorno em equaes diferenciais parciais. Exemplo 3.1.4 Encontre a soluo do Problema de valor de contorno
Onde
Como queremos limitada quando , devemos ter tambm quando e segue que devemos escolher ento . Assim Ento, tomando inversa, encontramos . Confere-se facilmente que esta a soluo procurada.
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.9
SPIEGEL traz inmeros problemas aplicados envolvendo equaes diferenciais ordinrias, parciais e equaes diferena. Todas estas equaes so resolvidas via teoria da transformada de Laplace. 4. REFERNCIAS BIBLIOGRFICAS ANDREOTTI, F. Um pouco sobre a Biografia de Pierre Simon de Laplace. www.fem.unicamp.br/~em313/paginas/person/laplace.htm. FIGUEIREDO, D. G., NEVES, A. F. Equaes Diferenciais Aplicadas. Coleo Matemtica Universitria. IMPA. Rio de Janeiro. 2001. PP 183-185. GUIDORIZZI, H. L. Um Curso de Clculo. Volume 1. 5 Ed. Editora LTC. Rio de Janeiro. 2001. SOTOMAYOR, J. Lies de Equaes Diferenciais Ordinrias. Projeto Euclides. IMPA. Rio de Janeiro. 1979 SPIEGEL, M. R. Schaums Outline of Theory and Problems of Laplace Transforms. McGraw-Hill Book Co. EUA. 1965.
ENCICLOPDIA BIOSFERA, Centro Cientfico Conhecer - Goinia, vol.6, n.9, 2010 Pg.10