등각사상

수치해석 유체역학 전자기학 마지막 수정: 2026-08-17 04:23:18

1. 개요[편집]

등각사상 Conformal Mapping
정의	각도와 방향을 보존하는 사상 = 국소적 회전+확대
실체	도함수가 0이 아닌 정칙함수 f(z)
존재 정리	리만 사상 정리 (1851)
대표 사상	뫼비우스 · 슈바르츠-크리스토펠 · 주코프스키
핵심 성질	라플라스 방정식의 형태 불변
결정적 한계	3차원 이상에서는 뫼비우스 변환뿐 (리우빌, 1850)

형상이 더럽다고? 그러면 형상을 바꿔 버리면 되지 않나. 각도만 그대로 두면서.

등각사상(conformal mapping)은 평면의 한 영역을 다른 영역으로 옮기되 곡선들이 만나는 각도의 크기와 방향을 그대로 보존하는 사상이다. 복소평면에서는 정체가 아주 단순하다 — $f'(z_0)\neq 0$ 인 정칙함수(holomorphic function)가 곧 $z_0$ 에서의 등각사상이고, 그 역도 성립한다.

이유는 미분의 의미에 있다. $f(z_0+\delta) \approx f(z_0) + f'(z_0)\delta$ 에서 $f'(z_0)=re^{i\theta}$ 는 복소수 하나이므로, 국소적으로 일어나는 일은 $\theta$ 만큼 회전하고 $r$ 배 늘리는 것이 전부다. 회전과 등방 확대는 각도를 건드리지 않는다. 그래서 등각사상 아래에서 미소 정사각형은 (크기와 방향은 달라져도) 정사각형으로 남는다. 켤레를 취한 반정칙함수는 각의 크기는 보존하되 방향을 뒤집는다.

공학에서 이 성질이 값을 하는 지점은 하나다. 2차원 라플라스 방정식이 등각사상에 대해 형태 불변이라는 것. 덕분에 “복잡한 형상 + 쉬운 방정식” 문제를 “쉬운 형상 + 같은 방정식”으로 바꿔 손으로 풀 수 있다. 포텐셜 유동, 정전기장, 정상 열전도, 무전류 자기장, 비틀림 문제가 전부 이 우산 아래 있다. 20세기 전반 항공역학과 전기공학의 해석적 성과 상당 부분이 이 도구 하나에서 나왔다.

2. 리만 사상 정리 — 존재는 하는데 공식은 없다[편집]

리만이 1851년 학위논문에서 내놓은 결과가 이 분야의 헌법이다.

$\mathbb{C}$ 전체가 아닌, 공집합이 아닌 단순연결 영역 $\Omega \subsetneq \mathbb{C}$ 는 단위원판과 등각동형이다. 내부의 한 점 $z_0$ 를 지정하고 $f(z_0)=0$ , $f'(z_0)>0$ 을 요구하면 그 사상은 유일하다.

즉 구멍 없는 영역이면 무엇이든 원판으로 옮길 수 있다. 별 모양이든 톱니 모양이든 프랙탈 경계든 상관없다. $\mathbb{C}$ 자체가 제외되는 것은 유계 전해석함수가 상수뿐이기 때문이고, 이 예외 하나 때문에 “구면 전체”까지 포함하는 일반화에서는 유형이 세 가지(원판·평면·구)로 갈린다.

문제는 정리가 비구성적이라는 것이다. 사상의 존재만 말할 뿐 공식을 주지 않는다. 경계까지 연속으로 확장되느냐도 따로 물어야 하는데, 카라테오도리 정리가 “경계가 조르당 곡선이면 폐포까지 위상동형으로 확장된다”고 답해 준다. 결국 실무는 두 갈래로 나뉜다 — 공식이 알려진 특수한 사상을 조합해 쓰거나, 사상을 수치로 계산하거나.

단순연결이 아니면 이야기가 달라진다. 구멍이 하나 있는 이중연결 영역은 언제나 어떤 환형 $r<|w|<1$ 로 옮길 수 있지만, 그 $r$ 은 영역이 결정하는 등각 불변량(등각 모듈러스)이라 마음대로 고를 수 없다. 커패시턴스 계산에서 이 모듈러스가 그대로 답으로 나온다.

3. 뫼비우스 변환[편집]

가장 기본적인 등각사상은 일차분수변환, 즉 뫼비우스 변환이다.

w = \frac{az+b}{cz+d}, \qquad ad-bc \neq 0

성질이 지나치게 좋아서 거의 모든 계산의 밑반찬으로 쓰인다.

