Vous êtes sur la page 1sur 156

APUNTES DE MATEMATICAS APLICADAS II

Dr. Ral Gonzlez Garca


CIEP-FCQ-UASLP
2
ndice general
1. EDOs DE PRIMER ORDEN 1
1.1. Conceptos Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Funcin ( Ecuacin) . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Funcin Explcita e Implcita . . . . . . . . . . . . . . . . . . . . . . 2
1.1.3. Ecuacin Diferencial (ED) . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.4. Ecuaciones Diferenciales Ordinarias y Parciales . . . . . . . . . . . . 3
1.1.5. Orden y Grado de una ED . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.6. ED Lineal y No-Lineal. . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.7. Solucin de una EDO . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Mtodos de Solucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. EDOs Separables (Separacin de Variables) . . . . . . . . . . . . . . 6
1.2.2. EDOs Exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.3. EDOs Reducibles a Exactas . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.4. EDO Lineales de Primer Orden . . . . . . . . . . . . . . . . . . . . . 11
1.2.5. Solucin de EDOs por Sustitucin . . . . . . . . . . . . . . . . . . . . 13
1.3. Algoritmo para Resolver EDO de Primer Orden . . . . . . . . . . . . . . . . 17
2. EDOs LINEALES DE ORDEN SUPERIOR 19
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.1. EDO Lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.2. Problema de Valores Iniciales . . . . . . . . . . . . . . . . . . . . . 19
2.1.3. Problema de Valores en la Frontera . . . . . . . . . . . . . . . . . 20
2.1.4. Solucin de una EDO . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.1.5. EDO Homogeneas y No-Homogeneas . . . . . . . . . . . . . . . . . . 21
2.1.6. Operador Diferencial (D) . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2. EDO de 2
o
Orden Sencillas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.1. ED de la Forma y
(n)
= f (x) . . . . . . . . . . . . . . . . . . . . . . . 23
2.2.2. ED Sin Variable DEPENDIENTE . . . . . . . . . . . . . . . . . . . . 23
2.2.3. ED Sin Variable INDEPENDIENTE . . . . . . . . . . . . . . . . . . 23
2.3. EDO Lineal Homogenea con Coecientes Constantes . . . . . . . . . . . . . 24
2.3.1. EDO de 2
o
Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.2. EDO de n-simo Orden . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4. EDO Lineal No-Homogenea . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.4.1. Mtodo de los Coecientes Indeterminados . . . . . . . . . . . . . . . 32
2.4.2. Mtodo de Variacin de Parmetros . . . . . . . . . . . . . . . . . . . 34
NDICE GENERAL i
2.4.3. Mtodo de las EDO lineales de 1
er
orden(Uso del Operador D) . . . . 39
3. TRANSFORMADAS DE LAPLACE 41
3.1. Transformada de Laplace L{} . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2. Transformada Inversa de Laplace L
1
{} . . . . . . . . . . . . . . . . . . . . 42
3.3. Uso de Fracciones Parciales . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4. Propiedades de la TL y la TIL . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4.1. Propiedad de la linealidad (TP-1) . . . . . . . . . . . . . . . . . . . . 43
3.4.2. Primer teorema de traslacin (TP-3) . . . . . . . . . . . . . . . . . . 44
3.4.3. Segundo teorema de traslacin . . . . . . . . . . . . . . . . . . . . . . 44
3.4.4. Propiedad del cambio de escala (TP-2) . . . . . . . . . . . . . . . . . 46
3.4.5. TL y TIL de las derivada . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4.6. Teorema de la Convolucin . . . . . . . . . . . . . . . . . . . . . . . . 47
3.4.7. TL y TIL de integrales . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.4.8. Funcin Peridica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.4.9. Teoremas de valor inicial y de valor nal . . . . . . . . . . . . . . . . 48
3.5. Solucin de una EDO con el Uso de la TL . . . . . . . . . . . . . . . . . . . 49
3.6. Funcin Impulso Unitario . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.7. Sistemas de EDO Lineales (coecientes constantes) . . . . . . . . . . . . . . 51
4. EDOs CON COEFS. POLINOMIALES 53
4.1. Series: Conceptos Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.1.1. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.1.2. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.1.3. Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.1.4. Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.1.5. Puntos Ordinarios y Puntos Singulares de una EDO . . . . . . . . . . 57
4.2. Solucin en Series Alrededor de Puntos Ordinarios . . . . . . . . . . . . . . . 57
4.2.1. Solucin por Expansin en Series de Taylor . . . . . . . . . . . . . . . 57
4.2.2. Solucin por Expansin en Series de Potencias . . . . . . . . . . . . . 58
4.3. Solucin en Series Alrededor de Puntos Singulares . . . . . . . . . . . . . . . 59
4.3.1. Puntos Singulares Regulares e Irregulares . . . . . . . . . . . . . . . . 59
4.3.2. Mtodo de Frobenius para Resolver EDO . . . . . . . . . . . . . . . . 60
4.4. EDO de Cauchy-Euler (EDO Equidimensional) . . . . . . . . . . . . . . . . 62
4.4.1. EDO de 2

Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.4.2. Ecuacin Lineal de Cauchy de nsimo Orden . . . . . . . . . . . . . 64
4.5. Ecuacin de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.5.1. Propiedade de las Funciones Bessel . . . . . . . . . . . . . . . . . . . 67
4.6. EDO de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.7. Otras EDO de Segundo Orden . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.7.1. Ecuacion de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
ii NDICE GENERAL
4.7.2. Ecuacin de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.7.3. Ecuacin de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5. FUNCIONES ORTOGONALES 73
5.1. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.1.1. Funciones peridicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.1.2. Producto Interno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.1.3. Funciones Ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.1.4. Norma o Longitud Generalizada . . . . . . . . . . . . . . . . . . . . . 75
5.1.5. Conjunto Ortogonal y Funcin Peso . . . . . . . . . . . . . . . . . . . 76
5.1.6. Conjuntos Completos . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.2. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.2.1. Serie de Fourier Generalizada . . . . . . . . . . . . . . . . . . . . . . 77
5.2.2. Series de Fourier Trigonomtricas . . . . . . . . . . . . . . . . . . . . 79
5.2.3. Convergencia de una Serie de Fourier . . . . . . . . . . . . . . . . . . 80
5.3. Series de Fourier de Senos y Cosenos . . . . . . . . . . . . . . . . . . . . . . 80
5.3.1. Funciones Pares e Impares . . . . . . . . . . . . . . . . . . . . . . . . 80
5.3.2. Series de Senos y Cosenos . . . . . . . . . . . . . . . . . . . . . . . . 81
5.3.3. Desarrollo en Mitad del Intervalo . . . . . . . . . . . . . . . . . . . . 83
5.4. El Problema de STURM-LIOUVILLE . . . . . . . . . . . . . . . . . . . . . 84
5.4.1. Valores Propios y Funciones Propias (Eigenvalores y Eigenfunciones) 84
5.4.2. Problema Normal de Sturm-Liouville . . . . . . . . . . . . . . . . . . 85
5.4.3. Propiedades del Problema Regular de Sturm-Liouville . . . . . . . . . 86
5.4.4. Problema Singular de Sturm-Liouville . . . . . . . . . . . . . . . . . . 87
5.4.5. Forma Autoadjunta . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.5. Series de Bessel y Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
5.5.1. Series de Fourier-Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . 88
5.5.2. Series de Fourier-Legendre . . . . . . . . . . . . . . . . . . . . . . . . 89
6. MODELAMIENTO MATEMATICO 91
6.1. Balances de Masa, Energa y Momento . . . . . . . . . . . . . . . . . . . . . 91
6.1.1. Balance general: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.1.2. Balance de masa total: . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.1.3. Balance de masa para el componente A: . . . . . . . . . . . . . . . . 92
6.1.4. Balance de Energa: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.1.5. Balance de movimiento (segunda Ley de Newton) . . . . . . . . . . . 93
6.2. Elementos Adicionales de los Modelos Matemticos . . . . . . . . . . . . . . 93
6.2.1. Transferencia de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.2.2. Ecuaciones Cinticas de Velocidad de Reaccin (Reactores y Cintica). 94
6.2.3. Relaciones de Equilibrio de Fases y de Reaccin (Termodinmica) . . 94
6.2.4. Ecuaciones de Estado (Termodinmica) . . . . . . . . . . . . . . . . . 95
NDICE GENERAL iii
6.3. Ejemplos de EDOs de 1
er
Orden en Ingeniera . . . . . . . . . . . . . . . . . 97
6.3.1. Resorte Libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
6.3.2. Resorte Libre Amortiguado . . . . . . . . . . . . . . . . . . . . . . . 102
6.3.3. Resorte Forzado Amortiguado . . . . . . . . . . . . . . . . . . . . . . 104
6.4. Modelamiento en Ingeniera Qumica (EDO no lineales) . . . . . . . . . . . . 106
6.4.1. Flujo de Calor en una aleta cuadrada . . . . . . . . . . . . . . . . . . 106
6.4.2. Flujo de Calor en una Aleta en Puntal . . . . . . . . . . . . . . . . . 107
6.4.3. Destilacin batch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6.4.4. Un Calentador de Tanque Agitado . . . . . . . . . . . . . . . . . . . 111
6.4.5. Reactor de Tanque Continuo Agitado (CSTR) . . . . . . . . . . . . . 112
6.4.6. Intercambiador de Calor Tubular . . . . . . . . . . . . . . . . . . . . 115
A. ECS. ALGEBRAICAS HOMOGENEAS 117
B. DIVISION SINTETICA 119
C. TABLAS DE TRANSFORMADA DE LAPLACE 121
C.1. Propiedades de las transformadas de Laplace . . . . . . . . . . . . . . . . . . 121
C.2. Frmulas de algunas transformadas de Laplace . . . . . . . . . . . . . . . . . 122
D. FRACCIONES PARCIALES 123
E. ALGEBRA CON SERIES DE POTENCIAS 129
E.1. Suma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
E.2. Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
E.3. Diferenciacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
E.4. Integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
F. FUNCIONES BESSEL 133
F.1. Funcs. Bessel de Primera Clase o Especie J

(x) . . . . . . . . . . . . . . . . 136
F.2. Funcs. Bessel de Segunda Clase o Especie Y

(x) . . . . . . . . . . . . . . . . 136
F.3. Funcs. Modif. de Bessel de Primera Clase I

(x) . . . . . . . . . . . . . . . . 138
F.4. Funcs. Modif. de Bessel de Segunda Clase K

(x) . . . . . . . . . . . . . . . . 139
G. INTEGRALES TRIGONOMETRICAS 141
H. FUNCIONES ESPECIALES 143
H.1. Funcin Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
H.2. Funcin Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
H.3. Funcin Error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
H.4. Funcin Complementaria de Error . . . . . . . . . . . . . . . . . . . . . . . . 144
H.5. Funcin Integral Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . 145
iv NDICE GENERAL
H.6. Funcin Integral Seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
H.7. Funcin Integral Coseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
H.8. Funcin Integral Seno de Fresnel . . . . . . . . . . . . . . . . . . . . . . . . . 147
H.9. Funcin Integral Coseno de Fresnel . . . . . . . . . . . . . . . . . . . . . . . 147
H.10.Polinomios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
NDICE GENERAL v
vi NDICE GENERAL
1. EDOS DE PRIMER ORDEN
1.1. Conceptos Bsicos
Las leyes naturales en un campo cientco o tecnolgico son consideradas como pre-
sisas y denitivas slo hasta que han sido expresadas en forma matemtica. Esta forma, a
menudo una ecuacin, es una relacin entre la cantidad de inters tal como el rendimiento
del producto, y las variables independientes tales como el tiempo y la temperatura de las que
el rendimiento depende. Cuando esto ocurre y la ecuacin involucra, adems de la propia
funcin, una o ms de sus derivadas, se llama una ecuacin diferencial.
Ejemplo 1.1 La reaccin bimolecular homogenea A + B
k
C es caracterizada por la
ecuacin diferencial
dx
dt
= k (a x) (b x)
donde k es una constante cintica de la reaccin, a es la concentracin inicial de A, b es
la concentracin inicial de B y x = x(t) es la concentracin de C como una funcin del
tiempo.
1.1.1. Funcin ( Ecuacin)
Una variable y es funcin de otra variable x, cuando ambas estan relacionadas de forma
que para cada valor de x perteneciente a su campo de variacin le corresponde un valor de
y, esto se representa como
y = f(x) y = y(x)
donde:
x Variable independiente
y Variable dependiente
f Relacin o funcionalidad
Ejemplo 1.2 Algunas funciones
1. y = 3x + 2
2. y = 2x
2
3x + 2
EDOS DE PRIMER ORDEN 1
3. y = 4sin(x) 2 cos(2x)
4. x =

y + 10
1.1.2. Funcin Explcita e Implcita
Funcin explicita.- Es una relacin en la cual aparece despejada la variable dependiente.
La relacin se expresa de la manera
y = f(x) y = y(x)
(los ejemplos anteriores)
Funcin implcita.- Cuando no esta despejada ninguna variable. Esto generalmente
sucede cuando es difcil despejar alguna variable. La relacin se expresa de la manera
F(x, y) = 0
Ejemplo 1.3 Algunas ecuaciones implcitas
1. 5x + 4y = 3x 7y + 4
2. e
x
+ sin(y) + 3xy = 0
1.1.3. Ecuacin Diferencial (ED)
Es una ecuacin que contiene diferenciales o derivadas de una o ms variables depen-
dientes con respecto a una o ms variables independientes.
Ejemplo 1.4 Algunas ecuaciones que involucran derivadas
1.
dy
dx
= x
3
+ 5
2.
dy
dx
= cos x
3.
d
2
y
dx
2
= k
2
y
4. L
d
2
i
dt
2
+R
di
dt
+
1
C
i = Ecos(wt)
5.
du
dy
=
dv
dx
2 EDOS DE PRIMER ORDEN
6. x
U
x
+y
U
y
= U
7. (x
2
+y
2
)dx 2xydy = 0
8.
U
t
= h
2
(

2
U
x
2
+

2
U
y
2
)
9. x
f
y
+y
f
x
= f
1.1.4. Ecuaciones Diferenciales Ordinarias y Parciales
Ecuaciones Diferenciales Ordinarias (EDOs): Son aquellas en los que las derivadas (o
diferenciales) son totales. Slo se involucra una variable independiente.
Ejemplo 1.5 Ecuaciones con derivadas ordinarias
1.
dy
dx
= x
3
+ 5
2.
dy
dx
= cos x
Ecuaciones Diferenciales Parciales (EDP): Son aquellas en que aparecen derivadas (o
diferenciales) parciales. Se involucra ms de una variable independiente.
Ejemplo 1.6 Ecuaciones con derivadas parciales
1. x
U
x
+y
U
y
= U
2.
U
t
= h
2
(

2
U
x
2
+

2
U
y
2
)
1.1.5. Orden y Grado de una ED
El ORDEN de una ED es el orden de la mayor derivada contenida en la ED, y el GRADO
de la ED es el grado (potencia) de la derivada de mayor orden en la ED.
CONCEPTOS BSICOS 3
Ejemplo 1.7 Encontrar el orden y grado de las siguientes EDO
ED orden grado
dy
dx
= x
3
+ 5
(D
3
x
y)
2
= 3xD
2
x
yD
x
y +ax(D
x
y)
3
(x
2
+y
2
)dx 3ydy = 0
dy
dx
+ 3y
2
= 2x
3x
3
dy + 5x
5
dx = 3xdy
xy
0
+ 2x = 2
3y
()
+ 5y
000
+ 2y
00
+y
0
+ 3 = 0
(y
()
)
4
+ 5(y
000
)
5
+ 3y
00
+ 2y = x
(y
0
)
3
+ (y
0
)
2
2y
0
+y = 5x
3x(
d
4
y
dx
4
)
3
+x(
d
3
y
dx
3
)
6
= 7
1.1.6. ED Lineal y No-Lineal.
Una ED LINEAL es aquella en la cual la variable dependiente y cualquiera de sus
derivadas aparecen en un grado no mayor de 1, y a la vez no aparecen multiplicaciones
entre ellas (la funcin y sus derivadas), ni aparecen como argumentos de alguna funcin no
lineal. Es decir que todas las ecuaciones lineales son de grado 1 pero no todas las ecuaciones
diferenciales de grado 1 son lineales.
Los casos que no caen aqu son ED No-Lineales.
La forma general de una ED lineal de orden n es:
a
n
(x)
d
n
y
dx
n
+a
n1
(x)
d
n1
y
dx
n1
+ +a
1
(x)
dy
dx
+a
0
(x)y = g(x)

a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
1
(x)y
0
+a
0
(x)y = g(x)
Si los coecientes a
n
son constantes en lugar de ser funciones, entonces la ED es lineal
de coecientes constantes.
a
n
d
n
y
dx
n
+a
n1
d
n1
y
dx
n1
+ +a
1
dy
dx
+a
0
y = g(x)
1.1.7. Solucin de una EDO
Una solucin de la ecuacin diferencial es una relacin, entre las variables que no involucra
derivadas, que al ser sustituida en la ED la satisface. La solucin puede ser explcita o
4 EDOS DE PRIMER ORDEN
implcita.
y = f(x)
F(x, y) = 0
Por ejemplo, y(x) = ce
ax
es solucin de la ED y
0
+ay = 0.
La ED se transforma en una identidad cuando se reemplaza la variable dependiente y sus
derivadas (y y y
0
) por sus respectivas expresiones (funciones de la variable independiente).
Por ejemplo de la ED anterior y su solucin se puede probar:
y(x) = ce
ax
y
0
(x) = cae
ax
cae
ax
+a(ce
ax
) = 0
Nota: Es posible tener ms de una solucin para una ED dada.
Una Solucin General de la ED de orden n es una ecuacin que incluye el mximo
nmero posible de constantes arbitrarias. El mximo nmero de constantes arbitrarias
es exactamente igual al orden de la ED. Esto es, la solucin general es una com-
binacin lineal de todas las soluciones particulares, la cual contiene n constantes
arbitrarias.
Una Solucin Particular de una ED es cualquier relacin que satisfaga la ED y no
contiene constantes arbitrarias.
Para algunas ecuaciones existen algunas otras soluciones llamadas soluciones sin-
gulares. Una solucin singular es una sulocin de la ED que no esta incluida en la
solucin general
Ejemplo 1.8 y = x
dy
dx

1
4

dy
dx

2
tiene la solucin general y = cx
1
4
c
2
, donde c es una
constante arbitraria; y = x
2
es una solucin singular.
Ejemplo 1.9 Compruebe que la funcin indicada es una solucin de la ED
1.
d
2
y
dx
2
+
2
y = 0, tiene las soluciones particulares: y
1
= sinx, y
2
= cos (x). Resp.: sinx
NO, cos (x) SI.
2. y
0
= 25 +y
2
; y = 5 tan(5x)
3. y
0
+y = sin(x); y =
1
2
sin(x)
1
2
cos(x) + 10e
x
4.
dy
dt
+ 20y = 24, y =
6
5

6
5
e
20t
Nota: La tarea principal de la teora de EDs es hallar todas las soluciones particulares
de una ED dada e investigar sus propiedades.
CONCEPTOS BSICOS 5
1.2. Mtodos de Solucin
Estas ecuaciones se pueden expresar de la forma
M(x, y)dx +N(x, y)dy = 0

dy
dx
= y
0
= F(x, y)
A continuacin se vern las estrategias para resolver ED de este tipo.
1.2.1. EDOs Separables (Separacin de Variables)
Una ED de promer orden en la que
M(x, y) = f
1
(x) g
1
(y)
N(x, y) = f
2
(x) g
2
(y)
se conoce como ED de variables separables ya que con la smanipulaciones algebraicas
f
1
(x) g
1
(y) dx +f
2
(x) g
2
(y) dy = 0
f
1
(x)
f
2
(x)
dx +
g
2
(y)
g
1
(y)
dy = 0
se pueden separar las variables de la forma
f(x)dx +g(y)dy = 0,
la cual puede ser integrada directamente para obtener su solucin
Z
g(y)dy +
Z
f(x)dx = c
Ejemplo 1.10 Dos lquidos A y B se hierven juntos en un recipiente. Experimentalmente
se ha encontrado que la relacin de las rapideces a las que A y B son evaporados en algn
instante del tiempo es proporcional a la relacin de las cantidades de A (digamos x) a la
cantidad de B (digamos y) que permanece en estado lquido. Esta ley fsica es expresada
como
dy/dt
dx/dt
= k
y
x
dy
dx
= k
y
x
6 EDOS DE PRIMER ORDEN
donde k es una constante de proporcionalidad. Encontar la relacin entre x e y. Resp.:
y (x) = C
1
x
k
.
Ejemplo 1.11 Resolver
1. y
0
= ky. Resp.: y = C
2
e
kx
.
2. y
0
= y
2
. Resp.:
1
y
= x +C
1
.
3. y
0
2y +a = 0. Resp.:
1
2
ln (2y a) = x +C
1
.
4. (x 1)y
0
= 2x
3
y. Resp.: ln y =
2
3
x
3
+x
2
+ 2x + 2 ln(x 1) +C
1
.
5. y
0
= 2x
1

y 1. Resp.: 2

y 1 = 2 lnx +C
1
.
6. y
0
= y cot(2x). Resp.: lny =
1
4
ln 2
1
4
ln (cot
2
2x + 1) +C
1
.
7. y
0
= (1 +x)(1 +y
2
). Resp.: arctany =
1
2
x
2
+x +C
1
.
8. y
0
= y tanh(x). Resp.: ln y = ln(coshx) +C
1
.
9. sin(2x)dy = y cos(2x)dx. Resp.: lny =
1
2
ln(sin 2x) +C
1
.
10. xln(x)dy ydx = 0. Resp.: lny ln (ln x) = C
1
.
11. (x + 1)y
0
= 2, y (0) = 1. Resp.: y = 2 ln(1 +x) + 1.
12. xln(x)y
0
= y, y(2) = ln(4). Resp.: ln y = ln (ln x) + ln 2.
13. (x
2
+ 1)yy
0
= 1, y(0) = 3. Resp.:
1
2
y
2
= arctanx +
9
2
.
1.2.2. EDOs Exactas
Una ED de pimer orden
M(x, y)dx +N(x, y)dy = 0
tiene como solucin una relacin entre x e y, la cual, puede ser implcita de la forma
u(x, y) = cte
Si sacamos la diferencial total de u obtenemos:
du =
u
x
dx +
u
y
dy = 0
MTODOS DE SOLUCIN 7
Al comparar la EDO y la ecuacin anterior se puede decir que
u
x
= M
u
y
= N
Sin embargo, de acuerdo a la teora de funciones, esto slo puede ser cierto s y solo s se
cumple la relacin

u
x

=

x

u
dy

lo cual implica que la diferencial es Exacta o Total.


Aplicado a nuestra ED, se tiene que cumplir la condicin necesaria y suciente
M
y
=
N
x
para que Mdx + Ndy sea una diferencial total y por lo tanto la EDO Mdx + Ndy = 0 sea
exacta, por lo que tendr la solucin u(x, y) = cte.
Si se tiene una ED exacta, la solucin se puede obtener de la forma siguiente
u
x
= M

u
y
= N

c(x, y) =
Z
Mdx +k(y)
c
y
= N

c
x
= M

R
Mdx +k

y
= N

R
Mdx
y
+
dk
dy
= N
dk
dy
= N
Z
M
y
dx
k(y) =
Z
Ndy
ZZ
M
y
dxdy
por lo tanto
c(x, y) =
Z
Mdx +
Z
Ndy
ZZ
M
y
dxdy
En resumen, el mtodo consiste en probar que la ED sea exacta y despes aplicar el
procedimiento anterior para encontrar la solucin.
8 EDOS DE PRIMER ORDEN
Ejemplo 1.12 Hallar las ED exactas que tienen las siguientes soluciones
1. x
2
+y
2
= c. Resp.: 2xdx + 2ydy = 0.
2. C = sinh(x
3
y). Resp.: 0 = 3x
2
y cosh(x
3
y) dx +x
3
cosh(x
3
y) dy.
3. (x a)(b y) = C. Resp.: (b y) dx (x a) dy = 0.
Ejemplo 1.13 En cada caso demostrar que la EDO es exacta y resolver
1. ydx +xdy = 0. Resp.: c = yx.
2. sinh xcos ydx = coshxsin ydy. Resp.: c = cos y cosh x.
3. (2x +e
y
)dx +xe
y
dy = 0. Resp.: c = x
2
+xe
y
.
4. (1 +x
2
)dy + 2xydx = 0. Resp.: c = (x
2
+ 1) y.
5. ydx +x(1 +y)dy = 0. Resp.: NO-Exacta.
6. [3y cos(3x)dx sin(3x)dy] /y
2
= 0. Resp.: c =
1
y
sin3x.
7. (ydx +dy) e
x
= 0; y(0) = 2. Resp.: 2 = ye
x
.
8. [(x +x
2
y)dx +x
3
dy] e
2xy
= 0; y(1) = ln(2). Resp.: 2 =
1
2
x
2
e
2yx
.
9. cos(x) cos(y)dy sin(x) sin(y)dx = 0; y(0) =

2
. Resp.: 1 = sin y cos x.
10. (xe
xy
+ 2y) y
0
+ye
xy
= 0; y(0) = 1. Resp.: 2 = e
yx
+y
2
.
11. xe
(x
2
y
2
)
dx y
h
e
(x
2
y
2
)
+ 1
i
dy = 0. Resp.: c =
1
2
exp ((x y) (y +x))
1
2
y
2
.
1.2.3. EDOs Reducibles a Exactas
Una ecuacin diferencial
M(x, y)dx +N(x, y)dy = 0
es exacta si se cumple
M
y
=
N
x
Sin embargo, se tienen muchos casos en los que
M
y
6=
N
x
MTODOS DE SOLUCIN 9
lo cual hace que la ED sea No-Exacta.
No obstante, todava se puede considerar que la ED tiene una solucin de la forma
u(x, y) = cte
por lo cual
du = 0 =
u
x
dx +
u
y
dy
que al comparar con la ED se tiene la relacin
u
x
:
u
y
= M : N
la cual debe cumplirse idnticamente.
De acuerdo a las propiedades de relaciones de funciones, existe alguna funcin F(x, y)
tal que
u
x
= FM;
u
y
= FN
Por lo tanto, se puede escribir la ecuacin difrencial sin afectarla y haciendola exacta
Fdu = FMdx +FNdy = 0
Esto muestra que F(x, y) es un Factor Integrante y la ED es exacta.
Factor de Integracin
El factor de integracin F(x, y) se obtiene, al saber que la ltima ED es exacta, de
(FM)
y
=
(FN)
x
expandiendo las derivadas y reagrupando se tiene una EDP
F
M
y
+M
F
y
= F
N
x
+N
F
x
M
F
y
N
F
x
= F

M
y
+
N
x

la cual debe resolverse para el factor de integracin F(x, y).


La estrategia de solucin de la EDP involucra tres casos: F(x), F(y), F(x, y)
1. Si F(x)
dF
F
=
M
y

N
x
N
dx
lo cual implica que el trmino entre parntesis debe ser nica y exclusivamente funcin
de x,
M
y
N
x
N
= f(x), por lo cual
F = e
U
MyNx
N
dx
10 EDOS DE PRIMER ORDEN
2. Si F(y)
dF
F
=
N
x

M
y
M
dy
lo cual implica que el trmino entre parntesis debe ser nica y exclusivamente funcin
de y,
NxMy
M
= f(y), por lo cual
F = e
U
N
x
M
y
M
dy
3. Si F(x, y), se debe resolver para F la EDP
M
F
y
N
F
x
= F

M
y
+
N
x

Ejemplo 1.14 Resolver las siguientes ecuaciones diferenciales


1. 2ydx +xdy = 0. Resp.: c = x
2
y.
2. (3y + 4xy)dx 2xdy = 0. Resp.: c = 2y
e
2x
x
3
2
.
3. y cos xdx + 2 sin xdy = 0. Resp.: c = 2 sin
1
2
x.
4. (2 + 3x 5y)dx + 7dy = 0. Resp.: c =

217
25

21
5
x + 7y

5
7
x
.
5. (2x yx
2
1)dx + 3x
3
dy = 0. Resp.: c =
3
14
7x+14x
2
y+2
x
7
3
.
1.2.4. EDO Lineales de Primer Orden
Esta ecuacin se expresa de la forma
y
0
+P(x)y = Q(x)
Con un manejo algebraico, se puede escribir como
(Py Q)dx +dy = 0
la cual se puede tratar como una ED exacta
M = Py Q
N = 1
M
y
= P
N
x
= 0
MTODOS DE SOLUCIN 11
Deseamos un factor integrante enteramente en funcin de x
F(x) = e
U

M
y
N
x
N

