## Abstract

We show that any bounded domain in a doubling quasiconvex metric space can be approximated from inside and outside by uniform domains.

## Introduction

We provide an approximation of bounded domains from inside and from outside by uniform domains in doubling quasiconvex metric spaces. A metric space (*X*, *d*) is called (*metrically*) *doubling*, if there exists a constant \(C_d\) so that for all \(r>0\), any ball of radius *r* can be covered by \(C_d\) balls of radius *r*/2. A metric space is called *quasiconvex*, if there exists a constant \(C_q < \infty \) such that any \(x,y \in X\) can be connected by a curve \(\gamma \) in *X* with the length bound

A domain \(\Omega \subset X\) is called *uniform*, if there exists a constant \(C_u < \infty \) such that for every \(x,y \in \Omega, \) there exists a curve \(\gamma \subset \Omega \) such that

and for all \(z \in \gamma \) it holds

where \(\gamma _{x,z}\) and \(\gamma _{z,y}\) denote the shortest subcurves of \(\gamma \) joining *z* to *x* and *y*, respectively.

With the definitions now recalled we can state the result of this paper.

### Theorem 1.1

*Let* (*X*, *d*) *be a doubling quasiconvex metric space and* \(\Omega \subset X\) *a bounded domain. Then for every* \(\varepsilon > 0,\) *there exist uniform domains* \(\Omega _I\) *and* \(\Omega _O\) *such that*

\(\Omega _O \subset B(\Omega ,\varepsilon )\)*, and* \(X \setminus \Omega _I \subset B(X \setminus \Omega ,\varepsilon )\).

In the above theorem we have used the notation

for the open \(r\)-neighbourhood of a set \(A \subset X\), with \(r>0\), and \(B(x,r)\) denoting the open ball of radius \(r\) centred at a point \(x \in X\).

Although there are characterizations of uniform domains in metric spaces, for instance via tangents [6], we are not aware of previous general existence results such as Theorem 1.1.

The setting of Theorem 1.1 is motivated by Sobolev- and BV-extension domains in complete metric measure spaces with a doubling measure and supporting a \((1,p)\)-Poincaré inequality (\(p\)-PI spaces for short). A measure \(\mu\) on \((X,d)\) is doubling, if there exists a constant \(C>0\) such that \(\mu (B(x,2r)) \leq C\mu(B(x,r)) \) for every \(x \in X\) and \(r>0\). Recall that a metric space supporting a positive and locally finite doubling measure \(\mu\) is doubling in the metric sense. The metric measure space \((X,d,\mu)\) supports a \((1,p)\)-Poincaré inequality if there exist constants \(C,\lambda \geq 1\) so that the following holds: for any \(x \in X\) and \(r>0\) the ball \(B(x,r) \subset X\) has positive and finite \(\mu\)-measure and

holds for any measurable function \(u\) and its upper gradient \(\rho\), with \(u_{B(x,r)}\) being the average of \(u\) in \(B(x,r)\). On one hand, \(p\)-PI spaces [5] are known to be quasiconvex [3, 10]. On the other hand, in [2] it was shown that uniform domains in \(p\)-PI-spaces are \(N^{1,p}\)-extension domains, for \(1 \leq p \leq \infty \), for the Newtonian Sobolev spaces, and in [11] it was shown that bounded uniform domains in 1-PI-spaces are BV-extension domains. See [13] for the definitions of upper gradients and Newtonian Sobolev spaces and [1, 12] for the BV space.

The main purpose of this paper is to increase the applicability of the results in [2, 11] by providing a large collection of uniform domains. As a straightforward corollary, we have the following approximation result by extension domains.

### Corollary 1.2

*Let* \(1 \leq p \leq \infty \) *let* \((X,d,\mu)\) * be a complete metric measure space, with* \(\mu \)* doubling, supporting a* \(({1,p})\)*-Poincaré inequality, and let *\(\Omega \subset X\) *be a bounded domain. Then* \(\Omega \) *can be approximated (as in Theorem* 1.1*) by* \(N^{1,p}\)*-extension and, in the case* \(p=1\), *also by BV**-extension domains.*

