Cálculo de escala temporal

En matemáticas , el cálculo a escala temporal es una unificación de la teoría de ecuaciones diferenciales con la de ecuaciones diferenciales , unificando el cálculo integral y diferencial con el cálculo de diferencias finitas , ofreciendo un formalismo para estudiar sistemas híbridos . Tiene aplicaciones en cualquier campo que requiera modelado simultáneo de datos discretos y continuos. Da una nueva definición de derivada tal que si uno diferencia una función definida en los números reales entonces la definición es equivalente a la diferenciación estándar, pero si uno usa una función definida en los números enteros entonces es equivalente al operador de diferencia hacia adelante .

Historia

El cálculo a escala de tiempo fue introducido en 1988 por el matemático alemán Stefan Hilger. [1] Sin embargo, se han utilizado ideas similares antes y se remontan al menos a la introducción de la integral de Riemann-Stieltjes , que unifica sumas e integrales.

Ecuaciones dinámicas

Muchos resultados relativos a ecuaciones diferenciales se trasladan con bastante facilidad a los resultados correspondientes para ecuaciones de diferencia, mientras que otros resultados parecen ser completamente diferentes de sus contrapartes continuas . [2] El estudio de ecuaciones dinámicas en escalas de tiempo revela tales discrepancias y ayuda a evitar demostrar los resultados dos veces: una para ecuaciones diferenciales y otra para ecuaciones de diferencia. La idea general es demostrar un resultado para una ecuación dinámica donde el dominio de la función desconocida es una denominada escala de tiempo (también conocida como conjunto de tiempo), que puede ser un subconjunto cerrado arbitrario de los números reales. De esta manera, los resultados se aplican no solo al conjunto de números reales o al conjunto de números enteros , sino a escalas de tiempo más generales, como un conjunto de Cantor .

Los tres ejemplos más populares de cálculo en escalas de tiempo son el cálculo diferencial , el cálculo de diferencias y el cálculo cuántico . Las ecuaciones dinámicas en una escala de tiempo tienen potencial para aplicaciones como la dinámica de poblaciones . Por ejemplo, pueden modelar poblaciones de insectos que evolucionan continuamente durante la temporada, mueren en invierno mientras sus huevos están incubando o en estado latente y luego eclosionan en una nueva temporada, dando lugar a una población que no se superpone.

Definiciones formales

Una escala de tiempo (o cadena de medida ) es un subconjunto cerrado de la línea real . La notación común para una escala de tiempo general es . R {\displaystyle \mathbb {R}} yo {\displaystyle \mathbb {T}}

Los dos ejemplos de escalas de tiempo más comunes son los números reales y la escala de tiempo discreta . R {\displaystyle \mathbb {R}} yo O {\displaystyle h\mathbb {Z}}

Un solo punto en una escala de tiempo se define como:

a : a yo {\displaystyle t:t\in \mathbb {T}}

Operaciones en escalas de tiempo

Los operadores de salto hacia adelante, salto hacia atrás y granulosidad en una escala de tiempo discreta

Los operadores de salto hacia adelante y salto hacia atrás representan el punto más cercano en la escala de tiempo a la derecha y a la izquierda de un punto dado , respectivamente. Formalmente: a {\estilo de visualización t}

σ ( a ) = información { s yo : s > a } {\displaystyle \sigma(t)=\inf\{s\in \mathbb {T} :s>t\}} (operador de cambio/salto hacia adelante)
ρ ( a ) = sorber { s yo : s < a } {\displaystyle \rho (t)=\sup\{s\in \mathbb {T} :s<t\}} (operador de salto/desplazamiento hacia atrás)

La granulosidad es la distancia desde un punto hasta el punto más cercano a la derecha y viene dada por: μ {\displaystyle \mu }

μ ( t ) = σ ( t ) t . {\displaystyle \mu (t)=\sigma (t)-t.}

Para un denso a la derecha , y . Para un denso a la izquierda , t {\displaystyle t} σ ( t ) = t {\displaystyle \sigma (t)=t} μ ( t ) = 0 {\displaystyle \mu (t)=0}
t {\displaystyle t} ρ ( t ) = t . {\displaystyle \rho (t)=t.}

Clasificación de puntos

Varios puntos en una escala de tiempo con diferentes clasificaciones

Para cualquier , es: t T {\displaystyle t\in \mathbb {T} } t {\displaystyle t}

  • queda denso si ρ ( t ) = t {\displaystyle \rho (t)=t}
  • derecho denso si σ ( t ) = t {\displaystyle \sigma (t)=t}
  • se dejó disperso si ρ ( t ) < t {\displaystyle \rho (t)<t}
  • derecho disperso si σ ( t ) > t {\displaystyle \sigma (t)>t}
  • denso si tanto la izquierda como la derecha son densas
  • aislado si tanto la izquierda como la derecha están dispersas

