arXiv:2007.03981v1 [math.FA] 8 Jul 2020 (1.2.4) ntrso h ore rnfr,terltosi reads relationship the transform, Fourier the of terms In rnfr fterda function radial the of transform Φ (1.2.3) points boundary to extends relationship above ee ti motn that important is it Here, 1.1. ie and line, hr h usrp infista eaedaigwt h Fou the with dealing are we that signifies subscript the where let hc easncl rvddta Im that provided nicely decays which (1.2.1) 1.2. rnfr (with transform If (1.2.2) case this in Gaussian, another srda,btpet rirr,i,say, if, arbitrary, pretty but radial, is f 2000 e od n phrases. and words Key hsrsac a upre yVtnkprdt(VR). Vetenskapsrådet by supported was research This h· srda,then radial, is , ai oaini h plane. the in notation Basic h ore rnfr frda functions. radial of transform Fourier The ·i NRWBKN AKNHDNAM LOS MONTES-RODRÍGUEZ ALFONSO HEDENMALM, HAAKAN BAKAN, ANDREW ahmtc ujc Classification. Subject Mathematics d rs fciia est,suidb eeml n Montes- and Hedenmalm by fo studied density, uniqueness critical Heisenberg of the cross and Viazovska and Radchenko of A eoeteEcieninrpoutof product inner Euclidean the denote C bstract o h ope ln.W write We plane. complex the for Φ ˆ ( y eso nitreainbtenteuiuns seto t of aspect uniqueness the between interrelation an show We . : ) x = = f ˆ srda o.Apriua xml farda ucini th is function radial a of example particular A too. radial is Z ( ore nqees esneguiuns,Klein-Gordon uniqueness, Heisenberg uniqueness, Fourier x R 1 , . . . , G f ˆ ˆ ( τ Φ τ y ( : ) ( y →− 7→ x x ) = : ) φ d and ) ( Z = G τ 1 ˆ R Φ )d /τ τ Z d ( rmr 21,3A5 35L10. 37A45, 42B10, Primary ewrite We R e y τ equals ORE NQEESIN UNIQUENESS FOURIER rsre yeblcspace hyperbolic preserves − : ) y G = i2 = τ = π > τ Z ( h x N AYAVIAZOVSKA MARYNA AND x φ  ( R , ) y y τ i φ  i 1 ∈ d  ,ta s when is, that 0, τ , . . . , ( Φ i − f .I 1. τ Z L  ( H d G ( )d x / − 1 x o h integers, the for 2 τ ( )dvol d ) o h pe half-plane upper the for e R τ ntroduction / ( R τ y 2 x = − .I iwo h ucinliett 121,teFourier the (1.2.1), identity functional the of view In ). G d = d i : ) ∈ π . )) φ − | ˆ y Z = o function a For R 1 1 1 d | 2 /τ R  ( /τ e x swl.W o osdrterelationship the consider now We well. as − ( e i ) πτ y = i , πτ ) | | x φ x orge.Ti a enkonsne2017. since known been has This Rodríguez. 2  | | | x 2 ( τ 2 τ dvol | i , 2 τ  φ  h li-odneuto n h lattice- the and equation Klein-Gordon the r ∈ )d , − ( d H τ τ Z / d H )d 2 h ore rnfr faGusa is Gaussian a of transform Fourier The . + ( irtasomon transform rier = G ntesneo itiuinter,the theory, distribution of sense the In . x ercn ore neplto formula interpolation Fourier recent he τ, o h oiieintegers, positive the for : ) − Z R 1 f /τ = 4 R equation.  ( ∈ d y τ i { x ) L x  τ , 1 − 1 · · · ∈ ∈ d ( / R AYORADCHENKO, DANYLO , 2 R C d e d d ,w osdrisFourier its consider we ), − Im : x . i π d Gaussian e . | y | 2 /τ R > τ 1 φ hstlsu that us tells This . ( τ 0 )d } oevr we Moreover, . τ. R o h real the for 2 ANDREW BAKAN, HAAKAN HEDENMALM, ALFONSO MONTES-RODRÍGUEZ, DANYLO RADCHENKO, AND MARYNA VIAZOVSKA

