최근 수정 시각 : 2026-10-11 05:13:56

라마누잔합

#!style
.grad {
   background: border-box linear-gradient(to right, #781018, 10%, #8d141b 50%, 90%, #781018);
   border: 2px solid transparent;
}
.grad tr:nth-of-type(2) > td {
   background: padding-box var(--article-background-color);
   overflow: hidden;
}
@theseed-dark-mode {
    .grad {
        background: border-box linear-gradient(to right, #781018, 10%, #8d141b 50%, 90%, #781018);
    }
}
<tableclass=grad> '''해석학·미적분학
Analysis · Calculus
'''
{{{#!wiki style="min-height: calc(1.5em + 5px); margin: 0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#8d141b,#8d141b><colcolor=#fff,#fff> 실수와 복소수 실수(실직선 · 아르키메데스 성질) · 복소수(복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수 함수 · 실함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수(동차함수 · 음함수) · 다가 함수 · 함수의 그래프(절편) · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수(대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수(변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴(균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사(어림)
수열·급수 수열(규칙과 대응) · 급수(기하급수 · 조화급수 · 멱급수 · 테일러 급수(/목록) · 그란디 급수(라마누잔합) · 망원급수(부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱 · 피보나치 수열
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수(이계도함수 · 공변도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점(변곡점 · 안장점) · 매끄러움
평균값 정리(롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈의 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분 적분 · 정적분(/예제) · 스틸체스 적분 · 부정적분(부정적분 일람) · 부분적분(LIATE 법칙 · 도표적분법 · /예제) · 치환적분 · 이상적분(코시 주욧값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수·벡터 미적분 편도함수 · 미분형식 · ∇(나블라) · 중적분(선적분 · 면적분 · 야코비안) ·야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리(발산 정리 · 그린 정리)· 변분법
미분방정식 미분방정식(/풀이) · 라플라스 변환 · 직교 절선 · 위상평면
실해석·측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 복소로그함수 · 코시-리만 방정식 · 로랑 급수(주부) · 유수 · 해석적 연속 · 오일러 공식(오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 인수분해 정리 · 미타그레플레르 정리
조화해석 푸리에 해석(푸리에 변환 · 아다마르 변환)
동역학계 에르고딕 이론 · 복소 동역학 · 망델브로 집합 · 줄리아 집합
관련 분야 함수해석학(틀:함수해석학) · 해석 기하학 · 미분기하학 · 해석적 정수론(1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론(확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학(양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결) · 수리경제학(경제수학) · 공업수학
관련 교재 미적분학/교재 · 해석학(수학)/교재 · 실해석학/교재 · 복소해석학/교재 · 미분기하학/교재
기타 퍼지 논리 · 합성곱
}}}}}}}}} ||
파일:external/upload.wikimedia.org/Ramanujan_Notebook_1_Chapter_8_on_1234_series.jpg
#!style
.tpc {
border: 2px solid #0000; margin: auto; background: #0000 !important; }

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. 활용6. 관련 문서

1. 개요

라마누잔합(Ramanujan summation)은 인도의 수학자 스리니바사 라마누잔이 고안한 발산급수의 합산으로, [math(1+2+3+4+\cdots)]의 제타 정규화(Zeta function regularization) 값이 [math(-1/{12})]임을 가리킨다.

2. 분석

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

라마누잔은 하나의 수로 가정하고 식을 전개한 뒤,
<tableclass=tpc>[math(1+2+3+4+\cdots=-\cfrac 1{12})]
이 된다고 직관적으로 계산해 낸다.

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

2.1. 1−2+3−4+⋯

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

[math(|x|<1)] 에 대해서 무한등비급수
<tableclass=tpc>[math(1+x+x^2+x^3+x^4+\cdots=\cfrac 1{1-x})]
이 성립한다. [math(x)] 대신 [math(-x)]를 대입하여 식을 변형하면,
<tableclass=tpc>[math(1-x+x^2-x^3+x^4-\cdots=\cfrac 1{1+x})]
이 된다. 미분하면
<tableclass=tpc>[math(-1+2x-3x^2+4x^3-\cdots=\cfrac{-1}{(1+x)^2})]
양변에 -1을 곱하면 아래와 같이 된다.
<tableclass=tpc>[math(1-2x+3x^2-4x^3+\cdots=\cfrac 1{(1+x)^2})]

이 식은 애초에 [math(|x|<1)]에서만 성립한다. 그런데, [math(x\to 1^-)]의 극한[1]을 생각해 보면 다음과 같은 식이 성립한다.
<tableclass=tpc>[math(\begin{aligned} 1-2x+3x^2-4x^3+\cdots &= \frac 1{(1+x)^2} \\ \lim_{x\to 1^-}(1-2x+3x^2-4x^3+\cdots) &= \lim_{x\to 1^-}\frac 1{(1+x)^2} \\ \\ \therefore 1-2+3-4+\cdots&=\frac 1{(1+1)^2}=\frac 14 \end{aligned})]
이 식은 [math(|x|<1)]에서 정의되므로, 원칙적으로 [math(x=1)]에서는 정의되진 않는다. 하지만, 정의된다고 가정하면 그 값은 [math(\bm 1/4)]이다.

2.2. 1+2+3+4+⋯

다시 라마누잔의 메모로 돌아가서 [math( c = 1 + 2 + 3 + 4 + \cdots )]으로 두고, 양 변에 4를 곱한 뒤 한 칸씩 엇갈려서 두 식을 빼면
<tableclass=tpc>[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})]
앞에서
<tableclass=tpc>[math(1-2+3-4+\cdots=\cfrac 14)]
이라고 계산했으니,
<tableclass=tpc>[math(-3c = \cfrac 14 \; \to \; 1+2+3+4+\cdots=-\cfrac 1{12})]
이 된다. 일반적인 덧셈과 구분하기 위해서 [math((\Re))] 이란 표기를 추가하여
<tableclass=tpc>[math(1+2+3+4+\cdots=-\cfrac 1{12}\,(\Re))]
로 표기한다.

3. 그 외 유사한 결과들

3.1. 1−1+1−1+⋯

앞에서 언급한 무한등비급수
<tableclass=tpc>[math(1+x+x^2+x^3+x^4+\cdots=\cfrac 1{1-x})]
에서 [math(x\to -1)]의 극한을 구해 보면, 아래와 같다.
<tableclass=tpc>[math(1-1+1-1+\cdots=\cfrac 1{1+1}=\cfrac 12\,(\Re))]

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

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

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

앞에서 언급한 무한등비급수
<tableclass=tpc>[math(1+x+x^2+x^3+x^4+\cdots=\cfrac 1{1-x})]
에서 [math(xto 2)]의 극한을 구해 보면, 아래와 같다.
<tableclass=tpc>[math(1+2+4+8+16+\cdots=\cfrac 1{1-2}=-1\,(\Re))]

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

4. 제타 함수와의 관계

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

리만 가설의 바로 그 베른하르트 리만은 소수 정리를 연구하면서 리만 제타 함수라는 것을 만드는데 아래와 같다.
<tableclass=tpc>[math(\displaystyle \zeta(x)=\sum_{n=1}^\infty\frac 1{n^x})]
이 식은 원래 실수 중에서 [math(x>1)]일 때만 수렴하는 식이다. 리만은 이를 복소수로 확장하여 [math(x)]의 실수부가 1보다 크기만 하면 수렴한다고 증명했다. 그리고, 그렇지 않은 [math(x)]에 대해서도 연구하기 시작한다. 그리고, 방정식 [math(\zeta(x)=0)] 에 대해서 −2, −4, −6, −8, [math(\cdots)] 등의 해가 있음(자명한 근)을 증명했고, 자명하지 않은 근이 존재함도 밝혔는데, '자명하지 않은 근의 실수부는 모두 [math(1/2)] 이다.'가 그 유명한 리만 가설이다.

참고로, 리만 제타 함수에 [math(x=-1)]을 대입하면 바로 위의 그 식이 나오며, 리만 제타 함수에서도 이 값은
<tableclass=tpc>[math(\zeta(-1) = 1+2+3+4+\cdots=-\cfrac 1{12})]
이 나온다.

5. 활용

의외로 물리에서 활용이 된다. [math(|x|>1)]에서 정의 안됐다고 하는 것을 억지로 정의됐다고 가정하고 푸는 것이 라마누잔합의 뼈대인데, 물리에서는 수식이 말이 안됨에도 실측값이 존재(해야)하기 때문에 특정 값을 끼워넣어야 하는 경우가 종종 있기 때문. 개요에서 잠깐 언급되었듯이 이렇게 정의역을 확장시키는 것을 수학적으로 해석적 연속이라고 부르며, 이러한 접근은 물리에서 섭동을 전개할 때 원치 않는 발산이 일어날 경우 무한대로부터 수렴값을 얻는 데 사용되는 테크닉인 재규격화 및 조절의 토대가 된다.

라마누잔합이 활용되는 직접적이면서 대표적인 예시로 카시미르 효과가 있다. 간단히 말하면 진공 사이에 두 철판을 두면 갑자기 어디선가 에너지가 생긴다는 것. 양자장론에 따르면 철판으로 인한 경계조건에 의해 그 사이에 양자적 정상파가 생기는데, 이때 진동수가 자연수인 모든 정상파가 존재할 수 있으므로 각 정상파의 에너지의 합을 계산하면 발산해야 하지만 라마누잔합이 이를 억눌러 의미가 있는 어떤 값이 나온다. 그리고 위에서 설명하듯 이 합은 음수이므로 철판 사이의 에너지는 음의 에너지, 즉 인력이 작용한다는 것.[2]#

또한 초끈 이론에서도 보손들을 설명하는 끈(bosonic string)의 바닥 에너지를 구할 때도 이들이 진동자라는 점과 바닥 에너지는 가능한 모든 정상파의 에너지의 합이라는 점을 이용해 라마누잔합을 적용한다. 다만 이쪽은 완전히 정립된 이론도 아니고, 이 전개를 계속 따라갈 경우 우주의 차원이 26차원이 된다는, 받아들여지기 힘든 결과를 내기 때문에 아직까진 크게 의미 있는 이론은 아니다.

6. 관련 문서



[1] 쉬운 예로 0.9, 0.99, 0.999, 0.9999, 0.99999, 0.999999, [math(cdots)] 식으로 증가하면서 1에 수렴하는 극한[2] 엄밀히 말하면 1차원일 경우 라마누잔합, 즉 [math(\zeta(-1))]이고 3차원이면 [math(\zeta(-3))]이다.