비가중 L 제곱 공간에서 deRham 복합의 닫힌 범위와 Gaffney 부등식

초록

본 논문은 ℝ³의 무한 영역에서 가중치가 없는 L² 공간을 대상으로, 영역이 몇 방향으로 제한되는가에 따라 그라디언트·회전·발산 연산자의 닫힌 범위 성질을 완전히 규정한다. 핵심은 Gaffney 부등식을 이용해 회전 연산자의 닫힌 범위를 ‘두 방향으로 제한된 영역’에서만 확보할 수 있음을 보이고, 이를 전역적인 bi‑Lipschitz 변환을 통해 일반적인 Lipschitz 영역으로 확장한다. 또한, 이러한 닫힌 범위가 Maxwell 연산자의 스펙트럼 갭을 제공함을 이용해 전자기 파동의 지수적 안정성을 얻는다.

상세 분석

논문은 먼저 Hilbert 공간에서 닫힌 연산자 A의 닫힌 범위와 그에 대응하는 불등식 ‖x‖≤c‖Ax‖( x∈D(A)∩N(A)⊥ )이 동치임을 정리 1.1 로 제시한다. 이를 바탕으로 L²(Ω)‑벡터장 공간에서 ∇, rot, div 연산자를 각각 최대 실현(maximal realization)으로 정의하고, 이들 사이의 de Rham 복합 구조 R(∇)⊂N(rot), R(rot)⊂N(div) 등을 명시한다.

핵심 기술은 Gaffney 부등식이다. 정의에 따르면 Ω가 “Gaffney 영역”이면 모든 E∈D(˙rot)∩D(div) 혹은 D(rot)∩D(˙div) 에 대해 E∈H¹(Ω)이며 ‖∇E‖₂≤‖rot E‖₂+‖div E‖₂ 가 성립한다. 저자는 부등식의 상수 c_g 를 1 로 고정하고, 이를 증명하기 위해 두 단계(정규성 H¹ 확보와 부등식 자체 증명)를 수행한다. 특히, 볼록 영역과 직육면체(cuboid)에서는 단순한 적분 부분과 표면 적분을 이용해 직접 증명한다.

그 다음, Gaffney 영역에서 ˙rot 연산자의 닫힌 범위를 확보하기 위한 구체적 절차를 제시한다. (i) 정리 1.1 로부터 닫힌 범위 부등식 ‖E‖≤c‖rot E‖ 를 보이고, (ii) N(˙rot)⊥=R(rot) 를 이용해 대상 함수를 D(˙rot)∩D(div) 로 제한한다. (iii) Gaffney 부등식으로 ‖∇E‖를 ‖rot E‖ 로 제어하고, (iv) 각 성분에 대해 프리드리히스 부등식 ‖u‖≤c_f‖∇u‖ 를 적용한다. 여기서 u는 E의 각 좌표 성분이며, 적절한 경계조건(예: Dirichlet) 하에 성립한다. 최종적으로 ‖E‖≤c_f‖rot E‖ 가 얻어져 ˙rot 의 닫힌 범위가 증명된다.

이러한 논증은 영역의 ‘방향 제한성’에 따라 달라진다. 저자는 직육면체를 기준으로 다음과 같은 완전한 동치 관계를 증명한다.

• ∇(또는 ˙∇)의 닫힌 범위 ⇔ Ω가 한 방향으로 제한됨.
• rot(또는 ˙rot) 의 닫힌 범위 ⇔ Ω가 두 방향으로 제한됨.
• div(또는 ˙div) 의 닫힌 범위 ⇔ Ω가 세 방향, 즉 유한 부피를 가짐.

특히, ‘두 방향 제한’이라는 조건은 회전 연산자가 전자기 파동에서 핵심적인 역할을 하는 Maxwell 연산자 M=