Existence of Bianchi-Egnell stability extremizer for the Hardy-Sobolev inequality
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911058524897280 |
|---|---|
| author | Chakraborty, Souptik Ghosh, Monideep Karmakar, Debabrata |
| author_facet | Chakraborty, Souptik Ghosh, Monideep Karmakar, Debabrata |
| contents | In this article, we prove the best Bianchi-Egnell constant for the Hardy-Sobolev (HS) inequality \begin{align*} C_{\tiny\mbox{BE}}(γ) := \inf_{u \ \small \mbox{not an optimizer}} \frac{\int_{\mathbb{R}^n} \left(|\nabla u|^2 - \fracγ{|x|^2}u^2\right) \ {\rm d}x - S_γ\|u\|_{L^{2^{\star}}}^2}{\mbox{dist} (u, \ \mbox{set of optimizers})^2}, \end{align*} is attained, extending the result of König [arXiv:2211.14185] for the classical Sobolev inequality (that corresponds to $γ= 0$). One of the main difficulties is that the third eigenspace of the linearized operator may contain only spherical harmonics of degree $1$, and hence, an essential non-vanishing criterion fails [arXiv:2210.08482]. This non-vanishing criterion is indispensable for proving the best Bianchi-Egnell constant $C_{\tiny\mbox{BE}}(γ) < C_{\tiny\mbox{BE}}^{\tiny\mbox{loc}}(γ)$ that prevents a minimizing sequence converging to one of the optimizers. In addition, not being translation invariant, extracting a non-zero weak limit from a minimizing sequence presents difficulties. We found another hidden critical level $C_{\tiny\mbox{BE}}(γ) <1 - \frac{S_γ}{S},$ where $S$ is the best Sobolev constant that plays a significant role in proving the existence of an extremizer. In particular, we show that there exists a $γ_0>0$ such that for $γ\geq γ_0,\ C_{\tiny\mbox{BE}}(γ)$ is attained. Moreover, we remark that there is a region $γ_0 \leq γ< γ_c^{\star},$ where the third eigenspace of the linearized operator contains only spherical harmonics of degree $1.$ Our result improves some of the results in Wei-Wu [arXiv:2308.04667] corresponding to the HS inequality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_07039 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Existence of Bianchi-Egnell stability extremizer for the Hardy-Sobolev inequality Chakraborty, Souptik Ghosh, Monideep Karmakar, Debabrata Analysis of PDEs Functional Analysis 26D10, 46E35, 49K40, 47J20, 49J20, 49J40 In this article, we prove the best Bianchi-Egnell constant for the Hardy-Sobolev (HS) inequality \begin{align*} C_{\tiny\mbox{BE}}(γ) := \inf_{u \ \small \mbox{not an optimizer}} \frac{\int_{\mathbb{R}^n} \left(|\nabla u|^2 - \fracγ{|x|^2}u^2\right) \ {\rm d}x - S_γ\|u\|_{L^{2^{\star}}}^2}{\mbox{dist} (u, \ \mbox{set of optimizers})^2}, \end{align*} is attained, extending the result of König [arXiv:2211.14185] for the classical Sobolev inequality (that corresponds to $γ= 0$). One of the main difficulties is that the third eigenspace of the linearized operator may contain only spherical harmonics of degree $1$, and hence, an essential non-vanishing criterion fails [arXiv:2210.08482]. This non-vanishing criterion is indispensable for proving the best Bianchi-Egnell constant $C_{\tiny\mbox{BE}}(γ) < C_{\tiny\mbox{BE}}^{\tiny\mbox{loc}}(γ)$ that prevents a minimizing sequence converging to one of the optimizers. In addition, not being translation invariant, extracting a non-zero weak limit from a minimizing sequence presents difficulties. We found another hidden critical level $C_{\tiny\mbox{BE}}(γ) <1 - \frac{S_γ}{S},$ where $S$ is the best Sobolev constant that plays a significant role in proving the existence of an extremizer. In particular, we show that there exists a $γ_0>0$ such that for $γ\geq γ_0,\ C_{\tiny\mbox{BE}}(γ)$ is attained. Moreover, we remark that there is a region $γ_0 \leq γ< γ_c^{\star},$ where the third eigenspace of the linearized operator contains only spherical harmonics of degree $1.$ Our result improves some of the results in Wei-Wu [arXiv:2308.04667] corresponding to the HS inequality. |
| title | Existence of Bianchi-Egnell stability extremizer for the Hardy-Sobolev inequality |
| topic | Analysis of PDEs Functional Analysis 26D10, 46E35, 49K40, 47J20, 49J20, 49J40 |
| url | https://arxiv.org/abs/2505.07039 |