Równania Naviera-Stokesa

Równania Naviera-Stokesa (nazwane na cześć Claude’a-Louis Naviera i George’a Gabriela Stokesa) – zestaw równań opisujących zasadę zachowania pędu dla poruszającego się płynu. Według nich zmiany pędu elementu płynu zależą jedynie od sił masowych, zewnętrznego ciśnienia i wewnętrznych sił lepkości w płynie.

Dla płynu idealnego o zerowej lepkości równania mówią, że przyspieszenie jest proporcjonalne do gradientu ciśnienia.

Równania są wyrażone w postaci różniczkowej, dla danego problemu fizycznego muszą być znalezione na drodze rachunku różniczkowego i całkowego. W praktyce jedynie najprostsze przypadki mogą być rozwiązane analitycznie, na przykład nieturbulentnego (laminarnego), stacjonarnego przepływu (niezmieniającego się w czasie), w których liczba Reynoldsa ma małą wartośćSzablon:R.

W bardziej złożonych przypadkach, jak prognozowanie pogody na Ziemi, analiza El Niño lub obliczenia siły nośnej skrzydeł samolotów, rozwiązania równań Naviera-Stokesa mogą być znalezione jedynie metodami numerycznymi przy pomocy komputerów. Jest to oddzielna dziedzina nauki zwana obliczeniową mechaniką płynów.

W 2000 roku Instytut Matematyczny Claya ogłosił równania Naviera-Stokesa jednym z siedmiu problemów milenijnych matematyki i zaoferował 1 000 000 dolarów nagrody za podanie rozwiązania lub kontrprzykładu. Oficjalny opis problemu przedstawił Charles Fefferman.

Ogólna forma równań

Ogólna forma równań Naviera-Stokesa. Dwa ostatnie człony po prawej stronie równania wynikają z uwzględnienia niestałości lepkości w obrębie przepływu – uproszczone formy równań Naviera-Stokesa znajdują się w sekcji #Dodatkowe założenia:

$\rho (\frac{\partial \overrightarrow{v}}{\partial t}+(\overrightarrow{v}\cdot \mathrm{\nabla })\overrightarrow{v})=\rho \overrightarrow{f}-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}+(\lambda +\mu )\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )+(\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)\cdot (\mathrm{\nabla }\mu ),$

gdzie:

• $\rho \mathrm{[}\frac{kg}{m^3}\mathrm{]}$ – gęstość płynu
• $\overrightarrow{v}\mathrm{[}\frac{m}{s}\mathrm{]}$ – wektor prędkości
• $\overrightarrow{f}\mathrm{[}\frac{m}{s^2}\mathrm{]}$ – wektor sił masowych działających na płyn, np. przyspieszenie ziemskie
• $p\mathrm{[}\frac{kg}{m\cdot s^2}\mathrm{]}$ = Pa – ciśnienie
• $\mu \mathrm{[}\frac{kg}{m\cdot s}\mathrm{]}$ – lepkość dynamiczna (powyższe równania uwzględniają, że nie jest ona stałą tylko jest różna dla różnych punktów przepływu)
• $\lambda \mathrm{[}\frac{kg}{m\cdot s}\mathrm{]}$ – lepkość objętościowa (powyższe równania uwzględniają, że nie jest ona stałą tylko jest różna dla różnych punktów przepływu)
• $\mathrm{△}\overrightarrow{v}=\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})-\mathrm{\nabla }\times (\mathrm{\nabla }\times \overrightarrow{v})\mathrm{[}\mathrm{1}/\mathrm{m}\mathrm{\cdot }\mathrm{s}\mathrm{]}$ – wektorowy operator Laplace’a (nie mylić ze skalarnym operatorem Laplace’a, który akurat w układzie kartezjańskim, gdy wykonany osobno na każdej składowej wektora da ten sam rezultat, ale już nie np. w układzie cylindrycznym). W kartezjańskim układzie dostajemy taki wektor:

$\mathrm{△}\overrightarrow{v}=\left[\begin{array}{c}{\partial }_{xx}u+{\partial }_{yy}u+{\partial }_{zz}u\\ {\partial }_{xx}v+{\partial }_{yy}v+{\partial }_{zz}v\\ {\partial }_{xx}w+{\partial }_{yy}w+{\partial }_{zz}w\end{array}\right].$

• $\mathrm{\nabla }\mathrm{[}\mathrm{1}/\mathrm{m}\mathrm{]}$ – operator nabla, poniżej przykłady użycia w kontekście gradientu i dywergencja:

$\mathrm{\nabla }\overrightarrow{v}=\left[\begin{array}{ccc}{\partial }_{x}u& {\partial }_{x}v& {\partial }_{x}w\\ {\partial }_{y}u& {\partial }_{y}v& {\partial }_{y}w\\ {\partial }_{z}u& {\partial }_{z}v& {\partial }_{z}w\end{array}\right]\mathrm{[}\mathrm{1}/\mathrm{s}\mathrm{]}$ – gradient prędkości (rozwinięty w kartezjańskim układzie współrzędnych, gdzie np. ${\partial }_{x}u=\frac{\partial u}{\partial x}$)

$\begin{array}{cc}\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})& =\left[\begin{array}{c}{\partial }_x(\mathrm{\nabla }\cdot \overrightarrow{v})\\ {\partial }_y(\mathrm{\nabla }\cdot \overrightarrow{v})\\ {\partial }_z(\mathrm{\nabla }\cdot \overrightarrow{v})\end{array}\right]=\left[\begin{array}{c}{\partial }_{xx}u+{\partial }_{xy}v+{\partial }_{xz}w\\ {\partial }_{yx}u+{\partial }_{yy}v+{\partial }_{yz}w\\ {\partial }_{zx}u+{\partial }_{zy}v+{\partial }_{zz}w)\end{array}\right]\mathrm{[}\mathrm{1}/\mathrm{m}\mathrm{\cdot }\mathrm{s}\mathrm{]}\end{array}$ wyrażenie takiej postaci to gradient z dywergencji prędkości w kartezjańskim układzie współrzędnych (jest to wektor, gdyż dywergencja prędkości to skalar, a gradient ze skalaru to wektor), gdzie oznaczenie np. ${\partial }_{xy}u=\frac{{\partial }^{2}u}{\partial x\partial y}$

$\mathrm{\nabla }\cdot \overrightarrow{v}={\partial }_{x}u+{\partial }_{y}v+{\partial }_{z}w\mathrm{[}\mathrm{1}/\mathrm{s}\mathrm{]}$ – dywergencja prędkości

$\mathrm{\nabla }p=[{\partial }_{x}p,{\partial }_{y}p,{\partial }_{z}p{]}^T\mathrm{[}\mathrm{k}\mathrm{g}/{\mathrm{m}}^{\mathrm{2}}{\mathrm{s}}^{\mathrm{2}}\mathrm{]}$ – gradient ciśnienia

• litera T w górnym indeksie to transpozycja.

Powyższe równania Naviera-Stokesa zostały podane w formie operatorowej, która dla wszystkich układów współrzędnych przestrzennych ma taką samą postać (ale już nie w sytuacji gdy zmieniamy współrzędne w czasie np. wprowadzenie wirującego układu współrzędnych spowoduje pojawienie się dodatkowych elementów w równaniach związanych z efektem Coriolisa). Ponadto, przy wyznaczaniu jawnej postaci różniczkowej równań dla konkretnego układu współrzędnych przestrzennych musimy znaleźć postać wszystkich elementów równania (w tym operatorów) dla docelowego układu współrzędnych – przykładowo: element $\mu \mathrm{△}\overrightarrow{v}$ zawierający wektorowy operator Laplace’a dla cylindrycznego układu współrzędnych będzie miał postać:

$\mu \mathrm{△}\overrightarrow{v}=\mu \left[\begin{array}{c}\mathrm{△}u-u/r^2-2{\partial }_{\phi }v/r^2\\ \mathrm{△}v-v/r^2+2{\partial }_{\phi }u/r^2\\ \mathrm{△}w\end{array}\right]=\mu \left[\begin{array}{c}{\partial }_{r}u/r+{\partial }_{rr}u+{\partial }_{\phi \phi }u/r^2+{\partial }_{zz}u-u/r^2-2{\partial }_{\phi }v/r^2\\ {\partial }_{r}v/r+{\partial }_{rr}v+{\partial }_{\phi \phi }v/r^2+{\partial }_{zz}v-v/r^2+2{\partial }_{\phi }u/r^2\\ {\partial }_{r}w/r+{\partial }_{rr}w+{\partial }_{\phi \phi }w/r^2+{\partial }_{zz}w\end{array}\right]$

gdzie symbol pochodnej cząstkowej $\partial$ z dolnym indeksem/ami obejmuje tylko bezpośrednio następujący po nim symbol np. ${\partial }_{\phi \phi }v/r^2=({\partial }_{\phi \phi }v)/r^2=\frac{1}{r^2}\frac{{\partial }^{2}v}{\partial \phi \partial \phi }$

Postać w kartezjańskim układzie współrzędnych

Równanie wektorowe NS dla poszczególnych współrzędnych przyjmuje postać

