Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities

Aquí se presenta un resumen técnico detallado del artículo "Linealización por realimentación de EDPs hiperbólicas con no linealidades de Volterra" de Miroslav Krstic.

1. Formulación del Problema

El artículo aborda la linealización por realimentación de una clase específica de sistemas no lineales de dimensión infinita: ecuaciones en derivadas parciales (EDP) hiperbólicas de primer orden perturbadas por no linealidades de Volterra espaciales.

La planta se modela como una ecuación de transporte con un término fuente no lineal:
$$u_t(x, t) = u_x(x, t) + F[u](x, t), \quad x \in [0, 1), \ t \ge 0$$
sujeta al control de frontera $u(1, t) = U(t)$ y a la condición inicial $u(x, 0) = u_0(x)$.

La no linealidad $F[u]$ es una serie de Volterra infinita en la variable espacial que comienza en el segundo orden:
$$F[u](x, t) = \sum_{n=2}^{\infty} \int_{T_n(x)} f_n(x, \xi_1, \dots, \xi_n) \prod_{i=1}^n u(\xi_i, t) \, d\xi_n \dots d\xi_1$$
donde $T_n(x)$ es el dominio simplex $0 \le \xi_n \le \dots \le \xi_1 \le x$. Se asume que los núcleos $f_n$ satisfacen cotas de crecimiento específicas (crecimiento factorial) para garantizar la convergencia.

El Objetivo: Construir una transformación de estado no lineal (serie de Volterra) y una ley de realimentación de frontera tal que el sistema en lazo cerrado se transforme en una ecuación de transporte lineal estable con condiciones de frontera homogéneas ($w_t = w_x, w(1,t)=0$), logrando así estabilidad exponencial local en la norma $L^2$.

2. Metodología

El enfoque extiende la metodología de Backstepping, previamente aplicada a EDPs parabólicas y EDOs, al entorno no lineal hiperbólico. La estrategia central implica:

1. Transformación de Volterra: Se propone un cambio de variables no lineal:
   $$w(x, t) = u(x, t) - K[u](x, t)$$
   donde $K[u]$ es un operador de Volterra con núcleos desconocidos $k_n$.
2. Condición de Ajuste: Al sustituir la transformación en la dinámica de la planta y hacer cumplir la dinámica objetivo ($w_t = w_x$), se deriva una jerarquía de EDPs lineales para los núcleos $k_n$.
3. Ecuaciones de Núcleo: Para cada orden $n \ge 2$, los núcleos satisfacen una ecuación de transporte lineal de primer orden en el simplex $T_n(1)$:
   $$\partial_x k_n + \sum_{i=1}^n \partial_{\xi_i} k_n = -f_n + \text{términos de acoplamiento de núcleos de orden inferior}$$
   Estas ecuaciones se resuelven recursivamente comenzando desde $n=2$.
4. Análisis de Convergencia:
   • Transformación Directa: Los autores establecen cotas $L^2$ sobre los núcleos $k_n$ utilizando una desigualdad recursiva derivada de la representación característica de la ecuación de transporte. Emplean argumentos de series mayorantes (comparando las normas de los núcleos con una serie de potencias convergente) para demostrar que la serie de Volterra para $K[u]$ converge en una vecindad del origen.
   • Transformación Inversa: A diferencia de trabajos anteriores que utilizaban la inversión formal de series, este artículo utiliza un argumento de mapeo de contracción en $L^2$ para probar la existencia y unicidad de la transformación inversa, proporcionando cotas de Lipschitz explícitas y un radio de invertibilidad.
5. Prueba de Estabilidad: La estabilidad del sistema objetivo (convergencia en tiempo finito a cero) se transfiere al sistema original utilizando las propiedades bi-Lipschitz de la transformación y su inversa.

3. Contribuciones Clave

A. Extensión a EDPs Hiperbólicas

Esta es la primera extensión exitosa de la linealización por realimentación de EDPs no lineales desde la clase parabólica (Vazquez & Krstic, 2008) a la clase hiperbólica.

• Diferencia Estructural: Mientras que las ecuaciones de núcleo parabólicas son EDPs de segundo orden que requieren estimaciones de energía, las ecuaciones de núcleo hiperbólicas son ecuaciones de transporte de primer orden.
• Ventaja Técnica: Esto permite soluciones explícitas a lo largo de las características, simplificando la derivación de cotas de núcleo mediante desigualdades tipo Grönwall en lugar de métodos de energía complejos.

B. Transformación Inversa Rigurosa

El artículo reemplaza la inversión formal de series Boyd–Chua utilizada en casos parabólicos con un argumento directo de mapeo de contracción.

• Resultado: Esto produce estimaciones cuantitativas explícitas para la constante de Lipschitz del mapa inverso y el radio de la región de atracción, las cuales son cruciales para garantías prácticas de estabilidad.

C. Diferenciabilidad de Fréchet

El artículo demuestra que la transformación de backstepping $T = I - K$ y su inversa son diferenciables de Fréchet (específicamente $C^1$) en una vecindad del origen en $L^2$. Esto establece la transformación como un verdadero difeomorfismo de dimensión infinita, análogo a los cambios de coordenadas utilizados en la linealización por realimentación de EDOs de dimensión finita.

D. Construcción Libre de EDPs (Subclase Chen–Fliess)

Se presenta un avance teórico significativo en la Sección 11 para una subclase "adaptada al transporte" de no linealidades de Volterra (relacionada con las series de Chen–Fliess).

• Reducción: Para plantas cuyos núcleos admiten una expansión específica en base de brecha polinómica, la cascada infinita de EDPs en simplex se reduce a una cascada triangular de EDOs escalares en $[0, 1]$.
• Cuaratura: Los núcleos pueden calcularse mediante cuadratura escalar (integración) sin resolver ninguna EDP. Esto demuestra que, para ciertas clases de dimensión infinita, el problema de linealización por realimentación es fundamentalmente unidimensional en la variable espacial.

4. Resultados Clave

1. Estabilidad Exponencial Local: Se demuestra que el sistema en lazo cerrado es localmente exponencialmente estable en la norma $L^2$. La región de atracción se caracteriza explícitamente mediante condiciones de ganancia pequeña que involucran las constantes de Lipschitz de la transformación.
2. Convergencia de la Serie de Volterra: El artículo proporciona cotas rigurosas sobre el crecimiento de los núcleos de backstepping, asegurando que la serie de Volterra converge para condiciones iniciales dentro de una bola $L^2$ específica.
3. Validación Numérica: Se simula un ejemplo no lineal de Ecuación Diferencial-Algebraica Parcial (EDAP). Los resultados muestran que:
   • Los sistemas de lazo abierto explotan en tiempo finito.
   • La realimentación truncada (de bajo orden) retrasa pero no previene la explosión.
   • La linealización por realimentación de Volterra completa (o de orden suficientemente alto) estabiliza exitosamente el sistema.
4. Solución Analítica para Clase Específica: Para la subclase Chen–Fliess, el artículo proporciona un algoritmo explícito para calcular los coeficientes del controlador utilizando únicamente integrales escalares, evitando la necesidad de integración en simplex de alta dimensión.

5. Significado

• Hito Teórico: Resuelve un desafío de décadas en la teoría de control: la linealización por realimentación de EDPs hiperbólicas no lineales. Confirma que el enfoque de la serie de Volterra es el marco correcto para el control no lineal de dimensión infinita.
• Cambio Metodológico: Al utilizar la estructura de transporte de las EDPs hiperbólicas, el artículo simplifica la maquinaria analítica requerida para las cotas de núcleo en comparación con el caso parabólico.
• Perspectiva Computacional: El descubrimiento de que una clase específica de dimensión infinita admite una realización libre de EDPs (mediante EDOs escalares) desafía la suposición de que el control de EDPs no lineales debe involucrar la resolución de EDPs de alta dimensión. Abre una nueva vía para diseñar controladores para sistemas dominados por transporte con no linealidades.
• Homenaje a Isidori: El trabajo sirve como tributo a la teoría de control geométrico fundacional de Alberto Isidori, traduciendo exitosamente conceptos como la linealización por realimentación y los difeomorfismos desde EDOs de dimensión finita al dominio de EDPs de dimensión infinita.

En resumen, este artículo proporciona un marco completo, riguroso y con perspectivas computacionales para estabilizar una amplia clase de EDPs hiperbólicas no lineales, cerrando la brecha entre la teoría de control no lineal geométrico y los sistemas de dimensión infinita.