Asymptotic justification of the Reynolds equation for a spherical bearing

Resumo Técnico: Justificativa Assintótica da Equação de Reynolds para um Rolamento Esférico

Enunciado do Problema
O artigo aborda a falta de uma justificativa matemática rigorosa para a equação de Reynolds no contexto de rolamentos esféricos. Enquanto a equação de Reynolds clássica (1886) assume superfícies de confinamento planas, os rolamentos esféricos práticos envolvem geometrias curvas onde nenhuma das superfícies delimitadoras é plana. Derivações anteriores para tais geometrias (por exemplo, em [3], [6], [9], [15], [18], [19], [20], [21]) basearam-se amplamente em expansões assintóticas formais, em vez de provas de convergência rigorosas. Embora existam justificativas rigorosas para geometrias planas e casos específicos como rolamentos de coluna ([6]) ou tubos curvos ([17]), uma prova rigorosa para a convergência do problema de Stokes para uma equação do tipo Reynolds entre duas superfícies esféricas arbitrárias e estreitamente espaçadas estava, até o conhecimento dos autores, indisponível.

Metodologia
Os autores empregam uma abordagem de análise assintótica baseada na convergência do problema de Stokes conforme o espaço entre as esferas se aproxima de zero. A metodologia procede através dos seguintes passos:

1. Definição do Domínio: O domínio físico $\Omega_\varepsilon$ é definido como a região entre uma esfera interna de raio $R$ e uma esfera externa separada por um pequeno espaço $h_\varepsilon(\phi, \theta) = \varepsilon h(\phi, \theta)$, onde $\varepsilon$ é um pequeno parâmetro adimensional. O domínio é restrito a um setor da esfera para acomodar a cobertura padrão do rolamento (tipicamente 120°–150°).
2. Transformação de Coordenadas: Para lidar com o domínio dependente de $\varepsilon$, os autores mapeiam $\Omega_\varepsilon$ para um domínio de referência fixo $\Omega = D \times (0, 1)$ usando uma mudança de variáveis. Esta transformação decompõe o mapeamento em três etapas: escalonamento da coordenada do espaço, ajuste da coordenada radial e transformação para coordenadas cartesianas.
3. Espaços de Funções e Normas: A análise utiliza espaços de Sobolev específicos e normas adaptadas aos diferentes sistemas de coordenadas. Crucialmente, os autores estabelecem relações de equivalência entre as normas no domínio físico e no domínio de referência, demonstrando como estas normas escalonam com $\varepsilon$ (por exemplo, as normas $L^2$ escalonam com $\sqrt{\varepsilon}$).
4. Condições de Contorno: O estudo assume que a esfera interna rotaciona com velocidade angular $\omega$, enquanto a esfera externa permanece estacionária. Condições de entrada e saída são especificadas nas fronteiras do setor ($\phi = \phi_0, \phi_1$). Os autores constroem um levantamento (lifting) livre de divergência das condições de contorno com um limite explícito de ordem $O(\sqrt{\varepsilon})$ na norma $H^1$.
5. Análise de Convergência:
   • Velocidade: Ao derivar estimativas de energia e utilizar o levantamento construído, os autores provam que o campo de velocidade $\vec{u}_\varepsilon$ converge fracamente em um espaço de Hilbert específico $V^*$ para um limite $\vec{u}^*$. Eles mostram que as derivadas em relação às coordenadas angulares desaparecem no limite, enquanto a derivada em relação à coordenada do espaço permanece limitada.
   • Pressão: Demonstra-se que a pressão $p_\varepsilon$ converge fracamente após ser escalonada por $\varepsilon^2$. Os autores derivam estimativas para os gradientes de pressão, mostrando que o gradiente de pressão escalonado na direção do espaço desaparece, enquanto os gradientes tangenciais convergem para o gradiente de uma pressão limite $p^*$.
6. Identificação do Limite: Ao passar para o limite na formulação fraca das equações de Stokes, os autores derivam a forma explícita dos componentes de velocidade limite ($u^*_\phi, u^*_\theta, u^*_\rho$) em termos da pressão limite $p^*$. Finalmente, integrar a equação de continuidade através do espaço resulta na equação limite para $p^*$.

Principais Contribuições e Resultados
A principal contribuição é a prova rigorosa de que a solução do problema de Stokes em um rolamento esférico converge para a solução de uma equação de Reynolds generalizada conforme o parâmetro do espaço $\varepsilon \to 0$.

• Teoremas de Convergência: O artigo estabelece a existência de subsequências da velocidade e da pressão que convergem fracamente para funções limite $\vec{u}^*$ e $p^*$.
• Perfil de Velocidade Limite: Mostra-se que o campo de velocidade limite possui um perfil parabólico na direção do espaço (consistente com a teoria de lubrificação), com os componentes tangenciais dependendo do gradiente de pressão e da rotação da esfera interna. O componente radial desaparece ($u^*_\rho = 0$).
• A Equação Limite: Prova-se que a pressão limite $p^*$ é a solução única de um problema de Neumann (equações 168–171). Esta equação é uma equação de Reynolds generalizada para coordenadas esféricas:
  $$\frac{\partial}{\partial \xi_1} \left( \frac{h^3 \sin \xi_1}{12\mu} \frac{\partial p^*}{\partial \xi_1} \right) + \frac{\partial}{\partial \xi_2} \left( \frac{h^3}{12\mu \sin \xi_1} \frac{\partial p^*}{\partial \xi_2} \right) = \frac{R^2 \omega \sin \xi_1}{2} \frac{\partial h}{\partial \xi_2}$$
  Esta equação inclui condições de contorno relacionadas às taxas de fluxo de suprimento nas bordas do setor.
• Unicidade: A unicidade da solução limite garante que a convergência ocorra para toda a sequência, e não apenas para uma subsequência.

Significância
O artigo afirma fornecer a primeira justificativa matemática rigorosa da equação de Reynolds para um rolamento esférico onde nenhuma das superfícies de confinamento é plana. Ao demonstrar que a solução do problema Stokes completo converge para a solução da equação de Reynolds derivada, os autores validam o uso deste modelo simplificado para rolamentos esféricos. Este resultado preenche a lacuna entre as derivações assintóticas formais encontradas na literatura de engenharia e a análise matemática rigorosa, confirmando a validade do modelo sob a suposição de um pequeno parâmetro de espaço. O trabalho estende as justificativas anteriores, limitadas a geometrias planas ou cilíndricas, para o caso esférico mais complexo.