거의 주기적 타원 연산자의 임계성 및 일반화 주특값 연구

초록

본 논문은 거의 주기적 계수를 갖는 타원 연산자에 대해 일반화된 주특값(λ₁)의 정의와 성질을 검토하고, 이를 임계성 이론과 연결한다. 차원 N≤2에서는 양의 거의 주기적 해가 존재할 경우 연산자가 임계임을 보이며, 1차원에서 임계 연산자라도 거의 주기적 주특값이 존재하지 않을 수 있음을 반례로 제시한다. 또한 λ₁=0이면서도 하위 임계인 연산자가 임계인 극한 연산자를 가질 수 있음을 보여, 거의 주기적 환경에서 임계성의 불안정성을 강조한다.

상세 분석

논문은 먼저 유한 영역에서의 전통적인 주특값 개념이 Krein‑Rutman 정리를 통해 존재·유일·단순함을 보장받는 반면, 무한 영역에서는 이러한 정리가 적용되지 않음에 주목한다. 이를 극복하기 위해 Berestycki·Nirenberg·Varadhan이 제안한 일반화 주특값 λ₁을 도입하고, λ₁, λ₁′, λ₁″라는 세 가지 변형을 통해 최대 원리와 양의 해의 존재·유일성을 기술한다. 특히 거의 주기적(a.p.) 함수는 번역군에 대해 상대적으로 콤팩트한 성질을 가지지만, 연산자의 resolvent가 콤팩트하지 않아 Krein‑Rutman 이론을 직접 적용할 수 없다는 점을 강조한다.

주요 결과로는 다음과 같다.

1. Liouville‑type 정리: 차원 N≤2에서 양의 거의 주기적 해 φ가 존재하면 연산자 L은 임계(critical)이며, 이는 λ₁=0과 동치임을 보인다. 이는 Nordmann의 결과와 Pinchover의 Liouville 정리를 결합한 것으로, 자기‑adjoint 연산자에 한정된다.
2. 반례 1: 1차원에서 자기‑adjoint a.p. 연산자 L을 구성하여 L이 임계임에도 불구하고 거의 주기적 양의 고유함수가 존재하지 않음을 증명한다. 여기서는 이전 논문