Ecuaciones diferenciales

Una ecuacin es una proposicin matemtica que involucra una Igualdad entre dos expresiones de cualquier ndole, con la condicin de que estas expresiones contengan Trminos indefinidos. Estos trminos son expresiones, comnmente llamadas incgnitas o indeterminadas, Que representan algo (un nmero, vector, matriz, funcin, etc.) que no tiene asignado un valor fijo, pero que puede ser sustituido, en teora al menos, por cualquier valor apropiado. Algunos valores convierten a la ecuacin en una proposicin falsa y otros en una proposicin verdadera; a estos ltimos valores se les Llama soluciones de la ecuacin. Una ecuacin diferencial (ED) es una ecuacin en la que se relaciona una variable independiente, una Variable dependiente y al menos una de sus derivadas.

Ecuacion diferencial de primer orden.

Una ecuacin diferencial ordinaria de primer orden es una expresin que relaciona una variable independiente x con una variable dependiente y(x) y su primera derivada Y(x): F (x, y(x), y(x)) = 0, x 2 [a, b]. Por ejemplo, son ecuaciones diferenciales ordinarias de primer orden las siguientes: Y(x) = 0, dy/dx= y, y + (y)1/3+ 25x = sin(x). Para representar la derivada de y respecto de x usaremos indistintamente las notaciones y, y(x) o dy/dx Salvo que sea necesario por claridad, en general no expresaremos la dependencia de la variable y respecto de x: F(x, y, y) = 0, x [a, b]. Una solucin de una ecuacin diferencial de primer orden es una funcin y : [a, b] = R Que verica la ecuacin en cada punto x 2 [a, b]. Para que esta denicin tenga sentido, es preciso que la funcin y(x) sea derivable en el intervalo [a, b] y que dicha derivada sea una funcin continua: se dice entonces que y(x) es de clase C1 ([a, b]).

Procedimiento de soluciones de ecuaciones diferenciales de primer orden.

Separacin de variables

Ecuacin separable:

Como se puede observar, en este tipo de ecuaciones cada miembro de la igualdad involucra solo una de las variables. Para resolver ecuaciones separables se integra en ambos miembros de la igualdad. La solucin, por lo general, es una funcin implcita. Es bueno que se repasen las tcnicas de integracin (para acceder a la pgina "Clculo integral", haga clic en el logo del marco izquierdo de esta ventana).

Ejemplo

Serie de Fourier o Ecuaciones lineales

Procedimiento Para resolver una ecuacin diferencial lineal de primer orden, se procede de la siguiente manera:

Bernoulli

Ecuacion diferencial de segundo orden

Para la ecuacin de segundo grado, tambin se trabajan prcticamente 3 mtodos, siendo el primero la elaboracin de una segunda solucin a partir de una solucin conocida, sta se centra en el producto de una funcin nueva por la funcin conocida (y=u(x)y1(x)) que introducida en la ecuacin de segundo orden la reduce a una ecuacin de primer orden para obtener una frmula explicita y as obtener dicha segunda solucin.

Procedimiento de soluciones de ecuaciones diferenciales de segundo orden.

Separacin de variables El mtodo sirve para encontrar soluciones parciales completas, no soluciones generales, dependientes de un conjunto numerable de constantes arbitrarias, lo cual permite resolver tanto problemas de valor inicial como problemas de frontera e incluso problemas que involucran condiciones de los dos tipos. Para ilustrar el mtodo se consideran ecuaciones diferenciales en derivadas parciales homogneas con dos variables independientes y condiciones de frontera tambin homogneas. En las siguientes secciones se discutirn los requerimientos y se discutirn casos ms generales. La descripcin del procedimiento en esta seccin se har simultneamente para los tres tipos cannicos de ecuaciones en derivadas parciales de segundo orden(ecuaciones elpticas, parablicas e hiperblicas), especificando las condiciones iniciales (CI) y condiciones de frontera (CF) para cada caso. El caso hiperblico sera de la forma:

El caso parablico sera de la forma:

Y el caso elptico sera de la forma:

