On Koopman Resolvents and Frequency Response of Nonlinear Systems

Este artículo propone una nueva formulación de la respuesta en frecuencia para sistemas no lineales dentro del marco del operador de Koopman, generalizando el enfoque clásico de plantas LTI mediante la transformada de Laplace y la teoría de resolventes para permitir el análisis de ganancia y fase mediante diagramas de Bode.

Lo esencial

Imagina que tienes un sistema complejo, como el clima, el tráfico de una ciudad o incluso el corazón de una persona. En ingeniería, a menudo queremos saber cómo reacciona este sistema si le "tocamos" con un ritmo constante, como si le dieras un empujón rítmico. A esto lo llamamos respuesta en frecuencia.

Para los sistemas simples y lineales (como un resorte perfecto), los ingenieros llevan décadas usando un mapa muy famoso llamado Diagrama de Bode. Es como una brújula que te dice: "Si toco esta nota, el sistema vibrará más fuerte (ganancia) o más débil, y se retrasará un poco (fase)".

El problema:
La mayoría de los sistemas del mundo real no son simples. Son no lineales. Significa que si los empujas un poco, reaccionan de una forma; si los empujas mucho, reaccionan de otra totalmente distinta y caótica. Para estos sistemas "tercos", el mapa clásico (Diagrama de Bode) no funciona. Los ingenieros han tenido que usar métodos complicados y confusos que solo miran el tiempo, pero no el "ritmo" o la frecuencia.

La solución de este papel:
Los autores de este artículo (Yoshihiko Susuki y sus colegas) han creado una nueva brújula para estos sistemas complejos. Han encontrado una manera de aplicar el Diagrama de Bode a sistemas no lineales, pero usando una herramienta matemática mágica llamada Operador de Koopman.

Aquí te explico cómo funciona con una analogía sencilla:

1. El Truco del "Espejo Infinito" (Operador de Koopman)

Imagina que tienes un sistema no lineal, como un río con remolinos. Es muy difícil predecir dónde irá una hoja de papel (el estado del sistema) porque el agua gira de formas locas.

El Operador de Koopman es como un espejo mágico que proyecta la realidad del río a un "mundo paralelo" de dimensiones infinitas. En este mundo paralelo, aunque el río sigue siendo caótico, las reglas del juego cambian: todo se vuelve lineal y predecible. Es como si pudieras ver el caos del río desde una perspectiva tan alta y amplia que, de repente, todo parece una línea recta perfecta.

2. La "Resolvente" (La Llave Maestra)

En este mundo paralelo, los autores usan una herramienta llamada Resolvente. Piensa en la resolvente como una llave maestra que abre las puertas de los secretos del sistema.

Cuando le das al sistema un ritmo (una frecuencia), la llave maestra busca en el espejo infinito y encuentra los "puntos clave" (llamados valores propios o eigenvalores) donde el sistema resuena.

3. El Resultado: Un Mapa para el Caos

Lo que hacen estos investigadores es:

1. Toman el sistema no lineal y lo ponen en su "mundo paralelo" (Koopman).
2. Usan la llave maestra (Resolvente) para encontrar cómo responde el sistema a un ritmo específico.
3. Traducen esa respuesta de vuelta a nuestro mundo real.

¿Qué obtienen al final?
Obtienen un Diagrama de Bode (un gráfico de ganancia y fase) para sistemas no lineales.

• Ganancia: Te dice cuánto se amplificará la señal (¿El sistema gritará o susurrará?).
• Fase: Te dice cuánto se retrasará la respuesta (¿Cuánto tardará el sistema en reaccionar?).

¿Por qué es importante?

Antes, si querías analizar un sistema no lineal complejo, tenías que hacer simulaciones costosas y difíciles de interpretar. Ahora, con este método, puedes:

• Visualizar el comportamiento como si fuera un sistema simple.
• Diseñar mejores controles (por ejemplo, para que un dron no se caiga con viento fuerte o para estabilizar una red eléctrica).
• Entender los "armónicos": A veces, si tocas una nota, el sistema no solo responde con esa nota, sino que crea otras (como un acorde). Este método puede detectar esas notas ocultas (subarmónicos y sobrearmónicos) que antes eran invisibles.

En resumen

Este papel es como haber inventado una gafas de visión nocturna para la ingeniería de sistemas complejos. Antes, ver el comportamiento de un sistema no lineal en el dominio de la frecuencia era como intentar leer un libro en la oscuridad. Ahora, gracias a la "magia" del Operador de Koopman y su Resolvente, podemos encender la luz y ver el mapa completo, permitiendo a los ingenieros diseñar sistemas más seguros, eficientes y predecibles, incluso cuando el mundo se vuelve caótico.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "On Koopman Resolvents and Frequency Response of Nonlinear Systems" (Sobre Resolventes de Koopman y Respuesta en Frecuencia de Sistemas No Lineales), estructurado según los puntos solicitados.

1. Problema y Motivación

La respuesta en frecuencia es un concepto fundamental en la ingeniería de control para analizar y sintetizar sistemas dinámicos. Para sistemas lineales e invariantes en el tiempo (LTI), la respuesta en frecuencia está bien definida como una función compleja de la frecuencia angular, permitiendo el uso de herramientas estándar como los diagramas de Bode (ganancia y fase).

