Zeta functions and complex dimensions of relative fractal drums: theory, examples and applications

Abstract

In 2009, the first author introduced a new class of zeta functions, called `distance zeta functions', associated with arbitrary compact fractal subsets of Euclidean spaces of arbitrary dimension. It represents a natural, but nontrivial extension of the theory of `geometric zeta functions' of bounded fractal strings. In this memoir, we introduce the class of `relative fractal drums' (or RFDs), which contains the classes of bounded fractal strings and of compact fractal subsets of Euclidean spaces as special cases. Furthermore, the associated (relative) distance zeta functions of RFDs, extend (in a suitable sense) the aforementioned classes of fractal zeta functions. This notion is very general and flexible, enabling us to view practically all of the previously studied aspects of the theory of fractal zeta functions from a unified perspective as well as to go well beyond the previous theory. The abscissa of (absolute) convergence of any relative fractal drum is equal to the relative box dimension of the RFD. We pay particular attention to the question of constructing meromorphic extensions of the distance zeta functions of RFDs, as well as to the construction of transcendentally $\infty$-quasiperiodic RFDs (i.e., roughly, RFDs with infinitely many quasiperiods, all of which are algebraically independent). We also describe a class of RFDs (and, in particular, a new class of bounded sets), called {\em maximal hyperfractals}, such that the critical line of (absolute) convergence consists solely of nonremovable singularities of the associated relative distance zeta functions. Finally, we also describe a class of Minkowski measurable RFDs which possess an infinite sequence of complex dimensions of arbitrary multiplicity $m\ge1$, and even an infinite sequence of essential singularities along the critical line.