dx
= e
U
Pdx
si denimos h
R
Pdx
e
h
(Py Q)dx +e
h
dy = 0
(Pye
h
Qe
h
)dx +e
h
dy = 0
esta ltima ecuacin es exacta por lo cual se aplica el mtodo para resolverla
c
y
= e
h
c =
Z
e
h
dy +k(x) = ye
h
+k(x)
c
x
Pye
h
Qe
h
y
de
h
dx
+
dk(x)
dx
= Pye
h
Qe
h
yPe
h
+
dk(x)
dx
= Pye
h
Qe
h
dk(x)
dx
= Qe
h
k(x) =
Z
Qe
h
dx
Por lo tanto
c = ye
h

Z
Qe
h
dx
ye
U
Pdx
=
Z
Qe
U
Pdx
dx +c
Ejemplo 1.15 Inicialmente un tanque contiene 200 gal de solucin salina en la cual estan
disueltas 100 lb de sal. Seis galones por minuto de salmuera que contienen 4 lb de sal entran
al tanque. Si el mezclado es perfecto y la rapidez de salida es de 5 gal/min, cal es la
cantidad A de sal en el tanque en el tiempo t?
La ecuacin diferencial de A es
dA
dt
+
1
100 +t
A = 4, A(0) = 100 lb
Resp.: A(t) = 2 (100 +t)
10 000
100+t
.
12 EDOS DE PRIMER ORDEN
Ejemplo 1.16 Resolver las siguientes ED
1. y
0
3y = 0. Resp.: y (x) = C
1
e
3x
.
2.
dy
dx
+ 2xy = x
3
. Resp.: y (x) =
1
2
x
2

1
2
+e
x
2
C
1
.
3. y
0
2xy = 2, y(0) = 1. Resp.: y (x) =

e
x
2
erf (x) +e
x
2
.
4. xy
0
+y = 2x, y(1) = 0. Resp.: y (x) = x
1
x
.
5. y
0
+y = f(x), en donde f(x) =

1 si 0 x 1
0 si x > 1
. Resp.: y =

1 +C
1
e
x
si 0 x 1
C
2
e
x
si x > 1
.
1.2.5. Solucin de EDOs por Sustitucin
Cualquier ED de primer orden y primer grado se escribe de la forma
M(x, y)dx +N(x, y)dy = 0
EDO en las que M y N son Homogeneas en x e y
Cualquier ED de primer orden y primer grado que tiene funciones M(x, y) y N(x, y)
homogeneas en x e y (del mismo grado), puede reducirse al tipo de variables separables con
la sustitucin
v =
y
x
dy = xdv +vdx
Nota: Algunas ED que son homogeneas en M y N pero que no son del mismo grado,
tambin pueden ser resueltas por este mtodo.
Ejemplo 1.17 Resolver las siguientes ED
1. 2xydx (x
2
y
2
)dy = 0. Resp.: x
2
+y
2
= C
1
y.
2.
dy
dx
=
x+3y
3x+y
. Resp.: (y
2
2yx +x
2
) C
1
= y +x.
3. xy
2
y
0
= y
3
x
3
. Resp.:
1
3

y
x

3
= lnx +C.
4. xy
0
= 2x + 2y. Resp.: 3
y
x
= C
1
x
3
2.
5. (y +x) y
0
= y x. Resp.: ln

1 +

y
x

+ 2 arctan

y
x

= 2 ln x + 2C.
6. xy
0
y = x
2
sec(y/x). Resp.: sin

y
x

= x +C.
MTODOS DE SOLUCIN 13
EDO en las que M y N son Funciones Lineales en x e y
Estas funciones se expresan de la forma
M(x, y) = a
1
+b
1
x +c
1
y
N(x, y) = a
2
+b
2
x +c
2
y
Las cuales representan dos rectas.
Caso I:
Las rectas tienen pendientes diferentes
b
1
c
1
6=
b
2
c
2
, por lo cual se cruzan an algun punto
x = h, y = k.
El punto de cruce se obtiene al resolver el sistema de ecuaciones
a
1
+b
1
h +c
1
k = 0
a
2
+b
2
h +c
2
k = 0
el cual tiene la solucin
h =
a
2
c
1
c
2
a
1
b
1
c
2
b
2
c
1
k =
a
1
b
2
b
1
a
2
b
1
c
2
b
2
c
1
La sustitucin sugerida es mover el origen al punto de cruce
x = X +h = dx = dX
y = Y +k = dy = dY
La ED se trasnforma en:
(a
1
+b
1
h +c
1
k +b
1
X +c
1
Y )dX + (a
2
+b
2
h +c
2
k +b
2
X +c
2
Y )dY = 0
pero como a
1
+b
1
h +c
1
k = 0 y a
2
+b
2
h +c
2
k = 0, nalmente se tiene
(b
1
X +c
1
Y )dX + (b
2
X +c
2
Y )dY = 0
la cual es homogenea en X e Y.
Al resolver la ED anterior se tendra
Y = f(X)
(y k) = f(x h)
Caso II:
14 EDOS DE PRIMER ORDEN
Las rectas tienen pendientes iguales
b
1
c
1
=
b
2
c
2
= k, por lo tanto son paralelas (linealmente
dependientes).
Si este es el caso entonces se expresa la ED en la forma.

a
1
+c
1

b
1
c
1
x +y

dx +

a
2
+c
2

b
2
c
2
x +y

dy = 0
[a
1
+c
1
(kx +y)] dx + [a
2
+c
2
(kx +y)] dy = 0
de aqu se puede ver que la sustitucin sugerida es
v = kx +y
dv = kdx +dy
que al sustituir se tiene una ED separable
(a
1
+c
1
v) dx + (a
2
+c
2
v) (dv kdx) = 0
(a
1
+c
1
v) dx + (a
2
+c
2
v) dv (a
2
+c
2
v) kdx = 0
[(a
1
ka
2
) + (c
1
kc
2
) v] dx + (a
2
+c
2
v) dv = 0
dx +
a
2
+c
2
v
(a
1
ka
2
) + (c
1
kc
2
) v
dv = 0
Ejemplo 1.18 resolver las siguientes ED
1. y
0
=
yx+1
yx+5
. Resp.:
1
2
(x y) (x y 10) = 4x +C.
2. (3x + 2y + 2)y
0
= 3x + 2y. Resp.:
3
2
x +y 2 ln

3
2
x +y + 3

=
1
2
x +C.
3. (x 2y + 1)dx + (2x y 1)dy = 0. Resp.: (y +x 2)
3
= (y x) C
1
.
4. (1 +x +y)dx + (3 + 2x + 2y)dy = 0. Resp.: 2
y
x
+ ln

3 + 2
y
x

= 4x +C
1
.
5. (4x + 3y + 2)dx + (5x + 4y + 1)dy = 0. Resp.: 4
y1+x
x+5

ln X + ln
y1+x
x+5

= C + 1.
Ecuacin de Bernoulli
La ED no lineal
y
0
+P(x)y = Q(x)y
a
se denomina ED de Bernoulli.
Con el cambio de variable
v = y
1a
v
0
= (1 a)y
a
y
0
y
0
=
v
0
y
a
(1 a)
MTODOS DE SOLUCIN 15
la ED se convierte en ED lineal
v
0
y
a
(1 a)
+Py = Qy
a
v
0
+ (1 a)Py
a
y = (1 a)Qy
a
y
a
v
0
+ (1 a)Py
1a
= (1 a)Q
nalmente tenemos
v
0
+ (1 a)Pv = (1 a)Q
la cual es una ED lineal.
Ejemplo 1.19 Resolver las ED
1. x
dy
dx
+y = x
2
y
2
. Resp.: y
1
= x
2
+xC
1
.
2. xy
0
+y =
1
y
2
. Resp.: y
3
= 1 +
1
x
3
C
1
.
3. y
0
= y(xy
3
1). Resp.: y
3
= x +
1
3
+e
3x
C
1
.
4. y
0
y = e
x
y
2
. Resp.: y
1
=
1
2
e
x
+e
x
C
1
.
5. 3(1 +x
2
)
dy
dx
= 2xy(y
3
1). Resp.: y
3
=
1
1+x
2
+
1
1+x
2
x
2
+ (1 +x
2
) C
1
.
Otras Sustituciones
Ejemplo 1.20 Resuelva las siguientes ED aplicando la sustitucin sugerida
1.
dy
dx
= f(ax +by +c), con la sustitucin v = ax +by +c. Resp.:
R
dv
bf(v)+a
= x +C.
2. y
0
= (5x +y)
2
4. Resp.:
(5x+y3)
(5x+y+3)
= C
1
e
6x
.
3. y
0
= tan(x +y) 1. Resp.: sin (x +y) = C
1
e
x
.
4. xy
0
= (y x)
3
+y. Resp.:
(yx)
2
1+(yx)
2
= C
1
e
x
.
5. 2x
2
yy
0
= tan(x
2
y
2
) 2xy
2
, con la sustitucin x
2
y
2
= z. Resp.: ln(sin (x
2
y
2
)) = x +C.
6. yx(dx +dy) + (x +y)(ydx xdy) = 0, con las sustituciones x +y = u, v =
x
y
. Resp.:
(x +y)

x
y

= C
1
.
16 EDOS DE PRIMER ORDEN
1.3. Algoritmo para Resolver EDO de Primer Orden
Para descubrir cual mtodo de solucin usar, se prueba la ED dada para determinar su
tipo, de acuerdo a la siguiente secuencia:
1. Se responden cada una de las siguinetes preguntas:
a) Las variables son separables?
1) SI: Mtodo de separacin de variables.
2) NO: Seguir adelante.
b) Son M y N homogeneas en x e y, y del mismo grado?
1) SI: Sustitucin v = y/x.
2) NO: Seguir adelante.
c) Se trata de una ED Exacta, M
y
= N
x
?
1) SI: Ecuaciones Diferenciales Exactas.
2) NO: Seguir adelante.
d) Se trata de una ED Lineal?
1) SI: ye
U
Pdx
=
R
Qe
U
Pdx
dx +C
2) NO: Seguir adelante.
2. Buscar un Factor Integrante
a) Si
M
y
N
x
N
es slo funcin de x, entonces F(x)
b) Si
N
x
M
y
M
es slo funcin de y, entonces F(y)
c) Ninguno de los casos anteriores, entonces resolver una EDP.
3. Buscar algn tipo de sustitucin de variables de acuerdo a la forma de las expre-
siones que aparezcan en la ED.
ALGORITMO PARA RESOLVER EDO DE PRIMER ORDEN 17
18 EDOS DE PRIMER ORDEN
2. EDOS LINEALES DE ORDEN SUPERIOR
2.1. Introduccin
2.1.1. EDO Lineales
Una EDO lineal de orden superior se representa de la siguiente manera
a
n
(x)
d
n
y
dx
n
+a
n1
(x)
d
n1
y
dx
n1
+ +a
1
(x)
dy
dx
+a
0
(x)y = g(x)
2.1.2. Problema de Valores Iniciales
Para una ecuacin diferencial lineal, un problema de valores iniciales de orden n es
Resolver:
a
n
(x)
d
n
y
dx
n
+a
n1
(x)
d
n1
y
dx
n1
+ +a
1
(x)
dy
dx
+a
0
(x)y = g(x)
Sujeta a las condiciones iniciales:
y(x
0
) = y
0
y
0
(x
0
) = y
1
.
.
.
y
(n1)
(x
0
) = y
n1
En un problema como este se busca una funcin denida en algn intervalo I que
contenga a x
0
, y satisfaga la ED y las n condiciones iniciales especicadas en x
0
.
Una curva solucin debe pasar por el punto x
0
, y
0
, y
1
, , y
n1
Existencia y Unicidad
Sean a
n
(x), a
n1
(x), , a
1
(x), a
0
(x) y g(x) funciones continuas en el intervalo I, y sea
a
n
(x) 6= 0 para toda x del intervalo.
Si x = x
0
, es cualquier punto en el intervalo, existe una solucin y(x) en dicho intervalo
del problema de valores iniciales que es nica.
EDOS LINEALES DE ORDEN SUPERIOR 19
Ejemplo 2.1 Ejemplos clsicos de problemas de valores iniciales
1. 3y
000
+ 5y
00
y
0
+ 7y = 0, y(1) = 0, y
0
(1) = 0, y
00
(1) = 0
2. y
00
4y = 12x, y(0) = 4, y
0
(0) = 1
2.1.3. Problema de Valores en la Frontera
Es un problema en el que se desea resolver una ecuacin diferencial lineal de nsimo
orden, en la cual la variable dependiente y sus derivadas, estan especicadas en puntos
distintos de x.
Por ejemplo, un problema de 2
o
orden sera:
Resolver:
a
2
(x)
d
2
y
dx
2
+a
1
(x)
dy
dx
+a
0
(x)y = g(x)
Sujeto a las condiciones de frontera:
y(a) = y
0
y (b) = y
1
Otras posibles CF generales seran

1
y(a) +
1
y
0
(a) =
1

2
y(b) +
2
y
0
(b) =
2
donde
1
,
2
,
1
,
2
,
1
y
2
son constantes.
Un problema de valor en la frontera puede tener muchas soluciones, una nica solucin
o ninguna solucin.
Ejemplo 2.2 Ejemplos clsicos de problemas de valor en la frontera
1. x
00
+ 16x = 0, x(0) = 0, x(/2) = 0
2. y
000
3y
0
+ 2y = sin(x), y(1) = 3, y(5) = 1, y
0
(1) = 2
2.1.4. Solucin de una EDO
Cuando una funcin
1
denida en el intervalo I, se sustituye en una ED y transforma
esa ED en una identidad, se dice que es una solucin de la ED en el intervalo. Una solucin
tambin se llama integral de la ED y su grca se llama curva integral o curva solucin.
20 EDOS LINEALES DE ORDEN SUPERIOR
La solucin general de una EDO de orden n contiene n constantes arbitrarias (con-
stantes de integracin), dicha solucin slo satisface a la EDO, no satisface las condiciones
(iniciales o de frontera). La solucin general es de la forma
y (x) = C
1
y
1
(x) +C
2
y
2
(x) +C
3
y
3
(x) + +C
n
y
n
(x) +h(x)
La solucin de una ED que tiene un nmero de parmetros arbitrarios (constantes de
integracin) menor que el orden de la ED se llama solucin particular. Dicha solucin
particular debe satisfacer tanto a la EDO como algunas de las condiciones (iniciales o de
frontera). Todas las condiciones iniciales o de frontera se usan para determinar el valor de
todas las n constantes arbitrarias.
Ejemplo 2.3 y (x) = C
1
e
x
+C
2
e
2x
es la solucin general del problema de valores iniciles
y
00
3y
0
+ 2y = 0
y (0) = 0
y
0
(0) = 1
Encuentre una solucin particular.
2.1.5. EDO Homogeneas y No-Homogeneas
Una EDO lineal
a
n
(x)
d
n
y
dx
n
+a
n1
(x)
d
n1
y
dx
n1
+ +a
1
(x)
dy
dx
+a
0
(x)y = 0
en la que g(x) = 0 es una EDO Homogenea.
Mientras que si la EDO lineal
a
n
(x)
d
n
y
dx
n
+a
n1
(x)
d
n1
y
dx
n1
+ +a
1
(x)
dy
dx
+a
0
(x)y = g (x)
en la que g(x) 6= 0 es una EDO No-Homogenea.
2.1.6. Operador Diferencial (D)
En el clculo elemental se aprendi que existen varias maneras de expresar las derivadas,
estas son
dy
dx
= y
0
(x) = D
x
y
INTRODUCCIN 21
El simbolo D
x
se llama operador diferencial. Comunmente slo se usa D. El trmino
operador es debido a que con este smbolo se transforma una funcin diferenciable en
otra funcin, por ejemplo:
D[cos(4x)] = 4 sin(4x)
D[5x
3
6x
2
] = 15x
2
12x
Las derivadas de orden superior tambin se pueden expresar en trminos del operador D.
d
2
y
dx
2
=
d
dx

dy
dx

=
d
dx
(Dy) = DDy = D
2
y
en general
d
n
y
dx
n
= D
n
y
En general el operador diferencial de orden n es un polinomio de grado n, el cual se dene
como
L
n
P
n
(D) = a
n
(x)D
n
+a
n1
(x)D
n1
+ +a
1
(x)D +a
o
(x)
El operador diferencial de orden n es un operador lineal
L
n
[f (x) +g (x)] = L[f (x)] +L[g (x)]
donde y son constantes.
Con este operador, las EDO lineales se pueden expresar de una manera ms sencilla, por
ejemplo:
EDO homogenea
L
n
(y) = 0
EDO no-homogenea
L
n
(y) = g(x)
2.2. EDO de 2
o
Orden Sencillas
Las ED de alto orden, especialmente aquellas de 2
o
orden, son de gran importancia porque
describen muchas de las situaciones fsicas.
22 EDOS LINEALES DE ORDEN SUPERIOR
2.2.1. ED de la Forma y
(n)
= f (x)
Esta ecuacin puede ser resuelta por n integraciones.
Ejemplo 2.4 Resolver y
000
= 2x. Resp.: y =
1
12
x
4
+c
1
x
2
+C
2
x +C
3
2.2.2. ED Sin Variable DEPENDIENTE
La ED de 2
o
orden es de la forma
F

x,
dy
dx
,
d
2
y
dx
2

= 0
Esta ED puede reducirse a una ED de 1
er
orde con la sustitucin
p (x) =
dy
dx
dp
dx
=
d
2
y
dx
2
2.2.3. ED Sin Variable INDEPENDIENTE
La ED de 2
o
orden es de la forma
F

y,
dy
dx
,
d
2
y
dx
2

= 0
Esta ED puede reducirse a una ED de 1
er
orde con la sustitucin
dy
dx
= p (y)
d
2
y
dx
2
=
dp
dx
=
dp
dy

dy
dx

= p
dp
dy
El resultado es una ED de primer orden de la forma
F

y, p, p
dp
dy

= 0
Ejemplo 2.5 Resolver la siguiente EDO 5y
00
3y
0
= 2x
EDO DE 2
O
ORDEN SENCILLAS 23
Ejemplo 2.6 La curva de capilaridad para un plato vertical es tada por
d
2
y
dx
2
=
4y
c
2
"
1

dy
dx

2
#3
2
donde c es una constante fsica. Resolver esta ED. Resp.:
1

1p
2
=
2
c
2
y
2
+C
1
Ejemplo 2.7 La ecuacin que gobierna la reaccin quimica en el plano de un poro cataltico
de espesor L es
D
d
2
c
dx
2
= k f (c) ,
dc
dx
(0) = 0, c (L) = c
0
donde D es un coeciente de difusin, k es un parmetro de velocidad de reaccin, c es
la concentracin, k f (c) es la velocidad de reaccin y c
0
es la concentracin en la orilla.
Resolver esta ED con condiciones de frontera. Resp.: p
2
= 2
k
D
R
f (c) dc.
2.3. EDOLineal Homogenea con Coecientes Constantes
2.3.1. EDO de 2
o
Orden
Una EDO lineal de 2
o
orden con coecientes constantes y homogenea se representa de la
manera siguiente
a
2
d
2
y
dx
2
+a
1
dy
dx
+a
0
y = 0
Antes de ver el mtodo de solucin de estas EDO, primeramente recordemos el caso de
una EDO lineal de primer orden
dy
dx
+ay = 0
la cual se resuelve directamente para dar
ln (y) +ax = C
y = Ce
ax
Esta solucin sugiere que la solucin de una EDO de 2
o
orden puede tener la forma
y = e
mx
24 EDOS LINEALES DE ORDEN SUPERIOR
Si sta es la solucin de la EDO, entonces debe satisfacer la EDO, por lo que se sustituir
en la EDO de 2
o
orden. Primero se obtienen las derivadas
y = e
mx
y
0
= me
mx
y
00
= m
2
e
mx
Ahora se sustituye en la EDO
a
2

m
2
e
mx

+a
1
(me
mx
) +a
0
(e
mx
) = 0
e
mx

a
2
m
2
+a
1
m+a
0

= 0
De la ltima ecuacin se tiene que
e
mx
6= 0
por lo que debe cumplirse que
a
2
m
2
+a
1
m+a
0
= 0
para que y = e
mx
realmente sea una solucin de la EDO. Esta ltima ecuacin es conocida
como Ecuacin Caracterstica.
Para la EDO de 2
o
orden se ha obtenido una ecuacin caracterstica (polinomio) de 2
o
grado, el cual tiene dos races, lo que generar dos soluciones
y
1
= e
m
1
x
y
2
= e
m
2
x
Pues bien, la solucin general de la EDO de 2
o
orden se obtiene como una combinacin
lineal de estas dos soluciones, esto es
y(x) = C
1
y
1
(x) +C
2
y
2
(x)
y(x) = C
1
e
m
1
x
+C
2
e
m
2
x
De esta manera la solucin general de una EDO de 2
o
orden contiene 2 constantes arbi-
trarias.
La solucin general de una EDO de nsimo orden contendr n constantes arbitrarias.
Ejemplo 2.8 La ecuacin diferencial My
00
+ Ay
0
+ ky = 0 representa la vibracin de un
sistema lineal de masa M, constante del resorte k y constante de amortiguamiento A. Re-
solver cuando M = 1, A = 2 y k = 5, esto es, resolver y
00
2y
0
5y = 0. Resp.:
y(x) = C
1
e
(
1+

6
)
x
+C
2
e
(
1

6
)
x
Regresando a la ecuacin caracterstica de la EDO de 2
o
orden, sta tiene 2 races de las
cuales se pueden tener tres casos diferentes a saber:
EDO LINEAL HOMOGENEA CON COEFICIENTES CONSTANTES 25
Caso 1: Races reales y diferentes: m
1
6= m
2
Si se tienen dos raices entonces se tienen dos soluciones
y
1
= e
m
1
x
y
2
= e
m
2
x
La solucin general es una combinacin lineal de las soluciones y
1
y y
2
, esto es
y = C
1
e
m
1
x
+C
2
e
m
2
x
Un caso particular es cuando las races son de la misma magnitud pero de signo con-
trario (m
1
= m
2
), en donde la solucin es
y = C
1
e
mx
+C
2
e
mx
En este caso, la solucin se puede transformar a
y = C
1
sinh (mx) +C
2
cosh (mx)
con el uso de las identidades
e
x
= cosh(x) + sinh(x)
e
x
= cosh(x) sinh (x)
Caso 2: Races reales e iguales: m
1
= m
2
= m =
a
1
2a
2
Si las races son iguales se tiene una sola solucin
y
1
= e
m
1
x
y aparecer una sola constante arbitraria en la solucin general.
Una segunda solucin linealmente independiente se puede encontrar por medio del
mtodo de Reduccin de Orden, el cual nos proporciona la siguiente ecuacin para las
segunda solucin
y
2
= y
1
Z
e

U
P(x)dx
y
2
1
dx
Aplicando esta frmula se obtiene
P(x) =
a
1
a
2

Z
P(x)dx =
a
1
a
2
Z
dx =
a
1
a
2
x
26 EDOS LINEALES DE ORDEN SUPERIOR
y
2
= y
1
Z
e

a
1
a
2
x
(e
mx
)
2
dx
Sabiendo que para que exista una nica solucin se debe tener
a
2
1
4a
0
a
2
= 0
por lo que
m =
a
1
2a
2

a
1
a
2
= 2m
que sustituyendo se tiene
y
2
= y
1
Z
e
2mx
e
2mx
dx
y
2
= y
1
x
y
2
= e
mx
x
Por lo tanto la solucin general ser
y = C
1
e
mx
+C
2
xe
mx
y = (C
1
+C
2
x) e
mx
Caso 3: Races complejas conjugadas: m
1,2
= i
Se tienen las dos soluciones
y
1
= e
(+i)x
y
2
= e
(i)x
La solucin general sera
y = C
1
e
(+i)x
+C
2
e
(i)x
Debido a la presencia de nmeros imaginarios, no es conveniente la forma de esta
solucin. Para cambiar la forma de esta solucin se hace uso de las identidades de
Euler
e
i
= cos +i sin
e
i
= cos i sin
EDO LINEAL HOMOGENEA CON COEFICIENTES CONSTANTES 27
Sustituyendo se tiene
y = C
1
e
x
e
ix
+C
2
e
x
e
ix
= e
x

C
1
e
ix
+C
2
e
ix

= e
x
[C
1
(cos (x) +i sin(x)) +C
2
(cos (x) i sin (x))]
= e
x
[C
1
cos (x) +iC
1
sin (x) +C
2
cos (x) iC
2
sin(x)]
y = e
x
[(C
1
+C
2
) cos (x) + (iC
1
iC
2
) sin (x)]
Puesto que C
1
, C
2
e i son constantes, se puede escribir la ltima ecuacin como
y = e
x
[Asin(x) +Bcos(x)]
donde A y B siguen siendo constantes arbitrarias. Esta ecuacin es la forma deseada
puesto que no contiene nmeros imaginarios explcitamente.
Ejemplo 2.9 Resolver las siguientes EDO de 2
o
orden
1. 2y
00
5y
0
3y = 0. Resp.: y = C
1
e

1
2
x
+C
2
e
3x
2. y
00
10y
0
+ 25y = 0. Resp.: y = (C
1
+C
2
x) e
5x
3. y
00
+y
0
+y = 0. Resp.: y =

C
1
cos

3
2
x

+C
2
sin

3
2
x

1
2
x
4. y
00
+y
0
2y = 0. Resp.: y = C
1
e
2x
+C
2
e
x
5. y
00
+y = 0. Resp.: y = C
1
cos x +C
2
sin x
6. y
00
2y
0
+y = 0. Resp.: y = (C
1
+C
2
x) e
x
Ejemplo 2.10 Resolver las siguientes EDO de 2
o
orden de valor inicial
1. y
00
2y
0
+ 10y = 0, y(0) = 4, y
0
(0) = 1. Resp.: y = (4 cos (3x) sin(3x)) e
x
2. y
00
4y
0
+ 13y = 0, y(0) = 1, y
0
(0) = 2. Resp.: y =

cos (3x) +
4
3
sin(3x)

e
2x
Reduccin de Orden
Este mtodo es aplicable a EDO de 2o orden, homogeneas y lineales.
La idea es encontrar una segunda solucin y
2
de la EDO
a
2
(x)y
00
+a
1
(x)y
0
+a
0
(x)y = 0
cuando de antemano ya se conoce una solucin particular no trivial y
1
en un intervalo I,de
tal manera que y
1
y y
2
sean linealmente independientes en el intervalo I.
28 EDOS LINEALES DE ORDEN SUPERIOR
Considrese la EDO general de 2
o
orden en su forma estndar
y
00
+P (x) y
0
+Q(x) y = 0
de la cual se conoce la solucin y
1
(x).
Se supone la segunda solucin como
y
2
(x) = U (x) y
1
(x)
y
0
2
= Uy
0
1
+y
1
U
0
y
00
2
= Uy
00
1
+ 2y
0
1
U
0
+y
1
U
00
Sustituyendo en la EDO
Uy
00
1
+ 2y
0
1
U
0
+y
1
U
00
+P (Uy
0
1
+y
1
U
0
) +Q(Uy
1
) = 0
Uy
00
1
+ 2y
0
1
U
0
+y
1
U
00
+PUy
0
1
+Py
1
U
0
+QUy
1
= 0
(y
00
1
+Py
0
1
+Qy
1
) U + (2y
0
1
+Py
1
) U
0
+y
1
U
00
= 0
Puesto que y
1
es solucin de la EDO, entonces y
00
1
+Py
0
1
+Qy
1
= 0, por lo que se tiene
y
1
U
00
+ (2y
0
1
+Py
1
) U
0
= 0
Si se hace W = U
0
, se tiene
y
1
W
0
+ (2y
0
1
+Py
1
) W = 0
La cual es una EDO de primer orden lineal con solucin
dW
W
+

2y
0
1
+Py
1
y
1

dx = 0
Z
dW
W
+ 2
Z
y
0
1
y
1
dx +
Z
Pdx = 0
Z
dW
W
+ 2
Z
1
y
1
dy
1
dx
dx +
Z
Pdx = 0
lnW + 2 lny
1
+
Z
Pdx = 0
Nota: Aqu no se toma en cuenta la constante de integracin, debido a que se busca una
solucin particular.
Entonces
ln(Wy
2
1
) =
Z
Pdx
Wy
2
1
= e

U
Pdx
W =
e

U
Pdx
y
2
1
EDO LINEAL HOMOGENEA CON COEFICIENTES CONSTANTES 29
Regresando a U, se tiene
dU
dx
=
e

U
Pdx
y
2
1
dU =
Z
e

U
Pdx
y
2
1
dx
U =
Z
e

U
Pdx
y
2
1
dx
nuevamente no se toma en cuenta la constante de integracin debido a que se busca una
solucin particular. Por lo tanto se tiene la segunda solucin linelamente independiente
y
2
= y
1
Z
e

