3. ESPACIO Lw2(a,b) 3.4 FUNCIN GENERALIZADA DELTA.

La funcin delta (o delta de Dirac) se puede generar como cierto lmite de diferentes funciones decentes (diferenciables cualquier nmero de veces en cualquier punto y tendiendo a cero, ella y sus derivadas, ms rpidamente que cualquier potencia de 1 / | x | cuando | x | ). Por ejemplo la distribucin normal

Da ( x ) =
tiende a:

exp(ax 2 )

[3.4.1]

Da ( x ) =

x = 0 exp( ax 2 ) a 0 x 0 a

[3.4.2]

y adems:

( x)dx = 1

[3.4.3]

Por lo tanto, si f(x) es una funcin suficientemente suave, se verifica el siguiente lmite:

Lim Da ( x) f ( x)dx =
a

f (0) D ( x) f ( x)dx
a a

[3.4.4]

Observe que primero se integra y luego se lleva al lmite, al revs no podra hacerse. Esto es precisamente la caracterstica que define a ( x) (y en general a las funciones generalizadas o distribuciones) como una secuencia de funciones decentes ( Da ( x ) ) tal que

( x) f ( x)dx = Lim Da ( x) f ( x)dx

a

[3.4.5]

y por tanto:

( x) f ( x)dx =

f (0) .

[3.4.6]

Hay muchas otras funciones alternativas a Da ( x ) que pueden usarse para definir la delta de Dirac:

a , a + x2
2

1 x sen( ) , x a

x +1 1 J1/ a ( ), a a

....

[3.4.7]

Tomar otro ejemplo para ilustrar ms transparentemente la propiedad [3.4.6] de la funcin Delta. Considere la funcin definida por:

G.NAVASCUS

Ultima revisin 24/10/2008

70

3. ESPACIO Lw2(a,b)

0 < x < a / 2 D a ( x ) = h a / 2 < x < a / 2 0 a/2 < x <

[3.4.8]

Tal que ah=1 para que la integral de esta funcin sea siempre la unidad mientras a tiende a cero (ver figura).

h h

-a/2

a/2

Ahora, siendo f(x) una funcin suficientemente razonable, se calcula la siguiente integral que resulta ser muy sencilla:

D ( x) f ( x)dx = hf ( x)dx =h f ( x)dx = kf

a a / 2 a / 2

a/2

a/2

[3.4.9] donde f es el valor medio de la funcin en el intervalo [-a/2,a/2]. Una vez obtenida la integracin se hace disminuir, a tanto como sea necesario, para poder desarrollar en serie la funcin f(x) en el intervalo [-a/2,a/2]:

a/2 a

( x) f ( x)dx h

a / 2

( f (0) + f ' (0) x + ...)dx = h f (0)dx = hf (0) dx = hf (0)a =

a / 2 a / 2

a/2

a/2

f ( 0)

[3.4.10]

La funcin Delta tiene propiedades muy interesantes que nos sern de utilidad: La derivada de la funcin escaln es la funcin delta. Si Si H ( x) =

1 x > 0 0 x < 0

entonces:

dH ( x) = ( x) dx

[3.4.11]

(Estrictamente H(x) es una funcin generalizada obtenida de la secuencia de funciones escaln idnticas) La derivada ensima de la Delta:

(n)

( x) f ( x)dx = ( n 1) ( x) f ' ( x)dx

[3.4.12]

La traslacin:

( x) f ( x a)dx = f (a)

( x a) f ( x)dx =

f (a)

[3.4.13]

G.NAVASCUS

Ultima revisin 24/10/2008

71

3. ESPACIO Lw2(a,b)

(ax) = (x 2 a 2 ) =

( x)
|a|

[3.4.14]

1 ( ( x + a ) + ( x a )) |a|

[3.4.15]

( f ( x)) =
i

( x xi )
| f ' ( xi ) |

donde las xi son los ceros de la funcin f(x)

[3.4.16]

y finalmente (hay otras ms que posiblemente no usaremos) su trasformada Fourier puede deducirse de su definicin directamente:

Da ( x) =

exp( ax 2 ) =

1 2

2 exp(ikx k / 4a)dk =

1 2

exp(ikx) I

(k )dk

[3.4.17]

Fcilmente se puede ver que la secuencia de funciones I a (k ) da la funcin generalizada 1 y por tanto ambos miembros de [3.4.17] acaba dando:

( x) =
de donde se obtiene la transformada inversa:

1 2

exp(ikx)dk

[3.4.18]

(k ) =

1 2

2 ( x) exp(ikx)dx = ( x) exp(ikx)dx = 1

[3.4.19]

De acuerdo con [3.4.3], para t=0:

( x)dx = 1

[3.4.20]

o en general, partiendo en [3.4.17] de Da ( x) f ( x ) , siendo

f ( x) una funcin decente y siguiendo los

mismos pasos que llevan de [3.4.17] a [3.4.20], se llega a:

( x) f ( x)dx = f (0)

[3.4.21]

de acuerdo con [3.4.6]. La generalizacin de la funcin delta al espacio tridimensional es directa y muy til:

( x)dx = 1

(r )dr = 1
r r r

r r

[3.4.22]

( x a) f ( x)dx = f (a)

(r a ) f (r )dr = f (a )

[3.4.23] [3.4.24]

1 ( x x' ) = 2

exp(ik ( x x' ))dk

r r 1 (r r ' ) = 2

r r r r exp( i k ( r r ' )) d k

G.NAVASCUS

Ultima revisin 24/10/2008

72