Mtodos de demostracin en matemticas En matemticas no se acepta una proposicin como verdadera hasta que se construye su demostracin formal, aunque

la proposicin sea vlida para un nmero finito de cosas no significa que sea vlida para todo el universo, por ejemplo para la conjetura de Gold Bach (todo nmero mayor que dos puede escribirse como suma de dos nmeros primos) se ha verificado usando computadoras para millones de cosas pero a pesar de ella no se acepta como verdadera. Veamos el siguiente razonamiento: 3x = 2x 2y = 2x Luego: 3x + 2y = 2x +3y 3(x-y) = 2(x-y) 3=2 Qu paso?: aqu consideramos los siguientes mtodos de demostracin: A) Mtodo directo de demostracin. B) Mtodos indirectos de demostracin por contra positiva C) Mtodo de induccin. 1) Mtodo de demostracin directa: Aqu se demuestra con hiptesis verdaderas las preposiciones P1, P2,, PN procedimiento de la deduccin de que la conclusin Q es verdadera atreves de un proceso lgico deductivo. El esquema de demostracin en el mtodo directo. Accin de Sturm-Liouville

1.2.1. Denticin de la ecuacin de Sturm-Liouville Sea la ecuacin diferencial ordinaria de segundo orden lineal y homogenea d Dx p(x) D Dxy(x)

+ q(x) y(x) + r(x) y(x) = 0 (1.1) Denida en el intervalo cerrado [a, b], donde: p(x), p0 (x) D p(x) Dux, q(x), r(x) son funciones reales y continuas en [a, b].2 p(x) y r(x) no cambian de signo en el intervalo a < x < b. Tomaremos por convenio (y sin Perdida de generalidad) r(x) > 0, excepto, quizs, en puntos aislados en los que r(x) = 0. A la funcin r(x) se la conoce como funcin. peso. es un parmetro arbitrario. Bajo estas condiciones, la ecuacin (1.1) es una ecuacin de SturmLiouville.

1Trivialmente, toda ecuacin diferencial lineal denida sobre el intervalo [a, b] con condiciones de contorno Y(a) = 0, y (b) = 0, tiene a la funcin nula y(x) = 0 como solucin. Esto es trivial, de modo que a esta solucin se La llama (cmo no!) solucin trivial. 2La condicin de continuidad en el contorno, es decir en x = a o en x = b, puede no satisfacerse en ciertos Problemas de Sturm-Liouville singulares. Por ejemplo, q(x) 1/x En el problema de Bessel denido en el intervalo *0, b > 0+ 1.2.2. Denicion del problema de Sturm-Liouville Se llama problema de Sturm-Liouville al problema de condiciones de contorno constituido por Una ecuacin de Sturm-Liouville ms ciertas condiciones de contorno homogeneas3 Conocidas Como condiciones de contorno de Sturm-Liouville. Condiciones de contorno de Sturm-Liouville Sean ciertas condiciones de contorno homogneas en x = a y x = b. Si para dos funciones Cualesquiera, f(x) y g(x), que satisfacen estas condiciones de contorno se verica que4

p(x)

f (x) dg dx g(x) df dx b a p(b) [f (b) g 0 (b) g(b) f 0(b)+ p(a) *f (a) g 0 (a) g(a) f 0(a)] = 0, (1.2) Entonces a esas condiciones de contorno se les llama condiciones de contorno de Sturm-Liouville.

Estas condiciones de contorno se clasican en tres clases, dando lugar a tres clases de problemas De Sturm-Liouville: 1. Problema de Sturm-Liouville peridico/Condiciones de contorno peridicas Las condiciones de contorno para este caso son (Y(a) = y (b), Y 0 (a) = y 0 (b), (1.3) y, adems, ha de verificarse que p(a) = p (b). (1.4) Es fcil de ver que esta ultima condicin, que por supuesto no es condicin de contorno Sobre y(x), es necesaria para que (1.2) se bereque. En efecto, sean f(x) y g(x) dos funciones Que satisfacen las condiciones de contorno anteriores. En este caso F(a) = f (b),f 0(a) = f 0 (b),

g(a) = g(b), g 0 (a) = g 0 (b), Y por tanto p(a) [f (a) g 0 (a) g(a) f 0(a)] = p(b) [f (b) g 0 (b) g (b) f 0 (b)]. (1.5) En este caso la relacin (1.2) se verica trivialmente, tal como queramos demostrar. 2. Problema de Sturm-Liouville regular/Condiciones de contorno regulares

Estas condiciones de contorno (llamadas condiciones de contorno regulares) son de la forma ( 1y(a) + 2y 0 (a) = 0, 1, 2 R, 1y (b) + 2y 0 (b) = 0, 1, 2 R, (1.6) Donde ni 1 y 2 son ambas cero, ni tampoco 1 y 2 son las dos cero. Hay dos subtipos especiales de condiciones de contorno regulares: 3Sea {fi} un conjunto de funciones que satisfacen una cierta condicin de contorno. Decimos que esta condicin De contorno es homognea si cualquier combinacin lineal de las funciones fi satisface tambin esta condicin de Contorno. 4El asterisco al lado de un smbolo representa su complejo conjugado: f = c id siendo f = c + id. Por Supuesto, i es la unidad imaginaria.4 P