U
Pdx
y
2
1
dx
Nota: Si en el procedimientose hubieran retenido las constantes de integracin, entonces
se hubiera llegado a la solucin general de la EDO de 2
o
orden.
Ejemplo 2.11 Aplicar el mtodo de reduccin de orden para encontrar una segunda solucin
particular
1. x
2
y
00
3xy
0
+ 4y = 0, con y
1
= x
2
. Resp.: x
2
lnx
2. y
00
y = 0, con y
1
= e
x
. Resp.:
1
2
e
x
2.3.2. EDO de n-simo Orden
Una EDO lineal de nsimo orden homogenea con coecientes contantes puede ser rep-
resentada como
a
n
d
n
y
dx
n
+a
n1
d
n1
y
dx
n1
+ +a
1
dy
dx
+a
0
y = 0
Para resolverla se supone una solucin de la forma
y = e
mx
con sus derivadas
y
0
= me
mx
y
00
= m
2
e
mx
.
.
.
y
(n)
= m
n
e
mx
30 EDOS LINEALES DE ORDEN SUPERIOR
La sustitucin de estas ecuaciones en la EDO dirige a la siguiente Ecuacin Carac-
terstica (o auxiliar)
a
n
m
n
+a
n1
m
n1
+ +a
1
m+a
0
= 0
La ecuacin caracterstica es un polinomio en m el cual tiene n races.
Con las races del la ecuacin caracterstica se tienen cuatro casos a saber:
Caso 1: Todas las races son reales y distintas: m
1
6= m
2
6= m
3
6= 6= m
n
En este caso la solucin general sera de la forma
y = C
1
e
m
1
x
+C
2
e
m
2
x
+ +C
n1
e
m
n1
x
+C
n
e
m
n
x
Caso 2: Todas las races son reales y hay r (r < n) races repetidas: m
1
= m
2
= m
3
= = m
r
,
r < n
En este caso la solucin general sera de la forma
y = (C
1
+C
2
x + +C
r
x
r1
)e
m
r
x
+C
r+1
e
m
r+1
x
+ +C
n1
e
m
n1
x
+C
n
e
m
n
x
Caso 3: Existen pares de races complejas conjugadas: m
1,2
= i
En este caso la solucin general sera de la forma
y = (C
1
sin(x) +C
2
cos(x)) e
x
+C
3
e
m
3
x
+ +C
n1
e
m
n1
x
+C
n
e
mnx
Caso 4: Una mezcla de los tres casos: {m
1
= m
2
= m
3
= = m
r
, r < n}, m
r+1,r+2
= i,
m
r+3
6= m
r+4
6= 6= m
n
En este caso la solucin sera
y = (C
1
+C
2
x + +C
r
x
r1
)e
mrx
+(C
r+1
sin(x) +C
r+2
cos(x)) e
x
+C
r+3
e
m
r+3
x
+ +C
n
e
mnx
Ejemplo 2.12 Resolver las siguientes EDO lineales
1. y
000
+ 3y
00
4y = 0. Resp.: y = C
1
e
x
+ (C
2
+C
3
x) e
2x
2. y
(4)
+ 2y
00
+y = 0. Resp.: y = (C
1
+C
2
x) cos (x) + (C
3
+C
4
x) sin (x)
3. 3y
000
+ 5y
00
+ 10y
0
4y = 0. Resp.: y = C
1
e
1
3
x
+

C
2
cos

3x

+C
3
sin

3x

e
x
4. y
000
2y
00
y
0
+ 2y = 0. Resp.: y = C
1
e
x
+C
2
e
2x
+C
3
e
x
5. y
(5)
3y
(4)
+ 3y
000
y
00
= 0. Resp.: y = C
1
+C
2
x + (C
3
+C
4
x +C
5
x
2
) e
x
6. 2y
000
5y
00
y
0
+ 6y = 0. Resp.: y = C
1
e
2x
+C
2
e
3
2
x
+C
3
e
x
7. y
(4)
2y
000
7y
00
+ 20y
0
12y = 0. Resp.: y = C
1
e
3x
+C
2
e
x
+ (C
3
+C
4
x) e
2x
8. y
000
3y
00
+7y
0
5y = 0, y (0) = 0, y
0
(0) = 0, y
00
(0) = 1. Resp.: y =
1
4
(1 cos (2x)) e
x
EDO LINEAL HOMOGENEA CON COEFICIENTES CONSTANTES 31
2.4. EDO Lineal No-Homogenea
Este tipo de EDO se pueden representar de la siguiente manera
a
n
d
n
y
dx
n
+a
n1
d
n1
y
dx
n1
+ +a
1
dy
dx
+a
0
y = g (x)
La solucin de una EDO de este tipo se compone de dos soluciones: una solucin com-
plementaria y una solucin particular, esto es
y = y
c
+y
p
La solucin cmplememtaria es la solucin que se obtiene al resolver la EDO homogenea
correspondiente
a
n
d
n
y
dx
n
+a
n1
d
n1
y
dx
n1
+ +a
1
dy
dx
+a
0
y = 0
y
c
= C
1
y
1
+C
2
y
2
+ +C
n
y
n
La manera de encontrar la solucin comprementaria ya fue vista en los apartados ante-
riores.
Mientras que la solucin particular es cualquier solucin particular que satisfaga la EDO
no-homogenea. Existen varios mtodos para obtener soluciones particulares de una EDO
no-homogenea. En este curso se tratarn slo tres de llos, los cuales son:
1. Mtodo de los Coecientes indeterminados.
2. Mtodo de Variacin de Parmetros.
3. Mtodo de las EDO lineales de primer orden.
2.4.1. Mtodo de los Coecientes Indeterminados
El mtodo est limitado a EDO lineales no homogeneas con coecientes constantes, en las
que la funcin g(x) puede ser: una constante (k), una funcin polinomial de x (15x
2
5x+3),
una funcin exponencial (e
x
), funciones de senos y cosenos (sin(x) y/o cos(x)), o sumas
y productos nitos de esas funciones.
Esto es g(x) es una combinacin lineal de funciones del tipo:
k, x
p
, e
x
, x
p
e
x
, x
p
e
x
cos(x), x
p
e
x
sin(x)
donde p es un entero positivo y y son nmeros reales.
32 EDOS LINEALES DE ORDEN SUPERIOR
Este mtodo no se aplica cuando g(x) es de la forma:
g(x) = ln(x), 1/x, tan(x), sin
1
x
El punto base de este mtodo es suponer que y
p
tiene la misma forma que g(x). (Las
derivadas a g(x) determinan la forma de y
p
).
De manera mas formal, la forma de y
p
es una combinacin lineal de todas las funciones
linealmente independientes generadas por diferenciaciones repetidas de g (x).
Ejemplo 2.13 El ujo de calor en una aleta cuadrada es caracterizado por la ecuacin
d
2
T
dx
2
T = T

donde T

= T
aire
, es una combinacin de constantes fsicas y x es la distancia medida
desde el empotramiento de la aleta. Resolver cuando = 4 y T

= 25.
Ejemplo 2.14 Encontrar la forma que podra tener la solucin particular en las siguientes
EDO
1. y
00
8y
0
+ 25y = 5x
3
e
x
7e
x
2. y
00
+ 4y = xcos x
3. y
00
9y
0
+ 14y = 3x
2
5 sin(2x) + 7xe
6x
A continuacin se presenta una tabla de la forma sugerida para y
p
dependiendo de la
forma de g (x)
g(x) Forma sugerida de y
p
1 k A
2 5x + 7 Ax +B
3 x
3
x + 1 Ax
2
+Bx +C
4 b
n
x
n
+b
n1
x
n1
+ +b
0
A
n
x
n
+B
n1
x
n1
+ +Ax +A
0
5 sin(4x) Asin(4x) +Bcos(4x)
6 cos (4x) Asin(4x) +Bcos(4x)
7 e
5x
Ae
5x
8 (9x + 2)e
5x
(Ax +B)e
5x
9 x
2
e
5x
(Ax
2
+Bx +C) e
5x
10 e
3x
sin(4x) [Asin (4x) +Bcos (4x)] e
3x
11 5x
2
sin (4x) (Ax
2
+Bx +C) sin(4x) + (Dx
2
+Ex +F) cos(4x)
12 xe
3x
cos (4x) (Ax +B)e
3x
sin(4x) + (Cx +D)e
3x
cos(4x)
En este mtodo se pueden tener dos casos a saber, los cuales se mostraran con ejemplos:
EDO LINEAL NO-HOMOGENEA 33
Caso 1: Ninguna funcin en la solucin particular, y
p
, supuesta esta contenida o es parte de la
solucin complementaria, y
c
Ejemplo 2.15 Resolver las siguientes EDO
1. y
00
+ 4y
0
+ 4y = 2x
2
3x + 6. Resp.: y
p
=
1
2
x
2

7
4
x + 3
2. y
00
y
0
+y = 2 sin(3x). Resp.: y
p
=
16
73
sin(3x) +
6
73
cos (3x)
3. y
00
2y
0
3y = 4x 5 + 6xe
2x
. Resp.: y
p
=
4
3
x +
23
9
+

2x +
4
3

e
2x
Caso 2: Alguna funcin de la solucin particular, y
p
, supuesta esta contenida en la solucin
complementaria, y
c
Regla de la multiplicacin: Si alguna funcin de y
p
(y
p
i
) contiene trminos que
duplican los trminos en y
c
entonces y
p
i
se debe multiplicar por x
r
, donde r es el
entero positivo mnimo que elimina esa duplicidad (r es una unidad mayor que el
exponente de x en el trmino parecido dentro de y
c
)
Ejemplo 2.16 Resolver las siguientes ED
1. y
00
5y
0
+ 4y = 8e
x
. Resp.: y
p
=
8
3
xe
x
2. y
00
2y
0
+y = e
x
. Resp.: y
p
=
1
2
x
2
e
x
3. y
00
6y
0
+ 9y = 6x
2
+ 2 12e
3x
. Resp.: y
p
=

2
3
x
2
+
8
9
x +
2
3

6x
2
e
3x
4. y
(4)
+y
000
= 1 x
2
e
x
. Resp.: y
p
=
1
6
x
3
+

1
3
x
3
+ 3x
2
+ 12x

e
x
5. y
00
+y = 4x + 10 sin (x), y() = 0, y
0
() = 2. Resp.: y = 7 sinx + (9 5x) cos x + 4x
2.4.2. Mtodo de Variacin de Parmetros
El mtodo es aplicable en EDO lineales en donde los coecientes pueden expresiones de
la variable independiente. En este mtodo no importa la forma funcional que tenga g (x).
34 EDOS LINEALES DE ORDEN SUPERIOR
Una EDO de 2

orden
Para una EDO de 2

orden
a
2
(x)y
00
+a
1
(x)y
0
+a
0
(x)y = g(x)
Se debe expresar en forma estndar (se hace a
2
(x) = 1), dividiendo todo por a
2
(x)
y
00
+P(x)y
0
+Q(x) = G(x)
donde P (x) =
a
1
(x)
a
2
(x)
y Q(x) =
a
0
(x)
a
2
(x)
.
Suponiendo que a
1
, a
0
y g son continuas en I, se busca la solucin complementaria a
partir de la EDO homogenea correspondiente
y
c
= C
1
y
1
(x) +C
2
y
2
(x)
El mtodo de variacin de parmetros consiste en reemplazar ctes C
1
y C
2
por funciones
U
1
(x) y U
2
(x) que deben determinarse de modo que la funcin resultante
y
p
= U
1
(x)y
1
(x) +U
2
(x)y
2
(x)
sea una solucin particular de la EDO no-homogenea, es decir debe satisfacerla .
Diferenciando 2 veces y
p
y
0
p
= U
1
y
0
1
+y
1
U
0
1
+U
2
y
0
2
+y
2
U
0
2
y
00
p
= U
1
y
00
1
+y
0
1
U
0
1
+y
1
U
00
1
+U
0
1
y
0
1
+U
2
y
00
2
+y
0
2
U
0
2
+y
2
U
00
2
+U
0
2
y
0
2
Sustituyendo en la EDO
y
00
p
+Py
0
p
+Qy
p
= G
U
1
y
00
1
+y
0
1
U
0
1
+y
1
U
00
1
+U
0
1
y
0
1
+U
2
y
00
2
+y
0
2
U
0
2
+y
2
U
00
2
+U
0
2
y
0
2
+P (U
1
y
0
1
+y
1
U
0
1
+U
2
y
0
2
+y
2
U
0
2
)
+Q(U
1
y
1
+U
2
y
2
) = G
Reagrupando se tiene
(y
00
1
+Py
0
1
+Qy
1
) U
1
+ (y
00
2
+Py
0
2
+Qy
2
) U
2
+(y
0
1
U
0
1
+y
1
U
00
1
) + (y
0
2
U
0
2
+y
2
U
00
2
) +P (y
1
U
0
1
+y
2
U
0
2
) +y
0
1
U
0
1
+y
0
2
U
0
2
= G
los primeros dos trminos son cero debido a que y
1
e y
2
son las soluciones de la EDO homo-
genea, y el tercer y cuarto trmino se pueden expresar como una derivada de un producto
de funciones, por tanto
d
dx
(y
1
U
0
1
+y
2
U
0
2
) +P (y
1
U
0
1
+y
2
U
0
2
) +y
0
1
U
0
1
+y
0
2
U
0
2
= G
EDO LINEAL NO-HOMOGENEA 35
Obsrvese que esta ltima EDO es lineal con 2 incgnitas, por lo que se requiere una
segunda ecuacin (algebraica o diferencial) para poder lograr una solucin nica. Puesto
que solamente tenemos una EDO, se debe especicar una condicin. Dicha condcin viene
de la hiptesis de que U
1
y U
2
deben satisfacer
y
1
U
0
1
+y
2
U
0
2
= 0
y
0
1
U
0
1
+y
0
2
U
0
2
= G
lo cual satisface tambien a la ED anterior.
Este sistema lineal de 2 ecuaciones con 2 incgnitas (U
0
1
y U
0
2
) se resuelve para dichas
incgnitas y luego se integra para obtener U
1
y U
2
. Si el sistema de ecuaciones se expresa en
forma matricial se tiene

y
1
y
2
y
0
1
y
0
2

U
0
1
U
0
2

=

0
G

o en forma reducida como: W U


0
= b.
Para resolver este sistema de ecuaciones se puede usar la regla de Cramer, que hace uso
de determinantes
W (y
1
, y
2
) =

y
1
y
2
y
0
1
y
0
2

W
1
=

0 y
2
G y
0
2

W
2
=

y
1
0
y
0
1
G

donde W (y
1
, y
2
) es conocido como Wronskiano.
Con estos determinantes se obtiene
U
0
1
=
W
1
W
U
0
2
=
W
2
W
Que se integran para obtener
U
1
=
Z
W
1
W
dx
U
2
=
Z
W
2
W
dx
Ejemplo 2.17 Resolver las siguientes ED
1. y
00
4y
0
+ 4y = (x + 1)e
2x
. Resp.: y
p
=

1
2
+
1
6
x

x
2
e
2x
36 EDOS LINEALES DE ORDEN SUPERIOR
2. 4y
00
+ 36y = csc(3x). Resp.: y
p
=
1
12
xcos 3x +
1
36
ln (sin 3x) sin 3x
3. y
00
y =
1
x
. Resp.: y
p
=

R
e
x
2x
dx

e
x
+
R
e
x
2x
dx

e
x
4. y
00
+y
0
= 4x
2
3 +
e
x
x
. Resp.: y
p
=
4
3
x
3
4x
2
+ 5x Ei (1, x) + Ei (1, 2x) e
x
5. y
00
+y = sec(x)+3 sin(x). Resp.: y
p
=

ln(cos x) +
3
2
cos xsinx
3
2
x

cos x+

x
3
2
cos
2
x

sinx
EDO de nsimo Orden
El procedimiento para una EDO lineal de 2
o
orden, expresado anteriormente, se extrapola
para una EDO de nsimo orden de la forma
a
n
(x) y
(n)
+a
n1
(x) y
(n1)
+ +a
1
(x) y
0
+a
0
(x) y = g(x)
El procedimiento es como sigue:
1. Se obtiene la solucin complementaria
y
c
= C
1
y
1
+C
2
y
2
+ +C
n1
y
n1
+C
n
y
n
2. Se propone la solucin particular de la forma
y
p
= U
1
y
1
+U
2
y
2
+ +U
n1
y
n1
+U
n
y
n
con U
i
= U
i
(x).
3. Sustituir la solucin particular en la EDO no-homogenea para obtener el siguiente
sistema de ecuaciones lineales
_

_
y
1
y
2
y
3
y
n
y
0
1
y
0
2
y
0
3
y
0
n
y
00
1
y
00
2
y
00
3
y
00
n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
y
(n1)
1
y
(n1)
2
y
(n1)
3
y
(n1)
n
_

_
_

_
U
0
1
U
0
2
U
0
3
.
.
.
U
0
n
_

_
=
_

_
0
0
0
.
.
.
G(x)
_

_
o en forma reducida
WU
0
= b
donde: y
i
(i = 1, 2, . . . , n) son las n funciones particulares de la solucin complemen-
taria, y
(j)
i
(j = 1, . . . , n 1) es la jsima derivada de la isima funcin particular;
U
0
i
(i = 1, 2, . . . , n) es la derivada de las funcin buscada U
i
; y G(x) = g (x) /a
n
(x).
EDO LINEAL NO-HOMOGENEA 37
4. Resolver el sistema de ecuaciones lineales anterior para U
0
i
. Para EDO de hasta 3
er
orden, se puede aplicar la regla de Cramer para encontrar la solucin del sistema de
ecuaciones lineales. este mletodo es como sigue:
a) Calcular el determinate (Wronskiano)
W =

y
1
y
2
y
3
y
n
y
0
1
y
0
2
y
0
3
y
0
n
y
00
1
y
00
2
y
00
3
y
00
n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
y
(n1)
1
y
(n1)
2
y
(n1)
3
y
(n1)
n

b) Calcular los determinantes parciales


W
i
=

y
1
y
2
0 y
n
y
0
1
y
0
2
0 y
0
n
y
00
1
y
00
2
0 y
00
n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
y
(n1)
1
y
(n1)
2
G y
(n1)
n

z }| {
col . i
para 1 i n
c) Obtener la solucin del sistema de ecuaciones lineales
U
0
i
=
W
i
W
para 1 i n
5. Integrar U
0
para obtener U (no tomar las constantes de integracin)
U
i
=
Z
U
0
i
dx para 1 i n
6. Generar la solucin particular
y
p
= U
1
y
1
+U
2
y
2
+ +U
n1
y
n1
+U
n
y
n
7. Generar la solucin general
y = y
c
+y
p
y = (C
1
+U
1
) y
1
+ (C
2
+U
2
) y
2
+ + (C
n1
+U
n1
) y
n1
+ (C
n
+U
n
) y
n
Nota: Si en el paso 4 se toman en cuenta las constantes que aparecen, al integrar, entonces
la solucin y en 6 es la solucin general buscada (en 7).
Ejemplo 2.18 Resuelva las siguientes EDOs por variacin de parmetros
1. y
000
2y
00
y
0
+ 2y = e
3x
. Resp.: y
p
=
1
8
e
3x
2. y
000
+ 3y
00
4y = xe
2x
. Resp.: y
p
=
1
18
(1 +x) x
2
e
2x
38 EDOS LINEALES DE ORDEN SUPERIOR
2.4.3. Mtodo de las EDO lineales de 1
er
orden(Uso del Operador D)
Una EDO lineal de nsimo orden
a
n
d
n
y
dx
n
+a
n1
d
n1
y
dx
n1
+ +a
1
dy
dx
+a
0
y = g(x)
puede representarse de la forma
a
n
D
n
y +a
n1
D
n1
y + +a
1
Dy +a
0
y = g(x)
(a
n
D
n
+a
n1
D
n1
+ +a
1
D +a
0
)y = g(x)
P
n
(D)y = g(x)
Puesto que P
n
(D) tiene n races, entonces
P
n
(D) = (Dm
n
)(Dm
n1
) (Dm
1
)
Por lo tanto
y =
g(x)
P
n
(D)
=
g(x)
(Dm
n
)(Dm
n1
) (Dm
1
)
El problema se resuelve sucesivamente si se denen W
i
de tal manera que
W
i
=
g(x)
(Dm
i
)
(2.1)
lo que resulta en
y =
W
i
(Dm
n
)(Dm
n1
) (Dm
2
)
(2.2)
De este modo la ecuacin 2.1 es una ED lineal de primer orden que puede resolverse
para W
i
y (2.2) es una ecuacin lineal de orden n 1 a la cual se puede seguir aplicando
el procedimiento de las W
i
hasta dejar que (2.2) sea una EDO lineal de primer orden para
resolver en y.
La ED queda
(Dm
1
)W
1
= g(x)
W
0
1
m
1
W
1
= g(x)
W
1
e
mx
=
Z
ge
m
1
x
dx
EDO LINEAL NO-HOMOGENEA 39
Ejemplo 2.19 Resolver las siguentes ED
1. y
00
3y
0
+ 2y = sin(e
x
). Resp.: y
p
= e
2x
sin e
x
2. y
00
y = 4xe
x
. Resp.: y
p
=

x
2
x +
1
2

e
x
3. y
000
+ 3y
00
4y = xe
2x
. Resp.: y
p
=
1
18
(x + 1) x
2
e
2x
40 EDOS LINEALES DE ORDEN SUPERIOR
3. TRANSFORMADAS DE LAPLACE
3.1. Transformada de Laplace L{}
El operador diferencial D se introdujo en captulos anteriores y puede habere sido la
primera introduccin del lector a los operadores que transforman funciones en otras fun-
ciones. Hay muchos operadores de este tipo, en este captulo se discutir uno que pertenece
a la clase de transformaciones integrales, que puede denirse de una manera general por
T [F (t)] =

K (s, t) F (t) dt = f (s)


La funcin K (s, t) es conocida por el ncleo de la transformacin. Para un ncleo dado,
la ecuacin transforma cada funcin F (t) en una funcin f (s), a condicion de que la integral
exista. Puede haber un gran nmero de funciones K. Una vez escogida la funcin K, la tarea
es establecer el tipo de funciones F para las que la integral existe.
Aqu se considerar una funcin particular para K que encuentra una aplicacin en la
solucin de ecuaciones diferenciales.
La Transformada de Laplace (TL) de una funcin F(t), L{F (t)}, es la transformacin
integral para la que K (s, t) = 0 si t < 0 y K (s, t) = e
st
si t 0, esto es
L{F (t)} =
Z

0
e
st
F (t) dt = f (s)
Desde luego, debe existir la integral impropia.
Si F(t) es la funcin en el dominio del tiempo (t), entonces f (s) es la funcin transformada
en el dominio de Laplace. Se tienen las siguientes notaciones para especicar la transformada
de Laplace:
L{F (t)} =
Z

0
e
st
F (t) dt
= f (s)
= F (t)
s es una constante en el dominio del tiempo, mientras que en el dominio de Laplace s es
una variable.
El operador L , semejante al operador diferencial D, es un operador lineal; esto es,
L{F (t) +G(t)} = L{F (t)} +L{G(t)}
TRANSFORMADAS DE LAPLACE 41
Ejemplo 3.1 Encontrar la TL correspondiente
1. L{1}
2. L{t}
3. L{e
3t
}
4. L{sin (2t)}
5. L{F (t)} , cuando F (t) =

0 if t < 3
2 if t 3
6. L

sin
2
(t)

3.2. Transformada Inversa de Laplace L


1
{}
Considrese ahora la pregunta: Dada f (s) para cul L{F (t)} = f (s) se puede encon-
trar F (t)? En el lenguaje matemtico esto cae en la categora de un inverso.
Como en el el caso de las funciones trigonomtricas, en donde se tienen funciones inversas,
tambin en la TL se tiene la Transformada Inversa de Laplace (TIL). Veamos, por ejemplo
sin = b
Si se despeja el argumento de la funcin Seno se obtiene
= sin
1
(b)
donde la funcin sin
1
(b) es la funcin Seno Inverso.
Lo mismo sucede con la TL. Si
L{F (t)} = f (s)
entonces F (t) se dice que es la Transformacin Inversa de Laplace y se escribe
F (t) = L
1
{f (s)}
Ya que la transformacin de Laplace es una integral impropia, la transformacin inversa
no es nica. Es posible que
L{F
1
(t)} = L{F
2
(t)}
y sin embargo, F
1
6= F
2
(aqu no se tratar este hecho).
42 TRANSFORMADAS DE LAPLACE
La L
1
es un operador lineal
L
1
{f (s) +g (s)} = L
1
{f (s)} +L
1
{g (s)}
Para llevar a cabo una TIL se manipula dicha transformacin en formas ms simples que
puedan encontrarse en tablas de TL.
Ejemplo 3.2 Encontrar la TIL correspondiente
1. L
1

1
s
5

2. L
1

1
s
2
+64

3. L
1

3s+5
s
2
+7

3.3. Uso de Fracciones Parciales


El uso de las fracciones parciales se mostrar con unos ejemplos:
Ejemplo 3.3 Sea f (s) =
1
s
3
+5s
2
+2s8
, obtener L
1
{f (s)}
Ejemplo 3.4 Sea f (s) =
s+1
s
2
(s+2)
3
, obtener L
1
{f (s)}
Ejemplo 3.5 Sea f (s) =
3s2
s(s
2
+4)
, obtener L
1
{f (s)}
3.4. Propiedades de la TL y la TIL
En todos los casos a, b y c son constantes y F (t) y G(t) son funciones cuyas TL son,
respectivamente, f (s) y g (s).
3.4.1. Propiedad de la linealidad (TP-1)
1.
L{aF (t) +bG(t)} = aL{F (t)} +bL{G(t)} = af (s) +bg (s)
USO DE FRACCIONES PARCIALES 43
2.
L
1
{af (s) +bg (s)} = aL
1
{f (s)} +bL
1
{g (s)} = aF (t) +bG(t)
Ejemplo 3.6 Propiedad de linealidad
1. L{2t
2
3 cos (2t) + 5e
t
}
2. L
1

4
s2

3s
s
2
+16
+
5
s
2
+4

3.4.2. Primer teorema de traslacin (TP-3)


1.
L

e
at
F (t)

= L{F (t)}
ssa
= f (s)
ssa
= f (s a)
2.
L
1
{f (s a)} = e
at
L
1

f (s a)
sas

= e
at
L
1
{f (s)} = e
at
F (t)
Ejemplo 3.7 Primer teorema de traslacin
1. L{e
t
cos (2t)}
2. L
1

1
s
2
2s+5

3.4.3. Segundo teorema de traslacin


La funcin escaln unitario, U(t a) se dene como U(t a) =

0 si t < a
1 si t a
0
0.2
0.4
0.6
0.8
1
2 4 6 8 10 t
U(t 2)
44 TRANSFORMADAS DE LAPLACE
Con esta funcin se pueden construir nuevas funciones en partes. Por ejemplo, si se tiene
una funcin F (t) y se desea trasladarla y activarla, o bien, si solamente se desea activarla
(pero no trasladarla) despes de a unidades de tiempo; esto se puede hacer con el uso de la
funcin escalon unitario o con funciones denidas en partes. En seguida se muestra como se
llevan a cabo estas dos acciones con sus respectivas funciones y grcas
Traslacin y Activacin en a unidades de t Activacin en a unidades de t
u(t a) U (t a) F (t a) v (t a) U (t a) F (t)
u(t a) =

0 si t < a
F (t a) si t a
v (t a) =

0 si t < a
F (t) si t a
-1
-0.5
0
0.5
1
2 4 6 8 10 t
-1
-0.5
0
0.5
1
2 4 6 8 10 t
Para una funcin denida en partes se tiene el segundo teorema de traslacin (TP-4)
1.
L{F (t a) U (t a)} = e
as
L

F (t a)
tat

= e
as
L{F (t)} = e
as
f (s)
L
1

e
as
f (s)

= U (t a) L
1
{f (s)}
tta
= U (t a) F (t)
tta
= U (t a) F (t a) =

0 si t < a
F (t a) si t a
Ejemplo 3.8 Segundo teorema de traslacin
1. Si G(t) =

0 si t < 2
(t 2)
3
si t 2
, encontrar L{G(t)}
2. L
1
n
e
s
3
s
2
+1
o
PROPIEDADES DE LA TL Y LA TIL 45
3.4.4. Propiedad del cambio de escala (TP-2)
1.
L{F (at)} =
1
a
L{F (t)}
s
s
a
=
1
a
f (s)
s
s
a
=
1
a
f

s
a

2.
L
1
{f (as)} =
1
a
L
1
{f (s)}
t
t
a
=
1
a
F (t)
t
t
a
=
1
a
F

t
a

Ejemplo 3.9 Cambio de escala


1. L{sin (3t)}
2. L
1
n
2s
(2s)
2
+16
o
3.4.5. TL y TIL de las derivada
1. (TP-5)
L

F
(n)
(t)

= s
n
f (s) s
n1
F (0) s
n2
F
0
(0) F
(n1)
(0)
2. (TP-6)
L
1

f
(n)
(s)

