Instituto Politecnico Nacional

Escuela Superior de Ingeniería Mecánica y Eléctrica Unidad

Azcapotzalco
José Francisco García Damian
6 de septiembre de 2019

1. Encontrar dos términos de la solución de una expansión asintótica de los siguientes proble-
mas, para valores pequeños de ε.

Utilizar
y ∼ y0 + εy1 + ... (1)
0
y ∼ y00 + εy10 + ... (2)
00
y ∼ y000 + εy100 + ... (3)

a) y 00 + εy 0 − y = 1, donde y(0) = y(1) = 1

Solución analitica, resolviendo primero la parte homogenea

y 00 + εy 0 − y = 0 (4)

Se propone una solución de la forma

y(x) = erx (5)

y 0 (x) = rerx (6)

00 2 rx
y (x) = r e (7)
Sustituyando las ecuaciones (5), (6) y (7) en la ecuación (4)

r2 erx + εrerx − erx = 0 (8)

erx (r2 + εr − 1) = 0 (9)

2
r + εr − 1 = 0 (10)
Resolviendo por la ecuación general
√
−b ± b2 − 4ac
x= (11)
2a

1
 p
−ε ± ε2 − 4(1)(1)
x= (12)
2(1)
√
−ε ± ε2 − 4
x= (13)
2
√
−ε + ε2 − 4
x1 = (14)
2
√
−ε − ε2 − 4
x2 = (15)
2
Las raices son reales y distintas, entonces la solución tiene la forma de

yh (x) = C1 er1 x + C2 er2 x (16)

√ ! √ !
−ε + ε2 − 4 −ε − ε2 − 4
x x
2 2
yh (x) = C1 e + C2 e (17)
Solucionando la parte no homogenea

y 00 + εy 0 − y = 1 (18)

Se propone una solución particular de la forma

yp (x) = Ax2 + Bx + c (19)

yp0 (x) = 2Ax + B (20)

yp00 (x) = 2A (21)
Sustituyendo las ecuaciones (19), (20) y (21) en la ecuación (18)

2A + ε(2Ax + B) − (Ax2 + Bx + C) = 1 (22)

2A + 2εAx + εB − Ax2 − Bx − C = 1 (23)

2
−Ax + x(2εA − B) + 2A + εB − C = 1 (24)
Agrupando por valores de x
−A = 0 (25)
A=0 (26)

2εA − B = 0 (27)
2ε(0) − B = 0 (28)
−B = 0 (29)

2A + εB − C = 1 (30)
2(0) + ε(0) − C = 1 (31)

2
 −C = 1 (32)
C = −1 (33)
Sustituyando los valores de A, B y C en la solución particular

yp (x) = (0)x2 + (0)x + (−1) (34)

yp (x) = −1 (35)
La solucion general tiene la forma de

yg (x) = yh (x) + yp (x) (36)

√ ! √ !
−ε + ε2 − 4 −ε − ε2 − 4
x x
2 2
yg (x) = C1 e + C2 e −1 (37)

Solución por medio de expansiones asintoticas

Sustituyendo las ecuaciones (1), (2) y (3) en la ecuación original

(y000 + εy100 + ...) + ε(y00 + εy10 + ...) − (y0 + εy1 + ...) = 1 (38)

y000 + εy100 + ...εy00 + ε2 y10 + ... − y0 − εy1 + ... = 1 (39)

Sustituyendo la ecuación (1) en las condiciones de frontera

y0 (0) + εy1 (0) + ... = 1 (40)

y0 (1) + εy1 (1) + ... = 1 (41)

Agrupando por ordenes de ε
0(ε0 ) : y000 − y0 = 1 (42)
Solucionando la ecuación diferencial de segundo orden no homogenea

y0 (x) = C1 ex + C2 e−x − 1 (43)

Aplicando condiciones de frontera encontradas en las ecuaciónes (40) y (41) para y0

y0 (0) = 1 (44)

y0 (1) = 1 (45)

Sustituyendo la ecuación (40) en la ecuación (43)

1 = C1 e0 + C2 e−(0) − 1 (46)

1 = C1 + C2 − 1 (47)

3
 C1 + C2 = 2 (48)
Sustituyendo la ecuación (45) en la ecuación (43)

1 = C1 e1 + C2 e−1 − 1 (49)

C1 e1 + C2 e−1 = 2 (50)
Resolviendo el sistema de formado por las ecuaciónes (48) y (50)
2e
C2 = (51)
1+e
2
C1 = (52)
1+e
Sustituyendo los valores de C2 y C1 en la ecuación (43)
2 2e
y0 (x) = ( )ex + ( )e−x − 1 (53)
1+e 1+e

Agrupando por ordenes de ε

0(ε1 ) : y100 + y00 − y1 = 0 (54)

y100 − y1 = −y00 (55)

2e−x (e2x − e)
y100 − y1 = − (56)
1+e
Solucionando la ecuación diferencial de segundo orden no homogenea

e1−x x ex x
y1 (x) = C1 ex + C2 e−x − − (57)
1+e 1+e

Aplicando condiciones de frontera encontradas en las ecuaciónes (40) y (41) para y1

y1 (0) = 0 (58)

y1 (1) = 0 (59)
Sustituyendo la ecuación (58) y en la ecuación (57)

e1−0 (0) e0 (0)

0 = C1 e0 + C2 e−(0) − − (60)
1+e 1+e
C1 + C2 = 0 (61)
Sustituyendo la ecuación (59) y en la ecuación (57)

e1−1 (1) e1 (1)

0 = C1 e1 + C2 e−1 − − (62)
1+e 1+e
1 e
0 = C1 e + C2 e−1 − − (63)
1+e 1+e

