Processing math: 11%

수학연구소/연구소2021. 1. 6. 08:00
반응형

2차원 벡터장과 복소함수에 대한 고찰

 

 

지난번에는 실수함수와 복소함수에 대해 고찰을 했고, 이번에는 2차원 벡터장(이하 벡터장)과 복소함수에 대해 고찰을 하고자 한다.

 

먼저 벡터장은 2차원 벡터로 사상하는 이변수 벡터함수, 즉 F:R2R2이고, 다음과 같이 나타낸다.F(x,y)=P(x,y)i+Q(x,y)j복소함수는 복소수를 복소수로 대응하는 함수, 즉 f:CC인데 이때 임의의 복소수 zz=x+iy(x,yR)로 나타낼 수 있으므로 다음과 같이 2변수함수로도 나타낼 수 있다.f(z)=u(x,y)+iv(x,y)(z=x+iy)선형대수학에서 i,jR2의 기저를 나타낸다고 배웠다. 더 나아가서 현대대수학의 벡터공간 단원에서 1,i(=1)C의 기저이고 따라서 CR2는 동형((실수)체의 연산에 대해 닫혀있고, 일대일로 대응시킬 수 있음)이라고 배우게 될 것이다. 이것이 복소수 전체의 집합 C를 '복소평면'이라고 하는 이유이다. 

 

극한

벡터장의 극한은 다음과 같이 나타내고lim이 극한값이 존재하려면 다음의 두 극한이 모두 존재해야 한다.\lim_{(x,\,y)\,\rightarrow\,(x_{0},\,y_{0})}{P(x,\,y)},\,\lim_{(x,\,y)\,\rightarrow\,(x_{0},\,y_{0})}{Q(x,\,y)}복소함수의 극한은 다음과 같이 나타내고,\lim_{z\,\rightarrow\,z_{0}}{f(z)}=\lim_{(x,\,y)\,\rightarrow\,(x_{0},\,y_{0})}{\{u(x,\,y)+iv(x,\,y)\}}\,(z_{0}=x_{0}+iy_{0})이 극한값이 존재하려면 벡터장의 경우처럼 다음의 두 극한이 모두 존재해야 한다.\lim_{(x,\,y)\,\rightarrow\,(x_{0},\,y_{0})}{u(x,\,y)},\,\lim_{(x,\,y)\,\rightarrow\,(x_{0},\,y_{0})}{v(x,\,y)}이변수함수는 극한값이 존재하기 위한 조건이 매우 까다롭다. 왜냐하면 이변수함수는 경로에 따라 서로 다른 극한값을 취할 수 있기 때문이다. 

다음의 함수 f,\,g:\mathbb{R}^{2}\,\rightarrow\,\mathbb{R}를 다음과 같이 정의하자.f(x,\,y)=\frac{3x^{2}y}{x^{2}+y^{2}},\,g(x,\,y)=\frac{x^{2}-y^{2}}{x^{2}+y^{2}}그러면|f(x,\,y)|\leq3|y|,\,\lim_{(x,\,y)\,\rightarrow\,(0,\,0)}{3|y|}=0이므로\lim_{(x,\,y)\,\rightarrow\,(0,\,0)}{f(x,\,y)}=0이나\lim_{(x,\,y)\,\rightarrow\,(0,\,0)}{g(x,\,y)}는 존재하지 않는다. 그 이유는 (x,\,y)가 각각 x축, y축에서 (0,\,0)(원점)으로 접근할 때g(x,\,0)=\frac{x^{2}}{x^{2}}=1,\,g(0,\,y)=\frac{-y^{2}}{y^{2}}=-1이므로 원점으로의 극한은 존재하지 않는다.

복소함수 \displaystyle f(z)=\frac{z}{\overline{z}}는 다음과 같이 이변수함수로 나타낼 수 있고f(z)=\frac{x^{2}-y^{2}}{x^{2}+y^{2}}+\frac{2xy}{x^{2}+y^{2}}i(x,\,y)가 각각 x축, y축 에서 원점으로 접근할 때f(z)=\frac{x^{2}}{x^{2}}=1,\,f(z)=\frac{-y^{2}}{y^{2}}=-1이므로 f(z)의 원점으로의 극한은 존재하지 않는다.  

 

연속

벡터장의 연속 조건은 다음과 같이 나타낼 수 있고,\lim_{(x,\,y)\,\rightarrow\,(x_{0},\,y_{0})}{\mathbf{F}(x,\,y)}=\mathbf{F}(x_{0},\,y_{0})복소함수의 연속 조건은 다음과 같이 나타낼 수 있다.\lim_{z\,\rightarrow\,z_{0}}{f(z)}=f(z_{0})

 

미분, 적분

벡터장의 적분이 선적분이라는 점과 복소함수의 적분이 선적분이라는 점에서 적분은 비교가 가능하지만 미분의 경우, '벡터장의 미분'이라는 개념이 없어서 보존적이라는 개념과 보존적이기 위한 조건으로 대체할 것이다. 보존적 개념은 복소함수의 미분과 대응시킬 수 있고, 보존적이기 위한 조건은 복소함수가 미분가능하기 위한 조건인 코시-리만 방정식과 대응이 가능하다. 

 

