Poisson summation formula

In mathematics, the Poisson summation formula is an equation that relates the Fourier series coefficients of the periodic summation of a function to values of the function's continuous Fourier transform. Consequently, the periodic summation of a function is completely defined by discrete samples of the original function's Fourier transform. And conversely, the periodic summation of a function's Fourier transform is completely defined by discrete samples of the original function. The Poisson summation formula was discovered by Siméon Denis Poisson and is sometimes called Poisson resummation.

Forms of the equation

Consider an aperiodic function with Fourier transform alternatively designated by and

The basic Poisson summation formula is:[1]

    (Eq.1)

Also consider periodic functions, where parameters and are in the same units as :

Then Eq.1 is a special case (P=1, x=0) of this generalization:[2][3]

    (Eq.2)

which is a Fourier series expansion with coefficients that are samples of the function Similarly:

    (Eq.3)

also known as the important Discrete-time Fourier transform.

Derivations

A proof may be found in either Pinsky[2] or Zygmund.[3]  Eq.2, for instance, holds in the sense that if , then the right-hand side is the (possibly divergent) Fourier series of the left-hand side. It follows from the dominated convergence theorem that exists and is finite for almost every . Furthermore it follows that is integrable on any interval of length So it is sufficient to show that the Fourier series coefficients of are Proceeding from the definition of the Fourier coefficients we have:

where the interchange of summation with integration is once again justified by dominated convergence. With a change of variables () this becomes:

The proof of Eq.3 is of course similar, except that the formula for series coefficients in frequency is:

The sign of    is positive, because it has to be the opposite of the one on the right-hand side of Eq.3.

Distributional formulation

These equations can be interpreted in the language of distributions[4][5]: §7.2  for a function whose derivatives are all rapidly decreasing (see Schwartz function). The Poisson summation formula arises as a particular case of the Convolution Theorem on tempered distributions, using the Dirac comb distribution and its Fourier series:

In other words, the periodization of a Dirac delta resulting in a Dirac comb, corresponds to the discretization of its spectrum which is constantly one. Hence, this again is a Dirac comb but with reciprocal increments.

For the case Eq.1 readily follows:

Similarly:

Or:[6]: 143 


The Poisson summation formula can also be proved quite conceptually using the compatibility of Pontryagin duality with short exact sequences such as[7]

Applicability

Eq.2 holds provided is a continuous integrable function which satisfies for some and every [8][9] Note that such is uniformly continuous, this together with the decay assumption on , show that the series defining converges uniformly to a continuous function.   Eq.2 holds in the strong sense that both sides converge uniformly and absolutely to the same limit.[9]

Eq.2 holds in a pointwise sense under the strictly weaker assumption that has bounded variation and[3] The Fourier series on the right-hand side of Eq.2 is then understood as a (conditionally convergent) limit of symmetric partial sums.

As shown above, Eq.2 holds under the much less restrictive assumption that is in , but then it is necessary to interpret it in the sense that the right-hand side is the (possibly divergent) Fourier series of [3] In this case, one may extend the region where equality holds by considering summability methods such as Cesàro summability. When interpreting convergence in this way Eq.2, case holds under the less restrictive conditions that is integrable and 0 is a point of continuity of . However Eq.2 may fail to hold even when both and are integrable and continuous, and the sums converge absolutely.[10]

Applications

Method of images

In partial differential equations, the Poisson summation formula provides a rigorous justification for the fundamental solution of the heat equation with absorbing rectangular boundary by the method of images. Here the heat kernel on is known, and that of a rectangle is determined by taking the periodization. The Poisson summation formula similarly provides a connection between Fourier analysis on Euclidean spaces and on the tori of the corresponding dimensions.[8] In one dimension, the resulting solution is called a theta function.

In electrodynamics, the method is also used to accelerate the computation of periodic Green's functions.[11]

Sampling

