140 Tes Is Ines Gilt

Universidad de Sonora
Introduccin a la Teor de
o
a
Perturbaciones
Tesis
que para obtener el t
tulo de
Licenciado en Matemticas
a
presenta
Mar Ins Gil Tolano

a e
Contenido
1 Conceptos Bsicos
a
11
1.1
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
o
1.2
S
mbolos de Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1
1.2.2
Propiedades de los s
mbolos de orden . . . . . . . . . . . . . . . . . 14
1.2.3
1.3
Algunos ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Derivadas e Integrales . . . . . . . . . . . . . . . . . . . . . . . . . 15
Expansiones Asintticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
o
2 Ecuaciones Algebraicas y Trascendentes
25
2.1
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
o
2.2
Ecuaciones regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3
Ecuaciones Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4
Ecuaciones trascendentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 Un problema de Cauchy. Expansin Regular

o
37
3.1
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
o
3.2
Analisis Dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.3
El problema del proyectil . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

3.3.1
Derivacin de la ecuacin . . . . . . . . . . . . . . . . . . . . . . . . 39
o
o
3.3.2
El problema adimensional . . . . . . . . . . . . . . . . . . . . . . . 40
3.3.3
Solucin por Perturbacin Regular . . . . . . . . . . . . . . . . . . 42

o
o
3.3.4
Anlisis de la Solucin. . . . . . . . . . . . . . . . . . . . . . . . . . 45
a
o
4 Problema de Valores en la Frontera

3
47
Contenido
4
4.1
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
o
4.2
Las soluciones externa e interna . . . . . . . . . . . . . . . . . . . . . . . . 48
4.3
Un ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3.1
La solucin externa . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
o
4.3.2
La solucin interna . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
o
4.3.3
El Trmino de Acoplamiento . . . . . . . . . . . . . . . . . . . . . . 54
e
5 Problema de Cauchy. Mtodo de Escalas M ltiples

e
u
59
5.1
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
o
5.2
Un oscilador lineal. Solucin Exacta . . . . . . . . . . . . . . . . . . . . . . 60

o
5.2.1
Un Oscilador Lineal. El Mtodo de Escalas Mltiples . . . . . . . . 62

e
u
5.3
La Ecuacin de Dung con Amortiguamiento . . . . . . . . . . . . . . . . 67

o
5.4
Un Oscilador Forzado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Apndice. Cdigos Maple

e
o
77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Bibliograf
a
83
Dedicatoria
A mi madre, Mara Dolores Tolano Vega,
Por su esfuerzo y dedicacin.
En memoria de mi padre,
Rigoberto Gil Valdez.
A mis hermanos
Jos Andrs, Javier, Rosa, Rosario, Cecilia y Beatriz Elena.
A mi esposo, Hugo Alonso.
Contenido
Agradecimientos
A mi madre, por sacarnos adelante a mis hermanos y a m por ser mi apoyo incondicional
,
cuando la he necesitado, por haberme dado una educacin, por ser la mejor de mis amigas,
o
por sus consejos, por todo lo que me ha dado sin merecerlo.
Gracias por ser mi madre, por que si me dieran a elegir no te cambiar por nadie en
a
este mundo. Eres la mejor.
Agradezco a mi hermana Beatriz por apoyarme a lo largo de mi carrera. A mi esposo
por su apoyo incondicional.
Agradezco el apoyo brindado por mi director de tesis Dr. Mart Gildardo Garc
n
a
Alvarado, por el tiempo que me dedic en el desarrollo del presente trabajo.
o
Contenido
Introduccin
o
Las aproximaciones asintticas son una herramienta muy usada en las matemticas aplio
a
cadas, incluyendo problemas f
sicos. Con frecuencia aparecen problemas para los que es
dif encontrar la solucin exacta. Las soluciones a estos problemas pueden, a veces,
cil
o
tomar la forma de una aproximacin, una solucin numrica, y, en algunos casos, de una
o
o
e
combinacin de ambas. La teor de perturbaciones es un conjunto de mtodos para
o
a
e
encontrar soluciones aproximadas anal
ticas, llamadas aproximaciones asintticas o soluo
ciones asintticas, la cual facilita el estudio de problemas complejos en los que aparece un
o
parmetro pequeo.
a
n
En el Cap
tulo 1 se hace una revisin del mtodo de expansiones asintticas y se
o
e
o
analizan los resultados mas importantes.
En el Cap
tulo 2 estudiaremos el mtodo de solucin de ecuaciones algebraicas y
e
o
trascedentales. Para ilustar el funcionamiento del metodo, estudiamos algunos ejemplos.
En el Cap
tulo 3 estudiamos el mtodo de solucin de ecuaciones diferenciales ordinae
o
rias regularmente perturbadas. Para ilustrar el funcionamiento del mtodo, estudiamos
e
el problema f
sico de calcular el tiempo de vuelo de un proyectil bajo la accin de la
o
gravedad.
Contenido
10
En los Cap
tulos 4 y 5 estudiamos un par de mtodos para resolver ecuaciones difee
renciales ordinarias singularmente perturbadas.
En el Cap
tulo 4 analizaremos el mtodo de soluciones asintticas acopladas, donde
e
o
veremos su aplicacin a algunos fenmenos f
o
o
sicos descritos por ecuaciones diferenciales
con condiciones a la frontera singularmente perturbadas en las cuales, t
picamente, la
derivada de ms alto orden aparece multiplicada por un parmetro pequeo.
a
a
n
En el Cap
tulo 5 veremos el mtodo de escalas mltiples, el cual es aplicable a problee
u
mas caracterizados por incorporar dos (o ms) procesos sicos gobernados cada uno por
a
su propia escala pero actuando simultaneamente. La idea bsica es introducir escalas
a
diferentes asociadas, cada una, con alguna propiedad de la solucin.
o
1 Conceptos Bsicos
a
1.1
Introduccin
o
En este cap
tulo hacemos una revisin del mtodo de expansiones asintticas. Se
o
e
o
presentan las deniciones bsicas, se analizan los resultados ms importantes y se discuten
a
a
algunos ejemplos. Casi la totalidad de lo que se expone en este cap
tulo fu tomado de
e
[4].
1.2
S
mbolos de Orden
Para presentar el concepto de expansin asinttica, primero debemos discutir el concepto

o
o
de orden.
Denicin 1.1. Sean f = f (x) y g = g(x).
o
1. Si x0 es nito, la expresin
o
f = O(g)
cuando
x x0
signica que existen constantes k y x1 (independientes de x) tales que

|f (x)| k|g(x)|
para
11
|x x0 | < x1 .
(1.1)
12
1 Conceptos Basicos
Si x0 es innito, la expresin (1.1) signica que existen constantes k y M > 0 tales

o
que
|f (x)| k|g(x)|
para
|x| > M.
En este caso se dice que f es O grande de g cuando x x0 , o que f y g son del

mismo orden cuando x x0 .
2. Si x0 es nito, la expresin
o
f = o(g) cuando x x0
(1.2)
signica que para cualquier k existe un x1 (independiente de x) se satisface que

|f (x)| k|g(x)| para |x x0 | < x1 .
Si x0 es innito, la expresin (1.2) signica que para cualquier k existe M (indepeno
diente de x) tal que
|f (x)| k|g(x)|
para
|x| > M.
En este caso se dice que f es o pequea de g cuando x x0 .

n
Los s
mbolos de orden O y o, llamados tambin s
e mbolos de Bachmann-Landau1
pueden ser denidos tambin de la siguiente manera. Supongamos que g(x) = 0 para
e
|x x0 | < xr para algn xr > 0 y consideremos el l
u
mite
lim
xx0
1
f (x)
.
g(x)
(1.3)
El s
mbolo O() aparece por primera vez en el segundo volumen del Tratado sobre Teor de Nmeros,
a
u
escrito en 1894 por P. G. H. Bachmann (1837 - 1920) y E. G. H. Landau (1877 - 1938) adquiere esta
notacin del libro de Bachmann. Sin embargo, el s
o
mbolo o(x) fue inventado por Landau para sustituir
la notain anterior, {x}. Ver [11].
o
13
1.2. S
mbolos de Orden
Se dice que f es O-grande de g cuando x x0 (o que f es del orden de g cuando

x x0 ) si el l
mite (1.3) existe y es diferente de cero.
A continuacin se establece la relacin que existe entre estas dos maneras de denir
o
o
los s
mbolos de orden.
Teorema 1.1.
i) Si el l
mite (1.3) existe y es diferente de cero, entonces f = O(g)
cuando x x0 .
ii) Si lim
xx0
f (x)
= 0 entonces f = o(g) cuando x x0 .
g(x)
f (x)
= M. De la denicin de limite tenemos
o
xx0 g(x)
f (x)
que para toda > 0 existe > 0 tal que si |x x0 | < entonces,
M < .
g(x)
Demostracin.
o
1. Supongamos que lim
As
,
f (x)
f (x)
|M |
M < .
g(x)
g(x)
De aqu se sigue que
f (x)
+ |M |.
g(x)
Como > 0 y |M | > 0, entonces, haciendo k = + |M | se tiene
f (x)
|f (x)|
=
k.
|g(x)|
g(x)
f (x)
f (x)
= 0, entonces existe > 0 tal que
< k si |x x0 | < . Haciendo
xx0 g(x)
g(x)
x1 = se concluye que f = o(g).
ii) Si lim
14
1 Conceptos Basicos
1.2.1
Algunos ejemplos
A continuacin presentamos algunos ejemplos que ilustran el uso de las deniciones de

o
los s
mbolos de Landau.
f (x)
= 0 y
x0 g1 (x)
1. Sean f (x) = x2 , g1 (x) = x y g2 (x) = 3x2 + 5x6 . En este caso, lim

lim
x0
f (x)
1
= . Luego, f = o(g1 ) y f = O(g2 ) cuando x 0.
g2 (x)
3
2. Sean f (x) = x sen (1 + 1/x) y g(x) = x. Como |f (x)/g(x)|
1 para x > 0, se
concluye que f = O(g) cuando x 0.

1
3. Sea f (x) = sen (x). Por el teorema de Taylor se tiene que f (x) = x x2 sen () con
2
f (x)
0 x. Entonces, lim
= 1, de donde se sigue que sen (x) = O(x) cuando
x0 x
x 0.
3
3
3
= , se concluye que
= O(1) cuando x 0.
x0 4 5x2
4
4 5x2
4. Como lim
3
1
3x2
= 0, se concluye que
=o 2
2
2
x 4 5x
4 5x
x
5. Como lim
1.2.2
cuando |x| .
Propiedades de los s
mbolos de orden
Las siguientes son propiedades muy simples y utiles, que se desprenden directamente de
las deniciones.
1. f = O(1) cuando x x0 si y slo si f es acotada en una vecindad de x0 ;

o
2. f = o(1) cuando x x0 si y slo si lim f (x) = 0;
o
xx0
15
1.2. S
mbolos de Orden
3. Si f = o(g) cuando x x0 entonces f = O(g) cuando x x0 (pero no viceversa;

por ejemplo, f (x) = sen x, g(x) = x, x0 = 0).
Tambin existen algunas relaciones utiles entre los s
e
mbolos de Landau. Algunas de ellas

son las siguientes:
(a) O(O(f )) = O(f )
(b) o(o(f )) = o(f )
(c) O(f g) = O(f ) O(g)
(d) O(f )o(g) = o(f g) O(g)
(e) O(f ) + O(f ) = O(f )

(f) o(f ) + o(f ) = o(f )
(g) o(f ) + O(f ) = O(f )
(h) O(o(f )) = o(O(f )) = o(f ).
Estas propiedades se deducen directamente de la Denicin 1.1.

o
Por ejemplo, para probar la propiedad (e), O(f ) + O(f ) = O(f ), supngase que
o
g1 (x)
g2 (x)
g1 = O(f ) y que g2 = O(f ). Esto signica que lim
= M1 y que lim
= M2 .
f (x)
f (x)
g1 (x) + g2 (x)
Entonces lim
= M1 + M2 , de donde se sigue que g1 + g2 = O(f ).
f (x)
1.2.3
Derivadas e Integrales
Aunque en este trabajo no estaremos interesados en la relacin de orden entre derivadas

o
y/o integrales, dedicaremos unos cuantos prrafos a discutir la siguiente pregunta. Si
a
f (x) = O(g(x)), qu puede decirse sobre la relacin de orden entre las derivadas o las
e
o
integrales de f y de g?
Si f = O(g), no necesariamente se sigue que f = O(g ), como se puede ver con el
siguiente ejemplo. Sean f (x) = x + sen (ex ) y g(x) = x. Si x 1 se ve que f = O(x),
pero la derivada de f no es acotada (es decir, f no es O(1).) Con respecto a la integral,
sin embargo, la situacin es diferente. Es posible plantear varios resultados respecto a las
o
integrales, pero aqu slo mencionamos uno.
o
16
1 Conceptos Basicos
Teorema 1.2. Si f (x) y g(x) satisfacen f = O(g) si x x0 para todo x0 R entonces

