180

Captulo 3 Ecuaciones lineales de orden superior

TEOREMA 3

Races complejas

Si la ecuacin caracterstica en (3) tiene un par no repetido de races complejas

conjugadas a 6 bi (siendo b Z 0), entonces la parte correspondiente de la solucin
general de la ecuacin (1) toma la forma

Ejemplo 3

eax (c1 cos bx + c2 sen bx).

(21)

La ecuacin caracterstica de
y + b2 y = 0 (b > 0)

es r2 1 b2 5 0, con races r 5 6bi. De esta manera, el teorema 3 (con a 5 0) obtiene la solucin general
y(x) = c1 cos bx + c2 sen bx.

Ejemplo 4

Encuntrese la solucin particular de

y 4y + 5y = 0

para la cual y(0) 5 1 y(0) 5 5.

Solucin

Completando el cuadrado en la ecuacin caracterstica se tiene

r 2 4r + 5 = (r 2)2 + 1 = 0,

as, r 2 = 1 = i. De esta manera se obtienen las races complejas conjugadas 2 ; i (las cuales tambin pueden encontrarse directamente por medio de la
frmula cuadrtica). Por tanto, el teorema 3 con a 5 2 y b 5 1 proporciona la solucin general
y(x) = e2x (c1 cos x + c2 sen x).

Entonces
y (x) = 2e2x (c1 cos x + c2 sen x) + e2x ( c1 sen x + c2 cos x),

as, las condiciones iniciales nos llevan a

y(0) = c1 = 1 y

y (0) = 2c1 + c2 = 5.

De aqu se concluye que c2 5 3 y, por tanto, la solucin particular deseada es

y(x) = e2x (cos x + 3 sen x).

181

3.3 Ecuaciones homogneas con coecientes constantes

En el ejemplo 5 se emplea la forma polar

z = x + i y = r ei

(x, y)

(22)

del nmero complejo z. Esta forma se obtiene de la frmula de Euler al escribir

x
y
iq
+ i
= r(cos q + i sen q ) = r e
r
r

z= r

FIGURA 3.3.1.

Mdulo y
argumento del nmero complejo
x 1 iy.

Ejemplo 5
Solucin

en trminos del mdulo r = x 2 + y 2 > 0 del nmero z y su argumento q, indicados en la gura 3.3.1. Por ejemplo, el nmero imaginario i tiene mdulo 1 y argumento p/2, de tal manera que i 5 eip/2. De forma similar, 2i 5 e3p/2. Otra
consecuencia de esto es que el nmero complejo diferente de cero z 5 reiq tiene las
dos races cuadradas

(23)
z = (r ei )1/2 = r ei/2 ,

donde r signica (como es usual para un nmero real positivo) la raz cuadrada
positiva del mdulo de z.
Encuntrese la solucin general de y(4) 1 4y 5 0.
La ecuacin caracterstica es
r 4 4 = (r 2 )2 (2i)2 = (r 2 + 2i)(r 2 2i) = 0,

y sus cuatro races son 2i. Puesto que i 5 eip/2 y 2i 5 ei3p/2, se encuentra
que
2i = 2ei p/ 2

1/ 2

= 2ei p/ 4 = 2 cos

p
p
+ i sen
4
4

= 1+ i

y
2i = 2ei3p/ 2

1/ 2

= 2ei3p/ 4 = 2 cos

3p
3p
+ i sen
4
4

= -1 + i.

De este modo, las cuatro races (distintas) de la ecuacin caracterstica son r 5

6(61 1 i). Estos dos pares de races conjugadas complejas, 1 6 i y 21 6 i, proporcionan la solucin general
y(x) = e x(c1 cos x + c2 sen x) + e x(c3 cos x + c4 senx)

de la ecuacin diferencial y(4) 1 4y 5 0.

Races complejas repetidas

El teorema 2 se cumple para races complejas repetidas. Si el par conjugado a 6 bi
tiene multiplicidad k, entonces la parte correspondiente de la solucin general tiene
la forma
( A1 + A2 x + + Akx k 1 )e(a+ bi)x + ( B1 + B 2 x + + Bk x k 1 ) e (a bi)x
k 1

x peax(ci cos bx + di sen bx).

=
p=0

Puede mostrarse que las 2k funciones

x peax cos bx,

x peax sen bx,

k 1

que aparecen en la ecuacin (24) son linealmente independientes.

(24)

182

Captulo 3 Ecuaciones lineales de orden superior

Ejemplo 6
Solucin

Encuntrese una solucin general de (D2 1 6D 1 13)2y 5 0.

Al completar el cuadrado, se observa que la ecuacin caracterstica
(r 2 + 6r + 13)2 = [(r + 3)2 + 4]2 = 0

tiene como races el par conjugado 23 6 2i de multiplicidad k 5 2. Por tanto, la

ecuacin (24) proporciona la solucin general
y(x) = e 3x (c1 cos 2x + d1 sen 2x) + xe 3x (c2 cos 2x + d2 sen 2x).

En aplicaciones, rara vez se presentan factorizaciones tan tiles como la del

ejemplo 6. Frecuentemente la parte ms difcil en la solucin de una ecuacin lineal
homognea es encontrar las races de su ecuacin caracterstica. El ejemplo 7 ilustra
una aproximacin que puede funcionar cuando por inspeccin se encuentra una raz
de la ecuacin caracterstica. El material del proyecto de esta seccin ilustra otra
posibilidad.
Ejemplo 7

La ecuacin caracterstica de la ecuacin diferencial

y (3) + y 10y = 0

es la ecuacin cbica
r 3 + r 10 = 0.

Por el teorema estndar de lgebra elemental, las nicas posibles races racionales
son los factores 61, 62, 65 y 610 del trmino constante 10. Por ensayo y error (si
no es que por inspeccin), se obtiene que la raz es 2. El teorema del factor de lgebra
elemental garantiza que r 2 2 es un factor de r3 1 r 2 10, y la divisin del anterior
entre este ltimo da como cociente el polinomio cuadrtico
r 2 + 2r + 5 = (r + 1)2 + 4.

Las races de este cociente son los valores complejos conjugados 21 6 2i. Las tres
races nos llevan a la solucin general
y(x) = c1 e2x + e x (c2 cos 2x + c3 sen 2x).

Ejemplo 8

Solucin

Las races de la ecuacin caracterstica de una cierta ecuacin diferencial son 3, 25,
0, 0, 0, 0, 25, 2 6 3i y 2 6 3i. Escrbase una solucin general de esta ecuacin diferencial homognea.

La solucin puede obtenerse directamente del listado de las races. Esto es

y(x) = c1 + c2 x + c3 x 2 + c4 x 3 + c5 e3x + c6 e 5x + c7 xe 5x
+ e2x (c8 cos 3x + c9 sen 3x) + xe2x (c10 cos 3x + c11 sen 3x).