= (1)
n
t
n
L
1
{f (s)} = (1)
n
t
n
F (t)
tambien puede verse como
L{t
n
F (t)} = (1)
n
d
n
ds
n
[f (s)]
Ejemplo 3.10 Transformadas de derivadas
1. Si F (t) = cos (3t) y F
0
(t) = 3 sin (3t), encontrar L{F
0
(t)} directamente con F (t)
2. Si f (s) =
1
s
2
+1
, encontrar L
1
{f
0
(s)}
46 TRANSFORMADAS DE LAPLACE
3.4.6. Teorema de la Convolucin
La convolucin entre dos funciones esta denida comodonde
F (t) G(t)
Z
t
0
F () G(t ) d
El teorema de la convolucin es (TP-7)
1.
L{F G} = L
Z
t
0
F () G(t ) d

= f (s) g (s)
2.
L
1
{f (s) g (s)} =
Z
t
0
F () G(t ) d = F G
Ejemplo 3.11 Resolver L
1
n
1
(s1)(s2)
o
3.4.7. TL y TIL de integrales
1. Para transformadas directas, la frmula se obtiene directamente del teorema de la
convolucin (TP-8)
L
Z
t
0
F (u) du

=
1
s
L{F (t)} =
f (s)
s
Esta frmula tambien puede verse como
L
1

f (s)
s

=
Z
t
0
F (u) du
2. (TP-10)
L
1
Z

s
f (u) du

=
1
t
L
1
{f (s)} =
F (t)
t
esta frmula tambien puede verse como
L

F (t)
t

=
Z

s
f (u) du
Ejemplo 3.12 Transformadas de integrales
1. L
n
R
t
0
sin(2u) du
o
2. L
1
R

1
u

1
u+1

du

PROPIEDADES DE LA TL Y LA TIL 47
3.4.8. Funcin Peridica
Sea una funcin periodica (ver gura) representada como F (t) con periodo T > 0 tal
que F (t) = F (t +T), entonces (TP-9)
L{F (t)} =
1
1 e
sT
Z
T
0
e
st
F (t) dt
-1
-0.5
0
0.5
1
y
2 4 6 8 10 12 x
Funcin Peridica
Ejemplo 3.13 L{F (t)} si se tiene la funcin periodica F (t) = F (t 2) =

t si 0 t < 1
0 si 1 t 2
3.4.9. Teoremas de valor inicial y de valor nal
El teorema de valor incial es
lm
t0
[F (t)] = lm
s
[sf (s)]
Si F (t) G(t) cuando t 0, entonces f (s) g (s) cuando s .
El teorema de valor nal es
lm
t
[F (t)] = lm
s0
[sf (s)]
Si F (t) G(t) cuando t , entonces f (s) g (s) cuando s 0.
Ejemplo 3.14 Problemas adicionales de TL y TIL
48 TRANSFORMADAS DE LAPLACE
1. L{e
5t
t
3
}. Resp.:
6
(s5)
4
2. L
1
n
s
(s+3)
2
+2
o
. Resp.:
3

2
e
3t
sin

2t

+e
3t
cos

2t

3. L{t
2
sin(6t)}. Resp.: 12
3s
2
36
(s
2
+36)
3
4. L
1
n
1
(s1)(s+4)
o
. Resp.:
1
5
(e
5t
1) e
4t
5. L
1
n
1
(s
2
+36)
2
o
. Resp.:
sin(6t)6t cos(6t)
432
6. L{t
2
U(t 2)}. Resp.: 4
e
2s
s
+ 4
e
2s
s
2
+ 2
e
2s
s
3
7. L
n
sin(t)
t
o
. Resp.:
1
2
arctan s
8. L
1
n
1
s(s
2
+4)
o
. Resp.:
1
4
cos 2t +
1
4
3.5. Solucin de una EDO con el Uso de la TL
Es ideal aplicar el mtodo cuando se tienen:
1. ED Lineales
2. ED con coecientes constantes
3. ED No-homogeneas
4. Problemas de valor inicial (aunque se puede aplicar tambin en problemas de valor
en la frontera)
5. La no homogeneidad puede contener funciones peridicas o denidas por tramos
El mtodo transforma una ED en el dominio del tiempo a una ecuacin algebraica
en el dominio de Laplace y el resultado se transforma al dominio del tiempo para as
obtener la solucin de la ecuacin (o sistema de ecuaciones) original
EDO
L

[f(s), s]
resuelve

f(s)
L
1

F(t)
Ejemplo 3.15 Resolver las siguientes EDO por TL
1.
dy
dt
3y = e
2t
y(0) = 1
. Resp.: y = e
2t
+ 2e
3t
SOLUCIN DE UNA EDO CON EL USO DE LA TL 49
2. y
00
6y
0
+ 9y = t
2
e
3t
y (0) = 2
y
0
(0) = 6
. Resp.: y =
1
12
t
4
e
3t
+ 2e
3t
3. y
00
+ 4y
0
+ 6y = 1 +e
t
y (0) = 0
y
0
(0) = 0
. Resp.: y =
1
6
+
1
3
e
t

1
2
e
2t
cos

2t


2
3
e
2t
sin

2t

4. x
00
+ 16x = cos(4t)
x(0) = 0
x
0
(0) = 1
. Resp.: x =
1
8
t sin4t +
1
4
sin 4t
5. x
00
+ 16x = F(t)
x(0) = 0
x
0
(0) = 1
F (t) =

cos(4t) si 0 t
0 si t >
.
Resp.: x =
1
8
t sin(4t)
1
8
tU (t ) sin(4t) +

8
U (t ) sin(4t) +
1
4
sin (4t)
3.6. Funcin Impulso Unitario
Esta funcin esta denida por partes, de la forma

a
(t t
0
) =
_
_
_
0 if t < t
0
a
1
2a
if t
0
a t t
0
+a
0 if t > t
0
+a
0
0.05
0.1
0.15
0.2
0.25
2 4 6 8 10 t
50 TRANSFORMADAS DE LAPLACE
La transformada de Laplace para esta funcin es:
L{
a
(t t
0
)} =
e
(at
0
)s
(1 e
2as
)
2as
Si a 0, entonces se tiene la funcin Delta de Dirac
(t t
0
) = lm
a0

a
(t t
0
)
Esto es:
a. (t t
0
) =

si t = t
0
0 si t 6= t
0
b.
R

(t t
0
)dt = 1
c. L{(t t
0
)} = e
t
0
s
Ejemplo 3.16 Resolver la ED
y
00
+y = 4(t 2)
y(0) = 0
y
0
(0) = 0
Resp.: y = 4U (t 2) sin (t)
3.7. Sistemas de EDO Lineales (coecientes constantes)
EL procedimiento de la TL tambin se puede aplicar para resolver sistemas de EDO.
SEDO(t)
L

SEA(s)
resuelve

Sol. x(s)
L
1

Sol. x(t)
Ejemplo 3.17 Resolver los siguientes sistemas de EDO
1. 2x
0
+y
0
y = t
x
0
+y
0
= t
2
x(0) = 1
y(0) = 0
Resp.: x = 5e
t
+
1
3
t
3
2t
2
+ 5t 4
y = 2t
2
5t + 5 5e
t
SISTEMAS DE EDO LINEALES (COEFICIENTES CONSTANTES) 51
2. y
00
1
= 2y
1
+ 2(y
2
y
1
)
y
00
2
= 2(y
2
y
1
) 2y
2
y
1
(0) = 1
y
0
1
(0) =

6
y
2
(0) = 1
y
0
2
(0) =

6
Resp.: y
1
= cos

2t

+ sin

6t

y
2
= cos

2t

sin

6t

52 TRANSFORMADAS DE LAPLACE
4. EDOS CON COEFS. POLINOMIALES
4.1. Series: Conceptos Bsicos
4.1.1. Sucesiones
Indudablemente ha encontrado sucesiones de nmeros en su estudio previo de matemti-
cas. Por ejemplo, los nmeros 5, 7, 9, 11, 13, 15 denen una sucesin. Esta sucesin es
nita porque hay un primer y un ltimo nmero. Si el conjunto de nmeros que dene una
sucesin no tiene un primer o un ltimo nmero, se dice que la sucesin es innita. Aqu
estamos interesados en sucesiones innitas y cuando se use la palabra sucesin se entender
que se esta reriendo a una sucesin innita.
Si a cada entero positivo m se le asigna un nmero w
m
, entonces se dice que estos nmeros
w
1
, w
2
, . . . , w
m
, . . .
forman una sucesin innita o, brevemente, una sucesin y los nmeros w
m
se llaman
trminos de la sucesin.
Se dice que una sucesin w
1
, w
2
, . . . converge al nmero L, o que es convergente con
el lmite L, si para cada nmero positivo (no importa que tan pequeo, pero diferente de
cero) puede hallarse un nmero M tal que
|w
m
L| < m > M
Entonces se escribe
lm
m
w
m
= L
Una sucesin que no es convergente se dice que es divergente o que diverge.
Ejemplo 4.1 Encuntre el valor M tal que = 0,01, para la sucesin cuyos trminos estan
dados por w
m
= 1 +
2
m
, (m = 1, 2, . . .)
Dada una sucesin compleja, puede considerarse la sucesin de las partes reales y la
sucesin de las partes imaginarias, por lo que, estudiando las partes real e imaginaria, la
convergencia de las sucesiones complejas puede referirse a la de las sucesiones reales.
Principio de Convergencia de Cauchy: Una sucesin w
1
, w
2
, . . . es convergente si, y
solo si, para cada nmero puede hallarse un nmero M (que puede depender de ) tal que
|w
n
w
m
| < cuando m > M, n > M
Es decir, dos trminos cualesquiera w
m
, w
n
con m > M, n > M deben tener una distancia
entre s menor que .
EDOS CON COEFS. POLINOMIALES 53
4.1.2. Series
Por denicin, una serie es la suma de todos los trminos de una sucesin.
Sea w
1
, w
2
, . . . , w
m
, . . . una sucesin de nmeros, complejos o reales. Entonces puede
formarse la serie innita

X
m=1
w
m
= w
1
+w
2
+w
3
+
Los w
m
se llaman trminos de la serie. La suma de los n primeros trminos, conocida
como la nsima suma parcial, es
s
n
= w
1
+w
2
+ +w
n
=
n
X
m=1
w
m
Evidentemente, si se omiten los trminos de s
n
, la expresin resultante, el residuo de la
serie despes del nsimo trmino, es
R
n
= w
n+1
+w
n+2
+w
n+3
+ =

X
m=n+1
w
m
De esta manera, se ha asociado con la serie, la sucesin de sus sumas parciales s
1
, s
2
, s
3
, .
Si esta sucesin es convergente, digamos
lm
n
s
n
= lm
n
"
n
X
m=1
w
m
#
= s
entonces se dice que la serie converge o que es convergente, el nmero s es su valor o suma
y se escribe
s =

X
m=1
w
m
= w
1
+w
2
+w
3
+
Si la sucesin de sumas parciales diverge, se dice que la serie diverge o que es divergente.
Si la serie converge y tiene el valor de s, entonces
s = s
n
+R
n
o bien R
n
= s s
n
Prueba de la Razon para la Convergencia de Series: Supngase que w
m
6= 0 para
m = 1, 2, . . . y que
lm
m

w
m+1
w
m

= L < 1
Entonces la serie es absolutamente convergente. En el caso de que L > 1 la serie es
divergente. Cuando L = 1, no se puede deducir nada con esta prueba por lo que se recomienda
hacer otra prueba.
54 EDOS CON COEFS. POLINOMIALES
Ejemplo 4.2 Encontrar si la serie es convergente o divergente

X
m=1
100
2m
m!
4.1.3. Series de Potencias
Una serie de potencias alrededor del punto x

es una serie innita de la forma

X
m=0
C
m
(x x

)
m
| {z }
wm
= C
0
+C
1
(x x

) +C
2
(x x

)
2
+
donde C
0
, C
1
, C
2
, . . . son constantes llamadas coecientes de la serie; x

es una constante
llamada centro de la serie, se dice que la serie de potencias esta centrada en x

; y m es el
ndice de la serie.
S x

= 0, se tiene

X
m=0
C
m
x
m
= C
0
+C
1
x +C
2
x
2
+C
3
x
3
+
Una funcin dada f (x) se puede expresar en una serie de potencias en la forma
f(x) =

X
m=0
C
m
(x x

)
m
= C
0
+C
1
(x x

) +C
2
(x x

)
2
+
cuyo dominio es el intervalo de convergenca de la serie.
Ejemplos de funciones conocidas, expresadas en series de potencias, son:
1
1 x
=

X
m=0
x
m
= 1 +x +x
2
+ (|x| < 1, serie geomtrica)
e
x
=

X
m=0
x
m
m!
= 1 +x +
x
2
2
+
x
3
6
+
cos (x) =

X
m=0
(1)
m
x
2m
(2m)!
= 1
x
2
2!
+
x
4
4!
+
sin (x) =

X
m=0
(1)
m
x
2m+1
(2m+ 1)!
= x
x
3
3!
+
x
5
5!
+
SERIES: CONCEPTOS BSICOS 55
Se dice que una funcin f(x) es analtica en un punto x = x

si se puede representar
por medio de una serie de potencias en x x

, con radio de convergencia positivo (R > 0).


Los trminos constantes son funciones analticas.
El radio de convergencia de una serie de potencias es la distancia mxima alrededor
del centro de la serie para la cual la serie converge absolutamente. Este parmetro puede
obtenerse directamente de la prueba de la razn para la convergencia, como
R = |x x

|
max
= lm
m

c
m
c
m+1

Con el radio de convergencia y el centro de la serie se obtiene el intervalo de conver-


gencia como:
I = (x

R, x

+R)
Ejemplo 4.3 Determine el intervalo de convergencia de la serie de potencias
P

m=1
(1)
m
m
x
m
4.1.4. Series de Taylor
Un caso especial de las series de potencias son las Series de Taylor. En este tipo de
series, a diferencia de las series de potencias, se puede conocer el valor de los coecientes con
slo conocer la funcin y sus derivadas alrededor de x

.
Una funcin dada f (x) se puede expresar en una Serie deTaylor en la forma
f (x

+x) = f (x

) +
f
0
(x

)
1!
x +
f
00
(x

)
2!
(x)
2
+
f
000
(x

)
3!
(x)
3
+
f (x) = f (x

) +
f
0
(x

)
1!
(x x

) +
f
00
(x

)
2!
(x x

)
2
+
f
000
(x

)
3!
(x x

)
3
+
f (x) =

X
m=0
f
(m)
(x

)
m!
(x x

)
m
=

X
m=0
f
(m)
(x

)
m!
(x)
m
Cuando el centro, x

, es tomado como cero, la serie se denomina Serie de Maclaurin


f (x) = f (0) +
f
0
(0)
1!
x +
f
00
(0)
2!
x
2
+
f
000
(0)
3!
x
3
+
f (x) =

X
m=0
f
(m)
(0)
m!
x
m
56 EDOS CON COEFS. POLINOMIALES
4.1.5. Puntos Ordinarios y Puntos Singulares de una EDO
Sea una EDO lineal de nsimo orden
a
n
(x)
d
n
y (x)
dx
n
+a
n1
(x)
d
n1
y (x)
dx
n1
+ +a
1
(x)
dy (x)
dx
+a
0
(x) y (x) = 0
donde los coecientes a
i
(x) son funciones de la variable independiente
Se dice que un punto x

es un punto ordinario de una EDO lineal si las funciones


(relaciones)
a
n1
(x)
a
n
(x)
,
a
n2
(x)
a
n
(x)
, ,
a
1
(x)
a
n
(x)
,
a
0
(x)
a
n
(x)
son todas analticas en x

. Se dice que un punto que no es ordinario es un punto singular


de la EDO.
Cuando los coecientes a
i
(x) son polinomiales, entonces x

es
1. un punto oridinario si a
n
(x

) 6= 0
2. un punto singular si a
n
(x

) = 0
Ejemplo 4.4 Encontrar los puntos ordinarios y los puntos singulares de la ED (x 3)
d
2
y
dx
2
+
2
x
dy
dx
3xy = 0
4.2. Solucin en Series Alrededor de Puntos Ordinarios
S x = x

es un punto ordinario, entonces toda solucin y(x) de la ED lineal es analtica


en x = x

y, por tanto puede representarse por medio de una serie de potencias en potencias
de x x

,
y(x) =

X
m=0
C
m
(x x

)
m
con radio de convergencia positivo (R > 0).
4.2.1. Solucin por Expansin en Series de Taylor
El mtodo se usa en problemas de valor inicial donde la ED es soluble para la derivada
mxima, y cuando el punto inicial x

es un punto ordinario.
SOLUCIN EN SERIES ALREDEDOR DE PUNTOS ORDINARIOS 57
Se supone una solucin en la forma de series de Taylor alrededor de x

y (x) = y (x

) +
y
0
(x

)
1!
(x x

) +
y
00
(x

)
2!
(x x

)
2
+
y
000
(x

)
3!
(x x

)
3
+
y (x) =

X
m=0
y
(m)
(x

)
m!
| {z }
Cm
(x x

)
m
Obsrvese que los coecientes de la serie involucran las derivadas evaluadas en el cen-
tro. Por tanto, los primeros n coecientes de la serie pueden obtenerse directamente de las
condiciones iniciales.
El coeciente que involucra la derivada de orden igual a n (coeciente de orden n) se ob-
tiene despejando la nsima derivada directamente de la ED y evaluando en las condiciones
iniciales
d
n
y
dx
n
= F(x, y, y
0
, . . . , y
n1
)
d
n
y
dx
n

x=x
+
= F

x, y, y
0
, . . . , y
n1

x=x
+
Mientras que los coecientes de orden mayor a n se obtienen derivando sucesivamente la
expresin de la derivada nsima y evaluando en los valores iniciales
d
n+1
y
dx
n+1

x=x
+
=
d
dx

d
n
y
dx
n

x=x
+
Ejemplo 4.5 Resolver, por series de Taylor, las siguientes EDO
1. xy
00
+x
3
y
0
3y = 0, y(1) = 0, y
0
(1) = 2
2. (x 1)y
000
+y
00
+ (x 1)y
0
+y = 0, y(0) = y
00
(0) = 0, y
0
(0) = 1
4.2.2. Solucin por Expansin en Series de Potencias
Tomando como base una EDO lineal general de la forma
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
1
(x)y
0
+a
0
(x)y = g(x)
Para simplicar el procediemiento de solucin, por comodidad, se tomar un punto ordi-
nario en x

= 0.
Mtodo:
58 EDOS CON COEFS. POLINOMIALES
1. Se supone una solucin en serie de potencias
y(x) =

X
m=0
C
m
x
m
2. Se deriva n veces y se sustituye en la ED
3. Si es necesario, los coecientes a
n
(x), a
n1
(x), ....a
1
(x), a
0
(x) y la funcin g(x) se ex-
presan tambin en series de potencias y se sustituyen en la ED.
4. Se realiza el algebra necesaria para agrupar las potencias semejantes de x, puede es-
cribirse la ecuacin resultante en la forma
k
0
+k
1
x +k
2
x
2
+ = 0
donde las k
0
, k
1
, k
2
, . . . son expresiones que contienen los coecientes desconocidos
C
0
, C
1
, C
2
, . . . de y(x).
5. Se iguala cada coeciente k
i
a cero para que la ecuacin cumpla para toda x en algn
intervalo I y se resuelve para los C
i
k
0
(C
1
, C
2
, C
3
, C
4
, . . .) = 0
k
1
(C
1
, C
2
, C
3
, C
4
, . . .) = 0
.
.
. =
.
.
.
k

(C
1
, C
2
, C
3
, C
4
, . . .) = 0
Ejemplo 4.6 Resolver, por series de potencias, las siguientes EDO
1. y
0
y = 0
2. y
00
+y = 0
3. y
00
+xy = 0
4. (x + 1)y
0
(x + 2)y = 2x
4.3. Solucin en Series Alrededor de Puntos Singulares
4.3.1. Puntos Singulares Regulares e Irregulares
Un punto singular x = x

es un punto singular regular si todas las funciones


(x x

) a
n1
(x)
a
n
(x)
,
(x x

)
2
a
n2
(x)
a
n
(x)
, ,
(x x

)
n1
a
1
(x)
a
n
(x)
,
(x x

)
n
a
0
(x)
a
n
(x)
SOLUCIN EN SERIES ALREDEDOR DE PUNTOS SINGULARES 59
son analticas en x

. Mientras que un punto singular que no es regular es un punto singular


irregular.
Cuando los coecientes a
i
(x) son polinomiales:
Reduzcase
a
n1
(x)
a
n
(x)
, ,
a
1
(x)
a
n
(x)
,
a
0
(x)
a
n
(x)
a sus trminos ms simples. Si el factor (x x

) est
cuando mucho, elevado a la primera potencia en el denominador de
a
n1
(x)
a
n
(x)
, y cuando ms a
la isima potencia en el denominador de
a
ni
(x)
a
n
(x)
, entonces x = x

es un punto singular
regular.
Ejemplo 4.7 Encontrar los puntos singulares de las siguientes EDO y determinar el tipo
de punto singular.
1. (x
2
4)
2
y
00
+ (x 2)y
0
+y = 0
2. (1 x
2
) y
00
2xy
0
+ 30y = 0
3. x
3
y
00
2xy
0
+ 30y = 0
4. y
00
2y
0
+ 5x
1
y = 0
4.3.2. Mtodo de Frobenius para Resolver EDO
El mtodo es aplicable cuando se tienen puntos singulares regulares.
Si x = x

es un punto singular regular de la EDO, existe al menos una solucin en


serie de potencias de la forma:
y (x) = (x x

)
r

X
m=0
C
m
(x x

)
m
y (x) =

X
m=0
C
m
(x x

)
m+r
en donde el nmero r es una constante por determinar.
La serie converge cuando menos en algn intervalo
0 < x x

< R
Ejemplo 4.8 Resolver 3xy
00
+y
0
y = 0
60 EDOS CON COEFS. POLINOMIALES
Anlisis de las Races de la Ecuacin Indicial
La ecuacin
r(3r 2) = 0
que apareci en el problema anterior se llama Ecuacin Indicativa, la cual es cuadrtica
en r debido a que la ED es de 2
o
orden. Para una ED de nsimo orden se tendr una
ecuacin indicativa de grado n.
Para una ED de 2
o
orden existen tres formas de la solucin dependiendo de las races
de la ecuacin indicial. Si las race se arreglan en orden descendente (r
1
> r
2
) se tienen los
siguientes casos para la forma de la solucin:
Caso 1: r
1
r
2
6= ENTERO
En este caso se obtienen dos soluciones linealmente independientes al aplicar el mtodo
y
1
=

X
m=0
c
m
x
m+r
1
, c
0
6= 0
y
2
=

X
m=0
b
m
x
m+r
2
, b
0
6= 0
Caso 2: r
1
r
2
= N (entero positivo)
En este caso existen dos soluciones linelamente independientes de la forma
y
1
=

X
m=0
c
m
x
m+r
1
, c
0
6= 0
y
2
= Cy
1
ln(x) +

X
m=0
b
m
x
m+r
2
, b
0
6= 0
donde C es una constante que podra ser cero. Al aplicar el mtodo, en algunos casos,
solamente se obtiene una solucin.
Caso 3: r
1
r
2
= 0 r
1
= r
2
En este caso existen dos soluciones linealmente independientes de la forma
y
1
=

X
m=0
c
m
x
m+r
1
, c
0
6= 0
y
2
= y
1
ln(x) +

X
m=0
b
m
x
m+r
2
, b
0
6= 0
Al aplicar el mtodo, en algunos casos, solamente se obtiene una solucin.
SOLUCIN EN SERIES ALREDEDOR DE PUNTOS SINGULARES 61
Nota: Si slo se puede encontrar una solucin, entonces se utilizar la reduccin de orden
para encontrar una segunda solucin linealmente independiente
y
2
= y
1
Z
e

U
Pdx
y
2
1
dx, P =
a
1
(x)
a
2
(x)
Ejemplo 4.9 Resolver por series de potencias
1. xy
00
+ 3y
0
y = 0
2. 2xy
00
+ (1 +x)y
0
+y = 0
3. xy
00
+ (x 6)y
0
3y = 0
4.4. EDO de Cauchy-Euler (EDO Equidimensional)
4.4.1. EDO de 2

Orden
Tiene la forma general
k
2
(a +bx)
2
y
00
+k
1
(a +bx) y
0
+k
0
y = 0
Esta EDO tiene un punto singular regular en x

=
a
b
, por lo que la solucin se puede
obtener aplicando el mtodo de Frobenius. Otra manera de resolver la ED es haciendo la
sustitucin e
u
= a +bx, la cual transforma la ED en una con coecientes constantes, que se
resuelve por los mtodos ya descritos.
Sin embargo una mejor manera de resolver el problema es suponiendo una solucin de la
forma
y = (a +bx)
m
Sustituyendo en la EDO se obtiene
k
2
(a +bx)
2
d
2
(a +bx)
m
dx
2
+k
1
(a +bx)
d (a +bx)
m
dx
+k
0
y = 0
k
2
(a +bx)
m
mb
2
(m1) +k
1
(a +bx)
m
mb +k
0
(a +bx)
m
= 0
(a +bx)
m

b
2
m
2
k
2
b
2
mk
2
+bmk
1
+k
0

= 0
Puesto que (a +bx)
m
6= 0, entonces
b
2
m
2
k
2
b
2
mk
2
+bmk
1
+k
0
= 0

b
2
k
2

m
2
+

bk
1
b
2
k
2

m+k
0
= 0
62 EDOS CON COEFS. POLINOMIALES
esta ltima es la ecuacin caracterstica de la ED de Cauchy-Euler. Esto signica que
para que la solucin propuesta sea realmente una solucin de la EDO de Cauchy-Euler,
se requiere que se satisfaga la ecuacin caracterstica. Para una EDO de Cauchy-Euler de
segundo orden se obtiene un polinomio de segundo grado en m, el cual tiene dos races a
saber:
m
1
=
bk
2
k
1
+
p
(b
2
k
2
2
2bk
2
k
1
+k
2
1
4k
2
k
0
)
2k
2
b
m
2
=
bk
2
k
1

p
(b
2
k
2
2
2bk
2
k
1
+k
2
1
4k
2
k
0
)
2k
2
b
Por lo que la solucin general ser
y = C
1
(a +bx)
m
1
+C
2
(a +bx)
m
2
Puesto que se pueden tener tres casos de races para una ecuacin cuadrtica, dependiendo
del discriminante, entonces se trendrn tres formas de la solucin de la EDOde Cauchy-Euler,
a saber:
Caso 1: Races reales y distintas m
1
6= m
2
y = C
1
(a +bx)
m
1
+C
2
(a +bx)
m
2
Caso 2: Races reales repetidas m
1
= m
2
=
1
2

1
k
1
bk
2

= m
En este caso se tendra la solucin particular nica
y
1
= (a +bx)
m
Con el mtodo de reduccin de orden se puede encontrar una segunda solucin partic-
ular, la cual es linealmente independiente a la primera, esto es
y
2
= y
1
Z
e

U
Pdx
y
2
1
dx
= y
1
Z
e

k
1
k
2
U
dx
a+bx
(a +bx)
2m
dx
= y
1
=
Z
e
ln(a+bx)

k
1
k
2
b
(a +bx)

1
k
1
bk
2
dx
= y
1
Z
dx
(a +bx)
y
2
= y
1
ln(a +bx)
b
EDO DE CAUCHY-EULER (EDO EQUIDIMENSIONAL) 63
Por lo tanto
y =

C
1
+C
2
ln(a +bx)
b

(a +bx)
m
Caso 3: Races complejas conjugadas: m
1,2
=
i
y = C
1
(a +bx)
+
i
+C
2
(a +bx)

i
y = (a +bx)

C
1
(a +bx)

i
+C
2
(a +bx)

Haciendo un cambio de variable


e
u
= a +bx =u = ln(a +bx)
y se usan las identidades de Euler
e
i
= cos +i sin
e
i
= cos i sin
se tendr
y = (a +bx)

[K
1
(sinu) +K
2
cos (u)]
Por lo tanto
y = (a +bx)

K
1
sin

ln(a +bx)

+K
2
cos

ln(a +bx)

Nota: Cuando el problema es no-homogeneo, primero se resuelve el problema homogeneo


y despus se encuentra una solucin particular por variacin de parmetros.
Nota: El problema puede ser reducido a un problema con coecientes constantes al hacer
la sustitucin
e
u
= a +bx
4.4.2. Ecuacin Lineal de Cauchy de nsimo Orden
Esta EDO tiene la forma general
k
0
x
n
y
(n)
+k
1
x
n1
y
(n1)
+ +k
n1
xy
0
+k
n
y = g(x)
Se reduce a una EDO de coecientes constantes con la sustitucin
x = e
u
dx = e
u
du = xdu
64 EDOS CON COEFS. POLINOMIALES
Las derivadas se calculan con la regla de la cadena, para obtener
y
0
=
dy
dx
=
dy
du
du
dx
=
1
x
dy
du
y
00
=
1
x
2