Notice also that in the case, when \(\Omega \) is unbounded, we can for example fix a point \(x_0 \in \Omega \) and for each \(i \in {\mathbb {N}}\) approximate the connected component of \(B(x_0,i) \cap \Omega \) containing \(x_0\) from inside by \(\Omega _i\) using Theorem 1.1 with the choice \(\varepsilon = 1/i\), and thus obtain

with \(\Omega _i\) uniform for all \(i \in {\mathbb {N}}\).

## Construction of the uniform domains

In the Euclidean setting, we could use closed dyadic cubes to construct the uniform domains. Using just the fact that a Euclidean cube is John (and not that it is in fact uniform), we could start with a finite union of cubes of some fixed side length, then take all the neighbouring cubes with a constant \(c \in (0,1)\) times smaller side length than the original ones and continue taking smaller and smaller cubes. The main thing one has to take care about is that two points near the boundary that are some small distance *r* from each other can be connected by going via cubes not much larger than *r* in side length. This is handled by taking the constant *c* small enough because of the nice property of closed Euclidean dyadic cubes: if two cubes of side length *l* do not intersect, then their distance is at least *l*.

We will use the above idea in the metric setting. However, none of the dyadic cube constructions that we have seen (for instance [4, 7,8,9]) take care about the separation of non-intersecting cubes but only about other properties such as nestedness and size. Luckily, we do not need a nested structure, nor a decomposition, so we will work with coverings by balls having the needed separation property. The existence of such coverings is provided by the next lemma.

### Lemma 2.1

*Let* (*X*, *d*) *be a doubling metric space. Then there exists a constant* \(c \in (0,1)\) *depending only on the doubling constant so that for every* \(r>0,\) *there exist* *r**-separated points* \(\{x_i\} \subset X\) *and radii* \(r_i \in [r,2r]\) *such that*

*and*

### Proof

Let \(\{x_i\}\) be a maximal *r*-separated net of points in *X*. Because of the maximality of the net, the balls \(B(x_i,r_i)\) will cover *X*. We select the suitable radii by induction. Let \(r_1 = r\). Suppose that \(r_1, \dots , r_k\) have been selected. Since \(x_i\) are *r* separated, by the metric doubling property of (*X*, *d*), there exists an integer \(N > 1\) depending only on the doubling constant \(C_d\) so that there exist at most *N*−1 points \(x_i \in \{x_1, \dots , x_k\}\) with \(\mathrm{{d}}(x_{k+1},x_i) \le 4r\). Write

Then \(I_k\) contains at most \(N\)−1 points. Let \(\lambda_1 < \lambda _2 < \ldots < \lambda _M\), with \(M<N\), be so that

Denote \(\lambda_0=r\) and \(\lambda_{M+1}=2r\). Let \(m\in\{0, \cdots ,M\}\) be the smallest integer for which \(\lambda_{m+1}-\lambda_m \geq r/N\). (If such \(m\) did not exist we would have

which is a contradiction.) We now define \(r_{k+1}=\lambda_m\). In particular, we then have

By the definition of \(m\), we have

for all \(i \in I_k\). Now, if \(i \leq k\) with \(i \notin I_k\), either \( d(x_i,x_{k+1}) - r_i < r \), in which case \( d(x_i,x_{k+1}) - r_i - r_{k+1} < 0 \), or \( d(x_i,x_{k+1}) - r_i > 2r \), in which case we have \( d(x_i,x_{k+1}) - r_i - r_{k+1} > r/N.\) Thus,

for all \(i \in\{1,\dots,k\}.\) This shows that the claim holds with the constant \( c = 1/N\). \(\square \)

With the replacement of the Euclidean dyadic cubes by balls given in Lemma 2.1, we can now follow the idea presented for the Euclidean case to prove the metric version.

### Proof of Theorem 1.1

We start by noting that since our space (*X*, *d*) is quasiconvex, the induced length distance

