Apuntesmatev (Mayo)

I.T.P.N.
M.I. Juan A. Montero Rodrguez

1

INDICE
Unidad I Ecuaciones Diferenciales de Primer Orden ......................................................................... 4
1.1 Definiciones (Ecuaciones diferencial, orden, grado, linealidad) ............................................... 4
1.2 Soluciones de las ecuaciones diferenciales ............................................................................... 6
1.3 Problema del valor inicial .......................................................................................................... 8
1.4 Teorema de existencia y unicidad ........................................................................................... 10
1.5 Variables Separables y reducibles ........................................................................................... 11
1.6 Ecuaciones exactas y no exactas, factor integrante ................................................................ 23
1.7 Ecuaciones Lineales ................................................................................................................. 30
1.8 Ecuaciones de Bernoulli ......................................................................................................... 39
1.9 Sustituciones Diversas ............................................................................................................. 40
1.10 Aplicaciones de las Ecuaciones Diferenciales de Primer Orden ............................................ 43
Unidad 2 Ecuaciones Diferenciales Lineales de Orden Superior ...................................................... 45
2.1 Definicin de ecuacin diferencial de orden n ....................................................................... 45
2.2 Problema del valor inicial ........................................................................................................ 45
2.3 Teorema de existencia y unicidad ........................................................................................... 46
2.4 Ecuaciones Diferenciales Lineales Homogneas ..................................................................... 50
2.4.1. Principio de superposicin .............................................................................................. 51
2.5 Dependencia e independencia lineal, wronskiano ................................................................ 52
2.6 Solucin general de las ecuaciones diferenciales lineales homogneas. .............................. 59
2.6.1 Reduccin de Orden de una Ecuacin Diferencial Lineal de Orden dos a una de Primer
orden. (Construccin de una segunda solucin a partir de otra ya conocida) ......................... 61
2.6.2 Ecuacin diferencial homognea con coeficientes constantes....................................... 67
2.7 Ecuaciones diferenciales lineales de orden superior ............................................................. 72
I.T.P.N.
2

2.8 Ecuaciones diferenciales lineales no homogneas ................................................................. 75
2.8.1 Solucin general de las ecuaciones diferenciales lineales no homogneas. ................... 76
2.8.2 Solucin de las ecuaciones diferenciales lineales no homogneas (coeficientes
indeterminados, mtodo de la superposicin, mtodo de operador anulador). ..................... 77
2.8.3 Solucin de las ecuaciones diferenciales lineales no homogneas por el mtodo de
variacin de parmetros. .......................................................................................................... 89
2.8.4 Aplicaciones de las ecuaciones diferenciales lineales de orden dos................................ 97
Unidad 3 Transformadas de Laplace ............................................................................................... 102
3.1 Definicin de la trasformada de Laplace ............................................................................... 102
3.2 Condiciones suficientes de existencia para la trasformada de Laplace ................................ 105
3.3 Trasformada de Laplace de funciones bsicas ...................................................................... 106
3.4 Trasformada de Laplace de funciones definidas por tramos ................................................ 113
3.5 Funcin escaln unitaria ....................................................................................................... 113
3.5.1 Trasformada de Laplace de la funcin escaln unitaria ................................................. 115
3.6 Propiedades de la trasformada de Laplace (linealidad, teoremas de traslacin) ................. 115
3.7 Transformada de funciones multiplicadas por t
n
, y divididas entre t ................................... 121
3.8 Trasformada de derivadas ..................................................................................................... 123
3.9 Trasformada de integrales .................................................................................................... 124
3.10 Teorema de la convolucin ................................................................................................. 124
3.11 Transformada de una Funcin Peridica ............................................................................ 127
3.12 Funcin Delta Dirac ............................................................................................................. 129
3.13 Transformada de Laplace de la funcin Delta Dirac ........................................................... 131
3.14 Transformada Inversa ......................................................................................................... 133
3.15 Algunas Transformadas Inversas ......................................................................................... 133
3.16 Propiedades de la Transformada Inversa. ........................................................................... 135
I.T.P.N.
3

3.16.1 Determinacin de la Transformada Inversa Mediante el Uso de Fracciones Parciales 137
3.16.2 Determinacin de la Transformada Inversa Usando los Teoremas de Heaviside ........ 140
Unidad IV. Ecuaciones diferenciales lineales y sistema de ecuaciones diferenciales lineales ........ 143
4.1 Solucin de una ecuacin diferencial lineal con condiciones inciales por medio de la
transformada de Laplace ............................................................................................................. 143
4.2 Solucin de un Sistema de Ecuaciones Diferenciales Lineales con condiciones Inciales por
medio de la Transformada de Laplace. ....................................................................................... 154
4.3 Problemas de Aplicaciones. .................................................................................................. 156
Unidad 5 Series de Fourier ............................................................................................................. 164
5.1 Funciones Ortogonales .......................................................................................................... 164
5.2 Conjuntos Ortogonales y Conjuntos Ortonormales. ............................................................. 164
5.3 Definicin de Serie de Fourier. .............................................................................................. 167
5.3.1. Series de Fourier............................................................................................................ 168
5.4 Convergencia de Serie de Fourier. ........................................................................................ 173
5.5 Series de Fourier Funcin Periodo Arbitrario ........................................................................ 174
5.6 Serie de Fourier de Funciones Pares e Impares (Desarrollo Conseinoidal o Senoidal) ....... 176
5.7 Serie de Fourier en medio intervalo ...................................................................................... 182
5.8 Formas Complejas de la Serie de Fourier .............................................................................. 186
Unidad 6 Introduccin a las ecuaciones diferenciales parciales ..................................................... 189
6.1 Definiciones (ecuacin diferencial parcial, orden y linealidad) ............................................ 189
6.2 Forma general de una ecuacin diferencial lineal de segundo orden .................................. 189
6.3 Clasificacin de ecuaciones diferenciales parciales de 2 orden (elpticas, parablicas e
hiperblicas) ................................................................................................................................ 189
6.4 Mtodo de solucin de las ecuaciones diferenciales parciales (directos, equiparables con las
ordinarias y separacin de variables) .......................................................................................... 190
6.5 Aplicaciones ........................................................................................................................... 196
I.T.P.N.
4

Unidad I Ecuaciones Diferenciales de Primer Orden

1.1 Definiciones (Ecuaciones diferencial, orden, grado, linealidad)

Ecuacin diferencial

Si una ecuacin contiene las derivadas o diferenciales de una o ms variables
dependientes con respecto a una o ms variables independientes, se dice que es
una ecuacin diferencial. Se clasifican de acuerdo con las tres propiedades
siguientes.

Clasificacin segn el tipo

Si una ecuacin contiene slo derivadas ordinarias de una o ms variables
dependientes con respecto a una sola variable independiente, entonces se dice
que es una ecuacin diferencial ordinaria (EDO). Por ejemplo,

son ecuaciones diferenciales ordinarias. Una ecuacin que contiene las derivadas
parciales de una o ms variables dependientes de dos o ms variables
independientes se llama ecuacin diferencial parcial (EDP). Por ejemplo,

.

I.T.P.N.
5

Clasificacin segn el orden

El orden de la ms alta derivada en una ecuacin diferencial se llama orden de la
ecuacin. Por ejemplo,

es una ecuacin diferencial ordinaria de segundo orden. Puesto que la ecuacin
diferencial =0 puede llevarse a la forma

dividiendo entre dx, es un ejemplo de ecuacin diferencial ordinaria de primer
orden. La ecuacin

es una ecuacin diferencial de cuarto orden.

Aunque las ecuaciones diferenciales parciales son muy importantes, su estudio
exige una buena base en la teora de ecuaciones diferenciales ordinarias. Una
ecuacin diferencial ordinaria general de orden n se representa a menudo
mediante el smbolo

.

Clasificacin segn la linealidad o no linealidad

Se dice que una ecuacin diferencial es lineal si tiene la forma

.
Debe hacerse notar que las ecuaciones diferenciales lineales se caracterizan por
dos propiedades:

a) la variable dependiente y junto con todas sus derivadas son de primer
grado, esto es, la potencia de cada trmino en y es 1.
I.T.P.N.
6

b) cada coeficiente depende slo de la variable independiente x .

Una ecuacin que no es lineal se dice no lineal. Las ecuaciones

(EDO lineal de primer orden)

(EDO lineal de segundo orden)

(EDO lineal de tercer orden)

son ejemplos de ecuaciones lineales.

1.2 Soluciones de las ecuaciones diferenciales

Se dice que una funcin f cualquiera, definida en algn intervalo I, es solucin
de una ecuacin diferencial en el intervalo, si sustituida en dicha ecuacin la
reduce a una identidad.

En otras palabras, una solucin de una ecuacin diferencial es una funcin
( ) y f x = que tiene por lo menos n derivadas y satisface la ecuacin. Es decir,

para todo x del intervalo I.

Ejemplo

La funcin es una solucin de la ecuacin no lineal
1
2
0
dy
xy
dx
=

En . Puesto que

vemos que
I.T.P.N.
7

para todo nmero real.

Ejemplo

La funcin
x
y xe = es una solucin de la ecuacin no lineal '' 2 ' 0 y y y + = en
. Para comprender esto se evalan

y '' 2
x x
y xe e = +

Obsrvese que '' 2 ' ( 2 ) 2( ) 0
x x x x x
y y y xe e xe e xe + = + + + =

para todo nmero real.

Ntese que en los ejemplos anteriores la funcin constante y = 0, ,
satisface asimismo la ecuacin diferencial dada. A una solucin de una ecuacin
diferencial que es idntica a cero en un intervalo I, se le denomina a menudo
solucin trivial.

Tipos de soluciones

Solucin n-paramtrica. Si la solucin contiene n parmetros se le llama solucin
n-paramtrica o familia n-paramtrica de soluciones. De hecho al resolver una
ecuacin de n-simo orden se espera obtener una solucin con n parmetros.

Solucin particular. Es una solucin que se obtiene a partir de una solucin
n-paramtrica dndole valores a los parmetros.

Solucin singular. Es una solucin que no se puede obtener a partir de una
solucin n-paramtrica.

Solucin general. Si la nica solucin de una ecuacin diferencial es una familia
n-paramtrica de soluciones, es decir no existe solucin singular para tal ecuacin,
entonces se dice que tal solucin es la solucin general de la ecuacin diferencial.

Solucin explcita. Si la incgnita y viene despejada en funcin de la variable
independiente x.

I.T.P.N.
8

Solucin implcita. Si la solucin no es explcita se dice que es una solucin
implcita.

Ejemplo

Sol. explcita

Sol. explcita

Sol. Sol. n-paramtrica (n=1)

Sol. Sol. particular
Sol. y = 0 Sol. singular

Sol. Sol. implcita

1.3 Problema del valor inicial

A menudo nos interesa resolver una ecuacin diferencial de primer orden

sujeta a la condicin adicional , donde es nmero en un intervalo I y
es un nmero real arbitrario. El problema

se le llama problema de valor inicial. A la condicin adicional se le conoce como
condicin inicial.

Ejemplo
Para

I.T.P.N.
9

sabemos que es una familia uniparamtrica de soluciones. Por lo tanto si
x = 0, y = 3,

y entonces la solucin particular es .

Si se tuviera entonces

y la solucin sera
.

Ejemplo

Para

se debe saber que es solucin de esta ecuacin diferencial ordinaria.
Entonces
, c = 0

y es una solucin particular.

Si se tiene como condicin inicial , entonces
I.T.P.N.
10

2
2
0
1 , 1
4
c c
| |
= + =
|
\ .

siendo la solucin particular .

1.4 Teorema de existencia y unicidad

Teorema 1.1

Sea R una regin rectangular en el plano xy definida por a x b, c y d que
contiene al punto en su interior. Si son continuas en R,
entonces existe un intervalo I con centro en y una nica funcin y (x) definida
en I que satisface el problema del valor inicial.

Figura 1.1

El teorema anterior es uno de los teoremas de existencia y unicidad ms
populares para ecuaciones diferenciales de primer orden porque los criterios de
continuidad de son relativamente fciles de verificar. En general,
no siempre es posible encontrar un intervalo especfico I en el cual se define una
solucin sin, de hecho, resolver la ecuacin diferencial.

I.T.P.N.
11

Ejemplo. Sean

Figura 1.2

Dos soluciones del mismo PVI (Problema de valor inicial) son cada una de las
funciones y ya que satisfacen la ecuacin diferencial
y la condicin inicial . En la figura 1.2 se ilustran las
grficas de ambas funciones que pasan por el mismo punto (0, 0).

Haciendo referencia al Teorema de Existencia y Unicidad se tiene que

son continuas en el semiplano superior definido por y > 0. Por consiguiente el
teorema permite concluir que para cualquier punto (x
0
, y
0
), y
0
> 0 en el semiplano
superior hay algn intervalo en torno a x
0
en el que la ecuacin diferencial que se
proporciona tiene una solucin nica.

1.5 Variables Separables y reducibles

Se empieza el estudio de los mtodos para resolver ecuaciones de primer orden
con la ecuacin diferencial ms simple de todas.

Si g (x) es una funcin continua dada, entonces la ecuacin de primer oden

se puede resolver por integracin. La solucion sera:

I.T.P.N.
12

Nota. Al resolver una ecuacin diferencial, a menudo se tendr que utilizar, por
ejemplo, integracin por partes, fracciones parciales, o posiblemente sustitucin.

Ejemplos Soluciones

Definicin. Se dice que una ecuacin diferencial de la forma es
separable o que tiene variables separables.

Observe que una ecuacin separable puede escribirse como de
inmediato se observa que cuando h(y) = 1 la ecuacin anterior se reduce a
.

Mtodo de solucin

La ecuacin indica el procedimiento para resolver
ecuaciones diferenciales separables. Integrando ambos miembros de
se obtiene una familia uniparamtrica de soluciones, la cual
queda expresa implcitamente.

Nota. En una ecuacin separable no hay necesidad de usar dos constantes de
integracin ya que

donde c es completamente arbitraria.

I.T.P.N.
13

Ejemplo. Resuelva las ecuaciones diferenciales ordinarias por separacin de
variables.

.

Diviviendo entre (1 + x)y es posible escribir

.

Llamando c a resulta entonces
.

.

Se tiene

I.T.P.N.
14

.

.

Se tiene

.

.
Se tiene

I.T.P.N.
15

.

, .
Separando

y usando fracciones parciales

y entonces
I.T.P.N.
16

1 1
ln 2 ln 2
4 4
y y x c + + = +

.

El 2 y el -2 se eliminaron como soluciones al inicio al dividir entre
2
4 y . Se tiene
que -2 es solucin y contiene al punto (0, -2).

1
)
1
dy
f
dx x y
=
+ +
.

Realizando cambio de variable

I.T.P.N.
17

.

I.T.P.N.
18

Problemas Propuestos

Variables separables

Resuelva la EDO por separacin de variables.

1)

2)

3)

4)

5)

6)

7)

8)

Ecuaciones Homogneas

Si una ecuacin en la forma diferencial

tiene la propiedad que
( , ) ( , )
n
M tx ty t M x y = y ( , ) ( , )
n
N tx ty t N x y =
se dice que tiene coeficientes homogneos o que es una ecuacin homognea. El
punto importante en la discusin posterior es que una ecuacin diferencial
homognea siempre puede reducirse a una ecuacin separable por medio de una
sustitucin algebrica adecuada. El grado de los coeficientes homogneos n tiene
que ser igual.

I.T.P.N.
19

Se dice que f(x, y) es una funcin homognea de grado n, si para algn nmero
real n, ( , ) ( , )
n
f tx ty t f x y = .

Ejemplo

3 5 tx t xy ty = +
.

La funcin homognea es de grado uno.

Ejemplo

.

La funcin es homognea de grado .

Ejemplo

ya que
.

La funcin no es homognea.

Ejemplo

I.T.P.N.
20

.

La funcin es homognea de grado cero.

Sumar una constante a una funcin destruye la homogeneidad a menos que la
funcin sea homognea de grado cero. Adems, en muchos casos podemos
reconocer si una funcin es homognea examinando el grado de cada trmino.

Ejemplo

La funcin es homognea de grado 4.

Ejemplo. Resolver la ecuacin homognea con condicin inicial

.

En este caso se sustituye

I.T.P.N.
21

.

Si

.

Ejemplo

.

Se prueba en este caso
x uy dx udy ydu = = +

I.T.P.N.
22

4
1
ln ln 3 1
6
y u c + + =

.


Ecuaciones homogneas

Resuelva la ecuacin homognea.

I.T.P.N.
23

1)

2)

3)

4)

1.6 Ecuaciones exactas y no exactas, factor integrante

Observemos que la ecuacin simple

es separable y homognea; tambin debe notarse que adems es equivalente a la
diferencial del producto de x y y. Esto es

Integrando se obtiene de inmediato la solucin implcita xy = c.
Recurdese que si z = f(x,y) es una funcin con derivadas parciales de primer
orden continuas en una regin R del plano xy, entonces su diferencial total es
. (1)
Ahora bien, si f(x,y) = c, de (1) se deduce que
. (2)
En otras palabras, dada una familia de curvas f(x,y) = c, es posible generar una
ecuacin diferencial de primer orden calculando la diferencial total.

Ejemplo
Si , entonces de (2) resulta que
I.T.P.N.
24

o bien .
Es ms importante para los fines de este curso invertir el problema, esto es, dada
una ecuacin como
(3)
Puede identificarse la ecuacin como equivalente a
Ntese que la ecuacin (3) no es ni separable ni homognea.

Ecuaciones Exactas
Definicin
Una expresin diferencial

es una diferencial exacta en una regin R del plano xy si corresponde a la
diferencial total de alguna funcin f(x,y). Una ecuacin

se dice que es exacta si la expresin del primer miembro es una diferencial
exacta.

Ejemplo
La ecuacin es exacta puesto que se ve que
.
El siguiente teorema es un criterio para determinar si una diferencial es exacta.

Teorema 1.2
I.T.P.N.
25

