Fourier Bases on Fractals

Size: px
Start display at page:

Download "Fourier Bases on Fractals"

Transcription

1 Fourier Bases on Fractals Keri Kornelson University of Oklahoma - Norman February Fourier Talks February 21, 2013 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

2 Coauthors This is joint work with Palle Jorgensen (University of Iowa) Karen Shuman (Grinnell College). K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

3 Outline 1 Bernoulli convolution measures 2 Fourier bases 3 Families of ONBs 4 Operator-fractal K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

4 Bernoulli convolution measures Convolution measure Let λ (0, 1). A fractal Cantor subset of R is the unique set X λ satisfying the invariance relation: X λ = λ(x λ + 1) λ(x λ 1). (1) K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

5 Bernoulli convolution measures Convolution measure Let λ (0, 1). A fractal Cantor subset of R is the unique set X λ satisfying the invariance relation: X λ = λ(x λ + 1) λ(x λ 1). (1) The Bernoulli convolution measure µ λ is the unique probability measure satisfying: f dµ λ = 1 f(λx + λ) + f(λx λ) dµ λ (x). (2) 2 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

6 Bernoulli convolution measures Convolution measure Let λ (0, 1). A fractal Cantor subset of R is the unique set X λ satisfying the invariance relation: X λ = λ(x λ + 1) λ(x λ 1). (1) The Bernoulli convolution measure µ λ is the unique probability measure satisfying: f dµ λ = 1 f(λx + λ) + f(λx λ) dµ λ (x). (2) 2 Historical note: The Bernoulli measures date back to work of Erdös and others in the 1930s and 40s. µ λ is the distribution of the random variable k ±λk where + and have equal probability. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

7 Bernoulli convolution measures Some properties of Bernoulli measures Given Bernoulli measure with scale factor λ: When λ = 1 2, the measure µ 1 2 is scaled Lebesgue measure on [ 1, 1]. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

8 Bernoulli convolution measures Some properties of Bernoulli measures Given Bernoulli measure with scale factor λ: When λ = 1 2, the measure µ 1 2 is scaled Lebesgue measure on [ 1, 1]. If λ < 1 2, then µ λ is supported on a fractal with Lebesgue measure zero. Thus, the measures are singular when λ < 1 2. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

9 Bernoulli convolution measures Some properties of Bernoulli measures Given Bernoulli measure with scale factor λ: When λ = 1 2, the measure µ 1 2 is scaled Lebesgue measure on [ 1, 1]. If λ < 1 2, then µ λ is supported on a fractal with Lebesgue measure zero. Thus, the measures are singular when λ < 1 2. When λ 1 2, the set X λ is an interval. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

10 Bernoulli convolution measures Some properties of Bernoulli measures Given Bernoulli measure with scale factor λ: When λ = 1 2, the measure µ 1 2 is scaled Lebesgue measure on [ 1, 1]. If λ < 1 2, then µ λ is supported on a fractal with Lebesgue measure zero. Thus, the measures are singular when λ < 1 2. When λ 1 2, the set X λ is an interval. [Erdös, 1939] If λ is the inverse of a Pisot number, e.g. the golden ratio φ, the measure µ λ is singular with respect to Lebesgue measure even though the attractor is an interval. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

11 Bernoulli convolution measures Some properties of Bernoulli measures Given Bernoulli measure with scale factor λ: When λ = 1 2, the measure µ 1 2 is scaled Lebesgue measure on [ 1, 1]. If λ < 1 2, then µ λ is supported on a fractal with Lebesgue measure zero. Thus, the measures are singular when λ < 1 2. When λ 1 2, the set X λ is an interval. [Erdös, 1939] If λ is the inverse of a Pisot number, e.g. the golden ratio φ, the measure µ λ is singular with respect to Lebesgue measure even though the attractor is an interval. [Hutchinson, 1981] Existence of (X, µ), from an IFS perspective. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

12 Bernoulli convolution measures Some properties of Bernoulli measures Given Bernoulli measure with scale factor λ: When λ = 1 2, the measure µ 1 2 is scaled Lebesgue measure on [ 1, 1]. If λ < 1 2, then µ λ is supported on a fractal with Lebesgue measure zero. Thus, the measures are singular when λ < 1 2. When λ 1 2, the set X λ is an interval. [Erdös, 1939] If λ is the inverse of a Pisot number, e.g. the golden ratio φ, the measure µ λ is singular with respect to Lebesgue measure even though the attractor is an interval. [Hutchinson, 1981] Existence of (X, µ), from an IFS perspective. [Solomyak, 1995] For almost every λ ( 1 2, 1), µ λ is absolutely continuous. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

13 Fourier bases µ λ as an infinite product Consider the Hilbert space L 2 (µ λ ). Is it possible for L 2 (µ λ ) to have a Fourier basis, i.e. an orthonormal basis (ONB) of complex exponential functions? K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

14 Fourier bases µ λ as an infinite product Consider the Hilbert space L 2 (µ λ ). Is it possible for L 2 (µ λ ) to have a Fourier basis, i.e. an orthonormal basis (ONB) of complex exponential functions? Recall that µ λ satisfies the invariance f dµ λ = 1 f(λx + λ) + f(λx λ) dµ λ (x). 2 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

15 Fourier bases µ λ as an infinite product Consider the Hilbert space L 2 (µ λ ). Is it possible for L 2 (µ λ ) to have a Fourier basis, i.e. an orthonormal basis (ONB) of complex exponential functions? Recall that µ λ satisfies the invariance f dµ λ = 1 f(λx + λ) + f(λx λ) dµ λ (x). 2 Then the Fourier transform of µ λ is: µ λ (t) = e 2πixt dµ λ (x) = 1 e 2πi(λx+λ)t dµ λ (x) e 2πi(λx λ)t dµ λ (x) = cos(2πλt) µ λ (λt) = cos(2πλt) cos(2πλ 2 t) µ λ (λ 2 t) = cos(2πλ k t) k=1 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