Sin embargo, para sistemas no lineales, la definición de una respuesta en frecuencia rigurosa y general ha sido un desafío. Los enfoques existentes (como el método del balance armónico, la función descriptiva o las series de Volterra) se basan principalmente en formulaciones en el dominio del tiempo o del espacio de estados, careciendo de una teoría unificada en el dominio de la frecuencia comparable a la de los sistemas LTI. El objetivo de este trabajo es cerrar esta brecha proponiendo una formulación de la respuesta en frecuencia para sistemas no lineales que sea una generalización natural del enfoque clásico, guiada por la teoría de operadores lineales.

2. Metodología

Los autores utilizan el marco del Operador de Koopman, una herramienta que permite analizar sistemas dinámicos no lineales mediante operadores lineales (aunque de dimensión infinita) que actúan sobre un espacio de funciones observables. La metodología se desarrolla en los siguientes pasos:

• Formulación del Producto Sesgado (Skew-Product): Para manejar la entrada periódica $u(t) = u_0 e^{i\omega t}$, el sistema no autónomo se transforma en un sistema autónomo equivalente en un espacio de estado extendido $(x, u)$. Esto se logra definiendo un sistema aumentado donde la entrada evoluciona según $\dot{u} = i\omega u$.
• Generador de Koopman Forzado: Se define un generador de Koopman ($L_{forced}$) para este sistema aumentado, que combina el campo vectorial del sistema original y el operador diferencial asociado a la entrada.
• Resolvente de Koopman: Se utiliza la teoría espectral del operador de Koopman. La transformada de Laplace de la salida del sistema se representa como la acción del resolvente de Koopman $R(s; L_{forced}) = (sI - L_{forced})^{-1}$ sobre la función observable $g$.
• Extracción Espectral: La respuesta en frecuencia se identifica como el residuo de la transformada de Laplace en los polos correspondientes a las frecuencias de interés ($n\omega$ o $\omega/n$). Estos polos están asociados al espectro puntual del generador $L_{forced}$.

3. Contribuciones Clave

El artículo presenta tres contribuciones principales:

1. Nueva Formulación Teórica: Se propone una definición rigurosa de la respuesta en frecuencia para sistemas no lineales basada en el resolvente de Koopman. Esta definición generaliza el enfoque clásico de los sistemas LTI.
2. Caracterización como Modos de Koopman: Se demuestra que la respuesta en frecuencia (tanto para armónicos fundamentales como para subarmónicos) corresponde directamente a los modos de Koopman del sistema. Específicamente, la respuesta $H_n(\omega; g)$ es el coeficiente asociado al autovalor $in\omega$ en la descomposición espectral.
3. Condiciones de Existencia: Se establecen condiciones suficientes para la existencia de la respuesta en frecuencia en tres clases de dinámicas:
   • Sistemas LTI (como caso particular).
   • Dinámicas globalmente estables (con soluciones periódicas estables).
   • Dinámicas ergódicas (en atractores compactos).

4. Resultados Principales

• Definición de Respuesta en Frecuencia:
  • Para armónicos ($n\omega$): Si $in\omega$ es un polo simple del resolvente, la respuesta $H_n(\omega; g)$ se calcula como el residuo de la transformada de Laplace en ese polo.
  • Para subarmónicos ($\omega/n$): Se aplica un razonamiento similar para frecuencias $\omega/n$, asociadas a autovalores $i\omega/n$.
• Representación Compleja y Diagramas de Bode: La respuesta resultante es una función compleja de la frecuencia angular. Esto permite construir diagramas de Bode (ganancia y fase) para sistemas no lineales, visualizando cómo el sistema amplifica o atenúa y desfasa las señales de entrada en diferentes frecuencias.
• Ejemplos Resolubles:
  • Caso Lineal 1D: Se recupera la función de transferencia clásica $b/(i\omega - a)$.
  • Caso No Lineal 2D: Se analiza un sistema con un término cuadrático ($x_2^2$). Los resultados muestran que, debido a la no linealidad, la salida $x_1$ contiene únicamente componentes de frecuencia $2\omega$(segundo armónico), mientras que$x_2$contiene solo la frecuencia fundamental$\omega$. Los diagramas de Bode derivados reflejan el comportamiento de un elemento de retardo de 3er orden para el segundo armónico.
• Conexión con Descomposición de Modos Dinámicos (DMD): Al identificar la respuesta en frecuencia con los modos de Koopman, se habilita su estimación numérica utilizando técnicas establecidas como la Descomposición de Modos Dinámicos (DMD).

5. Significado e Impacto

Este trabajo es significativo porque:

• Unificación Teórica: Proporciona un puente sólido entre el análisis de sistemas no lineales y la teoría clásica de control en el dominio de la frecuencia, algo que antes carecía de una base teórica unificada basada en operadores.
• Herramientas de Análisis y Síntesis: Al permitir el uso de diagramas de Bode para sistemas no lineales, abre la puerta a nuevas metodologías para el análisis de estabilidad, pasividad y síntesis de controladores para sistemas no lineales de manera sistemática e intuitiva.
• Viabilidad Computacional: Al vincular la respuesta en frecuencia con los modos de Koopman, ofrece una vía práctica para calcular estas respuestas en sistemas complejos donde las soluciones analíticas cerradas son imposibles, aprovechando métodos numéricos de descomposición espectral.
• Generalización: Demuestra que la teoría de sistemas LTI es un caso particular de esta formulación más general, validando la consistencia del enfoque propuesto.

En resumen, el artículo establece una base teórica sólida para extender el concepto de respuesta en frecuencia a sistemas no lineales mediante el uso de resolventes de Koopman, ofreciendo tanto una comprensión teórica profunda como herramientas prácticas para el análisis espectral de sistemas complejos.