코시 적분 공식

1. 개요

코시 적분 공식은 복소해석학의 기본 정리로, 정칙 함수의 값을 적분을 통해 표현한다. 유계 연결 열린 집합 D에서 정칙 함수 f에 대해, D 내의 점 z₀에서의 함수값은 D의 경계에 대한 f/(z-z₀)의 적분을 통해 계산할 수 있다. 이 공식은 정칙 함수의 무한 번 미분 가능성을 보이며, 고계 도함수 계산, 코시 부등식 유도, 리우빌 정리 및 가우스 평균값 정리 증명에 활용된다. 코시-폼페이유 공식, 다변수 복소함수, 기하 대수를 이용한 고차원 실수 벡터 공간으로의 일반화 등 다양한 형태로 확장 가능하다.

2. 정의

복소 평면상의 유계 연결 열린집합 D와 그 경계 ∂D, 그리고 D의 폐포에서 연속이고 D에서 정칙 함수인 f에 대해, 코시 적분 공식은 D 내부의 임의의 점 z₀에서 f의 값을 ∂D를 따라 적분하여 계산할 수 있음을 나타낸다.

코시 적분 공식은 원 γ를 a에 대해 회전수가 1인 U의 모든 닫힌 가변 곡선으로 대체할 수 있고, 코시 적분 정리와 마찬가지로 경로에 의해 둘러싸인 열린 영역에서 f가 정칙이고 그 폐포에서 연속임을 요구하는 것으로 충분하여 일반화 할 수 있다.

경계에서 모든 연속 함수가 경계 내부의 함수를 생성하는 데 사용될 수 있는 것은 아니다. 예를 들어, |z|=1 에서 f(z)^영어=1/z 로 정의된 함수를 코시 적분 공식에 넣으면 원 내부의 모든 점에 대해 0이 된다. 정칙 함수의 경계에서 실수부만 주어지면 허수 상수를 최대 결정하기에 충분하다. 주어진 실수부에 해당하는 경계의 허수 부분은 상수 추가를 제외하고 하나뿐이다. 뫼비우스 변환과 Stieltjes 역전 공식을 조합하여 경계의 실수부로부터 정칙 함수를 구성할 수 있다. 예를 들어, 함수 f(z) = i - iz는 실수부 Re f(z) = Im z를 가지며, 단위 원에서는 i/z - iz/2 로 쓸 수 있다. 뫼비우스 변환과 Stieltjes 공식을 사용하여 원 내부의 함수를 구성하면 i/z 항은 기여하지 않으며, 함수 -iz를 찾는다. 이것은 경계에서 올바른 실수부를 가지며, 해당 허수 부분도 제공하지만, 상수 i와는 다르다.

2.1. 코시 적분 공식

유계 연결 열린집합 $D\backslash subseteq\backslash mathbb\; C$의 경계 $\backslash partial\; D$가 유한 개의 조각마다 $\backslash mathcal\; C^1$ 곡선으로 이루어졌고, 양의 방향을 가지며, 연속 함수 $f\backslash colon\backslash operatorname\{cl\}D\backslash to\backslash mathbb\; C$가 $D$에서 정칙 함수라고 하자. 코시 적분 공식에 따르면, 임의의 $z\_0\backslash in\; D$에 대하여, 다음이 성립한다.
:$f(z\_0)=\backslash frac\; 1\{2\backslash pi\; i\}\backslash int\_\{\backslash partial\; D\}\backslash frac\{f(z)\}\{z-z\_0\}\backslash mathrm\; dz$
우변의 적분을 코시 적분(-積分, Cauchy integral^영어)이라고 부른다.

임의의 점 $a$에 대해 다음과 같은 코시 적분 공식이 성립한다.

:$f(a)\; =\; \backslash frac\{1\}\{2\backslash pi\; i\}\; \backslash oint\_\backslash gamma\; \backslash frac\{f(z)\}\{z-a\}\backslash ,dz$

이 명제의 증명은 코시 적분 정리를 사용하며, 그 정리와 마찬가지로 $f$가 복소 미분 가능하기만 하면 된다.
정칙 함수는 해석적이라는 결론이 나온다. 즉, 수렴하는 멱급수로 전개될 수 있다.

특히 $f$는 실제로 무한 번 미분 가능하며, 다음의 코시 미분 공식이 성립한다.

:$f^\{(n)\}(a)\; =\; \backslash frac\{n!\}\{2\backslash pi\; i\}\; \backslash oint\_\backslash gamma\; \backslash frac\{f(z)\}\{\backslash left(z-a\backslash right)^\{n+1\}\}\backslash ,dz.$

