On the criticality and the principal eigenvalue of almost periodic elliptic operators

기술 요약: 거의 주기적 타원형 연산자의 임계성과 주 고윳값에 관하여

문제 제기
본 논문은 무한 영역에서 정의된 타원형 연산자의 임계성 이론과 일반화된 주 고윳값(generalised principal eigenvalue) 개념 사이의 관계를 조사하며, 특히 거의 주기적(almost periodic, a.p.) 계수를 가진 연산자에 초점을 맞춘다. 주 고윳값은 유계 영역이나 주기적 연산자의 경우 크레인-루틀만(Krein-Rutman) 이론을 통해 고전적으로 잘 정의되지만, 거의 주기적 설정에서는 그 정의와 성질이 모호해진다. 본 연구의 핵심 문제는 거의 주기적 주 고윳값(즉, a.p. 양의 고유함수를 허용하는 고윳값)의 존재가 연산자가 임계적(critical, 즉 양의 해의 공간이 1차원임)이라는 것과 동치인지 여부를 결정하는 것이다. 나아가, 본 논문은 거의 주기적 맥락에서 극한 연산자(limit operator)로의 이행 시 임계성의 안정성을 검토한다.

방법론
저자는 스펙트럼 이론, 타원형 편미분방정식(PDE) 분석, 그리고 구성적 반례(constructive counter-examples)를 결합하여 연구를 수행한다.

1. 정의 및 프레임워크: 본 논문은 Berestycki, Hamel, Nirenberg, Varadhan이 무한 영역을 위해 도입한 일반화된 주 고윳값($\lambda_1, \lambda'_1, \lambda''_1$)의 프레임워크를 활용한다. 또한 $Lu=0$의 양의 해의 차원 또는 양의 상해(supersolution)의 존재 여부에 따라 연산자를 초임계(supercritical), 임계(critical), 아임계(subcritical)로 구분한다.
2. 리우빌 유형 결과(Liouville-type Results): 분석은 리우빌 유형 정리(특히 Nordmann와 Pinchoff의 정리)를 활용하여, 저차원($N \le 2$)에서 유계 양의 해의 존재가 임계성을 확립하는 조건을 규명한다.
3. 구성적 반례: 방법론의 핵심은 거의 주기적 함수와 연산자를 명시적으로 구성하여 잠재적 동치성을 부정하는 것이다. 저자는 이전 연구[27]에서 구성된, 리미트 주기적(limit periodic, a.p.의 하위 부류)이며 기함수(odd)이고 특정 적분 성질을 갖는 특정한 함수 $b(x)$를 사용한다. 이 함수는 $u'' \pm 2b(x)u'$ 형태의 비자기수반(non-self-adjoint) 및 자기수반(self-adjoint) 연산자를 정의하는 데 사용된다.
4. 자기수반 형태로의 변환: 스펙트럼 성질을 분석하기 위해, 비자기수반 연산자들을 지수적 변수 변환($v = e^{\int b} u$)을 통해 자기수반 슈뢰딩거형 연산자로 변환한다.
5. 극한 연산자 분석: 계수의 평행 이동(translations) 시퀀스를 정의하여 극한 연산자를 구성한다. 저자는 구성된 함수들의 점근적 거동을 분석하여 이 극한 연산자들의 임계성을 결정한다.

주요 기여 및 결과
본 논문은 주기적 설정과 거의 주기적 설정 사이의 구분을 명확히 하는 세 가지 주요 결과를 제시한다.

1. A.P. 연산자에 대한 리우빌 유형 결과:
   본 논문은 양의 a.p. 해를 허용하는 정칙 계수를 가진 자기수반 연산자에 대해, 해당 연산자가 임계적일 필요충분조건은 공간 차원이 $N \le 2$인 경우임을 입증한다(결론 2.4). 이는 알려진 주기적 연산자의 결과를 a.p. 해의 가정하에 거의 주기적 사례로 확장한 것이다.

2. 임계성과 A.P. 주 고윳값의 비동치성 (반례 1):
   저자는 차원이 $N=1$인 자기수반 a.p. 연산자를 구성하였으나, 이 연산자는 양의 a.p. 고유함수를 허용하지 않는다.

• 메커니즘: 연산자 $L = \partial_x^2 - 2b(x)\partial_x$는 유계 양의 해 $\phi(x) = e^{-\int_0^x b(t)dt}$를 허용하지만, 이 해는 무한대에서 0으로 감쇠한다.
• 결과: $\phi$가 (스칼라 배를 제외한) 유일한 양의 해이지만 a.p.가 아니기 때문에(감쇠 특성으로 인해), 이 연산자는 임계적이지만 a.p. 주 고윳값을 갖지 않는다. 이는 차원이 1임에도 불구하고 임계성이 a.p. 주 고윳값의 존재를 함축하지 않음을 보여준다.

3. 극한 하에서의 임계성 불안정성 (반례 2):
   본 논문은 $\lambda_1 = 0$인 자기수반 a.p. 연산자 $L$을 제시하는데, 이 연산자는 임계적인 극한 연산자 $L^*$를 갖는 아임계(subcritical) 연산자이다.

• 메커니즘: 함수 $b(x)$의 계수 평행 이동을 분석함으로써, 양의 유계 해를 허용하는 극한 연산자 $L^*$를 구성한다.
• 결과: 이는 거의 주기적 설정에서 임계성이 극한 연산자로의 이행 과정에서 불변하는 성질이 아님을 보여준다. 아임계 연산자가 임계적인 극한을 가질 수 있으며, 역으로(Remark 1에서 언급됨) 임계적 연산자가 아임계 극한을 가질 수도 있다.

의의 및 주장
본 논문은 "거의 주기적 설정에서 임계성 성질의 불안정한 성격"을 밝혀낸다고 주장한다. 모든 극한 연산자(단순 평행 이동인)가 임계성을 공유하는 주기적 경우와 달리, 거의 주기적 설정에서는 연산자와 그 극한 사이의 괴리가 발생할 수 있다.

구체적으로, 본 논문은 주기적 연산자와 거의 주기적 연산자 사이의 세 가지 현저한 차이점을 강조한다:

1. a.p. 연산자의 경우 $\lambda_1 = 0$이라 하더라도 임계적이지 않을 수 있는 반면(심지어 $N=1$에서도), 주기적 연산자의 경우 $N \le 2$에서 $L + \lambda_1$은 항상 임계적이다.
2. 임계적 a.p. 연산자에 대해 a.p. 주 고윳값의 존재가 보장되지 않는다.
3. 임계성은 극한 연산자의 형성에 의해 보존되지 않는다.

이 연구는 일반화된 주 고윳값 이론을 검토하고 확장하는 역할을 하며, 주기적 연산자의 구조적 성질(예: 저차원에서 임계성과 주기적 고유함수의 존재 사이의 동치성)이 거의 주기적 경우로 자동 확장되지 않음을 명확히 한다. 본 결과들은 확률론적 도구보다는 리미트 주기적 함수의 기초적인 구성과 성질에 의존하며, 이러한 스펙트럼 현상에 대해 PDE 중심적인 관점을 제공한다.