APNDICE: UN TEOREMA DE UNICIDAD

En la prctica ya hemos visto que si conocemos un par de condiciones iniciales, podemos encontrar las constantes (denotadas por 1 y 2 en este trabajo). En este apndice probaremos que en un determinado tipo de ecuacin diferencial, si conociramos los valores funcionales para la funcin buscada y de su primera derivada en un mismo valor de la variable, entonces tendramos una y solo una pareja de valores para las constantes y, en suma, la funcin que verifica ambas condiciones sera nica. Esto viene como anillo al dedo para la concepcin epistemolgica determinista de la mecnica newtoniana. Fjese que en el caso de que la funcin que buscamos sea la posicin, su derivada sera la velocidad y lo que nos est diciendo este resultado de unicidad no es ms que el que fsicamente parece ser razonable, es decir, al conocer las condiciones de determinado cuerpo y la posicin y velocidad iniciales, podremos predecir qu trayectoria tendr el cuerpo. Vayamos al teorema.

Teorema
Sea : + = 0. Sean y dos soluciones de () tales que 0 = (0) y 0 = (0). Entonces, = () para cualquier .

Demostracin:

Definamos : = (). Probaremos que es la funcin nula, esto es, = 0 cualquiera que sea . La funcin , tambin es solucin de () ya que se trata de una combinacin lineal de dos soluciones (no olvide las propiedades vistas). Por el hecho de ser solucin de (), verifica: = Derivando sucesivamente, vamos obteniendo que: = , 4 = = 2 , 5 = = 2 . Y as en adelante. Al generalizar llegamos a que: y
2+1 2

= =

Estas dos igualdades, que sern usadas nuevamente ms adelante en la demostracin, nos indican en forma rpida que las derivadas de todos los rdenes de en cero son nulas, ya que 0 = 0 0 = 0 y tambin 0 = 0 0 = 0. Note que las derivadas de rdenes superiores en cero, acaban por expresarse en funcin de (0) o de (0). Eso muestra que el polinomio de Mac Laurin de es el polinomio nulo. 1

Esto no basta para afirmar la nulidad de , no olvide el ejemplo de Cauchy.

Luego, para todo , = . Probaremos ahora que = 0, para todo . Tomemos un x cualquiera. Demostraremos que () < para cualquier arbitrariamente pequeo. El nico nmero real que cumple esto es el cero y eso concluir nuestra demostracin. Una vez tomado consideramos de modo que < . La situacin est indicada en la figura de la derecha.

El resto de Taylor puede escribirse en la forma del resto de Lagrange, es decir, +1 = +1 + 1 ! El mencionado es un real que pertenece a , o al , (en nuestro caso = 0). Continuemos, +1 < + 1 !
+1 +1

() =

+ 1 !

+1

+ 1 !

+1 2

+1

1 +1 2

+ 1 !

Hicimos el razonamiento para el caso de que + 1 es par, dejamos para el estudiante ver los detalles en el caso de que hubiera sido impar. En este caso es una cota superior de la funcin en , (esto lo asegura el teorema de Weierstrass para funciones continuas). Ahora bien, el ltimo trmino podemos hacerlo tan pequeo como deseemos ya que tiende a cero (estudie detalladamente por qu). Esto termina la demostracin.

Nota: esta demostracin est basada en el libro Calculus, de Tom Apostol.