4
Figura 1: Solución numerica, asintotica y analitica x vs y, para ε = 0,01

Figura 2: Solución numerica, asintotica y analitica x vs y, para ε = 0,1

5
 Figura 3: Solución numerica, asintotica y analitica x vs y, para ε = 0,5

Resolviendo el sistema de formado por las ecuaciónes (61) y (63)

e
C2 = − (64)
e2 − 1
e
C1 = (65)
e2 − 1
Sustituyendo los valores de C2 y C1 en la ecuación (57)

e x e −x e1−x x ex x
y1 (x) = ( )e − ( )e − − (66)
e2 − 1 e2 − 1 1+e 1+e

Sustituir los valores de y0 (x) y de y1 (x) en la siguiente ecuación para obtener la solucion
asintotica
y(x) ∼ y0 (x) + εy1 (x) + ... (67)
2 2e e e e1−x x ex x
y(x) ∼ ( )ex + ( )e−x − 1 + ε(( 2 )ex − ( 2 )e−x − − ) (68)
1+e 1+e e −1 e −1 1+e 1+e

π
b) y 00 + y + εy 3 = 0, donde y(0) = 0 y y( ) = 1
2
Sustituyendo las ecuaciones (1), (2) y (3) en la ecuación original

(y000 + εy100 + ...) + (y0 + εy1 + ...) + ε(y0 + εy1 + ...)3 = 0 (69)

6
 y000 + εy100 + ...y0 + εy1 + ...ε(y0 )3 (70)
Sustituyendo la ecuación (1) en las condiciones de frontera

y0 (0) + εy1 (0) + ... = 0 (71)

π π
y0 ( ) + εy1 ( ) + ... = 1 (72)
2 2
Agrupando por ordenes de ε
0(ε0 ) : y000 + y0 = 0 (73)
Solucionando la ecuación diferencial de segundo orden homogenea

y0 (x) = C1 cos x + C2 sin x (74)

Aplicando condiciones de frontera encontradas en las ecuaciónes (71) y (72) para y0

y0 (0) = 0 (75)
π
y0 ( ) = 1 (76)
2
Sustituyendo la ecuación (75) en la ecuación (74)

0 = C1 cos(0) + C2 sin(0) (77)

0 = C1 (78)
Sustituyendo la ecuación (76) en la ecuación (74)
π
1 = C2 sin( ) (79)
2
1
C2 = π (80)
sin( )
2
Sustituyendo los valores de C2 y C1 en la ecuación (74)
1
y0 (x) = π sin x (81)
sin( )
2
y0 (x) = sin x (82)
Agrupando por ordenes de ε

0(ε1 ) : y100 + y1 + (y0 )3 = 0 (83)

y100 + y1 + (sin x)3 = 0 (84)

Solucionando la ecuación diferencial de segundo orden no homogenea
1 3
y1 (x) = C2 sin x + C1 cos x − sin 3x + x cos x (85)
32 8

7
 Figura 4: Solución numerica contra asintotica x vs y, para ε = 0,01

Aplicando condiciones de frontera encontradas en las ecuaciónes (71) y (72) para y1

y1 (0) = 1 (86)
π
y1 ( ) = 0 (87)
2
Sustituyendo la ecuación (86) en la ecuación (85)
1 3
0 = C2 sin(0) + C1 cos(0) − sin 3(0) + (0) cos(0) (88)
32 8
C1 = 0 (89)
Sustituyendo la ecuación (87) en la ecuación (85)
π 1 π 3 π π
0 = C2 sin( ) − sin 3( ) + ( ) cos( ) (90)
2 32 2 8 2 2
1 π 3 π π
sin 3( ) − ( ) cos( )
32 2 8 2 2 =C (91)
π 2
sin( )
2
1
C2 = − (92)
32
Sustituyendo los valores de C2 y C1 en la ecuación (85)
1 1 3
y1 (x) = − sin x − sin 3x + x cos x (93)
32 32 8

8
Figura 5: Solución numerica contra asintotica x vs y, para ε = 0,1

Figura 6: Solución numerica contra asintotica x vs y, para ε = 0,5

9
 Sustituir los valores de y0 (x) y de y1 (x) en la siguiente ecuación para obtener la solucion
asintotica
y(x) ∼ y0 (x) + εy1 (x) + ... (94)
1 1 3
y(x) ∼ sin x + ε(− sin x − sin 3x + x cos x) (95)
32 32 8

c) y 00 − y + εy 3 = 0, donde y(0) = 0 y y(1) = ε

La solución aproximada se obtiene sustituyendo las ecuaciones (1), (2) y (3) en la ecua-
ción original

(y000 + εy100 + ...) − (y0 + εy1 + ...) + ε(y0 + εy1 + ...)3 = 0 (96)

y000 + εy100 + ... − y0 − εy1 + ...ε(y0 )3 (97)

Sustituyendo la ecuación (1) en las condiciones de frontera

y0 (0) + εy1 (0) + ... = 0 (98)

y0 (1) + εy1 (1) + ... = ε (99)

Agrupando por ordenes de ε

0(ε0 ) : y000 − y0 = 0 (100)
Solucionando la ecuación diferencial de segundo orden homogenea

y0 (x) = C1 ex + C2 e−x (101)

Aplicando condiciones de frontera encontradas en las ecuaciónes (88) y (89) para y0

y0 (0) = 0 (102)

y0 (1) = 0 (103)
Sustituyendo la ecuación (102) en la ecuación (101)

0 = C1 e0 + C2 e−(0) (104)

0 = C1 + C2 (105)
Sustituyendo la ecuación (103) en la ecuación (101)