Como lo ilustra la figura de la derecha:

  • El punto es denso t 1 {\displaystyle t_{1}}
  • El punto está a la izquierda denso y a la derecha disperso. t 2 {\displaystyle t_{2}}
  • El punto está aislado t 3 {\displaystyle t_{3}}
  • El punto está a la izquierda disperso y a la derecha denso. t 4 {\displaystyle t_{4}}

Continuidad

La continuidad de una escala de tiempo se redefine como equivalente a la densidad. Se dice que una escala de tiempo es continua por la derecha en el punto t {\displaystyle t} si es densa por la derecha en el punto . De manera similar, se dice que una escala de tiempo es continua por la izquierda en el punto si es densa por la izquierda en el punto . t {\displaystyle t} t {\displaystyle t} t {\displaystyle t}

Derivado

Tome una función:

f : T R , {\displaystyle f:\mathbb {T} \to \mathbb {R} ,}

(donde R podría ser cualquier espacio de Banach , pero se establece en la línea real para simplificar).

Definición: La derivada delta (también derivada de Hilger) existe si y sólo si: f Δ ( t ) {\displaystyle f^{\Delta }(t)}

Para cada existe un vecindario de tal que: ε > 0 {\displaystyle \varepsilon >0} U {\displaystyle U} t {\displaystyle t}

| f ( σ ( t ) ) f ( s ) f Δ ( t ) ( σ ( t ) s ) | ε | σ ( t ) s | {\displaystyle \left|f(\sigma (t))-f(s)-f^{\Delta }(t)(\sigma (t)-s)\right|\leq \varepsilon \left|\sigma (t)-s\right|}

Para todos en . s {\displaystyle s} U {\displaystyle U}

