Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2304.13132 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909086722818048 |
|---|---|
| author | Davoli, Elisa Di Fratta, Giovanni Fiorenza, Alberto Happ, Leon |
| author_facet | Davoli, Elisa Di Fratta, Giovanni Fiorenza, Alberto Happ, Leon |
| contents | In the context of Sobolev spaces with variable exponents, Poincaré--Wirtinger inequalities are possible as soon as Luxemburg norms are considered. On the other hand, modular versions of the inequalities in the expected form \begin{equation*}
\int_Ω\left|f(x)-\langle f\rangle_Ω\right|^{p(x)} \ {\mathrm{d} x}
\leqslant C \int_Ω|\nabla f(x)|^{p(x)}{\mathrm{d} x},
\end{equation*} are known to be \emph{false}. As a result, all available modular versions of the Poincaré- Wirtinger inequality in the variable-exponent setting always contain extra terms that do not disappear in the constant exponent case, preventing such inequalities from reducing to the classical ones in the constant exponent setting. Our contribution is threefold. First, we establish that a modular Poincaré--Wirtinger inequality particularizing to the classical one in the constant exponent case is indeed conceivable. We show that if $Ω\subset \mathbb{R}^n$ is a bounded Lipschitz domain, and if $p\in L^\infty(Ω)$, $p \geq 1$, then for every $f\in C^\infty(\barΩ)$ the following generalized Poincaré--Wirtinger inequality holds
\begin{equation*}
\int_Ω\left|f(x)-\langle f\rangle_Ω\right|^{p(x)} \ {\mathrm{d} x}
\leq C \int_Ω\int_Ω\frac{|\nabla f(z)|^{p(x)}}{|z-x|^{n-1}}\ {\mathrm{d} z}{\mathrm{d} x},
\end{equation*}
where $\langle f\rangle_Ω$ denotes the mean of $f$ over $Ω$, and $C>0$ is a positive constant depending only on $Ω$ and $\|p\|_{L^\infty(Ω)}$. Second, our argument is concise and constructive and does not rely on compactness results. Third, we additionally provide geometric information on the best Poincaré--Wirtinger constant on Lipschitz domains. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_13132 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A modular Poincaré-Wirtinger type inequality on Lipschitz domains for Sobolev spaces with variable exponents Davoli, Elisa Di Fratta, Giovanni Fiorenza, Alberto Happ, Leon Analysis of PDEs In the context of Sobolev spaces with variable exponents, Poincaré--Wirtinger inequalities are possible as soon as Luxemburg norms are considered. On the other hand, modular versions of the inequalities in the expected form \begin{equation*} \int_Ω\left|f(x)-\langle f\rangle_Ω\right|^{p(x)} \ {\mathrm{d} x} \leqslant C \int_Ω|\nabla f(x)|^{p(x)}{\mathrm{d} x}, \end{equation*} are known to be \emph{false}. As a result, all available modular versions of the Poincaré- Wirtinger inequality in the variable-exponent setting always contain extra terms that do not disappear in the constant exponent case, preventing such inequalities from reducing to the classical ones in the constant exponent setting. Our contribution is threefold. First, we establish that a modular Poincaré--Wirtinger inequality particularizing to the classical one in the constant exponent case is indeed conceivable. We show that if $Ω\subset \mathbb{R}^n$ is a bounded Lipschitz domain, and if $p\in L^\infty(Ω)$, $p \geq 1$, then for every $f\in C^\infty(\barΩ)$ the following generalized Poincaré--Wirtinger inequality holds \begin{equation*} \int_Ω\left|f(x)-\langle f\rangle_Ω\right|^{p(x)} \ {\mathrm{d} x} \leq C \int_Ω\int_Ω\frac{|\nabla f(z)|^{p(x)}}{|z-x|^{n-1}}\ {\mathrm{d} z}{\mathrm{d} x}, \end{equation*} where $\langle f\rangle_Ω$ denotes the mean of $f$ over $Ω$, and $C>0$ is a positive constant depending only on $Ω$ and $\|p\|_{L^\infty(Ω)}$. Second, our argument is concise and constructive and does not rely on compactness results. Third, we additionally provide geometric information on the best Poincaré--Wirtinger constant on Lipschitz domains. |
| title | A modular Poincaré-Wirtinger type inequality on Lipschitz domains for Sobolev spaces with variable exponents |
| topic | Analysis of PDEs |
| url | https://arxiv.org/abs/2304.13132 |