Asymptotic justification of the Reynolds equation for a spherical bearing

Sintesi Tecnica: Giustificazione Asintotica dell'Equazione di Reynolds per un Cuscinetto Sferico

Enunciato del Problema
Il documento affronta la mancanza di una rigorosa giustificazione matematica dell'equazione di Reynolds nel contesto dei cuscinetti sferici. Mentre la classica equazione di Reynolds (1886) assume superfici di confinamento piatte, i pratici cuscinetti sferici coinvolgono geometrie curve in cui nessuna delle due superfici di confine è piatta. Le precedenti derivazioni per tali geometrie (ad esempio in [3], [6], [9], [15], [18], [19], [20], [21]) si sono basate ampiamente su espansioni asintotiche formali piuttosto che su prove di convergenza rigorose. Sebbene esistano giustificazioni rigorose per geometrie piatte e casi specifici come i cuscinetti a manicotolo ([6]) o i tubi curvi ([17]), una prova rigorosa della convergenza del problema di Stokes verso un'equazione di tipo Reynolds tra due arbitrarie e ravvicinate superfici sferiche non era disponibile, a conoscenza degli autori.

Metodologia
Gli autori impiegano un approccio di analisi asintotica basato sulla convergenza del problema di Stokes quando il gap tra le sfere tende a zero. La metodologia procede attraverso i seguenti passaggi:

1. Definizione del Dominio: Il dominio fisico $\Omega_\varepsilon$ è definito come la regione tra una sfera interna di raggio $R$ e una sfera esterna separata da un piccolo gap $h_\varepsilon(\phi, \theta) = \varepsilon h(\phi, \theta)$, dove $\varepsilon$ è un piccolo parametro adimensionale. Il dominio è ristretto a un settore della sfera per accomodare la copertura standard del cuscinetto (tipicamente 120°–150°).
2. Trasformazione di Coordinate: Per gestire il dominio $\varepsilon$-dipendente, gli autori mappano $\Omega_\varepsilon$ in un dominio di riferimento fisso $\Omega = D \times (0, 1)$ mediante un cambio di variabili. Questa trasformazione decompone la mappatura in tre passaggi: scalatura della coordinata del gap, regolazione della coordinata radiale e trasformazione in coordinate cartesiane.
3. Spazi di Funzioni e Norme: L'analisi utilizza specifici spazi di Sobolev e norme adattate ai diversi sistemi di coordinate. Fondamentalmente, gli autori stabiliscono relazioni di equivalenza tra le norme nel dominio fisico e nel dominio di riferimento, dimostrando come tali norme scalino con $\varepsilon$ (ad esempio, le norme $L^2$ scalano con $\sqrt{\varepsilon}$).
4. Condizioni al Contorno: Lo studio assume che la sfera interna ruoti con velocità angolare $\omega$, mentre la sfera esterna sia stazionaria. Le condizioni di afflusso e deflusso sono specificate ai bordi del settore ($\phi = \phi_0, \phi_1$). Gli autori costruiscono un sollevamento (lifting) privo di divergenza delle condizioni al contorno con un limite esplicito di ordine $O(\sqrt{\varepsilon})$ nella norma $H^1$.
5. Analisi della Convergenza:
   • Velocità: Derivando stime di energia e utilizzando il sollevamento costruito, gli autori dimostrano che il campo di velocità $\vec{u}_\varepsilon$ converge debolmente in uno specifico spazio di Hilbert $V^*$ a un limite $\vec{u}^*$. Essi mostrano che le derivate rispetto alle coordinate angolari svaniscono nel limite, mentre la derivata rispetto alla coordinata del gap rimane limitata.
   • Pressione: Si dimostra che la pressione $p_\varepsilon$ converge debolmente dopo essere stata scalata per $\varepsilon^2$. Gli autori derivano stime per i gradienti di pressione, mostrando che il gradiente di pressione scalato nella direzione del gap svanisce, mentre i gradienti tangenziali convergono al gradiente di una pressione limite $p^*$.
6. Identificazione del Limite: Passando al limite nella formulazione debole delle equazioni di Stokes, gli autori derivano la forma esplicita delle componenti di velocità limite ($u^*_\phi, u^*_\theta, u^*_\rho$) in termini della pressione limite $p^*$. Infine, integrando l'equazione di continuità attraverso il gap, si ottiene l'equazione limite per $p^*$.

Contributi Chiave e Risultati
Il contributo primario è la prova rigorosa che la soluzione del problema di Stokes in un cuscinetto sferico converge alla soluzione di un'equazione di Reynolds generalizzata quando il parametro del gap $\varepsilon \to 0$.

• Teoremi di Convergenza: Il documento stabilisce l'esistenza di sottosequenze della velocità e della pressione che convergono debolmente a funzioni limite $\vec{u}^*$ e $p^*$.
• Profilo di Velocità Limite: Si dimostra che il campo di velocità limite possiede un profilo parabolico nella direzione del gap (coerente con la teoria della lubrificazione), con le componenti tangenziali che dipendono dal gradiente di pressione e dalla rotazione della sfera interna. La componente radiale svanisce ($u^*_\rho = 0$).
• L'Equazione Limite: Si prova che la pressione limite $p^*$ è l'unica soluzione di un problema di Neumann (equazioni 168–171). Questa equazione è un'equazione di Reynolds generalizzata per coordinate sferiche:
  $$\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}$$
  Questa equazione include condizioni al contorno relative alle portate di alimentazione ai bordi del settore.
• Unicità: L'unicità della soluzione limite assicura che la convergenza valga per l'intera sequenza, e non solo per una sottosequenza.

Significatività
Il documento sostiene di fornire la prima giustificazione matematica rigorosa dell'equazione di Reynolds per un cuscinetto sferico in cui nessuna delle due superfici di confinamento è piatta. Dimostrando che la soluzione del problema completo di Stokes converge alla soluzione dell'equazione di Reynolds derivata, gli autori validano l'uso di questo modello semplificato per i cuscinetti sferici. Questo risultato colma il divario tra le derivazioni asintotiche formali presenti nella letteratura ingegneristica e l'analisi matematica rigorosa, confermando la validità del modello sotto l'assunzione di un piccolo parametro di gap. Il lavoro estende le precedenti giustificazioni limitate a geometrie piatte o cilindriche al caso sferico più complesso.