0 = C1 e1 + C2 e−1 (106)

Resolviendo el sistema de formado por las ecuaciónes (105) y (106)

C2 = 0 (107)

C1 = 0 (108)

10
 Figura 7: Solución asintotica contra asintotica x̄ vs t̄, para ε = 0,01

Sustituyendo los valores de C2 y C1 en la ecuación (101)

y0 (x) = 0 (109)

Agrupando por ordenes de ε

0(ε1 ) : y100 − y1 + (y0 )3 = 0 (110)

y100 − y1 = 0 (111)
Solucionando la ecuación diferencial de segundo orden no homogenea

y1 (x) = C1 ex + C2 e−x (112)

Aplicando condiciones de frontera encontradas en las ecuaciónes (98) y (99) para y1

y1 (0) = 0 (113)

y1 (1) = 1 (114)
Sustituyendo la ecuación (113) y en la ecuación (112)

0 = C1 e0 + C2 e−(0) (115)

C1 + C2 = 0 (116)

11
Figura 8: Solución asintotica contra asintotica x̄ vs t̄, para ε = 0,1

Figura 9: Solución asintotica contra asintotica x̄ vs t̄, para ε = 0,5

12
 Sustituyendo la ecuación (114) y en la ecuación (112)

1 = C1 e1 + C2 e−1 (117)

Resolviendo el sistema de formado por las ecuaciónes (116) y (117)

e
C2 = − (118)
e2 −1
e
C1 = (119)
e2 − 1
Sustituyendo los valores de C2 y C1 en la ecuación (112)
e e
y1 (x) = ( )ex − ( 2 )e−x (120)
e2 −1 e −1

Sustituir los valores de y0 (x) y de y1 (x) en la siguiente ecuación para obtener la solucion
asintotica
y(x) ∼ y0 (x) + εy1 (x) + ... (121)
e e
y(x) ∼ ε(( 2 )ex − ( 2 )e−x ) (122)
e −1 e −1
2. Encontrar las raíces de las siguientes ecuaciones algebraicas
a) εx3 − 3x − 1 = 0
La solución analitica de la ecuación se encuentra aplicando el metodo de Cardano-
Tartaglia para ecuaciónes cubicas
s r s r
b b 2 a 3 b b2 a3
x=3 − + + +3 − − + (123)
2 4 27 2 4 27

Donde a = − 3ε y b = 1
ε

Solucionando por medio de expansiones por perturbación regulares

x ∼ x0 + εx1 + ε2 x2 + ... (124)

Sustituyendo la solución anterior en la ecuación alebraica

ε(x0 + εx1 + εx22 )3 − 3(x0 + εx1 + εx22 ) + 1 = 0 (125)

ε(x30 ) − 3(x0 + εx1 ) − 1 = 0 (126)

εx30 − 3x0 + 3εx1 − 1 = 0 (127)
Agrupando por ordenes de ε
0(ε0 ) : −3x0 − 1 = 0 (128)
−3x0 − 1 = 0 (129)
1
x0 = − (130)
3

13
 Figura 10: Raices de la ecuación por inspección

0(ε1 ) : x30 + 3x1 = 0 (131)

1
(− )3 + 3x1 = 0 (132)
3
1
− + 3x1 = 0 (133)
27
1
x1 = + ÷ 3 (134)
27
1
x1 = + (135)
81
No es posible encontrar las tres raíces de la ecuación encontradas por inspección en la
Fig 10

Resolviendo por factor de escala, primero se establece el factor

x
x̄ = (136)
εγ
x = x̄(εγ ) (137)
Sustituyendo el factor de escala en la ecuación original

εx3 − 3x + 1 = 0 (138)

14
 ε(x̄εγ )3 − 3(x̄εγ ) + 1 = 0 (139)
1+3γ 3 γ
ε x̄ − 3x̄ε + 1 = 0 (140)
Balanceando el primer y segundo termino para eliminar la singularidad

1 + 3γ = γ (141)

1 = γ − 3γ (142)
−2γ = 1 (143)
1
γ=− (144)
2
Sustituir en valor de γ en la ecuación escalada
1 1
ε1+3(− 2 ) x̄3 − 3x̄ε− 2 + 1 = 0 (145)
1 1
ε− 2 x̄3 − 3x̄ε− 2 + 1 = 0 (146)
1
Multiplicandólo por ε 2
1
x̄3 − 3x̄ + ε 2 = 0 (147)

Se ha removido la singularidad, usando la siguiente expansión asintotica

x̄ ∼ x̄0 + εα x̄1 + ... (148)

1
(x̄0 + εα x̄1 )3 − 3(x̄0 + εα x̄1 ) + ε 2 = 0 (149)
1
x̄30 + 3εα x̄20 x̄1 − 3x̄0 − 3εα x̄1 + ε 2 = 0 (150)
Agrupando por ordenes de ε
0(ε0 ) : x̄30 − 3x̄0 = 0 (151)
x̄0 (x̄20 − 3) = 0 (152)
x̄0 = 0 (153)
x̄20 − 3 = 0 (154)
√
x̄0 = ± 3 (155)

1
0(ε 2 ) : 3x̄20 x̄1 − 3x̄1 + 1 = 0 (156)
3x̄1 (x̄20 − 1) + 1 = 0 (157)
1
x̄1 = − (158)
3(x̄20 − 1)
1
x̄1 = (159)
3
1
x̄1 = − (160)
6

15
Figura 11: Grafica ε vs x para la primera raiz de la función εx3 − 3x − 1 = 0

Figura 12: Grafica ε vs x para la segunda raiz de la función εx3 − 3x − 1 = 0