x
x0
f (t)dt = O
x0
|g(t)|dt ,
Demostracin. Sea k la constante tal que |f (t)|

o
x x0 .
k|g(t)| para t sucientemente cercana
a x0 , digamos |t x0 | < . Entonces

k|g(t)|
f (t)
k|g(t)|,
para
|t x0 | < .
Aplicando la propiedad de monoton de la integral se obtiene la conclusin.

a
o
Es en el plano complejo donde se puede establecer algn enunciado con respecto a la
u
diferenciacin de relaciones de orden. Esto se debe, en parte, a que el teorema integral
o
de Cauchy permite representar funciones holomorfas como integrales, las cuales, como se
vi en el Teorema 1.2, se comportan bien (por decirlo coloquialmente) con respecto a
o
la integral. Un resultado estndar en este sentido es el siguiente teorema.
a
Teorema 1.3. Sea f : C C una funcin holomorfa en una regin que contiene el
o
o
sector anular cerrado S = {z :
arg(z z0 )
, |z z0 |
0} y supongamos que
f (z) = O(z ) (respectivamente, f (z) = o(z )) cuando z en el sector, para real y

jo. Entonces f (n) (z) = O(z n ) (respectivamente, f (n) (z) = o(z n )) cuando z en
cualquier sector anular cerrado contenido en S con vrtice comn z0 .
e
u
La demostracin de este hecho aparece en [4] (pgina 9).
o
a
1.3
Expansiones Asintticas
o
Las siguientes deniciones fueron dadas por Poincar (1886).

e
17
1.3. Expansiones Asintticas

o
Denicin 1.2. Sea {n }, n = 0, 1, 2, . . . una sucesin de funciones continuas, denidas

o
o
en algn dominio D, y sea x0 un punto l
u
mite de D. Se dice que {n } es una sucesin
o
asinttica si n+1 (x) = o(n (x)) cuando x x0 para toda n.
o
Existe un gran nmero de sucesiones asintticas, pero las ms usuales (para el caso
u
o
a
en que xn x0 ) son:
1. n (x) = en/(xx0 ) , n = 0, 1, 2, . . . , cuando x x0 ;
2. n (x) = (x x0 )n , n = 0, 1, 2, . . . , donde n son constantes para las cuales (x
x0 )n+1 = o((x x0 )n ) cuando x x0 ;
3. n (x) = xn cuando x ;
4. n (x) = enx cuando x .
(En cada caso se puede vericar que lim
xx0
n+1 (x)
= 0.)
n (x)
La primera sucesin es util cuando se tienen que analizar funciones exponencialmente

o
pequeas. La segunda de estas sucesiones es simplemente una generalizacin de las funn

o
ciones que aparecen en series de potencias. De hecho, toda serie de Taylor convergente
de una funcin anal
o
tica f (x) sirve como ejemplo de una serie asinttica, tomando a x0
o
f (k) (x0 )
.
en el dominio de analiticidad de f (x), = n y los coecientes ak =
n!
Una expansin asinttica es una serie formal de funciones tomadas de una sucesin
o
o
o
asinttica que tiene la propiedad de que, la truncacin de la serie en un nmero nito de
o
o
u
trminos, proporciona una aproximacin a una funcin dada cuando el argumento tiende
e
o
o
a un valor particular. La denicin formal es la siguiente.
o
18
1 Conceptos Basicos
Denicin 1.3. Sea f (x) una funcin denida en D. Entonces f (x) tiene una expansin
o
o
o
asinttica de n trminos, con respecto a la sucesin {n (x)}, si y solo si
o
e
o
m
f (x) =
k=1
ak k (x) + o(m ) para cada m = 1, ..., n cuando x x0 ,
(1.4)
donde los coecientes ak son independientes de x. En este caso, escribimos

f (x) a1 1 (x) + a2 2 (x) + ... + an n (x) cuando x x0 .
(1.5)
Es necesario hacer tres comentarios.

1. Dada una funcin f (x) y dado un l
o
mite de inters, x x0 , la expansin asinttica
e
o
o
no es unica, sino que depende de la sucesin asinttica que se decida usar (y se supone
o
o
que se elige la ms simple). Por ejemplo, consideremos la funcin f (x) = sen (3x).
a
o
En la siguiente tabla se muestran algunas expansiones asintticas cuando x 0 de
o
f (x), para diferentes sucesiones asintticas.
o
Suc. asinttica Exp. asinttica de f (x) = sen (3x)
o
o
81
9
{xn }
f (x) 3x x3 + x5 +
2
4
3
11
n
{ln(1 + x )}
f (x) 3 ln(1 + x) + ln(1 + x2 )
ln(1 + x3 ) +
2
2
18
x5
x
xn
+
f (x) 3
(1 + x2 )3/2
(1 + x2 )3/2
5 (1 + x2 )3/2
En la gura siguiente se gracan las funciones
f (x) = sen (3x),
9
81
f1 (x) = 3x x3 + x5 ,
2
4
11
3
ln(1 + x3 ),
f2 (x) = 3 ln(1 + x) + ln(1 + x2 )
2
2
18
x5
x
f3 (x) = 3
(1 + x2 )3/2
5 (1 + x2 )3/2
19

o
f1 (x)
f (x)
f2 (x)
f3 (x)
x
0.9
Figura 1.1: Grca de las funcin f (x) = sen (3x)

a
o
y tres diferentes expansiones asintticas.
o
para intervalos de la forma [0, x0 ].

De manera que dada una funcin y el l
o
mite de inters, es necesario seleccionar una
e
sucesin asinttica apropiada.
o
o
2. Dados una funcin f (x), un valor l

o
mite de x y una sucesin asinttica, los coeo
o
cientes de la expansin asinttica son unicos. De hecho, de la Denicin (1.3),
o
o
o
ecuacin (1.4) se tiene que
o
lim
xx0
f (x)
m
k=1
ak k (x)
= 0.
m (x)
Ntese ahora que

o
f (x)
m1
k=1
m (x)
ak k (x)
f (x)
m
k=1
ak k (x) + am m (x)
m (x)
m
f (x) k=1 ak k (x)
+ am .
=
m (x)
=
20
1 Conceptos Basicos
Al tomar el l
mite cuando x x0 se obtiene
am = lim
xx0
f (x)
m1
k=1
ak k (x)
m (x)
para m
0.
Estos coecientes pueden ser calculados usando el cdigo Maple que se muestra en
o
el apartado 1 del apndice.
e
Este es el procedimiento que usamos para calcular los coecientes de cada una de
las expansiones asintticas de la tabla anterior.
o
3. Finalmente, la expresin
o
m
k=1
k k (x) no debe ser interpretada como una serie en
el sentido convencional. De hecho, muchas series asintticas, si se miran como una

o
serie convencional, es decir, si se selecciona un valor de x, cercano a x0 y se calculan
los trminos de la serie, resultar ser divergente (aunque algunas, ocasionalmente,
e
a
sern convergentes).
a
La denicin de convergencia puntual de una serie de funciones es la siguiente. Se
o
dice que una serie
fn (x) converge para un valor dado de x si, dado > 0, exite
n=0
N2
N N tal que
fn (x) < si N1 , N2 > N. En este sentido se arma que la serie

n=N1
de Taylor de una funcin dada es convergente. Pero este tipo de convergencia no

o
es tan util como se pudiera pensar. Considrese el siguiente ejemplo, que es t
e
pico
para ilustrar este punto (ver, por ejemplo, [10], [5], pp. 19,20). La funcin error
o
est denida mediante
a
2
Erf(x) =
et dt,
0
y su grca aparece en la gura 1.2

a
2
La serie de Taylor para la funcin anal

o
tica h(t) = et alrededor de t = 0 es
21

o
Erf(x)
1
x
1
2
Figura 1.2: La funcin error, Erf(x) =
o
et dt.
0
(1)n t2n
, la cul tiene un radio de convergencia innito. Integrando trmino
a
e
n!
n=0
a trmino encontramos una serie para la funcin Erf, que tambin converge en un
e
o
e
radio de convergencia innito,
2
Erf(x) =
n=0
(1)n x2n+1
.
n!(2n + 1)
(1.6)
Si se toman ocho trminos, esta serie aproxima a la funcin Erf con una precisin
e
o
o
de 105 en el intervalo [1, 1]. Si se quiere truncar la serie para obtener una aproximacin a la funcin Erf en el intervalo [-2,2] con esta misma precisin (del orden de
o
o
o
105 ) deben tomarse 16 tminos; en el intervalo [-5,5] deben tomarse 75 trminos,
e
e
etctera. En la Figura 1.3, la curva 1 es la grca de la funcin Erf(x); las curvas 2
e
a
o
8
16
2
2
(1)n x2n+1
(1)n x2n+1
y 3 son las grcas de
a
y
, respectivamente.
n=0 n!(2n + 1)
n=0 n!(2n + 1)
i i
2 3
i
1
x
1
i
1
i i
3 2
Figura 1.3:
Se ve, entonces, que la serie de Taylor es convergente, aunque para valores muy
22
1 Conceptos Basicos
grandes de x deben tomarse muchos tminos de la serie para obtener un nivel de

e
aproximacin sucientemente pequeo.
o
n
Una serie alternativa para la funcin Erf puede obtenerse como sigue.
o
Ntese que la funcin error se puede escribir en la forma
o
o
2
Erf(x) = 1
et dt.
(1.7)
Entonces, escribiendo
1d
1
2
2
et = tet =
t
t dt
1 2
et
2
, e integrando por partes se obtiene
1d
1 2
et dt
t dt
2
x
1
1 2
1 2
=
et
et
t
2
2
x
x
1 x2 1
1 t2
=
e
e dt.
2x
2 x t2
et dt =
En la ultima integral en (1.8) escribimos
1
dt
t2
(1.8)
1 2
1 d
1 t2
e
et e integramos
= 3
2
t
t dt
2
nuevamente por partes para obtener
1 d
1 2
et dt
3 dt
t
2
x
1 2
1
1 t2
et
= 3 e
t
2
2
x
x
1 x2 3
1
2
=
et dt.
e
2x3
2 x
t4
1 t2
e dt =
t2
3
dt
t4
Continuando de esta manera y sustituyendo (1.8) y los clculos subsiguientes en

a
(1.7) se obtiene
2
(2n)!
ex
.
(1)n
Erf(x) = 1 1 +
n!(2x)2n
x
n=1
(1.9)
23