satisfies \(d \le d_l \le C_qd\) with the quasiconvexity constant \(C_q\). If we would assume the space \((X,d)\) to be complete, by the generalized Hopf-Rinow Theorem we would know that \(d_l\) is in fact a geodesic distance. However, we want to avoid making the extra assumption on completeness. In any case, because the property of being a uniform domain is invariant under a biLipschitz change of the distance, we may then assume that \((X,d)\) is a length space.

construction The constructions of \(\Omega _I\) and \(\Omega _O\) are similar. The only difference is the starting point of the construction. Fix a point \(x_0 \in \Omega \) and let \(\tau \in (0,\min \{{{\,\mathrm{dist}\,}}(x_0,\partial \Omega ),1\})\). The choice of \(\tau\) will depend on \(\varepsilon\), and the estimate on how small \(\tau\) we need to select is postponed to the end of the proof. For constructing \(\Omega _O,\) we simply start with the set

and for \(\Omega _I,\) we take \(E_1\) to be the connected component of

containing the fixed point \(x_0\). Let us consider the case \(\Omega _I\). Thus \(E_1\) is defined via (2.1).

Let \(c>0\) be the constant from Lemma 2.1. Define

We construct \(\Omega _I\) using induction as follows. Suppose \(E_k\) has been defined for a \(k \in {\mathbb {N}}\). Let \(\{x_i\}\) and \(\{r_i\}\) be the points and radii given by Lemma 2.1 for the choice \(r = \delta ^k\), and define

We then set

Finally, we define

uniformity Let us next show that \(\Omega _I\) is uniform. Take \(x,y \in \Omega _I\) with \(x \neq y\). Let \(k_x\) and \(k_y\) be the smallest integers such that \(x \in E_{k_x}\) and \(y \in E_{k_y}\). Without loss of generality, we may assume \(k_x \le k_y\).

Suppose first that \(\mathrm{{d}}(x,y) < \frac{1}{4}c\delta \). Let \(n \in {\mathbb {N}}\) be such that

Notice that since in each construction step \(k+1,\) we take a neighbourhood \(\delta ^k\) of the previous set \(E_k\), we have that

Therefore, if \(k_x < n\), we may take \(\gamma\) to be a curve connecting \(x\) to \(y\) so that \(\ell(\gamma) < 2 d(x,y)\), in which case for all \(z \in \gamma\) we have

and, consequently, we get uniformity with constant \(C_u = 2\).

If \(k_x \ge n\), we first connect *x* and *y* to \(E_n\). We do this as follows. Starting with *x*, let \(B(z,r) \in {\mathcal {B}}_{k_x-1}\) be such that \(x \in B(z,r)\), which exists by the definitions of \(k_x\) and \(E_{k_x}\). Next take \( v \in B(z,r) \cap B(E_{k_x-1}, \delta^{k_x-1})\) and \(w \in E_{k_x-1}\) with \(\mathrm{{d}}(z,w) < r + \delta ^{k_x-1}\), which we have by the definition of \({\mathcal {B}}_{k_x-1}\). Now we take the concatenation \(\gamma _{k_x}^x\) of the curves *α*_{1} going from *x* to *z*, *α*_{2} going from *z* to *v*, and *α*_{3} going from *v* to *w* with the length bounds \(\ell(\alpha_1), \ell(\alpha_2) < r~and~\ell(\alpha_3)<\delta^{k_x-1}\). Notice that \(\gamma_{k_x}^x\subset E_{k_x} \) and that the curve \(\gamma_{k_x}^x\) has the length bound

and for the distance to the complement of \(\Omega _I\) we can estimate