$\begin{array}{cccccccccccccccc}x:& \rho (\stackrel{\frac{d\overrightarrow{v}}{dt}}{\overbrace{{\partial }_{t}u+u{\partial }_{x}u+v{\partial }_{y}u+w{\partial }_{z}u}})& =& \stackrel{\rho \overrightarrow{f}}{\overbrace{\rho f_x}}& -& \stackrel{\mathrm{\nabla }p}{\overbrace{{\partial }_{x}p}}& +& \stackrel{\mu \mathrm{△}\overrightarrow{v}}{\overbrace{\mu ({\partial }_{xx}u+{\partial }_{yy}u+{\partial }_{zz}u)}}& +& \stackrel{(\lambda +\mu )(\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v}))}{\overbrace{(\lambda +\mu )({\partial }_{xx}u+{\partial }_{xy}v+{\partial }_{xz}w)}}& +& \stackrel{(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )}{\overbrace{({\partial }_{x}u+{\partial }_{y}v+{\partial }_{z}w)({\partial }_x\lambda )}}& +& \stackrel{(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot (\mathrm{\nabla }\mu )}{\overbrace{(({\partial }_x\mu )({\partial }_{x}u)+({\partial }_y\mu )({\partial }_{y}u)+({\partial }_z\mu )({\partial }_{z}u))}}& +& \stackrel{(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )}{\overbrace{(({\partial }_x\mu )({\partial }_{x}u)+({\partial }_y\mu )({\partial }_{x}v)+({\partial }_z\mu )({\partial }_{x}w))}}\\ y:& \rho ({\partial }_{t}v+u{\partial }_{x}v+v{\partial }_{y}v+w{\partial }_{z}v)& =& \rho f_y& -& {\partial }_{y}p& +& \mu ({\partial }_{xx}v+{\partial }_{yy}v+{\partial }_{zz}v)& +& (\lambda +\mu )({\partial }_{yx}u+{\partial }_{yy}v+{\partial }_{yz}w)& +& ({\partial }_{x}u+{\partial }_{y}v+{\partial }_{z}w)({\partial }_y\lambda )& +& (({\partial }_x\mu )({\partial }_{x}v)+({\partial }_y\mu )({\partial }_{y}v)+({\partial }_z\mu )({\partial }_{z}v))& +& (({\partial }_x\mu )({\partial }_{y}u)+({\partial }_y\mu )({\partial }_{y}v)+({\partial }_z\mu )({\partial }_{y}w))\\ z:& \rho ({\partial }_{t}w+u{\partial }_{x}w+v{\partial }_{y}w+w{\partial }_{z}w)& =& \rho f_z& -& {\partial }_{z}p& +& \mu ({\partial }_{xx}w+{\partial }_{yy}w+{\partial }_{zz}w)& +& (\lambda +\mu )({\partial }_{zx}u+{\partial }_{zy}v+{\partial }_{zz}w)& +& ({\partial }_{x}u+{\partial }_{y}v+{\partial }_{z}w)({\partial }_z\lambda )& +& (({\partial }_x\mu )({\partial }_{x}w)+({\partial }_y\mu )({\partial }_{y}w)+({\partial }_z\mu )({\partial }_{z}w))& +& (({\partial }_x\mu )({\partial }_{z}u)+({\partial }_y\mu )({\partial }_{z}v)+({\partial }_z\mu )({\partial }_{z}w))\end{array}$

gdzie użyto oznaczeń pochodnych cząstkowych ${\partial }_{x}f=\frac{\partial f}{\partial x}$ oraz ${\partial }_{xy}f=\frac{{\partial }^{2}f}{\partial x\partial y}.$

Wyprowadzenie

Wyprowadzenie rozpoczyna się od równania pędu Cauchy’ego zapisanego w kartezjańskim układzie współrzędnych (upraszczający obliczenia i stanowiącym punkt wyjścia dla innych układów wsp.), dla którego $\mathrm{\nabla }\cdot \mathit{\sigma }\equiv \mathrm{d}\mathrm{i}\mathrm{v}({\mathit{\sigma }}^T)=({\mathrm{\nabla }}^T\cdot \mathit{\sigma }{)}^T$ gdzie w ostatniej równości po prawej działania możemy traktować jak mnożenie/transpozycje wektorów i macierzy (co również będziemy wykorzystywali w dalszej części wyprowadzenia):

$\rho \frac{d\overrightarrow{v}}{dt}=({\mathrm{\nabla }}^T\cdot \mathit{\sigma }{)}^T+\rho \overrightarrow{f}.$

Uwagi dotyczące notacji

Operator nabla Ponieważ operator nabla nie jest przemienny tj. działa tylko prawostronnie - przykładowo $\mathrm{\nabla }(fg)\ne f\mathrm{\nabla }g\ne (fg)\mathrm{\nabla }$ po lewej stronie wyliczamy gradient z iloczynu funkcji fg, w środku liczymy iloczyn funkcji f i gradientu funkcji g, po stronie prawej z kolei dostajemy operator, który liczy gradient argumentu, po czym mnoży go przez iloczyn fg - co jest widoczne w formie macierzowej $\left[\begin{array}{c}\frac{\partial (fg)}{\partial x}\\ \frac{\partial (fg)}{\partial y}\\ \frac{\partial (fg)}{\partial z}\end{array}\right]=g\left[\begin{array}{c}\frac{\partial f}{\partial x}\\ \frac{\partial f}{\partial y}\\ \frac{\partial f}{\partial z}\end{array}\right]+f\left[\begin{array}{c}\frac{\partial g}{\partial x}\\ \frac{\partial g}{\partial y}\\ \frac{\partial g}{\partial z}\end{array}\right]\ne f\left[\begin{array}{c}\frac{\partial g}{\partial x}\\ \frac{\partial g}{\partial y}\\ \frac{\partial g}{\partial z}\end{array}\right]\ne fg\left[\begin{array}{c}\frac{\partial }{\partial x}\\ \frac{\partial }{\partial y}\\ \frac{\partial }{\partial z}\end{array}\right]$ Zatem równość prawdziwa dla macierzy $(A\cdot B{)}^T=B^T\cdot A^T$ nie zachodzi dla operatora nabla tj. $(A\cdot \mathrm{\nabla }{)}^T\ne {\mathrm{\nabla }}^T\cdot A^T$ po lewej otrzymujemy operator, a po prawej już zróżniczkowany wektor - co jest bardziej widoczne w postaci macierzowej $(A\cdot \mathrm{\nabla }{)}^T={(\left[\begin{array}{ccc}{A}_{11}& A_{12}& A_{13}\\ A_{21}& A_{22}& A_{23}\\ A_{31}& A_{32}& A_{33}\end{array}\right]\cdot \left[\begin{array}{c}\frac{\partial }{\partial x}\\ \frac{\partial }{\partial y}\\ \frac{\partial }{\partial z}\end{array}\right])}^T={\left(\left[\begin{array}{c}(A_{11}+A_{12}+A_{13})\frac{\partial }{\partial x}\\ (A_{21}+A_{22}+A_{23})\frac{\partial }{\partial y}\\ (A_{31}+A_{32}+A_{33})\frac{\partial }{\partial z}\end{array}\right]\right)}^T=\left[\begin{array}{ccc}(A_{11}+A_{12}+A_{13})\frac{\partial }{\partial x},& (A_{21}+A_{22}+A_{23})\frac{\partial }{\partial y},& (A_{31}+A_{32}+A_{33})\frac{\partial }{\partial z}\end{array}\right]$ ${\mathrm{\nabla }}^T\cdot A^T={\left[\begin{array}{c}\frac{\partial }{\partial x}\\ \frac{\partial }{\partial y}\\ \frac{\partial }{\partial z}\end{array}\right]}^T\cdot {\left[\begin{array}{ccc}{A}_{11}& A_{12}& A_{13}\\ A_{21}& A_{22}& A_{23}\\ A_{31}& A_{32}& A_{33}\end{array}\right]}^T=\left[\begin{array}{ccc}\frac{\partial }{\partial x},& \frac{\partial }{\partial y},& \frac{\partial }{\partial z}\end{array}\right]\cdot \left[\begin{array}{ccc}{A}_{11}& A_{21}& A_{31}\\ A_{12}& A_{22}& A_{32}\\ A_{13}& A_{23}& A_{33}\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial A_{11}}{\partial x}+\frac{\partial A_{12}}{\partial x}+\frac{\partial A_{13}}{\partial x},& \frac{\partial A_{21}}{\partial y}+\frac{\partial A_{22}}{\partial y}+\frac{\partial A_{23}}{\partial y},& \frac{\partial A_{31}}{\partial z}+\frac{\partial A_{32}}{\partial z}+\frac{\partial A_{33}}{\partial z}\end{array}\right]$ generalnie powoduje to że nie możemy swobodnie zamieniać kolejności działań jeżeli używamy operatora nabla - co widać w dalszych wyprowadzeniach. Iloczyn skalarny a mnożenie macierzowe Zwróćmy uwagę, że korzystając z reguł mnożenia macierzowego nie możemy mnożyć przez siebie dwóch wektorów kolumnowych - dlatego tego typu zapis traktujemy jako iloczyn skalarny wektorów - w szczególności gdy używamy operatora nabla $\mathrm{\nabla }\cdot v=\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{c}{v}_1\\ v_2\\ v_3\end{array}\right]$ Natomiast jeśli mamy wektor wierszowy i mnożymy go prawostronnie przez wektor kolumnowy, to działanie interpretujemy jako mnożenie macierzowe (a nie iloczyn skalarny - choć akurat w kartezjańskim układzie współrzędnych wynik będzie taki sam) ${\mathrm{\nabla }}^T\cdot v=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{c}{v}_1\\ v_2\\ v_3\end{array}\right]$ Jeżeli wymnożymy wektor kolumnowy przez wierszowy to w wyniku otrzymamy macierz $\mathrm{\nabla }\cdot v^T=\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}{v}_1,& v_2,& v_3\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial v_1}{\partial x_1}& \frac{\partial v_2}{\partial x_1}& \frac{\partial v_3}{\partial x_1}\\ \frac{\partial v_1}{\partial x_2}& \frac{\partial v_2}{\partial x_2}& \frac{\partial v_3}{\partial x_2}\\ \frac{\partial v_1}{\partial x_3}& \frac{\partial v_2}{\partial x_3}& \frac{\partial v_3}{\partial x_3}\end{array}\right]$ Natomiast lewostronne mnożenie macierzy M przez wektor kolumnowy jest niedozwolone $\cancel{\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}{A}_{11}& A_{21}& A_{31}\\ A_{12}& A_{22}& A_{32}\\ A_{13}& A_{23}& A_{33}\end{array}\right]}$ Aby wykonać tego typu mnożenie należy najpierw transponować wektor (a wynik jest wektorem wierszowym) ${\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]}^T\cdot \left[\begin{array}{ccc}{A}_{11}& A_{21}& A_{31}\\ A_{12}& A_{22}& A_{32}\\ A_{13}& A_{23}& A_{33}\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}{A}_{11}& A_{21}& A_{31}\\ A_{12}& A_{22}& A_{32}\\ A_{13}& A_{23}& A_{33}\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1}(A_{11}+A_{12}+A_{13}),& \frac{\partial }{\partial x_2}(A_{21}+A_{22}+A_{23}),& \frac{\partial }{\partial x_3}(A_{31}+A_{32}+A_{33})\end{array}\right]$ Jeśli chcemy otrzymać wektor kolumnowy, należy na koniec dokonać kolejnej transpozycji (wynikowego wierszowego wektora) ${({\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]}^T\cdot \left[\begin{array}{ccc}{A}_{11}& A_{21}& A_{31}\\ A_{12}& A_{22}& A_{32}\\ A_{13}& A_{23}& A_{33}\end{array}\right])}^T={(\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}{A}_{11}& A_{21}& A_{31}\\ A_{12}& A_{22}& A_{32}\\ A_{13}& A_{23}& A_{33}\end{array}\right])}^T={\left[\begin{array}{ccc}\frac{\partial }{\partial x_1}(A_{11}+A_{12}+A_{13}),& \frac{\partial }{\partial x_2}(A_{21}+A_{22}+A_{23}),& \frac{\partial }{\partial x_3}(A_{31}+A_{32}+A_{33})\end{array}\right]}^T=\left[\begin{array}{c}\frac{\partial }{\partial x_1}(A_{11}+A_{12}+A_{13})\\ \frac{\partial }{\partial x_2}(A_{21}+A_{22}+A_{23})\\ \frac{\partial }{\partial x_3}(A_{31}+A_{32}+A_{33})\end{array}\right]$