o
Esta representacin en forma de serie de la funcin error es divergente (es decir,

o
o
la correspondiente sucesin de sumas parciales es divergente) para cada valor de x.
o
Por ejemplo, para x0 = 10, denotando con sn (x0 ) la sucesin de sumas parciales de
o
la serie (1.9), encontramos que s1 = s2 = = s340 = 1 pero
s365 = 123.0728267,
s370 = 82063.39449,
s375 = .59020849 108 ,
s380 = .4537125789 1011 ,
s385 = .3724782450 1014 .
Ntese que, en este caso, si x es grande, la Serie de Taylor (1.6) converger al valor
o
a
Erf(x) para un nmero muy grande de trminos, mientras que la serie asinttica (1.9)
u
e
o
diverger para un nmero muy grande de trminos. Sin embargo, la utilidad de la
a
u
e
expansin asinttica est en que unos cuantos trminos de la expansin proporcionan
o
o
a
e
o
una buena aproximacin a la funcin Erf(x) para x grande. Por ejemplo para
o
o
x > 2.5, los primeros tres trminos de la expansin asinttica dan una aproximacin
e
o
o
o
del orden del 105 , mientras que para x > 3 slo dos trminos son necesarios. En la
o
e
Figura 3 se muestran las grcas de las funcion Erf(x) (1.6) y de la serie asinttica
a
o
3
x2
(2n)!
e
)
(1)n
(1.9) con tres trminos (es decir, Erf(3) (x) = 1 1 +
e
n!(2x)2n
x
n=1
24
1 Conceptos Basicos
i
2
i
1
x
1
Figura 1.4: Comparacin de las grcas de la funcin Erf(x) (1.6) (curva 1)

o
a
o
y la serie asinttica (1.9) con tres trminos (curva 2).
o
e
2.1
Introduccin
o
Las sucesiones asintticas son una herramienta usada en el anlisis de las soluciones de
o
a
problemas que surgen en la Teor de Perturbaciones. En este cap
a
tulo estudiaremos cmo
o
se aplica el mtodo de expansiones asintticas en la solucin de problemas algebraicos y
e
o
o
trascendentes.
2.2
Ecuaciones regulares
Considrese el problema de encontrar una solucin a la ecuacin
e
o
o
(x, ) = 0,
(2.1)
que contiene el parmetro .

a
Si 1, el problema (2.1) se puede interpretar como una perturbacin del
o
problema
(x, 0) = 0.
(2.2)
Si x() denota la solucin al problema (2.1) y si x() tiende a la solucin x0 del

o
o
25
26
problema no perturbado (2.2) cuando tiende a cero, decimos que el problema

(2.1) es del tipo de perturbacin regular.
o
El siguiente teorema es la base del mtodo para obtener la solucin de un problema
e
o
de perturbacin regular.
o
Teorema 2.1. (El Teorema Fundamental de la Teor de Perturbaciones)
a
Sea {n ()} una sucesin asinttica en trminos de la variable . Supongamos que
o
o
e
n=0
a0 0 () + a1 1 () + + an n () + O(n+1 ()) = 0,
para sucientemente pequeo, y que n () no se anula en una vecindad de = 0 para
n
toda n = 0, 1, 2, . . . . Si los coecientes a0 , a1 , , an son independientes de , entonces
a0 = a1 = = an = 0.
Demostracin. Denimos
o
P () = a0 0 () + a1 1 () + + an n () + O(n+1 ()) = 0.
(2.3)
Dividiendo ambos lados de (2.3) por 0 () y tomando el limite cuando 0 vemos que
P () = 0 a0 = 0.
Ahora dividimos (2.3) por 1 () y tomamos el limite cuando 0. Vemos que
P () = 0 a1 = 0.
Continuando de esta manera obtenemos que
a0 = a1 = = an = 0.
27
2.2. Ecuaciones regulares
En el siguiente ejemplo se ilustra cmo encotrar la solucin asinttica de una ecuacin

o
o
o
o
algebraica regular, usando el teorema 2.1.
Ejemplo. Consideremos la ecuacin algebraica
o
x2 2x + = 0.
(2.4)
Si es pequeo, es decir, si || 1, la ecuacin anterior se puede ver como una perturn

o
bacin de la ecuacin
o
o
x2 2x = 0,
(2.5)
en el sentido de que, si conocemos las soluciones de (2.5) entonces las soluciones de (2.4)
estn cercanas a las soluciones correspondientes de (2.5).
a
Cuando = 0 la ecuacin (2.5) (no perturbada) tiene dos ra
o
ces
x1 = 0,
x2 = 2.
Ahora, cuando ||1, asumimos que cada ra de (2.4) tiene una expresin de la forma:
z
o
x() = a0 + a1 + a2 2 + O(3 ).
Entonces, sustituyendo (2.6) en (2.4) obtenemos
a2 + 2a0 a1 + (2a0 a2 + a2 )2 2a0 2a1 2a2 2 + O(3 ) = 0.
0
1
Agrupando en trminos de potencias tenemos;
e
(a2 2a0 )0 + (2a0 a1 2a1 + 1) + (2a0 a2 + a2 2a2 )2 + O(3 ) = 0.
1
0
(2.6)
28
Como el lado derecho en la ecuacin anterior es 0, conclu

o
mos, con base en el teorema
2.1, que los coecientes de cada potencia de deben ser cero
a2 2a0 = 0,
0
(2a0 a1 2a1 + 1) = 0,
(2a0 a2 + a2 2a2 ) = 0.
1
La primera ecuacin en el sistema anterior, cuadrtica en la incgnita a0 , tiene soluciones
o
a
o
a01 = 0 y a02 = 2. Sustituyendo estos valores en la segunda ecuacin del sistema, la cual es
o
1
1
lineal en a1 , obtenemos a11 = y a12 = . Finalmente, sustituyendo primero los valores
2
2
1
de a01 y a11 en la tercera ecuacin del sistema, la cual es lineal en a2 , obtenemos a21 =
o
8
1
,
y sustituyendo los valores de a02 y a12 obtenemos a22 = . As se han encontrado dos
8
soluciones de la forma (2.6) para la ecuacin (2.4)
o
1
1
+ 2 + O(3 ),
2
8
1
1
x2 () = 2 2 + O(3 ).
2
8
x1 () =
Vemos entonces que estas ra

ces se reducen a las de la ecuacin no-perturbada cuando
o
= 0. Podemos comparar nuestra aproximacin cuando = .01, para las ra actuales
o
ces
de la ecuacin perturbada.
o
Ra exactas:
ces
x1 = .00501256,
x2 = 1.9949874.
Ra Aproximadas:
ces
x1 (.01) = 0.0050125,
x2 (.01) = 1.9949875.
29
2.3. Ecuaciones Singulares
2.3
Ecuaciones Singulares
En terminos informales se puede decir que un problema de perturbacin singular es un

o
problema en el que aparece un parmetro pequeo (problema perturbado) y es tal que si el
a
n
parmetro toma el valor cero, entonces el problema resultante (problema no perturbado)
a
y el problema original tienen propiedades notablemente diferentes.
Ejemplo 2.1. Consideremos la ecuacin
o
x2 2x + 1 = 0
(2.7)
Si intentamos encontrar una solucin de la forma (2.6) para (2.7) tendremos

o
2
a0 + a1 + a2 2 +
2( a0 + a1 + a2 2 + ) + 1 = 0
Agrupando en trminos de tenemos;

e
(2a0 + 1)0 + (a2 2a1 ) + (2a0 a1 2a2 )2 + O(3 ) = 0
0
Por el teorema fundamental de la teor de perturbacin tenemos
a
o
2a0 + 1 = 0,
a2 2a1 = 0,
0
2a0 a1 2a2 = 0,
Este sistema tiene una unica solucin:
o
1
a0 = ,
2
1
a1 = ,
8
a2 =
1
.
16
Entonces, encontramos slo una ra

o
z:
x1 () =
1 1
1
+ + 2 + O(3 ).
2 8
16
30
x1 () es, como se puede ver, una aproximacin a la ra x = 1/2 de (2.7). Esto parece
o
z
sugerir que la manera como hasta ahora hemos precedido no funciona en este caso, pues la
ecuacin cuadrtica original tiene dos raices reales (como se puede vericar directamente),
o
a
y el mtodo nos ha proporcionado slo una raiz (x1 ). Dnde qued la otra (x2 )?. Primero
e
o
o
o
debemos darnos cuenta que sumar x2 a 2x+1 es una perturbacin pequea slo cuando
o
n o
x es de orden uno. Pero cuando x es muy grande, x2 puede llegar a ser ms grande que
a
x y mucho ms grande que 1. Esto es lo que hace que el problema sea singular, pues si
a
se hace = 0 en (2.7), el problema que resulta es lineal (y no cuadrtico). Grcamente,
a
a
lo que ocurre con las ra se puede ilustrar en la gura 2.1, en la que se indica que una
ces
ra se aproxima a 1/2 pero la otra crece (tiende a innito) cuando tiende a cero.
z
x2 2x + 1
x1
1
2
x2
Figura 2.1: Comportamiento de las raices de la ecuacin (2.7)

o
cuando es pequeo.
n
Entonces nos debemos preguntar, cmo podemos conseguir x2 2x + 1 se haga cero
o
si es pequeo?
n
Ya hemos encontrado una manera: tratar a x como de orden uno (es decir, x() =
O(1)) y balancear el primero y el segundo trminos. Otra manera de conseguir este
e
balance es considerar que x() = O(p ), es decir, hacer
x() = p (),
(2.8)
31
donde
() = a0 + a1 + a2 2 + O(3 ).
Entonces sustituyendo en (2.7) obtenemos
2p+1 2 2p + 1 = 0
(2.9)
Para hacer que el lado derecho de esta ecuacin sea cero debemos encontrar el balance
o
adecuado entre los trminos de la izquierda.
e
Para encontrar el valor adecuado de p, igualamos todos los posibles pares de los
exponentes de la funcin base. Tenemos tres posibilidades.
o
1. Para que el segundo y tercer trminos sean del mismo orden debemos hacer p = 0.
e
En este caso la ecuacin es 2 2 + 1 = 0, la cul es exactamente igual que la
o
a
original; de modo que en esta caso no se obtiene una ra adicional;
z
2. El primer y el tercer trminos son del mismo orden si 2p + 1 = 0, es decir, si
e
p = 1/2, y con este valor de p obtenemos la ecuacin 2 21/2 + 1 = 0. Sin
o
embargo, el segundo trmino en el lado izquierdo (es decir, 1/2 ) es muy grande
e
cuando 1, y no es posible conseguir que el lado derecho se anule;
3. Si hacemos que el primero y el segundo trminos sean del mismo orden obtenemos
e
2p + 1 = p, es decir, p = 1.
Con este valor de p la ecuacin (2.9) es 2 2 + = 0. Para esta ecuacin (regular) se
o
o
busca una solucin en la forma
o
= a0 + a1 + a2 2 + ,
32
y se encuentra que
1
1
+ 2 + O(3 )
2
8
1
1
2 () = 2 2 + O(3 )
2
8
1 () =
En trminos de la variable original (x() = 1 ()), obtenemos.

e
1 1
+ + O(2 )
2 8
2 1 1
+ O(2 )
x2 () =
2 8
x1 () =
El mtodo se aplica de manera similar para ecuaciones algebraicas de orden superior,

e
como se ilustra en el siguiente ejemplo.
Ejemplo 2.2. Consideremos la ecuacin x3 3x + 1 = 0.
o
Obsrvese que ste es un problema singular, por lo que es necesario hacer un cambio
e
e
de variable. Procediendo de manera similar al ejemplo anterior, supongamos que x, es de
la forma x = p y. Sustituyendo en la ecuacin original tenemos que:
o
1+3p y 3 3p y + 1 = 0.
Para que el lado derecho de esta ecuacin sea cero, debe buscarse el balance adecuado
o
entre los trminos en el lado derecho.
e
Hay tres posibilidades.
1. Si se hace que 1+3p y 3 y 1 sean del mismo orden (O(1)), entonces se obtiene
3p + 1 = 0, de donde p = 1/3. Pero con este valor de p nos queda la ecuacin
o
y 3 31/3 y + 1 = 0, en la que el segundo trmino en el lado izquierdo es de orden
e
grande cuando 0, por lo que no es posible que el lado izquierdo sea cero.
33
2. Si se hace que 3p y y 1 sean del mismo orden (otra vez O(1)), entonces se tiene
p = 0, con lo que la ecuacin es y 3 3y + 1 = 0. Esta es idntica que la original, y

o
e
por esa razn la descartamos.
o
3. Finalmente, si se busca un balance entre los primeros dos trminos, debemos pedir
e
que 3p + 1 = p, es decir, p = 1/2.
Con este valor de p la ecuacin se convierte en 1/2 y 3 31/2 y + 1 = 0, es decir, en

o
y 3 3y+1/2 = 0. Haciendo = 1/2 tenemos, nalmente, y 3 3y+ = 0.1 Como ste es un
e
problema regular, ahora podemos buscar una solucin de la forma y = a0 +a1 +a2 2 + .
o
Haciendo la sustitucin y agrupando los coecientes de n resulta
o
a3 3a0 + (3 a2 a1 3 a1 + 1) + (3 a2 + a0 2 a0 a2 + a1 2 + 2 a1 2 a0 + a2 a0 2 ) 2 + O( 4 ) = 0
0
0
Aplicando el teorema fundamental de la teor de perturbaciones se sigue que

a
a3 3a0 = 0
0
3 a2 a1 3 a1 + 1 = 0
0
3 a2 + a0 2 a0 a2 + a1 2 + 2 a1 2 a0 + a2 a0 2 = 0
.
.
.
1
Para evitar este tipo de cambios de parmetro algunos autores (por ejemplo [3], p.19) sugieren que la
a
expansin asinttica de la solucin sea, no de la forma (2.6) sino de la forma z = a0 +a1 +a2 2 +O(3 )
o
o
o
donde > 0 es un nmero que debe determinarse en cada caso.
u
34
Las soluciones a este sistema son:

1
(a0 , a1 , a2 ) = (0, , 0),
3
1
3
(a0 , a1 , a2 ) = ( 3, ,
),
6
72
1 3
).
(a0 , a1 , a2 ) = ( 3, ,
6 72
Las tres soluciones son

1
+ ,
3
1
3 2
3
y =
+ ,
6
72
1
3 2
y = 3 +
+ .
6
72
y =
En trminos del parmetro original (= 2 ):

e
a
1
+ ,
3
1
3
+ ,
y =
3
6
72
1
3
+
y = 3
+ .
6
72
y =
Finalmente, regresando a la variable original x (= p y = 1/2 y):

1
+ ,
3
3 1
3
+ ,
x =
72
6
3 1
3
x = +
+ .
72
6
x =
De estas expresiones se ve que cuando 0 una raiz tiende a 1/3 y las otras dos tienden,
una a + y la otra a .
35
2.4. Ecuaciones trascendentes
El mtodo de expansiones asintticas se puede usar para encontrar soluciones anal

e
o
ticas aproximadas de ecuaciones algebraicas trascendentes, como se ilustra en el siguiente
ejemplo.
2.4
Ecuaciones trascendentes
El mtodo de expansiones asintticas es util para analizar la solucin de ecuaciones

e
o
o
trascendentes en las que aparece un parmetro 1, como se ilustra en el ejemplo
a
siguiente.
Ejemplo 2.3. Consideremos el problema de encontrar la solucin x a la ecuacin
o
o
e sen (x+s) ds
x=
0
La expansin de Taylor, de la funcin e sen (x+s) es

o
o
e sen (x+s) = 1 + sen(x + s) +
1
sen (x + s)2 2 + O(3 ).
2
As tenemos que
,
(1 + sen (x + s) +
x =
1
sen (x + s)2 2 + O(3 ))ds
2
ds +
0
1
sen (x + s)ds + 2
2
sen (x + s)2 ds + O(3 )
1
1
= 2 cos(x) + 2 2 + O(3 )
4
8
1
= 2 cos(x) + 8 2 + O(3 ).
Entonces,
x = 2 cos(x) + O(2 ).
36
Ahora usamos la expansin de Taylor para la funcin, cos(x),

o
o
1
cos(x) = 1 x2 + O(x4 ),
2
para obtener
1
x = 2(1 x2 + O(x4 )) + O(2 ).
2
Asumimos que x, es de la forma x x0 + x1 . Sustituyendo en la ecuacin encontramos
o
que
1
(x0 + x1 ) = 2(1 (x2 + 2x0 x1 + 2 ) + O(x4 )) + O(2 ),
2 0
lo que es equivalente a
1
x0 + x1 + 2(1 (x2 + 2x0 x1 + 2 ) + O(x4 )) + O(2 ) = 0.
2 0
Por el teorema fundamental de la teor de perturbaciones tenemos que
a
x0 = 0
donde
x0 = ,
2
x1 + 2 x0 = 0 donde x1 = 2 2.
Entonces,
x + ( 2 2).
3 Un problema de Cauchy. Expansin Regular

o
3.1
Introduccin
o
El anlisis asinttico y de perturbacin ha desempeado un papel signicativo en matea

o
o
n
mticas aplicadas y f
a
sica terica. En muchos casos, los mtodos de perturbacin regular
o
e
o
no son aplicables, y entonces deben usarse tcnicas de perturbacin singular. Algunos
e
o
ejemplos de estas otras tcnicas ampliamente utilizadas para las ecuaciones diferenciales
e
ordinarias incluyen los mtodos de escalas mltiples, mtodo asinttico de soluciones
e
u
e
o
acopladas, entre otros. Aunque estos mtodos son bien conocidos, es necesario considerar
e
en cada caso la pertinencia de la aplicabilidad de cada uno de ellos, ya que un problema
particular no puede analizarse usando cualquier mtodo.
e
De hecho, como se arma en [8] es probablemente justo decir que la practica del
anlisis asintotico tiene algo de arte.
a
3.2
Analisis Dimensional
Las matemticas aplicadas tienen que ver con hacer conexiones razonables entre el mundo
a
real de objetos sicos y el mundo abstracto de las ecuaciones matemticas. El elemento
a
37
38
3 Un problema de Cauchy. Expansion Regular
crucial en la fabricacin de tal conexin es la nocin de medicin, que consiste en asignar

o
o
o
o
nmeros a los objetos o fenomenos en el mundo real por varios tipos de procedimientos.
u
El resultado de un proceso de medicin es un nmero, junto con una unidad.
o
u
Supongamos que hay un slo objeto, universalmente usado como la longitud estndar,
o
a
y supongamos que es llamado barra-pulgadas estndar. As decir que la altura de una
a
,
persona es 70 signica que la altura de la persona en cuestin es setenta veces la barra
o
estndar en pulgadas. Entonces no es necesario decir que la altura es 70 pulgadas, porque
a
se entiende que el nmero 70 es el cociente de la altura de la persona y la pulgada estndar.
u
a
Surge la necesidad de distinguir unidades porque hay muchas longitudes estndares (en
a
principio, una cantidad innita) que pueden ser usadas para medir otras longitudes; por
ejemplo la barra-cent
metros estndar. En trminos de la barra-cent
a
e
metros estndar, la
a
altura de la persona en cuestin es 177.8, y la barra-pulgadas estndar es 2.54 de longitud.
o
a
Como es bien sabido, las unidades de medicin puede manipularse algebricamente;
o
a
por ejemplo
70in = (70in)
2.54cm
1in
= 177.8cm,
Supongamos ahora que se propone un nuevo mtodo de medicin de altura: La altura

e
o
de cada persona puede ser medida usando sus nudillos. Supngase que los nudillos de
o
una persona miden 1.1 pulgadas (2.794 cm) de long
tud. Entonces la altura, en el nuevo
sistema, es
177.8cm
70in
=
= 63.63.
1.1in
2.794cm
Las pulgadas se cancelan; los cent
metros se cancelan; el nmero 63.63 es lo mismo a no
u
tener unidades y algunas veces el llamado nmero puro o longitud adimencional.
u
39
3.3. El problema del proyectil
Para evitar la necesidad de hacer referencia al tipo particular de unidades que se estn
a
usando en el anlisis de un problema dado es conveniente plantear la versin adimensional
a
o
del problema.
Un ejemplo simple que ilustra el concepto de variable adimensional es el siguiente.
Supongamos un sistema f
sico (un resorte, por ejemplo) en el que estn involucradas las
a
siguientes variables: el tiempo T (seg), la masa m (kg), la constante de Hooke de un
resorte lineal, k (kg/seg2 ) y la aceleracin de la gravedad (m/seg2 ). Con stas cuatro
o
e
2
T k
.
variables slo es posible formar una variable adimensional, que es
o
m
En la siguiente seccin se discute cmo hacer el analisis dimensional (es decir, como
o
o
escribir la versin adimensional) de un problema f
o
sico y se encuentran la solucin exacta
o
y la expansin asinttica.
o
o
3.3
El problema del proyectil
El problema del proyectil, discutido en [9], es un ejemplo ilustrativo de cmo se aplica el

o
mtodo de perturbacin regular.
e
o
3.3.1
Derivacin de la ecuacin
o
o
Un proyectil es lanzado verticalmente de la superce terrestre con velocidad V (despus

e
todo el combustible se quema en un corto periodo de tiempo). Supongamos que el eje
vertical es x y que el movimiento del proyectil es descrito por x (t ), donde
x (0) = 0,
dx
(0) = V.
dt
(3.1)
40
El proyectil experimenta una fuerza dada, segn la ley de gravitacin de Newton, por
u
o
F (x ) = G
Mm
,
(R + x )2
donde G es la constante de gravitacin, M la masa de la tierra, R el radio de la tierra,

o
y m la masa del proyectil. Como la fuerza en la supercie de la tierra es F (0) = mg,
tenemos g = GM/R2 , y la ecuacin de movimiento se sigue de la segunda ley de Newton:
o
R2 gm
d2 x
= m 2 .
(R + x )2
dt
Por tanto, la altura del proyectil est gobernada por el problema

a
d2 x
R2 g
=
,
dt2
(R + x )2
x (0) = 0,
3.3.2
(3.2)
dx
(0) = V
dt
El problema adimensional
Consideramos el problema en el caso en el que V es muy pequea comparada con la

n
velocidad de escape de la tierra (esta velocidad, la cual es alrededor de 11, 200 m/s, puede
ser obtenida a partir de la misma ecuacin, como veremos despus).
o
e
El problema que consideramos es slo uno de varios casos especiales. Como la velocio
dad inicial no es muy grande, no se espera que el proyecil suba muy alto. Por lo tanto,
dado que x << R,
d2 x
g.
dt2
de donde obtenemos
1
x (t ) gt2 + V t .
2
(3.3)
41
En particular la altura mxima aproximada se sigue de (3.3) tomando en cuenta que el

a
tiempo para alcanzar la mxima altura est dado por
a
a
gt + V = 0,
o
tmax =
V
.
g
As
,
1 V
g
2
g
xmax
+V
V
g
1V2
.
2 g
Las escalas adecuadas para el tiempo y la distancia son, por tanto

V2
,
X=
g
V
.
g
(3.4)
Es decir, si denimos las variables adimensionales x =
x
t
, t = , y usamos el hecho de
X
T
que
T =
d dt
d d2
d2
d
=
= T , 2 = T 2 2 , encontramos que
dt
dt dt
dt dt
dt
2
2
dx
1 d2 x
x
d
=
=
dt2
dt2 X
X dt2
2
R2 g
1 2
1 2dx
T
T
=
=
X
dt 2
X
(R + Xx)2
=
R2 T 2 g 1
1
X R2 1 + Xx/R
1
,
(1 + x)2
con condiciones iniciales

x (0)
= 0,
x(0) =
X
es decir
dx
dx
T dx
T
x(0) =
(0) = T (0) =
(0) = V = 1,
dt
dt
X dt
X
1
x=
,
(1 + x)2
x(0) = 0,
x(0) = 1,
con =
V2
.
Rg
(3.5)
42
No es posible expresar la solucin en la forma x = x(t, ) en trminos de funciones

o
e
elementales (aunque esto no es obvio). Obsrvese tambien que es aproximadamente
e
igual a 2xmax /R.
3.3.3
Solucin por Perturbacin Regular

o
o
Para resolver el problema (3.5) por perturbacin regular, sustitu

o
mos la expresin
o
x(t) = x0 (t) + x1 (t) + 2 x2 (t) +
(3.6)
en la ecuacin (3.5):
o
x = x0 + x1 + 2 x2 + = (1 + x)2
= 1 + (2)x +
(2)(3)
(x)2 +
2
= 1 + 2(x0 + x1 + ) 32 x2 +
0
= 1 + 2x0 + 2 (2x1 3x2 ) + .
0
Igualando los coecientes de cada potencia de esto nos lleva a
(3.7)
x0 = 1,
x1 = 2x0 ,
x2 = 2x1 3x2 ,
x3 = 2x2 + 2x0 x1 2x0 (2x1 + x2 ) 2(2x1 3x2 )x0 ,
0
0
.
.
.
(3.8)
(Para obtener la ultima ecuacin, la expansin en (3.7) tiene que extenderse un paso ms).
o
o
a
Para obtener las condiciones iniciales, es suciente tener en cuenta que
x0 (0) = 0, x0 (0) = 1,
x1 (0) = 0, x1 (0) = 0,
x2 (0) = 0,
x2 (0) = 0,
(3.9)
43
As las condiciones iniciales del problema son tomadas en consideracin slo en x0 .

,
o o
La solucin en el orden principal (0 ) se obtiene de manera inmediata:
o
1
x0 (t) = t t2 ,
2
(3.10)
y sustituyendo (3.10) en la segunda ecuacin de (3.8), obtenemos

o
1
x1 = 2x0 = 2 t t2 ,
2
cuya solucin es
o
1
1
x1 (t) = t3 t4 .
3
12
Es comun que los procedimientos algebraicos que se requieren para continuar construyendo
la solucin sean complicados. Por eso es conveniente usar algun programa de clculo
o
a
simblico. Usando Maple (ver cdigo en apartado 2 del apndice) obtenemos
o
o
e
1
x(t) = t t2 +
2
1
1 3
t t4
3
12
1
11
11 6
+ 2 t4 + t5
t
4
60
360
+ O(3 ).
(3.11)
Usando (3.11), tambien obtenemos la aproximacin al tiempo de vuelo para la mxima

o
a
altura de
0=
1
d
x(t) (1 t) + t2 t3
dt
3
+ 2 t3 +
11 4 11 5
t t .
12
60
(3.12)
Esta es una ecuacin de quinto orden, pero como esperamos que la solucin tmax sea
o
o
cercana a 1, tratamos de encontrar una solucin de perturbacin de la forma
o
o
tmax = 1 + a + b2 + O(3 ).
44

x(t)
=3
=2
= 1.6
=1
=0
t
10
Figura 3.1: Soluciones numricas

e
(obtenidas con el mtodo Runge-Kutta de cuarto orden)
e
para diferentes valores de del problema (3.5).
Sustituimos esta ecuacin en (3.12), obtenemos

o
1
0 = 1 (1 + a + b2 ) + (1 + a + b2 )2 (1 + a + b2 )3 2 (1 + a + b2 )3
3
11 2
11 2
+ (1 + a + b2 )4 (1 + a + b2 )5 + O(3 )
12
60
4
2
+ ab
2 + O(3 ).
=
a +
3
15
Para la aproximacin de orden 2 del tiempo mximo de vuelo se tiene, a =
o
a
2
2
, b = , y,
3
5
entonces
2
2
tmax = 1 + + 2 + O(3 ).
3
5
(3.13)
Es razonable que el tiempo para la maxima altura es creciente comparado con el valor de
1, ya que la atraccin gravitacional es gradualmente ms debil a medida que el proyectil
o
a
suba.
Numricamente obtenemos solucines como se muestran en la gura 3.1.
e
o
En la gura 3.2 se muestran la solucin numrica obtenida con el mtodo Rungeo
e
e
Kutta de cuarto orden (l
nea punteada) y asinttica, (3.11) (l
o
nea slida) del problema
o
(3.5) para = 0.4. El valor de tmax que se muestra en la gura es el que se obtiene de
45
(3.13). El cdigo para el mtodo Runge-Kutta de cuarto orden se muestra en el apartado

o
e
3 del apndice.
e
x(t)
t
tmax 1.3306...
Figura 3.2: Comparacin entre la solucin numrica (l
o
o
e
nea punteada)
y la solucin asinttica con = 0.4 del problema (3.5)
o
o
3.3.4
Anlisis de la Solucin.
a
o
Como se coment anteriormente, no es posible escribir la solucin de

o
o
x =
x(0) = 0,
1
,
(1 + x)2
(3.14)
x(0) = 1
en trminos de funciones elementales. Sin embargo, despues de multiplicar la ecuacin

e
o
por x obtenemos
d 2
d
(x /2) =
dt
dt
1 1
1 + x
o
x2 1 1
= constante.
2
1 + x
Esto simplemente establece que el movimiento es conservativo en el sentido de que la
suma de la energia cintica y potencial es igual a una constante. Usando las condiciones
e
46
iniciales, x(0) = 0 y x(0) = 1, vemos que la constante es 1/21/. Esto nos da la ecuacin
o
de primer orden
1
2
1 + ( 2)x
= ( 2) +
.
x2 =
1 + x
1 + x
(3.15)
Si < 2, x es 0 para
xmax =
1
, x(0) = 0.
2
En la gura 3.3 se muestran soluciones t

picas de (3.15) para los casos < 2 y > 2.
x
xmax
x
(b)
(a)
Figura 3.3: Gracas t

picas de las curvas solucin de la ecuacin (3.15)
o
o
1
(a) para < 2 (donde xmax =
) y (b) para > 2.
2
Esta es la mxima altura (exacta) para el proyectil cuando < 2. Si > 2, la
a
velocidad ser siempre positiva y el proyectil continuar moviendose indenidamente. Si
a
a
= 2 tendr
amos
V =
2Rg 11, 170, m/s = 40, 212 Km/h.
Esto nos da una interpretacin alternativa de ,

o
V2
=
=2
Rg
V
V0
donde V0 es la velocidad de escape denida en la ecuacin (3.16).

o
(3.16)
4.1
Introduccin
o
El Mtodo de Expansiones Asintticas Acopladas (llamado, a veces, mtodo de expansin

e
o
e
o
interior y exterior) se aplica a numerosos problemas f
sicos modelados por ecuaciones diferenciales con condiciones a la frontera singularmente perturbadas en las, que t
picamente,
la derivada de ms alto orden en la ecuacin aparece multiplicada por un parmetro
a
o
a
pequeo.
n
Aqu nos interesa el problema de la forma
con b(x) = 0 para x [0, 1].
d2 y
dy
2 + b(x)
+ c(x)y = 0,
dx
dx
y(0) = , y(1) = ,
(4.1)
d2 y
Si la derivada de ms alto orden se ignora (es decir, si se elimina el trmino 2 )
a
e
dx
se obtendr una reduccin singular del orden de la ecuacin, excepto en regiones donde
a
o
o
la derivada var rpidamente, en las que el valor grande de la derivada cancela el efecto
a a
de multiplicar por un parmetro pequeo. Es decir, un trmino de la forma y podr
a
n
e
a
ignorarse, sin cambiar esencialmente la naturaleza de la ecuacin diferencial, slo si la
o
o
47
48
segunda derivada y no fuera grande, porque, en este caso, el producto y ser pequeo.
a
n
Pero si el factor y es muy grande, entonces la eliminacin del trmino y llevar a una
o
e
a
reduccin singular. Con frecuencia, las regiones de rpido cambio de y ocurren en las
o
a
fronteras del dominio, y por esta razn estas regiones se conocen como capas frontera1 .
o
4.2
Las soluciones externa e interna
En cualquier problema de perturbacin en que est involucrado un parmetro positivo

o
e
a
pequeo , es natural buscar una solucin de la forma
n
o
y e (x) = a0 (x) + a1 (x) + O(2 ).
En un problema de perturbacin singular (como el que nos ocupa en este cap
o
tulo), tal
expansin puede no ser valida uniformemente en x. (Por ejemplo, esta solucin puede
o
o
dejar de satisfacer alguna de las condiciones de la frontera). La regin de no uniformidad
o
(es decir, la regin en la que y e no es solucin del problema de condiciones a la frontera)
o
o
es, a veces, llamada regin (o, capa) de transicin. La regin en la que la expansin y e
o
o
o
o
es solucin al problema original se llama regin externa, y a la funcin y e (x) se le llama
o
o
o
solucin externa.
o
Si b(x) > 0 la regin de transicin se presenta cerca de la condicin inicial (es decir, en
o
o
o
x = 0), pero si b(x) < 0, la regin de transicin se presenta cerca de la condicin terminal
o
o
o
(x = 1). Si b(x) cambia de signo en el intervalo [0, 1] o b(x) = 0 para toda x [0, 1],
entonces pueden presentarse situaciones muy complicadas, tales como capas de transicin
o
en ambos puntos extremos del dominio o en puntos interiores. Estas consideraciones
1
Boundary layers
49
4.2. Las soluciones externa e interna
aparecen, sin demostraciones, en las referencias bibliogrcas, por ejemplo en [6] (pp.
a
417, 418). Tambin se arma que el problema de valores a la frontera siempre tiene
e
solucin unica en el caso no oscilatorio. En el caso de coecientes constantes, la ecuacin
o
o
ay + by + cy = 0 es no oscilatoria si y slo si b2 4ac > 0. El problema con coecientes
o
no constantes ay + b(x)y + c(x)y = 0 (con a constante) es no oscilatorio si b(x)2
4ac(x) + 2ab (x) > K para alguna K > 0 para toda x en el dominio de inters. Como
e
en nuestro caso el dominio es el intervalo compacto 0
1, es suciente requerir que
b(x)2 4ac(x) + 2ab (x) > 0.

Para analizar regiones de la convergencia no uniforme, se introduce una trasformacin
o
(o cambio de variable) = (x, ) que estira la regin de no uniformidad (cerca de una
o
parte de la frontera en la que las condiciones a la frontera no se satisfacen por y e ). Con
el cambio de variable = (x, ) el problema original en el plano x-y se transforma en
un problema en el plano -y en el que la regin de no uniformidad resulta estirada.
o
Por ejemplo, la transformacin = x/ es comunmente utilizada para estudiar la
o
convergencia cuando la regin de no uniformidad se presenta en x = 0. Si es jo y 0
o
entonces x 0, mientras que si x > 0 es jo y 0, entonces . Si el problema
estuviera formulado en el intervalo A
x B y la regin de no uniformidad se presentara

o
xA
.
en x = A, la transformacin ser =
o
a
En trminos de la variable , se busca una solucin asinttica de la forma

e
o
o
y i = b0 () + b1 () + O(2 ),
vlida para valores de en regin interna (regin donde ocurre la singularidad). Por
a
o
o
esta razn a y i se le llama expansin interna. La expansin interna toma en cuenta las
o
o
o
50
condiciones a la frontera ignoradas por la expansin externa.

o
En la mayor de los problemas es posible determinar tanto la expansin interna como
a
o
la expansin exterior y i y y e mediante procedimientos de expansin directa. Puesto que
o
o
ambas expansiones deben representar la solucin del problema original asintticamente
o
o
en las diferentes regiones, debe buscarse la manera de acoplarlas; es decir, se debe
buscar la manera de relacionar formalmente, usando la transformacin = (x, ), la
o
expansin externa en la regin interna (regin donde ocurre la singularidad) (y e )i y la
o
o
o
expansin interna en la regin exterior (fuera de donde se presenta la singularidad) (y i )e .
o
o
El procedimiento para lograr este acoplamiento con toda la generalidad, puede ser muy
complicado. Ms an, en general, no hay una razn a priori para garantizar la existencia
a u
o
de un dominio traslapado (donde es posible acoplar las soluciones externa e interna).
Frecuentemente, es posible obtener una expansin compuesta y c uniformemente valida
o
en todo el dominio. Esto se consigue haciendo
y c = y e + y i (y i )e .
(4.2)
De manera que, en resmen, el procedimiento para buscar una solucin asinttica al

u
o
o
problema (4.1) puede describirse como sigue:
1. Vericar que el problema es no oscilatorio;
2. Decidir en cul extremo del dominio se presenta la regin de no uniformidad;
a
o
3. Buscar una solucin externa (y e (x));
o
4. Hacer un cambio de variable ( = (x, )) para buscar la solucin interna (y i ()) en
o
la capa frontera correspondiente;
51
4.3. Un ejemplo
5. Calcular el trmino de acoplamiento ((y e )i () o (y i )e (x));

e
6. Formar la solucin compuesta (o completa) y c (x).
o
4.3
Un ejemplo
Consideramos el problema
y + y + y = 0
y(0) = , y(1) =
(4.3)
y obtengamos una aproximacin asinttica de la solucin por el mtodo de expansiones

o
o
o
e
asintticas acopladas (ver [1], pp. 18-21).
o
De acuerdo a los comentarios anteriores, este problema es no ocilatorio. Como
b(x) = b = 1 (> 0), la regin de no uniformidad se presenta en una vecindad de x = 0.
o
4.3.1
La solucin externa
o
Buscamos una expansin externa como una serie de potencias asintticas

o
o
y e (x) = a0 (x) + a1 (x) + O(2 )
valido para 0 < x 1.
La expansin externa debe satisfacer asintticamente la ecuacin diferencial y la
o
o
o
condicin a la frontera en x = 1, es decir,
o
(a + a + 2 a + O(3 )) + (a0 + a1 + 2 a2 + O(3 )) + (a0 + a1 + 2 a2 + O(3 )) = 0,
0
1
2
y
a0 (1) + a1 (1) + 2 a2 (1) + O(3 ) = .
52
As las ecuaciones de los coecientes de las potencias de son

,
a0 + a0 = 0,
a0 (1) = ,
(4.4)
a1 + a1 + a = 0,
0
a1 (1) = 0,
(4.5)
.
.
.
Esta sucesin de ecuaciones diferenciales se resuelve iterativamente. As resolvemos (4.4)
o
a0 (x) = c1 ex
Aplicando la condicin a la frontera encontramos que c1 = e. As que
o
a0 (x) = e1x .
(4.6)
Ahora resolvemos (4.5). Sustituyendo a0 en la ecuacin (4.5) (a0 (x) = e1x , a0 (x) =
o
e1x , a (x) = e1x ), tenemos
0
a1 (x) + a1 + e1x = 0
(4.7)
a1 (x) + a1 (x) = e1x

Esta es una ecuacin lineal de orden 1, cuya solucin es a1 (x) = c1 ex e1x . Aplicando
o
o
las condiciones iniciales tenemos, c1 = e, as que
a1 (x) = (1 x)e1x .
(4.8)
y e (x) = e1x + (1 x)e1x + O(2 ).
(4.9)
La solucin externa es, entonces,

o
53
4.3. Un ejemplo
4.3.2
La solucin interna
o
Ahora hacemos el cambio de variable = x/ y buscamos una solucin en una vecindad

o
de x = 0 que satisfaga la condicin y(0) = .
o
En trminos de , y usando el hecho de que
e
1 d
d2
1 d2
d
=
y
= 2 2 , la ecuacin
o
dx
d dx2
d
diferencial en (4.3) es
y + y + y = 0.
As la expansin interna y i () debe satisfacer asintticamente esta ecuacin diferencial y
,
o
o
o
la condicin inicial en 0 (que es y(0) = ); es decir,
o
(b0 + b1 + 2 b2 ) + (b0 + b1 + 2 b2 ) + (b0 + b1 + 2 b2 ) + O(3 ) = 0
y
b0 (0) + b1 (0) + 2 b2 (0) + O(3 ) = .
Entonces,
b0 + b0 = 0,
b0 (0) = ,
(4.10)
b1 + b1 + b0 = 0,
b1 (0) = 0,
(4.11)
b2 + b2 + b1 = 0,
b2 (0) = 0,
(4.12)
.
.
.
Ntese que cada una de las anteriores es una ecuacin de orden dos con slo una condicin
o
o
o
o
inicial, de modo que aparecer una constante arbitraria de integracin en cada una de
a
o
ellas. La solucin de (4.10) es
o
b0 () = c1 + c2 e
54
Aplicando la condicin inicial tenemos, c2 = c1 ; as

o
b0 () = c1 + ( c1 )e1 .
Ahora resolvemos (4.11). Sustituimos b0 () en la ecuacin (4.11) para obtener:
o
b () + b1 () = c1 ( c1 )e1 .
1
La solucin de esta ecuacin lineal no homognea de orden 2 es
o
o
e
b1 () = ( + 1)( c1 ) c3 e c1 + c4
Aplicando la condicin inicial encontramos que c4 = c3 ( c1 ). As
o
b1 () = c1 + ( c1 ) ( + 1)e 1] + c3 (1 e ).
donde c1 y c3 son constantes indeterminadas. Entonces, la solucin interna es
o
y i () = [c1 + ( c1 )e ] + c1 + ( c1 ) ( + 1)e 1] + c3 (1 e ) + O(2 ).
Las dos constantes arbitrarias que aparecen en y i () se determinan mediante la condicin
o
de acoplamiento de las soluciones, como se hace enseguida.
4.3.3
El Trmino de Acoplamiento
e
El trmino de acoplamiento se obtiene requiriendo que (y e )i = (y i )e . La expresin (y e )i

