M etodo de Variaci on de Par ametros

El objetivo del m etodo de variaci on de par ametros es encontrar una funci on y = y(t) que
cumpla la ecuaci on diferencial
y
(n)
+ a
n1
(t)y
(n1)
+ + a
1
(t)y

+ a
0
(t)y = f (t), (1)
donde f (t), a
0
(t), ..., a
n1
(t) son funciones continuas en un intervalo de IR.
En otras palabras, se trata de encontrar una soluci on particular de la ecuaci on diferencial (1),
que es una ecuaci on diferencial lineal de orden n, no homog enea. Obs ervese que no se supone
que a
0
, . . . , a
n1
sean constantes.
Nota hist orica: El m etodo de variaci on
de par ametros se remonta a los Prin-
cipia de Newton; despu es de estudiar
el movimiento de la Luna alrededor de
la Tierra. El m etodo fue usado por Jean
Bernouilli en 1697 y por Euler en 1739
al tratar la ecuaci on y

+ k
2
y = f (t).
Laplace escribi o muchos artculos so-
bre este m etodo, el cual fue desarrolla-
do de forma completa por Lagrange en
1775. (Nota obtenida de El pensamiento
matem atico de la antig uedad a nuestros
das. Morris Kline. Alianza Universi-
dad).
La forma usada aqu diere de la de
Lagrange, entre otras cosas, pues las
matrices fueron desarrolladas a media-
dos del siglo XIX.
Ante todo hay que decir que cuando se puede usar
el m etodo de los coecientes indeterminados para ha-
llar una soluci on particular de (1) se debe usar este
m etodo, siendo el m etodo de variaci on de par ametros
la opci on m as costosa con diferencia.
El m etodo de variaci on de par ametros requiere en
primer lugar resolver la ecuaci on homog enea asocia-
da a (1); es decir
y
(n)
+ a
n1
y
(n1)
+ + a
1
y

+ a
0
y = 0. (2)
Sea
y
h
(t) = C
1
y
1
(t) + + C
n
y
n
(t) (3)
la soluci on de (2), siendo C
1
, . . . , C
n
constantes reales.
Una forma matricial de escribir (3) es
y
h
(t) = (y
1
(t) y
n
(t))

C
1

C
n

. (4)
La soluci on de la homog enea, y
h
, se puede escribir de forma muy compacta de la siguiente ma-
nera:
y
h
(t) = Y(t)C, C IR
n
, (5)
en donde se ha denido
Y(t) = (y
1
(t) y
n
(t)). (6)
El m etodo de variaci on de par ametros consiste en encontrar una funci on de la forma
y(t) = Y(t)F(t) (7)
que cumple la ecuaci on diferencial no homog enea (1), donde F(t) es un vector columna de n
funciones por determinar. Obs ervese que (7) se obtiene tras convertir el vector constante C en
(5) en el campo vectorial F. De aqu el nombre de m etodo de variaci on de par ametros. Este m etodo
se basa en el siguiente teorema:
TEOREMA: Sea F = F(t) un vector columna formado por n funciones que cumple
YF

= = Y
(n2)
F

= 0, Y
(n1)
F

= f , (8)
donde Y est a denido en (6). Entonces la funci on YF cumple (1).
Ilustremos este teorema con un ejemplo (la demostraci on del teorema la haremos m as ade-
lante). Precisamente resolveremos la ecuaci on propuesta por Euler: y

+ k
2
y = f (t) que corres-
ponde al estudio de un resorte mec anico sin resistencia con una fuerza externa, jando el origen
para que la posici on de equilibrio sea y = 0.
1
EJEMPLO: Resu elvase el siguiente problema de valor inicial:
y

+ k
2
y = f (t) y(0) = y
0
y

