本文研究了海森堡群中臨界 Folland-Stein-Sobolev 嵌入缺乏緊緻性的影響。作者首先回顧了海森堡群和 Folland-Stein 空間的相關概念,並介紹了臨界 Sobolev 不等式及其在歐幾里得框架和海森堡環境中的研究現狀。
為了研究臨界嵌入缺乏緊緻性的影響,作者採用了變分方法,通過次臨界 Sobolev 不等式逼近臨界情況。作者利用 De Giorgi 的 Γ 收斂技術,證明了次臨界 Sobolev 商 S∗ε 的最大化序列 {uε} 在一點 ξo ∈ Ω 處集中能量。
令 Ω ⊆ Hn 為有界域,M(Ω) 為 Ω 中非負 Radon 測度的集合。令 X = X(Ω) 為空間
X := {(u, μ) ∈ S1
0(Ω) × M(Ω) : μ ≥ |DHu|^2 dξ, μ(Ω) ≤ 1},
賦予乘積拓撲 t,使得
(uk, μk) → (u, μ) ⇔ uk ⇀ u in L^{2∗}(Ω), μk ∗⇀ μ in M(Ω)。
考慮以下泛函族,
Fε(u, μ) := ∫Ω |u|^{2∗−ε} dξ ∀(u, μ) ∈ X。
然後,當 ε → 0 時,泛函族 Fε 相對於拓撲 t 的 Γ+ 極限為由下式定義的泛函 F
F(u, μ) = ∫Ω |u|^{2∗} dξ + S∗ ∞∑j=1 μ^{2∗/2}_j ∀(u, μ) ∈ X。
其中 S∗ 是 Hn 中最佳 Sobolev 常數,2∗ = 2Q/(Q − 2) 是 Folland-Stein 臨界指數,數字 μj 是測度 μ 的原子部分的係數。
令 Ω ⊂ Hn 為有界域,令 uε ∈ S1
0(Ω) 為 S∗ε 的最大化元。然後,當 ε = εk → 0 時,直至子序列,我們有存在 ξo ∈ Ω 使得
uk = uεk ⇀ 0 in L^{2∗}(Ω),
並且
|DHuk|^2 dξ ∗⇀ δξo in M(Ω),
其中 δξo 是 ξo 處的 Dirac 測度。
為了克服臨界嵌入缺乏緊緻性的問題,作者將 Struwe 的全局緊緻性結果推廣到海森堡群。作者採用了與 Struwe 不同的方法,利用 Gérard 首先證明了分數階(歐幾里得)空間 Hs 中有界序列的輪廓分解,證明了海森堡群中全局緊緻性的有效性。
令 {uk} ⊂ S1
0(Ω) 為 Eλ 的 Palais-Smale 序列;即,使得
Eλ(uk) ≤ c 對於所有 k,
dEλ(uk) → 0 當 k → ∞ in (S1
0(Ω))′。
然後,存在 (Pλ) 的解 u(0) ∈ S1
0(Ω)(可能為零解),使得直至子序列,我們有
uk ⇀ u(0) 當 k → ∞ in S1
0(Ω)。
此外,要么收斂是強的,要么存在一個有限的索引集 I = {1,...,J},使得對於所有 j ∈ I,存在一個非平凡解 u(j) ∈ S1
0(Ω(j)
o) 到 (P0),其中 Ω(j)
o 是半空間或整個 Hn;即對應於能量泛函 E∗ : S1
0(Ωo) → R 的 Euler-Lagrange 方程,
E∗(u) = 1/2 ∫Ωo |DHu|^2 dξ − 1/2∗ ∫Ωo |u|^{2∗} dξ。
在陳述下一個結果之前,我們僅回顧 Hn 的半空間僅僅是 R^{2n+1} 的半空間,根據 [25] 中的定義,另見 [7]。我們有以下結果
最後,作者提出了一些與本文結果相關的開放性問題和未來研究方向,包括:
翻譯成其他語言
從原文內容
arxiv.org
深入探究