Frequency-Domain Analysis Fourier Series Consider a Continuous Complex Signal

Total Page:16

File Type:pdf, Size:1020Kb

Frequency-Domain Analysis Fourier Series Consider a Continuous Complex Signal Frequency-Domain Analysis Fourier Series Consider a continuous complex signal x(t) ∈ [−T/2,T/2]. Represent x(t) using an arbitrary orthonormal basis ϕn(t): ∞ X x(t) = αnϕn(t) n=−∞ Orthonormality condition: Z T/2 1 ∗ ϕn(t)ϕk(t)dt = δ(n − k). T −T/2 ∗ Multiplying the above expansion with ϕk(t) and integrating over the interval, we obtain ∞ 1 Z T/2 1 Z T/2 X x(t)ϕ∗(t)dt = α ϕ (t)ϕ∗(t)dt T k T n n k −T/2 −T/2 n=−∞ ∞ ! X 1 Z T/2 = α ϕ (t)ϕ∗(t)dt n T n k n=−∞ −T/2 ∞ X = αnδ(n − k) = αk. n=−∞ EE 524, Fall 2004, # 3 1 Thus, the coefficients of expansion are given by Z T/2 1 ∗ αk = x(t)ϕk(t)dt. T −T/2 Proposition. The functions ϕn(t) = exp(j2πnt/T ) are orthonormal at the interval [−T/2,T/2]. Proof. T/2 T/2 1 Z 1 Z 2π(n−k) ∗ j T t ϕn(t)ϕk(t)dt = e dt T −T/2 T −T/2 sin[π(n − k)] = = δ(n − k). π(n − k) 2 Thus, we can take exponential functions ϕn(t) = exp(j2πnt/T ) as orthonormal basis =⇒ we obtain Fourier series. Fourier series for a periodic signal x(t) = x(t + T ): ∞ X j 2πnt x(t) = Xne T n=−∞ Z T/2 1 −j 2πnt Xn = x(t)e T dt. T −T/2 EE 524, Fall 2004, # 3 2 Fourier coefficients can be viewed as a signal spectrum: 2πn X ∼ X(Ω ), where Ω = ⇒ n n n T Fourier series can be applied to analyze signal spectrum! Also, this interpretation implies that periodic signals have discrete spectrum. Example: Periodic sequence of rectangles: Z T/2 Z τ/2 1 −j 2πnt 1 −j 2πnt Xn = x(t)e T dt = Ae T dt T −T/2 T −τ/2 τ Aτ sin(πnT ) = · τ real coefficients. T πnT EE 524, Fall 2004, # 3 3 Remarks: • In general, Fourier coefficients are complex-valued, ∗ • For real signals, X−n = Xn. • Alternative expressions exist for trigonometric Fourier series, exploiting summation of sine and cosine functions. EE 524, Fall 2004, # 3 4 Convergence of Fourier Series Dirichlet conditions: Dirichlet conditions are met for most of the signals encountered in the real world. Still, convergence has some interesting characteristics: N X j 2πnt xN (t) = Xne T . n=−N As N → ∞, xN (t) exhibits Gibbs’ phenomenon at points of discontinuity. Under the Dirichlet conditions: EE 524, Fall 2004, # 3 5 • The Fourier series = x(t) at points where x(t) is continuous, • The Fourier series = “midpoint” at points of discontinuity. Demo: Fourier series for continuous-time square wave (Gibbs’ phenomenon). http://www.jhu.edu/~signals/fourier2/index.html. EE 524, Fall 2004, # 3 6 Review of Continuous-time Fourier Transform What about Fourier representations of nonperiodic continuous- time signals? Assuming a finite-energy signal and T → ∞ in the Fouries series, we get limT →∞ Xn = 0. Trick: To preserve the Fourier coefficients from disappearing as T → ∞, introduce Z T/2 −j 2πnt Xen = TXn = x(t)e T dt. −T/2 EE 524, Fall 2004, # 3 7 Transition to Fourier transform: X(Ω) = lim Xen T →∞ Z T/2 −j 2πnt = lim x(t)e T dt T →∞ −T/2 Z ∞ = x(t)e−jΩtdt, −∞ where the “discrete” frequency 2πn/T becomes the continuous frequency Ω. Transition to inverse Fourier transform: ∞ ∞ X j 2πnt X Xen j 2πnt x(t) = lim Xne T = lim e T T →∞ T →∞ T n=−∞ n=−∞ 1 Z ∞ 2π 2πn = X(Ω)ejΩtdΩ ⇐ dΩ = , Ω = . 2π −∞ T T EE 524, Fall 2004, # 3 8 Continuous-time Fourier transform (CTFT): Z ∞ X(Ω) = x(t)e−jΩtdt, −∞ 1 Z ∞ x(t) = X(Ω)ejΩtdΩ. 2π −∞ Example: Finite-energy rectangular signal: Z ∞ X(Ω) = x(t)e−jΩtdt −∞ Z τ/2 = Ae−jΩtdt −τ/2 sin(Ωτ/2) = Aτ real spectrum. Ωτ/2 EE 524, Fall 2004, # 3 9 Remarks: • In general, Fourier spectrum is complex-valued, • For real signals, X(−Ω) = X∗(Ω). EE 524, Fall 2004, # 3 10 Dirac Delta Function Definition: ∞, t = 0, Z ∞ δ(t) = , δ(t)dt = 1. 0, t 6= 0 −∞ Do not confuse continuous-time δ(t) with discrete-time δ(n)! Sifting property: Z ∞ f(t)δ(t − τ)dt = f(τ). −∞ The spectrum of δ(t − t0): Z ∞ X(Ω) = x(t)e−jΩtdt −∞ Z ∞ −jΩt = δ(t − t0)e dt −∞ = e−jΩt0. Delta function in time domain: 1 Z ∞ δ(t) = ejΩtdΩ. 2π −∞ EE 524, Fall 2004, # 3 11 Delta function in frequency domain: 1 Z ∞ ∞, Ω = 0, δ(Ω) = e−jΩtdt = . 2π −∞ 0, Ω 6= 0 For signal x(t) = AejΩ0t we have Z ∞ X(Ω) = x(t)e−jΩtdt −∞ Z ∞ = A e−j(Ω−Ω0)tdt −∞ = A 2π δ(Ω − Ω0). EE 524, Fall 2004, # 3 12 Harmonic Fourier Pairs Delta function in frequency domain: jΩ0t e ↔ 2π δ(Ω − Ω0), cos(Ω0t) ↔ π [δ(Ω − Ω0) + δ(Ω + Ω0)], π sin(Ω t) ↔ [δ(Ω − Ω ) − δ(Ω + Ω )]. 0 j 0 0 EE 524, Fall 2004, # 3 13 Parseval’s Theorem for CTFT Z ∞ 1 Z ∞ |x(t)|2dt = |X(Ω)|2dΩ −∞ 2π −∞ 1 Z ∞ |X(Ω)|2dΩ 2π −∞ 1 Z ∞ Z ∞ Z ∞ = x(t)x∗(τ)e−jΩ(t−τ)dtdτ dΩ 2π −∞ −∞ −∞ Z ∞ Z ∞ 1 Z ∞ = x(t)x∗(τ) ejΩ(τ−t)dΩ dtdτ −∞ −∞ 2π −∞ | {z } δ(τ−t) Z ∞ = |x(t)|2dt. −∞ EE 524, Fall 2004, # 3 14 Discrete-time Fourier Transform (DTFT) Represent continuous signal x(t) via discrete sequence x(n): ∞ X x(t) = x(n)δ(t − nT ). n=−∞ Substituting this equation into the CTFT formula, we obtain: ∞ Z ∞ X X(Ω) = x(n)δ(t − nT )e−jΩtdt −∞ n=−∞ ∞ X Z ∞ = x(n) δ(t − nT )e−jΩtdt n=−∞ −∞ ∞ X = x(n)e−jΩnT . n=−∞ Switch to the discrete-time frequency, i.e. use ω = ΩT : ∞ X X(ω) = x(n)e−jωn. n=−∞ X(ω) is periodic with period 2π: ∞ X X(ω) = x(n)e−jωn e−j2πn | {z } n=−∞ 1 EE 524, Fall 2004, # 3 15 ∞ X = x(n)e−j(ω+2π)n = X(ω + 2π). n=−∞ Trick: in computing inverse DTFT, use only one period of X(ω): ∞ X X(ω) = x(n)e−jωn DTFT, n=−∞ 1 Z π x(n) = X(ω)ejωndω Inverse DTFT. 2π −π Inverse DTFT: Proof. 1 Z π x(n) = X(ω)ejωndω 2π −π ∞ 1 Z π X = x(m)ejω(n−m)dω 2π −π m=−∞ ∞ X 1 Z π = x(m) ejω(n−m)dω = x(n). 2π −π m=−∞ | {z } δ(n−m) 2 EE 524, Fall 2004, # 3 16 Fourier Series vs. DTFT ∞ Z T/2 X j 2πnt 1 −j 2πnt x(t) = X e T ,X = x(t)e T dt FS n n T n=−∞ −T/2 ∞ X 1 Z π X(ω) = x(n)e−jωn, x(n) = X(ω)ejωndω DTFT 2π n=−∞ −π Observation: Replacing, in Fourier Series x(t) → X(ω), Xn → x(n), t → −ω, T → 2π, we obtain DTFT! An important conclusion: DTFT is equivalent to Fourier series but applied to the “opposite” domain. In Fourier series, a periodic continuous signal is represented as a sum of exponentials weighted by discrete Fourier (spectral) coefficients. In DTFT, a periodic continuous spectrum is represented as a sum of exponentials, weighted by discrete signal values. EE 524, Fall 2004, # 3 17 Remarks: • DTFT can be derived directly from the Fourier series, • All Fourier series results can be applied to DTFT • Duality between time and frequency domains. EE 524, Fall 2004, # 3 18 Parseval’s Theorem for DTFT ∞ X 1 Z π |x(n)|2 = |X(ω)|2dω 2π n=−∞ −π 1 Z π |X(ω)|2dω 2π −π ∞ ∞ 1 Z π X X = x(n)x∗(m)e−jω(n−m)dω 2π −π n=−∞ m=−∞ ∞ ∞ X X 1 Z π x(n)x∗(m) e−jω(n−m)dω 2π −π n=−∞ m=−∞ | {z } δ(n−m) ∞ X = |x(n)|2. n=−∞ EE 524, Fall 2004, # 3 19 When Does DTFT Exist (i.e. |X(ω)| < ∞)? Sufficient condition: ∞ X |x(n)| < ∞. n=−∞ ∞ X −jωn |X(ω)| = x(n)e n=−∞ ∞ X ≤ |x(n)| |e−jωn| n=−∞ | {z1 } ∞ X = |x(n)| < ∞. n=−∞ Example: Finite-energy rectangular signal: N/2 N/2 X X |X(ω)| = Ae−jωn = A e−jωn n=−N/2 n=−N/2 N+1 sin( 2 ω) = A(N + 1) ω (N + 1) sin( 2 ) EE 524, Fall 2004, # 3 20 N+1 sin( 2 ω) ≈ A(N + 1) ω for ω π (N + 1) 2 | {z } well-known function Both functions look very similar in their “mainlobe” domain. EE 524, Fall 2004, # 3 21 DTFT — Convolution Theorem If X(ω) = F{x(n)} and H(ω) = F{h(n)} and ∞ X y(n) = x(k)h(n − k) = {x(n)} ? {h(n)} k=−∞ then Y (ω) = F{y(n)} = X(ω)H(ω). ∞ ∞ X X Y (ω) = F{y(n)} = x(k)h(n − k) e−jωn | {z } n=−∞ k=−∞ m ∞ ∞ X X = x(k)h(m)e−jω(m+k) m=−∞ k=−∞ ∞ ( ∞ ) X X = x(k)e−jωk h(m)e−jωm k=−∞ m=−∞ = X(ω)H(ω). Windowing theorem: If X(ω) = F{x(n)}, W (ω) = F{w(n)}, and y(n) = x(n)w(n), then 1 Z π Y (ω) = F{y(n)} = X1(λ)X2(ω − λ)dλ.
Recommended publications
  • Moving Average Filters
    CHAPTER 15 Moving Average Filters The moving average is the most common filter in DSP, mainly because it is the easiest digital filter to understand and use. In spite of its simplicity, the moving average filter is optimal for a common task: reducing random noise while retaining a sharp step response. This makes it the premier filter for time domain encoded signals. However, the moving average is the worst filter for frequency domain encoded signals, with little ability to separate one band of frequencies from another. Relatives of the moving average filter include the Gaussian, Blackman, and multiple- pass moving average. These have slightly better performance in the frequency domain, at the expense of increased computation time. Implementation by Convolution As the name implies, the moving average filter operates by averaging a number of points from the input signal to produce each point in the output signal. In equation form, this is written: EQUATION 15-1 Equation of the moving average filter. In M &1 this equation, x[ ] is the input signal, y[ ] is ' 1 % y[i] j x [i j ] the output signal, and M is the number of M j'0 points used in the moving average. This equation only uses points on one side of the output sample being calculated. Where x[ ] is the input signal, y[ ] is the output signal, and M is the number of points in the average. For example, in a 5 point moving average filter, point 80 in the output signal is given by: x [80] % x [81] % x [82] % x [83] % x [84] y [80] ' 5 277 278 The Scientist and Engineer's Guide to Digital Signal Processing As an alternative, the group of points from the input signal can be chosen symmetrically around the output point: x[78] % x[79] % x[80] % x[81] % x[82] y[80] ' 5 This corresponds to changing the summation in Eq.
    [Show full text]
  • 7: Inner Products, Fourier Series, Convolution
    7: FOURIER SERIES STEVEN HEILMAN Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier Inversion and Plancherel Theorems 10 8. Appendix: Notation 13 1. Review Exercise 1.1. Let (X; h·; ·i) be a (real or complex) inner product space. Define k·k : X ! [0; 1) by kxk := phx; xi. Then (X; k·k) is a normed linear space. Consequently, if we define d: X × X ! [0; 1) by d(x; y) := ph(x − y); (x − y)i, then (X; d) is a metric space. Exercise 1.2 (Cauchy-Schwarz Inequality). Let (X; h·; ·i) be a complex inner product space. Let x; y 2 X. Then jhx; yij ≤ hx; xi1=2hy; yi1=2: Exercise 1.3. Let (X; h·; ·i) be a complex inner product space. Let x; y 2 X. As usual, let kxk := phx; xi. Prove Pythagoras's theorem: if hx; yi = 0, then kx + yk2 = kxk2 + kyk2. 1 Theorem 1.4 (Weierstrass M-test). Let (X; d) be a metric space and let (fj)j=1 be a sequence of bounded real-valued continuous functions on X such that the series (of real num- P1 P1 bers) j=1 kfjk1 is absolutely convergent. Then the series j=1 fj converges uniformly to some continuous function f : X ! R. 2. Introduction A general problem in analysis is to approximate a general function by a series that is relatively easy to describe. With the Weierstrass Approximation theorem, we saw that it is possible to achieve this goal by approximating compactly supported continuous functions by polynomials.
    [Show full text]
  • Fourier Series
    Academic Press Encyclopedia of Physical Science and Technology Fourier Series James S. Walker Department of Mathematics University of Wisconsin–Eau Claire Eau Claire, WI 54702–4004 Phone: 715–836–3301 Fax: 715–836–2924 e-mail: [email protected] 1 2 Encyclopedia of Physical Science and Technology I. Introduction II. Historical background III. Definition of Fourier series IV. Convergence of Fourier series V. Convergence in norm VI. Summability of Fourier series VII. Generalized Fourier series VIII. Discrete Fourier series IX. Conclusion GLOSSARY ¢¤£¦¥¨§ Bounded variation: A function has bounded variation on a closed interval ¡ ¢ if there exists a positive constant © such that, for all finite sets of points "! "! $#&% (' #*) © ¥ , the inequality is satisfied. Jordan proved that a function has bounded variation if and only if it can be expressed as the difference of two non-decreasing functions. Countably infinite set: A set is countably infinite if it can be put into one-to-one £0/"£ correspondence with the set of natural numbers ( +,£¦-.£ ). Examples: The integers and the rational numbers are countably infinite sets. "! "!;: # # 123547698 Continuous function: If , then the function is continuous at the point : . Such a point is called a continuity point for . A function which is continuous at all points is simply referred to as continuous. Lebesgue measure zero: A set < of real numbers is said to have Lebesgue measure ! $#¨CED B ¢ £¦¥ zero if, for each =?>A@ , there exists a collection of open intervals such ! ! D D J# K% $#L) ¢ £¦¥ ¥ ¢ = that <GFIH and . Examples: All finite sets, and all countably infinite sets, have Lebesgue measure zero. "! "! % # % # Odd and even functions: A function is odd if for all in its "! "! % # # domain.
    [Show full text]
  • Random Signals
    Chapter 8 RANDOM SIGNALS Signals can be divided into two main categories - deterministic and random. The term random signal is used primarily to denote signals, which have a random in its nature source. As an example we can mention the thermal noise, which is created by the random movement of electrons in an electric conductor. Apart from this, the term random signal is used also for signals falling into other categories, such as periodic signals, which have one or several parameters that have appropriate random behavior. An example is a periodic sinusoidal signal with a random phase or amplitude. Signals can be treated either as deterministic or random, depending on the application. Speech, for example, can be considered as a deterministic signal, if one specific speech waveform is considered. It can also be viewed as a random process if one considers the ensemble of all possible speech waveforms in order to design a system that will optimally process speech signals, in general. The behavior of stochastic signals can be described only in the mean. The description of such signals is as a rule based on terms and concepts borrowed from probability theory. Signals are, however, a function of time and such description becomes quickly difficult to manage and impractical. Only a fraction of the signals, known as ergodic, can be handled in a relatively simple way. Among those signals that are excluded are the class of the non-stationary signals, which otherwise play an essential part in practice. Working in frequency domain is a powerful technique in signal processing. While the spectrum is directly related to the deterministic signals, the spectrum of a ran- dom signal is defined through its correlation function.
    [Show full text]
  • Contentscontents 2323 Fourier Series
    ContentsContents 2323 Fourier Series 23.1 Periodic Functions 2 23.2 Representing Periodic Functions by Fourier Series 9 23.3 Even and Odd Functions 30 23.4 Convergence 40 23.5 Half-range Series 46 23.6 The Complex Form 53 23.7 An Application of Fourier Series 68 Learning outcomes In this Workbook you will learn how to express a periodic signal f(t) in a series of sines and cosines. You will learn how to simplify the calculations if the signal happens to be an even or an odd function. You will learn some brief facts relating to the convergence of the Fourier series. You will learn how to approximate a non-periodic signal by a Fourier series. You will learn how to re-express a standard Fourier series in complex form which paves the way for a later examination of Fourier transforms. Finally you will learn about some simple applications of Fourier series. Periodic Functions 23.1 Introduction You should already know how to take a function of a single variable f(x) and represent it by a power series in x about any point x0 of interest. Such a series is known as a Taylor series or Taylor expansion or, if x0 = 0, as a Maclaurin series. This topic was firs met in 16. Such an expansion is only possible if the function is sufficiently smooth (that is, if it can be differentiated as often as required). Geometrically this means that there are no jumps or spikes in the curve y = f(x) near the point of expansion.
    [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]
  • On the Real Projections of Zeros of Almost Periodic Functions
    ON THE REAL PROJECTIONS OF ZEROS OF ALMOST PERIODIC FUNCTIONS J.M. SEPULCRE AND T. VIDAL Abstract. This paper deals with the set of the real projections of the zeros of an arbitrary almost periodic function defined in a vertical strip U. It pro- vides practical results in order to determine whether a real number belongs to the closure of such a set. Its main result shows that, in the case that the Fourier exponents {λ1, λ2, λ3,...} of an almost periodic function are linearly independent over the rational numbers, such a set has no isolated points in U. 1. Introduction The theory of almost periodic functions, which was created and developed in its main features by H. Bohr during the 1920’s, opened a way to study a wide class of trigonometric series of the general type and even exponential series. This theory shortly acquired numerous applications to various areas of mathematics, from harmonic analysis to differential equations. In the case of the functions that are defined on the real numbers, the notion of almost periodicity is a generalization of purely periodic functions and, in fact, as in classical Fourier analysis, any almost periodic function is associated with a Fourier series with real frequencies. Let us briefly recall some notions concerning the theory of the almost periodic functions of a complex variable, which was theorized in [4] (see also [3, 5, 8, 11]). A function f(s), s = σ + it, analytic in a vertical strip U = {s = σ + it ∈ C : α< σ<β} (−∞ ≤ α<β ≤ ∞), is called almost periodic in U if to any ε > 0 there exists a number l = l(ε) such that each interval t0 <t<t0 + l of length l contains a number τ satisfying |f(s + iτ) − f(s)|≤ ε ∀s ∈ U.
    [Show full text]
  • Use of the Kurtosis Statistic in the Frequency Domain As an Aid In
    lEEE JOURNALlEEE OF OCEANICENGINEERING, VOL. OE-9, NO. 2, APRIL 1984 85 Use of the Kurtosis Statistic in the FrequencyDomain as an Aid in Detecting Random Signals Absmact-Power spectral density estimation is often employed as a couldbe utilized in signal processing. The objective ofthis method for signal ,detection. For signals which occur randomly, a paper is to compare the PSD technique for signal processing frequency domain kurtosis estimate supplements the power spectral witha new methodwhich computes the frequency domain density estimate and, in some cases, can be.employed to detect their presence. This has been verified from experiments vith real data of kurtosis (FDK) [2] forthe real and imaginary parts of the randomly occurring signals. In order to better understand the detec- complex frequency components. Kurtosis is defined as a ratio tion of randomlyoccurring signals, sinusoidal and narrow-band of a fourth-order central moment to the square of a second- Gaussian signals are considered, which when modeled to represent a order central moment. fading or multipath environment, are received as nowGaussian in Using theNeyman-Pearson theory in thetime domain, terms of a frequency domain kurtosis estimate. Several fading and multipath propagation probability density distributions of practical Ferguson [3] , has shown that kurtosis is a locally optimum interestare considered, including Rayleigh and log-normal. The detectionstatistic under certain conditions. The reader is model is generalized to handle transient and frequency modulated referred to Ferguson'swork for the details; however, it can signals by taking into account the probability of the signal being in a be simply said thatit is concernedwith detecting outliers specific frequency range over the total data interval.
    [Show full text]
  • 2D Fourier, Scale, and Cross-Correlation
    2D Fourier, Scale, and Cross-correlation CS 510 Lecture #12 February 26th, 2014 Where are we? • We can detect objects, but they can only differ in translation and 2D rotation • Then we introduced Fourier analysis. • Why? – Because Fourier analysis can help us with scale – Because Fourier analysis can make correlation faster Review: Discrete Fourier Transform • Problem: an image is not an analogue signal that we can integrate. • Therefore for 0 ≤ x < N and 0 ≤ u <N/2: N −1 * # 2πux & # 2πux &- F(u) = ∑ f (x),cos % ( − isin% (/ x=0 + $ N ' $ N '. And the discrete inverse transform is: € 1 N −1 ) # 2πux & # 2πux &, f (x) = ∑F(u)+cos % ( + isin% (. N x=0 * $ N ' $ N '- CS 510, Image Computaon, ©Ross 3/2/14 3 Beveridge & Bruce Draper € 2D Fourier Transform • So far, we have looked only at 1D signals • For 2D signals, the continuous generalization is: ∞ ∞ F(u,v) ≡ ∫ ∫ f (x, y)[cos(2π(ux + vy)) − isin(2π(ux + vy))] −∞ −∞ • Note that frequencies are now two- dimensional € – u= freq in x, v = freq in y • Every frequency (u,v) has a real and an imaginary component. CS 510, Image Computaon, ©Ross 3/2/14 4 Beveridge & Bruce Draper 2D sine waves • This looks like you’d expect in 2D Ø Note that the frequencies don’t have to be equal in the two dimensions. hp://images.google.com/imgres?imgurl=hFp://developer.nvidia.com/dev_content/cg/cg_examples/images/ sine_wave_perturbaon_ogl.jpg&imgrefurl=hFp://developer.nvidia.com/object/ cg_effects_explained.html&usg=__0FimoxuhWMm59cbwhch0TLwGpQM=&h=350&w=350&sz=13&hl=en&start=8&sig2=dBEtH0hp5I1BExgkXAe_kg&tbnid=fc yrIaap0P3M:&tbnh=120&tbnw=120&ei=llCYSbLNL4miMoOwoP8L&prev=/images%3Fq%3D2D%2Bsine%2Bwave%26gbv%3D2%26hl%3Den%26sa%3DG CS 510, Image Computaon, ©Ross 3/2/14 5 Beveridge & Bruce Draper 2D Discrete Fourier Transform N /2 N /2 * # 2π & # 2π &- F(u,v) = ∑ ∑ f (x, y),cos % (ux + vy)( − isin% (ux + vy)(/ x=−N /2 y=−N /2 + $ N ' $ N '.
    [Show full text]
  • Almost Periodic Sequences and Functions with Given Values
    ARCHIVUM MATHEMATICUM (BRNO) Tomus 47 (2011), 1–16 ALMOST PERIODIC SEQUENCES AND FUNCTIONS WITH GIVEN VALUES Michal Veselý Abstract. We present a method for constructing almost periodic sequences and functions with values in a metric space. Applying this method, we find almost periodic sequences and functions with prescribed values. Especially, for any totally bounded countable set X in a metric space, it is proved the existence of an almost periodic sequence {ψk}k∈Z such that {ψk; k ∈ Z} = X and ψk = ψk+lq(k), l ∈ Z for all k and some q(k) ∈ N which depends on k. 1. Introduction The aim of this paper is to construct almost periodic sequences and functions which attain values in a metric space. More precisely, our aim is to find almost periodic sequences and functions whose ranges contain or consist of arbitrarily given subsets of the metric space satisfying certain conditions. We are motivated by the paper [3] where a similar problem is investigated for real-valued sequences. In that paper, using an explicit construction, it is shown that, for any bounded countable set of real numbers, there exists an almost periodic sequence whose range is this set and which attains each value in this set periodically. We will extend this result to sequences attaining values in any metric space. Concerning almost periodic sequences with indices k ∈ N (or asymptotically almost periodic sequences), we refer to [4] where it is proved that, for any precompact sequence {xk}k∈N in a metric space X , there exists a permutation P of the set of positive integers such that the sequence {xP (k)}k∈N is almost periodic.
    [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]
  • Fourier Transform for Mean Periodic Functions
    Annales Univ. Sci. Budapest., Sect. Comp. 35 (2011) 267–283 FOURIER TRANSFORM FOR MEAN PERIODIC FUNCTIONS L´aszl´oSz´ekelyhidi (Debrecen, Hungary) Dedicated to the 60th birthday of Professor Antal J´arai Abstract. Mean periodic functions are natural generalizations of periodic functions. There are different transforms - like Fourier transforms - defined for these types of functions. In this note we introduce some transforms and compare them with the usual Fourier transform. 1. Introduction In this paper C(R) denotes the locally convex topological vector space of all continuous complex valued functions on the reals, equipped with the linear operations and the topology of uniform convergence on compact sets. Any closed translation invariant subspace of C(R)iscalledavariety. The smallest variety containing a given f in C(R)iscalledthevariety generated by f and it is denoted by τ(f). If this is different from C(R), then f is called mean periodic. In other words, a function f in C(R) is mean periodic if and only if there exists a nonzero continuous linear functional μ on C(R) such that (1) f ∗ μ =0 2000 Mathematics Subject Classification: 42A16, 42A38. Key words and phrases: Mean periodic function, Fourier transform, Carleman transform. The research was supported by the Hungarian National Foundation for Scientific Research (OTKA), Grant No. NK-68040. 268 L. Sz´ekelyhidi holds. In this case sometimes we say that f is mean periodic with respect to μ. As any continuous linear functional on C(R) can be identified with a compactly supported complex Borel measure on R, equation (1) has the form (2) f(x − y) dμ(y)=0 for each x in R.
    [Show full text]