LABORATORIO N 01

1. Verificar que la funcin y =

,
0

x
dt
t
sent
satisface la ecuacin diferencial x
senx y
dx
dy
+

y =
,
0

x
dt
t
sent
dx
dy
=
x
senx
dx
dy
x=
senx No satisface la ecuacin.
2. Comprobar que y =
x
e
,
0
2
x
x
t
ce dt e +

satisface la ecuacin diferencial

2
x x
e y
dx
dy
+


y =
x
e
x
x
t
ce dt e +

0
2

y =
x
e

,
_

c dt e
x
t
0
2

dx
dy
=
x
e
( )
2 2
0
x x
x
t
e e c dt e +

,
_

y, entonces:
dx
dy
=
2
x x
e y
+
+
Tomando la forma queda :
y
dx
dy

=
2
x x
e
+
Si satisface la ecuacin.
3. Comprobar que x = y
,
0
2

x
dt sent
satisface la ecuacin diferencial
2 2
' senx y xy y +
x = y

x
dt sent
0
2
1 = y
2
0
2
ysenx dt sent
x
+

y
x
, entonces:
1 = y
2
ysenx
y
x
+
tomando la forma queda:
y = y
2 2
senx y x + Si satisface la ecuacin.
4. Verificar que y = arcsen(x,y); satisface la ecuacin diferencial
2 2
1 ' ' y x y y xy +
y = arcsen(x,y)
( )
2
1
'
'
xy
xy y
y

tomando la forma queda:

' 1 '
2 2
xy y y x y + Si satisface la ecuacin
5. Comprobar que y =

+
x
dt
t
sent
x c x c
0
2 1
; satisface la ecuacin diferencial
0 cos cos ' " + x y x xy senx xy
y =

+
x
dt
t
sent
x c x c
0
2 1
y =

,
_

x
dt
t
sent
c c x
0
2 1
y =
,
_

+ +

x
senx
c x dt
t
sent
c c
x
2
0
2 1

x
y
, entonces:
senx c
x
y
y
2
' +

xsenx
y x y
c

'
2
x c
x
y x y
y cos
'
' '
2 2
+

Reemplazando
:
2
c
x
xsenx
y x y
x
y x y
y cos
' '
' '
2

,
_

( )
( ) ( )
( )( ) y x y x x senx senx x y
x x senx y x x senx x y senx x y
x yx x x y ysenx xsenx y senx x y
senx
x
yx x y y x y x y
+
+ +
+
+
' cos ' '
cos cos ' ' '
cos cos ' ' ' '
cos
' ' ' '
2
2
2 2
2 2
No satisface la ecuacin
6. Comprobar que y = 2
,
0
2
c ds e
x
s
+

es solucin de la ecuacin diferencial
x
e
dx
dy
x

y = 2
,
0
2
c ds e
x
s
+

dx
dy
= 2
2
x
e

dx
dy
=2
x
e

No satisface la ecuacin.
7. De que y =
( )

+ dx e c c e
x x
2 2
2 1
; es la ecuacin diferencial
0 2 ' 2 " y xy y
y =
( )

+ dx e c c e
x x
2 2
2 1
y =2x
( ) ( )
2 2 2 2
2 2 1
x x x x
e c e dx e c c e

+ +

y, entonces:
y =
2
2 c xy +
' ' y ' 2 2 xy y +
tomando la forma queda:
0 2 ' 2 ' ' y xy y

Si satisface la ecuacin
8. Verificar que ( )
2
' ' y = ( ) [ ]
3
2
' 1 y + ; es la solucin diferencial de las
circunferencias de radio r = 1
( ) ( )
( ) ( )
2 2
2 2 2
k y r h x
r k y h x

+
Derivando
( )( )
( )
( )( )
( )
( ) ( )( )
( ) ( ) ( )
( ) ( ) [ ]
( )
( ) 1 '
1 '
'
'
'
1
2
' 2
1
2
2
2
2 2 2
2 2 2 2
2 2
2 2
2 2
+

