✨Rot (toán tử)

Trong giải tích vector, toán tử rot (vài nơi còn gọi là curl) là một toán tử vector mô tả độ xoáy của một trường vector. Tại bất kì điểm nào trên trường vector, rot được biểu thị bằng một vector. Các thuộc tính của vector này (độ dài và hướng) nói lên bản chất của độ xoáy tại điểm đó.

Hướng của rot là trục xoay, định bởi luật bàn tay phải, và độ lớn của rot là độ lớn của mức độ xoáy. Nếu trường vector tượng trưng cho vận tốc chảy của một chất lỏng đang lưu chuyển, thì rot sẽ là mật độ xoáy của chất lỏng đó. Một trường vector với rot bằng zero được gọi là không xoáy.

Định nghĩa

Rot của một trường vector F, ký hiệu là $\backslash operatorname\{rot\}\backslash \; \backslash mathbf\{F\}$ hay $\backslash nabla\; \backslash times\; \backslash mathbf\{F\}$, tại một điểm được định nghĩa bởi:

:$(\backslash nabla\; \backslash times\; \backslash mathbf\{F\})\; \backslash cdot\; \backslash mathbf\{\backslash hat\{n\; \backslash \; \backslash overset\{\backslash underset\{\backslash mathrm\{def\{\{=\}\; \backslash lim${A \to 0} \frac{\oint{C} \mathbf{F} \cdot d\mathbf{r{A}

phải|nhỏ|Hướng của vector của tích phân đường

Ở đây $\backslash oint\_\{C\}\; \backslash mathbf\{F\}\; \backslash cdot\; d\backslash mathbf\{r\}$ là tích phân đường dọc theo biên của vùng đang xét (i.e., $C=\backslash partial\; \backslash mathcal\; A$), và $\backslash ,A$ là diện tích của $\backslash mathcal\; A$. Nếu $\backslash mathbf\{\backslash hat\{\backslash nu$ là vector bán kính nằm trong mặt phẳng, mà $\backslash mathbf\{\backslash hat\{n$ là vector đơn vị vuông góc với mặt phẳng (xem hình bên), thì hướng của C được chọn sao cho vector $\backslash mathbf\{\backslash hat\{\backslash omega$ tiếp tuyến với C được định hướng dương nếu và chỉ nếu $\{\backslash mathbf\{\backslash hat\{n,\backslash mathbf\{\backslash hat\{\backslash nu,\backslash mathbf\{\backslash hat\{\backslash omega\}$ tạo thành một hệ tọa độ dương trong R³ (quy luật bàn tay phải).

Công thức trên nghĩa là rot của một trường vecto được định nghĩa như là mật độ lưu chuyển của trường đó. Theo đó

:$(\backslash rm\{rot\backslash ,\}\backslash ,\backslash mathbf\; F)\backslash ,\_3=\backslash frac\{1\}\{a\_1a\_2\}\backslash cdot\backslash left\; (\backslash frac\{\backslash partial\; (a\_2F\_2)\}\{\backslash partial\; u\_1\}-\backslash frac\{\backslash partial\; (a\_1F\_1)\}\{\backslash partial\; u\_2\}\backslash right)\backslash ,.$

Nếu $(x\_1,x\_2,x\_3)$ là tọa độ Cartesian và $(u\_1,u\_2,u\_3)$ là tọa độ curvilinear, thì $a$i = \sqrt{\sum \limits{j = 1}^{3}\left (\frac{\partial x_j}{\partial u_i}\right)^2} là độ dài của vector tọa độ tương ứng với $u\_i$. Hai thành phần còn lại của rot có thể tính từ phép hoán vị chỉ số: 3,1,2 -> 1,2,3 -> 2,3,1.

Diễn giải theo trực giác

Giả sử trường vector mô tả trường vận tốc của một dòng chảy (có thể là trong một bồn chứa nước lớn hay bồn khí) và một quả bóng nhỏ được đặt trong chất lỏng hay khí (tâm của quả bóng được gắn chặt vào một điểm nào đó). Nếu mặt quả bóng xù xì, nó sẽ xoay bởi chất lỏng chảy qua nó. Trục quay (theo quy tắc bàn tay phải) sẽ chỉ hướng của rot của trường vecto tại tâm của quả bóng, và vận tốc góc sẽ bằng phân nửa giá trị của rot tại điểm đó.

Ngay cả khi các dòng chảy là song song, quả bóng có thể bắt đầu xoay nếu chất lỏng bên này chảy nhanh hơn bên kia.

Sử dụng

Trong thực tế, định nghĩa trên ít được dùng vì trong tất cả mọi trường hợp, toán tử rot có thể được đơn giản hóa ngay trong cả trường hợp tọa độ curvilinear.

Ký hiệu $\backslash vec\{\backslash nabla\}\; \backslash times\; \backslash vec\{F\}$ mặc dù không chính xác nhưng là dạng thường được sử dụng như là một dạng gợi nhớ trong tọa độ Cartesian nếu ta xem $\backslash nabla$ là một toán tử vi phân vector del hoặc nabla.

Khai triển trong tọa độ Cartesian $\backslash vec\{\backslash nabla\}\; \backslash times\; \backslash vec\{F\}$ là, cho F gồm 3 thành phần [F_x, F_y, F_z]:

:

mà trong đó i, j, và k là vector đơn vị của trục x-, y-, và z. Công thức này được khai triển ra như sau:

:$\backslash left(\backslash frac\{\backslash partial\; F\_z\}\{\backslash partial\; y\}\; -\; \backslash frac\{\backslash partial\; F\_y\}\{\backslash partial\; z\}\backslash right)\; \backslash mathbf\{i\}\; +\; \backslash left(\backslash frac\{\backslash partial\; F\_x\}\{\backslash partial\; z\}\; -\; \backslash frac\{\backslash partial\; F\_z\}\{\backslash partial\; x\}\backslash right)\; \backslash mathbf\{j\}\; +\; \backslash left(\backslash frac\{\backslash partial\; F\_y\}\{\backslash partial\; x\}\; -\; \backslash frac\{\backslash partial\; F\_x\}\{\backslash partial\; y\}\backslash right)\; \backslash mathbf\{k\}$

Mặc dù được viết dưới hệ tọa độ, kết quả là không thay đổi nếu thay đổi hệ trục tọa độ nhưng kết quả sẽ nghịch đảo qua phép đối xứng.

Trong ký hiệu Einstein, với ký hiệu Levi-Civita rot được viết là:

:$(\backslash vec\{\backslash nabla\}\; \backslash times\; \backslash vec\{F\})$k = \epsilon{k\ell m} \partial_\ell F_m

hay là:

:$(\backslash vec\{\backslash nabla\}\; \backslash times\; \backslash vec\{F\})\; =\; \backslash boldsymbol\{\backslash hat\{e$k\epsilon{k\ell m} \partial_\ell F_m

với các vecto đơn vị:$\backslash boldsymbol\{\backslash hat\{e\_k$, k=1,2,3 tương ứng với $\backslash boldsymbol\{\backslash hat\{x,\; \backslash boldsymbol\{\backslash hat\{y$, và $\backslash boldsymbol\{\backslash hat\{z$. ::$\backslash mathbf\{\; \backslash nabla\; \backslash times\}\; \backslash left(\backslash mathbf\{v\; \backslash times\; F\}\; \backslash right)\; =\; \backslash left[\; \backslash left(\backslash mathbf\{\; \backslash nabla\; \backslash cdot\; F\; \}\; \backslash right)\; +\; \backslash mathbf\{F\; \backslash cdot\; \backslash nabla\}\; \backslash right]\; \backslash mathbf\{v\}-\; \backslash left[\; \backslash left(\backslash mathbf\{\; \backslash nabla\; \backslash cdot\; v\; \}\; \backslash right)\; +\; \backslash mathbf\{v\; \backslash cdot\; \backslash nabla\}\; \backslash right]\; \backslash mathbf\{F\}$.