∇미분기하학
VI. 대역 기하 · 15/16

극소곡면

H = 0, 비눗방울 막과 플라토 문제

읽음 0/0 갱신 2026-06-30

개요 — 동기·문제의식

측지선는 "두 점 사이의 최단 곡선"을 물었다. 곡면 이론의 자연스러운 다음 질문은 그 차원을 하나 올린다: 고정된 경계곡선을 채우는 최소 넓이 곡면은 무엇인가? 이것이 19세기의 유명한 플라토 문제(Plateau's problem)이며, 그 이름은 철사 고리를 비눗물에 담갔다 꺼내면 실제로 최소 넓이 곡면(비눗막)이 저절로 나타난다는 것을 관찰한 물리학자 조제프 플라토에서 왔다. 가우스곡률과 평균곡률에서 정의한 평균곡률 $H$가 정확히 이 문제의 답을 준다 — 넓이가 임계(정지)인 조건이 $H\equiv0$이라는 순수하게 국소적인 미분방정식으로 환원된다.

직관 (기하)

비눗막을 상상하면 가장 직접적이다. 표면장력은 막의 넓이에 비례하는 에너지를 가지므로, 막은 에너지(=넓이)를 최소화하려 한다. 만약 막의 어느 점이 한쪽으로 볼록하게 튀어나와 있다면, 표면장력이 그 점을 안쪽으로 당겨 넓이를 줄이려 할 것이다 — 평형 상태에 도달하려면 그런 "순수한 당김"이 없어야 한다. $H=\tfrac12(\kappa_1+\kappa_2)$가 $0$이라는 것은 정확히 두 주곡률이 "정확히 반대로 상쇄"된다는 뜻이다: 한 방향으로는 위로 볼록하고 수직 방향으로는 아래로 볼록하되, 그 정도가 완전히 같다. 그래서 극소곡면은 (평면이 아닌 한) 모든 비평탄점이 안장 모양이다 — 어느 한 방향으로 볼록하게 튀어나온 극소곡면이란 존재하지 않는다.

여기서 "극소(minimal)"라는 이름이 다소 오해를 부른다는 점도 짚어둘 만하다: $H=0$은 넓이 범함수의 임계점(도함수가 $0$) 조건일 뿐, 반드시 넓이가 국소 최솟값이라는 보장은 아니다 — 저울 위의 평형이 반드시 안정적인 최소는 아닌 것과 같은 논리다.

정의

극소곡면은 평균곡률이 어디서나 $0$인 곡면이다, $H\equiv0$.1

넓이 범함수의 제1변분

정확히 왜 $H=0$이 이 이름을 얻는지는 변분법으로 보인다. 경계가 고정된 곡면조각의 매끄러운 족 $\sigma^\tau$($\tau=0$이 원래 곡면)를 생각하고, 넓이 $A(\tau)=\iint\lVert\sigma^\tau_u\times\sigma^\tau_v\rVert\,du\,dv$의 $\tau=0$에서의 도함수를 계산하면 $$\dot A(0) = -2\iint_{\operatorname{int}(\pi)} H\,\psi\,(EG-F^2)^{1/2}\,du\,dv,$$ $\psi=\dot\sigma\cdot\mathbf{N}$은 변형의 법선 성분이다.2 경계를 고정한 모든 변형에 대해 넓이가 정지(stationary)하려면, 임의의 $\psi$에 대해 이 적분이 $0$이어야 하므로(변분법의 기본 보조정리), 피적분함수의 계수인 $H$가 어디서나 $0$이어야 한다. 따라서:

어떤 곡면이 같은 경계를 갖는 모든 곡면 중 최소 넓이를 갖는다면, 그 곡면은 극소곡면이다.3

역은 실패한다

역명제("극소곡면은 항상 넓이 최소")는 거짓이다 — $H=0$은 임계점일 뿐 최솟값이라는 보장이 없다. 표준 반례: 두 개의 평행한 동축 원을 잇는 현수면(catenoid)은 두 원이 충분히 가까울 때는 최소 넓이 곡면이지만, 원 사이 거리가 어떤 임계값 $a_0$을 넘으면 더 이상 최소가 아니게 된다(두 원판을 그냥 잇는 경쟁자보다 넓이가 커진다) — 그럼에도 여전히 극소곡면(임계점)이다.4

물리적 의미

비눗막은 철사 고리에 걸쳐 표면장력 에너지(넓이에 비례)를 최소화하므로 극소곡면의 모양을 취한다.5 반면 비눗방울은 안팎의 압력차를 지탱해야 하므로 다르다 — 가상일(virtual work) 논증으로 압력차가 $H$에 비례함을 보일 수 있어, 비눗방울은 $H=0$이 아니라 상수(0이 아닌) 평균곡률을 갖는다(구는 정확히 이 조건을 만족하는 표준적 예).6

예와 등각·정칙 구조

고전적인 예로 평면, 현수면(카테노이드, $x=\cosh z$의 회전면 — 회전면 중 유일한 극소곡면), 나선면(helicoid)이 있다.7 Pressley는 등각(정칙) 매개변수화 아래에서 더 깊은 이론을 전개한다: 등각으로 매개변수화된 곡면이 극소일 필요충분조건은 좌표함수가 조화함수(harmonic)인 것이며, 이로부터 정칙함수를 이용한 바이어슈트라스-에네퍼 표현(Weierstrass–Enneper representation)이 나오고, 현수면과 나선면이 서로 등거리 변형(isometric deformation)으로 이어진다는 사실도 이 틀에서 설명된다.8

주곡률의 관계식 $H=\tfrac12(\kappa_1+\kappa_2)$ 때문에, 극소성은 정확히 $\kappa_1=-\kappa_2$를 의미한다 — 따라서 (평탄점을 빼면) 극소곡면의 모든 점은 $K=\kappa_1\kappa_2=-\kappa_1^2\le0$인 안장점이다.

주요 정리

정리 (넓이 최소 ⟹ 극소). 고정된 경계를 갖는 모든 곡면 중 넓이가 최소인 곡면은 반드시 $H\equiv0$을 만족한다.

증명 보기

증명. 위 "정의" 절의 제1변분 논증. 최소값을 갖는 함수(범함수)는 그 정의역 내부의 모든 방향의 변분에 대해 도함수가 $0$이어야 한다는 것이 다변수 미적분의 극값 필요조건을 무한차원으로 확장한 것이며, $\dot A(0)=0$이 모든 $\psi$에 대해 성립하려면 $H\equiv0$이어야 한다(만약 어느 점에서 $H\ne0$이라면, 그 점 근처에 국한된 $\psi$를 $H$와 같은 부호로 고르면 $\dot A(0)<0$이 되어 더 작은 넓이의 경쟁 곡면을 만들 수 있으므로, 최소성에 모순). ∎

정리 (자명한 역의 실패, 현수면 예). 극소곡면(예: 현수면)은 경계를 고정한 변형 중 넓이의 임계점일 뿐, 두 동축원의 거리가 충분히 크면 최솟값이 아니다.

증명 보기

증명 스케치. 두 반지름 $a$인 원(거리 $2h$만큼 떨어짐)을 잇는 현수면의 넓이를 계산하고, 이를 (연결되지 않은) 두 평면원판(각 넓이 $\pi a^2$, 총 $2\pi a^2$)이라는 경쟁 "곡면"(퇴화된 극소곡면, $H=0$이 자명하게 성립하는 경계 사례)의 넓이와 비교한다. $h/a$가 어떤 임계비율을 넘으면 현수면의 넓이가 두 원판의 합보다 커짐을 (현수면 넓이의 명시적 적분 공식으로) 보일 수 있다 — 따라서 그 순간부터 현수면은 더 이상 최소가 아니다(단, 여전히 넓이 범함수의 임계점이라는 극소곡면의 정의는 유지된다). ∎ 이는 임계점과 최솟값의 차이를 극명하게 보여주는 사례이며, 1변수 미적분에서 $f'(x_0)=0$이 극솟값을 보장하지 않는 것(변곡점 등)의 무한차원 유비다.

정리 (등각 매개변수화와 조화성). 등각으로 매개변수화된 곡면조각 $\sigma(u,v)$(즉 $E=G$, $F=0$)이 극소일 필요충분조건은 좌표함수 $\sigma=(x,y,z)$의 각 성분이 조화함수인 것이다, $\Delta x=\Delta y=\Delta z=0$.

증명 보기

증명 스케치. 등각 조건 아래에서는 라플라시안 $\sigma_{uu}+\sigma_{vv}$가 정확히 $2E\,H\,\mathbf{N}$에 비례함을 보일 수 있다(등각 매개변수화가 계산을 극도로 단순화하는 이유 — $L+N$이 $H$와 직접 비례하게 된다). 따라서 $H\equiv0\iff\sigma_{uu}+\sigma_{vv}=0\iff$ 각 좌표함수가 조화함수. ∎ 이 정리가 극소곡면을 복소해석학(조화함수·정칙함수 이론)과 연결하는 다리이며, 바이어슈트라스-에네퍼 표현은 이 다리를 명시적인 공식으로 완성한다.

예제

예제 1 (평면, 자명한 극소곡면). $\sigma(u,v)=(u,v,0)$. 가우스곡률과 평균곡률 예제 2에서 $L=M=N=0$이므로 $H=0$ — 가장 단순한(그리고 유일하게 평탄점만으로 이루어진) 극소곡면.

예제 2 (현수면, 회전면 중 유일한 극소곡면). $\sigma(u,v)=(\cosh u\cos v,\cosh u\sin v,u)$(카테노이드, $x=\cosh z$의 회전). 계산하면 $\kappa_1=1/\cosh^2u$, $\kappa_2=-1/\cosh^2u$ — 정확히 $\kappa_1=-\kappa_2$이므로 $H=0$이 모든 점에서 성립. $K=-1/\cosh^4u<0$이므로 모든 점이 안장점(평탄점 없음, 예외적으로 평면과 다름).

예제 3 (나선면, 또 다른 극소곡면). 나선면 $\sigma(u,v)=(u\cos v,u\sin v,v)$(직선이 축 주위로 회전하면서 동시에 축을 따라 이동)도 계산하면 $H\equiv0$을 만족한다. 현수면과 나선면은 (바이어슈트라스-에네퍼 표현에서 같은 정칙 데이터의 위상만 바꾼 것에 대응해) 국소적으로 등거리이면서 동시에 서로 연속적으로 변형될 수 있는 유명한 쌍이다 — 등거리이지만 전혀 다른 모양(제1기본형식의 평면-원기둥 예와 같은 종류의 현상, 다만 여기서는 둘 다 극소곡면이라는 추가 제약까지 공유).

예제 4 (안장 원점, 국소 극소성 확인). 가우스곡률과 평균곡률 예제 4에서 $\sigma(u,v)=(u,v,uv)$의 원점에서 $H=0$이었다(비록 정확한 카테노이드나 나선면은 아니지만, 이 점 근방에서의 국소적 조건은 만족). 이는 극소성이 전역적 곡면 전체가 아니라 각 점에서의 조건($H=0$)이라는 것을 상기시키는 예 — 곡면 전체가 극소곡면이려면 모든 점에서 이 조건이 성립해야 한다.

예제 5 (비눗방울, $H\ne0$ 상수인 경우와의 대조). 반지름 $r$인 구 모양 비눗방울은 주곡률 예제 1에서 $\kappa_1=\kappa_2=-1/r$이므로 $H=-1/r\ne0$(상수, $0$이 아님) — 극소곡면이 아니다. 압력차 $\Delta p$가 $H$에 비례한다는 물리적 사실과 정합: 비눗방울 안팎의 압력차가 있어야 형태를 유지하므로 $H\ne0$이어야 한다(비눗막처럼 안팎 압력이 같다면 $H=0$, 즉 극소곡면).

예제 6 (현수면의 임계 반경, 정성적). 예제 2의 현수면에서 두 경계원의 거리 $2h$가 반지름 $a$에 비해 커지면(구체적으로 $h/a$가 어떤 임계값 $\approx1.5$를 넘으면), 현수면 해가 아예 존재하지 않게 되거나(연결이 끊어짐) 존재해도 넓이 최소가 아니게 된다 — 플라토 문제의 해가 항상 존재·유일하지는 않다는 것을 보여주는 고전적 현상.

예제 7 (엔네퍼 곡면, 자기교차 극소곡면). 바이어슈트라스-에네퍼 표현으로 얻어지는 또 다른 고전적 예인 엔네퍼 곡면(Enneper surface)은 대수적으로 간단한 정칙함수($f(w)=1,g(w)=w$ 등)에서 나오지만, 넓은 매개변수 영역에서는 자기교차(self-intersection)를 일으킨다 — 극소곡면이라고 해서 항상 매끄럽게 매장된(embedded, 자기교차 없는) 곡면은 아니라는 것을 보여주는 예.

흔한 오해와 함정

큰 그림 / 연결

극소곡면은 가우스곡률과 평균곡률의 $H=0$ 조건으로 정의되며, 주곡률의 언어로는 $\kappa_1=-\kappa_2$다. 측지선가 1차원 최단경로 문제(플라토 문제의 곡선 버전)의 답이었다면, 극소곡면은 그 2차원 유비다 — 둘 다 "범함수(길이 또는 넓이)의 제1변분이 $0$"이라는 같은 변분법적 정의를 공유한다. 제1기본형식과의 연결은 등각 매개변수화를 통해 나타난다: 등각좌표에서 극소성이 조화함수 조건으로 환원되는 것은 계량(제1기본형식)의 특별한 선택이 문제를 단순화하는 좋은 예다. 현수면과 나선면의 등거리 변형은 빼어난 정리이 허용하는 범위(같은 $K$ 함수를 갖는 곡면들 사이의 변형) 안에서 일어나는 현상으로 볼 수 있다.

연습문제

  1. $H=0$과 $K=0$이 다른 조건임을, 평면과 현수면 각각의 $(K,H)$ 값으로 대조하라.
  2. 넓이 제1변분 공식에서 만약 $\psi$가 항등적으로 $0$이면(즉 접평면 방향으로만 변형) $\dot A(0)$이 왜 자동으로 $0$인지 설명하라.
  3. 구 모양 비눗방울의 $H$가 왜 $0$이 아닌지, 압력차와의 관계로 설명하라.
  4. 현수면이 회전면 중 유일한 극소곡면이라는 사실을, 회전면의 $H$ 공식이 자오선의 미분방정식으로 환원된다는 관점에서 (정성적으로) 논하라.
  5. 극소곡면의 모든 비평탄점이 안장점(쌍곡점)이라는 사실을 $K=-\kappa_1^2\le0$ 논증으로 다시 유도하라.
  6. 나선면과 현수면이 등거리라는 사실이 놀라운 이유를 빼어난 정리의 관점에서 설명하라(힌트: 등거리이려면 무엇이 같아야 하는가).
  7. 엔네퍼 곡면(예제 7)이 자기교차를 일으킨다는 사실이 "극소곡면 = 최소 넓이"라는 오해를 왜 더 강하게 반박하는지 논하라.
힌트 / 정답
  1. 평면: $K=0,H=0$(둘 다 $0$). 현수면: $K=-1/\cosh^4u\ne0$(음수, 상수 아님), $H=0$ — $H=0$이지만 $K\ne0$인 명백한 예로, $H=0$과 $K=0$이 서로 다른 조건임을 보여준다.
  2. $\psi=\dot\sigma\cdot\mathbf N$이 법선 성분이므로, $\psi\equiv0$이라는 것은 변형이 순전히 접평면 방향(곡면 위에서 매개변수를 재배치하는 것과 같은 효과)이라는 뜻이다. 그런 재매개변수화는 곡면의 상(image, 실제 모양)을 바꾸지 않으므로 넓이도 바뀌지 않는다 — 공식 자체에서도 적분의 피적분함수가 $\psi$에 비례하므로 $\psi=0$이면 자동으로 $\dot A(0)=0$.
  3. 비눗방울은 안팎의 압력차 $\Delta p\ne0$을 표면장력으로 지탱해야 평형을 이룬다(라플라스 압력). 가상일 논증에 의해 $\Delta p\propto H$이므로, $\Delta p\ne0$이려면 $H\ne0$이어야 한다 — 만약 $H=0$이라면 압력차가 없어야 하는데, 그러면 애초에 방울이 그 형태를 유지할 이유(장력을 상쇄할 힘)가 없다.
  4. 회전면 $\sigma(u,v)=(f(u)\cos v,f(u)\sin v,g(u))$에서 $H=0$ 조건은 $f,g$에 대한 2계 상미분방정식으로 환원되며, 이 방정식의 (특이하지 않은) 일반해가 정확히 $f(u)=c\cosh(u/c)$(즉 현수선) 꼴로 나온다는 것이 고전적인 계산 결과다 — 평면(퇴화된 경우, $c\to\infty$ 극한 또는 직선 자오선)을 제외하면 자오선이 현수선이어야만 회전면이 극소일 수 있다는 뜻.
  5. $H=0\iff\kappa_1+\kappa_2=0\iff\kappa_2=-\kappa_1$. 그러면 $K=\kappa_1\kappa_2=\kappa_1(-\kappa_1)=-\kappa_1^2\le0$이며, 등호는 $\kappa_1=0$(따라서 $\kappa_2=0$도, 평탄점)일 때만 성립. $\kappa_1\ne0$인 모든 점(비평탄점)에서는 $K<0$, 즉 엄격히 안장점(쌍곡점).
  6. 등거리이려면 빼어난 정리에 의해 (필요조건으로서) 두 곡면의 가우스 곡률 $K$가 대응점에서 같은 함수여야 한다. 현수면과 나선면이 서로 완전히 다른 모양(하나는 볼록한 회전체, 하나는 나선형 계단 같은 모양)임에도 불구하고 실제로 같은 $K$ 분포를 가져 등거리가 성립한다는 것이 놀라운 점이며, 바이어슈트라스-에네퍼 표현에서 같은 정칙함수 데이터에 위상(phase) 인자 $e^{i\theta}$만 곱해 얻어지는 "결합 극소곡면(associate family)"이라는 사실이 그 이유를 설명해 준다.
  7. "극소곡면 = 최소 넓이"라는 오해가 성립하려면 적어도 그 곡면이 잘 정의된 매장(embedding)이어야 경계 안쪽 영역의 "넓이"를 비교하는 것이 직관적으로 의미가 있다. 엔네퍼 곡면처럼 자기교차하는 경우, 곡면이 스스로와 겹치므로 "최소 넓이를 갖는 곡면"이라는 표현 자체가 모호해진다(어떤 경쟁 곡면과 비교해야 하는지 불분명) — 극소성(H=0, 국소 임계조건)이 최소성(전역 대소 비교)보다 훨씬 약하고 다른 층위의 개념임을 극단적으로 보여준다.

관련 개념

  1. 원전 소개 — Pressley §12.1 Def. 12.1.2 — "A minimal surface is a surface whose mean curvature is zero everywhere." ↩

  2. 원전 소개 — Pressley §12.1 Thm. 12.1.1 — "$\dot A(0)=-2\iint_{\operatorname{int}(\pi)} H(EG-F^2)^{1/2}\,du\,dv$" with $\psi=\dot\sigma\cdot\mathbf{N}$. ↩

  3. 원전 소개 — Pressley §12.1 Cor. 12.1.3 — "If a surface $S$ has least area among all surfaces with the same boundary curve, then $S$ is a minimal surface." ↩

  4. 원전 소개 — Pressley §12.1 Ex. 12.1.4 — the catenoid is not area-minimizing once $a>a_0$ (its area exceeds the two-disc competitor). ↩

  5. 원전 소개 — Pressley §12.1 [synthesis] — "A soap film spanning a wire in the shape of a curve $C$ should... adopt the shape of a surface of least area with boundary $C$." ↩

  6. 원전 소개 — Pressley §12.1 [synthesis] — by virtual work, the pressure difference $p$ is proportional to $H$, so a soap bubble has constant (nonzero) mean curvature. ↩

  7. 원전 소개 — Pressley §12.1 Ex. 12.1.4 and §12.2 [synthesis] — the catenoid as a minimal surface of revolution; other examples (helicoid, Enneper, Scherk) in §12.2. ↩

  8. 원전 소개 — Pressley §12.4–12.5 [synthesis] — conformal parametrization makes minimality equivalent to harmonic coordinate functions, giving the holomorphic (Weierstrass–Enneper) representation and the catenoid–helicoid deformation. ↩

  9. 원전 소개 — O'Neill §5.2 [synthesis] — the $H=0$ condition follows directly from the shape operator's trace, consistent with the Pressley definition; O'Neill does not treat minimal surfaces as a separate chapter. ↩