PROJETO. Comentários sobre a Seção 6.2. (a) Dê razões pelas quais os Teoremas 1 e 2 são mais importantes que o Teorema 3. (b) Estenda o Teorema 1 mostrando que, se f(t) for contínua, excetuando-se para uma descontinuidade ordinária (salto finito) em algum t=a(>0), com as demais condições permanecendo

Passo 1

O enunciado pede duas coisas:
(a) Dar razões pelas quais os Teoremas 1 e 2 são mais importantes que o Teorema 3.
(b) Estender o Teorema 1 mostrando que se f(t) for contínua excetuando-se uma descontinuidade ordinária (ou seja, um salto finito) em algum ponto t=a com a>0, e “as demais condições permanecendo” (ou seja, as hipóteses adicionais do Teorema 1 continuam válidas), então a conclusão do Teorema 1 continua válida para essa função com um salto em t=a.
Informações relevantes dadas (implícitas no enunciado):
  • Há três teoremas numerados; o Teorema 1 tem uma conclusão que queremos generalizar; o Teorema 2 é outro resultado básico; o Teorema 3 é um resultado que, aparentemente, é menos fundamental.
  • Na parte (b) nos autorizam a assumir que todas as hipóteses do Teorema 1 valem, exceto que agora f pode ter um salto finito em t=a>0.
  • O objetivo é justificar (a) qualitativamente e (b) provar rigorosamente (ou ao menos explicar didaticamente) a extensão do Teorema 1 ao caso com um salto finito.

Passo 2

Vou começar pela parte (a): razão geral e pedagogia. Primeiro é útil lembrar, em linguagem simples, o que costuma significar “Teorema 1” e “Teorema 2” em muitos textos: geralmente o Teorema 1 estabelece existência (ou condições fundamentais para que algo faça sentido), o Teorema 2 estabelece propriedades básicas essenciais (por exemplo linearidade, unicidade, dependência de parâmetros), e o Teorema 3 costuma ser uma consequência mais especializada ou uma ferramenta útil para casos particulares. Com essa ideia em mente, explico por que existência e propriedades básicas importam mais que corolários.
Explicação didática dos papéis (intuição):
  • Um teorema de existência garante que o objeto que vamos manipular (por exemplo, uma integral, uma transformada, uma solução) de fato existe sob hipóteses naturais. Sem existência, não há sentido em usar resultados posteriores. É como confirmar que a receita produz bolo antes de pensar na cobertura.
  • Um teorema de propriedades básicas (linearidade, unicidade, continuidade com respeito a parâmetros, etc.) diz o que podemos fazer com esse objeto: somar, multiplicar por escalares, trocar ordem de operações, etc. Essas propriedades são as regras do jogo; são usadas para resolver problemas concretos.
  • Um teorema subsequente (Teorema 3) pode ser muito útil, mas frequentemente depende das conclusões dos Teoremas 1 e 2. Logo, sem os dois primeiros, o terceiro não teria “material” para atuar.
Conseqüência prática para provas/exercícios:
  • Em provas e aplicações, primeiro preciso saber que a transformada (ou objeto) existe e que posso aplicar propriedades como linearidade; depois uso teoremas mais sofisticados (ex.: teoremas de troca integral-diferenciação, teoremas de convolução, teoremas de deslocamento) para manipular casos concretos. Por isso, do ponto de vista pedagógico e prático, Teoremas 1 e 2 são “fundamentais” e o Teorema 3 é “aplicado/especializado”.

Passo 3

Agora passo para a parte (b). Primeiro vou enunciar de forma clara e explícita a versão do Teorema 1 que vou assumir e depois indicar a extensão desejada.
Hipótese padrão do Teorema 1 (forma que suponho razoável para o contexto):
  • Suponha que f:[0,\infty)\to\mathbb{R} seja contínua por partes (ou contínua) em [0,\infty) e seja de ordem exponencial, isto é, existam constantes M>0 e \alpha tais que
|f(t)| \le M e^{\alpha t}\quad\text{para todo } t\ge0.
  • Então a integral imprópria
F(s)=\int_{0}^{\infty} e^{-st} f(t)\,dt
converge para \Re(s)>\alpha (ou, se trabalharmos só com s\in\mathbb{R}, para s>\alpha), e portanto a transformada existe nessa região.
Objetivo da extensão:
  • Mostrar que a conclusão acima continua válida se permitirmos que f seja contínua em [0,\infty) excetuando-se um ponto t=a>0 onde f tem uma descontinuidade ordinária (um salto finito). As demais hipóteses (ordem exponencial, comportamento em 0, etc.) permanecem.

