Existence and multiplicity of solutions for a critical Grushin problem with a singular nonlinearity

기술적 요약: 특이 비선형성을 가진 임계 그루신 문제의 해 존재성과 다중성

문제 제기
본 논문은 $\Omega \subset \mathbb{R}^N$ ($N=n+m$) 인 매끄러운 유계 영역에서 그루신 연산자 $\Delta_\gamma$ 를 포함하는 경계값 문제에 대한 양의 약해의 존재성과 다중성을 조사한다. 연산자는 $\gamma > 0$ 인 $\Delta_\gamma := \Delta_x + (1+\gamma)^2|x|^{2\gamma}\Delta_y$ 로 정의되며, 집합 $\Sigma = \{0\} \times \mathbb{R}^m$ 을 따라 퇴화한다. 연구된 주요 방정식은 다음과 같다:
$$\begin{cases} -\Delta_\gamma u = \lambda u^p + u^{-\delta} & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$$
여기서 $\lambda > 0$, $\delta > 0$, 그리고 $p > 1$ 이다. 본 연구는 임계 소보레프 지수 $2^*_\gamma = \frac{2Q}{Q-2}$ (여기서 $Q = m + (1+\gamma)n$ 은 동차 차원) 에 대한 지수 $p$ 의 세 가지 영역을 다룬다: 아임계 ($p < 2^*_\gamma - 1$), 임계 ($p = 2^*_\gamma - 1$), 그리고 초임계 ($p > 2^*_\gamma - 1$). 특이항 $u^{-\delta}$ 의 존재는 특히 $\delta \geq 3$ 일 때 고전적인 변분법이 실패하는 정규성과 적분 가능성에 관한 중대한 도전을 제기한다.

방법론
저자들은 비매끄러운 분석과 변분법에 기반한 프레임워크를 활용하여, 라플라시안에 대해 Hirano 등 [23] 이 개발한 기법을 그루신 설정으로 확장한다. 핵심 방법론적 단계는 다음과 같다:

1. 비매끄러운 함수형 프레임워크: 특이항 $u^{-\delta}$ 로 인해 관련 에너지 함수형은 $C^1$ 이 아니다. 저자들은 프레셰 하미분 $\partial^- I$ 을 사용하여 함수형을 정의하고, 최소화 수열의 매끄러움과 유계성 부재를 처리하기 위해 Cerami 조건 (Palais-Smale 조건보다 약한 컴팩트성 조건) 을 활용한다.
2. 문제 변환: 특이성을 관리하기 위해 순수 특이 문제 $-\Delta_\gamma u_0 = u_0^{-\delta}$ 의 유일한 양해인 $u_0$ 를 도입하여 문제를 변환한다. 원래 문제는 $u = v - u_0$ 로 재형성되어 변분법 기법의 적용을 가능하게 하는 수정된 비선형성 $g(z, s)$ 를 가진 새로운 방정식으로 이어진다.
3. 하해 - 상해 방법: 해의 존재성은 일반화된 Perron 유형의 방법을 사용하여 확립된다. 저자들은 특이해 $u_0$ 와 보조 함수들에 의해 정의된 순서 구간 내에서 적절한 하해와 상해를 구성한다.
4. 강한 최대 원리와 정규성: 중요한 구성 요소는 로그 추정을 통해 그루신 연산자에 대한 강한 최대 원리 (Lemma 2.3) 를 유도하는 것이다. 이는 해의 양성을 보장한다. 균일한 $L^\infty$ 추정과 정규성 결과 (Lemma 2.4, Lemma 5.11) 는 퇴화 집합 $\Sigma$ 근처의 해 거동을 제어하기 위해 유도된다.
5. 연결을 통한 다중성: 두 번째 해의 존재를 증명하기 위해 저자들은 비매끄러운 함수형에 맞게 조정된 연결 정리 (Theorem 2.1) 를 적용한다. 이는 함수 공간에서 국소 최소점에 대해 "산길" 기하학을 나타내는 함수형이 존재하는 특정 기하학적 구조를 구성하는 것을 포함한다.
6. 블로우업 분석: 임계 사례에서 두 번째 해의 존재성 증명은 컴팩트성이 손실되는 임계값보다 두 번째 해의 에너지 준위가 엄격히 낮음을 보이기 위해 소보레프 부등식의 극단 함수에 기반한 특정 시험 함수 수열을 구성하는 데 의존한다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 결과 (Theorem 1.1) 를 확립한다:

• 첫 번째 해의 존재: 모든 $\delta > 0$ 및 $p > 1$ 에 대해, 임계값 $\Lambda > 0$ 이 존재하여 모든 $\lambda \in (0, \Lambda]$ 에 대해 적어도 하나의 양 약해가 존재한다.

  • 아임계 및 임계 사례 ($1 < p \leq 2^*_\gamma$) 에서 해는 $C^{0,\alpha}_{loc}(\Omega) \cap L^\infty(\Omega)$ 에 속한다.
  • 초임계 사례 ($p > 2^*_\gamma$) 에서 해는 $L^{p+1}(\Omega)$ 에 속하며 ($\lambda < \Lambda$ 인 경우 $L^\infty$ 에도 속함).
  • 첫 번째 해 $u_\lambda$ 는 관련 에너지 함수형의 국소 최소점이며 $\lambda$ 에 대해 엄격하게 증가한다.

• 해의 다중성: 모든 $\lambda \in (0, \Lambda)$ 에 대해, 첫 번째 해와 구별되는 두 번째 양 약해가 존재한다.

  • 아임계 및 임계 사례에서 이 두 번째 해 또한 $C^{0,\alpha}_{loc}(\Omega) \cap L^\infty(\Omega)$ 에 속한다.
  • 두 번째 해는 $\Omega$ 에서 첫 번째 해보다 엄격히 크다 ($w > u_\lambda$).

• 부존재: $\lambda > \Lambda$ 인 경우, (적절한 함수 공간에서) 양 약해는 존재하지 않는다.

• 순수 특이 문제의 정규성과 유일성: 본 논문은 순수 특이 문제 $-\Delta_\gamma u_0 = u_0^{-\delta}$ 에 대한 해 $u_0$ 의 존재성과 유일성을 증명하며, $-\Delta_\gamma u_1 = 1$ 의 해와 관련된 명시적 경계를 제공한다.

의의 및 주장
본 논문은 원래 특이 섭동을 가진 라플라시안에 대해 공식화된 고전적인 Brezis-Nirenberg 이론을 퇴화 그루신 연산자로 확장한다고 주장한다. 주요 의의는 다음과 같다:

1. $\delta$ 전체 범위 처리: 이전 연구들이 $\delta < 1$ 로 제한된 것과 달리, 본 분석은 비매끄러운 분석 도구를 활용하여 $\delta > 0$ 전체 범위를 다루므로 강한 특이성과 관련된 적분성 문제를 극복한다.
2. 퇴화 관리: 이 연구는 $\Sigma$ 를 따라 그루신 연산자가 가지는 퇴화로 인한 특정 어려움을 다루며, 이 기하학에 맞춘 강한 최대 원리와 정규성 결과를 확립한다.
3. 통합적 접근: 방법론은 동일한 특이 설정 내에서 아임계, 임계, 초임계 지수를 처리하는 통합된 프레임워크를 제공하여, 강한 특이성과 연산자 퇴화의 존재 하에서도 다중성 현상 (두 개의 해) 이 지속됨을 보여준다.

저자들은 자신의 연구를 라플라시안에 대한 기존 결과들 ([23], [2], [4] 인용) 의 엄격한 확장으로 위치 짓고 있으며, 퇴화 타원 연산자에 대한 임계 특이 문제에 관한 문헌의 공백을 메우고 있다.