有界域上弱型非局部泛函的Γ-收敛
$Γ$-Convergence of Weak-Type Nonlocal Functionals on Bounded Domains
浏览论文内容
中文总结 AI 辅助
本文证明了有界域上弱型非局部泛函$G_{\lambda,p,\gamma}$在$\lambda\to\infty$时于$L^p(\Omega)$中Γ-收敛到对应的极限泛函，肯定回答了Brezis提出的公开问题。
中文摘要 AI 辅助
设$N\ge1$，$p\in[1,\infty)$，$\gamma\in(0,\infty)$，当$N=1$时$\Omega$是$\mathbb{R}^N$中的有界开区间，当$N\ge2$时$\Omega$是有界Lipschitz域。对任意$\lambda\in(0,\infty)$和任意可测函数$u$，考虑弱型非局部泛函$G_{\lambda,p,\gamma}(u;\Omega):=\lambda\iint_{\Omega\times\Omega}\mathbf{1}_{\left\{(x,y)\in\Omega\times\Omega:\\ x\neq y,\\ \frac{|u(x)-u(y)|^p}{|x-y|^{p+\gamma}}\geq\lambda\right\}} |x-y|^{\gamma-N}\\,dx\\,dy$。本文证明，当$\lambda\to\infty$时，$L^p(\Omega)$意义下的Γ-收敛族$G_{\lambda,p,\gamma}$收敛到泛函$\Psi_{p,\gamma}^{\mathrm{cell}}(u;\Omega)$，其中正的常数$C_{N,p,\gamma}^{\mathrm{cell}}$与$\Omega$无关，由单元公式刻画，该结果对Brezis提出的问题[Open Problem~9.3, Rend. Lincei Mat. Appl. 2023]给出了肯定回答。
英文摘要
Let $N\ge1$, $p\in[1,\infty)$, $γ\in(0,\infty)$, and $Ω\subset\mathbb R^N$ be a bounded open interval when $N=1$ or a bounded Lipschitz domain when $N\ge2$. For any $λ\in(0,\infty)$ and any measurable function $u$, consider the weak-type nonlocal functional \begin{align*} G_{λ,p,γ}(u;Ω) :=λ\iint_{Ω\timesΩ} \mathbf 1_{\left\{(x,y)\inΩ\timesΩ:\ x\neq y,\ \frac{|u(x)-u(y)|^p}{|x-y|^{p+γ}}\geqλ\right\}} |x-y|^{γ-N}\,dx\,dy. \end{align*} In this article, we prove that, as $λ\to\infty$, the family $G_{λ,p,γ}$ converges, in the sense of $Γ$-convergence in $L^p(Ω)$, to the functional \begin{align*} Ψ_{p,γ}^{\mathrm{cell}}(u;Ω):= \begin{cases} C_{N,p,γ}^{\mathrm{cell}}\displaystyle\int_Ω|\nabla u|^p\,dx, &p\in(1,\infty)\ \hbox{and}\ u\in W^{1,p}(Ω),\\[2mm] C_{N,1,γ}^{\mathrm{cell}}|Du|(Ω), &p=1\ \hbox{and}\ u\in BV(Ω),\\[1mm] \infty,&\hbox{otherwise}, \end{cases} \end{align*} where the positive constants $C_{N,p,γ}^{\mathrm{cell}}$ are independent of $Ω$ and characterized by a cell formula. This gives an affirmative answer to the problem posed by Brezis [Open Problem~9.3, Rend. Lincei Mat. Appl. 2023].
