Matemticas V

UNIDAD 3

-FUNCIN DELTA DIRAC

FUNCION DELTA DIRAC.

Impulso unitario con frecuencia, sobre los sistemas mecnicos actan
fuerzas externas (o fem sobre los circuitos elctricos) de gran magnitud
solo durante un lapso muy breve por ejemplo, en un ala de aeroplano
que se encuentre oscilando, puede caer un rayo, se puede dar un golpe
brusco a una masa en un resorte con un martillo de bola, o una bola de
beisbol (golf o tenis), podra mandarse volando golpendola
violentamente con algn tipo de garrote, como un bate, palo de golf o
una raqueta. La funcin

(t t0)=

0, 0 t 0a
1
,t 0a t < t 0+a
2a
0, t t 0+ a ,

Cuando a> 0, t0>0 se ven en la figura a), y podran servir como modelo
matemtico de este tipo de fuerzas. Para los valores pequeos de
a , a (t t 0 ) es, esencialmente, una funcin constante de gran magnitud
que se encuentra encendida slo durante un lapso muy pequeo
t0
alrededor de
. El comportamiento de (tt 0 ) cuando a 0 se
muestra
funcin

en la figura b). Esta

a (tt 0) ,
se
llama

impulso unitario porque tiene la

prioridad
de
la
integracin,

a ( t t 0 ) dt =1
0

Funcin delta Dirac. En la practica conviene trabajar con otro tipo de

impulso unitario, con una funcin que aproxima (t t ), definida con
a

el limite.
(t t ) =
0

lim a(tt 0)
a0

Esta ultima expresin, que por ningn motivo es una funcin, se puede
caracterizar mediante las dos propiedades siguientes:

(i)

(t t0)

, t=t 0
0, t 0

(ii)

(t t0 )
0

=1
Impulso unitario

( tt 0 ) ,

se denomina funcin delta Dirac.

Es posible obtener la transformada de Laplace de la funcin delta de

Dirac con la hiptesis formal de que

L { (t t 0 ) }=lim L { a (tt 0 ) }
a 0

Teorema: Transformada de la funcin delta de Dirac.

Para

s t0

t 0< 0, L { (tt 0) } =e

1 Zill, Dennis G. (1997). Ecuaciones diferenciales con aplicaciones de modelado.

Mxico: International Thompson Editores.

dt

DEMOSTRACIN: comenzaremos expresando

aa ( tt 0 )

en terminos

de la funcin escaln unitario, de acuerdo con las ecuaciones.

a ( t t 0 )=1 /2 a [u ( t( t 0a ) )u ( t( t 0a ) ) ].

Segn la linealidad, la transformada de Laplace de esta expresin es

es ( t 0a ) es ( t 0+ a ) s t esaesa

=e (
)
s
s
2 sa
1
L { a ( tt 0 ) }=
2a
0

Como esta ecuacin tiene la forma indeterminada 0/0 cuando a0,

aplicamos la regla de LHpital:
L { ( tt 0 ) }=lim 0
a

Cuando

t 0=0

s t0

L{ a (tt 0 ) }=e

sa

lim (
a0

sa

e e
2 sa

s t0

)=e

parece lgico suponer de acuerdo con la ecuacin

descrita en el teorema, que

L { ( t ) }=1

Este resultado subraya el hecho de que

(t)

no es el tipo normal de

funcin que tenemos manejando porque de acuerdo con el teorema,

esperaramos que L{ ( f ( t ) } 0

cuando

Definicin de funcin delta:

(t )

es un objeto matematico conocido como la funcin delta. Es un

ejemplo de una distribucin o funcin generalizada. Tiene las

siguientes propiedades:
ii)

( t )=0 sit 0.

ii)

( 0 ) no esta definida

iii)

( t ) dt=I

iv) si g(t) es una funcin continua en

( , ) , entonses

g (t ) ( t ) dt=g (0)

Es posible construir una definicin lgicamente rigurosa pero no se har

intuitivamente, se puede pensar en ( t ) como en una aproximacin de
un impulso fsico de magnitud 1 en el tiempo t=0 por ejemplo podra ser
la transferencia rpida de una unidad de carga en el tiempo de carga en
el tiempo cero. Se puede demostrar que si a es una constante entonces

v)

( ta )=0 sit a

vi)

( ta ) dt=1