Sean M(x,y) y N(x,y) continuas y con derivadas parciales de primer orden
continuas en una regin R del plano xy. Entonces una condicin necesaria y
suficiente para que
( , ) ( , ) M x y dx N x y dy +
sea una diferencial exacta es que
(4)
Demostracin de la condicin necesaria: Para simplificar, supngase que M(x,y) y
N(x,y) tienen derivadas parciales de primer orden continuas para todos (x,y).
Ahora bien, si la expresin M(x,y)dx +N(x,y)dy es exacta, existe alguna funcin f
para la cual

para todo (x,y) en R. Por lo tanto,
,
y

La igualdad de las derivadas parciales mixtas es consecuencia de la continuidad
de las derivadas parciales de primer orden de M(x,y) y N(x,y).
La demostracin de la suficiencia de la condicin en el Teorema 1.2 consiste en
probar que existe una funcin f para la cual
cada vez que la condicin (4) se
cumple. La construccin de la funcin f se refleja de hecho un procedimiento
bsico para resolver ecuaciones exactas.

Mtodo de Solucin
Dada la ecuacin
I.T.P.N.
26

(5)
primero demuestre que
Suponga luego que
as es posible encontrar f integrando M(x,y) con respecto a x mientras se mantiene
y constante. Se escribe
(6)
en donde la funcin arbitraria g(y) es la constante de integracin. Derive ahora
(6) con respecto a y y suponga que

.
De esto resulta
'( ) ( , ) ( , ) g y N x y M x y dx
y
c
=
c
}
. (7)

Finalmente, integre (7) con respecto a y y sustituye el resultado en (6). La solucin
de la ecuacin es .

Ejemplo
Resolver
Solucin. Con M(x,y)= 2xy y N=(x,y) = tenemos

I.T.P.N.
27

As que la ecuacin es exacta y entonces, por el Teorema 1.2 existe una funcin
f(x,y) para la que
y
De la primera de estas ecuaciones se obtiene

Derivando parcialmente la ltima expresin con respecto a y e igualando el
resultado a N(x,y) resulta
.
Se deduce que
g(y) = -1 y g(y) = -y .
No es necesario incluir la constante de integracin en el rengln precedente ya
que la solucin es f(x,y) = c. Algunas curvas de la familia se dan en la
Figura 1.3.

Figura 1.3

Ejemplo
I.T.P.N.
28

Resolver
Solucin. La ecuacin no es ni separable ni homognea pero si es exacta, puesto
que

Por lo tanto, existe una funcin f(x,y) para la que
Y
Para variar, supondremos que
O sea,

Recuerde que la razn por la cual x puede salir fuera del smbolo que en la
integracin con respecto a y se trata a x como una constante ordinaria. Se tiene
que

de modo que
y
Por consiguiente, una familia uniparamtrica de soluciones est dada por

Ejemplo
I.T.P.N.
29

Resolver sujeta a y(0) = 2.
Solucin. La ecuacin es exacta puesto que

Ahora bien,

La ltima ecuacin implica que

As que
o bien
La condicin inicial y=2 cuando x=0 exige que o bien que c=3.
Una solucin es


Ecuaciones exactas y no exactas

Resuelva la ecuacin exacta

1)

I.T.P.N.
30

2)

3) ,

4) ,

1.7 Ecuaciones Lineales

Se define la forma general de una ecuacin diferencial lineal de orden n como

La linealidad significa que todos los coeficientes son solamente funciones de x y
que y y todas sus derivadas estn a la primera potencia. Ahora bien, cuando n=1,
se obtiene la ecuacin lineal de primer orden

Dividiendo entre resulta la forma ms til
(1)
Se busca la solucin de (1) en un intervalo I en el cual P(x) y f(x) son continuas.
En la discusin que sigue se supone tcitamente que (1) tiene solucin.

Un factor integrante
Supngase que la ecuacin (1) se escribe en la forma diferencial
. (2)
Las ecuaciones lineales tienen la conveniente propiedad de que siempre es
posible encontrar una funcin (x) tal que el mltiplo de (2)
I.T.P.N.
31

(3)
es una ecuacin diferencial exacta. Por el Teorema 1.2 se sabe que el miembro
primero de la ecuacin (3) ser una diferencial exacta si

| | ( ) ( ) ( ) ( ) x x P x y f x
x x

c c
=
c c
(4)
o bien .
Esta es una ecuacin separable a partir de la cual puede determinarse (x). Se
tiene

(5)
de modo que . (6)
A la funcin (x) definida en (6) se la llama factor integrante de la ecuacin lineal.
Ntese que no es necesario usar una constante de integracin en (5) ya que (3)
no es afectada si se multiplica por una constante. Adems, (x) 0 para todo x de I
y es continua y diferenciable.
Es interesante observar que la ecuacin (3) sigue siendo una ecuacin diferencial
exacta incluso cuando f(x) = 0. De hecho, f(x) no desempea ningn papel en la
determinacin de (x) puesto que por (4) vemos que (x) f(x) = 0. As,

y
son, ambas, diferenciales exactas. Ahora se escribe (3) en la forma

y se advierte que la ecuacin puede escribirse como

Integrando la ltima ecuacin resulta
I.T.P.N.
32

( ) ( )
( )
P x dx P x dx
e y e f x dx c
} }
= +
}

o bien

( ) ( ) ( )
( )
P x dx P x dx P x dx
y e e f x dx ce

} } }
= +
}
. (7)
En otras palabras, si (1) tiene solucin, esta debe ser de la forma (7).
Recprocamente, se puede verificar que (7) constituye una familia uniparametrica
de soluciones de la ecuacin (1). Sin embargo, no se debe tratar de memorizar la
formula (7). El procedimiento que debe seguirse cada vez, por eso es conveniente
resumir los resultados.

Mtodo de solucin
Para resolver una ecuacin diferencial lineal de primer orden, primero escrbala en
la forma (1); o sea, haga el coeficiente de y igual a la unidad. Multiplique despus
toda la ecuacin por el factor integrante . El primer miembro de

es la derivada del producto del factor integrante por la variable dependiente:

Escriba la ecuacin en la forma

y por ltimo, integre ambos miembros.

Ejemplo
Resolver
Solucin. Escriba la ecuacin como
I.T.P.N.
33

(8)
y determine el factor integrante

Aqu se usa la identidad bsica . Ahora multiplique la ecuacin (8) por
este trmino
(9)
y obtenga (10)
Por integracin por partes queda

o bien .

Ejemplo
Resolver .
Solucin. La ecuacin ya est en la forma (1). Por consiguiente, el factor
integrante es
.

En consecuencia

y por lo tanto .

I.T.P.N.
34

Solucin general
Si se supone que P(x) y f(x) son continuas en un intervalo I y que es un punto
cualquiera del intervalo, entonces el teorema 1.1 asegura la existencia de una sola
solucin del problema de valor inicial

(11)
Por lo contrario, se vio anteriormente que (1) tiene una familia de soluciones y que
toda solucin de la ecuacin en el intervalo I es de la forma (7).
Por lo tanto, obtener la solucin de (11) es simplemente encontrar un valor
apropiado de c en (7). Como consecuencia, se justifica llamar a (7) la solucin
general de la ecuacin diferencial.

Ejemplo
Encuentre la solucin general de

Solucin. Se escribe
La funcin P(x) = es continua en -x. Ahora bien, el factor
integrante de la ecuacin es

de modo que

I.T.P.N.
35

Por lo tanto, la solucin general es

Ejemplo
Resolver sujeta a y(0) = -3.
Solucin. Las funciones P(x) = 2x y f(x) = x son continuas en -x. El factor
integrante es

de modo que

Por consiguiente, la solucin general de la ecuacin diferencial es
2 1
2
x
y ce
= +
.

La condicin y(0) = -3 da por ello la solucin del problema de valor
inicial en el intervalo es

Ejemplo
Resolver sujeta a y(1) = 0.
I.T.P.N.
36

Solucin. Escriba la ecuacin dada como

y observe que es continua en cualquier intervalo que no contiene al
origen. En vista de la condicin inicial, se resuelve el problema en el intervalo
0x.
El factor integrante es

y por consiguiente da lugar a
La solucin general de la ecuacin es
(12)
Pero y(1) = 0 implica c = -1. Por lo tanto se obtiene
. (13)
La grfica de (12), considera como una familia uniparamtrica de curvas, se
presenta en la figura 1.4. La solucin (13) del problema de valor inicial est
indicada por la porcin en color de la grfica.

Figura 1.4

Ejemplo
I.T.P.N.
37

Resolver . sujeta a y(-2) = 0.
Solucin. La ecuacin diferencial dada no es separable, ni homognea, ni exacta,
ni lineal en la variable y. Sin embargo, si se toma la reciproca, entonces
2
dx
x y
dy
= + o bien
2
dx
x y
dy
= .
Esta ltima ecuacin es lineal en x, as que el factor integrante correspondiente es
. En consecuencia, se tiene que para ,

.
Cuando x = -2, y = 0, se encuentra que c = 0 y por consiguiente

Ejemplo
Hallar una solucin continua que satisfaga
en donde
1, 0 1
( )
0, 1
x
f x
x
s s
=

>

y la condicin inicial y(0) = 0.
Solucin. f es discontinua en x = 1. Por consiguiente, resolvemos el problema en
dos partes. Para 0x1 se tiene que

I.T.P.N.
38

.
Como y(0) =0, debemos tener y por lo tanto
, 0x1.
Para x>1 tenemos
Lo cual lleva a .
Por consiguiente, podemos escribir
.
Ahora bien, para que y sea una funcin continua necesitamos que
1
( ) (1)
x
lim y x y
+
= . Este ltimo requisito es equivalente a o bien

. La funcin

es continua pero no diferenciable en x = 1.

Observacin: La frmula (7), que representa la solucin general de (1), consta en
realidad de la suma de dos soluciones. Se define
(14)
en donde
y

I.T.P.N.
39


Ecuaciones lineales

Halle la solucin general

1) ,
2) ,
3) ,
4) ,
5) , ,

1.8 Ecuaciones de Bernoulli

A la ecuacin diferencial
(1)
en donde n es un nmero real cualquiera, se le llama ecuacin Bernoulli en honor
del matemtico suizo Jacob Bernoulli (1654-1705). Para n0 y n1, la sustitucin
lleva a la ecuacin lineal
(2)

Ejemplo
Resolver
Solucin. En (1) se identifica , y n = 2. As la sustitucin
da
I.T.P.N.
40

El factor integrante de esta ecuacin lineal en, por ejemplo, es

Consecuentemente, .
Integrando esta ltima forma resulta
o bien
Como , se obtiene y tambin

Ecuacin de Bernoulli
1)
2)

1.9 Sustituciones Diversas

Una ecuacin puede tener un aspecto diferente a cualquiera de las que ya se han
estudiado pero, por medio de un cambio de variables inteligente, un problema
aparentemente difcil puede tal vez resolverse con facilidad. Aunque no pueden
darse reglas fijas sobre que sustituciones usar, si es que hay alguna sustitucin
posible.

Ejemplo
La ecuacin diferencial
I.T.P.N.
41

No es separable, ni homognea, ni exacta, ni lineal, ni de Bernoulli. Sin embargo,
el mirarla con atencin durante un tiempo podra inducir a intentar la sustitucin
o bien .
Como
despus de simplificar, la ecuacin se transforma en
.
Se observa que la ltima ecuacin es separable; luego de

se obtiene

en donde se reemplaz por

Ejemplo
Resolver .
Solucin. La presencia del trmino induce a intentar puesto que
.
I.T.P.N.
42

Ahora bien
tiene la forma lineal
de modo que multiplicando por el factor integrante resulta

o bien .

Ejemplo
Resolver .
Solucin. Sea . Por lo tanto, la ecuacin diferencial se transforma en

Integrando por partes resulta

Sustituciones diversas
Resuelva usando una sustitucin apropiada.
1)
2)
I.T.P.N.
43

1.10 Aplicaciones de las Ecuaciones Diferenciales de Primer Orden

Circuitos en serie. Para un circuito en serie que contiene slo un resistor y un
inductor, la segunda ley de kirchhoff establece que la suma de la cada de voltaje
en el inductor y la cada de voltaje en el resistor (iR) es la misma que el
voltaje de alimentacin (E(t)) en el circuito. Vase la figura 1.5.

Figura 1.5 Circuito LR en serie

As, se obtiene la ecuacin diferencial lineal para la corriente i(t).
(1)
Donde L y R son constantes que se conocen como la inductancia y la resistencia,
respectivamente. La corriente i(t) se conoce tambin como la respuesta del
sistema.
La cada de voltaje en un capacitor con capacitancia C est dada por q(t)/C, donde
q es la carga en el capacitor. Por consiguiente, para el circuito en serie que se
ilustra en la figura 1.6 la ley de kirchhoff da

Figura 1.6 Circuito RC en serie
(2)
Pero la corriente i y la carga q se relacionan mediante , as que (2) se
convierte en la ecuacin diferencial lineal
. (3)
I.T.P.N.
44

Ejemplo
Circuito en serie
Una batera de 12 volts se conecta a un circuito en serie en el que la inductancia
es Henry y la resistencia es 10 ohm. Determine la corriente i si la corriente
inicial es cero.
Solucin. De (1) se observa que es necesario resolver

sujeta a i(0) = 0. Primero, se multiplica por 2 la ecuacin diferencial y se ve que le
factor de integracin es Se obtiene entonces

Al integrar cada lado de la ultima ecuacin y resolviendo para i, se obtiene
Ahora, i(0) = 0 implica que o .
Por tanto, la respuesta es , la cual se puede obtener de
(4)
Cuando es una constante, la ecuacin se transforma en
(5)
Observe que cuando , el segundo termino de la ecuacin (5) tiende a cero.
Este trmino por lo comn se llama trmino transitorio; los dems trminos se
conocen como la parte de estado estable de la solucin. En este caso
tambin se llama corriente de estado estable; para valores grandes del tiempo, al
parecer la corriente del circuito se rige simplemente por la ley de Ohm (E = iR).

I.T.P.N.
45

Unidad 2 Ecuaciones Diferenciales Lineales de Orden Superior

2.1 Definicin de ecuacin diferencial de orden n
Del mismo modo en que se ha definido la ecuacin diferencial lineal de primer
orden como podemos definir una ecuacin diferencial de orden n como

donde la derivada mayor que aparece es de orden n-simo.

2.2 Problema del valor inicial
Un problema de valor inicial para una ecuacin diferencial de orden n es

Resolver:
Sujeta a: (1)

En donde son constantes arbitrarias. Se busca una solucin en
algn intervalo I que contenga al punto
En el caso de una ecuacin lineal de segundo orden, una solucin de

I.T.P.N.
46

es una funcin definida en I cuya grfica pasa por y tal que la pendiente
de la curva en el punto es el nmero .

2.3 Teorema de existencia y unicidad
Teorema 2.1
Sean continuas en un intervalo I y sea
para todo en este intervalo. Si es cualquier punto de este
intervalo, entonces existe una solucin del problema de valor inicial (1) en el
intervalo y esa solucin es nica.

Ejemplo
Verificar que es una solucin del problema de valor inicial

La ecuacin diferencial es lineal, los coeficientes, as como son
funciones continuas en cualquier intervalo que contiene x=0. Por el teorema de
existencia y unicidad (2.1) se deduce que la funcin dada es la nica solucin.

Ejemplo
El problema de valor inicial

tiene una solucin trivial y=0. Puesto que la ecuacin de tercer orden es lineal con
coeficientes constantes, se infiere que todas las condiciones del teorema (2.1) se
I.T.P.N.
47

cumplen. Por lo tanto, es la nica solucin en cualquier intervalo que
contenga a .

Ejemplo
La funcin es una solucin del problema de valor inicial

.
Por el teorema 2.1 se desprende que la solucin es nica en cualquier intervalo
que le contenga a .
En el teorema de existencia y unicidad (2.1), se requiere que siendo
sea continua y que , para todo de I. Ambos requisitos son
importantes. Especficamente, si para cualquier del intervalo, entonces
la solucin de un problema lineal de valor inicial puede no ser nica y hasta puede
no existir.

Ejemplo
Verificar que la funcin es una solucin del problema de valor
inicial

,
en el intervalo para cualquier valor del parmetro
Solucin. Como se tiene que

.
I.T.P.N.
48

Adems
y
Si bien la ecuacin diferencial del ejemplo precedente es lineal y los coeficientes y
son continuos para todo la dificultad obvia es que es cero
en .

Problema de valores en la frontera
Otro tipo de problema consiste en resolver una ecuacin diferencial de orden dos
o de orden mayor que dos en la cual la variable dependiente y (o sus derivadas)
se especifica en dos puntos diferentes. Un problema como
Resolver:
Sujeta a:
se llama un problema de valores de frontera de dos puntos o, simplemente, un
problema de valores en la frontera.

Ejemplo
En el caso del problema de valor de frontera

Se busca una funcin definida en un intervalo que contenga que
satisfaga la ecuacin diferencial y cuya grfica pase por los dos puntos (1,0) y
(2,3).
Los ejemplos siguientes muestran que aun cuando las condiciones del Teorema
(2.1) se cumplen, un problema de valor de frontera puede tener (a) varias
soluciones, (b) una solucin nica o (c) ninguna solucin.

I.T.P.N.
49

Ejemplo

es una familia biparamtrica de soluciones de la ecuacin diferencial
.
Supngase que ahora se quiere determinar aquella solucin de la ecuacin que
adems satisface las condiciones de frontera
.
Observemos que la primera condicin

implica de modo que Pero cuando se tiene
.
Como , esta ltima condicin se satisface para cualquier valor de , as
que, la solucin del problema

es la familia uniparamtrica
.
Hay un nmero infinito de funciones que satisfacen la ecuacin diferencial y cuyas
grficas pasan por los dos puntos (0,0) y .
Si las condiciones de frontera fueran , entonces
necesariamente y serian ambas iguales a 0. En consecuencia, sera
una solucin de este nuevo problema de valor de frontera. De hecho, esta es la
nica solucin.
I.T.P.N.
50

2.4 Ecuaciones Diferenciales Lineales Homogneas
A una ecuacin diferencial lineal de orden n de la forma

(2)
se la llama homognea, en tanto que a

(3)
en donde no es idnticamente nula, recibe el nombre de no homognea.
En este contexto, la palabra homognea no se refiere a que los coeficientes son
funciones homogneas.

Ejemplo
(a) La ecuacin
es una ecuacin diferencial lineal de segundo orden, homognea.