In the statistical study of time-series, if is a function of time, then looking only at its values at equally spaced points of time is called "sampling." In applications, typically the function is band-limited, meaning that there is some cutoff frequency such that is zero for frequencies exceeding the cutoff: for For band-limited functions, choosing the sampling rate guarantees that no information is lost: since can be reconstructed from these sampled values. Then, by Fourier inversion, so can This leads to the Nyquist–Shannon sampling theorem.[2]

Ewald summation

Computationally, the Poisson summation formula is useful since a slowly converging summation in real space is guaranteed to be converted into a quickly converging equivalent summation in Fourier space.[12] (A broad function in real space becomes a narrow function in Fourier space and vice versa.) This is the essential idea behind Ewald summation.

Approximations of integrals

The Poisson summation formula is also useful to bound the errors obtained when an integral is approximated by a (Riemann) sum. Consider an approximation of as , where is the size of the bin. Then, according to Eq.2 this approximation coincides with . The error in the approximation can then be bounded as . This is particularly useful when the Fourier transform of is rapidly decaying if .

Lattice points inside a sphere

The Poisson summation formula may be used to derive Landau's asymptotic formula for the number of lattice points inside a large Euclidean sphere. It can also be used to show that if an integrable function, and both have compact support then [2]

Number theory

In number theory, Poisson summation can also be used to derive a variety of functional equations including the functional equation for the Riemann zeta function.[13]

One important such use of Poisson summation concerns theta functions: periodic summations of Gaussians . Put , for a complex number in the upper half plane, and define the theta function:

The relation between and turns out to be important for number theory, since this kind of relation is one of the defining properties of a modular form. By choosing and using the fact that one can conclude:

by putting

It follows from this that has a simple transformation property under and this can be used to prove Jacobi's formula for the number of different ways to express an integer as the sum of eight perfect squares.

Sphere packings

Cohn & Elkies[14] proved an upper bound on the density of sphere packings using the Poisson summation formula, which subsequently led to a proof of optimal sphere packings in dimension 8 and 24.

Other

  • Let for and for to get
  • It can be used to prove the functional equation for the theta function.
  • Poisson's summation formula appears in Ramanujan's notebooks and can be used to prove some of his formulas, in particular it can be used to prove one of the formulas in Ramanujan's first letter to Hardy.[clarification needed]
  • It can be used to calculate the quadratic Gauss sum.

Generalizations

The Poisson summation formula holds in Euclidean space of arbitrary dimension. Let be the lattice in consisting of points with integer coordinates. For a function in , consider the series given by summing the translates of by elements of :

Theorem For in , the above series converges pointwise almost everywhere, and defines a -periodic function on , hence a function on the torus a.e.  lies in with
Moreover, for all in  

(the Fourier transform of on the torus ) equals

(the Fourier transform of on ).

When is in addition continuous, and both and decay sufficiently fast at infinity, then one can "invert" the Fourier series back to their domain and make a stronger statement. More precisely, if

for some C, δ > 0, then[9]: VII §2  where both series converge absolutely and uniformly on Λ. When d = 1 and x = 0, this gives Eq.1 above.

More generally, a version of the statement holds if Λ is replaced by a more general lattice in a finite dimensional vectorspace . Choose a translation invariant measure on . It is unique up to positive scalar. Again for a function we define the periodisation

as above.

The dual lattice is defined as a subset of the dual vector space that evaluates to integers on the lattice or alternatively, by Pontryagin duality, as the characters of that contain in the kernel. Then the statement is that for all the Fourier transform of the periodisation as a function on and the Fourier transform of on itself are related by proper normalisation

Note that the right hand side is independent of the choice of invariant measure . If and are continuous and tend to zero faster than then

In particular


This is applied in the theory of theta functions, and is a possible method in geometry of numbers. In fact in more recent work on counting lattice points in regions it is routinely used − summing the indicator function of a region D over lattice points is exactly the question, so that the LHS of the summation formula is what is sought and the RHS something that can be attacked by mathematical analysis.