d
2
y
du
2

dy
du

=
1
x
2
d
du

d
du
1

y
y
000
=
1
x
3

d
3
y
du
3
3
d
2
y
du
2
+ 2
dy
du

=
1
x
3
d
du

d
2
du
2
3
d
du
+ 2

y
Empleando la notacin D
u
y =
dy
du
, y generalizando el resultado, se tiene
xy
0
= D
u
y
x
2
y
00
= D
u
(D
u
1)y
x
3
y
000
= D
u

D
2
u
3D
u
+ 2

y = D
u
(D
u
1) (D
u
2) y
x
n
y
(n)
= D
u
(D
u
1) (D
u
2) (D
u
3) (D
u
n + 1) y
Sustituyendo en la EDO equidimensional, se obtiene
k
0
D
u
(D
u
1) (D
u
2) (D
u
n + 1) y + +k
n1
D
u
y +k
n
y = f(u)
La cual es una EDO lineal con coecientes constantes que puede ser resuelta por los
mtodos tradicionales.
Nota: La EDO Equidimensional general tiene la forma
k
0
(a +bx)
n
y
(n)
+k
1
(a +bx)y
(n1)
+ +k
n1
(a +bx)y
0
+k
n
y = f(x)
y se resuelve con la sustitucin
e
u
= a +bx
Ejemplo 4.10 Resolver las siguientes EDO
1. x
2
y
00
1,5xy
0
1,5y = 0
2. x
2
y
00
3xy
0
+ 4y = 0
3. (x 3)
2
y
00
+ (x 3) y
0
+y = 0
4. x
2
y
00
2y = lnx
5. (x 3)
2
y
00
+ (x 3) y
0
+y = sec |ln(x 3)|
EDO DE CAUCHY-EULER (EDO EQUIDIMENSIONAL) 65
4.5. Ecuacin de Bessel
La EDO lineal
x
2
y
00
+x(a + 2bx
p
)y
0
+

c +d x
2q
+b(a +p 1)x
p
+b
2
x
2p

y = 0
se le conoce como la EDO General de Bessel. Donde a, b, c, d, p y q son constantes.
Esta ecuacin tiene un punto singular en x

= 0, por lo que se usa el mtodo de Frobenius


para encontrar su solucin (vase el Apndice F para ver la forma en que se resuelve una
ED de Bessel sencilla), la cual es
y(x) = x

e
x
p
_

_
C
1
J

(x
q
) +C
2
J

(x
q
) , v 6= entero
C
1
J

(x
q
) +C
2
Y

(x
q
) , v = 0, 1, 2, 3, . . .

d > 0
C
1
I

(x
q
) +C
2
I

(x
q
) , v 6= entero
C
1
I

(x
q
) +C
2
K

(x
q
) , v = 0, 1, 2, 3, . . .

d < 0
con
=
(1 a)
2
=
b
p
=
p
|d|
q
=
1
2q
q
(1 a)
2
4c
y las Funciones Bessel (vase el Apndice F):
J

(x) =
P

k=0
(1)
k
k!(1+k+)

x
2

2k+
de Primera Clase
Y

(x) =
cos()J

(x)J

(x)
sin()
de Segunda Clase
I

(x) = i

(ix) =
P

m=0
1
m!(m++1)

x
2

2m+
Modicada de Primera Clase
K

(x) =
(

2 sin()
{I

(x) I

(x)} , n 6= 0, 1, 2
lm
p
h

2 sin(p)
{I
p
(x) I
p
(x)}
i
, n = 0, 1, 2
Modicada de Segunda Clase
Las series convergen para todo valor de x.
Nota: Mucha de la importancia de la ED y de las funciones de Bessel estriba en el hecho
de que la solucin de muchas EDO lineales pueden ser expresadas en trminos de ellas.
Ejemplo 4.11 El ujo de calor en una aleta puntal es caracterizado por la ecuacin
x
2
d
2
y
dx
2
+x
dy
dx

2
xy = 0,
66 EDOS CON COEFS. POLINOMIALES
donde y = T T
aire
, es una combinacin de constantes fsicas y x es la distancia medida
desde el empotramiento de la aleta. Resuelva para encontrar el perl de temperaturas en la
aleta cuando = 5.
Ejemplo 4.12 Resolver
1. x
2
y
00
+xy
0
+ 16x
2
y = 0
2. t
2
y
00
+ty
0
9t
2
y = 0
3. x
2
y
00
+ 4x(1 +x
2
) y
0
+ 2 (1 + 5x
2
+ 3x
4
) y = 0
4. x
2
y
00
+xy
0
+ (x
2

2
)y = 0, 0
5. x
2
y
00
+xy
0
+ (x
2

1
9
)y = 0
6.
d
dx
[xy
0
] +

x
4
x

y = 0
7. x
2
y
00
+ 2xy
0
+
2
x
2
y = 0
8.
d
2
y
dx
2
+

9x
63
4x
2

y = 0
4.5.1. Propiedade de las Funciones Bessel
Estas propiedades se aplican tanto a J

y a Y

1. J

(x) = (1)

(x)
2. J

(x) = (1)

(x)
3. J

(0) =

0, > 0
1, = 0
(se aplica solo a J

(x))
4. lm
x0
+ Y

(x) = (se aplica solo a Y

(x))
5. J
+1
(x) =
2
x
J

(x) J
1
(x)
6.
d
dx
[x

(x)] = x

J
1
(x)
7.
d
dx
[x

(x)] = x

J
+1
(x)
8. J
0

(x) =
1
2
{J
1
(x) J
+1
(x)}
9. xJ
0

(x) = xJ
1
(x) nJ

(x)
ECUACIN DE BESSEL 67
10. xJ
0

(x) = J

(x) xJ
+1
(x)
Ejemplo 4.13 Resolver
S
2 d
2
x
dS
2
+S
dx
dS
+S
2
x = 0, x(1) = 1, x
0
(1) = 3
4.6. EDO de Legendre
Esta ED tiene la forma
(1 x
2
)y
00
2xy
0
+n(n + 1)y = 0
donde n es un entero positivo y x = 0 es un punto ordinario. La solucin por series tiene la
forma
y (x) =

X
m=0
C
m
x
m
Sustituyendo

X
m=2
m(m1)C
m
x
m2


X
m=2
m(m1)C
m
x
m


X
m=1
2mC
m
x
m
+

X
m=0
n(n + 1)C
m
x
m
= 0

X
k=0
(k + 2)(k + 1)C
k+2
x
k


X
k=2
k(k 1)C
k
x
k


X
k=1
2kC
k
x
k
+

X
k=0
n(n + 1)C
k
x
k
= 0
2C
2
+n(n+1)C
0
+[6C
3
+ (n 1) (n + 2) C
1
] x+

X
k=2
[(k + 2) (k + 1) C
k+2
+ (n k) (n +k + 1) C
k
] x
k
= 0
Comparando los coecientes de las series del lado izquuierdo y derecho se obtienen las
ecuaciones necesarias para determinar el valor de cada coeciente
2C
2
+n(n + 1)C
0
= 0
6C
3
+ (n 1)(n + 2)C
1
= 0
(k + 2)(k + 1)C
k+2
+ (n k)(n +k + 1)C
k
= 0
Despejando los coecientes con el mayor ndice se tiene
C
2
=
n(n + 1)
2!
C
0
C
3
=
(n 1)(n + 2)
3!
C
1
C
k+2
=
(n k)(n +k + 1)
(k + 2)(k + 1)
C
k
68 EDOS CON COEFS. POLINOMIALES
Con la ltima ecuacin (Ecuacin Recursiva) se determinan los valores de los coecientes
con ndice 4 o mayores
C
4
=
(n 2) (n + 3)
12
C
2
=
(n 2) (n + 3) n(n + 1)
24
C
0
C
5
=
(n 3) (n + 4)
20
C
3
=
(n 3) (n + 4) (n 1) (n + 2)
120
C
1
C
6
=
(n 4) (n + 5)
30
C
4
=
(n 4) (n + 5) (n 2) (n + 3) n(n + 1)
720
C
0
C
7
=
(n 5) (n + 6)
42
C
5
=
(n 5) (n + 6) (n 3) (n + 4) (n 1) (n + 2)
5040
C
1
C
8
=
(n 6) (n + 7)
56
C
6
=
(n 6) (n + 7) (n 4) (n + 5) (n 2) (n + 3) n(n + 1)
40320
C
0
La solucin es entonces
y
1
= C
0

1
n(n + 1)
2!
x
2
+
(n 2)n(n + 1)(n + 3)
4!
x
4

(n 4)(n 2)n(n + 1)(n + 3)(n + 5)


6!
x
6
+

y
2
= C
1

x
(n 1)(n + 2)
3!
x
3
+
(n 3)(n 1)(n + 2)(n + 4)
5!
x
5

(n 5)(n 3)(n 1)(n + 2)(n + 4)(n + 6)


7!
x
7
+

De estas ecuaciones se puede observar que:


Si n es par y
1
se trunca y y
2
es Serie Inf.
Si n es impar y
2
se trunca y
1
es Serie Inf.
Por ejemplo, para n = 4
y
1
= C
0

1
5 4
2!
x
2
+
2 4 5 7
4!
x
4

= C
0

1 10x
2
+
35
3
x
4

y para n = 5
y
2
= C
1

x
4 7
3!
x
3
+
2 4 7 9
5!
x
5

= C
1

x
14
3
x
3
+
21
5
x
5

Cuando n es entero positivo, se obtiene una solucin en forma de polinomio de grado n


de la ec. de Legendre.
Escogiendo C
0
y C
1
de forma arbitraria.
EDO DE LEGENDRE 69
n par
n = 0, C
0
= 1
n = 2, 4, 6, . . . C
0
= (1)
n
2
13...(n1)
24...n
n impar
n = 1, C
1
= 1
n = 3, 5, 7 . . . C
1
= (1)
(n1)
2
13...n
24...(n1)
Por ejemplo para n = 4 C
0
=
3
8
y
1
=
1
8

3 30x
2
+ 35x
4

Por ejemplo para n = 5 C


1
=
15
8
y
2
=
1
8

15x 70x
3
+ 63x
5

Si se toman de esa manera C


0
y C
1
entonces una de las soluciones dar un POLINOMIO
DE LEGENDRE de grado n (se representan por P
n
(x)).
P
0
(x) = 1, P
1
(x) = x
P
2
(x) =
1
2
(3x
2
1), P
3
(x) =
1
2
(5x
3
3x)
P
4
(x) =
1
8
(35x
4
30x
2
+ 3), P
5
(x) =
1
8
(63x
5
70x
3
+ 15x)
Esto signica que P
0
(x), P
1
(x), P
2
(x)...son a su vez soluciones particulares de las ecs.
diferenciales.
n = 0 : (1 x
2
)y
00
2xy
0
= 0 P
0
(x)
n = 1 : (1 x
2
)y
00
2xy
0
+ 2y = 0 P
1
(x)
n = 2 : (1 x
2
)y
00
2xy
0
+ 6y = 0 P
2
(x)
n = 3 : (1 x
2
)y
00
2xy
0
+ 12y = 0 P
3
(x)
n = 4 : (1 x
2
)y
00
2xy
0
+ 20y = 0 P
4
(x)
Frmula de recurrencia para los polinomios de Legendre
(k + 1)P
k+1
(2k + 1)xP
k
+kP
k1
= 0, k = 2, 3, 4, . . .
El Polinomio general de Legendre se puede escribir en la forma
P
n
(x) =
[
n
2
]
X
k=0
(1)
k
(2n 2k)!
2
n
k!(n k)!(n 2k)!
x
n2k
70 EDOS CON COEFS. POLINOMIALES
donde

n
2

es el mximo entero no mayor que



n
2

.
Formula generadora de Rodrguez.
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
La Ecuacin Diferencial
sin
d
2
y
d
2
+ 2 cos
dy
d
+n(n + 1)(sin )y = 0
Se puede transformar en la EDO de Legendre con la sustitucin
x = cos
la cual resulta en
(1 x
2
)y
00
2xy
0
+n(n + 1)y = 0
4.7. Otras EDO de Segundo Orden
4.7.1. Ecuacion de Laguerre
La ecuacin de Laguerre
x
d
2
y
dx
2
+ (c x)
dy
dx
ay = 0
es satisfecha por la funcin hipergeomtrica. Esta ecuacin cae dentro de la ED de Bessel.
4.7.2. Ecuacin de Hermite
La ecuacin de Hermite
d
2
y
dx
2
2x
dy
dx
+ 2ny = 0
es satisfecha por el polinomio de Hermite de grado n, y = AH
n
(x) si n es un entero positivo o
cero. H
0
(x) = 1, H
1
(x) = 2x, H
2
(x) = 4x
2
2, H
3
(x) = 8x
3
12x, H
4
(x) = 16x
4
48x
2
+12;
H
r+1
(x) = 2xH
r
(x) 2rH
r1
(x). Esta ecuacin cae dentro de la ED de Bessel.
OTRAS EDO DE SEGUNDO ORDEN 71
4.7.3. Ecuacin de Chebyshev
La ecuacin de Chebyshev

1 x
2

d
2
y
dx
2
x
dy
dx
+n
2
y = 0
para n entero positivo o cero es satisfecha por el nsimo polinomio de Chebyshev y =
AT
n
(x). T
0
(x) = 1, T
1
(x) = x, T
2
(x) = 2x
2
1, T
3
(x) = 4x
3
3x, T
4
(x) = 8x
4
8x
2
+ 1;
T
r+1
(x) = 2xT
r
(x) T
r1
(x).
72 EDOS CON COEFS. POLINOMIALES
5. FUNCIONES ORTOGONALES
5.1. Conceptos bsicos
El lector ha estudiado ya los vectores en el espacio de dos y tres dimensiones, y sabe
que dos vectores no cero son ortogonales cuando su producto punto es cero. Al dejar ese
nivel (dos y tres dimensiones), las nociones de vectores, ortogonalidad y producto interno
pierden, con frecuencia, su interpretacin geomtrica. Estos conceptos se han generalizado y
es muy comn imaginar que UNA FUNCION ES UN VECTOR. En consecuencia, podemos
decir que dos funciones distintas son ortogonales cuando su producto interno es cero. En este
caso, veremos que el producto interno de los vectores es una integral denida. El concepto
de funciones ortogonales es fundamental en el estudio de los temas que siguen en el captulo.
Otro concepto importante es el desarrollo de una funcin f como serie innita de potencias
de x x
0
, llamada serie de potencias. Aqu se aprender a desarrollar una funcin f en
trminos de un conjunto innito de funciones ortogonales.
En matemticas superiores se considera que una funcin es la generalizacin de un vector.
En esta seccin veremos cmo los dos conceptos vectoriales de producto interno y ortogonal-
idad se pueden ampliar para abarcar las funciones.
5.1.1. Funciones peridicas
Sea f (t) denida para todo t > 0 y T > 0, f es peridica con perodo T si y solo si
f (t +T) = f (t)
Ejemplo 5.1 Cul es el perodo de la funcin sin(x)?
Teorema 1 Sean f (x) y g (x) funciones peridicas de perodo T; y a y b constantes. En-
tonces
h(x) = af (x) +bg (x)
tambien es una funcin peridica con perodo T.
Ejemplo 5.2 Las funciones sin(x) y cos(x) son funciones peridicas con perodo T = 2,
la funcin y (x) = 2 sin(x) + 3 cos(x) es tambien de perodo T = 2?
Teorema 2 Si T es perodo de f (x), entonces nT (n entero), tambien es perodo de f(x).
FUNCIONES ORTOGONALES 73
Ejemplo 5.3 Busque todos los posibles perodos de la funcin sin(x).
De acuerdo al ejemplo sin(x) = sin(x + 2) = sin (x + 4) = sin (x + 6) = =
sin (x +n), sin embargo, el menor de todos ellos es T = 2, el cual es llamado el mnimo
perodo.
En general el mnimo perodo de una funcin ocurrir cuando:
T =
perodo natural de la funcin
c
donde c es el coeciente del ngulo.
Ejemplo 5.4 Obtener el mnimo perodo de la funcin f (x) = cos (2x)
Ejemplo 5.5 Hallar el perodo menor de las funciones
1. cos (x)
2. sin(2x)
3. sin

2nx
k

4. tan

x
3

De igual manera se pueden generar funciones peridicas de algun perodo deseado T.


Ejemplo 5.6 Encontrar una funcin coseno de perodo T = 7,5
Se puede convertir en peridica una funcin que de por s no lo sea:
Ejemplo 5.7 Hacer perodica la funcin f (x) = e
x
en el dominio < x <
5.1.2. Producto Interno
Entre Vectores
Supongamos que

u y

v son vectores en el espacio tridimensional. El producto interno
(

u ,

v )

v de los vectores posee las propiedades siguientes:


1. (

u ,

v ) = (

v ,

u )
2. (k

u ,

v ) = k (

u ,

v ), donde k es un escalar
3. (

u ,

u ) = 0, si

u = 0, y (

u ,

u ) > 0 si

u 6= 0
4. (

u +

v ,

w) = (

u ,

w) + (

v ,

w)
74 FUNCIONES ORTOGONALES
Entre Funciones
Una generalizacin del concepto de producto interno debe tener las mismas propiedades.
Supongamos ahora que f
1
(x) y f
2
(x) son funciones denidas en un intervalo [a, b]. Como
una integral del producto f
1
(x) f
2
(x) denida en el intervalo tambien posee las propiedades
anteriores, siempre y cuando existan las integrales, podemos denir el producto interno de
dos funciones f
1
(x) y f
2
(x) en un intervalo [a, b] como
(f
1
(x) , f
2
(x)) =
Z
b
a
f
1
(x) f
2
(x) dx
5.1.3. Funciones Ortogonales
Dado que dos vectores

u y

v son ortogonales cuando su producto interno es cero,
entonces dos funciones f
1
(x) y f
2
(x) son funciones ortogonales en un intervalo [a, b] si
(f
1
(x) , f
2
(x)) =
Z
b
a
f
1
(x) f
2
(x) dx = 0
A diferencia del anlisis vectorial, en donde la palabra ortogonal es sinnimo de per-
pendicular, en el presente contexto el trmino ortogonal y la condicin anterior no tienen
signicado geomtrico.
Ejemplo 5.8 Vericar que las funciones f
1
(x) = x
2
y f
2
(x) = x
3
sean ortogonalesen el
intervalo [1, 1]
5.1.4. Norma o Longitud Generalizada
La norma, o longitud k

u k, de un vector

u se puede expresar en trminos del producto
interno; concretamente, (

u ,

u ) = k

u k
2
, o bien k

u k =
p
(

u ,

u ). La norma, o longitud
generalizada, de una funcin
n
, es
k
n
(x)k =
p
(
n
,
n
)
=
s
Z
b
a

2
n
(x) dx
El nmero
k
n
(x)k
2
=
Z
b
a

2
n
(x) dx
se llama norma cuadrada de
n
.
CONCEPTOS BSICOS 75
5.1.5. Conjunto Ortogonal y Funcin Peso
Un conjunto de funciones de valor real
{
0
,
1
,
2
, . . .}
es ortogonal en un intervalo [a, b] si
(
m
,
n
) =
Z
b
a

m
(x)
n
(x) dx = 0, m 6= n
Si {
n
(x)} es un conjunto ortogonal de funciones en el intervalo [a, b] y tiene la propiedad
que k
n
(x)k = 1 para n = 0, 1, 2, . . ., se dice que {
n
(x)} es un conjunto ortonormal en
el intervalo.
Ejemplo 5.9 Demostrar que los conjuntos de funciones son ortogonales:
n
cos

n
p
x
o
y
n
sin

n
p
x
o
, n = 1, 2, 3, . . . ; p > 0, en el intervalo p x p
Ejemplo 5.10 Resolver
1. Demuestre que el conjunto {1, cos x, cos 2x, . . .}es ortogonal en el intervalo [, ]
2. Determine la norma de la funcin f (x) = cos x, en el intervalo [, ]
Se dice que un conjunto de funciones {
n
(x)} , n = 0, 1, 2, . . . es ORTOGONAL CON
RESPECTO A UNA FUNCION PESO w(x) en un intervalo [a, b] si
Z
b
a
w(x)
m
(x)
n
(x)dx = 0, m 6= n
La hiptesis habitual es que w(x) > 0 en el intervalo de ortogonalidad [a, b] .
Ejemplo 5.11 Cul es la funcin peso del conjunto {1, cos x, cos 2x, . . .}?
5.1.6. Conjuntos Completos
Un conjunto de funciones {
n
(x)|n = 0, 1, 2, . . .} ) se dice que es un conjunto ortogonal
COMPLETO si la nica funcin ortogonal al conjunto que no esta en l es la funcin cero.
Esto quiere decir que la nica funcin (fuera del conunto) ortogonal a cada miembro del
conjunto es la funcin cero. En lo sucesivo se considerar que los conjuntos ortogonales son
completos. Obsrvese que un conjunto completo se puede ver como una sucesin.
76 FUNCIONES ORTOGONALES
5.2. Series de Fourier
En un captulo anterior ya se hablo de series. Particularmente se hablo de series de
potencias. En ese captulo se denio el concepto de serie, el cual es: na serie es la suma de
todos los trminos de una sucesin".
Jean Baptiste J. Fourier desarroll una teora sobre conduccin de calor, para la cual
necesit las series trigonomtricas, que tienen unos coecientes determinados ingeniosa-
mente por l. Estas series tienen una gran aplicacin en fenmenos de naturaleza peridica,
tales como vibraciones magnticas, terremotos, corrientes, etc.
5.2.1. Serie de Fourier Generalizada
Vamos a establecer una analoga ms entre vectores y funciones.
Componentes de un vector
Suponga que

v
1
,

v
2
y

v
3
son tres vectores no cero, ortogonales entre s (conjunto
nito ortogonal) en el espacio tridimensional. Ese conjunto ortogonal se puede usar como
una base para el espacio en tres dimensiones; esto es, cualquier vector tridimensional se
puede escribir en forma de una combinacin lineal

u = c
1

v
1
+c
2

v
2
+c
3

v
3
en donde las c
i
, i = 1, 2, 3, son escalares y se llaman componentes del vector.
Cada componente c
i
se puede expresar en trminos de

u y del vector

v
i
correspondiente.
Para lograrlo se toma el producto punto del vector

u por

v
i
:

v
1
= c
1
(

v
1

v
1
) +c
2
(

v
2

v
1
) +c
3
(

v
3

v
1
)
= c
1
k

v
1
k
2
+c
2
0 +c
3
0

v
1
= c
1
k

v
1
k
2
Por consiguiente
c
1
=

u

v
1
k

v
1
k
2
En forma semejante se puede comprobar que cualquier componentes c
n
se puede expresar
como sigue:
c
n
=

u

v
n
k

v
n
k
2
SERIES DE FOURIER 77
Entonces el vector

u puede escribirse en la siguiente forma:

u =

u

v
1
k

v
1
k
2

v
1
+

u

v
2
k

v
2
k
2

v
2
+

u

v
3
k

v
3
k
2

v
3
=
3
X
n=1

v
n
k

v
n
k
2

v
n
Coecientes de Fourier
Supongamos que {
n
(x)} es un conjunto innito ortogonal de funciones en un intervalo
[a, b]. En analoga con los vectores, una funcin y = f (x) denida en el intervalo [a, b] puede
ser expresada en trminos de estas funciones ortogonales como una combinacin lineal de
llas (serie innita de funciones ortogonales), esto es:
f (x) = c
0

0
(x) +c
1

1
(x) + +c
n

n
(x) +
f (x) =

X
n=0
c
n

n
(x)
De este modo, los coecientes c
n
se pueden determinar mediante el producto interno,
como en la descripcin anterior, cuando se determinaron los componentes de un vector.
Al multiplicar la ltima ecuacin por
m
(x) e integrar en el intervalo [a, b] se obtiene
Z
b
a
f (x)
m
(x) dx = c
0
Z
b
a

0
(x)
m
(x) dx +c
1
Z
b
a

1
(x)
m
(x) dx
+ +c
n
Z
b
a

n
(x)
m
(x) dx +
Z
b
a
f (x)
m
(x) dx =

X
n=0
c
n
Z
b
a

n
(x)
m
(x) dx
(f (x) ,
m
(x)) =

X
n=0
c
n
(
n
(x) ,
m
(x))
Debido a la ortogonalidad, cada trmino del lado derecho de la ltima ecuacin es cero,
excepto cuando m = n. En este caso se tiene
Z
b
a
f (x)
n
(x) dx = c
n
Z
b
a

2
n
(x) dx
Entonces los coecientes buscados se obtienen de esta ecuacin y son:
c
n
=
(f (x) ,
n
(x))
k
n
(x)k
2
=
R
b
a
f (x)
n
(x) dx
R
b
a

2
n
(x) dx
, n = 0, 1, 2, . . .
78 FUNCIONES ORTOGONALES
En resumen
f (x) =

X
n=0
c
n

n
(x)
en la que
c
n
=
(f (x) ,
n
(x))
k
n
(x)k
2
Por lo que f (x) en notacin de producto interno es
f (x) =

X
n=0
(f (x) ,
n
(x))
k
n
(x)k
2

n
(x)
Se puede ver que esta ecuacin es el anlogo funcional del resultado vectorial obtenido
anteriormente. Esta ecuacin es la expansin en Series de Fourier Generalizadas de una
funcin f (x).
5.2.2. Series de Fourier Trigonomtricas
Las series de fourier estan basadas en el conjunto de funciones trigonomtricas ortogonales

1, cos

p
x

, cos

2
p
x

, cos

3
p
x

, , sin

p
x

, sin

2
p
x

, sin

3
p
x

en el intervalo [p, p] con perodo T = 2p.


La Serie de Fourier de una funcin f denida en el intervalo [p, p]es
f(x) =
a
0
2
+

X
n=1

a
n
cos

n
p
x

+b
n
sin

n
p
x

en la cual
a
0
=
1
p
Z
p
p
f(x)dx
a
n
=
1
p
Z
p
p
f(x) cos

n
p

xdx
b
n
=
1
p
Z
p
p
f(x) sin

n
p

xdx
Las expresiones anteriores se conocen como frmulas de Euler.
Ejemplo 5.12 Desarrollo en serie de Fourier la funcin
f(x) =

0 if < x < 0
x if 0 < x <
SERIES DE FOURIER 79
5.2.3. Convergencia de una Serie de Fourier
Sea f una funcin peridica, con perodo T = 2p y sean f (x) y f
0
(x) seccionalmente
continuas en el intervalo (p, p) .
Entonces la serie de Fourier converge a:
1. f(x) si x es un punto de continuidad.
2.
1
2

lm
xx
+
0
f(x) + lm
xx

0
f(x)
!
si x es un punto de discontinuidad.
Ejemplo 5.13 Encontrar si la funcin siguiente satisface las condiciones de convergencia
f(x) =

0 if < x < 0
x if 0 < x <
5.3. Series de Fourier de Senos y Cosenos
5.3.1. Funciones Pares e Impares
1. f (x) es funcin PAR en el intervalo [a, b] si y solo si f(x) = f(x)
2. f (x) es funcin IMPAR en el intervalo [a, b] si y solo si f(x) = f(x)
En la siguiente gura se muestran estos conceptos
Funcin PAR Funcin IMPAR
Hay funcioes que NO son pares ni impares (el hecho de que una funcin no sea par, no
implica que sea impar). Una funcin par es simtrica respecto al eje y, una funcin impar es
simtrica respecto al origen.
80 FUNCIONES ORTOGONALES
Ejemplo 5.14 Determine el tipo de funcin (par o impar)
1. f (x) = x
2
2. f(x) = x
3
3. cos x
4. sinx
Propiedades de las Funciones Pares e Impares
1. El producto de dos funciones pares es par: (par) (par) = (par)
2. El producto de dos funciones impares es par: (imp) (imp) = (par)
3. El producto de una funcin impar y una funcin par es impar: (imp) (par) = (imp)
4. La suma o diferencia de dos funciones pares es par: (par) (par) = (par)
5. La suma o diferencia de dos funciones impares es impar: (imp) (imp) = (imp)
6. Si f es par
R
a
a
f(x)dx = 2
R
a
0
f(x)dx
7. Si f es impar
R
a
a
f(x)dx = 0
5.3.2. Series de Senos y Cosenos
Si f es una funcin par en [p, p], entonces, en vista de las propiedades anteriores, los
coecientes de la serie
f(x) =
a
0
2
+

X
n=1

a
n
cos
n
p
x +b
n
sin
n
p
x

se transforman en
a
0
=
1
p
Z
p
p
f(x)dx =
2
p
Z
p
0
f(x)dx
a
n
=
1
p
Z
p
p
f(x) cos

n
p
x

dx =
2
p
Z
p
0
f(x) cos
n
p
xdx
b
n
=
1
p
Z
p
p
f(x) sin

n
p
x

