Xem mã nguồn của Định lý Stokes

{{giải tích|chủ đề=Giải tích vectơ}}
'''Định lý Stokes''' là một định lý được tìm ra bởi [[William Thomson]], người sau này viết thư cho [[George Stokes]] vào tháng 7 năm 1850 thông báo kết quả. Stokes đưa định lý này ra như là một câu hỏi trong đề thi của Giải thưởng Smith năm 1854, do đó mà kết quả này mang tên ông.

=== Định lý Kelvin-Stokes ===
[[Tập tin:Stokes' Theorem.svg|nhỏ|phải|Minh họa của định lý Kelvin-Stokes, với mặt <math>\Sigma</math>, đường biên <math>\scriptstyle{\partial \Sigma,}</math> vec tơ "chuẩn" ''n''.]]

Định lý được phát biểu

:<math> \int_{\Sigma} \nabla \times \mathbf{F} \cdot d\mathbf{\Sigma} = \oint_{\partial\Sigma} \mathbf{F} \cdot d \mathbf{r}, </math>

đưa ra sự liên quan của [[tích phân mặt]] của [[Curl]] của một [[trường véc tơ]] trên một mặt Σ trong không gian Euclid 3 chiều với [[tích phân đường]] của trường vec tơ đó dọc theo biên của mặt đó. Đường cong theo đó tích phân đường được tính, ∂Σ, phải đó [[định hướng]] dương, nghĩa là ''d'''''r''' phải chỉ theo hướng ngược kim đồng hồ khi vectơ chuẩn của mặt, ''d'''''Σ''', chỉ về phía người xem, theo [[quy tắc bàn tay phải]].

Một hệ quả của công thức này là [[các đường biểu diễn trường]] của một trường vector với curl = 0
không thể là các đường khép kín.

Công thức có thể viết lại như là

:<math>\iint\limits_{\Sigma}\left\{\left(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z}\right)\,dy\,dz +\left(\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x}\right)\,dz\,dx  +\left (\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\,dx\,dy\right\} </math>&nbsp;&nbsp;<math> =\oint\limits_{\partial\Sigma}\left \{P\,dx+Q\,dy+R\,dz\right\}</math>

với ''P'', ''Q'' và ''R'' là các thành phần của '''F'''.

Các dạng thường gặp khác 
:<math> \int_{\Sigma} \left(g \left(\nabla \times \mathbf{F} \right)  + \left(\nabla g \right) \times \mathbf{F} \right) \cdot d\mathbf{\Sigma} </math>&nbsp;&nbsp;<math>\ = \oint_{\partial\Sigma} g \mathbf{F} \cdot d \mathbf{r}, </math>

:<math> \int_{\Sigma} \left(\mathbf{F} \left(\nabla \cdot \mathbf{G} \right) - \mathbf{G}\left(\nabla \cdot \mathbf{F} \right) + \left(\mathbf{G} \cdot \nabla \right) \mathbf{F} - \left(\mathbf{F} \cdot \nabla \right) \mathbf{G}  \right) \cdot d\mathbf{\Sigma} </math>&nbsp;&nbsp;<math>\ = \oint_{\partial\Sigma} \left(\mathbf{F} \times \mathbf{G}\right) \cdot d \mathbf{r}.</math>

==Tham khảo==
{{tham khảo}}
{{sơ khai toán học}}
{{Đa tạp}}
{{Kiểm soát tính nhất quán}}

[[Thể loại:Định lý toán học|Stokes]]
[[Thể loại:Định lý trong tính toán]]