Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
IMPORTANCIA
Isaac Newton se daba cuenta de la importancia que tenan las ecuaciones
diferenciales para el anlisis de los fenmenos de la naturaleza. Por algo sus
renombrados "Principios matemticos de la filosofa natural" (1687) que engloban
mecnica newtoniana, arrancan con la ecuacin diferencial del movimiento. Esta
ecuacin se considera como axioma, mientras que los planteamientos posteriores
de la mecnica son, de hecho, teoremas que se derivan de dicho axioma, as
como de la ley de gravitacin universal que se desgaja de los hechos
experimentales (leyes de Kepler) y del mencionado axioma: md 2/dt2 = F.2
Una ecuacin diferencial ordinaria (EDO) puede plantearse, siendo F una relacin
o funcin, como
(1a)
... para representar la EDO en que la funcin incgnita (tambin conocida como
variable dependiente), lo es de una nica variable independiente.
En general, una ecuacin diferencial lineal de orden n puede formularse, siendo
cada
una funcin dependiente de t, como:
(1b)
Una solucin de la ecuacin (1a) o (1b) ser una "familia" de curvas o funciones
del tipo
que substituida dentro de la ecuacin la convierte en una
igualdad en la que todos los trminos son conocidos.
De x siendo
(1)
Es llamada una ecuacin diferencial ordinaria (EDO) de orden n. Para funciones
vectoriales,
,
La ecuacin (1) es llamada
diferenciales de dimensin m.
un sistema
de
ecuaciones
lineales
Siendo, tanto ai(x) como r(x) funciones continuas de x. La funcin r(x) es llamada
el trmino fuente (traducido del ingls source term); si r(x)=0 la ecuacin
diferencial lineal es llamada homognea, de lo contrario es llamada no
homognea.
Soluciones
Dada una ecuacin diferencial
Dadas
dos
soluciones u: J R R y v: I R R, u es
una extensin de v si I J, y
llamada
Que depende de una constante arbitraria C. Satisface la EDO (1) para cualquier
valor de la constante C. Adems cualquiera que sea la condicin inicial
(Y(x0) = y0) (2),
Siempre se puede asignar un valor C 0 a la constante C, tal que la funcin y = (x,
C0) satisfaga la condicin inicial dada. Se presume que el punto (x 0, y0) est en la
regin donde se cumplen las condiciones de existencia y de unicidad de la
solucin.
TIPOS DE EDOs Y FORMAS DE RESOLUCION
Existen diversos tipos de ecuaciones diferenciales ordinarias, cada una con una
forma de resolucin distinta; para clasificarlas, hay que hacer la diferencia entre
ecuaciones diferenciales de primer orden y ecuaciones de orden superior (ya que
las primeras son, por lo general, de ms fcil resolucin).
Existencia y unicidad de soluciones
El teorema de Peano-Picard garantiza la existencia de una solucin y su unicidad
para toda ecuacin diferencial ordinaria lineal con coeficientes continuos en un
intervalo tiene solucin nica en dicho intervalo. Para el caso de ecuaciones
diferenciales no lineales no existen resultados anlogos al de Peano-Picard.
El teorema de Peano-Picard demuestra la existencia mediante una demostracin
constructiva, para un sistema de ecuaciones diferenciales lineales de primer
orden. Puesto que toda ecuacin diferencial lineal de orden arbitrario puede
reducirse a un sistema de ecuaciones diferenciales de primer orden, se sigue del
teorema de Peano-Picard la existencia y unicidad de la solucin. La idea del
teorema es simple construye una sucesin de Cauchy funciones cuyo lmite es
precisamente la solucin del sistema. La demostracin de la unicidad por otra
parte resulta trivial.
Soluciones analticas
Existen mtodos de resolucin generales para ecuaciones diferenciales ordinarias
lineales que permiten encontrar soluciones analticas. En particular si los
coeficientes de la ecuacin lineal son constantes o peridicos la solucin es casi
siempre fcil de construir. Para coeficientes no constantes o no peridicos, pero
que son desarrollables en serie de Taylor o serie de Laurent es aplicable con
ciertas restricciones el mtodo de Frobenius. Otra posibilidad es reducir una
ecuacin diferencial lineal de orden n a un sistema de n ecuaciones diferenciales
lineales de primer orden.
Donde
es la condicin inicial.
Su solucin es entonces:
Para resolver se usa la sustitucin y=xv, siendo v= v(x) una funcin desconocida.
Sin embargo, la palabra ' homognea' asume otro significado, dentro del estudio
de las EDOs, fuera de este contexto.
2.1.2 ECUACIONES DIFERENCIALES CON DIFERENCIAS
Igualdades que incluyen diferencias
x ( k + 1 )=2 x ( k )
La solucin de una Ecuacin Diferencial es
f ( k )=k Z
Una funcin
Igualdades que incluyen diferencias
x ( k + 1 )=2 x ( k )
La solucin de una Ecuacin Diferencial es
Una funcin f ( k )=k Z
f 1 ( k ) =2k
f 2 ( k ) =2(2k )
Condiciones Auxiliares
f(0); f(1); f(2); f(3); _ _ _ ; f(n)
f 3 ( k )=3(2k )
COMPARACION
La
misma
frmula
es
vlida
en
la
diferencia
posterior:
Clculo
de
diferencias
finitas
Esta frmula sigue siendo vlida en el sentido de que ambos operadores dan el
mismo resultado cuando se aplican a un polinomio. Incluso para funciones
analticas, las series de la derecha no convergen con seguridad, sino que puede
tratarse de una serie asinttica. Sin embargo, pueden emplearse para obtener
aproximaciones ms precisas de la derivada. Por ejemplo, Los dos primeros
trminos
de
la
serie
llevan
a:
El
Las
error
frmulas
de
la
anlogas
aproximacin
es
para los operadores
del
orden
de h2.
posterior y central son
Derivadas
de
rdenes
mayores
De forma anloga se pueden obtener aproximaciones en diferencias finitas para
derivadas de orden mayor y operadores diferenciales. Por ejemplo usando la
frmula de la diferencia central mostrada anteriormente con un espaciado de h / 2
para
y
aplicando la frmula de diferencia central a la
derivada de en x, obtenemos la aproximacin de la diferencia central de la
segunda
derivada
de f:
Mtodos
de
diferencias
finitas
Diferencias finitas.
Slo se consideran normalmente tres formas: la anterior, la posterior y la central.
Una diferencia progresiva, adelantada o posterior es una expresin de la forma
con su derivada
, es decir,
Formalmente, invirtiendo la exponencial,
Esta frmula sigue siendo vlida en el sentido de que ambos operadores dan el
mismo resultado cuando se aplican a un polinomio. Incluso para funciones
analticas, las series de la derecha no convergen con seguridad, sino que puede
tratarse de una serie asinttica. Sin embargo, pueden emplearse para obtener
aproximaciones ms precisas de la derivada. Por ejemplo, Los dos primeros
trminos de la serie llevan a:
la derivada de
en x, obtenemos la aproximacin de la diferencia central de la
segunda derivada de f:
obtenemos
Donde
la intensidad de la corriente,
una
la diferencia de potencial de la
la
Si suponemos que
Ejemplo La ecuacin
la transformamos en el sistema
para calcular
b. Si en (1.3.10) no aparece
cadena obtenemos
entonces llamamos
y por la regla de la
Ejemplo La ecuacin
sistema
Integramos y obtenemos
para hallar la
solucin
Sobre el estudio de ecuaciones lineales de orden dos volveremos
en el siguiente captulo.
La catenaria Ilustremos el caso b con otro ejemplo. La catenaria es la curva que
forma una cuerda atada a sus extremos y que cae bajo la accin de su propio
peso. Con
con
es constante) y entonces
mide el peso
Entonces tenemos:
De (1.3.13) obtenemos
una constante,
2.2 DEFINICIONES
2.2.1.1 Transformada de Laplace
Dada una funcin
La
funcin
argumento
denominada transformada
y produce
inversa
de
Laplace toma
como
Existe
una
funcin
denominada transformada
que
toma
como
argumento F( t) y produce una funcin F( s) de los complejos en los
complejos.
La
funcin
argumento
F( z )
La transformada
denominada transformada
y produce
inversa
toma
como
se define como
(2.13)
, cuyos
(2.14)
Transformada
Laplace
de Transformada
La transformada de La transformada
Laplace se define se define como
como
Transformada
Transformada
bilateral de Laplace: bilateral :
2.2.2 Propiedades
Las transformadas de Laplace y
satisfacen ciertas propiedades que son muy
similares para una y otra transformada. De estas propiedades destacamos los
siguientes hechos:
1. La propiedad de linealidad permite que la aplicacin de estas transformadas
a la solucin de E.D. lineales sea bastante simple. Por el contrario, estas
transformadas no suelen ser tiles para solucionar E.D. No Lineales.
2. Las propiedades de diferenciacin y diferencias positivas son las que
permiten convertir Ecuaciones Diferenciales y Ecuaciones de Diferencia,
respectivamente, en Ecuaciones Algebraicas.
3. Hay una diferencia sutil pero importante entre las propiedades de
diferenciacin y diferencias positivas: las condicin inicial
est
multiplicada por en el caso discreto, mientras que en el caso continuo no
est multiplicada por .
Este hecho origina algunas diferencias en la forma de las parejas de
funciones y sus transformadas (ver seccin 2.2.3) y en la forma en que se
emplea la expansin en fracciones parciales para calcular las
transformadas inversas (ver seccin 2.2.5).
tres
cuyas
son,
, y un escalar respectivamente
(real o complejo). Se cumplen las y un escalar (real o complejo).
siguientes propiedades:
Se cumplen las siguientes
propiedades:
Linealidad:
Linealidad:
Diferenciacin:
Diferencia positiva:
Desplazamiento en la frecuencia:
Escalamiento en la frecuencia:
Multiplicacin por :
Multiplicacin por
Convolucin:
Convolucin:
iterar
iterar
Tabla 2.7: Ubicacin de los polos en los planos complejos y funciones en el tiempo
Caso Continuo Caso Discreto
Ubica Funcin Ubicacin
Funcin
cin
de los polos
de los
polos
Orige escaln
escaln
n
Semi exponen Intervalo
series
eje
ciales
del
real
crecient
eje real
positi es
vo
geomt
ricas
crecient
es no
alterna
ntes
Intervalo
series
geomt
d ricas
el eje real
crecient
es
alterna
ntes
Semi exponen Intervalo
series
eje
ciales
geomt
del
real
decrecie
ricas
eje
real
negati ntes
decreci
vo
entes
no
alterna
ntes
Intervalo
series
geomt
del ricas
eje real
decreci
entes
alterna
ntes
Eje
sinusoid circunferenc Sinusoi
imagi ales
ia unitaria
dales.
nario
Comp funcione Complejos sinusoi
lejos s
fuera
del dales
en el sinusoid crculo
amplific
semip ales
unitario
adas
lano amplific
por una
derec adas
serie
ho
por una
geomt
exponen
rica
cial
crecient
crecient
e
e
Comp
lejos
en el
semip
lano
izquie
rdo
sinusoid
ales
amplific
adas
por una
exponen
cial
decrecie
nte
Complejos
dentro del
crculo
unitario
sinusoi
dales
amplific
adas
por una
serie
geomt
rica
decreci
ente
Para emplear las tablas 2.5 y 2.6 para obtener la transformada inversa de una
funcin, primero hay que expresar sta ltima como alguno de los casos que
aparecen en dichas tablas. Suele ser til recordar que las transformaciones de
Laplace y
son funciones lineales.
Ejemplo 2.3 Para obtener la transformada inversa de Laplace de,
primero reescribimos la
1
s3
La expresin
Laplace es
F( s)
F ( s )=
4
s3
como:
1
es de la forma sa , cuya transformada inversa de
F( s)
F ( s )=
s+ 2
s + s+1
2
2 + 2=1
reescribir
F(s)
(y
por
como
tanto
2 =1
2 =3/4 ).
En
(y por tanto
consecuencia,
=1 /2
podemos
Los
dos
sumandos
corresponden
transformadas
de
la
forma
, por lo tanto:
Con
. Por lo tanto,
resulta ser:
Consiste en reescribir
(o
) como suma de funciones ms sencillas, cuyas
transformadas inversas sean posibles de obtener mediante la lectura de las tablas
de parejas. Este procedimiento se conoce como la expansin en fracciones
parciales.
El procedimiento general puede enumerarse como sigue:
1. Si
entonces se realiza la divisin hasta obtener una fraccin en la
que el grado del polinomio del denominador sea mayor al del numerador;
en los siguientes puntos se trabaja slo con la fraccin.
Ejemplo 2.5
), y cuntas veces se
, o multiplicidad de la raz).
.
Para la obtencin de las races suponemos que disponemos de algn tipo de
procedimiento (analtico o computacional) para ello. Para la obtencin de los
coeficientes
, por su parte, pueden seguirse los siguientes procedimientos,
segn sea el caso:
1. Polos de multiplicidad 1 Si el polo
tiene multiplicidad , el coeficiente
de la expansin podr calcularse como:
(2.15)
2.
3. Ejemplo 2.6
4.
5.
6.
7. Polos de multiplicidad mayor que 1
Si el polo
tiene multiplicidad
calcularse como:
, el coeficiente
de la expansin podr
(2.16)
,y
Series de Potencias
1. Si la regin de convergencia est dentro de un crculo, la divisin polinomial es
de la forma 1 az1+1 y se obtiene una expansin en potencias positivas de z
2. Si la regin de convergencia es el exterior de un crculo, la divisin polinomial es
de la forma 11 az1 y se obtiene una expansin en potencias negativas de z
Sistemas en tiempo discreto
_ Un sistema discreto transforma entradas de variable discreta en salidas de
variable discreta. y[n]=T {x[n]}
_ Tipos de sistemas en tiempo discreto
_ Sistemas Invariantes y Variantes en el tiempo
_ Sistemas Lineales
MTODO DE TRANSFORMADA Z PARA LA SOLUCIN DE ECUACIONES EN
DIFERENCIAS.
Dada una ecuacin en diferencias de orden n, utilizamos las propiedades de la
transformada Z, en especial las de linealidad y desplazamiento, para transformarla
en una ecuacin algebraica.
La siguiente tabla muestra la transformada Z de algunas secuencias, usando la
propiedad de desplazamiento.
Funcin Discreta
Transformada Z
X[n+4]
Z4X[Z]-Z4X[0]-Z3[1]-Z2X[2]-ZX[3]
X[n+3]
Z3X[Z]-Z3X[0]-Z2X[1]-ZX[2]
X[n+2]
Z2X[Z]-Z2X[0]-ZX[1]
X[n+1]
ZX[Z]-ZX[0]
X[n]
X[Z]
X[n-1]
Z-1X[Z]
X[n-2]
Z-2X[Z]
X[n-3]
Z-3X[Z]
X[n-4]
Z-4X[Z]
Ejemplo
1: Resuelva la siguiente
[n+2]+3X[n+1]+2X[n]=0 con X[0]=0, X[1]=1
Solucin
ecuacin
en
diferencias.