Selberg trace formula

Further generalization to locally compact abelian groups is required in number theory. In non-commutative harmonic analysis, the idea is taken even further in the Selberg trace formula, but takes on a much deeper character.

A series of mathematicians applying harmonic analysis to number theory, most notably Martin Eichler, Atle Selberg, Robert Langlands, and James Arthur, have generalised the Poisson summation formula to the Fourier transform on non-commutative locally compact reductive algebraic groups with a discrete subgroup such that has finite volume. For example, can be the real points of and can be the integral points of . In this setting, plays the role of the real number line in the classical version of Poisson summation, and plays the role of the integers that appear in the sum. The generalised version of Poisson summation is called the Selberg Trace Formula, and has played a role in proving many cases of Artin's conjecture and in Wiles's proof of Fermat's Last Theorem. The left-hand side of Eq.1 becomes a sum over irreducible unitary representations of , and is called "the spectral side," while the right-hand side becomes a sum over conjugacy classes of , and is called "the geometric side."

The Poisson summation formula is the archetype for vast developments in harmonic analysis and number theory.

Convolution theorem

The Poisson summation formula is a particular case of the convolution theorem on tempered distributions. If one of the two factors is the Dirac comb, one obtains periodic summation on one side and sampling on the other side of the equation. Applied to the Dirac delta function and its Fourier transform, the function that is constantly 1, this yields the Dirac comb identity.

See also

References

  1. ^ Darmon, Henri (Oct 2011). "Fourier transforms and Poisson summation... Theorem 5" (PDF). math.mcgill.ca. p. 2. Retrieved 2024-10-01.
  2. ^ a b c d Pinsky, M. (2002), Introduction to Fourier Analysis and Wavelets., Brooks Cole, ISBN 978-0-534-37660-4
  3. ^ a b c d Zygmund, Antoni (1968), Trigonometric Series (2nd ed.), Cambridge University Press (published 1988), ISBN 978-0-521-35885-9
  4. ^ Córdoba, A., "La formule sommatoire de Poisson", Comptes Rendus de l'Académie des Sciences, Série I, 306: 373–376
  5. ^ Hörmander, L. (1983), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., vol. 256, Springer, doi:10.1007/978-3-642-96750-4, ISBN 3-540-12104-8, MR 0717035
  6. ^ Oppenheim, Alan V.; Schafer, Ronald W.; Buck, John R. (1999). Discrete-time signal processing (2nd ed.). Upper Saddle River, N.J.: Prentice Hall. ISBN 0-13-754920-2. samples of the Fourier transform of an aperiodic sequence x[n] can be thought of as DFS coefficients of a periodic sequence obtained through summing periodic replicas of x[n].
  7. ^ Deitmar, Anton; Echterhoff, Siegfried (2014), Principles of Harmonic Analysis, Universitext (2 ed.), doi:10.1007/978-3-319-05792-7, ISBN 978-3-319-05791-0
  8. ^ a b Grafakos, Loukas (2004), Classical and Modern Fourier Analysis, Pearson Education, Inc., pp. 253–257, ISBN 0-13-035399-X
  9. ^ a b c Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, ISBN 978-0-691-08078-9
  10. ^ Katznelson, Yitzhak (1976), An introduction to harmonic analysis (Second corrected ed.), New York: Dover Publications, Inc, ISBN 0-486-63331-4
  11. ^ Kinayman, Noyan; Aksun, M. I. (1995). "Comparative study of acceleration techniques for integrals and series in electromagnetic problems". Radio Science. 30 (6): 1713–1722. Bibcode:1995RaSc...30.1713K. doi:10.1029/95RS02060. hdl:11693/48408.
  12. ^ Woodward, Philipp M. (1953). Probability and Information Theory, with Applications to Radar. Academic Press, p. 36.
  13. ^ H. M. Edwards (1974). Riemann's Zeta Function. Academic Press, pp. 209–11. ISBN 0-486-41740-9.
  14. ^ Cohn, Henry; Elkies, Noam (2003), "New upper bounds on sphere packings I", Ann. of Math., 2, 157 (2): 689–714, arXiv:math/0110009, doi:10.4007/annals.2003.157.689, MR 1973059