El mtodo de separacin de variables consiste en buscar una solucin que sea un producto de funciones dependientes cada una de una sola de las variables. Para los casos hiperblico y parablico se buscar una solucin de la forma:

Y para el caso elptico:

Sustituyendo u por esas expresiones en la ecuacin diferencial correspondiente y reagrupando los trminos se llega para el caso hiperblico (CH), parablico (CP) y elptico (CE) a:

Puesto que cada uno de los dos miembros de estas expresiones depende de variables distintas y la igualdad debe darse para cualesquiera t, x, y la nica posiblidad es que cada uno de los miembros sea igual a una constante fija. Designando a esa constante como las expresiones anteriores pueden reescribirse como:

Todo esto ha permitido pasar de una ecuacin en derivadas parciales a dos ecuaciones ordinarias separadas para cada variable. Una vez reducido el problema a ecuaciones diferenciales ordinarias se exige que la funcin verifique las condiciones de frontera. De hecho si la solucin verifica las condiciones de frontera homogneas en la correspondiente variable, necesariamente la funcin las verificar ya que:

y similarmente para el resto de condiciones. Esto no sucedera necesariamente en el caso de que las condiciones no fueran homogneas. Por otra parte la funcin debe ser solucin de un problema regular de Sturm-Liouville:

Donde: en los casos hiperblico y parablico. en el caso elptico. La teora de Sturm-Liouville demuestra que el problema anterior slo tiene solucin para un conjunto numerable de valores de (autovalores del operador diferencial), stos se denotarn como y la autofuncin (autovector) correspondiente se denotar como . El requisito de numerabilidad es muy importante, ya que la solucin particular completa, dado el carcter lineal de la ecuacin original, permite escribir dicha solucin como suma numerable. Dados los valores puede resolverse la ecuacin para obtener las siguientes funciones para , para los casos cannicos se tiene:

Donde son constantes arbitrarias que se determinarn posteriormente en funcin de las condiciones de frontera. La solucin particular completa se puede expresar ahora como la siguiente serie:

El paso final es determinar las constantes para que se cumplnas las condiciones iniciales. Para el caso hiperblico se tiene:

Es decir que los coeficientes coinciden con los coeficientes de Fourier n-simos generalizados de las funciones , asociados a la base de autofunciones , concretamente:

Anlogamente para el caso parablico se tiene:

Y para el caso elptico se tiene:

Serie de Fourier.

EJEMPLO 2 Fourier Demostrar que la ecuacin diferencial y - 25y = 0 tiene como solucin F(x) = C1e5x + C2e-5x Donde C1 C2 son nmeros reales SOLUCION. Derivando obtenemos Y f(x) = 5C1e5x - 5C2e-5x Y f(x) = C1e5x + 25C2e-5x Sustituyendo y por f (x) en la ecuacin diferencial y - 25y = 0, llegamos a: (25C1e5x + 25C2e--5x ) 25(C1e-5x + C2e--5x) = 0 (25C1e5x - 25C1e-5x ) + (25C2e-5x - 25 C2e-5x ) = 0 como el lado izquierdo de la ecuacin es 0 para todo x, resulta que (x) es solucin de y - 25y = 0 La solucin C1e5x + C2e-5x del Ejemplo 2 la solucin general de y - 25y = 0. Observamos que la ecuacin general tiene dos constantes arbitrarias (llamadas parmetros) C1 y C2 . La definicin precisa de solucin general involucra el concepto de parmetros independientes. Las soluciones generales de ecuaciones diferenciales de nsimo orden tienen n parmetros independientes C1, C2 ....., Cn Las soluciones particulares se obtienen asignando valores especficos a cada parmetro. Algunas ecuaciones diferenciales tienen soluciones que no son casos especiales de la solucin general. Tales soluciones singulares no se discuten en este caso.

Bernoulli.

UNIVERSIDAD TECNOLGICA DE COAHUILA

Matemticas Aplicadas
UNIDAD III ECUACIONES DIFERENCIALES

Dirigido a: YESSICA HERNNDEZ VALDS Presentado por: LEIDY EDUARDO ORZUA SAUCEDO GRUPO: 7IPOI-A

Ramos Arizpe, Coah, a Noviembre 29 del 2012