e
o
signica que debemos escribir la solucin externa y e , que originalmente depende de la
o
variable externa x, en trminos de la variable interna . Similarmente, (y i )o signica que
e
debemos escribir la solucin interna y i , que originalmente depende de la variable interna
o
, en trminos de la variable externa x.
e
55
4.3. Un ejemplo
As
,
y e (x) = e1x + (1 x)e1x + O(2 )
= ee + (1 )ee + O(2 )
= ee (1 + (1 )) +
= e(1 )(1 + 2 ) +
= e(1 + 2 2 + 3 2 ) +
Descartamos los trminos O(2 ) para obtener;
e
(y e (x))i e(1 + (1 ))
Anlogamente, escribimos la expansin interna en trminos de la variable externa x para
a
o
e
x > 0. Como el termino e es asintticamente despreciable, encontramos que
o
(y i (x))e c1 (1 x) + (c1 + c3 ).
Para acoplar las soluciones interna y externa (es decir, para que (y i (x))e = (y e (x))i ) es
necesario que
e 1 + 1
= c1 (1 x) + (c1 + c3 )
de donde se obtiene, igualando coecientes de potencias similares de ;

c1 = e,
c3 = .
Resumiendo los clculos hechos hasta aqu tenemos :

a
,
1. la solucin externa, y e es
o
y e eex + (1 x)eex ,
56
2. la solucin interna y i (en trminos de la variable externa x) es

