Professional Documents
Culture Documents
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) > .
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
(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
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 ,
(5)
A analiticidade da funo
(p + )u(p)
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
(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
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 +
( )
( )
ck =
1 n1 u j w n kj , kZ. n j= 0 17
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
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
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
( p ) m u N ,n ( p) = a m m= 0 ( p + ) m+1
N 1
( p ) m u N ( p) = a m m= 0 ( p + ) m+1
N 1
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
u N ( t ) u N ,n ( t ) = O q n , 0 t T , n .
( )
, 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
= = 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
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
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 +
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 <
+ .
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
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)
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
, j = 1,..., r ,
e como
R zj
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
{ 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
xq + xq
= x 1x q .
28