Further reading

Read other articles:

Bagian dari seri tentang Pandangan Kristen Kristus Kristologi Nama dan Gelar Riwayat Hidup Injil Keselarasan Injil Petilasan Beribunda Perawan Kelahiran Pembaptisan Karya Pelayanan Khotbah di Bukit Mukjizat Perumpamaan Penistaan Penyaliban Penguburan Kebangkitan Kenaikan Ketaatan Bersemayam di Surga Perantaraan Kedatangan Ke-2 Relikui Isa (Pandangan Islam) Almasih Injil Maryam Hawariyun Wafat Almahdi Hari Kiamat Pusara Latar Belakang Latar Belakang Perjanjian Baru Bahasa Tutur Yesus Ras Yesus...

 

 

Bagian dari seriGereja Katolik menurut negara Afrika Afrika Selatan Afrika Tengah Aljazair Angola Benin Botswana Burkina Faso Burundi Chad Eritrea Eswatini Etiopia Gabon Gambia Ghana Guinea Guinea-Bissau Guinea Khatulistiwa Jibuti Kamerun Kenya Komoro Lesotho Liberia Libya Madagaskar Malawi Mali Maroko Mauritania Mauritius Mesir Mozambik Namibia Niger Nigeria Pantai Gading Republik Demokratik Kongo Republik Kongo Rwanda Sao Tome dan Principe Senegal Seychelles Sierra Leone Somalia Somaliland ...

 

 

Penghargaan Filmfare untuk Aktris TerbaikPenerima tahun 2020: Alia BhattDeskripsiPenampilan Terbaik dari seorang Aktris dalam suatu Peran UtamaNegaraIndiaDipersembahkan olehThe Times GroupDiberikan perdana1954Pemegang gelar saat iniAlia Bhatt Gully Boy (2020)Penghargaan terbanyakNutanKajol (5)Nominasi terbanyakMadhuri Dixit (14)Situs webfilmfare.com Penghargaan Filmfare untuk Aktris Terbaik adalah sebuah penghargaan yang diberikan oleh The Times Group sebagai bagian dari acara Penghargaan Fil...