dx = 0
SERIES DE FOURIER DE SENOS Y COSENOS 81
En forma parecida, cuando f es impar en el intervalo [p, p],
a
0
=
1
p
Z
p
p
f(x)dx = 0
a
n
=
1
p
Z
p
p
f(x) cos

n
p
x

dx = 0
b
n
=
1
p
Z
p
p
f(x) sin

n
p
x

dx =
2
p
Z
p
0
f(x) sin

n
p
x

dx
Resumiendo los resultados:
1. a) La serie de Fourier de una funcin par en el intervalo [p, p] es la Serie de
Cosenos
f(x) =
a
0
2
+

X
n=1
a
n
cos

n
p
x

en donde
a
0
=
2
p
Z
p
0
f(x)dx
a
n
=
2
p
Z
p
0
f(x) cos

n
p
x

dx
b) La serie de Fourier de una funcin impar en el intervalo [p, p] es la Serie de
Senos
f(x) =

X
n=1
b
n
sin

n
p
x

en donde
b
n
=
2
p
Z
p
0
f(x) sin

n
p
x

dx
Ejemplo 5.15 Desarrolle f(x) = x, 2 < x < 2 en forma de una serie de Fourier.
Ejemplo 5.16 Desarrollar en series la funcin
f(x) =

1 if < x < 0
1 if 0 x <
En los ejemplos anteriores, las guras de las series parciales tienen picos notables cerca
de las discontinuidades (por ejemplo en x = 2 o en x = y x = 0, respectivamente). Este
exceso de las sumas parciales S
N
, respecto a los valores de la funcin cerca del punto de
discontinuidad no se empareja, sino que permanece bastante constante, aunque el valor de
N sea muy grande. A este comportamiento de una serie de Fourier cerca de un punto en el
que f es discontinua se le llama FENOMENO DE GIBBS.
82 FUNCIONES ORTOGONALES
5.3.3. Desarrollo en Mitad del Intervalo
En lo que va del captulo se ha dado por supuesto que una funcin f est denida
en un intervalo con el origen en su punto medio esto es, que p < x < p. Sin embargo,
en muchos casos se esta interesado en representar, mediante una serie trigonmetrica, una
funcin denida slo para 0 < x < L. Esto se puede hacer de muchas formas distintas dando
una denicin arbitraria de la funcin en el intervalo L < x < 0. Por brevedad slo se
describirn los tres casos ms importantes.
Si y = f(x) est denida en el intervalo 0 < x < L, entonces.
1. Reejar la grca de la funcin respecto al eje y, en L < x < 0
0
5
10
15
20
-4 -2 2 4 x
La funcin ahora es par en L < x < L
2. Reejar la grca de la funcin respecto al rigen, en L < x < 0
-100
-50
0
50
100
-4 -2 2 4 x
La funcin viene a ser impar en L < x < L
SERIES DE FOURIER DE SENOS Y COSENOS 83
3. Dena f en L < x < 0 como f(x) = f(x +L)
f (x) =
_
_
_
x
2
if 0 x 5
f(x 5) if x > 5
f (x + 5) if x < 0
0
5
10
15
20
25
-4 -2 2 4 x
Obsrvese que en los coecientes de las series de Cosenos y Senos slo se utiliza la deni-
cin de la funcin en 0 < x < p (esto es, la mitad del intervalo p < x < p). Por est razn,
en la prctica no hay necesidad de reejar como se describi en 1) y en 2). Si se dene f en
0 < x < L, tan slo se identica la mitad del perodo, o semiperodo, como la longitud del
intervalo p = L. Tanto las frmulas de los coecientes como las series correspondientes dan
una extensin peridica par o impar, de perodo 2L como funcin original. Las series de senos
y cosenos que se obtienen con este mtodo se llaman DESARROLLOS EN MITAD DE
INTERVALO. Por ltimo, en el caso (3), se igualan los valores funcionales en el intervalo
L < x < 0 con los del intervalo 0 < x < L. Como en los dos casos anteriores, no hay
necesidad de hacerlo.
Ejemplo 5.17 Desarrollar en series de Cosenos y Senos la funcin f(x) = x
2
, 0 < x < L.
5.4. El Problema de STURM-LIOUVILLE
5.4.1. Valores Propios y Funciones Propias (Eigenvalores y Eigenfunciones)
La soluciones al problema de valor en la frontera
y
00
+
2
y = 0, y(0) = 0, y(L) = 0
84 FUNCIONES ORTOGONALES
donde es una constante, que por comodidad se toma positiva.
La solucin de la EDO es:
y (x) = C
1
cos (x) +C
2
sin (x)
Al sustituir las CF se llega a:
y (0) = C
1
cos (0) +C
2
sin (0) = 0
y (L) = C
1
sin(L) +C
2
cos (L) = 0
De la primera ecuacion se tiene que C
1
= 0, por lo que la segunda se transforma en
C
2
cos (L) = 0
Puesto que 6= 0, entonces C
2
o cos

deben ser cero. C


2
no puede ser cero porque
conducira a la solucin TRIVIAL, y (x) = 0. Por lo tanto se preere
cos (L) = 0
Lo cual conduce a ciertos valores del parmetro , para los cuales la solucin es no-trivial.
Dichos valores de son
=
n
L
, n = 1, 2, 3, . . .
Los nmeros =
n
L
, n = 1, 2, 3, . . . y sus soluciones no triviales correspondientes, y =
C
2
sin

n
L
x

o simplemente y = sin

n
L
x

se llaman, respectivamente, Valores Propios y


Funciones Propias del problema de valor en la frontera.
Ejemplo 5.18 Resolver
y
00
+
9
2
L
2
y = 0
y(0) = 0, y(L) = 0
Ejemplo 5.19 Resolver
y
00
2y = 0
y(0) = 0, y(L) = 0
El conjunto

sin

n
L
x

, n = 1, 2, 3, . . . es el conjunto ortogonal de funciones en el inter-


valo [0, L] que se usa como base para la serie de Fourier de senos.
5.4.2. Problema Normal de Sturm-Liouville
Los problemas de valor de frontera en las eccuaciones anteriores son casos especiales del
siguiente problema general:
EL PROBLEMA DE STURM-LIOUVILLE 85
Sean p, q, r y r
0
funciones de valor real continuas en un intervalo [a, b], y sean r(x) > 0
y p(x) > 0 para todo x en el intervalo. El problema de valor en la frontera con dos puntos
Resolver :
d
dx

r(x)
dy
dx

q(x) +
2
p(x)

y = 0
Sujeta a :
1
y(a) +
1
y
0
(a) = 0
:
2
y(b) +
2
y
0
(b) = 0
se llama Problema Normal de STURM-LIOUVILLE. Los coecientes
1
,
2
,
1
y
2
se suponen reales e independientes de . Adems,
1
y
1
no son cero ambas ni
2
y
2
son
cero ambas.
Como la ecuacin diferencial es homognea, el problema de Sturm-Liouville tiene siem-
pre la solucin trivial y = 0.
Las condiciones en la frontera (combinacin lineal de y y y
0
igual a cero en un punto)
tambin son homogneas. Una condicin en la frontera como
1
y(a)+
1
y
0
(a) = c, cuando la
constante c es distinta de cero, es no-homognea. Naturalmente se dice que un problema de
valor en la frontera que consista en una ecuacin diferencial lineal homgenea y condiciones
homogneas en la frontera es homogneo; de no ser as es no homogneo. El problema se
Sturm-Liouville expresado en las ecuaciones anteriores es un problema homogneo de valor
en la frontera.
5.4.3. Propiedades del Problema Regular de Sturm-Liouville
1. Existe una cantidad innita de valores propios reales que se pueden ordenar en forma
ascendente,
1
<
2
<
2
< <
n
de modo que
n
tiende a innito cuando n
tiende a innito
2. A cada valor propio corresponde slo una funcin propia, (salvo por mltiplos distintos
de cero).
3. Las funciones propias que corresponden a los diversos valores propios son linealmente
independientes.
4. El conjunto de funciones propias que corresponde al conjuunto de los valores propios
es ortogonal con respecto a la funcin peso p(x) en el intervalo [a, b] .
Ejemplo 5.20 Resuelva el problema de valor en la frontera:
y
00
+
2
y = 0, y(0) = 0, y(1) +y
0
(1) = 0
86 FUNCIONES ORTOGONALES
5.4.4. Problema Singular de Sturm-Liouville
Si r(a) = 0, o r(b) = 0 o si r(a) = r(b) = 0, el problema de Sturm-Liouville que consiste
en la ecuacin diferencial y las condiciones en la frontera es un problema Singular. En el
primer caso, x = a puede ser un punto singular de la ecuacin diferencial y, en consecuencia,
una solucin de la ecuacin diferencial puede crecer sin lmite cuando x tiende hacia a. Sin
embargo, si r(a) = 0 no necesita condicin en la frontera en x = a para demostrar la ortog-
onalidad de las funciones propias, siempre que esas soluciones sean acotadas en ese punto.
Este requisito garantiza la existencia de las integrales que intervinieron. Suponiendo que
las soluciones de la ecuacin diferencial son acotadas en el intervalo cerrado [a, b], podemos
armar que
1. Si r(a) = 0, la relacin de ortogonalidad es vlida, sin ninguna condicin en la frontera
en x = a.
2. Si r(b) = 0, la relacin de ortogonalidad es vlida sin ninguna condicin en la frontera
en x = b.
3. Si r(a) = r(b) = 0, la relacin de ortogonalidad es vlida sin ninugna condicin en la
frontera, en x = a ni en x = b.
5.4.5. Forma Autoadjunta
Si los coecientes son continuos y a(x) no es igual a cero para todo x en algn intervalo,
cualquier ecuacin diferencial de segundo orden
a(x)y
00
+b(x)y
0
+ (c(x) +d(x))y = 0
se puede llevar a la llamada Forma Autoadjunta, si se multiplica por el factor integrante
1
a(x)
exp
Z
b(x)
a(x)

dx
Para comprobarlo, observemos que la ecuacin diferencial
e
U
(
b
a
)
dx
y
00
+
b(x)
a(x)
e
U
(
b
a
)
dx
y
0
+

c(x)
a(x)
e
U
(
b
a
)
dx
+
d(x)
a(x)
e
U
(
b
a
)
dx

y = 0
es la misma que
d
dx
_
_
e
U
(
b
a
)
dx
| {z }
r(x)
y
0
_
_
+
_
_
_
_
_
c(x)
a(x)
e
U
(
b
a
)
dx
| {z }
q(x)
+
d(x)
a(x)
e
U
(
b
a
)
dx
| {z }
p(x)
_
_
_
_
_
y = 0
EL PROBLEMA DE STURM-LIOUVILLE 87
5.5. Series de Bessel y Legendre
La serie de fourier, la serie de Fourier de cosenos y la serie de Fourier de senos son
tres formas de desarrollar una funcin en trminos de un conjunto ortogonal de funciones.
Pero esos desarrollos de ninguna manera se limitan a conjuntos ortogonales de funciones
trigonomtricas. Al inicio del captulo se vio que una funcin f, denida en un intervalo
[a, b], se puede desarrollar, cuando menos formalmente, en trminos de cualquier conjunto
de funciones {
n
(x)} que es ortogonal con respecto a una funcin peso en [a, b]. Muchas de
estas llamadas series generalizadas de Fourier se originan en problemas de Sturm-Liouville
planteados en las aplicaciones fsicas de ecuaciones (diferenciales en derivadas parciales)
lineales.
5.5.1. Series de Fourier-Bessel
El conjunto de funciones Bessel {J
n
(
i
x)}, i = 1, 2, 3, . . ., es ortogonal con respecto a la
funcin peso p (x) = x en un intervalo [0, b] cuando se denen los valores propios mediante
una condicin de frontera

2
J
n
(b) +
2
J
0
n
(b) = 0
El desarrollo generalizado de Fourier de una funcin f denida en [0, b], en trminos de
este conjunto ortogonal es
f (x) =

X
i=1
c
i
J
n
(
i
x)
en donde
c
i
=
R
b
0
xJ
n
(
i
x) f (x) dx
R
b
0
xJ
2
n
(
i
x) dx
Esta es la llamad serie de Fourier-Bessel de una funcin f denida en el intervalo [0, b].
A continuacin, se describen tres casos para esta serie:
1. Se escoge
2
= 1 y
2
= 0
f (x) =

X
i=1
c
i
J
n
(
i
x)
c
i
=
2
b
2
J
2
n+1
(
i
b)
Z
b
0
xJ
n
(
i
x) f (x) dx
kJ
n
(
i
x)k
2
=
b
2
2
J
2
n+1
(
i
b)
88 FUNCIONES ORTOGONALES
en donde las
i
se denen mediante J
n
(b) = 0
2. Se escoge
2
= h 0 y
2
= b
f (x) =

X
i=1
c
i
J
n
(
i
x)
c
i
=
2
2
i

2
i
b
2
n
2
+h
2

J
2
n
(
i
b)
Z
b
0
xJ
n
(
i
x) f (x) dx
kJ
n
(
i
x)k
2
=

2
i
b
2
n
2
+h
2
2
2
i
J
2
n
(
i
b)
en donde las
i
se denen mediante hJ
n
(b) +bJ
0
n
(b) = 0
3. Se escoge
2
= 0,
2
= b y n = 0
f (x) = c
0
+

X
i=2
c
i
J
0
(
i
x)
c
0
=
2
b
2
Z
b
0
xf (x) dx
c
i
=
2
b
2
J
2
n
(
i
b)
Z
b
0
xJ
n
(
i
x) f (x) dx
kJ
n
(
i
x)k
2
=
b
2
2
J
2
0
(
i
b)
en donde las
i
se denen mediante J
0
0
(b) = 0.
5.5.2. Series de Fourier-Legendre
El conjunto de polinomios de Legendre, {P
n
(x)}, n = 0, 1, 2, . . ., es ortogonal con respecto
a la funcin peso p (x) = 1 en [1, 1]. Ademas, se puede demostras que
kP
n
(x)k
2
=
Z
1
1
P
2
n
(x) dx =
2
2n + 1
La serie generalizada de Fourier de los polinomios de Legendre se dene como sigue:
La serie de Fourier-Legendre de una funcin f denida en el intervalo [1, 1] es
f (x) =

X
i=0
c
n
P
n
(x)
SERIES DE BESSEL Y LEGENDRE 89
en donde
c
n
=
2n + 1
2
Z
1
1
f (x) P
n
(x) dx
90 FUNCIONES ORTOGONALES
6. MODELAMIENTO MATEMATICO
En este captulo se presenta una descripcin bsica de los principios fundamnetales de
la ingeniera de procesos. El enfoque est principalmente en ligar los fenmenos naturales,
en forma de modelos, con las herramientas matemticas que se han visto el los captulos
anteriores. En este sentido, se supondr que el alumno ya ha tomado un curso bsico de
balances de materia y energa. Quien no haya tomado estos cursos o este interesado
en tpicos particulares de dicha materia, se le recomiendan los textos especializados, tales
como aquellos de los autores Felder, Himelblau, Seader, etc. Estos textos enfocan el estudio
principalmente en los fenmenos en estado estacionario, dejando solo un captulo para
tratar los fenmenos en estado transitorio. Aq estaremos tratando los fenmenos en estado
transitorio, lo cual generar modelos descritos por ecuaciones diferenciales.
6.1. Balances de Masa, Energa y Momento
La gura describe un proceso general en Ingeniera Qumica
MODELAMIENTO MATEMATICO 91
6.1.1. Balance general:
rapidez
de
cambio
=
flujo
de
entrada

flujo
de
salida

rapidez
de
gen/cons
6.1.2. Balance de masa total:
d(m
T
)
dt
=
X
e:ent

m
e

X
s:sal

m
s
d(V )
dt
=
X
i:ent

i
F
i

X
j:sal

j
F
j
6.1.3. Balance de masa para el componente A:

d(m
A
)
dt

PM
A
=

X
i:ent
C
mAi
F
i

X
j:sal
C
mAj
F
j
r
m
V
!
PM
A
d(n
A
)
dt
=
X
i:ent
C
Ai
F
i

X
j:sal
C
Aj
F
j
rV
d(C
A
V )
dt
=
X
i:ent
C
Ai
F
i

X
j:sal
C
Aj
F
j
rV
6.1.4. Balance de Energa:
dE
dt
=
X
i

m
i
b
h
i

X
j

m
j
b
h
j

.
Q
.
W
d(U +E
k
+E
p
)
dt
=
X
i:ent

i
F
i
b
h
i

X
j:sal

j
F
j
b
h
j

.
Q
.
W
92 MODELAMIENTO MATEMATICO
6.1.5. Balance de movimiento (segunda Ley de Newton)
ma =
X
f
m
d
2
X
dt
2
= m
dv
dt
= m

X = m

v =
X
f
donde:
Densidad del material en el sistema.

i
(
j
) Densidad del material en la i-sima entrada (j-sima salida).
V Volumen total del sistema.
F
i
(F
J
) Velocidad del ujo volumetrico en la i-sima entrada (j-sima salida).
n
A
Nmero de moles del componente A en el sistema.
C
A
Concentracin molar (moles/volumen) de A en el sistema.
C
Ai
(C
Aj
) Concentracin de A en la i-sima entrada (j-sima salida).
r Velocidad de reaccin por unidad de volumen para el componente A en el sistema.
b
h
i
(
b
h
j
) Entalpa especca del material en la i-sima entrada (j-sima salida).
U, K, P Energa interna, cintica y potencial del sistema.
Q Cantidad de calor intercambiada entre el sistema y sus alrededores por unidad del
tiempo.
W
S
Trabajo intercambiado entre el sistema y sus alrededores por unidad de tiempo.
f Fuerza
Por convenencia una cantidad es positiva cuando uye hacia dentro del sistema y es
negativa cuando uye hacia afuera del sistema.
6.2. Elementos Adicionales de los Modelos Matemticos
6.2.1. Transferencia de Calor
1 Ley de Newton del Enfriamiento (conveccin): Cantidad de calor proporcionado por
un vapor a un sistema, a travez de una pared
q
x
= UA
t
(T
st
T)
donde:
U Coeciente total de transferencia de calor.
A
t
Area total de transferencia de calor.
T
st
Temperatura del vapor
ELEMENTOS ADICIONALES DE LOS MODELOS MATEMTICOS 93
1. Ley de Fourier de la Conduccin de Calor: Cantidad de calor que uye a travez de la
pared de un material en la direccion de x positiva
q
x
= kA
dT
dx
donde:
A
t
Area transversal al ujo de calor.
k Conductividad trmica del material
6.2.2. Ecuaciones Cinticas de Velocidad de Reaccin (Reactores y Cintica).
Son necesarias para describir la rpidez de generacin o consumo de las especies qumicas
que tomar lugar en el sistema reactivo.
Ejemplo: La velocidad de reaccin tomando lugar en un CSTR es dada por:
r = k
0
e
(

E
RT
)
C
A
donde:
k
0
Constante cin tica preexponencial.
E Energ a de activaci n para la reacci n
R Constante del gas ideal
T, C
A
Temperatura y concentracin del uido reaccionando
6.2.3. Relaciones de Equilibrio de Fases y de Reaccin (Termodinmica)
Son necesarias para describir las situaciones de equilibrio encontradas durante una reac-
cin quimica o por dos o ms fases.
En equilibrio Trmico (T = cte) y Mecnico (P = cte) se tienen las relaciones de fugaci-
dades

f
1
1
=

f
2
1
=

f

f
1
2
=

f
2
2
=

f

f
1
i
=

f
2
i
=

f

i
94 MODELAMIENTO MATEMATICO
y
A
=f(x
A
, x
B
)
y
B
= f(x
A,
x
B
)
Ejemplos de ellas son:
1. Ley de Raoult:
y
i
x
i
=
p

i
p
o bien
y
i
=

p

i
P

x
i
2. Ecuacin de Antoine:
ln(p

i
) = A
B
T +C
con A, B y C como constantes
6.2.4. Ecuaciones de Estado (Termodinmica)
Son necesarias para describir la relacin entre variables intensivas que describen el estado
termodinmico del sistema.
Ejemplos de ellas son:
1. Ley del Gas Ideal:
pV = nRT
ELEMENTOS ADICIONALES DE LOS MODELOS MATEMTICOS 95
2. Van der Waals

p +
a
v
2

(v b) = RT
a =
9RT
c
v
c
8
= 3p
c
v
2
c
b =
v
c
3
3. Redlich-Kwong:

p +
a
T
,0,5
v (v +b)

(v b) = RT
a =
0,4278R
2
T
2,5
c
P
c
b =
0,0867RT
c
P
c
4. Dieterici:

p +
a
v
2

exp
a
(RTv)
= RT
a =
4R
2
T
3
c
e
c
= 3p
c
v
2
c
T
c
b =
v
c
3
5. Berthelot:

p +
a
v
2

(v b) = RT
a =
27R
2
T
3
c
64p
c
= 3p
c
v
2
c
T
c
b =
v
c
3
6. Clausius:

p +
a
T (v +c)
2

(v b) = RT
a =
27R
2
T
3
c
64p
c
b = v
c
(RT
c
/4P
c
)
c =

3RT
c
8P
c

v
c
7. Otras relaciones de la forma: = f(p, T)
96 MODELAMIENTO MATEMATICO
6.3. Ejemplos de EDOs de 1
er
Orden en Ingeniera
Se presentan ejemplos bsicos de la ingeniera.
Ejemplo 6.1 Mezclado
1. Suponga que un tanque grande de mezclado contiene 300gal de agua en un inicio en los
que se disolvieron 50lb de sal. Al tanque entra agua pura con un ujo de 3gal/ mn y,
con el tanque bin agitado, sale el mismo ujo. Deduzca una ED que exprese la cantidad
de sal que hay en el tanque en cualquier instante del tiempo. Resp.:
dC
dt
=
1
100
C.
2. Un tanque grande de mesclado contiene al principio 300gal de agua, en los que se han
disuelto 50lb de sal. Al tanque entra otra salmuera a un ujo de 3gal/ mn y, estando
bin mezclado el contenido del tanque, salen tan solo 2gal/ mn. Si la concentracin de
la solucin que entra es de 2lb/gal, deduzca una ED que exprese la cantidad de sal que
hay en el tanque en cualquier instante del tiempo. Resp.:
dC
dt
=
3
t+300
(2 C).
3. Un tanque contiene 400 litros de salmuera en los que estan disueltos 5 kg de sal. Se
vierte agua dulce en el tanque a la rapidez de 20 l/ mn, y la mezcla, que agitndola se
mantiene prcticamente uniforme, se extrae a la misma rapidez. Cunta sal habr
en el tanque al trmino de 2 horas?. Resp.: 3,098 4 10
5
kg/l
Ejemplo 6.2 Ley de Torricelli
1. Por un agujero circular de rea A
0
, en el fondo de un tanque cbico de 12ft de lado,
sale agua. Debido a la friccin y a la concentracin de la corriente cerca del agujero,
el ujo (volumtrico) de agua, se reduce a cAo

2gh, donde 0 < c < 1 (adimensional).


Deduzca una ED que exprese la altura h del agua en cualquier momento t, que hay
en el tanque cbico de la gura. Si el radio del agujero es 2in y g = 32ft/s
2
. Resp.:
dh
dt
=

c
A
0
A

2g

h.
2. Un tanque tiene la forma de un cilindro circular recto, de 2ft de radio y 10ft de altura,
parado sobre una de sus bases. Al principio el cilindro est lleno de agua y sta sale
por un agujero circular de
1
2
in de radio en el fondo. Deduzca una ED que exprese la
altura h del agua en cualquier momento t, que hay en el tanque cilndrico de la gura.
Resp.:
dh
dt
=

c
A
0
A

2g

h.
3. Un tanque tiene la forma de un cono, de 2ft de radio y 10ft de altura, parado sobre su
punta. Al principio el cono esta lleno de agua y sta sale por un agujero circular de
1
2
in
de radio en el fondo. Deduzca una ED que exprese la altura h del agua en cualquier
momento t, que hay en el tanque cnico de la gura. Resp.: h
3
2
dh
dt
=
cH
2
A
0

2g
R
2
.
EJEMPLOS DE EDOS DE 1
ER
ORDEN EN INGENIERA 97
4. Un tanque tiene la forma de una esfera, de 10ft de radio. Al principio la esfera es-
ta llena de agua y sta sale por un agujero circular de 1/2in de radio en el fondo.
Deduzca una ED que exprese la altura h del agua en cualquier momento t. Resp.:
(2r h)

h
dh
dt
=
c

A
0

2g.
5. Considrese un tanque esfrico de radio R = 50 cm que contiene agua y tiene en el
fondo una salida de radio r
o
= 5 cm. En el instante t = 0 se abre la salida y el agua
uye hacia afuera. Determinar el tiempo en que el tanque quedar vaco, suponiendo
que la altura inicial del nivel del agua es h(0) = R = 50 cm.Determinar el tiempo
necesario para que salga el 50 % del agua.Porqu este tiempo es menos de la mitad
del tiempo necesario para drenar completamente el tanque?. Resp.: vacio 14. 900seg, la
mitad 8. 502 9seg.
Tanque Cbico Tanque Cilndrico
Tanque Cnico Tanque Esfrico
Ejemplo 6.3 Segunda Ley de Newton
1. En el agua ota un barril cilndrico de 5ft de dametro y W lb
f
de peso. Despus de un
undimiento inicial, su movimiento es oscilatorio, hacia arriba y hacia abajo, en lnea
98 MODELAMIENTO MATEMATICO
vertical. Guandose por la gura, deduzca una ED para determinar el desplazamiento
vertical Y (t), si se supone que el origen est en el eje vertical y en la supercie del
agua cuando el barril esta en reposo. Use el principio de Arqumides. Suponga que la
direccin hacia abajo es positiva, que la densidad del agua es 62,4lb/ft
3
y que no hay
resistencia entre el barril y el agua. Resp.: y (t) =

w
R
2
lW

w
R
2

+C
1
sinh

R
q
g

w
W
t

+
C
2
cosh

R
q
g

w
W
t

2. Suponga que se perfora un agujero que pasa por el centro de la tierra y por l se deja
caer un objeto de masa m. Formule un modelo matemtico que describa el posible
movimiento de la masa. Sea r la distancia del centro de la tierra a la masa, en el
momento t , y M la masa de la tierra. Sea M
r
la masa de la parte de la tierra que esta
dentro de una esfera de radio r, y sea la densicad (constante) de la tierra. Resp.:
x(t) = C
1
sin
q
4
3
Gt

+C
2
cos
q
4
3
Gt

.
Barril Tierra Perforada
Ejemplo 6.4 Evaporacin
1. Una sustancia porosa hmeda al aire libre pierde su humedad a una rapidez proporcional
al contenido de humedad. Si se cuelga una hoja al viento, pierde la mitad de su humedad
durante la primera hora, cundo habr perdido el 99 %, si las condiciones atmosfricas
siguen siendo las mismas?. Resp.: 6. 643 9 horas.
2. Dos lquidos hierven en un recipiente. Se encuentra que la razn entre las cantidades
de cada uno de ellos que se convierten en vapor en cualquier instante es proporcional
a la razn entre las cantidades x e y que permanecen en el estado lquido. Demostrar
que
dy
dx
= k
y
x
y resolver esta ecuacin. Resp.: y (x) = C
1
x
k
.
Ejemplo 6.5 Otros Problemas de Ingeniera
EJEMPLOS DE EDOS DE 1
ER
ORDEN EN INGENIERA 99
1. (Vida media) Los experimentos demuestran que el radio se desintegra a una rapidez
proporcional a la cantidad del radio instntaneamente presente. Su vida media,es de-
cir,el tiempo en el que desaparecer el 50 % de una cantidad dada,es de 1590 aos.Que
porcentaje desaparecer en 1 ao?. Resp.: 0,043585 %.
2. (Crecimiento exponencial) Supngase que en un cultivo de levadura,en cada instante
la rapidez de cambio respecto al tiempo del fermento activo y(t) es proporcional a la
cantidad existente. Si y(t) se duplica en 2 horas, cunto puede esperarse al nal de 8
horas, a la misma rapidez de crecimiento?. Resp.:
y
y
0
= 16.
3. (Decaimiento exponencial). Los experimentos demuestran que la rapidez de inversin
del azcar de caa en solucin diluida es proporcional a la concentracin y(t) del azcar
inalterada. Supngase que la concentracin es 1/100 en t = 0 y es 1/300 en t =
10[horas].Hallar una expresin para y(t). Resp.: y =
1
100
e

ln 3
10
t
.
4. Problema del Quitanieves. Fue inventado por Ralph Palmer Agnew.
Un dia comenz a nevear en forma intensa y constante. Un quitanieves comenz a
medio da, y avanz 2mi la primera hora y 1mi la segunda hora. A qu hora comenz
a nevar?. Describa la construccin y solucin del modelo matemtico.
5. Una persona P parte del origen y se mueve en direccin del eje X, tirando de una
carga que se mueve a lo largo de la curva C. Esta curva se llama TRACTRIZ (ver
gura). La carga que al principio se hallaba en el eje Y , en (0, s), est en el extremo
de la cuerda de longitud constantes S, que se mantiene tensa durante el movimiento.
Deduzca la ED para denir la trayectoria del movimiento (o sea, la ec. de la tractriz).
Suponga que la cuerda siempre es tangente a C. Resp.:
dy
dx
=
y

