Fourier analytic techniques in geometry and analysis

Lead Research Organisation: University of St Andrews
Department Name: Mathematics and Statistics

Abstract

A powerful discovery of Joseph Fourier in the early 1800s was that certain functions could be written as an infinite sum of simple 'wave-like functions'. Such a decomposition is now known as a Fourier series, and has had wide-ranging applications across mathematics and wider science, for example in signal processing and in solving complicated differential equations. The Fourier transform describes how quickly the Fourier series converges, i.e. the decay rate of the amplitudes of the waves in the decomposition as frequency increases. One way of viewing this is that the faster the Fourier transform decays, the more wave-like the function was to begin with. Thus, some geometric information about the original object is captured by Fourier decay. This research project considers the Fourier transform of measures (mass distributions), which are analogous to functions. It is well known that the Fourier transform of a measure encodes a lot of information about its geometric structure, for example concerning its dimension, curvature properties, and arithmetic resonances. We investigate the Fourier transform, and the geometric information it encodes, in several challenging contexts. For example, we consider how it is affected when the original measure is distorted under standard geometric operations, such as projecting a measure in 2 dimensional space onto lines. Similar questions about the Hausdorff dimension of sets and measures are at the heart of geometric measure theory and we will establish Fourier analytic analogues of classical results in this direction. We also consider the Fourier transform in probabilistic settings. Brownian motion is a fundamental random process - first observed as the seemingly random path a grain of pollen follows when suspended in water - and is our archetypal example. We will consider the Fourier transform of natural (random) measures associated with Brownian motion and related processes. Finally, we will consider dynamically invariant measures, where we will use transfer operators and other tools from the thermodynamic formalism to analyse the Fourier decay.

Planned Impact

The main source of impact from this project will be academic, however, there are also several promising avenues for indirect impact and pathways to impact, for example, through the PI and his passion for public engagement and education. In order to accelerate the impact of the work, the findings of this project will be made available online via the arXiv and links to these articles will be posted on the PI and Co-I's personal homepages at the University of St Andrews as well as the University's online research repository, ensuring open access. The work will also be submitted to peer reviewed journals of the highest standard and the findings will be presented at both national and international conferences and seminars.
The PI will ensure that he is well-placed to act upon any avenues for wider societal impact which arise during the project. This will be achieved through training and interaction. On the training side, in 2017 the PI became the first pure mathematician to be awarded a place on the highly competitive Scottish Crucible, which is an intensive leadership and development programme designed to stimulate collaboration and accelerate impact outside the academic community. On the interaction side, the PI will liaise with the University of St Andrews Knowledge Transfer Centre, which is dedicated to increasing the wider use and positive impact of the University's research activities. The Fourier transform, which is the central object of study in this project, has had an enormous amount of impact on society and the economy over the last 100 years. For example, it allows a complex signal to be broken down into its constituent frequencies (a Fourier series), which has wide-ranging applications in signal processing and time series analysis. This project will further develop the mathematics behind the Fourier transform, which will contribute to the continued exploration into applications and future opportunities for impact.
The PI is well-equipped to disseminate the findings of this research project to both the academic community and wider society over the coming years. He has taken part in numerous outreach and engagement activities and has won several awards for his teaching. The Co-I also has a strong reputation for outreach and engagement. He is active in the public promotion of mathematics and has given many talks to science festivals and school audiences.
Work from this project will contribute to some of the PI and Co-I's future endeavours outside research, for example, in teaching advanced undergraduate courses, running summer schools, public engagement (science festivals etc), and in training future research students and PDRAs. In July 2017 the PI will give an invited course on fractal geometry at the LMS Undergraduate Summer School, which will be hosted by the University of Manchester. The course is aimed at top undergraduates from across the country and will involve aspects of the PI's active research projects. The PI was recently invited to participate in the 2018 British Congress of Mathematics Education and, together with Tom Kempton (Manchester), the PI is planning to submit a proposal to the Edinburgh Science Festival to give a workshop entitled `Seven big ideas in mathematics', which will attempt to communicate some cutting edge ideas from across mathematics to a general audience.
Finally, this research project will provide a platform for stimulating future impact. There are several talented early career researchers currently working on fractal geometry in the UK and abroad and the PI sees this as an excellent opportunity to foster the next generation of researchers in the field. The Co-I has a great deal of experience in supervising PDRAs and PhD students, which will be extremely beneficial to the project. The 2015 EPSRC Strategic Plan highlights the desire to `nurture the next generation of skilled researchers and innovators' and this is a central part of our short and long term vision.

