Global existence of small data solutions to 3-D semilinear Euler-Poisson-Darboux equations

Problema
O artigo aborda a existência global de soluções fracas para dados pequenos da equação de Euler-Poisson-Darboux semilinear $n$-dimensional:
$$\square u + \frac{\mu}{t} \partial_t u = |u|^p, \quad t \ge 1, \, x \in \mathbb{R}^n$$
onde $\mu > 0$ e $p > 1$. A questão central em aberto refere-se ao expoente crítico $p_{\text{crit}}(n, \mu) = \max\{p_s(n+\mu), p_f(n)\}$, onde $p_s$ é o expoente de Strauss e $p_f(n) = 1 + 2/n$ é o expoente de Fujita. Embora resultados de explosão (blow-up) estejam estabelecidos para $1 < p \le p_{\text{crit}}(n, \mu)$ e a existência global esteja resolvida para as dimensões $n=1, 2$, o caso para $n=3$ permanece parcialmente em aberto. Especificamente, o artigo foca no regime onde $\mu \ge 14/5$, para o qual o expoente crítico é determinado pelo expoente de Fujita $p_f(3) = 5/3$. Os autores visam provar a existência global para dados iniciais pequenos quando $p > \max\{5/3, 1 + 2/\mu\}$.

Metodologia
Os autores empregam uma combinação do método de campos vetoriais e uma análise delicada de decaimento temporal adaptada ao operador linear de Euler-Poisson-Darboux 3-D $\square + \frac{\mu}{t} \partial_t$.

1. Representação Explícita via Funções Especiais: A equação homogênea linear é resolvida explicitamente usando transformadas de Fourier. Os operadores de solução são expressos em termos de funções de Bessel ($J_\nu, Y_\nu$) e funções de Hankel ($H^\pm_\nu$). Os autores distinguem cuidadosamente os casos onde o parâmetro de ordem $\rho = -(\mu+1)/2$ é um inteiro (exigindo funções de Bessel de segunda espécie) e casos de não-inteiros, utilizando propriedades assintóticas e relações de recorrência dessas funções especiais para derivar estimativas precisas.
2. Normas de Campos Vetoriais: Para lidar com a falta de comutatividade entre o operador $\square + \frac{\mu}{t} \partial_t$ e os campos vetoriais padrão (uma limitação observada em trabalhos anteriores como [16]), os autores introduzem normas de campos vetoriais específicas $\|v\|_{Z, s, (p,q)}$. Essas normas envolvem derivadas geradas pelo conjunto $Z = \{\partial, L_0, L_j, \Omega_{kl}\}$, onde $L_0$ é o campo vetorial de escala, $L_j$ são boosts de Lorentz e $\Omega_{kl}$ são rotações.
3. Imersões de Sobolev em $S^2$: Uma inovação técnica fundamental é a derivação de uma imersão de Sobolev na esfera $S^2$ adaptada a essas normas. Diferente do caso 2-D onde $\|u\|_{(2,\infty)} \lesssim \|u\|_{Z,1,2}$, o caso 3-D requer a estimativa $\|u\|_{(2,\infty)} \lesssim \|u\|_{Z,1,2} + \|\partial u\|_{Z,1,2}$, que é crucial para controlar a não-linearidade.
4. Estimativas de Decaimento Temporal: Os autores estabelecem estimativas de decaimento temporal nítidas para equações lineares homogêneas e inhomogêneas em diferentes zonas de frequência (baixa, média e alta). Essas estimativas dependem do coeficiente de amortecimento $\mu$ e da dimensão $n=3$.
5. Argumento de Ponto Fixo: O problema não linear é reformulado como um problema de ponto fixo usando o princípio de Duhamel. Um princípio de contração é aplicado em um espaço de Banach ponderado $X(T)$, definido por normas envolvendo pesos temporais $t^{\mu/2}$ (para $14/5 \le \mu < 3$) ou $t^{3/2 - 3/(1+\epsilon_1)}$ (para $\mu \ge 3$).

Contribuições Principidas e Resultados
O resultado principal, Teorema 1.1, estabelece a existência global de uma solução única $u$ para o problema 3-D (1.2) sob as seguintes condições:

• Amortecimento: $\mu \ge 14/5$.
• Não-linearidade: $p > \max\{5/3, 1 + 2/\mu\}$.
• Regularidade: A solução pertence a $C([1, \infty); H^2(\mathbb{R}^3)) \cap C^1([1, \infty); H^1(\mathbb{R}^3)) \cap C^2([1, \infty); L^2(\mathbb{R}^3))$.

O artigo fornece uma tabela detalhada de resultados conhecidos e casos não resolvidos, destacando que este trabalho resolve a questão em aberto para $\mu \ge 3$ (onde $p > 5/3$ é suficiente) e avança significativamente no caso para $14/5 \le \mu < 3$.

Significância e Limitações
O artigo afirma resolver a questão em aberto para $n=3$ no regime $\mu \ge 14/5$, desde que $p$ satisfaça o limite inferior derivado. Os autores notam explicitamente uma lacuna técnica para o intervalo $14/5 \le \mu < 3$: a condição $p > 1 + 2/\mu$ é ligeiramente mais restritiva do que o expoente crítico conjeturado $p_f(3) = 5/3$. A diferença, $p_f(3) - (1 + 2/\mu) = 2(3-\mu)/(3\mu)$, surge da condição de integrabilidade do integral temporal no termo de Duhamel (especificamente, a convergência de $\int_1^t \tau^{\mu/2 + (-\mu/2)p} d\tau$).

Os autores afirmam que a lacuna restante para $14/5 < \mu < 3$ e o caso $0 < \mu < 14/5$ (onde o expoente de Strauss domina) serão abordados em trabalhos futuros usando estimativas de Strichartz ponderadas no espaço-tempo de forma delicada. O presente trabalho baseia-se no método de campos vetoriais combinado com a análise de funções de Bessel, o que é suficiente para o regime $\mu \ge 14/5$, mas encontra limitações técnicas no intervalo de amortecimento intermediário.