Aby otrzymać równania Naviera-Stokesa, należy poczynić założenia w celu zamodelowania tensora naprężeń $\mathit{\sigma }.$ Zwyczajowo tensor naprężenia dzieli się na dwie części:

$\mathit{\sigma }=-p𝑰+\mathit{\tau },$

Detale

Po wprowadzeniu oznaczeń ${\sigma }_{kk}={\tau }_{kk}-p$ oraz ${\sigma }_{ij}={\tau }_{ij}$ dla $i\ne j$ do macierzy naprężenia będzie wyglądało to tak $\mathit{\sigma }=\left[\begin{array}{ccc}{\sigma }_{11}& {\sigma }_{12}& {\sigma }_{13}\\ {\sigma }_{21}& {\sigma }_{22}& {\sigma }_{23}\\ {\sigma }_{31}& {\sigma }_{32}& {\sigma }_{33}\end{array}\right]=\left[\begin{array}{ccc}{\tau }_{11}-p& {\tau }_{12}& {\tau }_{12}\\ {\tau }_{21}& {\tau }_{22}-p& {\tau }_{23}\\ {\tau }_{31}& {\tau }_{32}& {\tau }_{33}-p\end{array}\right]=\left[\begin{array}{ccc}-p& 0& 0\\ 0& -p& 0\\ 0& 0& -p\end{array}\right]+\left[\begin{array}{ccc}{\tau }_{11}& {\tau }_{12}& {\tau }_{13}\\ {\tau }_{21}& {\tau }_{22}& {\tau }_{23}\\ {\tau }_{31}& {\tau }_{32}& {\tau }_{33}\end{array}\right]=-p\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]+\left[\begin{array}{ccc}{\tau }_{11}& {\tau }_{12}& {\tau }_{13}\\ {\tau }_{21}& {\tau }_{22}& {\tau }_{23}\\ {\tau }_{31}& {\tau }_{32}& {\tau }_{33}\end{array}\right]=-p𝑰+\mathit{\tau }$

gdzie $𝑰$ to macierz jednostkowa. Gdy płyn jest nieruchomy w polu sił, to tensor $\mathit{\tau }$ zeruje się natomiast ciśnienie p niekoniecznie.

W oznaczeniach poniżej przyjmuje się, że $\overrightarrow{v}=[u,v,w]=[v_1,v_2,v_3]$ oraz $\overrightarrow{x}=[x,y,z]=[x_1,x_2,x_3].$ Ponadto będziemy stosować konwencję sumacyjną Einsteina.

Założenie 1

Równania opisują płyn newtonowski, tzn. tensor $\mathit{\tau }$ jest liniową funkcją gradientu prędkości, tzn. ma postać:

${\tau }_{ij}=L_{ijkl}\frac{\partial v_k}{\partial x_l},$

gdzie: $𝑳=[L_{ijkl}]$ jest tensorem czwartego rzędu (ma 81 składowych). Ponieważ stosujemy konwencję sumacyjną Einsteina, więc przed prawą stroną powyższego równania stoją dwa znaki sumy: po indeksie k oraz l.

Założenie 2

Płyn jest izotropowy i jednorodny. Implikuje to że tensor $𝑳$ powinien być niezależny od kierunku. Innym znanym tensorem niezależnym od kierunku jest ${\delta }_{ij}$ (delta Kroneckera). Delta Kroneckera jest rzędu 2 więc my musimy znaleźć jej odpowiednik, ale rzędu 4. W celu zbadania niezależności tensora od kierunku wprowadźmy 4-liniową formę S (funkcję dającą skalar w wyniku) będącą iloczynem wewnętrznym tensora $𝑳$ i czterech wektorów $\overrightarrow{a}=[a_i],\overrightarrow{b}=[b_i],\overrightarrow{c}=[c_i],\overrightarrow{d}=[d_i]$ (ponieważ stosujemy konwencję sumacyjną Einsteina, więc przed prawą stroną równania poniżej stoją cztery znaki sumy: po indeksie i,j,k oraz l.):

$S(\overrightarrow{a},\overrightarrow{b},\overrightarrow{c},\overrightarrow{d})=L_{ijkl}{a}_i{b}_j{c}_k{d}_l$

Tensor $𝑳$ jest niezależny od kierunku wektorów na których działa tylko wtedy gdy również funkcja S jest niezależna. Aby funkcja S była niezależna od kierunku, nie powinna być zależna od bezwzględnego położenia wektorów $\overrightarrow{a},\overrightarrow{b},\overrightarrow{c},\overrightarrow{d},$ ale powinna zmieniać wartość gdy wektory zmieniają swoje długości lub położenia względem siebie. Zatem S powinna zmieniać wartość, gdy zmieniają się cosinusy kątów między poszczególnymi wektorami (i gdy zmienia się długość wektorów). Funkcją, która to umożliwia jest iloczyn skalarny, wówczas S możemy skonstruować następująco (dla zwięzłości pomijamy listę argumentów S):

$S=\alpha (\overrightarrow{a}\cdot \overrightarrow{b})(\overrightarrow{c}\cdot \overrightarrow{d})+\beta (\overrightarrow{a}\cdot \overrightarrow{c})(\overrightarrow{b}\cdot \overrightarrow{d})+\gamma (\overrightarrow{a}\cdot \overrightarrow{d})(\overrightarrow{b}\cdot \overrightarrow{c}).$

Inne liniowe funkcje ponad powyższą (np. z wyrazami typu $(\overrightarrow{a}\times \overrightarrow{b})\cdot (\overrightarrow{c}\times \overrightarrow{d})$), niczego więcej nie wniosą. Zatem rozpisując iloczyny skalarne, mamy:

$S=\alpha a_i{b}_i{c}_j{d}_j+\beta a_i{c}_i{b}_j{d}_j+\gamma a_i{d}_i{b}_j{c}_j,$

przekształcając dalej:

$S=a_i{b}_j{c}_k{d}_l(\alpha {\delta }_{ij}{\delta }_{kl}+\beta {\delta }_{ik}{\delta }_{jl}+\gamma {\delta }_{il}{\delta }_{jk})=L_{ijkl}{a}_i{b}_j{c}_k{d}_l,$