We now rewrite the relationships (1.2.3) and (1.2.4) using integration by parts. If φ is a tempered test function, integration by parts applied to (1.2.3) gives that

i 2 (1.2.5) Φ(x) = eiπτ|x| φ′(τ)dτ, x ∈ Rd \{0}. π|x|2 ZR A similar application of integration by parts to (1.2.4) gives that

(4−d)/2 (4−d)/2 i τ −iπ|y|2/τ 1 τ −iπ|y|2/τ (1.2.6) Φˆ (y) = φ(τ)∂τe dτ = ∂τ φ(τ) e dτ, π|y|2 ZR  i  iπ|y|2 ZR  i   where y ∈ Rd \{0}, and we need to be a little careful around τ = 0 unless d ∈{0, 2, 4}. We now restrict to d := 4, so that (1.2.6) simplifies to

1 2 (1.2.7) Φˆ (y) = φ′(τ)e−iπ|y| /τdτ, y ∈ R4 \{0}. iπ|y|2 ZR

As for the test function φ, we could think of the relations (1.2.5) and (1.2.7) as the fundamental relationship in place of (1.2.3) and (1.2.4). This allows us to place conditions on the derivative φ′ in place of φ. For our considerations, we need one more piece of information:

(1.2.8) φ′(τ)dτ = 0, ZR which is obvious for tempered test functions φ.

2. Main results 2.1. The setup. We consider R4 only, and consider for ψ ∈ L1(R) the associated function

1 2 (2.1.1) Ψ(x) = − eiπτ|x| ψ(τ)dτ, x ∈ R4 \{0}. iπ|x|2 ZR

′ This is the same as the relation (1.2.5) only ψ replaces φ while Ψ replaces Φ. For real τ, let Hτ denote the function

2 eiπ|x| τ (2.1.2) H (x):= , x ∈ R4 \{0}, τ iπ|x|2 which is locally integrable and decays at infinity. As such, it is a tempered distribution, and its Fourier transform equals

2 1 − e−iπ|y| /τ 1 (2.1.3) Hˆ τ(y) = = − H−1/τ(y). iπ|y|2 iπ|y|2

This is the integrated version of the Fourier transformation law for Gaussians (1.2.2) in dimension d = 4. Indeed, if we differentiate with respect to τ in (2.1.3), we recover (1.2.2). In other words, differentiation with respect to τ gives us that Hˆ τ + H−1/τ is independent of τ. By letting τ tend to 0, the identification with the Newton kernel as in (2.1.3) follows from the Riemann-Lebesgue lemma. In view of (2.1.3), the Fourier transform of the function Ψ given by (2.1.1) is in the sense of distribution theory

1 1 −iπ|y|2/τ 4 (2.1.4) Ψˆ (y) = − Hˆ τ(y)ψ(τ)dτ = − ψ(τ)dτ + e ψ(τ)dτ, y ∈ R \{0}. ZR iπ|y|2 ZR iπ|y|2 ZR

This formula extends (1.2.7). FOURIER UNIQUENESS IN R4 3