o
e
x
y i [e + ( e)ex/ ] + e + ( e) (x/ + 1)ex/ 1] + (1 ex/ ) ,
3. el trmino de acoplamiento (y i (x))e ,

e
(y i (x))e e(1 x) + (e)
Entonces, tenemos que la aproximacin compuesta (4.2), es
o
y c (x)
e1x + (1 x)e1x + e + (0 e)e
+ ex/ + ( e) (x/ + 1)ex/ 1] + (1 ex/ )

e(1 x) + (e)
o, lo que es lo mismo,
x
y c (x) ( e) (1 + x) e + e ex + x e1x (1 + x) + e (1 + e)
Por ejemplo, supongamos que = 0, = 1 y = 0.1. En la gura 4.1 se muestran
la solucin interna y i (x), la solucin externa y e (x) y el tmino de acoplamiento, (y i (x))e .
o
o
e
en la gura 4.2 se muestran las funciones y i (x), y e (x), (y i (x))e , y la solucin compuesta,
o
y c (x). En la gura 4.3 se muestran la solucin asinttica y c (x) y la solucin numrica
o
o
o
e
obtenida con el mtodo del disparo (shooting method).
e
57
4.3. Un ejemplo
y(x)
3
(y i (x))e
2
y i (x)
y e (x)
1
x
1
Figura 4.1: Las soluciones interna y i (x) y externa y e (x)
y el trmino de acoplamiento (y i (x))e .
e
y(x)
3
x
1
Figura 4.2: y i (x), y e (x), (y i (x))e .
y la solucin completa y c (x) (l
o
nea gruesa).
58
x
1
Figura 4.3: Las solucin asinttica y c (x) (slida) y la numrica (punteada).
o
o
o
e
5 Problema de Cauchy. Mtodo de Escalas M ltiples

