DOCSLIB.ORG

On Eigenfunctions of the Fourier Transform

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Eigenfunctions of the Fourier Transform On eigenfunctions of the Fourier transform Flavia Lanzara ∗ Vladimir Maz’ya †‡ Abstract. In [6] we considered a nontrivial example of eigenfunction in the sense of distribution for the planar Fourier transform. Here a method to obtain other eigenfunctions is proposed. Moreover we consider positive homogeneous eigenfunctions of order n/2. We show that F (ω) x −n/2, ω = | | | | 1, is an eigenfunction in the sense of distribution of the Fourier transform if and only if F (ω) is an eigenfunction of a certain singular integral operator on n (k) −n/2 the unit sphere of R . Since Ym,n(ω) x are eigenfunctions of the Fourier (k) | | transform, we deduce that Ym,n are eigenfunctions of the above mentioned (k) singular integral operator. Here Ym,n denote the spherical functions of order m in Rn. In the planar case, we give a description of all eigenfunctions of the Fourier transform of the form F (ω) x −1 by means of the Fourier coefficients | | of F (ω). 1 Introduction The Fourier transform of a function f L2(Rn) is defined as ∈ 1 x f(ξ)= f(ξ)= f(x)e−i( ,ξ)dx , F (2π)n/2 Rn Z b (x,ξ)= x1ξ1 + ... + xnξn denoting the standard inner product of x and ξ in Rn. The inverse of the Fourier transform is given by 1 x −1f(ξ)= f(x)ei( ,ξ)dx . F (2π)n/2 Rn Z ∗Department of Mathematics, Sapienza University of Rome, Piazzale Aldo Moro 2, 00185 Rome, Italy. email: [email protected] †Department of Mathematics, University of Link¨oping, 581 83 Link¨oping, Sweden ‡Department of Mathematical Sciences, M&O Building, University of Liverpool, Liv- erpool L69 3BX, UK email: [email protected] 1 The Fourier transform is an isomorphism of the space L2(Rn) and, for every f,g L2(Rn), we have Parseval formula ∈ f(ξ)g(ξ)dξ = f(x)g(x)dx . n n ZR ZR In particular, b b f 2 = f 2 . k kL k kL 2 n Here 2 denotes the norm in the space L (R ). As a consequence the k · kL linear map defines a unitaryb operator on L2(Rn), so its spectrum lies F on the unit circle in C. Since 4f = f, if λ C is an eigenvalue then F ∈ λ4 = 1. So λ 1, 1,i, i . Each of these values is an eigenvalue of infinite ∈ { − − } multiplicity. In dimension 1 a complete orthonormal set of eigenfunctions is given by the Hermite functions 1 −x2/2 Φm(x)= Hm(x)e , m 0 (√π2mm!)1/2 ≥ with the Hermite polynomial m 2 d 2 H (x)=( 1)mex e−x . m − dxm They satisfy (Φ )=( i)mΦ (see [9]). In higher dimensions, the eigen- F m − m functions of the Fourier transform can be obtained by taking tensor products of Hermite functions, one in each coordinate variable. That is n Φm(x)= Φmj (xj) jY=1 are eigenfunctions corresponding to the eigenvalues ( i)m1+...+mn . − In this paper we are interested in non standard eigenfunctions i.e. eigen- functions in the sense of distributions. In general such eigenfunctions do not belong to L2(Rn). An interesting example is provided by 1/ x n/2 ([5, | | p.363]). In [6] we have showed that 2 2 x1 + x2 px1x2 is a eigenfunction in the sense of distribution in R2. In section 2 we propose a method to obtain other eigenfunctions (theorems 2.2 and 2.4). We find, for example, that 8x x x2 x2 1 2 x2 + x2 or 2 − 1 x2 + x2 (x2 x2)2 1 2 x2x2 1 2 1 − 2 q 1 2 q 2 are eigenfunctions. In section 3 we consider positive homogeneous distribu- tions of order n/2 that is F (ω) x , ω = , x Rn . (1.1) x n/2 x ∈ | | | | We show that (1.1) is an eigenfunction of the Fourier transform if and only if F (ω) is an eigenfunction of a certain singular integral operator on the unit n (k) −n/2 sphere of R (theorem 3.3). Since Ym,n(ω) x are eigenfunctions of the | | (k) Fourier transform (theorem 3.1), we deduce that Ym,n are eigenfunctions (k) of the above mentioned singular integral operator. Here Ym,n denote the spherical functions of order m in Rn. In section 4 we give a description of all eigenfunctions of the planar Fourier transform of the form (1.1) by means of the Fourier coefficients of F (ω) (theorem 4.1). 2 Fourier transform of distributions Let be the space C∞(Rn) of all real functions with continuous derivative D 0 of all order and with compact support. A sequence Φk converges to n { }∈D Φ if there is a compact K R with suppΦk K, suppΦ K and α∈ D α ⊂ ⊆ ⊆ ∂ Φk converges uniformly to ∂ Φ on K for all α =(α1,...,αn) multi-index. We shall denote by ′ the set of all continuous linear functionals on . The D D elements of ′ are called generalized functions or distributions. We write D the action of a distribution f on a test function Φ as (f, Φ) with the property that if Φ converges to Φ in then k D lim (f, Φk)=(f, Φ) . k→+∞ If f L1 (Rn) the functional ∈ loc (f, Φ) = f(x)Φ(x)dx (2.1) n ZR belongs to the space ′ and distributions of the form (2.1) are called regular D distributions. If f L1 (Rn), if the integral exists in the Cauchy sense, then 6∈ loc (2.1) still defines a distribution called Cauchy principal value distribution (cf., e.g., [5, p.10,p.46]). We denote by the Schwartz space of functions Φ C∞(Rn) rapidly S ∈ decaying at infinity that is, for any multi-indeces α and β, lim xα∂βΦ(x) = 0 . |x|→∞ | | 3 A sequence Φ converges to Φ if, for any multi-indeces α and β, { k}∈S ∈S α β α β lim sup x D Φk(x) x D Φ(x) = 0 . k→∞ x∈Rn | − | We denote by ′ the class of continuous linear functionals f : S S → C. Elements of ′ are called tempered distributions. Obviously ′ ′, S D ⊂ S moreover ′ is dense in ′. Let f ′. Let α =(α ,...,α ) be an n tuple D S ∈S 1 n − of nonnegative integers and α = α + ... + α . The distribution ∂αf is | | 1 n defined by (∂αf, Φ)=( 1)|α|(f,∂αΦ), Φ . − ∈S To introduce some notation, we define the reflection in the origin (r Φ)(x)=Φ( x), Φ , 0 − ∈S and the translation through the vector h Rn ∈ τhΦ(x)=Φ(x h), Φ . − ∈S The reflection of a distribution f ′ is a distribution defined by ∈S (r f, Φ)=(f, (r Φ)), Φ 0 0 ∈S and the translation of f ′ is a distribution defined by duality ∈S (τhf, Φ)=(f,τ hΦ), Φ . − ∈S The Fourier transform is a continuous isomorphism of onto . This S S allows to define the Fourier transform of tempered distributions. Definition 2.1. Let f ′. Its Fourier transform f (or (f)) is the ∈ S F tempered distribution b (f, Φ)=(f, Φ), Φ . ∈S The formulas for theb derivativesb or for the translation of the Fourier transforms are preserved also for distributions. If α is a multi-index and h Rn then the Fourier transform of f ′ has the following properties, ∈ ∈ S in the sense of distribution, (∂αf)=(iξ)α (f), F F (xαf)= i|α|∂α (f), F F −ih·ξ (τhf)(ξ)=e (f)(ξ), F F ih·x (e f)= τh( (f)) . F F 4 Definition 2.2. The distribution f ′ is an eigenfunction of the Fourier ∈S transform corresponding to the eigenvalue λ if (f, Φ) = λ(f, Φ), Φ . (2.2) ∀ ∈S An example of eigenfunctionb understood in the sense of distribution, with eigenvalue 1, is provided by the generalized function 1/ x n/2 (see [3, | | p.71] and [5]). 1/ x n/2 does not define a regular distribution because it has | | a nonsommable singularity at the origin and the integral (2.1) can be defined by analytic continuation (see [5, p.71]). In [6] we proposed an example of non standard eigenfunction of the planar Fourier transform. The distribution x 2 2 f(x1,x2)= | | , x = x1 + x2 (2.3) x1x2 | | q defines a Cauchy principal value distribution in . We define the action on S a test function Φ as ∈S x (f, Φ) = lim | | Φ(x)dx = lim Ψ(x1,x2)dx1dx2 = Ψ(x)dx ǫ→0 |x1|>ǫ x x ǫ→0 x1>ǫ 2 1 2 R+ Z|x2|>ǫ Zx2>ǫ ZZ where Φ(x1,x2) Φ(x1, x2) Φ( x1,x2)+Φ( x1, x2) Ψ(x1,x2)= x − − − − − − | | x1x2 x x2 x1 1 1 = | | Φ (ξ,η)dξdη = x Φ (tx ,sx )dtds. x x ξη | | ξη 1 2 1 2 Z−x2 Z−x1 Z−1 Z−1 The eigenfunction (2.3) gives rise to a one parametric family of eigenfunc- tions. Indeed, denote by cos α sin α R = sin α cos α − the rotation matrix where α is the rotation angle in the counterclockwise direction. Then ( Φ(R ))(ξ)=( Φ( ))(Rξ). If f ′ is an eigenfunction, F · F · ∈S then also the rotation fR defined by (f , Φ)=(f, Φ(R )), Φ R · ∈S is an eigenfunction. As a consequence x2 + x2 f(α,x ,x )= 1 2 (2.4) 1 2 (x cos α + x sin α)( x sin α + x cos α) 1 2 p − 1 2 5 is an eigenfunction for the planar Fourier transform for any value of the parameter α.
Load more

