Skip to main content

Further study on domains and quasihyperbolic distances

Abstract

We establish constructive geometric tools for determining when a domain is \(L^{s}\)-averaging and obtain upper and lower bounds for the \(L^{s}\)-integrals of the quasihyperbolic distance. We also construct examples that are helpful to understand our geometric tools and the relationship between p-Poincaré domains and \(L^{s}\)-averaging domains. Finally, finite unions of \(L^{s}(\mu )\)-averaging domains are explored.

1 Introduction

Domains and mappings are fundamental objects thay have been well studied and applied in many fields of mathematics and engineering, including partial differential equations, potential analysis, and harmonic analysis. It is well known that domains affect the properties of objects defined on them such as functions, mappings, differential forms, integrals, and differential equations. There are a number of analytic criteria that can be used to classify various domains in \(\mathbb{R}^{n}\), such as uniform domains, John domains, and \(L^{s}\)-averaging domains and a typical goal is to determine the relationships among these criteria. The quasihyperbolic distance provides a powerful tool that has been widely used in geometric analysis in recent years, for example, to characterize \(L^{s}\)-averaging domains and \(L^{s}(\mu )\)-averaging domains. In this paper, we provide constructive geometric tools for determining when this characterization is met.

This paper is organized as follows. After introducing notation and background information in Sect. 2, we then define essential tubes and provide basic examples in Sect. 3. In Sect. 4, the notion of a generalized Whitney subdivision is introduced and basic properties are established. In Sects. 5 and 6, essential tubes and the idea of generalized Whitney subdivision are used to prove necessary and sufficient conditions for cusps and domains built using particular families of cubical blocks to be \(L^{s}\)-averaging. Finally, in Sect. 7, finite unions of \(L^{s}(\mu )\)-averaging domains are explored.

2 Background

In this section, after introducing some notation, we review the analytical criteria of interest in this paper, along with some of the known relationships among these criteria.

Generally, we will use z to denote a point in a domain and we will reserve x and y for coordinates.

Throughout, we consider bounded and connected domains Ω of \(\mathbb{R}^{n}\) with \(n\geq 2\). For any set E in \(\mathbb{R}^{n}\), we denote by \(|E|\) the Lebesgue measure of E, and for the purposes of integration, we will use dz to denote the Lebesgue measure. We will also consider more general measures μ defined in terms of a weight function w so that \(d\mu = w(z)\,dz\). In these instances, the measure of a set E will be denoted \(\mu (E)\). For a function \(u \in L^{1}(\Omega )\), we denote the mean by \({u_{\Omega}}\).

We use a capital C to indicate a positive constant, with optional arguments, such as the dimension n, to indicate on what a constant may depend. This constant may be different in different instances. Subscripts may be used when distinctions are necessary.

The following definition of \(L^{s}\)-averaging domains was introduced by Staples in [8]. For \(1 \leq s <\infty \), a domain Ω is called an \(L^{s}\)-averaging domain if for all \(u\in L^{1}_{\mathrm{loc}}(\Omega , dz)\) it follows that

$$ \biggl(\frac{1}{ \vert \Omega \vert } \int _{\Omega } \vert u-{u_{\Omega}} \vert ^{s} \,dz \biggr)^{1/s} \leq C(s, \Omega ) \biggl(\sup_{ B\subset \Omega} \frac{1}{ \vert B \vert } \int _{B} \vert u-{u_{B}} \vert ^{s} \,dz \biggr)^{1/s}, $$

where B is any open ball in Ω.

Many results about differential forms and related operators were established in \(L^{s}\)-averaging domains, see for example [1, 3, 6]. In [4], \(L^{s}\)-averaging domains were extended to weighted averaging domains, \(L^{s}(\mu )\)-averaging domains, and a characterization in terms of Whitney cubes was provided. Generalizing further, in [2], \(L^{\varphi}(\mu )\)-averaging domains were considered, where φ is a convex function defined on \((0,\infty )\).

The following definition of the quasihyperbolic distance can be found in [5]. For any points z and \(z_{0}\) in Ω, let \(\Gamma = \Gamma _{z, z_{0}, \Omega}\) be the set of rectifiable curves in Ω connecting z to \(z_{0}\). The quasihyperbolic distance between z and \(z_{0}\) is given by