y
k y
r
y k y r
y k y k y r
y k y k y r
k y r
y k y
k y r
y k y
( )
( )
( )
( ) k y
y
r
y
k y
r

+
+

1 '
1 '
2
2
Derivando 2da:
( )
( )
( ) ( )
( ) ( ) [ ]
( ) ( ) [ ]
( ) ( ) [ ]
3
2 2
3
2 2 2
2
2
3
2 2
2 2
2
2
1 ' ' '
1 ' ' '
1 ' ' '
'
1 ' 1 '
' ' '
'
1 '
1 '
' ' ' 2
2
1
+
+

'

+ +

+
+

y y
y y r
y ry
y
y y
y ry
y
y
y
y y
r
Por lo tanto si cumple
9. Probar que la funcin y =

+
2
2 1
x
t
dt
t
e
x c x c
; satisface la ecuacin diferencial
( ) ( ) 0 1 ' "
2 2
+ + + y x y x x y x

y =

+
2
2 1
x
t
dt
t
e
x c x c
y =

,
_

2
2 1
x
t
dt
t
e
c c x
y = 1
]
1

,
_

+ +

x
e
c x dt
t
e
c c
x
x
t
2
2
2 1

x
y
, entonces:
x
e c
x
y
y
2
'

x
e
y x y
c

'
2
x
e c
x
y x y
y
2 2
'
' '

Reemplazando
:
2
c
2 2
2
' ' ' '
' '
' '
x y yx y x y x y
e
x e
y x y
x
y x y
y
x
x
+

,
_

Agrupando y tomando la forma queda:

( ) ( ) 0 1 ' '
2 2
+ + + x y x x y x y
Si satisface la ecuacin
10. Dada la funcin y ln y =

+
x
t
dt e x
0
2
; satisface la ecuacin diferencial yy
( ) ( )
2
2 ' ln 1
2 x
xye y y + +
y ln y =

+
x
t
dt e x
0
2
y ln y

,
_

+
y
y
y
'
=
2
1
x
e +
( )
2
1 1 ln '
x
e y y + +
( )
2
2
'
' 1 ln ' '
x
xe
y
y
y y y

,
_

+ +
Sacando mnimo comn
( ) ( )
2
2 ' 1 ln ' '
2 x
xye y y y y + + Si satisface la ecuacin
11. Verificar que las funciones:
a) x y
1
;
2
1
2

x y
x > 0; satisfacen a la ecuacin
diferencial 0 ' 3 ' ' 2
2
+ y xy y x
Con y
1
x y
1
x x
y
x
y
4
1
' '
2
1
'
1
1

Reemplazando en Ec.
Diferencial
0
2
1
3
4
1
2
2

,
_

+
,
_

x
x
x
x x
x
0
2
3
2
+ x
x
x
x
x
0 x
x
x
0 0
0

x x
Si satisface la ecuacin
Con y
2

2
1
2

x y
4
3
' '
2
'
2
5
2
2
3
2

x
y
x
y
Reemplazando en Ec.
Diferencial
0
2
3
4
3
2
2
1
2
3
2
5
2

,
_

,
_

x
x
x
x
x
0
2
3
2
3
2
1


x
x x
0
2
1


x
No satisface la ecuacin
b)
2
1
x y ; x x y ln
2
2

x > 0; satisfacen a la ecuacin
diferencial 0 4 ' 5 ' '
2
+ + y xy y x
Con y
1
2
1
x y
2 ' '
2 '
1
1

y
x y
Reemplazando en Ec. Diferencial
( ) ( ) 0 4 2 5 2
2 2
+ + x x x x
0 4 10 2
2 2 2
+ + x x x
0 16
2
x
No satisface la ecuacin
Con y
2
x x y ln
2
2

,
_

+