Tome entonces , , ; es la derivada utilizada en el cálculo estándar . Si (los enteros ), , , es el operador de diferencia hacia adelante utilizado en ecuaciones diferenciales. T = R . {\displaystyle \mathbb {T} =\mathbb {R} .} σ ( t ) = t {\displaystyle \sigma (t)=t} μ ( t ) = 0 {\displaystyle \mu (t)=0} f Δ = f {\displaystyle f^{\Delta }=f'} T = Z {\displaystyle \mathbb {T} =\mathbb {Z} } σ ( t ) = t + 1 {\displaystyle \sigma (t)=t+1} μ ( t ) = 1 {\displaystyle \mu (t)=1} f Δ = Δ f {\displaystyle f^{\Delta }=\Delta f}

Integración

La integral delta se define como la antiderivada con respecto a la derivada delta. Si tiene una derivada continua, se establece F ( t ) {\displaystyle F(t)} f ( t ) = F Δ ( t ) {\displaystyle f(t)=F^{\Delta }(t)}

r s f ( t ) Δ ( t ) = F ( s ) F ( r ) . {\displaystyle \int _{r}^{s}f(t)\Delta (t)=F(s)-F(r).}

Transformada de Laplace y transformada z

Se puede definir una transformada de Laplace para funciones en escalas de tiempo, que utiliza la misma tabla de transformadas para cualquier escala de tiempo arbitraria. Esta transformada se puede utilizar para resolver ecuaciones dinámicas en escalas de tiempo. Si la escala de tiempo son los números enteros no negativos, entonces la transformada es igual [2] a una transformada Z modificada : Z { x [ z ] } = Z { x [ z + 1 ] } z + 1 {\displaystyle {\mathcal {Z}}'\{x[z]\}={\frac {{\mathcal {Z}}\{x[z+1]\}}{z+1}}}

Diferenciación parcial

Las ecuaciones diferenciales parciales y las ecuaciones en diferencias parciales se unifican como ecuaciones dinámicas parciales en escalas de tiempo. [3] [4] [5]

Integración múltiple

La integración múltiple en escalas de tiempo se trata en Bohner (2005). [6]

Ecuaciones dinámicas estocásticas en escalas de tiempo

Las ecuaciones diferenciales estocásticas y las ecuaciones de diferencias estocásticas se pueden generalizar a ecuaciones dinámicas estocásticas en escalas de tiempo. [7]

Teoría de la medida en escalas de tiempo

Asociada a cada escala de tiempo hay una medida natural [8] [9] definida mediante

μ Δ ( A ) = λ ( ρ 1 ( A ) ) , {\displaystyle \mu ^{\Delta }(A)=\lambda (\rho ^{-1}(A)),}

donde denota la medida de Lebesgue y es el operador de desplazamiento hacia atrás definido en . La integral delta resulta ser la integral de Lebesgue-Stieltjes habitual con respecto a esta medida λ {\displaystyle \lambda } ρ {\displaystyle \rho } R {\displaystyle \mathbb {R} }

r s f ( t ) Δ t = [ r , s ) f ( t ) d μ Δ ( t ) {\displaystyle \int _{r}^{s}f(t)\Delta t=\int _{[r,s)}f(t)d\mu ^{\Delta }(t)}

y la derivada delta resulta ser la derivada de Radon-Nikodym con respecto a esta medida [10]

f Δ ( t ) = d f d μ Δ ( t ) . {\displaystyle f^{\Delta }(t)={\frac {df}{d\mu ^{\Delta }}}(t).}

Distribuciones en escalas de tiempo

El delta de Dirac y el delta de Kronecker se unifican en escalas de tiempo como el delta de Hilger : [11] [12]

δ a H ( t ) = { 1 μ ( a ) , t = a 0 , t a {\displaystyle \delta _{a}^{\mathbb {H} }(t)={\begin{cases}{\dfrac {1}{\mu (a)}},&t=a\\0,&t\neq a\end{cases}}}

Cálculo fraccionario en escalas de tiempo

El cálculo fraccional en escalas de tiempo se trata en Bastos, Mozyrska y Torres. [13]

Véase también

Referencias

  1. ^ Hilger, Stefan (1989). Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten (tesis doctoral). Universidad de Würzburg. OCLC  246538565.
  2. ^ ab Martin Bohner y Allan Peterson (2001). Ecuaciones dinámicas en escalas de tiempo . Birkhäuser. ISBN 978-0-8176-4225-9.
  3. ^ Ahlbrandt, Calvin D.; Morian, Christina (2002). "Ecuaciones diferenciales parciales en escalas de tiempo". Revista de Matemática Computacional y Aplicada . 141 (1–2): 35–55. Bibcode :2002JCoAM.141...35A. doi : 10.1016/S0377-0427(01)00434-4 .
  4. ^ Jackson, B. (2006). "Ecuaciones dinámicas parciales en escalas de tiempo". Revista de Matemática Computacional y Aplicada . 186 (2): 391–415. Bibcode :2006JCoAM.186..391J. doi : 10.1016/j.cam.2005.02.011 .
  5. ^ Bohner, M.; Guseinov, GS (2004). "Diferenciación parcial en escalas de tiempo" (PDF) . Sistemas dinámicos y aplicaciones . 13 : 351–379.
  6. ^ Bohner, M; Guseinov, GS (2005). "Integración múltiple en escalas de tiempo". Sistemas dinámicos y aplicaciones . CiteSeerX 10.1.1.79.8824 . 
  7. ^ Sanyal, Suman (2008). Ecuaciones dinámicas estocásticas (tesis doctoral). Universidad de Ciencia y Tecnología de Missouri . ProQuest  304364901.
  8. ^ Guseinov, GS (2003). "Integración en escalas de tiempo". J. Math. Anal. Appl . 285 : 107–127. doi : 10.1016/S0022-247X(03)00361-5 .
  9. ^ Deniz, A. (2007). Teoría de la medida en escalas de tiempo (PDF) (Tesis de maestría). Instituto Tecnológico de İzmir .
  10. ^ Eckhardt, J.; Teschl, G. (2012). "Sobre la conexión entre los derivados de Hilger y Radon–Nikodym". J. Math. Anal. Appl . 385 (2): 1184–1189. arXiv : 1102.2511 . doi :10.1016/j.jmaa.2011.07.041. S2CID  17178288.
  11. ^ Davis, John M.; Gravagne, Ian A.; Jackson, Billy J.; Marks, Robert J. II; Ramos, Alice A. (2007). "La transformada de Laplace en escalas de tiempo revisitada". J. Math. Anal. Appl . 332 (2): 1291–1307. Bibcode :2007JMAA..332.1291D. doi : 10.1016/j.jmaa.2006.10.089 .
  12. ^ Davis, John M.; Gravagne, Ian A.; Marks, Robert J. II (2010). "Transformadas bilaterales de Laplace en escalas de tiempo: convergencia, convolución y caracterización de series temporales estocásticas estacionarias". Circuitos, sistemas y procesamiento de señales . 29 (6): 1141–1165. doi :10.1007/s00034-010-9196-2. S2CID  16404013.
  13. ^ Bastos, Nuno RO; Mozyrska, Dorota; Torres, Delfim FM (2011). "Derivadas fraccionarias e integrales en escalas de tiempo mediante la transformada de Laplace generalizada inversa". Revista internacional de matemáticas y computación . 11 (J11): 1–9. arXiv : 1012.1555 . Código Bibliográfico :2010arXiv1012.1555B.

Lectura adicional

  • Agarwal, Ravi; Bohner, Martin; O'Regan, Donal; Peterson, Allan (2002). "Ecuaciones dinámicas en escalas de tiempo: un estudio". Revista de Matemática Computacional y Aplicada . 141 (1–2): 1–26. Bibcode :2002JCoAM.141....1A. doi : 10.1016/S0377-0427(01)00432-0 .
  • Ecuaciones dinámicas en escalas de tiempo Número especial de Journal of Computational and Applied Mathematics (2002)
  • Ecuaciones dinámicas y aplicaciones Número especial de Advances in Difference Equations (2006)
  • Ecuaciones dinámicas en escalas de tiempo: análisis cualitativo y aplicaciones Número especial de Nonlinear Dynamics And Systems Theory (2009)
  • El grupo de escalas de tiempo de la Universidad de Baylor
  • Escala de tiempowiki.org
Retrieved from "https://en.wikipedia.org/w/index.php?title=Time-scale_calculus&oldid=1228254961"