Questão 42. Suponha que as funções f, f^{\prime}, f^{\prime \prime}, \ldots, f^{(n-1)} são contínuas e suaves por partes para t \geq 0 e que cada uma das funções satisfaz a condição de crescimento exponencial. Mostre por indução matemática que
O enunciado dá as seguintes hipóteses e pede uma prova por indução:
Hipóteses (pegue-as do enunciado): as funções f, f', f'',\dots,f^{(n-1)} são contínuas e suaves por partes para t\ge 0 e cada uma satisfaz a condição de crescimento exponencial (ou seja, existe M>0 e a\in\mathbb{R} tais que |f^{(k)}(t)|\le M e^{a t} para t suficientemente grande, para cada k\le n-1).
Definição/nota: denote por F(s)=\mathcal{L}\{f(t)\} a transformada de Laplace de f:
Lembrete (por que as hipóteses importam). Vou explicar por que precisamos das hipóteses e o que elas garantem:
A definição da transformada de Laplace é \mathcal{L}\{g(t)\}=\int_{0}^{\infty} e^{-s t}g(t)\,dt. Para que essa integral exista é suficiente que g seja de ordem exponencial: existam M,a com |g(t)|\le M e^{a t} para t grande. Então a integral converge para todo s>a.
As hipóteses de continuidade e suavidade por partes dos derivados permitem fazer integração por partes e trocar limites (avaliar termos de contorno) com segurança.
Em particular, a condição de ordem exponencial garante que \lim_{t\to\infty} e^{-s t} g(t)=0 para todo s>a. Isso será usado para anular o termo de contorno no infinito quando fizermos integração por partes.
Passo 3
Base da indução: caso n=1. Vamos calcular \mathcal{L}\{f'(t)\} explicitamente e verificar que a fórmula vale para n=1.
Agora avaliamos os termos de contorno usando a condição de ordem exponencial. Como f é de ordem exponencial, existem M,a tais que |f(t)|\le M e^{a t}. Para qualquer s>a temos
\left|e^{-s T} f(T)\right|\le M e^{-(s-a)T}\xrightarrow[T\to\infty]{}0.
Logo \lim_{T\to\infty} e^{-s T} f(T)=0. Também e^{-s\cdot 0}f(0)=f(0). Portanto a expressão fica
Reconhecendo a transformada \int_{0}^{\infty} e^{-s t} f(t)\,dt=F(s), obtemos
\mathcal{L}\{f'(t)\}=s F(s)-f(0).
Isso mostra que a fórmula é verdadeira para n=1.
Passo 4
Intuição sobre o passo seguinte (ferramenta que vamos usar na indução). A relação provada no passo anterior é a ferramenta essencial:
\mathcal{L}\{g'(t)\}=s\,\mathcal{L}\{g(t)\}-g(0),
válida sempre que g satisfaz as condições necessárias (continuidade/suavidade por partes e ordem exponencial). Na indução vamos aplicar essa fórmula com g=f^{(k)}.
Passo 5
Hipótese de indução. Suponha que para algum k\ge 1 a fórmula seja verdadeira, isto é, suponha que
Aplicação da relação básica ao caso g=f^{(k)}. Considere g(t)=f^{(k)}(t). As hipóteses do enunciado garantem que g satisfaz as mesmas condições (continuidade por partes e ordem exponencial), logo podemos aplicar
\mathcal{L}\{g'(t)\}=s\,\mathcal{L}\{g(t)\}-g(0).
Mas g'(t)=f^{(k+1)}(t) e \mathcal{L}\{g(t)\}=\mathcal{L}\{f^{(k)}(t)\}. Assim
Conclusão da indução. Mostramos que a fórmula vale para n=1 (base) e que, se vale para n=k então vale para n=k+1. Pelo princípio da indução matemática, a fórmula vale para todo n\in\mathbb{N}. Observação final: todas as igualdades são válidas para valores de s tais que as transformadas existam (tipicamente s>a, onde a é a constante da ordem exponencial fornecida nas hipóteses).
Força aí — com esse procedimento na ponta dos dedos dá para aplicar a propriedade de derivadas da transformada de Laplace em qualquer exercício da prova.