Abstract:The main results of this paper are the establishment of sharp constants for several families of critical Sobolev embeddings. These inequalities were pioneered by David R. Adams, while the sharp constant in the first order case is due to Andrea Cianchi. We also prove a trace improvement of an inequality obtained independently by K. Hansson and H. Brezis and S. Wainger.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the specific values of the optimal constants in the higher - order Adams - Cianchi inequality. Specifically, the authors study the optimal constants of certain key Sobolev embeddings when the function \(u\) belongs to the Sobolev space \(W^{k,p}_0(\Omega)\) and \(kp = n\). These embedding relationships involve the higher - order derivatives of the function \(u\) and its exponential integral properties under different measures.
### Main problems:
1. **Determination of optimal constants**: For different types of Sobolev embeddings, especially the higher - order Adams - Cianchi inequality, determine the specific values of the optimal constants.
2. **Trace inequality**: Study the optimal constants of the trace exponential integral inequality of the function \(u\) under specific measures (such as Radon measures satisfying the ball - growth condition).
3. **Critical case**: Explore the validity of the inequality and its optimal constants when \(q = +\infty\).
### Specific problem descriptions:
- **Higher - order Adams - Cianchi inequality**: For \(u\in W^{k,p}_0(\Omega)\), study the optimal constants \(\beta\) and \(C\) in the inequality
\[
\int_{\Omega}\exp\left(\beta\left|\frac{u(x)}{\|\nabla^k u\|_{L^p}}\right|^{q'}\right)d\nu\leq C
\]
where \(\nu\) is a Radon measure satisfying the ball - growth condition.
- **Riesz potential**: For \(f\in L^{n/\alpha,q}(\Omega)\), study the optimal constants \(\beta\) and \(C\) in the inequality
\[
\int_{\Omega}\exp\left(\beta\left|I_\alpha f(x)\right|^{q'}\right)d\nu\leq C
\]
- **Adams derivative**: For \(u\in W^{k,p}_0(\Omega)\), study the optimal constants \(\beta\) and \(C\) in the inequality
\[
\int_{\Omega}\exp\left(\beta\left|\frac{u(x)}{\|D^k u\|_{L^p}}\right|^{q'}\right)d\nu\leq C
\]
### Key contributions:
- **Determination of optimal constants**: Through detailed analysis and construction of test functions, the authors determine the optimal constants in the above inequalities.
- **Improvement of trace inequality**: For the trace exponential integral inequality, the authors prove the optimal constants of the inequality under specific measures.
- **Handling of critical cases**: Pay special attention to the case when \(q = +\infty\), and explore the validity of the inequality and the optimal constants.
Through these studies, the authors not only extend the existing results, but also provide new insights into the problem of optimal constants for higher - order Sobolev embeddings.