차원 해석

유체역학 물리 마지막 수정: 2026-08-19 04:53:37

1. 개요[편집]

차원 해석(dimensional analysis)은 물리량들의 차원 구조만으로 그들 사이에 성립할 수 있는 관계식의 형태를 제약하는 방법이다. 물리 법칙은 단위계 선택에 의존할 수 없다는 단 하나의 원리에서 출발하는데, 여기서 나오는 결론이 놀랄 만큼 세다. 변수 $n$ 개짜리 문제가 무차원수 $n-k$ 개짜리 문제로 압축된다.

이 문서는 뽑는 절차를 다룬다. 뽑아 놓은 무차원수들의 목록과 물리적 의미는 무차원수, 그것들이 서로 충돌할 때 무엇을 살리고 무엇을 버리는가는 상사법칙, 실제 축소모형 시험에서의 운영은 모형실험이 맡으므로 여기서 반복하지 않는다.

2. 차원 행렬과 계수 — 파이 정리의 정확한 진술[편집]

버킹엄 파이 정리(1914)¹는 흔히 ” $n$ 개 변수, $k$ 개 기본 차원 → $n-k$ 개 무차원수”로 외워진다. 이 요약은 대부분의 경우 맞지만, 엄밀한 진술에서 $k$ 는 기본 차원의 개수가 아니라 차원 행렬의 계수(rank) 다.²

차원 행렬은 이렇게 만든다. 열은 변수, 행은 기본 차원(질량 M, 길이 L, 시간 T, 온도 $\Theta$ 등)이고, 성분은 지수다. 예를 들어 밀도 $\rho$ , 압력 $p$ , 속도 $u$ 세 개를 놓으면

\begin{array}{c|ccc} & \rho & p & u \\ \hline M & 1 & 1 & 0 \\ L & -3 & -1 & 1 \\ T & 0 & -2 & -1 \end{array}

무차원 조합 $\rho^{a}p^{b}u^{c}$ 를 찾는 것은 이 행렬의 영공간(null space)을 구하는 선형대수 문제다. 따라서 독립인 무차원수의 개수는

\dim \ker = n - \mathrm{rank}

이다. 그런데 위 행렬의 행렬식은 $1\cdot(1+2) - 1\cdot(3-0) + 0 = 0$ 으로 계수가 3이 아니라 2다. M, L, T가 세 개 등장하는데도 이 세 변수 안에서는 두 조합으로만 나타나기 때문이다. 그래서 무차원수는 $3-3=0$ 개가 아니라 $3-2=1$ 개이고, 실제로 $\rho u^2/p$ 라는 멀쩡한 무차원수(오일러 수의 역수)가 존재한다. “기본 차원 개수를 빼라”고만 외우면 이런 경우 무차원수가 있는데도 없다고 결론 내리게 된다. 손으로 지수 방정식을 풀든 코드로 영공간을 뽑든, 계수를 확인하는 습관이 안전장치다.

3. 절차 — 반복 변수 고르기[편집]

교과서 절차는 다음과 같다.

변수 목록을 정한다. 이 단계가 전체의 90%다. 빠뜨리면 틀린 결과가 나오고, 쓸데없는 걸 넣으면 의미 없는 무차원수가 늘어난다.
차원 행렬을 세우고 계수 $k$ 를 구한다.
반복 변수(repeating variables) $k$ 개를 고른다. 조건은 두 가지 — 그들이 문제의 차원을 모두 span 할 것, 그리고 그들끼리 무차원수를 만들지 못할 것(=해당 $k\times k$ 부분행렬이 정칙일 것). 관례적으로 밀도·속도·대표길이처럼 “기하 하나, 운동학 하나, 동역학 하나”를 고른다.
남은 $n-k$ 개 변수 각각에 반복 변수들의 거듭제곱을 붙여 $\Pi_i$ 를 만든다.
얻은 $\Pi$ 들을 취향에 맞게 재조합한다. $\Pi$ 의 거듭제곱과 곱은 여전히 무차원이므로, 파이 그룹 집합은 유일하지 않다. 관용적인 형태(마찰계수, 항력계수)로 정리하는 것이 소통에 유리하다.

관 유동의 압력강하를 예로 들면 변수는 $\Delta p,\ \rho,\ u,\ D,\ L,\ \mu,\ \varepsilon$ 로 $n=7$ , 계수는 3이므로 무차원수 4개다.

\frac{\Delta p}{\rho u^2} = \phi\!\left(\frac{\rho u D}{\mu},\; \frac{L}{D},\; \frac{\varepsilon}{D}\right)