16 Fourier bases Orthogonality Condition Denote by e γ the exponential function e 2πiγ in L 2 (µ λ ). K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

17 Fourier bases Orthogonality Condition Denote by e γ the exponential function e 2πiγ in L 2 (µ λ ). e γ, e γ L 2 = e γ γ dµ λ = µ λ (γ γ) ( ( ) ) k(γ = cos 2π λ γ) k=1 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

18 Fourier bases Orthogonality Condition Denote by e γ the exponential function e 2πiγ in L 2 (µ λ ). e γ, e γ L 2 = e γ γ dµ λ = µ λ (γ γ) ( ( ) ) k(γ = cos 2π λ γ) k=1 Lemma The two exponentials e γ, e γ are orthogonal if and only if one of the factors in the infinite product above is zero. This is equivalent to { } 1 γ γ 4 λ k (2m + 1) : k N, m Z =: Z λ. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

19 Test for ONB Fourier bases We use the zero set Z λ to check orthogonality. Parseval s identity provides a test for an ONB. Let Γ R be a set and let E(Γ) be the set {e γ : γ Γ}. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

20 Fourier bases Test for ONB We use the zero set Z λ to check orthogonality. Parseval s identity provides a test for an ONB. Let Γ R be a set and let E(Γ) be the set {e γ : γ Γ}. If E(Γ) is an ONB, then for every value of t R, we have 1 = e t 2 µ λ = γ Γ e t, e γ 2 = γ Γ µ λ (t γ) 2 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

21 Fourier bases Test for ONB We use the zero set Z λ to check orthogonality. Parseval s identity provides a test for an ONB. Let Γ R be a set and let E(Γ) be the set {e γ : γ Γ}. If E(Γ) is an ONB, then for every value of t R, we have 1 = e t 2 µ λ = γ Γ e t, e γ 2 = γ Γ µ λ (t γ) 2 It other words, c Γ (t) = [ µ λ (t γ)] 2 = γ Γ γ Γ k=1 ( ) ) k(t cos (2π 2 λ γ) 1. The function c Γ is sometimes called a spectral function. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

22 First results Fourier bases Theorem (Jorgensen, Pedersen 1998) L 2 (µ 1 ) has an ONB of exponential functions. 4 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

23 First results Fourier bases Theorem (Jorgensen, Pedersen 1998) L 2 (µ 1 ) has an ONB of exponential functions. 4 Example E(Γ 1 4 Γ 1 = 4 ) is an ONB for L 2 (µ 1 ), where 4 p a j 4 j j=0 : a j {0, 1}, p finite = {0, 1, 4, 5, 16, 17, 20, 21, 64,...}. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

24 Fourier bases Another surprise: λ = 1 3 Theorem (Jorgensen, Pedersen 1998) Not only is there no Fourier basis when λ = 1 3, but orthogonal collections of exponential functions can have at most 2 elements. There is also a more general version in the [JP1998] paper: K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

25 Fourier bases Another surprise: λ = 1 3 Theorem (Jorgensen, Pedersen 1998) Not only is there no Fourier basis when λ = 1 3, but orthogonal collections of exponential functions can have at most 2 elements. There is also a more general version in the [JP1998] paper: Theorem (Jorgensen, Pedersen 1998) Given λ = 1 n, if n is even, there is an ONB of exponentials for L2 (µ 1 ) but 2n when n is odd, there can be only finitely many elements in any orthogonal collection of exponentials. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

26 More recent progress Fourier bases Theorem (Jorgensen, K, Shuman 2008; Hu, Lau 2008) For λ = a b, if b is odd, then any orthonormal collection of exponentials in L 2 (µ λ ) must be finite. If b is even, then there exists countable collections of orthonormal exponentials in L 2 (µ λ ). K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

27 More recent progress Fourier bases Theorem (Jorgensen, K, Shuman 2008; Hu, Lau 2008) For λ = a b, if b is odd, then any orthonormal collection of exponentials in L 2 (µ λ ) must be finite. If b is even, then there exists countable collections of orthonormal exponentials in L 2 (µ λ ). Theorem (Dutkay, Han, Jorgensen 2009) If λ > 1 2, i.e. there is essential overlap, then L2 (µ λ ) does not have an ONB (or even a frame) of exponential functions. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

28 More recent progress Fourier bases Theorem (Jorgensen, K, Shuman 2008; Hu, Lau 2008) For λ = a b, if b is odd, then any orthonormal collection of exponentials in L 2 (µ λ ) must be finite. If b is even, then there exists countable collections of orthonormal exponentials in L 2 (µ λ ). Theorem (Dutkay, Han, Jorgensen 2009) If λ > 1 2, i.e. there is essential overlap, then L2 (µ λ ) does not have an ONB (or even a frame) of exponential functions. Theorem (Xinrong Dai 2012) The only spectral Bernoulli measures are for λ = 1 2n. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

29 Canonical ONBs [Jorgensen, Pedersen 1998] Fourier bases Definition Let λ = 1 2n and consider the set from Jorgensen & Pedersen Γ 1 2n = p a j (2n) j j=0 { : a j 0, n } 2, p finite. We call Γ 1 the canonical spectrum and E(Γ 1 ) the canonical ONB for L 2 (µ 1 ). 2n 2n 2n Note: We will justify the nomenclature by describing alternate bases for the same spaces. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

30 Families of ONBs Families of ONBs Let λ = 1 2n. We can construct alternate orthogonal families of exponentials from the canonical ONBs E(Γ 1 ). We then determine whether these alternate 2n sets are ONBs. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

31 Families of ONBs Families of ONBs Let λ = 1 2n. We can construct alternate orthogonal families of exponentials from the canonical ONBs E(Γ 1 ). We then determine whether these alternate 2n sets are ONBs. Recall the zero set, which gives the test for orthogonality of exponentials: Z λ = { } 1 4 λ k (2m + 1) : k N, m Z K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

32 Families of ONBs Families of ONBs Let λ = 1 2n. We can construct alternate orthogonal families of exponentials from the canonical ONBs E(Γ 1 ). We then determine whether these alternate 2n sets are ONBs. Recall the zero set, which gives the test for orthogonality of exponentials: Z λ = { } 1 4 λ k (2m + 1) : k N, m Z Observe that if γ γ Z λ then pγ p γ Z λ as well, for any odd integer p. So scaling a canonical spectrum by p yields at least an orthogonal set, and sometimes an ONB. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

33 Families of ONBs Families of ONBs Let λ = 1 2n. We can construct alternate orthogonal families of exponentials from the canonical ONBs E(Γ 1 ). We then determine whether these alternate 2n sets are ONBs. Recall the zero set, which gives the test for orthogonality of exponentials: Z λ = { } 1 4 λ k (2m + 1) : k N, m Z Observe that if γ γ Z λ then pγ p γ Z λ as well, for any odd integer p. So scaling a canonical spectrum by p yields at least an orthogonal set, and sometimes an ONB. Note: Not every p yields an ONB, e.g. p = 2n 1 for λ = 1 2n. The set E((2n 1)Γ 1 ) is not maximal, hence is not an ONB. 2n K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

34 Families of ONBs Families of ONBs Theorem (Jorgensen, K, Shuman 2010) The set E(3Γ 1 ) is an (alternate) orthonormal basis for L 2 (µ 1 ). 8 8 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

35 Families of ONBs Families of ONBs Theorem (Jorgensen, K, Shuman 2010) The set E(3Γ 1 ) is an (alternate) orthonormal basis for L 2 (µ 1 ). 8 8 Theorem (Jorgensen, K, Shuman 2010) If p < 2(2n 1) π, then E(pΓ 1 ) is an ONB for L 2 (µ 1 ). 2n 2n K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

36 Families of ONBs Families of ONBs Theorem (Jorgensen, K, Shuman 2010) The set E(3Γ 1 ) is an (alternate) orthonormal basis for L 2 (µ 1 ). 8 8 Theorem (Jorgensen, K, Shuman 2010) If p < 2(2n 1) π, then E(pΓ 1 ) is an ONB for L 2 (µ 1 ). 2n 2n Laba/Wang and Dutkay/Jorgensen have described many other values of p for which pγ 1 is a spectrum, particularly in the 1 2n 4 case. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

37 Families of ONBs Examples of pγ 1 2n ONBs n λ p Canonical Γ λ , 3 {0, 3 2, 9, 21 2,...} , 3 {0, 2, 16, 18,...} , 3, 5 {0, 5 2, 25, 55 2,...} , 3, 5, 7 {0, 3, 36, 39,...} K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

38 Operators on L 2 Operator-fractal Dutkay, Jorgensen, 2009: When λ = 1 4, both Γ 1 4 and 5Γ 1 4 are spectra for L 2 (µ 1 ). 4 Γ 1 = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} 4 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