16
 Figura 13: Grafica ε vs x para la tercera raiz de la función εx3 − 3x − 1 = 0

La ecuación tiene tres raices reales

1
x̄1 ∼ 0 + ε1/2 (161)
3
√ 1
x̄2 ∼ + 3 − ε1/2 (162)
6
(163)
√ 1
x̄3 ∼ − 3 − ε1/2 (164)
6
Revirtiendo el escalado de la ecuación

x = εγ x̄ (165)
1 1
x̄1 = ε− 2 (+ ε1/2 ) (166)
3
1 √ 1
x̄2 = ε− 2 ( 3 − ε1/2 ) (167)
6
1 √ 1
x̄3 = ε− 2 (− 3 − ε1/2 ) (168)
6
b) ε2 x3 − x + ε = 0
Solucionando por medio de expansiones por perturbación regulares

x ∼ x0 + εx1 + ε2 x2 + ... (169)

17
Sustituyendo la solución anterior en la ecuación alebraica

ε2 (x̄0 + εx1 + ...)3 − (x0 + εx1 + ...) + ε = 0 (170)

ε2 x30 − x0 − εx1 + ε = 0 (171)

Agrupando por ordenes de ε
0(ε0 ) : x0 = 0 (172)
x̄0 = 0 (173)

0(ε1 ) : −x1 + 1 = 0 (174)

x1 = +1 (175)
No es posible encontrar las tres raíces de la ecuación encontradas por inspección en la
Fig 11

Resolviendo por factor de escala, primero se establece el factor

x
x̄ = (176)
εγ
x = x̄(εγ ) (177)
Sustituyendo el factor de escala en la ecuación original

ε2 x3 − x + ε = 0 (178)

ε2 (x̄εγ )3 − (x̄εγ ) + ε = 0 (179)

ε2+3γ x̄3 − x̄εγ + ε = 0 (180)
Balanceando el primer y segundo termino para eliminar la singularidad

2 + 3γ = γ (181)

2 = γ − 3γ (182)
2 = −2γ (183)
γ = −1 (184)
Sustituir en valor de γ en la ecuación escalada

ε2+3(−1) x̄ − x̄ε−1 + ε = 0 (185)

ε−1 x̄3 − x̄ε−1 + ε = 0 (186)

Multiplicandólo por (ε+1 )
x̄3 − x + ε2 = 0 (187)

18
 Figura 14: Raices de la ecuación por inspección

Se ha removido la singularidad, usando la siguiente expansión asintotica

x̄ ∼ x̄0 + εα x̄1 + ... (188)

(x̄0 + ε1 x̄1 + ε2 x̄2 )3 − (x̄0 + ε1 x̄1 + ε2 x̄2 ) + ε2 = 0 (189)

x̄30 + 3εx̄20 x̄1 + 3ε2 x̄0 x̄21 + 3ε2 x̄20 x̄2 − x̄0 − εx̄1 − ε2 x̄2 + ε2 = 0 (190)
Agrupando por ordenes de ε
0(ε0 ) : x̄30 − 3x̄0 = 0 (191)
x̄0 (x̄20 − 3) = 0 (192)
x̄0 = 0 (193)

x̄20 − 1 = 0 (194)
x̄0 = ±1 (195)

0(ε1 ) : 3x̄20 x̄1 − x̄1 = 0 (196)

3(1)2 x̄1 − x̄1 = 0 (197)
3x̄1 − x̄1 = 0 (198)
2x̄1 = 0 (199)
x̄1 = 0 (200)

19
Figura 15: Grafica ε vs x para la primera raiz de la función ε2 x3 − x + ε = 0

3(0)2 x̄1 − x̄1 = 0 (201)

−x̄1 = 0 (202)
x̄1 = 0 (203)

0(ε2 ) : 3x̄0 x̄21 + 3x̄20 x̄2 − x̄2 + 1 = 0 (204)

x̄2 (3x̄20 − 1) + 3x̄0 x̄21 +1=0 (205)
−3x̄0 x̄21 − 1
x̄2 = (206)
3x̄20 − 1
x̄2 = 1 (207)
1
x̄2 = − (208)
2
1
x̄2 = − (209)
2
La ecuación tiene tres raices reales
x̄1 ∼ ε2 (210)
1
x̄2 ∼ +1 − ε2 (211)
2
(212)

20
Figura 16: Grafica ε vs x para la segunda raiz de la función ε2 x3 − x + ε = 0

Figura 17: Grafica ε vs x para la tercera raiz de la función ε2 x3 − x + ε = 0

21
 1
x̄3 ∼ −1 − ε2 (213)
2
Revirtiendo el escalado de la ecuación

x = εγ x̄ (214)

x1 = ε−1 (ε2 ) (215)

1
x2 = ε−1 (+1 − ε2 ) (216)
2
1
x3 = ε−1 (−1 − ε2 ) (217)
2
1
c) 1+x2 = εx2

1 = εx2 (1 + x2 ) (218)
1 = εx2 + εx4 (219)
2 4
εx + εx − 1 = 0 (220)

Solucionando por medio de expansiones por perturbación regulares

x ∼ x0 + εx1 + ε2 x2 + ... (221)

Sustituyendo la solución anterior en la ecuación alebraica

ε(x20 + 2εx0 x1 + 2ε2 x0 x2 + ε2 x21 + ...) + ε(x40 + 4εx30 x1 + 6ε2 x20 x21 + 4ε2 x30 x2 + ...) − 1 = 0 (222)

εx20 + 2ε2 x0 x1 + εx40 + 4ε2 x30 x1 − 1 = 0 (223)

No es posible encontrar las dos raíces de la ecuación encontradas por inspección en la Fig 12