(b) La ecuacin
es una ecuacin diferencial ordinaria lineal de tercer orden, no homognea.
Nota: Cuando se den definiciones y se demuestren teoremas acerca de las
ecuaciones lineales (2) y (3), con el objeto de evitar repeticiones innecesarias, las
siguientes hiptesis importantes sern implcitas. En algn intervalo I
(I) los coeficientes son continuos;
(II) el miembro derecho es continuo;
I.T.P.N.
51

(III) para todo del intervalo.

2.4.1. Principio de superposicin
El teorema siguiente se cono como principio de superposicin.

Teorema 2.2
Sean soluciones de la ecuacin diferencial lineal homognea de orden
n (2) en un intervalo I. entonces la combinacin lineal
(4)
en donde los son constantes arbitrarias, tambin es una solucin en
el intervalo.

COLARIOS
(a) Si es una solucin de una ecuacin diferencial lineal homognea,
entonces un mltiplo constante de ella, tambin es una solucin.
(b) Una ecuacin diferencial lineal homognea siempre tiene la solucin trivial

El principio de superposicin definido y el caso particular dado en (a) son
propiedades que las ecuaciones diferenciales no lineales generalmente no tienen.

Ejemplo
Las funciones
son soluciones de la ecuacin homognea de tercer orden

I.T.P.N.
52

en el intervalo . Por el principio de superposicin, la combinacin lineal

tambin es una solucin de la ecuacin en el intervalo.

Ejemplo
Las funciones satisfacen la ecuacin homognea

en . Por el teorema, la otra solucin es

Ejemplo
La funcin es una solucin de la ecuacin lineal homognea

en . Por lo tanto, tambin es una solucin. Se ve que para
diversos valores de son, todas, soluciones de la
ecuacin en el intervalo.

2.5 Dependencia e independencia lineal, wronskiano
Definicin
Se dice que es un conjunto de funciones es linealmente
independiente en un intervalo I si no es linealmente dependiente en el intervalo.
I.T.P.N.
53

En otras palabras, un conjunto de funciones es linealmente independiente en un
intervalo si las nicas constantes para las cuales

para toda x en un intervalo, son .
Es fcil entender estas definiciones en el caso de dos funciones . Si
las funciones son linealmente dependientes en un intervalo, entonces existen
constantes , no siendo ambas nulas, tales que para todo x del intervalo
.
Por lo tanto, si se supone que , se infiere que
.
Esto es, si dos funciones son linealmente dependientes, entonces una es
simplemente un mltiplo constante de otra. Recprocamente si para alguna
constante se tiene que entonces.

para todo x de un intervalo. Por lo tanto, las funciones son linealmente
dependientes puesto que al menos una de las constantes (a saber, ) no es
nula se concluye que dos funciones son linealmente independientes cuando
ninguna es ningn mltiplo constante de la otra en un intervalo.

Ejemplo
Las funciones y son linealmente dependientes
en el intervalo puesto que

se satisface para todo x real si elegimos .
(Recurdese la identidad trigonomtrica ).
I.T.P.N.
54

Ejemplo
Las funciones
1
f x = y
2
f x = son linealmente dependientes en el intervalo
Un examen cuidadoso de la figura 2.1 debera convencer al lector de
que ninguna de las dos funciones es un mltiplo constante de la otra. Para tener
para todo x real, debemos elegir

Figura 2.1

El intervalo en el cual las funciones estn definidas es importante en las
consideraciones sobre dependencia e independencia lineal. Las funciones
en el ejemplo anterior son linealmente dependientes en el
intervalo ya que
I.T.P.N.
55

1 2 1 2
0 c x c x c x c x + = + =
se satisface para cualquier valor no nulo de tal que

Ejemplo
Las funciones , son
linealmente dependientes en el intervalo ya que

cuando
.
Se hace notar que y que .
Un conjunto de funciones es linealmente dependientes en un
intervalo si al menos una funcin puede expresarse como combinacin lineal no
trivial de las restantes funciones.

Ejemplo
Las funciones son
linealmente dependientes en el intervalo ya que

para todo x en el intervalo.

El wronskiano
I.T.P.N.
56

El siguiente teorema proporciona una condicin suficiente para la independencia
lineal de n funciones en un intervalo. Cada funcin se supone diferenciable por lo
menos veces.

Teorema 2.3
Supngase que tiene al menos derivadas. Si el
determinante
no es cero por lo menos en un punto de intervalo I, entonces las funciones
son linealmente independientes en el intervalo.
El determinante que aparece en el teorema 2.3 se designa por
.

y se llama wronskiano de las funciones
Colorario
Si tienen por lo menos derivadas y son linealmente
dependientes en , entonces

para todo del intervalo.

Ejemplo
Las funciones son linealmente dependientes
en . (Por que?) Por el colorario precedente, se observa que
I.T.P.N.
57

=2

Ejemplo
Para
1 2
1 2 1 2
1 2
( )
2 1
1 2
( , ) ( ) 0
m x m x
m x m x m m x
m x m x
e e
W e e m m e
me m e
+
= = =
para todo valor real de . Por lo tanto son linealmente independientes en
cualquier intervalo del eje .

Ejemplo
Si son nmeros reales, entonces son
linealmente independientes en cualquier intervalo del eje puesto que

.
Ntese que haciendo se ve que , son tambin
linealmente independientes en cualquier intervalo del eje .

I.T.P.N.
58

Ejemplo
Las funciones son linealmente
independientes en cualquier intervalo del eje x puesto que

no es cero para ningn valor real de

Ejemplo
son linealmente independientes en ; sin
embargo, no es posible calcular el wronskiano ya que no es derivable en .

Soluciones linealmente independientes
Interesa determinar cundo soluciones , de la ecuacin diferencial
homognea (2) son linealmente independientes. Una condicin necesaria y
suficiente para la independencia lineal es, de forma sorpresiva, que el wronskiano
de un conjunto de de tales soluciones no se anule en un intervalo I.

Teorema 2.4
Sean soluciones de la ecuacin lineal homognea de orden (2) en
un intervalo I. Entonces el conjunto de soluciones es linealmente independiente en
I si y slo si el wronskiano

Para todo del intervalo.

I.T.P.N.
59

Definicin
Se llama conjunto fundamental de soluciones en un intervalo I a cualquier
conjunto de soluciones linealmente independientes de la ecuacin
diferencial lineal homognea de orden (2) en el intervalo I.

Teorema 2.5
Sea un conjunto fundamental de soluciones de la ecuacin diferencial
lineal homognea de orden en un intervalo I. Si y es cualquier solucin de la
ecuacin en I entonces es posible encontrar constantes , tales que
.

Teorema 2.6
Existe un conjunto fundamental de soluciones de la ecuacin (2) diferencial lineal
homognea de orden n en un intervalo I.

2.6 Solucin general de las ecuaciones diferenciales lineales homogneas.
Definicin
Sea un conjunto fundamental de soluciones de la ecuacin diferencial
lineal homognea de orden (2) en un intervalo I. Se define como solucin
general de la ecuacin en el intervalo a

en donde los siendo son constantes arbitrarias.
Recurdese que la solucin general, tambin se la llama solucin completa de la
ecuacin diferencial.

Ejemplo
I.T.P.N.
60

La ecuacin de segundo orden tiene dos soluciones

para todo valor de , entonces forman un conjunto fundamental de
soluciones en . La solucin general de la ecuacin diferencial en el
intervalo es
.
Ejemplo
El lector debe verificar que tambin satisface la ecuacin
diferencial del ejemplo anterior. Eligiendo en la solucin general
se obtienen

.

Ejemplo
Las funciones satisfacen la ecuacin de tercer
orden

puesto que
I.T.P.N.
61

para todo valor real de , entonces forman un conjunto fundamental de
soluciones en .
Se concluye que
2 3
1 2 3
x x x
y c e c e c e = + +
es la solucin general de la ecuacin diferencial en el intervalo.
2.6.1 Reduccin de Orden de una Ecuacin Diferencial Lineal de Orden dos a
una de Primer orden. (Construccin de una segunda solucin a partir de otra
ya conocida).

Reduccin de rdenes
Uno de los hechos ms interesantes y tambin ms importantes en el estudio de
las ecuaciones diferenciales lineales de segundo orden es que es posible formar
una segunda solucin a partir de una solucin ya conocida. Supngase que
es una solucin distinta de cero de la ecuacin
. (5)
El proceso que se utilizar para encontrar una segunda solucin consiste en
reducir el orden de la ecuacin (5), transformndola en una ecuacin de primer
orden. Por ejemplo, se verifica fcilmente que satisface la ecuacin
diferencial . Si intentamos determinar una solucin de la forma
entonces

y=
y por tanto .
I.T.P.N.
62

Puesto que esta ltima ecuacin requiere que .
Si se hace se ve que la ltima ecuacin es una ecuacin lineal de primer
orden . Usando el factor integrante puede escribirse

o sea .
De esta manera

y entonces

.
Eligiendo y se obtiene la segunda solucin . Puesto que
para todo , las ecuaciones son linealmente independientes en
y en consecuencia la expresin para y es efectivamente la solucin
general de la ecuacin dada.

Ejemplo
Dado que es una solucin de = , emplear una reduccin de
orden para encontrar una segunda solucin en el intervalo
Solucin. Se define
de modo que

+
=
I.T.P.N.
63

siempre que sea una solucin de
o bien .
Si , obtenemos la ecuacin lineal de primer orden

la cual tiene el factor integrante . Ahora bien de,
resulta que .
Consecuentemente,

.
Eligiendo resulta la segunda solucin .

Caso General
Supngase que se divide entre para llevar la ecuacin (5) a la forma
(6)
en donde son continuas en algn intervalo . Supngase adems que
es una solucin conocida de (6) en y que para toda del
intervalo. Si definimos

se tiene
I.T.P.N.
64

.
cero
Esto implica que debe tener

o bien
(7)

en donde . Obsrvese que la ecuacin (7) es lineal y tambin separable.
Aplicando esta ltima tcnica resulta

e integrando de nuevo
.
Por lo tanto
I.T.P.N.
65

.
Eligiendo se encuentra que una segunda solucin se la ecuacin
(6) es
. (8)

Un buen ejercicio para repasar las tcnicas de derivacin es partir de la frmula
(8) y verificar que efectivamente satisface la ecuacin (6).
Ahora bien son linealmente independientes puesto que

no es cero en cualquier intervalo en el cual no es cero.

Ejemplo
La funcin es una solucin de . Hallar la solucin
general en el intervalo .
Solucin. Puesto que la ecuacin tiene la forma alternativa

de (8) resulta
I.T.P.N.
66

.
La solucin general en est dada por , es decir

.

Ejemplo
Es posible verificar que es una solucin de
en Obtener una segunda solucin.
Solucin. Primero se lleva la ecuacin a la forma
.
Por la formula (8)

.
I.T.P.N.
67

Puesto que la ecuacin diferencial es homognea, es posible descartar el signo
negativo y tomar a como la segunda solucin.
Obsrvese que en el ejemplo anterior, son soluciones linealmente
independientes de la ecuacin diferencial dada en el intervalo ms grande
.


Segunda solucin a partir de una conocida

Encuentre una segunda solucin a partir de
1
y .

Soluciones

1)
2)
3)

2.6.2 Ecuacin diferencial homognea con coeficientes constantes

Se ha visto que la solucin lineal de primer orden en donde a es una
constante, tiene la solucin exponencial en . Por
consiguiente, es natural tratar de determinar si existen soluciones exponenciales,
en de ecuaciones de orden superior como
(1)
en donde los son constantes. Lo sorprendente es que todas las
soluciones son funciones exponenciales de (1) o se construyen a partir de la
funcin exponencial.

I.T.P.N.
68

2.6.2.1 Ecuacin diferencial lineal homognea con coeficientes constantes
de orden dos

Se empezara considerando el caso a partir de la ecuacin de segundo orden
. (2)
Ecuacin auxiliar
Si se ensaya una solucin de la forma entonces
de modo que la ecuacin (2) se transforme en
o bien .
Como nunca se anula para valores reales de , es evidente que la nica
manera de que esta funcin exponencial pueda satisfacer la ecuacin diferencial
es eligiendo de modo que sea una raz de la ecuacin cuadrtica
. (3)
Esta ltima ecuacin se llama ecuacin auxiliar o ecuacin caracterstica de la
ecuacin diferencial (2). Se consideran tres casos, segn la ecuacin auxiliar
tenga races reales, distintas, races reales iguales o races complejas conjugadas.

2.6.2.2 Ecuacin caracterstica (races reales y distintas, races reales e
iguales, races complejas conjugadas).

Caso I. Suponiendo que la ecuacin auxiliar (3) tiene dos races reales distintas
, se hallan dos soluciones
y
ya hemos visto que estas funciones son linealmente independientes en
y por lo tanto, forman un conjunto fundamental. Se deduce que la
solucin general en este intervalo es
1 2
1 2
m x m x
y c e c e = + (4)
I.T.P.N.
69

Caso II. Cuando
1 2
m m = necesariamente se obtiene slo una solucin exponencial
Sin embargo se deduce a una segunda solucin
. (5)
Pero por la forma cuadrtica se tiene que ya que la nica manera de
obtener es que . En vista de que (5) se
transforma en
1
1 1
1
2
2 2 2
m x
m x m x
m x
e
y e dx y e dx
e
= = =
} }

.
La solucin general de

es entonces
1 1
1 2
m x m x
y c e c xe = + . (6)

Caso lll. Si son complejas, entonces puede escribirse
1
m i o | = + y
2
m i o | =
en donde son reales e Formalmente no hay diferencia entre
este caso y el caso I y por tanto
1 2
i i
y c e c e
o | o | +
= + . (7)
Sin embargo, en la prctica es preferible trabajar con funciones reales en vez de
exponenciales complejas. Ahora bien es posible escribir (7) en una forma ms
prctica usando la formula de Euler

I.T.P.N.
70

en donde es cualquier nmero real. A partir de este resultado puede escribirse
Y
en donde se ha usado y En
consecuencia, (7) se transforma en

.
Como forman un conjunto fundamental de soluciones de
la ecuacin diferencial dada en, se puede usar el principio de
superposicin para escribir la solucin general
(8)

Ejemplo
Resuelva las siguientes ecuaciones diferenciales

Solucin

.
I.T.P.N.
71

.

.

Ejemplo
Resolver

sujeta a
.
Solucin. Las races de las ecuacin auxiliar son y
de modo que

La solucin implica

I.T.P.N.
72

por lo cual podemos escribir
.

2.7 Ecuaciones diferenciales lineales de orden superior

En general, para resolver una ecuacin diferencial lineal de orden n

( ) ( 1)
1 2 1 0
... 0
n n
n n
a y a y a y a y a y
'' ' + + + + + =

en donde los
i
a siendo i=0,1,., n son constantes reales, se debe resolver una
ecuacin polinomial de grado n

1 2
1 2 1 0
... 0
n n
n n
a m a m a m a m a
+ + + + + =
.

Si todas las races son reales y distintas, entonces la solucin general es

1 2
1 2
...
m x m x mnx
n
y c e c e c e = + + +
.

Cuando
1
m es una raz de multiplicidad k de una ecuacin auxiliar de grado n,
entonces puede demostrarse que las soluciones linealmente independientes son:

1 1 2 1 1 1
, , ,...,
m x m x m x k m x
e xe x e x e

y que la solucin general debe contener la combinacin lineal

1 1 2 1 1 1
1 2 3
...
m x m x m x k m x
k
c e c xe c x e c x e
+ + + +
.

Por ltimo, debe recordarse que cuando los coeficientes son reales, las races
complejas de una ecuacin auxiliar siempre aparecern en pares conjugados. Por
ejemplo, una ecuacin polinomial cbica puede tener a lo ms 2 races complejas.

Ejemplo

Resolver 3 4 0 y y y ''' '' + =
.

I.T.P.N.
73

Solucin. Un examen cuidadoso de
3 2
3 4 0 m m + = permite encontrar la raz
1
1 m = . Ahora bien, si se divide
3 2
3 4 m m + entre (m-1) se encuentra que
3 2 2
2
3 4 ( 1)( 4 4)
( 1)( 2)
m m m m m
m m
+ = + +
= +

siendo por lo tanto las otras races
2 3
2 m m = = en consecuencia, la solucin
general es

2 2
1 2 3
x x x
y c e c e c xe

= + +
.

Ejemplo

Resolver 3 19 36 10 0 y y y y ''' '' ' + =
.

Solucin. Se verifica que
1
1/ 3 m = es una raz de

3 2
3 19 36 10 0 m m m + =

y dividiendo entre ( 1/ 3) m se encuentra que
3 2 2
2
1
3 19 36 10 (3 18 30)
3
(3 1)( 6 10)
m m m m m m
m m m
| |
+ = +
|
\ .
= +

siendo
2
3 m i = + y que
3
3 m i = , y la solucin general

| |
/ 3 3
1 2 3
cos
x x
y c e e c x c senx = + +
.

Ejemplo

Resolver
4 2
4 2
2 0
d y d y
y
dx dx
+ + =
.

Solucin. La solucin auxiliar es
4 2 2 2
2 1 ( 1) 0 m m m + + = + = tiene races
1 3
2 4
m m i
m m i
= =
= =
.

De esta manera por el caso II la solucin es
I.T.P.N.
74

1 2 3 4
ix ix ix ix
y c e c e c xe c xe

= + + +
.

Mediante la frmula de Euler. La parte
1 2
ix ix
c e c e
+

puede reescribirse como
1 2
cos c x c senx + despus de designar nuevamente las constantes, anlogamente,
3 4
( )
ix ix
x c e c e
+ puede expresarse como

3 4
( cos ) x c x c senx + . Por lo tanto, la solucin
general es
1 2 3 4
cos y c cox c senx c x x c xsenx = + + +
.

Cuando
1
m i o | = + es la raz compleja de orden de multiplicidad k de una
ecuacin auxiliar con coeficientes reales, su conjugada,
2
m i o | = es tambin
raz de orden de multiplicidad k. En este caso, la solucin general de la ecuacin
diferencial correspondiente debe contener una combinacin lineal de soluciones
linealmente independientes:

2 1
2 1
cos , cos , cos ,..., cos
, , ,...,
x x x k x
x x x k x
e x xe x x e x x e x
e sen x xe sen x x e sen x x e sen x
o o o o
o o o o
| | | |
| | | |
.

En el ejemplo anterior identificamos
k=2
0
1
o
|
=
=
.


Resolver las siguientes ecuaciones lineales homogneas.

Soluciones
1)
2)
3)
4)
5)

I.T.P.N.
75

2.8 Ecuaciones diferenciales lineales no homogneas

Se definir ahora la solucin general de una ecuacin lineal no homognea.
Cualquier funcin que no contiene parmetros arbitrarios y que satisface a la
ecuacin diferencial lineal no homognea, se llama solucin particular de la
ecuacin (a veces tambin recibe el nombre de integral particular).

Ejemplo
(a) Una solucin particular de

es 3
p
y =
ya que .
(b)
3
p
y x x = es una solucin particular de

puesto que
' 2
3 1
p
y x = ,
''
6
p
y x =

.
Teorema 2.7
Sean soluciones de la ecuacin diferencial lineal homognea de orden
en un intervalo I y sea cualquier solucin de la ecuacin no homognea en
el mismo intervalo. Entonces

es tambin una solucin de la ecuacin no homognea en el intervalo para
constantes cualesquiera .
I.T.P.N.
76

Ahora es posible demostrar, para ecuaciones diferenciales no homogneas, el
siguiente teorema anlogo.

Teorema 2.8
Sea una solucin dada de la ecuacin diferencial lineal no homognea de orden
en un intervalo I y sea , un conjunto fundamental de soluciones de la
ecuacin homognea asociada en el intervalo. Entonces para cualquier solucin
( ) y x de la ecuacin en I es posible encontrar constantes de modo
que
.

2.8.1 Solucin general de las ecuaciones diferenciales lineales no
homogneas.

Definicin
Sea una solucin dada de la ecuacin diferencial lineal no homognea de orden
en un intervalo I y sea
1 1 2 2
( ) ( ) ... ( )
n n
y c y x c y x c y x = + + +
la solucin general de la ecuacin homognea asociada en el intervalo. La
solucin general de la no homognea en el intervalo se define como

.
A la combinacin lineal

I.T.P.N.
77

la cual es la solucin general de la ecuacin diferencial lineal homognea
asociada, se le llama funcin complementaria de la ecuacin. En otras palabras, la
solucin general de la ecuacin diferencial lineal no homognea es
y=funcin complementaria+cualquier solucin particular.

Ejemplo
Se puede demostrar que la funcin es una solucin particular de la
ecuacin no homognea
.
Para formular la solucin general de la ecuacin anterior, se tiene tambin que
resolver la ecuacin homognea asociada
.
Pero la solucin general de esta ltima ecuacin en el intervalo es

y por lo tanto, la solucin general de la ecuacin en el intervalo es

.

2.8.2 Solucin de las ecuaciones diferenciales lineales no homogneas
(coeficientes indeterminados, mtodo de la superposicin, mtodo de
operador anulador).

Operadores diferenciales

I.T.P.N.
78

El smbolo
n
D se usa frecuentemente en clculo para designar la derivada
ensima de una funcin
n
n
n
d y
D y
dx
=
.

Por lo tanto, una ecuacin diferencial lineal con coeficientes constantes

( ) ( 1)
1 2 1 0
... ( )
n n
n n
a y a y a y a y a y g x
'' ' + + + + + =

puede escribirse como

( 1) 2
1 2 1 0
... ( )
n n
n n
a D y a D y a D y a Dy a y g x
+ + + + + =

1 2
1 2 1 0
( ... ) ( )
n n
n n
a D a D a D a D a y g x
+ + + + + =
.

La expresin
1 2
1 2 1 0
...
n n
n n
a D a D a D a D a
+ + + + +

se llama operador diferencial lineal de orden n. Puesto que el anterior es un
polinomio en el smbolo D, a menudo se abrevia como P(D).
Puede demostrarse que cuando los , 0,1,....,
i
a i n =

son constantes,

I) P(D) pueden ser posiblemente, factorizado en operadores diferenciales de orden
menor, esto se consigue tratando a P(D) como si fuera un polinomio ordinario.

II) Los factores de P(D) pueden conmutarse.

Ejemplos

a) Los operadores
2
D D + y
2
1 D se factoriza como

( 1) D D+ Y ( 1)( 1) D D +
respectivamente.
b) El operador
2
D +1 no es factorizable usando slo nmeros reales.

c) El operador
2
D +5D+6 puede escribirse como ( 2)( 3) D D + + o bien ( 3)( 2) D D + +

Ejemplo
I.T.P.N.
79

Si ( ) y f x = tiene derivada segunda, entonces

2
( 5 6) ( 2)( 3)
( 3)( 2)
D D y D D y
D D y
+ + = + +
= + +
.

Para demostrar esto, sea

| | | |
( 3) 3
( 2) 2
3 2 3
3 2 6
5 6
w D y y y
D w Dw w
d
y y y y
dx
y y y y
y y y
' = + = +
+ = +
' ' = + + +
'' ' ' = + + +
'' ' = + +
.

Anlogamente, si se hace ( 2) 2 w D y y y ' = + = + entonces ( 3) 3 D w Dw w + = +

| | | | 2 3 2
2 3 6
5 6
d
y y y y
dx
y y y y
y y y
' ' = + + +
'' ' ' = + + +
'' ' = + +
.

Ejemplo
El operador
2
4 4 D D + + puede escribirse como ( 2)( 2) D D + + o bien
2
( 2) D+ .

Operador anulador
Sea ( ) y f x = una funcin que tiene al menos n derivadas, si
1
1 1 0
( ... ) ( ) 0
n n
n n
a D a D a D a f x
+ + + + = entonces se dice que el operador diferencial

1
1 1 0
...
n n
n n
a D a D a D a
+ + + + anula a ( ) y f x = . Si por ejemplo ( ) f x K =

entonces 0 DK = . Tambin,
2 3 2
0, 0 D x D x = = , etc.
El operador diferencial D
n
anula a cada una de las funciones
2 1
1, , ,...,
n
x x x

.

I.T.P.N.
80

Una consecuencia inmediata de esto, junto con la posibilidad de derivar trmino a
trmino es que un polinomio
1
0 1 1
...
n
n
c c x c x

+ + + puede ser anulado encontrando

un operador que anule a la mayor potencia de x.

Ejemplo
Hallar un operador que anule a
2 3
1 5 8 x x +
.

Solucin. Se sabe que
4 3
0 D x = y por lo tanto se tiene que
4 2 3
(1 5 8 ) 0 D x x + =
.

El operador diferencial ( )
n
D o anula a cada una de las funciones
2 1
. . ,...,
x x x n x
e xe x e x e
o o o o
.

Para verificar esto, ntese que la ecuacin auxiliar de la ecuacin homognea
( ) 0
n
D y o = es ( ) 0
n
m o = . Puesto que o es una raz de multiplicidad n. La
solucin general es
1
1 2
...
ax ax n ax
n
y c e c xe c x e
= + + +
.

Ejemplo
Hallar un operador anulador para
5 2 2
( ) , ( )4 6
x x x
a e b e xe
.

Solucin
a) Eligiendo 5 o = y 1 n = se obtiene que
5
( 5) 0
x
D e =
.

b) Eligiendo 2 o = y 2 n = se obtiene que
2 2 2
( 2) (4 6 ) 0
x x
D e xe =
.

Ejemplo
I.T.P.N.
81

Obtener un operador diferencial que anule a
3x x
e xe
+
.

Se tiene que
3
2
( 3) 0
( 1) 0
x
x
D e
D xe
+ =
=
.

El producto de los 2 operadores (D+3) (D-1)
2
anular la combinacin lineal dada.

Si y o | son nmeros reales., la ecuacin
2 2 2
2 ( )
n
m m o o | ( + +

tiene races
complejas i o | + y i o | , ambas de orden de multiplicidad n. Entonces se tiene
como conclusin que el operador diferencial
2 2 2
2 ( )
n
D D o o | ( + +

anula a cada
una de las funciones
2 1
2 1
cos , cos , cos ,..., cos
, , ,...,
x x x n x
x x x n x
e x xe x x e x x e x
e sen x xe sen x x e sen x x e sen x
o o o o
o o o o
| | | |
| | | |
.

Ejemplo
Eligiendo 1, 2 1 yn o | = = = se obtiene
2
( 2 5) cos 2 0
x
D D e x
+ + = y

2
( 2 5) 2 0
x
D D e sen x
+ + =
.

Ejemplo

Si se elige 0, 1, , 2 y n o | = = = el operador diferencial
2 2
( 1) D + anular cos x ,
cos x x , senx , xsenx . Adems
2 2
( 1) D + anular cualquier combinacin lineal de esas
funciones.

Si se hace 1, 1 n o = = , se obtiene el resultado particular

I.T.P.N.
82

2 2
cos
( ) 0
x
D
sen x
|
|
|
+ =
.

Ejemplo

Obtener un operador diferencial que anule a
.

Solucin. Se tiene, respectivamente

2
(7 ) 0 D x =
2
( 9) 3 0 D sen x + =
.

Por lo tanto, el operador
2 2
( 9) D D + anular a la combinacin lineal dada.
Para obtener la solucin general de una ecuacin diferencial no homognea con
coeficiente constante deben hacerse 2 cosas: Hallar la funcin complementaria
c
y y luego obtener cualquier solucin particular
p
y de la ecuacin no homognea.

Recurdese que una solucin particular es cualquier funcin sin constantes
arbitrarias que satisface la ecuacin idnticamente. La solucin general de la
ecuacin no homognea es la suma
c p
y y + .

Mtodo de los coeficientes indeterminados

Ahora bien si representa el operador diferencial, entonces una ecuacin
diferencial lineal, no homognea con coeficientes constantes pueden escribirse
simplemente como
.

Cuando es
I) Una constante ,
I.T.P.N.
83

II) Un polinomio en ,
III) Una funcin exponencial
x
e
o
,
IV)
, cos sen x x | |
,

o consiste en sumas finitas y productos de estas funciones, siempre es posible
encontrar otro operador diferencial
1
( ) P D que anule a ( ) g x . Aplicando
1
( ) P D resulta

1 1
( ) ( ) ( ) ( ) 0 P D P D y P D g x = =
.

Resolviendo la ecuacin homognea es posible descubrir la forma de una
solucin particular de la ecuacin no homognea.

Los ejemplos que vienen a continuacin ilustran el llamado mtodo de los
coeficientes indeterminados para encontrar . La solucin general de cada
ecuacin se define en el intervalo x < < .

Ejemplo

Resolver
2
2
2
3 2 4
d y dy
y x
dx dx
+ + = .

Solucin. Paso 1. Se resuelve primero la ecuacin homognea

2
2
3 2 0
d y dy
y
dx dx
+ + =
.

De la ecuacin auxiliar
2
3 2 ( 1)( 2) 0 m m m m + + = + + = se obtiene de la funcin
complementaria
2
1 2
x x
c
y c e c e

= +
.

Paso 2. Tenemos que puede ser transformada en homognea derivando 3 veces
cada miembro de la ecuacin. En otras palabras

3 2 3 2
( 3 2) 4 0 D D D y D x + + = =
ya que
3 2
0 D x =
.
La ecuacin auxiliar es
3 2
( 3 2) 0 m m m + + =
o bien
I.T.P.N.
84

3
( 1)( 2) 0 m m m + + =

y por lo tanto la solucin general debe ser

donde y entonces

2
3 4 5 p
y c c x c x = + +
2
p
y A Bx Cx = + +
.

En donde se han reemplazado por A, B y C, respectivamente. Se
sustituye
p
y en la ecuacin original resultando

.

Igualando coeficientes en la ltima identidad, se obtiene el sistema de ecuaciones

.

Resolviendo resulta En consecuencia

Paso 3. La solucin general es o sea

Ejemplo

Resolver
3
'' 3 ' 8 4
x
y y e senx = + .

Solucin. Paso 1. La ecuacin auxiliar de la ecuacin homognea es
(m3) =0 y as

.

I.T.P.N.
85

Paso 2. Ahora bien, puesto que ( 3) D y ( 0 senx = y se aplica el
operador diferencial a ambos miembros:

.

La ecuacin auxiliar es

( o bien .

En consecuencia

3 3
1 2 3 4 5
cos
x x
y c c e c xe c x c senx = + + + + .

Se llega entonces a

.

Sustituyendo en la ecuacin original y simplificando resulta

.

Igualando coeficientes resulta

.

Encontramos C y por consiguiente,

.

Paso 3. La solucin general es entonces

.

Ejemplo

Resolver
I.T.P.N.
86

.

Sabemos que y que respectivamente. Por lo tanto
aplicamos . Se ve que

luego
.

Sustituyendo en la EDO

.

Esto implica de modo que la solucin general es
.

Ejemplo

Resolver
.

Se sabe que tanto como son anulados por el operador
2 2
( 1) D + . En
consecuencia o bien

Siendo races complejas con orden de multiplicidad 3 de la ecuacin auxiliar,
de la ltima ecuacin diferencial se deduce que

.

Sustituyendo

.

.

Igualando coeficientes resultan las ecuaciones
I.T.P.N.
87

de donde se obtiene Por lo tanto, la solucin
general es

.
Ejemplo

Determinar la forma de una solucin particular de

.

Solucin. Eligiendo 2, se tiene

.

Aplicando el operador resulta

.

Puesto que las races de la ecuacin auxiliar son , entonces

.

Por lo tanto se puede encontrar una solucin particular que tiene la forma

.

Ejemplo

Determinar la forma de una solucin particular de

.

Solucin. Observe que

I.T.P.N.
88

.

Por consiguiente, aplicando a la ecuacin resulta

o sea
.

Consecuentemente

Puesto que es posible considerar la combinacin lineal como la
funcin complementaria, vemos que la solucin particular de la ecuacin
diferencial:

.

Coeficientes indeterminados

Resolver
Soluciones
1)
2)
3)
4)
5)

I.T.P.N.
89

2.8.3 Solucin de las ecuaciones diferenciales lineales no homogneas por
el mtodo de variacin de parmetros.

Anteriormente se vio que la solucin general de le ecuacin diferencial lineal de
primer orden
(1)

en donde son continuas en un intervalo es

. (2)

Ahora bien (2) tienen la forma

en donde

es una solucin de
(3)
y

( ) ( )
( )
P x dx P x dx
p
y e e f x dx
} }
=
}
(4)

es una solucin particular de (1). Para motivar un mtodo adicional para resolver
ecuaciones lineales no homogneas de orden superior se volver a deducir la
ecuacin (4) mediante un procedimiento conocido como mtodo de variacin de
parmetro.

Supngase que es una solucin conocida de la ecuacin (3), esto es,

.

Ya sea demostrado que es una solucin, y puesto que la ecuacin
diferencial es lineal, su solucin general es . El mtodo de variacin de
parmetros consiste en encontrar una funcin tal que

I.T.P.N.
90

sea una solucin particular de (1). En otras palabras, se reemplaza el parmetro
por una variable .

Sustituyendo en (1) resulta

de modo que

.

Separando variables resulta

de lo cual se deduce que

.

Ecuaciones de segundo orden

Para adaptar el procedimiento anterior a una ecuacin diferencial de segundo
orden
, (5)

escribimos (5) en la forma estndar

(6)

I.T.P.N.
91

dividiendo entre toda la ecuacin. Suponemos que son
continuas en un intervalo . La ecuacin (6) es anloga de (1). Como ya se sabe,
cuando son constantes no hay problema alguno para escribir
explcitamente.

Supngase que forman un conjunto fundamental de soluciones de la
ecuacin homognea asociada a (6), en el intervalo . Esto es,

.

Se pregunta ahora: Es posible encontrar dos funciones de modo que

sea una solucin particular de (1)?. Advirtase que esto es equivalente a suponer
que , pero que se han remplazado por parmetros
variables . Empleando la regla del producto para derivar resulta

. (7)

Si adems se exige que sean funciones para las cuales

(8)

entonces (7) se transforma en

Continuando, se encuentra que

y por lo tanto

.

En otras palabras, deben ser funciones que adems satisfagan la
condicin
I.T.P.N.
92

. (9)

Las ecuaciones (8) y (9) constituyen un sistema lineal de ecuaciones para
determinar las derivadas . Por la regla de Cramer, la solucin de

se puede expresar por medio de determinantes:

(10)

en donde
(11)

y
.
El determinante se identifica como wronskiano de . Por la
independencia lineal de en sabemos que para todo
en el intervalo.

Resumen del mtodo

En general, no es recomendable memorizar formulas en lugar de tratar de
comprender un procedimiento. Sin embargo, el mtodo anterior es demasiado
largo y complicado para usarlo cada vez que se desee resolver una ecuacin
diferencial. En este caso es ms eficiente usar simplemente las formulas en (10).
En consecuencia, para resolver primero se encuentra la
funcin complementaria y luego se evala el wronskiano

.

Dividiendo entre se lleva la ecuacin a la forma para
determinar obtngase integrando

. (12)
I.T.P.N.
93

Finalmente, frmese la solucin particular

Ejemplo

Resolver .

Solucin. Puesto que la ecuacin auxiliar es se tiene
que

.

Identificando se evala el wronskiano

.
Como la ecuacin diferencial dada ya est en la forma (6) (es decir, el coeficiente
de es 1) se identifica . De (12) obtenemos

y
.
Se deduce que

y por consiguiente
.

En consecuencia,
.

Ejemplo

I.T.P.N.
94

Resolver .

Solucin. Primero escribimos la ecuacin en la forma estndar (6), dividiendo
entre 4:
.

Puesto que las races de la ecuacin auxiliar son se
tiene que

y
.

Consecuentemente,

de lo cual se obtiene

y
.

En consecuencia,

. (13)

La ecuacin (13) representa la solucin general de la ecuacin diferencial en un
intervalo, por ejemplo, en 0 < x < /6.

Constantes de integracin

Al evaluar las integrales indefinidas de no se necesita introducir constantes.
Esto es as porque

I.T.P.N.
95

1 1 2 2 1 1 2 2
c y c y u y u y = + + + .

Ejemplo

Resolver .

Solucin

.