e
u
5.1
Introduccin
o
En este cap
tulo revisamos el mtodo de escalas mltiples. Este mtodo es aplicable a
e
u
e
problemas caracterizados por incorporar dos (o ms) procesos f
a
sicos gobernados cada uno
por su propia escala pero actuando simultneamente 1 . La idea bsica en este mtodo es,
a
a
e
como su nombre lo indica, introducir varias escalas diferentes (medidas en trminos del
e
parmetro pequeo del problema) asociadas cada una con alguna propiedad de la solucin.
a
n
o
Por ejemplo, en un fenmeno oscilatorio puede ocurrir que sea necesaria una escala para
o
describir la frecuencia y otra para la amplitud de la oscilacin. De hecho, iniciaremos
o
nuestra exposicin estudiando un problema de este tipo, que es particularmente sencillo
o
pero del que pueden extraerse los aspectos esenciales del mtodo.
e
Antes de empezar haremos una aclaracin. El proceso transforma cualquier ecuacin
o
o
diferencial (ordinaria) en una ecuacin diferencial parcial. Esto podr parecer una diculo
a
tad; sin embargo debemos anticipar que el problema que resulta no es ms complicado que
a
el problema original. Lo que generalmente ocurre es que, en los procesos de integracin
o
que aparecen al aplicar el mtodo, en lugar de aparecer constantes arbitrarias aparecen
e
1
Ver [5], p.116
59
60
5 Problema de Cauchy. Metodo de Escalas Multiples
funciones arbitrarias de las otras variables.
5.2
Un oscilador lineal. Solucin Exacta

o
Empezaremos estudiando un problema para el cual podemos encontrar la solucin

o
exacta 2 . Consideremos la ecuacin lineal del oscilador amortiguado, dada por
o
x + 2x + x = 0
x(0; ) = 0,
x(0; ) = 1,
(5.1)
con 0+ . La solucin exacta de este problema es

o
2
t sen (t 1 )
.
xE (t; ) = e
1 2
(5.2)
El sub
ndice E denota solucin exacta. La solucin (5.2) representa una funcin
o
o
o
oscilatoria, con per
odo jo, cuya amplitud decae, aunque muy lentamente, a cero. La
solucin correspondiente a = 0.1 aparece en la gura 5.1.
o
x(t)
0.862
t
50
0.62
Figura 5.1: Grca de la funcin xE (t; ) = e

a
o
sen (t 1 2 )
,0
1 2
50, para = 0.1.
La solucin (5.2) tiene tres caracter

o
sticas, que anotamos a continuacin:
o
(a) es una funcin oscilatoria cuya frecuencia se puede controlar por medio de
o
T = t 1 2 . A T se le conoce como escala rpida;

a
2
Ver [7], p.157
61
5.2. Un oscilador lineal. Solucin Exacta

o
(b) la amplitud de la oscilacin decae de acuerdo con = t, conocido como escala

o
lenta;
(c) an si expresamos la solucin xE en trminos de T y de , la presencia del factor
u
o
e
1 2 en el denominador hace que sea necesario el uso de una expansin asinttica

o
o
para analizar la solucin cuando 0+ .
o
Estos elementos deben tenerse en cuenta cuando se busca una solucin asinttica de (5.1).
o
o
Es claro cmo aparecen las dos escalas en (5.2): en trminos de T (la escala rpida)
o
e
a
y de (la escala lenta), podemos escribir la solucin en la forma
o
sen T
,
X = e
1 2
T = t 1 2 ,
= t.
La idea central del mtodo de escalas mltiples consiste en formular el problema original
e
u
en trminos de estas dos escalas desde el principio y analizar a X(T, ; ), como funcin
e
o
de dos variables, en vez de x(t; ).
Ahora, es claro que T y no son independientes (de hecho, ntese que T = 1 2 ),

o
de manera que tenemos, aparentemente, una inconsistencia. Pero sta es slo aparente.
e
o
La justicacin se puede explicar como sigue. Buscamos una solucin asinttica para
o
o
o
X(T, ; ) cuando 0+ , como una funcin cuyo dominio es el espacio de dos dimeno
siones. El objetivo es obtener una expansin uniformemente vlida en T
o
a
0,
0 en
el espacio (T, ). Como la solucin es vlida en esta regin, debe ser tambin vlida a lo
o
a
o
e a
largo de cualquier trayectoria que escojamos en esa regin; en particular, ser vlida a
o
a a
a
lo largo de la recta = (/ 1 2 )T, lo que corresponde al hecho de que T y estn
relacionadas. En la gura 5.2 se representa esta interpretacin de manera esquemtica.
o
a
62
Acotada (y uniformemente vlida)

a
Periodica (y acotada)

= (/ 1 2 )T

T
Figura 5.2: Las escalas T y , y sus implicaciones en el comportamiento de la solucin

o
X(T, ; ). Si = 0 permanece constante, la solucin X(T, 0 ; ) debe ser oscilatoria (con
o
respecto a T ). Si T = T0 es constante, la amplitud de la solucin X(T0 , ; ) debe ser
o
acotada.
A continuacin aplicamos este mtodo para resolver (5.1)
o
e
5.2.1
Un Oscilador Lineal. El Mtodo de Escalas M ltiples

e
u
Consideremos el problema
x + 2x + x = 0,
0,
(5.3)
x(0; ) = 1.
(5.4)

x(0; ) = 0,
Supongamos que T es una funcin lineal en t y anal

o
tica en (es decir, que se puede
representar mediante una serie de potencias de convergente):
= t
T =
1+
n n t,
(5.5)
n=1
donde los n s son constantes, y escribimos

x(t; ) X(T, ; )
n=0
n Xn (T, ),
(5.6)
63

o
donde cada Xn debe ser peridica en T y, esperamos, uniformemente vlida cuando

o
a
T y . A partir de (5.5) obtenemos el operador
d
dt
1+
n n
n=1
+ ,
T
en trminos del cual la ecuacin (5.3) se escribe como

e
o
1+
XT T + 2 1 +
n n XT
n=1
n=1
+2 X + 2
1+
n n XT + X
+ X = 0,
n=1
donde =0 signica cero en todos los ordenes de . Cuando sustitu

mos (5.6) obtenemos
la sucesin de ecuaciones
o
X0T T + X0 = 0,
(5.7)
X1T T + X1 + 21 X0T T + 2X0T + 2X0T = 0,
(5.8)
2
X2T T + X2 + (22 + 1 )X0T T + 21 (X1T T + X0T )
+2X1T + X0 + 2(X1T + 1 X0T + X0 ) = 0,
(5.9)
etctera. Las condiciones iniciales (5.4) son

e
X(0, 0; ) = 0,
1+
n n XT (0, 0; ) + X (0, 0; ) = 1,
n=1
de donde obtenemos
Xn (0, 0) = 0, n = 0, 1, 2, . . .
X0T (0, 0) = 1,
X1T (0, 0) + 1 X0 (0, 0) + X0 (0, 0) = 0
.
.
.
(5.10)
Ahora, cada uno de estos problemas se puede resolver directamente, de manera sucesiva.
La solucin general de (5.7) es
o
X0 (T, ) = a0 ( ) sen T + b0 ( ) cos T = A0 ( ) sen (T + 0 ( )),
64
donde A0 y 0 son funciones arbitrarias de . Debido a (5.10), se requiere que

A0 (0) sen (0 (0)) = 0
A0 (0) cos(0 (0)) = 1,
0 (0) = 0.
de donde se obtiene
A0 (0) = 1
(5.11)
Ahora escribimos la ecuacin para X1 (T, ), (5.8), en la forma

o
X1T T + X1 = 21 A0 sen 0 2[A0 cos 0 A0 0 sen 0 ] 2A0 cos 0 ,
(5.12)
donde, para abreviar la notacin, hemos denido 0 = T + 0 ( ). Pero para que X1 (T, )
o
sea peridico en T, todos los trminos en el lado derecho, en sen 0 y cos 0 , deben anularse,
o
e
porque si no es as al momento de integrar para obtener X1 , se obtendr trminos como
,
an e
T sen (T +0 ( )), los cuales son no peridicos cuando T . Para eliminar estos trminos
o
e
seculares (es decir, no peridicos) se debe requerir
o
A0 + A0 = 0,
(5.13)
(1 + 0 )A0 = 0.
(5.14)
Al resolver primero (5.13) y luego (5.14) usando las condiciones iniciales (5.11) obtenenos
A0 ( ) = e
y 0 ( ) = 1 .
Con estas expresiones para A0 ( ) y 0 ( ) la solucin general de la ecuacin (5.12) es

o
o
X1 (T, ) = A1 ( ) sen (T + 1 ( )).
(5.15)
De manera que hasta este momento tenemos la solucin asinttica

o
o
X(T, ; ) e sen (T 1 ),
(5.16)
65

o
donde A1 , 1 y 1 son todav desconocidas.

a
Antes de proceder con el anlisis de la ecuacin para X2 observemos que, en (5.16) la
a
o
componente oscilatoria de la solucin depende de
o
T 1 (1 + 1 )t 1 t = t.
As en este orden, 1 se anula, y podemos hacer 1 = 0; esta es una simplicacin que se
,
o
hace con frecuencia y que nosotros adoptaremos en los problemas que estudiaremos. La
razn para esta redundancia es muy clara: en la denicin de la escala rpida el trmino
o
o
a
e
1 t pudo haber sido escrito como 1 y ser as incorporado en la dependencia de de la
solucin. De manera que est permitido hacer 1 = 0 desde el principio.