(0) = v
0
,
donde k es una constante positiva y f una funci on continua en un entorno de t = 0.
En primer lugar debemos resolver la homog enea (se puede hacer como ejercicio) y se obtiene
y
h
(t) = C
1
cos(kt) + C
2
sen(kt), C
1
, C
2
IR. (9)
En este ejemplo y siguiendo la notaci on previa, denimos por (6)
Y(t) = (cos(kt) sen(kt)). (10)
Obs ervese que a lo largo del problema se tiene n = 2. Hemos de hallar el campo vectorial F,
teniendo este campo 2 componentes y siendo columna; es decir
F(t) =

F
1
(t)
F
2
(t)

, (11)
donde F
1
y F
2
son campos escalares que hay que hallar. Escribamos las ecuaciones correspon-
dientes a (8). En primer lugar hay n = 2 ecuaciones. La ultima ecuaci on de (8) est a igualada a
f (t) y las n 1 = 1 primeras est an igualadas a cero. Por tanto,
YF

= 0, Y

= f .
Usando ahora (10) y (11), se obtiene el sistema
F

1
cos(kt) + F

2
sen(kt) = 0
kF

1
sen(kt) + kF

2
cos(kt) = f

(12)
Hay muchas maneras de resolver (12), teniendo este sistema lineal dos ecuaciones y dos
inc ognitas F

1
y F

2
. Una de estas maneras es la siguiente: Despejamos F

1
de la primera ecuaci on
de (12) y substituimos esta expresi on en la segunda ecuaci on de (12) obteniendo
kF

2
sen
2
(kt)
cos(kt)
+ kF

2
cos(kt) = f .
Ahora debe ser trivial despejar F

2
tras usar la identidad cos
2
+ sen
2
= 1. A continuaci on ya
podemos hallar F

1
. Obtenemos
F

1
(t) =
1
k
f (t) sen(kt), F

2
(t) =
1
k
f (t) cos(kt). (13)
Recu erdese que el objetivo del m etodo de variaci on de par ametros es encontrar una soluci on
particular de la ecuaci on no homog enea (pues basta sumarle a esta soluci on particular la soluci on
general de la homog enea para resolver completamente la ecuaci on no homog enea). Por tanto,
podemos escribir
F
1
(t) =
1
k

t
0
f (s) sen(ks)ds, F
2
(t) =
1
k

t
0
f (s) cos(ks)ds. (14)
Es conveniente que el lmite inferior de las integrales que aparecen en (14) sea el mismo valor
que cuando est an evaluadas las condiciones iniciales debido a una raz on que se ver a clara m as
adelante. Si no entiende el paso de (13) a (14), mire la caja siguiente.
Luego por el Teorema, se tiene que YF es una soluci on de la ecuaci on diferencial no ho-
mog enea, llam emosla y
p
(t).
2
y
p
(t) = Y(t)F(t) = (cos(kt) sen(kt)

F
1
(t)
F
2
(t)

= F
1
(t) cos(kt) + F
2
(t) sen(kt)
=
1
k
cos(kt)

t
0
f (s) sen(ks)ds +
1
k
sen(kt)

t
0
f (s) cos(ks)ds. (15)
Por qu e la derivada de

t
t
0
g(s)ds es g(t)?
La raz on es sencilla: sea G una primitiva
de g, esto es, G

= g. Ahora por la regla

de Barrow,

t
t
0
g(s)ds = G(t) G(t
0
), y
como G(t
0
) es constante y G

= g, se debe
cumplir
d
dt

t
t
0
g(s)ds = g(t). Observe que:
1) Como lmite inferior podemos tomar
cualquier t
0
IR.
2) Cuando se escribe una expresi on como

t
t
0
g(s)ds, tenga en cuenta que una cosa es
el lmite de la integral y otra, la variable de
integraci on.
Con la soluci on homog enea escrita en (9) y la
particular de (15) ya podemos decir que la soluci on
general de y

