Universidad Técnica Federico Santa Marı́a Mat-240

Departamento de Matemática Prof. Eduardo Sáez

Tarea N◦ 3 Mat-240
Cristian Núñez C.

1. Se tiene el problema de Cauchy

x0 = tx + 3
sujeto a x(0) = 1. Esta ecuación es una ecuación diferencial lineal de primer orden no homogénea. La forma
general de este tipo de ecuaciones es
dy
+ p(x)y = q(x),
dx
cuya solución viene dada por
 Z x Rt  R
p(s)ds − x p(s)ds
y(x) = C + q(t)e x0
dt e x0
x0

donde C ∈ R está sujeto a las condiciones iniciales del problema. En este caso p(x) = −x, q(x) = 3 y la
solución viene dada por

 Z x R  R
t x
y(x) = C+ sds
3e 0 dt e 0 sds
0
 Z x 
−t2 /2 2
= C+ 3e dt ex /2
0

Se observa que no se puede expresar la solución mediante funciones elementales conocidas debido a que
presenta una función que no posee antiderivada en Cálculo Integral.
Por teorema, el problema de valor inicial y 0 = f (x, y), con y(x0 ) = y0 , es equivalente a la ecuación integral
Z x
y = y0 + f (t, y)dt
x0

en algún intervalo I conteniendo al punto (x0 , y0 ). El problema se resuelve mediante el método iterativo
conocido como aproximaciones sucesivas. Esta técnica es útil para ecuaciones diferenciales que no se pueden
resolver con respecto a funciones elementales como este caso. El método se define recursivamente

y1 (x) = y0
Z x
yk+1 = y0 + f (t, yk (t))dt (k = 0, 1, 2, ...).
x0

En este caso f (t, x) = tx + 3. Tanto f (t, x) como ∂f ∂x = t son funciones continuas en cualquier intervalo
I : |t| < A, A > 0, que contiene a x0 = 0, y por tanto por teorema se sabe que el problema de Cauchy
posee única solución. Dado que la ecuación lineal está definida en el intervalo I, la función f (t, x) es función
Lipschitz, ya que
|f (t, x) − f (t, y)| = |t(x − y)| ≤ A|x − y|,
y por teorema el método de aproximaciones sucesivas converge a la solución del problema de Cauchy.

La ecuación integral correspondiente a este problema es

Z t
x(t) = 1 + [sx + 3]ds,
0

CNC 1
Universidad Técnica Federico Santa Marı́a Mat-240
Departamento de Matemática Prof. Eduardo Sáez

y el método de aproximaciones sucesivas viene dado por

x0 (t) = 1
Z t
xk+1 (t) = 1 + f (s, xk (s))ds (k = 0, 1, 2, ...).
0

Entonces

t
t2
Z
x1 (t) = 1+ [s + 3] ds = 1 + 3t + ,
0 2
Z t  2
t2 t4
 
s
x2 (t) = 1 + s 1 + 3s + + 3 ds = 1 + 3t + + t3 + ,
0 2 2 8
Z t 
s2 4
t2 t4 t5 t6
 
s
x3 (t) = 1 + s 1 + 3s + + s3 + + 3 ds = 1 + 3t + + t3 + + + ,
0 2 8 2 8 5 48
Z t  2 4 5 6 2
t4 t5 t6 t7 t8
 
s s s s t
x4 (t) = 1 + s 1 + 3s + + s3 + + + + 3 ds = 1 + 3t + + t3 + + + + + ,
0 2 8 5 48 2 8 5 48 35 384

y se establece inductivamente que

k k
X (t2 /2)n X t2n+1 2n n!
xk (t) = +3 .
n=0
n! n=0
(2n + 1)!

Se observa que la primera suma es la suma parcial de la expansión de la función

2
g(t) = et /2

que está presente en la solución analı́tica del problema.

2. Cuando k → ∞, xk (t) = x(t). Tomando lı́mite y graficando la función x(t) en el intervalo [0, 2] se obtiene
xHtL

30

25

20

15

10

t
0.5 1.0 1.5 2.0

Figura 1: Solución x(t) del problema de Cauchy.

A continuación se ilustran las primeras funciones de esta sucesión:

Se compara la quinta aproximación con la curva solución del problema.

CNC 2
Universidad Técnica Federico Santa Marı́a Mat-240
Departamento de Matemática Prof. Eduardo Sáez

x0HtL
2.0

1.5

1.0

0.5

t
0.5 1.0 1.5 2.0

Figura 2: Primera aproximación x0 (t).

x1HtL

t
0.5 1.0 1.5 2.0

Figura 3: Segunda aproximación x1 (t).

x2HtL

15

10

t
0.5 1.0 1.5 2.0

Figura 4: Tercera aproximación x2 (t).

x3HtL

25

20

15

10

t
0.5 1.0 1.5 2.0

Figura 5: Cuarta aproximación x3 (t).

CNC 3
Universidad Técnica Federico Santa Marı́a Mat-240
Departamento de Matemática Prof. Eduardo Sáez

x4HtL

30

25

20

15

10

t
0.5 1.0 1.5 2.0

Figura 6: Quinta aproximación x4 (t).

x4HtL,xHtL

30

25

20

15

10

t
0.5 1.0 1.5 2.0

Figura 7: Comparación x(t) (azul) vs x4 (t) (rojo) . Se observa que la aproximación en el intervalo es bastante
cercana a la curva solución. Para un intervalo mayor se necesitarán más iteraciones para tener una aproximación
satisfactoria.

CNC 4