(a) Qual a relação entre os Núcleos de Dirac \left(D_{\mu}\right) e a função delta de Dirac?
(b) Explique como as propriedades dos Núcleos de Dirac, quando \mu tende a zero, se assemelham às propriedades da função delta de Dirac.

Passo 1

O enunciado pede duas coisas:
(a) descrever qual é a relação entre os Núcleos de Dirac D_{\mu} e a função delta de Dirac;
(b) explicar como as propriedades dos Núcleos de Dirac, quando \mu\to0, se assemelham às propriedades da função delta de Dirac.
Informações dadas/implícitas que usaremos:
  • Existe uma família de funções (ou núcleos) D_{\mu}(x) indexada por \mu>0 e consideramos o comportamento quando \mu\to0.
  • A comparação com a função (ou distribuição) delta de Dirac \delta será feita através de integrais contra funções teste (ou funções contínuas) — isto é, observando como D_{\mu} age quando integrada contra uma função qualquer.

Passo 2

O que é, de modo intuitivo, um “Núcleo de Dirac”?
  • Um Núcleo de Dirac é uma família de funções D_{\mu}:\mathbb{R}\to\mathbb{R} que, para cada \mu>0, é uma função ordinária (não uma distribuição) e que, conforme \mu\to0, fica cada vez mais concentrada em torno de x=0 de modo a “imitar” o comportamento da delta de Dirac.
  • As três propriedades fundamentais que costumam definir um núcleo de Dirac são:
    1. Normalização: \displaystyle \int_{-\infty}^{\infty} D_{\mu}(x)\,dx = 1 para todo \mu>0.
    2. Concentração em zero: para todo \varepsilon>0, \lim_{\mu\to 0}\int_{|x|>\varepsilon} D_{\mu}(x)\,dx = 0.Isso significa que a massa da função fica cada vez mais próxima de x=0.
    3. Regularidade razoável: cada D_{\mu} é integrável e, na prática, costuma-se exigir positividade D_{\mu}(x)\ge0 ou simetria D_{\mu}(x)=D_{\mu}(-x). (Nem todas as versões exigem positividade, mas é comum.)
  • Importante: a convergência que usamos não é convergência ponto a ponto das funções D_{\mu}(x) (isso tipicamente falha), e sim convergência “fraca” ou “no sentido das distribuições” — explico adiante o que isso quer dizer.

Passo 3

O que é a delta de Dirac e como a relacionamos a D_{\mu}?
  • A delta de Dirac \delta é uma distribuição (ou função generalizada) que age sobre uma função teste \varphi pelo valor \delta[\varphi]=\varphi(0).Em linguagem integral simbólica dizemos \int_{-\infty}^{\infty} \delta(x)\,\varphi(x)\,dx = \varphi(0).
  • A relação operacional entre D_{\mu} e \delta é: dizemos que D_{\mu} converge para \delta quando, para toda função teste (por exemplo, toda função contínua com suporte compacto) \varphi, \lim_{\mu\to0}\int_{-\infty}^{\infty} D_{\mu}(x)\,\varphi(x)\,dx = \varphi(0).Essa é a fórmula-chave: integrar D_{\mu} contra qualquer \varphi e, no limite, obtemos o valor de \varphi em 0. Isso é o sentido preciso em que D_{\mu} “representa” a delta.

Passo 4

Demonstração-conceito com um exemplo simples: o núcleo retangular (caixa)
  • Defina D_{\mu}(x) = \frac{1}{2\mu}\,\mathbf{1}_{[-\mu,\mu]}(x),onde \mathbf{1}_{[-\mu,\mu]} é a função indicadora do intervalo [-\mu,\mu].
  • Verificações:
    1. Normalização: \int_{-\infty}^{\infty} D_{\mu}(x)\,dx = \int_{-\mu}^{\mu} \frac{1}{2\mu}\,dx = \frac{1}{2\mu}\cdot (2\mu) = 1.
    2. Ação sobre uma função contínua \varphi: \int_{-\infty}^{\infty} D_{\mu}(x)\,\varphi(x)\,dx = \frac{1}{2\mu}\int_{-\mu}^{\mu}\varphi(x)\,dx.Como \varphi é contínua em 0, para qualquer \varepsilon>0 existe \mu pequeno tal que |\varphi(x)-\varphi(0)|<\varepsilon em [-\mu,\mu]. Assim \left|\frac{1}{2\mu}\int_{-\mu}^{\mu}\varphi(x)\,dx - \varphi(0)\right| = \left|\frac{1}{2\mu}\int_{-\mu}^{\mu}(\varphi(x)-\varphi(0))\,dx\right| \le \varepsilon.Isso mostra \lim_{\mu\to0}\int_{-\infty}^{\infty} D_{\mu}(x)\,\varphi(x)\,dx = \varphi(0).
  • Conclusão do exemplo: o núcleo retangular satisfaz as propriedades e converge para \delta no sentido distribuicional.

Passo 5

