콘텐츠로 이동

제7장　원자는 왜 안정한가? — 양자역학의 탄생

← 제6장 중력의 본질은 무엇인가?제8장 양자역학과 상대론을 양립시키고 싶다 →

지금까지의 이야기: 제5~6장에서 상대론의 줄기를 따라갔다. 특수상대론이 시간과 공간을 다시 썼고, 일반상대론이 중력을 시공간의 휘어짐으로 기술한다. 여기서부터는 제 4 장에서 남겨둔 또 하나의 위기——원자의 안정성 문제——로 돌아가, 양자론의 줄기를 다시 따라간다.

이 장의 목표

  • 양자역학은 「양자역학」편 제 1 장 에서 체계적으로 다루고 있다
  • 본 장에서는 그 도달점을 압축하여 받아들이면서, 끈이론에 직접 이어지는 구조——조화진동자의 승강연산자에 의한 양자화——를 특별히 정성들여 짚고, 상대론의 줄기와의 합류 지점을 가늠한다

이 장의 읽는 법

본 장은 「양자역학」편 프롤로그 를 읽은 것을 전제로 쓰고 있다. 고전물리의 위기・Bohr 모형・Schrödinger 방정식・교환관계와 불확정성 원리・조화진동자의 대수적 풀이・스핀은 모두 「양자역학」편에서 유도 완료이므로, 여기서는 결과만 요약한다. 그 대신, 끈이론에서 재등장하는 "승강연산자와 에너지 준위의 사다리" "최소 에너지의 합으로서의 영점에너지" 구조를 강조하고, 「양자역학」편 제 27 장 이 다루는 "Schrödinger 방정식과 특수상대론의 양립 불가능성"을 본서 Part III의 흐름에 접속하는 형태로 정리한다.

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart LR
    subgraph A["「양자역학」편에서 정비 완료"]
        A1["고전물리의 위기<br/>Planck / Bohr"]
        A2["파동함수와<br/>Schrödinger 방정식"]
        A3["교환관계와<br/>불확정성 원리"]
        A4["조화진동자<br/>(대수적 풀이)"]
        A5["스핀<br/>(Pauli 행렬)"]
    end

    subgraph B["본 장에서 강조하는 독자적 내용"]
        B1["승강연산자<br/>a, a†"]
        B2["영점에너지<br/>ℏω/2"]
        B3["무한 개의 조화진동자<br/>= 끈의 양자화"]
    end

    subgraph C["다음 장으로의 다리놓기"]
        C1["상대론과의 충돌<br/>→ 장의 양자론 (제8장)"]
    end

    A4 --> B1
    B1 --> B2
    B2 --> B3
    A2 --> C1
    A3 --> C1

그림 7.1: 본 장의 위치와 전후 관계

7.1　핵심 요약: 고전물리의 위기와 Bohr 모형

🟡 리나: 상대론의 줄기를 한 바퀴 돌았으니, 여기서부터는 양자론의 줄기로 돌아갈게. 출발점은 제 4 장에서 다뤘던 "고전물리의 파탄"이야. 19세기 말, Newton 역학과 Maxwell 전자기학의 틀로는 설명할 수 없는 현상들이 잇따라 나타났어. 자세한 내용은 「양자역학」편 제 1 장 에 맡기고, Part III에서 필요한 결론만 표 7.1「고전물리의 위기와 그 해결」에 정리했어.

표 7.1: 고전물리의 위기와 그 해결

위기 모순의 핵심 해결자 핵심 수식
흑체복사의 자외선 파탄 고전 예측이 고진동수에서 발산 Planck (1900) \(E = nh\nu\)
광전효과 빛의 세기가 아니라 진동수가 결정적 Einstein (1905) \(K = h\nu - W\)
원자의 안정성 전자가 \(10^{-11}\)초 만에 떨어짐 Bohr (1913) \(E_n = -13.6\,\mathrm{eV}/n^2\)

🔵 카이: 세 가지 모두 Planck 상수 \(h\)가 관여하고 있죠. 그런데 Bohr의 "정상 상태에서는 복사하지 않는다"든가 "각운동량은 \(\hbar\)의 정수배"라든가, 왜 그런지에 대한 설명 없이 가정된 거 아닌가요?

🟡 리나: 맞아. 관통하는 상수는 \(h \approx 6.626\times 10^{-34}\,\mathrm{J\cdot s}\)와 \(\hbar = h/(2\pi)\)야. 자연은 연속이 아니라 이산(띄엄띄엄)으로 행동한다——이것이 모든 것의 출발점이야. Bohr의 수소 원자 모형에서는, 전자가 허용되는 궤도 반지름이

\[ r_n = a_0\, n^2 \quad (n = 1, 2, 3, \ldots), \qquad a_0 = \frac{4\pi\varepsilon_0\hbar^2}{m_e e^2} \approx 0.529\times 10^{-10}\,\mathrm{m} \]

처럼 띄엄띄엄한 값만 취할 수 있어. \(a_0\)는 Bohr 반지름이라 불리며, 가장 안쪽 궤도(\(n = 1\))의 반지름에 해당해. 대응하는 에너지 준위가 표의 \(E_n = -13.6\,\mathrm{eV}/n^2\)이고, \(n = 1\)이 최저 에너지(바닥상태)——원자는 이보다 더 아래로 떨어질 수 없다는 것이 설명된 거야.

✅ 이해도 체크: 고전물리의 3가지 위기(흑체복사・광전효과・원자의 안정성)에 공통으로 등장하는 물리 상수는 무엇일까요? 또한 그것이 의미하는 자연의 근본적 성질은 무엇일까요?

답

공통으로 등장하는 것은 Planck 상수 \(h\)(또는 \(\hbar = h/(2\pi)\))이다. 이것은 자연이 연속이 아니라 이산(띄엄띄엄)으로 행동한다는 것을 나타낸다. 에너지나 각운동량이 임의의 값을 취할 수 없고, \(h\)를 단위로 한 띄엄띄엄한 값만 허용된다.

⚪ 메이: 즉 Bohr의 가설은 "실험에 맞는다"는 것은 확인되었지만, "왜 그 조건이 성립하는지"는 모형 바깥에서 끌고 온 채——이론으로서는 불완전하다는 뜻이네.

🟡 리나: 그래. "왜"에 대한 답은 1925-26년의 양자역학에서 비로소 주어져. 참고로, Bohr가 임시로 놓아서 얻은 Bohr 반지름 \(a_0\)도, 이후의 양자역학에서는 Bohr의 양자 조건을 가정하지 않고 재유도할 수 있게 돼——이 변천 자체가, 양자역학이 Bohr 모형을 올바르게 포함하고 넘어선다는 증거야.

📖 「양자역학」편와의 접속: Bohr 반지름의 유도에는 3가지 방법이 있다. (i) Bohr의 양자 조건으로부터 직접 (「양자역학」편 제 1 장), (ii) 불확정성 원리로부터 \(E(r)\sim \hbar^2/(2m_er^2) - e^2/(4\pi\varepsilon_0 r)\)를 최소화 (「양자역학」편 8.9「응용: 불확정성 원리와 원자의 안정성」), (iii) Schrödinger 방정식을 구대칭 퍼텐셜에서 엄밀하게 풀기 (「양자역학」편 제 16 장). (ii)와 (iii)는 어느 쪽도 추가 가설을 필요로 하지 않는다.

7.2　핵심 요약: 파동함수와 Schrödinger 방정식

🟡 리나: 1924년, de Broglie가 "빛이 파동이면서 입자라면, 전자 같은 입자도 파동일 것"이라고 제안했어. 운동량 \(p\)인 입자에 대응하는 물질파의 파장은 \(\lambda = h/p\). 여기서 평면파 해석과 고전적 에너지 관계 \(E = p^2/(2m) + V(x)\)를 결합하면, 파동함수 \(\Psi(x, t)\)에 대한 시간의존 Schrödinger 방정식

\[ i\hbar \frac{\partial \Psi}{\partial t} = \left[-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + V(x)\right] \Psi = \hat{H}\Psi \]

을 얻을 수 있어. 유도와 물리적 동기부여는 「양자역학」편 제 7 장 에 자세히 나와 있어.

🟡 리나: 즉, 고전 에너지 식 \(E = p^2/(2m) + V\)에 대해 \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\)라는 치환을 수행하면, Schrödinger 방정식이 그대로 나오는 거야(그림 7.2「양자화의 절차」).

양자화의 절차

그림 7.2: 양자화의 절차. 고전적인 물리량(수치)을 연산자로 "승격"시킨다. 고전적 에너지 관계 → 연산자 방정식(Schrödinger 방정식)이라는 대응이 입자・장・끈에서 반복적으로 적용된다.