vii) si g(t) es una funcin continua en (- ,

entonces

g (t ) ( ta ) dt=g( a)

2 Stephen L. Campbell, Richard HabermanIntroduccin a las

ecuaciones diferenciales con problemas de valor de frontera,
1ra. Ed.

De estas formulas se obtiene que.

t

>0,
( t ) dt= {10 sit
sit <0,

Entonces, formalmente
t

( t ) dt=H (t)

(t )

se puede considerar, en cierto sentido, como la derivada de la

funcin Heaviside. Una propiedad agradable de la transformada de

Laplace es que se aplica a manera casi tan sencilla a impulsos y
distribuciones como a las funciones ordinarias.

No es necesario decir que en los problemas reales que involucran

impulsos, debe tenerse cuidado de asegurar que las ecuaciones que se
estn usando sigan proporcionando modelos exactos en la presencia de
valores grandes, pero breves dados por el impulso.

Funcin Delta Dirac

El producto de la convolucin puede usarse para encontrar la respuesta

de un sistema dinmico a una fuerza sbita de amplitud larga y duracin
corta (como golpear una bola de beisbol). Esto puede modelarse
mediante la funcin delta de Dirac. Empezaremos en un plano
hipottico, definiendo la funcin delta por una propiedad que se
requiere que posea.

La funcin delta de Dirac y sus propiedades

Comencemos por ampliar los dominios de las funciones f en E a toda la
recta real al tomar de valor de f(t) como cero para toda t negativa. Este
E1
nuevo conjunto de funciones se denota con
. Ahora ya podemos dar
la definicin de un objeto muy extrao al que Dirac llam funcin
generalizada.
Funcin delta de Dirac. Supngase que existe un elemento en
E1
t 0 0
f en E1
tal que para toda
y toda funcin
que es
continua en

t0

( t 0u ) f ( u ) du=f ( t0 )

(1)

El elemento se denomina funcin delta de Dirac.

En realidad no puede haber mas de una funcin delta de Dirac. Para

verlo, digamos que hay dos funciones ( t ) y ( t ) en E1 que satisfacen la
definicin (1). Entonces, para cualquier punto
continua,

( t 0u ) ( u ) du= ( t0 ) = ( v ) ( t 0v ) dv= (t 0)

t 0 en donde (t)

es

Por tanto,

porque

( t )= ( t )

en todos los valores t donde y

son continuas.
Ahora supongamos que existe una funcin delta de Dirac. Es posible que
el lector sienta incomodidad con el calculo de una funcin que podra no
existir; no obstante, proseguiremos por este camino.

TEOREMA: Propiedades de la funcin delta de Dirac. Se tiene

( t ) dt=1, L [ ] ( s )=1, L [ (tu)]=eus

Para comprobar la primera propiedad, sea f(t)=escaln(t), que es la

funcin de Heaviside. De (1) puede establecerse que u=t-u
y
demostrarse que

paso ( t ) = ( v ) escaln ( tv ) dv = ( v ) escaln ( tv ) dv

(3)

( v ) dv [ puesto de escaln ( tv )=0=si v >t ]

3 Paul Adrien Maurice Dirac (1902-1084), fsico terico britnico, fue premiado (junto
con Erwin Schrdinger) con el premio Nobel de fsica por su trabajo en mecnica
cuntica. Ente otros logros, Dirac describi el movimiento de un electrn mediante
cuatro ecuaciones diferenciales simultaneas. Con e hallazgo de estados negativos de
energa que predijo con este modelo matemtico, Dirac planteo la hiptesis de la
existencia de positrones, o antipartculas electrnicas, hiptesis que se confirm mas
tarde.
2

Robert L. Borreli, Courthey S. Coleman. Ecuaciones diferenciales. Ed. OXFORD

UNIVERSITY PRESS. Pg. 397

Por

tanto,

( v ) dv =1 para toda t >0

se

demuestra

la

primera

desigualdad de (2).
Para demostrar la segunda propiedad se emplea el teorema de la
convolucin.
L [ escaln ] =L [ ] L [ escaln ]

(4)

Por otro lado de tiene que

L [ escaln ]=L [1]
u=tv )

Y que (despus de declarar

L [ escaln ] =L

(5)

] [

( tu ) escaln ( u ) du = L
0

( v ) escaln ( tv ) (dv)

(6)

[
t

] [

( v ) escaln ( tv ) dv = L

( v ) escaln ( tv ) dv

L [ escaln ]=L [ 1 ]
Donde se han utilizado

( v )=0 para v <0, escaln ( tv )=0 para v> t ,

identidad (3). Por tanto (4),(5) y (6) se observa que

y la

L [ ] =1 .

La funcin delta se utiliza a menudo para resolver PVI. Supngase que

P ( D )=D2 +aD+b

para las constantes reales a y b. Entonces, el siguiente

resultado da una formula de solucin para un PVI:

Teorema: la funcin delta y problemas de valor inicial. La solucin del
PVI.
P ( D ) [ y ] =f y ( 0 ) = y ' ( 0 ) =0 ( 7 )

Donde f est en

E1

, est dada por

y= G ( t ,u ) f ( u ) du (8)

Donde para cada u la funcin

Z =G(t , u)

es la solucin del PVI

P ( D ) [ z ] = ( tu ) , z ( 0 )=z ' ( 0 ) =0 ( 9 )

Para ver por qu la formula (8) da la solucin del PVI (7) se razona como
sigue: si
t

si g ( t ) =L1

[ ]
1
P (s )

, entonces la solucin del PVI(7) est dada por

y (t )= g ( tu ) f ( u ) du= g ( tu ) f ( u ) du
0

escaln ( tu ) g ( tu ) f ( u ) du( 10)

Donde se ha aprovechado que

f ( u ) =0 si u<0 y escaln (t u )=0 para u>t . Por

otra parte, se ve que la transformada G(t,u) del PVI est dada por
G ( t ,u )=

L [ ( tu ) ] uus
=
( 11)
P (s )
P (s )
L

En consecuencia, por (11) y la frmula del teorema del corrimiento se

observa que.

, u=g ( tu ) escaln (tu ) (12)

Por ultimo de (10) y (12) se tiene la frmula buscada (8):

y (t )= G ( t ,u ) f ( u ) du

Por consiguiente, se ha planteado otra forma de encontrar la solucin

nica de un PVI.
Existe la solucin delta de Dirac?
Por el momento, supngase que ( t )

es una funcin en

a donde nos lleva esto. Digamos que

t 0> 0

que

(t )

es

positiva

f ( t )=escaln ( T t ) escaln ( t ) .

continua.

Entonces, como

y veamos

es un punto de continuidad

t
( 0)>0 . Entonces hay un intervalo

para y que

E1

0>t 0T t t 0

Consideremos
t
( 0)=0,
T t 0< 0, f

la

en el

funcin

que por (1) se

tiene que
t
t
t
( 0u)du
T

( 0u)f ( u ) du=
0

( 0)=

0=f
Donde tambin se ha utilizado el hecho de que
hacer el cambio de variables
t0 y t

que

v =t 0 u

f ( u ) =0 para u< 0 y u>T ,

al

se observa por la eleccin de

t
t0

( 0u)du= ( v ) dv >0
t0T
T

0=
0

Puesto que hemos supuesto que

contradiccin indica que

t
( 0)

(t )

es positiva para

t 0T t .

esta

no puede ser positiva en ningn punto

de la continuidad. De manera similar,

t
( 0)

tampoco puede ser

negativa y, por tanto, desaparece en todo punto donde es continua.

Esto significa que el miembro izquierdo de (1) desaparece para toda t,
f se elija de E1 .
sin importar qu funcin
Pero esto es absurdo de modo
que cualquiera que sea

( t ) , no es una funcin en

E1

. Tenamos la

sospecha de que a partir de la segunda frmula de (2) ya que no

E1
puede ser una funcin, pues cualquier funcin en
debe tener una
transformada que tiende a cero cuando

s + .

Desde los tiempos de Dirac, las funciones como han sido muy
importantes en las aplicaciones. En los tratamientos avanzados de las
modernas matemticas aplicadas se construye una teora lgicamente
rigurosa que incluye objetos, conocidos como distribuciones, funciones
generalizadas o funcin simblica. Que se comportan como la funcin
delta.

Ejercicio 1:
Funcin de forzamiento impulsiva

'

y + y= ( t1 ) , y (0)=1

Resuelva
Solucin:

Tomando la transformada de Laplace en ambos lados se tiene:

sY ( s ) y ( 0 ) +Y ( s )=es
Despejando Y(s),
1
es
(
)
Y s=
+
,
s+1 s +1
De manera que:
y (t )=L1

[ ] [

1
1
+ L1 es
= et + e( t1) H (t 1)
s+ 1
s+1

(1)

Fsicamente, este ejercicio se puede ver como el circuito RC lineal simple

de la figura 3.12.1, donde y es la carga en el capacitor del tiempo, y
existe una carga inicial de 1 en el capacitor. Para 0 t <1 , el voltaje e es
cero, y el capacitor se esta descargando. En el tiempo t=1, hay un
impulso de voltaje, es decir se aplica un voltaje muy alto durante un
periodo breve, lo que recarga el capacitor. Despus el voltaje es 0 otra
vez y el capacitor contina descargndose.
La grafica de (1) se puede ver en la figura 3.12.2. Esta grafica debe
interpretarse como que, en una problema real, y(t) estara dada por una
funcin como la de la figura 3.12.3.

Fig.
3.12.1

Fig.
3.12.2
Grfica de

Fig.
3.12.3

Ejercicio 2:
Una masa unida a un resorte se libera desde el reposo, a un metro por
bajo de la posicin de equilibrio para el sistema masa-resorte y
comienza a vibrar. Despus de segundos, la masa es golpeada por un
martillo que ejerce un impulso sobre la masa. El sistema queda descrito
por el problema simblico con valores iniciales.
2

d x
dx
+ 9 x=3 ( t ) ; x ( 0 )=1, ( 0 )=0
2
dt
dt

(I)

Donde x(t) denota el desplazamiento con respecto del equilibrio en el

instante t. Determinar x(t).

Solucin:
Sea

X ( s )=L { x } ( s ) .

Como

L { x ' ' } ( s )=s 2 X ( s )s y L { ( t ) } ( s )=es

Al calcular la transformada de Laplace de ambos lados de (I) y despejar
X(s) tenemos:
s 2 X ( s )s +9 X ( s )=3 es
X ( s )=

s
3
+es 2 + 9
s +9
s
2

L { cos 3t } ( s ) +es L { sin 3 t } (s)

Usamos la propiedad de translacin para determinar la transformada

inversa de Laplace de X(s)
Translacin en t.
Teorema: Suponga que

F ( s )=L { f } ( s )

existe para

s > 0.

Si es una

4 Stephen
L. positiva,
Campbell,
Richard Haberman. Introduccion a las ecuaciones
constante
entonces:
diferenciales como problemas de valor de frontera. Pg. 288

L { f ( ta ) u ( ta ) } ( s )=eas F (s) ,

Recprocamente, una transformada inversa de Laplace de

esta dada por:

eas F ( s )

s tenemos que:
x ( t )=cos 3 t + [ sin 3(t ) ] u(t )

3t , t<
{cos 3costsin3
t , <t

cos 3 t , t<

2 cos 3 t+ , >t
4

La grafica de x(t) aparece en color en la figura 3.12.4. Como

comparacin, la curva punteada exhibe el desplazamiento de un resorte
vibrante sin perturbaciones. Observe que el impulso suma 3 unidades al
momento en el instante t=.

Desplazamiento de un resorte vibrante golpeado por un martillo

t=
Grafica 3.12.4

Ejercicio 3:
Suponga que tratamos de resolver:
x ' ' + x= 1
Con condiciones iniciales

x 0=0, x ' 0=0

. Supongamos que buscamos una

solucin continua. Tomando transformadas de Laplace con

L [ x ] =L

como es usual, obtenemos

s 2 L+ L=es

( s2 +1 ) L=es
L=

es
s 2+ 1

x=L1

[ ]
es
s2 +1

Para esta inversa necesitamos el segundo teorema de translacin.

Segundo teorema de translacin

Sea f(t) una funcin que tiene una transformada de Laplace y sea
una constante positiva. Entonces
5 R. Kent Nagle, Edward B. Saff, Arthur David Snider.
Ecuaciones diferenciales con
( t ) ua433
( t ) ]=eas L [f ( t +a )] ,
L[f.Pg.
problemas con valores
de frontera
Forma
1:

Forma 2:

L[f ( ta ) ua ( t )]=eas L[ f ( t ) ] ,

Se establece el resultado que es:

x=sin(t1)u1 (t)
La grafica de esta solucin se muestra en la figura 3.12.5

Fig. 3.12.5

Bibliografa

Zill, Dennis G. (1997). Ecuaciones diferenciales con aplicaciones

de modelado. Mxico: International Thompson Editores.

Stephen L. Campbell, Richard Haberman

Introduccin a las ecuaciones diferenciales con problemas de
valor de frontera, 1ra. Ed.
McGRAW-HILL, Mxico, 1998

Robert L. Borrelli, Courtney S. Coleman

Ecuaciones Diferenciales, una perspectiva de modelacin, 1a. ed.
Oxford university press, Mxico, 2002.

Daniel A. Marcus
Ecuaciones Diferenciales, 1a. ed.
Compaa editorial continental, Mxico, 1993

R. Kent Nagle, Edward B. Saff, Arthur David Snider.

6 Daniel A. Marcus. Ecuaciones Diferenciales. Pg. 448

Ecuaciones diferenciales y problemas con valores de

frontera, 3a. ed.
Pearson Educacin, Mxico, 2001

Stephen L. Campbell, Richard Haberman

Introduccin a las ecuaciones diferenciales con problemas
de valor de frontera, 1ra. Ed.
McGRAW-HILL, Mxico, 1998