x
x x x y
1
ln 2 '
2 3
2
3 3
2
ln 2 '

+ x x x y
4 3 4
2
3
1
2 ln 6 ' '

,
_

x
x
x x x y
4 4
2
5 ln 6 ' '

x x x y
Reemplazando en Ec. Diferencial
( ) ( ) ( ) 0 4 ln ln 2 5 5 ln 6
2 3 3 4 4 2
+ + +

x x x x x x x x x x
( ) 0 ln 4 5 ln 10 5 ln 6
2 2 2 2 2
+ +

x x x x x x x x
Reduciendo queda:
0 0
Si satisface la ecuacin
12. Verificar si la funcin y =
barcsenx barcsenx
e c e c

+
2 1
; es la solucin de la ecuacin
diferencial ( ) 0 ' ' ' 1
2 2
y b xy y x
y =
barcsenx barcsenx
e c e c

+
2 1
y =
2
2
2
1
1 1 x
be c
x
be c
barcsenx barcsenx

y
2
1 x =
barcsenx barcsenx
be c be c

1 1
y
2
1 x + y

,
_

2
1 2
2
x
x
=
2
2
2
2
2
1
1 1 x
e b c
x
e b c
barcsenx barcsenx

y
( )
2
2
1
' 1 ' '
x
x y x y

,
_

+

2
2 1 2
1 x
e c e c
b
barcsenx barcsenx
( ) x y x y ' 1 ' '
2
= y b
2
Tomando la forma:
( ) y b x y x y
2 2
' 1 ' ' = 0
Si satisface la ecuacin
13. De que la funcin y = ( )

+
2
0
2 2 2
cos log

d x sen ; es la solucin de la
ecuacin diferencial
( ) ( )

,
_

+
+ + + +
2
1
log ' 1 ' ' 1
2
x
y y x y x

( )

+
2
0
2 2 2
cos log

d x sen y

,
_

2
0
2 2 2
2
cos
cos 2
ln
1
'

d
x sen
x
y
( ) ( )
( )

,
_

+
+

2
0
2
2 2 2
2 2 2 2 2 2
cos
cos 2 cos 2 cos cos 2
ln
1
' '

d
x sen
x x x sen
y
( )
( )
( )
( ) ( )
( )

,
_

+
+

,
_

+ + +

,
_

+
+ +

,
_

2
1
log
cos
cos
cos 2
ln
1
' '
cos log
ln
1
1
cos
cos
cos 2
ln
1
' '
cos
cos 2
ln
1
1
cos
cos
cos 2
ln
1
' '
2
0
2
2 2 2
2 2 2
2
2
0
2 2 2 2
0
2
2 2 2
2 2 2
2
2
0
2 2 2
2
2
0
2
2 2 2
2 2 2
2
x
d
x sen
x sen
y
d x sen x d
x sen
x sen
y
d
x sen
x
x d
x sen
x sen
y

u ( )
2 2 2
cos log x sen +
dv =
d
u

,
_

2 2 2
2 2
cos
cos 2 cos 2
ln
1
x sen
sen x sen
dv =
d
Entonces
( ) ( )
2
log 0 1 log
2
x

14. Verificar que la funcin x =

y y ln +
; satisface la ecuacin diferencial
( ) ( ) 0 ' ' ' '
2 3
+ y y yy
y x y ln
y
y
y
'
1 '
( )
( )
( )
( )
( )
3
2
2
1
' '
:
1
'
1
'
' '
1
' 1 '
' '
1
'
1 '
' '
+

+

+

+
+

+

y
y
y
entonces
y
y
y
y
y
y
y
yy y y
y
y
y
y
y y y
y y y y
Reemplazando
( )
0
1 1 1
2 3
3

,
_

,
_

+
+

,
_

+ y
y
y
y
y
y
y
( ) ( )
( )
( )
( )
( )
0 0
0 0
1
0
1
1 1
1
0 1
1 1
1
1
0
1 1
2
2
2
2
2
2
3
3
3
2

