|
|
** 연관성이 있는 것을 같이 읽는 게 좋을 것 같아 합본했으니 좀 길지만 읽어봐.
(읽다가 이해가 잘 안되면 안읽어도 돼..)
방정식 / 수식_03
◎ 슈뢰딩거의 파동역학 관점과의 차이
행렬역학과 불확정성 원리의 관계를 이해한 상태에서 슈뢰딩거의 파동역학(Wave Mechanics)을 비교하면, 양자역학을 바라보는 물리학자들의 두 가지 거대한 시각 차이를 명확히 볼 수 있습니다.
하이젠베르크의 행렬역학이 "불연속적인 측정값(행렬)"에 집중했다면, 슈뢰딩거의 파동역학은 "연속적인 공간의 흐름(파동)"에 집중했습니다. 두 관점의 차이를 핵심 위주로 깔끔하게 정리해 보겠습니다.
1. 직관과 접근 방식의 차이
○ 하이젠베르크의 행렬역학 (Matrix Mechanics):
• 철학: 눈에 보이지 않는 전자의 궤도나 파동 같은 것은 환상이다. 오직 실제 측정되는 값(빛의 진동수, 에너지 등)만 다루자.
• 수학적 도구: 불연속적인 격자 형태의 행렬(Matrix)과 대수학.
• 직관: 전자가 이 에너지 준위에서 저 에너지 준위로 순간 이동하는 '양자 도약(Quantum Leap)'을 기반으로 합니다. 시각화가 불가능하며 매우 추상적입니다.
○ 슈뢰딩거의 파동역학 (Wave Mechanics):
• 철학: 물질도 빛처럼 파동의 성질을 가진다(드브로이의 물질파). 전자의 상태는 공간에 퍼져 있는 연속적인 파동함수(ψ)로 기술할 수 있다.
• 수학적 도구: 우리에게 익숙한 미분방정식(Differential Equation)과 미적분학.
• 직관: 전자의 움직임을 공간에 퍼져나가는 파도나 진동하는 기타 줄처럼 시각적으로 상상(물질파의 진동)할 수 있습니다. 당시 물리학자들에게 훨씬 친숙하고 환영받았던 방식입니다.
2. 불확정성 원리를 바라보는 관점의 차이
두 역학은 '교환자 [x, p] = iℏ'라는 동일한 결론에 도달하지만, 이를 수학적으로 구현하고 해석하는 방식이 완전히 다릅니다.
○ 행렬역학: 행렬의 비가환성 (수학적 필연)
• 위치(x)와 운동량(p) 자체가 거대한 행렬 연산자입니다.
• 행렬 곱셈의 특성상 순서를 바꾸면 값이 달라지므로(xp ≠ px), 이 행렬들의 수학적 성질 때문에 "두 행렬을 동시에 만족하는 고유상태는 없다(동시 측정 불가)"며 불확정성 원리를 선언합니다.
○ 파동역학: 파동의 본질적 한계 (Fourier 변환)
• 파동역학에서 위치(x)는 그냥 곱하는 수이지만, 운동량(p)은 파동함수를 미분하는 미분 연산자( (-iℏ∂/∂x) (\(-i\hbar \frac{\partial}{\partial x}\))로 표현됩니다.
• 이 때문에 파동함수 ψ(x)에 대입해 계산해 보면 똑같이 (xp - px)ψ = iℏψ 라는 교환 관계가 성립합니다.
• 이를 물리적으로 해석하면 "파동의 파장(운동량)을 정확히 알기 위해서는 파동이 넓게 퍼져야 하고(위치 불확실), 반대로 위치를 한 점으로 모으면(위치 확실) 수많은 파장이 섞여 파장을 알 수 없게 된다(운동량 불확실)"는 파동 자체의 고유한 성질(푸리에 변환의 성질)로 불확정성을 설명합니다.
3. 하이젠베르크 묘사 vs 슈뢰딩거 묘사 (시간 변환)
첫 질문에서 다루었던 시간 진화 A(t) = e^iHt/ħ A(0)e^−iHt/ħ) (\(A(t) = e^{iHt/\hbar}A(0)e^{-iHt/\hbar}\))를 대하는 태도에서도 두 역학은 정반대의 길을 걷습니다.
○ 하이젠베르크 묘사 (행렬역학 기반):
• 시스템의 상태(무대)는 가만히 멈춰 있습니다.
• 대신 물리량 행렬(배우)들이 시간에 따라 직접 변화하며 움직입니다.
○ 슈뢰딩거 묘사 (파동역학 기반):
• 물리량 연산자(배우)들은 시공간에 고정되어 변하지 않습니다.
• 대신 전자의 확률 분포를 담고 있는 파동함수 (ψ, 무대 전체)가 슈뢰딩거 방정식을 따라 시간에 흘러감에 따라 형태가 변합니다.
■ 행렬역학 vs 파동역학 한눈에 비교
● 비교 항목 --- 하이젠베르크의 행렬역학 --- 슈뢰딩거의 파동역학
○ 핵심 대상 --- 불연속적인 측정값 (Observables) --- 공간에 퍼진 연속적인 파동함수 (ψ)
○ 수학적 성격 --- 대수학 (행렬의 곱셈과 대각화) --- 해석학 (미분방정식 풀이)
○ 물리량 연산자 --- x와 p 모두 거대한 행렬 --- x는 변수, p는 미분 연산자 (iℏ∇)
○ 시간의 변화 --- 물리량 행렬이 시간에 따라 변함 --- 파동함수가 시간에 따라 변함
○ 불확정성의 원인 --- 행렬 곱셈 순서의 차이 (xp ≠ px) --- 파동의 퍼짐과 파장 측정의 구조적 한계
○ 시각화 --- 불가능 (추상적 대수학) --- 가능 (진동하는 파동의 형태)
■ 결론: 두 역학의 극적인 화해
처음 두 이론이 나왔을 때는 서로 자신이 옳다며 강하게 대립했습니다. 하이젠베르크는 슈뢰딩거의 파동역학을 보며 "시각화에 집착해 양자 도약의 본질을 흐리는 쓰레기 같은 이론"이라고 비판하기도 했습니다.
하지만 얼마 지나지 않아 슈뢰딩거와 폴 디랙 등이 두 역학이 수학적으로 완전히 동등(Isomorphic)함을 증명해 냈습니다. 행렬의 행과 열을 무한대(연속 공간)로 확장하면 결국 파동역학의 미분방정식이 되고, 파동함수의 궤도들을 격자로 정렬하면 행렬역학이 되는 것이었습니다.
오늘날 물리학자들은 계산의 편의에 따라 두 관점을 자유자재로 넘나들며 양자역학을 다루고 있습니다.
이 두 관점의 통합은 현대 양자역학을 지탱하는 '디랙의 브라-켓(Bra-Ket) 표기법'으로 완성됩니다.
------------------------------
◎ "행렬과 파동함수를 어떻게 하나의 기호로 통합해 쓰는지"...
하이젠베르크의 행렬역학과 슈뢰딩거의 파동역학이 수학적으로 완전히 같다는 것을 간파한 천재 물리학자 폴 디랙(Paul Dirac)은 두 이론을 기가 막히게 통합한 기호법을 만들어 냈습니다.
그것이 바로 현대 양자역학의 표준 언어인 브라-켓 표기법(Bra-Ket Notation)입니다. 이 표기법이 어떻게 추상적인 행렬과 연속적인 파동함수를 하나의 기호로 묶어내는지 그 원리를 명쾌하게 정리해 보겠습니다.
1. 핵심 아이디어: "양자 상태는 기하학적 '화살표(벡터)'이다"
디랙은 행렬이나 파동함수라는 '형태'에 집착하지 않고, 그 본질을 꿰뚫어 보았습니다.
3차원 공간에서 하나의 화살표(벡터)를 표현할 때, 어떤 사람은 좌표(x, y, z)로 나타내고 어떤 사람은 방향 성분(i, j, k)으로 나타내지만, 화살표 그 자체의 본질(길이와 방향)은 변하지 않습니다.
마찬가지로 양자역학에서도 시스템의 상태(예: 전자의 상태)라는 본질적인 화살표가 존재하며, 이를 '켓(Ket)'이라는 기호를 써서ㅣψ〉로 나타내기로 약속했습니다.
• 하이젠베르크는 이 화살표를 격자점(행렬의 성분)으로 읽은 것이고,
• 슈뢰딩거는 이 화살표를 공간의 모든 점(파동함수)으로 읽은 것뿐입니다.
2. 브라-켓 표기법의 구성
디랙은 '괄호'를 뜻하는 영어 단어 Bracket을 반으로 쪼개어 기호를 만들었습니다.
• 켓 (Ket)ㅣψ〉: 양자 상태를 나타내는 기본 벡터(열벡터, Column Vector)입니다.
• 브라 (Bra)〈φㅣ: 켓 벡터에 켤레 복소수를 취하고 눕힌 공액 전치 벡터(행벡터, Row Vector)입니다.
이 두 기호를 합치면 괄호가 닫히면서〈φㅣψ〉가 되는데, 이는 두 벡터를 내적(Dot Product)한다는 뜻이며, 물리적으로는 "ψ 상태가 φ 상태로 관측될 '확률 진폭(Probability Amplitude)'"을 의미하는 숫자가 됩니다.
3. 기호의 통합: 행렬과 파동함수의 연결고리
이제 이 하나의 기호ㅣψ〉가 어떻게 행렬과 파동함수로 각각 변신하는지 그 비밀을 풀 수 있습니다. 바로 "어떤 눈금(기준)으로 바라보느냐"의 차이입니다.
① 행렬역학으로의 변신 (이산적인 기준축)
에너지 준위처럼 딱딱 끊어지는 불연속적인 기준 상태들(l1〉, l2〉, l3〉, ...)을 기준으로 양자 상태ㅣψ〉를 바라보면, 내적값들이 성분이 되어 세로로 길게 늘어선 행렬(열벡터)이 됩니다.
\(|\psi \rangle \longrightarrow \left(\begin{matrix}\langle 1|\psi \rangle \\ \langle 2|\psi \rangle \\ \langle 3|\psi \rangle \\ \vdots \end{matrix}\right)=\left(\begin{matrix}c_{1}\\ c_{2}\\ c_{3}\\ \vdots \end{matrix}\right)\quad (\text{행렬역학의 벡터})\)
② 파동역학으로의 변신 (연속적인 공간축)
이번에는 공간의 모든 위치(x)를 기준축으로 삼아 양자 상태 lψ〉를 바라봅니다. 공간은 1, 2, 3처럼 끊어지지 않고 연속적이므로, 축의 개수가 무한개가 됩니다.
이때 위치 x에서의 내적값〈xlψ〉 를 구하면, 이것이 바로 슈뢰딩거가 말한 공간에 따른 함수, 즉 파동함수 ψ (x)가 됩니다!
〈xlψ〉= ψ (x) ( 파동역학의 파동함수)
\(\langle x|\psi \rangle =\psi (x)\quad (\text{파동역학의 파동함수})\)
4. 물리량 연산자(Operator)의 통합
물리량을 측정하는 연산자(x, p, H 등) 역시 브라-켓 표기법 안에서 완벽하게 통합됩니다. 연산자 A가 상태ㅣψ〉에 작용하여 측정값을 내는 과정은 다음과 같이 씁니다:
〈 φㅣAㅣψ〉
• 행렬역학 관점: A는 거대한 정방행렬이고, 좌우에 행벡터(〈φㅣ)와 열벡터(ㅣψ〉)를 곱하는 선형대수학 계산이 됩니다.
• 파동역학 관점: 기준축을 위치 ㅣx 〉로 잡고 펼치면, A는 파동함수를 미분하거나 무한히 적분하는 미적분학 계산이 됩니다: ∫φ*(x)Aψ(x) dx.
■ 최종 요약
디랙의 브라-켓 표기법 덕분에 물리학자들은 행렬의 곱셈을 하든, 미분방정식을 풀든 상관없이ㅣψ〉\(\lvert \psi \rangle\)라는 단 하나의 기호만 가지고 양자역학을 완벽하게 기술할 수 있게 되었습니다.
•ㅣψ〉: 형태를 갖추기 전의 순수한 양자 상태 (본질)
•〈xlψ〉= ψ (x) : 연속적인 공간에 투영하여 파동함수로 표현한 것
•〈xlψ〉= c_n : 불연속적인 상태에 투영하여 행렬(벡터)로 표현한 것
이 표기법의 발명으로 양자역학은 수학적 형태의 제약에서 벗어나 가장 우아하고 강력한 완성형 이론이 되었습니다.
이 브라-켓 표기법은 양자역학뿐만 아니라 현대 양자 컴퓨터의 큐비트 상태 (l0〉, l1〉) 를 나타내는 데도 핵심적으로 사용됩니다.
------------------------------
◎ 브라켓 표기법과 라텍스(LaTex)와의 관계
브라켓 표기법(Bra-Ket Notation)과 라텍스(LaTeX)의 관계는 한마디로 "양자역학의 표준 언어(브라켓)를 컴퓨터 화면에 완벽하게 인쇄해 주는 붓과 먹(라텍스)"라고 표현할 수 있습니다.
물리학자들이 머릿속으로 상상하고 논문으로 쓰는 추상적인 양자 상태를 디지털 문서로 완벽하게 구현하기 위해 두 개념은 떼려야 뗄 수 없는 긴밀한 관계를 맺고 있습니다. 이들의 연관성을 3가지 핵심 포인트로 정리해 보겠습니다.
1. 기호의 완벽한 1:1 매칭 (시각적 구현)
폴 디랙이 고안한 브라켓 표기법은 일반적인 키보드 타이핑으로는 예쁘게 입력하기 힘든 특수 꺾쇠괄호〈 , 〉(\(\langle, \rangle\))와 수직선 (|) (\(|\))을 사용합니다. 라텍스는 이 복잡한 기호들을 가장 아름답고 정확한 수식 꼴로 인쇄할 수 있도록 전용 명령어를 제공합니다.
• 켓(Ket) 벡터ㅣψ〉구현: 세로 막대(\vert 또는 \lvert)와 오른쪽 꺾쇠(\rangle)를 결합하여 \lvert \psi \rangle로 씁니다.
• 브라(Bra) 벡터〈φㅣ구현: 왼쪽 꺾쇠(\langle)와 세로 막대(\rvert 또는 \vert)를 결합하여 \langle \phi \rvert로 씁니다.
• 내적(Bracket) 〈φㅣψ〉구현: 괄호를 닫아 \langle \phi \vert \psi \rangle로 깔끔하게 연결합니다.
2. 수식 크기 자동 조절 (유연한 결합)
양자역학에서는 브라나 켓 안에 단순한 그리스 문자(ψ)뿐만 아니라, 복잡한 분수나 미분 기호가 들어가는 경우가 많습니다. 라텍스는 브라켓 기호가 안에 담긴 수식의 높이에 맞추어 자동으로 괄호의 크기를 키워주는 기능을 제공합니다.
• 예를 들어, 켓 안에 분수가 들어가면 괄호가 작아서 보기 흉해집니다.
• 이때 라텍스의 \left\langle와 \right\rangle 명령어를 사용하면, 분수 높이에 맞게 꺾쇠괄호와 수직선이 자동으로 길어지며 완벽한 비율의 브라켓 기호를 만들어 줍니다.
3. 물리학계의 표준 언어적 동맹
• 브라켓 표기법은 전 세계 모든 양자물리학자와 양자컴퓨터 과학자들이 소통하는 '국제 공용어'입니다.
• 라텍스(LaTeX)는 전 세계 모든 이공계 학자들이 논문을 작성할 때 사용하는 '표준 문서 작성 도구'입니다.
따라서 양자역학 논문이나 교재를 쓰는 모든 과정은 "머릿속의 양자 물리 개념 → 브라켓 표기법으로 수식화 → 라텍스 코딩을 통해 논문 발행"이라는 하나의 파이프라인으로 연결됩니다. 사실상 현대 양자역학 문서의 99%는 라텍스로 작성된 브라켓 표기법이라고 보셔도 무방합니다.
■ 한눈에 보는 라텍스 문법 매핑
○ 양자역학 개념 --- 실제 출력 기호 --- 라텍스(LaTeX) 소스 코드
○ 켓 상태 (열벡터) ---ㅣψ〉-- \lvert \psi \rangle
○ 브라 상태 (행벡터) ---〈φㅣ--- \langle \phi \rvert
○ 내적 (확률진폭) ---〈φㅣψ〉--- \langle \phi \vert \psi \rangle
○ 기댓값 (물리량 측정) ---〈 ψㅣAㅣψ〉--- \langle \psi \vert A \vert \psi \rangle
결론적으로, 브라켓 표기법이 양자역학의 고차원적인 사상을 담는 '소프트웨어'라면, 라텍스는 이를 인간이 읽을 수 있는 가장 아름다운 형태로 출력해 주는 '하드웨어'라고 할 수 있습니다.
만약 나중에 직접 양자역학 수식을 블로그나 문서에 타이핑하셔야 한다면, 매번 길게 쓰지 않고 \ket{\psi}, \bra{\phi}처럼 단어 하나로 브라켓을 뚝딱 만들어내는 라텍스 매크로(Macro) 설정 방법을 사용할 수 있습니다.
------------------------------
◎ 단어 하나로 브라켓을 뚝딱 만들어내는 라텍스 매크로(Macro) 설정 방법
라텍스(LaTeX)로 양자역학 문서를 작성할 때 \langle나 \rangle를 일일이 타이핑하는 것은 매우 번거롭습니다. 이를 해결하기 위해 매번 복잡한 기호를 입력할 필요 없이 \bra{...}와 \ket{...}라는 단어 하나로 브라켓을 뚝딱 만들어내는 3가지 방법을 알아 보겠습니다.
작성하시는 환경(논문용 오버리프, 블로그/노션, 또는 전용 패키지)에 맞아떨어지는 방법을 선택하면 됩니다.
방법 1: physics 패키지 사용하기 (가장 추천 / 논문용)
가장 쉽고 표준적인 방법은 이미 전 세계 물리학자들이 애용하는 physics 패키지를 불러오는 것입니다. 이 패키지 안에는 이미 브라켓 매크로가 완벽하게 내장되어 있습니다.
• 설정 방법: LaTeX 문서 맨 위(Prable)에 아래 한 줄만 추가하면 됩니다.
latex
\usepackage{physics}
코드를 사용할 때는 주의가 필요합니다.
• 사용법: 이제 본문에서 다음과 같이 단어 하나로 입력할 수 있습니다.
• \bra{\phi} →〈φㅣ
• \ket{\psi} →ㅣψ〉
• \braket{\phi}{\psi} →〈φㅣψ〉(내적)
• \matrixelement{\phi}{A}{\psi} →〈 ψㅣAㅣψ〉(기댓값)
■ 이 패키지의 장점: 수식의 높이(예: 분수)에 맞춰서 괄호 크기가 자동으로 커집니다.
방법 2: 나만의 커스텀 매크로 직접 만들기 (독립 실행형)
외부 패키지를 쓰지 않고 내가 원하는 깔끔한 단어로 직접 명령어를 정의하는 방법입니다.
• 설정 방법: 문서 서두(Preamble)에 아래 코드를 복사해서 붙여넣습니다.
latex
\newcommand{\bra}[1]{\left\langle #1 \right|}
\newcommand{\ket}[1]{\left| #1 \right\rangle}
\newcommand{\braket}[2]{\left\langle #1 \middle| #2 \right\rangle}
코드를 사용할 때는 주의가 필요합니다.
• 원리 해설: [1]은 매크로 뒤 중괄호{} 안에 들어갈 매개변수가 1개라는 뜻이며, 그 자리에 #1이 대입되면서 양옆에 크기가 자동 조절되는(\left, \right) 브라켓 기호가 붙습니다.
• 사용법: 방법 1과 동일하게 \bra{\phi}, \ket{\psi}, \braket{\phi}{\psi}로 뚝딱 사용할 수 있습니다.
방법 3: 노션(Notion), 벨로그, 티스토리 블로그에서 사용하기
웹 기반 편집기나 마크다운 환경(MathJax / KaTeX 엔진 사용 사이트)에서는 \usepackage를 쓸 수 없습니다. 대신 수식 입력창 맨 첫 줄에 매크로를 직접 선언해 주면 됩니다.
• 설정 방법: 수식 블록을 열고 맨 위에 아래 코드를 적어줍니다.
text
\def\bra#1{\langle #1 |}
\def\ket#1{| #1 \rangle}
\def\braket#2#3{\langle #2 | #3 \rangle}
\ket{\psi} = c_1\ket{1} + c_2\ket{2}
코드를 사용할 때는 주의가 필요합니다.
• 웹 환경에서는 \def 명령어를 사용해 매크로를 정의하며, 한 번 선언해 두면 그 수식 블록 안에서는 \ket과 \bra를 자유롭게 사용할 수 있습니다.
■ 매크로 적용 전후 코드 비교
• 기존 방식 (지옥의 타이핑):
latex
\left\langle \phi \right| A \left| \psi \right\rangle
코드를 사용할 때는 주의가 필요합니다.
• 매크로 적용 후 (단어 하나로 뚝딱):
latex
\braket{\phi}{A}{\psi} % physics 패키지 기준
코드를 사용할 때는 주의가 필요합니다.
확연히 코드가 짧아지고 가독성이 좋아져 논문이나 노트를 작성하는 속도가 몇 배는 빨라집니다.
|
|