+ k
2
y = f (t) es y(t) = y
h
(t) + y
p
(t).
Ahora usaremos las condiciones iniciales. Si in-
tentamos simplicar y(0) = y
h
(0) + y
p
(0), nos en-
contramos con que y
p
(0) = 0 debido a que la inte-
gral entre 0 y 0 de cualquier funci on es nula (de un
modo m as general:

a
a
f (t)dt siempre es cero para
cualquier f ). Es ahora clara la raz on de que en
(14) se halla elegido como lmite inferior el cero?
Por tanto, se tiene y
0
= y(0) = C
1
.
Para usar ahora y

(0) = v
0
, antes derivemos
y
p
. A partir de (15) se tiene
y

p
(t) = F

1
(t) cos(kt) kF
1
(t) sen(kt) + F

2
(t) sen(kt) + kF
2
(t) cos(kt)
y ahora se tiene
v
0
= y

(0) = y

h
(0) + y

p
(0) = kC
2
,
debido a que se cumple F

1
(0) = 0 por (13) y porque F
2
(0) = 0. Luego la soluci on del problema
de valor inicial es
y(t) = y
0
cos(kt) +
v
0
k
sen(kt)
1
k
cos(kt)

t
0
f (s) sen(ks)ds +
1
k
sen(kt)

t
0
f (s) cos(ks)ds.
Si aplicamos la identidad trigonom etrica sen( ) = sen cos cos sen, entonces la
soluci on anterior puede escribirse de una manera m as compacta:
y(t) = y
0
cos(kt) +
v
0
k
sen(kt) +
1
k

t
0
f (s) sen(k(t s))ds. (16)
Puede comprobar el resultado? Una
buena respuesta a esta pregunta
rearma nuestra conanza en la exac-
titud de la soluci on y contribuye a
consolidar nuestros conocimientos ya
obtenidos.
Los problemas literales permiten ve-
ricaciones m as interesantes que los
problemas num ericos, pues podemos
variar las letras, obtener casos par-
ticulares o aplicar el an alisis dimen-
sional. (Nota obtenida de C omo plantear
y resolver problemas. George Polya.
Ed. Trillas).
En este momento vamos a aplicar varias t ecnicas
de vericaci on del resultado obtenido, as como dar
algunas interpretaciones fsicas de la soluci on (16)
Apliquemos el an alisis dimensional a la ecuaci on
y

+ k
2
y = f (t). As, y es una longitud y si em-
pleamos el Sistema Internacional, y est a medida en
metros: su dimensi on es m. Como y

es una acelera-
ci on, su dimensi on es ms
2
, siendo s la dimensi on del
tiempo medido en segundos. Cada t ermino de una
suma debe tener la misma dimensi on, por tanto las
unidades de k son s
1
y las de f son ms
2
.
Ahora pensemos en la soluci on obtenida en (16).
Es claro que la dimensi on del primer sumando del
lado derecho de (16) es mpuesto que cos(kt) (y tambi en
sen(kt)) es adimensional, pues se trata de una raz on
de distancias. Asimismo, como v
0
es una velocidad, su dimensi on es ms
1
y como la dimensi on
de k es s
1
, entonces la dimensi on de v
0
/k es m (como debe ser!). Tambi en debe ser claro que la
3
dimensi on del tercer sumando es m, puesto que ds es un diferencial de tiempo y su dimensi on es
s (la integral, dicho de una manera un poco bruta, no es m as que sumar innitos diferenciales).
En este momento quiz a est e sorprendido en pensar que f es una fuerza y su dimensi on es
ms
2
. Pero, decir que f es una fuerza es incorrecto. De hecho, si y = y(t) denota el movimiento
de una masa m sujeta a un resorte con constante recuperadora K (tenga cuidado K no es la misma
k que ha aparecido antes), tras aplicar la ley de Hooke, obtenemos que si F = F(t) es la fuerza
externa (de nuevo F no es f ), entonces por la ley de Newton
my

+ Ky = F.
As, vemos que f = F/m y k = K/m.
Vamos a hacer variar los datos.
En primer lugar, qu e ocurre si f = 0? Matem aticamente hablando tenemos una ecuaci on
homog enea cuya soluci on es, por (16)
y(t) = y
0
cos(kt) +
v
0
k
sen(kt).
El angulo . Observe la gura, en
donde se ha tomado por simplici-
dad a, b > 0. Sea c =

