Geometric properties of measures related to holomorphic functions having positive imaginary or real part

In this paper, we study the properties of a certain class of Borel measures on $\mathbb{R}^n$ that arise in the integral representation of Herglotz-Nevanlinna functions. In particular, we find that restrictions to certain hyperplanes are of a surprisingly simple form and show that the supports of such measures can not lie within particular geometric regions, e.g. strips with positive slope. Corresponding results are derived for measures on the unit poly-torus with vanishing mixed Fourier coefficients. These measures are closely related to functions mapping the unit polydisk analytically into the right half-plane.


Introduction
When considering functions in one complex variable, those which map a complex half-plane or the unit disk into a half-plane play a special role. They are very well studied and appear in many areas of applications. In particular, they are characterized via integral representations and there is a very intimate connection between the function and its representing measure, see e.g. the classical article [10].
Generalizations of these classes to several complex variables have been considered, e.g. in [11] for the unit polydisk, in [21] for the poly-upper half-plane and other tubular domains, and have been investigated by several authors, cf. comments below. It also has to be mentioned that these functions in several complex variables appear in applications as well, but are not yet utilized so much, due to the lack of understanding on the theoretical side, see e.g. [9,16]. There, the investigations are often restricted to two-component composite media, which requires functions in one variable only.
In the current text, we consider both functions that map the poly-upper halfplane C +n or the unit polydisk D n analytically into a half-plane. It is known that these functions can be characterized via integral representations of the form f ( z) = L( z) + D Here, L denotes a linear term and K n a kernel function, both depending on the domain, while D is the distinguished boundary of the domain and µ is a positive Borel measure on D, cf. Theorem 2.2 and [11,Theorem 1]. In the case of one variable, i.e. n = 1, all (reasonable) measures appear, whereas for several variables, not all measures are admissible. For functions mapping into the upper half-plane, the reason for that lies in the fact that the imaginary part of the kernel K n is then not non-negative, but may change sign. However, it can be decomposed as where P n denotes the respective Poisson kernel, which is positive, and R n denotes the remainder. It can than be shown that those measures which do appear as representing measures are exactly those which annihilate the remainder, i.e.
(1.2) D R n ( z, t)dµ( t) = 0 for all z, cf. Theorem 2.2 and [11, Theorem 1]. The drawback of these particular descriptions of the measures is that they are not so easy to check, which also makes it hard to construct examples. In the case of the unit polydisk, these representations and measures are discussed e.g. in [2,8,11,19,20]. In particular, examples of extremal measures are given in [15]. For the poly-upper half-plane there are fewer results, e.g. [2,5,22] and, more recent, [20], as well as [12,13,17].
We also want to mention that a subclass of these functions, namely the Herglotz-Agler functions, are characterized via operator representations and so-called µresolvents, cf. [3,4,6]. However, these results do not imply the integral representation mentioned above and cannot be used for our current purpose. Moreover, there are many works on similar functions defined on the ball, see e.g. [14] and, recently, [1]. However, these results are not used here, since the ball and the polydisk (and, hence, also the poly-upper half-plane) are not biholomorphically equivalent.
In the present paper, we study the classes of representing measures, such that condition (1.2) is satisfied in the two cases considered. Particular focus lies on geometric properties of the support. However, contrary to many other texts concerning measures on the unit polydisk, we do not investigate the polydisk directly, but work, instead, first in the poly-upper half plane and then translate the obtained results back to case of the polydisk.
In the poly-upper half-plane, holomorphic functions with non-negative imaginary part are called Herglotz-Nevanlinna functions, cf. Definition 2.1, while their representing measures are called Nevanlinna measures, cf. Definition 3.1.
First, we show that hyperplanes in R n which are orthogonal to some coordinate axis play a special role for such measures. Namely, if the hyperplane is not a zero-set of the measure, then the restriction of the measure to that hyperplane has to be a constant multiple of the (n−1)-dimensional Lebesgue measure, cf. Theorem 3.4. In particular, the measure can be decomposed into one part supported on a coordinate orthogonal hyperplane and the remaining part, such that also the corresponding Herglotz-Nevanlinna function decomposes into two Herglotz-Nevanlinna functions, cf. Corollary 3.5. For other sets this procedure is not necessarily possible, since not every set can appear as the support of a Nevanlinna measure. We give several examples and discuss the situation for affine subspaces in detail. Moreover, we show that the support of a Nevanlinna measure cannot be confined within, roughly speaking, strips with positive slope, cf. Theorem 3.16. Applications of rational transformations yield even more results. In particular, we show that the support of a Nevanlinna measure cannot, for every coordinate, leave out a coordinate-orthogonal strip, cf. Theorem 3.24.
The structure of the paper is as follows. In the first part of this text, in Sections 2 and 3, we completely focus on the situation in the poly upper-half plane. In Section 2, we review the integral representation theorem that lays the groundwork for our investigations. In Section 3, we formally introduce the class of Nevanlinna measures on C +n and present the main results of this paper, namely a detailed description of the form of these measures along coordinate-parallel affine subspaces of R n as well as an investigation of the geometric properties of the support of such measures. The poly-torus will be discussed in Section 4, where we investigate how the properties established for Nevanlinna measures in Section 3 relate back to measures on the unit poly-torus with vanishing mixed Fourier coefficients.

