Captulo 4 Inverso Numrica da Transformada de Laplace Recorrendo aos Polinmios de Laguerre: Mtodo de Brochet

4.1 - Funo Geradora do Desenvolvimento da Funo Original em Srie de Funes de Laguerre: Definio e Propriedades
Para que uma dada funo u da varivel complexa p seja a transformada de Laplace de uma funo u, u(p) dever satisfazer as seguintes condies: i) Existe um real tal que u(p) analtica no semi-plano Re(p) > . ii) Neste semi-plano, u(p) 0 quando p . Supomos, doravante, que estas duas condies esto sempre satisfeitas e que o menor real, podendo eventualmente ser = , tal que u(p) analtica em Re(p) > .

Facilmente se reconhece que a aplicao pz= p , >0 p+

transforma bijectivamente o semi-plano Re(p) > 0 ( Re(p) < 0 ) no interior (exterior) do disco z < 1 e o eixo imaginrio Re(p) = 0 na circunferncia z = 1 , que a funo g( z) = (p + )u(p) = analtica pelo menos em z < 1, ento g( z) = a m z m , z < 1
m= 0

2 1 + z u 1 z 1 z

(1)

(2)

e que

 (p ) g(z) u(p) = = am p + m= 0 (p + ) m+1 m

(a convergncia uniforme em cada compacto de Re(p) > 0 ) a transformada de Laplace de u( t ) = a m e t L m ( 2t )

m= 0

(3)

Destas consideraes ressalta a importncia da funo g( z) definida em (1), que passaremos a designar por funo geradora do desenvolvimento da funo original u( t ) em srie de funes de Laguerre. No caso em que < 0 , a funo geradora e as que lhe esto associadas tm as seguintes propriedades (Brochet [1]):

Propriedade 4.1.1 Se a funo (p + )u(p) for analtica em p = , ento g( z) analtica num disco com centro na origem e raio R > 1. Propriedade 4.1.2 A soma parcial

(p ) m u N ( p) = a m , Re(p) > , m= 0 (p + ) m+1

N 1

tal que u (p + ) u N ( p + ) = O p N , p 0 , e converge uniformemente para u(p) em cada semi-plano fechado Re(p) > 0 .

( )

Propriedade 4.1.3 Se a funo (p + )u(p) for analtica em p = , ento u(p) a transformada de Laplace da funo u( t ) L 2 (0, ) , definida em (3), e a soma parcial

14

u N ( t ) = a m e t L m ( 2t )
m= 0

N 1

(4)

tal que u uN
L2 ( 0, )

0 quando N ,

1 2 2 u u N L (0,) = am , 2 2 m= N e converge uniformemente para u( t ) em cada compacto [0, T] de IR + .

(5)

A analiticidade da funo

(p + )u(p)

em p = uma condio suficiente, mas no

necessria, para a existncia do original u( t ) .

Propriedade 4.1.4 Sendo (p + )u(p) singular em p = e u(p) a transformada de Laplace de uma funo u( t ) L 2 (0, ) , ento u( t ) representvel pela srie (3), a soma parcial (4) o elemento do subespao gerado pelas N primeiras funes de Laguerre que melhor aproxima u( t ) em mdia quadrtica, satisfaz (5) e converge para u( t ) em mdia quadrtica quando N . No caso em que 0 , escolhemos um > e, para funo geradora, em vez de (1), tomamos g( z) = (p + )u( p + ) = analtica pelo menos em z < 1, ento g( z) = a m z m , z < 1,
m= 0

2 1+ z u + , 1 z 1 z

(6)

(p ) m u( p + ) = a m , m= 0 (p + ) m+1

portanto

( p ) m u( p ) = a m m= 0 ( p + ) m+1

15

(a convergncia uniforme em cada compacto de Re(p) > ) a transformada de Laplace de e t u( t ) = a m e t L m ( 2t )

m= 0

(7)

Propriedade 4.1.5 Se (p + )u(p) for analtica em p = , (p + )u( p + ) tambm o e g( z) analtica num disco com centro na origem e raio R > 1. Propriedade 4.1.6 A soma parcial

(p ) m u N (p ) = a m m= 0 (p + ) m+1
N 1

tal que u( p + + ) u N ( p + + ) = O p N , p 0 , e converge uniformemente para u(p) em cada semi-plano fechado Re(p) > .

( )

Propriedade 4.1.7 Se (p + )u(p) for analtica em p = , ento, para cada > , u(p) a transformada de Laplace da funo e t u( t ) em (7) e a soma parcial e t u N (t ) = a m e t L m (2t )
m= 0 N 1

