[論文レビュー] Existence and symmetry of extremals for the high order Hardy-Sobolev-Maz'ya inequalities

Guozhen Lu, Chunxia Tao|arXiv (Cornell University)|Feb 5, 2026

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 不等式を等価な hyperbolic 空間の Poincaré-Sobolev 不等式に翻訳し、関連する Poincaré-Sobolev フレームワークを定義。
• hyperbolic Poincaré-Sobolev 問題を Hardy-Littlewood-Sobolev 型不等式へ結ぶミニマイジング列の双対理論を構築。
• hyperbolic 空間における半径関数に対する集中-圧縮原理を証明し、消失と二分現象を排除。
• Helgason フーリエ解析と hyperbolic space 上の Riesz 再配置を用いて緊密性と極値の対称性を確立。
• 極値列解析から極値の対称性（点を中心とする半径対称性）と単調性を導出。
• 臨界パラメータでの GJMS 演算子 P_k に対する hyperbolic Brezis-Nirenberg 問題へ極値結果を適用。

実験結果

リサーチクエスチョン

• RQ1 上半空間の高次臨界 Hardy-Sobolev-Maz’ya 不等式は n ≥ 2k+2 および k ≥ 1 の場合に極値を持つか？
• RQ2 その極値は hyperbolic 空間の等価な Poincaré-Sobolev 不等式を介して得られ、hyperbolic 空間のある点を中心とする半径対称性を持つか？
• RQ3 最小化列の vanishing および dichotomy を排除するために hyperbolic 設定へ適用可能な集中-圧縮枠組みを適用できるか？
• RQ4 極値は n+1 次元以上で P_k( GJMS 演算子) の臨界パラメータに対して正の対称解を与えるか？

主な発見

• hyperbolic 空間の高次十字Poincaré-Sobolev 不等式に対する正の極値関数が存在する（n ≥ 2k+2 の範囲）。
• 上半空間の極値はある点を中心とする半径対称かつ単調減少であり、これが上半空間の HSM 不等式の極値へ伝搬する。
• hyperbolic 等価性を介して、対応する臨界 HSM 不等式の正の極値関数が R^n_+ に存在する。
• サブクリティカル領域 2<p<2n/(n-2k) かつ n>2k に対して、hyperbolic Poincaré-Sobolev 不等式と上半空間不等式の極値が存在。
• 臨界パラメータの積 (2i-1)^2/4 に対する hyperbolic 空間の P_k(P_k は GJMS 演算子) の Brezis-Nirenberg 型方程式の正の対称解の存在を生む。
• これらの発見は高次 HSM 問題の対称性と存在を確立し、以前の一階の場合の結果を k ≥ 3 へ拡張する。