39 Operators on L 2 Operator-fractal Dutkay, Jorgensen, 2009: When λ = 1 4, both Γ 1 4 and 5Γ 1 4 are spectra for L 2 (µ 1 ). 4 Γ 1 = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} 4 For each γ Γ 1, define 4 S 0 : e γ e 4γ S 1 : e γ e 4γ+1 U : e γ e 5γ K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

40 Operators on L 2 Operator-fractal Dutkay, Jorgensen, 2009: When λ = 1 4, both Γ 1 4 and 5Γ 1 4 are spectra for L 2 (µ 1 ). 4 Γ 1 = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} 4 For each γ Γ 1, define 4 S 0 : e γ e 4γ S 1 : e γ e 4γ+1 U : e γ e 5γ S 0 and S 1 map between ONB elements, so are both isometries. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

41 Operators on L 2 Operator-fractal Dutkay, Jorgensen, 2009: When λ = 1 4, both Γ 1 4 and 5Γ 1 4 are spectra for L 2 (µ 1 ). 4 Γ 1 = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} 4 For each γ Γ 1, define 4 S 0 : e γ e 4γ S 1 : e γ e 4γ+1 U : e γ e 5γ S 0 and S 1 map between ONB elements, so are both isometries. U maps one ONB to another, so U is a unitary operator. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

42 Operator-fractal Structure of Γ Example: Let λ = 1 4 and denote H = L2 (µ 1 ). 4 Γ = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} Γ = 4Γ (1 + 4Γ) = 4 2 Γ 4(1 + 4Γ) (1 + 4Γ).. = 4 k Γ 4 k 1 (1 + 4Γ) 4(1 + 4Γ) (1 + 4Γ) S 0 (H) is the span of the exponentials E(4Γ) K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

43 Operator-fractal Structure of Γ Example: Let λ = 1 4 and denote H = L2 (µ 1 ). 4 Γ = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} Γ = 4Γ (1 + 4Γ) = 4 2 Γ 4(1 + 4Γ) (1 + 4Γ).. = 4 k Γ 4 k 1 (1 + 4Γ) 4(1 + 4Γ) (1 + 4Γ) S 0 (H) is the span of the exponentials E(4Γ) S k 0 (H) is the span of E(4k Γ) K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