벡터장 \mathbf{F}가 보존적이라는 것은 적당한 2변수함수 f가 존재해서 다음이 성립하는 것이다.\mathbf{F}=\nabla f=\frac{\partial f}{\partial x}\mathbf{i}+\frac{\partial f}{\partial y}\mathbf{j}또한 벡터장 \mathbf{F}=P(x,\,y)\mathbf{i}+Q(x,\,y)\mathbf{j}이 보존적이면 다음의 등식이 성립하고\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}역은 벡터장이 단순연결영역(빈 구멍이 없는 닫힌영역) 위에서 정의된 경우에만 성립한다.

 

복소함수의 미분은 다음과 같이 정의된다.f'(z_{0})=\lim_{z\,\rightarrow\,z_{0}}{\frac{f(z)-f(z_{0})}{z-z_{0}}},\,f'(z)=\lim_{\Delta z\,\rightarrow\,0}{\frac{f(z+\Delta z)-f(z)}{\Delta z}}왼쪽의 식은 미분계수, 오른쪽의 식은 도함수이다.

다음의 복소함수f(z)=u(x,\,y)+iv(x,\,y)가 한 점 z_{0}=x_{0}+iy_{0}의 근방에서 정의되었고, 그 근방에서 u(x,\,y),\,v(x,\,y)의 1계 편도함수가 존재하고, 점 (x_{0},\,y_{0})에서 연속이며, 다음의 코시-리만 방정식을 만족한다고 하자.u_{x}(x_{0},\,y_{0})=v_{y}(x_{0},\,y_{0}),\,u_{y}(x_{0},\,y_{0})=-v_{x}(x_{0},\,y_{0})그러면 f'(z_{0})이 존재하고 다음과 같이 나타낼 수 있다.f'(z_{0})=u_{x}(x_{0},\,y_{0})+iv_{x}(x_{0},\,y_{0})다음의 벡터장에 대해\mathbf{F}(x,\,y)=(x^{2}+y^{2})\mathbf{i}+2xy\mathbf{j}다음이 성립한다.\frac{\partial}{\partial y}(x^{2}+y^{2})=2y=\frac{\partial}{\partial x}(2xy)그러면 이 벡터장은 보존장이고 \mathbf{F}=\nabla f를 만족하는 f가 존재한다. 이때f_{x}(x,\,y)=x^{2}+y^{2},\,f_{y}(x,\,y)=2xy이므로f(x,\,y)=xy^{2}+g(x)이고f_{x}=y^{2}+g'(x)=x^{2}+y^{2}이므로g'(x)=x^{2}이고g(x)=\frac{1}{3}x^{3}+C이므로 따라서f(x,\,y)=xy^{2}+\frac{1}{3}x^{3}+C다음의 복소함수에 대해f(z)=z^{2}다음과 같이 이변수함수로 나타낼 수 있고f(z)=(x^{2}-y^{2})+2xyi각 성분들을 다음과 같이 나타내자.u(x,\,y)=x^{2}-y^{2},\,v(x,\,y)=2xy임의의 z=x+iy에 대하여u_{x}(x,\,y)=2x=v_{y}(x,\,y),\,u_{y}(x,\,y)=-2y=-v_{x}(x,\,y)이므로 복소평면 위에서 코시-리만 방정식을 만족한다. 그러므로 f(z)는 복소평면 전체에서 미분가능하고 다음이 성립한다.f'(z)=2x+i2y=2(x+iy)=2z

 

