선적분

문제에서 곡선 $C$ 의 방향(즉, 곡선을 따라 움직이는 방향)이 정해져 있지 않음을 눈치챘을 것이다. 적분값은 $C$ 의 방향과 관계없기 때문이다.

• $C$ 위의 각 점에서 $\mathbf{F}(x,y) = xy^2 \,\hat{\boldsymbol{\imath}} + ye^x \,\hat{\boldsymbol{\jmath}}$ 이며, 이는 방향과 관계없다.
• $C$ 위의 각 점에서 $\hat{\mathbf{n}}$ 은 바깥쪽을 향하는 법선벡터이며, 이는 방향과 관계없다.
• $ds>0$ 이며, 이는 방향과 관계없다.

직사각형 $R$ 의 그림은 다음과 같다.

\

$C$ 를 반시계 방향으로 따라가기로 임의로 정했다. $R$ 의 경계는 네 개의 선분으로 이루어져 있다.

• $L_1$ 은 $(0,-1)$ 에서 $(3,-1)$ 까지이며, $\hat{\mathbf{n}} = -\hat{\boldsymbol{\jmath}}$
• $L_2$ 는 $(3,-1)$ 에서 $(3,1)$ 까지이며, $\hat{\mathbf{n}} = \hat{\boldsymbol{\imath}}$
• $L_3$ 은 $(3,1)$ 에서 $(0,1)$ 까지이며, $\hat{\mathbf{n}} = \hat{\boldsymbol{\jmath}}$
• $L_4$ 는 $(0,1)$ 에서 $(0,-1)$ 까지이며, $\hat{\mathbf{n}} = -\hat{\boldsymbol{\imath}}$

따라서

$$\begin{aligned} \int_C \mathbf{F}\cdot\hat{\mathbf{n}}\,\mathrm{d}s &= \int_{L_1} \mathbf{F}\cdot(-\hat{\boldsymbol{\jmath}})\,\mathrm{d}s +\int_{L_2} \mathbf{F}\cdot \hat{\boldsymbol{\imath}}\,\mathrm{d}s +\int_{L_3} \mathbf{F}\cdot(\hat{\boldsymbol{\jmath}})\,\mathrm{d}s +\int_{L_4} \mathbf{F}\cdot(-\hat{\boldsymbol{\imath}})\,\mathrm{d}s \\ &= \int_0^3 -\overbrace{(-1)}^{y}e^x\,\mathrm{d}x +\int_{-1}^1 \overbrace{(3)}^{x}y^2\,\mathrm{d}y +\int^0_3 \overbrace{(1)}^{y}e^x\,\overbrace{(-\mathrm{d}x)}^{\mathrm{d}s} +\int^{-1}_1 \overbrace{(0)}^{x}y^2\,\overbrace{(-\mathrm{d}y)}^{\mathrm{d}s} \\ &=\big[e^3-1\big]+\big[1^3-(-1)^3\big] + \big[e^3-1\big]+0 \\ &=2e^3 \end{aligned}$$

이 계산에서 가장 까다로운 부분은 $L_3$ 과 $L_4$ 에서 $\mathrm{d}s$ 를 바르게 잡는 것이다($\mathrm{d}s$ 는 이동한 곡선의 길이이므로 양수이지만, $L_3$ 에서는 $\mathrm{d}x<0$ 이고 $L_4$ 에서는 $\mathrm{d}y<0$ 임을 기억해야 한다). $\int_{L_3} \mathbf{F}\cdot(\hat{\boldsymbol{\jmath}})\,\mathrm{d}s$ 를 더 자세히 계산하기 위해, $L_3$ 을 다음과 같이 매개변수로 나타내자.

$$\mathbf{r}(t) = (3,1) + t\big\{(0,1)-(3,1)\big\} = \big(3-3t,1\big)\qquad 0\le t\le 1$$

그러면 $\mathbf{r}(0) = (3,1)$ 은 $L_3$ 의 시작점이고 $\mathbf{r}(1) = (0,1)$ 은 $L_3$ 의 끝점이다. 이때

$$\mathbf{r}'(t) = (-3,0)\qquad \frac{\mathrm{d}s}{\mathrm{d}t}(t) = |\mathbf{r}'(t)| = 3$$

이고

$$\begin{aligned} \int_{L_3} \mathbf{F}\cdot \hat{\boldsymbol{\jmath}}\,\mathrm{d}s =\int_0^1 \mathbf{F}\big(\mathbf{r}(t)\big)\cdot \hat{\boldsymbol{\jmath}}\,\frac{\mathrm{d}s}{\mathrm{d}t}(t)\,\mathrm{d}t =\int_0^1\overbrace{e^{3-3t}}^{y(t)e^{x(t)}}\, \overbrace{3}^{\frac{\mathrm{d}s}{\mathrm{d}t}(t)}\,\mathrm{d}t =-e^{3-3t}\Big|_0^1 =e^3-1 \end{aligned}$$

이다.

검산으로, $L_3$ 을 다음과 같이 매개변수로 나타낼 때에도 $\int_{L_3} \mathbf{F}\cdot(\hat{\boldsymbol{\jmath}})\,\mathrm{d}s$ 의 값이 같음을 확인해 보자.

$$\mathbf{r}(t) = (0,1) + t\big\{(3,1)-(0,1)\big\} = \big(3t,1\big)\qquad 0\le t\le 1$$

이번에는 $\mathbf{r}(0) = (0,1)$ 이 $L_3$ 의 시작점이고 $\mathbf{r}(1) = (3,1)$ 이 $L_3$ 의 끝점이다. 이번에는

$$\mathbf{r}'(t) = (3,0)\qquad \frac{\mathrm{d}s}{\mathrm{d}t}(t) = |\mathbf{r}'(t)| = 3$$

이고

$$\begin{aligned} \int_{L_3} \mathbf{F}\cdot \hat{\boldsymbol{\jmath}}\,\mathrm{d}s =\int_0^1 \mathbf{F}\big(\mathbf{r}(t)\big)\cdot \hat{\boldsymbol{\jmath}}\,\frac{\mathrm{d}s}{\mathrm{d}t}(t)\,\mathrm{d}t =\int_0^1\overbrace{e^{3t}}^{y(t)e^{x(t)}}\, \overbrace{3}^{\frac{\mathrm{d}s}{\mathrm{d}t}(t)}\,\mathrm{d}t =e^{3t}\Big|_0^1 =e^3-1 \end{aligned}$$

이다.

따라서 $L_3$ 의 두 방향 모두 $\int_{L_3} \mathbf{F}\cdot(\hat{\boldsymbol{\jmath}})\,\mathrm{d}s$ 의 값이 같다.