Ecuaciones Diferenciales.

Trabajo de Investigacin.

Instituto Tecnolgico de Tlhuac.

Jos Antonio Meza Castro.

Carrera: Ingeniera en Sistemas Computacionales. Grupo: 4sis1

Ecuaciones Diferenciales.

ndice. Contenido
ndice. .................................................................................................................................................. 1 Ecuaciones Diferenciales Lineales. ...................................................................................................... 2 Solucin de una E.D.L. con condiciones iniciales por medio de la transformada de Laplace............................................................................................................................................... 5 Sistemas de E.D. Lineales. ................................................................................................................... 7 Solucin de un Sistemas de E.D. Lineales con condiciones iniciales por medio de la transformada de Laplace.......................................................................................................................................... 10 Series de Fourier. .............................................................................................................................. 15 Funciones Ortogonales...................................................................................................................... 21 Conjuntos ortogonales. ..................................................................................................................... 22

Pgina 1

Ecuaciones Diferenciales.

Ecuaciones Diferenciales Lineales.

La forma general de una ecuacin lineal de primer orden es: ( ) ( ). S ( ) es idnticamente igual a cero, entonces la ecuacin se llama lineal homognea (no en el sentido de polinomio homogneo, sino como el nombre que da el lgebra lineal a las ecuaciones igualadas a cero); si ( ) lineal no homognea. Mtodos de solucin. Si ( ) Si ( ) Es de variables separables. a) Mtodo de factor integrante. b) Mtodo de variacin de parmetros. entonces el

Y la forma de solucin es: Para Para ( ) ( )

( )

( )

( )

( )

Vamos a obtener la solucin para ( ) y el de variacin de parmetros.

, usando el mtodo del factor integrante

Mtodo del factor integrante. Buscaremos un factor que nos convierta la ecuacin diferencial: en exacta y la resolveremos por mtodo de las exactas. ( ) ( )

Pgina 2

Ecuaciones Diferenciales.

El hecho de que la solucin general de la ecuacin diferencial homognea correspondiente es

( )

, sugiere la posibilidad de que un factor para la

( )

no homognea sea de la forma

Vamos a probarlo. Multiplicando la ecuacin por este factor, tenemos:

( )

( )

( )

( )

( )

Observando el primer miembro de la ecuacin, vemos que esta en un termino, su derivada de la exponencial que acompaa a , realmente se puede expresar como la derivada de un producto de funciones: (
( )

Entonces:

( )

( )

( ) ( )

Integrando con respecto a

( )

( )

( ) , Despejando () ( ) indicada y satisface la ecuacin lineal.

-, que es la solucin general ya

Como ( ) nos llev a la solucin propuesta, es el factor de integracin que convierte en exacta a la ecuacin diferencial lineal no homognea. Por ello, no es necesario memorizar la frmula de la solucin, basta buscar el factor, multiplicar la ecuacin por el resolver por exactas.

Ejemplos 1) Dada la ecuacin diferencial: ( ( ) ) , ver si el lineal y

resolver por medio del factor integrante. Se acomoda segn la forma indicada: + Si es lineal, con ( ) ( ) ( ), quedando:

Su factor integrante tiene la forma:

Pgina 3

Ecuaciones Diferenciales.

( ) Multiplicando la ecuacin, tenemos: ( ( ) )

( )

, ya es exacta Entonces aplicando la formula obtenida mediante el factor integrante llegamos a la solucin:

, ,

( -

2) Forma lineal.

( ) Factor integrante:

Multiplicamos por el factor integrante.

3) Forma lineal
Pgina 4

Ecuaciones Diferenciales.

Factor integrante:

Solucin de una E.D.L. con condiciones iniciales por medio de la transformada de Laplace.

La Transformada de Laplace es muy utilizada en la economa como por ejemplo la interpretacin natural que tiene como el valor presente de un flujo de efectivo. Sea: ( ) , ) ( una funcin. Una transformada integral es una relacin de la forma. ) ( )