우변 첫 항이 레이놀즈수, 나머지가 길이비와 상대조도다. 완전발달 유동에서 $L/D$ 의존이 선형이라는 사실까지 쓰면 마찰계수 $f = \phi(Re,\ \varepsilon/D)$ 로 줄어, 변수 7개짜리 실험 계획이 그래프 한 장(무디 선도)이 된다. 20세기 실험 유체역학이 먹고산 방식이 정확히 이것이다.

같은 논리로 항력 문제 $\{F, \rho, u, L, \mu\}$ 는 $5-3=2$ 개 그룹, 즉 $C_D = \phi(Re)$ 를 준다. 여기에 음속 $a$ 가 들어오면 마하 수 $u/a$ 가, 중력 $g$ 가 들어오면 프루드 수 $u/\sqrt{gL}$ 가 하나씩 추가된다. 변수 하나를 목록에 넣는 것이 곧 무차원수 하나를 늘리는 것이라는 감각이 실무에서 가장 쓸모 있다.

4. 레일리 방법[편집]

파이 정리보다 먼저 쓰이던 방식으로, 관심 있는 양이 나머지의 거듭제곱 곱으로 표현된다고 가정하고 지수를 맞춘다.

X = C\, a^{x} b^{y} c^{z} \cdots

양변의 M, L, T 지수를 등식으로 놓고 연립방정식을 풀면 끝. 변수가 대여섯 개 이하이고 결과가 하나의 그룹으로 떨어질 때는 파이 정리보다 빠르다. 단점은 거듭제곱 곱 형태를 미리 가정한다는 것이라, 무차원수가 여러 개인 문제에서는 결국 파이 정리로 돌아가야 한다.

레일리 방법이 화려하게 성공한 사례가 난류의 콜모고로프 이론이다. 소산 영역의 통계가 오직 $\varepsilon$ 과 $\nu$ 에만 의존한다고 놓으면 길이·시간·속도 척도가 유일하게 결정되고, 그것이 콜모고로프 스케일이다. 관성 영역에서 $E(\kappa)=C\varepsilon^{2/3}\kappa^{-5/3}$ 이라는 $-5/3$ 법칙도, 라이트힐의 제트 소음 $M^8$ 법칙(전산음향학)도 같은 방식으로 나왔다. 지배 변수를 제대로 고르면 차원 해석만으로 스케일링 법칙이 나온다는 것이, 이 방법이 이론물리에서 사랑받는 이유다.³

5. 무차원화 — 방정식 수준의 차원 해석[편집]

변수 목록에서 시작하는 대신 지배방정식에서 시작하면 더 확실하다. 대표 길이 $L$ , 대표 속도 $U$ 로 나비에-스토크스 방정식의 각 변수를 정규화하면 점성항 앞에 정확히 $1/Re$ 가 붙는다. 이때 얻는 것이 세 가지다.

어떤 항이 중요한지 방정식이 직접 말해 준다. 계수가 작은 항은 지워도 되고, 그 지움이 곧 경계층 이론·윤활 근사·부시네스크 근사 같은 축약 모형의 유도다.
변수 목록 실수가 원천 차단된다. 방정식과 경계조건에 등장하는 것이 곧 전체 변수 목록이므로, “중요한 물리량을 빠뜨렸다”는 파이 정리 최대의 실패 모드가 사라진다.
경계조건에서만 나오는 무차원수도 잡힌다. 방정식에는 안 나오고 벽면 조건이나 초기조건에만 등장하는 그룹(예: 표면장력이 들어간 자유표면 조건의 웨버 수)은 방정식만 봐서는 놓치기 쉬우므로, 조건까지 함께 무차원화해야 한다.

6. 코드에서의 실무적 의미[편집]

차원 해석은 논문 쓰는 사람들만의 취미가 아니라 솔버를 돌리는 사람에게 직접 돈이 되는 도구다.

단위계 일관성. 상용 구조해석 코드 대부분은 단위를 모른다. 사용자가 일관된 단위 집합을 넣어 줘야 하고, mm-t-s 계를 쓰면 강재 밀도는 $7.85\times10^{-9}\ \mathrm{t/mm^3}$ , 탄성계수는 210,000 MPa로 넣어야 한다. 여기에 SI 값 7850을 그대로 넣으면 질량이 $10^{12}$ 배가 되어 고유진동수가 100만분의 1로 내려앉는데, 그 상태로 보고서까지 올라가는 사고는 이 바닥의 전통 행사다.

