Finite-Energy Weak Solutions to the Quantum Isothermal Euler System via a Logarithmic Schrödinger Approximation

Resumo Técnico: Soluções Fracas de Energia Finita para o Sistema de Euler Quântico Isotermal

1. O Problema Investigado

O artigo aborda a existência de soluções fracas de energia finita para o sistema de Euler quântico colisional (também conhecido como sistema de hidrodinâmica quântica - QHD) em um toro tridimensional ($T^3$), com uma lei de pressão linear específica: $P(\rho) = \rho$.

Este caso é particularmente desafiador e distinto de modelos anteriores por duas razões principais:

1. Energia Interna Logarítmica: A pressão $P(\rho) = \rho$ está associada a uma energia interna do tipo logarítmico, $f(\rho) = \rho \log \rho$. Isso conecta o sistema hidrodinâmico diretamente à Equação de Schrödinger Logarítmica (LogSE) através da Transformada de Madelung.
2. Ausência de Viscosidade: Diferente dos sistemas de Navier-Stokes quânticos, o sistema de Euler é não viscoso. Em modelos viscosos, a entropia de Bresch-Desjardins (BD) fornece estimativas adicionais que controlam o termo de gradiente $\nabla\sqrt{\rho}$, garantindo compacidade. Na ausência de viscosidade, essa ferramenta não está disponível, e a desigualdade de energia padrão não é suficiente para controlar a não linearidade ou o termo quântico (potencial de Bohm) perto do vácuo ($\rho \to 0$).

O objetivo central é justificar matematicamente a passagem da descrição ondulatória (Schrödinger) para a descrição hidrodinâmica (Euler) neste regime isoterma, construindo soluções globais sem depender de estimativas de Strichartz (que falham no caso logarítmico) ou viscosidade.

2. Metodologia e Abordagem

A prova utiliza uma estratégia de aproximação baseada na Equação de Schrödinger Logarítmica Regularizada, combinada com argumentos de compacidade e decomposição polar.

• Aproximação Regularizada:
  Para lidar com a singularidade da não linearidade logarítmica ($\log|\psi|^2$) quando $|\psi| \to 0$, o autor introduz uma regularização com um parâmetro $\delta > 0$:
  $$i\hbar\partial_t\psi_\delta + \frac{\hbar^2}{2}\Delta\psi_\delta = (\log(|\psi_\delta|^2 + \delta) + 1)\psi_\delta$$
  Isso remove a singularidade no vácuo, permitindo a existência global de soluções suaves para o problema regularizado, com conservação de massa e energia regularizada.

• Decomposição Polar e Estrutura Quadrática:
  O artigo utiliza a decomposição polar da função de onda $\psi_\delta = \sqrt{\rho_\delta} e^{iS_\delta}$ (ou formalmente $\psi = \sqrt{\rho}\phi$ com $|\phi|=1$).
  A chave da análise é a identidade quadrática fundamental:
  $$\hbar^2|\nabla\psi|^2 = \hbar^2|\nabla\sqrt{\rho}|^2 + |\Lambda|^2$$
  onde $\Lambda = \hbar\sqrt{\rho}\nabla S$ é o momento.
  Essa estrutura permite que a convergência forte de $\nabla\psi_\delta$ em $L^2$ implique a convergência forte de $\nabla\sqrt{\rho_\delta}$ e $\Lambda_\delta$, contornando a dificuldade de obter compacidade diretamente nas variáveis hidrodinâmicas.

• Passagem ao Limite ($\delta \to 0$):

  1. Existência para a LogSE Limitada: Demonstra-se que a sequência de soluções regularizadas converge para uma solução fraca da Equação de Schrödinger Logarítmica não regularizada.
  2. Identidade de Energia: Prova-se que a solução limite satisfaz uma igualdade de energia (e não apenas uma desigualdade). Isso é crucial, pois a conservação exata da energia permite recuperar a convergência forte das normas $L^2$ dos gradientes.
  3. Convergência Forte: A combinação da convergência fraca (garantida por estimativas de energia) e a convergência das normas (garantida pela identidade de energia) resulta na convergência forte de $\nabla\psi_\delta$ em $L^2$.
  4. Limite Hidrodinâmico: Com a convergência forte dos gradientes, os termos não lineares e o termo de Bohm podem ser passados ao limite, recuperando o sistema de Euler quântico.

3. Principais Resultados

• Teorema Principal (Teorema 1): Para dados iniciais $\psi_0 \in H^1(T^3)$ com energia finita ($|\psi_0|^2 \log |\psi_0|^2 \in L^1$), existe uma solução fraca global de energia finita $(\rho, J)$ para o sistema de Euler quântico isoterma ($P(\rho)=\rho$) no intervalo de tempo $[0, T)$.
• Conservação de Energia: As soluções construídas satisfazem uma igualdade de energia exata para todo $t > 0$:
  $$E(t) = \int_{T^3} \left( \frac{\hbar^2}{2}|\nabla\sqrt{\rho}|^2 + \frac{1}{2}|\Lambda|^2 + \rho \log \rho \right) dx = E(0)$$
• Convergência da Aproximação: A sequência de soluções da equação de Schrödinger regularizada converge para a solução do sistema hidrodinâmico, validando a aproximação de Madelung neste contexto.
• Unicidade da Solução da LogSE: O artigo também estabelece a unicidade da solução fraca para a Equação de Schrödinger Logarítmica na classe de energia natural, utilizando estimativas de energia $L^2$ e a estrutura da não linearidade.

4. Contribuições Chave e Inovações

1. Novo Marco para QHD Isotérmico: O trabalho fornece a primeira construção rigorosa de soluções fracas de energia finita para o sistema de Euler quântico com pressão linear ($P=\rho$) sem o uso de viscosidade artificial ou estimativas de Strichartz.
2. Superação da Falta de Compacidade: O autor demonstra que a estrutura quadrática da energia (via decomposição polar) combinada com a identidade de energia da equação de Schrödinger subjacente é suficiente para obter a compacidade forte necessária, superando a barreira da falta da entropia de Bresch-Desjardins em sistemas não viscosos.
3. Regularização Natural: A regularização logarítmica proposta não é apenas um artifício técnico, mas é adaptada naturalmente à estrutura termodinâmica do sistema (energia interna logarítmica), preservando as propriedades físicas essenciais durante o processo de limite.
4. Generalidade do Método: A análise sugere um framework robusto de aproximação via Schrödinger para outros modelos de hidrodinâmica quântica que possuem componentes de energia interna isoterma.

5. Significado e Impacto

Este artigo preenche uma lacuna importante na teoria matemática dos fluidos quânticos. Enquanto a existência de soluções para o sistema de Euler quântico com pressão polinomial ($P=\rho^\gamma, \gamma > 1$) foi estudada anteriormente (muitas vezes usando viscosidade ou estimativas de dispersão), o caso isoterma ($P=\rho$) permanece tecnicamente mais difícil devido à natureza singular da não linearidade logarítmica.

Ao estabelecer a existência global de soluções fracas de energia finita, o trabalho valida o modelo de Euler quântico isoterma como uma descrição física consistente para sistemas como superfluidos e gases de Bose-Einstein em regimes onde a pressão é linear. Além disso, o método desenvolvido oferece novas ferramentas analíticas para lidar com a interação entre termos quânticos (potencial de Bohm) e não linearidades singulares em equações de evolução sem dissipação.