D를 단일 연결영역, C를 D 내에 있는 길이를 가진 단순 폐곡선, f(z)를 D 상의 정칙 함수라고 할 때, C에 의해 둘러싸인 영역의 임의의 1점 a에서 다음 식이 성립한다.

:$f(a)\; =\; \backslash frac\{1\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(z)\}\{z-a\}dz.$

a를 z로 치환하고 적분 변수를 ζ로 치환하면

:$f(z)\; =\; \backslash frac\{1\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(\backslash zeta)\}\{\backslash zeta-z\}d\backslash zeta.$

이 식의 양변에 대해, 차분 몫 $\backslash frac\{f(z+h)-f(z)\}\{h\}$의 극한을 취하는 것을 반복함으로써 다음 식이 나타나며, 정칙 함수가 복소 변수의 의미로 무한 번 미분 가능하다는 것도 나타난다.

:$f^\{(n)\}\; (z)\; =\; \backslash frac\{n!\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(\backslash zeta)\}\{(\backslash zeta-z)^\{n+1\}\}\; d\backslash zeta\backslash$

2.2. 고계 도함수

Cauchy^영어 변환을 통해 얻는 함수이므로, 임의의 음이 아닌 정수 $n$ 및 $z\_0\backslash in\; D$에 대하여 다음과 같은 식이 성립한다.

:$f^\{(n)\}(z\_0)=\backslash frac\{n!\}\{2\backslash pi\; i\}\backslash int\_\{\backslash partial\; D\}\backslash frac\{f(z)\}\{(z-z\_0)^\{n+1\}\}\backslash mathrm\; dz$

이 공식은 Cauchy^영어 미분 공식이라고도 불린다.

특히 $f$는 실제로 무한 번 미분 가능하며, 다음과 같이 표현할 수 있다.

:$f^\{(n)\}(a)\; =\; \backslash frac\{n!\}\{2\backslash pi\; i\}\; \backslash oint\_\backslash gamma\; \backslash frac\{f(z)\}\{\backslash left(z-a\backslash right)^\{n+1\}\}\backslash ,dz.$

위 식에서 a를 z로 치환하고 적분 변수를 ζ로 치환하면 다음과 같다.

:$f(z)\; =\; \backslash frac\{1\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(\backslash zeta)\}\{\backslash zeta-z\}d\backslash zeta.$

이 식의 양변에 대해, 차분 상 $\backslash frac\{f(z+h)-f(z)\}\{h\}$의 극한을 취하는 것을 반복하면 다음 식을 얻을 수 있으며, 정칙 함수가 복소 변수의 의미로 무한 번 미분 가능하다는 것도 알 수 있다.

:$f^\{(n)\}\; (z)\; =\; \backslash frac\{n!\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(\backslash zeta)\}\{(\backslash zeta-z)^\{n+1\}\}\; d\backslash zeta\backslash$

2.3. 코시 부등식

임의의 음이 아닌 정수 $n$ 및 $z\_0\backslash in\; D$와
:$|f^\{(n)\}(z\_0)|\backslash le\backslash frac\{n!\}\{r^n\}\backslash sup\_\{|z|=r\}|f(z)|$
가 성립한다. 이를 코시 부등식이라고 한다.

3. 증명