조건수와 스케일링. 병진 자유도와 회전 자유도가 섞인 강성행렬, 또는 압력과 속도가 섞인 연성 계는 성분 크기가 수십 자릿수 차이 날 수 있고 그대로 조건수로 직결된다. 무차원화(혹은 행·열 평형화)는 반복 솔버의 수렴을 눈에 띄게 개선한다. 부동소수점 연산에서 $O(1)$ 근처의 값이 자릿수 손실에 유리하다는 점도 덤.

격자 볼츠만처럼 아예 격자 단위로 사는 코드. 격자 볼츠만 방법은 격자 간격과 시간 간격을 1로 두는 격자 단위계에서 돌아가고, 물리 문제를 격자 단위로 환산할 때 맞추는 것이 결국 무차원수(주로 $Re$ )와 마하 수 제약이다. 물리 단위를 잘못 환산해 격자 마하 수가 0.3을 넘으면 압축성 오차가 결과를 오염시킨다.

검증 도구로서의 차원. 새로 유도한 식이나 새로 짠 소스코드에서 모든 항의 차원이 맞는지 확인하는 것은 가장 값싼 검증이다. 검증 및 확인의 코드 검증 단계에서 해석해와 비교하기 전에 이걸 먼저 한다. 파이썬 pint, 줄리아 Unitful, C++ mp-units 처럼 단위를 타입으로 들고 다니는 라이브러리는 이 검사를 컴파일 타임이나 실행 초기에 자동화한다.

파라미터 스터디의 축소. 무차원화하면 독립 파라미터가 $n$ 개에서 $n-k$ 개로 줄어든다. 해석 케이스 수가 파라미터 개수의 지수로 늘어난다는 점을 생각하면, 무차원 파라미터로 실험계획을 짜는 것과 유차원 변수로 짜는 것은 계산 예산이 자릿수 단위로 갈린다.

7. 한계[편집]

무차원 상수는 못 준다. 차원 해석은 $C_D = \phi(Re)$ 라는 형태만 주고 $\phi$ 가 무엇인지는 말해 주지 않는다. 그건 실험이나 전산유체역학의 몫이다.
변수 목록이 곧 답의 품질. 지배적인 물리량을 빠뜨리면 결과는 조용히 틀린다. 반대로 종속적인 변수를 넣으면 무의미한 그룹이 생겨 실험 설계를 낭비한다.
기본 차원을 늘리면 결과가 달라진다. 헌틀리는 길이를 방향별( $L_x, L_y, L_z$ )로 쪼개면 그룹 개수가 줄어(즉 정보가 늘어) 더 강한 결론이 나온다는 것을 보였고, 시아노의 방향 해석도 같은 계열이다. 강력하지만 남용하면 물리적으로 근거 없는 제약을 만들어 낸다는 게 함정.
자기상사를 가정할 수 없는 영역. 어떤 무차원수가 충분히 크거나 작아서 “이제 무관하다”고 버리는 판단(예: 고 $Re$ 에서 항력계수가 $Re$ 에 무관해지는 구간)은 차원 해석이 주는 것이 아니라 실험이 주는 것이다. 이 경계를 넘겨 외삽하는 것이 전형적인 사고 유형이다.

8. 관련 문서[편집]

이름은 미국 물리학자 에드가 버킹엄에게 붙었지만, 프랑스의 에메 바시(1892)가 실질적으로 같은 결과를 먼저 발표했다. 그래서 유럽 문헌에서는 바시-버킹엄 정리라고 쓰기도 한다. 정리 이름이 늦게 발표한 사람에게 가는 것은 이 바닥에서 딱히 드문 일이 아니다. ↩
계수가 기본 차원 개수보다 작아지는 상황은 생각보다 자주 나온다. 역학 문제에서 질량이 항상 힘의 형태로만 등장하거나, 열 문제에서 온도가 항상 열용량과 곱해져 나타나면 그렇다. 교과서가 “보통은 $k$ = 기본 차원 개수”라고 얼버무리는 이유는 대부분의 예제가 실제로 그렇기 때문인데, 예외를 만난 학생은 답이 안 맞아서 밤을 새우게 된다. ↩
가장 유명한 사례는 G. I. 테일러가 1950년에 공개된 원폭 실험 사진의 화구 반지름과 시각만 보고 $R \sim (E t^2/\rho)^{1/5}$ 라는 관계에서 폭발 에너지를 추정해 낸 일이다. 당시 기밀이던 수치를 자와 사진만으로 맞혔다는 이야기로 전해지며, “차원 해석은 자와 종이만 있으면 국가기밀도 뚫는다”는 전설의 출처다. ↩