44 Operator-fractal Structure of Γ Example: Let λ = 1 4 and denote H = L2 (µ 1 ). 4 Γ = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} Γ = 4Γ (1 + 4Γ) = 4 2 Γ 4(1 + 4Γ) (1 + 4Γ).. = 4 k Γ 4 k 1 (1 + 4Γ) 4(1 + 4Γ) (1 + 4Γ) S 0 (H) is the span of the exponentials E(4Γ) S k 0 (H) is the span of E(4k Γ) H S 0 (H) S 2 0 (H) K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

45 Operator-fractal Structure of Γ Example: Let λ = 1 4 and denote H = L2 (µ 1 ). 4 Γ = {0, 1, 4, 5, 16, 17, 20, 21, 64, 65,...} Γ = 4Γ (1 + 4Γ) = 4 2 Γ 4(1 + 4Γ) (1 + 4Γ).. = 4 k Γ 4 k 1 (1 + 4Γ) 4(1 + 4Γ) (1 + 4Γ) S 0 (H) is the span of the exponentials E(4Γ) S k 0 (H) is the span of E(4k Γ) H S 0 (H) S 2 0 (H) If we define W k = S0 k (H) Sk+1 0 (H), then H = sp(e 0 ) k=0 W k K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

46 The operator U Operator-fractal Recall U : e γ e 5γ. How does that scaling by ( 5) in the ONB frequencies interact with the inherent scaling ( 4) of the fractal measure space? Theorem (Jorgensen,K,Shuman 2012) K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

47 The operator U Operator-fractal Recall U : e γ e 5γ. How does that scaling by ( 5) in the ONB frequencies interact with the inherent scaling ( 4) of the fractal measure space? Theorem (Jorgensen,K,Shuman 2012) Each subspace W k is invariant under U. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

48 The operator U Operator-fractal Recall U : e γ e 5γ. How does that scaling by ( 5) in the ONB frequencies interact with the inherent scaling ( 4) of the fractal measure space? Theorem (Jorgensen,K,Shuman 2012) Each subspace W k is invariant under U. With respect to the W k ordering of Γ, the matrix of U has block diagonal form...and the infinite blocks are all the same! K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

49 The operator U Operator-fractal Recall U : e γ e 5γ. How does that scaling by ( 5) in the ONB frequencies interact with the inherent scaling ( 4) of the fractal measure space? Theorem (Jorgensen,K,Shuman 2012) Each subspace W k is invariant under U. With respect to the W k ordering of Γ, the matrix of U has block diagonal form...and the infinite blocks are all the same! Even more, in the ( 4, 5) case U actually has a self-similar structure: We call U an operator-fractal. U = (e 0 e 0 ) M e1 U. k=1 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

50 Matrix of U Operator-fractal 0 Γ 0 Γ 1 Γ 2 Γ Γ 0 0 M e1 U Γ M e1 U 0 0 Γ M e1 U 0 Γ M e1 U K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

51 Operator-fractal Spectral properties of U Theorem (Jorgensen, K, Shuman 2012) U has the following properties. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

52 Operator-fractal Spectral properties of U Theorem (Jorgensen, K, Shuman 2012) U has the following properties. 1 is the only eigenvalue of U. (Ue 0 = e 0 ) K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

53 Operator-fractal Spectral properties of U Theorem (Jorgensen, K, Shuman 2012) U has the following properties. 1 is the only eigenvalue of U. (Ue 0 = e 0 ) U is not spatially implemented; i.e. is not of the form Uf = f τ for τ a point transformation on [0, 1]. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

54 Operator-fractal Spectral properties of U Theorem (Jorgensen, K, Shuman 2012) U has the following properties. 1 is the only eigenvalue of U. (Ue 0 = e 0 ) U is not spatially implemented; i.e. is not of the form Uf = f τ for τ a point transformation on [0, 1]. U only fixes the constant functions; if Uv = v then v = ce 0 for some c C. In other words, U is an ergodic operator. K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

55 Thank You K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/ / 21

Spectral Properties of an Operator-Fractal

Spectral Properties of an Operator-Fractal Spectral Properties of an Operator-Fractal Keri Kornelson University of Oklahoma - Norman NSA Texas A&M University July 18, 2012 K. Kornelson (U. Oklahoma) Operator-Fractal TAMU 07/18/2012 1 / 25 Acknowledgements

More information

Spectral Hutchinson-3 Measures and Their Associated Operator Fractals

Spectral Hutchinson-3 Measures and Their Associated Operator Fractals University of Colorado, Boulder CU Scholar Mathematics Graduate Theses & Dissertations Mathematics Spring 1-1-2017 Spectral Hutchinson- Measures and Their Associated Operator Fractals Ian Long University

More information

Fourier Bases on the Skewed Sierpinski Gasket

Fourier Bases on the Skewed Sierpinski Gasket Fourier Bases on the Skewed Sierpinski Gasket Calvin Hotchkiss University Nebraska-Iowa Functional Analysis Seminar November 5, 2016 Part 1: A Fast Fourier Transform for Fractal Approximations The Fractal

More information

Multifractal analysis of Bernoulli convolutions associated with Salem numbers

Multifractal analysis of Bernoulli convolutions associated with Salem numbers Multifractal analysis of Bernoulli convolutions associated with Salem numbers De-Jun Feng The Chinese University of Hong Kong Fractals and Related Fields II, Porquerolles - France, June 13th-17th 2011

More information