Resolviendo por factor de escala, primero se establece el factor

x
x̄ = (224)
εγ
x = x̄(εγ ) (225)

Sustituyendo el factor de escala en la ecuación original

εx2 + εx4 − 1 = 0 (226)

ε(x̄εγ )2 + ε(x̄εγ )4 − 1 = 0 (227)

1+2γ 2 1+4γ 4
ε x̄ + ε x̄ − 1 = 0 (228)

Balanceando el segundo y tercer termino para eliminar la singularidad

1 + 4γ = 0 (229)

4γ = −1 (230)

22
 Figura 18: Raices de la ecuación por inspección

1
γ=− (231)
4
Sustituir en valor de γ en la ecuación escalada
1 1
ε1+2(− 4 ) x̄2 + ε1+4(− 4 ) x̄4 − 1 = 0 (232)
1
ε 2 x̄2 + x̄4 − 1 = 0 (233)

Se ha removido la singularidad, usando la siguiente expansión asintotica

x̄ ∼ x̄0 + εα x̄1 + ... (234)

(x̄0 + ε1 x̄1 + ε2 x̄2 )3 − (x̄0 + ε1 x̄1 + ε2 x̄2 ) + ε2 = 0 (235)

x̄30 + 3εx̄20 x̄1 + 3ε2
x̄0 x̄21 + 3ε2 x̄20 x̄2 2 2
− x̄0 − εx̄1 − ε x̄2 + ε = 0 (236)

Agrupando por ordenes de ε

0(ε0 ) : x̄40 − 1 = 0 (237)
x̄0 = 1 (238)
x̄0 = −1 (239)

1
0(ε 2 ) : 4x̄30 x̄1 − x̄20 = 0 (240)
−x̄20
x̄1 = (241)
4x̄30

23
 1
Figura 19: Grafica ε vs x para la primera raiz de la función 1+x2 = εx2

Cuando x̄0 = 1
1
x̄1 = − (242)
4
Cuando x̄0 = −1
1
x̄1 = (243)
4

0(ε1 ) : 6x̄20 x̄21 + 4x̄30 x̄2 + 2x̄0 x̄1 = 0 (244)

−2x̄0 x̄1 − 6x̄20 x̄21
x̄2 = (245)
4x̄30

Cuando x̄0 = 1 y x̄1 = − 14

1
x̄2 = (246)
2
1
Cuando x̄0 = −1 y x̄1 = 4
1
x̄2 = − (247)
2
La ecuación tiene dos raices reales
1
1 ε2 ε
x̄1 ∼ ε− 4 (1 − + + ...) (248)
4 2
1
1 ε2 ε
x̄1 ∼ ε− 4 (−1 + − + ...) (249)
4 2

24
 1
Figura 20: Grafica ε vs x para la segunda raiz de la función 1+x2 = εx2

3. Encontrar dos términos de la solución de una expansión asintotica de los siguientes problemas,
para valores pequeños de ε
a) εy 00 + 2y 0 + 2y = 0 donde y(0) = 0 y y(1) = 1, para toda 0 < x < 1
Estableciendo las siguientes soluciones por expansión asintótica

y(x) ∼ y0 (x) + εy1 (x) + ... (250)

y 0 (x) ∼ y00 (x) + εy10 (x) + ... (251)

y 00 (x) ∼ y00 (x) + εy100 (x) + ... (252)
Sustituyendo las soluciones en la ecuación diferencial original

ε(y00 (x) + εy10 (x) + ...) + 2(y00 (x) + εy10 (x) + ...) + 2(y0 (x) + εy1 (x) + ...) = 0 (253)

y0 (0) + εy1 (0) + ... = 0 (254)

y0 (1) + εy1 (1) + ... = 1 (255)
Agrupando por ordenes de ε
0(ε0 ) : 2y00 + 2y0 = 0 (256)
y0 (0) = 0 (257)
y0 (1) = 1 (258)

25
Resolviendo la ecuación diferencial homogenea

y0 (x) = C1 e−x (259)

La capa limite se encuentra en x = 0, entonces se utiliza la condición de frontera

y0 (1) = 1
1 = C1 e−1 (260)
C1 = e (261)
Por lo tanto

y0 (x) = e1−x (262)

Estableciendo factores de escalado
x
x̄ = (263)
εγ
1
y 00 = 2γ Y 00 (264)
ε
1
y0 = γ Y 0 (265)
ε
y=Y (266)
Escalando la ecuación diferencial
1 00 1
ε( Y ) + 2( γ Y 0 ) + 2Y = 0 (267)
ε2γ ε
ε1−2γ Y 00 + 2ε−γ Y 0 + 2Y = 0 (268)
Balanceando primer y segundo termino

1 − 2γ = −γ (269)

γ=1 (270)
Sustituyendo el valor de γ en la ecuación escalada

ε−1 Y 00 + 2ε−1 Y 0 + 2Y = 0 (271)

Multiplicando por ε
Y 00 + 2Y 0 + 2εY = 0 (272)
Asumiendo que
Y (x̄) ∼ Y0 (x̄) + εY1 (x̄) + ... (273)
0
Y (x̄) ∼ Y00 (x̄) + εY10 (x̄) + ... (274)
Y 00 (x̄) ∼ Y000 (x̄) + εY100 (x̄) + ... (275)
Sustituyendo las soluciones asintoticas en la ecuación diferencial escalada

(Y000 (x̄) + εY100 (x̄) + ...) + 2(Y00 (x̄) + εY10 (x̄) + ...) + 2ε(Y0 (x̄) + εY1 (x̄) + ...) = 0 (276)