En donde la funcin es transformada de otra funcin F por medio de una integral. La funcin se conoce como la tranformada de y la funcin es el nucleo de la transformacin. Claramente, la transformada podra no existir. Las transformadas integrales se utilizan para convertir algn problema que involucra a la funcin en otro problema, en ocasiones ms sencillo, que involucra a . Adicionalmente, son una herramienta sumamente til para la resolucin de algunas ecuaciones diferenciales Si el dominio de es , entonces el lmite inferior podra tambin ser impropio y ser -8, como es el caso de la transformada de Fourier. La transformada de Laplace2 , -( ) es una transformada integral en donde el nucleo est dado por de manera que , -( ) ( ) ( )

Pgina 5

Ecuaciones Diferenciales.

Utilizando esta definicin transformada.

( )

)()

vemos que

es el ncleo de la

De este modo, la transformada de Laplace de una funcin tiene una interpretacin econmica evidente: , -( ) es el valor presente de un flujo ( ) durante el periodo , ) y con una tasa de descuento igual a 1) Ejemplos: 2) Sea ( ) , -( ) , entonces

Esta integral existe siempre y cuando s > 0 e, integrando por partes, se obtiene: , -( ) De forma semejante,3 si , -( ) ( ) * + tenemos que:

y esta integral existe para s > 0, tomando el valor: , -( ) 3) Sea ( ) , -( ) entonces

existe para toda s > a y est dada por , -( )

Del mismo modo. , -( )

que es vlida para toda s > -a.

Pgina 6

Ecuaciones Diferenciales.

4) Sea ( ) una trayectoria de consumo y del mismo, entonces

( ( )) la utilidad que se deriva

, ( )-( )

( ( )) ), descontado a una tasa s.

Es el valor presente de la utilidad acumulada en,

La utilidad de la transformada de Laplace para la solucin de ecuaciones diferenciales se deriva de la siguiente propiedad: [ ]( ) , -( ) ( ) ). La demostracin es sumamente

En donde f es una funcin diferenciable en ,

sencilla utilizando la definicin de la transformada e integracin por partes. Adicionalmente, la transformada de Laplace es un operador lineal, con lo cual se cumplen: , , , y , funciones y . Finalmente, la asignacin . es

Para cualesquiera

inyectiva, de manera que puede definirse la transformada de Laplace inversa (de la funcin F) como L-1[F ](t) = f (t). Esta transformada inversa posee tambin la propiedad de linealidad.

Sistemas de E.D. Lineales.

Tal vez, esta sea una de las ecuaciones diferenciales de mayor importancia, pues muchas de las aplicaciones que trataremos se modelan por medio de una ecuacin de este tipo. Una ecuacin diferencial de primer orden que puede escribirse en la forma ( ) ( )

Pgina 7

Ecuaciones Diferenciales.

Donde ( ) y ( ) son funciones reales, se llama ecuacin diferencial lineal Una ecuacin diferencial lineal de orden ( )
( )

tiene la forma: ( ) ( ) ( ) . Note que

( )

( )

Donde los coeficientes ( ) son funciones reales y cuando tenemos que: ( ) ( ) ( ) ( ) ( ) ( )

Y al dividir por ( ) ( )

La cual tiene la forma: ( ) Donde ( ) Teorema: La solucin general de la ecuacin diferencial de primer orden ( ) Esta dada por
( )

( )
( ) ( )

y ( )

( ) ( )

( )

( ( )

( )

Reescribiendo la ecuacion como: ( ( ) ( ))

)