zatem tensor $𝑳,$ aby był izotropowy, musi mieć postać:

$L_{ijkl}=\alpha {\delta }_{ij}{\delta }_{kl}+\beta {\delta }_{ik}{\delta }_{jl}+\gamma {\delta }_{il}{\delta }_{jk}.$

Założenie 3

Symetria tensora naprężeń, tj. ${\sigma }_{ij}={\sigma }_{ji}.$ Badając równowagę elementarnego sześcianu, zakładając, że nie występują naprężenia momentowe (dla których uogólnioną teorię sformułowali bracia Cosserat, 1909), można dowieść, że tensor naprężenia jest symetryczny. Jednak w ogólności tak nie jest i np. dla płynów polarnych w polu elektromagnetycznym takie założenie jest błędne. Klasyczne równania Naviera-Stokesa nie uwzględniają tego typu płynów, ale za to uwzględniają szeroką klasę płynów powszechnie używanych. Zatem:

${\sigma }_{ij}={\sigma }_{ji}\Rightarrow L_{ijkl}=L_{jikl}.$

Podstawiając wyprowadzoną postać tensora $𝑳$ pod lewą i prawą stronę równania, otrzymamy:

$\alpha {\delta }_{ij}{\delta }_{kl}+\beta {\delta }_{ik}{\delta }_{jl}+\gamma {\delta }_{il}{\delta }_{jk}=\alpha {\delta }_{ji}{\delta }_{kl}+\beta {\delta }_{jk}{\delta }_{il}+\gamma {\delta }_{jl}{\delta }_{ik}$

i dalej:

$\beta {\delta }_{ik}{\delta }_{jl}+\gamma {\delta }_{il}{\delta }_{jk}=\beta {\delta }_{jk}{\delta }_{il}+\gamma {\delta }_{jl}{\delta }_{ik},$

co prowadzi do:

$(\beta -\gamma ){\delta }_{ik}{\delta }_{jl}=(\beta -\gamma ){\delta }_{jk}{\delta }_{il}.$

Ponieważ w szczególności ta równość musi zachodzić dla $i=k,j=l,i\ne j,$ np. $i=1,j=2,$ to mamy:

$(\beta -\gamma ){\delta }_{11}{\delta }_{22}=(\beta -\gamma ){\delta }_{21}{\delta }_{12}\Rightarrow (\beta -\gamma )\cdot 1\cdot 1=(\beta -\gamma )\cdot 0\cdot 0.$

Zatem

$\beta =\gamma .$

Podstawiając to do tensora $𝑳,$ otrzymujemy:

$L_{ijkl}=\alpha {\delta }_{ij}{\delta }_{kl}+\beta ({\delta }_{ik}{\delta }_{jl}+{\delta }_{il}{\delta }_{jk}).$

Ostatnie kroki wyprowadzenia

Zamieniając nazwy parametrów na powszechnie używane (a pierwotnie wywodzące się z rozważań na temat tensora sztywności dla ciał stałych, gdzie nazywane są stałymi Lamégo), tj.: $\mu =\beta$ oraz $\lambda =\alpha$ w tensorze $𝑳$ i podstawiając go do tensora $\mathit{\tau },$ mamy:

${\tau }_{ij}=(\lambda {\delta }_{ij}{\delta }_{kl}+\mu ({\delta }_{ik}{\delta }_{jl}+{\delta }_{il}{\delta }_{jk}))\frac{\partial v_k}{\partial x_l}.$

Po uwzględnieniu działania delty Kroneckera otrzymamy:

${\tau }_{ij}=\lambda {\delta }_{ij}\frac{\partial v_k}{\partial x_k}+\mu (\frac{\partial v_i}{\partial x_j}+\frac{\partial v_j}{\partial x_i}).$

Detale

Zapiszmy ${\tau }_{ij}=A_{ij}+B_{ij}$ gdzie: $A_{ij}=\lambda {\delta }_{ij}{\delta }_{kl}\frac{\partial v_k}{\partial x_l}$ $B_{ij}=\mu ({\delta }_{ik}{\delta }_{jl}+{\delta }_{il}{\delta }_{jk})\frac{\partial v_k}{\partial x_l}$ Dla jasności, wprowadzimy symbole sum pominiętych w notacji sumacyjnej Einsteina (czyli tych po dublujących się indeksach, tj. $k$ i $l$). Wówczas możemy zapisać $A_{ij}=\sum _{k=1}^3\sum _{l=1}^3\lambda {\delta }_{ij}{\delta }_{kl}\frac{\partial v_k}{\partial x_l}=\lambda {\delta }_{ij}\sum _{k=1}^3\sum _{l=1}^3{\delta }_{kl}\frac{\partial v_k}{\partial x_l}=\lambda {\delta }_{ij}\sum _{k=1}^3{\delta }_{kk}\frac{\partial v_k}{\partial x_k}=\lambda {\delta }_{ij}\sum _{k=1}^3\frac{\partial v_k}{\partial x_k}$ wykorzystaliśmy tutaj fakt, że delta Kroneckera z definicji ${\delta }_{kl}=0$ tylko gdy $k\ne l$ oraz 1 gdy $k=l$ (tj. ${\delta }_{kk}=1$), co przejawia się w równości: $\sum _{k=1}^3\sum _{l=1}^3{\delta }_{kl}=\sum _{k=1}^3({\delta }_{k1}+{\delta }_{k2}+{\delta }_{k3})=({\delta }_{11}+{\delta }_{12}+{\delta }_{13})+({\delta }_{21}+{\delta }_{22}+{\delta }_{23})+({\delta }_{31}+{\delta }_{32}+{\delta }_{33})=({\delta }_{11}+0+0)+(0+{\delta }_{22}+0)+(0+0+{\delta }_{33})=\sum _{k=1}^3{\delta }_{kk}$ Po powrocie do notacji sumacyjnej Einsteina (czyli usunięciu symbolu sumy) otrzymujemy $A_{ij}=\lambda {\delta }_{ij}\frac{\partial v_k}{\partial x_k}$ Podobnie zapisujemy znaki sum dla $B_{ij}$ $B_{ij}=\mu (\sum _{k=1}^3\sum _{l=1}^3{\delta }_{ik}{\delta }_{jl}\frac{\partial v_k}{\partial x_l}+\sum _{k=1}^3\sum _{l=1}^3{\delta }_{il}{\delta }_{jk}\frac{\partial v_k}{\partial x_l})=\mu ({\delta }_{ii}{\delta }_{jj}\frac{\partial v_i}{\partial x_j}+{\delta }_{ii}{\delta }_{jj}\frac{\partial v_j}{\partial x_i})=\mu (\frac{\partial v_i}{\partial x_j}+\frac{\partial v_j}{\partial x_i})$ zwróćmy też uwagę, że w nawiasie z lewej (z symbolami sum) w każdym ze składników mamy inny układ indeksów przy deltach Kroneckera. Dla lewego składnika mamy ${\delta }_{ik}{\delta }_{jl}$ co powoduje że nie zeruje się on tylko gdy $k=i,l=j.$ Natomiast dla składnika prawego mamy ${\delta }_{il}{\delta }_{jk}$ co powoduje, że nie zeruje się on tylko gdy $k=j,l=i.$ To powoduje redukcję podwójnych sum do pojedynczych niezerowych wyrazów oraz finalne odwrócenie indeksów w prawym wyrazie z pochodnymi (w stosunku do wyrazu lewego).

Ostatecznie tensor naprężenia $\mathit{\sigma }=-p𝑰+\mathit{\tau }$ można zapisać, używając operatorów następująco (literka T w górnym indeksie oznacza transpozycję macierzy):

$\mathit{\sigma }=-p𝑰+\lambda (\mathrm{\nabla }\cdot v)𝑰+\mu (\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T).$

Detale

