Twierdzenie Taylora-Proudmana

W mechanice płynów, twierdzenie Taylora-Praudmana[1] mówi, że przy spełnieniu pewnych warunków (patrz niżej), przepływ w trójwymiarowych układach wirujących redukuje się do przypadku dwuwymiarowego. Owa dwuwymiarowa płaszczyzna jest prostopadła do osi obrotu Ω {\displaystyle \mathbf {\Omega } } tzn. gradient pola prędkości przepływu, który jest macierzą, staje się „prostopadły” (tzn. gradient każdej składowej wektora prędkości jest prostopadły) do Ω {\displaystyle \mathbf {\Omega } } (czyli iloczyn wektora i macierzy Ω v = 0 {\displaystyle \mathbf {\Omega } \cdot \nabla \mathbf {v} =0} ).

Wyprowadzenie

Wychodzimy od równania Naviera-Stokesa (NS) dla układu obracającego się ze stałą prędkością kątową Ω R 3 : {\displaystyle \mathbf {\Omega } \in \mathbb {R} ^{3}{:}}

v t + v v = 1 ϱ p + ν v 2 Ω × v Ω × ( Ω × r ) + F , {\displaystyle {\frac {\partial \mathbf {v} }{\partial t}}+\mathbf {v} \cdot \nabla \mathbf {v} =-{\frac {1}{\varrho }}\nabla p+\nu \nabla \cdot \nabla \mathbf {v} -2\mathbf {\Omega } \times \mathbf {v} -\mathbf {\Omega } \times (\mathbf {\Omega } \times \mathbf {r} )+F,}

gdzie:

  • r R 3 {\displaystyle \mathbf {r} \in \mathbb {R} ^{3}} – promień (prostopadły do osi obrotu Ω {\displaystyle \Omega } ),
  • 2 Ω × v {\displaystyle 2\mathbf {\Omega } \times \mathbf {v} } – człon związany z siłą Coriolisa,
  • Ω × ( Ω × r ) {\displaystyle \mathbf {\Omega } \times (\mathbf {\Omega } \times \mathbf {r} )} – człon związany z siłą bezwładności,

Założenia

  1. v = 0 {\displaystyle \nabla \cdot \mathbf {v} =0} płyn nieściśliwy.
  2. v t = 0 {\displaystyle {\frac {\partial \mathbf {v} }{\partial t}}=\mathbf {0} } przepływ stacjonarny.
  3. 1 | Ω | {\displaystyle 1\ll |\mathbf {\Omega } |} duża prędkość obrotowa, co implikuje że siła Coriolisa jest względnie duża, a więc człon adwekcyjny v v {\displaystyle \mathbf {v} \cdot \nabla \mathbf {v} } jest zaniedbywalnie mały (inaczej: liczba Rossbiego jest mała tj.: 0 R o 1 {\displaystyle 0\leqslant R_{o}\ll 1} ).
  4. F = Φ {\displaystyle F=-\nabla \Phi } człon związany z siłami masowymi jest polem potencjalnym o potencjale Φ : R 3 R . {\displaystyle \Phi :\mathbb {R} ^{3}\to \mathbb {R} .}
  5. 0 | ν v | 1 {\displaystyle 0\leqslant |\nu \nabla \cdot \nabla \mathbf {v} |\ll 1} lepkość jest zaniedbywalnie mała (przepływ nielepki).

Teza

Ω v = 0 {\displaystyle \mathbf {\Omega } \cdot \nabla \mathbf {v} =0}

Dowód

Wykorzystując założenia 2, 3, 5, równanie NS upraszcza się do postaci:

1 ϱ p = F 2 Ω × v Ω × ( Ω × r ) . {\displaystyle {\frac {1}{\varrho }}\nabla p=F-2\mathbf {\Omega } \times \mathbf {v} -\mathbf {\Omega } \times (\mathbf {\Omega } \times \mathbf {r} ).}

Zauważmy, że (korzystając z własności iloczynu wektorowego) można przedstawić siłę bezwładności jako gradient pewnego pola skalarnego:

Ω × ( Ω × r ) = Ω ( Ω r ) r ( Ω Ω ) = ( 1 2 ( Ω r ) 2 | Ω | 2 1 2 | r | 2 ) = ( 1 2 | Ω × r | 2 ) , {\displaystyle \mathbf {\Omega } \times (\mathbf {\Omega } \times \mathbf {r} )=\mathbf {\Omega } (\mathbf {\Omega } \cdot \mathbf {r} )-\mathbf {r} (\mathbf {\Omega } \cdot \mathbf {\Omega } )=\nabla \left({\frac {1}{2}}(\mathbf {\Omega } \cdot \mathbf {r} )^{2}-|\mathbf {\Omega } |^{2}{\frac {1}{2}}|\mathbf {r} |^{2}\right)=\nabla \left(-{\frac {1}{2}}|\mathbf {\Omega } \times \mathbf {r} |^{2}\right),}

gdzie Ω Ω = | Ω | 2 , r r = | r | 2 . {\displaystyle \mathbf {\Omega } \cdot \mathbf {\Omega } =|\mathbf {\Omega } |^{2},\mathbf {r} \cdot \mathbf {r} =|\mathbf {r} |^{2}.} Zatem człon związany z siłą bezwładności jest pewnym polem potencjalnym.

Jak wiadomo, rotacja z pola potencjalnego jest równa zero, w związku z czym, dokonując rotacji dla obydwu stron równania NS, pozbędziemy się członu ciśnienia, sił masowych(założenie 4) oraz bezwładności – gdyż są to pola potencjalne – i dostaniemy równość:

× ( 2 Ω × v ) = 0. {\displaystyle \nabla \times (2\mathbf {\Omega } \times \mathbf {v} )=0.}

Dzieląc równanie obustronnie przez 2 i rozpisując lewą stronę równania zgodnie z wzorem na rotację iloczynu wektorowego, otrzymamy:

v Ω Ω v + Ω v v Ω = 0. {\displaystyle \mathbf {v} \cdot \nabla \mathbf {\Omega } -\mathbf {\Omega } \cdot \nabla \mathbf {v} +\mathbf {\Omega } \nabla \cdot \mathbf {v} -\mathbf {v} \nabla \cdot \mathbf {\Omega } =0.}

A ponieważ Ω {\displaystyle \mathbf {\Omega } } jest wektorem stałym wiec Ω = 0 , Ω = 0. {\displaystyle \nabla \mathbf {\Omega } =\mathbf {0} ,\nabla \cdot \mathbf {\Omega } =0.} Uwzględniając ponadto założenie 1, po lewej stronie powyższej równości pozostaje tylko:

Ω v = 0 {\displaystyle \mathbf {\Omega } \cdot \nabla \mathbf {v} =0}

zatem otrzymaliśmy tezę.

Przypisy

  1. Twierdzenie Taylora-Proudmana było wyprowadzone pierwotnie przez Sydneya Samuela Hougha (1870-1923), matematyka z Cambridge University w czasopiśmie „Phil. Trans. R. Soc. Lond. A” vol. 189, s. 201–257, data: 1897-01-01, w artykule „On the application of harmonic analysis to the dynamical theory of the tides. Part I. On Laplace’s „oscillations of the first species,” and on the dynamics of ocean currents”.