그란디 급수

 

그란디 급수 (Grandi's Series)

정의

그란디 급수는 다음과 같이 정의되는 무한급수입니다.

$$S = 1 - 1 + 1 - 1 + 1 - 1 + \cdots = \sum_{n=0}^{\infty} (-1)^n$$

이 급수는 이탈리아 수학자 귀도 그란디(Guido Grandi, 1671-1742)의 이름을 따서 명명되었습니다.

계산 방법에 따른 다양한 결과

방법 1: 초항을 포함하여 계산

항들을 두 개씩 묶으면

$$S = (1 - 1) + (1 - 1) + (1 - 1) + \cdots$$ $$S = 0 + 0 + 0 + \cdots = 0$$

결과: S = 0

방법 2: 초항을 제외하고 계산

초항을 제외하고 나머지를 두 개씩 묶으면

$$S = 1 + (-1 + 1) + (-1 + 1) + (-1 + 1) + \cdots$$ $$S = 1 + 0 + 0 + 0 + \cdots = 1$$

결과: S = 1

방법 3: 대수 조작

급수를 S로 놓고 다음과 같이 계산합니다

$$S = 1 - 1 + 1 - 1 + 1 - 1 + \cdots$$

양변에서 1을 빼면

$$S - 1 = -1 + 1 - 1 + 1 - 1 + \cdots$$

우변은 -1을 곱한 S와 같으므로

$$S - 1 = -(1 - 1 + 1 - 1 + \cdots) = -S$$

정리하면

$$S - 1 = -S$$ $$2S = 1$$ $$S = \frac{1}{2}$$

결과: S = 1/2

방법 4: 1-S로 표현

다른 방식으로 접근하면

$$S = 1 - 1 + 1 - 1 + 1 - 1 + \cdots$$ $$S = 1 - (1 - 1 + 1 - 1 + \cdots)$$ $$S = 1 - S$$ $$2S = 1$$ $$S = \frac{1}{2}$$

결과: S = 1/2

부분합 수열

부분합 \(S_n\)을 계산하면

$$S_1 = 1$$ $$S_2 = 1 - 1 = 0$$ $$S_3 = 1 - 1 + 1 = 1$$ $$S_4 = 1 - 1 + 1 - 1 = 0$$ $$S_5 = 1$$ $$\vdots$$

일반적으로

$$S_n = \begin{cases} 1 & \text{if } n \text{이 홀수} \\ 0 & \text{if } n \text{이 짝수} \end{cases}$$

또는

$$S_n = \frac{1 + (-1)^{n+1}}{2}$$

부분합 수열 \(\{S_n\}\)은 1과 0 사이를 진동하며 수렴하지 않습니다.

수렴성 분석

통상적 수렴

급수 \(\displaystyle\sum_{n=0}^{\infty} (-1)^n\)은 통상적인 의미에서 수렴하지 않습니다.

이유: 부분합 수열이 극한값을 가지지 않기 때문입니다.

$$\lim_{n \to \infty} S_n \text{ 는 존재하지 않음}$$

체사로 합 (Cesàro Sum)

체사로 합은 일반적으로 수렴하지 않는 무한급수에 값을 할당하는 방법입니다:

$$\sigma_n = \frac{S_1 + S_2 + S_3 + \cdots + S_n}{n}$$

계산하면:

$$\sigma_n = \frac{1 + 0 + 1 + 0 + 1 + \cdots}{n}$$

• \(n\)이 짝수일 때: \(\sigma_n = \frac{n/2}{n} = \frac{1}{2}\)
• \(n\)이 홀수일 때: \(\sigma_n = \frac{(n+1)/2}{n} = \frac{n+1}{2n} = \frac{1}{2} + \frac{1}{2n}\)

따라서:

$$\lim_{n \to \infty} \sigma_n = \frac{1}{2}$$

체사로 합의 의미에서 그란디 급수는 1/2로 수렴합니다.

아벨 합 (Abel Sum)

멱급수를 이용한 접근

$$f(x) = \sum_{n=0}^{\infty} (-1)^n x^n = \sum_{n=0}^{\infty} (-x)^n$$

이는 \(|x| < 1\)일 때 등비급수로 수렴합니다.

$$f(x) = \frac{1}{1 - (-x)} = \frac{1}{1 + x}$$

아벨 합은 \(x \to 1^-\)일 때의 극한값입니다.

$$\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-} \frac{1}{1 + x} = \frac{1}{2}$$

아벨 합의 의미에서도 그란디 급수는 1/2로 수렴합니다.

수학적 의의

1. 무한급수의 수렴 개념

그란디 급수는 무한급수의 수렴이 단순하지 않다는 것을 보여줍니다. 급수의 합을 정의하는 방법에 따라 다른 결과가 나올 수 있으며 통상적 수렴이 유일한 개념이 아님을 보여줍니다.

2. 조건부 수렴과 재배열

그란디 급수는 발산하는 급수이지만 항의 재배열이나 괄호의 묶음에 따라 다른 값을 얻을 수 있습니다. 이는 리만 재배열 정리(Riemann Rearrangement Theorem)의 기초가 되었으며 조건부 수렴하는 급수는 재배열을 통해 임의의 값으로 수렴하도록 만들 수 있다는 사실과 관련됩니다.

3. 확장된 합의 개념

체사로 합과 아벨 합 같은 확장된 합의 개념을 통해 통상적으로는 발산하는 급수에도 의미 있는 값을 부여할 수 있습니다. 이러한 개념들은:

• 해석학의 발전
• 푸리에 급수 이론
• 발산 급수의 정칙화(regularization)
• 양자장론 등 현대 물리학에서의 응용

4. 대수적 조작의 한계

무한급수에 대해 유한합에서 성립하는 대수적 법칙을 무비판적으로 적용하면 모순된 결과가 나올 수 있음을 경고합니다. 무한 과정을 다룰 때는 엄밀한 극한 개념과 수렴성 검증이 필수적입니다.

5. 수학적 엄밀성의 중요성

그란디 급수는 18세기에 수학자들 사이에서 큰 논쟁을 불러일으켰으며 이는 19세기 코시와 바이어슈트라스에 의한 해석학의 엄밀화를 촉진하는 계기가 되었습니다.