Định lý Stokes

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
Các chủ đề trong giải tích
Định lý cơ bản
Giới hạn hàm số
Hàm liên tục
Định lý giá trị trung bình
Gradien
Div
Rot
Toán tử Laplace
Gradien
Định lý Green
Định lý Stokes
Định lý Ostrogradsky–Gauss

Đị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[sửa | sửa mã nguồn]

Minh họa của định lý Kelvin-Stokes, với mặt \Sigma, đường biên \scriptstyle{\partial \Sigma,} vec tơ "chuẩn" n.

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

 \int_{\Sigma} \nabla \times \mathbf{F} \cdot d\mathbf{\Sigma} = \oint_{\partial\Sigma} \mathbf{F} \cdot d \mathbf{r},

đưa ra sự liên quan của tích phân mặt của Curl của một trường vectơ 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à dr 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 luật 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à

\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\}    =\oint\limits_{\partial\Sigma}\left \{P\,dx+Q\,dy+R\,dz\right\}

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

Các dạng thường gặp khác

 \int_{\Sigma} \left( g \left(\nabla \times \mathbf{F} \right)  + \left( \nabla g \right) \times \mathbf{F} \right) \cdot d\mathbf{\Sigma}   \ = \oint_{\partial\Sigma} g \mathbf{F} \cdot d \mathbf{r},
 \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}   \ = \oint_{\partial\Sigma} \left( \mathbf{F} \times \mathbf{G}\right) \cdot d \mathbf{r}.