Zapiszmy ${\tau }_{ij}=A_{ij}+B_{ij}$ gdzie: $A_{ij}=\lambda {\delta }_{ij}\frac{\partial v_k}{\partial x_k}$ $B_{ij}=\mu (\frac{\partial v_i}{\partial x_j}+\frac{\partial v_j}{\partial x_i})$ W zapisie macierzowym mamy $\mathit{\tau }=\left[\begin{array}{ccc}{\tau }_{11}& {\tau }_{12}& {\tau }_{13}\\ {\tau }_{21}& {\tau }_{22}& {\tau }_{23}\\ {\tau }_{31}& {\tau }_{32}& {\tau }_{33}\end{array}\right]=A+B$ Rozpiszmy z osobna obydwie macierze (uwzględniając odrazu, że ${\delta }_{ij}=0,$ gdy $i\ne j$ oraz to, że ${\delta }_{11}={\delta }_{22}={\delta }_{33}=1$) $A=\left[\begin{array}{ccc}{A}_{11}& A_{12}& A_{13}\\ A_{21}& A_{22}& A_{23}\\ A_{31}& A_{32}& A_{33}\end{array}\right]=\left[\begin{array}{ccc}\lambda {\delta }_{11}\frac{\partial v_k}{\partial x_k}& 0& 0\\ 0& \lambda {\delta }_{22}\frac{\partial v_k}{\partial x_k}& 0\\ 0& 0& \lambda {\delta }_{33}\frac{\partial v_k}{\partial x_k}\end{array}\right]=\left[\begin{array}{ccc}\lambda \frac{\partial v_k}{\partial x_k}& 0& 0\\ 0& \lambda \frac{\partial v_k}{\partial x_k}& 0\\ 0& 0& \lambda \frac{\partial v_k}{\partial x_k}\end{array}\right]=\lambda \frac{\partial v_k}{\partial x_k}\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]=\lambda \frac{\partial v_k}{\partial x_k}𝑰$ Wprowadzając symbol sumy (pomijany wcześniej w związku z użyciem notacji sumacyjnej Einsteina) oraz korzystając z definicji dywergencji pola wektorowego, możemy (po prawej stronie poniższego ciągu równości) zapisać operatorowo $A=\lambda \left(\sum _{k=1}^3\frac{\partial v_k}{\partial x_k}\right)𝑰=\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})𝑰=\lambda (\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{c}{v}_1\\ v_2\\ v_3\end{array}\right])𝑰=\lambda (\mathrm{\nabla }\cdot \overrightarrow{v})𝑰$ Zauważmy tu, że w wyrażeniu po trzecim znaku równości, tam gdzie wektor prędkości i operator nabla zostały zapisane jawnie (czyli jako wektory kolumnowe, tj. kontrawariantne), działanie pomiędzy nimi to iloczyn skalarny (gdyż on operuje na 2 wektorach), a nie macierzowy (nie można wymnożyć dwóch takich macierzy). W podobny sposób rozpiszmy macierz B, ale podzielmy ją na dwa składniki (dwie macierze) $B_{ij}=\mu (\frac{\partial v_i}{\partial x_j}+\frac{\partial v_j}{\partial x_i})=\mu \frac{\partial v_i}{\partial x_j}+\mu \frac{\partial v_j}{\partial x_i}$ wprowadźmy macierz C na oznaczenie drugiego składnika $C_{ij}=\mu \frac{\partial v_j}{\partial x_i}$ odrazu można zauważyć, że pierwsza macierz (pierwszy składnik) będzie transpozycją macierzy $C_{ij}$ tzn. $B_{ij}=C_{ji}+C_{ij},$ czyli $B=C^T+C$ gdzie: $C=\left[\begin{array}{ccc}\mu \frac{\partial v_1}{\partial x_1}& \mu \frac{\partial v_2}{\partial x_1}& \mu \frac{\partial v_3}{\partial x_1}\\ \mu \frac{\partial v_1}{\partial x_2}& \mu \frac{\partial v_2}{\partial x_2}& \mu \frac{\partial v_3}{\partial x_2}\\ \mu \frac{\partial v_1}{\partial x_3}& \mu \frac{\partial v_2}{\partial x_3}& \mu \frac{\partial v_3}{\partial x_3}\end{array}\right]=\mu \left[\begin{array}{ccc}\frac{\partial v_1}{\partial x_1}& \frac{\partial v_2}{\partial x_1}& \frac{\partial v_3}{\partial x_1}\\ \frac{\partial v_1}{\partial x_2}& \frac{\partial v_2}{\partial x_2}& \frac{\partial v_3}{\partial x_2}\\ \frac{\partial v_1}{\partial x_3}& \frac{\partial v_2}{\partial x_3}& \frac{\partial v_3}{\partial x_3}\end{array}\right]=\mu \mathrm{\nabla }\overrightarrow{v}$ w ostatniej równości powyżej uwzględniliśmy definicję gradientu wektora prędkości aby użyć zapisu operatorowego. Zatem kontynuując zapis macierzowo-operatorowy, mamy $B=C^T+C=(\mu \mathrm{\nabla }\overrightarrow{v}{)}^T+\mu \mathrm{\nabla }\overrightarrow{v}=\mu (\mathrm{\nabla }\overrightarrow{v}{)}^T+\mu \mathrm{\nabla }\overrightarrow{v}$ (powyżej wyciągnęliśmy skalar $\mu$ przed transpozycję macierzy) ostatecznie więc możemy zapisać $\mathit{\tau }=A+B=A+C^T+C=\lambda (\mathrm{\nabla }\cdot \overrightarrow{v})𝑰+\mu (\mathrm{\nabla }\overrightarrow{v}{)}^T+\mu \mathrm{\nabla }\overrightarrow{v}=\lambda (\mathrm{\nabla }\cdot \overrightarrow{v})𝑰+\mu (\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)$

W ten sposób doszliśmy do końca definicji modelu i jest to właściwie koniec wyprowadzenia. Podstawiając taką formę tensora naprężeń $\mathit{\sigma }$ do równania pędu Cauchy’ego, otrzymamy równania Naviera-Stokesa.

Końcowe podstawienie

Ponieważ jednak owo podstawienie nie jest trywialne (ze względów rachunkowych) dokonamy go poniżej by otrzymać jawną postać operatorową równań Naviera-Stokesa. Wyliczmy dywergencję transponowaną z $\mathit{\sigma },$ korzystając z faktu, że w układzie kartezjańskim możemy ją wyliczyć jako mnożenie wektora z macierzą:

${\mathrm{\nabla }}^T\cdot \mathit{\sigma }=-{\mathrm{\nabla }}^T\cdot p𝑰+{\mathrm{\nabla }}^T\cdot \lambda (\mathrm{\nabla }\cdot v)𝑰+{\mathrm{\nabla }}^T\cdot \mu (\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)=-({\mathrm{\nabla }}^T\cdot 𝑰)p+({\mathrm{\nabla }}^T\cdot 𝑰)(\lambda \mathrm{\nabla }\cdot v)+{\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v})+{\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v}{)}^T.$

W przejściu do ostatniej równości skorzystaliśmy z przemienności mnożenia skalaru przez macierz. Rozpisując dokładnie wszystkie operatory (na postać pochodnych cząstkowych), można sprawdzić, że prawdziwy jest poniższy ciąg równości (uwaga! uwzględniono tu, że lepkości są funkcjami zależnymi od położenia, a nie stałymi):

$\begin{array}{cc}({\mathrm{\nabla }}^T\cdot \mathit{\sigma }{)}^T& =-\mathrm{\nabla }p+{\mathrm{\nabla }}^T(\lambda \mathrm{\nabla }\cdot \overrightarrow{v})+({\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v}){)}^T+({\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v}{)}^T{)}^T\\ & =-\mathrm{\nabla }p+\stackrel{{\mathrm{\nabla }}^T(\lambda \mathrm{\nabla }\cdot \overrightarrow{v})}{\overbrace{\lambda \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\lambda )(\mathrm{\nabla }\cdot \overrightarrow{v})}}+\stackrel{({\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v}){)}^T}{\overbrace{\underset{\mu \mathrm{△}\overrightarrow{v}}{\underbrace{\mu ({\mathrm{\nabla }}^T\cdot \mathrm{\nabla }\overrightarrow{v}{)}^T}}+(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot (\mathrm{\nabla }\mu )}}+\stackrel{({\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v}{)}^T{)}^T}{\overbrace{\underset{\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot v)}{\underbrace{\mu ({\mathrm{\nabla }}^T\cdot (\mathrm{\nabla }\overrightarrow{v}{)}^T{)}^T}}+(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )}}\\ & =-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}+(\lambda +\mu )\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )+(\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)\cdot (\mathrm{\nabla }\mu )\end{array}.$

Detale