⚪ 메이: 그렇구나, 고전적인 수치를 연산자로 "승격"시키는 것만으로 방정식의 형태가 결정되는 거네. 치환 규칙이 고정되어 있는 이상, 출발점인 고전적 에너지 관계가 바뀌면 나오는 방정식도 바뀐다는 뜻이지?

🟡 리나: 맞아. 거꾸로 말하면, 출발점만 정해지면 방정식은 거의 자동으로 정해져——선택의 여지가 거의 없어.

🟡 리나: 그래. 그리고 Born의 확률 해석에 의해, \(|\Psi(x, t)|^2\, dx\)가 시각 \(t\)에 위치 \(x \sim x+dx\)에서 입자를 발견할 확률을 주고, 전 공간의 적분은 1로 규격화돼. 정상 상태 \(\Psi(x, t) = \psi(x)\, e^{-iEt/\hbar}\)에 대해서는, 시간에 의존하지 않는 Schrödinger 방정식 \(\hat{H}\psi = E\psi\)가 에너지 고유값 \(E\)를 결정해.

🔵 카이: "수치를 연산자로 바꾼다"니, 엄청 대담한 조작이네요. 이게 다른 장면에서도 쓸 수 있나요?

🟡 리나: 좋은 질문이야. 이 절차를 양자화(quantization)라고 불러. 사실 이 다음에, 제 8 장에서 장에 대해, 제 14 장에서 끈에 대해, 같은 절차가 반복적으로 적용돼. 그때마다 새로운 세계가 열려.

🔵 카이: 같은 절차를 반복하는 것만으로, 대상이 "입자→장→끈"으로 확장되는 거군요. 그런데 왜 이 치환으로 잘 되는 건지는……아직 찜찜해요.

🟡 리나: 그 찜찜함은 옳아. "왜 잘 되는지"는, 실험과 부합하는 결과가 나오는 것으로 사후적으로 정당화되는 거야——양자역학의 공리적인 성격이지. 앞으로 나아가면 이 절차의 위력이 더 보일 테니, 지금은 "이런 규칙이다"라고 받아들이고 나아가자.

🔵 카이: "왜"는 보류하고, 우선 이 규칙이 어디까지 쓸 수 있는지 지켜보겠습니다. ……그런데 한 가지 궁금한 건, 이 치환은 \(E = p^2/(2m) + V\)라는 비상대론적인 식에서 출발하잖아요. 상대론적 에너지 관계 \(E^2 = p^2c^2 + m^2c^4\)에 같은 치환을 하면, 무슨 일이 일어나는 걸까요.

🟡 리나: 좋은 예감이네. 그 물음의 답은, 이 장의 마지막에서 확인하게 될 거야.

📖 중요한 관점: \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\)로 "고전 에너지 식을 연산자 방정식으로 승격시킨다"——이것이 양자역학의 기본 동작. 다음 절 이후로 반복해서 사용한다.

✅ 이해도 체크: 양자화란 어떤 절차일까요? 고전적인 에너지와 운동량에 대해, 각각 어떤 연산자로의 치환을 수행할까요?

답

양자화란, 고전적인 물리량(수치)을 연산자로 "승격"시키는 절차이다. 구체적으로는 \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\)로 치환한다. 이 치환을 고전적 에너지 관계 \(E = p^2/(2m) + V\)에 적용하면 Schrödinger 방정식이 얻어진다. 이 절차는 장의 양자론이나 끈이론에서도 반복적으로 적용된다.

7.3　핵심 요약: 연산자・교환관계・불확정성 원리

🟡 리나: 위치와 운동량을 연산자 \(\hat{x} = x\), \(\hat{p} = -i\hbar\,\partial/\partial x\)로 치환하면, 임의의 파동함수에 대해

\[ [\hat{x}, \hat{p}] = i\hbar \]

이 성립해(정준교환관계). 유도는 「양자역학」편 제 8 장 을 참조해.

🔵 카이: 연산자를 곱하는 순서가 결과에 영향을 준다는 뜻이죠.

🟡 리나: 그래. 여기서 불확정성 원리가 도출돼. 직관적으로 말하면, 두 연산자가 교환하지 않을 때, 각각의 측정값의 "퍼짐"을 동시에 0으로 만들 수 없어. 이것을 수학적으로 정식화한 것이 Robertson의 부등식이야. 식에 들어가기 전에 기호를 확인해 두자. \(\langle \cdots \rangle\)는 기댓값——어떤 상태를 여러 번 준비해서 같은 측정을 반복했을 때의 평균값을 나타내는 기호야. \(\Delta A\)는 물리량 \(A\)의 측정값의 퍼짐(표준편차)으로, \(\Delta A = \sqrt{\langle \hat{A}^2 \rangle - \langle \hat{A} \rangle^2}\)——즉 "측정값의 제곱의 평균"에서 "측정값의 평균의 제곱"을 빼고 제곱근을 취한 것이야. 고등학교 통계에서 분산을 \(\sigma^2 = \frac{1}{n}\sum(x_i - \bar{x})^2\)라고 배웠을 텐데, 이것을 전개하면 \(\overline{x^2} - \bar{x}^2\)("제곱의 평균 − 평균의 제곱")과 같은 형태가 돼——그것과 완전히 같은 구조야. 같은 상태를 여러 번 준비해서 \(A\)를 측정했을 때, 결과가 얼마나 흩어지는지를 나타내는 양이야. 이것들을 사용하면, Robertson의 부등식은

\[ \Delta A\, \Delta B \geq \frac{1}{2}\bigl|\langle [\hat{A}, \hat{B}] \rangle \bigr| \]

라고 쓸 수 있어. 우변의 \(\langle [\hat{A}, \hat{B}] \rangle\)는 "교환자의 기댓값(평균값)"——두 연산자가 얼마나 교환하지 않는지를, 그 상태에서 평균한 것이야.

🔵 카이: 즉, 퍼짐의 곱에 "교환하지 않는 정도"가 하한을 부여하는 거군요.

🟡 리나: 맞아. 증명 과정은 「양자역학」편 제 8 장 에 맡길게. 중요한 건 결론이야: 교환자가 0이 아닌 한, 양쪽의 퍼짐을 동시에 0으로 만들 수 없어. 특히 \(\hat{A} = \hat{x}\), \(\hat{B} = \hat{p}\)로 \([\hat{x}, \hat{p}] = i\hbar\)를 대입하면, 우변은 \(\frac{1}{2}|\langle i\hbar \rangle| = \frac{1}{2}\hbar\)(\(i\hbar\)는 상수이므로, 어떤 상태에서 기댓값을 취해도 \(i\hbar\) 그대로이고, 절댓값을 취하면 \(\hbar\))가 되어

\[ \Delta x \cdot \Delta p \geq \frac{\hbar}{2} \]

를 얻을 수 있어. 이것이 Heisenberg의 불확정성 원리——그림 7.3「불확정성 원리의 시각화」에 시각화했으니, 수식과 함께 봐줘.

불확정성 원리와 영점에너지

그림 7.3: 불확정성 원리의 시각화. 왼쪽: 위치 공간에서 파속이 좁으면(\(\Delta x\) 작음) 운동량 공간에서는 넓어진다(\(\Delta p\) 큼). 가운데: 역도 마찬가지. 오른쪽: \(\Delta x \cdot \Delta p = \hbar/2\)의 등호를 만족하는 것이 바닥상태(가우스 파속)이며, 이 곡선 아래 영역은 물리적으로 금지된다.

🟡 리나: 그리고 중요한 건, 이 부등식이 "측정 장치가 입자를 교란하기 때문"이라는 이야기가 아니라는 거야. 연산자가 교환하지 않는다는 수학적 구조 자체의 귀결이야.

⚪ 메이: 즉, 아무리 정밀한 측정 장치를 만들어도 피할 수 없다——장치의 문제가 아니라, 이론의 뼈대에 내장된 제약이라는 뜻이네.

🟡 리나: 맞아. 그리고 불확정성 원리는, Bohr가 임시로 놓았던 "전자가 원자핵에 떨어지지 않는다"는 사실의 근본적인 이유도 제공해. 전자를 반지름 \(r\) 정도의 영역에 가두면 \(\Delta x \sim r\)이니까, 불확정성 원리 \(\Delta x \cdot \Delta p \gtrsim \hbar\)에 의해 \(\Delta p \sim \hbar/r\)이 돼. 운동에너지의 추정값은 \(\langle T\rangle \sim (\Delta p)^2/(2m_e) \sim \hbar^2/(2m_er^2)\)가 되어, \(r\)을 작게 할수록 증가해. 한편 Coulomb 퍼텐셜은 \(-e^2/(4\pi\varepsilon_0 r)\)로, \(r \to 0\)에서의 증가가 \(1/r^2\)보다 느린 \(1/r\)이니까, 어떤 반지름에서 운동에너지의 증가가 이겨. 에너지 합계를 최소화하면 \(r_{\min} \sim a_0\)을 얻을 수 있어(「양자역학」편 8.9「응용: 불확정성 원리와 원자의 안정성」).