y
2
s
2
.
Tractriz
100 MODELAMIENTO MATEMATICO
6. La ley de accin de masas arma que, si la temperatura se mantiene constante, la
velocidad de una raccin qumica es proporcional al producto de las concentraciones de
las substancias que estn reaccionando. En la reaccin bimolecular
A+B M
se combinan a moles por litro de una substancia A y b moles de una substancia B. Si y
es el nmero de moles por litro que han reaccionado despus de transcurrido el tiempo
t, la rapidez de la reaccin est dada por
y
0
= k(a y)(b y)
Resolver esta ecuacin, suponiendo que a 6= b. Resp.:
ln(a+y)ln(b+y)
ab
= kt +C
1
.
7. (La ley del enfriamiento de Newton) Se calienta una bola de cobre hasta 100

C . En-
tonces, en el instante t = 0, se coloca en agua que se mantiene a 30

C. Al cabo de 3 mn
la temperatura de la bola se reduce a 70

C. Hallar el tiempo en el que la temperatura


de la bola se reduce hasta 31

C. Resp.: T (22. 775 mn) = 31

C.
8. La ley de la absorcin de Lambert arma que la absorcin de la luz en una capa transpar-
ente muy delgada es proporcional al espesor de la capa y a la cantidad de luz incidente.
Plantear lo anterior en trminos de una ecuacin diferencial y resolverla.
9. Cuatro moscas estan paradas en las esquinas de una mesa cuadrada, dirigidas hacia
adentro del tablero. Empiezan a caminar simultaneamente a la misma velocidad, di-
rigiendo cada una de ellas su movimiento hacia la mosca que se encuentra a su derecha.
Hallar la trayectoria de cada una.
Sistema Resorte-Masa-Amortiguador (EDO de 2
o
Orden)
6.3.1. Resorte Libre
Consiste de un resorte (con constante k) que esta empotrado por la parte superior y en
su parte inferior tiene atado un contrapeso de masa m, tal como se nuestra en la gura
EJEMPLOS DE EDOS DE 1
ER
ORDEN EN INGENIERA 101
Resorte Libre
En el Equilibrio:
X
F = 0 =mg kS = 0
Cuando hay desplazamiento (Movimiento):
ma =
X
F
m
d
2
X
dt
2
= mg k(S +X)
como: mg kS = 0, se llega a la EDO de segundo orden homogenea con coecientes con-
stantes
d
2
X
dt
2
=
k
m
X
La cual tiene la solucin
X (t) = C
1
sin

r
k
m
t
!
+C
2
cos

r
k
m
t
!
Ejemplo 6.6 Se tiene un resorte con una constante de proporcionalidad k = 32 y un con-
trapeso de masa m = 2. El contrapeso se impulsa desde 3 unidades abajo de su reposo con
una velocidad inicial v = 5 hacia abajo. Reproducir el comportamiento del resorte.
6.3.2. Resorte Libre Amortiguado
Consiste de un resorte (con constante k) que esta empotrado por la parte superior y
en su parte inferior tiene atado un contrapeso de masa m, y a la vez existe una furza de
resistencia (que puede ser la friccin) que se opone al movimiento y se considera que es un
102 MODELAMIENTO MATEMATICO
amortiguador, tal como se nuestra en la gura
Resorte Libre Amortiguado
Para nuestro caso la fuerza de friccin estara dada por: F =
dX
dt
En el equilibrio nuevamente se tiene
X
F = 0 =mg kS = 0
En movimiento se tiene
ma = mg k(X +S)
d(X +S)
dt
m
d
2
X
dt
2
= mg kX kS
dX
dt
La cual conduce a la EDO de movimiento
d
2
X
dt
2
+

m
dX
dt
+
k
m
X = 0
Esta es una EDO de segundo orden homogenea con coecientes constantes, la cual tiene
la ecuacin caracteristica
r
2
+

m
r +
k
m
= 0
Con races
r
1,2
=


2m


2m

k
m
Para un mejor anlisis, se denen =

2m
y
2
=
k
m
, con lo que se tiene
r
1,2
=
p

2
Con las raices se tienen tres casos
EJEMPLOS DE EDOS DE 1
ER
ORDEN EN INGENIERA 103
Caso 1: Races reales y distintas

2
> 0
Por tanto:
X(t) = e
t

C
1
e

2
t
+C
2
e

2
t

Caso 2: Las races reales e iguales

2
= 0
Por tanto
X (t) = (C
1
+C
2
t) e
t
Caso 3: Races complejas conjugadas

2
< 0
Se tiene la solucin
X (t) = e
t
h
C
1
sin
p

2
t

+C
2
cos
p

2
t
i
Ejemplo 6.7 m = 1, k = 4, = 5 en X (0) = 1, X
0
(0) = 1
Ejemplo 6.8 Una masa de 8lb de peso estira 2ft a un resorte. Si la fuerza de amor-
tiguamiento es 2 veces la velocidad instantanea, deduzca la ecuacin del movimiento si la
masa se suelta de la posicin de equilibrio a una velocidad hacia arriba de 3ft/s.
Ejemplo 6.9 m = 1, k = 4, = 1 en X (0) = 1, X
0
(0) = 1
6.3.3. Resorte Forzado Amortiguado
Consiste de un resorte (con constante k) que esta empotrado por la parte superior y
en su parte inferior tiene atado un contrapeso de masa m, tanbin existe una furza de re-
sistencia (que puede ser la friccin) que se opone al movimiento y se considera que es un
amortiguador. En este caso se considera que el movimiento del contrapeso esta siendo afec-
tado por una fuerza externa, f(t). Por ejemplo, f(t) podra ser una fuerza de impulsin que
causa un movimiento oscilatorio vertical del soporte del resorte (tembror de la tierra), tal
como se nuestra en la gura
104 MODELAMIENTO MATEMATICO
Resorte Forzado Amortiguado
En el equilibrio nuevamente se tiene
X
F = 0 =mg kS = 0
En movimiento se tiene
ma = mg k(X +S)
d(X +S)
dt
+f(t)
La cual conduce a la EDO lineal No-Homogenes
m
d
2
X
dt
2
+
dX
dt
+kX = f (t) + (mg kS)
m
d
2
X
dt
2
+
dX
dt
+kX = f (t)
Ejemplo 6.10 m = 1, k = 2, = 2, f(t) = 4 cos(t)+2 sin(t) en X (0) = 0, X
0
(0) = 5
EJEMPLOS DE EDOS DE 1
ER
ORDEN EN INGENIERA 105
6.4. Modelamiento en Ingeniera Qumica (EDO no lin-
eales)
6.4.1. Flujo de Calor en una aleta cuadrada
En la gura se describe la situacin
Se hace un balance en el elemento diferencial de espesor x
Se supone estado estacionario (No hay cambio de energa con respecto al tiempo)
El nico balance aplicable es el de energa.
La ec de balance de energa se reduce a:
dE
dt
=
X
Q
en estado estacionario
dE
dt
= 0, por lo que
X
Q = Q
1
Q
2
Q
3
Q
4
= 0
El ujo de calor se debe a dos principios (conducci y conveccin)
Q
1
= kA
x
dT
dx

x
= kw
dT
dx

x
Q
2
= kA
x
dT
dx

x+x
= kw
dT
dx

x+x
Q
3
= Q
4
= UA
s
(T
s
T

) = Ux(T
s
T

)
106 MODELAMIENTO MATEMATICO
Sustituyendo
kw
dT
dx

x
+kw
dT
dx

x+x
2Ux(T
s
T

) = 0
dT
dx

x+x

dT
dx

x
x

2U
kw
(T
s
T

) = 0
Aplicando el concepto de derivada
lm
x0

dT
dx

x+x

dT
dx

x
x
!

2U
kw

lm
x0
T
s
T

= 0
d
dx

dT
dx

2U
kw
(T T

) = 0
Se llega a la siguiente EDO de 2
o
no-homogenea de transferencia de calor a lo largo de
la placa
d
2
T
dx
2

2U
kw
T =
2U
kw
T

con las condiciones


en x = L kA
x
dT
dx
= UA(T T

)
en x = 0 T = T
0
Esta ED describe el cambio de la temperatura desde el empotramiento hasta la punta
libre.
La solucin general de la ED es:
T(x) = T

+C
1
exp

r
2U
kw
x
!
+C
2
exp

r
2U
kw
x
!
T(x) = T

+C
1
sinh

r
2U
kw
x
!
+C
2
cosh

r
2U
kw
x
!
Ejemplo 6.11 Una aleta cuadrada de un radiador de 10 de largo: T
w
= 200, w = 4, U = 8,
k = 4.
La temperatura del medio ambiente es de 20
6.4.2. Flujo de Calor en una Aleta en Puntal
En la gura se describe la situacin
MODELAMIENTO EN INGENIERA QUMICA (EDO NO LINEALES) 107
Se hace un balance en el elemento diferencial de espesor x
Se supone estado estacionario (No hay cambio de energa con respecto al tiempo)
El nico balance aplicable es el de energa.
La ecuacin de balance de energa se reduce a:
dE
dt
=
X
Q
en estado estacionario
dE
dt
= 0, por lo que
X
Q = Q
1
Q
2
Q
3
Q
4
= 0
El ujo de calor se debe a dos principios (conducci y conveccin)
Q
1
= + kA
x
dT
dx

x+x
Q
2
= + kA
x
dT
dx

x
Q
3
= Q
4
= UA
s
(T
s
T

)
Si se considera que es la profundidad de la aleta
s =
q
1 +

W
2L

2
x (Trangulos semejantes)
A
s
= s =
q
1 +

W
2L

2
x
108 MODELAMIENTO MATEMATICO
Sustituyendo en la ecuacin de balance
k

A
x
dT
dx

x+x
k

A
x
dT
dx

x
2U
s
1 +

W
2L

2
x(T
s
T

) = 0

A
x
dT
dx

x+x

A
x
dT
dx

x
x

2U
k
s
1 +

W
2L

2
(T
s
T

) = 0
lm
x0

A
x
dT
dx

x+x

A
x
dT
dx

x
x

2U
k
s
1 +

W
2L

2
( lm
x0
T
s
T

) = 0
d

A
x
dT
dx

dx

2U
k
s
1 +

W
2L

2
(T T

) = 0
A
x
d
2
T
dx
2
+
dA
x
dx
dT
dx

2U
k
s
1 +

W
2L

2
(T T

) = 0
Si se considera que w
x
es el espesor de la aleta en x, entonces
W
x
=
W
L
x (Trangulos semejantes)
A
x
= W
x
=
W
L
x
dAx
dx
=
W
L

Entonces el balance proporciona la siguiente EDO lineal con coecientes variables
W
L
x
d
2
T
dx
2
+
W
L

dT
dx

2U
k
s
1 +

W
2L

2
(T T

) = 0
x
d
2
T
dx
2
+
dT
dx

U
kW
q
(2L)
2
+W
2
(T T

) = 0
6.4.3. Destilacin batch
Benceno y Tolueno
F = 10
lbmol
hr
En el inicio
M = 20 lb mol
X
B
o
= 0,32
mol B
mol
= X
F
Q es tal que M = cte.
t =? para que Y
D
= 0,40
mol B
mol
Balance de masa total:
dM
dt
= F D = 0
F = D
MODELAMIENTO EN INGENIERA QUMICA (EDO NO LINEALES) 109
Balance del Benceno
dM
B
dt
= X
F
F Y
D
D
M
dX
B
dt
= (X
F
Y
D
)D
M
D
dX
B
dt
= X
F
Y
D
Se introduce la relacin de equilibrio (X
w
Y
D
)
Ley de Raoult:
Y
D
=
X
B
1 + ( 1) X
B
Para una mezcla de Benceno-Tolueno = 2,48
Y
D
=
2,48X
B
1 + 1,48X
B
Portanto
M
D
dX
B
dt
= X
F

2,48X
B
1 + 1,48X
w
=
X
F
+ (1,48X
F
2,48) X
B
1 + 1,48X
B
Sustituyendo valores
M = 20
X
F
= 0,32
D = 10
2
dX
B
dt
=
. 32 2. 0064X
B
1 + 1. 48X
B
Resolviendo por separacin de variables
Z
1 + 1. 48X
B
. 32 2. 0064X
B
dX
B
=
1
2
Z
dt
. 73764X
B
. 61605 ln

1. 254 10
5
+ 7. 8626 10
5
X
B

=
1
2
t +C
Si X
B
= ,32 en t = 0 se tiene C = 7. 472, por tanto
X
B
+. 83516 ln

1. 254 10
5
+ 7. 8626 10
5
X
B

= . 67784t + 10. 13
Ahora si Y
D
= 0,40
mol B
mol
,40 =
2,48X
B
1 + 1,48X
B
X
B
= . 21186
110 MODELAMIENTO MATEMATICO
Por tanto
9. 086 = . 67784t + 10. 13
t = 1. 5402hr
6.4.4. Un Calentador de Tanque Agitado
En la gura se describe la situacin
Balance de masa total
d(V )
dt
=
i
F
i
F
Suponiendo =
i
y sabiendo que V = lA, resulta en
A
dl
dt
= F
i
F
Balance de Energa Total
dE
dt
= e
i
e +Q+W
d(U +K +P)
dt
=
i
F
i

h
i
F

h +Q+W
K = 0 =El tanque no se mueve
MODELAMIENTO EN INGENIERA QUMICA (EDO NO LINEALES) 111
P = 0 = El tanque no sufre un cambio de altura
U H = Por ser lquido
H = V C
p
(T T
ref
) = AlC
p
(T T
ref
)
h
i
= C
p
i
(T
i
T
ref
),

h = C
p
(T T
ref
)
T
ref
=Temperatura de referencia
d [AlC
p
(T T
ref
)]
dt
= F
i
C
p
i
(T
i
T
ref
) FC
p
(T T
ref
) +Q+W
W =Se supone despreciable
C
p
= C
pi
= cte (por ser lquido)
T
ref
= 0 = (Usualmente as se usa)
AC
p
d(lT)
dt
= C
p
(F
i
T
i
FT) +Q
A
d(lT)
dt
= F
i
T
i
FT +
Q
C
p
Al
dT
dt
+AT
dl
dt
= F
i
T
i
FT +
Q
C
p
Del balance de masa A
dl
dt
= F
i
F
Al
dT
dt
+T(F
i
F) = F
i
T
i
FT +
Q
C
p
Al
dT
dt
= F
i
(T
i
T) +
Q
C

Resumiendo:
A
dl
dt
= F
i
F
Al
dT
dt
= F
i
(T
i
T) +
Q
C

Variables dependientes: h y T.
Variables independientes: t
Variables de entrada: T
i
, F
i
, Q, F.
Parametros: A, , C
p
6.4.5. Reactor de Tanque Continuo Agitado (CSTR)
La gura describe el fenmeno
112 MODELAMIENTO MATEMATICO
Reacccin exotrmica.
Chaqueta de enfriamiento.
1. La masa del componente B, se puede encontrar con la masa total y la masa del com-
ponente A.
2. El momento del CSTR no cambia bajo las condiciones de operacin y ser despreciado.
Balance de masa total:
Acum = ent sal
d(V )
dt
=
i
F
i
F
donde: =
i
dV
dt
= F
i
F
Balance molar de A:
Acum = ent sal gen.
d(n
A
)
dt
=
d(C
A
V )
dt
= C
A
i
F
i
C
A
F rV
d(C
A
V )
dt
= C
A
i
F
i
C
A
F rV
MODELAMIENTO EN INGENIERA QUMICA (EDO NO LINEALES) 113
donde: r = k
o
e

E
RT
C
A
C
A
dV
dt
+V
dC
A
dt
= C
A
i
F
i
C
A
F k
o
V e

E
RT
C
A
dC
A
dt
=
F
i
V
(C
A
i
C
A
) k
o
e

E
RT
C
A
Balance de Energa Total:
dE
dt
= e
i
e Q+W
donde:
dE
dt
=
dU
dt

dH
dt
e
i
=
i
F
i

h
i
(T) Entrada total de Energa en el ujo.
e = F

h(T) Salida de energa en el ujo.


Q =Calor removido.
W 0
H = H(T, n
A
, n
B
)
dH
dt
=
H
T
dT
dt
+
H
n
A
dn
A
dt
+
H
n
B
dn
B
dt
H
T
= V c
p
H
n
A
=
b
H
A
(T) Entalpias molares parciales
H
n
B
=
b
H
B
(T)
b
H
A

b
H
B
= H
r
dn
B
dt
= C
B
F +rV
Esta es:
dH
dt
= F
i

h
i
(T) F

h(T) Q
V c
p
dT
dt
+
b
H
A
(T)
dn
A
dt
+
b
H
B
(T)
dn
B
dt
= F
i

h
i
(T) F

h(T) Q
F
i

h
i
(T) = F
i
[C
A
i
H
A
(T) +
i
c
p
(T
i
T)]
Fh(T) = F

C
A

H
A
(T) +C
B

H
B
(T)

V c
p
dT
dt
= F
i
c
p
(T
i
T) +


H
A


H
B

rV Q
dT
dt
= (

H
A


H
B
)
r
c
p
+
F
i
V
(T
i
T)
Q
V c
p
dT
dt
= H
r

r
c
p

+
F
i
V
(T
i
T)
Q
V c
p
114 MODELAMIENTO MATEMATICO
Si J =
Hr
c
p
dT
dt
=
F
i
V
(T
i
T) +Jk
o
e

E
RT
C
A

Q
V c
p
En resumen:
dV
dt
= F
i
F
dC
A
dt
=
F
i
V
(C
Ai
C
A
) k
o
V C
A
e

E
RT
dT
dt
=
F
i
V
(C
A
i
C
A
) +Jk
o
C
A
e

E
RT

Q
V c
p
6.4.6. Intercambiador de Calor Tubular
La gura describe la situacin
Balance de energa en el Tubo Interno(en el elemento z)
dE
dt

e z
=

e

z+z
+

Q

e z
Donde
E = H = m
b
H = mc
p
(T T
ref
)
e =

m

h =

mc
p
(T T
ref
)

Q = UA
s
(T
s
T)
Sustituyendo se tiene
d [mc
p
(T T
ref
)]
dt

e z
=

mC
p
(T T
ref
)


mC
p
(T T
ref
)

z+z
+ UA
s
(T
s
T)|
e z
MODELAMIENTO EN INGENIERA QUMICA (EDO NO LINEALES) 115
Adems
m = V = Az

m =

V = Av
A
s
= dz
A =
d
2
4
sustituyendo se tiene
d [d
2
zc
p
T]
dt

e z
= d
2
vC
p
(T T
ref
)

z
d
2
vC
p
(T T
ref
)

z+z
+ 4 Udz(T
s
T)|
e z
reagrupando
d
2
zC
p
d [T]
dt

e z
= d
2
C
p
v

(T T
ref
)|
z
(T T
ref
)|
z+z

+ 4Udz (T
s
T)|
e z
d [T T
ref
]
dt

e z
= v

(T T
ref
)|
z
(T T
ref
)|
z+z
z

+
4U
dC
p
(T
s
T)|
e z
Si se saca el lmite cuando z 0 se tiene
lm
z0

d [T T
ref
]
dt

e z

= v lm
z0

(T T
ref
)|
z
(T T
ref
)|
z+z
z

+
4U
C
p
d
lm
z0
[ (T
s
T)|
e z
]
lo que resulta en
T
t
= v
(T T
ref
)
z
+
4U
C
p
d
(T
s
T)
T
t
+v
T
z
+
4U
C
p
d
T =
4UT
s
C
p
d
Esta es EDP lineal no-homogenea en t y z, es la que describe el comportamiento del ujo
de energa en el tubo interno.
Puesto que en el tubo externo se tiene vapor saturado, entonces la temperatura se
mantiene constante a lo largo de todo el tubo, es decir el vapor solo pasa de vapor sat-
urado a lquido saturado.
116 MODELAMIENTO MATEMATICO
A. ECS. ALGEBRAICAS HOMOGENEAS
Si en una funcin algebraica, f(x, y), se sustituye x por x e y por y, y por medio de
manipulaciones algebraicas se puede obtener
f(x, y) =
n
f(x, y)
Entonces se dice que la funcin f(x, y) es homogenea de grado n.
Ejemplo: f = x
2
+xy y
2
Factorizacin Externa
En una funcin homogenea de grado n
f(x, y) =
n
f(x, y)
si se toma =
1
x
, entonces
f(1,
y
x
) =

1
x

n
f(x, y)
f(x, y) = x
n
f(1,
y
x
)
f(x, y) = x
n
f(
y
x
)
Finalmente se puede denir una nueva variable v =
y
x
, lo cual conduce a la factorizacin
externa
f(x, y) = x
n
f(v)
Por lo tanto, la propiedad de homogeneidad permite cambiar una expresin homogenea
de dos variables por factorizacin externa de una variable, y de ese modo se obtiene una
expresin de una sola variable.
ECS. ALGEBRAICAS HOMOGENEAS 117
118 ECS. ALGEBRAICAS HOMOGENEAS
B. DIVISION SINTETICA
Aqu se trata la divisin sinttica para obtener las races de los polinomios de nsimo
grado. Supongase un polinimio de grado n el cual esta ordenado en forma descendente
a
n
X
n
+a
n1
X
n1
+ +a
1
X +a
0
= 0
1. Ordenar el polinomio en forma descendente.
2. Hacer un arreglo exclusivamente de los coecientes. Si la ecuacin no contiene alguna
potencia, se tomar en cuenta un coeciente cero (0)
a
n
a
n1
a
2
a
1
a
0
3. El objetivo es encontrar valores de X = m que satisfagan el polinomio. Estos valores
de m se buscan de entre los multiplos de los coecientes a
n
y a
0
, es decir se prueban
todos los multiplos de estos coecientes
m =

a
n
: 1
a
0
: 1
4. Para probar cada uno se sigue el procedimiento
a) El valor m a probar se coloca al lado derecho del semirectngulo, como se muestra.
Para expresar mejor las operaciones que siguen, se le denominara Coecientes
(COEF), Productos (PROD) y Residuos (RESI) a los elementos del primero,
segundo y tercer renglones, respectivamente.
Coecientes: a
n
a
n1
a
2
a
1
a
0
Productos:
Residuos:
m
b) El primer coeciente de izquierda a derecha (a
n
) se coloca tal cual, abajo del
semirectngulo, como primer residuo.
COEF: a
n
a
n1
a
2
a
1
a
0
PROD:
RESI: a
n
m
c) Se realiza una multiplicacin del primer RESI por el nmero probado m y el
resultado se coloca en el segundo PROD.
COEF: a
n
a
n1
a
2
a
1
a
0
PROD: ma
n
RESI: a
n
m
DIVISION SINTETICA 119
d) Se realiza una suma algebraica entre el 2
o
COEF y el 2
o
PROD. Lo obtenido de
la suma se coloca en el 2
o
RESI
COEF: a
n
a
n1
a
2
a
1
a
0
PROD: ma
n
RESI: a
n
a
n1
+ma
n
m
e) Se repiten los pasos de los incisos 4c y 4d hasta completar todos los espacios en
RESI.
5. Si el valor que se obtuvo en el ultimo elemento de RESI (justo abajo de a
0
) es IGUAL
a CERO, entonces seguir adelante. Por otro lado, si el valor que se obtuvo en el ultimo
elemento de RESI es DIFERENTE de cero, entonces repetir nuevamente el paso 4 con
un nuevo valor de m.
6. Al obtener una raiz X = m es semejante a haber factorizado el polinomio de la manera
siguiente

b
n1
X
n1
+b
n2
X
n2
+ +b
1
X +b
0

(X m) = 0
donde los coecientes b
i
son los valores que aparecen en RESI.
7. Para seguir obteniendo las demas raices se procede desde el paso 3 con los coecientes
de la columna RESI.
Ejemplo:
Obtener las Raices del polinomio: X
4
X
3
9X
2
11X 4 = 0
1 1 9 11 4
2 6 6 10
1 3 3 5 6
2 observe que m =

1 : 1
4 : 1 2 4
Esto signica que X = 2 no es una raiz, entonces se intenta, por ejemplo con 1
1 1 9 11 4
1 2 7 4
1 2 7 4 0
1
Lo cual indica que X = 1 si es una raiz del polinomio. Continuando
1 1 9 11 4
1 2 7 4
1
1 2 7 4 0
1 3 4
1
1 3 4 0
Observese que se ha factorizado de la forma: (x
2
3x4)(x+1)(x+1) = 0. En este punto
se puede usar la frmula de la ecuacin cuadrtica para obtener los ltimos dos factores. Lo
cual resultara en las raices X = 4, 1, por lo tanto: (x 4)(x + 1)(x + 1)(x + 1) = 0.
La solucion completa de las raices es: {x = 4} , {x = 1} , {x = 1} , {x = 1}.
120 DIVISION SINTETICA
C. TABLAS DETRANSFORMADADELAPLACE
Si F (t) es una funcin en [0, ], la funcin L{F (t)} = f(s) =

F (s)denida por la
integral
f (s) = L{F (t)} (s) =
Z

0
e
st
F (t) dt
para aquellos valores de s en los cuales la integral converge es la Tranformada de Laplace de
F (t).
Si L{F (t)} = f (s), entonces F (t) = L
1
{f (s)} es la transformada inversa de Laplace
de f (s), que puede encontrarse directamente por los mtodos de la teora de las variables
complejas. El resiltado es
F (t) =
1
2i
Z
c+i
ci
e
st
f (s) ds =
1
2i
lm
T
Z
c+Ti
cTi
e
st
f (s) ds

donde c ha de escogerse de tal manera que todos los puntos de f (s) caigan a la izquierda de
la lnea Re (s) = c en el plano complejo s.
C.1. Propiedades de las transformadas de Laplace
No. F (t) f (s) = L{F (t)} (s) No. F (t) f (s)
1. aF
1
(t) +bF
2
(t) af
1
(s) +bf
2
(s) 2. aF (at) f

s
a

3. e
at
F (t) f (s a) 4. U (t a) F (t a) e
as
f (s)
5. F
(n)
(t) s
n
f (s) s
n1
F (0) 6. (1)
n
t
n
F (t) f
(n)
(s)
F
(n1)
(0)
7.
R
t
0
F (u) F (t u) du f (s) g (s) 8.
R
t
0
F (u) du
f(s)
s
9. F (t) = F (t +T)
1
1e
Ts
R
T
0
e
su
F (u) du 10.
F(t)
t
R

s
f (u) du
11. F (t
2
)
1
2

0
u
3/2
e
s/4u
fdu 12.
1
R
t
0

R
t
0
F (u) du
n
f(s)
s
n
13.
R

0
J
0

ut

F (u) du
1
s
f

1
s

14.
1

t
R

0
e

u
2
4t
Fdu
f
(

s
)
s
15. t
n
2
R

0
u

n
2
J
n

ut

Fdu
1
s
n+1
f

1
s

16.
R

0
t
u
F(u)
(u+1)
du
f(ln(s))
s ln(s)
17.
R
t
0
J
0

2
p
u(t u)

Fdu
f(s+1/s)
s
2
+1
18.
2
P
n
k=1
P(
k
)
Q(
k
)
e

k
t
P(s)
Q(s)
1
R
t
0

R
t
0
F (u) du
n
=
R
t
0
(tu)
n1
(n1)!
F (u) du
2
P (s) es un polinomio de grado inferior a n, y Q(s) = (s
1
) (s
2
) (s
n
) donde
1
,
2
, . . . ,