Mamy $\mathit{\sigma }=-p𝑰+\lambda (\mathrm{\nabla }\cdot v)𝑰+\mu \mathrm{\nabla }\overrightarrow{v}+\mu (\mathrm{\nabla }\overrightarrow{v}{)}^T=A+B+C+D$ gdzie oznaczyliśmy: $A=-p𝑰=\left[\begin{array}{ccc}-p& 0& 0\\ 0& -p& 0\\ 0& 0& -p\end{array}\right]$ $B=\lambda (\mathrm{\nabla }\cdot v)𝑰=\left[\begin{array}{ccc}\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})& 0& 0\\ 0& \lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})& 0\\ 0& 0& \lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\end{array}\right]$ $C=\mu \mathrm{\nabla }\overrightarrow{v}=\left[\begin{array}{ccc}\mu \frac{\partial v_1}{\partial x_1}& \mu \frac{\partial v_2}{\partial x_1}& \mu \frac{\partial v_3}{\partial x_1}\\ \mu \frac{\partial v_1}{\partial x_2}& \mu \frac{\partial v_2}{\partial x_2}& \mu \frac{\partial v_3}{\partial x_2}\\ \mu \frac{\partial v_1}{\partial x_3}& \mu \frac{\partial v_2}{\partial x_3}& \mu \frac{\partial v_3}{\partial x_3}\end{array}\right]$ $D=\mu (\mathrm{\nabla }\overrightarrow{v}{)}^T=C^T=\left[\begin{array}{ccc}\mu \frac{\partial v_1}{\partial x_1}& \mu \frac{\partial v_1}{\partial x_2}& \mu \frac{\partial v_1}{\partial x_3}\\ \mu \frac{\partial v_2}{\partial x_1}& \mu \frac{\partial v_2}{\partial x_2}& \mu \frac{\partial v_2}{\partial x_3}\\ \mu \frac{\partial v_3}{\partial x_1}& \mu \frac{\partial v_3}{\partial x_2}& \mu \frac{\partial v_3}{\partial x_3}\end{array}\right]$ Transponowany operator nabla ma postać (wektor wierszowy) ${\mathrm{\nabla }}^T=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]$ I chcemy policzyć ${\mathrm{\nabla }}^T\cdot \mathit{\sigma }$ i docelowo transpozycję tego wyrażenia (uwaga znak kropeczki w macierzy B między nabla a wektorem oznacza iloczyn skalarny, natomiast tu oznacza mnożenie macierzy), ze względu na liniowość mnożenia macierzy, jak i różniczkowania możemy zapisać: ${\mathrm{\nabla }}^T\cdot \mathit{\sigma }={\mathrm{\nabla }}^T\cdot (A+B+C+D)=({\mathrm{\nabla }}^T\cdot A)+({\mathrm{\nabla }}^T\cdot B)+({\mathrm{\nabla }}^T\cdot C)+({\mathrm{\nabla }}^T\cdot D)$ Wprowadzając docelową transpozycję, mamy $({\mathrm{\nabla }}^T\cdot \mathit{\sigma }{)}^T=({\mathrm{\nabla }}^T\cdot (A+B+C+D){)}^T=({\mathrm{\nabla }}^T\cdot A{)}^T+({\mathrm{\nabla }}^T\cdot B{)}^T+({\mathrm{\nabla }}^T\cdot C{)}^T+({\mathrm{\nabla }}^T\cdot D{)}^T$ I wówczas możemy osobno rozpisać każdy element (tam gdzie pojawiają się macierze mamy do czynienia z mnożeniem macierzowym dla znaku $\cdot$) Składnik zawierający A Rozpocznijmy do składnika zawierającego A zapisanego w formie operatorowej, a następnie w linii niżej zapisanego dla jasności w formie macierzowej (ukazującej skąd biorą się kolejne przejścia dla formy operatorowej), a w linii trzeciej jego postać po finalnej transpozycji ${\mathrm{\nabla }}^T\cdot A={\mathrm{\nabla }}^T\cdot (-p𝑰)=-({\mathrm{\nabla }}^T\cdot 𝑰)p=-{\mathrm{\nabla }}^{T}p$ ${\mathrm{\nabla }}^T\cdot A={\mathrm{\nabla }}^T\cdot \left[\begin{array}{ccc}-p& 0& 0\\ 0& -p& 0\\ 0& 0& -p\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}-p& 0& 0\\ 0& -p& 0\\ 0& 0& -p\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right](-p)=\left[\begin{array}{ccc}-\frac{\partial p}{\partial x_1},& -\frac{\partial p}{\partial x_2},& -\frac{\partial p}{\partial x_3}\end{array}\right]=-\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]p=-{\mathrm{\nabla }}^{T}p$ $({\mathrm{\nabla }}^T\cdot A{)}^T=(-{\mathrm{\nabla }}^{T}p{)}^T={\left(\left[\begin{array}{ccc}-\frac{\partial p}{\partial x_1},& -\frac{\partial p}{\partial x_2},& -\frac{\partial p}{\partial x_3}\end{array}\right]\right)}^T=\left[\begin{array}{c}-\frac{\partial p}{\partial x_1}\\ -\frac{\partial p}{\partial x_2}\\ -\frac{\partial p}{\partial x_3}\end{array}\right]=-\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]p=-\mathrm{\nabla }p$ Składnik zawierający B ${\mathrm{\nabla }}^T\cdot B={\mathrm{\nabla }}^T\cdot (\lambda (\mathrm{\nabla }\cdot v)𝑰)=({\mathrm{\nabla }}^T\cdot 𝑰)(\lambda \mathrm{\nabla }\cdot v)={\mathrm{\nabla }}^T(\lambda \mathrm{\nabla }\cdot v)$ ${\mathrm{\nabla }}^T\cdot B=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})& 0& 0\\ 0& \lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})& 0\\ 0& 0& \lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\end{array}\right]=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left(\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)$ $=(\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right])\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})=({\mathrm{\nabla }}^T\cdot 𝑰)(\lambda \mathrm{\nabla }\cdot v)=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)={\mathrm{\nabla }}^T(\lambda \mathrm{\nabla }\cdot v)$ $=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right),& \frac{\partial }{\partial x_2}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right),& \frac{\partial }{\partial x_3}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)\end{array}\right]$ kontynuując dokonamy docelowej transpozycji (dostając wektor kolumnowy), a następnie różniczkowania korzystając z reguły łańcuchowej (na każdej współrzędnej z osobna; dostając 2 składniki) $({\mathrm{\nabla }}^T\cdot B{)}^T={\left[\begin{array}{ccc}\frac{\partial }{\partial x_1}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right),& \frac{\partial }{\partial x_2}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right),& \frac{\partial }{\partial x_3}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)\end{array}\right]}^T$ $=\left[\begin{array}{c}\frac{\partial }{\partial x_1}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)\\ \frac{\partial }{\partial x_2}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)\\ \frac{\partial }{\partial x_3}\left(\lambda (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\right)\end{array}\right]=\left[\begin{array}{c}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\frac{\partial }{\partial x_1}\lambda +\lambda \frac{\partial }{\partial x_1}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\frac{\partial }{\partial x_2}\lambda +\lambda \frac{\partial }{\partial x_2}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\frac{\partial }{\partial x_3}\lambda +\lambda \frac{\partial }{\partial x_3}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\end{array}\right]$ $=\left[\begin{array}{c}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\frac{\partial \lambda }{\partial x_1}\\ (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\frac{\partial \lambda }{\partial x_2}\\ (\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\frac{\partial \lambda }{\partial x_3}\end{array}\right]+\left[\begin{array}{c}\lambda \frac{\partial }{\partial x_1}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ \lambda \frac{\partial }{\partial x_2}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ \lambda \frac{\partial }{\partial x_3}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\end{array}\right]=(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\left[\begin{array}{c}\frac{\partial \lambda }{\partial x_1}\\ \frac{\partial \lambda }{\partial x_2}\\ \frac{\partial \lambda }{\partial x_3}\end{array}\right]+\lambda \left[\begin{array}{c}\frac{\partial }{\partial x_1}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ \frac{\partial }{\partial x_2}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ \frac{\partial }{\partial x_3}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\end{array}\right]$ $=(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\lambda +\lambda \left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right](\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})=(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )+\lambda (\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v}))$ operatorowo możemy zapisać to tak $({\mathrm{\nabla }}^T\cdot B{)}^T=({\mathrm{\nabla }}^T(\lambda \mathrm{\nabla }\cdot v){)}^T=\mathrm{\nabla }(\lambda \mathrm{\nabla }\cdot v)=(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )+\lambda (\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v}))=(\mathrm{\nabla }\lambda )(\mathrm{\nabla }\cdot \overrightarrow{v})+\lambda \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})$ Składnik zawierający C ${\mathrm{\nabla }}^T\cdot C={\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v})=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}\mu \frac{\partial v_1}{\partial x_1}& \mu \frac{\partial v_2}{\partial x_1}& \mu \frac{\partial v_3}{\partial x_1}\\ \mu \frac{\partial v_1}{\partial x_2}& \mu \frac{\partial v_2}{\partial x_2}& \mu \frac{\partial v_3}{\partial x_2}\\ \mu \frac{\partial v_1}{\partial x_3}& \mu \frac{\partial v_2}{\partial x_3}& \mu \frac{\partial v_3}{\partial x_3}\end{array}\right]$ $=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_1}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_1}{\partial x_3}\right),& \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_2}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_2}{\partial x_3}\right),& \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_3}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_3}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_3}\right)\end{array}\right]$ wykonując transpozycję, regułę łańcucha i rozdzielając odpowiednie elementy otrzymujemy $({\mathrm{\nabla }}^T\cdot C{)}^T=\left[\begin{array}{c}\frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_1}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_1}{\partial x_3}\right)\\ \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_2}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_2}{\partial x_3}\right)\\ \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_3}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_3}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_3}\right)\end{array}\right]=\left[\begin{array}{c}\frac{\partial v_1}{\partial x_1}\frac{\partial }{\partial x_1}\mu +\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_1}{\partial x_1}\right)+\frac{\partial v_1}{\partial x_2}\frac{\partial }{\partial x_2}\mu +\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_1}{\partial x_2}\right)+\frac{\partial v_1}{\partial x_3}\frac{\partial }{\partial x_3}\mu +\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_1}{\partial x_3}\right)\\ \frac{\partial v_2}{\partial x_1}\frac{\partial }{\partial x_1}\mu +\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_2}{\partial x_1}\right)+\frac{\partial v_2}{\partial x_2}\frac{\partial }{\partial x_2}\mu +\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_2}{\partial x_2}\right)+\frac{\partial v_2}{\partial x_3}\frac{\partial }{\partial x_3}\mu +\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_2}{\partial x_3}\right)\\ \frac{\partial v_3}{\partial x_1}\frac{\partial }{\partial x_1}\mu +\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_3}{\partial x_1}\right)+\frac{\partial v_3}{\partial x_2}\frac{\partial }{\partial x_2}\mu +\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_3}{\partial x_2}\right)+\frac{\partial v_3}{\partial x_3}\frac{\partial }{\partial x_3}\mu +\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_3}{\partial x_3}\right)\end{array}\right]$ $=\left[\begin{array}{c}\frac{\partial v_1}{\partial x_1}\frac{\partial }{\partial x_1}\mu +\frac{\partial v_1}{\partial x_2}\frac{\partial }{\partial x_2}\mu +\frac{\partial v_1}{\partial x_3}\frac{\partial }{\partial x_3}\mu \\ \frac{\partial v_2}{\partial x_1}\frac{\partial }{\partial x_1}\mu +\frac{\partial v_2}{\partial x_2}\frac{\partial }{\partial x_2}\mu +\frac{\partial v_2}{\partial x_3}\frac{\partial }{\partial x_3}\mu \\ \frac{\partial v_3}{\partial x_1}\frac{\partial }{\partial x_1}\mu +\frac{\partial v_3}{\partial x_2}\frac{\partial }{\partial x_2}\mu +\frac{\partial v_3}{\partial x_3}\frac{\partial }{\partial x_3}\mu \end{array}\right]+\left[\begin{array}{c}\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_1}{\partial x_1}\right)+\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_1}{\partial x_2}\right)+\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_1}{\partial x_3}\right)\\ \mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_2}{\partial x_1}\right)+\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_2}{\partial x_2}\right)+\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_2}{\partial x_3}\right)\\ \mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_3}{\partial x_1}\right)+\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_3}{\partial x_2}\right)+\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_3}{\partial x_3}\right)\end{array}\right]$ $=\left[\begin{array}{ccc}\frac{\partial v_1}{\partial x_1}& \frac{\partial v_1}{\partial x_2}& \frac{\partial v_1}{\partial x_3}\\ \frac{\partial v_2}{\partial x_1}& \frac{\partial v_2}{\partial x_2}& \frac{\partial v_2}{\partial x_3}\\ \frac{\partial v_3}{\partial x_1}& \frac{\partial v_3}{\partial x_2}& \frac{\partial v_3}{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\mu +\mu \left[\begin{array}{c}\frac{{\partial }^2{v}_1}{\partial x_1^2}+\frac{{\partial }^2{v}_1}{\partial x_2^2}+\frac{{\partial }^2{v}_1}{\partial x_3^2}\\ \frac{{\partial }^2{v}_2}{\partial x_1^2}+\frac{{\partial }^2{v}_2}{\partial x_2^2}+\frac{{\partial }^2{v}_2}{\partial x_3^2}\\ \frac{{\partial }^2{v}_3}{\partial x_1^2}+\frac{{\partial }^2{v}_3}{\partial x_2^2}+\frac{{\partial }^2{v}_3}{\partial x_3^2}\end{array}\right]=(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot \mathrm{\nabla }\mu +\mu \mathrm{△}\overrightarrow{v}$ operatorowo możemy zapisać to tak $({\mathrm{\nabla }}^T\cdot C{)}^T=({\mathrm{\nabla }}^T\cdot (\mu \mathrm{\nabla }\overrightarrow{v}){)}^T=(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot \mathrm{\nabla }\mu +\mu ({\mathrm{\nabla }}^T\cdot \mathrm{\nabla }\overrightarrow{v}{)}^T=(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot \mathrm{\nabla }\mu +\mu \mathrm{△}\overrightarrow{v}$ gdzie użyto równości $\mu \mathrm{△}\overrightarrow{v}=\mu \left[\begin{array}{c}\frac{{\partial }^2{v}_1}{\partial x_1^2}+\frac{{\partial }^2{v}_1}{\partial x_2^2}+\frac{{\partial }^2{v}_1}{\partial x_3^2}\\ \frac{{\partial }^2{v}_2}{\partial x_1^2}+\frac{{\partial }^2{v}_2}{\partial x_2^2}+\frac{{\partial }^2{v}_2}{\partial x_3^2}\\ \frac{{\partial }^2{v}_3}{\partial x_1^2}+\frac{{\partial }^2{v}_3}{\partial x_2^2}+\frac{{\partial }^2{v}_3}{\partial x_3^2}\end{array}\right]=\mu {(\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}\frac{\partial v_1}{\partial x_1}& \frac{\partial v_2}{\partial x_1}& \frac{\partial v_3}{\partial x_1}\\ \frac{\partial v_1}{\partial x_2}& \frac{\partial v_2}{\partial x_2}& \frac{\partial v_3}{\partial x_2}\\ \frac{\partial v_1}{\partial x_3}& \frac{\partial v_2}{\partial x_3}& \frac{\partial v_3}{\partial x_3}\end{array}\right])}^T=\mu ({\mathrm{\nabla }}^T\cdot \mathrm{\nabla }\overrightarrow{v}{)}^T$ Składnik zawierający D ${\mathrm{\nabla }}^T\cdot D={\mathrm{\nabla }}^T\cdot (\mu (\mathrm{\nabla }\overrightarrow{v}{)}^T)=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}\mu \frac{\partial v_1}{\partial x_1}& \mu \frac{\partial v_1}{\partial x_2}& \mu \frac{\partial v_1}{\partial x_3}\\ \mu \frac{\partial v_2}{\partial x_1}& \mu \frac{\partial v_2}{\partial x_2}& \mu \frac{\partial v_2}{\partial x_3}\\ \mu \frac{\partial v_3}{\partial x_1}& \mu \frac{\partial v_3}{\partial x_2}& \mu \frac{\partial v_3}{\partial x_3}\end{array}\right]$ $=\left[\begin{array}{ccc}\frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_1}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_1}\right),& \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_2}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_2}\right),& \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_3}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_3}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_3}\right)\end{array}\right]$ wykonując transpozycję, regułę łańcucha oraz możliwość zamiany kolejności zmiennych przy różniczkowaniu dla pochodnej cząstkowej, oraz ostatecznie rozdzielając odpowiednie elementy, otrzymujemy $({\mathrm{\nabla }}^T\cdot D{)}^T=\left[\begin{array}{c}\frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_1}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_1}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_1}\right)\\ \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_2}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_2}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_2}\right)\\ \frac{\partial }{\partial x_1}\left(\mu \frac{\partial v_1}{\partial x_3}\right)+\frac{\partial }{\partial x_2}\left(\mu \frac{\partial v_2}{\partial x_3}\right)+\frac{\partial }{\partial x_3}\left(\mu \frac{\partial v_3}{\partial x_3}\right)\end{array}\right]=\left[\begin{array}{c}\frac{\partial v_1}{\partial x_1}\frac{\partial \mu }{\partial x_1}+\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_1}{\partial x_1}\right)+\frac{\partial v_2}{\partial x_1}\frac{\partial \mu }{\partial x_2}+\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_2}{\partial x_1}\right)+\frac{\partial v_3}{\partial x_1}\frac{\partial \mu }{\partial x_3}+\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_3}{\partial x_1}\right)\\ \frac{\partial v_1}{\partial x_2}\frac{\partial \mu }{\partial x_1}+\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_1}{\partial x_2}\right)+\frac{\partial v_2}{\partial x_2}\frac{\partial \mu }{\partial x_2}+\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_2}{\partial x_2}\right)+\frac{\partial v_3}{\partial x_2}\frac{\partial \mu }{\partial x_3}+\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_3}{\partial x_2}\right)\\ \frac{\partial v_1}{\partial x_3}\frac{\partial \mu }{\partial x_1}+\mu \frac{\partial }{\partial x_1}\left(\frac{\partial v_1}{\partial x_3}\right)+\frac{\partial v_2}{\partial x_3}\frac{\partial \mu }{\partial x_2}+\mu \frac{\partial }{\partial x_2}\left(\frac{\partial v_2}{\partial x_3}\right)+\frac{\partial v_3}{\partial x_3}\frac{\partial \mu }{\partial x_3}+\mu \frac{\partial }{\partial x_3}\left(\frac{\partial v_3}{\partial x_3}\right)\end{array}\right]$ $=\left[\begin{array}{c}\frac{\partial v_1}{\partial x_1}\frac{\partial \mu }{\partial x_1}+\frac{\partial v_2}{\partial x_1}\frac{\partial \mu }{\partial x_2}+\frac{\partial v_3}{\partial x_1}\frac{\partial \mu }{\partial x_3}\\ \frac{\partial v_1}{\partial x_2}\frac{\partial \mu }{\partial x_1}+\frac{\partial v_2}{\partial x_2}\frac{\partial \mu }{\partial x_2}+\frac{\partial v_3}{\partial x_2}\frac{\partial \mu }{\partial x_3}\\ \frac{\partial v_1}{\partial x_3}\frac{\partial \mu }{\partial x_1}+\frac{\partial v_2}{\partial x_3}\frac{\partial \mu }{\partial x_2}+\frac{\partial v_3}{\partial x_3}\frac{\partial \mu }{\partial x_3}\end{array}\right]+\left[\begin{array}{c}\mu \frac{{\partial }^2{v}_1}{\partial x_1\partial x_1}+\mu \frac{{\partial }^2{v}_2}{\partial x_2\partial x_1}+\mu \frac{{\partial }^2{v}_3}{\partial x_3\partial x_1}\\ \mu \frac{{\partial }^2{v}_1}{\partial x_1\partial x_2}+\mu \frac{{\partial }^2{v}_2}{\partial x_2\partial x_2}+\mu \frac{{\partial }^2{v}_3}{\partial x_3\partial x_2}\\ \mu \frac{{\partial }^2{v}_1}{\partial x_1\partial x_3}+\mu \frac{{\partial }^2{v}_2}{\partial x_2\partial x_3}+\mu \frac{{\partial }^2{v}_3}{\partial x_3\partial x_3}\end{array}\right]$ $=\left[\begin{array}{ccc}\frac{\partial v_1}{\partial x_1}& \frac{\partial v_2}{\partial x_1}& \frac{\partial v_3}{\partial x_1}\\ \frac{\partial v_1}{\partial x_2}& \frac{\partial v_2}{\partial x_2}& \frac{\partial v_3}{\partial x_2}\\ \frac{\partial v_1}{\partial x_3}& \frac{\partial v_2}{\partial x_3}& \frac{\partial v_3}{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right]\mu +\mu \left[\begin{array}{c}\frac{\partial }{\partial x_1}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ \frac{\partial }{\partial x_2}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\\ \frac{\partial }{\partial x_3}(\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})\end{array}\right]=(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )+\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})$ operatorowo możemy zapisać to tak $({\mathrm{\nabla }}^T\cdot D{)}^T=(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )+\mu ({\mathrm{\nabla }}^T\cdot (\mathrm{\nabla }\overrightarrow{v}{)}^T{)}^T=(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )+\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})$ gdzie użyto równości $\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})=\mu \left[\begin{array}{c}\frac{\partial }{\partial x_1}\\ \frac{\partial }{\partial x_2}\\ \frac{\partial }{\partial x_3}\end{array}\right](\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\frac{\partial v_3}{\partial x_3})=\left[\begin{array}{c}\mu \frac{{\partial }^2{v}_1}{\partial x_1\partial x_1}+\mu \frac{{\partial }^2{v}_2}{\partial x_2\partial x_1}+\mu \frac{{\partial }^2{v}_3}{\partial x_3\partial x_1}\\ \mu \frac{{\partial }^2{v}_1}{\partial x_1\partial x_2}+\mu \frac{{\partial }^2{v}_2}{\partial x_2\partial x_2}+\mu \frac{{\partial }^2{v}_3}{\partial x_3\partial x_2}\\ \mu \frac{{\partial }^2{v}_1}{\partial x_1\partial x_3}+\mu \frac{{\partial }^2{v}_2}{\partial x_2\partial x_3}+\mu \frac{{\partial }^2{v}_3}{\partial x_3\partial x_3}\end{array}\right]=\mu {(\left[\begin{array}{ccc}\frac{\partial }{\partial x_1},& \frac{\partial }{\partial x_2},& \frac{\partial }{\partial x_3}\end{array}\right]\cdot \left[\begin{array}{ccc}\frac{\partial v_1}{\partial x_1}& \frac{\partial v_1}{\partial x_2}& \frac{\partial v_1}{\partial x_3}\\ \frac{\partial v_2}{\partial x_1}& \frac{\partial v_2}{\partial x_2}& \frac{\partial v_2}{\partial x_3}\\ \frac{\partial v_3}{\partial x_1}& \frac{\partial v_3}{\partial x_2}& \frac{\partial v_3}{\partial x_3}\end{array}\right])}^T=\mu ({\mathrm{\nabla }}^T\cdot (\mathrm{\nabla }\overrightarrow{v}{)}^T{)}^T$ Podsumowanie Ostatecznie powracając do równania $({\mathrm{\nabla }}^T\cdot \mathit{\sigma }{)}^T=({\mathrm{\nabla }}^T\cdot A{)}^T+({\mathrm{\nabla }}^T\cdot B{)}^T+({\mathrm{\nabla }}^T\cdot C{)}^T+({\mathrm{\nabla }}^T\cdot D{)}^T$ i zestawiając wszystkie jego elementy oraz porządkując je otrzymujemy $({\mathrm{\nabla }}^T\cdot \mathit{\sigma }{)}^T=\stackrel{({\mathrm{\nabla }}^T\cdot A{)}^T}{\overbrace{-\mathrm{\nabla }p}}+\stackrel{({\mathrm{\nabla }}^T\cdot B{)}^T}{\overbrace{(\mathrm{\nabla }\lambda )(\mathrm{\nabla }\cdot \overrightarrow{v})+\lambda \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})}}+\stackrel{({\mathrm{\nabla }}^T\cdot C{)}^T}{\overbrace{(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot \mathrm{\nabla }\mu +\mu \mathrm{△}\overrightarrow{v}}}+\stackrel{({\mathrm{\nabla }}^T\cdot D{)}^T}{\overbrace{(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )+\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})}}$ $=-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}+\lambda \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\lambda )(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot \mathrm{\nabla }\mu +(\mathrm{\nabla }\overrightarrow{v})\cdot (\mathrm{\nabla }\mu )$ $=-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}+(\lambda +\mu )\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )+(\mathrm{\nabla }\overrightarrow{v}+\mathrm{\nabla }\overrightarrow{v}{)}^T\cdot \mathrm{\nabla }\mu$