2.2. Fourier uniqueness meets Heisenberg uniqueness and the Klein-Gordon equation. In [3], in the context of the Klein-Gordon equation in 1 + 1 dimensions, Hedenmalm and Montes found discrete uniqueness sets along characteristic directions, based on ideas from dynamical systems and ergodic theory. We apply the approach in [3], [4], [5], and [1] to obtain a uniqueness result for the pair ψ, Ψ 1 connected by (2.1.1). Let H+(R) denote the Hardy space of the upper half-plane. It may be defined as the subspace of functions in L1(R) with Poisson harmonic extension to H which is holomorphic. Theorem 2.2.1. Let ψ ∈ L1(R) and Ψ be as above. If Ψ(x) = Ψˆ (y) = 0 holds for all x, y ∈ Z4 \{0}, and if −2 1 4 Ψ(x) = o(|x| ) as |x| → 0, then ψ ∈ H+(R) and, as a consequence, Ψ(x) ≡ 0 on R \{0}. Proof. In view of the assumption that Ψ(x) = o(|x|−2) as |x| → 0, it follows from (2.1.1) that ψ ∈ L1(R) annihilates the constant function 1. Moreover, by the Lagrange (or Jacobi) four squares theorem, each positive integer may be written as |x|2 for some x ∈ Z4 \{0}. Consequently, we see from (1.2.5) and (1.2.7) ∞ − that ψ also annihilates the subspace of L (R) spanned by the functions eiπmτ and e iπn/τ, where m, n ∈ Z+ and τ is the real variable. By Theorem 1.8.2 in [4], which relies on methods developed in [5] and is 1 motivated by [3], we may conclude that ψ ∈ H+(R). Finally, in view of the standard Fourier analysis 1 4 characterization of H+(R), it follows from this and (1.2.5) that Ψ= 0 on R \{0}.  ′ We return to the initial setup with φ and Φ. We think of φ = ψ and Φ = Ψ. Let C0(R) denote the space of continuous functions on R with limit value 0 at infinity. Then the condition at the origin in Theorem 2.2.1 may be replaced by φ ∈ C0(R). ′ 1 Corollary 2.2.2. Let Φ be given by (1.2.5), where φ ∈ C0(R) with φ ∈ L (R) and d = 4. If Φ(x) = Φˆ (y) = 0 for 4 ′ 1 4 all x, y ∈ Z \{0}, then φ ∈ H+(R) and, as a consequence, Φ(x) ≡ 0 on R \{0}. Remark 2.2.3. The above theorem is a four-dimensional analogue of the uniqueness part of the Fourier interpolation formula found by Radchenko and Viazovska [6]. That work in its turn was motivated by Fourier interpolation formulæ associated with optimizing the Cohn-Elkies method for sphere packing [7], [2].

References [1] Canto-Marín, F., Hedenmalm, H., Montes-Rodríguez, A., Perron-Frobenius operators and the Klein-Gordon equation. J. Eur. Math. Soc. (JEMS) 16 (2014), no. 1, 31-66. [2] Cohn, H., Kumar, A., Miller, S. D., Radchenko, D., Viazovska, M., The sphere packing problem in dimension 24. Ann. of Math. (2) 185 (2017), no. 3, 1017-1033. [3] Hedenmalm, H., Montes-Rodríguez, A., Heisenberg uniqueness pairs and the Klein-Gordon equation. Ann. of Math. 173 (2011), no. 3, 1507-1527. [4] Hedenmalm, H., Montes-Rodríguez, A., The Klein-Gordon equation, the Hilbert transform, and dynamics of Gauss-type maps. J. Eur. Math. Soc. 22 (2020), 1703-1757. [5] Hedenmalm, H., Montes-Rodríguez, A., The Klein-Gordon equation, the Hilbert transform, and Gauss-type maps: H∞ approximation. J. Anal. Math., to appear. [6] Radchenko, D., Viazovska, M., Fourier interpolation on the real line. Publ.Math. Inst. Hautes Études Sci. 129 (2019), 51-81. [7] Viazovska, M., The sphere packing problem in dimension 8. Ann. of Math. (2) 185, no. 3, 1017-1033.

Bakan: Institute of Mathemtics, National Academy of Sciences of Ukraine, Kiev 01601, Ukraine E-mail address: [email protected]

Hedenmalm: Department of Mathematics, KTH Royal Institute of Technology, S–10044 Stockholm,Sweden E-mail address: [email protected]

Montes-Rodr´iguez: Department of Mathematical Analysis,University of Sevilla,Seville,Spain E-mail address: [email protected]

Radchenko: Department of Mathematics, ETHZ, R¨amistrasse 101, CH-8092 Z¨urich,Switzerland E-mail address: [email protected]

Viazovska: Institute of Mathematics, EPFL, CH-1015 Lausanne,Switzerland E-mail address: [email protected]