Halaman ini berisi artikel tentang Vicky Prasetyo. Untuk Vicky Prasetyo Rungkad, lihat Vicky Tri Prasetyo. Vicky PrasetyoLahirHendrianto Prasetyo18 April 1984 (umur 39)Bekasi, Jawa Barat, IndonesiaKebangsaanIndonesiaNama lainVicky PrasetyoPekerjaanSelebriti, Pelawak, Presenter, PenyanyiTahun aktif2015–sekarangPartai politikPerindoSuami/istriRama Nuraini ​ ​(m. 2005; c. 2014)​ Angel Lelga ​ ​(m. 2018;...

 

 

Radio station in Boca Raton, FloridaWKISBoca Raton, FloridaBroadcast areaSouth FloridaFrequency99.9 MHz (HD Radio)BrandingKiss Country 99.9ProgrammingLanguage(s)EnglishFormatCountry musicSubchannelsHD2: Sports radio (WQAM)HD3: Sports gambling The BetHD4: Israeli RadioOwnershipOwnerAudacy, Inc.(Audacy License, LLC, as Debtor-in-Possession)Sister stationsWAXYWLYFWMXJWPOWWQAMWSFSHistoryFirst air dateSeptember 1, 1965 (1965-09-01)Former call signsWWOG (1965–79)WKQS-FM (1979–86)...

 

 

Unfinished Portrait Ilustrasi edisi Inggris dan AS pertamaPengarangMary Westmacott (pseudonim Agatha Christie)Perancang sampulHookway CowlesNegaraBritania RayaBahasaInggrisGenreTragediPenerbitCollinsTanggal terbitMaret 1934Jenis mediaCetak (sampul keras & sampul kertas)Halaman320 halamanDidahului olehPembunuhan di Orient Express Diikuti olehMisteri Listerdale Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan...

Kuil Jing'anBalairung kuil Jing'anAgamaAfiliasiBuddhaLokasiLokasinya di ShanghaiKoordinat31°13′25″N 121°26′43″E / 31.223493°N 121.445314°E / 31.223493; 121.445314Koordinat: 31°13′25″N 121°26′43″E / 31.223493°N 121.445314°E / 31.223493; 121.445314ArsitekturRampung247 M Kuil Jing'an (Hanzi sederhana: 静安寺; Hanzi tradisional: 靜安寺; Pinyin: Jìng'ān Sì; bahasa Shanghai: Zin'ue Zy; harfiah: 'Kuil Pe...

 

 

Australian stage and screen actress (1897–1992) DameJudith AndersonAC DBEAnderson in The Strange Love of Martha Ivers (1946)BornFrances Margaret Anderson(1897-02-10)10 February 1897Adelaide, Colony of South AustraliaDied3 January 1992(1992-01-03) (aged 94)Santa Barbara, California, U.S.OccupationActressYears active1915–1987Spouses Benjamin Harrison Lehmann ​ ​(m. 1937; div. 1939)​ Luther Greene ​ ​(m. 1...

 

 

Pakistani politician Pir Sabir Shahپر سبیر شہMember of the Senate of PakistanIncumbentAssumed office 18 March 201818th Chief Minister of the North-West Frontier ProvinceIn office20 October 1993 – 25 February 1994GovernorKhurshid Ali KhanPreceded byMufti Muhammad AbbasSucceeded byAftab Ahmad Khan SherpaoAdvisor to the Prime MinisterIn office1997–1999Prime MinisterNawaz Sharif Personal detailsBornSyed Muhammad Sabir Shah (1955-03-13) 13 March 1955 (age 69)SirikotPo...

American period drama television series Halt and Catch FireGenrePeriod dramaCreated by Christopher Cantwell Christopher C. Rogers Starring Lee Pace Scoot McNairy Mackenzie Davis Kerry Bishé Toby Huss Aleksa Palladino Theme music composerTrentemøllerComposerPaul HaslingerCountry of originUnited StatesOriginal languageEnglishNo. of seasons4No. of episodes40 (list of episodes)ProductionExecutive producers Christopher Cantwell Christopher C. Rogers Jonathan Lisco Mark Johnson Melissa Bernstein ...

 

 

House elections for the 16th U.S. Congress 1818–19 United States House of Representatives elections ← 1816 & 1817 April 26, 1818 – August 12, 1819[a] 1820 & 1821 → All 186[b] seats in the United States House of Representatives94 seats needed for a majority   Majority party Minority party   Leader Henry Clay John Sergeant Party Democratic-Republican Federalist Leader's seat Kentucky 2nd Pennsylvania 1st Last electi...

 

 

Island in the Bering Sea in Alaska For other uses, see Hall Island. class=notpageimage| Location in Alaska Hall Island (Russian: Холл) is a small island located 3.5 miles (5.6 km) to the northwest of St. Matthew Island in the Bering Sea in Alaska, United States. It serves as a haulout site for Pacific walrus. It is 5 miles (8 km) in length and has a land area of 6.2 square miles (16 km2). The highest point is 1,610 feet (490 m). Hall Island is uninhabited. It is part o...

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言,清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日(哈薩克蘇維埃社會主義共和國總統) 哈萨克斯坦 哈萨克斯坦政府...

 

 

Where East Is EastPoster rilis teatrikalSutradaraTod BrowningProduserHunt StrombergIrving Thalberg (tak disebutkan)Ditulis olehWaldemar Young (adaptasi)E. Richard Schayer (skenario)Joseph Farnham (intertitel)CeritaTod BrowningHarry Sinclair DragoPemeranLon ChaneyLupe VélezEstelle TaylorLloyd HughesPenata musikWilliam AxtSinematograferHenry SharpPenyuntingHarry ReynoldsIrving Thalberg (tak disebutkan)DistributorMetro-Goldwyn-MayerTanggal rilis 4 Mei 1929 (1929-05-04) Durasi65 menit...

 

 

Austrian archduchess Francesca Thyssen-BornemiszaFrancesca promoting a 'Tibet event', in Vienna, Austria, on 26 May 2012BornFrancesca Anna Dolores Freiin von Thyssen-Bornemisza de Kászon et Impérfalva (1958-06-07) 7 June 1958 (age 66)Lausanne, SwitzerlandSpouse Karl von Habsburg ​ ​(m. 1993; div. 2017)​IssueEleonore von HabsburgFerdinand Zvonimir von HabsburgGloria von HabsburgFatherBaron Hans Heinrich Thyssen-BornemiszaMotherFiona Campbe...

Copia del bassorilievo noto come Zodiaco di Dendera, proveniente dal Tempio di Dendera e conservato al Museo del Louvre: esso rappresenta la posizione dei corpi celesti e descrive precisamente due giorni: il 25 settembre del 52 a.C. e il 7 marzo del 51 a.C.[1] Hordesher (Horus Rosso; anche nelle grafie Hordsheru e Hordescheru, e Seba-iabti-pet, Astro orientale del cielo; in greco: Ertosi[2]) è una divinità egizia appartenente alla religione dell'antico Egitto, dalle connotaz...

 

 

University of Iowa College of Public HealthEstablished:1999; 25 years ago (1999)Type:PublicDean:Edith ParkerLocation:Iowa City, IowaWebsite:www.public-health.uiowa.edu The University of Iowa College of Public Health is one of eleven colleges based in the University of Iowa. Established on July 1, 1999, the college's roots originate in the Department of Preventive Medicine and Environmental Health, and with the Graduate Program in Hospital and Health Administration. Both of t...

 

 

River in north-central California South Fork Eel RiverMeander in the South Fork Eel RiverMap of the Eel River drainage basin showing the South ForkLocationCountryUnited StatesStateCaliforniaPhysical characteristicsSource  • locationBranscomb, California • coordinates39°36′46″N 123°29′34″W / 39.61278°N 123.49278°W / 39.61278; -123.49278[1] • elevation2,500 ft (760 m) MouthEel River&#...

Not to be confused with Hidden Valley town camp, one of Alice Springs town camps. Suburb of Darwin, the Northern Territory, AustraliaHidden ValleyDarwin, Northern TerritoryHidden Valley RacewayHidden ValleyCoordinates12°26′41″S 130°54′42″E / 12.44472°S 130.91167°E / -12.44472; 130.91167Population0 (2016 census)[1]Established21 April 2004[2]Postcode(s)0828Location8.8 km (5 mi) from Darwin CityLGA(s) City of Darwin[3 ...

 

 

UdineseNama lengkapUdinese Calcio SpAJulukanBianconeri (Putih Hitam), Zebrette (Zebra Kecil)Berdiri Daftar 30 November 1896; 127 tahun lalu (30 November 1896), sebagai Società Udinese di Ginnastica e Scherma.5 Juli 1911; 113 tahun lalu (1911-07-05), sebagai Associazione del Calcio Udine1919; 105 tahun lalu (1919), sebagai Associazione Sportiva Udinese1925; 99 tahun lalu (1925), sebagai Associazione Calcio Udinese1978; 46 tahun lalu (1978), sebagai Udinese Calcio Stad...