Zatem podstawiając pod równanie Cauchy’ego, mamy:

$\rho \frac{d\overrightarrow{v}}{dt}=\rho \overrightarrow{f}-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}+(\lambda +\mu )\mathrm{\nabla }(\mathrm{\nabla }\cdot \overrightarrow{v})+(\mathrm{\nabla }\cdot \overrightarrow{v})(\mathrm{\nabla }\lambda )+(\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)\cdot (\mathrm{\nabla }\mu ).$

Rozpisując pochodną substancjalną z lewej strony, otrzymamy formę równania taką jak w sekcji #Ogólna forma równań.

Dodatkowe założenia

Możemy dodać kolejne założenie:

Założenie 4

Doświadczalnie wyznaczona zależność (tr to ślad macierzy)

$tr(\mathit{\sigma })=-3p,$

która jest dokładna dla gazów jednoatomowych, ale w praktyce znajduje zastosowanie do znacznie szerszej klasy płynów. Szczególnie gdy płyn jest prawie nieściśliwy, bo wówczas $\mathrm{\nabla }\cdot \overrightarrow{v}\to 0$ i człon z $\lambda$ w równaniach Naviera-Stokesa przestaje mieć znaczenie.

Jeżeli teraz wyliczymy ślad z tensora $\mathit{\sigma },$ to otrzymamy:

$tr(\mathit{\sigma })=tr(-p𝑰+\lambda (\mathrm{\nabla }\cdot v)𝑰+\mu (\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)),$

co po podstawieniu i rozwinięciu daje:

$-3p=-3p+3\lambda (\mathrm{\nabla }\cdot v)+2\mu (\mathrm{\nabla }\cdot v).$

Zatem:

$3\lambda (\mathrm{\nabla }\cdot v)=-2\mu (\mathrm{\nabla }\cdot v).$

Więc:

$\lambda =-\frac{2}{3}\mu .$

Po podstawieniu tej zależności do równań Naviera-Stokesa przybiorą one postać:

$\rho (\frac{\partial \overrightarrow{v}}{\partial t}+(\overrightarrow{v}\cdot \mathrm{\nabla })\overrightarrow{v})=\rho \overrightarrow{f}-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}+\frac{1}{3}\mu \mathrm{\nabla }(\mathrm{\nabla }\cdot v)-\frac{2}{3}(\mathrm{\nabla }\cdot v)(\mathrm{\nabla }\mu )+(\mathrm{\nabla }\overrightarrow{v}+(\mathrm{\nabla }\overrightarrow{v}{)}^T)\cdot (\mathrm{\nabla }\mu ).$

Założenie 5

Jeżeli przyjmiemy, że lepkość jest stała (lepkość silnie zależy od temperatury, więc gdy rozpatrujemy „płyn zimny” (bez uwzględniania równania energii), to wówczas taka sytuacja może mieć miejsce), to wówczas $\mathrm{\nabla }\mu =0$ i równania upraszczają się do postaci:

$\rho (\frac{\partial \overrightarrow{v}}{\partial t}+(\overrightarrow{v}\cdot \mathrm{\nabla })\overrightarrow{v})=\rho \overrightarrow{f}+\mathrm{\nabla }(\frac{\mu }{3}\mathrm{\nabla }\cdot \overrightarrow{v}-p)+\mu \mathrm{△}\overrightarrow{v}.$

Założenie 6

Przyjmując, że płyn jest nieściśliwy $\mathrm{\nabla }\cdot v=0,$ otrzymamy:

$\rho (\frac{\partial \overrightarrow{v}}{\partial t}+(\overrightarrow{v}\cdot \mathrm{\nabla })\overrightarrow{v})=\rho \overrightarrow{f}-\mathrm{\nabla }p+\mu \mathrm{△}\overrightarrow{v}.$

Właśnie ten przypadek ze stałą $\rho =1$ został przedstawiony jako problem milenijny.

Założenie 7

Jeżeli całkowicie pominiemy lepkość, tj. $\mu =0,$ to otrzymamy równania Eulera:

$\rho (\frac{\partial \overrightarrow{v}}{\partial t}+(\overrightarrow{v}\cdot \mathrm{\nabla })\overrightarrow{v})=\rho \overrightarrow{f}-\mathrm{\nabla }p.$

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2023-06-18].
• Szablon:Otwarty dostęp Navier-Stokes equations Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].