Passo 4

Definições e ideias que vamos usar (bem mastigado):
  • Descontinuidade ordinária (salto finito) em t=a significa que os limites laterais existem e são finitos:
\ell_- := \lim_{t\to a^-} f(t),\qquad \ell_+ := \lim_{t\to a^+} f(t),
e \ell_- \neq \ell_+ possívelmente, mas ambos finitos. A magnitude do salto é \Delta := \ell_+ - \ell_-, que é finita.
  • Uma função com salto finito é integrável no sentido de impropriedades do tipo limite de integrais: a integral sobre um pequeno intervalo que contém a pode ser feita como soma dos dois limites laterais, isto é,
\int_{a-\varepsilon}^{a+\varepsilon} f(t)\,dt = \lim_{\delta\to0^+} \left(\int_{a-\varepsilon}^{a-\delta} f(t)\,dt + \int_{a+\delta}^{a+\varepsilon} f(t)\,dt\right),
e esse limite existe e é finito quando f tem apenas salto finito em a. O mesmo raciocínio vale quando multiplicamos por e^{-st} (que é contínuo).
Observação importante (intuição): um salto finito não impede integrabilidade local: a integral de uma função que só tem um salto finito é perfeitamente bem definida como integral imprópria (os limites laterais das integrais existem). É diferente de uma descontinuidade essencial ou de crescimento infinito.

Passo 5

Estratégia da prova (passos a mostrar):
  1. Escrever a transformada como soma de integrais separadas nos intervalos [0,a) e (a,\infty), tratando corretamente o ponto a com limites apropriados.
  2. Mostrar que cada uma dessas integrais impróprias converge sob as hipóteses: a parte no fim infinito converge pela hipótese de ordem exponencial; a parte próxima a a converge porque f tem limites laterais finitos.
  3. Concluir que a integral total converge e, portanto, a conclusão do Teorema 1 permanece válida com o salto em a.
Agora vou desenvolver cada passo com detalhe e contas explícitas.

Passo 6

Escrevendo a integral separada e definindo como integral imprópria:
Considere
F(s)=\int_{0}^{\infty} e^{-st} f(t)\,dt.
Como f pode ter um salto em t=a, interpretamos a integral como soma de duas integrais impróprias:
F(s)=\int_{0}^{a} e^{-st} f(t)\,dt + \int_{a}^{\infty} e^{-st} f(t)\,dt,
onde cada integral é tomada no sentido impróprio:
\int_{0}^{a} e^{-st} f(t)\,dt := \lim_{\delta\to0^+} \int_{0}^{a-\delta} e^{-st} f(t)\,dt,
\int_{a}^{\infty} e^{-st} f(t)\,dt := \lim_{\delta\to0^+} \int_{a+\delta}^{\infty} e^{-st} f(t)\,dt.
(Se f for contínua em [0,a) e em (a,\infty), essas integrais existiriam localmente; a única questão é o comportamento quando aproximamos o ponto a e quando t\to\infty.)

Passo 7

Convergência local perto do ponto do salto t=a:
Como f tem limites laterais finitos \ell_- e \ell_+ em a, então para t próximo de a (por exemplo t\in(a-\varepsilon,a) ou t\in(a,a+\varepsilon)) a função f é limitada por algum número finito B; mais formalmente, existe \varepsilon>0 e B>0 tais que
|f(t)| \le B \quad\text{para } t\in(a-\varepsilon,a)\cup(a,a+\varepsilon).
Também a função e^{-st} é contínua e limitada nesse intervalo fechado. Logo, para qualquer \delta pequeno,
\left|\int_{a-\varepsilon}^{a-\delta} e^{-st} f(t)\,dt\right| \le \max_{t\in[a-\varepsilon,a]} |e^{-st}| \cdot \int_{a-\varepsilon}^{a-\delta} |f(t)|\,dt \le C \cdot B \cdot \varepsilon,
para alguma constante C (dependendo de s e \varepsilon), e o limite quando \delta\to0^+ existe e é finito. O mesmo vale para a integral do lado direito \int_{a+\delta}^{a+\varepsilon}. Portanto a soma dos dois lados quando \delta\to0 fornece um valor finito para a integral atravessando a. Em outras palavras, o salto não impede a existência do limite das integrais ao aproximar a.
Intuição extra: a contribuição do intervalo infinitesimal ao redor de a é limitada pela largura do intervalo vezes uma cota para f, então não há divergência tipo integral impropria infinita.

Passo 8