Es bien sabido que las integrales que definen no pueden ser expresadas en
trminos de funciones elementales. De modo que se escribe

y, por consiguiente,
.

En este ejemplo, es posible integrar en cualquier intervalo que no
contenga al origen.

Ecuaciones de orden n

El mtodo que acabamos de examinar para ecuaciones diferenciales de segundo
orden no homogneas, puede generalizarse para las ecuaciones lineales de orden
que se hayan puesto en la forma
I.T.P.N.
96

(14)

Si es la funcin complementaria de (14), entonces resulta
sencillo, aunque tedioso, demostrar que la sustitucin de

en la ecuacin diferencial, conduce a un sistema de ecuaciones lineales

para determinar las En este caso, la regla de Cramer da

en donde es el wronskiano de es el determinante que se
obtiene sustituyendo la -sima columna del wronskiano por la columna

Cuando obtenemos (10) y (11).

Observaciones

El mtodo de variacin de parmetros tiene una clara ventaja sobre el mtodo de
los coeficientes indeterminados, la cual consiste en que siempre proporciona una
solucin particular a condicin de que la ecuacin homognea correspondiente
se pueda resolver. Adems, el mtodo de variacin de parmetros, a diferencia
del de los coeficientes indeterminados, es aplicable a ecuaciones diferenciales con
coeficientes variables.

I.T.P.N.
97

En los problemas que se presentan a continuacin, el lector no debe dudar en
simplificar la expresin de Dependiendo de cmo se hallen las anti derivadas de
podra ser que no se obtuviera la misma que se da en la ecuacin de
respuestas.

Variacin de parmetros

Soluciones

1)
2)
2
'' 4
x
e
y y
x
=
0
4
2 2 2 2
1 2
1
ln
4
t
x
x x x x
x
e
y c e c e e x e dt
t

= + +
}

3)
2.8.4 Aplicaciones de las ecuaciones diferenciales lineales de orden dos

Movimiento armnico simple

Para el caso descrito en la figura 2.2 de una masa m atada a un resorte de
constante es k , y presenta un movimiento vibratorio. La ecuacin que describe su
movimiento es

2
2
0
d x k
x
dt m
+ =
con condiciones iniciales
(0) x o = ,
0 t
dx
dt
|
=
=
y su solucin est dada por
1 2
( ) cos x t c t c sen t e e = +
en donde

e = frecuencia angular en / rad seg

2
T
t
e
= = periodo
I.T.P.N.
98

1
2
f
T
e
t
= = = frecuencia en hertz
.

Figura 2.2

Movimiento vibratorio amortiguado
El movimiento armnico simple es un tanto irreal. A menos que la masa est
inmersa en un vacio perfecto, por lo menos habr una fuerza opuesta debida al
medio que la rodea. Por ejemplo, como se muestra en la figura 2.3, la masa m
podra estar suspendida en un medio viscoso o conectada a un mecanismo de
amortiguacin.

Figura 2.3
I.T.P.N.
99

La ecuacin que describe este movimiento es
2
2
0
d x dx k
x
dt m dt m
|
+ + =
o bien
2
2
2
2 0
d x dx
x
dt dt
e + + =
en donde
2
m
|
= ,
2
k
m
e =
.

Las races de la ecuacin auxiliar correspondiente son

2 2
1
m e = + ,
2 2
2
m e =
.

Aqu se pueden tener 3 casos de acuerdo al valor de las races.

Caso I.
2 2
0 e < . Sistema sobreamortiguado. La solucin es

1 2
1 2
( )
m t m t
x t c e c e = +
o bien
2 2 2 2
1 2
( ) ( )
t t t
x t e c e c e
e e
= +
.

Caso II.
2 2
0 e = . Sistema crticamente amortiguado. La solucin est dada por

1 1
1 2
( )
m t m t
x t c e c te = +
o bien
1 2
( ) ( )
t
x t e c c t

= +
.

Caso III.
2 2
0 e < . El sistema se dice est subamortiguado. La solucin es

2 2 2 2
1 2
( ) ( cos )
t
x t e c t c sen t
e e
= +
.

Movimiento vibratorio forzado

I.T.P.N.
100

Con amortiguacin. Supongamos que ahora consideramos adems una fuerza
exterior ( ) f t que acta sobre una masa oscilante sujeta a un resorte. Por ejemplo,
( ) f t podra representar una fuerza impulsora que causa un movimiento oscilatorio
vertical del soporte del resorte, como se describe en la figura 2.4. La ecuacin que
describe este movimiento es

2
2
( ) d x dx k f t
x
dt m dt m m
|
+ + =
o bien

2
2
2
2 ( )
d x dx
x F t
dt dt
e + + =
en donde

2
m
|
= ,
2
k
m
e = ,
( )
( )
f t
F t
m
=
.

Figura 2.4

Para resolver la ltima ecuacin no homognea se puede usar indistintamente el
mtodo de variacin de parmetros o el de coeficientes indeterminados. La
solucin es de la forma

( ) x t =

trmino transitorio + trmino estacionario.

En donde el trmino transitorio es una onda sinusoidal que tiende a anularse con
el tiempo, en tanto que el trmino estacionario es una onda sinusoidal que
permanece indefinidamente.

Sin amortiguacin. En ausencia de una fuerza de amortiguacin, no habr trmino
transitorio en la solucin de un problema. Adems veremos que la aplicacin de
I.T.P.N.
101

una fuerza peridica de frecuencia cercana, o igual, a la frecuencia de las
oscilaciones libres no amortiguadas puede causar un problema serio en cualquier
sistema mecnico oscilatorio.

Sistemas anlogos

Desplazamiento de un pndulo. La ecuacin que define este movimiento es
2
2
0
d g
sen
dt l
u
u + =
.

En donde l es la longitud del brazo del pndulo. Para desplazamientos pequeos
senu se reemplaza por u , y la ecuacin diferencial resultante es
2
2
0
d g
dt l
u
u + =
que indica que el pndulo exhibe un movimiento armnico simple.

Circuito serie LCR. La figura 2.5 muestra un circuito serie con una resistencia, una
capacitancia y una inductancia. La ecuacin que describe el comportamiento de
este es

2
2
1
( )
d q dq
L R q E t
dt dt C
+ + =
.

En donde

L= el valor de la inductancia en Henry (H)
R = el valor de la resistencia en ohm ( O)
C = el valor de la capacitancia en farad (F)
q = es la carga en el capacitor en coulomb (C)
( ) E t = voltaje aplicado al circuito en volt (V)

Figura 2.5

I.T.P.N.
102

Unidad 3 Transformadas de Laplace

3.1 Definicin de la trasformada de Laplace

En clculo elemental se estudiaron las operaciones de derivacin e integracin;
recurdese que

donde y son constantes reales cualesquiera. Si una operacin tiene la
propiedad mencionada anteriormente se dice que es una operacin lineal. Por
supuesto, la integral definida de una suma puede expresarse como la suma de
integrales,

siempre que cada integral exista. Por lo tanto, la integracin definida es tambin
una operacin lineal.

La transformada de Laplace

I.T.P.N.
103

Las anteriores operaciones lineales de derivacin e integracin transforman
esencialmente una funcin en otra expresin. Por ejemplo,

.

Especficamente se estar interesado en una integral impropia que transforma una
funcin en una funcin de parmetro

Definicin

Sea una funcin definida para ; entonces la integral

se llama transformada de Laplace de , siempre que el lmite exista.

Simblicamente, la transformada de Laplace de se denota por , y puesto
que el resultado depende de escribimos:

.

Ejemplo

Calcular

Solucin

siempre que .
I.T.P.N.
104

El uso del smbolo de lmite se vuelve algo tedioso, por eso se adoptar la
notacin para indicar .

Por ejemplo

donde se da por entendido que en el lmite superior, cuando , 0
st
t e
para
.

es una operacin lineal

Para una suma de funciones podemos escribir

cuando ambas integrales convergen. Por lo tanto, se tiene que

Transformada de Laplace

Encuentre la transformada de Laplace de las siguientes funciones.

Soluciones
1).-
2 1
s
e
s s

2).-
7
1
e
s

I.T.P.N.
105

3).-
2
1
( 4) s

3.2 Condiciones suficientes de existencia para la trasformada de Laplace

La integral que define la transformada de Laplace no converge necesariamente.
Por ejemplo ni ni existen. Las condiciones suficientes que garantizan
la existencia de son que sea continua parte por parte para y que
sea de orden exponencial para . Del Clculo se recuerda que una funcin
es continua parte por parte para s en cualquier intervalo ,
existe a lo sumo un nmero finito de puntos , siendo en
los que tiene discontinuidades finitas y es continua en cada intervalo abierto
. Vase Figura 3.1. Se dice que la funcin es de orden exponencial
si existen nmeros c, , tales que . Si por ejemplo
f es una funcin creciente, entonces la condicin ,
simplemente expresa la grfica de f en el intervalo no crece ms rpido que
la grfica , donde c es una constante positiva. Vase Figura 3.2.

Figura 3.1 Funcin continua por partes Figura 3.2 f es de orden exponencial c

Por ejemplo, y son todas de orden exponencial
para puesto que en este intervalo tenemos respectivamente, ,
, En la figura 3.3 se muestra una comparacin de las
grficas.

I.T.P.N.
106

Figura 3.3 Tres funciones de orden exponencial c = 1.

Una funcin como no es de orden exponencial ya que, como se
muestra es la figura 3.4, su grfica crece ms rpido que cualquier potencia lineal
y positiva de para .

Figura 3.4

Una potencial entera y positiva de es siempre de orden exponencial puesto que
para

O bien para

Es equivalente a demostrar que es finito para El
resultado se deduce aplicando n veces la regla de LHpital.

3.3 Trasformada de Laplace de funciones bsicas

Teorema 3.1

Sea continua parte por parte para entonces existe para .
I.T.P.N.
107

Demostracin

.

Ahora bien, existe ya que puede escribirse como una suma de integrales sobre
intervalos en los cuales es continua. existe ya que

para .

Ejemplo

Determinar .

Solucin
.

Integrando por partes y usando el hecho de que para ,
obtenemos

I.T.P.N.
108

.

Ejemplo

Evaluar .

Solucin

.

El ltimo resultado se deduce del hecho que para o
3 s > .

Ejemplo

Evaluar .

Solucin

e integrando por partes

I.T.P.N.
109

.
Ahora despejamos

.

Ejemplo

Determinar .

Solucin

.

Ejemplo

Determinar .

I.T.P.N.
110

Solucin
{ }
2 2
0
t t st
L te te e dt

=
}

e integrando por partes

.

Ejemplo

Determinar .

Solucin. De acuerdo a la definicin e integrando por partes

.

Teorema 3.2

I.T.P.N.
111

La parte (b) del teorema 3.2 puede justificarse de la siguiente manera. Integrando
por partes resulta

Ahora luego por iteracin se obtiene que

I.T.P.N.
112

.

En general, parece razonable escribir que

.
Ejemplo

Calcular .

Solucin. Con una identidad trigonomtrica y las partes (a) y (e) del teorema 3.2
obtenemos

.

Trasformada de Laplace de funciones bsicas

Encuentre la transformada de Laplace de las funciones usando el Teorema 3.2.

Soluciones

1).-
5
48
s

2).-
2
4 10
s s

3).-
3 2
2 6 3
s s s
+

I.T.P.N.
113

3.4 Trasformada de Laplace de funciones definidas por tramos

Ejemplo

Determinar .

.

Solucin

.

3.5 Funcin escaln unitaria

En ingeniera se encuentran a menudo funciones que puede conectarse o
desconectarse. Por ejemplo, una fuerza exterior que acta sobre un sistema
mecnico o un voltaje suministrado a un circuito pueden ser desconectados
despus de un cierto periodo. Es por lo tanto, convenientemente definir una
funcin especial llamada funcin escaln unitaria.

La funcin escaln unitaria se define como:

0, 0
( )
1,
t a
u t a
t a
s <
=

>
.

Ntese que se define solamente en el eje no negativo ya que esto basta
I.T.P.N.
114

para estudiar la transformada de Laplace. En un sentido ms amplio,
para .

Ejemplo

Trace las grficas de (a) y (b) .

Solucin

a)

b)
.

Figura 3.5

La funcin escaln unitaria, al ser combinada con otras funciones definidas para
trunca una parte de sus grficas. Por ejemplo en la figura 3.6, en la que se
ilustra la grfica de donde

I.T.P.N.
115

Figura 3.6

3.5.1 Trasformada de Laplace de la funcin escaln unitaria

Si , entonces

{ } ( )
as
e
L u t a
s
=
.

Ejemplo
{ }
7
( 7)
s
e
L u t
s
=
.

3.6 Propiedades de la trasformada de Laplace (linealidad, teoremas de
traslacin)

Evaluar transformadas como es directo siempre que se
conozca (y de hecho es as) . En general si se conoce la
transformada de Laplace de una funcin , , es posible calcular la
transformada de Laplace de un mltiplo exponencial de , es decir sin
un esfuerzo adicional que no sea trasladar, o desplazar la transformada
Este resultado se conoce como el primer teorema de traslacin o
primer teorema de desplazamiento.
I.T.P.N.
116

Primer teorema de traslacin

Teorema 3.3

Si a es un nmero real cualquiera, entonces

en donde .

Demostracin

.

Por consiguiente, si ya conocemos podemos calcular sin
otro esfuerzo adicional que el trasladar o cambiar por . Para mayor
nfasis, a veces tambin es til emplear el simbolismo

.

Ejemplo

Calcular .

Solucin

.

Calcular .

Solucin
I.T.P.N.
117

.

En forma reciproca se tiene para el primer teorema de traslacin

donde
.

Ejemplo

Calcular

.

Solucin

.

I.T.P.N.
118

Ejemplo

Determinar

.

Solucin

.

Segundo teorema de la traslacin

Teorema 3.4

Si , entonces

.

Demostracin

I.T.P.N.
119

.

Ahora bien sea ; entonces

.

Ejemplo

Evaluar .

Solucin. Con la identificacin , se concluye que

.

Ejemplo

Evaluar .

Solucin. Haciendo y se tiene

.

I.T.P.N.
120

Ejemplo

Determinar .

Solucin. Con , y tomando en cuenta que tiene periodo

.

La forma recproca es del segundo teorema de traslacin es

en donde y .

Ejemplo

Calcular

.

Solucin. Identificamos y .Por consiguiente

.

I.T.P.N.
121


Propiedades de la trasformada de Laplace (linealidad, teoremas de
traslacin)

Encuentre la transformada de Laplace de las siguientes funciones.

Soluciones
1).-
2
1
( 10) s

2).-
2
3
( 1) 9 s +

3).-
( )
2
1 1 1
2 1
1 4
s
s
s
(
+
(
+
+ +
(

3.7 Transformada de funciones multiplicadas por t
n
, y divididas entre t

Multiplicacin de una funcin por La transformada de Laplace del producto de
una funcin con se puede encontrar mediante diferenciacin de la
transformada de Laplace de . Para motivar este resultado, se supone que
existe y que es posible intercambiar el orden de diferenciacin e
integracin. Entonces

.

Es decir,

.

I.T.P.N.
122

Se puede usar el resultado para hallar la transformada de Laplace de

Teorema 3.5

Para

en donde .

Ejemplo

Calcular .

.

Calcular .

.

Calcular .

I.T.P.N.
123

.

Calcular .

.

3.8 Trasformada de derivadas

Teorema 3.6

Si son continuas para y de orden exponencial, y si
es continua parte por parte para , entonces

en donde .

Ejemplo
I.T.P.N.
124

Calcular. .

2
2 2 2
2
( )
ks
s k
=
+
.

3.9 Trasformada de integrales

Sea f una funcin de orden exponencial y continua parte por parte en

entonces se tiene que
{ }
0
( )
( )
t
F s
L f T dT
s
=
}

3.10 Teorema de la convolucin

Si las funciones f y g son continuas parte por parte en entonces un
producto especial, denotado por , se define mediante la integral

y se llama convolucin de f y g. La convolucin es una funcin de . Por
ejemplo,

.

Se puede demostrar que

I.T.P.N.
125

es decir, Esto significa que la convolucin de dos funciones es
conmutativa.

Teorema de convolucin

Teorema 3.7

Si son funciones continas parte por parte en y de orden
exponencial, entonces

.

Demostracin
Sea

y

Si se procede de manera formal, se tiene

.

Manteniendo T fija, se permite que de modo que

.

En el plano se realiza la integracin en la regin sombreada en la figura 3.7.
Puesto que f y g son continuas por partes en y de orden exponencial, es
posible intercambiar el orden de integracin:

I.T.P.N.
126

0 0
( ) ( ) ( ) ( )
t
st
F s G s e dt f T g t T dT

=
} }

{ }
{ }
0 0
( ) ( ) *
t
st
e f T g t T dT dt L f g

= =
} }

Figura 3.7
Ejemplo

2 2
1 1 1
.
1 1 ( 1)( 1) s s s s
= =
+ +
.

En virtud del teorema 3.7 se tiene reciprocamente

.

Ejemplo

Determinar
.

Solucin
I.T.P.N.
127

.

3.11 Transformada de una Funcin Peridica

Si una funcin peridica tiene periodo , siendo , entonces La
transformada de Laplace de una funcin peridica puede obtenerse integrando
sobre un periodo.

Teorema 3.8

Sea continua parte por parte para y de orden exponencial. Si es
peridica de periodo , entonces

Ejemplo
Hallar la transformada de Laplace de la funcin peridica mostrada en la fig. 3.8.

Figura 3.8
Solucin. En el intervalo la funcin puede definirse por
I.T.P.N.
128

y fuera del intervalo por . Identificado 2 t = , por el teorema 3.8 e
integracin por partes

Transformada de una Funcin Peridica
En los siguientes problemas, use el Teorema 3.8 para encontrar la transformada
de Laplace de la funcin peridica que se indica.

1).-

Figura 3.9 Funcin Serpentina

2).-
I.T.P.N.
129

Figura 3.10 Funcin Sierra
3).-

Figura 3.11 Rectificacin completa de la onda de

Soluciones
1).-
1
(1 )
as
as
e
s e
+
2).-
1 1
1
bs
a
s bs e
| |
\ .
3).-
2
coth( / 2)
1
s
s
t
+