Recommended publications
  • Math 353 Lecture Notes Intro to Pdes Eigenfunction Expansions for Ibvps
    Math 353 Lecture Notes Intro to PDEs Eigenfunction expansions for IBVPs J. Wong (Fall 2020) Topics covered • Eigenfunction expansions for PDEs ◦ The procedure for time-dependent problems ◦ Projection, independent evolution of modes 1 The eigenfunction method to solve PDEs We are now ready to demonstrate how to use the components derived thus far to solve the heat equation. First, two examples to illustrate the proces... 1.1 Example 1: no source; Dirichlet BCs The simplest case. We solve ut =uxx; x 2 (0; 1); t > 0 (1.1a) u(0; t) = 0; u(1; t) = 0; (1.1b) u(x; 0) = f(x): (1.1c) The eigenvalues/eigenfunctions are (as calculated in previous sections) 2 2 λn = n π ; φn = sin nπx; n ≥ 1: (1.2) Assuming the solution exists, it can be written in the eigenfunction basis as 1 X u(x; t) = cn(t)φn(x): n=0 Definition (modes) The n-th term of this series is sometimes called the n-th mode or Fourier mode. I'll use the word frequently to describe it (rather than, say, `basis function'). 1 00 Substitute into the PDE (1.1a) and use the fact that −φn = λnφ to obtain 1 X 0 (cn(t) + λncn(t))φn(x) = 0: n=1 By the fact the fφng is a basis, it follows that the coefficient for each mode satisfies the ODE 0 cn(t) + λncn(t) = 0: Solving the ODE gives us a `general' solution to the PDE with its BCs, 1 X −λnt u(x; t) = ane φn(x): n=1 The remaining coefficients are determined by the IC, u(x; 0) = f(x): To match to the solution, we need to also write f(x) in the basis: 1 Z 1 X hf; φni f(x) = f φ (x); f = = 2 f(x) sin nπx dx: (1.3) n n n hφ ; φ i n=1 n n 0 Then from the initial condition, we get u(x; 0) = f(x) 1 1 X X =) cn(0)φn(x) = fnφn(x) n=1 n=1 =) cn(0) = fn for all n ≥ 1: Now everything has been solved - we are done! The solution to the IBVP (1.1) is 1 X −n2π2t u(x; t) = ane sin nπx with an given by (1.5): (1.4) n=1 Alternatively, we could state the solution as follows: The solution is 1 X −λnt u(x; t) = fne φn(x) n=1 with eigenfunctions/values φn; λn given by (1.2) and fn by (1.3).
    [Show full text]
  • Math 356 Lecture Notes Intro to Pdes Eigenfunction Expansions for Ibvps
    MATH 356 LECTURE NOTES INTRO TO PDES EIGENFUNCTION EXPANSIONS FOR IBVPS J. WONG (FALL 2019) Topics covered • Eigenfunction expansions for PDEs ◦ The procedure for time-dependent problems ◦ Projection, independent evolution of modes ◦ Separation of variables • The wave equation ◦ Standard solution, standing waves ◦ Example: tuning the vibrating string (resonance) • Interpreting solutions (what does the series mean?) ◦ Relevance of Fourier convergence theorem ◦ Smoothing for the heat equation ◦ Non-smoothing for the wave equation 3 1. The eigenfunction method to solve PDEs We are now ready to demonstrate how to use the components derived thus far to solve the heat equation. The procedure here for the heat equation will extend nicely to a variety of other problems. For now, consider an initial boundary value problem of the form ut = −Lu + h(x; t); x 2 (a; b); t > 0 hom. BCs at a and b (1.1) u(x; 0) = f(x) We seek a solution in terms of the eigenfunction basis X u(x; t) = cn(t)φn(x) n by finding simple ODEs to solve for the coefficients cn(t): This form of the solution is called an eigenfunction expansion for u (or `eigenfunction series') and each term cnφn(x) is a mode (or `Fourier mode' or `eigenmode'). Part 1: find the eigenfunction basis. The first step is to compute the basis. The eigenfunctions we need are the solutions to the eigenvalue problem Lφ = λφ, φ(x) satisfies the BCs for u: (1.2) By the theorem in ??, there is a sequence of eigenfunctions fφng with eigenvalues fλng that form an orthogonal basis for L2[a; b] (i.e.
    [Show full text]
  • FOURIER TRANSFORM Very Broadly Speaking, the Fourier Transform Is a Systematic Way to Decompose “Generic” Functions Into
    FOURIER TRANSFORM TERENCE TAO Very broadly speaking, the Fourier transform is a systematic way to decompose “generic” functions into a superposition of “symmetric” functions. These symmetric functions are usually quite explicit (such as a trigonometric function sin(nx) or cos(nx)), and are often associated with physical concepts such as frequency or energy. What “symmetric” means here will be left vague, but it will usually be associated with some sort of group G, which is usually (though not always) abelian. Indeed, the Fourier transform is a fundamental tool in the study of groups (and more precisely in the representation theory of groups, which roughly speaking describes how a group can define a notion of symmetry). The Fourier transform is also related to topics in linear algebra, such as the representation of a vector as linear combinations of an orthonormal basis, or as linear combinations of eigenvectors of a matrix (or a linear operator). To give a very simple prototype of the Fourier transform, consider a real-valued function f : R → R. Recall that such a function f(x) is even if f(−x) = f(x) for all x ∈ R, and is odd if f(−x) = −f(x) for all x ∈ R. A typical function f, such as f(x) = x3 + 3x2 + 3x + 1, will be neither even nor odd. However, one can always write f as the superposition f = fe + fo of an even function fe and an odd function fo by the formulae f(x) + f(−x) f(x) − f(−x) f (x) := ; f (x) := . e 2 o 2 3 2 2 3 For instance, if f(x) = x + 3x + 3x + 1, then fe(x) = 3x + 1 and fo(x) = x + 3x.
    [Show full text]
  • An Introduction to Fourier Analysis Fourier Series, Partial Differential Equations and Fourier Transforms
    An Introduction to Fourier Analysis Fourier Series, Partial Differential Equations and Fourier Transforms Notes prepared for MA3139 Arthur L. Schoenstadt Department of Applied Mathematics Naval Postgraduate School Code MA/Zh Monterey, California 93943 August 18, 2005 c 1992 - Professor Arthur L. Schoenstadt 1 Contents 1 Infinite Sequences, Infinite Series and Improper Integrals 1 1.1Introduction.................................... 1 1.2FunctionsandSequences............................. 2 1.3Limits....................................... 5 1.4TheOrderNotation................................ 8 1.5 Infinite Series . ................................ 11 1.6ConvergenceTests................................ 13 1.7ErrorEstimates.................................. 15 1.8SequencesofFunctions.............................. 18 2 Fourier Series 25 2.1Introduction.................................... 25 2.2DerivationoftheFourierSeriesCoefficients.................. 26 2.3OddandEvenFunctions............................. 35 2.4ConvergencePropertiesofFourierSeries.................... 40 2.5InterpretationoftheFourierCoefficients.................... 48 2.6TheComplexFormoftheFourierSeries.................... 53 2.7FourierSeriesandOrdinaryDifferentialEquations............... 56 2.8FourierSeriesandDigitalDataTransmission.................. 60 3 The One-Dimensional Wave Equation 70 3.1Introduction.................................... 70 3.2TheOne-DimensionalWaveEquation...................... 70 3.3 Boundary Conditions ............................... 76 3.4InitialConditions................................
    [Show full text]
  • Fourier Transforms & the Convolution Theorem
    Convolution, Correlation, & Fourier Transforms James R. Graham 11/25/2009 Introduction • A large class of signal processing techniques fall under the category of Fourier transform methods – These methods fall into two broad categories • Efficient method for accomplishing common data manipulations • Problems related to the Fourier transform or the power spectrum Time & Frequency Domains • A physical process can be described in two ways – In the time domain, by h as a function of time t, that is h(t), -∞ < t < ∞ – In the frequency domain, by H that gives its amplitude and phase as a function of frequency f, that is H(f), with -∞ < f < ∞ • In general h and H are complex numbers • It is useful to think of h(t) and H(f) as two different representations of the same function – One goes back and forth between these two representations by Fourier transforms Fourier Transforms ∞ H( f )= ∫ h(t)e−2πift dt −∞ ∞ h(t)= ∫ H ( f )e2πift df −∞ • If t is measured in seconds, then f is in cycles per second or Hz • Other units – E.g, if h=h(x) and x is in meters, then H is a function of spatial frequency measured in cycles per meter Fourier Transforms • The Fourier transform is a linear operator – The transform of the sum of two functions is the sum of the transforms h12 = h1 + h2 ∞ H ( f ) h e−2πift dt 12 = ∫ 12 −∞ ∞ ∞ ∞ h h e−2πift dt h e−2πift dt h e−2πift dt = ∫ ( 1 + 2 ) = ∫ 1 + ∫ 2 −∞ −∞ −∞ = H1 + H 2 Fourier Transforms • h(t) may have some special properties – Real, imaginary – Even: h(t) = h(-t) – Odd: h(t) = -h(-t) • In the frequency domain these
    [Show full text]
  • Sturm-Liouville Expansions of the Delta
    Gauge Institute Journal H. Vic Dannon Sturm-Liouville Expansions of the Delta Function H. Vic Dannon [email protected] May, 2014 Abstract We expand the Delta Function in Series, and Integrals of Sturm-Liouville Eigen-functions. Keywords: Sturm-Liouville Expansions, Infinitesimal, Infinite- Hyper-Real, Hyper-Real, infinite Hyper-real, Infinitesimal Calculus, Delta Function, Fourier Series, Laguerre Polynomials, Legendre Functions, Bessel Functions, Delta Function, 2000 Mathematics Subject Classification 26E35; 26E30; 26E15; 26E20; 26A06; 26A12; 03E10; 03E55; 03E17; 03H15; 46S20; 97I40; 97I30. 1 Gauge Institute Journal H. Vic Dannon Contents 0. Eigen-functions Expansion of the Delta Function 1. Hyper-real line. 2. Hyper-real Function 3. Integral of a Hyper-real Function 4. Delta Function 5. Convergent Series 6. Hyper-real Sturm-Liouville Problem 7. Delta Expansion in Non-Normalized Eigen-Functions 8. Fourier-Sine Expansion of Delta Associated with yx"( )+=l yx ( ) 0 & ab==0 9. Fourier-Cosine Expansion of Delta Associated with 1 yx"( )+=l yx ( ) 0 & ab==2 p 10. Fourier-Sine Expansion of Delta Associated with yx"( )+=l yx ( ) 0 & a = 0 11. Fourier-Bessel Expansion of Delta Associated with n2 -1 ux"( )+- (l 4 ) ux ( ) = 0 & ab==0 x 2 12. Delta Expansion in Orthonormal Eigen-functions 13. Fourier-Hermit Expansion of Delta Associated with ux"( )+- (l xux2 ) ( ) = 0 for any real x 14. Fourier-Legendre Expansion of Delta Associated with 2 Gauge Institute Journal H. Vic Dannon 11 11 uu"(ql )++ [ ] ( q ) = 0 -<<pq p 4 cos2 q , 22 15. Fourier-Legendre Expansion of Delta Associated with 112 11 ymy"(ql )++- [ ( ) ] (q ) = 0 -<<pq p 4 cos2 q , 22 16.
    [Show full text]
  • STATISTICAL FOURIER ANALYSIS: CLARIFICATIONS and INTERPRETATIONS by DSG Pollock
    STATISTICAL FOURIER ANALYSIS: CLARIFICATIONS AND INTERPRETATIONS by D.S.G. Pollock (University of Leicester) Email: stephen [email protected] This paper expounds some of the results of Fourier theory that are es- sential to the statistical analysis of time series. It employs the algebra of circulant matrices to expose the structure of the discrete Fourier transform and to elucidate the filtering operations that may be applied to finite data sequences. An ideal filter with a gain of unity throughout the pass band and a gain of zero throughout the stop band is commonly regarded as incapable of being realised in finite samples. It is shown here that, to the contrary, such a filter can be realised both in the time domain and in the frequency domain. The algebra of circulant matrices is also helpful in revealing the nature of statistical processes that are band limited in the frequency domain. In order to apply the conventional techniques of autoregressive moving-average modelling, the data generated by such processes must be subjected to anti- aliasing filtering and sub sampling. These techniques are also described. It is argued that band-limited processes are more prevalent in statis- tical and econometric time series than is commonly recognised. 1 D.S.G. POLLOCK: Statistical Fourier Analysis 1. Introduction Statistical Fourier analysis is an important part of modern time-series analysis, yet it frequently poses an impediment that prevents a full understanding of temporal stochastic processes and of the manipulations to which their data are amenable. This paper provides a survey of the theory that is not overburdened by inessential complications, and it addresses some enduring misapprehensions.
    [Show full text]
  • Fourier Transform, Convolution Theorem, and Linear Dynamical Systems April 28, 2016
    Mathematical Tools for Neuroscience (NEU 314) Princeton University, Spring 2016 Jonathan Pillow Lecture 23: Fourier Transform, Convolution Theorem, and Linear Dynamical Systems April 28, 2016. Discrete Fourier Transform (DFT) We will focus on the discrete Fourier transform, which applies to discretely sampled signals (i.e., vectors). Linear algebra provides a simple way to think about the Fourier transform: it is simply a change of basis, specifically a mapping from the time domain to a representation in terms of a weighted combination of sinusoids of different frequencies. The discrete Fourier transform is therefore equiv- alent to multiplying by an orthogonal (or \unitary", which is the same concept when the entries are complex-valued) matrix1. For a vector of length N, the matrix that performs the DFT (i.e., that maps it to a basis of sinusoids) is an N × N matrix. The k'th row of this matrix is given by exp(−2πikt), for k 2 [0; :::; N − 1] (where we assume indexing starts at 0 instead of 1), and t is a row vector t=0:N-1;. Recall that exp(iθ) = cos(θ) + i sin(θ), so this gives us a compact way to represent the signal with a linear superposition of sines and cosines. The first row of the DFT matrix is all ones (since exp(0) = 1), and so the first element of the DFT corresponds to the sum of the elements of the signal. It is often known as the \DC component". The next row is a complex sinusoid that completes one cycle over the length of the signal, and each subsequent row has a frequency that is an integer multiple of this \fundamental" frequency.
    [Show full text]
  • Lecture 15.Pdf
    Lecture #15 Eigenfunctions of hermitian operators If the spectrum is discrete , then the eigenfunctions are in Hilbert space and correspond to physically realizable states. It the spectrum is continuous , the eigenfunctions are not normalizable, and they do not correspond to physically realizable states (but their linear combinations may be normalizable). Discrete spectra Normalizable eigenfunctions of a hermitian operator have the following properties: (1) Their eigenvalues are real. (2) Eigenfunctions that belong to different eigenvalues are orthogonal. Finite-dimension vector space: The eigenfunctions of an observable operator are complete , i.e. any function in Hilbert space can be expressed as their linear combination. Continuous spectra Example: Find the eigenvalues and eigenfunctions of the momentum operator . This solution is not square -inferable and operator p has no eigenfunctions in Hilbert space. However, if we only consider real eigenvalues, we can define sort of orthonormality: Lecture 15 Page 1 L15.P2 since the Fourier transform of Dirac delta function is Proof: Plancherel's theorem Now, Then, which looks very similar to orthonormality. We can call such equation Dirac orthonormality. These functions are complete in a sense that any square integrable function can be written in a form and c(p) is obtained by Fourier's trick. Summary for continuous spectra: eigenfunctions with real eigenvalues are Dirac orthonormalizable and complete. Lecture 15 Page 2 L15.P3 Generalized statistical interpretation: If your measure observable Q on a particle in a state you will get one of the eigenvalues of the hermitian operator Q. If the spectrum of Q is discrete, the probability of getting the eigenvalue associated with orthonormalized eigenfunction is It the spectrum is continuous, with real eigenvalues q(z) and associated Dirac-orthonormalized eigenfunctions , the probability of getting a result in the range dz is The wave function "collapses" to the corresponding eigenstate upon measurement.
    [Show full text]
  • A Hilbert Space Theory of Generalized Graph Signal Processing
    1 A Hilbert Space Theory of Generalized Graph Signal Processing Feng Ji and Wee Peng Tay, Senior Member, IEEE Abstract Graph signal processing (GSP) has become an important tool in many areas such as image pro- cessing, networking learning and analysis of social network data. In this paper, we propose a broader framework that not only encompasses traditional GSP as a special case, but also includes a hybrid framework of graph and classical signal processing over a continuous domain. Our framework relies extensively on concepts and tools from functional analysis to generalize traditional GSP to graph signals in a separable Hilbert space with infinite dimensions. We develop a concept analogous to Fourier transform for generalized GSP and the theory of filtering and sampling such signals. Index Terms Graph signal proceesing, Hilbert space, generalized graph signals, F-transform, filtering, sampling I. INTRODUCTION Since its emergence, the theory and applications of graph signal processing (GSP) have rapidly developed (see for example, [1]–[10]). Traditional GSP theory is essentially based on a change of orthonormal basis in a finite dimensional vector space. Suppose G = (V; E) is a weighted, arXiv:1904.11655v2 [eess.SP] 16 Sep 2019 undirected graph with V the vertex set of size n and E the set of edges. Recall that a graph signal f assigns a complex number to each vertex, and hence f can be regarded as an element of n C , where C is the set of complex numbers. The heart of the theory is a shift operator AG that is usually defined using a property of the graph.
    [Show full text]
  • 20. the Fourier Transform in Optics, II Parseval’S Theorem
    20. The Fourier Transform in optics, II Parseval’s Theorem The Shift theorem Convolutions and the Convolution Theorem Autocorrelations and the Autocorrelation Theorem The Shah Function in optics The Fourier Transform of a train of pulses The spectrum of a light wave The spectrum of a light wave is defined as: 2 SFEt {()} where F{E(t)} denotes E(), the Fourier transform of E(t). The Fourier transform of E(t) contains the same information as the original function E(t). The Fourier transform is just a different way of representing a signal (in the frequency domain rather than in the time domain). But the spectrum contains less information, because we take the magnitude of E(), therefore losing the phase information. Parseval’s Theorem Parseval’s Theorem* says that the 221 energy in a function is the same, whether f ()tdt F ( ) d 2 you integrate over time or frequency: Proof: f ()tdt2 f ()t f *()tdt 11 F( exp(j td ) F *( exp(j td ) dt 22 11 FF() *(') exp([j '])tdtd ' d 22 11 FF( ) * ( ') [2 ')] dd ' 22 112 FF() *() d F () d * also known as 22Rayleigh’s Identity. The Fourier Transform of a sum of two f(t) F() functions t g(t) G() Faft() bgt () aF ft() bFgt () t The FT of a sum is the F() + sum of the FT’s. f(t)+g(t) G() Also, constants factor out. t This property reflects the fact that the Fourier transform is a linear operation. Shift Theorem The Fourier transform of a shifted function, f ():ta Ffta ( ) exp( jaF ) ( ) Proof : This theorem is F ft a ft( a )exp( jtdt ) important in optics, because we often encounter functions Change variables : uta that are shifting (continuously) along fu( )exp( j [ u a ]) du the time axis – they are called waves! exp(ja ) fu ( )exp( judu ) exp(jaF ) ( ) QED An example of the Shift Theorem in optics Suppose that we’re measuring the spectrum of a light wave, E(t), but a small fraction of the irradiance of this light, say , takes a different path that also leads to the spectrometer.
    [Show full text]
  • The Fourier Transform
    The Fourier Transform CS/CME/BIOPHYS/BMI 279 Fall 2015 Ron Dror The Fourier transform is a mathematical method that expresses a function as the sum of sinusoidal functions (sine waves). Fourier transforms are widely used in many fields of sciences and engineering, including image processing, quantum mechanics, crystallography, geoscience, etc. Here we will use, as examples, functions with finite, discrete domains (i.e., functions defined at a finite number of regularly spaced points), as typically encountered in computational problems. However the concept of Fourier transform can be readily applied to functions with infinite or continuous domains. (We won’t differentiate between “Fourier series” and “Fourier transform.”) A graphical example ! ! Suppose we have a function � � defined in the range − < � < on 2� + 1 discrete points such that ! ! ! � = �. By a Fourier transform we aim to express it as: ! !!!! � �! = �! + �! cos 2��!� + �! + �! cos 2��!� + �! + ⋯ (1) We first demonstrate graphically how a function may be described by its Fourier components. Fig. 1 shows a function defined on 101 discrete data points integer � = −50, −49, … , 49, 50. In fig. 2, the first Fig. 1. The function to be Fourier transformed few Fourier components are plotted separately (left) and added together (right) to form an approximation to the original function. Finally, fig. 3 demonstrates that by including the components up to � = 50, a faithful representation of the original function can be obtained. � ��, �� & �� Single components Summing over components up to m 0 �! = 0.6 �! = 0 �! = 0 1 �! = 1.9 �! = 0.01 �! = 2.2 2 �! = 0.27 �! = 0.02 �! = −1.3 3 �! = 0.39 �! = 0.03 �! = 0.4 Fig.2.
    [Show full text]