[论文解读] Sharp Adams type inequalities in Sobolev spaces $W^{m,\frac{n}{m}}(\mathbb{R}^{n})$ for arbitrary integer $m$

Nguyen Lam, Guozhen Lu|arXiv (Cornell University)|Dec 29, 2011

Nonlinear Partial Differential Equations参考文献 21被引用 5

一句话总结

本文在任意整数 $m < n$ 的情况下，将此前仅限于偶数 $m$ 或有界区域的结果，推广至无界域 $\mathbb{R}^n$ 上的 Sobolev 空间 $W^{m,\frac{n}{m}}(\mathbb{R}^n)$，建立了精确的 Adams 型不等式。通过径向重排、比较原理及细致的范数估计，作者证明了存在一个精确常数 $\beta(n,m)$，使得指数积分保持一致有界，且通过测试序列验证了该常数的精确性。

ABSTRACT

The main purpose of our paper is to prove sharp Adams-type inequalities in unbounded domains of $\mathbb{R}^{n}$ for the Sobolev space $W^{m,\frac{n}{m}}\left(\mathbb{R} ^{n} ight)$ for any positive integer $m$ less than $n$. Our results complement those of Ruf and Sani \cite{RS} where such inequalities are only established for even integer $m$. Our inequalities are also a generalization of the Adams-type inequalities in the special case $n=2m=4$ proved in \cite{Y} and stronger than those in \cite{RS} when $n=2m$ for all positive integer $m$ by using different Sobolev norms.

研究动机与目标

• 在无界域 $\mathbb{R}^n$ 上，为 Sobolev 空间 $W^{m,\frac{n}{m}}(\mathbb{R}^n)$ 建立精确的 Adams 型不等式，其中 $m$ 为任意正整数且 $m < n$。
• 将此前仅限于偶数 $m$ 或有界域的结果加以推广，证明在完整无界设定下精确不等式的成立。
• 为所有满足 $m < n$ 的正整数 $m$ 提供 $\beta(n,m)$ 的统一处理方式，推广了 Adams 与 Ruf-Sani 的早期工作。
• 通过测试函数验证常数 $\beta(n,m)$ 的精确性，表明当 $\beta > \beta(n,m)$ 时，积分趋于发散。

提出的方法

• 利用径向重排与比较原理，将问题简化为 $B_{R_0}$ 内的径向函数，从而简化范数与点态上界的分析。
• 构造一个控制函数 $w_l$，使其能通过 $\nabla^m v_l$ 及其低阶导数的 $L^{n/m}$-范数来控制 $|v_l|$。
• 采用一种改进的范数形式，包含 $\|\nabla^m u\|_{L^{n/m}}$ 与 $\|(-\Delta + I)^k u\|_{L^{n/m}}$，以控制增长并确保有界性。
• 应用引理 2.3 及径向引理 (2.4–2.5)，将 $\nabla^m z_l$ 的 $L^{n/m}$-范数以完整 Sobolev 范数形式界定。
• 利用 Fatou 引理取极限，证明 $\mathbb{R}^n$ 上指数积分上确界的有限性。
• 通过 Kozono、Sato 与 Wadade 的方法构造的测试函数序列验证精确性，表明当 $\beta > \beta(n,m)$ 时，上确界趋于发散。

实验结果

研究问题

• RQ1 当 $m$ 为小于 $n$ 的任意正整数时，$W^{m,\frac{n}{m}}(\mathbb{R}^n)$ 中 Adams 型不等式的精确常数 $\beta(n,m)$ 是什么？
• RQ2 能否在无界域中为所有整数 $m < n$（包括奇数 $m$）建立精确的 Adams 不等式，而不仅限于此前已知的偶数 $m$ 情形？
• RQ3 Sobolev 范数的选择——特别是涉及 $\nabla^m u$ 与 $(-\Delta + I)^k u$ 的项——如何影响指数积分的有界性？
• RQ4 精确常数 $\beta(n,m)$ 是否最优？即当 $\beta > \beta(n,m)$ 时，积分是否趋于无界？
• RQ5 径向控制与范数比较的方法能否扩展至仅使用导数的 $L^{n/m}$-范数，在无界域中证明一致有界性？

主要发现

• 本文证明：对任意 $u \in W^{m,\frac{n}{m}}(\mathbb{R}^n)$ 满足 $\|\nabla^m u\|_{L^{n/m}} \leq 1$，当 $\beta \leq \beta(n,m)$ 时，积分 $\int_{\mathbb{R}^n} \exp(\beta |u|^{n/(n-m)}) \, dx$ 的上确界为有限值，其中 $\beta(n,m)$ 对奇数 $m$ 与偶数 $m$ 均有显式表达式。
• 精确常数 $\beta(n,m)$ 的表达式为：当 $m$ 为奇数时，$\frac{n}{\omega_{n-1}} \left[ \frac{\pi^{n/2} 2^m \Gamma(\frac{m+1}{2})}{\Gamma(\frac{n-m+1}{2})} \right]^{n/(n-m)}$；当 $m$ 为偶数时，表达式类似，但使用 $\Gamma(\frac{m}{2})$，该结果与已知的 $m=1$ 及 $n=2m$ 情形一致。
• 当 $\beta > \beta(n,m)$ 时，指数积分的上确界为无穷大，通过测试函数序列验证了常数的精确性。
• 作者通过将区域分解为球 $B_{R_0}$ 及其补集，并在两部分上分别利用范数估计与 Fatou 引理，证明了 $\mathbb{R}^n$ 上积分的有界性。
• 该方法依赖于构造一个控制径向函数 $w_l$，其 $m$ 阶梯度范数受原函数范数控制，确保当 $R_0$ 足够大时 $\|\nabla^m w_l\|_{L^{n/m}} \leq 1$，从而可应用定理 B。
• 该结果推广并强化了 Ruf 与 Sani（2012）的工作（仅处理偶数 $m$），以及 Adams（1975）在有界域中的研究，将精确不等式扩展至无界域及所有 $m < n$ 的情形。