Next Article in Journal
Expansion of the Kullback-Leibler Divergence, and a New Class of Information Metrics
Next Article in Special Issue
Euclidean Algorithm for Extension of Symmetric Laurent Polynomial Matrix and Its Application in Construction of Multiband Symmetric Perfect Reconstruction Filter Bank
Previous Article in Journal / Special Issue
Norm Retrieval and Phase Retrieval by Projections
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fourier Series for Singular Measures

1
Department of Mathematics, Butler University, Indianapolis, IN 46208, USA
2
Department of Mathematics, Iowa State University, 396 Carver Hall, Ames, IA 50011, USA
*
Author to whom correspondence should be addressed.
Submission received: 21 February 2017 / Revised: 23 March 2017 / Accepted: 24 March 2017 / Published: 28 March 2017
(This article belongs to the Special Issue Wavelet and Frame Constructions, with Applications)

Abstract

:
Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure μ on [ 0 , 1 ) , every f L 2 ( μ ) possesses a Fourier series of the form f ( x ) = n = 0 c n e 2 π i n x . We show that the coefficients c n can be computed in terms of the quantities f ^ ( n ) = 0 1 f ( x ) e 2 π i n x d μ ( x ) . We also demonstrate a Shannon-type sampling theorem for functions that are in a sense μ -bandlimited.

1. Introduction

For a Borel probability measure μ , a spectrum is a sequence { λ n } n I such that the functions { e 2 π i λ n x : n I } L 2 ( μ ) constitute an orthonormal basis. If μ possesses a spectrum, we say μ is spectral, and then every f L 2 ( μ ) possesses a (nonharmonic) Fourier series of the form f ( x ) = n I f ( x ) , e 2 π i λ n x e 2 π i λ n x .
In [1], Jorgensen and Pedersen considered the question of whether measures induced by iterated function systems on R d are spectral. Remarkably, they demonstrated that the quaternary Cantor measure μ 4 is spectral. Equally remarkably, they also showed that no three exponentials are orthogonal with respect to the ternary Cantor measure μ 3 , and hence μ 3 is not spectral. The lack of a spectrum for μ 3 motivated subsequent research to relax the orthogonality condition, instead searching for an exponential frame or Riesz basis, since an exponential frame would provide a Fourier series (see [2]) similar to the spectral case. Though these searches have yielded partial results, it is still an open question whether L 2 ( μ 3 ) possesses an exponential frame. It is known that there exist singular measures without exponential frames. In fact, Dutkay and Lai [3,4] showed that self-affine measures induced by iterated function systems with no overlap cannot possess exponential frames if the probability weights are not equal.
In this paper, we demonstrate that the Kaczmarz algorithm educes another potentially fruitful substitute for exponential spectra and exponential frames: the “effective” sequences defined by Kwapień and Mycielski [5]. We show that the nonnegative integral exponentials in L 2 ( μ ) for any singular Borel probability measure μ are such an effective sequence and that this effectivity allows us to define a Fourier series representation of any function in L 2 ( μ ) . This recovers a result of Poltoratskiĭ [6] concerning the normalized Cauchy transform.
Definition 1.
A sequence { f n } n = 0 in a Hilbert space H is said to be Bessel if there exists a constant B > 0 such that for any x H ,
n = 0 | x , f n | 2 B x 2 .
This is equivalent to the existence of a constant D > 0 such that
n = 0 K c n f n D n = 0 K | c n | 2
for any finite sequence { c 0 , c 1 , , c K } of complex numbers. The sequence is called a frame if in addition there exists a constant A > 0 such that for any x H ,
A x 2 n = 0 | x , f n | 2 B x 2 .
If A = B , then the frame is said to be tight. If A = B = 1 , then { f n } n = 0 is a Parseval frame. The constant A is called the lower frame bound and the constant B is called the upper frame bound or Bessel bound.
Definition 2.
The Fourier–Stieltjes transform of a finite Borel measure μ on [ 0 , 1 ) , denoted μ ^ , is defined by
μ ^ ( x ) : = 0 1 e 2 π i x y d μ ( y ) .

1.1. Effective Sequences