a
2
+ b
2
. Si
normalizamos el vector (a, b), debe
ser claro que a/c = cos y b/c =
sen.
- x
6
y

(a, b)

(
a
c
,
b
c
)

Es costumbre en fsica expresar esta soluci on de for-

ma distinta: Llamemos a = y
0
, b = v
0
/k, se tiene que
existe un angulo ( angulo de desfase) tal que
cos =
a

a
2
+ b
2
, sen =
b

a
2
+ b
2
, (17)
(si no entiende esto ultimo observe la caja anexa) y por
tanto,
y(t) = a cos(kt) + b sen(kt)
=

a
2
+ b
2
(cos(kt) cos + sen(kt) sen)
=

a
2
+ b
2
cos(kt ). (18)
Por tanto la amplitud del movimiento es
A =

a
2
+ b
2
=

y
2
0
+
v
2
0
k
2
. (19)
Qu e le ocurre a la amplitud...
si y
0
crece (en valor absoluto)? Recordemos que y = 0 es la posici on de equilibrio. Si y
0
crece, empezamos el movimiento en una posici on m as alejada de la posici on de equilibrio
(en una posici on menos natural), y por tanto la amplitud ser a mayor. Adem as, si v
0
= 0,
debe ser evidente que la amplitud coincide exactamente con |y
0
| ya que si soltamos la masa,
el resorte obliga a la masa a ir hacia la posici on de equilibrio. Todo esto debe ser conrmado
mirando la expresi on de la amplitud obtenida en (19).
Qu e ocurre si v
0
crece (en valor absoluto)? Debe ser fsicamente claro que en este caso,
tambi en aumenta la amplitud, lo que debe ser conrmado mirando (19).
Ejercicio: Razone fsicamente qu e le ocurre al periodo del movimiento cuando k crece. Ob-
serve la expresi on (18).
4
Puesto que la soluci on de la homog enea ya est a estudiada, ahora analicemos desde un punto
de vista fsico la particular. Para ello, a partir de ahora supondremos y
0
= 0, v
0
= 0 (es de-
cir, la masa parte del reposo desde la posici on de equilibrio). En este caso, la soluci on (16) es
simplemente
y(t) =
1
k

