неділя, 30 липня 2017 р.

Підсилення і комплексне підсилення

Формула експоненційного відгуку (ФЕВ)

Припустимо, що ми маємо рівняння $P(D)x = e^{rt}.$ Давайте спробуємо експоненційний розв'язок $x = A e^{rt}:$ $$e^{rt} = P(D)x = P(D)(Ae^{rt}) = AP(r)e^{rt}.$$ Отже, $A = 1/P(r)$ і розв'язком буде $$x_p(t) = \frac{e^{rt}}{P(r)}.$$ Це виконується якщо $P(r) \ne 0.$

Комплексна заміна.

ФЕВ чарівно поєднується з формулою Ейлера. Якщо коефіцієнти многочлена $P(r)$ дійсні, то $$\operatorname{Re}(P(D)f(t)) = P(D)\operatorname{Re}(f(t)).$$ З цього випливає, що розв'язок лінійного диф. рівняння $$P(D)x = \cos (\omega t)$$ зі сталими дійсними коефіцієнтами це дійсна частина розв'язку іншого рівняння $$P(D)z = e^{i\omega t}.$$ Це називається комплексною заміною.

Узагальнена ФЕВ

Випадок коли $P(r) = 0.$ Гляньмо ще раз на головне рівняння використане ФЕВ $$P(D)e^{rt} = P(r)e^{rt}.$$ Використаємо як змінну $r$ і продиференціюємо щодо $r$. $$ \begin{align*} P(D)te^{rt} &= P'(r)e^{rt} + P(r)re^{rt} &&\\ &= P'(r)e^{rt} && \mbox{бо} \ P(r) = 0 \end{align*} $$ Раз це виконується, то $\frac{te^{rt}}{P'(r)}$ це розв'язок $P(D)x = e^{rt}.$

Ми можемо продовжити процес: Якщо $P(r) = \cdots = P^{(k-1)} = 0$, але $P^{(k)}\ne 0,$ тоді

\begin{equation}\frac{t^ke^{rt}}{P^{(k)}(r)}\label{gen_erf}\end{equation} це розв'язок $$P(D)x = e^{rt}.$$

Комплексне підсилення

Поєднання комплексної заміни і ФЕВ надає критичну інформацію про синусоїдальний розв'язок рівнянь у вигляді $$P(D)x = Q(D)(\mbox{синусоїда}).$$ Цей метод дає синусоїдальний розв'язок у вигляді $$x_p(t) = \operatorname{Re}(Ge^{i\omega t})$$ де $\omega$ - це кутова швидкість входової синусоїди, а $G$ - це деяка комплексна стала.

Якщо виразити $G$ в полярній формі:

$$G=|G|e^{-i\phi },\quad \mbox{отже}\quad \phi =-\mathrm{arg}(G).$$ Тоді дійсна частина становитиме: $$|G|\cos(\omega t - \phi).$$ У випадку рівняння $$P(D)z = Q(D)e^{i\omega t},$$ знаходимо, що $$G(\omega)=\frac{Q(i\omega)}{P(i\omega)}.$$ Це комплексне число називається комплексним підсиленням. Воно містить в собі підсилення і фазове запізнення.

Трошки термінології

$\omega_n$ - природна частота. У випадку коли входова частота збігається з природною, то кажуть, що система в чистому резонансі, і тоді $\omega_n$ - це резонантна частота.

Приклад використання ФЕВ і перетворення Лапласа

Розглянемо рівняння: $$\ddot x + 9x = 9\cos(3t).$$ Для розв'язання ми можемо використати комплексне підсилення разом ФЕВ або перетворення Лапласа. Для використання перетворення Лапласа нам необхідно задати початкові умови. Нехай $x(0) = 2, \dot x(0) = 0$. Проведемо комлексну заміну, тобто ми шукатимемо дійсну частину розв'язку такого рівняння: $$\ddot x + 9x = 9e^{i3t}$$ Тут $P(D) = D^2 + 9$, отже маємо, що $P(i3) = 0.$ Тому нам необхідно використати узагальнену ФЕВ. Використавши \ref{gen_erf}, маємо: $$x=Re\left(\frac{9te^{i3t}}{6i}\right) = \frac{3}{2}t\sin(3t).$$ Для задоволення початкових умов, нам потрібен розв'язок $a\cos(3t)+b\sin(3t)$ відповідного однорідного рівняння $\ddot x + 9x = 0.$ Із нашими початковими умовами $a = 2, b = 0.$ І повний розв'язок такий: $\boxed{x = \frac{3}{2}t\sin(3t) + 2\cos(3t)}.$

Тепер використаємо перетворення Лапласа. Спочатку застосуємо перетворення Лапласа до обох боків рівняння. Таким чином ми перейдемо від диференціальної до алгебричної задачі. \begin{align*} \mathcal{L}(9\cos(3t)) &= \frac{9s}{s^2 + 9}\\ \mathcal{L}(x) &= X\\ \mathcal{L}(\ddot x) &= s^2X - sx(0) - \dot x(0)= s^2X - 2s\\ \end{align*} Тепер ми маємо алгебричне рівняння від $X$: \begin{align*} s^2X - 2s + 9X &= \frac{9s}{s^2+9}\\ X(s^2+9) &= \frac{9s}{s^2+9} +2s\\ X &= \frac{9s}{(s^2+9)^2} + \frac{2s}{s^2+9}\\ \end{align*} Зараз нам треба знайти зворотнє перетворення Лапласа для $X$. Із другим доданком все просто, він з точністю до сталої - табличний. $$\mathcal L^{-1}(\frac{2s}{s^2+9}) = 2\cos(3t)$$ З першим доданком трошки цікавіше. $$\mathcal L^{-1}\left(\frac{9s}{(s^2+9)^2}\right) = L^{-1}\left(\frac{3}{2}\left(\frac{3}{s^2+9}\right)'\right) = \frac{3}{2}t\sin(3t)$$ Отже, $\boxed{x = \frac{3}{2}t\sin(3t) + 2\cos(3t)}.$
Так, обидва методи дали ту саму відповідь, що ми й очікували.

Ремарка на перетворення Лапласа

Звернімо увагу, що зворотне перетворення Лапласа не однозначне, бо інтервал інтегування це $0, +\infty$. Тому частина, що менше або рівна нулю може бути будь-якою. Через це
Якщо задача починається зараз і продовжується в майбутньому і вам не потрібно нічого знати про минуле, це задача на перетворення Лапласа. Якщо вам треба знати про минуле, то це задача на перетворення Фур'є.

вівторок, 27 червня 2017 р.

Векторна тотожність $\vec{u}\times \vec{\omega}=\vec{\nabla}(\frac{1}{2}\vec{u}\cdot \vec{u})-\vec{u}\cdot \vec{\nabla}\vec{u}.$

У цьому дописі я розгляну векторну тотожність $$\vec{u}\times \vec{\omega}=\vec{\nabla}(\frac{1}{2}\vec{u}\cdot \vec{u})-\vec{u}\cdot \vec{\nabla}\vec{u}.$$ Почнемо з того, що $\vec\omega = \frac{1}{2}\vec\nabla\times\vec u,$ бо абсолютна величина кутової швидкості дорівнює половині абсолютної величини ротора. Отже, ми можемо переписати $$\vec{u}\times (\vec\nabla\times\vec{u})=\vec{\nabla}(\frac{1}{2}\vec{u}\cdot \vec{u})-\vec{u}\cdot \vec{\nabla}\vec{u}.$$ Або, скориставшись антикомутативністю векторного добутку: \begin{align} \vec\nabla\times\vec{u}\times\vec{u}=\vec{u}\cdot \vec{\nabla}\vec{u}-\vec{\nabla}(\frac{1}{2}\vec{u}\cdot \vec{u})\label{prepared}. \end{align}

Допоміжні поняття

Тут нам знадобиться поняття символу перестановки: $$ e_{ijk} = \begin{cases} +1 & \text{якщо } i,j,k - \text{це парна перестановка } 1,2,3 \\ -1 & \text{якщо } i,j,k - \text{це непарна перестановка } 1,2,3 \\ 0 & \text{інакше} \end{cases} $$ Розглянемо матрицю $A$ з елементами $a_{ir}$. За допомогою нашого символу ми можемо записати її визначник як \begin{align} \det A &= \frac{1}{3!}e_{ijk}e_{rst}a_{ir}a_{js}a_{kt}\nonumber,\\ \det A &= e_{rst}a_{1r}a_{2s}a_{3t}\label{detordered}. \end{align}

Тепер зауважимо, що \begin{align} e_{ijm}e_{rsm} = e_{1ij}e_{1rs}-e_{i2j}e_{r2s}+e_{ij3}e_{rs3}=e_{ij}e_{rs}\label{deltacancel}. \end{align} І в свою чергу \begin{align} e_{ij}e_{rs} = \delta_{ir}\delta_{js} - \delta_{is}\delta_{jr}, \end{align} де $\delta_{ij} -$ це символ Кронекера.

Доведення

Повернемось до \ref{prepared} і запишемо її у координатному вигляді. Для цього нам потрібно розібратись із $\vec{\nabla}\times\vec u.$ Використовуючи \ref{detordered} ми можемо записати: \begin{align} \vec{\nabla}\times\vec u &= e^{ijk}\vec{e}_i\frac{\partial}{\partial x_j}u_k.\label{curl} \end{align} \begin{align} \vec\nabla\times\vec{u}\times\vec{u} &= e_{lmn}\vec{e}_l(e_{mjk}\frac{\partial}{\partial x_j}u_k)u_n\nonumber\\ &= -\vec{e}_le_{lnm}e_{jkm}\frac{\partial}{\partial x_j}u_ku_n\nonumber\\ &= -\vec{e}_le_{ln}e_{jk}\frac{\partial}{\partial x_j}u_ku_n&&\text{скористалися }\ref{deltacancel}\nonumber\\ &= -\vec{e}_l\left(\delta_{lj}\delta_{nk}\frac{\partial}{\partial x_j}u_ku_n-\delta_{lk}\delta_{nj}\frac{\partial}{\partial x_j}u_ku_n\right)\nonumber\\ &= -\vec{e}_l\left(\frac{\partial}{\partial x_l}u_ku_k-\frac{\partial}{\partial x_j}u_lu_j\right)\label{proofongoing} \end{align} Тут ми трошки пригальмуємо і роззирнемось. Щоб рухатись далі згадаємо, що таке градієнт вектора: $$\vec\nabla\vec{u} = \frac{\partial u_i}{\partial x_j} \vec{e}_i\otimes\vec{e}_j.$$ Тепер нам варто розглянути як в індексному записі ми можемо представити величини, що ми зустріли: \begin{align*} \vec\nabla\vec{u} &= \frac{\partial u_i}{\partial x_j},&& ij\text{-й елемент}\\ \vec{\nabla}(\frac{1}{2}\vec{u}\cdot \vec{u}) &= \frac{1}{2}\vec\nabla\vec{u}_i\vec{u}_i + \frac{1}{2}\vec{u}_i\vec\nabla\vec{u}_i = \frac{\partial u_i}{\partial x_k}u_i, && k\text{-й елемент}\\ \vec{u}\cdot\vec\nabla\vec{u} &= (\vec{u}\cdot\vec\nabla)\vec{u} = u_i\frac{\partial u_k}{\partial x_i} && k\text{-й елемент} \end{align*} Використаємо нові знання про індексні записи у \ref{proofongoing}: \begin{align} \vec\nabla\times\vec{u}\times\vec{u} &= -\vec{e}_l\left(\frac{\partial u_k}{\partial x_l}u_k-u_j\frac{\partial u_l}{\partial x_j}\right)\nonumber\\ &= -\vec{\nabla}(\frac{1}{2}\vec{u}\cdot \vec{u}) + \vec{u}\cdot\vec\nabla\vec{u}\nonumber \end{align} Це і є те, що ми збирались довести. $\square$

четвер, 22 червня 2017 р.

Баланс мас у механіці суцільних середовищ

Баланс -- це питання швидкості зміни густини маси. У цьому дописі ми розглянемо рівняння балансу мас у механіці суцільних середовищ. Тут ми припускаємо, що якщо ми відкотимо деформацію, то ми отримаємо ту саму масу.

Розглянемо те як змінюється густина по мірі деформації тіла. Важливим припущенням для нас є те, що у густина -- це неперервна функція, і вона залишається неперервною незалежно від сили деформації, тобто ми не розглядаємо можливого утворення дірок.
Рисунок 1. Перетворення околу точки $\mathbf X,$ який ми позначатимемо $\mathcal N (\mathbf X)$ у окіл точки $\mathbf x$ -- $\mathcal n (\mathbf x).$
Для цього зосередимось на околі точки $\mathbf X$ у початковій конфігурації тіла - $\Omega_0.$ З плином часу цей окіл деформується в окіл точки $\mathbf x = \Phi(\mathbf X, t).$

Зауважимо, що $\rho_0(\mathbf X) = \lim_{\operatorname{vol}({\mathcal N(\mathbf X))}\to 0}\frac{\operatorname{m}(\mathcal N(\mathbf X))}{\operatorname{vol}(\mathcal N(\mathbf X))}.$

Тепер розглянемо $$ \begin{align*} \rho(\mathbf x, t) &= \lim_{\operatorname{vol}({\mathcal n(\mathbf x))}\to 0}\frac{\operatorname{m}(\mathcal n(\mathbf x))}{\operatorname{vol}(\mathcal n(\mathbf x))}\\ &=\lim_{\operatorname{vol}({\mathcal N(\mathbf x))}\to 0}\frac{\operatorname{m}(\mathcal n(\mathbf x))}{\operatorname{vol}(\mathcal N(\mathbf X))}\frac{\operatorname{vol}(\mathcal N(\mathbf X))}{\operatorname{vol}(\mathcal n(\mathbf x))}\\ &=\rho_0(\mathbf X) \det (\mathbf F^{-1}). \end{align*} $$ Тут ми використали градієнт деформації $F = \frac{\partial \mathbf x}{\partial \mathbf X},$ за допомогою якого ми можемо перейти від початкового об'єму до об'єму в час $ t$. А саме, ми знаємо, що $\operatorname{vol}(\mathcal n(\mathbf X)) = \det (\mathbf F) \operatorname{vol}(\mathcal N(\mathbf X))$. $$ \begin{equation} {\rho(\mathbf x, t)\Big\vert\,}_{\mathbf x = \Phi(\mathbf X, t)} = \rho_0(\mathbf X)\det \left(\mathbf F^{-1}(\mathbf X, t)\right) = \rho_0(\mathbf X) \mathcal J^{-1}(\mathbf X, t). \label{eq:rho} \end{equation} $$ Відображаючи умову вказану на початку допису, а саме, того що густина початкової конфігурації не залежить від часу, маємо: $$ \begin{equation} \frac{\partial \rho_0(\mathbf X)}{\partial t} = 0. \end{equation} $$ Як щодо $\rho (\mathbf x, t)$? $$\rho_0(\mathbf X) = {\rho(\mathbf x, t)\Big\vert\,}_{\mathbf x = \Phi(\mathbf X, t)} \mathcal J (\mathbf X, t).$$ $$ \begin{align} {\frac{\partial \rho_0(\mathbf X)}{\partial t}\Bigg\vert}_{\mathbf X - стала} &= \frac{\mathrm D \rho(\mathbf x, t)}{\mathrm D t} \mathcal J (\mathbf X, t) + \rho(\mathbf x, t) {\frac{\partial \mathcal J (\mathbf X, t)}{\partial t}\Bigg\vert}_{\mathbf X - стала}\nonumber\\ &=\left(\frac{\partial \rho(\mathbf x, t)}{\partial t} + \nabla \rho(\mathbf x, t) \cdot \mathbf{v}(\mathbf x, t)\right)\mathcal J (\mathbf X, t) + \rho(\mathbf x, t)\dot{\mathcal J}(\mathbf X, t),\label{eq:rho0dert} \end{align} $$ Тут $\frac{\mathrm D \rho(\mathbf x, t)}{\mathrm D t}$ позначає матеріальну похідну. Тепер розглянемо $\dot{\mathcal J}(\mathbf X, t)$ : $$ \begin{align} \dot{\mathcal J}(\mathbf X, t) &= \frac{\partial \det\left(\mathbf F(\mathbf X, t)\right)}{\partial t}\nonumber\\ &= \frac{\partial \det(\mathbf F(\mathbf X, t))}{\partial \mathbf F(\mathbf X, t)} \mathbf{:} \frac{\partial \mathbf F(\mathbf X, t)}{\partial t}\nonumber\\ &= \frac{\partial \det(\mathbf F(\mathbf X, t))}{\partial F(\mathbf X, t)_{iI}} \frac{\partial F(\mathbf X, t)_{iI}}{\partial t}\label{eq:dotIpre}. \end{align} $$ Тут значок $\mathbf{:}$ позначає згортку тензорів. Градієнт деформації має індекси, що складаються з великої і малої літери бо це двоточковий тензор, тобто він слугує для зв'язку між початковою і поточною конфігураціями. З цього моменту, усюди де це само собою зрозуміло я не писатиму параметри функції. $$\frac{\partial \det(\mathbf F)}{\partial \mathbf F_{iI}} = \frac{\partial \frac{1}{6}\varepsilon_{abc}\varepsilon_{ABC}F_{aA}F_{bB}F_{cC}}{\partial F_{iI}} = \operatorname{Cof}(\mathbf F)_{iI}$$ Де $\varepsilon_{ijk}$ -- це символ Леві-Чивіти, а $\operatorname{Cof}(\mathbf F)_{iI}$ -- це кофактор.

Згадаємо формулу для оберненої матриці: $A^{-1}_{ij}=\frac{\operatorname{Cof}(A^T_{ij})}{\det{A}},$ або в матричному вигляді: $A^{-1} = \frac{\operatorname{Cof}A^T}{\det A}$.

Отже, $\ref{eq:dotIpre}$ можна записати як: $$\dot{\mathcal J} = \mathcal J \mathbf F^{-T} \mathbf{:} \dot{\mathbf F} = \mathcal{J} \dot{F}_{iI} F^{-1}_{Ii} = \mathcal{J} \operatorname{trace}(\dot{\mathbf F} \mathbf F^{-1}) = \mathcal J \mathbb{I}\mathbf{:}(\dot{\mathbf F} \mathbf F^{-1}).$$ Для того, щоб рухатись далі нам потрібно розглянути градієнти матеріальної і просторової швидкостей.

Градієнт матеріальної швидкості $\mathbf V$: $\frac{\partial}{\partial \mathbf X}\frac{\partial \Phi}{\partial t} = \frac{\partial}{\partial t}\frac{\partial \Phi}{\partial \mathbf X} = \frac{\partial}{\partial t} \mathbf F = \dot{\mathbf F}.$

Градієнт просторової швидкості $\mathbf v$: ${\frac{\partial}{\partial \mathbf x}\frac{\partial \Phi}{\partial t}\Bigg\vert}_{\mathbf x = \Phi(\mathbf X, t)} = \frac{\partial}{\partial t}\frac{\partial \Phi}{\partial \mathbf X}\frac{\partial \mathbf X}{\partial \mathbf x} = \dot{\mathbf F}\mathbf F^{-1}.$

Введемо такі позначення: $$ \begin{align} \operatorname{GRAD}\mathbf V &= \frac{\partial \mathbf V}{\partial \mathbf X} = \dot{\mathbf F},\nonumber\\ \mathbf\nabla\mathbf v &= \frac{\partial \mathbf v}{\partial \mathbf x} = \dot{\mathbf F}{\mathbf F^{-1}}\label{eq:spatialgrad}. \end{align} $$ Отже, використовуючи \ref{eq:spatialgrad} маємо, що $\dot{\mathcal J} = \mathcal J \operatorname{trace}(\mathbf\nabla \mathbf v).$ Підставляючи в \ref{eq:rho0dert} отримуємо: $$ \frac{\partial \rho_0}{\partial t} = \left(\frac{\partial \rho}{\partial t} + \nabla \rho\cdot \mathbf v + \rho \operatorname{trace}(\mathbf\nabla\mathbf v)\right)\mathcal J = 0. $$ Тут ми знаємо, що $\mathcal J \ne 0,$ властивість непроникності речовини, отже ми можемо поділити на $\mathcal J$ і отримати: $$ \frac{\partial \rho}{\partial t} + \nabla \rho\cdot \mathbf v + \rho \operatorname{trace}(\mathbf\nabla\mathbf v) = 0. $$ Щоб спростити далі зауважимо, що $\mathbf\nabla\mathbf v = \frac{\partial \mathbf v_{i}}{\partial \mathbf x_j}\mathbf e_i \otimes \mathbf e_j,$ відповідно слід цієї матриці дорівнює $\nabla \cdot \mathbf v.$ І, нарешті, рівняння збереження маси в поточній конфігурації таке: $$ \begin{equation} \boxed{ \frac{\partial \rho}{\partial t} + \nabla \rho\cdot \mathbf v + \rho \nabla \cdot \mathbf v = 0. }\label{eq:massconscur} \end{equation} $$ У випадку нестисних плинів $\nabla \cdot \mathbf v = 0,$ тому $$ \begin{equation} \boxed{ \frac{\partial \rho}{\partial t} + \nabla \rho\cdot \mathbf v = 0. }\label{eq:massconscurincompress} \end{equation} $$ Зауважте, що ми можемо поєднати два останні доданки у \ref{eq:massconscur}: $$ \boxed{ \frac{\partial \rho}{\partial t} + \nabla \cdot( \rho \mathbf v) = 0. } $$

Див. також

вівторок, 30 травня 2017 р.

Оператор Лапласа: від декартових до сферичних координат

Оператор Лапласа дуже важливий, він повсюдно зустрічається у фізиці. Його форма в декартових координатах проста і симетрична: $$ \begin{equation} \nabla^2 = \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2} \label{eq:cartesian}\end{equation} $$

Вираження у сферичних координатах:

Перехід до декартових від сферчних: $$ \begin{align} x &=r \sin{\theta}\cos{\phi},\label{eq:x}\\ y &=r \sin{\theta}\sin{\phi},\label{eq:y}\\ z &=r \cos{\theta}.\label{eq:z} \end{align} $$ І навпаки: $$ \begin{align} r &= \sqrt{x^2+y^2+z^2}, \label{eq:r}\\ \cos\phi &= \frac{x}{\sqrt{x^2+y^2}}, \label{eq:cosphi}\\ \sin\phi &= \frac{y}{\sqrt{x^2+y^2}}, \label{eq:sinphi}\\ \cos\theta &= \frac{z}{\sqrt{x^2+y^2+z^2}}, \label{eq:costheta}\\ \sin\theta &= \frac{\sqrt{x^2+y^2}}{\sqrt{x^2+y^2+z^2}}. \label{eq:sintheta} \end{align} $$ Використовуючи ланцюгове правило маємо: $$ \begin{align} \frac{\partial}{\partial x} = \frac{\partial}{\partial r}\frac{\partial r}{\partial x} + \frac{\partial}{\partial \phi}\frac{\partial \phi}{\partial x} + \frac{\partial}{\partial \theta}\frac{\partial \theta}{\partial x},\\ \frac{\partial}{\partial y} = \frac{\partial}{\partial r}\frac{\partial r}{\partial y} + \frac{\partial}{\partial \phi}\frac{\partial \phi}{\partial y} + \frac{\partial}{\partial \theta}\frac{\partial \theta}{\partial y},\\ \frac{\partial}{\partial z} = \frac{\partial}{\partial r}\frac{\partial r}{\partial z} + \frac{\partial}{\partial \phi}\frac{\partial \phi}{\partial z} + \frac{\partial}{\partial \theta}\frac{\partial \theta}{\partial z}. \end{align} $$ Знайти $\frac{\partial r}{\partial x}, \frac{\partial r}{\partial y}, \frac{\partial r}{\partial z}$ не дуже складно. Використовуємо $\ref{eq:x}, \ref{eq:y}, \ref{eq:z}:$ $$ \begin{align} \frac{\partial r}{\partial x}&=\frac{x}{\sqrt{x^2+y^2+z^2}}=\sin\theta\cos\phi,\\ \frac{\partial r}{\partial y}&=\frac{y}{\sqrt{x^2+y^2+z^2}}=\sin\theta\sin\phi,\\ \frac{\partial r}{\partial z}&=\frac{z}{\sqrt{x^2+y^2+z^2}}=\cos\theta.\\ \end{align} $$ Трошки більше проблем з $\frac{\partial \phi}{\partial x}, \frac{\partial \phi}{\partial y}, \frac{\partial \phi}{\partial z}.$ Нам буде потрібен той факт, що $\sqrt{x^2+y^2} = r\sin\theta.$ Застосовуючи неявне диференціювання, почергово вважаючи $y$ і $x$ сталими:
$$ \begin{align*} -\sin\phi\ d\phi &= \left(\frac{1}{\sqrt{x^2+y^2}}-\frac{x^2}{(x^2+y^2)^{3/2}}\right)dx = \frac{y^2}{(x^2+y^2)^{3/2}}dx = \frac{\sin^2\phi}{r\sin\theta}dx,\\ \cos\phi\ d\phi &= \left(\frac{1}{\sqrt{x^2+y^2}}-\frac{y^2}{(x^2+y^2)^{3/2}}\right)dy = \frac{x^2}{(x^2+y^2)^{3/2}}dy = \frac{\cos^2\phi}{r\sin\theta}dy, \end{align*} $$ отже $$ \begin{align} \frac{\partial \phi}{\partial x}&=-\frac{\sin\phi}{r\sin\theta},\\ \frac{\partial \phi}{\partial y}&=\frac{\cos\phi}{r\sin\theta},\\ \frac{\partial \phi}{\partial z}&=0. \end{align} $$ Останнє рівняння має місце бо $\phi$ не залежить від $z.$

Використовуючи почергово $\ref{eq:costheta}, \ref{eq:costheta}$ і $\ref{eq:sintheta}$, подібним чином обчислюємо $\frac{\partial \theta}{\partial x}, \frac{\partial \theta}{\partial y}, \frac{\partial \theta}{\partial z}:$ $$ \begin{align*} -\sin\theta\ d\theta &= -\frac{zx}{(x^2+y^2+z^2)^{3/2}} dx = -\frac{\cos\ \theta\sin\ \theta\cos\ \phi}{r}dx,\\ -\sin\theta\ d\theta &= -\frac{zy}{(x^2+y^2+z^2)^{3/2}} dy = -\frac{\cos\ \theta\sin\ \theta\sin\ \phi}{r}dy,\\ \cos\theta\ d\theta &= -\frac{z\sqrt{x^2+y^2}}{(x^2+y^2+z^2)^{3/2}} dz = \frac{\cos\ \theta\sin\ \theta}{r}dz, \end{align*} $$ отже $$ \begin{align} \frac{\partial \theta}{\partial x}&=\frac{\cos\ \theta\cos\ \phi}{r},\\ \frac{\partial \theta}{\partial y}&=\frac{\cos\ \theta\sin\ \phi}{r},\\ \frac{\partial \theta}{\partial z}&=-\frac{\sin\ \theta}{r}. \end{align} $$

Тепер нам потрібно обчислити $\frac{\partial^2}{\partial x^2}, \frac{\partial^2}{\partial y^2}$ і $\frac{\partial^2}{\partial z^2}.$ Почнемо з найпростішого: $$ \frac{\partial^2}{\partial z^2} = \left(\cos\ \theta\frac{\partial}{\partial r} - \frac{\sin\ \theta}{r}\frac{\partial}{\partial \theta}\right)\left(\cos\ \theta\frac{\partial}{\partial r} - \frac{\sin\ \theta}{r}\frac{\partial}{\partial \theta}\right). $$ Далі гірше: $$ \begin{align*} \frac{\partial^2}{\partial x^2} &= \left(\sin\ \theta\cos\ \phi\frac{\partial}{\partial r} - \frac{\sin\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi} + \frac{\cos\ \theta\cos\ \phi}{r}\frac{\partial}{\partial \theta}\right)\\ &\quad \times\left(\sin\ \theta\cos\ \phi\frac{\partial}{\partial r} - \frac{\sin\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi} + \frac{\cos\ \theta\cos\ \phi}{r}\frac{\partial}{\partial \theta}\right),\\ \frac{\partial^2}{\partial y^2} &= \left(\sin\ \theta\sin\ \phi\frac{\partial}{\partial r} + \frac{\cos\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi} + \frac{\cos\ \theta\sin\ \phi}{r}\frac{\partial}{\partial \theta}\right)\\ &\quad \times\left(\sin\ \theta\sin\ \phi\frac{\partial}{\partial r} + \frac{\cos\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi} + \frac{\cos\ \theta\sin\ \phi}{r}\frac{\partial}{\partial \theta}\right). \end{align*} $$ Якщо ми будемо просто розкривати дужки, то збожеволіємо. Тому ми будемо розглядати доданки зі спільним множником. Почнемо з $\frac{\partial^2}{\partial r^2}$: $$[\cos^2\ \theta + \sin^2\ \theta(\cos^2\ \phi + \sin^2\ \phi)] = 1.$$ Себто, перший доданок результату -- це $\boxed{\frac{\partial^2}{\partial r^2}}.$ Гляньмо на те, що відбувається з доданками де кожен множник містить $\frac{\partial}{\partial \phi}.$ Розпишемо ті з них, які в рівняннях із $\frac{\partial}{\partial x^2}$ і $\frac{\partial}{\partial y^2}$ відповідно: $$ \begin{align*} \left(-\frac{\sin\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi}\right)\cdot\left(-\frac{\sin\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi}\right) &=\frac{\sin\ \phi\cos\ \phi}{r^2\sin^2\ \theta}\frac{\partial}{\partial \phi}+\frac{\sin^2\ \phi}{r^2\sin^2\ \theta}\frac{\partial^2}{\partial \phi^2},\\ \left(-\frac{\cos\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi}\right)\cdot\left(-\frac{\cos\ \phi}{r\sin\ \theta}\frac{\partial}{\partial \phi}\right) &=-\frac{\cos\ \phi\sin\ \phi}{r^2\sin^2\ \theta}\frac{\partial}{\partial \phi}+\frac{\cos^2\ \phi}{r^2\sin^2\ \theta}\frac{\partial^2}{\partial \phi^2}. \end{align*} $$ У сумі виходить $\boxed{\frac{1}{r^2\sin^2\ \theta}\frac{\partial^2}{\partial \phi^2}}.$ Переходимо до множення додантків із $\frac{\partial}{\partial \theta}:$ $$ \begin{align*} &\left(\frac{\sin\ \theta\cos\ \theta}{r^2} - \frac{\cos\ \theta\sin\ \theta\cos^2\ \phi}{r^2} - \frac{\cos\ \theta\sin\ \theta\sin^2\ \phi}{r^2}\right)\frac{\partial}{\partial \theta}\\ &+\left(\frac{\sin^2\ \theta}{r^2} + \frac{\cos^2\ \theta\cos^2\ \phi}{r^2} + \frac{\cos^2\ \theta\sin^2\ \phi}{r^2}\right)\frac{\partial^2}{\partial \theta^2}. \end{align*} $$ Отже, маємо $\boxed{\frac{1}{r^2}\frac{\partial^2}{\partial \theta^2}}.$

Попереду ще багатенько, хай йому грець! Добре, наступне коло, беремося за всі доданки з $\frac{\partial}{\partial r}$ і $\frac{\partial}{\partial \phi}:$ $$ \begin{align*} &\left(\frac{\sin\ \theta\cos\ \phi\sin\ \phi}{r^2\sin\ \phi} - \frac{\sin\ \theta\sin\ \phi\cos\ \phi}{r^2\sin\ \phi}\right)\frac{\partial}{\partial \phi}\\ &+\left(\frac{\sin^2\ \phi\sin\ \theta}{r\sin\ \theta} + \frac{\cos^2\ \phi\sin\ \theta}{r\sin\ \theta}\right)\frac{\partial}{\partial r}\\ &+\bigg(-\frac{\sin\ \theta\cos\ \phi\sin\ \phi}{r\sin\ \theta} - \frac{\sin\ \phi\sin\ \theta\cos\ \phi}{r\sin\ \theta}\\ &\quad\quad + \frac{\sin\ \theta\sin\ \phi\cos\ \phi}{r\sin\ \theta} + \frac{\cos\ \phi\sin\ \theta\sin\ \phi}{r\sin\ \theta}\bigg)\frac{\partial}{\partial r}\frac{\partial}{\partial \phi}\\ =&\boxed{\frac{1}{r}\frac{\partial}{\partial r}}. \end{align*} $$ Тепер черга за доданками з $\frac{\partial}{\partial r}$ і $\frac{\partial}{\partial \theta}:$ $$ \begin{align*} &\left(\frac{\cos\ \theta\sin\ \theta}{r^2}-\frac{\sin\ \theta\cos^2\ \phi\cos\ \theta}{r^2}-\frac{\sin\ \theta\sin^2\ \phi\cos\ \theta}{r^2}\right)\frac{\partial}{\partial \theta}\\ &+\left(\frac{\sin^2\ \theta}{r} + \frac{\cos^2\ \theta\cos^2\ \phi}{r} + \frac{\cos^2\ \theta\sin^2\ \phi}{r} \right)\frac{\partial}{\partial r}\\ &+\bigg(-\frac{\cos\ \theta\sin\ \theta}{r}-\frac{\sin\ \theta\cos\ \theta}{r}\\ &\quad\quad + \frac{\sin\ \theta\cos\ \theta\cos^2\ \phi}{r} + \frac{\sin\ \theta\cos\ \theta\sin^2\ \phi}{r}\\ &\quad\quad + \frac{\sin\ \theta\cos\ \theta\sin^2\ \phi}{r} + \frac{\sin\ \theta\cos\ \theta\sin^2\ \phi}{r}\bigg)\frac{\partial}{\partial r}\frac{\partial}{\partial \theta}\\ =&\boxed{\frac{1}{r}\frac{\partial}{\partial r}}. \end{align*} $$ І остання двійка множників -- це $\frac{\partial}{\partial \phi}$ і $\frac{\partial}{\partial \theta}:$ $$ \begin{align*} &\left(\frac{\sin^2\ \phi\cos\ \theta}{r^2\sin\ \theta}+\frac{\cos^2\ \phi\cos\ \theta}{r^2\sin\ \theta}\right)\frac{\partial}{\partial \theta}\\ &+\left(\frac{\cos^2\ \theta\cos\ \phi\sin\ \phi}{r\sin^2\ \theta} - \frac{\cos^2\ \theta\sin\ \phi\cos\ \phi}{r\sin^2\ \theta}\right)\frac{\partial}{\partial \phi}\\ &+\bigg(-\frac{\sin\ \phi\cos\ \theta\cos\ \phi}{r^2\sin\ \theta}-\frac{\cos\ \theta\cos\ \phi\sin\ \phi}{r^2\sin\ \theta}\\ &\quad\quad + \frac{\cos\ \phi\cos\ \theta\sin\ \phi}{r^2\sin\ \theta} + \frac{\sin\ \phi\cos\ \theta\cos\ \phi}{r^2\sin\ \theta}\bigg)\frac{\partial}{\partial \phi}\frac{\partial}{\partial \theta}\\ =&\boxed{\frac{\cos\ \theta}{r^2\sin\ \theta}\frac{\partial}{\partial \theta}}. \end{align*} $$ Тепер збираємо всі доданки обведені прямокутниками, щоб отримати формулу оператора Лапласа у сферичних координатах: $$\nabla^2 = \frac{\partial^2}{\partial r^2} + \frac{2}{r}\frac{\partial}{\partial r} + \frac{1}{r^2}\bigg[\frac{\partial^2}{\partial \theta^2} +\frac{\cos\ \theta}{\sin\ \theta}\frac{\partial}{\partial \theta} + \frac{1}{\sin^2\ \theta}\frac{\partial^2}{\partial \phi^2}\bigg].$$ Ми можемо переписати її в трошки охайнішій формі: $$\boxed{\nabla^2 = r^2\frac{\partial}{\partial r}\frac{1}{r^2}\frac{\partial}{\partial r} + \frac{1}{r^2\sin\ \theta}\frac{\partial}{\partial\theta}\sin\ \theta\frac{\partial}{\partial\theta} + \frac{1}{r^2\sin^2\ \theta}\frac{\partial^2}{\partial\phi^2}}.$$ Зауважте, що домноження на $r^2$ повністю розділяє кутову частину від радіальної. Ось чому уся робота була варта того.

пʼятниця, 26 травня 2017 р.

Лапласіан радіальної функції

Нехай $f:\mathbb{R}^n\to\mathbb{R} - $ це радіальна функція, тобто $f(x)=f(r)$ де $r:=\left\|x\right\|_2$. Тоді $$\Delta f=\frac{1}{r^{n-1}}\frac{d}{dr}(r^{n-1}f').$$

Доведення:

З одного боку, $$\frac{1}{r^{n-1}}\frac{d}{dr}\left(r^{n-1}f'\right) = \frac{1}{r^{n-1}} \left( (n-1)r^{n-2} f' + r^{n-1} f'' \right) = \frac{n-1}{r}f' + f''$$ З іншого боку, градієнт $f - $ це $$ \begin{align*} \displaystyle \nabla f& = \left(\frac{\partial}{\partial x_1}f,\dots,\frac{\partial}{\partial x_n}f\right)\\ & = \Bigg(\frac{\partial r}{\partial x_1}\frac{\partial f}{\partial r},\dots,\frac{\partial r}{\partial x_n}\frac{\partial f}{\partial r}\Bigg)\\ & = \Bigg(\frac{x_1}{r}f',\dots,\frac{x_n}{r}f'\Bigg)\\ & = \frac{\vec{r}}{r}f',\\ \end{align*} $$ де $\frac{\partial r}{\partial x_i} = \left(\sqrt{\sum_{j=1}^n x_j^2}\right)'_{x_i} = \frac{2x_i}{2\sqrt{\sum_{j=1}^n x_j^2}} = \frac{x_i}{r}.$

Тепер ми можемо обчислити Лапласіан $f.$

$$ \begin{align*} \nabla\cdot\nabla f& = \nabla\cdot\left(\frac{x_1}{r}f',\dots,\frac{x_n}{r}f'\right) = \sum_{i=1}^n \left(\frac{x_i}{r}f'\right)'_{x_i}\\ & = \sum_{i=1}^n \left(\frac{1\cdot r - x_i\cdot x_i/r}{r^2}f' + \frac{x_i}{r}f''\frac{\partial r}{\partial x_i}\right)\\ & = \left( \frac{n}{r} - \frac{\vec{r}\cdot\vec{r}}{r^3}\right) f' + \frac{\vec{r}\cdot\vec{r}}{r^2}f'' = \frac{n-1}{r}f' + f'' \end{align*} $$ Отже, $\boxed{\displaystyle \Delta f = \frac{1}{r^{n-1}}\frac{d}{dr}\left(r^{n-1}f'\right).}$

неділя, 5 лютого 2017 р.

По дорозі до Нав'є — Стокса

Загальна транспортна теорема

Нехай $\mathbf F$ буде гладким векторним або скалярним полем в області $\mathcal R(t)$ чиї межі це $\mathcal S(t),$ і нехай $\mathbf W$ буде полем швидкостей часозалежного руху $\mathcal S(t).$ Тоді $$\frac{d}{dt}\int_{\mathcal R(t)}\mathbf F(x, t)\ dV = \int_{\mathcal R(t)}\frac{\partial \mathbf F}{\partial t}\ dV + \int_{\mathcal S(t)}\mathbf F\mathbf W \cdot \mathbf n\ dA.$$

Транспортна теорема Рейнольдса

Нехай $\mathbf\Phi$ буде гладким векторним або скалярним полем, і припустимо, що $\mathcal R(t)$ це пакунок плину з поверхнею $\mathcal S(t),$ що мандрує зі швидкістю потоку $\mathbf U.$ Тоді $$\frac{D}{Dt}\int_{\mathcal R(t)}\mathbf\Phi\ dV =\int_{\mathcal R(t)}\frac{\partial\mathbf\Phi}{\partial t}\ dV +\int_{\mathcal S(t)}\mathbf\Phi \mathbf U \cdot \mathbf n\ dA.$$

Виведення з Загальної транспортної теореми.

Якщо наша область рухається зі швидкістю потоку, то $\mathbf W = \mathbf U$ і загальна похідна перетворюється на матеріальну.1

Рівняння неперервності для контрольного об'єму

Почнемо з розглядання фіксованої маси плину $m,$ що міститься в довільній області $\mathcal R(t).$ $$m=\int_{\mathcal R(t)}\rho\ dV.$$ $\mathcal R(t), m$ можуть змінюватись з часом, але маса повинна залишатись незмінною. Наприклад, можна розглянути повітряну кульку з теплим повітрям у холодному середовищі. $$\frac{dm}{dt}=\frac{d}{dt}\int_{\mathcal R(t)}\rho\ dV.$$ Застосувавши загальну транспортну теорему маємо: $$\int_{\mathcal R(t)}\frac{\partial \rho}{\partial t}\ dV + \int_{\mathcal S(t)}\rho \mathbf W\cdot \mathbf n\ dA = 0.$$ У плинових системах зазвичай зручно вважати, що поле швидкостей $\mathbf W$ було полем швидкостей плину, що відповідає розгляданню на локальному рівні нашої області як пакунок плину. $$\int_{\mathcal R(t)}\frac{\partial \rho}{\partial t}\ dV + \int_{\mathcal S(t)}\rho \mathbf U\cdot \mathbf n\ dA = 0.$$ Використавши формула Остроградського-Гауса ми позбуваємось двох типів інтегралів залишаючи лише інтеграл по об'єму: $$\int_{\mathcal R(t)}\frac{\partial \rho}{\partial t} + \nabla \cdot \rho \mathbf U\ dV = 0.$$ З того, що область $\mathcal R(t)$ було обрана довільно ми можемо вважати, що це діє і для наскільки завгодно малої області (в рамках нашої гіпотези неперервності), тобто інтеграл мусить бути нулем усюди в $\mathcal R(t)$. Якщо це не так ми можемо розділити $\mathcal R(t)$ на дві підобласті додатну і від'ємну і показити цим порушення рівності нулю. Отже, $$\begin{equation}\frac{\partial \rho}{\partial t} + \nabla \cdot \rho \mathbf U=0\label{eq:cont_eq_df}\end{equation}.$$ Це диференціальна форма рівняння неперервності.
Якщо розписати оператор дивергенції, то маємо $$\begin{equation} \rho_t + (\rho u)_t + (\rho v)_t + (\rho w)_t = 0\label{eq:cont_eq_div_decomp}\end{equation}.$$ Тепер можна використати добутку для похідних $$\frac{D\rho}{Dt} + \rho\nabla\cdot \mathbf U = 0\label.$$ У випадку нестисного потоку, $\rho - $ стале, маємо $$\begin{equation}u_x + v_y + w_z = 0\label{eq:incompres_uvw}\end{equation}.$$

Аналіз у випадку контрольного об'єму

Оскільки $\ref{eq:cont_eq_df}$ виконується для будь-якого об'єму, то ми можемо записати його і для пакунку плину $$\int_{\mathcal R(t)} \frac{\partial \rho}{\partial t} + \nabla \cdot \rho \mathbf U\ dV = 0.$$ Тепер ми використаємо формулу Остроградського-Гауса в іншому напрямку $$\int_{\mathcal R(t)} \frac{\partial \rho}{\partial t}\ dV + \int_{\mathcal S(t)} \rho \mathbf U \cdot \mathbf n = 0.$$ Тепер Загальну транспортну теорему $$\frac{d}{dt} \int_{\mathcal R(t)}\rho\ dV + \int_{\mathcal S(t)}\rho(\mathbf U - \mathbf W)\cdot \mathbf n \ dA = 0.$$ Якщо $\mathcal S_e(t)$ - зона входів і виходів через які плин може втікати і витікати, то $$\frac{d}{dt} \int_{\mathcal R(t)}\rho\ dV + \int_{\mathcal S_e(t)}\rho(\mathbf U - \mathbf W)\cdot \mathbf n \ dA = 0.$$ Це рівняння називається рівняння неперервності для контрольного об'єму і виражає очевидний факт, що
$\{$ швидкість збільшення маси
контрольного об'єму
$\}$ = $\{$ сумарний потік
крізь поверхню
$\}$

Спрощення

Якщо густина незмінна з часом, а контрольний об'єм нерухомий, тобто $\mathbf W = 0,$ тоді можна записати $$\begin{equation}\int_{\mathcal S_e(t)}\rho\mathbf U \cdot \mathbf n\ dA = 0\label{eq:cv_simple}\end{equation}.$$ Рівняння $\ref{eq:cv_simple}$ вимірюється в одиницях $\rho U A,$ тобто $\frac{M}{L^3}\frac{L}{T}L^2 = \frac{M}{T}.$ Ми називаємо це масовою ви́тратою $\dot m = \rho U A.$ У випадку часозалежної поверхні маємо $$\dot m = \int_{\mathcal S_e(t)} \rho(\mathbf U - \mathbf W)\cdot n\ dA.$$

Рівняння імпульсу потоку плину

Тут нам знадобиться закон Ньютона, який ми запишемо в альтернативній формі $$F/V = \frac{d}{dt}(\rho u).$$ На відміну від випадку з рівнянням неперевності наша область одразу буде пакунком плину. Якщо ми використовуємо Ейлерову точку зору, то швидкість зміни вектора імпульсу $\frac{D}{Dt}\int_{\mathcal R(t)}\rho \mathbf U\ dV.$ Маємо основні два типи сил, які треба врахувати:
  • масова сила - $\int_{\mathcal R(t)}\mathbf F_B\ dV,$
  • поверхнева сила - $\int_{\mathcal S(t)}\mathbf F_S\ dA.$
$$\begin{equation}\frac{D}{Dt}\int_{\mathcal R(t)}\rho \mathbf U\ dV = \int_{\mathcal R(t)}\mathbf F_B\ dV + \int_{\mathcal S(t)}\mathbf F_S\ dA\label{eq:momentum}\end{equation}.$$ Не дуже зручно мати в одному рівнянні два типи інтегралів: по поверхні і по об'єму. Також хотілось би використовувати змінні, які звичні інженерних обчислень, тому потрібно виразити об'єм і поверхню через ці змінні. Зауважимо, що масові сили досить прості, тобто зазвичай це лише виштовхувальна сила через гравітаційне прискорення, $\mathbf F_B = \rho \mathbf g.$ Натомість робота з поверхневими силами вимагає певних серйозних зусиль, тому спочатку ми спростимо рівняння внесенням диференціювання під знак інтеграла. Для цього ми використаємо транспортну теорему Рейнольдса. $$\frac{D}{Dt}\int_{\mathcal R(t)}\rho u\ dV =\int_{\mathcal R(t)}\frac{\partial \rho u}{\partial t}\ dV +\int_{\mathcal S(t)}\rho u \mathbf U \cdot \mathbf n\ dA.$$ Знов використаємо формулу Остроградського-Гауса, щоб отримати інтеграл по об'єму праворуч, під знаком інтегралу маємо $$\frac{\partial \rho u}{\partial t} + \nabla \cdot (\rho u \mathbf U) = \frac{\partial \rho u}{\partial t} + \mathbf U \cdot \nabla (\rho u) + \rho u \nabla \cdot \mathbf U.$$ Тому що ми маємо справу з нестисним потоком, ми можемо використати $\ref{eq:incompres_uvw}$ $$\begin{equation}\frac{D}{Dt}\int_{\mathcal R(t)}\rho u\ dV =\int_{\mathcal R(t)}\rho\frac{\partial u}{\partial t} + \rho\mathbf U \cdot \nabla u\ dV =\int_{\mathcal R(t)}\rho\frac{D u}{D t}\ dV \label{eq:for_momentum_under_int}\end{equation},$$ де $u$ - це $x-$компонент швидкості. Перезапишемо $\ref{eq:momentum}$ використавши $\ref{eq:for_momentum_under_int}$: $$\begin{equation}\int_{\mathcal R(t)}\rho \frac{D\mathbf U}{Dt}\ dV = \int_{\mathcal R(t)}\mathbf F_B\ dV + \int_{\mathcal S(t)}\mathbf F_S\ dA\label{eq:momentum_under_int}\end{equation}.$$

Ну що ж, нам залишились два кроки: перевести рівняння $\ref{eq:momentum_under_int}$ до диференціальної форми і розібратись із поверхневими силами. Зауважимо, що $\mathbf F_S$ - це вектор і це говорить, що має існувати матриця $\Lambda,$ така що $\mathbf F_S = \mathbf{\Lambda} \cdot \mathbf n.$ З того, що $\mathbf n$ - це чисто геометрична величина, нормаль до поверхні, то фізична сутність поверхневих сил мусить зберігатись в матриці $\mathbf{\Lambda}.$

Тепер ми готові записати базову форму диференціального рівняння імпульсу: $$\int_{\mathcal R(t)}\rho \frac{D\mathbf U}{Dt}\ dV = \int_{\mathcal R(t)}\mathbf F_B\ dV + \int_{\mathcal S(t)}\mathbf{\Lambda}\cdot\mathbf n\ dA,$$ Тому що $\mathcal R(t)$ - це довільний елемент плину і, отже, ми можемо обрати його як завгодно малим, то підінтегральний вираз також дорівнює нулю: $$\begin{equation}\rho \frac{D\mathbf U}{Dt} - \mathbf F_B - \nabla\cdot\mathbf{\Lambda} = 0\label{eq:momentum_dif_form}\end{equation}.$$ Це дуже загальний баланс імпульсу, що виконується для всіх точок будь-якого потоку плину (в межах гіпотези неперервності).

Трактування поверхневих сил

Поверхневе напруження складніша величина. Причиною цьому є те, що ми не можемо говорити про напруження в точці не визначивши поверхню на яку це напруження діє. $$\Lambda = \begin{bmatrix} -p + \tau_{xx} & \tau_{xy} & \tau_{xz} \\ \tau_{yx} & -p + \tau_{yy} & \tau_{yz} \\ \tau_{zx} & \tau_{zy} & -p + \tau_{zz} \\ \end{bmatrix} = -p\mathbf I + \mathbf\tau.$$ $\mathbf\tau$ відомий як в'язкісний тензор напружень.

Рівняння Нав'є-Стокса

$$ \begin{align*} \nabla\cdot\Lambda &= \big(-\frac{\partial p}{\partial x} + \frac{\partial\tau_{xx}}{\partial x} + \frac{\partial\tau_{yx}}{\partial y} + \frac{\partial\tau_{zx}}{\partial z}\big)\mathbf e_1 +\\ &= \big(-\frac{\partial p}{\partial y} + \frac{\partial\tau_{xy}}{\partial x} + \frac{\partial\tau_{yy}}{\partial y} + \frac{\partial\tau_{zy}}{\partial z}\big)\mathbf e_2 +\\ &= \big(-\frac{\partial p}{\partial z} + \frac{\partial\tau_{xz}}{\partial x} + \frac{\partial\tau_{yz}}{\partial y} + \frac{\partial\tau_{zz}}{\partial z}\big)\mathbf e_3. \end{align*} $$ Тепер ми можемо переписати $\ref{eq:momentum_dif_form}$ у вигляді $$\begin{equation}\rho\frac{Du}{Dt} = -\frac{\partial p}{\partial x} + \frac{\partial\tau_{xx}}{\partial x} + \frac{\partial\tau_{yx}}{\partial y} + \frac{\partial\tau_{zx}}{\partial z} + F_{B,x}\label{eq:momentum_df_tau}\end{equation}$$ Згадаємо багатовимірний закон в'язкості Ньютона, який надає такі формули для компонентів напруження в'язкості: $$\tau_{xx} = 2\mu u_x, \tau_yx = \mu(u_y+v_x), \tau_zx = \mu=\mu(u_z+w_x).$$ Підставляючи це у другий, третій і четвертий доданки $\ref{eq:momentum_df_tau}$ маємо $$2\mu u_{xx}+\mu(u_y+v_x)_y+\mu(u_z+w_x)_z.$$ Ми можемо переформатувати це так: $$\mu (u_{xx} + u_{yy} + u_{zz}) + \mu (u_x + v_y + w_z)_x,$$ але ми маємо справу з нестисним потоком, тому згідно з $\ref{eq:incompres_uvw}$ дивергенція вектора швидкості дорівнює нулю і залишається лише перший доданок. $$\rho\frac{Du}{Dt}=-p_x+\mu(u_{xx}+u_{yy}+u_{zz})+F_{B,x}.$$ Зазвичай це рівняння ділять на $\rho$ і представляти його як $$u_t + uu_x+vu_y+wu_z = -\frac{1}{\rho}p_x+\nu\Delta u+\frac{1}{\rho}F_{B,x}.$$ Тут, $\nu$ - це кінематична в'язкість.

Рівняння для всіх трьох координат називаються рівняннями Нав'є-Стокса, і вони надають опис в кожній точці для по суті будь-якого нестисного потоку.

Аналіз рівнянь Нав'є-Стокса

$$\overbrace{\underbrace{u_t}_{\substack{локальне \\ прискорення}} + \underbrace{uu_x+vu_y+wu_z}_{\substack{конвекційне\\ прискорення}}}^{повне\ прискорення} = \overbrace{-\frac{1}{\rho}p_x}^{сили\ тиску}+ \overbrace{\nu\Delta u}^{сили\ в'язкості}+ \overbrace{\frac{1}{\rho}F_{B,x}}^{масові\ сили}.$$ Доданки ліворуч в контексті рівнянь Н.-С. часто називають інерційними.

Сили в'язкості

$$\nu\Delta u = \nu(u_{xx}+u_{yy}+u_{zz}).$$ Загалом, доданки у вигляді другої похідної у диференційному рівнянні зазвичай пов'язують із дифузією, і в в обох фізичному і математичному контекстах представляють розмазування, згладжування або змішування.

Ех, зібратись би колись і закінчити це

Примітки

пʼятниця, 11 листопада 2016 р.

Дещо з початку теорії груп

Деякі позначення:

  • $GL_n(\mathbb{R})$ (загальна лінійна група) - група матриць $n\times n$ на полі дійсних чисел
  • $SL_n(\mathbb{R})$ (спеціальна лінійна група) - група матриць $n\times n$ на полі дійсних чисел визначники яких дорівнюють 1
  • $\mathbb{Z}_n = \{0, \dots, n - 1\}$
  • $\mathbb{Z}^*_n$ - група оборотних елементів у $\mathbb{Z}_n$
  • $C_2, \mathbb{Z}_2$ - циклічні групи із множенням і додаванням відповідно.

Визначення. Група - це непорожня множина $G$ на якій задана бінарна операція $(a, b) \mapsto ab$, така що

  • якщо $a, b \in G$, тоді $ab \in G$,
  • $a(bc)=(ab)c$ для всіх $a, b, c \in G$,
  • існує елемент $1 \in G$, такий що $a1 = 1a = a$ для всіх $a \in G$,
  • якщо $a \in G$, тоді існує елемент $a^{-1}\in G$, такий що $aa^{-1}=a^{-1}a=1$.

Твердження. Нехай $G$ - група і $H$ - це непорожня її підмножина. Тоді такі твердження тотожні:

  1. $H$ є підгрупою $G$.
    • $x, y \in H$ означає, що $xy \in H$ для всіх $x, y$
    • $x \in H$ означає, що $x^{-1} \in H$.
  2. $x,y\in H$ означає, що $xy^{-1} \in H$ для всіх $x, y$.

Визначення. Індексом підгрупи $H$ в $G$ є число її правих (лівих) класів суміжності. І позначається як $[G:H]$.

Визначення. Нехай $G$ це група і $H \le G$. Ми кажемо, що $H$ це нормальна підгрупа $G$ якщо $$cHc^{-1} = H, \forall c \in G.$$

Згадаймо, що якщо $f:G\to H$ це гомоморфізм груп, то ядро $f$ визначено як $$Ker(f) = \{a\in G, g(a) = 1\}.$$ Ядро гомоморфізму вимірює степінь неін'єктивності гомоморфізму.

Твердження. Кожна нормальна підгрупа є ядром гомоморфізму. Гомоморфізм ін'єктивний якщо його ядро містить саме один елемент.

Термінологія

  • мономорфізм = ін'єктивний гомоморфізм
  • епіморфізм = сюр'єктивний гомоморфізм
  • ізоморфізм = бієктивний гомоморфізм
  • ендоморфізм = гомоморфізм групи на себе
  • автоморфізм = ізоморфізм групи із собою

Теореми про ізоморфізми

Теорема. (1 теорема про ізоморфізми). Якщо $f:G \to H$ це гомоморфізм з ядром $K$, тоді область значень $f$ ізоморфна $G/K$: $$Im(f)\simeq G/Ker(f).$$

Теорема. (2 теорема про ізоморфізми). Якщо $H, G$ це підгрупи $G$, а $N$ нормальна в $G$, тоді $$H/(H\cap N) \simeq HN/N.$$

Теорема. (3 теорема про ізоморфізми). Якщо $N, H$ це нормальні підгрупи $G$, і $N \subseteq H$, тоді $$G/H \simeq (G/N)(H/N).$$

Якщо $G$ містить нормальні підгрупи $H$ і $K$, такі що $G = HK$ і $H\cap K= \{1\}$, ми кажемо, що $G$ це внутрішній прямий добуток $H$ і $K$.

Якщо $G$ містить нормальні групи $H_1, \ldots, H_n$, так що $G = H_1\cdots H_n$ і кожне $g$ можна єдиним чином представити як $h_1\cdots h_n$, ми кажемо, що $G$ це внутрішній прямий добуток $H_i.$