Teorema: Seja f contínua por parte e de ordem exponencial em [0, \infty). Se f é periódica de período P, então vale a fórmula
F(s)=\mathcal{L}(f(t))=\frac{1}{1-e^{-s P}}\left[\int_{0}^{P} e^{-s t} f(t) d t\right], s>\alpha
Calcule a transformada de Laplace usando o resultado do Teorema acima (ver Exer 15)
(a) f(t)=\left\{\begin{array}{l}1 \text { se } 0 \leq t<1 \\\\ -1 \text { se } 1 \leq t<2 \\\ f(t+2)=f(t)\end{array}\right.
(b) f(t)=t, para 0 \leq t<1 e f(t+1)=f(t).
Passo 1
O enunciado pede duas coisas:
Provar o Teorema: se f é contínua por parte e de ordem exponencial em [0,\infty) e é periódica de período P, então
Usar esse Teorema para calcular as transformadas de Laplace de duas funções periódicas:
(a) Função com período 2 dada por f(t)=1 em 0\le t<1 e f(t)=-1 em 1\le t<2, com f(t+2)=f(t).
(b) Função com período 1 dada por f(t)=t em 0\le t<1 e f(t+1)=f(t).
Informações relevantes dadas no enunciado:
f é contínua por parte em [0,\infty).
f é de ordem exponencial: existem \alpha, M>0 tais que |f(t)|\le M e^{\alpha t} para t grande.
f é periódica de período P (no exercício (a) temos P=2, no (b) temos P=1).
Queremos a transformada de Laplace \mathcal{L}\{f\}(s)=\int_0^\infty e^{-s t} f(t)\,dt e a fórmula indicada.
Passo 2
Definições e ideias que vamos usar (com explicação didática e simples):
Definição da transformada de Laplace: para uma função f de ordem exponencial, a transformada é
quando essa integral converge. Aqui s é, em geral, um número complexo; para nós basta pensar em s real e maior que um certo limite de convergência \alpha.
Ordem exponencial: dizer que f é de ordem exponencial significa que existem constantes M>0 e \alpha tais que
|f(t)|\le M e^{\alpha t}\quad\text{para todo }t\ge 0.
Isto garante, grosso modo, que f não cresce mais rápido que uma exponencial e^{\alpha t}, o que é essencial para a convergência da integral do Laplace quando \Re(s)>\alpha.
Periodicidade: se f tem período P, então para todo t\ge0 e todo inteiro k\ge0,
f(t+kP)=f(t).
A ideia do Teorema é aproveitar essa repetição para escrever a integral \int_0^\infty como soma das integrais em cada intervalo de comprimento P, e então obter uma soma geométrica.
Soma geométrica: a soma
\sum_{k=0}^\infty r^k
converge para \dfrac{1}{1-r} quando |r|<1. No nosso contexto r=e^{-sP} (ou |r|=e^{-\Re(s)P}), então a condição de convergência fica \Re(s)P>0 — e, combinando com a ordem exponencial, o domínio final será \Re(s)>\alpha.
Vou agora aplicar essas ideias de forma rigorosa e passo a passo.
Esta é a decomposição natural: integramos de 0 a P, depois de P a 2P, etc.
Agora faço a substituição t = u + kP dentro do k-ésimo termo. Para esse termo u varia em [0,P] e, pela periodicidade, f(u+kP)=f(u). Além disso e^{-s t}=e^{-s(u+kP)}=e^{-s kP} e^{-s u}. Assim
Agora precisamos justificar que podemos trocar soma e integral (já o fizemos de modo formal) e que a série geométrica converge. Para isso usamos a condição de ordem exponencial: existe \alpha tal que |f(u)|\le M e^{\alpha u} em [0,P] — na verdade em todo [0,\infty), então vale especialmente em [0,P]. Isso garante que a integral \int_0^P e^{-s u} f(u)\,du é bem definida (é integral de função limitada no intervalo finito).
Para a série geométrica, note que |e^{-sP}|=e^{-\Re(s)P}. Assim a série
\sum_{k=0}^\infty e^{-s kP}
converge absolutamente se e^{-\Re(s)P}<1, ou seja se \Re(s)P>0. Mais precisamente, combinando com a ordem exponencial (que impõe convergência da integral \int_0^\infty e^{-s t}f(t)\,dt quando \Re(s)>\alpha), a região de convergência natural é \Re(s)>\alpha. Nessa região temos \sum_{k=0}^\infty e^{-s kP}=\dfrac{1}{1-e^{-sP}}.
Também vale a justificação da troca soma-integral: usando a desigualdade |f(u+kP)|\le M e^{\alpha (u+kP)} e e^{-\Re(s)(u+kP)} do fator exponencial, os termos absolutos são dominados por uma série geométrica convergente quando \Re(s)>\alpha; pelo Teorema da convergência dominada (ou estimativa direta), a troca é válida. Em termos práticos: para \Re(s)>\alpha a soma de integrais é absolutamente convergente, logo a manipulação acima é legítima.