,
_

+
+
+

,
_

+
+
+ +

+
+
+
y
y
y
y y
y
y
y
y
y y
y
y
y
y
y
Si satisface la ecuacin
15. Si ( ) ( )
( )
5 5
0
5 5
d e e t t x
t
t

; calcular el valor de
( ) ( ) ( ) t x t x t x + + ' 2 ' '

( ) ( )
( )
5 5
0
5 5
d e e t t x
t
t

( ) ( )
( )
( )
( )
( ) ( )
( )
( )
( )
( )
( )
( ) ( )
( )

+
+
t
t
t
t t t
t
t
t
e e t t x
e t e t e e t t x
e t e e t t x
0
5 5
0
5 5 5 5
5
0
5 5
5 ' '
5 5 5 ' '
5 5 '
Reemplazando en
( ) ( ) ( ) t x t x t x + + ' 2 ' '
( )
( )
( )
( )
( )
( )
( )
( )
0 5 2
0 5 2 5 2 5 2
0
5
0
5
0
5 5
0
5 5

t
t
t
t
t
t
t
t
e t
e t e e t e e t
16. Dada la funcin

+
e
x
t
dt
x c x c y
ln
ln
2 1
; x > 1 satisface la ecuacin diferencial
( ) 0 1 ln ln ' ln ' '
2 2
+ + x y x x y x x y
x
c
x
c
x
c
y
x
c
x
c
x
c
x
c
y
x x
x c
x
c
x
c
x
c
y
x
x c
t
dt
c
x
c
y
x
x c y
t
dt
c
t
dt
x c x c y
e
x
e
x
e
x
2
2 2
2
1
2
2 2 2
2
1
2
2 2 2
2
1
2 2
1
1
2 2 1
ln ln
2
' '
ln ln ln
' '
ln
1
ln
1
ln
1
' '
ln
1
ln
'
ln
ln ln
ln
+
+
1
]
1

,
_

,
_

,
_

,
_

Reemplazando en ( ) 0 1 ln ln ' ln ' '
2 2
+ + x y x x y x x y
( ) 0 1 ln
ln
ln ln
ln
1
ln
ln
ln ln
2
2 1 2 2
1 2 2
2
2 2
2
1
+

,
_

+ +

,
_

,
_

+
,
_

+

x
t
dt
x c x c x x
x
x c
t
dt
c
x
c
x x
x
c
x
c
x
c
e
x
e
x
0
ln
ln
ln
ln ln
ln
ln ln ln 2 ln
2 1 2
2
1
2
2 2 1
2
2
2
2
2
1
+ + + + + +

e
x
e
x
e
x
t
dt
x c x c
t
dt
x x c x c x c
t
dt
xc x x c x c x x c x c
0
ln
2 ln 2
0
ln
2 ln 2
2
2
2
2
2
+ +
+ +

e
x
e
x
t
dt
x x x
t
dt
x c x c x x c
No satisface la ecuacin
17. Para que la funcin y =

+
2
2 1
x
t
dt
t
e
x c x c
; satisface la ecuacin diferencial
( ) ( ) 0 1 ' "
2 2
+ + + y x y x x y x

y =

+
2
2 1
x
t
dt
t
e
x c x c
y =

,
_

2
2 1
x
t
dt
t
e
c c x
y = 1
]
1

,
_

+ +

x
e
c x dt
t
e
c c
x
x
t
2
2
2 1

x
y
, entonces:
x
e c
x
y
y
2
'

x
e
y x y
c

'
2
x
e c
x
y x y
y
2 2
'
' '

Reemplazando
:
2
c
2 2
2
' ' ' '
' '
' '
x y yx y x y x y
e
x e
y x y
x
y x y
y
x
x
+

,
_

Agrupando y tomando la forma queda:

( ) ( ) 0 1 ' '
2 2
+ + + x y x x y x y
Si satisface la ecuacin
18. Si ( )

,
_

0
1
2
2
dx e t G
x
x
t > 0 Para que
( ) ( ) 0 2 ' + t G t G

( )

,
_

0
2
2
2
2 ' dx e t G
x
x
0 2 2
0
1
0
2
2
2
2
2
+

,
_

,
_

dx e dx e
x
x
x
x
No cumple
19. Demuestre que la funcin
( )

0
1
1
dz
z
e
y
n
z
zx
satisface a la ecuacin diferencial
1 ' 2 ' ' + xy ny xy

( )

0
1
1
' dz
z
e
y
n
z
zx
( )

0
1
1
' ' dz
z
e z
y
n
z
zx z
Reemplazando:
( ) ( ) ( )
1
1 1
2
1
0
1
0
1
0
1

+
+
+

+

+

+

dz
z
e
x dz
z
e
n dz
z
e z
x
n
z
zx
n
z
zx
n
z
zx z
Integrando por partes:
( )
n
z
u
1
1
2
+

( )
1
2
1
2
+
+

n
z
nz
du
dz e dv
xz

xz
e
x
v


1
( ) ( ) ( )
1
1
2
1
2
1
0
1
0
1
0

+
+
1
1
]
1

+

+

dz
z
ze
n dz
z
ze
x
n
z n
e
x
n
z
zx
n
z
zx
n
z
zx
( ) ( ) ( )
1
1
2
1
2
1
0
1
0
1
0

+
+
+

+

+

dz
z
ze
n dz
z
ze
n
z
e
n
z
zx
n
z
zx
n
z
zx
( ) 1 1 0
Entonces si cumple
20. Dada que la funcin

0
2 3
) , ( dx e b a f
bx ax
satisface a la ecuacin diferencial
1 2 3 3
2
2
2

ba
f
b
b
f
a
b
f
ab

0
2
2 3
dx e x
b
f
bx ax

0
4
2
2
2 3
dx e x
b
f
bx ax

0
3
2 3
dx e x
a
f
bx ax
Reemplazando y Agrupando
( )
( )
( )
1
1 2 3 3
1 3 2 3
1 2 3 3
0
0
2
0
2
0
2
0
2 2
0
3 2 2 4
2 3 2 3
2 3 2 3
2 3

+ +
+ +
+ +

du e
dx e bx ax a dx e bx
dx e x a dx e bx ax bx
dx e x b ax abx
u
bx ax bx ax
bx ax bx ax
bx ax
Lo cual si cumple
21. Si
( ) ( )

0
cos
2
dx tx e t H
x
,
, R t
probar que
( ) ( ) 0
2
' + t H
t
t H
( ) ( )

0
cos
2
dx tx e t H
x
( ) ( )

0
2
' dx tx sen xe t H
x
Reemplazando en
( ) ( ) 0
2
' + t H
t
t H
( ) ( ) 0 cos
2
0 0
2 2
+

dx tx e
t
dx tx sen xe
x x
x
2
= u x = u
du = 2x dx
( ) ( )

0 0
cos
2
2
2
1 2
du u t e
t
dx tx sen xe
u x
( ) z u t sen
du e dv
u

( ) dz du u t
u
cos
2
1
u
e v


( ) ( ) ( )

+
0
2
2
0
0
2 cos
2
2
1
2
1
2
2
xdx x t
x
e
t e tx sen du u t sen e
x
x u
( ) ( ) ( )

+
0
0
0
cos
2 2
1
2
1 2 2
dx tx e
t
e tx sen du u t sen e
x x u
( ) ( ) ( ) 0 cos
2
cos
2 2
1
0 0
0
2 2 2
+

dx tx e
t
dx tx e
t
tx sen e
x x x
( )
0 0
0 ) 0 0 (
0
2
1
0
2

tx sen e
x
Por lo tanto si cumple