o
a
A partir de (5.9) y tomando 1 = 0, la ecuacin para X2 es
o
X2T T + X2 = (22 A0 2A0 A0 ) sen T 2(A1 cos 1 A1 1 sen 1 ) 2A1 cos 1 ,
donde 1 = T + 1 ( ). Para hacer visibles todos los trminos que generan un compore
tamiento secular (que son sen T y cos T ) escribimos
X2T T + X2 = (22 A0 2A0 A0 ) sen T
2(A1 + A1 )(cos T cos 1 sen T sen 1 ) + 2A1 1 ( sen T cos 1 + cos T sen 1 ).
Se ve entonces que X2 (T, ) es peridica en T si
o
A0 + 2A0 22 A0 2(A1 + A1 ) sen 1 2A1 1 cos 1 = 0,
(5.17)
(A1 + A1 ) cos 1 A1 1 sen 1 = 0,
(5.18)
con condiciones iniciales (de (5.10))

A1 (0) sen 1 (0) = 0,
A1 (0) cos 1 (0) = 0,
66
de manera que
A1 (0) = 0
con
1 (0) arbitrario.
(5.19)
La ecuacin (5.18) puede escribirse en la forma

o
(A1 cos 1 ) + A1 cos 1 = 0,
de donde obtenemos
A1 ( ) cos 1 ( ) = C1 e ,
donde C1 es una constante arbitraria. Pero por (5.19) tenemos
A1 ( ) cos 1 ( ) = 0.
(5.20)
De manera similar, la ecuacin (5.17) se puede escribir en la forma

o
1
(A1 sen 1 ) + A1 sen 1 = A0 + A0 2 A0 =
2
1
+ 2 e
2
y, al integrar esta ecuacin, vemos que la solucin A1 sen 1 contendr el trmino e

o
o
a
e
a menos que 2 = 1/2. Es as como debemos tomar el valor de 2 para garantizar la
uniformidad de la solucin cuando (pues este segundo trmino crecer como

o
e
a
en relacin al primero). De manera que lo que nos queda es
o
A1 ( ) sen 1 ( ) = 0,
y, tomando en cuenta (5.20), tenenos que A1 ( ) 0 (y la 1 (0) arbitraria ahora no tiene
importancia). De manera que tenemos la solucin
o
X(T, ; ) = e sen T + O(2 ),
1
con T 1 2 2 t
67
5.3. La Ecuacin de Dung con Amortiguamiento

o
Hemos usado este ejemplo para ilustrar el funcionamiento del mtodo de escalas
e
mltiples y sus principales aspectos, entre los que se pueden mencionar los siguientes.
u
(a) En este ejemplo se ve cmo la transformacin de una ecuacin diferencial ordinaria
o
o
o
en una ecuacin diferencial parcial no introduce dicultades insalvables.
o
(b) Se deben imponer condiciones de periodicidad y uniformidad en todos los ordenes
y de aqu se obtienen las condiciones para calcular la solucin unica en el orden
o
previo. De hecho, en el mtodo de escalas mltiples, el principo de eliminar trminos
e
u
e
seculares es fundamental.
(c) Como se vi en el ejemplo, se tiene cierta libertad en la eleccin de la escala rpida
o
o
a
que permite eliminar tambien los trminos no uniformes.
e
La cuestin que queda en este contexto de ecuaciones diferenciales ordinarias es cmo se
o
o
aplica el mtodo cuando no se dispone de la solucin exacta (de manera que no se tiene
e
o
una gu sobre la forma de la solucin). A continuacin analizamos este aspecto, a traves
a
o
o
de un ejemplo.
5.3
La Ecuacin de Dung con Amortiguamiento

o
Consideremos el problema
x + x + (2x x3 ) = 0,
0,
(5.21)

x(0; ) = 1,
x(0; ) = 0,
(5.22)
68
donde 0+ y (> 0) es una constante independiente de . Buscamos una solucin en

o
la forma
x(t; ) X(T, ; )
n Xn (T, ),
n=0
donde
T
1+
n n t,
= t.
n=2
Ntese que, de acuerdo a nuestras observaciones anteriores, hemos omitido el trmino

o
e
1 t. Al sustitu en la ecuacin (5.21) obtenemos
r
o
1+
XT T + 2 1 +
n=2
n n XT + 2 X + X
n=2
+2
1+
n n XT + X
n=2
X 3 = 0,
de donde obtenemos la siguiente sucesin de ecuaciones:

o
X0T T + X0 = 0;
(5.23)
3
X1T T + X1 + 2X0T + 2X0T X0 = 0,
(5.24)
X2T T + X2 + 22 X0T T + 2X1T
(5.25)
2
+X0 + 2(X1T + X0 ) 3X0 X1 = 0,
etctera. De (5.22) obtenemos las condiciones iniciales para los trminos hasta O(3 ) :
e
e
X0 (0, 0) = 1,
Xn (0, 0) = 0,
para
n = 1, 2, 3, . . . ,
X0T (0, 0) = 0,
X1T (0, 0) + X0 (0, 0) = 0,
X2T (0, 0) + 2 X0T (0, 0) + X1T (0, 0) = 0,
(5.26)
(5.27)
La solucin de (5.23) con condiciones (5.26) y (5.27) es

o
X0 (T, ) = A0 ( ) cos(T + 0 ( )) con A0 (0) = 1 y 0 (0) = 0.
(5.28)
69
5.3. La Ecuacin de Dung con Amortiguamiento

o
La ecuacin para (5.23) es

o
X1T T + X1 = 2(A0 sen 0 + A0 0 cos 0 ) 2A0 sen 0 A3 cos3 0
0
1
3
= 2(A0 + A0 ) sen 0 + 2A0 0 A3 cos 0 A3 cos 30 , (5.29)
0
4
4 0
donde 0 = T + 0 ( ), con condiciones iniciales
X1T (0, 0) = A0 (0).
X1 (0, 0) = 0,
(5.30)
La funcin X1 (T, ) es peridica en T slo si

o
o
o
A0 + A0 = 0
3
0 = A2 .
8 0
Tomando en cuenta (5.28) obtenemos

A0 ( ) = e ,
0 ( ) =
3
1 e2 .
16
(5.31)
Entonces, la solucin de (5.29) es

o
X1 (T, ) = A1 ( ) cos(T + 1 ( )) +
1 3
e
cos(3(T + 0 ( ))),
32
con
A1 (0) cos 1 (0) =
1
,
32
A1 (0) sen 1 (0) = .
De manera similar se hace el anlisis de la ecuacin (5.24) para X2 (T, ), pero los clculos
a
o
a
son mucho ms laboriosos. La solucin hasta este orden es
a
o
x e cos t +
3
1 e2
16
+ A1 ( ) cos(t + 1 ( )) +
(5.32)
9
1 3
e
cos 3t +
1 e2
32
16
(5.33)
70
5.4
Un Oscilador Forzado
Como ilustracin adicional del mtodo de escalas mltiples, resolvemos el siguiente probo
e
u
lema.
La elongacin y(t) de un resorte cuya constante de restitucin es , al que se ha
o
o
sujetado una masa unitaria, en un medio que no ejerce friccin sobre el que acta una
o
u
fuerza externa de magnitud variable, f (t) = sen t,
y (t) + y(t) = sen (t),
y(0) = 1,
y (0) = 0
(5.34)
Buscamos la solucin de la forma:

o
y = y0 + y1 + 2 y2 + O(3 )
(5.35)
Sustituyendo (5.35) en (5.34) tenemos que
(y0 + y1 + 2 y2 + O(3 )) + (y0 + y1 + 2 y2 + O(3 )) = sen (t)
y
y0 (0) + y1 (0) + 2 y2 (0) + O(3 ) = 1 y
y0 (0) + y1 (0) + 2 y2 (0) + O(3 ) = 0
El procedimiento para encontrar los trminos de la expansin se sigue del argumento

e
o
usado para resolver ecuaciones algebraicas. Las ecuaciones que surgen para las diferentes
potencias de son las siguientes
y0 (t) = 0,
y0 (0) = 1, y0 (0) = 0
(5.36)
y1 (t) + y0 (t) = sen (t),
y1 (0) = 0, y1 (0) = 0
(5.37)
y2 (0) = 0, y2 (0) = 0.
(5.38)
y2 (t) + y1 (t) = 0,
71
5.4. Un Oscilador Forzado
La solucin del sistema (5.36) es y0 (t) = 1. Ahora resolvemos (5.38).Sustituyendo y0 en

o
la ecuacin (5.38)
o
y1 (t) = sen (t) 1
as
y1 (t) = cos(t) t + c1
1
y1 (t) = sen (t) t2 + c1 t + c2
2
aplicando condiciones iniciales tenemos, c2 = 0 y c1 = 1. As que
1
y1 (t) = t t2 sen (t).
2
Resolvemos el sistema (5.38). Sustituyendo y1 en la ecuacin (5.38)
o
1
y2 (t) = t + t2 + sen (t)

2
as
y2 (t) = t2 +
2
1
y2 (t) = t3 +
6
1 3
t + cos(t) + c1
6
1 4
t sen (t) + c1 t + c2
24
Aplicando condiciones iniciales tenemos, c2 = 0 y c1 = 1. As que
1
1
y2 (t) = t t3 + t4 sen (t)
6
24
Encontramos que;
1
1
1
y(t) = 1 + t t2 sen (t) + t t3 + t4 sen (t) 2 + O(3 )
2
6
24
72
Vemos que aparecen trminos seculares. Consideramos la variable lenta =

e
t. Si
escribimos nuestra expansin en trminos de sta, algunos de los trminos cambiaran de

o
e
e
e
orden.
1
1
1
y = 1 + t t2 sen (t) + t t3 + t4 sen (t) 2
2
6
24
1 2
1 23
1
= 1 + t t sen (t) + 2 t t + 2 t4 2 sen (t)
2
6
24
2
( )3 2 ( )4 2
= 1+
+
2 sen (t) +
sen (t) + 2
2
6
24
3
3
1 2
4
2
+
= 1 + sen (t) +
2 sen (t) +
2
6
24
1 4
1 3
1 2
+ ( sen (t) + ) +
=
1 + + + +
2
24
6
Esto sugiere que nuestra solucin depende de ambos de t y del tiempo lento . Buscaremos
o
una solucin en trminos de estas dos variables
o
e
y = z(t, )
y escribimos la ecuacin diferencial parcial para z usando
o

d
=
+
dt
t
d
=
+2
+ 2
2
2
dt
t
t
Encontramos que el problema (5.34) se convierte en
ztt + 2 zt + z + z = sen (t),

z(0, 0) = 1, y zt (0, 0) +
z (0, 0) = 0.
Ahora buscaremos una solucin z de la forma

o
z = z0 +
z 1 + z 2 + O( 2 )
(5.39)
(5.40)
73
Sustituyendo (5.40) en (5.39), tenemos

0
ztt +
1
1
2
0
2
ztt + ztt + + 2 zt + zt + zt + +
0
z +
1
2
z + z + + z 0 +
z 1 + z 2 +
= sen (t)
y
z 0 (0, 0) +
0
zt (0, 0) +
1
2
zt (0, 0) + zt + +
0
z (0, 0) +
z 1 (0, 0) + z 2 (0, 0) + = 1
1
2
z (0, 0) + z (0, 0) +
= 0
Los problemas que resultan para las distintas potencias de son

0
ztt = 0,
1
0
ztt + 2zt = 0,
2
1
0
ztt + 2zt + z + z 0 = sen (t),
0
z 0 (0, 0) = 1, zt (0, 0) = 0
(5.41)
0
z 1 (0, 0) = 0, z 1 (0, 0) + z (0, 0) = 0
(5.42)
1
z 2 (0, 0) = 0, z 2 (0, 0) + z (0, 0) = 0.
(5.43)
La solucin de la ecuacin diferencial en (5.41) es

o
o
z 0 = a( )t + b( )
Usando las condiciones iniciales tenemos, b(0) = 1 y a(0) = 0. As
,
z 0 (t, ) = a( )t + b( ), con a(0) = 0 y b(0) = 1.
Tenemos ahora el problema de determinar a( ) y b( ). Tomamos la ecuacin del siguiente
o
orden, (5.42). Sustituyendo z 0 en la ecuacin (5.42) tenemos;
o
0
1
ztt = 2zt = 2a ( )
z 1 (0, 0) = 0,
1
0
zt = z (0, 0) = b ( ) = b (0)
74
asi z 1 = t2 a ( )+c( )t+d( ), y aplicando condiciones iniciales encontramos que d(0) = 0

y c(0) = b (0). As que
z 1 (t, ) = t2 a ( ) + c( )t + d( ), con d(0) = 0, y c(0) = b (0).

Notemos que el trmino
e
z 1 en (5.40) es
z 1 = (t2 a ( ) + c( )t + d( ))
= t2 a ( ) + tc( ) + d( )
= ta ( ) + c( ) +
d( ),
donde, en la segunda igualdad, se ha usado el hecho de que =
t. Para eliminar los
trminos seculares debemos requerir que a ( ) = 0 y c( ) = 0. Como a(0) = 0 concluimos

e
que a( ) = 0. Hasta ahora tenemos
z 0 = b( ), con b(0) = 1, b (0) = 0,
z 1 = d( ), con d(0) = 0.
Esto muestra que, en orden
, la solucin siempre depende de una variable lenta en el

