2.

3 Teorema de existencia y unicidad de solucin nica 68

2.3 Teorema de existencia y unicidad de solucin nica

Teorema 2.3.1 Siendo an ( x) , an 1 ( x) ,..., a1 ( x) , ao ( x) y g ( x) , funciones contnuas en un

intervalo I , siendo an ( x) 0 , para cualquier valor de x en el intervalo I , si x = x0 en
cualquier punto del intervalo , existe una solucin en dicho intervalo y ( x) del problema de
valor inicial representado por la ecuacin

dn y d n 1 y dy
an ( x) n + an 1 ( x) n 1 + ... + a1 ( x) + ao ( x) y = g ( x) , y es nica. (1)
dx dx dx

Donde esas funciones son los coeficientes de y y sus n derivadas, una vez obtenida la
forma estndar de la ecuacin diferencial, es decir el coeficiente de la derivada ms alta se
hace 1 . [13]

an ( x) d n y an 1 d n 1 y a ( x) dy ao ( x) g ( x)
n
+ ( x) n 1 + ... + 1 + y= (2)
an ( x) dx an ( x) dx an ( x) dx an ( x) an ( x)

Visto de otra manera

dn y d n 1 y dy
n
+ P ( x ) n 1
+ ... + R( x) + S ( x) y = f ( x) (3)
dx dx dx

Donde P ( x), Q( x),...S ( x) son funciones dadas.

Si x0 es cualquier punto en [ a, b ] y si y0 , y0 son nmeros arbitrarios, entonces la

ecuacin tiene una nica solucin y ( x) sobre el intervalo completo tal que

y ( x0 ) = y0 y y( x0 ) = y0 (4)

Bajo estas hiptesis, en cualquier punto x0 del intervalo [ a, b ] podemos determinar los
valores de y ( x) y y( x) , donde debe existir una solucin que tome esos valores en el punto
dado; Es decir, tiene una nica solucin en [ a, b ] que pasa por un punto especfico ( x0 , y0 )
con pendiente determinada y0 .

Un ejemplo de una ecuacin diferencial lineal de segundo orden es la ecuacin que expresa
el movimiento de una masa acoplada a un resorte

Instituto Tecnolgico de Chihuahua / C. Bsicas Amalia C. Aguirre Parres

2.3 Teorema de existencia y unicidad de solucin nica 69

my+cy+ ky = F (t ) (5)

m, c, k son constantes y F es un funcin determinada. [1]

Instituto Tecnolgico de Chihuahua / C. Bsicas Amalia C. Aguirre Parres