26
 Y0 (x̄ = 0) + εY1 (x̄ = 0) = 1 (277)

y(x = 0) = 1 (278)
γ
Y (x̄ε = 0) = 1 (279)
Y (x̄ = 0) = 1 (280)
Agrupando por ordenes de ε
0(ε0 ) : Y000 + 2Y00 = 0 (281)
Y000 + 2Y00 =0 (282)
Y0 (x̄ = 0) = 1 (283)
Solucionando la ecuación diferencial

Y (x) = C3 + C4 e−2x̄ (284)

Aplicando la condición de frontera

0 = C3 + C4 e−2(0) (285)

C4 = −C3 (286)
Sustituyendo C3 en la solución de la ecuación diferencial

Y0 (x) = C3 + (−C3 )e−2x̄ (287)

Y0 (x) = C3 (1 − e−2x̄ ) (288)

La solución se acopla de la siguiente manera

lı́m (y0 ) = lı́m (Y0 ) (289)

x→0 x→∞

Aplicando el limite
e = C3 (290)

Sustituyendo C3 en la solución de la ecuación diferencial

Y0 (x) = e(1 − e−2x̄ ) + ... (291)

La solución esta dada por la ecuación

y ∼ y0 (x) + Y0 (x̄) − [y0 (0) o Y0 (∞)] (292)

y ∼ e1−x + e(1 − e−2x̄ ) − e (293)

−2( x
y ∼ e1−x + e(1 − e ε) )−e (294)

Solución compuesta
2
y(x) ∼ e1−x − e1− ε x + ... (295)

27
Figura 21: Grafica x vs y para ε = 0,01

Figura 22: Grafica x vs y para ε = 0,1

28
 Figura 23: Grafica x vs y para ε = 0,5

b) εy 00 + 3y 0 − y 4 = 0 donde y(0) = 1 y y(1) = 1, para toda 0 < x < 1

Estableciendo las siguientes soluciones por expansión asintótica

y(x) ∼ y0 (x) + εy1 (x) + ... (296)

y 0 (x) ∼ y00 (x) + εy10 (x) + ... (297)

00
y (x) ∼ y000 (x) + εy100 (x) + ... (298)
Sustituyendo las soluciones en la ecuación diferencial original

ε(y000 + εy100 + ...) + 3(y00 + εy10 + ...) − (y0 + εy1 + ...)4 = 0 (299)

εy000 + ε2 y100 + 3y00 + 3εy10 − y04 − 4εy03 y1 = 0 (300)

y0 (0) + εy1 (0) + ... = 1 (301)
y0 (1) + εy1 (1) + ... = 1 (302)
Agrupando por ordenes de ε
0(ε0 ) : 3y00 − y04 = 0 (303)
y0 (0) = 1 (304)
y0 (1) = 1 (305)
Resolviendo la ecuación diferencial homogenea
1
y0 (x) = √ (306)
3 C1 − x

29
La capa limite se encuentra en x = 0, entonces se utiliza la condición de frontera
y0 (1) = 1
1
1= √ (307)
3 C1 − 1
p
3 C1 − 1 = 1 (308)
C1 = 2 (309)
Por lo tanto

1
y0 (x) = √ (310)
3 2−x
Estableciendo factores de escalado
x
x̄ = (311)
εγ
1
y 00 = 2γ Y 00 (312)
ε
1
y0 = γ Y 0 (313)
ε
y=Y (314)
Escalando la ecuación diferencial
1 00 1
ε( Y ) + 3( γ Y 0 ) + Y 4 = 0 (315)
ε2γ ε
ε1−2γ Y 00 + 3ε−γ Y 0 + Y 4 = 0 (316)
Balanceando primer y segundo termino

1 − 2γ = −γ (317)

γ=1 (318)
Sustituyendo el valor de γ en la ecuación escalada

ε−1 Y 00 + 3ε−1 Y 0 + Y 4 = 0 (319)

Multiplicando por ε
Y 00 + 3Y 0 + εY 4 = 0 (320)

Asumiendo que
Y (x̄) ∼ Y0 (x̄) + εY1 (x̄) + ... (321)
0
Y (x̄) ∼ Y00 (x̄) + εY10 (x̄) + ... (322)
Y 00 (x̄) ∼ Y000 (x̄) + εY100 (x̄) + ... (323)

Sustituyendo las soluciones asintoticas en la ecuación diferencial escalada

(Y000 + ...) + 3(Y00 + ...) + ε(Y0 )4 = 0 (324)

30
 Y0 (x̄ = 0) + εY1 (x̄ = 0) = 1 (325)

y(x = 0) = 1 (326)
γ
Y (x̄ε = 0) = 1 (327)
Y (x̄ = 0) = 1 (328)
Agrupando por ordenes de ε
0(ε0 ) : Y000 + 3Y00 = 0 (329)
Y000 + 3Y00 =0 (330)
Y0 (x̄ = 0) = 1 (331)
Solucionando la ecuación diferencial

Y0 (x̄) = C2 e−3x̄ + C3 (332)

Aplicando la condición de frontera

1 = C2 e−3(0) + C3 (333)

C3 = 1 − C2 (334)
Sustituyendo C3 en la solución de la ecuación diferencial

Y0 (x̄) = C2 e−3x̄ + (1 − C2 ) (335)

Y0 (x̄) = C2 (e−3x̄ − 1) + 1 (336)

La solución se acopla de la siguiente manera

lı́m (y0 ) = lı́m (Y0 ) (337)

x→0 x→∞