Let { φ n } n = 0 be a linearly dense sequence of unit vectors in a Hilbert space H . Given any element x H , we may define a sequence { x n } n = 0 in the following manner:
x 0 , = x , φ 0 φ 0 x n = x n 1 + x x n 1 , φ n φ n .
If lim n x x n = 0 regardless of the choice of x, then the sequence { φ n } n = 0 is said to be effective.
The above formula is known as the Kaczmarz algorithm. In 1937, Stefan Kaczmarz [7] proved the effectivity of linearly dense periodic sequences in the finite-dimensional case. In 2001, these results were extended to infinite-dimensional Banach spaces under certain conditions by Kwapień and Mycielski [5] (see also [8]). These two also gave the following formula for the sequence { x n } n = 0 , which we state here for the Hilbert space setting: define
g 0 = φ 0 , g n = φ n i = 0 n 1 φ n , φ i g i .
Then,
x n = i = 0 n x , g i φ i .
As shown by [5], and also more clearly for the Hilbert space setting by [9], we have
x 2 lim n x x n 2 = n = 0 | x , g n | 2 ,
from which it follows that { φ n } n = 0 is effective if and only if
n = 0 | x , g n | 2 = x 2 .
That is to say, { φ n } n = 0 is effective if and only if the associated sequence { g n } n = 0 is a Parseval frame.
If { φ n } n = 0 is effective, then Label (4) implies that for any x H , i = 0 x , g i φ i converges to x in norm, and, as noted, { g n } n = 0 is a Parseval frame. This does not mean that { g n } n = 0 and { φ n } n = 0 are dual frames, since { φ n } n = 0 need not even be a frame. However, { φ n } n = 0 and { g n } n = 0 are pseudo-dual in the following sense, first given by Li and Ogawa in [10]:
Definition 3.
Let H be a separable Hilbert space. Two sequences { φ n } and { φ n } in H form a pair of pseudoframes for H if for all x , y H , x , y = n x , φ n φ n , y .
All frames are pseudoframes, but not the converse. Observe that if x , y H and { φ n } n = 0 is effective, then
x , y = m = 0 x , g m φ m , y = m = 0 x , g m φ m , y ,
and so { φ n } n = 0 and { g n } n = 0 are pseudo-dual.
Of course, since { g n } n = 0 is a Parseval frame, it is a true dual frame for itself.

2. Main Results