3.12 Funcin Delta Dirac
Funcin impulso unitario
A menudo, los sistemas mecnicos estn sometidos a una fuerza exterior (o a una
tensin aplicada en el caso de los circuitos elctricos) de gran magnitud que
solamente acta durante un tiempo muy corto. Por ejemplo, una descarga
elctrica podra caer sobre el ala ya vibrante de un avin o a un peso sujeto a un
resorte podra drsele un golpe seco con un martillo, o bien una pelota de golf
inicialmente en reposo podra ser enviada velozmente a los aires al ser golpeada
con violenta por un bastn o palo de golf. La funcin
0 0
0
0 0
1
,
( ) 2
0, ,
a
t a t t a
t t a
t t a t t a
o

< < +
s > +

puede servir de modelo matemtico para tal fuerza. Para valores de
es esencialmente una funcin constante de gran amplitud que est conectada o
I.T.P.N.
130

activada slo por un corto intervalo de tiempo en torno a (figura 3.12 (a)). A la
funcin se le llama impulso unitario ya que tiene la propiedad de
integracin

Figura 3.12
Funcin Delta Dirac
En la prctica es conveniente trabajar con otro tipo de impulso unitario, que es una
funcin que se aproxima a y est definida por el lmite
0 0
0
( ) lim ( )
a
a
t t t t o o
=
El comportamiento de cuando se ilustra en la figura 3.12 (b) y es
llamada funcin Delta Dirac. Esta ltima, la cual en realidad no es una funcin, se
puede caracterizar mediante las dos propiedades siguientes

I.T.P.N.
131

3.13 Transformada de Laplace de la funcin Delta Dirac
La transformada de Laplace de la funcin Delta Dirac es
{ }
0
0
( )
st
L t t e o

=

Ejemplo
Resolver
Sujeta a (a) , ; (b) , .
Estos dos problemas de valores inciales podan servir como modelos para
describir el movimiento de una masa sujeta a un resorte que tiene lugar en un
medio en el cual la amortiguacin es insignificante. En segundos la masa
recibe un golpe seco. En (a) la masa se suelta desde el reposo, en un punto que
esta 1 unidad abajo de la posicin de equilibrio. En (b) la masa esta en reposo en
la posicin de equilibrio.
Solucin. (a) Con la ayuda del teorema 3.6 la transformada de Laplace de la
ecuacin diferencial es

o bien
Usando el segundo teorema de traslacin,

Puesto que , la solucin precedente se puede escribir

(b) En este caso la transformada de la ecuacin es simplemente

y por lo tanto
I.T.P.N.
132

En la figura 3.13 (a) vemos, a partir de la grfica de la respuesta en el caso (a),
que la masa experimenta un movimiento armnico simple hasta el instante
en que es golpeada. La influencia del impulso unitario consiste en un argumento
de la amplitud de vibracin a , para . La grfica de la respuesta para el
caso (b) se muestra en la figura 3.14 (b), como sera de esperar a partir de las
condiciones inciales (b), que la masa no experimenta movimiento alguno hasta
que es golpeada en .

Figura 3.13


Funcin Delta Dirac

1).- , ,
2).- , , ,
3).- , , ,

Soluciones
1).- ( 2 ) y sent u t sent t = + 2).- ( / 2)cos ( 3 / 2)cos y u t t u t t t t = +
3).-
2 2( 1)
1 1 1 1
( 1)
2 2 2 2
t t
y e e u t

(
= +
(

I.T.P.N.
133

3.14 Transformada Inversa

Usando la definicin integral de la transformada de Laplace de una funcin
determinamos otra funcin F , estos es, una funcin del parmetro s de la
transformada. Simblicamente, denotamos esto por .
Ahora invertimos el problema, es decir, dada queremos encontrar la funcin
que corresponde a esta transformada. Decimos que es la transformada
inversa de Laplace de y escribimos
.

3.15 Algunas Transformadas Inversas
Teorema 3.9
a)

b)

c) .

d)

e)

f)

g)

Tambin es una Operacin Lineal
I.T.P.N.
134

Supondremos que la transformada de Laplace inversa es una transformada lineal,
esto es, para constantes y cualesquiera, se tiene

donde F y G son las transformadas de ciertas funciones f y g.
Debe hacerse notar que la transformada inversa de Laplace de una funcin F(s)
puede no ser nica. Sin embargo, si y son continuas para y
, entonces necesariamente .

Ejemplo
Calcular
Solucin. Multiplicamos y dividimos por 4! Y luego usamos la parte (b) del teorema
3.9. Se tiene que

Ejemplo
Evaluar
Solucin. Se utiliza la divisin trmino a trmino y la linealidad de la transformada
inversa. De las partes (e) y (d) del teorema 3.9 tenemos

Transformada Inversa

Determinar la transformada inversa

I.T.P.N.
135

Soluciones
1).-
2
1
2
t
2).-
2
1
t
t e +
3).- cos
2
t

3.16 Propiedades de la Transformada Inversa.
Primer teorema de traslacin
La forma reciproca del Teorema 3.3 puede escribirse

donde
{ }
1
( ) ( ) f t L F s
= .
Ejemplo
Calcular .
Solucin

I.T.P.N.
136

Ejemplo
Calcular
Solucin

Segundo teorema de traslacin
La forma reciproca del teorema 3.4 es

en donde y .

Ejemplo
Calcular .
I.T.P.N.
137

Solucin. Identificando y . Por consiguiente

.

3.16.1 Determinacin de la Transformada Inversa Mediante el Uso de
Fracciones Parciales

El uso de las fracciones parciales es muy importante en la bsqueda de
transformadas inversas de Laplace. Repasamos aqu tres casos bsicos de dicha
teora. Por ejemplo, los denominadores de
I).-
1
( )
( 1)( 2)( 4)
F s
s s s
=
+ +

II).-
2 3
1
( )
( 2)
s
F s
s s
+
=
+

III).-
3 2
3 2
( )
( 4)
s
F s
s s
=
+

contienen, respectivamente, solamente factores lineales distintos, factores lineales
repetidos y un factor cuadrtico irreducible.

Ejemplo
Calcular
Solucin. Existen constantes A, B y C tales que
I.T.P.N.
138

Puesto que los denominadores son idnticos se tiene

Comparando los coeficientes de las potencias de s en ambos miembros de la
igualdad concluimos que esta ltima ecuacin es equivalente a un sistema de tres
ecuaciones con tres incgnitas A, B y C. Sin embargo, recurdese que hay una
manera ms corta para determinar estas incgnitas. Si se considera que ,
, [los ceros del denominador comn ],
obtenemos, respectivamente,
,
,
, .
Por lo tanto podemos escribir

y entonces de la parte (c) del teorema 3.9,

.

Ejemplo
Calcular .
I.T.P.N.
139

Solucin. Supongamos que

y as

Haciendo y resulta , , respectivamente. Igualando
los coeficientes de , y obtenemos

1 8 12 A B = +
de donde , , . Por lo tanto, de las partes (a), (b) y (c) del
teorema 3.9

.
Aqu tambin se uso la igualdad .

Ejemplo

Determinar .

Solucin. Supngase que

I.T.P.N.
140

de modo que

Haciendo resulta inmediatamente . Ahora bien, los coeficientes de
, , y son

de donde , , , . Por consiguiente, de las partes
(a), (b), (c) y (d) del teorema 3.9

3.16.2 Determinacin de la Transformada Inversa Usando los Teoremas de
Heaviside
La funcin escaln unitario o funcin de Heaviside

se define como
.
Observacin: la funcin de heaviside se defini sobre el intervalo , pues
esto es suficiente para la transformada de Laplace. En un sentido ms general
para .
I.T.P.N.
141

Ejemplo
Trazar la grfica de la funcin
Solucin. La funcin se muestra en la figura 3.14, y esta est dada por

.

Figura 3.14
Cuando la funcin de Heaviside se multiplica por una funcin ,
definida para , sta funcin se desactiva en el intervalo , como muestra
en siguiente ejemplo.

Ejemplo
Trazar la grfica de la funcin .
Solucin. La funcin se muestra en la figura 3.15, y est dada por

I.T.P.N.
142

Figura 3.15
La funcin de Heaviside puede utilizarse para expresar funciones continuas a
trozos de una manera compacta, como se muestra en el siguiente ejemplo.

Ejemplo
Use la funcin de Heaviside para reescribir la funcin

.

Solucin. Para reescribir la funcin basta usar la definicin de la funcin Heaviside

.

Observacin. La funcin

se escribe usando la funcin de Heaviside como
.
I.T.P.N.
143

Transformada de la funcin Heaviside

La transformada de la funcin de Heaviside es
.
Demostracin. Usando la definicin de transformada

Unidad IV. Ecuaciones diferenciales lineales y sistema de ecuaciones
diferenciales lineales

4.1 Solucin de una ecuacin diferencial lineal con condiciones inciales por
medio de la transformada de Laplace

Puesto que depende de y sus derivadas calculadas en
la transformada de Laplace es especialmente adecuada para resolver
problemas de valor inicial para ecuaciones diferenciales lineales con coeficientes
constantes. Esta clase de ecuaciones diferenciales puede ser reducida a una
I.T.P.N.
144

ecuacin algebrica en la funcin transformada Para ver esto considere el
problema de valor inicial

en donde son constantes. Por la linealidad de la
transformada de Laplace podemos escribir

.

Usando el teorema 3.6 la expresin se transforma en

o bien
[

en donde y . Despejando en esta ecuacin
encontramos calculando la transformada inversa

El procedimiento se resume en la figura 4.1.
I.T.P.N.
145

Ejemplo
Resolver sujeta a .

Solucin. Primero aplicamos la transformada a cada miembro de la ecuacin
diferencial dada,
.
Luego usamos y Por lo tanto,

o bien
Figura 4.1
I.T.P.N.
146

1
( )
( 2)( 3)
s
Y s
s s
=

.

Mediante fracciones parciales:

lo cual da
.
Haciendo y en la ltima ecuacin, obtenemos y ,
respectivamente. En consecuencia,

resultando que

.

Ejemplo
Resolver

Solucin

.
Usando las condiciones inciales y simplificando resulta

I.T.P.N.
147

y por lo tanto,

Del primer teorema de traslacin, recuerde que
.
Por consiguiente,
.

Ejemplo
Resolver

.

Solucin

Mediante fracciones parciales:
I.T.P.N.
148

lo cual implica

Haciendo y resulta y , respectivamente. Igualando
los coeficientes de y resulta

y por lo tanto se tiene que y Por consiguiente,

.
Por tanto obtenemos

.

Ejemplo
Resolver

.
Solucin. Recurdese que este problema de valor inicial podra describir el
movimiento forzado, no amortiguado y resonante de una masa sujeta a un resorte.
I.T.P.N.
149

La masa parte en direccin hacia abajo desde la posicin de equilibrio con una
velocidad inicial de 1 pies/s. Ahora bien, se podra resolver este problema
fcilmente mediante variacin de parmetros, pero el uso de la transformada de
Laplace ahorra la determinacin de las constantes que naturalmente apareceran
en la solucin general
Aplicando la transformada de Laplace en la ecuacin diferencial resulta

.

Ejemplo
Resolver
en donde

y (0) 0 x = , '(0) 1 x =
.

Solucin. La funcin puede ser interpretada como una fuerza exterior que
acta sobre el sistema mecnico solamente por un periodo corto y que despus es
suprimida. (Vase la figura4.2.) Aunque en este problema podra resolverse
mediante mtodos convencionales, estos procedimientos no son del todo
convenientes cuando est definida parte por parte. Usando la periodicidad del
coseno podemos escribir

I.T.P.N.
150

Con la ayuda del segundo teorema de translacin se deduce que

.

Figura 4.2

Por tanto

Esta ltima solucin equivale a

1
-1

t
I.T.P.N.
151

.

De la grfica de en la figura 4.3 obsrvese que las amplitudes de oscilacin
se hacen estacionarias en cuanto se suprime la fuerza exterior.

Figura 4.3

Ejemplo
Resolver
en donde
y
Solucin. Por el segundo teorema de traslacin y luego de simplificar, la
transformada de la ecuacin diferencial es

o bien
.

1
-1
t
I.T.P.N.
152

Con el mtodo de las fracciones parciales, la ultima ecuacin se convierte en

.
Utilizando nuevamente la forma inversa del segundo teorema de translacin queda

Una ecuacin integral
El teorema de la convolucin es til para resolver otros tipos de ecuaciones en las
que aparece una funcin incgnita bajo un signo de integral. En el ejemplo
siguiente obtenemos resolviendo una ecuacin integral de la forma

donde las funciones y son conocidas.

Ejemplo
Obtener de
.
Solucin. Del teorema de convolucin se deduce que

I.T.P.N.
153

.
Por lo tanto,

Ejercicios Propuestos
Solucin de ecuaciones diferenciales usando la Transformada de Laplace
Resolver

I.T.P.N.
154

4.2 Solucin de un Sistema de Ecuaciones Diferenciales Lineales con
condiciones Inciales por medio de la Transformada de Laplace.

Cuando de especifican condiciones iniciales, la transformada de Laplace reduce
un sistema de ecuaciones diferenciales lineales de coeficientes constantes a un
conjunto de ecuaciones algebricas simultaneas en las funciones transformadas.

Ejemplo
Resolver

Solucin. Si , despus de transformar cada
ecuacin obtenemos

o bien
.
Multiplicando la segunda ecuacin de por 2 y restndosela a la primera resulta

.
Ahora bien, mediante fracciones parciales
I.T.P.N.
155

de modo que
.
Haciendo en el ltimo rengln resulta
respectivamente; en tanto que igualando los coeficientes de en cada
miembro de la igualdad resulta
.
Se tiene que Por consiguiente

y por tanto
.
Por la segunda ecuacin


.
Por consiguiente, concluimos que la solucin del sistema dado es

.
I.T.P.N.
156

4.3 Problemas de Aplicaciones

Veamos ahora algunas aplicaciones elementales que involucran sistemas de
ecuaciones diferenciales. Las soluciones de los problemas que consideraremos
pueden ser obtenidas usando el mtodo de la transformada de Laplace.

Resortes acoplados.
Supongamos que dos masas estn sujetas a dos resortes , de
masa insignificante, cuyas constantes son , respectivamente. A su vez, los
dos resortes estn conectados como se muestra en la figura 4.4. Sean
los desplazamientos verticales de las masas con respecto a sus
posiciones de equilibrio. Cuando el sistema se encuentra en movimiento, el resorte
est sujeto tanto a un alargamiento como a un acortamiento, por consiguiente,
su alargamiento neto es . De este modo, por la ley de Hooke resulta que los
resortes ejercen sobre , respectivamente, las fuerzas
.
Si no se aplica ninguna fuerza externa al sistema y no hay fuerzas de
amortiguacin, entonces la fuerza neta sobre es

I.T.P.N.
157

Figura 4.4

por la segunda ley de Newton podemos escribir
.
De igual modo, la fuerza neta ejercida sobre la masa se debe solamente al
alargamiento neto de es decir,
.
De esta manera
.
En otras palabras, el movimiento del sistema acoplado queda descrito por el
siguiente sistema de ecuaciones diferenciales de segundo orden simultaneas:

.
I.T.P.N.
158

En el prximo ejemplo resolveremos el sistema de ecuaciones anterior suponiendo
que

y que las masas parten de sus posiciones de equilibrio con velocidades unitarias
de direccin opuesta.

Ejemplo

sujeto a
Solucin. La transformada de Laplace de cada ecuacin es

en donde El sistema anterior es equivalente
al sistema

.
Eliminando resulta
.
Usando facciones parciales podemos escribir

.
I.T.P.N.
159

Comparando los coeficientes de en cada miembro de la igualdad resulta

de modo que . Por lo tanto,

.

De la primera ecuacin se deduce que

Siguiendo el proceso anterior, mediante facciones parciales obtenemos

.
Finalmente, la solucin del sistema dado es
I.T.P.N.
160

.

Redes Elctricas
Un sistema elctrico (red) con ms de un circuito simple (o lazo) tambin da origen
a ecuaciones diferenciales simultneas. Tal como se muestra en la figura 4.5, la
corriente (t) se divide segn las direcciones indicadas en el punto , llamado
punto de ramificacin de la red. Por la primera ley de Kirchhoff podemos escribir
.

Figura 4.5
Adems tambin podemos aplicar la segunda ley de kirchhoff a cada circuito. En
el caso del circuito , sumando las cadas de voltaje a travs de cada
parte del circuito resulta
.
I.T.P.N.
161

Anlogamente, para el circuito obtenemos
.
Resultan dos ecuaciones de primer orden

.
Una vez dadas las condiciones inciales naturales , el sistema
est listo para ser resuelto mediante la transformada de Laplace.
Demostrar que el sistema de ecuaciones diferenciales que describe las corrientes
e en la red de la figura 4.6 que contiene un resistor, un inductor y un
capacitor es

Figura 4.6

Ejemplo
Resolver el sistema de ecuaciones anterior con las condiciones
y donde son inicialmente iguales
a cero.
I.T.P.N.
162

Solucin. Debemos resolver

sujeto a .
Aplicando la transformada de Laplace a cada ecuacin del sistema y simplificando
resulta

donde . Resolviendo el sistema para e
resulta

.
Mediante fracciones parciales podemos escribir


.
I.T.P.N.
163

Ntese que las dos corrientes del ejemplo precedente tienden al valor
cuando . Adems, como la corriente a travs del capacitor es
observamos que cuando

I.T.P.N.
164

Unidad 5 Series de Fourier

5.1 Funciones Ortogonales

DEFINICION
Dos funciones se dicen ortogonales en un intervalo si
1 2
( ) ( ) 0
b
a
f x f x dx =
}
.

Ejemplo
y son ortogonales en 1 1 x s s ya que
1
6
1 1
2 3
1 2
1 1
1
( ) ( )
6
x
f x f x dx x x dx

= =
} }

.
A diferencia del anlisis vectorial, donde el concepto ortogonal es sinnimo de
perpendicular, en el presente contexto el trmino ortogonal y la condicin
correspondiente carecen de significado geomtrico.

5.2 Conjuntos Ortogonales y Conjuntos Ortonormales

DEFINICION
Un conjunto de funciones de valores reales,