원과 직선을 원과 직선으로 보낸다. 직선을 반지름 무한대인 원으로 보면 “원을 원으로 보낸다”는 한 문장이다.
리만 구면 전체의 등각 자기동형이 정확히 이 변환들이고, 군 구조는 $PSL(2,\mathbb{C})$ 다.
서로 다른 세 점의 상을 지정하면 변환이 하나로 결정된다. 실무에서 사상을 정규화할 때 이 자유도 3개를 쓴다.
교차비(cross-ratio)를 보존한다.

상반평면 $\mathrm{Im}\,z>0$ 을 단위원판으로 보내는 케일리 변환 $w=(z-i)/(z+i)$ 이 대표적이고, 원판의 자기동형은 $w = e^{i\theta}(z-a)/(1-\bar a z)$ 꼴로 전부 적을 수 있다. 슈바르츠-크리스토펠 사상을 상반평면 기준으로 유도한 뒤 원판 기준으로 옮기는 것도 이 변환으로 한다.

4. 슈바르츠-크리스토펠 사상[편집]

경계가 다각형이면 사상 공식이 명시적으로 알려져 있다. 슈바르츠와 크리스토펠이 1860년대에 각각 얻은 결과다. 내각이 $\alpha_k\pi$ 인 $n$ 각형의 내부로 상반평면을 보내는 사상은

f(z) = A + C\int^{z}\prod_{k=1}^{n}\left(\zeta - z_k\right)^{\alpha_k-1} d\zeta

이다. 여기서 $z_k$ 는 실축 위의 점들로, 다각형의 꼭짓점에 대응하는 선꼭짓점(prevertex)이다. 적분 안의 인자가 하는 일은 명확하다 — $z$ 가 실축을 따라 $z_k$ 를 지날 때 $\arg f'$ 가 정확히 $(\alpha_k-1)\pi$ 만큼 튀고, 그래서 상이 그 지점에서 꺾인다. 각 변 위에서는 $\arg f'$ 가 상수라 직선이 유지된다.

문제는 파라미터 문제(parameter problem)다. 각도 $\alpha_k$ 는 다각형이 주면 알지만 선꼭짓점 $z_k$ 는 미지수이고, 각 변의 길이 비가 맞아떨어지도록 비선형 연립방정식을 풀어야 나온다. 이건 손으로 되는 일이 아니라, 슈바르츠-크리스토펠은 19세기 공식이면서도 실질적으로는 20세기 후반의 수치 도구다.

수치 구현이 넘어야 할 벽은 셋이다.

끝점 특이성. 피적분함수가 $z_k$ 에서 대수적 특이점을 가지므로 일반 구적법이 죽는다. 표준 대응은 가우스-야코비 구적을 특이점 종류에 맞춰 조합하는 것이다.
혼잡 현상(crowding). 영역이 길쭉할수록 선꼭짓점들이 원 위의 한 점 근처로 지수적으로 몰린다. 종횡비가 조금만 커져도 배정밀도로는 서로 다른 점을 구분조차 못 하게 된다. 길쭉한 채널을 통째로 사상하지 말고 잘라서 이어 붙이는(cross-cut) 우회가 필요한 이유다.
순서 제약. $z_k$ 는 실축 위에서 순서를 유지해야 하므로, 제약을 없애는 변수 변환을 걸고 무제약 최적화로 푼다.

트레페선의 SCPACK(1980)과 드리스콜의 MATLAB SC Toolbox(1996)가 사실상의 표준 구현이고, 두 사람이 쓴 단행본(2002)이 이 주제의 교과서다. 전기공학 쪽에서는 코플래너 도파로나 마이크로스트립의 특성 임피던스를 완전타원적분 비 $K(k)/K'(k)$ 로 주는 고전 공식들이 전부 이 사상에서 나왔다 — 직사각형 영역을 상반평면으로 옮기는 사상이 바로 타원적분이기 때문이다.

5. 주코프스키 변환 — 원기둥이 익형이 된다[편집]

항공역학 초창기를 지배한 사상은 이것 하나다.

w = z + \frac{a^{2}}{z}

원점 중심 반지름 $a$ 인 원 → 실축 위의 선분 $[-2a, 2a]$ , 즉 평판.
반지름 $R>a$ 인 원 → 타원.
중심을 실축 왼쪽으로 옮겨 $z=a$ 를 지나게 한 원 → 뒷전이 뾰족한 대칭 익형.
중심을 허축 방향으로도 옮기면 → 캠버가 있는 익형.