Prerequisites
We begin by recalling the following class of functions related to the poly-upper half-plane C +n := z ∈ C n ∀j = 1, 2, . . . , n : Im[z j ] > 0 .
Definition 2.1. A function q : C +n → C is called a Herglotz-Nevanlinna function if it is holomorphic and has non-negative imaginary part.
Our main tool in the study of Herglotz-Nevanlinna functions is the following characterization theorem [13, Theorem 4.1 and Theorem 5.1].
Theorem 2.2. A function q : C +n → C is a Herglotz-Nevanlinna function if and only if q can be written as where a ∈ R, b ∈ [0, ∞) n , the kernel K n is defined for z ∈ C +n and t ∈ R n as and µ is a positive Borel measure on R n satisfying the growth condition for all z ∈ C +n and all indices 1 , 2 ∈ {1, 2, . . . , n} with 1 < 2 . Furthermore, for a given function q, the triple of representing parameters (a, b, µ) is unique.
Remark 2.3. The Nevanlinna condition (2.4) is, here, taken as one of the alternatives presented in [13, Theorem 5.1] and is equivalent to the requirement that the measure annihilates the remainder term in (1.1).
In the case n = 1, the above theorem reduces to the classical result attributed to Nevanlinna [7,18]. The case n = 2 was treated in [12,Theorem 3.1] and an integral representation of the same form, but not as an "if and only if"-characterization with the accompanying conditions, appears also in [22, Section 17.4].
One consequence of Theorem 2.2, that will be of use several times later, is described by the corollary below, cf. [13, Corollary 4.6], where the symbol ∧ − → denotes a non-tangential limit.
Corollary 2.4. Let n ≥ 1, let q be a Herglotz-Nevanlinna function, let p ∈ R and let j ∈ {1, 2, . . . , n}. Then, there exists a non-negative number c j (p), such that In particular, the above limit is independent of the entries of the vector z at the non-j-th positions.

