Apêndice: Função Delta de Dirac e Função Sinal

Observação: use e abuse, mas em hipótese alguma mostre estas notas para um matemático.

Denição: para uma função f (x) qualquer regular, denimos a "função generalizada"' ou
"distribuição"' delta de Dirac (δ(x − a)) através da integral:

Zc 
 f (a) se a ∈ (b, c)
f (x)δ(x − a)dx = 
 0 se a ∈
/ (b, c)
b

A distribuição δ(x−a) tambem pode ser denida como o limite da função contínua δε (x−a),
denida por:



 0, se x < a − ε



δε (x − a) = 1
2ε
, se a−ε<x<a+ε



 0, se x>a+ε

Para um ε sucientemente pequeno (ε ¿ 1), a integral:

Zc µ ¶
1
f (x)δε (x − a)dx ' f (a) 2ε ' f (a), (1)
2ε
b

a precisão sendo tanto maior quanto menor for o ε. Logo: limε→0 δε (x − a) → δ(x − a).

Propriedades

1
1. Sendo a e b constantes, δ(ax − b) = |a|
δ(x − ab ).

1
 R d R d
2. dx f (x) dx δ(x − a) = − dx dx f (x) δ(x − a)

3. Transformada de Fourier
Z
dk
δε (x − a) = √ δε (k, a)eikx (2)
2π
Z
dx
δε (k, a) = √ δε (x − a)e−ikx (3)
2π

a+ε
Z
dx 1 −ikx
δε (k, a) = √ e
a−ε
2π 2ε
1 1 ³ −ik(a+ε) ´
= √ e − e−ik(a−ε)
2ε 2π −ik
e−ika sin(kε)
= √
2π kε

Agora, observe que

+∞
Z " #
dk e−ika sin(kε) ikx
δε (x − a) = √ √ e
−∞
2π 2π kε
Z Ã !Ã !
eik(x−a) sin(kε)
= dk
2π kε

Assim, tomando o limite ε → 0, obtemos a representação de Fourier do delta de Dirac:

+∞
1 Z
δ(x − a) = dkeik(x−a) . (4)
2π
−∞

Função degrau e Função Sinal

2
 

.  1 se x>a
θ(x − a) =

 0 se x < a


.  1 se a>x
θ(a − x) = 
 0 se a < x

θ(x − a) + θ(a − x) = 1




. x−a 1 se x > a
ε(x − a) = =

|x − a|  −1 se x < a



. a−x 1 se a > x
ε(a − x) = =
|a − x|  −1 se a < x

ε(a − x) = −ε(a − x)

ε(x − a) = θ(x − a) − θ(a − x)

A função "generalizada" θ(x − a) é o limite de função contínua θε (x − a) tal que:



 0 se x<a−ε



θε (x − a) =  12 + x−a
2ε
se a − ε < x < a + ε



 1 se x > a + ε

Derivando esta função, vemos que:



 0 se x < a − ε


d 
θε (x − a) =  1
se a−ε<x<a+ε
dx 

2ε

 0 se x>a+ε

3
 ≡ δε (x − a)

De onde (após tomar o limite) seguem os resultados:

d
θ(x − a) = δ(x − a)
dx
d
ε(x − a) = 2δ(x − a)
dx
d
ε(a − x) = −2δ(x − a)
dx
d
θ(a − x) = −δ(x − a)
dx

Representação de Fourier de θ(x − a)

Denindo: θη (x − a) = e−η(x−a) θ(x − a), podemos calcular sua transformada de Fourier e

escrever sua transformada inversa (representação de Fourier) como
+∞
1 Z i
θ(x − a) = lim θη (x − a) = dk eik(x−a)
η→0+ 2π k + iη
−∞

Observação: a função contínua δε (x − a) usada acima para denir o δ(x − a) é um ex-

emplo dentre muitas diferentes funções que podem ser usadas para o mesmo m. Outras
interessantes (que além de serem contínuas, tem tb derivadas contínuas) são:

1 −(x−a)2 /ε2
δε (x − a) = √ e , (ε → 0)
ε2 π
1 ε
δε (x − a) = , (ε → 0)
π (x − a)2 + ε2
1 sen[(x − a)η]
δη (x − a) = , (η → ∞).
π (x − a)