(8)

tal que
0 2 e 2 t u( t ) u N ( t ) dt 0 quando N ,

e t (u(t ) u N (t ))

2 L2 (0, )

1 2 am , 2 m= N

e converge uniformemente para e t u( t ) em cada compacto [0, T] de IR + .

16

Propriedade 4.1.8 Sendo (p + )u(p) singular em p = e u(p) a transformada de Laplace de uma funo u( t ) tal que e t u( t ) L 2 (0, ) , ento, para cada > , e t u( t ) representvel pela srie (7), a soma parcial (8) o elemento do subespao gerado pelas N primeiras funes de Laguerre que melhor aproxima e t u( t ) em mdia quadrtica e
+ 0 2 2 e 2 t u( t ) u N ( t ) dt = a m . m= N +

Propriedade 4.1.9 As sries (3) e (7) so uniformemente convergentes em qualquer compacto se e s se

(p + )u(p) for analtica em p = .

4.2 - Aproximao Numrica dos Coeficientes de Taylor da Funo Geradora
Seja u(p) uma funo peridica de perodo 1 e da qual so conhecidos os seus valores nos k pontos k = , k = 0,..., n . n Seja c k o k-simo coeficiente do desenvolvimento de u(p) em srie de Fourier, c k = u( )e 2 ik d , kZ,
0 1

1  e c k a aproximao de c k dada pela regra dos trapzios com passo h = , n  ck =

n 1 1 1 1 2 ik j u( 0 ) + u j e + u( n )e 2 ik n . n 2 2 j=1

( )

2i Pondo w n = e n , u j = u j , j = 0,..., n , e tendo em conta que u 0 = u n , obtem-se

( )

 ck =

1 n1 u j w n kj , kZ. n j= 0 17

 Imediatamente se verifica que as sucesses {c k } kZ e {u k } so peridicas de perodo n. kZ

Definio 4.2.1 Chama-se Operador de Fourier Discreto aplicao linear n do espao vectorial das sucesses peridicas de perodo n em si prprio que a uma sucesso x = {x k } corresponder a sucesso y = {y k }
k Z kZ

faz

definida por
2i

1 n 1 y k = x j w n kj , kZ, w n = e n , n j= 0 e representa-se por y = n x .

Propriedade 4.2.1 n uma aplicao bijectiva e a sua inversa x = n 1y , x r =

n 1

m= 0

y m w n rm , rZ.

O Operador de Fourier Discreto permite-nos calcular valores aproximados dos coeficientes de Fourier duma funo peridica. Se representarmos por { u} n a sucesso peridica de perodo n dos valores tomados pela funo u(p) , de perodo 1, nos pontos k = k  , kZ e por c a n

sucesso dos valores aproximados (pela regra dos trapzios) dos coeficientes de Fourier da funo u(p) , ento:  c = n {u} n . A partir de agora, se < 0 escolhe-se = 0 ; caso contrrio, escolhe-se > . Quer u(p) seja ou no singular no infinito, a funo geradora g( z) sempre analtica no interior do disco unitrio, g( z) = a m z m , z < 1,
m= 0

18

srie que converge uniformemente em z r < 1. Pondo = z r < 1 e z = e i e considerando G() = g e i , fixo, ento G() uma funo peridica de perodo 2 e G() = a m m e im ,
m= 0

( )

srie que converge uniformemente relativamente a [0,2] . Multiplicando ambos os membros por 1 in e e integrando termo a termo, vem 2

2 1 2 1 ( ) G()e in d = 2 a m m e i m n d , 2 0 m= 0 0

donde a m m = 1 2 G()e im d . 2 0

Propriedade 4.2.2 Sendo 0 r < 1 , a m o m-simo coeficiente de Fourier da funo peridica de perodo 2 G ( ) = dividido por m , m 0 . Considerando a sucesso peridica h = {h k } 2 k pontos k = , k = 0,1,..., n , n hk = 1 + w n k , kZ, u + 1 w n k 1 w n k 2 1 + e i + u 1 e i 1 e i 2

k Z

de perodo n dos valores de G() nos

 ento um valor aproximado a m de a m , m 0 , dado por  cm  am = m onde 19

 c = n h , isto , 1 1 n1  a m = m h k w n mk , m 0 . n k=0

Propriedade 4.2.3  Existe q, 0 < q < 1 , tal que a m a m = O q n , m 0 , quando n .  Suponhamos que, conhecendo os valores h k , k = 0,..., n , calculamos os coeficientes a m , m = 0,..., n 1 . Com estes coeficientes podemos construir o aproximante racional   u n ( p) = a m
m= 0 n 1

