PRÁCTICA 2.

1 :
ECUACIONES EDO
1) Comprobar familia de soluciones de una E.D.O y representar
algunas de ellas

Definición de función

y@x_D := c * Sin@xD + Cos@xD

Comprobación de la solución

y ''@xD + y@xD Š 0

True

Elección de soluciones a representar

soluciones = Table@y@xD, 8c, -2, 2<D

8Cos@xD - 2 Sin@xD, Cos@xD - Sin@xD, Cos@xD, Cos@xD + Sin@xD, Cos@xD + 2 Sin@xD<

2 prac2.1nestorgalera.nb

Representación gráfica de cinco soluciones

Plot@Evaluate@solucionesD, 8x, -3 Pi, 3 Pi<, PlotRange ® 8-3, 3<D

-5 5

-1

-2

-3

Clear@yD

2) Comprobar solución expresada implícitamente en ecuación

diferencial y representar gráficamente la curva

Solución a comprobar

y@xD - Log@1 + y@xDD == x

-Log@1 + y@xDD + y@xD Š x

 prac2.1nestorgalera.nb 3

Solve@y@xD - Log@1 + y@xDD == x, y@xDD

InverseFunction::ifun : Inverse functions are being used. Values may be lost for multivalued inverses.

Solve::ifun : Inverse functions are being used by Solve, so

some solutions may not be found; use Reduce for complete solution information.

99y@xD ® -1 - ProductLogA-ã-1-x E==

Como Mathematica no puede despejar bien la función y@xD de la expresión implícita,

recurrimos en este caso a derivar la expresión y despejar la derivada

D@y@xD - Log@1 + y@xDD Š x, xD

y¢ @xD
y¢ @xD - Š1
1 + y@xD

derivada = Solve@%, y '@xDD

::y¢ @xD ® >>

1 + y@xD
y@xD

Comprobación

Teniendo en cuenta lo que vale la derivada comparamos si es cierto o falso

Simplify@y '@xD - 1 Š 1  y@xD . derivadaD

8True<

Clear@yD

Representación Gráfica

Dado que no tenemos la expresión con la variable dependiente

en un sólo término de la ecuación recurrimos a la función ContourPlot
4 prac2.1nestorgalera.nb

ContourPlot@y - Log@1 + yD == x, 8x, -3, 3<, 8y, -3, 3<, Axes ® True, Frame ® FalseD

-3 -2 -1 1 2 3

-1

-2

-3

Clear@yD