$$ k(z,z_{0};\Omega )= \inf_{\gamma \in \Gamma} \int _{\gamma } \frac{1}{d(\zeta ,\partial \Omega )} \,d\sigma = \inf _{\gamma \in \Gamma} \int _{I} \frac{ \vert \gamma '(t) \vert }{d(\gamma (t),\partial \Omega )} \,dt. $$

Gehring and Osgood [5] proved that for any two points in Ω there is a quasihyperbolic geodesic arc joining them. In [8], Staples showed that Ω is an \(L^{s}\)-averaging domain if and only if

$$ \biggl(\frac{1}{ \vert \Omega \vert } \int _{\Omega }k(z,z_{0};\Omega )^{s} \,dz \biggr)^{1/s}\leq C, $$

where \(z_{0}\) is any fixed point in Ω and C is a constant depending only on n, s, \(|\Omega |\), the choice of \(z_{0} \in \Omega \), and the constant from the inequality in the definition of \(L^{s}\)-averaging domains. Using this characterization, it was also shown in [8] that John domains are \(L^{s}\)-averaging for all \(1 \leq s < \infty \).

For \(1 \leq p < \infty \) we say a domain Ω is a p-Poincaré Domain if for every function u in the Sobolev space \(W^{1,p}(\Omega )\),

$$ \Vert u-{u_{\Omega}} \Vert _{L^{p}(\Omega )} \leq C(p, \Omega ) \Vert \nabla u \Vert _{L^{p}( \Omega )}. $$

In [8] it was shown that for \(p \geq n\), if Ω is \(L^{p}\)-averaging, then it is p-Poincaré as well. Staples also showed, by an explicit example, that this relationship need not hold if \(p < n\). Specifically, she constructed a “rooms-and-halls” domain that was \(L^{s}\)-averaging for all \(s \geq 1\), but was not p-Poincaré for any \(p < n\). Of course, by the previously mentioned result, this domain is necessarily p-Poincaré for \(p \geq n\).

In somewhat of a contrast, in [7] it was shown that star-shaped domains are p-Poincaré for all \(1 \leq p < \infty \), but as shown in [8] and in Sects. 5 and 6 below, there are star-shaped domains that are \(L^{s}\)-averaging if and only if \(1 \leq s < k\) where k depends on the dimension and parameters defining the domain.

3 Essential tubes

In this section, we define essential tubes, use them to generate necessary conditions for domains to be \(L^{s}\)-averaging, and provide some examples of domains that are not \(L^{s}\)-averaging for any \(1 \leq s < \infty \).

3.1 Essential tubes defined

Let \(D_{r}^{k} \subset \mathbb{R}^{k}\) be the closed k-dimensional disk of radius r centered at the origin. Consider the cylinder \([0, l] \times D_{r}^{n-1}\) in \(\mathbb{R}^{n}\). We define a tube \(T_{l,r}\) to be the image under a Euclidean transformation of this cylinder. We say the images of \(\{0\} \times D_{r}^{n-1}\) and \(\{l\} \times D_{r}^{n-1}\) are the ends of the tube and we say the image of \([0,l] \times (\partial D_{r}^{n-1})\) is the wall of the tube.

Let Ω be a domain in \(\mathbb{R}^{n}\). We define an essential tube \(T = T_{l, r, c}\) for Ω to be a tube \(T_{l, r}\) such that \(T \cap \Omega \) has a connected component \(\Omega _{T}\) satisfying the following properties:

  • The intersection of \(\Omega _{T}\) with the wall of T is empty;

  • There exists \(c > 0\) such that for all \(t \in [0, l]\), the (\(n-1\))-dimensional measure of the tth slice of \(\Omega _{T}\) is at least c times the measure of \(D_{r}^{n-1}\).

See Fig. 1.

Figure 1
figure 1

An essential tube \(T = T_{l,r,c}\) enclosing a portion \(\Omega _{T}\) of a domain Ω. The shaded region is the tth slice of \(\Omega _{T}\) and its (\(n-1\))-dimensional measure is at least c times the measure of the corresponding slice of T, which in turn is isometric to \(D^{n-1}_{r}\)

3.2 Quasihyperbolic distance calculations

First, we obtain the lower bound of the \(L^{s}\)-integral of the quasihyperbolic distance provided by \(\Omega _{T}\) in the following theorem.

Theorem 3.1

Let Ω be a domain, let \(T = T_{l,r,c}\) be an essential tube for Ω with corresponding component \(\Omega _{T}\), and let \(z_{0} \in \Omega \) be any point not in \(\Omega _{T}\). Then,

$$ \int _{\Omega _{T}} k(z, z_{0}; \Omega _{T})^{s} \,dz \geq C(s,n) c r^{n} \biggl(\frac{l}{r} \biggr)^{s+1}. $$

Proof

First, choose coordinates so that the wall of the tube aligns with the first coordinate and, writing \(z = (x_{1}, x_{2}, \ldots , x_{n})\), one end corresponds to \(x_{1} = 0\), and the other end corresponds to \(x_{1} = l\). For any point \(z \in \Omega _{T}\), let \(\gamma :[a,b] \rightarrow \Omega \) be a rectifiable curve connecting z to \(z_{0}\). Let γ leave z for the last time at time α, and let γ leave \(\Omega _{T}\) for the first time at time β. Then, for all \(t \in [\alpha , \beta ]\), \(\gamma (t) \in \Omega _{T}\) and \(d(\gamma (t), \partial \Omega _{T}) \leq r\). It is also always true that \(|\gamma '(t)|\geq |\gamma _{1}'(t)|\), where \(\gamma _{1}\) is the first component of γ. Using these estimates, and accounting for the fact that the curve may leave either end of the tube,

$$\begin{aligned} \int _{\gamma} \frac{1}{d(\zeta , \partial \Omega _{T})} \,d\sigma &= \int _{a}^{b} \frac{ \vert \gamma '(t) \vert }{d(\gamma (t), \partial \Omega _{T})} \,dt \\ &\geq \int _{\alpha}^{\beta} \frac{ \vert \gamma _{1}'(t) \vert }{r} \,dt \\ &\geq \min \biggl\{ \frac{x_{1}}{r}, \frac{l-x_{1}}{r} \biggr\} . \end{aligned}$$

This is true for all rectifiable curves so for \(z \in \Omega _{T}'= \Omega _{T} \cap \{z:x_{1} \leq \frac{l}{2} \}\),

$$ k(z, z_{0}; \Omega ) \geq \frac{x_{1}}{r}. $$

Hence, letting \(V_{k}\) be the volume of the unit disk in \(\mathbb{R}^{k}\),

$$\begin{aligned} \int _{\Omega _{T}} k(z, z_{0}; \Omega )^{s} \,dz & \geq \int _{ \Omega _{T}'} k(z, z_{0}; \Omega )^{s} \,dz \\ &\geq \int _{\Omega _{T}'} \biggl(\frac{x_{1}}{r} \biggr)^{s} \,dz \\ &\geq \frac{1}{r^{s}}c \bigl(V_{n-1}r^{n-1}\bigr) \int _{0}^{\frac{l}{2}} x_{1}^{s} \,dx_{1} \\ &= \frac{V_{n-1}}{(s+1)2^{s+1}}c r^{n} \biggl(\frac{l}{r} \biggr)^{s+1}. \end{aligned}$$

 □

With this result in hand, essential tubes can be used to show when a given domain fails to be \(L^{s}\)-averaging. To help with this, we introduce the following notation: Given a family \(\mathcal{T}\) of essential tubes T with parameters \(r_{T}\), \(l_{T}\), and \(c_{T}\), define \(E_{\mathcal{T}}\) to be the following sum:

$$ E_{\mathcal{T}} = \sum_{T \in \mathcal{T}} c_{T} (r_{T})^{n} \biggl( \frac{l_{T}}{r_{T}} \biggr)^{s+1}. $$

We now have the following:

Corollary 3.2

Let \(\mathcal{T}\) be a family of essential tubes for Ω such that the corresponding components \(\Omega _{T}\) are pairwise disjoint. Let the parameters of \(T \in \mathcal{T}\) be \(r_{T}\), \(l_{T}\), and \(c_{T}\). Then, if \(E_{\mathcal{T}}\) is infinite, Ω cannot be \(L^{s}\)-averaging.

The proof of this result is left to the reader. We demonstrate how this can be used in the examples below and in later sections.

3.3 Examples

For the first example, we construct a “rooms-and-halls” domain \(\Omega \subset \mathbb{R}^{2}\) that is not p-Poincaré for any \(1 \leq p < \infty \). First, define two sequences \(x_{j}=1-1/2^{j}\) and \(x'_{j}=x_{j}+1/2^{j+2}\) for \(j\in \mathbb{Z}^{+}\), and set \(x'_{0}=0\). Next, define a sequence of “rooms” by

$$ R_{j}=\bigl[x'_{j}, x_{j+1}\bigr] \times [0,1]\quad \text{for } j=0,1,2,\dots $$

and “halls” by

$$ H_{j}=\bigl[x_{j},x'_{j}\bigr] \times \biggl[0,\frac{1}{(j+1)!} \biggr]\quad \text{for } j=1,2,\dots . $$

Letting \(f(x,y)=(-x,y)\), set \(A=R_{0}\cup [\bigcup_{j\in \mathbb{Z}^{+}}(R_{j}\cup H_{j}) ]\), and define Ω to be the interior of \(A\cup f(A)\). See Fig. 2.

Figure 2
figure 2

The rooms-and-halls domain

Now, we construct a sequence of functions in \(W^{1,p}(\Omega )\) that will demonstrate that Ω is not p-Poincaré. Let

$$ v_{j}(x)= \textstyle\begin{cases} 0&\text{if } \vert x \vert < x_{j}, \\ 2^{j+2}(x-x_{j})&\text{if }x_{j}\leq \vert x \vert \leq x'_{j}, \\ 1&\text{if } \vert x \vert >x'_{j} \end{cases} $$

for \(j\in \mathbb{Z}^{+}\) and \(x>0\), and let

$$ u_{j}(x,y)= \textstyle\begin{cases} v_{j}(x)&\text{if }x\geq 0, \\ -v_{j}(-x)&\text{if }x< 0 \end{cases} $$

for \(j\in \mathbb{Z}^{+}\). Then, \(\{u_{j}\}_{j\in \mathbb{Z}^{+}}\) is the desired sequence of functions. To see this, note that each \(R_{j}\) and \(H_{j}\) has width \(1/2^{j+2}\). Since \({u_{j}}_{\Omega}=0\),

$$ \Vert u_{j}-{{u_{j}}_{\Omega}} \Vert _{L^{p}(\Omega )}^{p} = \int _{\Omega } \vert u_{j} \vert ^{p} \,dz \geq 2 \int _{R_{j}} \vert 1 \vert ^{p} \,dz = 2\cdot \frac{1}{2^{j+2}} $$

and

$$ \Vert \nabla u_{j} \Vert _{L^{p}(\Omega )}^{p} = \int _{\Omega } \vert \nabla u_{j} \vert ^{p} \,dz = 2 \int _{H_{j}} \bigl\vert 2^{j+2} \bigr\vert ^{p} \,dz = 2\cdot \bigl(2^{j+2}\bigr)^{p} \biggl( \frac{1}{2^{j+2}} \cdot \frac{1}{(j+1)!} \biggr). $$

Therefore,

$$ a_{j} = \frac{ \Vert u_{j}-{{u_{j}}_{\Omega}} \Vert _{L^{p}(\Omega )}}{ \Vert \nabla u_{j} \Vert _{L^{p}(\Omega )}} \geq \biggl( \frac{(j+1)!}{(2^{j+2})^{p}} \biggr)^{\frac{1}{p}} $$

and this sequence diverges as \(j\rightarrow \infty \) regardless of the choice of p.

Next, we use essential tubes to show that this rooms-and-halls domain is not \(L^{s}\)-averaging for any \(1 \leq s < \infty \). Note that the rectangles \(T_{j} = [x_{j}', x_{j+1}] \times [\frac{1}{2},\frac{3}{4} ]\) are essential tubes for \(j \geq 1\), and for each tube we have \(r_{j} = \frac{1}{2^{j+3}}\), \(l = \frac{1}{4}\), and \(c = 1\). Hence,

$$\begin{aligned} E_{\{T_{j}\}} &= \sum_{j = 1}^{\infty} 1 \cdot \biggl( \frac{1}{2^{j+3}} \biggr)^{2} \biggl( \frac{\frac{1}{4}}{\frac{1}{2^{j+3}}} \biggr)^{s+1} \\ &= \frac{1}{4^{s+1}} \sum_{j = 2}^{\infty} \bigl(2^{s-1}\bigr)^{j+3} \\ &= \infty . \end{aligned}$$

Since the associated components \(\Omega _{T_{j}}\) are pairwise disjoint, by Corollary 3.2, Ω cannot be \(L^{s}\)-averaging.

Of course, this is not much of a surprise. We already know that the rooms-and-halls domain is not p-Poincaré, so for \(s \geq 2\) it cannot be \(L^{s}\)-averaging. The calculation above shows that it cannot be \(L^{s}\)-averaging for any \(1 \leq s < \infty \).

The next, perhaps more interesting, example is a domain that is not \(L^{s}\)-averaging for any s, but is p-Poincaré for all p. For \(j\in \mathbb{Z}^{+}\), let \(\theta _{j} = [1 - (\frac{1}{2} )^{j-1} ] \pi \) and let \(z_{j} = (\cos (\theta _{j}), \sin (\theta _{j}))\). Let \(R_{j}\) be the filled open rectangle with two vertices \(z_{j}\) and \(z_{j+1}\) and with the other two vertices lying on the circle of radius 3 centered at the origin. Let B be the open unit disk centered at the origin and define Ω to be the “disk-and-rooms” domain as follows:

$$ \Omega = \bigcup_{j = 1}^{\infty} R_{j} \cup B. $$

See Fig. 3. Note that Ω is star-shaped with respect to the origin. Hence, it is a p-Poincaré domain for all p.

Figure 3
figure 3

The disk-and-rooms domain

Let \(T_{j}\) be the filled closed rectangle with two vertices \(z_{j}\) and \(z_{j+1}\) and with the other two vertices lying on the circle of radius 2 centered at the origin. Then, the \(T_{j}\) are essential tubes and the associated sets \(\Omega _{T_{j}}\) are pairwise disjoint. The parameters of \(T_{j}\) can be estimated as follows: \(r_{j} < \frac{\theta _{j+1} - \theta _{j}}{2} = \frac{\pi}{2^{j+1}}\), \(l_{j} > 1\), and \(c_{j} = 1\).

With this, we have

$$\begin{aligned} E_{\{T_{j}\}} &\geq \sum_{j = 1}^{\infty} 1 \cdot \biggl( \frac{\pi}{2^{j+1}} \biggr)^{2} \biggl(\frac{1}{\frac{\pi}{2^{j+1}}} \biggr)^{s+1} \\ &= \frac{1}{\pi ^{s-1}} \sum_{j = 1}^{\infty} \bigl(2^{s-1}\bigr)^{j+1} \\ &= \infty \end{aligned}$$

and therefore, by Corollary 3.2, Ω cannot be \(L^{s}\)-averaging.

4 Generalized Whitney subdivision

In this section, we discuss a general method that can be used to establish sufficient conditions for a domain to be \(L^{s}\)-averaging. In some ways this complements essential tubes, but this method is not as concrete.

Given a domain Ω, we say a collection \(\mathcal{S}\) of sets is a valid subdivision if it has the following properties:

  • Each element \(S \in \mathcal{S}\) is a closed subset of Ω;

  • Each element \(S \in \mathcal{S}\) is star-shaped;

  • For all distinct pairs \(S, T \in \mathcal{S}\), \(|S \cap T| = 0\);

  • \(\vert \Omega - \bigcup_{S \in \mathcal{S}} S \vert = 0\);

  • For every pair of points \(z_{0}, z \in \bigcup_{S \in \mathcal{S}} S\), there is a sequence \(\{S_{i}: 0 \leq i \leq j\} \subset \mathcal{S}\) such that \(z_{0} \in S_{0}\), \(z \in S_{j}\), and \(\partial S_{i} \cap \partial S_{i+1} \neq \emptyset \).

For each \(S \in \mathcal{S}\), define two parameters: let \(d(S)\) be the diameter of S and let \(\delta (S)\) be the distance between S and Ω. We then have the following:

Lemma 4.1

Let \(\mathcal{S}\) be a valid subdivision for Ω and let \(z_{0}\) and z be two points in \(\bigcup_{S \in \mathcal{S}} S\). Let \(\{S_{i}: 0 \leq i \leq j\} \subset \mathcal{S}\) be a sequence of sets such that \(z_{0} \in S_{0}\), \(z \in S_{j}\), and \(\partial S_{i} \cap \partial S_{i+1} \neq \emptyset \). Then,

$$ k(z, z_{0}; \Omega ) \leq 2\sum_{i = 0}^{j} \frac{d(S_{i})}{\delta (S_{i})}. $$

Proof

For \(i \in \{0, \ldots , j\}\) let \(\hat{z}_{i} \in S_{i}\) be a point relative to which \(S_{i}\) is star-shaped. For \(i \in \{1, \ldots , j\}\), let \(z_{i} \in S_{i-1} \cap S_{i}\), and let \(z_{j+1} = z\). For each \(i \in \{0, \ldots , j\}\) let \(\tilde{\gamma}_{i}:\tilde{I_{i}} \rightarrow S_{i}\) be a piecewise linear path connecting \(z_{i}\) to \(\hat{z}_{i}\) and then to \(z_{i+1}\). Note that in each \(S_{i}\), \(\tilde{\gamma}_{i}\) consists of two segments, both of which have length at most \(d(S_{i})\). Then, let \(\tilde{\gamma}:\tilde{I} \rightarrow \Omega \) be the concatenation of these \(\tilde{\gamma}_{i}\). See Fig. 4.

Figure 4
figure 4

Sets \(S_{0}, \ldots , S_{4}\) in a valid subdivision, reference points, and path used for proof of Lemma 4.1

Since this path is rectifiable, it is an element of Γ, and so provides the following estimate for \(k(z, z_{0}; \Omega )\):

$$\begin{aligned} k(z, z_{0}; \Omega ) &= \inf_{\gamma \in \Gamma} \int _{I_{\gamma}} \frac{ \vert \gamma '(t) \vert }{d(\gamma (t), \partial D)} \,dt \\ & \leq \int _{\tilde{I}} \frac{ \vert \tilde{\gamma}'(t) \vert }{d(\tilde{\gamma}(t), \partial D)} \,dt \\ &= \sum_{i = 0}^{j} \int _{\tilde{I_{i}}} \frac{ \vert \tilde{\gamma}_{i}'(t) \vert }{d(\tilde{\gamma}_{i}(t), \partial D)} \,dt \\ & \leq \sum_{i = 0}^{j} \int _{\tilde{I_{i}}} \frac{ \vert \tilde{\gamma}_{i}'(t) \vert }{\delta (S_{i})} \,dt \\ &= \sum_{i = 0}^{j} \frac{1}{\delta (S_{i})} \int _{\tilde{I_{i}}} \bigl\vert \tilde{\gamma}_{i}'(t) \bigr\vert \,dt \\ & \leq \sum_{i = 0}^{j} \frac{1}{\delta (S_{i})} 2 d(S_{i}). \end{aligned}$$

 □

The estimate in the above lemma is useful when the relationship between \(d(S)\) and \(\delta (S)\) is well behaved. With this in mind, we say a valid subdivision \(\mathcal{S}\) is a generalized Whitney subdivision if there exists an M such that for each \(S \in \mathcal{S}\), \(d(S) \leq M\delta (S)\). We call M the distance factor.

For a generalized Whitney subdivision \(\mathcal{S}\) of Ω, with \(z_{0} \in S_{0}\), let \(L_{j}\) be the union of those sets S that are j sets away from \(S_{0}\) (so \(L_{0} = S_{0}\)). Then, we have the following upper bound for the \(L^{s}\)-integral of the quasihyperbolic distance:

Lemma 4.2

Let \(\mathcal{S}\) be a generalized Whitney subdivision for a domain Ω with distance factor M. Let \(z_{0} \in S_{0}\). Then, for \(z \in L_{j}\), \(k_{\Omega}(z, z_{0}) \leq 2M(j+1)\) and

$$ \int _{\Omega} \bigl[k(z,z_{0}; \Omega ) \bigr]^{s} \,dz \leq (2M)^{s} \sum _{j=0}^{ \infty}(j+1)^{s} \vert L_{j} \vert . $$

Proof

Using Lemma 4.1,

$$\begin{aligned} k(z, z_{0}; \Omega ) &\leq 2\sum_{i = 0}^{j} \frac{d(S_{i})}{\delta (S_{i})} \\ &\leq 2 \sum_{i = 0}^{j} M \\ &= 2M(j+1) \end{aligned}$$

and so

$$\begin{aligned} \int _{\Omega} \bigl[k(z,z_{0}; \Omega ) \bigr]^{s} \,dz &= \sum_{j=0}^{\infty} \int _{L_{j}} \bigl[k(z,z_{0}; \Omega ) \bigr]^{s} \,dz \\ &\leq \sum_{j=0}^{\infty} \int _{L_{j}}\bigl[2M(j+1)\bigr]^{s} \,dz \\ &= (2M)^{s} \sum_{j=0}^{\infty} (j+1)^{s} \int _{L_{j}} dz \\ &= (2M)^{s} \sum_{j=0}^{\infty} (j+1)^{s} \vert L_{j} \vert . \end{aligned}$$

 □

To demonstrate how such an estimate can be used, we show that a cube is \(L^{s}\)-averaging for all s. This result is, of course, not new, but it illustrates how the analysis can be performed, and provides an upper bound to be used later.

Lemma 4.3

Let Ω be the unit cube in \(\mathbb{R}^{n}\) and let \(z_{0}\) be the center point of Ω. Then,

$$ \int _{\Omega}\bigl[k(z, z_{0}; \Omega ) \bigr]^{s} \,dz \leq C(n,s) \sum_{j=0}^{ \infty}(j+1)^{s} \biggl(\frac{1}{3} \biggr)^{j}, $$
(1)

which is finite for all \(s \geq 1\).

Proof

Let \(L_{0} = S_{0}\) be the closed cube of side length \(\frac{1}{2}\) centered at \(z_{0}\). After this, to produce the jth layer of cubes, subdivide each exposed (\(n-1\))-dimensional face of the cubes in the \((j-1)\)th layer into \(3^{n-1}\) congruent square pieces and let these be the faces of a new set of cubes of side length \(\frac{1}{2}\frac{1}{3^{j}}\). These cubes enclose most of the \((j-1)\)th layer, but there are still lower-dimensional components that are accessible. With this in mind, complete the layer by adding more cubes of the same size so as to completely enclose the \((j-1)\)th layer. See Fig. 5.

Figure 5
figure 5

Generalized Whitney subdivision of a square. The first three layers \(L_{0}\), \(L_{1}\), and \(L_{2}\) are shown in increasingly lighter shades of gray

As a union of small cubes, these layers are hollow cubes. Let \(e_{i}\) be the number of cubes along a one-dimensional edge. Then, \(e_{0} = 1\) and \(e_{j} = 3 e_{j-1}+2\), and from this we can conclude that \(e_{j} = 2 \cdot 3^{j} - 1\).

Let \(\nu _{j}\) be the number of cubes creating \(L_{j}\). Then, \(\nu _{0} = 1\), and since an n-dimensional cube has 2n faces, for \(j > 1\)

$$\begin{aligned} \nu _{j} &< 2n e_{j}^{n-1} \\ &= 2n \bigl(2 \cdot 3^{j} - 1\bigr)^{n-1} \\ &< 2n \bigl(2 \cdot 3^{j}\bigr)^{n-1} \\ &= 2^{n} n 3^{j(n-1)}, \end{aligned}$$

where the first inequality comes from the fact that we are overcounting the cubes included to cover the lower-dimensional edges.

Since the side length of each cube S in \(L_{j}\) is \(\frac{1}{2} (\frac{1}{3} )^{j}\), the diameter is \(d(S) = \frac{\sqrt{n}}{2}\frac{1}{3^{j}}\), and for \(j \geq 1\)

$$\begin{aligned} \delta (S) &= \frac{1}{4} - \sum_{i=1}^{j} \frac{1}{2} \biggl( \frac{1}{3} \biggr)^{i} \\ &= \frac{1}{4} - \frac{1}{4} \biggl(1-\frac{1}{3^{j}} \biggr) \\ &= \frac{1}{4 \cdot 3^{j}}. \end{aligned}$$

Hence, \(d(S) =2 \sqrt{n} \delta (S)\) and so this is a generalized Whitney subdivision with a distance factor of \(2 \sqrt{n}\).

Estimating the measure of \(L_{j}\), we have

$$\begin{aligned} \vert L_{j} \vert &= \nu _{j} \biggl( \frac{1}{2\cdot 3^{j}} \biggr)^{n} \\ &\leq 2^{n} n 3^{j(n-1)} \frac{1}{2^{n}}\frac{1}{3^{jn}} \\ &= n \frac{1}{3^{j}}. \end{aligned}$$

Applying Lemma 4.2 we have Equation (1), which converges for all s. □

For a given domain, cubes may not be an ideal object for subdivision, and other shapes, tailored to the domain, can be used. An example is provided in the next section.

5 Cusps

As a family, cusps demonstrate that a domain can be \(L^{s}\)-averaging for some s and not others. The cusps analyzed here were explored in [8]. We confirm those results using essential tubes and generalized Whitney subdivision.

Theorem 5.1

For \(\alpha \geq 0\), let \(\Omega _{\alpha} \in \mathbb{R}^{n}\) be the following domain:

$$ \Omega _{\alpha} = \bigl\{ (x,y_{1}, y_{2}, \ldots , y_{n-1}): 0 < x < 1, \bigl(y_{1}^{2} + y_{2}^{2} + \cdots + y_{n-1}^{2} \bigr)^{\frac{1}{2}} < x^{\alpha}\bigr\} . $$

Then, \(\Omega _{\alpha}\) is an \(L^{s}\)-averaging domain if and only if

$$ (\alpha - 1) (s - n + 1) < n. $$

Note that if \(0 \leq \alpha \leq 1\) then \(\Omega _{\alpha}\) is a John domain and hence \(L^{s}\)-averaging for all \(s \geq 1\). At the same time, it is straightforward to check that the inequality is satisfied. With these observations in mind, we restrict to \(\alpha > 1\) for the remainder of this section.

The proof is broken into parts. In the first part, essential tubes are used to show that a cusp cannot be \(L^{s}\)-averaging if the given inequality is not satisfied. In the second part, a generalized Whitney subdivision is used to show the converse.

Proof (part one)

Let \(0 < a < b < 1\) and consider the tube centered along the x-axis with ends at a and b, and its radius equal to \(b^{\alpha}\). This is an essential tube with \(r = b^{\alpha}\), \(l = b-a\), and \(c = (\frac{a}{b} )^{\alpha n}\).

Using the sequence \(a_{j} = \frac{1}{2^{j}}\), consider the essential tubes \(T_{j}\) defined as above using \(a = a_{j}\) and \(b = a_{j-1}\) Then,

$$\begin{aligned} E_{T_{j}} &= \sum_{j = 3}^{\infty} \biggl(\frac{a_{j}}{a_{j-1}} \biggr)^{\alpha n} (a_{j-1})^{\alpha n} \biggl( \frac{a_{j-1} - a_{j}}{ (a_{j-1})^{\alpha}} \biggr)^{s+1} \\ &= 2^{-\alpha (s+1)} \sum_{j = 3}^{\infty} \bigl(2^{(\alpha - 1)(s-n+1)-n} \bigr)^{j}. \end{aligned}$$

If \((\alpha -1)(s-n+1) \geq n\) then this series diverges, so by Corollary 3.2, \(\Omega _{\alpha}\) cannot be \(L^{s}\)-averaging. □

For the other direction, we first establish some structure and initial results. Because \(\Omega _{\alpha}\) is symmetric about the x-axis, it is beneficial to work in cylindrical coordinates \((x, r, \theta )\). In these coordinates,

$$ \Omega _{\alpha} = \bigl\{ (x, r, \theta ):0 < x < 1, r < x^{\alpha}, \theta \in \mathbb{S}^{n-2}\bigr\} , $$

and the volume element is

$$ dx \,dy_{1} \cdots dy_{n-1} = r^{n-2} \,dx \,dr \,d \theta , $$

where is the volume element for the unit \((n-2)\)-sphere \(\mathbb{S}^{n-2}\).

Given \(j,m \in \mathbb{Z}^{+}\), let

$$ S_{j,m} = \biggl\{ (x, r, \theta ): \frac{m}{2^{j+\ell}} \leq x \leq \frac{m+1}{2^{j+\ell}}, \biggl(1 - \frac{1}{2^{\ell -1}} \biggr) x^{ \alpha} \leq r \leq \biggl(1 - \frac{1}{2^{\ell}} \biggr) x^{\alpha} \biggr\} , $$

where \(\ell = \lfloor \log _{2}(m)\rfloor + 1\). See Fig. 6.

Figure 6
figure 6

Part of the generalized Whitney subdivision of a Cusp Domain. Note that in order to show detail, the curves representing the layers are not to scale. The sets \(S_{j,m}\) are labeled here with the binary representation of m. Moving from one such set to the set below it, the label is truncated by removing the right-most digit. For example, starting at \(S_{j,13}\) (shaded), the sets below it have indices 6, 3, and 1

These sets are created by first dividing the domain into disks indexed by j, then layers indexed by , and finally further subdividing into the sets described. Since, in the third step, each layer is subdivided into twice as many sets as the previous layer, the number of digits in the base-2 representation of m is the layer so that \(m < 2^{\ell} \leq 2m\).

This subdivision is not quite a generalized Whitney subdivision for two different reasons. First, the union of all of the \(S_{j,m}\) misses a significant portion of Ω. We define \(S_{0} = \Omega _{\alpha} \cap \{(x, r, \theta ): x > \frac{1}{4} \}\). This set is a John domain and we do not attempt to subdivide it.

Secondly, when \(m > 1\), the sets \(S_{j,m}\) are not star-shaped. When \(n = 2\), each \(S_{j,m}\) is the disjoint union of two sets, one lying above the x-axis and one lying below. To resolve this, for \(m > 1\) let \(S_{j,m}^{+} = S_{j,m} \cap \{y_{1} > 0\}\) and let \(S_{j,m}^{-} = S_{j,m} \cap \{y_{1} < 0\}\).

When \(n > 2\), each \(S_{j,m}\) has a solid ring shape, or disk-like shape if \(m = 1\). To formally make use of the observations about diameter in the previous section, we could further subdivide each \(S_{j,m}\) into star-shaped regions through some subdivision of \(\mathbb{S}^{n-2}\). However, we will find that because of the choice of the path, each such region would contribute the same, so we keep \(S_{j,m}\) as a single set.

To help with calculations later, we have the following:

Lemma 5.2

For each j, m, denote the radial thickness and horizontal width of \(S_{j,m}\) by \(d_{r}\) and \(d_{x}\), respectively. Then,

$$ d_{r} < 2 d_{x}. $$

Proof

The horizontal width is

$$\begin{aligned} d_{x} &= \frac{m+1}{2^{j + \ell}} - \frac{m}{2^{j + \ell}} \\ &= \frac{1}{2^{j + \ell}}. \end{aligned}$$

The radial thickness for a given x is

$$\begin{aligned} d_{r}(x) &= \biggl(1 - \frac{1}{2^{\ell}} \biggr)x^{\alpha} - \biggl(1 - \frac{1}{2^{\ell -1}} \biggr)x^{\alpha} \\ &= \frac{x^{\alpha}}{2^{\ell}}, \end{aligned}$$

and this quantity is maximized at the right end of \(S_{j,m}\) at \(x = \frac{m+1}{2^{j+\ell}}\), hence

$$ d_{r} = \frac{ (\frac{m+1}{2^{j+\ell}} )^{\alpha}}{2^{\ell}}. $$

Using the fact that \(m < 2^{\ell}\), the ratio of these distances is

$$\begin{aligned} \frac{d_{r}}{d_{x}} &= \frac{\frac{ (\frac{m+1}{2^{j+\ell}} )^{\alpha}}{2^{\ell}}}{ \frac{1}{2^{j+\ell}}} \\ &< \biggl(\frac{2^{\ell}+1}{2^{\ell}} \biggr)^{\alpha} \frac{1}{2^{(\alpha -1)j}} \\ &< \frac{2^{\alpha}}{2^{(\alpha -1)j}} \\ &< \frac{2^{\alpha}}{2^{\alpha -1}} \\ &= 2. \end{aligned}$$

 □

The curves used to estimate the quasihyperbolic distance for \(\Omega _{\alpha}\) will incorporate only horizontal and radial directions. Therefore, since in the previous section, the diameter of the set is used as a proxy for the length of a curve for a bound on \(k_{\Omega}\), we can restrict attention to \(d_{r}\) and \(d_{x}\), and in light of the previous lemma, we may use \(d_{x}(S_{j,m})\) in place of \(d(S_{j,m})\) and we have

$$ d_{x}(S_{j,m}) = \frac{1}{2^{j+\ell}}. $$

Next, we focus on distance to the boundary.

Lemma 5.3

For each set \(S_{j,m}\),

$$ \delta (S_{j,m}) \geq C(\alpha ) \frac{1}{2^{\alpha j+\ell}}. $$

Proof

We first consider the two-dimensional case. Let \(f(x) = x^{\alpha}\) define the boundary. Let \(z = (x,y) \in \Omega _{\alpha} \cap \{x \leq \frac{1}{2} \}\), and let \(\delta (z)\) be its distance to the boundary. Then, since f is convex and increasing, \(\delta (z)\) is at least the distance to the tangent line at \((x, f(x))\), and the distance to this tangent line is bounded below by a multiple of the vertical distance \(x^{\alpha} - y\). This multiple, \(C_{1}(\alpha )\) depends on α only, and is realized at \(x = \frac{1}{2}\). The general case is similar, due to rotational symmetry.

Focusing now on \(S_{j,m}\), the points closest to \(\partial (\Omega _{\alpha})\) are \((\frac{m}{2^{j+\ell}}, (1-\frac{1}{2^{\ell}} ) (\frac{m}{2^{j+\ell}} )^{\alpha},\theta )\). If we restrict our attention to just the radial distance we find

$$\begin{aligned} \delta (S_{j,m}) &\geq C_{1}(\alpha ) \biggl[ \biggl( \frac{m}{2^{j+\ell}} \biggr)^{\alpha} - \biggl(1-\frac{1}{2^{\ell}} \biggr) \biggl(\frac{m}{2^{j+\ell}} \biggr)^{\alpha} \biggr] \\ &= C_{1}(\alpha ) \frac{1}{2^{\ell}} \biggl(\frac{m}{2^{j+\ell}} \biggr)^{\alpha} \\ & \geq C_{1}(\alpha ) \frac{1}{2^{\ell}} \biggl( \frac{2^{\ell -1}}{ 2^{j+\ell}} \biggr)^{\alpha} \\ &= C(\alpha ) \frac{1}{2^{\alpha j+\ell}}. \end{aligned}$$

 □

With these estimates in hand, we now have the following lemma.

Lemma 5.4

Using the basepoint \(z_{0} = (\frac{1}{3},0,0 )\), for any point \(z \in S_{j,m}\),

$$ k(z, z_{0}; \Omega _{\alpha}) \leq C(\alpha ) (1+ \ell )2^{(\alpha -1)j}. $$

Proof

For any point \(z = (x, r, \theta ) \in S_{j,m}\), \(j \geq 1\), define the L-shaped path \(\gamma :[0,2] \longrightarrow \Omega _{\alpha}\) by

$$ \gamma (t) = \textstyle\begin{cases} (x t + \frac{1}{3}(1-t), 0, 0 )&\text{if } t \in [0,1], \\ (x, r(t-1), \theta )& \text{if } t \in [1,2]. \end{cases} $$

For the first part we only need the horizontal width of each set, and for the second part, we only need the radial thickness.

Now, we can estimate \(k_{\Omega _{\alpha}}\). For the first step, we determine which sets intersect γ. Let \((x, r, \theta ) \in S_{j,m}\). For the initial leg from \(z_{0}\) to \((x, 0, 0)\), we use the sets \(S_{i, 1}\) for \(i = 1, \ldots , j\). For the second leg from \((x, 0, 0)\) to \((x, r, \theta )\) we need to determine which sets lie between \(S_{j,m}\) and \(S_{j, 1}\) There is one at each layer out to the layer containing \(S_{j,m}\), and the specific sets \(S_{j, \lambda}\) are determined as follows. Express m in binary. Then, the λ values are represented in binary by truncating the binary representation of m by successively removing the rightmost digit. For example, if \(m = 51\) then the λ to use are:

$$\begin{aligned} &51 = 110011_{2}, \\ &25 = 11001_{2}, \\ &12 = 1100_{2}, \\ &6 = 110_{2}, \\ &3 = 11_{2}, \\ &1 = 1_{2}. \end{aligned}$$

Let \(\Lambda (j,m)\) be the set of indices corresponding to these sets lying below \(S_{j,m}\) and note that \(|\Lambda (j,m)| = \ell \). With the specific sets through which γ passes known, Lemma 4.1, modified to account for the fact that only the radial or horizontal distances are needed, then Lemmas 5.2 and 5.3 are used to approximate \(k_{\Omega _{\alpha}}\) as follows:

$$\begin{aligned} k(z, z_{0}; \Omega _{\alpha}) &\leq 2\sum _{i=1}^{j} \frac{d_{x}(S_{i,1})}{\delta (S_{i,1})} + 2\sum _{\lambda \in \Lambda (k,m)} \frac{d_{r}(S_{j,\lambda})}{\delta (S_{j,\lambda})} \\ &\leq 2\sum_{i=1}^{j} \frac{d_{x}(S_{i,1})}{\delta (S_{i,1})} + 4 \sum_{\lambda \in \Lambda (k,m)} \frac{d_{x}(S_{j,\lambda})}{\delta (S_{j,\lambda})} \\ &\leq C_{1}(\alpha ) \Biggl(\sum_{i=1}^{j} \frac{2^{\alpha i+1}}{2^{i+1}} + \sum_{\lambda \in \Lambda (j,m)} \frac{2^{\alpha j+\ell}}{2^{j+\ell}} \Biggr) \\ &= C_{1}(\alpha ) \Biggl(\sum_{i=1}^{j} 2^{(\alpha -1) i} + \sum_{ \lambda \in \Lambda (j,m)} 2^{(\alpha -1) j} \Biggr) \\ &\leq C(\alpha ) \bigl( 2^{(\alpha -1)j} + \ell 2^{(\alpha -1) j} \bigr) \\ &= C(\alpha ) (1 + \ell )2^{(\alpha -1) j}, \end{aligned}$$

where the first sum on the third-to-last line is approximated by a constant times the largest term. □

With \(k(z, z_{0}; \Omega _{\alpha})\) approximated, the next step is to estimate the measure of \(S_{j,m}\).

Lemma 5.5

For each \(S_{j,m}\),

$$ \vert S_{j,m} \vert \leq C(\alpha , n) \frac{1}{2^{j[\alpha (n-1)+1]}} \frac{1}{2^{2\ell}}. $$

Proof

We have

$$ \vert S_{j,m} \vert = \int _{\mathbb{S}^{n-2}} \int _{\frac{m}{2^{j+\ell}}}^{ \frac{m+1}{2^{j+\ell}}} \int _{ (1-\frac{1}{2^{\ell -1}} )x^{ \alpha}}^{ (1-\frac{1}{2^{\ell}} )x^{\alpha}} r^{n-2} \,dr \,dx \,d\theta . $$

The integral over the sphere just produces a dimensional constant. For the other two integrals, the given functions are increasing, and so are approximated by \(\int _{a}^{b} f(x) \,dx \leq f(b)(b-a)\), resulting in

$$\begin{aligned} \vert S_{j,m} \vert &\leq C_{1}(n) \int _{\frac{m}{2^{j+\ell}}}^{ \frac{m+1}{2^{j+\ell}}} \biggl[ \biggl(1-\frac{1}{2^{\ell}} \biggr)x^{ \alpha} \biggr]^{n-2}x^{\alpha}\frac{1}{2^{\ell}} \,dx \\ &= C_{1}(n) \frac{1}{2^{\ell}} \biggl(1-\frac{1}{2^{\ell}} \biggr)^{n-2} \int _{\frac{m}{2^{j+\ell}}}^{\frac{m+1}{2^{j+\ell}}}x^{\alpha (n-1)} \,dx \\ &\leq C_{1}(n) \frac{1}{2^{\ell}} \biggl(1-\frac{1}{2^{\ell}} \biggr)^{n-2} \biggl(\frac{m+1}{2^{j+\ell}} \biggr)^{\alpha (n-1)} \frac{1}{2^{j+\ell}}. \end{aligned}$$

Since \(m+1 \leq 2m\) and \(1-\frac{1}{2^{\ell}} < 1\), this simplifies to

$$ \vert S_{j,m} \vert \leq C_{1}(n) \frac{1}{2^{j[\alpha (n-1)+1]}} \frac{(2m)^{\alpha (n-1)}}{2^{2\ell}2^{\ell \alpha (n-1)}}. $$

The final estimate then follows from the fact that \(m < 2^{\ell}\). □

We are now in position to complete the proof of Theorem 5.1.

Proof (part two)

The domain \(\Omega _{\alpha}\) can be subdivided into a John domain and the family of \(S_{j,m}\) as follows

$$\begin{aligned} \int _{\Omega _{\alpha}} \bigl[k(z, z_{0}; \Omega _{\alpha})\bigr]^{s} \,dz &= \int _{\Omega _{\alpha} \cap \{x > \frac{1}{2}\}} \bigl[k(z, z_{0}, \Omega _{\alpha})\bigr]^{s} \,dz + \sum_{j = 1}^{\infty} \sum_{m = 1}^{ \infty} \int _{S_{j,m}} \bigl[k(z, z_{0}; \Omega _{\alpha})\bigr]^{s} \,dz \\ &< \int _{S_{0}} \bigl[k(z, z_{0}; \Omega _{\alpha})\bigr]^{s} \,dz + \sum_{j = 1}^{\infty} \sum_{m = 1}^{\infty} \int _{S_{j,m}} \bigl[k(z, z_{0}; \Omega _{\alpha})\bigr]^{s} \,dz \\ &< \int _{S_{0}} \bigl[k(z, z_{0}; S_{0}) \bigr]^{s} \,dz + \sum_{j = 1}^{ \infty} \sum_{m = 1}^{\infty} \int _{S_{j,m}} \bigl[k(z, z_{0}; \Omega _{ \alpha})\bigr]^{s} \,dz. \end{aligned}$$

The first integral on the right is finite since the domain is a John domain.

For the sum of integrals, the estimate for \(k(z, z_{0}; \Omega _{\alpha})\) and \(|\Omega _{\alpha}|\) are combined to estimate \(\int _{\Omega _{\alpha}} k(z, z_{0}; \Omega _{\alpha})^{s} \,dz\) as follows:

$$\begin{aligned} \sum_{j = 1}^{\infty} \sum _{m = 1}^{\infty} \int _{S_{j,m}} \bigl[k(z, z_{0}; \Omega _{\alpha})\bigr]^{s} \,dz &\leq C(\alpha ,n) \sum _{j = 1}^{\infty} \sum_{m = 1}^{\infty} \bigl[(1 + \ell )2^{(\alpha -1) j}\bigr]^{s} \frac{1}{2^{j(\alpha (n-1)+1)}} \frac{1}{2^{2\ell}} \\ &= C(\alpha ,n) \sum_{j = 1}^{\infty} \bigl[2^{(\alpha -1) s - (\alpha (n-1)+1)}\bigr]^{j} \sum_{m = 1}^{\infty} \frac{(1+\ell )^{s}}{2^{2\ell}}. \end{aligned}$$

For the sum over m, note that \(2^{2 \ell} > m^{2}\) and \((1+ \ell ) \leq 2 + \log _{2}(m)\), hence

$$ \sum_{m = 1}^{\infty} \frac{(1+\ell )^{s}}{2^{2\ell}} \leq \sum_{m = 1}^{\infty} \frac{[2+\log _{2}(m)]^{s}}{m^{2}}, $$

which converges for all s.

For the sum over j, this converges if and only if

$$ (\alpha -1) s - \bigl(\alpha (n-1)+1\bigr) < 0, $$

which can be rearranged as \((\alpha -1) (s - n + 1) < n\). □

We end with two comments. First, if \(n = 2\), the domain \(\Omega _{\alpha}\) is a finite intersection of John domains. Secondly, for all n, α, \(\Omega _{\alpha}\) is star-shaped and therefore p-Poincaré for all \(1 \leq p < \infty \).

6 Block domains

In this section we build a domain using blocks, and show, by combining the techniques above, for which s it is \(L^{s}\)-averaging.

Consider the domain \(\Omega \subset \mathbb{R}^{n}\) defined as follows: Starting with a closed unit cube \(\Omega _{1}\), perform a triadic subdivision of the top face and glue a closed cube \(\Omega _{2}\) onto the middle. Then, on the top face of \(\Omega _{2}\) glue on a cube \(\Omega _{3}\) that is the same size as \(\Omega _{2}\). Next, in a similar fashion, perform a triadic subdivision the top face of \(\Omega _{3}\), glue a cube \(\Omega _{4}\) onto the middle, and then extend with three more cubes, all the same size. Continue this process, doubling the number of same-sized cubes in each step so that the cubes \(\Omega _{2^{j}}, \ldots \Omega _{2^{j+1}-1}\) have edge length equal to \(3^{-j}\). Finally, take the interior of the infinite union. See Fig. 7.

Figure 7
figure 7

Block domain construction

Theorem 6.1

The set Ω is \(L^{s}\)-averaging if and only if \(s < n\log _{2}(3) - 1\).

As before, we separate the proof into two parts, beginning with the proof of when Ω fails to be \(L^{s}\)-averaging.

Proof (part one)

Essential tubes can be built for each set of cubes \(\Omega _{2^{j}}, \ldots \Omega _{2^{j+1}-1}\). For the jth tube, \(r_{j} = C_{1}(n) (\frac{1}{3} )^{j}\), \(l_{j} = (\frac{2}{3} )^{j}\), and \(c_{j} = C_{2}(n)\), hence

$$\begin{aligned} E_{\{T_{j}\}} &= C(s, n) \sum_{j = 1}^{\infty} \biggl[ \biggl( \frac{1}{3} \biggr)^{j} \biggr]^{n} \biggl( \frac{\frac{2}{3}}{\frac{1}{3}} \biggr)^{j(s+1)} \\ &= \sum_{j = 1}^{\infty} \biggl[ \frac{2^{s+1}}{3^{n}} \biggr]^{j}. \end{aligned}$$

If \(2^{s+1} \geq 3^{n}\) this sum diverges and so by Corollary 3.2, Ω is not \(L^{s}\)-averaging, and this happens for \(s \geq n\log _{2}(3) - 1\). □

Proof (part two)

First, subdivide each \(\Omega _{m}\) using the subdivision in the proof of Lemma 4.3. This subdivision has the problem of needing infinitely many elements of the subdivision for any path connecting points in \(\Omega _{m}\) to points in \(\Omega _{m+1}\). This is resolved by noting that when \(\Omega _{m}\) and \(\Omega _{m+1}\) are the same size, the sets at the centers of \(\Omega _{m}\) and \(\Omega _{m+1}\) can be connected with a third set of the same size, and when \(\Omega _{m}\) and \(\Omega _{m+1}\) are not the same size, the center set in \(\Omega _{m+1}\) is the same size as the sets in the layer \(L_{1}\) of \(\Omega _{m}\) and can be connected to this layer by a single set of the same size. See Fig. 8.

Figure 8
figure 8

Modifying the subdivision. The dark gray sets replace the sets they cover so as to connect the blocks. Note that even with this modification, there are sets of measure zero at the boundary of each \(\Omega _{i}\) that do not get covered

Thus, to build a path from \(z_{0} \in \Omega _{1}\) to z in the ith layer in \(\Omega _{m}\), first walk to the center of \(\Omega _{m}\), requiring at most 3m Whitney sets, and then to the ith layer, requiring at most \(i+1\) additional steps, maybe many fewer if z happens to be in or near one of the new big sets acting as a bridge into or out of \(\Omega _{m}\).

Note that this generalized Whitney subdivision does not cover all of Ω. Namely, it misses most of the points at \(\Omega _{i} \cap \Omega _{i+1}\). This does not pose a difficulty though because it is a set of measure 0.

Combining this with the estimate in equation (1), and accounting for the sizes of the \(\Omega _{m}\),

$$ \int _{\Omega}\bigl[k(z, z_{0}; {\Omega}) \bigr]^{s} \,dz \leq C(n, s) \sum_{m=1}^{ \infty} \sum_{i=0}^{\infty}(i+1+3m)^{s} \biggl(\frac{1}{3^{n}} \biggr)^{\lfloor \log _{2}(m)\rfloor} \biggl(\frac{1}{3} \biggr)^{i}, $$

where \(\lfloor \log _{2}(m)\rfloor \) accounts for the size of the \(\Omega _{m}\). Noting that \(\lfloor \log _{2}(m)\rfloor \geq \log _{2}(m) - 1\), it follows that

$$\begin{aligned} \biggl(\frac{1}{3^{n}} \biggr)^{\lfloor \log _{2}(m)\rfloor} &\leq \biggl(\frac{1}{3^{n}} \biggr)^{\log _{2}(m) - 1} \\ &=3^{n} \biggl(\frac{1}{3^{n}} \biggr)^{\log _{2}(m)} \\ &= 3^{n} m^{-n\log _{2}(3)}. \end{aligned}$$

Inserting this into the estimate above yields

$$ \int _{\Omega}\bigl[k(z, z_{0}; {\Omega}) \bigr]^{s} \,dz \leq C(n, s) \sum_{m=1}^{ \infty} \sum_{i=0}^{\infty}(i+1+3m)^{s} m^{-n\log _{2}(3)} \biggl( \frac{1}{3} \biggr)^{i}. $$

Note that \(i+1+3m \geq m\) so if \(s \geq n\log _{2}(3) - 1\) the double sum diverges and this estimate gives us no information. On the other hand,

$$\begin{aligned} (i+1 + 3m)^{s} &= m^{s} \biggl(\frac{i+1}{m} + 3 \biggr)^{s} \\ &\leq m^{s} (i+4)^{s}, \end{aligned}$$

hence, if \(s < n\log _{2}(3) - 1\) then the double sum above converges and so Ω is \(L^{s}\)-averaging. □

6.1 Variations

With this initial tower in hand, there are a number of modifications that can be made without significantly changing the analysis.

First, we could glue towers of cubes onto all faces of the initial cube, and more generally, we could add other smaller towers as well. As long as the number of additional towers is bounded, the estimates above will still hold.

We could consider more extreme ratios of side lengths of adjacent squares. This will only affect the contribution of the number of steps to go from one center to the next. As long as this stays bounded, the analysis above will hold.

We could glue the cubes together in different orientations to produce spirals, trees, or other interesting fractal shapes. For the above analysis to hold, the key thing that would need to be preserved is that the number of cubes of a given size stays comparable to the number introduced above. More exotic shapes could be considered with more careful analysis.

The “2” in the critical value comes from the growth in the number of cubes of a given size and the “3” comes from the ratio of one size to the next. Experimenting with these values would produce other relationships. In the current case, “3” was chosen because it was relatively easy to verify that the Whitney subdivision has the correct properties, and then “2” was the only available integer of any interest. For example, using “1” instead of “2”, we obtain something like an Aztec pyramid, which is \(L^{s}\)-averaging for all \(s \geq 1\), and in fact is John.

7 The union of \(L^{s}(\mu )\)-averaging domains

In 1999, Vaisala proved that, under appropriate conditions, the union of John domains is still a John domain in [9]. Since \(L^{s}(\mu )\)-averaging domains are extensions of John domains, a natural question is: Does the union of \(L^{s}(\mu )\)-averaging domains have the similar property? We will answer this question in this section.

We say a weight \(w(z)\) satisfies the \(A_{r}\) condition in a domain Ω, and write \(w\in A_{r}(\Omega )\), \(r>1\), if

$$ \sup_{B \subset \Omega} \biggl(\frac{1}{ \vert B \vert } \int _{B} w \,dz \biggr) \biggl(\frac{1}{ \vert B \vert } \int _{B} w^{\frac{1}{1-r}} \,dz \biggr)^{r-1} < \infty . $$

Note that if \(w \in A_{r}(\Omega )\) and \(G \subset \Omega \) then \(W \in A_{r}(G)\) as well. With this weight, the measure μ is defined by \(d\mu = w(z) \,dz\)

The following result, found in [6], gives a necessary and sufficient condition for a domain to be \(L^{s}(\mu )\)-averaging so long as the weight function defining μ satisfies the \(A_{r}\) condition.

Lemma 7.1

Let \(w \in A_{r}\) for \(r>1\) and μ be a measure defined by \(d\mu = w(z)\,dz\). Then, Ω is an \(L^{s}(\mu )\)-averaging domain if and only if the inequality

$$ \biggl(\frac{1}{\mu (\Omega )} \int _{\Omega} k(z,z_{0}; \Omega )^{s} \,d \mu \biggr)^{\frac{1}{s}} \leq C $$

holds for some fixed point \(z_{0}\) in Ω and a constant C depending only on n, s, \(\mu (\Omega )\), the choice of \(z_{0} \in \Omega \), and the constant from the inequality in the definition of \(L^{s}(\mu )\)-averaging domains.

Theorem 7.2

Let \(G_{1}\) and \(G_{2}\) be bounded \(L^{s}(\mu )\)-averaging domains with \(G_{1}\cap G_{2} \neq \emptyset \), where the measure μ is defined by \(d\mu = w(z)\,dz\), and \(w\in A_{r}(G_{1} \cup G_{2})\). Then, \(G_{1} \cup G_{2}\) is also an \(L^{s}(\mu )\)-averaging domain.

Proof

First, we show that for any two domains D and G with \(D \subset G\), we have

$$ k(z, z_{0}; G) \leq k(z, z_{0}; D) $$
(2)

for any z, \(z_{0}\) in D. We know that for any \(z \in D\), it follows that

$$ d(z, \partial G) \geq d(z, \partial D), $$

hence, for any rectifiable curve γ in D joining z to \(z_{0}\), we have

$$ \int _{\gamma} \frac{1}{d(\zeta , \partial G)} \,d\sigma \leq \int _{ \gamma} \frac{1}{d(\zeta , \partial D)} \,d\sigma . $$

Hence,

$$ \inf_{\gamma \in \Gamma _{ D}} \int _{\gamma} \frac{1}{d(\zeta , \partial G)} \,d\sigma \leq \inf _{\gamma \in \Gamma _{ D}} \int _{\gamma} \frac{1}{d(\zeta , \partial D)} \,d \sigma . $$

Thus,

$$\begin{aligned} k(z, z_{0}; G) &= \inf_{\gamma \in \Gamma _{ G}} \int _{\gamma} \frac{1}{d(\zeta , \partial G)} \,d\sigma \\ &\leq \inf_{\gamma \in \Gamma _{ D}} \int _{\gamma} \frac{1}{d(\zeta , \partial G)} \,d\sigma \\ &\leq \inf_{\gamma \in \Gamma _{ D}} \int _{\gamma} \frac{1}{d(\zeta , \partial D)} \,d\sigma \\ &= k(z, z_{0}; D). \end{aligned}$$

Now, choose \(z_{0}\in G_{1} \cap G_{2}\). For \(i = 1, 2\), extend the definitions of \(k(z, z_{0}; G_{i})\) to \(G_{1} \cup G_{2}\) by

$$ k^{*}_{i}(z, z_{0})= \textstyle\begin{cases} k(z, z_{0}; G_{i}), & z \in G_{i}, \\ 0, & z \notin G_{i}. \end{cases} $$

Then, by Equation (2), we have

$$ k(z, z_{0}; G_{1} \cup G_{2}) \leq k^{*}_{1}(z, z_{0}) + k^{*}_{2}(z, z_{0}). $$
(3)

Since \(G_{1}\) and \(G_{2}\) are \(L^{s}(\mu )\)-averaging domains, by Lemma 7.1, for \(i = 1, 2\) and \(z_{0} \in G_{1} \cap G_{2}\) we have

$$ \frac{1}{\mu (G_{i})} \int _{G_{i}} k(z,z_{0}; G_{i})^{s} \,d\mu \leq C_{i}. $$
(4)

Using Equations (3) and (4), and the elementary inequality

$$ \bigl( \vert a \vert + \vert b \vert \bigr)^{s} \leq 2^{s} \bigl( \vert a \vert ^{s} + \vert b \vert ^{s}\bigr) $$

for any \(s>0\), we obtain

$$\begin{aligned} &\frac{1}{\mu (G_{1} \cup G_{2})} \int _{G_{1} \cup G_{2}} \bigl( k(z, z_{0};G_{1} \cup G_{2}) \bigr)^{s} \,d\mu \\ &\quad\leq \frac{1}{\mu (G_{1} \cup G_{2})} \int _{G_{1} \cup G_{2}} \bigl( k^{*}_{1}(z, z_{0}) + k^{*}_{2}(z, z_{0}) \bigr)^{s} \,d\mu \\ &\quad\leq \frac{1}{\mu (G_{1} \cup G_{2})} \int _{G_{1} \cup G_{2}} 2^{s} ( \bigl( \bigl( k^{*}_{1}(z, z_{0}) \bigr)^{s} + \bigl( k^{*}_{2}(z, z_{0}) \bigr)^{s} \bigr) \,d\mu \\ &\quad= \frac{2^{s}}{\mu (G_{1} \cup G_{2})} \int _{G_{1} \cup G_{2}} \bigl( k^{*}_{1}(z, z_{0}) \bigr)^{s} \,d\mu \\ &\quad\quad + \frac{2^{s}}{\mu (G_{1} \cup G_{2})} \int _{G_{1} \cup G_{2}} \bigl( k^{*}_{2}(z, z_{0}) \bigr)^{s} \,d\mu \\ &\quad\leq 2^{s} \biggl(\frac{1}{\mu (G_{1})} \int _{G_{1}} \bigl( k(z, z_{0}; G_{1}) \bigr)^{s} \,d\mu + \frac{1}{\mu (G_{2})} \int _{G_{2}} \bigl( k(z, z_{0}; G_{2}) \bigr)^{s} \,d\mu \biggr) \\ &\quad\leq 2^{s} (C_{1} + C_{2}) \\ &\quad= C_{3}, \end{aligned}$$

which means that

$$ \biggl(\frac{1}{\mu (G_{1} \cup G_{2})} \int _{G_{1} \cup G_{2}} \bigl( k(z, z_{0}; G_{1} \cup G_{2}) \bigr)^{s} \,d\mu \biggr)^{ \frac{1}{s}} \leq C_{4} $$
(5)

and hence, by Lemma 7.1 and Equation (5), \(G_{1}\cup G_{2}\) is an \(L^{s}(\mu )\)-averaging domain. □

Using Theorem 7.2 and mathematical induction, we can prove the following theorem about the finite union of \(L^{s}(\mu )\)-averaging domains.

Theorem 7.3

Let \(w\in A_{r}(\bigcup_{i=1}^{m} G_{i})\) and let \(G_{i}\) be \(L^{s}(\mu )\)-averaging domains, \(i=1,\ldots,m\) such that \(\bigcup_{i=1}^{m} G_{i}\) is connected. Then, \(\bigcup_{i=1}^{m} G_{i}\) is also an \(L^{s}(\mu )\)-averaging domain.

For any t with \(0 < t < s < \infty \) and any \(z_{0}\) in a domain G, by Hölder’s inequality

$$ \biggl( \int _{G} k(z, z_{0}; G)^{t} \,d\mu \biggr)^{\frac{1}{t}} \leq \biggl( \int _{G} k(z, z_{0}; G)^{s} \,d\mu \biggr)^{\frac{1}{s}} \biggl( \int _{G} \,d\mu \biggr)^{\frac{s-t}{st}}, $$

that is,

$$ \biggl( \frac{1}{\mu (G)} \int _{G} k(z, z_{0}; G)^{t} \,d\mu \biggr)^{ \frac{1}{t}} \leq \biggl( \frac{1}{\mu (G)} \int _{G} k(z, z_{0}; G)^{s} \,d\mu \biggr)^{\frac{1}{s}}. $$
(6)

Applying Lemma 7.1 and Equation (6), we have the following corollary immediately, which also appeared in [6].

Corollary 7.4

If G is an \(L^{s}(\mu )\)-averaging domain, then G is an \(L^{t}(\mu )\)-averaging domain for any t with \(0 < t < s\).

From Theorem 7.3 and Corollary 7.4, we have the following result:

Theorem 7.5

Let \(w\in A_{r}(\bigcup_{i=1}^{m} G_{i})\) and let \(G_{i}\) be \(L^{s_{i}}(\mu )\)-averaging domains with \(s_{i} > 0\), \(i=1,\ldots,m\) such that \(\bigcup_{i=1}^{m} G_{i}\) is connected. Then, \(\bigcup_{i=1}^{m} G_{i}\) is also an \(L^{s}(\mu )\)-averaging domain, where \(s = \min \{s_{1}, s_{2}, \ldots , s_{m} \}\).

References

  1. Agarwal, R.P., Ding, S., Nolder, C.: Inequalities for Differential Forms. Springer, New York (2009)

    Book  MATH  Google Scholar 

  2. Ding, S.: \(L^{\phi}(\mu )\)-Averaging domains and the quasi-hyperbolic metric. Comput. Math. Appl. 47(10–11), 1611–1618 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Ding, S., Liu, B.: Whitney covers and quasi-isometry of \(L^{s}(\mu )\)-averaging domains. J. Inequal. Appl. 6(4), 435–449 (2001)

    MathSciNet  MATH  Google Scholar 

  4. Ding, S., Nolder, C.A.: \(L^{S}(\mu )\)-Averaging domains. J. Math. Anal. Appl. 283(1), 85–99 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  5. Gehring, F.W., Osgood, B.G.: Uniform domains and the quasihyperbolic metric. J. Anal. Math. 36, 50–74 (1979). (1980)

    Article  MathSciNet  MATH  Google Scholar 

  6. Liu, B., Ding, S.: The monotonic property of \(L^{s}(\mu )\)-averaging domains and weighted weak reverse Hölder inequality. J. Math. Anal. Appl. 237(2), 730–739 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  7. Smith, W., Stegenga, D.A.: Hölder domains and Poincaré domains. Trans. Am. Math. Soc. 319(1), 67–100 (1990)

    MATH  Google Scholar 

  8. Staples, S.G.: \(L^{p}\)-Averaging domains and the Poincaré inequality. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 14(1), 103–127 (1989)

    Article  MATH  Google Scholar 

  9. Väisälä, J.: Unions of John domains. Proc. Am. Math. Soc. 128(4), 1135–1140 (2000)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Funding

Two undergraduates, Gavin Pandya and Arya Yae were funded by Seattle University’s College of Science and Engineering Summer Undergraduate Research program.

Author information

Authors and Affiliations

Authors

Contributions

SD introduced the problems to the group, played a significant role in developing the results and writing the paper, and was primarily responsible for the last section about unions of domains. DH played a significant role in developing the results and writing the paper, and was primarily responsible for generating the final images. GP played a significant role in developing the results and writing the paper. AY played a significant role in developing the results and writing the paper.

Corresponding author

Correspondence to Dylan Helliwell.

Ethics declarations

Competing interests

One of the authors, Shusen Ding, is an Editor-In-Chief for the Journal of Inequalities and Applications. The other authors have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ding, S., Helliwell, D., Pandya, G. et al. Further study on domains and quasihyperbolic distances. J Inequal Appl 2022, 140 (2022). https://doi.org/10.1186/s13660-022-02882-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-022-02882-1

Keywords

  • Poincaré domain
  • \(L^{s}\)-averaging domain
  • Quasihyperbolic distance
  • Whitney subdivision