🔵 카이: 오, 가둘수록 요동이 커져서 빠져나가려 하니까, 끝까지 떨어질 수 없다——불확정성 원리가 벽이 되는 거군요.

✅ 이해도 체크: 불확정성 원리는 "측정 장치가 입자를 교란하기 때문에 정밀도에 한계가 있다"는 의미일까요? 그렇지 않다면, 그 본질은 무엇일까요?

답

측정 장치의 문제가 아니다. 불확정성 원리는 위치 연산자와 운동량 연산자가 교환하지 않는다(\([\hat{x}, \hat{p}] = i\hbar\))는 수학적 구조 자체의 귀결이다. 연산자의 비가환성으로부터 Robertson의 부등식을 거쳐 \(\Delta x \cdot \Delta p \geq \hbar/2\)가 도출되는 것으로, 어떤 측정 방법을 사용해도 피할 수 없는 원리적인 제약이다.

🔵 카이: Bohr의 "각운동량 양자화" 가설 없이 Bohr 반지름이 나오는 거군요. 그런데 불확정성 원리에서의 어림과 Schrödinger 방정식의 엄밀해에서, 같은 \(a_0\)가 딱 맞아떨어지는 건 왜인가요? 우연인가요?

🟡 리나: 우연이 아니야. 불확정성 원리의 어림은 "\(\Delta x \cdot \Delta p \sim \hbar\) 하에서 에너지를 최소화하는" 조작이고, Schrödinger 방정식의 엄밀해는 "해밀토니안의 최저 고유값을 구하는" 조작——둘 다 같은 물리(양자역학의 정준교환관계)에서 출발해서, 같은 최소 에너지 상태를 다른 경로로 찾고 있는 거야. 그래서 답이 일치하는 건 필연이야.

🟡 리나: 그리고 끈이론에 효과를 미치는 게 바로 이 관점이야: "교환관계가 양자 구조를 결정한다". 제 14 장에서 끈의 진동 모드에 \([\hat{a}, \hat{a}^\dagger] = 1\)과 동형의 교환관계를 부과해서 끈을 양자화해——다음 절에서 준비하는 도구가 거기서 직접 사용돼.

📖 끈이론으로의 포석: 정준교환관계라는 "단 한 줄의 식"이, 양자역학・장의 양자론・끈이론 모두의 뼈대이다. 다음 절에서 구체적 예로 조화진동자를 다룬다.

7.4　조화진동자와 승강연산자 — 끈이론으로의 최중요 준비

🟡 리나: 여기서부터가 이 장의 독자적 내용이야. 조화진동자의 대수적 풀이는 「양자역학」편 제 9 장 에서 자세히 다루고 있지만, 끈이론에서는 끈의 각 진동 모드가 독립적인 조화진동자로 행동하기 때문에, 승강연산자의 구조를 손에 쥐고 있어야 해. 유도 단계를 하나씩 따라가면서, 끈이론으로의 복선까지 파고들어 볼게.

해밀토니안의 변환

🟡 리나: 조화진동자의 해밀토니안——계의 전체 에너지(운동에너지 + 퍼텐셜에너지)를 위치와 운동량으로 표현한 것——를 양자화하면

\[ \hat{H} = \frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2 \hat{x}^2 \]

이 돼. 제1항 \(\hat{p}^2/(2m)\)이 운동에너지, 제2항 \(m\omega^2\hat{x}^2/2\)이 용수철의 퍼텐셜에너지에 대응해. 이것은 \(\hat{x}^2\)와 \(\hat{p}^2\)의 합——즉 "제곱의 합" 형태를 하고 있지.

🔵 카이: 제곱의 합……보통 숫자라면 \(a^2 + b^2 = (a+ib)(a-ib)\)로 인수분해할 수 있잖아요. 연산자에서도 같은 걸 할 수 있나요? 하지만 연산자는 순서가 중요하니까, 단순하게는 안 될 것 같은데……

🟡 리나: 좋은 착안이야. 바로 그 "순서가 중요하다"는 점이 핵심이 되는 거야. 연산자에서도 같은 발상을 시도해 봐. \(\hat{x}\)와 \(\hat{p}\)를 적절히 조합해서 "\(\hat{x} + (\text{뭔가})\hat{p}\)"와 "\(\hat{x} - (\text{뭔가})\hat{p}\)"의 곱으로 만들 수 없을까——이것이 승강연산자의 동기야. 차원과 계수를 맞추면

\[ \hat{a} = \sqrt{\frac{m\omega}{2\hbar}}\left(\hat{x} + \frac{i}{m\omega}\hat{p}\right), \qquad \hat{a}^\dagger = \sqrt{\frac{m\omega}{2\hbar}}\left(\hat{x} - \frac{i}{m\omega}\hat{p}\right) \]

이라는 형태가 돼. \(\dagger\)(대거)는 "에르미트 켤레"라 불리는 조작을 나타내는 기호인데, 지금 맥락에서는 단순히 \(i\)를 \(-i\)로 바꾸는 조작이라고 생각하면 돼. 왜 그것만으로 되냐면, \(\hat{x}\)와 \(\hat{p}\)는 측정하면 실수값이 나오는 연산자(실수적인 연산자)라서 \(\dagger\)를 붙여도 변하지 않고, 앞의 계수 \(\sqrt{m\omega/(2\hbar)}\)도 실수라서 변하지 않아——결국 \(i\)만 \(-i\)로 바뀌는 거야. 에르미트 켤레의 일반적인 의미는 「양자역학」편(「양자역학」편 제 8 장 이후)에서 다루니까, 지금은 "\(\hat{a}\)와 \(\hat{a}^\dagger\)는 \(i\)의 부호만 반대인 쌍"이라고만 기억해. 단, 연산자는 교환하지 않으니까, \(\hat{a}^\dagger\hat{a}\)와 \(\hat{a}\hat{a}^\dagger\)는 같지 않아——그 "어긋남"을 계산해 보자.

⚪ 메이: "\(i\)의 부호를 반전시킨 쌍"을 만들어서, 그것들의 곱으로 해밀토니안을 표현하는——보통 인수분해의 연산자 버전이라는 거네.

🟡 리나: 맞아. 정의에서 \(\hat{a}\hat{a}^\dagger - \hat{a}^\dagger\hat{a}\)를 전개하면, \(\hat{x}\hat{p} - \hat{p}\hat{x} = i\hbar\) 항만 남아서

\[ [\hat{a}, \hat{a}^\dagger] = \frac{m\omega}{2\hbar}\left[\hat{x} + \frac{i}{m\omega}\hat{p},\; \hat{x} - \frac{i}{m\omega}\hat{p}\right] \]

를 얻을 수 있어. 여기서 교환자에는 분배법칙 \([A + B,\, C] = [A, C] + [B, C]\) 및 \([A,\, B + C] = [A, B] + [A, C]\)가 성립해(연산자 곱의 정의에서 직접 확인 가능). 이것을 사용해서 4개 항으로 전개하면

\[ = \frac{m\omega}{2\hbar}\left([\hat{x}, \hat{x}] + [\hat{x}, \tfrac{-i}{m\omega}\hat{p}] + [\tfrac{i}{m\omega}\hat{p}, \hat{x}] + [\tfrac{i}{m\omega}\hat{p}, \tfrac{-i}{m\omega}\hat{p}]\right) \]

이 돼. \([\hat{x}, \hat{x}] = 0\), \([\hat{p}, \hat{p}] = 0\) 항은 사라지고, \([\hat{x}, \hat{p}] = i\hbar\)를 포함하는 2개 항만 남아. 여기서 "상수는 교환자 밖으로 뺄 수 있다"는 성질——\([A,\, cB] = c[A, B]\)(\(c\)가 수일 때)——을 사용하면

\[ = \frac{m\omega}{2\hbar}\left(\frac{-i}{m\omega}[\hat{x}, \hat{p}] + \frac{i}{m\omega}[\hat{p}, \hat{x}]\right) \]

여기서 \([\hat{p}, \hat{x}] = -[\hat{x}, \hat{p}] = -i\hbar\)이므로, 제1항은 \(\frac{-i}{m\omega}\cdot [\hat{x}, \hat{p}] = \frac{-i}{m\omega}\cdot i\hbar = \frac{\hbar}{m\omega}\), 제2항은 \(\frac{i}{m\omega}\cdot [\hat{p}, \hat{x}] = \frac{i}{m\omega}\cdot(-i\hbar) = \frac{\hbar}{m\omega}\)이 되어, 합치면

\[ = \frac{m\omega}{2\hbar}\cdot\frac{2\hbar}{m\omega} = 1 \]