Publications

10 25 50
publication icon
Burrell S (2020) The dimensions of inhomogeneous self-affine sets in Annales Academiae Scientiarum Fennicae Mathematica

publication icon
Burrell S (2021) Projection theorems for intermediate dimensions in Journal of Fractal Geometry

publication icon
Burrell S (2022) The fractal structure of elliptical polynomial spirals in Monatshefte für Mathematik

publication icon
Bárány B (2023) On the Convergence Rate of the Chaos Game in International Mathematics Research Notices

publication icon
Chen H (2021) ON HÖLDER MAPS AND PRIME GAPS in Real Analysis Exchange

publication icon
Chen H (2022) Dimensions of the popcorn graph in Proceedings of the American Mathematical Society

publication icon
FALCONER K (2020) -spectra of measures on planar non-conformal attractors in Ergodic Theory and Dynamical Systems

publication icon
Falconer K (2022) Minkowski dimension for measures in Proceedings of the American Mathematical Society

publication icon
Falconer K (2019) Intermediate dimensions in Mathematische Zeitschrift

 
Description We have made significant progress on a number of projects. For example, concerning arithmetic structure. The connections between Fourier transforms and arithmetic structure are well-known, such as the fact that certain Fourier decay guarantees existence of arithmetic progressions in discrete settings, see Roth's theorem on 3-term arithmetic progressions inside sets with positive density. We have studied arithmetic structure by analysing dimension growth of "iterated sumsets", arXiv:1802.03324, and work continues relating dimension and density to arithmetic, or approximate arithmetic structure. In a slightly different direction, we have proved new results giving dimension bounds (Fourier, Hausdorff and Assouad) for sets which uniformly avoid arithmetic progressions (see arXiv1910.10074, published in Journal of Fourier Analysis and Applications). This work sits on the boundary between analysis and arithmetic combinatorics and our results shed light on the connections between these areas.

We have made partial progress on some of the major goals outlined in the research proposal. In particular, Hickman and Fraser are actively working on computing the Fourier dimensions of graphs of random functions. Falconer (co-I) has used Fourier analytic techniques to derive new estimates for the dimensions of exceptional sets in projection theorems, see arxiv:1901.11014.

Natalia Jurga (PDRA) has made substantial progress on a number of projects since joining the team in April 2020. For example, together with the PI she proved new dimension formula for sets invariant under the toral endomorphism (xm, xn), see arXiv:2009.04208. She also provided the first example of an invariant set for this system with distinct upper and lower box dimension: a very surprising result (arXiv:2102.04375)

The PI recently solved the planar version of the infamous distance set problem applied to Assouad dimension: https://arxiv.org/abs/2004.12001, and made substantial new contributions to the Sullivan dictionary in the setting of conformal dynamics: https://arxiv.org/abs/2007.15493. In 2020 the PI published a 269 page research monograph entitled Assouad Dimension and Fractal Geometry (CUP Tracts in Math Series).

Together with Kroon and Harris, the PI has proved new estimates for the Fourier dimension of Kakeya type sets and (d,k)-sets with restricted orientations. This paper 'On the Fourier dimension of (d,k)-sets and Kakeya sets with restricted directions' (arXiv:2105.11414) was recently published in Mathematische Zeitschrift. During this work we also found the Fourier dimension of cones in d-space.

Several substantial projects which began as part of this research programme remain on-going and will likely be completed several months, maybe even 1-2 years after the completion of the grant.
Exploitation Route We imagine our results will be of interest to a wide mathematical audience. The tools and techniques we have developed may be useful for solving other problems.
Sectors Education,Other

URL http://www.mcs.st-and.ac.uk/~jmf32/papers.html
 
Description Dynamics on fractals, invited public lecture, Thermodynamic formalism in dynamical systems, ICMS (19/06/18) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Public/other audiences
Results and Impact The PI, Jonathan Fraser, gave the invited public lecture at the meeting Thermodynamic formalism in dynamical systems hosted by the ICMS in Edinburgh in June 2018. This talk was well attended by a broad audience consisting of conference participants, members of the local community, schools, etc. It was well-received.
Year(s) Of Engagement Activity 2018
URL https://www.icms.org.uk/thermodynamicformalism.php