Chaos of Caputo derivative

Resumen Técnico: Dinámica de Caputo: Aproximación Óptima y Caos

Planteamiento del Problema
El artículo investiga las propiedades dinámicas del operador de diferenciación fraccionaria de Caputo cuando se realiza como un operador lineal acotado en espacios de Banach de coeficientes específicos de series de potencias fraccionarias. Mientras que la dinámica cualitativa (como la hiperciclicidad y el caos) de los operadores de Caputo en espacios de Fréchet ha sido estudiada previamente, este trabajo se centra en un análisis cuantitativo dentro de un entorno de espacio de Banach. El problema central es determinar el costo óptimo de aproximar un vector objetivo desde un estado inicial bajo la acción del operador de Caputo. Específicamente, los autores buscan resolver dos problemas de optimización: la "aproximación equilibrada" (minimizar el máximo del desplazamiento inicial y el error terminal) y el problema de "llegada exacta" (encontrar la perturbación de norma mínima para alcanzar un objetivo exactamente en un tiempo prescrito). Además, el estudio tiene como objetivo establecer umbrales agudos para la hiperciclicidad, la mezcla, el caos de Devaney y la mezcla disjunta de potencias, así como caracterizar la estructura de los puntos periódicos.

Metodología
Los autores construyen una clase específica de espacios de Banach, denotados como $X^p_{\alpha, \rho}$, que consisten en series de potencias fraccionarias $f(t) = \sum a_n \frac{\rho^n t^{\alpha n}}{\Gamma(\alpha n + 1)}$ donde la sucesión de coeficientes $(a_n)$ pertenece a $\ell^p$. La norma se define directamente sobre estos coeficientes.

1. Conjugación por Desplazamiento: La idea metodológica central es la identificación del operador de Caputo $C_\alpha$ en $X^p_{\alpha, \rho}$ como un operador conjugado (mediante un isomorfismo isométrico) a un desplazamiento hacia atrás unilateral escalado $\rho B$ en $\ell^p$. Específicamente, $J^{-1}_{\alpha, \rho} C_\alpha J_{\alpha, \rho} = \rho B$. Esta conjugación reduce el complejo problema del cálculo fraccionario al bien comprendido dinamismo del desplazamiento hacia atrás.
2. Optimización Explícita: Aprovechando la estructura de desplazamiento, los autores derivan fórmulas explícitas para las perturbaciones óptimas. Utilizan las propiedades del desplazamiento hacia atrás $B$ y su inverso derecho (el desplazamiento hacia adelante) para resolver los problemas de minimización del desplazamiento inicial y el error terminal.
3. Reconstrucción Periódica: Los puntos periódicos se construyen repitiendo bloques finitos de coeficientes. Los autores analizan la repetición geométrica de estos bloques para derivar fórmulas de norma exacta y demostrar que estos puntos periódicos son densos.
4. Mezcla Disjunta: Para distintas potencias positivas del operador, se emplea una construcción de "bloques separados". Al colocar los coeficientes objetivo en intervalos disjuntos del espacio de sucesiones, los autores controlan múltiples objetivos simultáneamente para establecer propiedades de mezcla disjunta.
5. Incrustación: Los espacios de Banach $X^p_{\alpha, \rho}$ se incrustan en el espacio de Fréchet de Mittag–Leffler–Caputo estudiado en la literatura previa. Los autores demuestran que estas incrustaciones son compactas y densas, lo que permite la transferencia de las propiedades dinámicas desde las realizaciones de Banach al entorno de Fréchet.

Contribuciones Clave y Resultados

• Fórmulas de Aproximación Óptima: El artículo proporciona valores explícitos y alcanzados para el defecto local $\Delta_{A,n}(f, g)$, que mide el error simultáneo mínimo en el desplazamiento inicial y el error terminal para un operador $A = \lambda C_\alpha$. La fórmula se da por:
  $$\Delta_{A,n}(f, g) = \frac{\|g - A^n f\|}{1 + (|\lambda|\rho)^n}$$
  Se construye explícitamente una perturbación minimizadora única $h$, que alcanza errores iniciales y terminales iguales.
• Solución de Llegada Exacta: Para el problema de alcanzar un objetivo $g$ exactamente en el tiempo $n$ ($A^n(f+h)=g$), el artículo establece la existencia de una solución única de norma mínima. La norma de esta perturbación se calcula explícitamente como $(|\lambda|\rho)^{-n} \|g - A^n f\|$.
• Umbrales Dinámicos Agudos: El estudio identifica un umbral preciso para el comportamiento caótico. El operador $\lambda C_\alpha$ es hipercíclico, de mezcla topológica y caótico de Devaney si y solo si $|\lambda|\rho > 1$. Por debajo o en este umbral ($|\lambda|\rho \le 1$), el operador es estable (las órbitas convergen a cero) y no posee puntos periódicos no triviales.
• Estructura Periódica: Se demuestra que cada punto periódico corresponde a un bloque finito de coeficientes cuya repetición geométrica genera el vector completo. El artículo prueba que cada conjunto abierto no vacío contiene puntos de todo periodo mínimo suficientemente grande, confirmando la densidad de los puntos periódicos.
• Mezcla Disjunta: Los autores prueban que para distintas potencias positivas $r_1, \dots, r_N$, la tupla $(\lambda C_\alpha)^{r_1}, \dots, (\lambda C_\alpha)^{r_N}$ es de mezcla disjunta si y solo si $|\lambda|\rho > 1$. Esto se logra mediante estimaciones de error cuantitativas que involucran colas de coeficientes y decaimiento geométrico.
• Relación con Espacios de Fréchet: El artículo demuestra que las realizaciones de Banach $X^p_{\alpha, \rho}$ se incrustan de forma compacta y densa en el espacio de Fréchet de Mittag–Leffler–Caputo. Esta conexión permite la recuperación de las propiedades dinámicas (mezcla, caos) para la realización del espacio de Fréchet, siempre que el parámetro del radio $\rho$ se elija de tal manera que $|\lambda|\rho > 1$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una "evaluación cuantitativa" de la condición de aproximación local, que sirve como una formulación de norma de la transitividad clásica. Al convertir las estimaciones de coeficientes en costos de aproximación explícitos, el trabajo cierra la brecha entre las propiedades dinámicas abstractas y las métricas computables.
Los autores afirman que sus resultados "complementan" las realizaciones continuas previas al determinar costos óptimos en un un específico espacio de norma de Banach, mientras que el trabajo previo describía la aproximación mediante vecindades de normas de gráfico. Las fórmulas explícitas para las perturbaciones minimizadoras y los umbrales agudos para el caos se presentan como los resultados centrales.
El estudio enfatiza que la "conjugación por desplazamiento" fija la norma en la cual se calculan los costos de aproximación, lo que permite la derivación de fórmulas exactas para los problemas de aproximación equilibrada y de llegada exacta. El artículo concluye que estas realizaciones acotadas, conectadas vía incrustaciones compactas al espacio de Fréchet, ofrecen un marco completo y computable para comprender la dinámica de la diferenciación de Caputo, incluyendo la existencia de subespacios invariantes estables densos dentro de las realizaciones caóticas.