From this point forward, we shall use the notation e λ ( x ) : = e 2 π i λ x . Our main result is as follows.
Theorem 1.
If μ is a singular Borel probability measure on [ 0 , 1 ) , then the sequence { e n } n = 0 is effective in L 2 ( μ ) . As a consequence, any element f L 2 ( μ ) possesses a Fourier series
f ( x ) = n = 0 c n e 2 π i n x ,
where
c n = 0 1 f ( x ) g n ( x ) ¯ d μ ( x )
,and { g n } n = 0 is the sequence associated to { e n } n = 0 via Equation (3). The sum converges in norm, and Parseval’s identity f 2 = n = 0 | c n | 2 holds.
Our proof proceeds in a series of lemmas. First, in order to show completeness of { e n } n = 0 , we appeal to the well-known theorem of Frigyes and Marcel Riesz [11]:
Theorem 2.
[F. and M. Riesz] Let μ be a complex Borel measure on [ 0 , 1 ) . If
0 1 e 2 π i n x d μ ( x ) = 0
for all n N , then μ is absolutely continuous with respect to Lebesgue measure.
From this theorem, we prove the desired lemma:
Lemma 1.
If μ is a singular Borel measure on [ 0 , 1 ) , then { e n } n = 0 is linearly dense in L 2 ( μ ) .
Proof. 
Assume, for the sake of contradiction, that span ¯ ( { e n } n = 0 ) L 2 ( μ ) . Then, there exists some f L 2 ( μ ) such that f span ¯ ( { e n } n = 0 ) . Then, for any n N , we have
0 1 e 2 π i n x f ( x ) ¯ d μ ( x ) = 0 .
By the F. and M. Riesz Theorem, this implies that f ¯ d μ is absolutely continuous with respect to Lebesgue measure d λ . Since f ¯ d μ < < d λ and f ¯ d μ d λ , it follows by uniqueness in Lebesgue’s Decomposition Theorem that f ¯ d μ 0 . Thus, f = 0 almost everywhere with respect to μ , which is a contradiction. Therefore, span ¯ ( { e n } n = 0 ) = L 2 ( μ ) . ☐
Definition 4 (Stationary Sequences).
A sequence { φ k } k = 0 in a Hilbert space is said to be stationary if φ k + m , φ l + m = φ k , φ l for any nonnegative integers k, l, and m.
As noted in [5], given a stationary sequence { φ n } n = 0 and a m defined by a m : = φ k , φ k + m , where k is any nonnegative integer k m , Bochner’s Theorem implies the existence of a unique positive measure σ on T such that
a m = T z ¯ m σ ( d z ) = 0 1 e 2 π i m x d σ ( x ) for each m Z .
This measure σ is called the spectral measure of the stationary sequence { φ n } .
We shall make use of the following theorem from [5]:
Theorem 3 (Kwapień and Mycielski).
A stationary sequence of unit vectors that is linearly dense in a Hilbert space is effective if and only if its spectral measure either coincides with the normalized Lebesgue measure or is singular with respect to Lebesgue measure.
It can be shown that if μ is a Borel probability measure on [ 0 , 1 ) , then the function G ( z ) = 1 0 1 1 1 z e 2 π i x d μ ( x ) 1 is holomorphic on D with | G ( z ) | 1 and also satisfies
Re 1 + G ( z ) 1 G ( z ) = 0 1 1 | z | 2 | e 2 π i x z | 2 d μ ( x ) ,
where the function on the left the unique nonnegative harmonic function on D associated to μ by the Herglotz representation theorem [12]. Suppose { φ k } is a stationary sequence of linearly-dense unit vectors, μ = σ is the spectral measure of { φ k } , and G ( z ) = c n z n is constructed as above. The proof of the Kwapień–Mycielski Theorem works by using some intricate algebra to show that either σ is Lebesgue measure, or that by applying the Kaczmarz algorithm based on { φ k } to any one of the φ k themselves Label (4), one obtains:
φ k i = 0 n φ k , g i φ i 2 1 j = 1 n | c j | 2 .
This makes effectivity of { φ k } equivalent to j = 1 | c j | 2 = 1 . Since G ( z ) is already bounded by 1, the sum is 1 if and only if G ( z ) is inner, which, in turn by the Herglotz representation combined with Fatou’s Theorem, is equivalent to σ being singular [12]. See [13] for a complete proof.
We are now ready to prove Theorem 1.
Proof of Theorem 1.
By Lemma 1, the sequence { e n } n = 0 is linearly dense in L 2 ( μ ) . It consists of unit vectors because μ is a probability measure. We see that, for all k , l , m N 0 ,
e k + m , e l + m = [ 0 , 1 ) e 2 π i ( k l ) x d μ ( x ) = e k , e l .
Thus, { e n } n = 0 is stationary in L 2 ( μ ) , and, moreover, μ is its spectral measure. It then follows from the theorem of Kwapień and Mycielski that { e n } n = 0 is effective in L 2 ( μ ) .
Since { e n } n = 0 is effective, given any f L 2 ( μ ) , we have that the Kaczmarz algorithm sequence defined recursively by
f 0 , = f , e 0 e 0 , f n = f n 1 + f f n 1 , e n e n
satisfies
lim n f f n = 0 .
We recall that
f n = i = 0 n f , g i e i ,
where the sequence { g n } n = 0 is the sequence associated to the sequence { e n } n = 0 by Label (3). Hence,
f = i = 0 f , g i e i .
Setting c n = f , g n = 0 1 f ( x ) g n ( x ) ¯ d μ ( x ) yields
f ( x ) = n = 0 c n e 2 π i n x ,
where the convergence is in the norm. Furthermore, since { e n } n = 0 is effective, by Label (5), { g n } n = 0 is a Parseval frame. Thus,
n = 0 | c n | 2 = n = 0 | f , g n | 2 = f 2 .
This completes the proof. ☐
Since the ternary Cantor measure μ 3 is a singular probability measure, Theorem 1 demonstrates that any f L 2 ( μ 3 ) possesses a Fourier series of the form prescribed by the theorem. This comes despite the fact that μ 3 does not possess an orthogonal basis of exponentials. It is still unknown whether L 2 ( μ 3 ) even possesses an exponential frame.
The sequence { e n } n = 0 of exponentials is effective in L 2 ( μ ) for all singular Borel probability measures μ , but it is Bessel in none of them. Indeed, if it were Bessel, μ would be absolutely continuous rather than singular by Theorem 3.10 of [14]. In fact, Proposition 3.10 in [15] demonstrates an example of a (singular) measure μ and a function f L 2 ( μ ) where n = 0 | f ^ ( n ) | 2 = + . Therefore, it is not possible for { e n } n = 0 to be a frame in L 2 ( μ ) . However, by a remark in [10], since { e n } n = 0 is pseudo-dual to the (in this case Parseval) frame { g n } n = 0 , the upper frame bound for { g n } n = 0 implies a lower frame bound for { e n } n = 0 .
Moreover, some of the examples in [3,4] of measures that do not possess an exponential frame are singular, and hence if we normalize them to be probability measures, Theorem 1 applies.
We shall give a somewhat more explicit formula for the coefficients c n . We will require a lemma to do this, but first we discuss some notation:
Remark 1.
Recall that a composition of a positive integer n is an ordered arrangement of positive integers that sum to n. Whereas for a partition the order in which the terms appear does not matter, two sequences having the same terms but in a different order constitute different compositions. We will think of compositions of n as tuples of positive integers whose entries sum to n. The set of compositions of n will be denoted P n . In other words,
P n : = ( p 1 , p 2 , , p k ) k N , ( p 1 , p 2 , , p k ) N k , p 1 + p 2 + + p k = n .
Thus, we have P 1 = { ( 1 ) } , P 2 = { ( 2 ) , ( 1 , 1 ) } , P 3 = { ( 3 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 1 , 1 , 1 ) } , etc. The length of a tuple p P n will be denoted l ( p ) , i.e., p = ( p 1 , p 2 , , p l ( p ) ) N l ( p ) .
Lemma 2.
Let μ be a Borel probability measure on [ 0 , 1 ) with Fourier–Stieltjes transform μ ^ . Define α 0 = 1 , and for n 1 , let
α n = p P n ( 1 ) l ( p ) j = 1 l ( p ) μ ^ ( p j ) .
Let { g n } n = 0 be as defined in Label (3). Then, for all n N 0 ,
g n = j = 0 n α n j ¯ e j .
Proof. 
Clearly, g 0 = e 0 and g 1 = e 1 e 1 , e 0 e 0 = e 1 μ ^ ( 1 ) ¯ e 0 . We have that P 1 = { ( 1 ) } , so
α 1 = ( 1 ) 1 μ ^ ( 1 ) = μ ^ ( 1 ) .
Therefore, the conclusion holds for n = 0 , 1 . Suppose that the conclusion holds up to some n N . We have that
g n + 1 = e n + 1 j = 0 n e n + 1 , e j g j = e n + 1 j = 0 n μ ^ ( n + 1 j ) ¯ g j = e n + 1 j = 0 n μ ^ ( n + 1 j ) ¯ k = 0 j α j k ¯ e k = e n + 1 j = 0 n k = 0 j μ ^ ( n + 1 j ) ¯ α j k ¯ e k = e n + 1 k = 0 n j = k n μ ^ ( n + 1 j ) ¯ α j k ¯ e k .
Thus, it remains only to show that
α n + 1 k = j = k n μ ^ ( n + 1 j ) α j k .
We have:
j = k n μ ^ ( n + 1 j ) α j k = j = k n μ ^ ( n + 1 j ) p P j k ( 1 ) l ( p ) w = 1 l ( p ) μ ^ ( p w ) = j = k n p P j k ( 1 ) l ( p ) + 1 μ ^ ( n + 1 j ) w = 1 l ( p ) μ ^ ( p w ) = j = 1 n + 1 k p P n k + 1 j ( 1 ) l ( p ) + 1 μ ^ ( j ) w = 1 l ( p ) μ ^ ( p w ) .
The last equality is obtained by reindexing the sum j n + 1 j . Now, if p = ( p 1 , , p l ( p ) ) P n , then it is obvious that p 1 { 1 , 2 , , n } and ( p 2 , p 3 , , p l ( p ) ) P n p 1 (where we define P 0 = ). Conversely, if p 1 { 1 , 2 , , n } and ( p 2 , p 3 , , p l ( p ) ) P n p 1 , then clearly ( p 1 , p 2 , , p l ( p ) ) P n . Thus, it follows that
j = k n μ ^ ( n + 1 j ) α j k = p P n + 1 k ( 1 ) l ( p ) w = 1 l ( p ) μ ^ ( p 2 ) = α n + 1 k .
This completes the proof. ☐
Remark 2.
Lemma 2 can easily be generalized to any Hilbert space setting in which the { g n } n = 0 are induced by a stationary sequence { φ n } n = 0 simply by replacing μ ^ ( m ) with a m in all instances, where the a m are as defined after Definition 4.
It should be pointed out that sequence of scalars { α n } n = 0 depends only on the measure μ . In a general Hilbert space setting where we may not have stationarity, an expansion of the { g n } in terms of the sequence { φ n } to which they are associated by Label (2) can be described by using inversion of an infinite lower-triangular Gram matrix. For a treatment, see [9].
Definition 5.
Define a Fourier transform of f by
F f ( y ) = f ^ ( y ) : = 0 1 f ( x ) e 2 π i y x d μ ( x ) .
Observe that
F f ( y ) = f , e y f L 2 ( μ ) · e y L 2 ( μ ) = f L 2 ( μ ) .
Thus, F is a linear operator from L 2 ( μ ) to L ( R ) with operator norm F = 1 .
Corollary 1.
Assume the conditions and definitions of Theorem 1. Then, the coefficients c n may be expressed
c n = j = 0 n α n j f ^ ( j ) ,
and as a result
f ( x ) = n = 0 j = 0 n α n j f ^ ( j ) e 2 π i n x ,
where the convergence is in norm.
Proof. 
We compute:
c n = f , g n = f , j = 0 n α n j ¯ e j = j = 0 n α n j f ^ ( j ) .
The second formula then follows by substitution into Label (6). ☐

