ON THE TIME/FREQUENCY SIMULTANEOUS ALIGNMENT OF THE SIGNALS COMPORTMENT

Similar documents
Problem set 5: Solutions Math 207B, Winter r(x)u(x)v(x) dx.

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).

Review of Calculus, cont d

Week 10: Line Integrals

7.2 The Definite Integral

and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

Notes on length and conformal metrics

CHAPTER 2 FUZZY NUMBER AND FUZZY ARITHMETIC

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

Math 426: Probability Final Exam Practice

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite

Problem Set 4: Solutions Math 201A: Fall 2016

Math 554 Integration

Riemann Sums and Riemann Integrals

New Expansion and Infinite Series

Chapter 14. Matrix Representations of Linear Transformations

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

Riemann Sums and Riemann Integrals

Recitation 3: More Applications of the Derivative

Math 32B Discussion Session Session 7 Notes August 28, 2018

NON-NEWTONIAN IMPROPER INTEGRALS

Optimization Lecture 1 Review of Differential Calculus for Functions of Single Variable.

Theoretical foundations of Gaussian quadrature

Conservation Law. Chapter Goal. 5.2 Theory

The Regulated and Riemann Integrals

The logarithmic mean is a mean

y b y y sx 2 y 2 z CHANGE OF VARIABLES IN MULTIPLE INTEGRALS

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

DEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.

u t = k 2 u x 2 (1) a n sin nπx sin 2 L e k(nπ/l) t f(x) = sin nπx f(x) sin nπx dx (6) 2 L f(x 0 ) sin nπx 0 2 L sin nπx 0 nπx

Math Advanced Calculus II

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

1.9 C 2 inner variations

MAA 4212 Improper Integrals

R. I. Badran Solid State Physics

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

DERIVATIVES NOTES HARRIS MATH CAMP Introduction

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

1 Error Analysis of Simple Rules for Numerical Integration

Lecture 1. Functional series. Pointwise and uniform convergence.

1. On some properties of definite integrals. We prove

A product convergence theorem for Henstock Kurzweil integrals

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Note 16. Stokes theorem Differential Geometry, 2005

Travelling Profile Solutions For Nonlinear Degenerate Parabolic Equation And Contour Enhancement In Image Processing

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

Green s function. Green s function. Green s function. Green s function. Green s function. Green s functions. Classical case (recall)

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

Section 6.1 INTRO to LAPLACE TRANSFORMS

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

An inequality related to η-convex functions (II)

Definite integral. Mathematics FRDIS MENDELU

Continuous Random Variables

Abstract inner product spaces

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

Chapter 8: Methods of Integration

7. Indefinite Integrals

Review of Riemann Integral

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Surface Integrals of Vector Fields

Bernoulli Numbers Jeff Morton

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

Riemann Integrals and the Fundamental Theorem of Calculus

We are looking for ways to compute the integral of a function f(x), f(x)dx.

1 The Riemann Integral

1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.

Numerical Methods I Orthogonal Polynomials

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int

The Riemann-Lebesgue Lemma

INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

Line and Surface Integrals: An Intuitive Understanding

II. Integration and Cauchy s Theorem

Section 4: Integration ECO4112F 2011

Heat flux and total heat

Best Approximation in the 2-norm

Reversals of Signal-Posterior Monotonicity for Any Bounded Prior

1 1D heat and wave equations on a finite interval

Chapter 6 Techniques of Integration

5.7 Improper Integrals

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.

1 Part II: Numerical Integration

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

MAC-solutions of the nonexistent solutions of mathematical physics

Chapter 3 The Schrödinger Equation and a Particle in a Box

Appendix 3, Rises and runs, slopes and sums: tools from calculus

The problems that follow illustrate the methods covered in class. They are typical of the types of problems that will be on the tests.

Partial Derivatives. Limits. For a single variable function f (x), the limit lim

p(t) dt + i 1 re it ireit dt =

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

5.2 Volumes: Disks and Washers

MATH 174A: PROBLEM SET 5. Suggested Solution

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Riemann Stieltjes Integration - Definition and Existence of Integral