( )

( p ) m ( p + ) m+1

da funo

( p ) m u( p ) = a m . m= 0 ( p + ) m+1

Propriedade 4.2.4  O aproximante u n interpola u nos pontos pk + , pk = isto ,  u n (p k + ) = u(p k + ) , k = 0,1,..., n 1 . 1 + w n k 1 w n k , k = 0,1,..., n 1 ,

O inconveniente desta aproximao que os graus do numerador e do denominador crescem  simultaneamente e medida que, procurando melhorar a preciso dos valores calculados a m , aumentamos o nmero n de valores de G() utilizados. Alm disso, a Propriedade 4.2.3 mostra que n dever ser muito maior do que m. Isto justifica que separemos o grau da aproximao, N, do nmero n de valores de G() utilizados pelo Operador de Fourier Discreto. 20

Consideremos ento a seguinte aproximao

( p ) m   u N ,n ( p) = a m m= 0 ( p + ) m+1
N 1

definida para Re(p) > 0 e obtida a partir de

( p ) m u N ( p) = a m m= 0 ( p + ) m+1
N 1

substituindo os coeficientes a m pelos valores calculados custa do Operador de Fourier Discreto.

A diferena entre estes dois aproximantes tem as seguintes propriedades:

Propriedade 4.2.5  A sucesso u N ,n (p) converge para u N (p) para todo o p de Re(p) > 0 quando n e existe q, 0 < q < 1 , tal que  u N ,n ( p + ) u N ( p + ) = O q n , n .

( )

Propriedade 4.2.6 Existe q, 0 < q < 1 , tal que  u N ,n ( i ) ( + ) u ( i ) ( + ) = O q n , i = 0,..., N 1 , n .  Para cada p de Re(p) > 0 , u N ,n a transformada de Laplace de   u N ,n ( t ) = e t a m e t L m ( 2t ) ,
m= 0 N 1

( )

funo que fornece um valor aproximado da transformada inversa de u(p) no ponto t e tem a seguinte

Propriedade 4.2.7 Existe q, 0 < q < 1 , tal que 21

 u N ( t ) u N ,n ( t ) = O q n , 0 t T , n .

( )

4.3 - Sobre a Escolha do Parmetro e a Minimizao do Erro

Neste pargrafo nosso propsito minimizar e N = e t (u(t ) u N (t ))
2 L2 (0, )

, N fixo

(recordemos que, sendo o menor real tal que u(p) analtica em Re(p) > , ento = 0 se < 0 e > se 0). Quer u(p) seja ou no singular no infinito, e N = e t u(t ) = bm
m= N 2 2

bm L2 (0, ) m= 0 .

N 1

, bm =

am 2

(1)

O erro e N depende do parmetro por intermdio dos coeficientes a m . Os valores de que minimizam e N so tais que
N 1 d d e N = 2 b m b = 0. d d m m= 0

Ora b m = 2 e t L m ( 2t ) u( t )dt ,
0 + 1 d d b m = e t u( t ) L m ( 2t ) t 2 L m ( 2t ) + 2 L m ( 2t )dt d d 2 0 + 1 m = e t u( t ) t 2 L m ( 2t ) + 2 L m ( 2t ) L m1 ( 2t ) dt 2 0 +

+ 2 m + 1 2t m 2 L m ( 2t ) L m1 ( 2t )dt = e t u( t ) 2 0

22

= e t u( t )
0

1 2

[( m + 1)L m+1 (2t ) mL m1(2t )]dt

= = portanto

+ 0

m m + 1 2 e t u( t ) L m+1 ( 2t ) L m1 ( 2t )dt 2 2

m+1 m b m+1 b , 2 2 m1

d 1 N 1 e N = [(m + 1)b m b m+1 mb m1b m ] m= 0 d = = N b b N 1 N N 2 2 a N 1a N .

Os valores de que minimizam e N , N fixo, so os zeros de a N1 e de a N e, tendo em conta (1), os valores ptimos so os que maximizam b m
m= 0 N 1 2

, mas vamos desistir desta pesquisa,

pelo excesso de trabalho numrico e de tempo que ele envolveria, em favor da alternativa que passamos a expr com o seguinte exemplo:

A funo u( p ) = 1 , > 0, p+

analtica em Re(p) > , a transformada de Laplace da funo u( t ) = e t . Os coeficientes do desenvolvimento desta funo em srie de funes de Laguerre so os mesmos do desenvolvimento em srie de Taylor da funo geradora g( z) = 2 1 + z 2 u = 1 z + 1 z 1 . z 1 +