Aplicando el limite
1
√ = C2 (e−3∞ − 1) + 1 (338)
3 2−0
1
√ = C2 (−1) + 1 (339)
3 2
1
C2 = 1 − √ (340)
3 2
Sustituyendo C3 en la solución de la ecuación diferencial
1
Y0 (x̄) = (1 − √ )(e−3x̄ − 1) + 1 (341)
3 2

La solución esta dada por la ecuación

y ∼ y0 (x) + Y0 (x̄) − [y0 (0) o Y0 (∞)] (342)

31
Figura 24: Grafica x vs y para ε = 0,01

Figura 25: Grafica x vs y para ε = 0,1

32
 Figura 26: Grafica x vs y para ε = 0,5

1 1 1
y∼ √ + (1 − √ )(e−3x̄ − 1) + 1 − √ (343)
3 2−x 3 2 3 2
1 1 1 1
y∼ √ + e−3x̄ − 1 − √ e−3x̄ + √ + 1 − √ (344)
3 2−x 3 2 3 2 3 2
1 1
y∼ √ + e−3x̄ − √ e−3x̄ (345)
3 2−x 3 2
1 1
y∼ √ + e−3x̄ (1 − √ ) (346)
3 2−x 3 2
Solución compuesta
1 x 1
y(x) ∼ √ + e−3( ε ) (1 − √ ) + ... (347)
3 2−x 3 2

c) ε2 y 00 + y 0 + εy = x donde y(0) = 1 y y(1) = 1, para toda 0 < x < 1

Estableciendo las siguientes soluciones por expansión asintótica

y(x) ∼ y0 (x) + εy1 (x) + ... (348)

y 0 (x) ∼ y00 (x) + εy10 (x) + ... (349)

y 00 (x) ∼ y000 (x) + εy100 (x) + ... (350)

33
Sustituyendo las soluciones en la ecuación diferencial original

ε2 (y000 + εy100 + ...) + (y00 + εy10 + ...) + ε(y0 + εy1 + ...) = x (351)

ε2 y000 + y00 + εy10 + εy0 + ε2 y1 = x (352)

y0 (0) + εy1 (0) + ... = 1 (353)
y0 (1) + εy1 (1) + ... = 1 (354)
Agrupando por ordenes de ε
0(ε0 ) : y00 = x (355)
y0 (0) = 1 (356)
y0 (1) = 1 (357)
Resolviendo la ecuación diferencial homogenea

x2
y0 (x) = + C1 (358)
2
La capa limite se encuentra en x = 0, entonces se utiliza la condición de frontera
y0 (1) = 1
12
1= + C1 (359)
2
1
1 = + C1 (360)
2
1
C1 = 1 − (361)
2
1
C1 = (362)
2
Por lo tanto

x2 1
y0 (x) = + (363)
2 2
Estableciendo factores de escalado
x
x̄ = (364)
εγ
1
y 00 = 2γ Y 00 (365)
ε
1
y0 = γ Y 0 (366)
ε
y=Y (367)
Escalando la ecuación diferencial
1 00 1
ε2 ( Y ) + ( γ Y 0 ) + εY = (εγ )x̄ (368)
ε2γ ε
ε2−2γ Y 00 + ε−γ Y 0 + εY = (εγ )x̄ (369)

34
Balanceando primer y segundo termino para eliminar la singularidad

2 − 2γ = −γ (370)

γ=2 (371)
Sustituyendo el valor de γ en la ecuación escalada

ε−2 Y 00 + ε−2 Y 0 + εY = (ε2 )x̄ (372)

Multiplicando por ε2
Y 00 + Y 0 + ε3 Y = (ε4 )x̄ (373)
Asumiendo que
Y (x̄) ∼ Y0 (x̄) + εY1 (x̄) + ... (374)
0
Y (x̄) ∼ Y00 (x̄) + εY10 (x̄) + ... (375)
Y 00 (x̄) ∼ Y000 (x̄) + εY100 (x̄) + ... (376)
Sustituyendo las soluciones asintoticas en la ecuación diferencial escalada

(Y000 + ...) + (Y00 + ...) + ε3 (Y0 + ...) = (ε4 )x̄ (377)

Y0 (x̄ = 0) + εY1 (x̄ = 0) = 1 (378)

y(x = 0) = 1 (379)
γ
Y (x̄ε = 0) = 1 (380)
Y (x̄ = 0) = 1 (381)
Agrupando por ordenes de ε
0(ε0 ) : Y000 + Y00 = 0 (382)
Y000 + Y00 =0 (383)
Y0 (x̄ = 0) = 1 (384)
Solucionando la ecuación diferencial

Y0 (x̄) = C2 e−x̄ + C3 (385)

Aplicando la condición de frontera

1 = C2 e−(0) + C3 (386)

1 = C2 + C3 (387)
C3 = 1 − C2 (388)
Sustituyendo C3 en la solución de la ecuación diferencial

Y0 (x̄) = C2 e−x̄ + 1 − C2 (389)

35
 Figura 27: Grafica x vs y para ε = 0,01

Y0 (x̄) = C2 (e−x̄ − 1) + 1 (390)

La solución se acopla de la siguiente manera

lı́m (y0 ) = lı́m (Y0 ) (391)

x→0 x→∞

Aplicando el limite
(0)2 1
+ = C2 (e−∞ ¯
− 1) + 1 (392)
2 2
1
= C2 (−1) + 1 (393)
2
1
= −C2 + 1 (394)
2
1
C2 = 1 − (395)
2
1
C2 = (396)
2
Sustituyendo C2 en la solución de la ecuación diferencial
1 −x̄
Y0 (x̄) = (e − 1) + 1 (397)
2
La solución esta dada por la ecuación

y ∼ y0 (x) + Y0 (x̄) − [y0 (0) o Y0 (∞)] (398)

