Asynchronous exponential growth for structured population models in measure space

Resumen Técnico: Crecimiento Exponencial Asíncrono para Modelos de Población Estructurada en el Espacio de Medidas

Formulación del Problema
Este artículo investiga el comportamiento asintótico de los modelos de población fisiológicamente estructurados formulados en el espacio de las medidas de Radon no negativas, $\mathcal{M}_+(\mathbb{R}_+)$. Si bien existen resultados clásicos para tales modelos en el espacio de las funciones integrables de Lebesgue ($L^1$), donde la convergencia implica la convergencia del tamaño total de la población, estos marcos teóricos enfrentan limitaciones cuando las soluciones desarrollan fenómenos de concentración (por ejemplo, masas de Dirac) o cuando las poblaciones se representan mediante cohortes discretas.

Los autores consideran un modelo de población estructurada lineal gobernado por un operador de transporte (que describe el desarrollo con respecto a una variable fisiológica $x$), un término de decaimiento lineal (mortalidad) y un operador integral (nacimiento/reclutamiento). El modelo está definido como:
$$\begin{cases} \partial_t \mu_t + \partial_x (b(x) \mu_t) + c(x) \mu_t = \int_{\mathbb{R}_+} \eta(x)(y) \, d\mu_t(y), & (t, x) \in \mathbb{R}_+ \times \mathbb{R}_+, \\ b(0) D_\lambda \mu_t(0) = 0, & t \in \mathbb{R}_+, \\ \mu_{t=0} = \mu_0, \end{cases}$$
donde $\mu_t$ es una solución con valores en medidas, $b(x)$ es la velocidad de transporte, $c(x)$ es la tasa de mortalidad y $\eta(x)$ es el núcleo de reclutamiento.

El espacio de estados está equipado con la norma plana (distancia de Lipschitz acotada dual), $\|\cdot\|_{BL^*}$, en lugar de la norma de variación total. Esta elección está motivada por el hecho de que los semigrupos de transporte no son fuertemente continuos con respecto a la norma de variación total, mientras que sí lo son en la topología de la métrica plana.

Metodología
Los autores emplean la teoría de semigrupos y el análisis espectral adaptados al espacio de medidas. Los pasos metodológicos clave incluyen:

1. Bien posed de la solución y construcción del semigrupo: El modelo se reformula como un problema de Cauchy abstracto $\frac{d\mu_t}{dt} = (B + C + N)\mu_t$ en el retículo de Banach $E = \mathcal{M}(\mathbb{R}_+)$ equipado con la norma plana. Los autores establecen que el problema genera un semigrupo positivo y fuertemente continuo $\{T(t)\}_{t \geq 0}$.
2. Análisis de regularidad: Una contribución técnica clave consiste en analizar la regularidad inducida por el operador de reclutamiento. Los autores demuestran que, para cualquier tiempo positivo $t > 0$, la solución no puede acumular masa cerca del origen más rápido que linealmente con respecto a la medida de Lebesgue. Esto asegura la acotación de la derivada de Radon-Nikodym en el origen, aun cuando la solución pueda retener componentes atómicas en otras partes.
3. Análisis espectral mediante cuasi-compacidad: Dado que el espacio de estados es no acotado, el semigrupo no es eventualmente compacto, lo que hace inaplicables los teoremas espectrales clásicos. En su lugar, los autores utilizan el concepto de cuasi-compacidad. Ellos descomponen el generador $A = B + C + N$ y analizan el semigrupo adjunto generado por $B^* + C^*$. Al demostrar que el semigrupo generado por las partes de transporte y decaimiento ($B+C$) es estrictamente contractivo (usando una norma equivalente específica en el espacio dual $BL(\mathbb{R}_+)$), demuestran que la cota de crecimiento esencial $\omega_{ess}(T)$ es negativa.
4. Irreducibilidad: Los autores formulan una condición suficiente para que el semigrupo sea irreducible, requiriendo que el soporte del núcleo de reclutamiento $\eta(y)$ para valores grandes de $y$ incluya el origen. Esto asegura que la masa pueda propagarse desde cualquier estado hacia la frontera, una condición interpretada biológicamente como individuos grandes produciendo descendencia de tamaño mínimo.

Resultados Clave
El resultado principal, el Teorema 3.7, establece el comportamiento asintótico de las soluciones con valores en medidas bajo los supuestos de la Sección 2.4 (que incluyen la regularidad de los coeficientes, la positividad del transporte y una cota inferior de la mortalidad relativa a su derivada). El teorema establece que uno de los siguientes casos ocurre:

1. Estabilidad Exponencial: El semigrupo es uniformemente exponencialmente estable ($\omega_0(T) < 0$), lo que significa que las soluciones decaen a cero.
2. Crecimiento Exponencial Asíncrono (AEG): Si la cota espectral $s(A) \geq 0$, el semigrupo se descompone en una parte dominante y un resto. Específicamente, existe un autovalor dominante $\lambda^* \geq 0$ y una proyección de rango finito $P^*$ tales que:
   $$T(t) = e^{\lambda^* t} \sum_{j=0}^{k^*-1} \frac{t^j}{j!} (A - \lambda^*)^j P^* + Q(t),$$
   donde el resto $Q(t)$ decae exponencialmente más rápido que el término dominante.
3. Convergencia a un Atractor Unidimensional: Si el semigrupo es adicionalmente irreducible, el autovalor dominante $\lambda^*$ es simple (multiplicidad uno) y la proyección $P^*$ es de rango uno. En consecuencia, la solución exhibe un crecimiento exponencial asíncrono:
   $$\lim_{t \to \infty} e^{-\lambda^* t} T(t) = P^*,$$
   lo que implica la convergencia a un espacio propio de dimensión uno globalmente atractor.

Significancia y Reivindicaciones
El artículo afirma extender la teoría clásica del crecimiento exponencial asíncrono, establecida tradicionalmente en espacios $L^1$, al espacio de las medidas de Radon dotado de la métrica plana. Los autores señalan que esta extensión no es trivial porque:

• Evita la falla de la continuidad fuerte de los semigrupos de transporte en la norma de variación total.
• Acomoda soluciones con fenómenos de concentración y cohortes discretas sin requerir una regularización artificial.
• Maneja espacios de estados no acotados utilizando la cuasi-compacidad en lugar de la eventual compacidad, eliminando la necesidad de una cota superior para la variable de estructuración (una restricción común en estudios anteriores).

Los autores afirman que, según su conocimiento, este es el primer resultado que establece el crecimiento exponencial asíncrono para una clase amplia de modelos de población fisiológicamente estructurados formulados en espacios de medidas de Radon. El marco se presenta como genérico pero aplicable a contextos en biología celular, evolución y ecología, y potencialmente extensible a modelos de coagulación-fragmentación.