Operations on Infinite x Infinite Matrices and Their Use in Dynamics and Spectral Theory

Operations on Infinite x Infinite Matrices and Their Use in Dynamics and Spectral Theory University of Iowa Iowa Research Online Theses and Dissertations Summer 203 Operations on Infinite x Infinite Matrices and Their Use in Dynamics and Spectral Theory Corissa Marie Goertzen University of

More information

arxiv:math/ v1 [math.ca] 19 May 2004

arxiv:math/ v1 [math.ca] 19 May 2004 Fractal Components of Wavelet Measures arxiv:math/040537v [math.ca] 9 May 004 Abstract Palle E.T. Jorgensen Department of Mathematics, The University of Iowa, 4 MacLean Hall, Iowa City, IA, 54-49, U.S.A.

More information

Orthonormal Systems. Fourier Series

Orthonormal Systems. Fourier Series Yuliya Gorb Orthonormal Systems. Fourier Series October 31 November 3, 2017 Yuliya Gorb Orthonormal Systems (cont.) Let {e α} α A be an orthonormal set of points in an inner product space X. Then {e α}

More information

arxiv: v1 [math.fa] 28 Dec 2018

arxiv: v1 [math.fa] 28 Dec 2018 DECOMPOSITION OF GAUSSIAN PROCESSES, AND FACTORIZATION OF POSITIVE DEFINITE KERNELS arxiv:1812.10850v1 [math.fa] 28 Dec 2018 PALLE JORGENSEN AND FENG TIAN Abstract. We establish a duality for two factorization

More information

Analysis of Fractals, Image Compression and Entropy Encoding

Analysis of Fractals, Image Compression and Entropy Encoding Analysis of Fractals, Image Compression and Entropy Encoding Myung-Sin Song Southern Illinois University Edwardsville Jul 10, 2009 Joint work with Palle Jorgensen. Outline 1. Signal and Image processing,

More information

Fourier bases on the skewed Sierpinski gasket

Fourier bases on the skewed Sierpinski gasket Graduate Theses and Dissertations Iowa State University Capstones, Theses and Dissertations 2017 Fourier bases on the skewed Sierpinski gasket Calvin Francis Hotchkiss Iowa State University Follow this

More information

Fractal Spectral Measures In Two Dimensions

Fractal Spectral Measures In Two Dimensions University of Central Florida Electronic Theses and Dissertations Doctoral Dissertation (Open Access) Fractal Spectral Measures In Two Dimensions 2011 Beng Oscar Alrud University of Central Florida Find

More information

Sampling and Interpolation on Some Nilpotent Lie Groups

Sampling and Interpolation on Some Nilpotent Lie Groups Sampling and Interpolation on Some Nilpotent Lie Groups SEAM 013 Vignon Oussa Bridgewater State University March 013 ignon Oussa (Bridgewater State University)Sampling and Interpolation on Some Nilpotent

More information

5 Compact linear operators

5 Compact linear operators 5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.

More information

Analysis Preliminary Exam Workshop: Hilbert Spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H

More information

Loosen Up! An introduction to frames.

Loosen Up! An introduction to frames. Loosen Up! An introduction to frames. Keri A. Kornelson University of Oklahoma - Norman kkornelson@math.ou.edu Joint AMS/MAA Meetings Panel: This could be YOUR graduate research! New Orleans, LA January

More information

Mathematical foundations - linear algebra

Mathematical foundations - linear algebra Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar

More information

Parseval Frame Construction

Parseval Frame Construction LSU, LSU, USA July 6, 2012 1 Introduction 1 Introduction 2 1 Introduction 2 3 1 Introduction 2 3 4 1 Introduction 2 3 4 5 Introduction A vector space, V, is a nonempty set with two operations: addition

More information

Notation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b

Notation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function

More information

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

More information

Hilbert Spaces: Infinite-Dimensional Vector Spaces

Hilbert Spaces: Infinite-Dimensional Vector Spaces Hilbert Spaces: Infinite-Dimensional Vector Spaces PHYS 500 - Southern Illinois University October 27, 2016 PHYS 500 - Southern Illinois University Hilbert Spaces: Infinite-Dimensional Vector Spaces October

More information

Functional Analysis Review

Functional Analysis Review Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all

More information

Cuntz algebras, generalized Walsh bases and applications

Cuntz algebras, generalized Walsh bases and applications Cuntz algebras, generalized Walsh bases and applications Gabriel Picioroaga November 9, 2013 INFAS 1 / 91 Basics H, separable Hilbert space, (e n ) n N ONB in H: e n, e m = δ n,m span{e n } = H v = k=1

More information

Kaczmarz algorithm in Hilbert space

Kaczmarz algorithm in Hilbert space STUDIA MATHEMATICA 169 (2) (2005) Kaczmarz algorithm in Hilbert space by Rainis Haller (Tartu) and Ryszard Szwarc (Wrocław) Abstract The aim of the Kaczmarz algorithm is to reconstruct an element in a

More information

Spectral Measures, the Spectral Theorem, and Ergodic Theory

Spectral Measures, the Spectral Theorem, and Ergodic Theory Spectral Measures, the Spectral Theorem, and Ergodic Theory Sam Ziegler The spectral theorem for unitary operators The presentation given here largely follows [4]. will refer to the unit circle throughout.

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

1 Orthonormal sets in Hilbert space

1 Orthonormal sets in Hilbert space Math 857 Fall 15 1 Orthonormal sets in Hilbert space Let S H. We denote by [S] the span of S, i.e., the set of all linear combinations of elements from S. A set {u α : α A} is called orthonormal, if u

More information

MP 472 Quantum Information and Computation

