Abstract
We consider a bounded strictly pseudoconvex domain \(\Omega \subset \mathbb {C}^{n}\) with \(C^{2}\) boundary. Then, we show that any compact Ahlfors–David regular subset of \(\partial \Omega \) of Hausdorff dimension \(\beta \in (0,2n-1]\) contains a peak set E of Hausdorff dimension equal to \(\beta \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Historical Background
Let \(\Omega \subset \subset \mathbb {C}^{n}\) be a domain. If we have a compact set \(K\subset \partial \Omega \) and \(f\in A(\Omega )\) such that \(|f|<1\) on \(\overline{\Omega }{\setminus } K\) and \(f=1\) on K we say that K is a peak set forFootnote 1\(A(\Omega )\) and f is a peak function for K. It is possible to generalize this concept to a peak interpolation set. A compact set \(K\subset \partial \Omega \) is said to be a peak interpolation set for \(A(\Omega )\) if every \(g\in C(K)\) extends to an \(f\in A(\Omega )\) that satisfies
for all \(z\in \overline{\Omega }{\setminus } K\).
Crucial sources of information about peak sets are [15, 16]. Peak sets in the boundary of the unit disc \(\mathbb {D}\) have been extensively studied. The most important result in this area is the Fatou–Rudin–Carleson theorem (see [1, 3, 18]) which states that the classes of peak and peak interpolation sets for \(A(\mathbb {D})\) coincide and are precisely the compact subsets of one-dimensional Lebesgue measure zero in \(\partial \mathbb {D}\). However, as one can expect, the situation in higher dimensions is more complicated. Before we give examples of peak sets of maximal Hausdorff measure, we summarize the current state of knowledge in the regular case. Rudin generalized the Carleson-Fatou-Rudin theorem to higher dimensions in the following way:
Theorem
[17] Let \(\Omega \) be a bounded strictly pseudoconvex domain with \(C^{2}\)-boundary in \(\mathbb {C}^{n}\). Moreover, let M be \(C^{1}\)-submanifold of \(\partial \Omega \), such that the tangent space \(T_{w}(M\)) lies in the maximal complex subspace of \(T_{w}(\partial \Omega )\) for every \(w\in M\). Then, every compact subset of M is a peak interpolation set for \(A(\Omega )\).
Nagel and Rudin (see [13, 14]) studied the intersection of a peak set for \(A(\Omega )\) for any \(C^{1}\)-domain \(\Omega \) with a transverse curve; i.e. a curve in \(\partial \Omega \) whose tangent space at every point is not contained in the maximal complex of the tangent space of \(\partial \Omega \) at that point. They showed that if \(\gamma \) is a transverse curve of class \(C^{2}\) in \(\partial \Omega \), then any bounded holomorphic function on \(\Omega \) has nontangential boundary values \(\{\mu _{\gamma }\}\)-almost everywhere, where \(\mu _{\gamma }\) is the measure on \(\partial \Omega \) defined byFootnote 2\(\int fd\mu _{\gamma }:=\int _{0}^{1}f(\varphi (t))dt\) for all \(f\in C(\partial \Omega )\) and a parametrization \(\varphi \). It is easy to notice that if \(G\in A(\Omega )\) is a peak function for some set K, then \(F=\exp (i\log (1-G))\) is a bounded holomorphic function on \(\Omega \) with no limit along any curve in \(\Omega \) that ends at a point of K. Hence, a peak interpolation set of a strictly pseudoconvex domain intersects any transverse curve \(\gamma \) in a set of \(\{\mu _{\gamma }\}\)-measure zero.
Topologically, peak sets and maximum modulus sets are small in strictly pseudoconvex domains. The real topological dimension of a maximum modulus set is not bigger than n (see [4]). Moreover, as Stout (see [19]) observed, for a peak set it is not bigger than \(n-1\). In particular, a peak set and a maximum modulus set must have empty interiors. However we might ask if every peak interpolation set for \(A(\Omega )\) is contained in some (\(n-1\))-dimensional complex tangential submanifold of \(\partial \Omega \)? The answer to this question is no: from the measure-theoretic point of view, peak sets and maximum modulus sets no longer have to be so small. Tumanov constructed a peak set of Hausdorff dimension 2.5 in the unit sphere \(\partial \mathbb {B}\subset C^{3}\). Henriksen proved (see [7]) that every strictly pseudoconvex domain with \(C^{\infty }\) boundary in \(\mathbb {C}^{n}\) has a peak set with a Hausdorff dimension \(2n-1\). Moreover, if \(\Omega \) is a circular, bounded, strictly convex domain with \(C^{2}\) boundary it is possible to construct a peak set \(K\subset \partial \Omega \) which intersects all the circles in \(\partial \Omega \) centered at the origin (see [8, 10]). These examples indicate that the characterization of all peak sets for \(A(\Omega )\) in the case of a strictly pseudoconvex region \(\Omega \) is not trivial. It is known that every peak set K is also a peak interpolation set, which implies that any compact \(T\subset K\) is also a peak set (see [16, p. 206]). Moreover, any compact subset of the Euclidean space of Hausdorff dimension \(m>0\) contains a compact subset of Hausdorff dimension \(\beta \) for each \(0\le \beta \le m\). (see [5, Theorem 2.10.47]). Therefore, the peak sets mentioned in [7, 8, 10, 20] contain peak sets of any lower Hausdorff dimension. However, if we choose a compact set \(K\subset \partial \Omega \) then there is no universal way to construct a peak set as in [7, 8, 10, 20] inside K.
1.2 Motivations
Our inspiration is a Henriksen’s result from [7]. One can ask whether this is the best possible result in terms of Hausdorff dimension. Henriksen’s method is based on the \(\overline{\partial }\) problem and requires \(C^{\infty }\) boundary assumption. Our methods do not require the use of a theory related to the \(\overline{\partial }\)-equation. We use the so-called Holomorphic Support Function (HSF). The idea of HSF was successfully realized by Löw in his construction of inner functions for strictly pseudoconvex domains with \(C^{2}\) boundary or just pseudoconvex with \(C^{\infty }\) boundary (see [11]). We generalize this idea in the paper [9], where we only use a function \(\Phi (\cdot ,w)\in A(\Omega )\) with
for \(z,w\in \partial \Omega \). In particular, strictly pseudoconvex domains with \(C^{2}\) boundary have the above property. Using HSF when constructing functions with given boundary properties can sometimes bring better results than the methods based on \(\overline{\partial }\)-problem. It turns out that a construction of peak sets with maximal possible Hausdorff dimension is an example of such a problem.
1.3 Main Result
The following fact is the main result of this paper:
Theorem
(see Theorem 8) Assume that \(\Omega \subset \mathbb {C}^{n}\) is a bounded strictly pseudoconvex domain with \(C^{2}\) boundary. If \(X\subset \partial \Omega \) is a compact Ahlfors–David regular set of Hausdorff dimension \(d\in (0,2n-1]\) then there exists a compact set \(E\subset X\) of Hausdorff dimension equal to d which is a peak set for \(A(\Omega )\) i.e. there exists a function \(F\in A(\Omega )\) such that \(E=\{z\in \partial \Omega :F(z)=1\}\) and \(|F|<1\)on \(\overline{\Omega }{\setminus } E\).
1.4 Applications
Assume that \(K\subset \partial \mathbb {B}^{n}\), then the following properties are equivalent (see [16, Theorem 10.1.2]):
-
(1)
K is a zero set i.e., there exists \(f\in A(\mathbb {B}^{n})\) such that \(f(\xi )=0\) for every \(\xi \in K\) and \(f(z)\ne 0\) for \(z\in \mathbb {\overline{B}}^{n}{\setminus } K\).
-
(2)
K is a peak set.
-
(3)
K is a peak interpolation set i.e., to every \(g\in C(K)\) (\(g\not \equiv 0\)) corresponds an \(f\in A(\mathbb {B}^{n})\) such that \(f(\xi )=g(\xi )\) for \(\xi \in K\) and \(|f(z)|<\left\| g\right\| _{K}\) for every \(z\in \overline{\mathbb {B}}^{n}{\setminus } K\).
-
(4)
K is a null set for every \(v\in A^{\bot }\). More explicitly, the requirement is that \(|v|(K)=0\) whenever v is a regular complex Borel measure on \(\partial \mathbb {B}^{n}\) satisfying \(\int fdv=0\) for \(f\in A(\mathbb {B}^{n})\).
Valskii (see [21]) proved the above equivalence for smoothly bounded, star-shaped, strictly pseudoconvex domains in \(\mathbb {C}^{n}\). Chollet (see [2]) showed the same for arbitrary strictly pseudoconvex domains.
1.5 Organization of the Paper
We are going to start our construction by selecting a compact \(X\subset \partial \Omega \) which is Ahlfors–David regular and has Hausdorff dimension equal to d. We shall present an example of such a set (see Example 2). Actually, any compact manifold in \(\partial \Omega \) or self-similar Cantor set, satisfying the open set condition is an example of Ahlfors–David regular set, see Example 2 and [12, p. 92]. Moreover, any image of Ahlfors–David regular set by a \(C^{1}\) diffeomorphism is also Ahlfors–David regular. Therefore it is enough to construct the appropriate peak set only for strictly convex domains and use Fornæss Embedding Theorem (see [6]).
We prove (see Lemma 1) the multidimensional version of Tumanov’s lemma (see [20, Lemma 3]) and use it as the basic tool for determining the Hausdorff dimension.
It is hard to estimate the real part of a peak function from below in the whole ball K(x, r) where \(x\in \partial \Omega \) is a peak point. However, we present estimations of this sort in a big part (in measure-theoretic sense) of this ball. This part is denoted as an (x, r)-segment. We introduce the notion of \(\rho \)-separatedness to control the distances between the centers of the balls. To apply Lemma 1 it is necessary to choose a proper number of \(\rho \)-separated segments contained in a master segment. The Lemma 3 guarantees that such a choice is possible.
Theorem 7 describes some useful properties of peak functions which we use to obtain a peak set with required properties. In particular, for a given n and \(r_{n}>0\) we construct a compact set \(E_{n}\) as a sum of \((\cdot ,r_{n})\)-segments. Our peak set (see Theorem 8) can be now defined as \(E=\bigcap _{n\in \mathbb {N}}E_{n}\).
1.6 Notations
For \(\alpha ,\delta >0\) and countable family \(\mathfrak {U}\) of open sets U with diameter \({\text {diam}(U)}\) we define:
Now the Hausdorf measure is:
where the infimum is taken over all countable covers \(\mathfrak {U}\) of E by open sets. We define Hausdorff dimension:
where \(H^{\alpha }(E)=\lim _{\delta \rightarrow 0}H_{\delta }^{\alpha }(E)\).
For a given set S we define a ball:
Let \(d>0\). We say that \(X\subset \partial \Omega \) is d-dimensional Ahlfors–DavidFootnote 3 regular set iff there exist \(a,b>0\) such that:
for any \(x\in X\) and \(r\in (0,1]\).
Moreover for \(r>0\) and a given point \(x\in X\) a compact \(Q=Q(x,r)\) subset of X is (x, r)-segment iff \(Q\subset K_{X}(x,r)\).
A set \(A\subset X\) is \(\rho \)-separated iff \(\left\| x-y\right\| \ge \rho \) for \(x\ne y\in A\).
2 Preliminary Estimates
Our essential tool for calculating the Hausdorff dimension of a set is (compare with the Tumanov’s Lemm 3 [20]).
Lemma 1
Let \(d>\alpha >0\) and \(c>0.\) Assume that X is a d-dimensional Ahlfors–David regular set. Let \(\{r_{j}\}_{j=0}^{\infty }\) be a sequence of positive numbers decreasing to zero. For a given \(j\in \mathbb {N}\) let \(\omega _{j}\) be a finite subset of X. Let us define \(E_{j}=\bigcup _{x\in \omega _{j}}Q(x,r_{j})\) where \(Q(x,r_{j})\) denotes a \((x,r_{j})\)-segment.
Suppose that
-
(1)
In each segment \(Q(x,r_{j-1})\) of \(E_{j-1}\) there are at least \(\left( \frac{r_{j-1}}{r_{j}}\right) ^{\alpha }\) segments of \(E_{j}\).
-
(2)
The distance between balls \(K_{X}(x,r_{j})\) and \(K_{X}(y,r_{j})\) is at least
$$\begin{aligned} \rho _{j}:=cr_{j-1}\left( \frac{r_{j}}{r_{j-1}}\right) ^{\nicefrac {\alpha }{d}} \end{aligned}$$for \(x\ne y\in \omega _{j}\).
Then, \(H^{\alpha }(E)>0\) where \(E=\bigcap _{j\in \mathbb {N}}E_{j}\).
Proof
Without loss of generality we assume that \(E_{j}\subset E_{j-1}\), \(\omega _{0}=\{x_{0}\}\) and \(r_{0}=\frac{1}{2}\). Let us define
Observe that \(E:=\bigcap _{j\in \mathbb {N}}E_{j}\) is a compact set. We prove the Lemma in two steps.
- Case (1):
-
If \(\mathfrak {F}\subset \mathfrak {U}\) is a finite cover of E then \(1\le h^{\alpha }(\mathfrak {F}).\)
Suppose that \(h^{\alpha }(\mathfrak {F})<1\). Let N be the number of balls in \(\mathfrak {F}\). Assume that N is as small as possible. If \(N=1\) then \(\mathfrak {F}=\left\{ K_{X}(x_{0},\frac{1}{2})\right\} \) and \(h^{\alpha }(\mathfrak {F})=1\) which is impossible, so \(N>1\). Let \(K_{X}(x,r)\in \mathfrak {F}\). There exists j such that \(K_{X}(x,r)=K_{X}(x_{j},r_{j})\) and \(Q_{j}:=Q(x_{j},r_{j})\) is a \((x_{j},r_{j})\)-segment in \(E_{j}\) for some \(x_{j}\in \omega _{j}\). Assume that index j is the maximal possible. There exists \(Q_{j-1}:=Q(x_{j-1},r_{j-1})\) for some \(x_{j-1}\in \omega _{j-1}\) such that \(Q_{j}\subset Q_{j-1}\subset K(x_{j-1},r_{j-1})\). Since N is minimal \(\mathfrak {F}{\setminus } K_{X}(x_{j},r_{j})\) will not cover E and \(\mathfrak {F}\) does not contain a ball covering \(Q_{j-1}\). Since j is maximal \(\mathfrak {F}\) does not contain a ball with radius \(r_{k}\) for \(k>j\). Therefore \(Q_{j-1}\cap E\) is covered by balls of radii equal to \(r_{j}\). Let
be a family of such balls. In particular, \(S\subset \mathfrak {F}\). Now, we define the following cover \(\mathfrak {F}_{2}:=\mathfrak {F}{\setminus } S\cup \{K(x_{j-1},r_{j-1})\}\) of E. Since S contains no fewer than \(\left( \frac{r_{j-1}}{r_{j}}\right) ^{\alpha }\) balls with radius \(r_{j}\) we estimate
Observe that S contains at least\(\Big \lceil \left( \frac{r_{j-1}}{r_{j}}\right) ^{\alpha }\Big \rceil \ge 2\) balls, so \(\mathfrak {F}_{2}\) contains less balls than \(\mathfrak {F}\), which is impossible.
- Case (2):
-
Let \(\gamma =\frac{b2^{2d+\alpha }\left( 2+\frac{1}{c}\right) ^{d}}{ac^{d}}>0\). For a given \(\mathfrak {G}\) a countable open cover of E it is possible to choose another finite cover \(\mathfrak {F}\subset \mathfrak {U}\) by balls as in the Case (1) which additionally fulfills \(h^{\alpha }(\mathfrak {F})\le \gamma h^{\alpha }(\mathfrak {G}).\)
Since E is a compact set there exists a finite cover \(\tilde{\mathfrak {G}}\) of E such that \(\tilde{\mathfrak {G}}\subset \mathfrak {G}\). Let \(U\in \tilde{\mathfrak {G}}\). There exists an index \(j=j(U)\) such that U intersects precisely one segment \(Q_{j-1}\) in \(E_{j-1}\) and \(n(U)>1\) segments \(Q(x_{1},r_{j}), \ldots ,Q(x_{n(U)},r_{j})\) in \(E_{j}\). Let us set:
Note that \(\mathfrak {F}\subset \mathfrak {U}\) is a finite cover of E. We prove that \(h^{\alpha }(\mathfrak {F})\le \gamma h^{\alpha }(\mathfrak {G}).\)
Let \(\delta _{j-1}=\text {diam}(U\cap Q_{j-1})\) denote the diameter of \(U\cap Q_{j-1}\). In particular, \(\delta _{j-1}\le \min \{\text {diam}(U),2r_{j-1})\). Since \(n(U)\ge 2\) we observe \(\rho _{j}\le \delta _{j-1}\). If \(x\in U\cap Q_{j-1}\) then \(U\cap Q_{j-1}\subset \overline{K_{X}(x,\delta _{j-1})}\). In particular, \(\overline{K_{X}(x,\delta _{j-1}+r_{j})}\) contains \(\{x_{1}, \ldots ,x_{n(U)}\}\subset \omega _{j}\). Observe that
We have
Since all the balls \(K_{X}\left( x_{i},\nicefrac {\rho _{j}}{2}\right) \) are disjoint, we can use (1.2) to obtain
We estimate (the last equality defines \(\gamma \))
Now, using \(\delta _{j-1}\le \min \{\text {diam}(U),2r_{j-1})\) we calculate
Since \(h^{\alpha }(\mathfrak {F})\ge 1\) we have \(h^{\alpha }(\mathfrak {G})\ge \frac{1}{\gamma }\), which implies that \(H^{\alpha }(E)\ge \frac{1}{\gamma }\). \(\square \)
We use Lemma 1 to obtain an example of a compact Ahlfors–David regular set of given Hausdorff dimension.
Example 2
Let m be a natural number and \(\beta \in (0,m]\). Then there exists a compact set \(X\subset [0,1]^{m}\) and \(a,b>0\) such that
for any \(x\in X\) and \(0<r<1\).
Proof
For the purposes of this example, let’s define \(\left\| x-y\right\| :=2\max _{j}\left| x_{j}-y_{j}\right| \). Since \(H^{m}\) coincides with the Lebesgue measure on \(\mathbb {R}^{m}\) we assume that \(\beta <m\). Let \(s\in (0,\frac{1}{2})\) be such \(1=2^{m}s^{\beta }\) and \(\gamma =1-2s\). Assume that:
Let us define the following similitudes:
for \(a\in A\). Let \(E_{0}=[0,1]^{m}\) and
Let us define the Cantor set: \(X=\bigcap _{k\in \mathbb {N}}E_{k}\). In particular, \(E_{k}\) is the sum of balls with radius \(s^{k}\) and the minimal distance between them is equal \(2\gamma s^{k-1}\). Each ball in \(E_{j-1}\) contains precisely
balls from \(E_{j}\). The distance between any two balls in \(E_{j}\) is not smaller than
By Lemma 1 we have \(H^{\beta }(X)>0\) (balls are treated as segments).
Let \(\delta >0\) and j be such a large natural number that \(s^{j}<\delta \). Then \(E_{j}\) is a cover of X with
In particular, \(H_{\delta }^{\beta }(X)\le 2^{\beta }\) and \(H^{\beta }(X)\le 2^{\beta }\). Let u be the smallest integer for which \(2s^{u+1}<\gamma \). We prove that
Now, consider \(x\in X\) and a ball \(K_{X}(x,r)\) with \(r<1\). There exists an index \(j=j(x,r)\) such that \(K_{X}(x,r)\) intersects precisely one of the balls \(Q_{j-1}\) in \(E_{j-1}\) and \(k>1\) balls in \(E_{j}\). In particular, \(K_{X}(x,r)\subset Q_{j-1}\) which implies:
Since the distance between any two balls in \(E_{j}\) is not smaller than \(2\gamma s^{j-1}\) we have
Now, we estimate
Since \(2s^{u+1}<\gamma \) we have the following inequality
There exists a ball \(Q_{j+u}\) from \(E_{j+u}\) such that \(x\in Q_{j+u}\). But \(Q_{j+u}\) has a diameter \(2s^{j+u}<r\), which implies that
Now, we estimate
\(\square \)
The following observation enables us to combine the properties of natural peak functions in strictly convex domains with the structure of separated sets, which yields a construction of a Cantor set with a large Hausdorff dimension.
Lemma 3
Assume that X is a bounded d-dimensional Ahlfors–David regular set:
for any \(x\in X\) and \(r\in (0,1]\). For a given \(\theta \in (0,1)\) we can choose a constant \(c_{\theta }>0\) such that for a given \(\alpha \in (0,d)\), a relatively open setFootnote 4U in X with \(U\subset K_{X}(x,r)\) and \(H^{d}(U)>\theta r^{d}\) there exists \(c_{\theta }r\eta ^{\nicefrac {\alpha }{d}}\)-separated set \(A\subset U\) with properties
-
\(\#A\ge \eta ^{-\alpha }\) (\(\#A\) denotes the number of elements in A),
-
\(\overline{K_{X}(\xi ,r\eta )}\subset U\) for \(\xi \in A\).
for all small enough \(\eta >0\).
Proof
Let us denote \(V:=\left\{ z\in U:\inf _{w\in \partial U}\left\| z-w\right\| >r\eta \right\} \). We will show that it is enough to choose the constant \(c_{\theta }\) so that the following equality is satisfied \(\frac{a\theta }{b^{2}2^{d}c_{\theta }^{d}}=1\).
Let B be a maximal possible \(r\eta \)-separated subset of V. Note that B is finite. Let us select a maximal \(c_{\theta }r\eta ^{\nicefrac {\alpha }{d}}\)-separated subset \(B_{1}\) from B. Next, we select a maximal \(c_{\theta }r\eta ^{\nicefrac {\alpha }{d}}\)-separated subset \(B_{2}\) from \(B{\setminus } B_{1}\). We proceed this way till we exhaust B. Let \(B_{N}\) be the last non-empty set in this procedure. Let \(\xi \in B_{N}\). Observe that \(K_{X}(\xi ,c_{\theta }r\eta ^{\nicefrac {\alpha }{d}})\cap B_{k}\ne \emptyset \) for \(k=1, \ldots ,N-1\). In particular, \(K_{X}(\xi ,c_{\theta }r\eta ^{\nicefrac {\alpha }{\beta }})\) contains at least N different elements \(\left\{ \xi _{1}, \ldots ,\xi _{N}\right\} \) from B. Since \(K_{X}(\xi _{j},r\eta )\cap K_{X}(\xi _{k},r\eta )=\emptyset \) for \(j\ne k\) and \(K_{X}(\xi _{j};r\eta )\subset K_{X}(\xi ;r\eta +c_{\theta }r\eta ^{\nicefrac {\alpha }{d}})\) therefore we have
and
for all small enough \(\eta >0\). We observe
which implies:
In particular, there exists index \(j_{0}\) such that
We choose \(A=B_{j_{0}}.\) Now, we have:
which implies:
\(\square \)
3 Strictly Convex Domain
Let \(\Omega \subset \mathbb {C}^{n}\) be a bounded strictly convex \(C^{2}\) smooth domain. We consider \(X\subset \partial \Omega \) a compact d-dimensional Ahlfors–David regular set of diameter less than 1. Let us denote by \(v_{z}\) the unit normal vector to \(\partial \Omega \) at the point \(z\in \partial \Omega \) which is directed outwards from \(\Omega \). There exist constants \(c_{1},c_{2}>0\) such that (see [9]):
for \(z,\xi \in \partial \Omega \). We decrease the constant \(c_{2}>0\) if necessary and assume that \(c_{2}\in (0,1)\). The right inequality can be improved:
Lemma 4
There exists a constant \(c_{2}\in (0,1)\) such that
for \(\xi \in \partial \Omega \) and \(w\in \overline{\Omega }\).
Proof
Near the boundary we have points in the form \(w=w_{z,t}=z-tv_{z}\) where \(z\in \partial \Omega \) and \(t\in [0,\delta ]\). We assume that \(\delta <1\) is so small that \(\Re \left\langle v_{z},v_{\xi }\right\rangle >c_{2}\) for \(z,\xi \in \partial \Omega \) with \(\left\| z-\xi \right\| \le \delta \). Since the angle \(\angle (w{}_{z,t},z,\xi )\) is less than \(\frac{\pi }{2}\) and \(t\le 1\), we have
Now, using (3.1) we estimate
In particular, we show the required property with additional assumptions \(\left\| z-\xi \right\| \le \delta \). To obtain (3.2) it is enough to observe that \(\overline{\Omega }\) is compact domain and \(\Re \left\langle z-\xi ,v_{\xi }\right\rangle <0\) for all \(z\in \overline{\Omega }{\setminus }\{\xi \}\), so it is enough to decrease the constant \(c_{2}\). \(\square \)
Lemma 5
If \(\rho \in (0,1)\) and A is \(\rho \)-separated subset of X with
for \(z\in \overline{\Omega }\), then \(\#A_{0}(z)\le 1\), \(\#A_{k}(z)\le \frac{b}{a}(k+2)^{d}\) and \(\#A\le \frac{b}{a}3^{d}\rho ^{-d}\).
Proof
Observe that \(K_{X}(x,\nicefrac {\rho }{2})\cap K_{X}(y,\nicefrac {\rho }{2})=\emptyset \) for \(x\ne y\in A\). This implies that \(A_{0}(z)\) contains at most one element. Moreover,
Now, we estimate:
Let \(x_{0}\in A\). Since \(\text {diam}(X)\le 1\) we have
which implies
\(\square \)
The \((\xi ,r)\)-segment \(K_{X}(\xi ,r)\cap \{z:\Re g_{\xi ,r}(z)>\frac{1}{6}\}\) is comparable to the whole ball \(K_{X}(\xi ,r)\) in the following way
Lemma 6
Let \(\xi \in X\), \(r\in (0,1)\). There exists \(\varphi \in [0,2\pi ]\) such that the function \(g_{\xi ,r}(z):=\exp \left( c_{1}^{-1}r^{-2}\left\langle z-\xi ,v_{\xi }\right\rangle +i\varphi \right) \) has the following properties
-
(1)
\(3|g_{\xi ,r}(z)|>1\) if \(z\in \partial \Omega \) and \(\left\| z-\xi \right\| <r\),
-
(2)
\(3H^{d}(\{z\in K_{X}(\xi ,r):6\Re g_{\xi ,r}(z)>1\})\ge H^{d}(K_{X}(\xi ,r))\).
Proof
Let \(z\in \partial \Omega \) be such that \(\left\| z-\xi \right\| <r\). Then, using (3.1) we estimate
Let \(g_{\xi ,r,k}(z):=\exp \left( c_{1}^{-1}r^{-2}\left\langle z-\xi ,v_{\xi }\right\rangle +\frac{2\pi ik}{3}\right) \). For a given \(z\in \overline{\Omega }{\setminus }\{\xi \}\) there exists an index \(k_{z}\in \{0,1,2\}\) such that
In particular,
for \(z\in K_{X}(\xi ,r)\), so there exists index k such that the required properties are fulfilled for \(g_{\xi ,r}=g_{\xi ,r,k}\). \(\square \)
The following fact is essential for our construction.
Theorem 7
There exists constants \(C>2\), \(\beta \in (0,1)\) such that for each small enough \(r>0\) and Cr-separated subset A of X there exists a holomorphic function \(f\in \mathcal {O}(\mathbb {C}^{n})\) with the following properties
-
(1)
\(|f(z)|>3\) if \(z\in \partial \Omega \) and \(\left\| z-\xi \right\| <r\) for some \(\xi \in A\),
-
(2)
\(3H^{d}(\{z\in K_{X}(\xi ,r):\Re f(z)>1\})\ge H^{d}(K_{X}(\xi ,r))\) for \(\xi \in A\),
-
(3)
\(\left| f\right| \le 13\) on \(\overline{\Omega }\),
-
(4)
\(\left| f\right| \le \beta ^{1/r}\) on \(\overline{\Omega }{\setminus }\bigcup _{x\in A}K_{\overline{\Omega }}(x,\sqrt{r})\),
-
(5)
\(\left| f(z)-f(w)\right| \le Cr^{-2}\left\| z-w\right\| \) for \(z,w\in \overline{\Omega }\).
Proof
Let us consider
We choose the set \(\{\varphi _{\xi }\}_{\xi \in A}\subset [0,2\pi ]\) such that the function
fulfills the properties from Lemma 6 for \(\xi \in A\), \(r\in (0,1)\). There exists \(C>2\) so large that \(\frac{13}{c_{1}}<C\) and
For a given \(z\in \overline{\Omega }\) let us define
If \(\xi \in A_{k}(z)\) then we estimate
By Lemmas 4 and 5 for a given \(z\in \overline{\Omega }\), we have the following estimation
By Lemma 5 and above inequality, we observe the property (3) holds:
for \(z\in \overline{\Omega }.\)
Set \(\xi \in A\). Let \(z\in \partial \Omega \) be such that \(\left\| z-\xi \right\|<r<\frac{Cr}{2}\) and
We observe that \(A_{0}(z)=\{\xi \}\), which due to the inequality (3.4) implies
and gives the property (2)
Moreover, by Lemma 6 and (3.4), we obtain the property (1)
for \(z\in \partial \Omega \) with \(\left\| z-\xi \right\| <r\) for some \(\xi \in A\).
Let \(z\in \overline{\Omega }{\setminus }\bigcup _{\xi \in A}K_{\overline{\Omega }}\left( \xi ,\sqrt{r}\right) \). By Lemma 5, we have at most \(\frac{b3^{d}}{aC^{d}r^{d}}\) elements in A. Now, using Lemma 4, we obtain the property (4) for \(\beta =\exp \left( -\frac{c_{2}}{2c_{1}}\right) \)
for all \(r>0\) small enough.
If \(z_{t}=z+t(w-z)\) and \(\phi (t):=f(z_{t})\) then
so due to (3.4) we have property (5)
for \(z,w\in \overline{\Omega }.\) \(\square \)
4 Peak Set in Strictly Pseudoconvex Domain
Now, we are ready to finish our construction.
Theorem 8
Assume that \(\Omega \subset \mathbb {C}^{n}\) is a bounded strictly pseudoconvex domain with \(C^{2}\) boundary. If \(X\subset \partial \Omega \) is a compact Ahlfors–David regular set of Hausdorff dimension \(d\in (0,2n-1]\) then there exists a compact set \(E\subset X\) of Hausdorff dimension equal to d which is a peak set for \(A(\Omega )\) i.e., there exists a function \(F\in A(\Omega )\) such that \(E=\{z\in \partial \Omega :F(z)=1\}\) and \(|F|<1\) on \(\overline{\Omega }{\setminus } E\).
Proof
First, we observe that the boundary of a strictly pseudoconvex domain embedded in the boundary of a strictly convex domain is Ahlfors–David regular. In particular, by Fornæss Embedding Theorem (see [6]) it is enough to prove our result if \(\Omega \) is a bounded strictly convex domain with \(C^{2}\) boundary.
Assume that \(\alpha \in (0,d)\) and \(\theta =2^{-d-2}\min \{a,1\}\). We choose the constant \(c_{\theta }\) from Lemma 3 and the constants \(C,\beta \) from Theorem 7. On X we consider the topology induced from \(\mathbb {C}^{n}\). First we construct a Cantor set \(E\subset X\subset \partial \Omega \) of Hausdorff dimension at least \(\alpha \) and not bigger than d. Since X has Hausdorff dimension equal to d, it is enough to prove that E has Hausdorff dimension at least \(\alpha \).
By induction, we construct numbers \(r_{j}\in (0,1/(8C)]\), finite sets \(A_{j}\subset X\), compact sets \(E_{j}\subset X\), and holomorphic functions \(f_{j}\) on \(\mathbb {C}^{n}\) meeting the following properties (for \(j\ge 1\)):
-
(1)
\(E_{j}=\bigcup _{x\in A_{j}}Q(x,r_{j})\) where
-
(a)
\(Q(x,r_{j})\subset \overline{K_{X}\left( x,\nicefrac {r_{j}}{2}\right) }\),
-
(b)
\(H^{d}(\mathring{Q}(x,r_{j}))>\theta r_{j}^{d}\), where \(\mathring{Q}(x,r_{j})\) denotes interiorFootnote 5 of \((x,r_{j})\)-segment \(Q(x,r_{j})\) in X.
-
(a)
-
(2)
in each segment \(Q(x,r_{j-1})\) in \(E_{j-1}\) there are at least \(\left( \frac{r_{j-1}}{r_{j}}\right) ^{\alpha }\) segments of \(E_{j}\),
-
(3)
the distance between any two balls \(K_{X}(x,r_{j})\) and \(K_{X}(y,r_{j})\) for \(x\ne y\in A_{j}\) is not smaller than
$$\begin{aligned} \rho _{j}:=\frac{c_{\theta }}{2}r_{j-1}\left( \frac{r_{j}}{r_{j-1}}\right) ^{\nicefrac {\alpha }{d}}, \end{aligned}$$ -
(4)
\(r_{j-1}^{3}>r_{j}\),
-
(5)
\(\Re f_{j}\ge 0.5\) on \(\bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j}^{3})\),
-
(6)
\(\left| f_{j}\right| <13\) on \(\overline{\Omega }\),
-
(7)
\(\left| f_{j}\right| <2^{-j}\) on \(\overline{\Omega }{\setminus }\bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j-1})\).
Let \(r_{0}=1\), \(E_{0}=\overline{K_{X}(x_{0},\nicefrac {1}{2})}\), \(A_{0}=\{x_{0}\}\) and \(f_{0}\equiv 1\). Now suppose we have just constructed the numbers \(r_{0}, \ldots ,r_{j-1}\), finite sets of centers \(A_{0}, \ldots ,A_{j-1}\), compact sets \(E_{0},\dots ,E_{j-1}\) and holomorphic functions \(f_{0}, \ldots ,f_{j-1}\).
We use Lemma 3 to each interior of segment \(\mathring{Q}(\xi ,r_{j-1})\) for \(\xi \in A_{j-1}\) and get universal \(\eta _{0}\in (0,1)\). This is possible because \(A_{j-1}\) is a finite set. Now, for a given \(\eta \in (0,\eta _{0})\) we consider the sets \(A_{j,\xi }\subset Q(\xi ,r_{j-1})\) from Lemma 3 which are \(c_{\theta }r_{j-1}\eta ^{\nicefrac {\alpha }{d}}\)-separated, has at least \(\eta ^{-\alpha }\) elements and \(\bigcup _{\zeta \in A_{j,\xi }}\overline{K_{X}(\zeta ,r_{j-1}\eta )}\subset \mathring{Q}(\xi ,r_{j-1})\). Let us define \(A_{j}:=\bigcup _{\xi \in A_{j-1}}A_{j,\xi }\). Without loss of generality we assume that \(\eta \) is so small that \(A_{j}\) is \(c_{\theta }r_{j-1}\eta ^{\nicefrac {\alpha }{d}}\)-separated and
- (i):
-
\(c_{\theta }r_{j-1}\eta ^{\nicefrac {\alpha }{d}}>\frac{1}{2}Cr_{j-1}\eta \),
- (ii):
-
\(\frac{52r_{j-1}\eta }{c_{1}}\le \frac{1}{2}\),
- (iii):
-
\(r_{j-1}\ge \sqrt{\frac{1}{2}r_{j-1}\eta }\),
- (iv):
-
\(\beta ^{2/\left( r_{j-1}\eta \right) }\le 2^{-j}\) (\(\beta \in (0,1)\) is from Theorem 7).
Since \(A_{j}\) is now also \(\frac{1}{2}Cr_{j-1}\eta \)-separated, we can use Theorem 7 with \(r:=\frac{1}{2}r_{j-1}\eta \) to obtain \(f_{j}(z)\) with the following properties
-
\(r_{j-1}^{3}>r_{j-1}\eta \) and \(c_{\theta }r_{j-1}\eta ^{\nicefrac {\alpha }{d}}>4r_{j-1}\eta \),
-
\(3\,H^{d}(\{z\in K_{X}(\xi ,\frac{1}{2}r_{j-1}\eta ):\Re f_{j}(z)>1\})\ge H^{d}(K_{X}(\xi ,\frac{1}{2}r_{j-1}\eta ))\) for \(\xi \in A_{j}\),
-
\(\left| f_{j}\right| \le 13\) on \(\overline{\Omega }\),
-
\(\left| f_{j}\right| \le \beta ^{2/(r_{j-1}\eta )}\le 2^{-j}\) on \(\overline{\Omega }{{\setminus }}\bigcup _{x\in A_{j}}K_{\overline{\Omega }}\left( x,\sqrt{\frac{1}{2}r_{j-1}\eta }\right) \),
-
\(\left| f_{j}(z)-f_{j}(w)\right| \le \frac{C}{\left( \frac{1}{2}r_{j-1}\eta \right) }\left\| z-w\right\| \) for \(z,w\in \overline{\Omega }\).
We define \(r_{j}:=r_{j-1}\eta \) and
The properties (4), (6) are now obvious.
We observe for \(\zeta \in A_{j}\) the property (1)
Let \(\zeta \in A_{j-1}\). In the segment \(Q(\zeta ,r_{j-1})\) there are contained precisely \(\#A_{j,\zeta }\) segments of \(E_{j}\), but \(\#A_{j,\zeta }\ge \eta ^{-\alpha }=\left( \frac{r_{j-1}}{r_{j}}\right) ^{\alpha }\) which gives the property (2).
We estimate the distance between any two balls \(K_{X}(x,r_{j})\) and \(K_{X}(y,r_{j})\) for \(x\ne y\in A_{j}\)
which implies the property (3).
Let \(w\in E_{j}\) and \(z\in \bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j}^{3})\). Since \(\Re f_{j}(w)\ge 1\) and \(\left\| z-w\right\| <r_{j}^{3}\) we have
which implies \(\Re f_{j}(z)\ge 0.5\) i.e., the property (5).
If \(z\in \overline{\Omega }{\setminus }\bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j-1})\) then \(z\in \overline{\Omega }{\setminus }\bigcup _{x\in A_{j}}K_{\overline{\Omega }}(x,r_{j}+r_{j-1})\subset \overline{\Omega }{\setminus }\bigcup _{x\in A_{j}}K_{\overline{\Omega }}(x,\sqrt{\frac{1}{2}r_{j-1}\eta })\), so we obtain the property (7)
Let us define \(E:=\bigcap _{j=0}^{\infty }E_{j}\) and \(f:=\sum _{j=0}^{\infty }f_{j}\). We will now present some observations that will gradually lead us to the end of the proof.
- (a):
-
By Lemma 1, the compact set E has Hausdorff dimension at least \(\alpha \).
- (b):
-
Since \(r_{j}\searrow 0\) and \(E_{j+1}\subset E_{j}\) we easily observe that
$$\begin{aligned} \bigcup _{x\in E_{j+1}}K_{\overline{\Omega }}(x,r_{j+1})\subset \bigcup _{x\in E_{j}}K_{\overline{\Omega }}(E_{j},r_{j}) \end{aligned}$$and \(\bigcap _{j=0}^{\infty }\bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j})=\bigcap _{j=0}^{\infty }\bigcup _{x\in E_{j}}K_{X}(x,r_{j})=E\). Moreover, f is holomorphic on \(\Omega \) and continuous on
$$\begin{aligned} \overline{\Omega }{\setminus }\bigcap _{j=0}^{\infty }\bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j})=\overline{\Omega }{\setminus } E. \end{aligned}$$ - (c):
-
Let \(z\in \bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j}){\setminus }\bigcup _{x\in E_{j+1}}K_{\overline{\Omega }}(x,r_{j+1}),\) for \(j\ge 1\). Then, \(z\in \bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j})\subset \bigcup _{x\in E_{j}}K_{\overline{\Omega }}(x,r_{j-1}^{3})\subset \bigcup _{x\in E_{j-k}}K_{\overline{\Omega }}(x,r_{j-k}^{3})\) and \(\Re f_{j-k}\ge 0.5\) for \(k\in \{1, \ldots ,j\}\). Moreover, \(z\notin \bigcup _{x\in E_{j+1}}K_{\overline{\Omega }}(x,r_{j+1})\) which implies that \(z\notin \bigcup _{x\in E_{j+2}}K_{\overline{\Omega }}(x,r_{j+1})\). Moreover we have \(z\notin \bigcup _{x\in E_{j+k}}K_{\overline{\Omega }}(x,r_{j+k-1})\) for \(k\ge 2\), which implies \(\left| f_{j+k}(z)\right| <2^{-j-k}\) for \(k\ge 2\). Now, we estimate
$$\begin{aligned} \Re f(z)&\ge \sum _{k=0}^{\infty }\Re f_{k}(z)\ge \sum _{k=0}^{j-1}\Re f_{k}-\left| f_{j}\right| -\left| f_{j+1}\right| -\sum _{k=j+2}^{\infty }\left| f_{k}(z)\right| \\&\ge \frac{j-1}{2}-26-\sum _{k=j+2}^{\infty }2^{-k}\ge \frac{j-1}{2}-27. \end{aligned}$$ - (d):
-
If \(z\in \overline{\Omega }{\setminus }\bigcup _{x\in E_{1}}K_{\overline{\Omega }}(x,r_{1})\) then \(z\in \overline{\Omega }{\setminus }\bigcup _{x\in E_{2}}K_{\overline{\Omega }}(x,r_{1})\subset \overline{\Omega }{\setminus }\bigcup _{x\in E_{k+1}}K_{\overline{\Omega }}(x,r_{k})\) for \(k\ge 1\) which implies \(\left| f_{k}(z)\right| <2^{-k}\) for \(k\ge 2\) and
$$\begin{aligned} \Re f(z)&\ge \sum _{k=0}^{\infty }\Re f_{k}(z)\ge \Re f_{0}(z)-|f_{1}(z)|-\sum _{k=2}^{\infty }\left| f_{k}(z)\right| \\ {}&\ge 1-13-\sum _{k=2}^{\infty }2^{-k}\ge -13 \end{aligned}$$ - (e):
-
In particular, \(\lim _{z\rightarrow w\in E}\Re f(z)=\infty \) and \(\Re f\ge -27\) on \(\overline{\Omega }\).
Let us define
We easily observe that \(F_{\alpha }\) is holomorphic on \(\Omega \) and continuous on \(\overline{\Omega }\). Moreover, \(F_{\alpha }=1\) on E and \(\left| F_{\alpha }\right| <1\) on \(\overline{\Omega }{\setminus } E\). We have proved that it is possible to choose a compact peak set \(Q_{k}\) of Hausdorff dimension at least \(\alpha _{k}=d-\frac{1}{k}\) and diameter at most \(\frac{1}{k}\). The sets \(Q_{k}\) can be chosen so that \(Q_{j}\cap Q_{t}=\emptyset \) for all \(t\ne j\) and there exists additional point \(P\in X\) such that \(Q=\{P\}\cup \bigcup _{k=1}^{\infty }Q_{k}\) is a compact set. Then, \(H^{\alpha _{k}}(Q)\ge H^{\alpha _{k}}(Q_{k})\) so Q has Hausdorff dimension at least \(\alpha _{k}\). In particular Q has the Hausdorff dimension equal to d. \(\square \)
Remark
Assume that \(\Omega _{1}\) is a bounded pseudoconvex domain with \(C^{2}\) boundary. If \(P\in \partial \Omega \) is a strictly pseudoconvex point then there exists a strictly pseudoconvex domain \(\Omega _{2}\) with \(C^{2}\) boundary such that \(\Omega _{1}\subset \Omega _{2}\) and \(\partial \Omega _{1}\cap U=\partial \Omega _{2}\cap U\) for some neighborhood U of P. Now due to Theorem 8 there exists a peak set \(K\subset U\) for \(A(\Omega _{2})\) with the properties as in Theorem 8. Such a set K is a peak set for \(A(\Omega _{1})\).
Data Availability
Data sharing not applicable to this article, as no datasets were generated or analyzed during the current study.
Notes
As usually, by \(A(\Omega )\) we denote the space of all functions which are holomorphic in \(\Omega \) and continuous up to the boundary.
It should be noted that such a definition depends on the choice of parametrization! As observed in [14] only the property that \(\mu _{\gamma }\) vanishes is parametrization independent.
Self similar compact subsets of \(\mathbb {R}^{n}\) satisfying the open set condition are standard examples of Ahlfors–David regular sets, (see [12, p. 92])
i.e. there exists an open set \(\tilde{U}\) in \(\mathbb {C}^{n}\) such that \(U=\tilde{U}\cap X\).
In the topology induced on X.
References
Carleson, L.: Representations of continuous functions. Math. Z. 66, 447–451 (1956). https://doi.org/10.1007/BF01186621
Chollet, A.M.: Ensembles de zeros a la frontiere de fonctions analytiques dans des domaines strictement pseudo-convexes. Ann. Inst. Fourier 26, 51–80 (1976). https://doi.org/10.5802/aif.600
Danielyan, A.A.: Fatou’s interpolation theorem implies the Rudin–Carleson theorem. J. Fourier Anal. Appl. 23, 656–659 (2017). https://doi.org/10.1007/s00041-016-9481-y
Duchamp, T., Stout, E.L.: Maximum modulus sets. Ann. Inst. Fourier 31(3), 37–69 (1981). https://doi.org/10.5802/aif.837
Federer, H.: Geometric Measure Theory. Springer, Berlin (1969). https://doi.org/10.1007/978-3-642-62010-2
Fornæss, J.E.: Embedding strictly pseudoconvex domains in convex domains. Am. J. Math. 98(2), 529–569 (1976). https://doi.org/10.2307/2373900
Henriksen, B.S.: A peak set of Hausdorff dimension \(2n-1\) for the algebra A(D) in the boundary of a domain D with \(C^{\infty }\)-boundary in \({{\mathbb{C} }}^{n}\). Math. Ann. 259, 271–277 (1982). https://doi.org/10.1007/BF01457313
Kot, P.: Peak set crossing all the circles. J. Convex Anal. 16, 515–521 (2009)
Kot, P.: A holomorphic function with given almost all boundary values on a domain with holomorphic support function. J. Convex Anal. 14(4), 693–704 (2007)
Kot, P.: A peak set with a maximal Hausdorff dimension on each slice. Complex Anal. Oper. Theory 17, 101 (2023). https://doi.org/10.1007/s11785-023-01405-0
Löw, E.: Inner functions and boundary values in \(H^{\infty }(\Omega )\) and \(A(\Omega )\) in smoothly bounded pseudoconvex domains. Math. Z. 185, 191–210 (1984). https://doi.org/10.1007/BF01181690
Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces. Cambridge University Press, Cambridge (1995). https://doi.org/10.1017/CBO9780511623813
Nagel, A.: Cauchy transforms of measures and a characterization of smooth peak interpolation sets for the ball algebra. Rocky Mt. J. Math. 9, 299–305 (1979). https://doi.org/10.1216/RMJ-1979-9-2-299
Nagel, A., Rudin, W.: Local boundary behavior of bounded holomorphic functions. Can. J. Math. 30, 583–592 (1978). https://doi.org/10.4153/CJM-1978-051-2
Noell, A.: Peak points for pseudoconvex domains: a survey. J. Geom. Anal. 18, 1058–1087 (2008). https://doi.org/10.1007/s12220-008-9040-0
Rudin, W.: Function Theory in the Unit Ball. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-68276-9
Rudin, W.: Peak-interpolation sets of class \(C^{1}\). Pac. J. Math. 75, 267–279 (1978)
Rudin, W.: Boundary values of continuous analytic functions. Proc. Am. Math. Soc. 7, 808–811 (1956). https://doi.org/10.2307/2033541
Stout, E.L.: The dimension of peak interpolation sets. Proc. Am. Math. Soc. 86(3), 413–416 (1982). https://doi.org/10.2307/2044439
Tumanov, A.E.: A peak set for the disc algebra of metric dimension 2.5 in the three-dimensional unit sphere. Math. USSR-Izv. 11(2), 353 (1977). https://doi.org/10.1070/im1977v011n02abeh001721
Valskii, R. E.: On measures orthogonal to analytic functions in \({{\mathbb{C}}}^{n}\). Dokl. Akad. Nauk SSSR 198, 502–505 (1971), Sov. Math. Dokl. 12, 808–812 (1971)
Author information
Authors and Affiliations
Contributions
This work has one author.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Communicated by Filippo Bracci.
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
Kot, P. A Peak Set of Hausdorff Dimension 2n − 1 for the Algebra A(D) in the Boundary of a Domain D with C⌃2 Boundary. Complex Anal. Oper. Theory 18, 90 (2024). https://doi.org/10.1007/s11785-024-01532-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-024-01532-2