최근 수정 시각 : 2024-09-10 10:30:26

라마누잔합

해석학·미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수실수(실직선 · 아르키메데스 성질) · 복소수(복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수(동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수(대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수(변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴(균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사(어림)
수열·급수 수열(규칙과 대응) · 급수(멱급수 · 테일러 급수(일람) · 조화급수 · 그란디 급수(라마누잔합) · 망원급수(부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수(이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점(변곡점 · 안장점) · 매끄러움
평균값 정리(롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분 적분 · 정적분(예제) · 스틸체스 적분 · 부정적분(부정적분 일람) · 부분적분(LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분(코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수·벡터 미적분 편도함수 · 미분형식 · · 중적분(선적분 · 면적분 · 야코비안) ·야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리(발산 정리 · 그린 정리변분법
미분방정식 미분방정식(풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식(오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수(분포이론)
조화해석 푸리에 해석(푸리에 변환 · 아다마르 변환)
관련 분야 해석 기하학 · 미분 기하학 · 해석적 정수론(1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론(확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학(양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결) · 수리경제학(경제수학) · 공업수학
기타 퍼지 논리 · 합성곱
}}}}}}}}} ||

1. 개요2. 분석
2.1. 1−2+3−4+⋯2.2. 1+2+3+4+⋯
3. 그 외 유사한 결과들
3.1. 1−1+1−1+⋯3.2. 1+2+4+8+16+⋯
4. 리만 가설과의 관계5. 관련 문서

1. 개요

파일:external/upload.wikimedia.org/Ramanujan_Notebook_1_Chapter_8_on_1234_series.jpg
Ramanujan summation

인도의 수학자 스리니바사 라마누잔이 고안한 수식이다. [math(1+2+3+4+\cdots)]은 당연히 무한대로 발산하므로 특정 실수에 수렴하지 않는다. 일반적인 계산으로 모든 자연수(양의 정수)의 합이 해당 값을 가진다고 말하지 않는다. 다만 해석적 확장을 직관적으로 설명하기 좋은 예시로 본다.

라마누잔은 하나의 수로 가정하고 식을 전개한 뒤,

[math(\displaystyle 1+2+3+4+\cdots=-\frac{1}{12})]

이 된다고 직관적으로 계산해 낸다.

사실 라마누잔합이라고 부르는 개념은 이렇게 단순한 것이 아니라서 제대로 알아보려면 복소해석학을 배워야 한다. 해석적 확장이라는 개념을 사용하기 때문. 일반적인 덧셈이 아니라 특정 무한급수의 값을 구하는 공식에 범위 외의 값을 대입한 수학적 기법이기 때문에, 당연히 상식적인 계산으로는 도출될 수 없는 결론이다.

2. 분석

2.1. 1−2+3−4+⋯

라마누잔은 이를 직관적으로 [math(1/4)]라고 계산했다. 라마누잔의 계산과정은 이곳에 잘 설명되어 있다. 이를 증명하면 아래와 같다.

[math(|x|<1)] 에 대해서 무한등비급수

[math(\displaystyle 1+x+x^2+x^3+x^4+\cdots=\frac{1}{1-x})]

이 성립한다. [math(x)] 대신 [math(-x)]를 대입하여 식을 변형하면,

[math(\displaystyle 1-x+x^2-x^3+x^4-\cdots=\frac{1}{1+x})]

이 된다. 미분하면

[math(\displaystyle-1+2x-3x^2+4x^3-\cdots=\frac{-1}{(1+x)^2})]

양변에 -1을 곱하면 아래와 같이 된다.

[math(\displaystyle1-2x+3x^2-4x^3+\cdots=\frac{1}{(1+x)^2})]


이 식은 애초에 [math(|x|<1)] 에서만 성립한다. 그런데, [math(x \to 1^{-})]의 극한[1]을 생각해보면 다음과 같은 식이 성립한다.

[math(\displaystyle \begin{aligned} 1-2x+3x^2-4x^3+\cdots &= \frac{1}{(1+x)^2} \\ \lim_{x\rightarrow 1^{-}}(1-2x+3x^2-4x^3+\cdots) &= \lim_{x\rightarrow 1^{-}}\frac{1}{(1+x)^2} \\ \\ \therefore 1-2+3-4+\cdots&=\frac{1}{(1+1)^2}=\frac{1}{4} \end{aligned})]

이 식은 [math(|x|<1)] 에서 정의되므로, 원칙적으로 [math(x=1)]에서는 정의되진 않는다. 하지만, 정의된다고 가정하면 그 값은 [math(\mathbf{1/4})]이다.

2.2. 1+2+3+4+⋯

다시 라마누잔의 메모로 돌아가서 [math( c = 1 + 2 + 3 + 4 + \cdots )]으로 두고, 양 변에 4를 곱한 뒤 한 칸씩 엇갈려서 두 식을 빼면
[math(\begin{matrix}&c&=&1&+&2&+&3&+&4&+&5&+&6&+&7&+&8&+&9&+&10&+&\cdots& \\ - &4c&=&&&4&&+&&8&&+&&12&&+&&16&&+&&20&+&\cdots&\\ \hline &-3c&=&1&-&2&+&3&-&4&+&5&-&6&+&7&-&8&+&9&-&10&+&\cdots& \\ \\ \end{matrix} \\ )]
앞에서

[math(\displaystyle1-2+3-4+\cdots=\frac{1}{4})]

이라고 계산했으니,

[math(\displaystyle -3c = \frac{1}{4} \; \to \; 1+2+3+4+\cdots=-\frac{1}{12})]

이 된다. 일반적인 덧셈과 구분하기 위해서 [math( (\Re) )][2] 이란 표기를 추가하여

[math(\displaystyle1+2+3+4+\cdots=-\frac{1}{12} (\Re) )]

로 표기한다.

3. 그 외 유사한 결과들

3.1. 1−1+1−1+⋯

앞에서 언급한 무한등비급수

[math(\displaystyle 1+x+x^2+x^3+x^4+\cdots=\frac{1}{1-x})]

에서 [math(x \to -1)]의 극한을 구해 보면, 아래와 같다.

[math(\displaystyle1-1+1-1+\cdots=\frac{1}{1+1}=\frac{1}{2} (\Re))]


앞의 것과 마찬가지로 [math(|x|<1)] 에서 정의되므로, 원칙적으로는 정의되진 않는다. 하지만, 정의된다고 가정하면 그 값은 [math(\boldsymbol{1/2})]이다.

참고로, 이 급수는 그란디 급수란 이름이 있으며 라마누잔합은 '이렇게 부분합이 수렴하지 않는 무한급수의 값은 어떻게 정의할 수 있을까?'란 질문에 답하기 위해 개발된 기법중 하나다.

3.2. 1+2+4+8+16+⋯

앞에서 언급한 무한등비급수

[math(\displaystyle 1+x+x^2+x^3+x^4+\cdots=\frac{1}{1-x})]

에서 [math(x to 2)]의 극한을 구해 보면, 아래와 같다.

[math(\displaystyle1+2+4+8+16+\cdots=\frac{1}{1-2}=-1 (\Re))]


앞의 것과 마찬가지로 [math(|x|<1)] 에서 정의되므로, 원칙적으로는 정의되진 않는다. 하지만, 정의된다고 가정하면 그 값은 −1이다.

4. 리만 가설과의 관계

이 직관과는 거리가 먼 결과들은 나중에 리만 가설과 연관성이 발견되면서 재평가를 받는다.

리만 가설의 바로 그 베른하르트 리만소수 정리를 연구하면서 리만 제타 함수라는 것을 만드는데 아래와 같다.

[math(\displaystyle\zeta(x) =\sum_{n=1}^\infty\frac{1}{n^x})]

이 식은 원래 실수 중에서 [math(x>1)]일 때만 수렴하는 식이다. 리만은 이를 복소수로 확장하여 [math(x)]의 실수부가 1보다 크기만 하면 수렴한다고 증명하였다. 그리고, 그렇지 않은 [math(x)]에 대해서도 연구하기 시작한다. 그리고, 방정식 [math(\displaystyle\zeta(x) =0)] 에 대해서 −2, −4, −6, −8, [math(\cdots)] 등의 해가 있음(자명한 근)을 증명하였고, 자명하지 않은 근이 존재함도 밝혔는데, '자명하지 않은 근의 실수부는 모두 [math(1/2)] 이다.'가 그 유명한 리만 가설이다.

참고로, 리만 제타 함수에 [math(x=-1)]을 대입하면 바로 위의 그 식이 나오며, 리만 제타 함수에서도 이 값은

[math(\displaystyle \zeta(-1) = 1+2+3+4+\cdots=-\frac{1}{12})]

이 나온다.

5. 관련 문서



[1] 쉬운 예로 0.9, 0.99, 0.999, 0.9999, 0.99999, 0.999999, [math(cdots)] 식으로 증가하면서 1에 수렴하는 극한[2] [math(\Re)]는 복소수의 실수부라는 의미로도 쓴다.