n
son todas distintas.
TABLAS DE TRANSFORMADA DE LAPLACE 121
C.2. Frmulas de algunas transformadas de Laplace
No. F (t) f (s) = L{F} (s) No. F (t) f (s) = L{F} (s)
1. 1
1
s
2. e
at 1
sa
3. t
n1
(n 1)!
s
n
,n = 1, 2, . . . 4. t
n1
(n)
s
n
, n > 0
5. t
n1
e
at
(n 1)!
(s a)
n
,n = 1, 2, . . . 6. t
n1
e
at
(n)
(s a)
n
, n > 0
7. sin (at)
a
s
2
+a
2
8. cos (at)
s
s
2
+a
2
9. e
bt
sin (at)
a
(sb)
2
+a
2
10. e
bt
cos (at)
sb
(sb)
2
+a
2
11. t
2
sin (at)
2 sin
(
3 arctan
a
s
)
(s
2
+a
2
)
3
2
12. t
2
cos (at)
2 cos
(
3 arctan
3
s
)
(s
2
+9)
3
2
13 sinh (at)
a
s
2
a
2
14. cosh(at)
s
s
2
a
2
15. e
bt
sinh(at)
a
(sb)
2
a
2
16. e
bt
cosh (at)
sb
(sb)
2
a
2
17. sin (at) sinh (at)
2a
2
s
s
4
+4a
4
18. sin(at) cosh (at)
a (s
2
+ 2a
2
)
s
4
+ 4a
4
19. cos (at) cosh (at)
s
3
s
4
+4a
4
20. cos (at) sinh (at)
a (s
2
2a
2
)
s
4
+ 4a
4
21. sin
2
(at) 2
a
2
s(s
2
+4a
2
)
22. cos
2
(at)
2a
2
+s
2
s(s
2
+4a
2
)
23 sinh
2
(at) 2
a
2
s(s
2
+4a
2
)
24 cosh
2
(at)
s
2
+2a
2
s(s
2
+4a
2
)
25
sin(at) at cos (at)
2a
3
1
(s
2
+a
2
)
2
26
t
2a
sin(at)
s
(s
2
+a
2
)
2
27.
at cosh (at) sinh (at)
2a
3
1
(s
2
a
2
)
2
28.
t
2a
sinh (at)
1
(s
2
a
2
)
2
s
29.
sin(at)
t
arctan

a
s

30.
2 (1 cos (at))
t
ln

s
2
+a
2
s
2

31. (t) 1 32. (t t


0
) e
st
0
33. erf

at


a
s

s+a
34. e
at
erf

at

s(sa)
35. erf (at)
1
s
e
(s/2a)
2
erfc

s
2a

36. erfc

a
2

e
a

s
s
37.
a
2

t
3
e
a
2
/4t
e
a

s
38.
1

t
e
a
2
/4t
e
a

s
39. a
n
J
n
(at) ; n > 1

s
2
+a
2
s

s
2
+a
2
40. a
n
I
n
(at) ; n > 1

s
2
+a
2

s
2
a
2
41. ln (t)
(+lns)
s
; = 0,577... 42. ln
2
t

2
6s
+
(+lns)
2
s
43. I
s
(at)
1
s
tan
1

a
s

44. I
c
(at)
1
2s
ln

s
2
+a
2
a
2

45. I
e
(at)
1
s
ln

s+a
a

46
1
t+a
e
as
I
e
(as)
122 TABLAS DE TRANSFORMADA DE LAPLACE
D. FRACCIONES PARCIALES
La idea es transformar una expresion racional,
P
Q
, en una suma de expresiones mas simples.
Los polinomios P y Q son polinomios de grado m y n respectivament donde n > m.
1. Las races de Q son todas reales y distintas
Ejemplo: G(s) =
1
S
3
+5S
2
+2S8
Raices de S
3
+ 5S
2
+ 2S 8 = 0
_
_
_
S
1
= 1
S
2
= 2
S
3
= 4
_
_
_
Reales y distintas
G(S) =
1
S
3
+ 5S
2
+ 2S 8
=
1
(S 1)(S + 2)(S + 4)
La expansin en Fracciones Parciales es
1
(S 1)(S + 2)(S + 4)
=
A
S 1
+
B
S + 2
+
C
S + 4
Haciendo el algebra correspondiente
1 = A(S + 2)(S + 4) +B(S 1)(S + 4) +C(S 1)(S + 2)
Para encontrar los valores de las constantes existen dos maneras:
a) Sustitucin de las raices de Q en la ecuacin resultante
Si S = 1
1 = A(3)(5) +B(0) +C(0)
A =
1
15
Si S = 2
1 = B(3)(2)
B =
1
6
FRACCIONES PARCIALES 123
Si S = 4
1 = C(5)(2)
C =
1
10
b) Expandir el polinomio de s:
Se debe expandir el polinomio en s
1 = A(S + 2)(S + 4) +B(S 1)(S + 4) +C(S 1)(S + 2)
1 = AS
2
+ 6AS + 8A+BS
2
+ 3BS 4B +CS
2
+CS 2C
1 = (C +B +A) S
2
+ (C + 3B + 6A) S 2C 4B + 8A
Se iguala el valor de los coecientes de ambos lados del signo igual
0 = C +B +A
0 = C + 3B + 6A
1 = 2C 4B + 8A
Se resuelve el sistema de ecuaciones (lineales) resultante
A =
1
15
B =
1
6
C =
1
10
De aqu
G(S) =
1
S
3
+ 5S
2
+ 2S 8
=
1
15(S 1)

1
6(S + 2)
+
1
10(S + 4)
2. Las races de Q son todas reales, pero se repiten algunas
Ejemplo: G(S) =
S+1
S
2
(S+2)
3
Las raices del denominador (Q) son
S
1
= 0
S
2
= 0
S
3
= 2
S
4
= 2
S
5
= 2
_

_
Reales
124 FRACCIONES PARCIALES
La expansin en Fracciones Parciales es
S + 1
S
2
(S + 2)
3
=
A
S
+
B
S
2
+
C
S + 2
+
D
(S + 2)
2
+
E
(S + 2)
3
Haciendo el algebra correspondiente
S + 1 = AS(S + 2)
3
+B(S + 2)
3
+CS
2
(S + 2)
2
+DS
2
(S + 2) +ES
2
Si S = 0
1 = B(2)
3
B =
1
8
Si S = 2
1 = E(2)
2
E =
1
4
Expandiendo el polinomio
S + 1 = AS(S + 2)
3
+B(S + 2)
3
+CS
2
(S + 2)
2
+DS
2
(S + 2) +ES
2
S + 1 = AS
4
+ 6AS
3
+ 12AS
2
+ 8AS +BS
3
+ 6BS
2
+ 12BS + 8B +CS
4
+4CS
3
+ 4CS
2
+DS
3
+ 2DS
2
+ES
2
S + 1 = (A+C)S
4
+ (6A+B + 4C +D)S
3
+ (12A+ 6B + 4C + 2D +E)S
2
+(8A+ 12B)S + 8B
Igualar los coecientes a ambos lados del signo igual
A+C = 0
6A+B + 4C +D = 0
12A+ 6B + 4C + 2D +E = 0
8A+ 12B = 1
8B = 1
Resolver el sistema solo para A, C y D
A =
1
16
C =
1
16
D = 0
FRACCIONES PARCIALES 125
Por tanto
G(S) =
S + 1
S
2
(S + 2)
3
=
1
16S
+
1
8S
2
+
1
16(S + 2)

1
4(S + 2)
3
3. Las races de Q pueden ser complejas conjugadas y repetidas
Ejemplo: G(S) =
3S2
S(S
2
+4)
Las raices del denominador (Q) son
S
1
= 0
S
2
= 2i
S
3
= 2i
S
4
= 2
S
5
= 2
_

_
Reales
La expansin en Fracciones Parciales es
3S 2
S(S
2
+ 4)
=
A
S
+
(3S +C)
S
2
+ 4
Haciendo el algebra correspondiente
3S 2 = A(S
2
+ 4) + (BS +C)S
Si S = 0
2 = A(4)
A =
1
2
Expandiendo (o sustituyendo S
2
, S
3
)
3S 2 = AS
2
+ 4A+BS
2
+CS
3S 2 = (A+B)S
2
+CS + 4A
Igualando coecientes
A+B = 0
C = 3
4A = 2
126 FRACCIONES PARCIALES
Resolviendo
A =
1
2
B =
1
2
C = 3
Por lo tanto
G(S) =
3S 2
S(S
2
+ 4)
=
1
2S
+
1
2
S + 3
S
2
+ 4
G(S) =
1
2S
+
S
2(S
2
+ 4)
+
S
S
2
+ 4
FRACCIONES PARCIALES 127
128 FRACCIONES PARCIALES
E. ALGEBRA CON SERIES DE POTENCIAS
Una serie de Potencias alrededor del centro x
0
se expresa como
y (x) =

X
m=0
c
m
(x x
0
)
m
E.1. Suma
Dos series de potencias pueden sumarse trmino a trmino.
Sean f (x) =
P

m=0
a
m
(x x
0
)
m
y g (x) =
P

m=0
b
m
(x x
0
)
m
entonces
f (x) +g (x) =

X
m=0
a
m
(x x
0
)
m
+

X
m=0
b
m
(x x
0
)
m
=

X
m=0
(a
m
+b
m
) (x x
0
)
m
para toda |x x
0
| < R.
Ejemplo:
Expresar
P

m=1
2mC
m
x
m1
+
P

m=0
6C
m
x
m+1
como una sla serie.
Para sumar la serie se necesita que ambos INDICES de la sumatoria comiencen en el
mismo nmero y que las potencias de x en cada serie estan enfasadas, esto es, que si
una serie comienza con un mltiplo de una potencia II, la otra serie empiece con la misma
potencia II.
Esto se logra en dos pasos.
1. Se dene una nueva ndice para cada miembro de la sumatoria el cual ser igual al
exponente de la x en ese miembro

X
m=1
2mC
m
x
m1
+

X
m=0
6C
m
x
m+1
k = m1 k = m+ 1
se reescrbe la ec. con el nuevo ndice

X
k=0
2 (k + 1) C
k+1
x
k
+

X
k=1
6C
k1
x
k
ALGEBRA CON SERIES DE POTENCIAS 129
2. Se sacan trminos de los miembros que tengan el ndice de comienzo ms bajo hasta
alcanzar el ndice de la sumatoria con ndice de comienzo ms alto y se factoriza
2(0 + 1)C
o+1
x
o
+

X
k=1
2 (k + 1) C
k+1
x
k
+

X
k=0
6C
k1
x
k
2C
1
+

X
k=1
[2 (k + 1) C
k+1
+ 6C
k1
] x
k
De esta manera, todo ha quedado expresado en una sla sumatoria.
E.2. Producto
Dos series de potencias pueden multiplicarse trmino a trmino (cada trmino de la
primera por cada trmino de la segunda).
Sean f (x) =
P

m=0
a
m
(x x
0
)
m
y g (x) =
P

m=0
b
m
(x x
0
)
m
entonces
f (x) g (x) =


X
m=0
a
m
(x x
0
)
m
!

X
n=0
b
n
(x x
0
)
n
!
=

X
m=0

X
n=0
a
m
b
n
(x x
0
)
m+n
f (x) g (x) =

X
m=0

m
X
n=0
a
n
b
mn
!
(x x
0
)
m
para toda |x x
0
| < R.
E.3. Diferenciacin
Una serie de potencias puede diferenciarse trmino a trmino.
Sean f (x) =
P

m=0
a
m
(x x
0
)
m
una serie convergente para |x x
0
| < R, donde R > 0,
130 ALGEBRA CON SERIES DE POTENCIAS
entonces
d
dx
f (x) =
d
dx

X
m=0
a
m
(x x
0
)
m
=

X
m=0
d
dx
a
m
(x x
0
)
m
=

X
m=0
a
m
d
dx
(x x
0
)
m
d
dx
f (x) =

X
m=0
ma
m
(x x
0
)
m1
tambien converege y tiene el mismo radio de converegencia que f (x).
E.4. Integracin
Una serie de potencias puede integrarse trmino a trmino.
Sean f (x) =
P

m=0
a
m
(x x
0
)
m
una serie convergente para |x x
0
| < R, donde R > 0,
entonces
Z
x
x
0
f (t) dt =
Z
x
x
0

X
m=0
a
m
(t x
0
)
m
dt
=

X
m=0
Z
x
x
0
a
m
(t x
0
)
m
dt
=

X
m=0
a
m
Z
x
x
0
(t x
0
)
m
dt
Z
x
x
0
f (t) dt =

X
m=0
a
m
m+ 1
(x x
0
)
m+1
y tiene a R como radio de convergencia.
INTEGRACIN 131
132 ALGEBRA CON SERIES DE POTENCIAS
F. FUNCIONES BESSEL
Esta EDO tiene la forma
x
2
y
00
+xy
0
+ (x
2

2
)y = 0, 0
Esta ED tiene un punto singular regular en x = 0.
Apliacando el mtodo de Frobenius
y =

X
m=0
C
m
x
m+r
y
0
=

X
m=0
(m+ 1)C
m
x
m+r1
y
00
=

X
m=0
(m+r)(m+r 1)C
m
x
m+r1
Sustituyendo esta derivadas en la EDO, se tiene
X
m=0
C
m
(m+r)(m+r 1)x
m+r
+
X
m=0
C
m
(m+r)x
m+r
+
X
m=0
C
n
x
m+r+2

2
X
m=0
C
m
x
m+r
= 0
x
r
"
X
m=0
C
m
(m+r)(m+r 1)x
m
+
X
m=0
C
m
(m+r)x
m
+
X
m=0
C
m
x
m+2

2
X
m=0
C
m
x
m
#
= 0
X
k=0
C
k

(k +r)(k +r 1) + (k +r)
2

x
k
+
X
k=2
C
k2
x
k
= 0
X
k=0
{C
k

(k +r)
2

x
k
} +
X
k=2
C
k2
x
k
= 0
C
0

r
2

+C
1

(r + 1)
2

x +
X
k=2
{C
k
[(k +r)
2

2
] +C
k2
}x
k
= 0
De aqu
C
0

r
2

= 0
C
1

(r + 1)
2

= 0
C
k

(k +r)
2

+C
k2
= 0
Si C
0
6= 0, entonce C
1
= 0, r
1
= , r
2
=
C
k
=
C
k2
(k +r)
2

2
FUNCIONES BESSEL 133
Cuando r
1
= se tiene
C
k
=
C
k2
k
2
+ 2k +
2

2
C
k
=
C
k2
k(2 +k)
cambiando los ndices (k + 2 = k)
C
k+2
=
C
k
(k + 2)(2 +k + 2)
Puesto que C
1
= 0 entonces C
3
, C
5
, C
7
, = 0
Cambiando nuevamente los ndices al hacer k + 2 = 2m para m = 1, 2, 3, 4, . . .
C
2m
=
C
2m
2
2
2
m(m+)
Por tanto los coecientes sern
C
2
=
C
0
2
2
1(1 +)
C
4
=
C
2
2
2
2(2 +)
=
C
0
2
4
1 2(1 +)(2 +)
C
6
=
C
4
2
2
3(3 +)
=
C
0
2
6
1 2 3(1 +)(2 +)(3 +)
C
2n
=
(1)
n
C
0
2
2n
n!(1 +)(2 +) (n +)
, n = 1, 2, 3, 4, . . .
Por tanto
y
1
(x) = 2

C
0

X
m=0
(1)
m
m!(1 +)(2 +) (m+)

x
2

2m+
, n = 0, 1, 2, 3, . . .
Pero como
(1 +)(2 +) (m+) =
(1 + +m)
(1 +)
donde (x) =
R

0

x1
e

d es la funcin GAMA, la cual tiene la propiedad (1 +) =


().
Entonces la solucin para r
1
= es
y
1
= 2

(1 +)C
0

X
m=0
(1)
m
m!(1 + +m)

x
2

2m+
134 FUNCIONES BESSEL
Puesto que es una constante, entonces 2

(1 + )C
0
es tambien una contante, por lo
tanto
y
1
(x) = c
0

X
m=0
(1)
m
m!(1 + +m)

x
2

2m+
y
1
(x) = c
0
J

(x)
Para el segundo exponente r = se obtiene
y
2
(x) = c
1

X
m=0
(1)
m
m!(1 +m)

x
2

2m
y
1
(x) = c
0
J

(x)
Anlisis de las races indicativas: r
1
r
2
= 2
Si = 0, J
v
= J
v
: Se tiene el Caso III y la solucin
y = C
1
J

+C
2
Y

Si > 0, entonces r
1
r
2
= () = 2
Si 2 es diferente de ENTERO POSITIVO se tiene el CASO I: J
v
y J
v
son
Linealmente Independiente en (0, ) y la solucin es:
y = C
1
J

+C
2
J

Si 2 es ENTERO se tiene el CASO II:


Si es ENTERO entonces J
v
y J
v
son Linelamente Dependientes.
y = C
1
J

+C
2
Y

Si es una fraccin media =


m
2
(m impar), entonces J
v
y J
v
son
Linealmente Independientes.
y = C
1
J

+C
2
J

En conclusin
y (x) = C
1
J

(x) +C
2
J

(x), 6= ENTERO (0, )


y (x) = C
1
J

(x) +C
2
Y

(x), = ENTERO (0, )


FUNCIONES BESSEL 135
F.1. Funcs. Bessel de Primera Clase o Especie J

(x)
J

(x) =

X
k=0
(1)
k
k!(1 +k +)

x
2

2k+
J

(x) =

X
k=0
(1)
k
k!(1 +k )

x
2

2k
x J
0
(x) J
1
(x) J
2
(x) J
3
(x)
0,0 1 0 0 0
0,5 . 93847 . 24227 3. 0604 10
2
2. 5637 10
3
1,0 . 7652 . 44005 . 1149 1. 9563 10
2
1,5 . 51183 . 55794 . 23209 6. 0964 10
2
2,0 . 22389 . 57672 . 35283 . 12894
2,5 4. 8384 10
2
. 49709 . 44606 . 2166
3,0 . 26005 . 33906 . 48609 . 30906
3,5 . 38013 . 13738 . 45863 . 38677
4,0 . 39715 6. 6043 10
2
. 36413 . 43017
4,5 . 32054 . 23106 . 21785 . 4247
5,0 . 1776 . 32758 4. 6565 10
2
. 36483
5,5 6. 8439 10
3
. 34144 . 11732 . 25612
6,0 . 15065 . 27668 . 24287 . 11477
6,5 . 26009 . 15384 . 30743 3. 5347 10
2
7,0 . 30008 4. 6828 10
3
. 30142 . 16756
7,5 . 26634 . 13525 . 23027 . 25806
8,0 . 17165 . 23464 . 11299 . 29113
8,5 4. 1939 10
2
. 27312 2. 2325 10
2
. 26262
9,0 9. 0334 10
2
. 24531 . 14485 . 18094
9,5 . 19393 . 16126 . 22788 6. 5315 10
2
10. . 24594 4. 3473 10
2
. 25463 5. 8379 10
2
F.2. Funcs. Bessel de Segunda Clase o Especie Y

(x)
Esta funcin se dene como
Y

(x) =
cos()J

(x) J

(x)
sin()
136 FUNCIONES BESSEL
Para cualquier valor de , J
v
y Y
v
son Linealmente Independientes. Por lo tanto, la
solucin general de la EDO de Bessel se puede expresar como
y (x) = C
1
J

(x) +C
2
Y

(x)
Las funciones de segunda clase son:
x Y
0
(x) Y
1
(x) Y
2
(x) Y
3
(x)
0,0
0,5 . 44452 1. 4715 5. 4414 42. 059
1,0 8. 8257 10
2
. 78121 1. 6507 5. 8215
1,5 . 38245 . 41231 . 93219 2. 0735
2,0 . 51038 . 10703 . 61741 1. 1278
2,5 . 49807 . 14592 . 38134 . 75606
3,0 . 37685 . 32467 . 1604 . 53854
3,5 . 18902 . 41019 4. 5371 10
2
. 35834
4,0 1. 6941 10
2
. 39793 . 2159 . 18202
4,5 . 19471 . 301 . 32848 9. 0137 10
3
5,0 . 30852 . 14786 . 36766 . 14627
5,5 . 33948 2. 3758 10
2
. 33084 . 26437
6,0 . 28819 . 17501 . 22986 . 32825
6,5 . 17324 . 27409 8. 8907 10
2
. 3288
7,0 ,0 2595 . 30267 6. 0527 10
2
. 26808
7,5 . 11731 . 25913 . 18641 . 15971
8,0 . 22352 . 15806 . 26304 2. 6542 10
2
8,5 . 27021 2. 6169 10
2
. 27636 . 10388
9,0 . 24994 . 10431 . 22676 . 20509
9,5 . 17121 . 20318 . 12844 . 25726
10. 5. 5671 10
2
. 24902 5. 8681 10
3
. 25136
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
2 4 6 8 10
x
Funciones Bessel de 1
a
Especie J

(x)
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
2 4 6 8 10
x
Funciones Bessel de 2
a
Especie Y

(x)
FUNCS. BESSEL DE SEGUNDA CLASE O ESPECIE Y

(X) 137
F.3. Funcs. Modif. de Bessel de Primera Clase I

(x)
La ED de Bessel Modicada
x
2
y
00
+xy
0
(
2
x
2
+
2
)y = 0, 0
tiene como solucin
y(x) = C
1
I

(x) +C
2
K

(x)
Donde I

y K

son las Funciones Modicadas de Bessel de Primera y Segunda


Especie, respectivamente de Orden . Estas funciones se denen como
I

(x) = i

(ix) =

X
m=0
1
m!(m+ + 1)

x
2

2m+
K

(x) =
(

2 sin()
{I

(x) I

(x)} , n 6= 0, 1, 2
lm
p
h

2 sin(p)
{I
p
(x) I
p
(x)}
i
, n = 0, 1, 2
Las funciones modicadas de primera clase son:
x I
0
(x) I
1
(x) I
2
(x) I
3
(x)
0,0 1 0 0 0
0,5 1. 0635 . 25789 3. 1906 10
2
2. 6451 10
3
1,0 1. 2661 . 56516 . 13575 2. 2168 10
2
1,5 1. 6467 . 98167 . 33783 8. 0774 10
2
2,0 2. 2796 1. 5906 . 68895 . 21274
2,5 3. 2898 2. 5167 1. 2765 . 47437
3,0 4. 8808 3. 9534 2. 2452 . 95975
3,5 7. 3782 6. 2058 3. 832 1. 8264
4,0 11. 302 9. 7595 6. 4222 3. 3373
4,5 17. 481 15. 389 10. 642 5. 9301
5,0 27. 24 24. 336 17. 506 10. 331
5,5 42. 695 38. 588 28. 663 17. 743
6,0 67. 234 61. 342 46. 787 30. 151
6,5 106. 29 97. 735 76. 221 50. 83
7,0 168. 59 156. 04 124. 01 85. 175
7,5 268. 16 249. 58 201. 61 142. 06
8,0 427. 56 399. 87 327. 6 236. 08
8,5 683. 16 641. 62 532. 19 391. 18
9,0 1093. 6 1030. 9 864. 5 646. 69
9,5 1753. 5 1658. 5 1404. 3 1067. 2
10. 2815. 7 2671,0 2281. 5 1758. 4
138 FUNCIONES BESSEL
F.4. Funcs. Modif. de Bessel de Segunda Clase K

(x)
x K
0
(x)
1
K
1
(x) K
2
(x) K
3
(x)
0,0
0,5 . 92442 1. 6564 7. 5502 62. 058
1,0 . 42102 . 60191 1. 6248 7. 1013
1,5 . 21381 . 27739 . 58366 1. 8338
2,0 . 11389 . 13987 . 25376 . 64739
2,5 6. 2348 10
2
7. 3891 10
2
. 12146 . 26823
3,0 ,0 3474 4. 0156 10
2
,0 6151 . 12217
3,5 1. 9599 10
2
2. 2239 10
2
3. 2307 10
2
5. 9162 10
2
4,0 ,0 1116 1. 2483 10
2
1. 7401 10
2
2. 9885 10
2
4,5 6. 3999 10
3
7. 0781 10
3
9. 5457 10
3
1. 5563 10
2
5,0 3. 6911 10
3
4. 0446 10
3
5. 3089 10
3
8. 2918 10
3
5,5 2. 1387 10
3
2. 3256 10
3
2. 9844 10
3
4. 496 10
3
6,0 1. 244 10
3
1. 3439 10
3
1. 692 10
3
2. 4719 10
3
6,5 7. 2593 10
4
7. 7989 10
4
9. 659 10
4
1. 3743 10
3
7,0 4. 248 10
4
4. 5418 10
4
5. 5456 10
4
7. 7108 10
4
7,5 2. 4918 10
4
2. 653 10
4
3. 1992 10
4
4. 3592 10
4
8,0 1. 4647 10
4
1. 5537 10
4
1. 8531 10
4
2. 4803 10
4
8,5 8. 6258 10
5
9. 1197 10
5
1. 0772 10
4
1. 4189 10
4
9,0 5. 0881 10
5
5. 3637 10
5
6. 2801 10
5
8. 1548 10
5
9,5 3. 0058 10
5
3. 1602 10
5
3. 6711 10
5
4. 7059 10
5
10. 1. 778 10
5
1. 8649 10
5
2. 151 10
5
2. 7253 10
5
0
5
10
15
20
25
1 2 3 4 5
x
Funcin Modif. de Bessel de 1
a
Especie I

(x)
0
1
2
3
4
5
1 2 3 4 5
x
Funcin Modif. de Bessel de 2
a
Especie K

(x)
1
K

(x) =
[I

(x)I

(x)]
2 sin(n)
FUNCS. MODIF. DE BESSEL DE SEGUNDA CLASE K

(X) 139
140 FUNCIONES BESSEL
G. INTEGRALES TRIGONOMETRICAS
1.
R
sin (nx) dx =
cos nx
n
+c
2.
R
cos (nx) dx =
sinnx
n
+c
3.
R
xsin (nx) dx =
sinnxnxcos nx
n
2
+c
4.
R
xcos (nx) dx =
cos nx+nxsinnx
n
2
+c
5.
R
x
2
sin(nx) dx =
n
2
x
2
cos nx+2 cos nx+2nxsinnx
n
3
+c
6.
R
x
2
cos (nx) dx =
n
2
x
2
sinnx2 sinnx+2nxcos nx
n
3
+c
7.
R
sin (nx) cos (nx) dx =
1
2
sin
2
nx
n
+c
8.
R
e
ax
sin (bx) dx = e
ax a sinbxb cos bx
a
2
+b
2
+c
9.
R
e
ax
cos (bx) dx = e
ax a cos bx+b sinbx
a
2
+b
2
+c
10.
R
sin (mx) sin (nx) dx =
sin(mn)x
2(mn)

sin(m+n)x
2(m+n)
+c
11.
R
sin (mx) cos (nx) dx =
cos(m+n)x
2(m+n)

cos(mn)x
2(mn)
+c
12.
R
cos (mx) cos (nx) dx =
sin(mn)x
2(mn)
+
sin(m+n)x
2(m+n)
+c
INTEGRALES TRIGONOMETRICAS 141
142 INTEGRALES TRIGONOMETRICAS
H. FUNCIONES ESPECIALES
H.1. Funcin Gama
Se dene como
(n) =
Z

0
u
n1
e
u
du, n > 0
Tiene la propiedad de recurrencia
(1 +n) = n(n)
(1 +n) = n!, n = 1, 2, 3, . . .
-4
-2
2
4
-4 -2 2 4 x
Funcin Gama
H.2. Funcin Beta
Se dene como
B(m, n) = B(n, m) =
Z
1
0
u
m1
(1 u)
n1
du
B(m, n) =
(m) (n)
(m+n)
, m, n > 0
FUNCIONES ESPECIALES 143
H.3. Funcin Error
Se dene como
fer (t) =
2

Z
t
0
e
u
2
du
0
0.2
0.4
0.6
0.8
1
2 4 6 8 10 t
Funcin Error
H.4. Funcin Complementaria de Error
Se dene como
fcer (t) = 1 fer (t)
=
2

Z

t
e
u
2
du
144 FUNCIONES ESPECIALES
0
0.2
0.4
0.6
0.8
1
2 4 6 8 10 t
Funcin Error Complementaria
H.5. Funcin Integral Exponencial
Se dene como
Ei (t) =
Z
t
0
e
u
u
du
-40
-30
-20
-10
0
0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2 t
Funcin Integral Exponencial
FUNCIN INTEGRAL EXPONENCIAL 145
H.6. Funcin Integral Seno
Se dene como
Si (t) = Is (t) =
Z
t
0
sin (u)
u
du
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2 4 6 8 10 12 14 16 18 20 t
Funcin Integral Seno
H.7. Funcin Integral Coseno
Se dene como
Ci (t) = Ic (t) =
Z
t
0
cos (u)
u
du
-2
-1.5
-1
-0.5
0
0.5
2 4 6 8 10 12 14 16 18 20 x
Funcin Integral Coseno
146 FUNCIONES ESPECIALES
H.8. Funcin Integral Seno de Fresnel
Se dene como
S (t) =
Z
t
0
sin

u
2

du
0
0.2
0.4
0.6
0.8
2 4 6 8 10 t
Funcin Integral Seno de Fresnel
H.9. Funcin Integral Coseno de Fresnel
Se dene como
C (t) =
Z
t
0
cos

u
2

du
0
0.2
0.4
0.6
0.8
2 4 6 8 10 t
Funcin Integral Coseno de Fresnel
FUNCIN INTEGRAL SENO DE FRESNEL 147
H.10. Polinomios de Laguerre
Se denen como
L
n
(t) =
e
t
n!
d
n
dt
n

t
n
e
t

, n = 0, 1, 2, . . .
Por ejemplo, el polinomio de grado 3 es
L
2
(t) = 1 3t +
3
2
t
2

1
6
t
3
-40
-30
-10
0
10
20
-2 2 4 6 8 10 t
148 FUNCIONES ESPECIALES