8 Laplace s Method and Local Limit Theorems

Transcription:

UPB Sci Bll, Series A, Vol 69, No 4, 7 ISSN 3-77 ON THE TIME/FEQUENCY SIMULTANEOUS ALIGNMENT OF THE SIGNALS COMPOTMENT Li OTAIU În cestă lcrre, conceptl de tom-frecvenţă (T/F), elbort de J von Nemnn şi D Gbor, este pnctt în termeni mtemtici; de semene, nele proprietăţi le trnsformtei Forier c ferestră snt scose în evidenţă (Proposition şi Proposition 3); în finl este prezenttă o plicţie ndinelor pentr descriere mecnismli fiziologic l rechii mne în timp-frecvenţă In this pper, the tom-freqency (T/F) concept, elborted by J von Nemnn nd D Gbor, is pointed ot in mthemticl terms; lso, some properties of Forier trnsformtion with window re mrked ot (Proposition nd Proposition 3); finlly, we give n ppliction of wvelets for (T/F) hmn er physiologicl mechnism description Keywords: wvelets, ttented sine Introdction If : C is L ( ) -clss fnction, d-hoc clled signl, then we ssign its Forier trnsformtion ˆ : C, which is continos nd bonded fnction, defined by ˆ ( ω ) = (, () this improper integrl being convergent for ny ω The fnction û is clled the freqency spectrm of the signl, nd A ( = ˆ(, the freqency mplifiction of An insfficiency of the clssic Forier trnsformtion is constitted by the fct tht we hve to know the vles of for entire time is (ccording to ()) if we wnt to clclte the spectrm ( ω ) in only one freqency ω Applying the Forier inversion forml in deqte conditions (for emple, if is continos fnction nd L ( ) L ( ) ), Assist, Bnt s University of Agricltrl Sciences nd Veterinry MedicineTimisor, OMANIA

4 Li otri i ( ) ˆ( ω t t = e dω, () π it trns ot tht to determinte the smple ( t ) for time moment t it is necessry to know the spectrm ˆ ( in entire freqency bnd Ths, we consider the pirs ( t ), simltneos tken, nd nlyse the time/freqency comportment of some signls in their neighborhood Time-Freqency Atoms It is considered pln relted to n orthogonl fied point where by bsciss is mentioned the generic time t, nd by ordinte line, the generic freqency ω To represent signl in n orthogonl plne t ω mens to tke simltneos its time drtion nd its freqency rtio (hmn voice cse) We fi pir ( t ) Intitively, n ( T / F) tom rond the point ( t ) is ny signl (from L ( ) L ( ) ) with compct spport, which contins t (so is nll ot of the sppor; moreover, û hs to hve compct spport, which contins ω (so freqencies ˆ ( re insignificnt ot of the sppor According to the indeterminism principle, sch non-zero signl doesn t eist, no mtter how smll re the spports of nd û John von Nemnn clled T / F tom ny fmily of fnctions by the form { e i ω t ( t t )}, with ( t ), where ( is fied fnction (from L ( ) L ( ) -clss) Distribting the points ω) niformly in the to ω pln, J von Nemnn hs recommnded, in the Signls Theory, to se n orthonormted bse in the Hilbert spce L ( ) reltive to the dot prodct < f, g >= f ( g( dt, mde of T / F toms sinπt Proposition Let be ( = (for t ) nd ( ) = The T / F πt toms lt ( = e π ( t k) ; k, l Z, (3) (corresponding to the vles t = k, ω = πl ), mke n orthonormted bse for L ( )

On the time/freqency simltneos lignment of the signls comportment 5 Proof Using the Prsevl forml, it reslts immeditely tht <, pg >= δ lp δ kg We hve representtion by the form f ( = c ( for ny signl f L ( ) ; the coefficients c re immeditely dedced from c =< f, >, for ny k, l Z Therefore, ny continl (nlogicl) signl f is identified by the seqence c, which is n illstrtion of the deltor phenomenon nmed nlogicl/digitl conversion of the signls For the signl ( from Proposition (clled ttented sine ), we hve, if ω ( π, π ), ˆ( =, in rest nd for ny k, l Z fied, it reslts tht ˆ ( ω ) k, l iωt πilt iωt = ( e dt = e ( t k) e dt; mking chnge of vrible, t k = τ, we obtin ik ( ω πl ) ˆ ( = e ˆ( ω πl ), for ny k, l Z The grphics of the fnctions nd û re indicted in Fig ; ), b) y y = ( t ) y ω 3 3 t π π ) Fig b) The signl ˆ( hs good position in t = nd it is insignificnt ot of the system [, ]; ( t k) is the trnsltion of with k time nits nd it is well loclized in the point k Therefore, ( is well loclized in k nd it is

6 Li otri insignificnt ot of the intervl [ k, k + ], for k Z In the sme wy, ˆ ( ω πl ) is nll for ω πl [ π, π ], hence ˆ ( is nll ot of the intervl [ π + πl, π + πl ], which mens tht ˆ ( is well loclized rond the πl freqency Let s consider now rectngles from the to ω pln, hchred like in Fig nd centered in the points ( k,π l), with k, l Z In this wy, the time/freqency T / F pln, identified with the to ω pln, is prried with rectngles, like in Fig Fig These kind of rectngles cn be covered between themselves (so tht they cn t mke pln prtition) The orthonormted bse, l, k Z from the Proposition presents si disdvntges, which re connected with wek convergence in dots prodcts clcls < t, >, necessry for signls digitl representtion Also, the fct tht ll the T / F toms hve the sme drtion is n impediment in some type of pplictions (for emple, in Geophysics or dr) Tht s why we proposed some other kind of orthonormted bses for L ( ) 3 T / F Trnsformtion D Gbor proposed the replcement of the discret vles k, l Z with continos vribles ξ, τ, considering T / F toms by the type

On the time/freqency simltneos lignment of the signls comportment 7 iξt wξτ ( = e w( ), where w( L ( ) is signl with the norm w = π (clled window) For ny signl L ( ), fnction with two rel vribles, W, defined by iξt W ( τ, ξ ) =<, wξτ >= ( e w( ) dt, (4) ws clled the T / F trnsformtion of, with the window w fied (or eqivlent of Forier trnsformtion with window) It my be remrked the nlogy with the reltion () D Gbor proved, knowing W (similrly with ()), the recprtion of forml, nmely ( = W ( τ, ξ ) w ( dτdξ ξτ (5) Note: If w (constnt fnction), we hve W ( τ, ξ ) = ˆ( ξ ) (Forier clssic trnsformtion) nd if w = τ (Dirc distribtion), then iξτ W ( τ, ξ ) = ( τ ) e In the two cses, w doesn t belong to the spce L ( ) We fi τ nd > We choose window w : which hs to πn hve its spport contined in the intervl [ τ, τ + ] Then, for ξ =, n Z, we hve (ccording to (4)) πin πin πn t t W ( τ, ) = ( w( ) e dt = ( w( ) e dt Proposition Let be L ( ) nd c n the Forier comple coefficients of the fnction ( w( ) restricted to the intervl [, ] nd then etended to by its periodicity In these conditions, πn W ( π, ) = c n, for ny n Z (6) Proof The demonstrtion reslts directly from definitions Therefore, knowing W, we cn determinte the coefficients c n sing the reltion (6); the signl ( is recovered from its Forier coefficients: ( = c n e n Z π in t In other words, choosing convenble windows, from dt bot the signl (, we cn find ot locl dt bot its T / F trnsformtion, W, nd conversely

8 Li otri Now we fi window w For ny fied t, we cn consider the fnction h t,ω : C defined by iωτ ht ( τ ) = w( τ e For ny vector h L ( ), we note with h * the fnctionl defined by * h =<, h > With these nottions, we cn write: Proposition 3 For ny window w, we hve the reltion * h = t, ω ht dωdt I, where I is the identity on the Hilbert spce L ( ) Proof Let s tke L ( ), rbitrry fied We hve to prove tht * ( τ ) = h ( ) ( ) t, ω τ ht dωdt (7) Be it t ( τ ) = ( τ ) w( τ Then W ˆ = t ( τ ), nd, ccording to the reltion i (), it reslts tht τ = ω e τω t ( ) W ) dω If we mltiplicte with w( τ π nd integrte relted with t, we obtin which mens we lso know tht reltion: Bt i ( τ ) ( τ ) = (, ( τ ) τω t w t dt dt W t w t e dω, π W nd the reltion (7) is now proved ( τ ) w = W (, ) ( ) t ω ht τ dtdω ; π w = Tht s why we cn write now the following π τ ) = h ( τ ) W dtdω ω ( t, iωτ w( τ ( τ ) e dτ = ht ( τ ) ( τ ) =< *, h >= t ht ( ), = dτ = Corollry For ny signl L ( ), its energy the forml E ( ) = is given by

On the time/freqency simltneos lignment of the signls comportment 9 E( ) = W ω ) dtdω * * Proof We hve W = W W = h ( ) h ( ) ; so, W (, ) = t dtdω ω The size W hs the net phisycl interprettion: it is the energy density of the signl relted to the time nit in T / F pln Note: The T / F trnsformtion works with fied drtion of the window, mening tht we hve to consider only w( t b) trnsltions of the window if we wnt to clclte W ( b, ξ ) ; this cn be n inconvenient in T / F nlysis of some signls ( with high vritions in short intervls of time (like in Geophysics, dr, Hmn voice, etc) This ws one of the resons which determinted s to propose more fleible windows, which cn be trnsltted nd lso, delted (or contrcted); this fct mrked the ppernce of the wvelet concept We fi window-fnction Ψ : so tht Ψ ( nd tψ ( belong to L ( ) ; moreover, Ψ ˆ () = ; the fnction Ψ ws clled wvelet For ny signl L ( ), we define the trnsformtion of by the wvelet Ψ s the net fnction of two rel vribles, b, with > : t b W (, b) = ( Ψ dt (8) Applying the Prsevl clssic reltion, we obtin ibω W (, b) = ˆ( e Ψˆ ( dω = π ibω = e ˆ( e Ψˆ ( dω π This reltion shows the connection with the T / F trnsformtion t, ω t, ω 4 Appliction Let be the loction of sensitive cell in the spirl shell corte of the hmn er We sppose tht the dio signl received in, g (, is the convoltion of n costic signl ( with liner filter which depends by the

3 Li otri loction, nd hs the trnsfer fnction H ( Then, in the freqency domin, we hve the reltion gˆ ( = ˆ( H ( (9) Sppose tht by the spirl shell geometry itself we hve dely in freqency, ie there eists fnction G so tht ( = G( ln If we note = e, reslts tht = ln nd we consider wvelet Ψ ( with Ψ ˆ ( = G ln ω () Then, sing (9), reslts gˆ ˆ ( = Ψ ( ˆ( nd from the inversion Forier forml (), we obtin the reltion iωt g ( = e Ψˆ ( ˆ( dω = π iωt τ t = ˆ( Ψˆ ( e dω = ( τ ) Ψ dτ π Using gin the Prsevl reltion, reslts tht the reception t the sensoril cell loclized in is given by / g ( = e W e ) The constrction of the W ( wvelet with the property () is still n open problem H E F F E E N C E S Tood Ogden, Essentil Wvelets for Sttisticl Aplictions nd Dt Anlysis, Boston, Birkhser, 997 O Stănăşilă, Anliz mtemtică semnlelor şi ndinelor, Mtri om, 997 3 L Prsd nd S S Izengr, Wvelet Anlysis with Applictions to Imge Processing, Chpmn nd Hll/CC Press, Jne 997, 4 Jh issnen, Wvelet on self-similr sets nd the strctre of the spce M p ( E, μ) 5 I Dbechies, Ten Lectres on Wvelets, CBMS-NSF Series in Appl Mth, SIAM, 99 6 S Mllt nd Z Zhng, Mtching prsit with time-freqency dictionries, IEEE Trns Sig Proc, December 993