벡터장 \mathbf{F}:\mathbb{R}^{2}\,\rightarrow\,\mathbb{R}^{2}의 곡선 C:\mathbb{r}(t)\,(a\leq t\leq b)위에서의 선적분은 다음과 같이 정의된다.\int_{C}{\mathbf{F}\cdot d\mathbf{r}}=\int_{a}^{b}{\mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)dt}만약 벡터장 \mathbb{F}가 다음과 같으면\mathbf{F}(x,\,y)=P(x,\,y)\mathbf{i}+Q(x,\,y)\mathbf{j}다음과 같이 나타낼 수 있으므로\begin{align*}\int_{C}{\mathbf{F}\cdot d\mathbf{r}}&=\int_{a}^{b}{\mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)dt}\\&=\int_{a}^{b}{(P(x,\,y)\mathbf{i}+Q(x,\,y)\mathbf{j})(x'(t)\mathbf{i}+y'(t)\mathbf{j})dt}\\&=\int_{a}^{b}{\{P(x(t),\,y(t))x'(t)+Q(x(t),\,y(t))y'(t)\}dt}\end{align*}따라서 다음과 같이 나타낼 수 있다.\int_{C}{\mathbf{F}\cdot d\mathbf{r}}=\int_{C}{Pdx+Qdy}\,(dx=x'(t)dt,\,dy=y'(t)dt)복소함수 f:\mathbb{C}\,\rightarrow\,\mathbb{C}의 곡선 C:z=z(t)\,(a\leq t\leq b)위에서의 선적분은 다음과 같이 정의된다.\int_{C}{f(z)dz}=\int_{a}^{b}{f(z(t))z'(t)dt}복소함수 f(z)와 경로 C:z=z(t)\,(a\leq t\leq b)가 다음과 같다면f(z)=u(x,\,y)+iv(x,\,y),\,z(t)=x(t)+iy(t)복소 선적분을 다음과 같이 나타낼 수 있다.\begin{align*}\int_{C}{f(z)dz}&=\int_{C}{(u+iv)(dx+idy)}\\&=\int_{C}{udx-vdy}+i\int_{C}{vdx+udy}\end{align*}벡터장 \mathbf{F}에 대한 선적분 \displaystyle\int_{C}{\mathbf{F}\cdot d\mathbf{r}}이 경로에 독립이라는 것은 곡선 C의 양 끝점을 잇는 임의의 두 경로 C_{1},\,C_{2}에 대하여 다음이 성립하는 것이다.\int_{C_{1}}{\mathbf{F}\cdot d\mathbf{r}}=\int_{C_{2}}{\mathbf{F}\cdot d\mathbf{r}}복소함수 f(z)에 대한 선적분 \displaystyle\int_{C}{f(z)dz}가 경로에 독립이라는 것은 곡선 C의 양 끝점을 잇는 임의의 두 경로 C_{1},\,C_{2}에 대하여 다음이 성립하는 것이다.\int_{C_{1}}{f(z)dz}=\int_{C_{2}}{f(z)dz}이때 C의 양 끝점이 각각 z=z_{1}, z=z_{2}이면 다음과 같이 나타낼 수 있다.\int_{z_{1}}^{z_{2}}{f(z)dz}선적분의 기본정리

곡선 C:\mathbf{r}(t)\,(a\leq t\leq b)와 이변수함수 f의 그래디언트 \nabla f에 대하여 다음이 성립한다.\int_{C}{\nabla f\cdot d\mathbf{r}}=f(\mathbf{r}(b))-f(\mathbf{r}(a))선적분의 기본정리로부터 벡터장 \mathbf{F}가 보존적, 즉 적당한 이변수함수 f가 존재해서 \mathbf{F}=\nabla f일 때 다음이 성립한다.\int_{C}{\mathbf{F}\cdot d\mathbf{r}}=f(\mathbf{r}(b))-f(\mathbf{r}(a))미분가능한 복소함수 F(z)에 대하여 F'(z)=f(z)라 하자. 그러면 다음이 성립한다.\int_{z_{1}}^{z_{2}}{f(z)dz}=F(z_{2})-F(z_{1})벡터장 \mathbf{F}(x,\,y)가 다음과 같다고 하자.\mathbf{F}(x,\,y)=-\frac{y}{x^{2}+y^{2}}\mathbf{i}+\frac{x}{x^{2}+y^{2}}\mathbf{j}이 벡터장은 \mathbb{R}^{2}-\{0\} 위에서 정의되고, 곡선 C가 다음과 같을 때C:\mathbf{r}(t)=\cos t\mathbf{i}+\sin t\mathbf{j}\,(0\leq t\leq2\pi)이 벡터장의 곡선 C위에서의 선적분은\begin{align*}\int_{C}{\mathbf{F}\cdot d\mathbf{r}}&=\int_{0}^{2\pi}\left\{-\frac{\sin t}{\cos^{2}t+\sin^{2}t}\mathbf{i}+\frac{\cos t}{\cos^{2}t+\sin^{2}t}\mathbf{j}\right\}(-\sin t\mathbf{i}+\cos t\mathbf{j})dt\\&=\int_{0}^{2\pi}{(\sin^{2}t+\cos^{2}t)dt}\\&=\int_{0}^{2\pi}{1dt}=2\pi\end{align*}복소함수 \displaystyle f(z)=\frac{1}{z}의 곡선 C:z=e^{it}\,(a\leq t\leq b)위에서의 선적분은 다음과 같다.\begin{align*}\int_{C}{f(z)dz}&=\int_{0}^{2\pi}{\frac{1}{e^{it}}ie^{it}dt}\\&=\int_{0}^{2\pi}{idt}=2\pi i\end{align*}이때 복소함수 f(z)와 곡선을 다음과 같이 나타낼 수 있고f(z)=\frac{x}{x^{2}+y^{2}}-\frac{y}{x^{2}+y^{2}}i,\,z(t)=\cos t+i\sin t다음이 성립한다.\begin{align*}\int_{C}{\frac{x}{x^{2}+y^{2}}dx+\frac{y}{x^{2}+y^{2}}}dy&=\int_{0}^{2\pi}{\{-(\cos t\sin t)+\sin t\cos t\}}dt=0\\ \int_{C}{-\frac{y}{x^{2}+y^{2}}dx+\frac{x}{x^{2}+y^{2}}dy}&=\int_{0}^{2\pi}{\{(-\sin t)^{2}+\cos^{2}t\}dt}=2\pi\end{align*}참고자료:

Calculus 7th edition, Stewart, Cengage Learning

Complex Variables and Applications 8th edition, Brown, Churchill, McGraw-Hill

반응형
Posted by skywalker222