Bifurcation and multiplicity results for critical Grushin-Choquard problems

기술적 요약: 임계 그루신-초카르드 문제에 대한 분기 및 다중성 결과

문제 제기
본 논문은 그루신 연산자 $\Delta_\gamma$를 포함하는 비국소 브레지스-니렌베르크 유형의 임계 초카르드 문제를 조사한다. 고려 중인 구체적인 방정식은 다음과 같다:
$$\begin{cases} -\Delta_\gamma u = \lambda u + \left( \int_{\Omega} \frac{|u(w)|^{2^*_{\gamma,\mu}}}{d(z-w)^\mu} dw \right) |u|^{2^*_{\gamma,\mu}-2}u & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$$
여기서 $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) 은 부분공간 $\{x=0\}$과 교차하는 유계 열린 영역이며, $\lambda > 0$는 매개변수이고, $\Delta_\gamma$는 $\gamma \ge 0$에 대해 $\Delta_\gamma u = \Delta_x u + (1+\gamma)^2 |x|^{2\gamma} \Delta_y u$로 정의된 그루신 연산자이다. 항 $d(\cdot)$는 그루신 연산자와 관련된 동차 노름을 나타내며, $2^*_{\gamma,\mu} = \frac{2N_\gamma - \mu}{N_\gamma - 2}$는 동차 차수 $N_\gamma = m + (1+\gamma)n$을 갖는 그루신-하디-리틀우드-소볼레프 맥락에서의 임계 지수를 나타낸다.

주요 목적은 디리클레 경계 조건 하에서 연산자 $-\Delta_\gamma$의 고유값 $\lambda^*$로부터의 분기 존재를 확립하고, $\lambda^*$의 적절한 왼쪽 근방에서 비자명해의 다중성 결과를 증명하는 것이다.

방법론 및 변분적 프레임워크
저자들은 변분적 접근법을 사용하여 문제와 관련된 에너지 범함수 $J_\gamma: H_\gamma(\Omega) \to \mathbb{R}$를 정의한다. 공간 $H_\gamma(\Omega)$는 그루신 기울기 노름에 대해 $C^\infty_c(\Omega)$를 완비화한 것이다.

주요 방법론적 단계는 다음과 같다:

1. 하디 - 리틀우드 - 소볼레프 (HLS) 부등식의 확립: 작업의 상당 부분이 그루신 설정에 적응된 HLS 부등식의 버전을 증명하는 데 할애된다. 저자들은 적분 연산자 $I_{\gamma,\mu}$를 정의하고, 스케일링 논증과 마르킨코비치 보간 정리를 사용하여 르베그 공간 사이의 유계성을 증명한다. 이는 비국소 초카르드 항을 처리하는 데 필요한 분석적 기초를 제공한다.
2. 컴팩트성 분석 (팔라이스 - 스몰 조건): 저자들은 범함수 $J_\gamma$에 대한 팔라이스 - 스몰 (PS) 수열을 분석한다. 임계 지수 때문에 매장 (embedding) 이 컴팩트하지 않다. 본 논문은 팔라이스 - 스몰 조건이 그루신-HLS 부등식의 최상수 $S_\Omega$로 결정된 특정 임계값보다 엄격하게 낮은 에너지 수준 $c$에서 성립함을 보여주는 컴팩트성 결과 (Lemma 3.3) 를 확립한다. 이 임계값은 $\frac{N_\gamma - \mu + 2}{4N_\gamma - 2\mu} S_\Omega^{\frac{2N_\gamma - \mu}{N_\gamma - \mu + 2}}$로 주어진다.
3. 추상 임계점 이론: 다중성을 증명하기 위해 저자들은 바톨로, 벤치, 포르투나토의 추상 임계점 정리를 활용한다. 이 정리는 특정 기하학적 조건 (마운틴 패스 기하학) 과 PS 조건을 검증해야 한다. 저자들은 정리의 차원과 코차원 요구 사항을 충족시키기 위해 그루신 연산자의 고유공간을 기반으로 적절한 부분공간 $V$와 $W$를 구성한다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 결과를 제시한다:

• 그루신 - 하디 - 리틀우드 - 소볼레프 부등식: 저자들은 그루신 연산자의 맥락에서 HLS 부등식을 완전히 증명하며, 이는 기존 문헌에서 제공되지 않았던 결과이다. 이 부등식은 에너지 범함수를 정의하고 임계 지수 $2^*_{\gamma,\mu}$를 확립하는 데 중요하다.
• 분기 및 다중성 정리: 주요 정리 (Theorem 1.2) 는 $\lambda^*$가 중복도 $m$을 갖는 $-\Delta_\gamma$의 고유값이고, $\lambda$가 $\lambda^*$보다 충분히 작은 값 (구체적으로 $\lambda^* - \lambda < \frac{S_\Omega}{|\Omega|^{\frac{2^*_{\gamma,\mu}-2}{2^*_{\gamma,\mu}}} (\text{diam }\Omega)^{\frac{\mu}{2^*_{\gamma,\mu}}}}$을 만족) 에 있을 때, 문제가 적어도 $m$개의 비자명해 쌍 $\{\pm u_{\gamma,i}\}$을 허용한다고 명시한다.
• 점근적 거동: 얻어진 해들은 0 에서 분기하며, 구체적으로 $\lambda \to \lambda^*$일 때 $\|u_{\gamma,i}\|_\gamma \to 0$이다.
• 일반화: 이 결과는 고전적 타원 연산자 (브레지스 - 니렌베르크), 분수 연산자, 그리고 국소 비선형성을 갖는 그루신 연산자에 대한 기존 연구 결과를 비국소 그루신 - 초카르드 설정으로 확장한다.

의의 및 주장
저자들은 네 가지 주요 기여를 주장한다:

1. 새로운 부등식: 그루신 연산자에 대한 HLS 부등식의 확립은 문헌의 공백을 메워, 이 퇴화 설정에서 임계 초카르드 문제의 연구를 가능하게 한다.
2. 새로운 임계 수준: 팔라이스 - 스몰 수열의 컴팩트성을 위한 새로운 임계 에너지 수준의 도입은 이 특정 비국소 문제에 임계점 이론을 적용할 수 있게 한다.
3. 이론의 확장: 이 작업은 세라미, 포르투나토, 스트루웨 등 다른 연구자들의 분기 및 다중성 이론을 비국소 그루신 - 초카르드 프레임워크로 확장한다.
4. 국소 사례에서의 독창성: 저자들은 $\gamma = 0$인 경우, 즉 초카르드 비선형성을 갖는 고전적 라플라시안에 해당하는 경우에도 결과가 새로운 것이라고 지적한다. 이는 그루신 연산자와 초카르드 항의 특정 조합이 기존 문헌에서 어느 단일 구성 요소만으로는 다루지 않았던 결과를 산출함을 시사한다.

본 논문은 지정된 기하학적 및 스펙트럼 조건 하에서 초카르드 항의 비국소적 성질과 그루신 연산자의 퇴화성이 여전히 고유값에서 분기하는 다중 해의 존재를 허용하며, 이는 고전적 타원 및 분수 설정에서 관찰된 거동을 반영한다고 결론짓는다.