[논문 리뷰] Existence and symmetry of extremals for the high order Hardy-Sobolev-Maz'ya inequalities

Guozhen Lu, Chunxia Tao|arXiv (Cornell University)|2026. 02. 05.

Nonlinear Partial Differential Equations인용 수 0

한 줄 요약

논문은 하이퍼볼릭 공간에서 고차 임계 Hardy-Sobolev-Maz’ya 부등식의 극값의 존재성과 대칭성을 보이고, 이중성/농축-콤팩트성 프레임워크를 사용하여 결과를 상부 반공간으로 전달하고 GJMS 연산자에 대한 대칭적인 Brezis-Nirenberg 유형 해를 유도한다.

ABSTRACT

In this article, we establish the existence of an extremal function for the k-th order critical Hardy-Sobolev-Maz'ya (HSM) inequalities on the upper half space $\mathbb{R}^{n+1}_{+}$ when $k\ge 2$ and $n\geq 2k+2$: $$\int_{\mathbb{R}^{n}_{+}}| abla^{k}u|^2dx-\prod_{i=1}^{k}\frac{\left(2i-1 ight)^2}{4}\int_{\mathbb{R}^{n}_{+}}\frac{u^2}{x_1^{2k}}dx\geq C_{n,k,\frac{2n}{n-2k}} \left(\int_{\mathbb{R}^{n}_{+}}|u|^{\frac{2n}{n-2k}}dx ight)^{\frac{n-2k}{n}}. $$ The analysis of this extremal problem is challenging due to the presence of the higher order derivatives, the lack of translation invariance, the inapplicability of rearrangement techniques on the upper half-space, and the presence of a Hardy singularity along the boundary. To overcome these difficulties, instead of directly considering the HSM inequality on the upper half space, we establish the existence of an extremal for its equivalent version: Poincaré-Sobolev inequality on the hyperbolic space. We develop a novel duality theory of the minimizing sequences, the concentration-compactness principle for radial functions in the hyperbolic setting, which combines with the Helgason-Fourier analysis and the Riesz rearrangement inequality on the hyperbolic space, to resolve the lack of compactness issue. As an application, we also obtain the existence of positive symmetric solutions for the high order Brezis-Nirenberg equation on the entire hyperbolic space associated with the GJMS operators $P_k$ (i.e., when $k\ge 2$): $$ P_{k}\left(f ight)-αf=|f|^{p-2}f $$ at the critical situation $α=\prod\limits_{i=1}^{k}\frac{\left(2i-1 ight)^2}{4}$ when either $2k+2\leq n$ and $p=\frac{2n}{n-2k}$ or $2k

연구 동기 및 목표

• 상부 반공간에서 고차 Hardy-Sobolev-Maz’ya(HSM) 부등식의 극값 존재성에 대한 연구의 동기 부여와 그 도전 과제들.
• 임계 HSM 부등식의 존재성과 대칭성을 얻기 위한 하이퍼볼릭 공간 프레임워크를 개발.
• 유한성의 결여를 극복하기 위해 하이퍼볼릭 설정에서 이중성 이론과 농축-콤팩트 원리를 확립.
• GJMS 연산자를 포함하는 고차 Brezis-Nirenberg 문제에 대해 양의 대칭 해를 얻도록 극값 결과를 적용.

제안 방법

• 상부 반공간의 HSM 부등식을 하이퍼볼릭 공간 01n 에서 등가적인 Poincaré-Sobolev 부등식으로 변환하고 연관된 Poincare9-Sobolev 프레임워크를 정의한다.
• 하이퍼볼릭 Poincare9-Sobolev 문제를 Hardy-Littlewood-Sobolev 유형 부등식으로 연결하는 최소화 수열에 대한 이중성 이론을 개발한다.
• 하이퍼볼릭 공간에서 반사 대칭 함수에 대한 농축-콤팩트 원리를 증명하고 소실 현상과 이분법 현상을 배제한다.
• 하이퍼볼릭 공간에서 Helgason- Fourier 분석과 Riesz 재배열을 사용하여 극값의 압축성과 대칭성을 얻는다.
• 극값 분석으로부터 극값의 대칭성(점에 대해 반사 대칭)과 단조성을 도출한다.
• 임계 매개변수에서 P_k(GJMS 연산자)에 대한 하이퍼볼릭 Brezis-Nirenberg 문제에 극값 결과를 적용한다.

실험 결과

연구 질문

• RQ1 상부 반공간에서 고차 임계 Hardy-Sobolev-Maz’ya 부등식이 n e 2k+2 및 k 1 2에 대해 극값을 가지는가?
• RQ2 하이퍼볼릭 등가의 Poincaré-Sobolev 부등식을 통해 극값을 얻을 수 있으며, 이 극값은 하이퍼볼릭 공간의 어떤 점을 중심으로 반사 대칭인가?
• RQ3 최소화 수열에 대해 소실과 이분법을 배제하기 위해 하이퍼볼릭 설정에 적응 가능한 농축-콤팩트 프레임워크가 있는가?
• RQ4 극값이 하이퍼볼릭 공간에서의 고차 Brezis-Nirenberg 문제에 대해 양의 대칭 해를 생성하는가? P_k(GJMS 연산자에 대하여 상응하는 01n에서?

주요 결과

• 하이퍼볼릭 공간에서 고차 임계 Poincare9-Sobolev 부등식에 대해 n
  35 2k+2에 대해 양의 극값 함수가 존재한다.
• 01n의 극값은 반경상 대칭이며 어느 점을 중심으로도 감소하는 단조이며, 이는 상부 반공간에서의 HSM 부등식의 극값으로 전달된다.
• 하이퍼볼릭 동등성에 의해 R^n_+에서 대응하는 임계 HSM 부등식의 양의 극값이 존재한다.
• 서브임계 범위 2<p<2n/(n-2k) 와 n>2k에 대해, 하이퍼볼릭 Poincar-Sobolev 부등식과 상응하는 상부 반공간 부등식 모두에 대해 극값이 존재한다.
• 임계 매개변수의 경우 하이퍼볼릭 공간에서 Brezis-Nirenberg 유형 방정식 P_k(f) - 35 f = |f|^{p-2} f의 양의 대칭 해의 존재를 보인다(2i-1^2/4의 곱, 특정 차원 제약 하에서).
• 이 결과들은 고차 HSM 문제에서 대칭성과 존재를 확립하며, k e 2인 경우 이전의 1차 결과를 확장한다.