o
tiempo. Ahora el termino del siguiente orden ser la ecuacin (5.43). Sustituyendo z 0 y
a
o
z 1 en la ecuacin (5.43) tenemos;
o
2
ztt = sen (t) b ( ) b( )
z 2 (0, 0) = 0,
cuya solucin es
o
2
1
zt (0, 0) = z (0, 0) = d (0)
1
z 1 = sen (t) (b ( ) + b( ))t2 + e( )t + f ( ).
2
75
Aplicando las condiciones iniciales tenemos, f (0) = 0 y e(0) = 1 d (0). As que
1
z 2 (t, ) = sen (t) (b ( ) + b( ))t2 + e( )t + f ( ), con f (0) = 0, e(0) = 1 d (0).
2
Nuevamente notamos que el trmino z 2 (t, ) de la solucin (5.40) es
e
o
1
z 2 (t, ) = sen (t) (b ( ) + b( ))t2 + e( )t + f ( )
2
1
= sen (t) (b ( ) + b( ))t2 + e( )t + f ( )
2
1
= sen (t) (b ( ) + b( )) 2 + e( ) + f ( ).
2
1
Como los trminos (b ( ) + b( )) 2 + e( ) son seculares, debemos requerir que
e
2
b ( ) + b( ) = 0,
e( ) = 0.
Como las condiciones iniciales para b( ) son b(0) = 1 y b (0) = 0, encontramos que
b( ) = cos . As tenemos, z 0 (t, ) = cos( ).
Nota: recordemos que z 0 = b( ). Como

z 1 (t, ) = d( ), con d(0) = 0, d (0) = 1,
entonces
z 1 = sen ( )
y
z 2 = sen (t) + f ( ), con f (0) = 0.
Entonces,
z 2 = sen (t).
76
Continuando con este procedimiento tenemos
3
y(t) = cos( ) + sen ( ) sen (t) + sen ( ) 2 + O(2 )
3
= cos( t) + sen ( t) sen (t) + 2 sen ( t) + O(2 ).
(5.44)
En la gura 5.3 se muestran la solucin numrica al problema (5.34) obtenida con

o
e
el mtodo de Runge-Kutta de cuarto orden, cuyo cdigo aparece en el apartado 3 de
e
o
apndice, as como la grca de la solucin asinttica (5.44), para = 0.6.
e
a
o
o
y(t)
Figura 5.3: La solucin numrica (l

o
e
nea punteada)
y la solucin asinttica con = 0.6 del problema (5.34)
o
o
Apndice. Cdigos Maple

e
o
1
Con el siguiente cdigo Maple se calculan los coecientes de la expansin asinttica (1.4).
o
o
o
Los datos de entrada son: el nmero N de coecientes que se desean calcular, la funcon
u
f (x), a la que se quiere encontrar su expansin asinttica y la sucesin asinttica n (x).

o
o
o
o
> restart:
Este cdigo calcula los coeficientes de la serie asinttica
o
o
para la funcin
o
{phi[n](x)}
f(x)
basada en la suc. asinttica

o
para N trminos.
e
> N:=30;
> f:=x->sin(3*x);
> for n from 1 to N do phi[n](x):=x^n od:
> a[1]:=limit(f(x)/phi[1](x),x=0);
> for m from 2 to N do
a[m]:=limit((f(x)-add(a[k]*phi[k](x),k=1..m-1))/phi[m](x),x=0) od:
> SerieAsintotica:=add(a[k]*phi[k](x),k=1..m);
77
78
Apendice. Codigos Maple
2
1
Con respecto al problema (3.5), una vez conocidas las funciones x0 (t) = t t2 y x1 (t) =
2
1 3
1 4
t t , para encontrar x2 (t) necesitamos resolver la tercera ecuacin en (3.8) con
o
3
12
condiciones iniciales dadas en (3.9) (tercera l
nea). Esto se consigue con el siguiente
cdigo
o
> restart:
> x[0]:=t->t-t^2/2; x[1]:=t->t^3/3-t^4/12;
> ode := diff(x[2](t),t,t)-2*x[1](t)+3*x[0](t)^2=0;
El coeficiente de
epsilon^2
es:
> dsolve( {ode, x[2](0)=0, D(x[2])(0)=0});

x(t) es, entonces,
>x:=x[0](t+epsilon*x[1](t+epsilon^2*(-11/360*t^6+11/60*t^5-1/4*t^4);
79
3.
3
Cdigo Maple para el mtodo de Runge-Kutta de cuarto orden.
o
e
> restart:
Este programa es el Runge-Kutta de cuarto orden para
sistema no autnomo
o
Si
dy/dt = f(t,y).
es variable vectorial de dimensin n, entonces

o
y = matrix([y[1], y[2], y[3], y[n]])

> with(linalg):
> epsilon:=.6;
> f := proc(t,y1,y2)
description "la funcin vectorial en el lado derecho de
o
la ecuacin diferencial";
o
matrix([[y2],[epsilon*(sin(t)-y1)]])
> end proc;
Los valores lmite de la var. independiente x, el nmero
u
de pasos
N y el tama~o del paso

n
h.
> tmin:=0; tmax:=50; N:=1000.; h:=(tmax-tmin)/N;

Las condiciones iniciales :
> y[0]:=matrix([[1],[0]]);
El algoritmo R-K4:
> for i from 0 to N do
k1:=scalarmul(f(i*h,y[i][1,1],y[i][2,1]),h):
80
k2:=scalarmul(f(i*h+h/2,y[i][1,1]+k1[1,1]/2,y[i][2,1]+k1[2,1]/2),h):
k3:=scalarmul(f(i*h+h/2,y[i][1,1]+k2[1,1]/2,y[i][2,1]+k2[2,1]/2),h):
k4:=scalarmul(f(i*h,y[i][1,1]+k3[1,1],y[i][2,1]+k3[2,1]/2),h):
k23:=matadd(k2,k3):
k14:=matadd(k1,k4):
k:=matadd(k14,scalarmul(k23,2)):
y[i+1]:=matadd(y[i],scalarmul(k,1/6)):
od:
> for i from 0 to N do t[i]:=i*h; z[i]:=y[i][1,1] od:

> for k from 0 to N-1 do printf("\(%4.2f,%4.2f)", t[k],z[k]) od;
Conclusin
o
En este trabajo hemos analizado algunos mtodos de perturbacin, tanto regular como
e
o
singular. Hemos visto cmo, en matemticas aplicadas, surgen de manera frecuente,
o
a
problemas para los que no es sencillo (y, a veces, no es posible) encontrar la solucin exacta.
o
Si en la formulacin del problema aparece un parmetro pequeo, entonces es posible
o
a
n
intentar usar la teor de perturbaciones. Los problemas de tipo singular tienen diferentes
a
variantes que sugieren el uso de diferentes mtodos, como los que aqu estudiamos, tales
e
como el mtodo de escalas mltiples y el mtodo de expansiones asintticas acoplados.

e
u
e
o
Aunque estos mtodos son bien conocidos, es necesario considerar en cada caso la
e
pertinencia de la aplicabilidad de cada uno de ellos, ya que un problema particular no
puede analizarse usando cualquier mtodo.
e
La teor de perturbaciones es una rea muy extensa de las matemticas aplicadas, en
a
a
a
la que la bibliograf es muy extensa y especializada. En este trabajo no hemos limitado
a
a estudiar slo algunos de los conceptos y mtodos bsicos, que son los ms usuales en
o
e
a
a
las aplicaciones prcticas.
a
81
82
Bibliograf
a
[1] OMalley, Robert E. Introduction to Singular Perturbations, Academic Press, New
York, 1974
[2] Keener, J. P., Principles and Techniques of Applied Mathematics, Trasnformation
and Approximation, Addison Wesley Publication Company, 1988.
[3] Holmes, Mark H., Introduction to Perturbation Methods, Springer-Velag New York,
Inc.,1995.
[4] Olver, F. W. J., Asymptotics and special functions, New York, Academic Press, 1974
[5] Hinch, E. J., Perturbation Methods, Cambridge University Press, 1991.
[6] Murdock, James A., Perturbations : theory and methods, SIAM Society for Industrial
and Applied Mathematics, 1999, Philadelphia, PA, U.S.A.
[7] Johnson, R. S, Singular Perturbation Theory, Mathematical and Analytical Techniques with Applications to Engineering, Springer, 2005.
[8] Renormalization group and singular perturbations: Multiple scales, boundary layers,
and redutive perturbation theory, Lin-Yuan Chen, Nigel Goldenfeld, and Y. Oono.
83
Bibliograf
a
84
[9] Regular Perturbation and the Projectile Problem, H.E. Krogstad,IMF 2002
[10] Mathematical methods in the physical sciences , Boas, M. L., 3a edicin, New York,
o
Editorial John Wiley, 2006
[11] http://mathworld.wolfram.com/LandauSymbols.html

140 Tes Is Ines Gilt

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

140 Tes Is Ines Gilt

Cargado por

Copyright:

Formatos disponibles

Universidad de Sonora

Mar Ins Gil Tolano

2 Ecuaciones Algebraicas y Trascendentes

3 Un problema de Cauchy. Expansin Regular

El problema del proyectil . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

Solucin por Perturbacin Regular . . . . . . . . . . . . . . . . . . 42

4 Problema de Valores en la Frontera

Las soluciones externa e interna . . . . . . . . . . . . . . . . . . . . . . . . 48

5 Problema de Cauchy. Mtodo de Escalas M ltiples

Un oscilador lineal. Solucin Exacta . . . . . . . . . . . . . . . . . . . . . . 60

Un Oscilador Lineal. El Mtodo de Escalas Mltiples . . . . . . . . 62

La Ecuacin de Dung con Amortiguamiento . . . . . . . . . . . . . . . . 67

Apndice. Cdigos Maple

A mi esposo, Hugo Alonso.

Para presentar el concepto de expansin asinttica, primero debemos discutir el concepto

signica que existen constantes k y x1 (independientes de x) tales que

Si x0 es innito, la expresin (1.1) signica que existen constantes k y M > 0 tales

En este caso se dice que f es O grande de g cuando x x0 , o que f y g son del

signica que para cualquier k existe un x1 (independiente de x) se satisface que

En este caso se dice que f es o pequea de g cuando x x0 .

Se dice que f es O-grande de g cuando x x0 (o que f es del orden de g cuando

1. Supongamos que lim

A continuacin presentamos algunos ejemplos que ilustran el uso de las deniciones de

1. Sean f (x) = x2 , g1 (x) = x y g2 (x) = 3x2 + 5x6 . En este caso, lim

2. Sean f (x) = x sen (1 + 1/x) y g(x) = x. Como |f (x)/g(x)|

concluye que f = O(g) cuando x 0.

1. f = O(1) cuando x x0 si y slo si f es acotada en una vecindad de x0 ;

3. Si f = o(g) cuando x x0 entonces f = O(g) cuando x x0 (pero no viceversa;

mbolos de Landau. Algunas de ellas

(e) O(f ) + O(f ) = O(f )

Estas propiedades se deducen directamente de la Denicin 1.1.

Aunque en este trabajo no estaremos interesados en la relacin de orden entre derivadas

Teorema 1.2. Si f (x) y g(x) satisfacen f = O(g) si x x0 para todo x0 R entonces

Demostracin. Sea k la constante tal que |f (t)|

k|g(t)| para t sucientemente cercana

a x0 , digamos |t x0 | < . Entonces

Aplicando la propiedad de monoton de la integral se obtiene la conclusin.

f (z) = O(z ) (respectivamente, f (z) = o(z )) cuando z en el sector, para real y

Las siguientes deniciones fueron dadas por Poincar (1886).

1.3. Expansiones Asintticas

Denicin 1.2. Sea {n }, n = 0, 1, 2, . . . una sucesin de funciones continuas, denidas

La primera sucesin es util cuando se tienen que analizar funciones exponencialmente

pequeas. La segunda de estas sucesiones es simplemente una generalizacin de las funn

ak k (x) + o(m ) para cada m = 1, ..., n cuando x x0 ,

donde los coecientes ak son independientes de x. En este caso, escribimos

Es necesario hacer tres comentarios.

1.3. Expansiones Asintticas

Figura 1.1: Grca de las funcin f (x) = sen (3x)

para intervalos de la forma [0, x0 ].

2. Dados una funcin f (x), un valor l

Ntese ahora que

k k (x) no debe ser interpretada como una serie en

el sentido convencional. De hecho, muchas series asintticas, si se miran como una

fn (x) converge para un valor dado de x si, dado > 0, exite

fn (x) < si N1 , N2 > N. En este sentido se arma que la serie

de Taylor de una funcin dada es convergente. Pero este tipo de convergencia no

y su grca aparece en la gura 1.2

La serie de Taylor para la funcin anal

1.3. Expansiones Asintticas

grandes de x deben tomarse muchos tminos de la serie para obtener un nivel de

, e integrando por partes se obtiene

En la ultima integral en (1.8) escribimos

nuevamente por partes para obtener