Convergência no infinito usando a hipótese de ordem exponencial:
Pela hipótese de ordem exponencial, existem M>0 e \alpha tais que
|f(t)|\le M e^{\alpha t}\quad\text{para todo } t\ge0.
Então, para \Re(s)>\alpha (ou s>\alpha no caso real), temos
\left|\int_{A}^{\infty} e^{-st} f(t)\,dt\right| \le \int_{A}^{\infty} e^{-\Re(s)t} |f(t)|\,dt \le \int_{A}^{\infty} e^{-(\Re(s)-\alpha)t} M\,dt.
A integral à direita é uma integral de uma exponencial decrescente:
\int_{A}^{\infty} M e^{-(\Re(s)-\alpha)t}\,dt = \frac{M}{\Re(s)-\alpha} e^{-(\Re(s)-\alpha)A},
que é finita quando \Re(s)>\alpha. Portanto a integral do “cauda” converge. Note que esse argumento usa apenas a cota global de crescimento de f, e não é afetado por um salto local em t=a.

Passo 9

Juntando as peças: conclusão da existência da integral
  • Próximo a t=a: já mostrei que as integrais impróprias à esquerda e à direita de a têm limites finitos quando aproximamos o ponto a, porque f tem limites laterais finitos (salto finito).
  • No infinito: a integral \int_{a+\delta}^{\infty} e^{-st} f(t)\,dt converge uniformemente em \delta (para \delta pequeno) sempre que \Re(s)>\alpha, por causa da cota exponencial.
  • Nas partes compactas sem singularidade (por exemplo [0,a-\varepsilon] e [a+\varepsilon,A]) a função é contínua por hipótese e a integral é bem definida.
Portanto a integral imprópria \int_{0}^{\infty} e^{-st} f(t)\,dt converge para \Re(s)>\alpha. Assim a conclusão do Teorema 1 (existência da transformada/integral para \Re(s)>\alpha) permanece válida mesmo se permitirmos um único salto finito em t=a>0.

Passo 10

Observações adicionais úteis para a prova e para a prova na prova (dica prática):
  • Na hora da prova, o argumento essencial que você precisa escrever é: dividir a integral em \int_0^{a} e \int_{a}^{\infty}; mostrar que aproximando a pelas duas direções as integrais laterais têm limites finitos porque f tem limites laterais finitos; e usar a condição de ordem exponencial para controlar a parte do infinito. Escrevendo isso de forma enxuta e clara você ganha pontos.
  • Se quiser formalizar mais, pode usar o lema: se g é limitada num intervalo aberto contendo a e contínua por partes, então \int_{a-\varepsilon}^{a+\varepsilon} g(t)\,dt existe como integral imprópria. Aqui g(t)=e^{-st} f(t) serve, já que e^{-st} é contínuo e f tem limites laterais finitos.
  • A presença do salto só afeta, na prática, o valor de \int_0^\infty e^{-st} f(t)\,dt pela contribuição direta do intervalo pequeno em torno de a; não causa divergência.

Passo 11

Resumo final do argumento técnico (forma compacta que é boa para escrever numa prova):
Seja f contínua em [0,\infty) exceto por um salto finito em t=a>0, e suponha que exista M,\alpha com |f(t)|\le M e^{\alpha t} para todo t\ge0. Então, para \Re(s)>\alpha,
\int_{0}^{\infty} e^{-st} f(t)\,dt = \lim_{\delta\to0^+}\left(\int_{0}^{a-\delta} e^{-st} f(t)\,dt + \int_{a+\delta}^{\infty} e^{-st} f(t)\,dt\right)
existe porque
(i) os limites laterais de f em a garantem que as integrais ao aproximar a convergem; e
(ii) a cota exponencial garante convergência da cauda no infinito. Logo a transformada (ou a integral do Teorema 1) existe para \Re(s)>\alpha.

Resposta

(a) Porque os Teoremas 1 e 2 tipicamente fornecem as hipóteses de existência e as propriedades fundamentais (como linearidade/ unicidade/condições básicas) que são pré‑requisitos para qualquer aplicação; o Teorema 3 costuma ser uma consequência ou ferramenta mais especializada dependente dos dois primeiros, portanto sem 1 e 2 nada do que se segue seria utilizável. \n(b) A conclusão do Teorema 1 permanece válida: se f é contínua em [0,\infty) excetuando‑se um salto finito em t=a>0 e se existem M,\alpha tais que |f(t)|\le M e^{\alpha t} para todo t\ge0, então a integral
F(s)=\int_{0}^{\infty} e^{-st} f(t)\,dt
converge para \Re(s)>\alpha (ou para s>\alpha no caso real), ou seja, a hipótese do salto finito não impede a validade da conclusão do Teorema 1.

Exercícios relacionados