MP 472 Quantum Information and Computation MP 472 Quantum Information and Computation http://www.thphys.may.ie/staff/jvala/mp472.htm Outline Open quantum systems The density operator ensemble of quantum states general properties the reduced density

More information

Taking the Convoluted out of Bernoulli. Bernoulli Convolutions: A Combinatorial Approach

Taking the Convoluted out of Bernoulli. Bernoulli Convolutions: A Combinatorial Approach Taking the Convoluted out of Bernoulli Convolutions A Combinatorial Approach Additive Combinatorics Mini-Conference Georgia Tech June 26, 2010 Neil Calkin, Julia Davis,, Zebediah Engberg, Jobby Jacob,

More information

Random walks on Z with exponentially increasing step length and Bernoulli convolutions

Random walks on Z with exponentially increasing step length and Bernoulli convolutions Random walks on Z with exponentially increasing step length and Bernoulli convolutions Jörg Neunhäuserer University of Hannover, Germany joerg.neunhaeuserer@web.de Abstract We establish a correspondence

More information

Gabor orthonormal bases generated by the unit cubes

Gabor orthonormal bases generated by the unit cubes Gabor orthonormal bases generated by the unit cubes Chun-Kit Lai, San Francisco State University (Joint work with J.-P Gabardo and Y. Wang) Jun, 2015 Background Background Background Let 1 g 0 on L 2 (R

More information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

arxiv: v1 [math.fa] 19 Dec 2017

arxiv: v1 [math.fa] 19 Dec 2017 SPECTAL PAIS AND POSITIVE DEFINITE TEMPEED DISTIBUTIONS arxiv:7.0767v [math.fa] 9 Dec 07 PALLE JOGENSEN AND FENG TIAN Abstract. The present paper presents two new approaches to Fourier series and spectral

More information

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Topics in Harmonic Analysis Lecture 1: The Fourier transform Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise

More information

"Harmonic Analysis: Smooth and Non-smooth."

Harmonic Analysis: Smooth and Non-smooth. "Harmonic Analysis: Smooth and Non-smooth." Introduction to the Conference: Historical context, Reading list, Basic definitions, some relevant results, and an Outline of the Ten Lectures by Jorgensen.

More information

Digit Frequencies and Bernoulli Convolutions

Digit Frequencies and Bernoulli Convolutions Digit Frequencies and Bernoulli Convolutions Tom Kempton November 22, 202 arxiv:2.5023v [math.ds] 2 Nov 202 Abstract It is well known that the Bernoulli convolution ν associated to the golden mean has

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

ON SPECTRAL CANTOR MEASURES. 1. Introduction

ON SPECTRAL CANTOR MEASURES. 1. Introduction ON SPECTRAL CANTOR MEASURES IZABELLA LABA AND YANG WANG Abstract. A probability measure in R d is called a spectral measure if it has an orthonormal basis consisting of exponentials. In this paper we study

More information

Kernel Method: Data Analysis with Positive Definite Kernels

Kernel Method: Data Analysis with Positive Definite Kernels Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University

More information

Spectral Theorem for Self-adjoint Linear Operators

Spectral Theorem for Self-adjoint Linear Operators Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;

More information

CHAPTER X THE SPECTRAL THEOREM OF GELFAND

CHAPTER X THE SPECTRAL THEOREM OF GELFAND CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)

More information

Spectral Processing. Misha Kazhdan

Spectral Processing. Misha Kazhdan Spectral Processing Misha Kazhdan [Taubin, 1995] A Signal Processing Approach to Fair Surface Design [Desbrun, et al., 1999] Implicit Fairing of Arbitrary Meshes [Vallet and Levy, 2008] Spectral Geometry

More information

18.175: Lecture 2 Extension theorems, random variables, distributions

18.175: Lecture 2 Extension theorems, random variables, distributions 18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing

More information

Lecture 1 and 2: Random Spanning Trees

Lecture 1 and 2: Random Spanning Trees Recent Advances in Approximation Algorithms Spring 2015 Lecture 1 and 2: Random Spanning Trees Lecturer: Shayan Oveis Gharan March 31st Disclaimer: These notes have not been subjected to the usual scrutiny

More information

ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction

ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism

More information

Computational Data Analysis!

Computational Data Analysis! 12.714 Computational Data Analysis! Alan Chave (alan@whoi.edu)! Thomas Herring (tah@mit.edu),! http://geoweb.mit.edu/~tah/12.714! Concentration Problem:! Today s class! Signals that are near time and band

More information

Eigenvalues and Eigenvectors

Eigenvalues and Eigenvectors /88 Chia-Ping Chen Department of Computer Science and Engineering National Sun Yat-sen University Linear Algebra Eigenvalue Problem /88 Eigenvalue Equation By definition, the eigenvalue equation for matrix

More information

Recall that any inner product space V has an associated norm defined by

Recall that any inner product space V has an associated norm defined by Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner

More information

The Kadison-Singer Problem: An Overview and Potentially Tractable Cases

The Kadison-Singer Problem: An Overview and Potentially Tractable Cases The Problem: An Overview and Potentially Tractable Cases November 22, 2012 Problem Let G be a countably infinite, discrete set, e.g., G = N, let l 2 (G) denote the Hilbert space of square-summable functions

More information

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,

More information

FRAME DUALITY PROPERTIES FOR PROJECTIVE UNITARY REPRESENTATIONS

FRAME DUALITY PROPERTIES FOR PROJECTIVE UNITARY REPRESENTATIONS FRAME DUALITY PROPERTIES FOR PROJECTIVE UNITARY REPRESENTATIONS DEGUANG HAN AND DAVID LARSON Abstract. Let π be a projective unitary representation of a countable group G on a separable Hilbert space H.