2.1. Non-Uniqueness of Fourier Coefficients

We begin with an example. In [1], it was shown that the quaternary Cantor measure μ 4 possesses an orthonormal basis of exponentials. This basis is { e λ } λ Λ , where the spectrum Λ is given by
Λ = n = 0 k α n 4 n : α n { 0 , 1 } , k N 0 = { 0 , 1 , 4 , 5 , 16 , 17 , 20 , 21 , } .
As a result, any vector f L 2 ( μ 4 ) may be written as
f = λ Λ f , e λ e λ ,
where the convergence is in the L 2 ( μ 4 ) norm. Notice that if we define a sequence of vectors { h n } n = 0 by
h n = e n , if n Λ , 0 , otherwise ,
we have that
n = 0 f , h n e n = λ Λ f , e λ e λ = f .
On the other hand, since μ 4 is a singular probability measure, by Theorem 1, we also have
f = n = 0 c n e n = n = 0 f , g n e n .
It can easily be checked that h 0 = g 0 = e 0 and h 1 = g 1 = e 1 , but that g 2 h 2 = 0 . Thus, the sequences { g n } and { h n } yield different expansions for general f L 2 ( μ 4 ) .
We can again use the Kaczmarz algorithm to generate a large class of sequences { h n } such that f , h n e n = f in the L 2 ( μ ) norm as follows. We use · , · μ to denote the scalar product in L 2 ( μ ) .
Theorem 4.
Let μ be a singular Borel probability measure on [ 0 , 1 ) . Let ν be another singular Borel probability measure on [ 0 , 1 ) such that ν μ . Let 0 < η 1 , and define λ : = η μ + ( 1 η ) ν . Let { h n } be the sequence associated to { e n } in L 2 ( λ ) via the Kaczmarz algorithm in Equation (3). Then, for all f L 2 ( μ ) ,
f = n = 0 f , η h n μ e n
in the L 2 ( μ ) norm. Moreover, if λ = η μ + ( 1 η ) ν also satisfies the hypotheses, then λ λ implies { η h n } { η h n } in L 2 ( μ ) .
Proof. 
Since λ is a singular Borel probability measure, the exponentials { e n } n = 0 are effective in L 2 ( λ ) . Let { h n } denote the sequence associated to { e n } in L 2 ( λ ) via Equation (3). Let f L 2 ( μ ) , and define f ˜ = f · χ supp ( μ ) . Clearly, f ˜ L 2 ( λ ) .
We have that
f ˜ = n = 0 f ˜ , h n λ e n
in the L 2 ( λ ) norm. Now, note that
f , η h n μ = 0 1 f ( x ) η h n ( x ) ¯ d μ ( x ) = supp ( μ ) f ( x ) h n ( x ) ¯ d λ = f ˜ , h n λ .
Therefore,
lim N f ˜ n = 0 N f , η h n μ e n L 2 ( λ ) 2 = 0 .
Since
f n = 0 N f , η h n μ e n L 2 ( μ ) 2 1 η f ˜ n = 0 N f , η h n μ e n L 2 ( λ ) 2 ,
Equation (8) follows with convergence in L 2 ( μ ) .
It remains only to show that different measures λ generate different sequences { η h n } . Therefore, suppose ν is another singular Borel probability measure on [ 0 , 1 ) such that ν μ , and let 0 < η 1 . Set λ = η μ + ( 1 η ) ν , and let { h n } be the sequence associated to { e n } in L 2 ( λ ) via Equation (3). Suppose that λ λ . We wish to show that { η h n } { η h n } in L 2 ( μ ) .
If η η , then η h 0 = η e 0 η e 0 = η h 0 in L 2 ( μ ) . Therefore, assume that η = η . By virtue of the F. and M. Riesz Theorem, since λ λ , there must exist an integer n such that λ ^ ( n ) λ ^ ( n ) . Following [9], we define a lower-triangular Gram matrix G of the nonnegative integral exponentials by
( G ) i j = e i , e j = λ ^ ( j i ) , if i j , 0 , otherwise ,
and then the inverse of this matrix determines the sequence { h n } associated to { e n } in L 2 ( λ ) via h n = i = 0 n α n i ¯ e i , where α n i = ( G 1 ) n i ¯ . See [9] for details. (G and G 1 are stratified since { e n } is stationary.) Therefore, the sequences of scalars { α n } n = 0 and { α n } n = 0 induced by λ and λ , respectively, in Lemma 2 differ. Let n be the smallest positive integer such that α n α n . Then, since η = η , we have
η h n η h n = η j = 0 n α n j ¯ α n j ¯ e j = η ( α n α n ¯ ) e 0 0 .
Thus, { η h n } and { η h n } are distinct sequences in L 2 ( μ ) . ☐
Remark 3.
We note that any convex combination of sequences { h n } that satisfy Equation (8) will again satisfy that equation.
In general, for a fixed f L 2 ( μ ) , the set of coefficient sequences { d n } that satisfy f = n = 0 d n e n can be parametrized by sequences { γ n } of scalars satisfying n = 0 γ n e n = 0 via d n = f , g n μ + γ n . Clearly, Theorem 4 is not a complete description of all Fourier series expansions for f.