Properties of Nevanlinna measures
Let us now formally introduce the class of measures we are going to study.  In the case n = 1, the class of Nevanlinna measures is merely the class of all positive Borel measure on R satisfying the growth condition R (1+t 2 ) −1 dµ(t) < ∞. In higher dimensions, the appearance of the Nevanlinna condition (2.4), which conveniently reduces to an empty condition when n = 1, makes these measures much more interesting and involved.
In particular, in the case n = 2, it was shown that the Nevanlinna condition (2.4) implies for non-trivial Borel measures that they cannot be finite as well as that points have zero mass, i.e. µ({ t 0 }) = 0 for any point t 0 ∈ R 2 , see [12,Propositions 4.3 and 4.4]. Among others, we will show that corresponding results hold for all n ≥ 2. The first will be formulated in Proposition 3.3, whereas the second turns out to be a special case of Theorem 3.4.
3.1. Mass of affine subspaces. We start with the following proposition on the measure of the whole space, which already marks a big difference between dimension 1 and higher dimensions. The proof goes along the same lines as for [12,Proposition 4.3] and is, hence, omitted here.
For a Nevanlinna measure µ, we are now turning to its restrictions to hyperplanes in R n , which are orthogonal to some coordinate axis. More precisely, for a given index j ∈ {1, 2, . . . , n} and a given point p ∈ R, we denote the affine hyperplane A main result of this paper is the following description of the measure µ along such a hyperplane.
Theorem 3.4. Let n ≥ 2 and let µ be a Nevanlinna measure. Take an index j ∈ {1, 2, . . . , n} and any point p ∈ R. Let µ| Hj (p) denote the restriction of the measure µ to the hyperplane H j (p). Then, it holds that where the constant c j (p) ≥ 0 is given by the limit in (2.5) and λ R n−1 denotes the Lebesgue measure on R n−1 .
Proof. Without loss of generality, we assume that j = 1, i.e. we are considering the restriction of the measure µ to a hyperplane that lies orthogonal to the first coordinate axis. Together with this measure, we consider the Herglotz-Nevanlinna function q whose triple of representing parameters is equal to (0, 0, µ).
Investigating now the integral with respect to the measure σ, we calculate that 1 π n R n−1 K n ( z, (p, t 2 , . . . , t n ))dσ(p, t 2 , . . . , t n ) The trick now is to add and subtract a term, such that the remaining expressions containing the (t 2 , . . . , t n )-variables can be seen as the kernel K n−1 , multiplied by a factor independent of these variables. This leads to with the auxiliary function q 1 being defined as Note that, at this point, we do not know if the function q 1 is well-defined. To this end, we observe now that All of the three terms above are non-negative since all of the integrands and measures are positive. But the term on the left is finite, so both terms on the right must also be finite as well. This implies, first, that the function q 1 is well-defined and holomorphic in the poly-upper half-plane C +(n−1) of dimension n−1. Furthermore, we are able to change the order of limits and integrations whenever we have either of the two measures on the right-hand side of equality (3.4), as we are allowed to do this with the measure on the left-hand side of equality (3.4).
Using this, we calculate that as the measure µ is, by construction, identically zero on the hyperplane H j (p). By Corollary 2.4, there exists a number c := c 1 (p) ≥ 0, independent of the value of (z 2 , . . . , z n ) ∈ C +(n−1) , such that But this limit is, by the expansion (3.2), also equal to We thus have that Since this equality holds for every vector (z 2 . . . , z n ) ∈ C +(n−1) , we can set first (z 2 . . . , z n ) = (i, . . . , i). This gives that q 1 (i, . . . , i) = π i c, allowing us to solve the above equation for q 1 (z 2 , . . . , z n ), yielding We infer now that the function q 1 is a Herglotz-Nevanlinna function in n − 1 variables. On one side, its representing measure is µ| H1(p) due to equality (3.3) and [13, Corollar 4.7]. On the other hand, we know that the representing measure of the function z → i, as a function of n − 1 variables, is Invoking the uniqueness statement of Theorem 2.2 finishes the proof.
The following corollary of Theorem 3.4 gives a particular decomposition of a Herglotz-Nevanlinna function with respect to a collection of coordinate-orthogonal hyperplanes.
Corollary 3.5. Let n ≥ 2, let q be a Herglotz-Nevanlinna function and let µ be its representing measure. Decompose the measure µ as µ = i∈I µ| Hj i (pi) + µ for some indices j i ∈ {1, 2, . . . , n} and some points p i ∈ R, where I⊆ {1, 2, . . . , n} is a finite set of indices and µ denotes the remaining positive Borel measure. Then, the function q can be written, for any z ∈ C +n , as where q is a Herglotz-Nevanlinna function which admits an integral representation formula of the form where K n , a, b and µ are as in Theorem 2.2 and c ji (p i ) are given by the limit (2.5).
Remark 3.6. In the above corollary, we assume that the pairs (j i , p i ) are distinct in the sense that there do not exist i 1 , i 2 ∈ I, such that both j i1 = j i2 and p i1 = p i2 .
Proof. Without loss of generality, we may assume that I = {1} and write p := p 1 . If this is the case, we infer from the proof of Theorem 3.4 that the function q can be written as where q 1 is the auxiliary function defined by formula (3.3). Furthermore, we have also learned that the function q 1 is, in fact, identically equal to π i c 1 (p), yielding that This implies that expansion (3.2) takes the desired form (3.5), with the function q given, indeed, by representation (3.6). Thus, it remains to conclude that the function q, as defined in the theorem, is a Herglotz-Nevanlinna function. To do this, we only need to check that the measure µ satisfies the Nevanlinna condition (2.4), since we have already shown in the proof of Theorem 3.4 that it satisfies the growth condition (2.3) when we considered equality (3.4).
Without loss of generality, we restrict ourselves to only check the case 1 = 1 and 2 = 2 in condition (2.4). Hence, we consider the identity where C ≥ 0 is some constant. The left-hand side of equality (3.7) is identically zero for any vector z ∈ C +n since µ is the representing measure of a Herglotz-Nevanlinna function and, thus, satisfies the Nevanlinna condition (2.4). Furthermore, the second term on the right-hand side of equality (3.7) is, likewise, identically zero since for any z 2 ∈ C + by standard residue calculus. Therefore, the first term on the right-hand side of equality (3.7) is also identically zero for any vector z ∈ C +n , implying that the measure µ does indeed satisfy the Nevanlinna condition (2.4) and finishing the proof.
Note that in one variable the decomposition of the function in formula (3.5) in Corollary 3.5 is, of course, well known. Given just a single point p ∈ R, one can find a number c ≥ 0, such that which yields a decomposition of the function q as where q is a Herglotz-Nevanlinna function whose representing measure is µ − µ| {p} . Note that the convention of writing the measure µ| {p} as cπδ p , and not c δ p , comes from the fact that the Herglotz-Nevanlinna function z → − 1 z is represented by the measure πδ 0 .
In several variables, the procedure of decomposing a Nevanlinna measure and obtaining a decomposition of a Herglotz-Nevanlinna function as in formula (3.5) cannot be generalized to arbitrary sets. Indeed, given a Nevanlinna measure µ and given any Borel measurable subset U ⊆ R n , one might consider the decomposition In one variable, the only constraint on a representing measure is the growth condition (2.3), and, hence, both measures on the right-hand side of equality (3.8) are automatically Nevanlinna measures. However, in several variables this is not necessarily the case as the Nevanlinna condition (2.4) must be fulfilled as well.
Let us now return to the µ-mass of certain subsets of R n . Suppose so that U ⊆ R n is a Borel measurable set, such that U ⊆ H j (p) for some index j ∈ {1, 2 . . . , n} and some point p ∈ R. Then, obviously, A direct implication of this trivial fact, together with Theorem 3.4, is the following important statement.
Corollary 3.7. Let n ≥ 2 and let µ be a Nevanlinna measure on R n . Let U be an affine subspace of R n which is orthogonal to some coordinate axis. Then it holds: if codim(U ) ≥ 2 then µ(U ) is zero, while if codim(U ) = 1 then µ(U ) is either zero or infinity.
From the above corollary, we conclude that if an affine subspace which is orthogonal to some coordinate axis is to hope to have non-zero µ-mass, it needs to have codimension one. Even then, the only non-zero option is infinity, and the measure on the subspace may only have the form of the Lebesgue measure due to Theorem 3.4.
The final corollary of this section establishes a relation between the variable dependence of the function q and the µ-masses of the hyperplanes H j (0). Corollary 3.8. Let n ≥ 2, let q be a Herglotz-Nevanlinna function and let µ be its representing measure. If µ(H j (0)) = ∞, then q has to depend on the z j -variable.
Proof. As in the proof of Theorem 3.4, we may, without loss of generality, assume that j = 1. Let us now do a proof by contradiction. Suppose so that µ(H 1 (0)) = ∞ and that the function q does not depend on the z 1 -variable.
Observe, though, that the converse to Corollary 3.8, i.e. that functions depending on the z j -variable have to have µ(H j (0)) = ∞, is not true, as demonstrated by the function q(z 1 , z 2 ) = − 1 z1+z2 . 3.2. Geometry of the support. As we have seen before, hyperplanes which are orthogonal to some coordinate axis appear as support sets for Nevanlinna measures. However, for rotated hyperplanes, this may or may not be true. We know from Theorem 3.4 that the hyperplane H 1 appears as the support of some Nevanlinna measure. Similarly, for the hyperplane H 2 , one can find a Nevanlinna measure whose support is equal to H 2 , cf. Example 3.15 and [17, Example 4.2]. However, we will soon see that there exists no Nevanlinna measure such that its support would be equal to, or even contained in, H 3 , cf. Theorem 3.10, Example 3.13 and Example 3. 15. ♦ In what follows, we are interested in identifying subsets of R n which cannot contain the support of a Nevanlinna measure. where A = {α i,j } n i,j=1 ∈ M n (R) and β ∈ R n are such that the matrix A contains no trivial rows and that there exist two distinct indices j 1 , j 2 ∈ {1, 2, . . . , n} and a number γ > 0, such that α j1, = γ α j2, for all ∈ {1, 2, . . . , n}. Then, Remark 3.11. The conditions on the matrix A say, in other words, that the set Σ (A, β), firstly, should not be coordinate-parallel and, secondly, it should be contained in a hyperplane of the form γx j1 = x j2 for some indices j 1 and j 2 and a positive dependence-factor γ. In the case n = 2, these sets are precisely lines with positive slope.
Proof. Let supp(µ) ⊆ Σ(A, β) for A and β as in the theorem. Without loss of generality, we may assume that j 1 = 1 and j 2 = 2. Since µ is a Nevanlinna measure, it satisfies, in particular, the condition that for any z ∈ C +n . In our case, this integral may be rewritten as The assumptions on the matrix A give now that yielding further that 1 Choosing now the point we calculate that the integral (3.11) at this point is equal to and since the integrand is a positive function and supp(µ) ⊆ Σ(A, β), we must have µ ≡ 0. This finishes the proof.  Then, the set Σ(A, 0) equals the diagonal in R n , with Theorem 3.10 showing that a Nevanlinna measure cannot be supported only in this set. ♦ Example 3.14. Let n = 3 and let us choose Then, the set Σ(A, 0) equals the plane {t 1 + t 2 + t 3 = 0} ⊆ R 3 . However, the matrix A, though not of maximal rank, does not satisfy the assumption of Theorem 3.10 about having a pair of linearly dependent rows. Thus, Theorem 3.10 does not apply, and, in fact, it can be shown that the set Σ(A, 0) equals the support of the representing measure of the Herglotz-Nevanlinna function Then, the set Σ(A, β) equals the line If ξ > 0, then, by Theorem 3.10, the set Σ(A, β) cannot contain the support of some Nevanlinna measure. However, if ξ < 0, Theorem 3.10 does not apply, and one can, in fact, find a Herglotz-Nevanlinna fucntion such that the support of its representing measure is equal to Σ(A, β). In particular, when ξ = −1 and η = 0, the set Σ(A, β) equals the anti-diagonal in R 2 , which equals the support of the representing measure of the Herglotz-Nevanlinna function see also [17,Example 4.2]. ♦ More generally, we show now that the support of a Nevanlinna measure cannot even be confined to a strip of positive slope.
Theorem 3.16. Let n ≥ 2 and let µ be a Nevanlinna measure. Define the strip S j1,j2 (α, β 1 , where α > 0 and β 1 , β 2 ∈ R are two numbers with β 1 < β 2 , and j 1 , j 2 ∈ {1, 2, . . . , n} two distinct indices. Then, Proof. Let α, β 1 and β 2 be as in the theorem. Without loss of generality, we may assume that j 1 = 1 and j 2 = 2. We will now show that there exists a vector z ∈ C +n , for which condition (3.10) is fulfilled only in the case of the zero measure.
We may now adjust the choice of y to ensure that the expression (s 1 + s 2 − α x 1 )(s 1 − s 2 − x 2 ) + α 2 y 2 is also positive. Indeed, observe first that The second and third term in the above expression depend only on x 1 , x 2 , which have been fixed, and s 2 , which is bounded. Therefore, the value of y may be chosen such that the sum is positive for all possible values of s 2 .
In conclusion, we have shown that there exist values x 1 , x 2 , y 1 and y 2 , such that for all t 1 , t 2 ∈ S 1,2 (α, β 1 , β 2 ). This means that, when considering the condition (3.10) at the point we have that the imaginary part of the term is either pure-real or pure-imaginary. Depending on which option occurs here, we conclude that the integrand in condition (3.10) either has non-zero real or imaginary part at this particular point in C +n , implying that the measure µ must be identically zero. This finishes the proof.
Theorem 3.16 now says that any non-zero Borel measure µ with support contained in this strip is not a Nevanlinna measure. In particular, we observe, again, that any non-zero measure whose support is contained in the diagonal in R 2 is not a Nevanlinna measure. ♦

Refinements using Möbius transforms.
Given a Herglotz-Nevanlinna function, one can precompose it with a product of Möbius transforms that fix the upper half plane to obtain, again, a function of the same class. This can be used in order to obtain a generalization of Corollary 3.5, as well as further refinements of the geometric restrictions on the support of a Nevanlinna measure given by Theorems 3.10 and 3.16. We give some such statements below. To start with we need some notation.
Proof. We begin by investigating what happens to the integrals R\{0} 1 1 + t 2 dt and where z, t ∈ C \ R, under the change of variables t = − 1 τ . As such, we calculate that The first of the above calculations implies immediately that the measure (J 0 1 ) * µ satisfies the growth condition (2.3), while the second calculation shows that, due to z → − 1 z being an automorphism of C + , the measure (J 0 1 ) * µ also satisfies the Nevanlinna condition (2.4). The result then follows.
Using Proposition 3.18, the results of Corollary 3.5 and Theorems 3.10 and 3.16 can be extended as follows.
Corollary 3.20. Let n ≥ 2 and let µ be a Nevanlinna measure with µ| H1(0) ≡ 0. Then, for sets Σ(A, β) and S j1,j2 (α, β 1 , β 2 ) as in Theorems 3.10 and 3.16, respectively, it holds that In particular, any set as in Theorems 3.10 and 3.16 may be successively transformed by maps of the from J pj j , thereby enlarging or collection of subsets of R n which cannot contain the support of some Nevanlinna measure, cf. Example 3.23. Then, the set Σ(A, 0) equals the diagonal in R 2 . One can then calculate that One can then establish its transformations using the maps J 0 1 and J 0 2 to be equal to . Theorem 3.16 and Corollary 3.20 imply now that a Nevanlinna measure µ cannot have its support contained in any of the above subsets of R 2 , cf. Figure 2. ♦ From Proposition 3.3, it is clear that the support of a Nevanlinna measure cannot be a bounded set. As a consequence of this fact and the technique of coordinate transformation presented previously in this section, we can show that the support cannot be localized too much, in the sense that there cannot exist n coordinate-orthogonal strips that do not intersect the support, cf. Figure 3.
Proof. Without loss of generality, we may assume that n = 2. Furthermore, we may also assume that α 1 = α 2 = −1 and β 1 = β 2 = 1 as other cases may be covered by scalings and translations.
As such, we suppose that In this case, the support of the measure (J 0 1 ) * (J 0 2 ) * µ is contained in the square [−1, 1] 2 ⊆ R 2 , and is, therefore, a finite Nevanlinna measure. But, by Proposition 3.3, it now holds that (J 0 1 ) * (J 0 2 ) * µ ≡ 0. This translates back to the measure µ, finishing the proof. Example 3.25. When n = 2, we may infer immediately from Theorem 3.24 that the only Nevanlinna measure whose support is contained in the (closed) first quadrant is the trivial measure. ♦

Properties of measures on the unit polydisk with vanishing mixed Fourier coefficients
In this section, we are going to use the results established for the class of Nevanlinna measures in Section 3 and translate them to the case of functions from the unit polydisk into the closed right half-plane and their associated measures. Even if this is straightforward, we choose to state the properties of the measures explicitely, in order give a complete picture even for the case of the polydisk.
This class of functions is a generalization of Caratheodory functions and appears at different places, e.g. [11,15,20]. In particular, it is shown in [11,Theorem 1] that they can be characterized by an integral representation in the following sense. A function f maps the polydisk D n analytically to the closed right half-plane if and Figure 3. The only Nevanlinna measure whose support is contained in the shown set is the trivial measure, cf. Theorem 3.24. This figure shows the complement of the union of the strips only if it admits an integral representation of the form where ν is a finite positive Borel measure on [0, 2π) n with vanishing mixed Fourier coefficients, i.e. for any multiindex m ∈ Z n with at least one positive entry and at least one negative entry. In [12,13], we have used this characterization and transformed it via a suitable Cayley transform to the poly-upper half-plane. Here, we are going to utilize its inverse transform instead.
To do that in practice, we also need notations for the subsets of [0, 2π) n that correspond to coordinate-orthogonal subspaces in R n . A hyperplane of [0, 2π) n that is orthogonal to some coordinate axis will be denoted as where j ∈ {1, 2, . . . , n} and p ∈ [0, 2π). Theorem 3.4 and Corollary 3.5 in the case of the polydisk can now be formulated as follows.  where λ (0,2π) n−1 denotes the Lebesgue measure on (0, 2π) n−1 .
Remark 4.2. In particular, we note that for a positive Borel measure on [0, 2π) n with vanishing mixed Fourier coefficients (4.2), all points must have zero mass, and, more generally, a statement analogous to Corollary 3.7 also holds. Furthermore, the area of integration in formula (4.2) may be replaced with the open square (0, 2π) n .
Proof. For such a measure ν, we may use its restriction to the open square (0, 2π) n to build a Nevanlinna measure µ on R n via the mapping ϕ : (0, 2π) → R, The properties of such a measure µ, as described by Theorem 3.4 and Corollary 3.5, then translate back to the measure ν due to the particular way the measure µ was defined in terms on ν.
This procedure does, in principle, miss a few coordinate parallel affine subspaces of [0, 2π) n , for example {0} × [0, 2π) n−1 , but this is trivially fixed by applying any translation in the definition of the map ϕ, that is not an integer multiple of 2π, say . This finishes the proof.
where the function f is represented by the measure ν in the sense of representation (4.1).
The result on the non-finiteness of Nevanlinna measures, discussed in Proposition 3.3, for the case of the polydisk may be formulated as follows. Noting that the integrability of the functions s → 1 s 2 and s → In order to translate the results of Section 3.2 to the case of the unit polydisk, we introduce the map Φ : (0, 2π) n → R n to be the bijection given as Φ( s) := (ϕ(s 1 ), ϕ(s 2 ), . . . , ϕ(s n )), where the map ϕ is as in the proof of Corollary 4.1. Under this transformation coordinate-orthogonal hyperplanes in R n are mapped into coordinate-orthogonal hyperplanes in [0, 2π) n , wheras the image of other affine subspaces are more complicated. The following corollary is, hence, a direct consequence of Theorem 3.24.
Remark 4.6. Due to the fact that the set [0, 2π) n is taken as a parametrization of the poly-torus, we could, in Corollary 4.5, just as well consider the union of any combination of sets where s j < α j or β j < s j or both.