Định lý Gauss

Định lý Gauss, hay còn gọi là định lý phân kỳ, hay định lý Ostrogradsky, hay định lý Gauss-Ostrogradsky (do hai nhà toán học người Đức Carl Friedrich Gauß và người Nga Mikhail Vasilyevich Ostrogradsky nghiên cứu) là kết quả nói lên sự liên quan của dòng chảy (nghĩa là thông lượng) của một trường vectơ thông qua một mặt với hành vi của trường vectơ đó bên trong mặt đó.

Phát biểu định lý

Miền V được bao quanh bằng một mặt S=∂V với chuẩn của mặt là n.

giả sử V là tập con của Rⁿ (nghĩ đến n = 3) làm một mặt compact và có biên là một hàm trơn gián đoạn. Nếu F là một trường vectơ khả vi liên tục được định nghĩa trên một vùng xung quanh V, thì ta có

$\underset{V}{\iiint }(\mathrm{\nabla }\cdot 𝐅)\text{d}V=\underset{\partial V}{\iint }𝐅\cdot \text{d}𝐒,$

vế trái thường được viết như là tích phân thể tích bên trong một quả cầu mà mặt cầu S of được dùng trong tích phân mặt của cùng một thể tích ở phía bên phải

$\underset{V}{\int }\mathrm{div}\overrightarrow{F}\mathrm{d}V={\oint }_S\overrightarrow{F}\cdot \mathrm{d}\overrightarrow{S}$

(với $\mathrm{d}\overrightarrow{S}=\overrightarrow{n}\mathrm{d}S$).

với ∂V là biên của V định hướng bằng vecto mặt chuẩn đơn vị hướng ra ngoài, và dS là viết tắt cho ndS, vecto chuẩn hướng hướng ra ngoài của biên ∂V.

Vế trái biểu diễn tổng các nguồn trong thể tích V, và vế phải biểu diễn tổng các dòng chảy qua biên ∂V.

Định lý thường được áp dụng với dạng khác như sau (xem thêm các hằng đẳng thức vectơ):

$\underset{V}{\iiint }𝐅\cdot \left(\mathrm{\nabla }g\right)+g(\mathrm{\nabla }\cdot 𝐅)\text{d}V=\underset{\partial V}{\iint }g𝐅\cdot \text{d}𝐒$

(this is the basis for Green's identities, if $𝐅=\mathrm{\nabla }f$),

$\underset{V}{\iiint }\mathrm{\nabla }g\text{d}V=\underset{\partial V}{\iint }g\text{d}𝐒,$

$\underset{V}{\iiint }𝐆\cdot (\mathrm{\nabla }\times 𝐅)-𝐅\cdot (\mathrm{\nabla }\times 𝐆)\text{d}V=\underset{\partial V}{\iint }(𝐅\times 𝐆)\cdot \text{d}𝐒,$

$\underset{V}{\iiint }\mathrm{\nabla }\times 𝐅\text{d}V=\underset{\partial V}{\iint }\text{d}𝐒\times 𝐅.$

Chú ý là định lý tiêu tán chỉ là một trường hợp của định lý Stokes tổng quát hơn, một định lý tổng quát hóa của định lý cơ sở của vi tích phân.