2.2. Connection to the Normalized Cauchy Transform

The series n = 0 f , g n e n given by Theorem 1 is the boundary function of the analytic function n = 0 f , g n z n on D . This function is in the classical H 2 Hardy space since the coefficients are square summable. An intriguing connection between the Kaczmarz algorithm and de Branges–Rovnyak spaces is given by the observations that follow.
Given a positive Borel measure μ on [ 0 , 1 ) , define a map V μ , called the normalized Cauchy transform, from L 1 ( μ ) to the functions defined on C \ T by
V μ f ( z ) : = 0 1 f ( e 2 π i x ) 1 z e 2 π i x d μ ( x ) 0 1 1 1 z e 2 π i x d μ ( x ) .
Poltoratskiĭ proved in [6] that V μ maps L 2 ( μ ) to the de Branges–Rovnyak space H ( b ) , where b ( z ) is the inner function associated to μ via the Herglotz representation theorem. Poltoratskiĭ also proved that V μ is the inverse of a unitary operator that is a rank one perturbation of the unilateral shift as given by Clark [16], and hence V μ is unitary.
Proposition 1.
Assume the hypotheses of Theorem 1. Then, for z D ,
V μ f ( z ) = n = 0 f , g n z n .
Proof. 
Define
F ( z ) : = 0 1 1 1 z e 2 π i x d μ ( x ) .
That is, F ( z ) is the Cauchy integral of μ , which is analytic on D . It is easily seen that
F ( z ) = n = 0 μ ^ ( n ) z n .
By Label (9), Re ( F ( z ) ) > 1 / 2 for z D , and, hence, 1 / F ( z ) is also analytic on D . Writing 1 / F ( z ) = n = 0 c n z n , we have 1 = n = 0 k = 0 n c k μ ^ ( n k ) z n , and so k = 0 n c k μ ^ ( n k ) = 0 for all n 1 . Then, using Label (3), an inductive argument shows that g n = i = 0 n c n i ¯ e i for all n. The c n are unique by Gaussian elimination, so, in fact, c n = α n for all n, the α n as in Lemma 2. Hence,
1 F ( z ) = n = 0 α n z n .
It is also clear that
0 1 f ( e 2 π i x ) 1 z e 2 π i x d μ ( x ) = n = 0 f , e n z n .
Therefore, we have
0 1 f ( e 2 π i x ) 1 z e 2 π i x d μ ( x ) 0 1 1 1 z e 2 π i x d μ ( x ) = n = 0 f , e n z n m = 0 α m z m = n = 0 i = 0 n f , α n i ¯ e i z n = n = 0 f , g n z n .
 ☐