se dice ortogonal en un intervalo si
I.T.P.N.
165

.
Al nmero

se llama norma cuadrada y
2
( ) ( )
b
n n
a
x x dx | | =
}

es la norma de la funcin . Si es un conjunto ortogonal en
y tiene la propiedad de que para entonces se dice que
es un conjunto ortonormal en el intervalo.

Ejemplo
Demostrar que el conjunto es ortogonal en el intervalo
.
Solucin. Si hacemos la identificacin y entonces hay
que demostrar que
0
( ) ( ) 0
n
x x dx
t
t
| |
=
}
, 0 n = y que ( ) ( ) 0
m n
x x dx
t
t
| |
=
}
, m n = . En el
primer caso tenemos

| |
1
( ) sennx sen n
n
t =
,
I.T.P.N.
166

y en el segundo

.

Ejemplo
Hallar la norma de cada una de las funciones pertenecientes al conjunto ortogonal
dado en el ejemplo anterior.
Solucin. Para , obtenemos

de modo que . Para , se tiene

.
As, para , .

DEFINICION
Un conjunto de funciones , con se dice ortogonal con
respecto a una funcin de peso en un intervalo si
I.T.P.N.
167

( ) ( ) ( ) 0
b
m n
a
w x x x dx | | =
}
, m n =
.

Ejemplo
El conjunto , es ortogonal con respecto a la funcin de peso
constante en el intervalo .

5.3 Definicin de Serie de Fourier
Supongamos que es un conjunto ortogonal infinito de funciones en un
intervalo a x b s s . Nos preguntamos: si es una funcin definida en el
intervalo a x b s s Es posible determinar un conjunto de coeficientes
n
c , siendo
1, 2, 3..., n = para los cuales

Multiplicando la ecuacin por e integrando sobre el intervalo resulta
0 0 1 1
( ) ( ) ( ) ( ) ( ) ( )
b b b
m m m
a a a
f x x dx c x x dx c x x dx | | | | | = +
} } }

Por ortogonalidad, cada trmino en el segundo miembro de la ltima ecuacin es
cero excepto cuando . En este caso tenemos
.

Se deduce que los coeficientes requeridos son

I.T.P.N.
168

En otras palabras, si

entonces
2
( ) ( )
( )
b
n
a
n
n
f x x dx
c
x
|
|
=
}
.

Si es ortogonal con respecto a una funcin de peso en a x b s s ,
entonces multiplicando la ecuacin inicial por e integrando, resulta
2
( ) ( ) ( )
( )
b
n
a
n
n
f x w x x dx
c
x
|
|
=
}

en donde

La serie con coeficientes dados por las ecuaciones anteriores se llama Serie de
Fourier generalizada.
Hacemos notar que el procedimiento descrito para determinar los fue formal,
esto es, se ignoraron cuestiones bsicas acerca de si un desarrollo en serie tal
como el descrito es realmente posible.

5.3.1. Series de Fourier
El conjunto de funciones
(1)
es ortogonal en el intervalo Supongamos que es una funcin
definida en el intervalo p x p < < que puede ser desarrollada en la serie
trigonomtrica,
I.T.P.N.
169

0
1
( ) cos
2
n n
n
a n n
f x a x b sen x
p p
t t
=
| |
= + +
|
\ .
. (2)
Entonces los coeficientes pueden ser determinados como sigue.
Integrando ambos miembros de la ecuacin (2) entre resulta

0
1
( ) cos
2
p p p p
n n
p p p p
n
a n n
f x dx dx a xdx b sen xdx
p p
t t

=
| |
= + +
|
\ .
} } } }
. (3)
Puesto que cada una de las funciones es ortogonal a 1
en el intervalo, el segundo de esta ecuacin se reduce a un slo trmino, y en
consecuencia,
0
0
( )
2
p p
p p
a
f x dx dx pa

= =
} }
.

Despejando resulta

0
1
( )
p
p
a f x dx
p

=
}
. (4)

Ahora bien, multiplicando (2) por e integrando resulta:
0
( ) cos cos
2
p p
p p
a m x m x
f x dx dx
p p
t t

| | | |
=
| |
\ . \ .
} }

1
cos cos
p
n
p
n
m x n x
a dx
p p
t t
=
| | | | |
+
| |
\ . \ . \
}

cos
p
n
p
m x n x
b sen dx
p p
t t
| | | | |
+
| | |
\ . \ . .
}
. (5)

Ahora bien,
I.T.P.N.
170

,
0,
cos cos
,
p
p
m n
m x n x
dx
p m n p p
t t
= = | | | |
| |
= =
\ . \ .
}
,

y

de modo que (5) se reduce a
.
Por lo tanto,

1
( ) cos
p
n
p
m x
a f x dx
p p
t
| |
=
|
\ .
}
. (6)
Finalmente, si multiplicamos (2) por integramos, y hacemos uso de los
resultados

0,
,
p
p
m n
m x n x
sen sen dx
p m n p p
t t
= = | | | |
| |
= =
\ . \ .
}
,

obtenemos que

1
( )
p
n
p
m x
b f x sen dx
p p
t
| |
=
|
\ .
}
. (7)
I.T.P.N.
171

A la serie trigonomtrica (2), con coeficientes definidos por (4), (6) y (7),
respectivamente, se le llama serie de Fourier de la funcin Los coeficientes
obtenidos de (4), (6) y (7) se conocen como coeficientes de Fourier de .
Tal como en la presentacin de la serie de Fourier generalizada en la seccin
precedente, la suposicin bsica de que poda ser representada mediante una
serie tal como (2) y la posterior determinacin de los coeficientes correspondientes
a esta suposicin fueron, ambas, estrictamente formales. Suposiciones que era
intangible en el intervalo y que tanto (2) como las series obtenidas multiplicando
(2) por convergan de manera tal que se poda integrar
termino a trmino. Mientras no se demuestre que, para una funcin dada , (2)
converge, el signo de igualdad no debe tomarse en sentido literal estricto.
Resumimos los resultados anteriores en lo siguiente:
La serie de Fourier de una funcin definida en el intervalo est
dada por

en donde

.
Ejemplo
Desarrollar
0, 0
( )
, 0
x
f x
x x
t
t t
< <
=

< <

I.T.P.N.
172

en serie de Fourier.
Solucin. La grfica de se da en la Figura 5.1.

Con , tenemos que

2
1 ( 1)
n
n t

= .

En forma anloga, obtenemos que
Figura 5.1
I.T.P.N.
173

.
Por lo tanto
2
1
1 ( 1) 1
( ) cos
4
n
n
f x nx sennx
n n
t
t
=