즉 \([\hat{a}, \hat{a}^\dagger] = 1\)이 증명됐어.

🔵 카이: 와, 그렇게 복잡한 계산을 거쳐서, 마지막에 \(= 1\)로 깔끔하게 떨어지다니요!

🟡 리나: 그래, 이것이 승강연산자를 정의한 최대의 보상이야. 수연산자 \(\hat{N} \equiv \hat{a}^\dagger\hat{a}\)를 사용하면 해밀토니안은

\[ \hat{H} = \hbar\omega\left(\hat{N} + \frac{1}{2}\right) \]

로, 수연산자의 고유값 문제만으로 압축돼. "수연산자"라는 이름의 이유는 곧 알게 될 거야——이 연산자의 고유값이 정확히 \(n = 0, 1, 2, \ldots\)라는 "개수"가 되거든. \(1/2\)의 어긋남이, 바로 연산자가 교환하지 않는 것의 흔적——영점에너지의 기원이야.

✅ 이해도 체크: 승강연산자 \(\hat{a}, \hat{a}^\dagger\)를 도입함으로써, 조화진동자의 해밀토니안은 어떤 간결한 형태로 쓸 수 있을까요? 이 변환의 장점은 무엇일까요?

답

\(\hat{H} = \hbar\omega(\hat{N} + 1/2)\)(\(\hat{N} = \hat{a}^\dagger\hat{a}\)는 수연산자)로 쓸 수 있다. 장점은, \(\hat{x}\)와 \(\hat{p}\)의 2차 형식이었던 해밀토니안이 수연산자 \(\hat{N}\)이라는 하나의 연산자의 고유값 문제로 집약되는 것이다. \(\hat{N}\)의 고유값 \(n\)만 알면 에너지가 즉시 \(E_n = \hbar\omega(n + 1/2)\)로 결정된다.

⚪ 메이: \(\hat{H}\)가 \(\hat{x}\)와 \(\hat{p}\)의 2차 형식이었던 것이, \(\hat{N}\)이라는 하나의 연산자만으로 쓸 수 있는 형태로 접힌 거네.

🟡 리나: 그래. 여기가 아름다움의 포인트야. \(\hat{N}\)의 고유값 \(n\)만 알면 에너지가 결정돼——이 "고유값 문제를 하나의 연산자로 집약하는" 아이디어가, 제 14 장에서 끈을 양자화할 때 위력을 발휘해.

에너지 준위의 사다리

🟡 리나: \(\hat{H} = \hbar\omega(\hat{a}^\dagger\hat{a} + 1/2)\)와 \([\hat{a}, \hat{a}^\dagger] = 1\)로부터, \(\hat{H}\)와 \(\hat{a}^\dagger\)의 교환관계를 계산해 보면——\([\hat{a}^\dagger\hat{a},\, \hat{a}^\dagger] = \hat{a}^\dagger\hat{a}\hat{a}^\dagger - \hat{a}^\dagger\hat{a}^\dagger\hat{a}\)에서, 제1항의 \(\hat{a}\hat{a}^\dagger\)를 교환관계 \(\hat{a}\hat{a}^\dagger = \hat{a}^\dagger\hat{a} + 1\)로 치환하면 \(\hat{a}^\dagger(\hat{a}^\dagger\hat{a} + 1) - \hat{a}^\dagger\hat{a}^\dagger\hat{a} = \hat{a}^\dagger\hat{a}^\dagger\hat{a} + \hat{a}^\dagger - \hat{a}^\dagger\hat{a}^\dagger\hat{a} = \hat{a}^\dagger\)이므로

\[ [\hat{H}, \hat{a}^\dagger] = +\hbar\omega\,\hat{a}^\dagger, \qquad [\hat{H}, \hat{a}] = -\hbar\omega\,\hat{a} \]

를 얻을 수 있어.

⚪ 메이: 교환관계 하나로 "\(\hat{a}^\dagger\)가 에너지를 \(\hbar\omega\)만큼 올린다" "\(\hat{a}\)가 내린다"는 구조가 나오는 거네.

🟡 리나: 이것이 무엇을 의미하는지 살펴보자. 여기서 \(|n\rangle\)이라는 기호를 쓸게——이것은 "에너지 양자수가 \(n\)인 상태"를 나타내는 표기법(켓 표기법이라 불려)으로, 파동함수 \(\psi_n(x)\)와 같은 상태를 가리키고 있어. \(\psi_n(x)\)라고 쓰면 위치 \(x\)의 함수로서 구체적인 형태가 신경 쓰이지만, 지금 하고 싶은 것은 "\(\hat{a}^\dagger\)를 곱하면 에너지가 1단 올라간다"는 연산자의 대수뿐——위치 \(x\)에서의 구체적인 값은 사용하지 않아. 그래서 "상태 \(n\)"이라고만 지정하는 \(|n\rangle\) 쪽이 깔끔해. \(\hat{H}|n\rangle = E_n|n\rangle\)일 때, \(\hat{a}^\dagger|n\rangle\)에 \(\hat{H}\)를 작용시키면——여기서 교환자의 정의 \([\hat{H}, \hat{a}^\dagger] = \hat{H}\hat{a}^\dagger - \hat{a}^\dagger\hat{H}\)를 이항하면 \(\hat{H}\hat{a}^\dagger = \hat{a}^\dagger\hat{H} + \hbar\omega\,\hat{a}^\dagger\)이므로

\[ \hat{H}(\hat{a}^\dagger|n\rangle) = (\hat{a}^\dagger\hat{H} + \hbar\omega\,\hat{a}^\dagger)|n\rangle = \hat{a}^\dagger E_n|n\rangle + \hbar\omega\,\hat{a}^\dagger|n\rangle = (E_n + \hbar\omega)(\hat{a}^\dagger|n\rangle) \]

즉 \(\hat{a}^\dagger|n\rangle\)은 에너지 \(E_n + \hbar\omega\)의 고유상태가 돼 있어. 마찬가지로 \(\hat{a}|n\rangle\)은 에너지 \(E_n - \hbar\omega\)의 고유상태야.

🔵 카이: \(\hat{a}^\dagger\)가 "1단 올리기"이고 \(\hat{a}\)가 "1단 내리기"……그런데 계속 내리면 어떻게 되나요? 에너지가 마이너스가 되거나 하지 않나요?

🟡 리나: 좋은 의문이야. 조화진동자에서는 운동에너지도 퍼텐셜도 0 이상이니까 \(\hat{H}\)의 고유값은 반드시 0 이상——\(\hat{a}\)로 계속 내리면 언젠가 "이 이상 내릴 수 없는 상태"에 도달해. 그것이 \(\hat{a}|0\rangle = 0\)(우변은 영벡터, 즉 "더 이상 상태가 없다"는 의미)을 만족하는 바닥상태야. 이 상태의 에너지는

\[ E_0 = \frac{1}{2}\hbar\omega \]

\(|0\rangle\)에 \(\hat{a}^\dagger\)를 \(n\)번 작용시켜 얻는 것이 제 \(n\) 들뜬상태이고, 에너지는 등간격으로 나열돼:

\[ E_n = \hbar\omega\left(n + \frac{1}{2}\right), \qquad n = 0, 1, 2, \ldots \]

이 등간격 사다리 구조를 그림 7.4「조화진동자의 에너지 준위와 승강연산자」에 그렸어. 그림을 보면, 가장 아래 \(n = 0\)에서도 에너지가 0이 아니라 \(\hbar\omega/2\)만큼 남아 있어——이것이 영점에너지야. 다음에서 자세히 보자.

조화진동자의 에너지 준위와 승강연산자

그림 7.4: 조화진동자의 에너지 준위와 승강연산자. 등간격의 에너지 준위 \(E_n = \hbar\omega(n + 1/2)\)를 "사다리"로 그린다. \(\hat{a}^\dagger\)가 1단 올리고, \(\hat{a}\)가 1단 내린다. 바닥상태 \(|0\rangle\)에서도 \(\hbar\omega/2\)라는 영점에너지가 남는다.

⚪ 메이: 양자수 \(n\)이 "에너지 준위의 번호"인 동시에 "\(\hat{a}^\dagger\)를 몇 번 작용시켰는지"의 횟수이기도 하네. \(\hat{a}^\dagger\)로 1단 올리고, \(\hat{a}\)로 1단 내리고——이 사다리 구조가 정리하기 정말 편해.

🔵 카이: "1단 올리기" "1단 내리기"라니, 뭔가를 1개 더하거나 빼는 것 같은데요. 만약 \(n\)이 "뭔가의 개수"라면, \(\hat{a}^\dagger\)는 "1개 늘리기" 조작처럼 보이는데……무엇의 개수인 거죠?

🟡 리나: 좋은 직감이야. 사실 다음 장(장의 양자론)에서, \(\hat{a}^\dagger\)와 \(\hat{a}\)는 바로 입자를 1개 "생성"하고 "소멸"시키는 연산자로 재해석돼. \(n\)이 "양자의 개수"를 나타내게 돼——이 입자 그림이 장의 양자론의 출발점이야.

⚪ 메이: 그렇구나——지금은 \(n\)이 "에너지 준위의 번호"이지만, 다음 장에서는 그것이 "입자의 개수"로 읽히게 되는 거네. \(\hat{a}^\dagger\)로 1단 올리는 조작이 "입자를 1개 생성하는" 것에 대응한다, 고.

🔵 카이: "입자의 개수"라는 건, 입자가 늘어나거나 줄어드는 상황을 다룰 수 있다는 뜻인가요? 입자 1개를 쫓아가는 Schrödinger 방정식과는 완전히 다른 세계네요……. 그런데 잠깐요, 입자가 "태어난다"면, 에너지 보존법칙은 어떻게 되나요? 무에서는 만들 수 없잖아요?

🟡 리나: 좋은 의문이야. 에너지 보존법칙은 깨지지 않아——입자를 만들려면 그에 걸맞은 에너지가 필요해. \(E = mc^2\)이 바로 그 "걸맞은 양"을 알려줘. 예를 들어 질량 \(m\)인 입자와 반입자 쌍을 만들려면, 최소한 \(2mc^2\)의 에너지를 외부에서 공급해야 해. 에너지는 보존된 채로, 그 일부가 질량으로 "변환"되는 거야. 이 이야기는 마지막 섹션에서, 왜 입자수가 변하는 틀이 필요한지와 함께 확인할 거야.

영점에너지 \(\hbar\omega/2\)의 의미

🟡 리나: 바닥상태에서조차 \(E_0 = \hbar\omega/2 \neq 0\)인 것은, \(\Delta x = 0\), \(\Delta p = 0\)인 상태가 불확정성 원리에 의해 금지되기 때문이야. 실제로 바닥상태에서는

\[ \Delta x = \sqrt{\frac{\hbar}{2m\omega}}, \qquad \Delta p = \sqrt{\frac{m\omega\hbar}{2}}, \qquad \Delta x \cdot \Delta p = \frac{\hbar}{2} \]

로 등호가 성립하는 최소 불확정 상태(가우스 파속)가 돼.

🔵 카이: "완전히 정지할 수 없다"는 것이 영점에너지의 정체군요.

🟡 리나: 맞아. 게다가 이것은 수학적 인공물이 아니라, 헬륨의 상압 비고체화, Casimir 효과, 분자진동 스펙트럼 등 실험으로 확인된 실재하는 현상이야(자세한 내용은 「양자역학」편 제 9 장).

✅ 이해도 체크: 조화진동자의 바닥상태 에너지가 \(E_0 = \hbar\omega/2 \neq 0\)(영점에너지)이 되는 물리적 이유는 무엇인가?

답

불확정성 원리에 의해, 위치와 운동량을 동시에 0으로 만드는 것(\(\Delta x = 0\)이면서 \(\Delta p = 0\))이 금지되기 때문이다. 입자는 완전히 정지할 수 없으며, 바닥상태에서도 최소한의 운동에너지와 퍼텐셜에너지를 갖는다. 바닥상태는 \(\Delta x \cdot \Delta p = \hbar/2\)의 등호가 성립하는 최소 불확정 상태(가우스 파속)가 되어 있다.

끈이론으로의 복선

🟡 리나: 여기서부터 끈이론에 직결되는 이야기야. 제 14 장에서 자세히 다루겠지만, 예고만 해 둘게. 끈은 1차원의 "끈"이니까, 그 위치를 기술하려면 두 개의 매개변수가 필요해——시간의 흐름을 나타내는 \(\tau\)와, 끈을 따른 위치를 나타내는 \(\sigma\)(기타 줄로 말하면, 왼쪽 끝에서 오른쪽 끝까지 어딘가를 지정하는 좌표). 끈의 각 점의 시공간 좌표를 \(X^\mu(\tau, \sigma)\)라고 써. \(\mu\)는 시공간 방향의 라벨(\(\mu = 0\)이 시간, \(\mu = 1, 2, \ldots\)가 공간). 이것을 Fourier 전개(주기적인 진동을, 기본진동・2배진동・3배진동……의 겹침으로 표현하는 방법)하면

\[ X^\mu(\tau, \sigma) = \underbrace{x_0^\mu + 2\alpha' p_0^\mu\tau}_{\text{무게중심의 운동}} + \underbrace{i\sqrt{\frac{\alpha'}{2}}\sum_{n \neq 0}\frac{1}{n}\bigl(\alpha_n^\mu\, e^{-in(\tau - \sigma)} + \tilde{\alpha}_n^\mu\, e^{-in(\tau + \sigma)}\bigr)}_{\text{끈 위의 진동}} \]

의 형태가 돼(여기서 \(\sigma \in [0, 2\pi]\)의 규약을 채택). 기호가 많지만, 겁먹지 않아도 돼——먼저 전체 그림만 잡자. 식은 크게 2부분으로 나뉘어 있고, 위의 중괄호로 표시한 대로, 전반이 "끈 전체가 어디에 있고 어떻게 움직이는지(무게중심의 운동)", 후반이 "끈 위의 진동"이야. 진동 부분에서 \(\alpha_n^\mu\)는 끈 위를 오른쪽으로 진행하는 파의 진폭, \(\tilde{\alpha}_n^\mu\)(틸다 포함)는 왼쪽으로 진행하는 파의 진폭——두 종류의 파가 독립적으로 존재해. 지금은 "끈의 진동이 \(\alpha_n^\mu\)(오른쪽 진행)와 \(\tilde{\alpha}_n^\mu\)(왼쪽 진행)라는 Fourier 계수의 모음으로 기술된다"는 구조만 기억해 두면 충분해. \(\sum_{n \neq 0}\)에 음의 \(n\)이 포함되는 이유나, \(\alpha_{-n}^\mu = (\alpha_n^\mu)^*\)라는 실수 조건의 상세는 제 14 장에서 다룰게.

🔵 카이: 식이 크지만, "무게중심 + 진동"의 2부분으로 나뉘는 건 알겠어요. 각 기호를 좀 더 자세히 설명해 주실 수 있나요?

🟡 리나: 물론이지. 먼저 \(x_0^\mu\)는 끈의 무게중심 위치, \(p_0^\mu\)는 무게중심의 운동량——끈 전체가 공간의 어디에 있고, 어느 쪽으로 움직이는지를 나타내는 부분이야. \(2\alpha' p_0^\mu\tau\)의 \(2\alpha'\)는 "운동량을 속도로 변환하는 계수"——입자역학의 \(x = x_0 + (p/m)t\)에서 \(1/m\)에 해당하는 부분이, 끈에서는 \(2\alpha'\)로 바뀌는 거야(끈의 질량 대신 장력이 들어가니까). \(\alpha'\)(알파 프라임)는 끈의 장력 \(T\)(제 6 장에서 도입한 양)를 사용해서 \(\alpha' = 1/(2\pi T)\)로 정의되는 새로운 매개변수로, 끈이 팽팽하게 당겨져 있을수록 \(\alpha'\)는 작아져. \(\sqrt{\alpha'}\)가 끈의 길이 스케일 \(\ell_s\)(끈의 전형적인 크기)에 대응하니까, \(\alpha'\)는 "끈이 얼마나 큰지"를 결정하는 상수이기도 해. 지금은 "끈의 경도=크기를 나타내는 상수"라고만 생각해 두면 충분해.

🔵 카이: 그러니까 \(x_0\)와 \(p_0\)는 무게중심의 위치와 운동량, \(\alpha'\)는 끈의 경도. 그러면 \(\tau\)와 \(\sigma\)는요?

🟡 리나: 기타 줄을 떠올려 봐——\(\tau\)는 시간의 흐름(끈이 시간에 따라 쓸어내는 2차원 면——세계면이라 불리는——위의 시간 좌표), \(\sigma\)는 끈을 따른 위치(끈의 왼쪽 끝에서 오른쪽 끝까지를 나타내는 좌표)야. 무게중심의 운동(\(x_0^\mu + p_0^\mu\tau\) 부분)에 더해서, 끈 위에서 일어나는 진동을 파의 겹침(Fourier 급수)으로 표현하고 있어. \(n = 1\)이 기본진동, \(n = 2\)가 2배진동, ……하는 식으로. \(e^{-in(\tau - \sigma)}\)는 끈 위를 오른쪽으로 진행하는 파, \(e^{-in(\tau + \sigma)}\)는 왼쪽으로 진행하는 파에 대응해. 고등학교 물리에서 \(\sin(\omega t - kx)\)가 오른쪽 진행파였던 걸 떠올려——\(t\)와 \(x\)가 반대 부호로 조합되면, 시간이 흐름에 따라 \(x\)의 양의 방향으로 파형이 이동하잖아. 같은 이치로 \(\tau - \sigma\) 조합은 \(\sigma\)의 양의 방향(오른쪽)으로 진행하는 파를 나타내는 거야(\(e^{i\theta} = \cos\theta + i\sin\theta\)라는 Euler 공식으로, 복소지수함수는 \(\cos\)과 \(\sin\)의 조합이니까, 진동・파를 표현하는 편리한 표기법이야). 기타 줄에서도 진동은 양방향으로 전파되잖아? 즉, 식의 전반 \(x_0^\mu + p_0^\mu\tau\)가 "끈 전체의 병진 운동", 후반의 \(\sum\)이 "끈 위의 진동"이고, 진동은 오른쪽 진행파 \(\alpha_n^\mu\)와 왼쪽 진행파 \(\tilde{\alpha}_n^\mu\)로 나뉘어 있다——는 구조야.

⚪ 메이: 그렇구나, 무게중심의 운동과 진동이 깔끔하게 분리되어 있고, 진동 부분은 다시 오른쪽 진행과 왼쪽 진행으로 독립——아주 정리된 구조네.

🟡 리나: 맞아. 그리고 여기서부터가 중요한 포인트——이것은 아직 고전적인 Fourier 계수 이야기인데, 아까 배운 "연산자로 승격시키는" 절차를 여기에 적용하면, 이 독립성은 어떻게 될까? 사실 "고전 수준에서 독립"이라는 구조가, 양자화한 후에도 유지돼. 여기까지의 \(\alpha_n^\mu\)(오른쪽 진행파의 진폭)와 \(\tilde{\alpha}_n^\mu\)(왼쪽 진행파의 진폭)는 고전적인 Fourier 계수——단순한 수치야. 여기에, 앞 섹션에서 배운 양자화 절차(\(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\)와 같은 정신으로, 고전량을 연산자로 승격시키는 조작)를 적용하면, \(\alpha_n^\mu\)들은 연산자로 "승격"하고, 방금 배운 \(\hat{a}, \hat{a}^\dagger\)와 본질적으로 같은 구조의 교환관계

\[ [\alpha_m^\mu, \alpha_n^{\nu\dagger}] = m\,\delta_{mn}\,\eta^{\mu\nu} \qquad (m, n > 0) \]

를 만족해(\(m, n > 0\)인 양의 정수). 우변의 \(m\)은 질량이 아니라, 좌변의 첨자 \(m\)과 같은 모드 번호야.

🔵 카이: 우변에 모드 번호 \(m\)이 그대로 나오는군요. 조화진동자의 \([\hat{a}, \hat{a}^\dagger] = 1\)과는 좀 다른데……

🟡 리나: 좋은 관찰이야. 구체적으로 확인해 보자: \(m = n = 3\)이면 우변은 \(3\,\eta^{\mu\nu}\), \(m = 2,\, n = 5\)이면 \(\delta_{25} = 0\)이니까 우변은 0. 즉 \(\delta_{mn}\) 덕분에 \(m \neq n\)인 모드끼리는 교환관계가 0(서로 독립), \(m = n\)일 때만 우변이 \(m\,\eta^{\mu\nu}\)가 돼. 이 여분의 \(m\)은 Fourier 전개 식에서 각 모드의 계수에 \(1/n\) 인자가 곱해져 있는 것의 반영——즉 \(\alpha_n^\mu\)는 "정규화되지 않은" 날것의 Fourier 계수인 거야. 바로 뒤에서 \(\hat{a}_n^\mu \equiv \alpha_n^\mu/\sqrt{n}\)으로 재정의하면 \(m\)이 사라져서, 조화진동자와 같은 형태로 돌아가. 여기서 \(\alpha_n^{\mu\dagger} \equiv \alpha_{-n}^\mu\)로 정의하고 있어——즉 양의 \(n\)의 연산자 \(\alpha_n^\mu\)가 "소멸" 쪽, 음의 \(-n\)에 대응하는 \(\alpha_{-n}^\mu = \alpha_n^{\mu\dagger}\)가 "생성" 쪽이야). 여기서 \(\alpha_n^{\mu\dagger}\)는 \(\alpha_n^\mu\)의 에르미트 켤레——Fourier 전개 식에서 \(n > 0\)의 계수 \(\alpha_n^\mu\)가 "파를 1단 내리는(소멸시키는)" 연산자라면, \(\alpha_n^{\mu\dagger}\)는 그 쌍으로 "1단 들뜨게 하는(생성하는)" 쪽에 대응해(조화진동자의 \(\hat{a}\)와 \(\hat{a}^\dagger\)의 관계와 같아). 여기서 \(\hat{a}_n^\mu \equiv \alpha_n^\mu/\sqrt{n}\)(\(n > 0\))으로 재정의하면, 교환관계는

\[ [\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\,\eta^{\mu\nu} \]

이 돼. 확인해 보자: \(\alpha_m^\mu = \sqrt{m}\,\hat{a}_m^\mu\)를 원래 교환관계에 대입하면 \(\sqrt{m}\cdot\sqrt{n}\,[\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = m\,\delta_{mn}\,\eta^{\mu\nu}\)가 돼. 양변을 \(\sqrt{m}\cdot\sqrt{n}\)으로 나누면 \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \frac{m}{\sqrt{mn}}\,\delta_{mn}\,\eta^{\mu\nu}\)인데, 우변에는 \(\delta_{mn}\)이 곱해져 있으니까 \(m \neq n\)일 때는 우변 전체가 0——즉 \(m = n\)인 경우만 생각하면 돼. \(m = n\)일 때 \(\sqrt{mn} = \sqrt{m \cdot m} = m\)이 되어 \(\frac{m}{\sqrt{mn}} = \frac{m}{m} = 1\). 따라서 \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\,\eta^{\mu\nu}\)를 얻을 수 있어——즉 모드 번호의 계수가 깔끔하게 사라지는 거야.

⚪ 메이: 재정의 하나로 여분의 \(m\)이 사라지고, 조화진동자와 완전히 같은 형태로 귀착되는 거네. 기분 좋다.

🟡 리나: 같은 공간 방향끼리(\(\mu = \nu = i\))에서는 \(\eta^{ii} = +1\)이니까, 조화진동자의 \([\hat{a}, \hat{a}^\dagger] = 1\)과 동형——즉 각 모드가 독립적인 조화진동자로 행동한다는 것을 확인할 수 있어. 여기서 \(\delta_{mn}\)은 Kronecker 델타(\(m = n\)일 때 1, \(m \neq n\)일 때 0), \(\eta^{\mu\nu}\)는 제 5 장에서 나왔던 Minkowski 계량(\(\eta^{\mu\nu} = \mathrm{diag}(-1, +1, +1, +1)\))이야. 공간 성분끼리(\(\mu = \nu = i\))에서는 \(\eta^{ii} = +1\)이 되어, 조화진동자의 \([\hat{a}, \hat{a}^\dagger] = 1\)과 같은 양의 부호가 나와. 반면 시간 성분에서는 \(\eta^{00} = -1\)이 되어 부호가 반전돼——이 "음의 노름 상태" 문제는 제 14 장에서 다뤄.

🔵 카이: 각 모드가 독립적인 조화진동자가 된다는 건, \(\hat{a}, \hat{a}^\dagger\) 쌍이 모드 수만큼 나온다는 뜻인가요?

🟡 리나: 맞아. 즉 끈의 양자화 = 무한 개의 조화진동자를 동시에 양자화하는 것이야. 모드 번호 \(n = 1, 2, 3, \ldots\)과 시공간 방향 \(\mu\)마다, 하나씩 "\(\hat{a}, \hat{a}^\dagger\) 쌍"이 생겨나. 기타 줄의 진동을 떠올려——그림 7.5「끈의 진동 모드와 Fourier 전개」에 기본진동에서 고차 진동 모드까지 그렸으니, 이미지를 잡아 봐.

끈의 진동 모드와 Fourier 전개

그림 7.5: 끈의 진동 모드와 Fourier 전개. 상단: 기본진동 \((n=1)\), 2배진동 \((n=2)\), 3배진동 \((n=3)\). 하단 왼쪽: 일반적인 끈의 형태는 이것들의 겹침. 하단 가운데: 닫힌 끈의 진동(오른쪽 진행파 \(\alpha_n\) + 왼쪽 진행파 \(\tilde{\alpha}_n\)). 하단 오른쪽: 각 모드의 양자화가 조화진동자 \([\hat{a}, \hat{a}^\dagger] = 1\)과 동형이 되는 것의 요약.

✅ 이해도 체크: 끈의 양자화와 조화진동자의 관계를 한 마디로 설명해 주세요. 왜 본 장에서 1개의 조화진동자를 정성들여 배울 필요가 있을까요?

답

끈의 양자화란 "무한 개의 조화진동자를 동시에 양자화하는 것"에 해당한다. 끈의 위치를 Fourier 전개하면 각 진동 모드의 계수가 독립적인 조화진동자로 행동하며, 각각이 \([\hat{a}, \hat{a}^\dagger] = 1\)과 동형의 교환관계를 만족한다. 따라서 1개의 조화진동자의 승강연산자 구조를 이해해 두면, 끈이론에서 그것이 모드 수만큼 반복적으로 사용된다.

⚪ 메이: 그래서 지금 하고 있는 1개의 조화진동자 구조가, 끈이론에서 그대로 반복 사용되는 거구나.

🟡 리나: 맞아. 그리고 끈의 영점에너지는 각 모드의 \(\hbar\omega_n/2\)를 모두 더한 것

\[ E_{\text{zero}} = \frac{1}{2}\sum_{n = 1}^{\infty}\hbar\omega_n \]

이라는 합이 돼. 끈의 경우, 기타 줄과 마찬가지로 진동수가 기본진동의 정수배 \(\omega_n = n\,\omega_1\)이 되니까, 이것은

\[ E_{\text{zero}} = \frac{\hbar\omega_1}{2}\sum_{n = 1}^{\infty} n \]

이라는 발산하는 합이 돼.

🔵 카이: 무한대가 나오면 물리적으로 의미가 없는 거 아닌가요……?

🟡 리나: 당연한 의문이야. 사실 \(1 + 2 + 3 + \cdots\)를 그대로 더하면 발산하지만, 제타함수 정칙화라는 수학적 처방을 사용하면, 이 합에 \(-1/12\)이라는 유한한 값을 정합적으로 대응시킬 수 있어. "제타함수"란 수학자 Riemann이 연구한 함수 \(\zeta(s) = \sum_{n=1}^\infty 1/n^s\)(\(s > 1\)에서 수렴하는 무한급수)로, \(s = -1\)에 형식적으로 "연장"하면 \(\sum n = \zeta(-1) = -1/12\)이라는 값이 얻어져——이것이 이름의 유래야.

🔵 카이: \(1 + 2 + 3 + \cdots = -1/12\)……!? 그걸 정말 믿어도 되나요?

🟡 리나: 직감에 반하긴 하지. 하지만 "발산하는 합을 유한값으로 바꾼다"고 하면 마술 같지만, 이 처방으로 얻어지는 결과가 실험이나 이론의 내부 정합성과 모순되지 않아——그래서 물리적으로 의미 있는 절차로 신뢰받고 있어. 자세한 구조는 제 14 장에서 다루니까, 지금은 "영점에너지의 무한합을 제어하는 방법이 있다"는 것만 기억해 둬. 그리고 이 처방이 정합적으로 작동함으로써, 임계 차원 \(D = 26\)(보손 끈)이라는 놀라운 결과가 결정돼. 본 장에서 배운 영점에너지가, 끈이론의 가장 깊은 결과 중 하나에 직결되는 거야. @exercise: 영점에너지의 발산합과 임계 차원 \(D = 26\) → 문제 A-2. 영점 에너지의 발산 급수와 임계 차원 D = 26

🟡 리나: 그리고 각 모드 \(n\)의 들뜸수를 \(N_n\)이라 쓰면, 끈 전체의 상태는 "각 모드가 몇 번째 단까지 들떠 있는지"의 목록 \(\{N_1, N_2, N_3, \ldots\}\)으로 완전히 지정할 수 있어. \(N_n\)을 "모드 \(n\)에 들어 있는 양자의 개수"로 읽는 관점을 점유수 그림이라 불러——각 모드에 양자가 몇 개 들어 있는지로 상태를 지정하는 거야. 이 점유수 그림이 다음 장(장의 양자론)과 끈이론 양쪽에서 진가를 발휘해.

⚪ 메이: 그렇구나, 각 모드가 독립이니까, 모드별 양자수 \(N_n\)을 나열하는 것만으로 끈 전체의 상태가 정해져——정리하기 정말 좋은 구조네.

표 7.2: 양자화의 대상과 "조화진동자 구조"의 재등장

대상 교환관계 양자수의 의미 장
1차원 조화진동자 \([\hat{a}, \hat{a}^\dagger] = 1\) \(n\) = 에너지 준위 본 장
자유 스칼라장 \([\hat{a}_{\vec{k}}, \hat{a}_{\vec{k}'}^\dagger] = \delta(\vec{k}-\vec{k}')\) \(n_{\vec{k}}\) = 운동량 \(\vec{k}\)의 입자수 제 8 장
끈의 진동 모드 \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\eta^{\mu\nu}\) \(N_n\) = 모드 \(n\)의 들뜸수 제 14 장

본 장에서 반복해서 나오는 승강연산자 패턴

  1. 정준교환관계 \([\hat{x}, \hat{p}] = i\hbar\)에서 \([\hat{a}, \hat{a}^\dagger] = 1\)을 유도한다
  2. 해밀토니안이 \(\hat{H} = \hbar\omega(\hat{a}^\dagger\hat{a} + 1/2)\)로 압축된다
  3. \(\hat{a}^\dagger\)와 \(\hat{a}\)로 에너지를 1단씩 올리고 내린다
  4. 최저 에너지 상태의 존재로부터 \(n = 0, 1, 2, \ldots\)의 양자수가 자연스럽게 나온다
  5. 바닥상태의 영점에너지는 불확정성 원리의 직접적 귀결이다

이 패턴은, 제 8 장(장의 양자화), 제 14 장(끈의 양자화), 제 17 장(초끈의 페르미온적 확장)에서 형태를 바꿔가며 여러 번 반복된다. 여기서 확실히 다져 두고 싶다.

7.5　핵심 요약: 스핀

🟡 리나: 위치 공간의 운동과는 독립적으로, 입자는 스핀이라는 내재적 각운동량을 가져. 고전적인 자전이 아니라, 순수하게 양자역학적인 자유도야.

🔵 카이: 이름은 "회전"인데, 자전과는 다른 거군요.

🟡 리나: 전자를 "점입자"로 다루는 모형이 가장 잘 맞으니까, 점이 "자전"하는 건 의미가 없어. Stern-Gerlach 실험에서는, 자기장 속을 통과하는 은 원자 빔이 정확히 2줄로 갈라져——연속적인 회전이라면 부채꼴로 퍼져야 하는데, 이산적인 값만 취하는 거야. 고전적인 자전으로는 설명할 수 없는, 순수하게 양자역학적인 자유도——그런 종류의 것이야. 자세한 내용은 「양자역학」편 제 5 장 Stern-Gerlach 실험에 의한 도입, 「양자역학」편 제 17 장 Pauli 행렬에 의한 정식화, 「양자역학」편 제 18 장 동종 입자와 통계를 참조해. Part III에서 필요한 결론만 정리하면:

표 7.3: 스핀의 기본적 성질 요약

항목 내용
스핀 양자수 \(s\) \(0, \tfrac{1}{2}, 1, \tfrac{3}{2}, 2, \ldots\)의 값을 취한다
스핀 \(z\) 성분 \(S_z = \hbar m_s\), \(m_s = -s, -s+1, \ldots, s\)의 \(2s+1\)개
교환관계 \([\hat{S}_i, \hat{S}_j] = i\hbar\,\epsilon_{ijk}\,\hat{S}_k\)(아래 보충 참조. 궤도각운동량과 동형)
보손(\(s\) 정수) 같은 상태에 몇 개든 들어갈 수 있다. 광자 (\(s = 1\)), 중력자 (\(s = 2\)), Higgs (\(s = 0\))
페르미온(\(s\) 반정수) 같은 상태에 1개만(Pauli의 배타 원리). 전자・쿼크 (\(s = 1/2\))

\(\epsilon_{ijk}\)(완전반대칭 기호)의 의미: 첨자 \(1, 2, 3\)은 각각 \(x, y, z\) 방향에 대응한다. \((i,j,k) = (1,2,3), (2,3,1), (3,1,2)\)에서 \(+1\), \((1,3,2), (3,2,1), (2,1,3)\)에서 \(-1\), 첨자가 중복되면 \(0\). 즉 \((1,2,3)\)을 순환적으로 밀면 \(+1\), 이웃을 교환하면 \(-1\). 예: \([\hat{S}_x, \hat{S}_y] = i\hbar\,\hat{S}_z\), \([\hat{S}_y, \hat{S}_x] = -i\hbar\,\hat{S}_z\).

⚪ 메이: "왜 정수 스핀이 보손, 반정수 스핀이 페르미온에 대응하는지"——그 이유는 아직 설명되지 않았지?

🟡 리나: 맞아. 이것은 장의 양자론의 스핀-통계 정리에서 비로소 증명돼(「양자역학」편 제 18 장 또는 「장의 양자론」편 「장의 양자론」편 제 5 장). 지금은 결과만 받아들여 둬. 보손・페르미온의 구별은, 본서에서 여러 번 등장하는 가장 중요한 분류 축이야. 예를 들면——

모두 "정수 스핀 vs 반정수 스핀"이 내부 구조의 뼈대를 결정해. 스핀의 상세는 「양자역학」편에 맡기고, 본서에서는 표 7.3「스핀의 기본적 성질 요약」의 분류만 손에 들고 있으면 충분해.

✅ 이해도 체크: 보손과 페르미온의 차이를, 스핀 양자수와 동일 상태로의 점유 가능성 관점에서 설명해 봅시다.

답

보손은 스핀 양자수 \(s\)가 정수(\(0, 1, 2, \ldots\))인 입자로, 같은 양자 상태에 몇 개든 들어갈 수 있다(예: 광자, 중력자). 페르미온은 스핀 양자수가 반정수(\(1/2, 3/2, \ldots\))인 입자로, Pauli의 배타 원리에 의해 같은 양자 상태에 1개만 들어갈 수 있다(예: 전자, 쿼크). 이 구별은 장의 양자론의 스핀-통계 정리에 의해 증명된다.

7.6　남겨진 물음 — 상대론과 양자론의 충돌

🟡 리나: 양자역학은 원자・분자・화학결합・반도체・초유동 등, 미시 세계를 경이로운 정밀도로 설명해. 하지만 하나 결정적인 결함이 있어.

🔵 카이: 결함이요……? 그렇게 강력한데?

🟡 리나: 특수상대론과 양립하지 않아.

🔵 카이: 에? 어디가 양립하지 않는 건가요?

🟡 리나: 시간의존 Schrödinger 방정식을 다시 한번 보자:

\[ i\hbar\frac{\partial \Psi}{\partial t} = -\frac{\hbar^2}{2m}\frac{\partial^2 \Psi}{\partial x^2} + V\,\Psi \]

좌변은 시간의 1계 미분, 우변의 공간 부분은 2계 미분이야. 제 5 장에서 확인한 대로, 특수상대론은 시간과 공간을 Minkowski 계량 \(\eta_{\mu\nu}\)로 대등하게 다룰 것을 요구해. 따라서 이 방정식은 Lorentz 변환 하에서 형태가 바뀌어 버려——상대론적으로 공변이 아닌 거야.

🔵 카이: 좌우에서 미분 차수가 맞지 않는 거군요.

표 7.4: Schrödinger 방정식과 특수상대론의 부정합

항목 Schrödinger 방정식 특수상대론의 요구
시간 미분 1계 (\(\partial/\partial t\)) 시간・공간을 대등하게
공간 미분 2계 (\(\partial^2/\partial x^2\)) 시간・공간을 대등하게
Lorentz 변환 형태가 변함(비공변) 형태가 변하지 않을 것을 요구
에너지 관계 \(E = p^2/(2m) + V\)(비상대론) \(E^2 = p^2c^2 + m^2c^4\)
입자수 고정(보존되는 전제) \(E = mc^2\)로 쌍생성 가능

🟡 리나: 맞아. 이 구조적 결함은, 억지로 상대론과 양립시키려 하면 두 가지 심각한 귀결을 낳아:

  1. 음의 에너지 해의 출현 — 상대론적 에너지-운동량 관계 \(E^2 = p^2c^2 + m^2c^4\)의 제곱근에는 \(E < 0\)인 가지가 있어. Dirac은 이것을 반입자로 해석했어.
  2. 입자수의 비보존 — \(E = mc^2\) 이상의 에너지가 있으면, 진공에서 입자-반입자 쌍이 생성돼. 입자수가 고정된 Schrödinger 방정식으로는 이것을 기술할 수 없어.

⚪ 메이: 즉, 상대론이 가르치는 "에너지와 질량의 등가성" 때문에 입자가 태어날 수 있는데, 양자역학의 틀로는 입자수가 변하는 과정을 다룰 수 없다——근본적인 부정합이네.

🔵 카이: 입자가 늘어나거나 줄어든다면, Schrödinger 방정식처럼 "입자 1개의 파동함수"를 쫓아가는 방법으로는 안 되겠네요. 그러면, 무엇을 기본적인 대상으로 쫓아가야 하나요?

🟡 리나: 바로 그거야. 상대론과 양자역학을 양립시키려면 "입자 수가 변하는" 것을 허용하는 새로운 틀이 필요해. 그 틀이 제 8 장에서 다루는 장의 양자론이야. 장 자체를 연산자로 승격시키고, 장의 들뜸으로서 입자를 기술해. 이 장에서 배운 \(\hat{a}^\dagger\)(생성연산자)와 \(\hat{a}\)(소멸연산자)가, 그대로 입자의 생성・소멸을 기술하는 도구가 돼——이 대응이 아름다운 거야.

✅ 이해도 체크: Schrödinger 방정식이 특수상대론과 양립하지 않는 구조적 이유는 무엇일까요? 또한 그로 인해 생기는 두 가지 물리적 귀결은 무엇일까요?

답

Schrödinger 방정식은 시간에 대해 1계 미분, 공간에 대해 2계 미분이며, 시간과 공간을 대등하게 다루는 특수상대론(Lorentz 변환) 하에서 형태가 바뀌어 버린다. 이 부정합으로부터 생기는 귀결은: (1) 상대론적 에너지-운동량 관계의 제곱근에 음의 에너지 해가 나타나, 반입자의 존재가 요청된다. (2) \(E = mc^2\) 이상의 에너지로 입자-반입자 쌍이 생성되므로, 입자수가 보존되지 않아 1입자 파동함수를 쫓는 틀로는 기술할 수 없다.

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
    A["Schrödinger 방정식<br/>∂/∂t는 1계, ∂²/∂x²는 2계"]
    B["Lorentz 불변이 아님"]
    C["상대론적 파동방정식<br/>(Klein-Gordon, Dirac)"]
    D["음의 에너지 해<br/>→ 반입자"]
    E["입자수의 비보존<br/>→ 쌍생성・쌍소멸"]
    F["장의 양자론 (제8장)"]
    G["끈이론 (제13장 이후)"]

    A --> B
    B --> C
    C --> D
    C --> E
    D --> F
    E --> F
    F --> G

그림 7.6: Schrödinger 방정식에서 장의 양자론・끈이론으로의 경로

🔵 카이: 상대론과 양자론의 줄기가, 여기서 처음으로 정면충돌하는 거군요. 그런데 "장 자체를 연산자로 승격시킨다"는 건, 아까의 \(E \to i\hbar\,\partial_t\) 같은 치환을, 이번에는 장에 대해 하는 거란 말인가요? 장은 공간의 각 점에 값이 있는 양이니까, 치환 대상이 무한 개 있다는 뜻……?

🟡 리나: 바로 그래. 공간의 각 점마다 "위치와 운동량"에 해당하는 양이 있고, 각각에 교환관계를 부과해——그래서 무한 개의 자유도를 한꺼번에 양자화하게 돼. 그리고 그 충돌로부터, 입자 그림을 넘어서는 장의 그림이 태어나고, 더 나아가 그 너머에 끈의 그림이 기다리고 있어——이것이 본서 후반의 이야기야.

📖 「양자역학」편와의 접속: Klein-Gordon 방정식과 Dirac 방정식, 그리고 Dirac의 바다 해석은 「양자역학」편 제 27 장 에서 다룬다. 본서 Part III에서는 그것들을, "입자수 가변의 이론 = 장의 양자론"으로의 필요성이라는 각도에서 다음 장에서 재구성한다.

다음 장 예고

Schrödinger 방정식은 Lorentz 변환 하에서 형태가 바뀌어 버린다. 상대론의 줄기(제5-6장)와 양자론의 줄기(본 장)는, 여기서 비로소 정면에서 충돌한다. 제 8 장「양자역학과 상대론을 양립시키고 싶다 — 장의 양자론」 에서는, 장 자체를 연산자로 승격시킨다는 대담한 발상——장의 양자론——에 들어가, 쌍생성・쌍소멸을 기술하는 틀을 만든다. 이 장에서 손에 넣은 승강연산자 \(\hat{a}, \hat{a}^\dagger\)가, 그대로 입자의 소멸・생성연산자로 재해석되는 순간을 지켜보자.

연습문제

📝 연습문제:

참고문헌

← 제6장 중력의 본질은 무엇인가?제8장 양자역학과 상대론을 양립시키고 싶다 →