Para = g( z) = 1, cujos coeficientes de Taylor so a 0 = 1 , a m = 0 , m = 1,2 ,... 23

e, para cada N > 0 , u N ( t ) = a 0 e t L 0 ( 2t ) = e t = u( t ) , sendo, portanto, nulo o erro da aproximao de u( t ) por u N ( t ) . Para 2 g( z) = + m= 0 +
m

zm , z <

+ .

Sendo > 0 , o raio de convergncia desta srie, quando . Sendo am = ento eN = bm

m= N 2

+ , maior do que 1 e tende para

2 + +

, m = 0,1,...,

2 1 = 2 m= N + +

2m

= 2 + ) + ( 2 = 2 + ( + ) 2 1 = 2 +
2N

2N

m= 0 +
2N

2m

1 1 +
2

portanto o valor ptimo do parmetro = .

Acabmos de ver que o estudo da expresso do coeficiente a m pode conduzir ao valor ptimo do parmetro . Se aquela expresso for complicada, poderemos estudar o seu comportamento assimpttico e obter um valor de que aproximar o que minimiza o erro e N , N fixo. 24

Seja u(p) uma funo racional com q plos simples p 1 , ..., p q , cujo grau do denominador seja superior ao do numerador, de modo que u(p) 0 quando p , u( p ) = ai . i =1 p p i
q

Supondo que Re p q Re(p i ) , i = 1,..., q e tomando = 0 se Re p q < 0 , > Re p q se Re p q 0 , ento u( p + ) tem q plos simples, p ' i = p i , i = 1,..., q , com partes reais estritamente negativas, e a funo geradora assume a forma g( z) = 2 1 + z q i , u + = z 1 z 1 z i=1 1 zi ai p' i , zi = , i = 1,..., q . p' i + p' i

( )

( )

( )

( )

onde i = 2 Sendo Re(p ' i ) < 0 e > 0 , ento z i > 1, i = 1,..., q , portanto g( z) = a m z m , z < min z 1 ,..., z q ,
m= 0

am =

q i , m = 0,1,.... m i=1 z i

(2)

Deste caso particular decorre a seguinte

Propriedade 4.3.1 Para que a transformada inversa de u(p) seja real necessrio e suficiente que os plos de u(p) sejam reais e/ou complexos conjugados dois a dois.

25

Supondo agora que z 1 = ... = z r < z r +1 ... z q e pondo zj = Re de (2) obtem-se

m q R 1 im1 im r am = m 1 e + ...+ r e + j R j= r +1 z j i j

, j = 1,..., r ,

e como

R zj

< 1, j = r + 1,..., q , ento 1 a m = O m , m , R

portanto eN = = =
1 2 am 2 m= N 1 1 2 a m R 2m 2m 2 m= N R

O(1) 1 2 ( m+ N ) 2 m= N R

1 = O 2 N , m . R Designemos por um valor assimpttico ptimo do parmetro , = max min > 0 1 i q

{ zi } .

problema que, nos casos particulares considerados a seguir, admite solues acessveis.

Proposio 4.3.1 Se u(p) tiver dois e s dois plos complexos conjugados, p 1 e p 2 , ento = p '1 = p ' 2 , p '1 = p 1 , p' 2 = p 2 .

26

Com efeito, sendo p 1 = p 2 , ento z 1 = z 2 , pelo que suficiente minimizar z 1 . Pondo p '1 = 1 + i 1 , ento z1
2

( + 1 )2 + 12 = , ( 1 )2 + 12

2 2 2 d 2 4 1 1 + 1 = z 2 d 1 12 + 12

[(

( )

)]

= 0 2 = 12 + 12 = p'1 .

Portanto = p'1 .

Proposio 4.3.2 Se u(p) tiver apenas q plos reais simples, x 1 > x 2 >... > x q , ento o valor assimpttico ptimo de : =

(x1 )(x q ) .

Com efeito, podemos supor, sem perda de generalidade, que os plos de u(p) so todos estritamente negativos, de modo que = 0 (se assim no fosse, mudaramos p em p + ), portanto x1 < x 2 <... < x q . Os plos de g( z) so todos reais: zi = Facilmente se verifica que 0 < < xi < x j zi > z j xi < x j < zi < z j 27 xi + xi , i = 1,..., q .

x 1 <... < x i < < x i +1 <... < x q z1 <... < z i z i +1 >... > z q pelo que = max min > 0 1 i q z1 = z q

{ z i } dever ser tal que

x1 + x1

xq + xq

= x 1x q .

28