Exemplo clássico: núcleo Gaussiano e uso de mudança de variável
  • Defina o núcleo Gaussiano D_{\mu}(x) = \frac{1}{\sqrt{2\pi}\,\mu}\,\exp\!\bigg(-\frac{x^{2}}{2\mu^{2}}\bigg).
  • Normalização (famosa): fazendo a substituição y=x/\mu, \int_{-\infty}^{\infty} D_{\mu}(x)\,dx = \int_{-\infty}^{\infty} \frac{1}{\sqrt{2\pi}} e^{-y^{2}/2}\,dy = 1.
  • Ação sobre \varphi: com y=x/\mu, \int_{-\infty}^{\infty} D_{\mu}(x)\,\varphi(x)\,dx = \int_{-\infty}^{\infty} \frac{1}{\sqrt{2\pi}} e^{-y^{2}/2}\,\varphi(\mu y)\,dy.Como \varphi(\mu y)\to\varphi(0) ponto a ponto quando \mu\to0 e |\varphi(\mu y)| é dominada por \sup_{|x|\le R}|\varphi(x)| em qualquer intervalo de y (além disso o fator gaussiano é integrável), pelo Teorema da Convergência Dominada temos que o limite da integral é \varphi(0)\int_{-\infty}^{\infty}\frac{1}{\sqrt{2\pi}} e^{-y^{2}/2}\,dy = \varphi(0).
  • Assim o núcleo Gaussiano também converge para \delta conforme \mu\to0.

Passo 6

Interpretação das propriedades quando \mu\to0 e semelhança com \delta
  • Normalização garante que a “massa total” permanece 1 para todo \mu: isso corresponde à propriedade formal da delta de que \int \delta = 1 (quando se interpreta a delta como medida).
  • Concentração em zero (massa que sai de qualquer vizinhança de 0 tende a zero) garante que, ao integrar contra uma função \varphi, os valores longe de 0 contribuem cada vez menos, então a integral se aproxima do valor da função em 0.
  • Para núcleos simétricos (ex.: Gaussianos, retângulo simétrico) costumamos ter momentos ímpares nulos: \int x\,D_{\mu}(x)\,dx = 0,e momentos de ordem superior que tendem a 0 com potência de \mu. Isso reforça a ideia de concentração em 0.
  • Importante: não existe em geral convergência ponto a ponto de D_{\mu}(x) para uma função comum: por exemplo, para o retângulo D_{\mu}(x)\to 0 se x\ne0 e D_{\mu}(0)\to\infty; isso não define uma função usual, mas a distribuição delta. Por isso falamos em convergência no sentido fraco/distribucional.

Passo 7

Como provar num exercício de prova (passos práticos)
  • Identifique o núcleo proposto e verifique a normalização por integração direta.
  • Mostre que, para qualquer \varepsilon>0, a integral de D_{\mu} fora de [-\varepsilon,\varepsilon] tende a 0 (ou use continuidade de \varphi e o argumento de média/estimativa como no retângulo).
  • Faça a mudança de variável padrão y=x/\mu para separar a dependência de \mu e aplicar limites (muito útil para Gaussianos e núcleos escalares).
  • Use continuidade de \varphi (ou Teorema da Convergência Dominada se precisar de maior rigor) para trocar limite e integral e obter \varphi(0).
  • Esses passos bastam para convencer o examinador de que D_{\mu}\to\delta no sentido desejado.

Passo 8

Resumo intuitivo e incentivo
  • Intuição final: pense em D_{\mu} como “montes” de massa unitária que vão ficando cada vez mais altos e estreitos em torno de 0. Quando você integra esse monte multiplicado por qualquer \varphi, na prática obtém apenas o valor de \varphi no topo do monte, isto é, \varphi(0).
  • Você consegue fazer isso na prova: mostre normalização e explique a concentração; depois apresente a integral contra \varphi e faça a mudança de variável ou use continuidade para concluir o limite. Vai dar certo — respira e manda ver!

Resposta

(a) A relação é que os núcleos de Dirac D_{\mu} são famílias de funções ordinárias que aproximam a delta de Dirac no sentido das distribuições; isto é, para toda função teste \varphi,
\lim_{\mu\to0}\int_{-\infty}^{\infty} D_{\mu}(x)\,\varphi(x)\,dx = \varphi(0),
o que significa que D_{\mu}\to\delta quando \mu\to0.
(b) As propriedades que tornam D_{\mu} semelhantes à delta quando \mu\to0 são: (i) normalização \displaystyle\int D_{\mu}=1, (ii) concentração da massa em torno de 0 (para todo \varepsilon>0, \displaystyle\int_{|x|>\varepsilon}D_{\mu}(x)\,dx\to0), e (iii) regularidade que permite aplicar mudança de variável ou o Teorema da Convergência Dominada; combinadas, essas propriedades garantem que ao integrar D_{\mu} contra qualquer função contínua \varphi o resultado tende a \varphi(0), exatamente o comportamento da delta.

Exercícios relacionados