ECUACIONES DE PRIMER ORDEN NO SOLUBLES

RESPECTO DE LA PRIMERA DERIVADA

Ya sabemos cómo resolver el problema y ' (x) = f (x, y (x)),
y (x0 ) = y0 cuando este admite solución única. Pero supongamos que nos dan la edo
F x, y (x), y ' (x) = 0, y (x0 ) = y0 de modo que NO es posible despejar y ' (x) en esta ecuación.
Por ejemplo, 2 y′ (x) - cos(y′ (x) + x) + y(x) cos(x) = 0,
y 0 = 0. Es imposible despejay y ' (x) en esta ecuación. En este caso derivamos la ecuación
F x, y (x), y ' (x) = 0 RESPECTO DE x despejamos y '' (x) :

Clear[F];
Solve[D[F[x, y[x], y '[x]], x] ⩵ 0, y ''[x]]
′ (0,1,0) [x, y[x], y′ [x]] - F(1,0,0) [x, y[x], y′ [x]]
y′′ [x] → - y [x] F 
F(0,0,1) [x, y[x], y′ [x]]

El problema se reduce a resolver la edo de segundo orden

- y′ [x] F(0,1,0) [x, y[x], y′ [x]] - F(1,0,0) [x, y[x], y′ [x]]
y ''[x] = .
F(0,0,1) [x, y[x], y′ [x]]
Pero necesitamos el valor de y '[0]. Este valor se obtiene resolviendo la ecuación
 
F x0 , y0 , y0  = 0 con respecto a y 0 . Veamos un ejemplo.

EJEMPLO. Resolver
2 y′(x) - cos(x + y′(x)) + y(x) cos(x) = 0,
y (0) = 0 para 0 ≤ x ≤ 30.
◼ SOLUCIÓN.
Clear[F, y, y0, y1];
y0 = 0; x0 = 0;
F[x_, y_, z_] := 2 z - Cos[x + z] + y Cos[x] (*z=y'*);
FindRoot[F[x0, y0, y1] ⩵ 0, {y1, 0.5}]
{y1 → 0.450184}

F[x0, y0, 0.4501836112948736`]

1.11022 × 10-16


Así, tenemos que y 0 = 0.450184

Clear[F, y, x, z]; F[x_, y_, z_] := 2 z - Cos[x + z] + y Cos[x] (*z=y'*);

Solve[D[F[x, y[x], y '[x]], x] ⩵ 0, y ''[x]]
′ - Cos[x] y′ [x] 
y′′ [x] → - Sin[x + y [x]] + Sin[x] y[x]
′
2 + Sin[x + y [x]]
2 LAB 03-Laboratorio-ode implícita.nb

El problema a resolver es :
- Sin[x + y′ [x]] + Sin[x] y[x] - Cos[x] y′ [x]
y′′ [x] = sujeta a y[0] = 0, y '[0] = 0.450184;
2 + Sin[x + y′ [x]]
Clear[Y, y, x];
T = 30;
- Sin[x + y′ [x]] + Sin[x] y[x] - Cos[x] y′ [x]
Y[X_] := NDSolvey′′ [x] == &&
2 + Sin[x + y′ [x]]
y[0] ⩵ 0 && y '[0] ⩵ 0.4501836112948736`, y[x], {x, 0, T}[[1, 1, 2]] //. x → X;
Plot[Evaluate[Y[x]], {x, 0, T}, PlotRange → All, AxesOrigin → {0, 0}]

0.2

5 10 15 20 25 30

-0.2

-0.4

-0.6

-0.8

Qué tan buena es la solución obtenida ? La respuesta está en el residual. Este se define como
R (x) = 2 y′ (x) - cos (y′ (x) + x) + y (x) cos (x).
Cuando y (x) es la solución exacta,
el residual es idénticamente igual a cero. Si y (x) es una solución
aproximada, esta solución será buena siempre y cuando el
residual sea pequeño. Evaluemos el residual para algunos valores de x .
 LAB 03-Laboratorio-ode implícita.nb 3

Clear[Y, F, T];
T = 30;
- Sin[x + y′ [x]] + Sin[x] y[x] - Cos[x] y′ [x]
Y[X_] := NDSolvey′′ [x] == &&
2 + Sin[x + y′ [x]]
y[0] ⩵ 0 && y '[0] ⩵ 0.4501836112948736`, y[x], {x, 0, T}[[1, 1, 2]] //. x → X;
F[x_, y_, z_] := Cos[x] y + 2 z - Cos[x + z];
R[X_] := F[X, Y[X], Y '[X]];
Table[{X, R[X]}, {X, 0, 10, 0.25}]
0., 1.11022 × 10-16 , 0.25, - 1.23741 × 10-6 , 0.5, - 2.522 × 10-8 , 0.75, 3.06793 × 10-7 ,
1., - 9.57381 × 10-8 , 1.25, - 3.96941 × 10-8 , 1.5, 1.11262 × 10-7 , 1.75, - 1.62708 × 10-8 ,
2., - 3.22147 × 10-8 , 2.25, 7.49876 × 10-8 , 2.5, - 4.73304 × 10-8 , 2.75, - 1.77391 × 10-7 ,
3., - 2.0032 × 10-7 , 3.25, - 2.88943 × 10-8 , 3.5, 1.2687 × 10-7 , 3.75, 8.7655 × 10-8 ,
4., 1.07142 × 10-7 , 4.25, - 4.20797 × 10-8 , 4.5, - 8.72518 × 10-8 , 4.75, - 1.3575 × 10-7 ,
5., - 5.90833 × 10-8 , 5.25, - 1.04759 × 10-7 , 5.5, - 9.27941 × 10-8 , 5.75, - 7.53813 × 10-8 ,
6., - 6.20395 × 10-8 , 6.25, - 1.29376 × 10-7 , 6.5, - 1.89768 × 10-7 , 6.75, - 2.31591 × 10-7 ,
7., - 3.55031 × 10-7 , 7.25, - 3.50082 × 10-7 , 7.5, - 2.91174 × 10-7 ,
7.75, - 2.22502 × 10-7 , 8., - 1.71467 × 10-7 , 8.25, - 1.02299 × 10-7 ,
8.5, - 1.47997 × 10-7 , 8.75, - 1.71509 × 10-7 , 9., - 1.93369 × 10-7 ,
9.25, - 2.40875 × 10-7 , 9.5, - 2.83284 × 10-7 , 9.75, - 1.26664 × 10-7 , 10., 1.00295 × 10-7 

Vemos que el residual es pequeño, lo cual nos dice que la solución numérica es buena.

TAREA :
RESOLVER EL PROBLEMA 2 y′(x) - cos(y′(x) + x) +
y(x) sin(x - y(x))  0,
y (0) = 0 para 0 ≤ x ≤ 50.
PROCEDER COMO SE INDICÓ EN EL EJEMPLO.