Podemos comprobar que ( por este factor tenemos que:

( )

es un factor integrante. Multiplicando la ecuacin

( )
(
( )

( ) ( )
( )

Donde

E integrando respecto con .

Pgina 8

Ecuaciones Diferenciales.
( )

( ( )

( )

como se queria.

Ejemplos 1) Resolver la ecuacin : Reescribiendo la ecuacin tenemos El factor integrante est dado por ( ) Con lo cual la solucin est dada por Es decir . ( ( )
( )

2) Considere la ecuacion diferencial

Encuentre una funcin ( ) de forma tal que la ecuacin diferencial sea exacta y resuelva dicha ecuacin diferencial. Para que la ecuacin sea exacta debe cumplir: De aqu obtenemos la ecuacin diferencial lneas en ( ) ( ) ( ) y ( ) ( )

Cuya solucin es: ( ) De donde tomando obtenemos que ( ) ( ) ( ) ( )

3) Compruebe que la ecuacin diferencial

Donde ( ) y ( ) son funciones reales, se transforma en una ecuacin diferencial lineal al hacer ( ). Como: Sustituyendo: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

Pgina 9

Ecuaciones Diferenciales.

La ecuacin es una ecuacin diferencial lineal.

Solucin de un Sistemas de E.D. Lineales con condiciones iniciales por medio de la transformada de Laplace.

Si se especifican los valores iniciales en sistemas de ecuaciones diferencailes lineales con coeficientes constantes estos se convierten en un sistema que tambin puede resolverse. El procedimiento es similar al que ya se ha empleado. De esta manera se utiliza la transformada de Laplace para convertir un sistema de ecuaciones con valor inicial en un sistema de ecuaciones algebraicas. Una vez resuelto el sistema de ecuaciones algebraicas por la transformada de Laplace de las variables dependientes, se utilizan las tablas de transformadas inversas de Laplace obtener una solucin explicita. Las ventajas de la transformada de Laplace incluyen tener automticamente satisfechas las condiciones iniciales y evitar la necesidad de hallar soluciones particulares. Ejemplos. 1) ( ) ( ) ( ) ( ) ( ) (1) (2) ( )

Bajo las condiciones iniciales ( )

Calculando la transformada de ambos lados (1) y (2) ( ) ( ) ( ) ( ) ( ) ( ) ( )

Pgina 10

Ecuaciones Diferenciales.

Sustituyendo las condiciones iniciales y dejando las incognitas del lado izquierdo ( ) ( ) ( ) ( ) ( ) (3) (4)

Factorizando y reacomodando (3) y (4). ( ) ( ) ( ) ( ) ( ) [ ] (5) (6)

Multiplicando (5) por ( ( ) ( ) ( ) ( ) ( (

) y multiplicando (6) por (2) obtenemos: ) ( ) [ [ ]( ] ) (7) (8)

)( ) ( )

Sumando (7) y (8) obtenemos: ( ) ( ) ( ) ( ) [ ]

( ) ( ) (

( ) ( )

)( ) ( )

Simplificando y despejando: ( ) [(
( )( ) )

(9)

Descomponiendo en fracciones Parciales

( ( )( ) )

, o bien ( ) ( ) por lo que y

agrupando

Resolviendo

Pgina 11

Ecuaciones Diferenciales.

Separando trminos de (9), ( ) ( ) (10)

antitransformando

De la ecuacin (1) podemos despegar ( ) obteniendo ( ) ( ) (11)

Derivando (10), nos queda ( ) (12)

Por lo que sustituyendo (12) en (11), obtenemos ( )( 2) Resolver ) , finalmente ( )

Con valores iniciales de ( ) Solucin. Si ( ) * ( )+ y

( ) ( ) * ( )+, despus de transformar cada

ecuacin tenemos que: , ( ) ( ) O bien ( )( ) ( ) ( ( ) ( ) ( ) ( ) ( ) ) ( ) ( ) ( )

Multiplicando la segunda ecuacin por 2 y restndole a la primera resulta: ( ) ( )

Pgina 12

Ecuaciones Diferenciales.

( )

Ahora bien, mediante fracciones parciales ( )

De modo que ( Haciendo ) y ( ) ( ) y y en cada

en el ultimo rengln resulta

respectivamente; en tanto que igualando los coeficientes de miembro de la igualdad resulta. y Se tiene que Y por lo tanto ( ) , Por consiguiente ( ) { } { } ( ) * ( )+ { } { } { }

Por la segunda ecuacin ( ) De lo cual se deduce que: ( )

{ }

( ) 3) Dado el siguiente sistema de ecuaciones diferenciales con condiciones iniciales conocidas, encuentra la solucin para tiempo. y en el dominio del

(1) ( ) ( ) ( )
Pgina 13

Ecuaciones Diferenciales.

Solucin: Aplicando la transformada de Laplace a las dos ecuaciones de (1) ( ( ) ) ( ) (2) (3) de la ecuacin (3) y sustituyndola en (2) (4)
( )

Despejando
( )

[ ]

](
)( )

(5)

(6)

Resolviendo pa (7)

Sustituyendo (7) en (4)

( ) ( ) ( )

(8)

La inversin de las ecuaciones (7) y (8) nos da la solucin del sistema de ecuaciones ( ) ( ) (9)

( )

(10)

Pgina 14

Ecuaciones Diferenciales.

Series de Fourier.
Jean Baptiste J. Fourier desarroll una teora sobre conduccin de calor, para la cual necesit las series trigonomtricas, que tienen unos coeficientes

determinados ingeniosamente por l. Estas series tienen una gran aplicacin en fenmenos de naturaleza peridica, tales como vibraciones magnticas, terremotos, corrientes, etc.

El 21 de diciembre de 1807, Joseph Fourier anunci ante la prestigiosa Acadamia Francesa de Ciencias que una funcin ( ) puede ser desarrollada en una serie infinita de senos y cosenos. Concretamente, sea la funcin intervalo ( ) ( ) , y calclense las expresiones: (1) ( ) definida en el

(2)

Entonces la serie infinita: Converge a ( ). Teorema. Sean y continuas seccin por seccin en el intervalo y como . (Esto [ ] (3)

significa que y que tanto

tienen un nmero finito de discontinuidades en dicho intervalo, tienen lmites por la derecha y por la izquierda en cada uno y a partir de (1) y

de los puntos de discontinuidad).Calclense los trminos

(2) y frmese la serie infinita (3).Esta serie, que se llama serie de Fourier (3) de en el intervalo converge a ( ) si es continua en , y a , (

Pgina 15

Ecuaciones Diferenciales.

)- si (

es discontinua en )- donde (

En

la serie de Fourier (3) converge tiende .

a , ( )

) es el limite de ( ) cuando ) (

Observacin. La cantidad , ( por la derecha y por la izquierda de

)- es el promedio de los limites

en cada uno de los puntos de discontinuidad en

de , entonces la serie de Fourier (3) converge a ( ) para todos los puntos el intervalo .

Ejemplos: 1) Sea una funcin que es nula para en intervalo e igual a 1 para .

Determinar la serie de Fourier de Solucin: En este proble ( ) ( )

Por lo tanto, se sigue a partir de (1) y (2) que

y:

Ntese que Fourier de

para en el intervalo

par y es:

para

impar. Por lo tanto, la serie de

Pgina 16

Ecuaciones Diferenciales.

Por el teorema, esta serie converge a 0 si

, y al 1 si

En

y , la serie se reduce al valor de , predicho por el teorema. 2) Sea la funcin que es 1 para en intervalo y . para . Calcular la

serie de Fourier de Solucin: En este problema

. Por lo tanto, se sigue de (1) y (2) que

Ntese que si es:

si

es par;

si

es impar;

si

es impar y

es par. Por lo tanto, la serie de Fourier de

en el intervalo

Pgina 17

Ecuaciones Diferenciales.

Por el teorema esta serie converge al 1 si y a si Ahora bien, en

si

si

, la serie de Fourier (4) es:

De modo que se deduce la importante identidad

O bien:

Los coeficientes Fourier

definidos por (1) y (2) se pueden obtener de seccin por seccin puede ser , entonces

manera sencilla. De hecho, si una funcin

expresada en una seria de senos y cosenos en el intervalo

necesariamente, dicha serie es la de Fourier (3). Tal afirmacin se demuestra la siguiente manera. Supngase que es continua por secciones y que:

Para parejas de nmeros en el intervalo

. Supongase adems que la ecuacin se cumple

excepto por un numero finito de puntos. Integrando y , se obtiene ( ) ya que:

ambos miembros de (5) entre

Pgina 18

Ecuaciones Diferenciales.

De manera similar, multiplicando por y , se obtiene.

ambos lados (5) e integrando entre

Mientras que al multiplicar por resulta:

ambos lados (5) e integrar entre

y ,

Esto se sigue inmediatamente de las relaciones.

Por lo tanto, los coeficientes Fourier y

deben ser iguales a los coeficientes de puede ser desarrollada . en el intervalo

. En particular, por lo tanto, una funcin

slo de una manera en series de Fourier en el intervalo 3) Hallar la serie de Fourier de la funcin ( )

Pgina 19

Ecuaciones Diferenciales.

Solucin: Segn la observacin anterior, la funcin representacin nica en series de Fourier.

( )

tiene una

En el intervalo

. Pero ya se conoce la formula

Por lo tanto, la serie de Fourier de . Todas las funciones con Y

en el intervalo

debe ser

tienen la interesante propiedad , es decir, se repiten siempre sus valores en

de ser peridicas con periodo intervalos de longitud

. Tal cosa se sigue trivialmente de las identidades.

Por lo tanto la serie de Fourier (3) converge para toda

a una funcin peridica

( ). Dicha funcin se conoce como la extensin peridica de ( ) y est definida por las siguientes ecuaciones.

Por ejemplo en la figura 1 se describe la extensin peridica de la funcin ( ) . En la figura 2 se describe la de la funcin aserrada.
Pgina 20

( )

| | la cual es de forma

Ecuaciones Diferenciales.

Figura 1: Extensin peridica de ( )

Figura 2: Extensin peridica de ( )

| |

Funciones Ortogonales.
En matemticas superiores se considera que una funcin es la generalizacin de un vector. En esta seccin veremos cmo los dos conceptos vectoriales de producto interno (punto) y ortogonalidad se pueden ampliar para abarcar las funciones. Supongamos que u y v son vectores en el espacio tridimensional. El producto interno (u, v) de los vectores, que tambin se escribe u . v, posee las propiedades siguientes: i) ii) iii) iv) ( ( ( ( ) ) ) ) ( ( si ( ) ) donde ,y( ) ( es un escalar ) )

Esperamos que una generalizacin del concepto de producto interno deba tener las mismas propiedades.

Pgina 21

Ecuaciones Diferenciales.

Producto interno Supongamos ahora que

son funciones definidas en un ( ) ( ) definida en el intervalo

intervalo [u, b]. Como una integral del producto

tambin posee las propiedades i) a iv), siempre y cuando existan las integrales, podemos enunciar la siguiente definicin: El producto interno de dos funciones ( ) ( ) ( ) (1) y en un intervalo , - es el numero

A diferencia del anlisis vectorial, en donde la palabra ortogonal es sinnimo de perpendicular, en el presente contexto el trmino ortogonal y la condicin (1) no tienen significado geomtrico. Ejemplos: 1) Las funciones porque ( ) y ( ) son ortogonales en el intervalo [-1,1]

Conjuntos ortogonales.
Nos interesan principalmente los conjuntos infinitos de funciones ortogonales. Definicin: Un conjunto de funciones de valor real. * ( ) ( ) ( ) +

Es ortogonal es un intervalo [a,b] si ( ) ( ) ( )

La norma, o longitud Ilull, de un vector u se puede expresar en trminos del producto interno; concretamente, (u,u)= ,o bien longitud generalizada, de una funcin ( ) ( ). La norma de es decir,

Pgina 22

Ecuaciones Diferenciales.

El numero: * ( )+ es un conjunto ortogonal de funciones ( ) para se

Se llama norma cuadrada de dice que *

en el intervalo [a,b] y tiene la propiedad que

( )+ es un conjunto ortogonal en el intervalo.

Pgina 23