More information

Time Independent Perturbation Theory Contd.

Time Independent Perturbation Theory Contd. Time Independent Perturbation Theory Contd. A summary of the machinery for the Perturbation theory: H = H o + H p ; H 0 n >= E n n >; H Ψ n >= E n Ψ n > E n = E n + E n ; E n = < n H p n > + < m H p n

More information

Some basic elements of Probability Theory

Some basic elements of Probability Theory Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However

More information

Spectral Theory, with an Introduction to Operator Means. William L. Green

Spectral Theory, with an Introduction to Operator Means. William L. Green Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps

More information

A BRIEF INTRODUCTION TO HILBERT SPACE FRAME THEORY AND ITS APPLICATIONS AMS SHORT COURSE: JOINT MATHEMATICS MEETINGS SAN ANTONIO, 2015 PETER G. CASAZZA Abstract. This is a short introduction to Hilbert

More information

2.4 Hilbert Spaces. Outline

2.4 Hilbert Spaces. Outline 2.4 Hilbert Spaces Tom Lewis Spring Semester 2017 Outline Hilbert spaces L 2 ([a, b]) Orthogonality Approximations Definition A Hilbert space is an inner product space which is complete in the norm defined

More information

Gaussian automorphisms whose ergodic self-joinings are Gaussian

Gaussian automorphisms whose ergodic self-joinings are Gaussian F U N D A M E N T A MATHEMATICAE 164 (2000) Gaussian automorphisms whose ergodic self-joinings are Gaussian by M. L e m a ńc z y k (Toruń), F. P a r r e a u (Paris) and J.-P. T h o u v e n o t (Paris)

More information

Linear Algebra using Dirac Notation: Pt. 2

Linear Algebra using Dirac Notation: Pt. 2 Linear Algebra using Dirac Notation: Pt. 2 PHYS 476Q - Southern Illinois University February 6, 2018 PHYS 476Q - Southern Illinois University Linear Algebra using Dirac Notation: Pt. 2 February 6, 2018

More information

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

Linear Algebra and Dirac Notation, Pt. 2

Linear Algebra and Dirac Notation, Pt. 2 Linear Algebra and Dirac Notation, Pt. 2 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 2 February 1, 2017 1 / 14

More information

INVARIANCE OF A SHIFT-INVARIANT SPACE

INVARIANCE OF A SHIFT-INVARIANT SPACE INVARIANCE OF A SHIFT-INVARIANT SPACE AKRAM ALDROUBI, CARLOS CABRELLI, CHRISTOPHER HEIL, KERI KORNELSON, AND URSULA MOLTER Abstract. A shift-invariant space is a space of functions that is invariant under

More information

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2 Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition

More information

Ergodic Theory and Topological Groups

Ergodic Theory and Topological Groups Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume

More information

MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing.

MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing. MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing. Ergodic theorems Let (X,B,µ) be a measured space and T : X X be a measure-preserving transformation. Birkhoff s Ergodic

More information

Dual and Similar Frames in Krein Spaces

Dual and Similar Frames in Krein Spaces International Journal of Mathematical Analysis Vol. 10, 2016, no. 19, 939-952 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2016.6469 Dual and Similar Frames in Krein Spaces Kevin Esmeral,

More information

Notes on singular value decomposition for Math 54. Recall that if A is a symmetric n n matrix, then A has real eigenvalues A = P DP 1 A = P DP T.

Notes on singular value decomposition for Math 54. Recall that if A is a symmetric n n matrix, then A has real eigenvalues A = P DP 1 A = P DP T. Notes on singular value decomposition for Math 54 Recall that if A is a symmetric n n matrix, then A has real eigenvalues λ 1,, λ n (possibly repeated), and R n has an orthonormal basis v 1,, v n, where

More information

Theory and Problems of Signals and Systems

Theory and Problems of Signals and Systems SCHAUM'S OUTLINES OF Theory and Problems of Signals and Systems HWEI P. HSU is Professor of Electrical Engineering at Fairleigh Dickinson University. He received his B.S. from National Taiwan University

More information

The dilation property for abstract Parseval wavelet systems

The dilation property for abstract Parseval wavelet systems The dilation property for abstract Parseval wavelet systems Bradley Currey and Azita Mayeli October 31, 2011 Abstract In this work we introduce a class of discrete groups called wavelet groups that are

More information

Chapter 6 Inner product spaces

Chapter 6 Inner product spaces Chapter 6 Inner product spaces 6.1 Inner products and norms Definition 1 Let V be a vector space over F. An inner product on V is a function, : V V F such that the following conditions hold. x+z,y = x,y

More information

Outline of Fourier Series: Math 201B

Outline of Fourier Series: Math 201B Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C

More information

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators. MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators. Adjoint operator and adjoint matrix Given a linear operator L on an inner product space V, the adjoint of L is a transformation

More information

MATHEMATICS. Course Syllabus. Section A: Linear Algebra. Subject Code: MA. Course Structure. Ordinary Differential Equations

MATHEMATICS. Course Syllabus. Section A: Linear Algebra. Subject Code: MA. Course Structure. Ordinary Differential Equations MATHEMATICS Subject Code: MA Course Structure Sections/Units Section A Section B Section C Linear Algebra Complex Analysis Real Analysis Topics Section D Section E Section F Section G Section H Section

More information

A Review of Linear Algebra

A Review of Linear Algebra A Review of Linear Algebra Mohammad Emtiyaz Khan CS,UBC A Review of Linear Algebra p.1/13 Basics Column vector x R n, Row vector x T, Matrix A R m n. Matrix Multiplication, (m n)(n k) m k, AB BA. Transpose