t
0
f (s) sen(k(t s))ds. (20)
Observe que s olo los valores que la funci on f toma en el intervalo [0, t] inuyen en y(t). Esto
se llama el principio de causalidad. Vamos a explicarlo un poco mejor. Recuerde que f es casi
la fuerza externa (de hecho f = F/m, donde F es la fuerza externa y m la masa) y f puede
considerarse el efecto que causa sobre la partcula cuyo movimiento est a descrito por y, que
puede considerarse la causa. Por tanto, s olo los valores anteriores o iguales a t inuyen en y(t);
es decir, la causa antecede siempre al efecto o es imposible que la causa sea posterior al efecto.
Observe que si f = 0, entonces de (20) se deduce que y = 0, lo cual debe ser intuitivo, ya
que partiendo del reposo, si no hay fuerza externa, entonces no hay movimiento. Adem as la
expresi on (20) permite deducir que, por ejemplo, si se duplica f , entonces y se duplica. O de
un modo m as general, si f se multiplica por un factor IR, entonces el movimiento y se ve
multplicado por el mismo factor . Esto ultimo debe ser intuitivo, ya que f representa la fuerza
externa: cuanto mayor sea la fuerza externa, mayor ser a el movimiento.
Representemos de una forma matem atica esto ultimo. Observe que el desplazamiento solo
depende de f , denotemos este desplazamiento por T( f ). Seg un lo visto en el p arrafo previo, se
tiene que T(f ) = T( f ) para IR. Le suena esta ultima condici on?
Adem as observe que si hay dos fuerzas externas, entonces el desplazamiento es una super-
posici on de dos desplazamientos: los originados por cada una de las dos fuerzas por separado.
De un modo m as matem atico: T( f + g) = T( f ) + T(g).
Otra propiedad importante (e intuitiva) desde el punto de vista fsico es el de la invarianza tem-
poral: Considere una funci on f denida en [0, +[ y la funci on g que se obtiene tras desplazar
f en a unidades de tiempo. Observe la gura siguiente:
- t - t
6 6
r
b
a
f g
La funci on g est a denida como sigue:
g(t) =

0 si 0 t < a,
f (t a) si a t.
El efecto producido por g debe ser el mismo efecto que el producido por f ; pero tambi en de-
splazado a unidades de tiempo. Probemos matem aticamente esta armaci on. En primer lugar,
observe que si 0 t < a, entonces Tg(t) = 0. Hay que demostrar que para t a se tiene
Tg(t) = Tf (t a).
Tg(t) =
1
k

t
0
g(s) sen(k(t s))ds
=
1
k

t
a
g(s) sen(k(t s))ds
=
1
k

t
a
f (s a) sen(k(t s))ds.
5
Ahora podemos hacer el cambio de variables s a =
Tg(t) =
1
k

t
a
f (s a) sen(k(t s))ds
=
1
k

ta
0
f () sen(kt k( + a))d
=
1
k

ta
0
f () sen(k[(t a) ])d
= Tf (t a).
De un modo m as fsico: las leyes de la fsica no varan con el tiempo.
DEMOSTRACI

ON DEL TEOREMA: Veamos que la funci on u = YF cumple (1). Para ello calcule-
mos antes u

, . . . , u
(n1)
, u
(n)
.
u

= (YF)

= Y

F + YF

= [por (8)] = Y

F.
u

= (u

= (Y

F)

= Y

F + Y

= [por (8)] = Y

F.
As progresivamente y se obtiene u
(n1)
= Y
(n1)
F. Y por n
u
(n)
= (u
(n1)
)

= (Y
(n1)
F)

= Y
(n)
F + Y
(n1)
F

= [por (8)] = Y
(n)
F + f .
Ahora puedo substituir las derivadas sucesivas de u en (1):
u
(n)
+ a
n1
u
(n1)
+ + a
1
u

+ a
0
u = Y
(n)
F + f + a
n1
Y
(n1)
F + + a
1
Y

F + a
0
YF
= f + (Y
(n)
+ a
n1
Y
(n1)
+ + a
1
Y

+ a
0
Y)F. (21)
Como las componentes de Y cumplen la ecuaci on homog enea (2), entonces el propio vector Y
cumple esta ecuaci on homog enea; es decir Y
(n)
+ a
n1
Y
(n1)
+ + a
1
Y

+ a
0
Y = 0. Con esto y
con (21) se tiene
u
(n)
+ a
n1
u
(n1)
+ + a
1
u

+ a
0
u = f .
Con lo que el teorema queda probado.
El sistema 2 2 que permite hallar una soluci on particular en el ejemplo (el sistema (12))
obviamente es compatible determinado. Tendr a siempre el sistema (8) soluci on unica? Veamos
que s. Este sistema se puede escribir de forma compacta de la siguiente manera:

Y
Y

Y
(n2)
Y
(n1)

0
0

0
f

. (22)
Aunque no lo parezca, la primera matriz que aparece en la igualdad anterior es una matriz
cuadrada de orden n: en efecto, debido a la denici on de Y hecha en (6), esta matriz es

y
1
y
n
y

1
y

n

y
(n2)
1
y
(n2)
n
y
(n1)
1
y
(n1)
n

.
El determinante de esta matriz es el wronskiano de y
1
, , y
n
, que sabemos por la teora de ecua-
ciones diferenciales lineales, no se anula (pues y
1
, , y
n
son soluciones independientes de la
homog enea). Por tanto el sistema (22) tiene soluci on unica.
6