2020년 1월 1일 수요일

복소 함수의 평균값 정리(Mean Value Theorem of Complex Function)

[경고] 아래 글을 읽지 않고 "복소 함수의 평균값 정리"을 보면 바보로 느껴질 수 있습니다. 
1. 평균값의 정리


실수 함수(real function) 미분의 존재성을 보여주는 평균값의 정리(平均値 定理, mean value theorem)복소 함수(complex function)까지 확장될 수 있을까? 복소수(complex number)는 대소 관계가 성립하지 않기 때문에 부등식으로 증명한 실수 함수의 정리는 성립하지 않는다. 그 대표적인 예가 평균값의 정리이다. 평균값 정리는 롤의 정리에 기반을 두고 있으며, 롤의 정리는 부등식으로 증명한다. 따라서 롤의 정리(Rolle's theorem)가 복소 함수에서 성립하는지는 꼼꼼하게 증명을 해야 한다.

[그림 1] 실수 함수에 대한 롤의 정리(출처: wikipedia.org)

복소 함수가 정의된 구간인 $[a, b]$의 양쪽 끝점에서 $f(a) = f(b)$가 성립하면 구간 $[a, b]$의 어딘가에서 $f(z) = 0$인 복소수 $z$가 존재할까? 복소 평면은 1차원이 아닌 실수축과 허수축을 가진 2차원 평면이므로 롤의 정리에 쓰는 구간이란 표현은 맞지 않다. 그래서 복소 평면에서는 구간이란 표현보다는 경로라는 표현을 주로 쓴다. 또한 실수 함수에 대한 롤의 정리는 다음 부등식을 포함한다.

                (1)

복소 함수는 부등식이 없기 때문에 식 (1)을 어떻게 변형해야 할까? 이러한 고민을 해결하려면 복소 함수에서 롤의 정리가 성립하지 않는 반례를 제시하면 된다. 절대 0이 되지 않는 복소 함수 $f(z) = e^z = e^{i \phi}$를 고려하자. 이 복소 함수는 크기가 항상 1이며 미분하더라도 그대로이기 때문에 미분값이 0이 되는 경우는 없다. 하지만 롤의 정리에 의해 $f(0) = f(2 \pi i)$인 경우 $0$과 $2 \pi$ 사이의 경로에서 $f'(c) = 0$이 되는 어떤 복소수 $c$가 존재해야 한다. 이런 성립은 불가능하기 때문에 복소 함수에서는 롤의 정리가 성립하지 않는다. 당연히 롤의 정리로 증명되는 평균값의 정리도 성립하지 않는다.
결과가 약간 허무하지만 완전 비관적이지는 않다. 복소 함수의 실수부와 허수부를 택하면 실수 함수가 되기 때문에 롤의 정리를 약간 비틀어 다음처럼 표현할 수 있다.

[복소 함수의 롤 정리(Rolle's theorem of complex function)]
복소수 $z_1$에서 $z_2$로 변하는 경로 $c$에서 $f(z)$가 해석적이고 $f(z_1) = f(z_2)$라면  $\Re[f'(c_1)] = 0$와 $\Im[f'(c_2)] = 0$를 만족하는 복소수 $c_1, c_2$가 양쪽 끝점을 제외한 경로 $c$상에 반드시 존재한다. 복소수 $c_1, c_2$는 서로 같을 필요는 없다.

[증명]
복소 함수 $f(z)$가 해석적(analytic)이라면 $f(z)$의 실수부와 허수부는 연속이며 미분 가능하다. 그러면 $f(z)$의 실수부와 허수부 함수는 실수 함수의 롤 정리 조건을 만족하므로 어떤 복소수 $c_1, c_2$가 경로 상에 반드시 존재한다.
______________________________

복소수 $c_1$과 $c_2$가 서로 같으면 복소 함수에서도 롤의 정리가 완벽하게 성립하지만, 애석하게도 $c_1$과 $c_2$가 반드시 같다는 보장이 없다. 그래서 복소 함수에서는 실수 함수와 같은 롤의 정리 대신 다소 부실한 위 명제 정도만 성립한다. 

[그림 2] 실수 함수에 대한 평균값의 정리(출처: wikipedia.org)

복소 함수의 롤 정리와 유사하게 실수부와 허수부 함수를 구별함으로써 복소 함수의 평균값 정리를 증명할 수 있다.

[복소 함수의 평균값 정리(mean value theorem of complex function)]
복소수 $z_1$에서 $z_2$로 변하는 경로 $c$에서 $f(z)$가 해석적이면 다음 관계를 만족하는 만족하는 복소수 $c_1, c_2$가 양쪽 끝점을 제외한 경로 $c$상에 반드시 존재한다. 복소수 $c_1, c_2$는 서로 같을 필요는 없다.

                  (2)

[증명]
실수 함수의 평균값 정리와 비슷하게 다음과 같은 함수를 정의한다.

                  (3)

식 (3)에 의해 $g(z_1) = g(z_2) = f(z_1)$이므로 복소 함수의 롤 정리가 성립해서 $\Re[g'(c_1)] = 0$와 $\Im[g'(c_2)] = 0$를 만족하는 복소수 $c_1, c_2$가 양쪽 끝점을 제외한 경로 $c$상에 존재한다. 이 관계를 정리하면 식 (2)가 얻어진다.
______________________________

댓글 11개 :

  1. 질문있습니다 복소 평균값정리에서
    c1 c2가 z1,z2를 잇는 직선 사이가아니라
    경로 c사이인가요?

    답글삭제
    답글
    1. 맞습니다. 복소 함수라서 직선이 아니고 경로입니다.

      삭제
  2. 하나더 여쭤봐도 될까요?
    다변수함수에서 평균값정리는 점 a,b를 잇는 직선사이에 c가 존재해야해서 정의역이 볼록영역 일때만 성립하는줄 알았는데
    c가 직선이 아니라 a,b를 잇는 호 위에 있어도상관 없나요?

    그래서 저는 예를들면, R²에서 정의역이 도너츠 모양의 열린집합에서는 평균값정리가 성립하지않는 예가 있는걸로 알고있었는데..

    답글삭제
    답글
    1. 본문에도 나와 있듯이 복소수에서는 평균값의 정리가 성립하지 않아요. 그나마 조금이라도 성립하는 내용을 본문에 증명했어요. 즉, $c_1$ = $c_2$가 되어야 평균값의 정리가 성립하는데, $c_1$과 $c_2$가 같다는 증명은 없어요.

      삭제
  3. 혹시 복소수 평균값정리 (정확히는 평균값정리랑 비슷한정리) 좀더 자세한 증명 알려주실수 있을까요?ㅠ

    R²의 평균값정리에서 복소수로 바꾸는 과정에서 증명이 잘 안되네요..ㅠ

    답글삭제
    답글
    1. 어떤 부분이 잘 이해가 안되나요, jaybee님? 실수 함수에 대한 평균값 정리의 단순한 확장이라 더 추가할 부분이 안 보여요.

      삭제
    2. 실함수의 평균값정리는
      f(b)-f(a)= 인 c가 존재한다 인데 a,b,c는 당연히 R²의 원소이고요

      그리고 복소함수 의 실수부,허수부에 적용가능하니까 저 f자리에 u,v함수로 대체가능할텐데
      그다음 여기서 외적을 복소함수로 바꿀때 어떻게 처리할지 잘모르겠어요

      삭제
    3. f(b)-f(a)= 두번째줄 식이 빠졌네요

      삭제
    4. 아 외적기호가 안써지네요 ..
      등호우변에 그레디언트f랑 b-a 외적이요

      삭제
    5. 아 아 외적이아니하 내적기호요

      삭제
    6. jaybee님의 접근법은 잘 모르겠어요. 저는 롤의 정리로 증명을 했어요.

      삭제

욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.