An estimate in the spirit of Poincaré's inequality
type: Item
instance of: scholarly article
title: An estimate in the spirit of Poincaré's inequality
zbMATH Open document ID: 1051.46019
DOI: 10.4171/JEMS/1
author: Augusto C. Ponce
published in: Journal of the European Mathematical Society (JEMS)
publication date: 2004-06-15T00:00:00Z
review text: Let \(\Omega \subset \mathbb{R}^N\), \(N \geq 1\), be a bounded domain with Lipschitz boundary. If \(1 \leq p < \infty\), then it is known that there is a positive constant \(A = A (p, \Omega)\) such that the Poincaré inequality \[ \int_{\Omega} | f - f_{\Omega}| ^p \leq A \int_{\Omega} | Df| ^p \tag{1} \] holds for all \(f \in W^{1, p} (\Omega)\); here \(f_{\Omega} = | \Omega| ^{-1} \int_{\Omega} f\). Let \((\rho_n)_{n \in \mathbb{N}} \subset L^1 ( \mathbb{R}^n)\) be a sequence of radial functions satisfying \[ \begin{aligned} \rho_n \geq 0 \;\text{a.e.\;in }\mathbb{R}^n, \quad \int_{ \mathbb{R}^n} \rho_n = 1 &\quad \text{for all }n \in \mathbb{N},\\ \lim_{n \to \infty} \int_{| x| > \delta} \rho_n (x) \, dx = 0 &\quad \text{for all }\delta > 0. \end{aligned} \] The main result of the paper reads as follows. Let \(N \geq 2\). Given \(\delta > 0\), there is \(n_0 \geq 1\) sufficiently large such that, for all \(f \in L^p (\Omega)\) and \(n \geq n_0\), \[ \int_{\Omega} | f - f_{\Omega}| ^p \leq \biggl({A\over K_{p, N}} + \delta\biggr) \int_{\Omega} \int_{\Omega} {| f (x) - f (y)| ^p\over {| x - y| ^p}} \rho_n (| x - y| ) \, dx \, dy, \tag{2} \] where \(K_{p, N} = \oint_{S^{N - 1}} | e_1 \cdot \sigma| ^p \, {d{ H}} ^{N - 1}\). Note that (2) implies (1). To prove (2), the author makes use of the following compactness assertion: Let \(N \geq 2\). If \((f_n)_{n \in \mathbb{N}}\) is a bounded sequence satisfying \[ \int_{\Omega} \int_{\Omega} {| f_n (x) - f_n (y)| ^p\over | x - y| ^p} \rho_n (| x - y| ) \, dx \, dy \leq B \quad \text{for\;all} \;n \in \mathbb{N}, \tag{3} \] then \((f_n)\) is relatively compact in \(L^p (\Omega)\). Moreover, if \(f_{n_j} \to f\) in \(L^p (\Omega)\), then (i) \(f \in W^{1, p} (\Omega)\) when \(1 < p < \infty\); \noindent (ii) \(f \in B W (\Omega)\) when \(p = 1\). In both cases \(\int_{\Omega} | \nabla f| ^p \leq B/K_{p, N}\) with \(B\) from (3). If \(N = 1\), the above results hold under some additional assumption on the sequence~\((\rho_n)…
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 46E30
Mathematics Subject Classification ID: 26D15
zbMATH DE Number: 2075132
zbMATH Keywords: Poincaré's inequality
zbMATH Keywords: compactness in Sobolev spaces
reviewed by: Bohumír Opic
MaRDI profile type: Publication
cites work: Q3159214
cites work: Limiting embedding theorems for \(W^{s,p}\) when \(s\uparrow 1\) and applications
cites work: \(H^{1/2}\) maps with values into the circle: minimal connections, lifting, and the Ginzburg-Landau equation
cites work: Q4748596
cites work: Q4820950
cites work: On the Bourgain, Brezis, and Mironescu theorem concerning limiting embeddings of fractional Sobolev spaces
cites work: On the distributions of the form \(\sum_i(\delta_{p_i}-\delta_{n_i})\)
full work available at URL: https://doi.org/10.4171/jems/1
OpenAlex ID: W2046571480
description: scientific article; zbMATH DE number 2075132