More information

Ordinary Differential Equations II

Ordinary Differential Equations II Ordinary Differential Equations II February 23 2017 Separation of variables Wave eq. (PDE) 2 u t (t, x) = 2 u 2 c2 (t, x), x2 c > 0 constant. Describes small vibrations in a homogeneous string. u(t, x)

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information

Math 240 (Driver) Qual Exam (9/12/2017)

Math 240 (Driver) Qual Exam (9/12/2017) 1 Name: I.D. #: Math 240 (Driver) Qual Exam (9/12/2017) Instructions: Clearly explain and justify your answers. You may cite theorems from the text, notes, or class as long as they are not what the problem

More information

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS THE PROBLEMS FOR THE SECOND TEST FOR 18.102 BRIEF SOLUTIONS RICHARD MELROSE Question.1 Show that a subset of a separable Hilbert space is compact if and only if it is closed and bounded and has the property

More information

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017 NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0. Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that (1) () () (4) x 1 + x y = x 1 y + x y y x = x y x αy = α x y x x > 0 for x 0 Consequently, (5) (6)

More information

The role of transfer operators and shifts in the study of fractals: encoding-models, analysis and geometry, commutative and non-commutative

The role of transfer operators and shifts in the study of fractals: encoding-models, analysis and geometry, commutative and non-commutative The role of transfer operators and shifts in the study of fractals: encoding-models, analysis and geometry, commutative and non-commutative Palle E. T. Jorgensen, University of Iowa and Dorin E. Dutkay,

More information

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,

More information

Solutions: Problem Set 3 Math 201B, Winter 2007

Solutions: Problem Set 3 Math 201B, Winter 2007 Solutions: Problem Set 3 Math 201B, Winter 2007 Problem 1. Prove that an infinite-dimensional Hilbert space is a separable metric space if and only if it has a countable orthonormal basis. Solution. If

More information

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given

More information

On the Total Variation Distance of Labelled Markov Chains

On the Total Variation Distance of Labelled Markov Chains On the Total Variation Distance of Labelled Markov Chains Taolue Chen Stefan Kiefer Middlesex University London, UK University of Oxford, UK CSL-LICS, Vienna 4 July 04 Labelled Markov Chains (LMCs) a c

More information

Real Variables # 10 : Hilbert Spaces II

Real Variables # 10 : Hilbert Spaces II randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,

More information

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret

More information

Probability and Measure

Probability and Measure Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability

More information

18.175: Lecture 3 Integration

18.175: Lecture 3 Integration 18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability

More information

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem L u x f x BC u x g x with the weak problem find u V such that B u,v

More information

DORIN ERVIN DUTKAY AND PALLE JORGENSEN. (Communicated by )

DORIN ERVIN DUTKAY AND PALLE JORGENSEN. (Communicated by ) PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 OVERSAMPLING GENERATES SUPER-WAVELETS arxiv:math/0511399v1 [math.fa] 16 Nov 2005 DORIN ERVIN DUTKAY

More information

Review problems for MA 54, Fall 2004.

Review problems for MA 54, Fall 2004. Review problems for MA 54, Fall 2004. Below are the review problems for the final. They are mostly homework problems, or very similar. If you are comfortable doing these problems, you should be fine on

More information

Math 108b: Notes on the Spectral Theorem

Math 108b: Notes on the Spectral Theorem Math 108b: Notes on the Spectral Theorem From section 6.3, we know that every linear operator T on a finite dimensional inner product space V has an adjoint. (T is defined as the unique linear operator

More information

Linear Algebra 2 Spectral Notes

Linear Algebra 2 Spectral Notes Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex

More information

RKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets Class 22, 2004 Tomaso Poggio and Sayan Mukherjee

RKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets Class 22, 2004 Tomaso Poggio and Sayan Mukherjee RKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets 9.520 Class 22, 2004 Tomaso Poggio and Sayan Mukherjee About this class Goal To introduce an alternate perspective of RKHS via integral operators

More information

KARMA DAJANI AND CHARLENE KALLE

KARMA DAJANI AND CHARLENE KALLE RANDOM -EXPANSIONS WITH DELETED DIGITS KARMA DAJANI AND CHARLENE KALLE Abstract. In this paper we define random -expansions with digits taken from a given set of real numbers A = {... }. We study a generalization

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

More information

C.6 Adjoints for Operators on Hilbert Spaces

C.6 Adjoints for Operators on Hilbert Spaces C.6 Adjoints for Operators on Hilbert Spaces 317 Additional Problems C.11. Let E R be measurable. Given 1 p and a measurable weight function w: E (0, ), the weighted L p space L p s (R) consists of all

More information

9 Brownian Motion: Construction

9 Brownian Motion: Construction 9 Brownian Motion: Construction 9.1 Definition and Heuristics The central limit theorem states that the standard Gaussian distribution arises as the weak limit of the rescaled partial sums S n / p n of

More information

Fall TMA4145 Linear Methods. Exercise set Given the matrix 1 2

Fall TMA4145 Linear Methods. Exercise set Given the matrix 1 2 Norwegian University of Science and Technology Department of Mathematical Sciences TMA445 Linear Methods Fall 07 Exercise set Please justify your answers! The most important part is how you arrive at an

More information

Functional Analysis. James Emery. Edit: 8/7/15

Functional Analysis. James Emery. Edit: 8/7/15 Functional Analysis James Emery Edit: 8/7/15 Contents 0.1 Green s functions in Ordinary Differential Equations...... 2 0.2 Integral Equations........................ 2 0.2.1 Fredholm Equations...................

More information