여기에 포텐셜 유동의 “균일류 + 더블릿 + 볼텍스 = 순환이 걸린 원기둥 주위 유동”을 얹고 사상하면, 익형 주위 유동의 완전한 해석해가 나온다. 순환 $\Gamma$ 는 뒷전에서 속도가 유한하도록 하는 조건(쿠타 조건)으로 정해지고, 양력은 쿠타-주코프스키 정리 $L' = \rho U \Gamma$ 로 떨어진다. 컴퓨터가 없던 시절에 받음각-양력 곡선을 연필로 그릴 수 있게 해 준 물건이고, 오늘날에도 공력해석 코드의 검증 케이스로 살아 있다. 해석해가 있는 익형 유동은 이것 말고 거의 없기 때문이다.¹

한계도 분명하다. 주코프스키 익형의 뒷전은 첨점(cusp), 즉 끼인각이 0이라 실제 제작이 불가능하다. 유한한 뒷전 각을 주려면 카르만-트레프츠 변환

\frac{w-k a}{w+k a} = \left(\frac{z-a}{z+a}\right)^{k}, \qquad k = 2 - \frac{\tau}{\pi}

로 일반화하면 된다( $\tau$ 가 뒷전 끼인각). 임의 형상 익형은 테오도르센(1931)이 원과의 편차를 푸리에 급수로 반복 보정하는 적분방정식으로 처리했고, 이것이 컴퓨터 이전 시대의 “수치 등각사상”이었다. 물론 세 방법 모두 비점성·비회전을 전제하므로 실속·박리·항력은 원리적으로 나오지 않는다.

6. 왜 이게 문제를 풀어 주는가 — 라플라스의 등각 불변성[편집]

핵심 항등식은 한 줄이다. $w=f(z)$ 가 정칙이고 $\phi$ 가 $w$ -평면에서 조화함수이면

\Delta_{z}\,(\phi\circ f) = |f'(z)|^{2}\,\left(\Delta_{w}\phi\right)\circ f

$|f'|^2$ 는 스칼라 배일 뿐이므로 $\Delta_w\phi=0$ 이면 $\Delta_z(\phi\circ f)=0$ . 조화함수를 등각사상으로 끌어와도 여전히 조화함수라는 뜻이다. 그러면 절차가 이렇게 된다.

풀기 어려운 영역 $\Omega$ 를 원판이나 상반평면으로 보내는 사상 $f$ 를 구한다.
표준 영역에서 라플라스 방정식을 푼다. 원판이면 푸아송 적분 공식으로 끝난다.
해를 $f$ 로 되돌린다.

디리클레 경계조건(등온·등전위·불투과 유선)은 값이 그대로 실려 가므로 아무 손질이 필요 없다. 노이만 조건은 플럭스가 $|f'|$ 스케일로 변형되지만, 2차원에서는 유동함수를 쓰면 노이만을 디리클레로 바꿀 수 있어 이 역시 다룰 만하다. 에너지 $\int|\nabla\phi|^2$ 자체가 2차원에서만 등각 불변이라는 점이 이 모든 편의의 뿌리다 — $|\nabla u|^2$ 의 적분에서 야코비안 $|f'|^2$ 와 기울기의 $|f'|^{-2}$ 가 정확히 상쇄되는데, 이 상쇄는 오직 $n=2$ 에서만 일어난다.

부수적으로 딸려 오는 것들도 많다. 등각사상은 조화측도와 브라운 운동의 도달 분포를 보존하고, 정전용량·저항 같은 등각 불변량을 그대로 옮긴다. 균열 선단의 응력 특이성을 다루는 무스헬리시빌리의 복소변수 탄성해법도 2차원 고체역학에서 같은 구조를 쓴다.

7. 3차원에서는 왜 안 되나[편집]

여기서 찬물이 끼얹어진다. 리우빌이 1850년에 증명한 등각사상에 관한 정리에 따르면,

$n\geq 3$ 인 $\mathbb{R}^n$ 의 영역에서 정의된 등각사상은 반드시 평행이동·회전·확대·반전의 합성, 즉 뫼비우스 변환이다.

3차원에서 자유도는 고작 10개다.² 2차원의 “무한 차원 자유도”와 비교하면 사실상 아무것도 없는 셈이고, 따라서 3차원 리만 사상 정리는 존재하지 않는다. 임의의 3차원 영역을 구로 등각적으로 옮기는 일은 불가능하다.

이게 계산공학에 미치는 영향은 크다. 3차원 형상 문제는 등각사상으로 우회할 길이 없으므로 처음부터 유한요소법·유한체적법·경계요소법으로 정면 돌파해야 한다. 등각성을 포기하고 각도 왜곡을 최소화하는 준등각(quasiconformal) 사상으로 타협하는 것이 그나마 남은 길이고, 메시 생성과 그래픽스의 표면 매개화가 정확히 그 타협 지점에 서 있다. 곡면 위(=본질적으로 2차원)라면 등각 구조가 여전히 살아 있어, 균일화 정리에 기반한 이산 등각 매개화나 최소자승 등각사상(LSCM) 같은 기법이 텍스처 UV 전개에 실제로 쓰인다.