임의의
:$\backslash int\_\{|z-z\_0|=r\}\backslash frac\{\backslash mathrm\; dz\}\{z-z\_0\}=2\backslash pi\; i$
:$\backslash int\_\{|z-z\_0|=r\}\backslash mathrm\; dz=0$
과 코시 적분 정리에 의하여,
:$\backslash begin\{align\}\backslash int\_\{\backslash partial\; D\}\backslash frac\{f(z)\}\{z-z\_0\}\backslash mathrm\; dz-2\backslash pi\; if(z\_0)$
&=\int_{|z-z_0|=r}\frac{f(z)}{z-z_0}\mathrm dz-2\pi if(z_0)\\
&=\int_{|z-z_0|=r}\frac{f(z)}{z-z_0}\mathrm dz
-\int_{|z-z_0|=r}\frac{f(z_0)}{z-z_0}\mathrm dz
-\int_{|z-z_0|=r}f'(z_0)\mathrm dz\\
&=\int_{|z-z_0|=r}\left(\frac{f(z)-f(z_0)}{z-z_0}-f'(z_0)\right)\mathrm dz
\end{align}
이며, 따라서
:$\backslash left|\backslash int\_\{\backslash partial\; D\}\backslash frac\{f(z)\}\{z-z\_0\}\backslash mathrm\; dz-2\backslash pi\; if(z\_0)\backslash right|$
\le\lim_{r\to 0^+}\left(\max_{|z-z_0|=r}\left|\frac{f(z)-f(z_0)}{z-z_0}-f'(z_0)\right|\int_{|z-z_0|=r}|\mathrm dz|\right)
=0

이다.
코시 적분 정리를 사용하면 C (또는 닫힌 가향 곡선)에 대한 적분이 a 주위의 임의로 작은 원에 대한 동일한 적분과 같음을 보일 수 있다. f(z)는 연속이므로, f(z)가 f(a)에 임의로 가까운 충분히 작은 원을 선택할 수 있다. 다른 한편, 적분
:$$\backslash oint\_C\; \backslash frac\{1\}\{z-a\}\; \backslash ,dz\; =\; 2\; \backslash pi\; i,$$
는 a를 중심으로 하는 임의의 원 C에 대한 것이다. 이는 매개변수화 (치환 적분법) z(t) = a + εe^it (0 ≤ t ≤ 2π 이고 ε는 원의 반지름)를 통해 직접 계산할 수 있다.

ε → 0로 설정하면 원하는 추정치를 얻을 수 있다.
:$$\backslash begin\{align\}$$
\left | \frac{1}{2 \pi i} \oint_C \frac{f(z)}{z-a} \,dz - f(a) \right |
&= \left | \frac{1}{2 \pi i} \oint_C \frac{f(z)-f(a)}{z-a} \,dz \right | \\[1ex]
&= \left | \frac{1}{2\pi i}\int_0^{2\pi}\left(\frac{f\bigl(z(t)\bigr)-f(a)}{\varepsilon e^{it}}\cdot\varepsilon e^{it} i\right )\,dt\right | \\[1ex]
&\leq \frac{1}{2 \pi} \int_0^{2\pi} \frac{ \left|f\bigl(z(t)\bigr) - f(a)\right| } {\varepsilon} \,\varepsilon\,dt \\[1ex]
&\leq \max_{|z-a|=\varepsilon} \left|f(z) - f(a)\right|
~~ \xrightarrow[\varepsilon\to 0]{} ~~ 0.
\end{align}

4. 예제

다음은 코시 적분 공식을 사용하여 복소함수의 적분값을 계산하는 예시이다.

* 예제 1

::$\backslash int\_\{|z|=2\}\backslash frac\{\backslash mathrm\; dz\}\{z^2+1\}$

를 계산해 보자. 함수

::$z\backslash mapsto\backslash frac\; 1\{z^2+1\}$

는 의 폐포에서 정칙함수이므로, 코시 적분 정리에 의하여

::$\backslash begin\{align\}\backslash int\_\{|z|=2\}\backslash frac\{\backslash mathrm\; dz\}\{z^2+1\}$
&=\int_{|z-i|=1/2}\frac{\mathrm dz}{z^2+1}+\int_{|z+i|=1/2}\frac{\mathrm dz}{z^2+1}\\
&=\int_{|z-i|=1/2}\frac{\mathrm dz}{(z+i)(z-i)}+\int_{|z+i|=1/2}\frac{\mathrm dz}{(z+i)(z-i)}
\end{align}

이다. 첫째 항에서 함수

::$z\backslash mapsto\backslash frac\; 1\{z+i\}$

는 의 폐포에서 정칙 함수이므로, 코시 적분 공식에 의하여

::$\backslash int\_\{|z-i|=1/2\}\backslash frac\{\backslash mathrm\; dz\}\{(z+i)(z-i)\}$
=\frac{2\pi i}{z+i}\bigg|_{z=i}
=\pi

이며, 마찬가지로 둘째 항에서 함수

::$z\backslash mapsto\backslash frac\; 1\{z-i\}$

는 의 폐포에서 정칙 함수이므로, 코시 적분 공식에 의하여

::$\backslash int\_\{|z+i|=1/2\}\backslash frac\{\backslash mathrm\; dz\}\{(z+i)(z-i)\}$
=\frac{2\pi i}{z-i}\bigg|_{z=-i}
=-\pi

이다. 따라서,

::$\backslash int\_\{|z|=2\}\backslash frac\{\backslash mathrm\; dz\}\{z^2+1\}=0$

이다.

* 예제 2

함수 $g(z)\; =\; \backslash frac\{z^2\}\{z^2\; +\; 2z\; +\; 2\}$를 $|z|\; =\; 2$ (반지름이 2인 원)를 따라 적분하는 문제를 생각해보자.

먼저 $g(z)$를 다음과 같이 다시 쓸 수 있다.

:$g(z)\; =\; \backslash frac\{z^2\}\{(z\; -\; z\_1)(z\; -\; z\_2)\}$

여기서 $z\_1\; =\; -1\; +\; i$ 이고 $z\_2\; =\; -1\; -\; i$ 이다. 즉, $g(z)$는 $z\_1$과 $z\_2$에서 특이점을 갖는다. 이 특이점들의 절댓값은 2보다 작으므로, 적분 경로 내부에 있다.

코시-구르사 정리를 이용하면, 이 적분을 각 특이점 주변의 작은 원을 따라 적분하는 두 개의 적분으로 나눌 수 있다. $z\_1$ 주변의 경로를 $C\_1$, $z\_2$ 주변의 경로를 $C\_2$라고 하자.

이제 각 경로에 대해 코시 적분 공식을 적용할 수 있다. $C\_1$에 대해서는 $f\_1(z)\; =\; \backslash frac\{z^2\}\{z\; -\; z\_2\}$ 로 정의하면,

:$g(z)\; =\; \backslash frac\{f\_1(z)\}\{z\; -\; z\_1\}$

이 되고, 코시 적분 공식에 의해

:$\backslash oint\_\{C\_1\}\; g(z)\; \backslash ,\; dz\; =\; \backslash oint\_\{C\_1\}\; \backslash frac\{f\_1(z)\}\{z\; -\; z\_1\}\; \backslash ,\; dz\; =\; 2\backslash pi\; i\; \backslash frac\{z\_1^2\}\{z\_1\; -\; z\_2\}$

이다. 마찬가지로 $C\_2$에 대해서는 $f\_2(z)\; =\; \backslash frac\{z^2\}\{z\; -\; z\_1\}$ 로 정의하면,

:$\backslash oint\_\{C\_2\}\; g(z)\; \backslash ,\; dz\; =\; \backslash oint\_\{C\_2\}\; \backslash frac\{f\_2(z)\}\{z\; -\; z\_2\}\; \backslash ,\; dz\; =\; 2\backslash pi\; i\; \backslash frac\{z\_2^2\}\{z\_2\; -\; z\_1\}$

이다. 따라서 원래 경로에 대한 적분은

:$\backslash begin\{align\}$
\oint_C g(z) \, dz &= \oint_{C_1} g(z) \, dz + \oint_{C_2} g(z) \, dz \\
&= 2\pi i \left( \frac{z_1^2}{z_1 - z_2} + \frac{z_2^2}{z_2 - z_1} \right) \\
&= 2\pi i (-2) \\
&= -4\pi i
\end{align}

이다.

부분 분수 분해를 이용하면,

:$\backslash oint\_C\; g(z)\; \backslash ,\; dz\; =\; \backslash oint\_C\; \backslash left(\; 1\; -\; \backslash frac\{1\}\{z\; -\; z\_1\}\; -\; \backslash frac\{1\}\{z\; -\; z\_2\}\; \backslash right)\; \backslash ,\; dz\; =\; 0\; -\; 2\backslash pi\; i\; -\; 2\backslash pi\; i\; =\; -4\backslash pi\; i$

와 같이 계산할 수도 있다.

5. 응용 및 의의

코시 적분 공식은 복소해석학의 여러 중요한 결과들을 유도하는 데 사용된다. 예를 들어, 정칙 함수가 무한 번 미분 가능하며 해석 함수라는 사실을 증명할 수 있다. 또한, 이 공식을 사용하여 리우빌 정리와 가우스 평균값 정리를 유도할 수 있다.

이 공식은 유수 정리를 증명하는 데에도 사용되며, 이는 유형 함수에 대한 결과이고, 편각 원리와 관련된 결과이다. 모레라 정리에 따르면, 정칙 함수의 균등 극한은 정칙 함수인데, 이 역시 코시 적분 공식으로부터 추론할 수 있다.

실해석학에서 코시 적분 공식과 유사한 개념은 조화 함수에 대한 푸아송 적분 공식이다. 정칙 함수에 대한 많은 결과가 이 설정으로 옮겨지지만, 미분 가능한 함수나 실수 해석 함수의 더 일반적인 클래스에서는 그러한 결과가 유효하지 않다.

5.1. 무한 번 미분 가능성

정칙 함수는 무한 번 미분 가능하다는 사실을 증명할 수 있다. 이는 다음 식에 지배 수렴 정리와 기하 급수를 적용하여 얻을 수 있다.

:$f(\backslash zeta)\; =\; \backslash frac\{1\}\{2\backslash pi\; i\}\backslash int\_C\; \backslash frac\{f(z)\}\{z-\backslash zeta\}\backslash ,dz.$

단일 연결 영역 D 안의 길이를 가진 단순 폐곡선 C와 D 상의 정칙 함수 f(z)에 대해, C로 둘러싸인 영역의 임의의 점 a에서 다음 식이 성립한다.

:$f(a)\; =\; \backslash frac\{1\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(z)\}\{z-a\}dz.$

이 식을 사용하여 f(z)의 n계 복소 도함수를 구할 수 있다. a를 z로, 적분 변수를 ζ로 치환하면

:$f(z)\; =\; \backslash frac\{1\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(\backslash zeta)\}\{\backslash zeta-z\}d\backslash zeta.$

이 식의 양변에 대해 차분 상 $\backslash frac\{f(z+h)-f(z)\}\{h\}$의 극한을 반복해서 취하면 다음 식이 나타나며, 정칙 함수가 복소 변수의 의미로 무한 번 미분 가능하다는 것도 알 수 있다.

:$f^\{(n)\}\; (z)\; =\; \backslash frac\{n!\}\{2\; \backslash pi\; i\}\backslash oint\_C\; \backslash frac\{f(\backslash zeta)\}\{(\backslash zeta-z)^\{n+1\}\}\; d\backslash zeta\backslash$

5.2. 해석 함수

정칙 함수는 해석 함수이다. 즉, 멱급수로 표현될 수 있음을 증명하는 데 사용된다. 이는 $1/(z-a)$가 변수 $a$에 대한 멱급수로 전개될 수 있기 때문이다.

:$$\backslash frac\{1\}\{z-a\}\; =\; \backslash frac\{1+\backslash frac\{a\}\{z\}+\backslash left(\backslash frac\{a\}\{z\}\backslash right)^2+\backslash cdots\}\{z\}$$

5.3. 리우빌 정리

코시 추정을 통해 유계인 전해석 함수는 상수 함수여야 함을 쉽게 추론할 수 있다. 이는 리우빌 정리이다.

5.4. 가우스 평균값 정리

이 공식은 또한 가우스 평균값 정리를 유도하는 데 사용될 수 있으며, 이는 다음과 같이 나타낸다.

:f(z) = \frac{1}{2\pi} \int_{0}^{2\pi} f(z + r e^{i\theta}) \, d\theta.^영어

다시 말해, 반지름 을 갖는 를 중심으로 하는 원에 대한 의 평균값은 이다. 이는 원의 매개화를 통해 직접 계산할 수 있다.

6. 일반화

코시 적분 공식은 다양한 형태로 일반화될 수 있다.

원 는 에 대해 회전수가 1인 의 모든 닫힌 가변 곡선으로 대체될 수 있다. 또한, 코시 적분 정리의 경우와 마찬가지로, 경로에 의해 둘러싸인 열린 영역에서 가 정칙이고 그 폐포에서 연속임을 요구하는 것으로 충분하다.

하지만, 경계에서 모든 연속 함수가 경계 내부의 함수를 생성하는 데 사용될 수 있는 것은 아니다. 예를 들어, 함수 , 에 대해 정의된 함수를 코시 적분 공식에 넣으면 원 내부의 모든 점에 대해 0이 된다. 주어진 실수부에 해당하는 경계의 허수 부분은 상수 추가를 제외하고 하나뿐이므로, 정칙 함수의 경계에서 실수부만 주어지면 허수 상수를 최대 결정하기에 충분하다. 뫼비우스 변환과 Stieltjes 역전 공식의 조합을 사용하여 경계의 실수부로부터 정칙 함수를 구성할 수 있다.

6.1. 매끄러운 함수

코시-폼페이유 공식은 매끄러운 함수에 대한 코시 적분 공식의 일반화이다. 를 내의 원반이라고 하고, 가 의 폐포에서 복소수 값을 갖는 함수라고 가정하면, 다음이 성립한다.

$$f(\backslash zeta)\; =\; \backslash frac\{1\}\{2\backslash pi\; i\}\backslash int\_\{\backslash partial\; D\}\; \backslash frac\{f(z)\; \backslash ,dz\}\{z-\backslash zeta\}\; -\; \backslash frac\{1\}\{\backslash pi\}\backslash iint\_D\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; \backslash bar\{z\}\}(z)\; \backslash frac\{dx\backslash wedge\; dy\}\{z-\backslash zeta\}.$$

6.2. 다변수 복소함수

다변수 복소함수에서 코시 적분 공식은 다원판으로 일반화될 수 있다. 개의 열린 원반 의 데카르트 곱으로 주어진 다원판 를 다음과 같이 정의한다.

$$D\; =\; \backslash prod\_\{i=1\}^n\; D\_i.$$

에서 정칙 함수이고 의 폐포에서 연속인 함수 에 대해 다음이 성립한다.

$$f(\backslash zeta)\; =\; \backslash frac\{1\}\{\backslash left(2\backslash pi\; i\backslash right)^n\}\backslash int\backslash cdots\backslash iint\_\{\backslash partial\; D\_1\backslash times\backslash cdots\backslash times\backslash partial\; D\_n\}\; \backslash frac\{f(z\_1,\backslash ldots,z\_n)\}\{(z\_1-\backslash zeta\_1)\backslash cdots(z\_n-\backslash zeta\_n)\}\; \backslash ,\; dz\_1\backslash cdots\; dz\_n$$

여기서 이다.

6.3. 실수 대수

기하 대수를 이용하면 코시 적분 공식을 고차원 실수 벡터 공간으로 일반화할 수 있다. 기하학적 미적분학에서는 미분 연산자 ∇ = ê_i ∂_i^영어를 기하 곱 아래에서 정의한다. 즉, k-벡터장 ψ(r)^영어에 대해, 미분 ∇ψ^영어는 일반적으로 차수 k + 1 및 k - 1의 항을 포함한다.

이 미분 연산자에는 다음과 같은 그린 함수가 존재한다.
$$G\backslash left(\backslash mathbf\; r,\; \backslash mathbf\; r\text{'}\backslash right)\; =\; \backslash frac\{1\}\{S\_n\}\; \backslash frac\{\backslash mathbf\; r\; -\; \backslash mathbf\; r\text{'}\}\{\backslash left|\backslash mathbf\; r\; -\; \backslash mathbf\; r\text{'}\backslash right|^n\}$$
여기서 S_n^영어은 공간에서 단위 n-구의 표면적이다. 예를 들어 S₂ = 2π^영어는 반지름이 1인 원의 둘레, S₃ = 4π^영어는 반지름이 1인 구의 표면적이다. 그린 함수의 정의에 따라,
$$\backslash nabla\; G\backslash left(\backslash mathbf\; r,\; \backslash mathbf\; r\text{'}\backslash right)\; =\; \backslash delta\backslash left(\backslash mathbf\; r-\; \backslash mathbf\; r\text{'}\backslash right).$$
이다.

일반화된 스토크스 정리는 다음과 같다.
$$\backslash oint\_\{\backslash partial\; V\}\; d\backslash mathbf\; S\; \backslash ;\; f(\backslash mathbf\; r)\; =\; \backslash int\_V\; d\backslash mathbf\; V\; \backslash ;\; \backslash nabla\; f(\backslash mathbf\; r)$$
여기서, n차원 벡터 공간의 경우, dS^영어는 (n - 1)-벡터이고 dV^영어는 n-벡터이다.

∇f = 0^영어일 때, f(r)^영어는 정칙 함수를 고차원 공간으로 일반화한 monogenic function이라고 불린다. 고차원 공간에 대한 코시 적분 정리는 G(r, r′) f(r′)^영어에 일반화된 스토크스 정리를 사용하고 곱 규칙을 적용하여 증명할 수 있다. 그 결과는 다음과 같다.
$$f(\backslash mathbf\; r)$$
=- \frac{1}{i_n} \oint_{\partial V} G\left(\mathbf r, \mathbf r'\right)\; d\mathbf S \; f\left(\mathbf r'\right)
= -\frac{1}{i_n} \oint_{\partial V} \frac{\mathbf r - \mathbf r'}{S_n \left|\mathbf r - \mathbf r'\right|^n} \; d\mathbf S \; f\left(\mathbf r'\right)
여기서 i_n^영어은 해당 대수의 단위 n-벡터인 의사 스칼라이다.

따라서 2차원(복소 해석) 경우와 마찬가지로, 점에서의 해석적(monogenic) 함수의 값은 점을 둘러싼 표면에 대한 적분을 통해 찾을 수 있으며, 이는 스칼라 함수뿐만 아니라 벡터 및 일반 멀티벡터 함수에도 유효하다.