= + +
`
)
.

5.4 Convergencia de Serie de Fourier

El siguiente teorema da condiciones suficientes para la convergencia de una serie
de Fourier a

Teorema 5.1
Sean f y f continuas parte por parte en ; esto es, sean f y f
continuas excepto en un nmero finito de puntos en el intervalo en los cuales
tienen solamente discontinuidades finitas. Entonces, en un punto de continuidad,
la serie de Fourier de en el intervalo converge a . En un punto de
discontinuidad, la serie de Fourier converger al promedio

en donde denotan el lmite de en , por la derecha y por la
izquierda, respectivamente.

Ejemplo
La funcin dada en el ejemplo precedente satisface las condiciones del Teorema
5.1. Por consiguiente, para todo en , excepto en , la serie
converger a . En x=0 la funcin es discontinua y por lo tanto la serie
converger a
I.T.P.N.
174

.

5.5 Series de Fourier Funcin Periodo Arbitrario

Obsrvese que las funciones pertenecientes al conjunto bsico (1) tienen un
periodo comn . Por lo tanto el segundo miembro de (2) es peridico.
Concluimos que una serie de Fourier no solamente representa a la funcin en el
intervalo , si no tambin da una extensin peridica de fuera de este
intervalo. Ahora podemos aplicar el teorema anterior a la extensin peridica de
,

o suponer en principio que la funcin dada es peridica con periodo (esto es,
. Cuando es continua parte por parte y las derivadas por la
derecha y por la izquierda existen en , respectivamente, entonces
la serie (8) converger al promedio en estos puntos
extremos, y a este valor extendido peridicamente a , etctera.

Ejemplo
La serie de Fourier del ejemplo anterior converge en la extensin peridica de la
funcin en todo el eje x. Los puntos, dados en la figura 5.2 representa el valor

Figura 5.2

I.T.P.N.
175

en 0, 2 , 4 ,... t t En , 3 , 5 ,... t t t , la serie converger al valor
.

Ejercicios Propuestos
Series de Fourier
Encuentre la serie de Fourier

1).-

2).-

3).-

4).-

I.T.P.N.
176

5.6 Serie de Fourier de Funciones Pares e Impares (Desarrollo Conseinoidal
o Senoidal)
El lector recordar que una funcin es par si

y si

entonces la funcin es impar.

Ejemplo
a).- es par puesto que

.
(Vase la figura 5.3.)

b).- es impar puesto que

(Vase la figura 5.4.)
I.T.P.N.
177

Como se ilustra en las figuras 5.3 y 5.4, la grfica de una funcin par es simtrica
con respecto al eje y, y la grfica de una funcin impar es simtrica con respecto
al origen.

Ejemplo
Puesto que y , el coseno es una funcin par y
el seno es una funcin impar, respectivamente.

Propiedades de las funciones pares e impares
Las demostraciones de las propiedades siguientes se dejan como ejercicio.
Figura 5.3
Figura 5.4
I.T.P.N.
178

I).- El producto de dos funciones pares es par.
II).- El producto de dos funciones impares es par.
III).- El producto de una funcin par y una impar es impar.
IV).- Si es par, entonces
V).- Si es impar, entonces

Series de cosenos y series de senos
Si f es una funcin par en , entonces, considerando las propiedades
precedentes, se tiene que los coeficientes se transforman en

De manera similar, cuando es impar en el intervalo
,

Ejemplo
Desarrollar ( ) f x x = , 2 2 x < < en una serie de Fourier.

par
impar
I.T.P.N.
179

Solucin. Desarrollamos en serie de senos, puesto que un examen de la figura
5.5 muestra que la funcin es impar en el intervalo .

Figura 5.5
Con la identificacin entonces

Entonces, integrando por partes resulta
.
Por lo tanto,

Ejemplo
La funcin del ejemplo precedente satisface las condiciones del Teorema 5.1 Por
lo tanto la serie (6) converge a la funcin en y a la extensin peridica
(de periodo 4) dada en la figura 5.6.

I.T.P.N.
180

Figura 5.6

Ejemplo
La funcin mostrada en la figura 5.7 es impar en el
intervalo Con , resulta

y entonces
2 4 6 8 10
-10 -8 -6 -4 -2
1
-1
-

x
Figura 5.7
I.T.P.N.
181

Sucesin de sumas parciales
Es interesante ver como la sucesin de sumas parciales de una serie de Fourier
se aproxima a la funcin. En la figura 5.8 se compara la grfica de la funcin del
ejemplo anterior con las grficas de las tres primeras sumas parciales de la serie.

(a)
(b)
(c)
Figura 5.8
I.T.P.N.
182

5.7 Serie de Fourier en medio intervalo
En la discusin procedente se considero que la funcin estaba definida en un
intervalo cuyo punto medio era el origen, esto es . Sin embargo, en
muchos casos interesa representar, mediante una serie trigonomtrica, una
funcin que slo est definida en Esto puede hacerse de muchas
maneras dando una definicin arbitraria de la funcin para el intervalo
Para ser breves consideramos los tres casos ms importantes.
Si est definida en
I).- Refleje la grfica de la funcin respecto al eje , para . Ahora la
funcin es par en . Vase la figura 5.9. O bien,
II).- Refleje la grfica de la funcin respecto al origen, para . Ahora bien
la funcin es impar en . Vase la figura 5.10. O bien,
III).- Defina f en mediante Vase la figura 5.11.

Ejemplo
Desarrollar

y
-L L

y
-L L
Definicin impar
Figura 5.10

y
-L L

Figura 5.11
Definicin par
Figura 5.9

I.T.P.N.
183

a) En serie de cosenos, b) En serie de cosenos, c) En serie de Fourier.

Solucin. La grfica de la funcin est dada en la figura 5.12.

a) Tenemos

e integrando por partes,
2
0
2
cos
L
n
n
a x xdx
L L
t
=
}

Por consiguiente,

2
, 0 y x x L = < <

Figura 5.12
I.T.P.N.
184

b) En este caso

Despus de integrar por partes obtenemos

Por tanto,

c) Con , tenemos

Por lo tanto,

I.T.P.N.
185

Las series obtenidas convergen a la extensin para peridica de , a la
extensin impar peridica de f y a la extensin peridica de
respectivamente. En la figura 5.13 Se muestra las grficas de dichas extensiones
peridicas.

Figura 5.13

Ejercicios Propuestos:
Serie de Fourier de funciones pares e impares
Desarrolle la funcin dada en la serie de cosenos o senos apropiada.

1).-
I.T.P.N.
186

2) ( ) f x x = , x t t < <

3)
2
( ) f x x = , 1 1 x < <

4)
2 2
( ) f x x t = , x t t < <

5)

5.8 Formas Complejas de la Serie de Fourier
Consideremos la serie de Fourier para una funcin peridica con periodo

I.T.P.N.
187

1
0 0 0 2
1
( ) [ cos( ) ( )].
n n
n
f t a a n t b sen n t e e
=
= + +

Es posible obtener una forma alternativa usando las frmulas de Euler:
0 0
0 0
1
0 2
1
0 2
cos( ) ( )
( ) ( )
jn t jn t
jn t jn t
j
n t e e
sen n t e e
e e
e e
e
e
= +
=

donde 1 j =
.

Sustituyendo se tiene

y usando el hecho de que se llega a
0 0 1 1 1
0 2 2 2
1
( ) [ ( ) ( ) ].
jn t jn t
n n n n
n
f t a a jb e a jb e
e e
=
= + + +

Definiendo

la serie se puede escribir como
0 0
0
1
( ) ( )
jn t jn t
n n
n
f t c c e c e
e e
=
= + +

o bien,
0 0
0
1 1
( ) .
jn t jn t
n n
n n
f t c c e c e
e e

= =
= + +

Es decir,
.
] ) ( ) ( [ ) (
1
2
1
2
1
0 2
1 0 0 0 0
=

+ + + =
n
t jn t jn
j n
t jn t jn
n
e e b e e a a t f
e e e e
I.T.P.N.
188

A la expresin obtenida, se le llama forma compleja de la serie de Fourier y sus
coeficientes pueden obtenerse a partir de los coeficientes como ya se dijo,
o bien

Para

Los coeficientes son nmeros complejos, y tambin se pueden escribir en forma
polar
n
j
n n
c c e

= .

Obviamente,

donde
,

para todo 0. n =
Para , es un nmero real
1
0 0 2
. c a =

n
j
n n n
e c c c
|
= =
*
2 2
2
1
n n n
b a c + =
) arctan(
n
n
n
a
b
= |
I.T.P.N.
189

Unidad 6 Introduccin a las ecuaciones diferenciales parciales

6.1 Definiciones (ecuacin diferencial parcial, orden y linealidad)

En matemticas una ecuacin en derivadas parciales (a veces abreviado como
EDP) es una relacin entre una funcin u de varias variables independientes
x,y,z,t,... y las derivadas parciales de u respecto de esas variables. Las
ecuaciones en derivadas parciales se emplean en la formulacin matemtica de
procesos de la fsica y otras ciencias que suelen estar distribuidos en el espacio y
el tiempo. Problemas tpicos son la propagacin del sonido o del calor, la
electrosttica, la electrodinmica, la dinmica de fluidos, la elasticidad, la
mecnica cuntica y muchos otros.
Se debe recordar que el orden de la ms alta derivada en una ecuacin diferencial
determina el orden de la ecuacin. As mismo se entiende que una ecuacin
diferencial lineal tiene dos propiedades que la definen como tal, esto es, sus
coeficientes dependen slo de la o las variables independientes, y tanto la variable
dependiente como sus derivadas son de primer orden.

6.2 Forma general de una ecuacin diferencial lineal de segundo orden
En ste breve introduccin a las ecuaciones diferenciales en derivada parciales,
nos interesaremos en ecuaciones lineales de 2 variables:
2 2 2
2 2
u u u u u
A B C D E Fu G
x x y y x y
c c c c c
+ + + + + =
c c c c c c

en donde A, B, C,.G son funciones de x y y. Cuando ( , ) G x y =0, se dice que la
ecuacin es homognea; en caso contrario se dice que es no homognea.

6.3 Clasificacin de ecuaciones diferenciales parciales de 2 orden (elpticas,
parablicas e hiperblicas)
Sea
A B
Z
C D
(
=
(

entonces se tiene que:
a) La ecuacin EDP lineal es elptica si el determinante de Z es mayor a 0.
b) La ecuacin en cuestin es parablica si el determinante de Z es cero.
I.T.P.N.
190

c) La ecuacin es hiperblica si el determinante de Z es menor que cero.

6.4 Mtodo de solucin de las ecuaciones diferenciales parciales (directos,
equiparables con las ordinarias y separacin de variables)

Solucin por integracin
De los cursos de clculo recurdese que cuando se integra por derivada parcial
aparece una funcin arbitraria de una constante de integracin. Por ejemplo, la
solucin de / 0 u x c c = es ( ) u f y = donde f es una funcin diferenciable.

Ejemplo
La ecuacin de segundo orden
2
2
0
u
y
c
=
c

puede ser resuelta integrando 2 veces con respecto a y :
( )
( ) ( )
u
f x
y
u yf x g x
c
=
c
= +

donde f y g son funciones arbitrarias.

Ejemplo
Resolver
2
1.
u u
x y y
c c
+ =
c c c

I.T.P.N.
191

Solucin. Si hacemos / u y u = c c la ecuacin se transforma en
1.
x
u
u
c
+ =
c

Tratando esta ltima ecuacin como lo haramos con una ecuacin ordinaria lineal
de primer orden, se ve que el factor integrante es
x
e por lo tanto, da
( )
1 ( )
x x
x
e e
x
F y e
u
u

c
=
c
= +

en donde F es arbitraria. Usando la sustitucin original e integrando con respecto
a y

resulta
( ) ( ).
x
u y f y e g x
= + +
Aqu se escribi ( ) ( ) . f y F y dy =
}

Ejemplo
Resolver
2
2
2
.
x
u
y u e
x
c
=
c

Solucin. Resolvemos la ecuacin como lo haramos para una ecuacin diferencial
ordinaria no homognea lineal de segundo orden, esto es, primero resolvemos
2
2
2
0.
u
y u
x
c
=
c

Tratando a y como constante, se desprende que
( ) ( ) .
xy xy
c
u f y e g y e
= +
Para encontrar una solucin particular usamos coeficientes indeterminados y
suponemos que
( ) .
x
p
u A y e =
I.T.P.N.
192

Sustituyendo esta ltima funcin en la ecuacin dada resulta
2 x x x
Ae y Ae e =
y por lo tanto
2
( ) 1/(1 ). A y y = Luego una solucin de la ecuacin es
2
( ) ( ) .
1
x
xy xy
e
u f y e g y e
y
= + +

Separacin de variables
A veces, para una ecuacin diferencial en derivadas parciales lineal homognea
es posible obtener soluciones particulares en forma de producto
( , ) ( ) ( ) u x y X x Y y =
El uso del producto anterior llamado mtodo de separacin de variables,
permite reducir la ecuacin diferencial en derivadas parciales a varias ecuaciones
diferenciales ordinarias.
Con este propsito, hacemos notar que

y

en donde las primas indican diferenciales ordinarias.

Ejemplo

Hallar soluciones en forma de producto de la ecuacin

.

Solucin. Si entonces la ecuacin se transforma en
I.T.P.N.
193

.

Despus de dividir ambos miembros entre 4 , se logra separar las variables

.

Puesto que el lado izquierdo de esta ecuacin es independiente de y es idntico
al lado derecho, el cual es independiente de , concluimos que ambos miembros
deben ser iguales a una constante. En la prctica es conveniente escribir esta
constante real como , o bien como - . Distinguimos los casos siguientes.

Caso I . Usando las igualdades

conduce a .

Estas ltimas ecuaciones tienen las soluciones

respectivamente. As, una solucin particular es

en donde .

Recurdese que x puede ser escrita en la forma alternativa

Caso II. Usando las igualdades

dan .
I.T.P.N.
194

Puesto que las soluciones de estas ecuaciones son

respectivamente, otra solucin es

en donde .

Caso III. Si se tiene que

.

En este caso

de modo que

en donde .

Ejemplo

Hallar una solucin en forma de producto de

que satisfaga las condiciones .

Solucin

Si podemos escribir la ecuacin dada como

lo que conduce a

2
'' 0 X X + =

I.T.P.N.
195

y

respectivamente. Ahora bien, puesto que

debemos tener y . Estas son condiciones de frontera para la
ecuacin diferencial ordinaria. Aplicando la primera de tales condiciones, resulta
de inmediato . Por lo tanto.

.

La segunda condicin de frontera implica ahora que

.

Si entonces de modo que . Para obtener una solucin no trivial
, debemos tener y entonces la ltima ecuacin se satisface cuando
.

Esto implica que siendo

Por consiguiente
)

satisface la ecuacin dada y ambas condiciones adicionales. El coeficiente se
reescribe como para recalcar que se obtiene una solucin diferente para cada
. El lector debe verificar que si se usa , no se llega a una solucin que
satisfaga .

Principio de superposicin

Teorema 6.1. Principio de superposicin

Si son soluciones de una ecuacin diferencial particular lineal
homognea, entonces la combinacin lineal
I.T.P.N.
196

donde los , son constantes, tambin es una solucin.

En la prxima seccin supondremos formalmente que cada vez que tengamos un
conjunto infinito
..

de soluciones de una ecuacin lineal homognea, an podemos obtener otra
solucin formando la serie infinita

Ejemplo

En virtud del principio de superposicin, la funcin definida mediante la serie

debe satisfacer tambin, aunque sea formalmente, la ecuacin de ejemplo
anterior. Obsrvese tambin que satisface las condiciones

6.5 Aplicaciones

Problemas de condicin de frontera
Ecuaciones especiales. Las siguientes ecuaciones diferenciales parciales lineales

2
2
u u
k
x t
c c
=
c c
, 0 k > , (1)

2 2
2
2 2
u u
a
x t
c c
=
c c
, (2)
I.T.P.N.
197

2 2
2 2
0
u u
x y
c c
+ =
c c
(3)
desempean un papel importante en muchas reas de fsica e ingeniera. Las
ecuaciones (1) y (2) son conocidas como ecuacin del calor en una dimensin y
ecuacin de donde en una dimensin respectivamente, una dimensin se refiere
al hecho de que x denota una dimensin espacial, en tanto que t generalmente
representa tiempo la ecuacin (3) se llama ecuacin de Laplace.
Concluimos esta unidad usando el mtodo de separacin de variables para
resolver varios problemas aplicados, cada uno de los cuales es descrito por una
de las ecuaciones anteriores adems de ciertas condiciones adicionales. Estas
condiciones adicionales consisten en:
I) Condiciones de frontera: u o
u
x
c
c
especificada para x =constante; u o
u
y
c
c
especificada para y =constante, y
II) Condiciones iniciales: u en t =0 para la ecuacin (1), o bien, u y
u
t
c
c
en t =0
para la ecuacin (2).

La descripcin matemtica colectiva de un problema de esta naturaleza es
conocida como problema de condicin en la frontera.
La ecuacin (1) aparece en la teora del flujo de calor (esto es, calor transmitido
por conduccin) en una varilla o en un alambre delgado. La funcin ( , ) u x t es la
temperatura de la varilla. Los problemas de vibraciones mecnicas ( , ) u x t a
menudo conducen a la ecuacin de onda (2). En nuestro caso la solucin de (2)
representar los pequeos desplazamientos de una cuerda vibrante idealizada. Por
ltimo la solucin ( , ) u x t de la ecuacin de Laplace (3) puede ser interpretada
como la distribucin estacionaria (esto es, independiente del tiempo) de la
temperatura en una placa plana y delgada. Para ver como se deduce la ecuacin
del flujo de calor y la ecuacin de onda, el lector puede recurrir a la edicin
alternativa de este libro.
I.T.P.N.
198

Aunque nos concentremos en la resolucin de los problemas recin descritos,
hacemos notar que el anlisis de una amplia variedad de diversos fenmenos
lleva a las ecuaciones (1) (2) (3), o a sus generalizaciones para un mayor nmero
de variables espaciales. Por ejemplo, a (1) a veces se le llama ecuacin de
difusin, puesto que la difusin de substancias disueltas en solucin anloga al
flujo de calor en un slido.
La funcin ( , ) u x t que satisface la ecuacin diferencial parcial representa, en este
caso, la concentracin de lquido. De manera similar, la ecuacin (1) surge en el
estudio del flujo de electricidad en un cable largo o en una lnea de transmisin. En
este contexto (1) es conocida como ecuacin de la transmisin (telegrfica). Se
puede demostrar que bajo ciertas condiciones, la corriente y el voltaje de una lnea
son funciones que satisfacen 2 ecuaciones de idntica forma que la ecuacin (1).
La ecuacin de onda (2) tambin aparece en la teora de las lneas de transmisin
de alta frecuencia, mecnica de fluidos, acstica y elasticidad. La ecuacin de
Laplace (3) aparece en problemas de ingeniera relacionados con
desplazamientos estticos de membranas y ms a menudo en problemas que
tratan de potenciales, como potencial electroesttico, potencial gravitacional y
potencial de velocidad en la mecnica de fluidos.

La ecuacin de flujo de calor
Consideremos una barra delgada o varilla de largo L con una distribucin
longitudinal de temperatura ( ) f x y cuyos extremos se mantienen a una
temperatura constante de cero grados en todo instante (figura 6.1). Si
1- el flujo de calor se produce solamente en la direccin del eje x
,

2- no se pierde calor a travs de la superficie lateral de la varilla,
3- no se genera calor en la varilla,
4- la varilla es homognea, esto es su densidad por unidad de longitud es
constante,
5- su calor especifico y su conductividad trmica son constantes,

Figura 6.1
I.T.P.N.
199

entonces la temperatura ( , ) u x t de la varilla est dada por la solucin del problema
de condicin de frontera

2
2
, 0, 0 , 0
u u
k k x L t
x t
c c
= ) ( ( )
c c
, (4)

(0, ) 0, ( , ) 0, 0 u t u L t t = = )
, (5)

( , 0) ( ), 0 u x f x x L = ( (
. (6)

La constante k

es proporcional a la conductividad trmica y se llama difusividad
trmica.

Solucin. Usando el producto
2
u XTy = como constante de separacin, se llega
a
2
'' ' X T
X kT
= =

2
'' 0, (0) 0, ( ) 0 X X X X L + = = = , (7)

2
' 0 T k T + =
.
(8)
Ya hemos obtenido resolviendo (7) la solucin de la ecuacin (4) sujeta a las
condiciones de frontera (5). Se vio que (7) tena una solucin no trivial slo si el
parmetro adoptaba los valores

, , , 1, 2, 3.....
n
n
L
t
= =

(9)
Las correspondientes soluciones eran entonces

1
,... 1, 2, 3...
n
X c sen X n
L
t
= =

(10)
Valores propios y funciones propias
Los valores (9) para los cuales (7) tiene una solucin no trivial son conocidos
como valores caractersticos o como valores propios. Las soluciones (10) se
denominan funciones caractersticas o funciones propias. Hacemos notar que para
I.T.P.N.
200

un valor de distinto de los dados en (9), la nica solucin de (7) es la funcin
cero 0 X = . A su vez esto implicara que una funcin que satisface (4) y (5) es
0 u =
.
Sin embargo, 0 u = no es una solucin del problema original de condicin en
la frontera cuando ( ) 0 f x = . Naturalmente suponemos que se cumple esta ltima
condicin.
Puesto que la solucin de (8) es
2 2 2 2
( / )
3 3
k t k n L t
T c e c e
t
= =
los productos

2 2 2
( / ) k n L t
n n
n
u XT A e sen x
L
t
t
= = (11)
satisfacen la ecuacin diferencial parcial (4) y las condiciones de frontera (5) para
cada valor de entero positivo n . Por conveniencia hemos reemplazado la
constante
1 3
c c por
n
A . Para que las funciones dadas en (11) satisfagan la
condicin inicial (6) tendramos que elegir coeficientes constantes
n
A de modo
que

( , 0) ( )
n n
n
u x f x A sen x
L
t
= =
. (12)

En general, la condicin (12) no se satisface para cualquier f . Por lo tanto, nos
vemos obligados a admitir que (11) no es una solucin del problema dado. Sin
embargo, por el principio de superposicin, la funcin

2 2 2
( / )
1 1
( , )
k n L t
n n
n n
n
u x t u A e sen x
L
t
t

= =
= =

(13)
tambin satisface (4) y (5). Sustituyendo 0 t = en (13) se obtiene
1
( , 0) ( ) .
n
n
n
u x f x A sen x
L
t
=
= =

Vemos que esta ltima expresin es el desarrollo de f en serie de senos en medio
intervalo. Por consiguiente, si hacemos la identificacin , 1, 2, 3,...,
n n
A b n = =

I.T.P.N.
201

0
2
( ) .
L
n
n
A f x sen xdx
L L
t
=
}

Concluimos que la solucin del problema de condicin de frontera descrito en (4),
(5) y (6) est dada por la serie infinita
2 2 2
( / )
0
1
2
( , ) ( ( ) ) .
L
k n L t
n
n n
u x t f x sen xdx e sen x
L L L
t
t t
=
=

}

Fronteras aisladas
En el problema recin descrito, los extremos o fronteras de la varilla podran estar
aislados, en una frontera aislada la derivada normal de la temperatura es cero.
Este hecho se deduce de una ley emprica que establece que la densidad de flujo
de calor a travs de una superficie (el flujo por unidad de rea y por unidad de
tiempo) es proporcional al valor de la derivada direccional de la temperatura en
direccin normal (perpendicular) a la superficie.

Ejemplo
Formular el problema de condicin en la frontera para la temperatura u en una
varilla horizontal de largo L si sus extremos estn aislados y si su temperatura
inicial longitudinal est dada por ), (x f si L x < < 0
.

Solucin. Los extremos de la varilla son superficies perpendiculares al eje x , por
lo tanto / 0 u x c c = en ambos extremos. Por consiguiente, la temperatura de la
varilla est dada por la solucin de

2
2
,
u u
k
x dt
c c
=
c
0 k > , 0 x L < < , . 0 > t
, 0
0
=
c
c
= x
x
u
, 0 =
c
c
=L x
x
u
. 0 > t
), ( ) 0 , ( x f x u = 0 x L < <
.

I.T.P.N.
202

La ecuacin de onda
En el prximo ejemplo consideramos las vibraciones trasversales de una cuerda
extendida entre dos puntos, por ejemplo, 0 = x y . L x =

Tal como se muestra en
la figura 6.2, el movimiento se produce en el plano xy de manera tal que cada
punto de la cuerda se mueve en direccin perpendicular al eje x . Si ) , ( t x u denota
el desplazamiento de la cuerda para 0 > t medidos desde el eje x
,
entonces u

satisface la ecuacin (2) en la cual se asume que.
- La cuerda es perfectamente flexible.
- La cuerda es homognea, esto es, su masa por unidad de longitud es
constante.
- Los desplazamientos u son pequeos comparados con el largo de la
cuerda.
- La tensin de la cuerda es constante.
- La tensin es grande en comparacin con la fuerza de gravedad.
- No actan otras fuerzas sobre la cuerda.

Por consiguiente, un problema tpico de condicin en la frontera es

2 2
2
2 2
u u
a
x t
c c
=
c c
, 0 x L < < , 0 t > , (14)

(0, ) 0 u t = , ( , ) 0 u L t = , 0 t > , (15)
( , 0) ( ) u x f x = ,
0
( )
t
u
g x
t
=
c
=
c
, 0 x L < <
.
(16)
Las condiciones de frontera (15) simplemente dicen que los extremos de la cuerda
permanecen fijos en todo instante. En 0 = t

las funciones f y g dadas
especifican la configuracin inicial y la velocidad inicial de cada punto de la
cuerda, respectivamente. En el contexto est implcito que f es continua y que
0 ) ( , 0 ) 0 ( = = L f f

Figura 6.2
I.T.P.N.
203

Solucin. Separando variables en (14) resulta

2
2

= =
T a
T
X
X

de modo que
0
0
2 2
2
= +
= +
T a T
X X

y por lo tanto,
1 2
3 4
cos
cos .
X c x c x
T c at c sen at

= +
= +

Igual que antes, las condiciones de frontera (15) se traducen en 0 ) 0 ( = X y
0 ) ( = L X . A su vez, obtenemos
0
1
= c y
2
0. c sen L =
Esta ltima ecuacin de los valores propios ,... 3 , 2 , 1 , / = = n L nt las
correspondientes funciones propias son
,
2
x
L
n
sen c X
t
= ,... 3 , 2 , 1 = n
Por consiguiente, la solucin de la ecuacin (14) que satisface las condiciones de
frontera (15) son
, ) cos ( x
L
n
sen t
L
a n
sen B t
L
a n
A u
n n n
t t t
+ =
y

=
+ =
1
. ) cos ( ) , (
n
n n
x
L
n
sen t
L
a n
sen B t
L
a n
A t x u
t t t

(17)
Haciendo 0 = t en (17) resulta
I.T.P.N.
204

=
= =
1
) ( ) 0 , (
n
n
x
L
n
sen A x f x u
t

el cual es un desarrollo de f en serie de senos en medio intervalo. Como para la
ecuacin del flujo de calor, podemos escribir
n n
b A =

. ) (
2
0
xdx
L
n
sen x f
L
A
L
n
t
}
=

(18)
Para determinar
, n
B derivamos (17) con respecto a t

y luego hacemos 0 = t
:

=
+
=
c
c
1
) cos (
n
n n
x
L
n
sen t
L
a n
L
a n
B t
L
a n
sen
L
a n
A
t
u
t t t t t

. ) ( ) (
1
0
x
L
n
sen
L
a n
B x g
t
u
n
n t
t t
=
=
= =
c
c

Para que esta ltima serie sea un desarrollo de g

en serie de senos en medio
intervalo en el intervalo dado, el coeficiente total, o L a n B
n
/ t est dado por
0
2
( ) ,
L
n
n a n
B g x sen xdx
L L L
t t
=
}

de lo cual obtenemos

0
2
( ) .
L
n
n
B g x sen xdx
n a L
t
t
=
}
(19)
La solucin formal del problema consiste en la serie (17) con,
n
A y
n
B

definidos
por (18) y (19) respectivamente.
Hacemos notar que cuando la cuerda se suelta a partir del reposo, entonces
0 ) ( = x g para todo x en 0 L x s s y en consecuencia

0.
n
B =

ECUACION DE LAPLACE

Supongamos que se quiere obtener la temperatura ( , ) u x y correspondiente al
estado permanente en una placa rectangular; las condiciones de frontera se
I.T.P.N.
205

indican en la figura 6.3. Cuando no se pierde calor a travs de las caras laterales
de la placa, el problema es
2 2
2 2
0
u u
x y
c c
+ =
c c
, 0 x a < < , 0 y b < <
0
0
x
u
x
=
c
=
c
, 0
x a
u
x
=
c
=
c
, 0 y b < <
( , 0) 0 u x = , ( , ) ( ) u x b f x = , 0 x a < <
Solucionando se llega a
0
1
( , ) cos
n
n
n n
u x y A y A senh y x
a a
t t
=
= +

donde
0
0
1
( )
a
A f x dx
ab
=
}

y
0
2
( ) cos .
a
n
n
A f x xdx
n
a
asenh b
a
t
t
=
}

Figura 6.3

Apuntesmatev (Mayo)

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Apuntesmatev (Mayo)

Hochgeladen von

Copyright:

Verfügbare Formate

I.T.P.N.

M.I. Juan A. Montero Rodrguez

= . Este ltimo requisito es equivalente a o bien

+ puede expresarse como

+ + + + = entonces se dice que el operador diferencial

+ + + + anula a ( ) y f x = . Si por ejemplo ( ) f x K =

+ + + puede ser anulado encontrando

Das könnte Ihnen auch gefallen