구형 장애물 배치가 두 번째 디리클레 고유값을 최대로 만든다

초록

반경이 정해진 두 구가 이루는 이중 연결 영역 중, 구가 동심일 때 디리클레 라플라시안의 두 번째 고유값이 최대가 됨을 증명한다. 이 결과는 평면·고차원에서의 첫 번째 고유값 최적화 결과를 확장한 것으로, 구면 및 쌍곡공간에서도 동일하게 성립한다.

상세 분석

본 논문은 “두 구가 경계인 이중 연결 영역(두 구 사이의 구멍이 있는 영역)”에서 디리클레 라플라시안의 두 번째 고유값 λ₂를 어떻게 최적화할 수 있는지를 다룬다. 먼저, λ₁(첫 번째 고유값)은 영역이 작아질수록 증가한다는 단조성 성질과, Hersch(2차원)·Harrell‑Kröger‑Kurata·Kesavan(고차원) 등이 제시한 “두 구가 동심일 때 λ₁이 최대”라는 결과를 인용한다. 두 번째 고유값은 부호가 바뀌는 고유함수(노달 영역이 두 개)와 연관되므로, 단순히 영역 크기만으로는 최적화를 설명하기 어렵다.

핵심 아이디어는 다음과 같다. (1) λ₂는 Courant 정리에 의해 두 개의 연결된 노달 영역을 갖는 고유함수에 대응한다. (2) 두 구의 중심을 이동시키면 영역의 대칭성이 깨지면서 고유함수의 형태가 변하고, 이에 따라 λ₂도 변한다. 저자들은 변분 원리를 이용해 λ₂에 대한 형태 미분(formal shape derivative)을 구하고, Hadamard 변분 공식으로 경계 변위가 λ₂에 미치는 영향을 정량화한다. 구면 좌표계에서 경계 변위가 구의 중심 이동에 해당함을 보이고, 이때 발생하는 일차항이 부호가 일정함을 증명한다.

특히, 구면 조화함수와 레전드르 다항식의 정규성을 활용해, 동심 구형 쉘(spherical shell)에서는 고유함수가 각 구면에 대해 구면 조화함수의 1차 모드(선형)와 일치한다는 사실을 이용한다. 이 경우 λ₂는 구면 대칭에 의해 고유다중도가 n배가 되며, 이는 비동심 배치에서 발생하는 비대칭적인 변형에 비해 에너지(라플라시안의 Rayleigh quotient)가 최소임을 의미한다.

또한, 비교 원리와 반대칭(antisymmetric) 변형을 결합해, 비동심 배치에서는 λ₂가 반드시 동심 배치보다 작아짐을 보인다. 구체적으로, 두 구 사이의 거리 d를 매개변수로 두고 λ₂(d)를 정의한 뒤, d=0(동심)에서 λ₂’(0)=0, λ₂’’(0)<0임을 증명함으로써 λ₂가 d=0에서 전역 최대임을 확인한다.

마지막으로, 동일한 방법론을 구면 Sⁿ와 쌍곡공간 Hⁿ에 적용한다. 이들 공간은 일정한 곡률을 갖지만, 라플라시안 연산자의 형태가 변형되지 않으며, 거리 함수와 볼록성(geodesic convexity)만이 차이를 만든다. 따라서 변분 계산과 대칭성 논증을 그대로 옮길 수 있고, 결과적으로 “동심 구형 쉘이 λ₂를 최대화한다”는 정리가 모든 정칙 곡률 공간에서 성립한다는 결론에 도달한다.

이러한 분석은 고유값 최적화 문제에서 대칭성의 역할을 명확히 보여주며, 특히 두 번째 고유값과 같은 비단조적인 스펙트럼 값에 대해서도 대칭 영역이 최적임을 증명한 점에서 의미가 크다.