8. 수치 등각사상[편집]

“공식이 있는 사상 몇 개”를 넘어서면 사상 자체를 수치로 구해야 한다. 계보는 대략 이렇다.

적분방정식 계열. 테오도르센 방법, 케르츠만-스타인 방정식, 베그만 방법. 경계에서의 대응 관계를 미지수로 두고 푸는 방식이라 경계요소법과 사고방식이 같다.
지퍼(zipper) 알고리즘. 경계 점열을 하나씩 “지퍼 채우듯” 초등 사상의 합성으로 흡수해 나간다. 경계가 험한 영역에서도 잘 버티고, 수렴성이 증명되어 있다.
유리함수 근사 계열. 2010년대 후반 이후의 흐름으로, 코너 특이성 근처에 극점을 몰아 배치한 유리함수로 조화함수를 직접 근사한다(AAA 근사, “라이트닝” 솔버). 코너가 있는 라플라스 문제를 초기하급수 수준의 정확도로 몇 초 만에 푼다. 등각사상을 경유하지 않고 같은 문제를 푸는 접근이라, 고전 등각사상의 실용 영역을 상당 부분 잠식했다.

정직하게 말하면, 오늘날 등각사상은 범용 해법이 아니라 특수하지만 강력한 도구다. 임의 형상은 어차피 유한요소법이 다 먹었고, 등각사상이 남아 있는 자리는 (a) 해석해가 필요한 검증 케이스, (b) 임피던스·커패시턴스처럼 등각 불변량이 곧 답인 문제, (c) 특이성 구조를 정확히 알아야 하는 균열·모서리 문제, (d) 격자 생성의 초기 사상이다.³

9. 등각 광학 — 클로킹으로 돌아온 19세기[편집]

2006년 레온하르트가 Science 에 발표한 “Optical conformal mapping”은 등각사상을 광학 설계에 정면으로 끌어들였다. 같은 호에 실린 펜드리·슈리그·스미스의 변환광학 논문이 좌표 변환을 유전율·투자율 텐서로 번역했다면, 레온하르트는 2차원 등각사상을 써서 굴절률 분포를 스칼라로 유지하는 길을 택했다.

논리는 이렇다. 2차원 기하광학의 파동 방정식은 (헬름홀츠 방정식 꼴이라) 등각사상 아래에서 굴절률이 $n' = n\,|dz/dw|$ 로 변할 뿐 형태가 유지된다. 즉 등각사상은 이방성을 만들지 않는다. 여기서 레온하르트가 쓴 사상이 하필 $w = z + a^2/z$ , 익형을 만들던 그 주코프스키 변환이다. 이 사상은 두 장의 리만 시트를 이어 붙이는 구조를 갖는데, 빛이 갈래점(branch point) 주위를 한 바퀴 돌아 원래 시트로 되돌아오게 만들면 내부 영역이 광학적으로 감춰진다.

대가도 분명하다. 등각 광학은 기하광학 극한의 근사라 완전한 클로킹이 아니고, 굴절률이 1보다 작아지는 구간이 생겨 대역폭이 제한되며, 위상까지 정확히 복원되지는 않는다. 그럼에도 “이방성 없는 스칼라 굴절률만으로 어디까지 되는가”라는 질문을 연 공헌이 크고, 이 계보가 준등각 변환을 쓴 카펫 클로크로 이어진다. 자세한 내용은 변환광학에 있다.

10. 관련 문서[편집]

그래서 CFD 코드 검증 목록에 주코프스키 익형이 늘 들어 있다. “우리 솔버가 이것도 못 맞히면 나머지는 볼 것도 없다”는 용도. 참고로 이 익형은 성능이 좋아서 남은 게 아니라 답을 알아서 남은 것이다. ↩
$\mathbb{R}^n$ 의 뫼비우스 군의 차원은 $(n+1)(n+2)/2$ 로, $n=3$ 이면 10이다. 반면 $n=2$ 에서는 정칙함수 전체가 후보라 자유도가 무한 차원이다. 차원 2가 특별한 것이지 3이 이상한 게 아니다. ↩
참고로 여기 나오는 리우빌 정리는 위상공간 부피 보존을 말하는 리우빌 정리와 다른 정리다. 같은 사람이 워낙 여러 곳에 이름을 남겨서 생긴 참사이고, 유계 전해석함수가 상수라는 복소해석의 리우빌 정리까지 합치면 최소 셋이다. ↩