36
Figura 28: Grafica x vs y para ε = 0,1

Figura 29: Grafica x vs y para ε = 0,5

37
 x2 1 1 1
y∼ + + (e−x̄ − 1) + 1 − (399)
2 2 2 2
x2 1 1 −x̄ 1 1
y∼ + + e − +1− (400)
2 2 2 2 2
x2 1 −x̄ 1
y∼ + e + (401)
2 2 2
Solución compuesta
x2 1 x 1
y(x) ∼ + e− ε2 + + ... (402)
2 2 2
d) εy 00 + 2y 0 − y 3 = 0 donde y(0) = 0 y y(1) = 1, para toda 0 < x < 1
Estableciendo las siguientes soluciones por expansión asintótica

y(x) ∼ y0 (x) + εy1 (x) + ... (403)

y 0 (x) ∼ y00 (x) + εy10 (x) + ... (404)

y 00 (x) ∼ y000 (x) + εy100 (x) + ... (405)
Sustituyendo las soluciones en la ecuación diferencial original

ε(y000 + εy100 + ...) + 2(y00 + εy10 + ...) − (y0 + εy1 + ...)3 = 0 (406)

εy000 + 2y00 + 2εy10 − y03 − 3εy02 y1 = 0 (407)

y0 (0) + εy1 (0) + ... = 0 (408)
y0 (1) + εy1 (1) + ... = 1 (409)
Agrupando por ordenes de ε
0(ε0 ) : 2y00 − y03 = 0 (410)
y0 (0) = 0 (411)
y0 (1) = 1 (412)
Resolviendo la ecuación diferencial homogenea
1
y0 (x) = √ (413)
−x − 2C1

La capa limite se encuentra en x = 0, entonces se utiliza la condición de frontera

y0 (1) = 1
1
1= √ (414)
−1 − 2C1
p
−1 − 2C1 = 1 (415)
−1 − 2C1 = 1 (416)
1+1
C1 = (417)
−2
C1 = −1 (418)

38
Por lo tanto

1
y0 (x) = √ (419)
−x + 2
Estableciendo factores de escalado
x
x̄ = (420)
εγ
1
y 00 = 2γ Y 00 (421)
ε
1
y0 = γ Y 0 (422)
ε
y=Y (423)
Escalando la ecuación diferencial
1 00 1
ε( Y ) + 2( γ Y 0 ) − Y 3 = 0 (424)
ε2γ ε
ε1−2γ Y 00 + 2ε−γ Y 0 − Y 3 = 0 (425)
Balanceando primer y segundo termino para eliminar la singularidad

1 − 2γ = −γ (426)

γ=1 (427)
Sustituyendo el valor de γ en la ecuación escalada

ε−1 Y 00 + 2ε−1 Y 0 − Y 3 = 0 (428)

Multiplicando por ε1
Y 00 + 2Y 0 − εY 3 = 0 (429)

Asumiendo que
Y (x̄) ∼ Y0 (x̄) + εY1 (x̄) + ... (430)
0
Y (x̄) ∼ Y00 (x̄) + εY10 (x̄) + ... (431)
00
Y (x̄) ∼ Y000 (x̄) + εY100 (x̄) + ... (432)
Sustituyendo las soluciones asintoticas en la ecuación diferencial escalada

(Y000 + ...) + 2(Y00 + ...) − ε(Y0 + ...)3 = 0 (433)

Y0 (x̄ = 0) + εY1 (x̄ = 0) = 0 (434)

y(x = 0) = 0 (435)
Y (x̄εγ = 0) = 0 (436)
Y (x̄ = 0) = 0 (437)

39
Agrupando por ordenes de ε
0(ε0 ) : Y000 + 2Y00 = 0 (438)
Y000 + 2Y00 =0 (439)
Y0 (x̄ = 0) = 0 (440)
Solucionando la ecuación diferencial
1
Y0 (x̄) = − C2 e−2x̄ + C3 (441)
2
Aplicando la condición de frontera
1
0 = − C2 e−2(0) + C3 (442)
2
1
0 = − C2 + C3 (443)
2
1
C3 = C2 (444)
2
Sustituyendo C3 en la solución de la ecuación diferencial
1 1
Y0 (x̄) = − C2 e−2x̄ + C2 (445)
2 2
1
Y0 (x̄) = C2 (−e−2x̄ + 1) (446)
2
La solución se acopla de la siguiente manera

lı́m (y0 ) = lı́m (Y0 ) (447)

x→0 x→∞

Aplicando el limite
1 1
√ = C2 (−e−2(∞) + 1) (448)
−0 + 2 2
1 1
√ = C2 (1) (449)
2 2
1 1
√ = C2 (450)
2 2
2
C2 = √ (451)
2
Sustituyendo C2 en la solución de la ecuación diferencial
1 2
Y0 (x̄) = ( √ )(−e−2x̄ + 1) (452)
2 2
1 1
Y0 (x̄) = − √ e−2x̄ + √ (453)
2 2

40
Figura 30: Grafica x vs y para ε = 0,01

Figura 31: Grafica x vs y para ε = 0,1

41
 Figura 32: Grafica x vs y para ε = 0,5

La solución esta dada por la ecuación

y ∼ y0 (x) + Y0 (x̄) − [y0 (0) o Y0 (∞)] (454)

1 1 1 1
y∼√ − √ e−2x̄ + √ − √ (455)
−x + 2 2 2 2
1 1
y∼√ − √ e−2x̄ (456)
−x + 2 2
Solución compuesta
1 1 x
y(x) ∼ √ − √ e−2( ε ) (457)
−x + 2 2

42