by the fact that in the construction of \(E_{k_x+1}\) we take a \(\delta ^{k_x}\)-neighbourhood of \(E_{k_x}\) and the curve \(\gamma _{k_x}^x\) is contained in \(E_{k_x}\). We then continue inductively connecting *w* to \(E_{k_x-2}\) by \(\gamma _{k_x-1}^x\) and so on, until we have connected *x* to a point \(x'\) in \(E_n\).

The curve \(\gamma ^{x,x'}\) obtained by concatenating the previous curves \(\gamma _{k_x}^x, \gamma _{k_x-1}^x, \dots , \gamma _{n+1}^x\) has the length bound

With a similar construction, we connect *y* to a point \(y' \in E_n\) by a curve \(\gamma ^{y,y'}\) with length bounded from above by \(c\delta ^{n-1}/4\). We can bound the distance between \(x'\) and \(y'\) by

Now we use the crucial separation property given by Lemma 2.1. Let \(B(z_x,r_x),B(z_y,r_y) \in {\mathcal {B}}_{n-1}\) be such that \(x' \in B(z_x,r_x)\) and \(y' \in B(z_y,r_y)\). Since the collection \({\mathcal {B}}_{n-1}\) was defined via Lemma 2.1 with the radius \(\delta ^{n-1}\), we have

whereas (2.5) gives

Therefore, \(\mathrm{{d}}(z_x,z_y) \le r_x+r_y,\) and thus, we can connect \(x'\) to \(y'\) by a curve \(\gamma ^{x',y'}\) defined by going first with a curve *β*_{1} from \(x'\) to \(z_x\), then with *β*_{2} from \(z_x\) to \(z_y\) and finally with *β*_{3} from \(z_y\) to \(y'\). By selecting the curves so that \(\ell(\beta_1) < r_x \),

and \(\ell(\beta_3) < r_y \), the curve \(\gamma^{x',y'}\) has the length bound

and its distance to the complement of \(\Omega _I\) has the bound

Now, the curve \(\gamma \) obtained by concatenating \(\gamma ^{x,x'},\gamma ^{x'y'}\) and \(\gamma ^{y,y'}\) has, by (2.4) and (2.6), length at most

Let us check the uniformity for this curve. Let \(z \in \gamma \). Suppose first that \(z \in \gamma ^{x',y'}\). Then by (2.7) and (2.8), we get

By symmetry, it then remains to check the case \(z \in \gamma ^{x,x'}\). Then there exists \(k \ge n\) such that \(z \in \gamma _k^x\). Then by (2.3) and the same estimate as in (2.4), we get

By combining the estimates (2.8), (2.9) and (2.10), we see that \(\gamma \) satisfies the uniformity condition with the constant \(C_u = 36/(c\delta ^2)\).

We are still left with proving the uniformity in the case \(\mathrm{{d}}(x,y) \ge (1/4)c\delta \). For this, we first observe that we can connect *x* to a point \(x' \in E_1\), and *y* to a point \(y' \in E_1\) by curves having lengths bounded from above by *c*/4 and with pointwise lower bounds for the distance to the boundary along the curves being enough for the uniformity condition. What remains to do is to connect \(x'\) to \(y'\) with a curve of which length is bounded by a constant (independent of \(x'\) and \(y'\)) from above and of which distance to the boundary of \(\Omega _I\) is bounded by another constant from below. This is achieved directly by compactness: on one hand, any two points in the totally bounded set \(E_I\) can be joined by a rectifiable curve inside \(B(E_1,\delta/2) \subset \Omega_I \) and the infimum over the lengths of curves joining two given points is a continuous function in terms of the endpoints and this function extends to the completion of \(E_I\) as a continuous function. Thus, there exists the needed constant upper bound for the lengths of curves. On the other hand, the distance of these curves to the boundary of \(\Omega _I\) is at least \(\delta /2\).

closeness Let us then show that for every \(\varepsilon >0,\) there exists \(\tau >0\) so that using the \(\tau \) in the construction above we get \(X \setminus \Omega _I \subset B(X \setminus \Omega ,\varepsilon )\).

In order to have the dependence on \(\tau \), write now \(E_1(\tau )\) to be the connected component of \(\left\{ x \in X\,:\,{{\,\mathrm{dist}\,}}(x,X\setminus \Omega ) > \tau \right\} \) containing \(x_0\). Since \(X \setminus B(X \setminus \Omega,\varepsilon)\) is totally bounded, there exists a set of points \(\{x_i\}_{i=1}^N \subset \Omega\) so that

Each \(x_i\) can be connected to \(x_0\) by a curve inside \(\Omega\) and so there exist \(r_i>0\) for which \(x_i \in E_1(\tau_i) \). Consequently, with \(\tau = \min\{\varepsilon/2,\tau_1, \dots, \tau_N\} \) we have \( X \setminus B(X \setminus \Omega,\varepsilon) \subset E_1(\tau)\), and thus,

The final thing we still need to observe is that \(\Omega _I \subset \Omega \). By the construction procedure, we have

for every \(k \in {\mathbb {N}}\). Thus, by the choice of \(\delta \) we get

This completes the proof for \(\Omega _I\). The proof for \(\Omega _O\) goes almost verbatim. Only the argument for closeness becomes easier in this case. In particular, for \(\Omega _O,\) one can then take \(\tau = \varepsilon \). \(\square \)

## References

- 1.
Ambrosio, L.: Fine properties of sets of finite perimeter in doubling metric measure spaces, calculus of variations, nonsmooth analysis and related topics. Set-Valued Anal.

**10**(2–3), 111–128 (2002) - 2.
Björn, J., Shanmugalingam, N.: Poincaré inequalities, uniform domains and extension properties for Newton–Sobolev functions in metric spaces. J. Math. Anal. Appl.

**332**(1), 190–208 (2007) - 3.
Cheeger, J.: Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal.

**9**(3), 428–517 (1999) - 4.
Christ, M.: A \(T(b)\) theorem with remarks on analytic capacity and the Cauchy integral. Colloq. Math.

**60/61**(2), 601–628 (1990) - 5.
Heinonen, J., Koskela, P.: Quasiconformal maps in metric spaces with controlled geometry. Acta Math.

**181**(1), 1–61 (1998) - 6.
Herron, D.: Uniform metric spaces, annular quasiconvexity and pointed tangent spaces. Math. Scand.

**108**(1), 115–145 (2011) - 7.
Hytönen, T., Kairema, A.: Systems of dyadic cubes in a doubling metric space. Colloq. Math.

**126**(1), 1–33 (2012) - 8.
Hytönen, T., Martikainen, H.: Non-homogeneous Tb theorem and random dyadic cubes on metric measure spaces. J. Geom. Anal.

**22**(4), 1071–1107 (2012) - 9.
Käenmäki, A., Rajala, T., Suomala, V.: Existence of doubling measures via generalised nested cubes. Proc. Am. Math. Soc.

**140**(9), 3275–3281 (2012) - 10.
Keith, S.: Modulus and the Poincaré inequality on metric measure spaces. Math. Z.

**245**(2), 255–292 (2003) - 11.
Lahti, P.: Extensions and traces of functions of bounded variation on metric spaces. J. Math. Anal. Appl.

**423**(1), 521–537 (2015) - 12.
Miranda Jr., M.: Functions of bounded variation on “good” metric spaces. J. Math. Pures Appl.

**82**(8), 975–1004 (2003) - 13.
Shanmugalingam, N.: Newtonian spaces: an extension of Sobolev spaces to metric measure spaces. Rev. Mat. Iberoam.

**16**, 243–279 (2000)

## Acknowledgements

The author thanks Nageswari Shanmugalingam for bringing this question to his attention, and for the related discussions during the IMPAN conference *Latest in Geometric Analysis. Celebration of Pekka Koskela’s 59th birthday* in November 2019. The author also thanks Anders Björn, Jana Björn, Panu Lahti, and the anonymous referee for the corrections and comments on the previous version of the paper. The author acknowledges the support from the Academy of Finland, Grant No. 314789.

## Funding

Open access funding provided by University of Jyväskylä (JYU).

## Author information

### Affiliations

### Corresponding author

## Additional information

*Dedicated to Professor Pekka Koskela on the occasion of his 60th birthday.*

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## 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/.

## About this article

### Cite this article

Rajala, T. Approximation by uniform domains in doubling quasiconvex metric spaces.
*Complex Anal Synerg* **7, **4 (2021). https://doi.org/10.1007/s40627-021-00062-3

Received:

Accepted:

Published:

### Keywords

- Sobolev extension
- Uniform domain
- Quasiconvexity

### Mathematics Subject Classification

- Primary 30L99
- Secondary 46E35
- 26B30