Two of the main results in [6] are Theorems 2.5 and 2.7, which together show that the Fourier series of V μ f ( z ) converges to f in the L 2 ( μ ) norm provided that μ is singular. Combining this together with Proposition 1 recovers our Theorem 1. Adding Clark’s result that implies that V μ is unitary, we recover the Plancherel identity.
Poltoratskiĭ’s results are more general than our Theorem 1 in the following way: if μ has an absolutely continuous component and a singular component, then for any f L 2 ( μ ) , the Fourier series of V μ f converges to f in norm with respect to the singular component. The Fourier series cannot in general converge to f with respect to the absolutely continuous component of μ since the nonnegative exponentials are incomplete. It is unclear whether for such a μ every f can be expressed in terms of a bi-infinite Fourier series. For singular μ , our Theorem 1 guarantees norm convergence of the Fourier series of V μ f to f as do Poltoratskiĭ’s results. However, Poltoratskiĭ also comments in [6] that the Fourier series converges pointwise μ -a.e. to f.

3. A Shannon Sampling Formula

In [17], Strichartz introduces a sampling formula for functions that are bandlimited in a generalized sense. He considers functions whose spectra are contained in a certain compact set K that is the support of a spectral measure μ . If F is a strongly K-bandlimited function, then he shows that it has an expression
F ( x ) = λ Λ F ( λ ) μ ^ ( x λ ) ,
where Λ is a spectrum for L 2 ( μ ) .
We will now prove a similar sampling formula for analogously bandlimited functions. Our formula does not rely on an exponential basis and hence holds even for non-spectral singular measures. (Indeed, it even holds for singular measures devoid of exponential frames.) The price paid for not using an exponential sequence dual to itself is that the samples F ( λ ) are replaced by the less tidy j = 0 n α n j F ( j ) .
Theorem 5.
Let μ be a singular Borel probability measure on [ 0 , 1 ) . Let { α i } i = 0 be the sequence of scalars induced by μ by Lemma 2. Suppose F : R C is of the form
F ( y ) = 0 1 f ( x ) e 2 π i y x d μ ( x )
for some f L 2 ( μ ) . Then,
F ( y ) = n = 0 j = 0 n α n j F ( j ) μ ^ ( y n ) ,
where the series converges uniformly in y.
Proof. 
By Theorem 1, f may be expressed f = n = 0 c n e n , the convergence occurring in the L 2 ( μ ) norm. We compute:
F ( y ) = 0 1 f ( x ) e 2 π i y x d μ ( x ) = f , e y = n = 0 c n e n , e y = n = 0 c n e n , e y = n = 0 c n μ ^ ( y n ) .
Recall from Corollary 1 that
c n = j = 0 n α n j f ^ ( j ) = j = 0 n α n j F ( j ) ,
where the α n are defined by Lemma 2. Combining these computations, we obtain that for any y R ,
F ( y ) = n = 0 j = 0 n α n j F ( j ) μ ^ ( y n ) .
Let S k : = n = 0 k c n e n . Since S k f in the L 2 ( μ ) norm and the Fourier transform F : L 2 ( μ ) L ( R ) is bounded, { F S k } F f in L ( R ) . Then, because F S k ( y ) = n = 0 k c n μ ^ ( y n ) , we have that n = 0 c n μ ^ ( y n ) and hence Label (10) converges uniformly in y to F f ( y ) . ☐
It should be noted that, in contradistinction to the sampling formula of Strichartz, the convergence of the series in Equation (10) does not follow from the Cauchy–Schwarz inequality because it is possible that n = 0 | μ ^ ( y n ) | 2 = + .

