스토크스 정리

개요

스토크스 정리
유향곡면 S 위에 정의된 벡터장 F 에 대하여 다음이 성립한다:<math>\iint_S\ (\nabla\times\mathbf{F})\cdot\,d\mathbf{S}=\int_{\partial S}\mathbf F\cdot d\mathbf{r}</math>
cycle위에서의 2-form 과 1-form의 적분으로 서술할 수 있다

3차원의 매개곡면 S : <math>\mathbf{x} (s,t)=( x(s,t), y(s,t), z(s,t))</math>, <math>(s,t)\in D</math>
미분형식과 미분형식의 적분에 대해서는 미분형식 (differential forms)과 multilinear algebra 항목을 참조
1-형식 <math>\omega=P\, {d}x + Q\, {d}y+R\,dz</math>는 벡터장 <math>\mathbf{F}=(P,Q,R)</math>과 대응
2-형식 <math>d\omega= (R_y-Q_x)\, dy \wedge dz + (P_z-R_x)\, dz \wedge dx+(Q_y-P_x)\, dx \wedge dy</math> 는 벡터장 <math>\nabla\times\mathbf{F}=(R_y-Q_x,P_z-R_x,Q_y-P_x)</math>과 대응
스토크스 정리:<math>\int_S d\omega = \int_{\partial S} \omega</math> (<math>\int_S d\omega=\iint_S\ (\nabla\times\mathbf{F})\cdot\,d\mathbf{S}=\int_{\partial S}\mathbf F\cdot d\mathbf{r}=\int_{\partial S} \omega</math>)