미분형식 (differential forms)과 다변수 미적분학

수학노트
http://bomber0.myid.net/ (토론)님의 2011년 4월 10일 (일) 08:28 판
둘러보기로 가기 검색하러 가기
이 항목의 스프링노트 원문주소

 

 

 

개요

 

 

 

1-형식의 적분
  • 매개곡선 C:  \(\mathbf{r}(t)=( x(t), y(t), z(t))\), \(a\leq t \leq b\)
  • 1-form \(\omega=P\, {d}x + Q\, {d}y+R\,dz\)
  • 곡선 C 위에서 1-형식의 적분은 다음과 같이 정의된다
    \(\int_{C}\omega=\int_{a}^{b}\big{[}P(\mathbf{r}(t))\frac{dx}{dt}+Q(\mathbf{r}(t))\frac{dy}{dt}+R(\mathbf{r}(t))\frac{dz}{dt}\big{]}\,dt\)
  • 곡선 C 위에서 벡터장\(\mathbf{F}=(P,Q,R)\)의 적분과 같다
    \(\int_{C}\mathbf{F}\cdot d\mathbf{r}=\int_{C}\omega\)

(증명)

\(\int_{C}\mathbf{F}\cdot d\mathbf{r}=\int_{a}^{b}\mathbf{F}(\mathbf{r}(t))\cdot \mathbf{r}'(t) \, dt=\int_{a}^{b}\big{[}P(\mathbf{r}(t))\frac{dx}{dt}+Q(\mathbf{r}(t))\frac{dy}{dt}+R(\mathbf{r}(t))\frac{dz}{dt}\big{]}\,dt\). ■

 

 

2-형식의 적분
  • 3차원의 매개곡면 S \[\mathbf{x} (s,t)=( x(s,t), y(s,t), z(s,t))\], \((s,t)\in D\)
  • 2-form \(\omega= f_x\, dy \wedge dz + f_y\, dz \wedge dx+f_z\, dx \wedge dy\)
  • S 위에서 2-형식의 적분은 다음과 같이 정의된다
    \(\iint_{S}\omega=\iint_D \left[ f_{x} ( \mathbf{x} (s,t))\frac{\partial(y,z)}{\partial(s,t)} + f_{y} ( \mathbf{x} (s,t))\frac{\partial(z,x)}{\partial(s,t)}f_{z} ( \mathbf{x} (s,t)) \frac{\partial(x,y)}{\partial(s,t)} \right]\, ds\, dt\)
  • 곡면 S위에서 벡터장\(\mathbf{F}=(f_x,f_y,f_z)\)의 적분과 같다
    \(\iint_S\ \mathbf{F}\cdot\,d\mathbf{S}=\iint_{S}\omega\)

(증명)

 \({\partial \mathbf{x} \over \partial s}\times {\partial \mathbf{x} \over \partial t}=\left(\frac{\partial(y,z)}{\partial(s,t)}, \frac{\partial(z,x)}{\partial(s,t)}, \frac{\partial(x,y)}{\partial(s,t))}\right)\) 을 관찰하자.

\(\iint_S\ \mathbf{F}\cdot\,d\mathbf{S}=\iint_D (f_x,f_y,f_z)\cdot ({\partial \mathbf{x} \over \partial s}\times {\partial \mathbf{x} \over \partial t})\, ds\, dt=\iint_{S}\omega\). ■

 

 

응용1. 스토크스 정리

 

 

응용2. 맥스웰방정식

 

 

 

재미있는 사실

 

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

다른 과목과의 관련성

 

 

수학용어번역

 

 

 

사전형태의 자료

 

 

관련논문

 

 

관련도서 및 추천도서
원본 주소 "https://wiki.mathnt.net/index.php?title=미분형식_(differential_forms)과_다변수_미적분학&oldid=10266"