Author Contributions

The authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Jorgensen, P.E.T.; Pedersen, S. Dense analytic subspaces in fractal L2-spaces. J. Anal. Math. 1998, 75, 185–228. [Google Scholar] [CrossRef]
  2. Duffin, R.J.; Schaeffer, A.C. A class of nonharmonic Fourier series. Trans. Am. Math. Soc. 1952, 72, 341–366. [Google Scholar] [CrossRef]
  3. Lai, C.K. Spectral Analysis on Fractal Measures and Tiles. Ph.D. Dissertation, The Chinese University of Hong Kong, Hong Kong, China, 2012. [Google Scholar]
  4. Dutkay, D.E.; Lai, C.K. Uniformity of measures with Fourier frames. Adv. Math. 2014, 252, 684–707. [Google Scholar] [CrossRef]
  5. Kwapień, S.; Mycielski, J. On the Kaczmarz algorithm of approximation in infinite-dimensional spaces. Stud. Math. 2001, 148, 75–86. [Google Scholar] [CrossRef]
  6. Poltoratskiĭ, A.G. Boundary behavior of pseudocontinuable functions. Algebra i Analiz 1993, 5, 189–210, English translation in St. Petersb. Math. 1994, 5, 389–406. [Google Scholar]
  7. Kaczmarz, S. Angenäherte Auflösung von Systemen linearer Gleichungen. Bulletin International de l’Académie Plonaise des Sciences et des Lettres 1937, 35, 355–357. [Google Scholar]
  8. Kwapień, S.A.; Mycielski, J. Erratum to the paper: “On the Kaczmarz algorithm of approximation in infinite-dimensional spaces” [Stud. Math. 148 (2001), no. 1, 75–86; MR1881441]. Stud. Math. 2006, 176, 93. [Google Scholar] [CrossRef]
  9. Haller, R.; Szwarc, R. Kaczmarz algorithm in Hilbert space. Stud. Math. 2005, 169, 123–132. [Google Scholar] [CrossRef]
  10. Li, S.; Ogawa, H. Pseudo-duals of frames with applications. Appl. Comput. Harmon. Anal. 2001, 11, 289–304. [Google Scholar] [CrossRef]
  11. Riesz, F.; Riesz, M. Über die Randwerte einer analytischen Funktion. Quatrième Congrès des Mathématiciens Scandinaves 1916, 27–444. [Google Scholar] [CrossRef]
  12. Koosis, P. Introduction to Hp Spaces, 2nd ed.; Cambridge Tracts in Mathematics; Cambridge University Press: Cambridge, UK, 1998; Volume 115. [Google Scholar]
  13. Herr, J.E. Fourier Series for Singular Measures and the Kaczmarz Algorithm. Ph.D. Thesis, Iowa State University, Ames, IA, USA, 2016. [Google Scholar]
  14. Dutkay, D.E.; Han, D.; Weber, E. Continuous and discrete Fourier frames for fractal measures. Trans. Am. Math. Soc. 2014, 366, 1213–1235. [Google Scholar] [CrossRef]
  15. Dutkay, D.E.; Han, D.; Sun, Q.; Weber, E. On the Beurling dimension of exponential frames. Adv. Math. 2011, 226, 285–297. [Google Scholar] [CrossRef]
  16. Clark, D.N. One dimensional perturbations of restricted shifts. J. Anal. Math. 1972, 25, 169–191. [Google Scholar] [CrossRef]
  17. Strichartz, R.S. Mock Fourier series and transforms associated with certain Cantor measures. J. Anal. Math. 2000, 81, 209–238. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Herr, J.E.; Weber, E.S. Fourier Series for Singular Measures. Axioms 2017, 6, 7. https://doi.org/10.3390/axioms6020007

AMA Style

Herr JE, Weber ES. Fourier Series for Singular Measures. Axioms. 2017; 6(2):7. https://doi.org/10.3390/axioms6020007

Chicago/Turabian Style

Herr, John E., and Eric S. Weber. 2017. "Fourier Series for Singular Measures" Axioms 6, no. 2: 7. https://doi.org/10.3390/axioms6020007

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop