Asynchronous exponential growth for structured population models in measure space

Resumo Técnico: Crescimento Exponencial Assíncrono para Modelos de População Estruturada em Espaço de Medidas

Formulação do Problema
Este artigo investiga o comportamento assintótico de modelos de população fisiologicamente estruturados formulados no espaço de medidas de Radon não negativas, $\mathcal{M}_+(\mathbb{R}_+)$. Embora resultados clássicos para tais modelos existam no espaço das funções integráveis de Lebesgue ($L^1$), onde a convergência implica a convergência do tamanho total da população, esses frameworks enfrentam limitações quando as soluções desenvolvem fenômenos de concentração (ex: massas de Dirac) ou quando populações são representadas por coortes discretas.

Os autores consideram um modelo de população linear governado por um operador de transporte (descrevendo o desenvolvimento em relação a uma variável fisiológica $x$), um termo de decaimento linear (mortalidade) e um operador integral (nascimento/recrutamento). O modelo é 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}$$
onde $\mu_t$ é uma solução de valor de medida, $b(x)$ é a velocidade de transporte, $c(x)$ é a taxa de mortalidade e $\eta(x)$ é o núcleo de recrutamento.

O espaço de estados é equipado com uma norma flat (distância de Lipschitz limitada dual), $\|\cdot\|_{BL^*}$, em vez da norma de variação total. Esta escolha é motivada pelo fato de que semigrupos de transporte não são fortemente contínuos com relação à norma de variação total, enquanto são fortemente contínuos na topologia da métrica flat.

Metodologia
Os autores empregam a teoria de semigrupos e análise espectral adaptadas ao espaço de medidas. As principais etapas metodológicas incluem:

1. Bem-posedura e Construção do Semigrupo: O modelo é reformulado como um problema de Cauchy abstrato $\frac{d\mu_t}{dt} = (B + C + N)\mu_t$ no reticulado de Banach $E = \mathcal{M}(\mathbb{R}_+)$ equipado com a norma flat. Os autores estabelecem que o problema gera um semigrupo positivo e fortemente contínuo $\{T(t)\}_{t \geq 0}$.
2. Análise de Regularidade: Uma contribuição técnica fundamental envolve a análise da regularidade induzida pelo operador de recrutamento. Os autores provam que, para qualquer tempo positivo $t > 0$, a solução não pode acumular massa próximo à origem mais rápido do que linearmente em relação à medida de Lebesgue. Isso garante a limitação da derivada de Radon-Nikodym na origem, mesmo que a solução possa reter componentes atômicas em outros pontos.
3. Análise Espectral via Quase-Compactação: Como o espaço de estados é não limitado, o semigrupo não é eventualmente compacto, tornando os teoremas espectrais clássicos inaplicáveis. Em vez disso, os autores utilizam o conceito de quase-compactação. Eles decompõem o gerador $A = B + C + N$ e analisam o semigrupo adjunto gerado por $B^* + C^*$. Ao provar que o semigrupo gerado pelas partes de transporte e decaimento ($B+C$) é estritamente contrativo (usando uma norma equivalente específica no dual de $BL(\mathbb{R}_+)$), eles demonstram que o limite de crescimento essencial $\omega_{ess}(T)$ é negativo.
4. Irredutibilidade: Os autores formulam uma condição suficiente para que o semigrupo seja irredutível, exigindo que o suporte do núcleo de recrutamento $\eta(y)$ para $y$ grande inclua a origem. Isso garante que a massa possa se propagar de qualquer estado para a fronteira, uma condição interpretada biologicamente como indivíduos grandes produzindo descendentes de tamanho mínimo.

Resultados Principais
O resultado principal, Teorema 3.7, estabelece o comportamento assintótico das soluções de valor de medida sob as Hipóteses 2.4 (que incluem regularidade dos coeficientes, positividade do transporte e um limite inferior na mortalidade em relação à sua derivada). O teorema afirma que um dos seguintes casos ocorre:

1. Estabilidade Exponencial: O semigrupo é uniformemente exponencialmente estável ($\omega_0(T) < 0$), significando que as soluções decaem para zero.
2. Crescimento Exponencial Assíncrono (CEA): Se o limite espectral $s(A) \geq 0$, o semigrupo decompõe-se em uma parte dominante e um remanescente. Especificamente, existe um autovalor dominante $\lambda^* \geq 0$ e uma projeção de posto finito $P^*$ tal que:
   $$T(t) = e^{\lambda^* t} \sum_{j=0}^{k^*-1} \frac{t^j}{j!} (A - \lambda^*)^j P^* + Q(t),$$
   onde o remanescente $Q(t)$ decai exponencialmente mais rápido que o termo dominante.
3. Convergência para um Atrator Unidimensional: Se o semigrupo for adicionalmente irredutível, o autovalor dominante $\lambda^*$ é simples (multiplicidade um), e a projeção $P^*$ é de posto um. Consequentemente, a solução exibe crescimento exponencial assíncrono:
   $$\lim_{t \to \infty} e^{-\lambda^* t} T(t) = P^*,$$
   implicando convergência para um espaço próprio unidimensional globalmente atrator.

Significância e Alegações
O artigo alega estender a teoria clássica do crescimento exponencial assíncrono, tradicionalmente estabelecida em espaços $L^1$, para o espaço de medidas de Radon dotado da métrica flat. Os autores observam que esta extensão não é trivial porque:

• Evita a falha da continuidade forte para semigrupos de transporte na norma de variação total.
• Acomoda soluções com fenômenos de concentração e coortes discretas sem exigir regularização artificial.
• Lida com espaços de estados não limitados utilizando quase-compactação em vez de eventual compactação, removendo a necessidade de um limite superior para a variável estruturante (uma restrição comum em estudos anteriores).

Os autores afirmam que, até onde é do conhecimento deles, este é o primeiro resultado estabelecendo o crescimento exponencial assíncrono para uma classe ampla de modelos de população fisiologicamente estruturados formulados em espaços de medidas de Radon. O framework é apresentado como genérico, mas aplicável a contextos em biologia celular, evolução e ecologia, e potencialmente extensível a modelos de coagulação-fragmentação.