The first and last sections of this paper are intended for a general mathematical audience. In addition to some very brief remarks of a somewhat historical nature, we pose a rather simply formulated question in the realm of (discrete) geometry. This question has arisen in connection with a recently developed approach for studying various versions of the function space BMO. We describe that approach and the results that it gives. Special cases of one of our results give alternative proofs of the...

We consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

We point out the following fact: if Ω ⊂ ${ℝ}^n$ is a bounded open set, δ>0, and p>1, then $li{m}_{\to 0^{+}}in{f}_{\in V}{\int }_{\Omega }{\left|\nabla \left(x\right)\right|}^{p}dx=\infty$, where $V_{=}\in W_0^{1,p}\left(\Omega \right):meas\left(x\in \Omega :\left|\right(x\left)\right|>\delta \right)>.$

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

We give characterizations of weighted Besov-Lipschitz and Triebel-Lizorkin spaces with $A_{\infty }$ weights via a smooth kernel which satisfies “minimal” moment and Tauberian conditions. The results are stated in terms of the mixed norm of a certain maximal function of a distribution in these weighted spaces.

The purpose of this paper is to provide a new characterization of the Sobolev space $W^{1,1}\left(ℝⁿ\right)$. We also show a new proof of the characterization of the Sobolev space $W^{1,p}\left(ℝⁿ\right)$, 1 ≤ p < ∞, in terms of Poincaré inequalities.

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof” to various,...