Infinitely many solutions to Kirchhoff-Boussinesq-type equations on Riemannian manifolds

기술 요약: 리만 다양체 상의 키르히호프-부시네스크 유형 방정식의 무한해 존재성

문제 정의
본 논문은 차원이 $d$인 폐쇄(콤팩트하고 경계가 없는) 리만 다양체 $(M, g)$로 정의된 키르히호프-부시네스크 유형 방정식 클래스의 해의 존재성과 다중성을 조사한다. 저자들은 유클리드 영역에서 횡방향 전단 효과를 고려하여 굽은 탄성판의 역학을 모델링하기 위해 연구되었던 정적 키르히호프-부시네스크 방정식을 고차 타원 연산자가 존재하는 다양체 설정으로 일반화하였다.

연구되는 주요 방정식은 다음과 같다:
$$P_a^m u \pm (\Delta_{g})_p u = f_q(u) + |u|^{r-2}u \quad \text{on } M,$$
여기서:

• $P_a^m = \sum_{i=0}^m a_i (-\Delta_g)^i$는 매끄러운 계수 $a_i$를 갖는 $2m$차 타원 연산자이며, $a_0 > 0$ 및 $a_m > 0$이다.
• $(\Delta_{g})_p = \text{div}_g(|\nabla \cdot|^{p-2}\nabla \cdot)$는 $p$-라플라시안이다.
• $f_q$는 초선형(superlinear) 유형의 연속 비선형성이다.
• 지수들은 $2 < p < d$ 및 $p < q < r \leq 2^*_{m,d}$를 만족하며, 여기서 $2^*_{m,d} = \frac{2d}{d-2m}$은 임계 소볼레프 지수이다.

본 연구는 임계 소볼레프 지수($r = 2^*_{m,d}$)와 관련된 비콤팩성 문제를 해결하기 위해 대칭성 가정을 도입한다. 구체적으로, 저자들은 $\Gamma$가 등거리 변환 군 $\text{Isom}(M, g)$의 닫힌 부분군이고 궤도(orbit)의 차원이 다양체의 차원보다 엄격히 작은 경우($\dim \Gamma x < d$), $\Gamma$-불변 해를 구하고자 한다.

방법론
분석은 [41]에 기술된 네하리 다양체(Nehari manifold) 접근법을 활용한 변분법과 임계점 이론에 의존한다. 핵심적인 방법론적 단계는 다음과 같다:

1. 함수 공간 프레임워크: 문제는 소볼레프 공간 $H^m_g(M)$에서 정식화된다. 저자들은 에너지 범함수 $I$를 정의하며, 이의 임계점이 약해(weak solution)에 대응함을 보인다. 또한 연산자 $P_a^m$에 의해 유도된 노름 $\|\cdot\|_a$가 표준 소볼레프 노름과 동등함을 확립한다.
2. 네하리 집합 분석: 저자들은 네하리 집합 $\mathcal{N} = \{u \in H^m_g(M) \setminus \{0\} : I'(u)u = 0\}$을 분석한다. 저자들은 $\mathcal{N}$이 공집합이 아니며, 닫혀 있고, 0으로부터 떨어져 있음을 증명한다. 핵심적인 기술적 결과(보조정리 2.4)는 공간 내의 모든 0이 아닌 함수가 $\mathcal{N}$ 위로 유일하게 투영될 수 있음을 보여주며, 이를 통해 대칭 부분 공간의 단위 구와 네하리 집합 사이의 홈오모르피즘(homeomorphism)을 확립한다.
3. 대칭성과 콤팩성: 임계 소볼레프 비선형성과 관련된 콤팩성 결여를 극복하기 위해, 저자들은 변분 문제를 $\Gamma$-불변 함수들의 부분 공간인 $H^m_g(M)^\Gamma$로 제한한다. 저자들은 궤도 차원이 $d$보다 엄격히 작으면, 특정 궤도 차원 조건이 충족될 때 임계 지수에서도 임베딩 $H^m_g(M)^\Gamma \hookrightarrow L^r_g(M)$이 콤팩하게 된다는 결과(보조정리 3.3)를 인용한다.
4. 팔라이-스말레(Palais-Smale) 조건: 저자들은 대칭 네하리 집합에 제한된 범함수에 대해 팔라이-스말레 조건을 검증한다. 이는 $p$-라플라시안과 $P_a^m$ 연산자로부터 발생하는 저차 항들을 제어하기 위해 새롭게 확립된 갈리아고-니렌버그(Gagliardo-Nirenberg) 보간 부등식(정리 1.5)을 사용하여 정밀한 추정치를 사용하는 과정을 포함한다.
5. 임계점 이론: 대칭적인 다양체 상의 짝함수(even functional)에 대한 추상적 임계점 정리와 대칭 임계 원리를 적용함으로써, 저자들은 다수의 임계점 존재를 도출한다.

주요 기여 및 결과

1. 주요 존재성 정리 (정리 1.1): 비선형 $f_q$가 표준적인 초선형 성장 조건(f1–f4)을 만족하고 대칭 군 $\Gamma$가 궤도 차원 조건을 만족한다는 가정하에, 이 문제는 다음을 허용한다:

   • 증가하는 에너지 준위를 갖는 무한히 많은 $\Gamma$-불변 약해.
   • 모든 $\Gamma$-불변 해들 중 바닥 상태 해(ground state solution, 최소 에너지 해).
   • 이 결과는 임계 경우에 대한 대칭 조건 (1.9)이 충족된다면 아임계($r < 2^*_{m,d}$) 및 임계($r = 2^*_{m,d}$) 경우 모두에 대해 성립한다.

2. 고차 및 다양체로의 일반화: 본 결과는 기존의 키르히호프-부시네스크 방정식(통상 유클리드 영역에서 $m=2$) 연구를 고차 연산기($m \geq 2$) 및 일반적인 폐쇄 리만 다양체로 확장한다. 여기에는 양의 스칼라 곡률를 가진 아인슈타인 다양체 상의 GJMS 연산자에 대한 응용이 포함된다 (따름정리 1.4).

3. 갈리아고-니렌버그 보간 부등식 (정리 1.5): 저자들은 닫힌 리만 다양체 상의 공변 미분에 대한 갈리아고-니렌버그 보간 부등식을 증명한다. 이 부등식은 $j$차 공변 미분의 $L^{\kappa_1}$ 노름을 $m$차 미분의 $L^{\kappa_3}$ 노름과 함수의 $L^{\kappa_2}$ 노름과 연관시킨다. 이 도구는 에너지 추정에서 $p$-라플라시안 항을 제어하는 데 필수적이다.

4. 동등 노름: 보간 부등식과 가딩(Gårding)의 부등식의 결과로서, 저자들은 고차 소볼레프 공간 $H^m_g(M)$ 상의 여러 노름, 즉 표준 소볼레프 노름, $P_a^m$에 의해 유도된 노름, 그리고 최고차 미분과 $L^2$ 노름만을 포함하는 노름 사이의 동등성을 확립한다.

의의 및 한계
본 논문은 대칭성을 사용하여 고차 연산기와 임계 비선형성을 포함하는 키르히호프-부시네스크 유형 방정식 연구를 위한 통합된 프레임워크를 제공한다고 주장한다. 일반적인 닫힌 다양체 상에서 갈리아고-니렌버그 부등식을 유도한 것은 독립적인 관심사로서 제시되는데, 이는 해당 부등식이 이전에는 유클리드 공간이나 특정 부분 다양체에서만 알려져 있었던 간극을 메우는 것이다.

그러나 저자들은 임계 경우의 기하학적 해석에 대해 겸허한 태도를 보인다. 저자들은 GJMS 연산자가 공형 기하학에서 명확한 기하학적 중요성을 갖는 반면, 임계 소볼레프 지수 비선형성($r = 2^*_{m,d}$)을 갖는 특정 키르히호프-부시네스크 방정식은 동일한 맥락에서 직접적인 기하학적 중요성을 갖지 않을 수 있음을 언급한다.

또한, 본 논문은 지수 $p = 2^*_{1,d}$에 관한 열린 문제를 강조한다. 저자들은 자신들의 방법론이 $p$-라플라시안 항을 제어하기 위해 보간 상수 $\Upsilon$가 1보다 엄격히 작아야 한다는 점에 의존하고 있음을 관찰한다. $m=2$이고 $p=2^*_{1,d}$일 때 $\Upsilon$는 1이 되며, 이로 인해 추정치에서 $L^2$-노름 항이 사라져 팔라이-스말레 조건을 증명하는 것을 방해한다. 따라서 $p = 2^*_{1,d}$가 키르히호프-부시네스크 설정에서 콤팩성을 결정하는 진정한 임계 문턱값인지 여부는 불분명하며, 본 논문은 이 문제를 해결하지 못한다.