Monthly Archive

You are currently browsing the monthly archive for January 2021.

246B, Notes 2: Some connections with the Fourier transform

23 January, 2021 in 246B - complex analysis, math.CA, math.CV | Tags: , , , | by | 37 comments

Previous set of notes: Notes 1. Next set of notes: Notes 3.

In Exercise 5 (and Lemma 1) of 246A Notes 4 we already observed some links between complex analysis on the disk (or annulus) and Fourier series on the unit circle:

  • (i) Functions {f} that are holomorphic on a disk {\{ |z| < R \}} are expressed by a convergent Fourier series (and also Taylor series) {f(re^{i\theta}) = \sum_{n=0}^\infty r^n a_n e^{in\theta}} for {0 \leq r < R} (so in particular {a_n = \frac{1}{n!} f^{(n)}(0)}), where

    \displaystyle \limsup_{n \rightarrow +\infty} |a_n|^{1/n} \leq \frac{1}{R}; \ \ \ \ \ (1)

     conversely, every infinite sequence {(a_n)_{n=0}^\infty} of coefficients obeying (1) arises from such a function {f}.
  • (ii) Functions {f} that are holomorphic on an annulus {\{ r_- < |z| < r_+ \}} are expressed by a convergent Fourier series (and also Laurent series) {f(re^{i\theta}) = \sum_{n=-\infty}^\infty r^n a_n e^{in\theta}}, where

    \displaystyle \limsup_{n \rightarrow +\infty} |a_n|^{1/n} \leq \frac{1}{r_+}; \limsup_{n \rightarrow -\infty} |a_n|^{1/|n|} \leq \frac{1}{r_-}; \ \ \ \ \ (2)

     conversely, every doubly infinite sequence {(a_n)_{n=-\infty}^\infty} of coefficients obeying (2) arises from such a function {f}.
  • (iii) In the situation of (ii), there is a unique decomposition {f = f_1 + f_2} where {f_1} extends holomorphically to {\{ z: |z| < r_+\}}, and {f_2} extends holomorphically to {\{ z: |z| > r_-\}} and goes to zero at infinity, and are given by the formulae

    \displaystyle f_1(z) = \sum_{n=0}^\infty a_n z^n = \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{w-z}\ dw

    where {\gamma} is any anticlockwise contour in {\{ z: |z| < r_+\}} enclosing {z}, and and

    \displaystyle f_2(z) = \sum_{n=-\infty}^{-1} a_n z^n = - \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{w-z}\ dw

    where {\gamma} is any anticlockwise contour in {\{ z: |z| > r_-\}} enclosing {0} but not {z}.

This connection lets us interpret various facts about Fourier series through the lens of complex analysis, at least for some special classes of Fourier series. For instance, the Fourier inversion formula {a_n = \frac{1}{2\pi} \int_0^{2\pi} f(e^{i\theta}) e^{-in\theta}\ d\theta} becomes the Cauchy-type formula for the Laurent or Taylor coefficients of {f}, in the event that the coefficients are doubly infinite and obey (2) for some {r_- < 1 < r_+}, or singly infinite and obey (1) for some {R > 1}.

It turns out that there are similar links between complex analysis on a half-plane (or strip) and Fourier integrals on the real line, which we will explore in these notes.

We first fix a normalisation for the Fourier transform. If {f \in L^1({\bf R})} is an absolutely integrable function on the real line, we define its Fourier transform {\hat f: {\bf R} \rightarrow {\bf C}} by the formula

\displaystyle \hat f(\xi) := \int_{\bf R} f(x) e^{-2\pi i x \xi}\ dx. \ \ \ \ \ (3)

From the dominated convergence theorem {\hat f} will be a bounded continuous function; from the Riemann-Lebesgue lemma it also decays to zero as {\xi \rightarrow \pm \infty}. My choice to place the {2\pi} in the exponent is a personal preference (it is slightly more convenient for some harmonic analysis formulae such as the identities (4), (5), (6) below), though in the complex analysis and PDE literature there are also some slight advantages in omitting this factor. In any event it is not difficult to adapt the discussion in this notes for other choices of normalisation. It is of interest to extend the Fourier transform beyond the {L^1({\bf R})} class into other function spaces, such as {L^2({\bf R})} or the space of tempered distributions, but we will not pursue this direction here; see for instance these lecture notes of mine for a treatment.

Exercise 1 (Fourier transform of Gaussian) If {a} is a complex number with {\mathrm{Re} a>0} and {f} is the Gaussian function {f(x) := e^{-\pi a x^2}}, show that the Fourier transform {\hat f} is given by the Gaussian {\hat f(\xi) = a^{-1/2} e^{-\pi \xi^2/a}}, where we use the standard branch for {a^{-1/2}}.

The Fourier transform has many remarkable properties. On the one hand, as long as the function {f} is sufficiently “reasonable”, the Fourier transform enjoys a number of very useful identities, such as the Fourier inversion formula

\displaystyle f(x) = \int_{\bf R} \hat f(\xi) e^{2\pi i x \xi} d\xi, \ \ \ \ \ (4)

the Plancherel identity

\displaystyle \int_{\bf R} |f(x)|^2\ dx = \int_{\bf R} |\hat f(\xi)|^2\ d\xi, \ \ \ \ \ (5)

 and the Poisson summation formula

\displaystyle \sum_{n \in {\bf Z}} f(n) = \sum_{k \in {\bf Z}} \hat f(k). \ \ \ \ \ (6)

 On the other hand, the Fourier transform also intertwines various qualitative properties of a function {f} with “dual” qualitative properties of its Fourier transform {\hat f}; in particular, “decay” properties of {f} tend to be associated with “regularity” properties of {\hat f}, and vice versa. For instance, the Fourier transform of rapidly decreasing functions tend to be smooth. There are complex analysis counterparts of this Fourier dictionary, in which “decay” properties are described in terms of exponentially decaying pointwise bounds, and “regularity” properties are expressed using holomorphicity on various strips, half-planes, or the entire complex plane. The following exercise gives some examples of this:

Exercise 2 (Decay of {f} implies regularity of {\hat f}) Let {f \in L^1({\bf R})} be an absolutely integrable function.
  • (i) If {f} has super-exponential decay in the sense that {f(x) \lesssim_{f,M} e^{-M|x|}} for all {x \in {\bf R}} and {M>0} (that is to say one has {|f(x)| \leq C_{f,M} e^{-M|x|}} for some finite quantity {C_{f,M}} depending only on {f,M}), then {\hat f} extends uniquely to an entire function {\hat f : {\bf C} \rightarrow {\bf C}}. Furthermore, this function continues to be defined by (3).
  • (ii) If {f} is supported on a compact interval {[a,b]} then the entire function {\hat f} from (i) obeys the bounds {\hat f(\xi) \lesssim_f \max( e^{2\pi a \mathrm{Im} \xi}, e^{2\pi b \mathrm{Im} \xi} )} for {\xi \in {\bf C}}. In particular, if {f} is supported in {[-M,M]} then {\hat f(\xi) \lesssim_f e^{2\pi M |\mathrm{Im}(\xi)|}}.
  • (iii) If {f} obeys the bound {f(x) \lesssim_{f,a} e^{-2\pi a|x|}} for all {x \in {\bf R}} and some {a>0}, then {\hat f} extends uniquely to a holomorphic function {\hat f} on the horizontal strip {\{ \xi: |\mathrm{Im} \xi| < a \}}, and obeys the bound {\hat f(\xi) \lesssim_{f,a} \frac{1}{a - |\mathrm{Im}(\xi)|}} in this strip. Furthermore, this function continues to be defined by (3).
  • (iv) If {f} is supported on {[0,+\infty)} (resp. {(-\infty,0]}), then there is a unique continuous extension of {\hat f} to the lower half-plane {\{ \xi: \mathrm{Im} \xi \leq 0\}} (resp. the upper half-plane {\{ \xi: \mathrm{Im} \xi \geq 0 \}}) which is holomorphic in the interior of this half-plane, and such that {\hat f(\xi) \rightarrow 0} uniformly as {\mathrm{Im} \xi \rightarrow -\infty} (resp. {\mathrm{Im} \xi \rightarrow +\infty}). Furthermore, this function continues to be defined by (3).
Hint: to establish holomorphicity in each of these cases, use Morera’s theorem and the Fubini-Tonelli theorem. For uniqueness, use analytic continuation, or (for part (iv)) the Schwartz reflection principle.

Later in these notes we will give a partial converse to part (ii) of this exercise, known as the Paley-Wiener theorem; there are also partial converses to the other parts of this exercise.

From (3) we observe the following intertwining property between multiplication by an exponential and complex translation: if {\xi_0} is a complex number and {f: {\bf R} \rightarrow {\bf C}} is an absolutely integrable function such that the modulated function {f_{\xi_0}(x) := e^{2\pi i \xi_0 x} f(x)} is also absolutely integrable, then we have the identity

\displaystyle \widehat{f_{\xi_0}}(\xi) = \hat f(\xi - \xi_0) \ \ \ \ \ (7)

whenever {\xi} is a complex number such that at least one of the two sides of the equation in (7) is well defined. Thus, multiplication of a function by an exponential weight corresponds (formally, at least) to translation of its Fourier transform. By using contour shifting, we will also obtain a dual relationship: under suitable holomorphicity and decay conditions on {f}, translation by a complex shift will correspond to multiplication of the Fourier transform by an exponential weight. It turns out to be possible to exploit this property to derive many Fourier-analytic identities, such as the inversion formula (4) and the Poisson summation formula (6), which we do later in these notes. (The Plancherel theorem can also be established by complex analytic methods, but this requires a little more effort; see Exercise 8.)

The material in these notes is loosely adapted from Chapter 4 of Stein-Shakarchi’s “Complex Analysis”.

Read the rest of this entry »

The effective potential of an M-matrix

6 January, 2021 in math.AP, math.SP, paper | Tags: , , , , , | by | 5 comments

Marcel Filoche, Svitlana Mayboroda, and I have just uploaded to the arXiv our preprint “The effective potential of an {M}-matrix“. This paper explores the analogue of the effective potential of Schrödinger operators {-\Delta + V} provided by the “landscape function” {u}, when one works with a certain type of self-adjoint matrix known as an {M}-matrix instead of a Schrödinger operator.

Suppose one has an eigenfunction

\displaystyle (-\Delta + V) \phi = E \phi

of a Schrödinger operator {-\Delta+V}, where {\Delta} is the Laplacian on {{\bf R}^d}, {V: {\bf R}^d \rightarrow {\bf R}} is a potential, and {E} is an energy. Where would one expect the eigenfunction {\phi} to be concentrated? If the potential {V} is smooth and slowly varying, the correspondence principle suggests that the eigenfunction {\phi} should be mostly concentrated in the potential energy wells {\{ x: V(x) \leq E \}}, with an exponentially decaying amount of tunnelling between the wells. One way to rigorously establish such an exponential decay is through an argument of Agmon, which we will sketch later in this post, which gives an exponentially decaying upper bound (in an {L^2} sense) of eigenfunctions {\phi} in terms of the distance to the wells {\{ V \leq E \}} in terms of a certain “Agmon metric” on {{\bf R}^d} determined by the potential {V} and energy level {E} (or any upper bound {\overline{E}} on this energy). Similar exponential decay results can also be obtained for discrete Schrödinger matrix models, in which the domain {{\bf R}^d} is replaced with a discrete set such as the lattice {{\bf Z}^d}, and the Laplacian {\Delta} is replaced by a discrete analogue such as a graph Laplacian.

When the potential {V} is very “rough”, as occurs for instance in the random potentials arising in the theory of Anderson localisation, the Agmon bounds, while still true, become very weak because the wells {\{ V \leq E \}} are dispersed in a fairly dense fashion throughout the domain {{\bf R}^d}, and the eigenfunction can tunnel relatively easily between different wells. However, as was first discovered in 2012 by my two coauthors, in these situations one can replace the rough potential {V} by a smoother effective potential {1/u}, with the eigenfunctions typically localised to a single connected component of the effective wells {\{ 1/u \leq E \}}. In fact, a good choice of effective potential comes from locating the landscape function {u}, which is the solution to the equation {(-\Delta + V) u = 1} with reasonable behavior at infinity, and which is non-negative from the maximum principle, and then the reciprocal {1/u} of this landscape function serves as an effective potential.

There are now several explanations for why this particular choice {1/u} is a good effective potential. Perhaps the simplest (as found for instance in this recent paper of Arnold, David, Jerison, and my two coauthors) is the following observation: if {\phi} is an eigenvector for {-\Delta+V} with energy {E}, then {\phi/u} is an eigenvector for {-\frac{1}{u^2} \mathrm{div}(u^2 \nabla \cdot) + \frac{1}{u}} with the same energy {E}, thus the original Schrödinger operator {-\Delta+V} is conjugate to a (variable coefficient, but still in divergence form) Schrödinger operator with potential {1/u} instead of {V}. Closely related to this, we have the integration by parts identity

\displaystyle \int_{{\bf R}^d} |\nabla f|^2 + V |f|^2\ dx = \int_{{\bf R}^d} u^2 |\nabla(f/u)|^2 + \frac{1}{u} |f|^2\ dx \ \ \ \ \ (1)

for any reasonable function {f}, thus again highlighting the emergence of the effective potential {1/u}.

These particular explanations seem rather specific to the Schrödinger equation (continuous or discrete); we have for instance not been able to find similar identities to explain an effective potential for the bi-Schrödinger operator {\Delta^2 + V}.

In this paper, we demonstrate the (perhaps surprising) fact that effective potentials continue to exist for operators that bear very little resemblance to Schrödinger operators. Our chosen model is that of an {M}-matrix: self-adjoint positive definite matrices {A} whose off-diagonal entries are negative. This model includes discrete Schrödinger operators (with non-negative potentials) but can allow for significantly more non-local interactions. The analogue of the landscape function would then be the vector {u := A^{-1} 1}, where {1} denotes the vector with all entries {1}. Our main result, roughly speaking, asserts that an eigenvector {A \phi = E \phi} of {A} will then be exponentially localised to the “potential wells” {K := \{ j: \frac{1}{u_j} \leq E \}}, where {u_j} denotes the coordinates of the landscape function {u}. In particular, we establish the inequality

\displaystyle \sum_k \phi_k^2 e^{2 \rho(k,K) / \sqrt{W}} ( \frac{1}{u_k} - E )_+ \leq W \max_{i,j} |a_{ij}|

if {\phi} is normalised in {\ell^2}, where the connectivity {W} is the maximum number of non-zero entries of {A} in any row or column, {a_{ij}} are the coefficients of {A}, and {\rho} is a certain moderately complicated but explicit metric function on the spatial domain. Informally, this inequality asserts that the eigenfunction {\phi_k} should decay like {e^{-\rho(k,K) / \sqrt{W}}} or faster. Indeed, our numerics show a very strong log-linear relationship between {\phi_k} and {\rho(k,K)}, although it appears that our exponent {1/\sqrt{W}} is not quite optimal. We also provide an associated localisation result which is technical to state but very roughly asserts that a given eigenvector will in fact be localised to a single connected component of {K} unless there is a resonance between two wells (by which we mean that an eigenvalue for a localisation of {A} associated to one well is extremely close to an eigenvalue for a localisation of {A} associated to another well); such localisation is also strongly supported by numerics. (Analogous results for Schrödinger operators had been previously obtained by the previously mentioned paper of Arnold, David, Jerison, and my two coauthors, and to quantum graphs in a very recent paper of Harrell and Maltsev.)

Our approach is based on Agmon’s methods, which we interpret as a double commutator method, and in particular relying on exploiting the negative definiteness of certain double commutator operators. In the case of Schrödinger operators {-\Delta+V}, this negative definiteness is provided by the identity

\displaystyle \langle [[-\Delta+V,g],g] u, u \rangle = -2\int_{{\bf R}^d} |\nabla g|^2 |u|^2\ dx \leq 0 \ \ \ \ \ (2)

for any sufficiently reasonable functions {u, g: {\bf R}^d \rightarrow {\bf R}}, where we view {g} (like {V}) as a multiplier operator. To exploit this, we use the commutator identity

\displaystyle \langle g [\psi, -\Delta+V] u, g \psi u \rangle = \frac{1}{2} \langle [[-\Delta+V, g \psi],g\psi] u, u \rangle

\displaystyle -\frac{1}{2} \langle [[-\Delta+V, g],g] \psi u, \psi u \rangle

valid for any {g,\psi,u: {\bf R}^d \rightarrow {\bf R}} after a brief calculation. The double commutator identity then tells us that

\displaystyle \langle g [\psi, -\Delta+V] u, g \psi u \rangle \leq \int_{{\bf R}^d} |\nabla g|^2 |\psi u|^2\ dx.

If we choose {u} to be a non-negative weight and let {\psi := \phi/u} for an eigenfunction {\phi}, then we can write

\displaystyle [\psi, -\Delta+V] u = [\psi, -\Delta+V - E] u = \psi (-\Delta+V - E) u

and we conclude that

\displaystyle \int_{{\bf R}^d} \frac{(-\Delta+V-E)u}{u} |g|^2 |\phi|^2\ dx \leq \int_{{\bf R}^d} |\nabla g|^2 |\phi|^2\ dx. \ \ \ \ \ (3)

 We have considerable freedom in this inequality to select the functions {u,g}. If we select {u=1}, we obtain the clean inequality

\displaystyle \int_{{\bf R}^d} (V-E) |g|^2 |\phi|^2\ dx \leq \int_{{\bf R}^d} |\nabla g|^2 |\phi|^2\ dx.

If we take {g} to be a function which equals {1} on the wells {\{ V \leq E \}} but increases exponentially away from these wells, in such a way that

\displaystyle |\nabla g|^2 \leq \frac{1}{2} (V-E) |g|^2

outside of the wells, we can obtain the estimate

\displaystyle \int_{V > E} (V-E) |g|^2 |\phi|^2\ dx \leq 2 \int_{V < E} (E-V) |\phi|^2\ dx,

which then gives an exponential type decay of {\phi} away from the wells. This is basically the classic exponential decay estimate of Agmon; one can basically take {g} to be the distance to the wells {\{ V \leq E \}} with respect to the Euclidean metric conformally weighted by a suitably normalised version of {V-E}. If we instead select {u} to be the landscape function {u = (-\Delta+V)^{-1} 1}, (3) then gives

\displaystyle \int_{{\bf R}^d} (\frac{1}{u} - E) |g|^2 |\phi|^2\ dx \leq \int_{{\bf R}^d} |\nabla g|^2 |\phi|^2\ dx,

and by selecting {g} appropriately this gives an exponential decay estimate away from the effective wells {\{ \frac{1}{u} \leq E \}}, using a metric weighted by {\frac{1}{u}-E}.

It turns out that this argument extends without much difficulty to the {M}-matrix setting. The analogue of the crucial double commutator identity (2) is

\displaystyle \langle [[A,D],D] u, u \rangle = \sum_{i \neq j} a_{ij} u_i u_j (d_{ii} - d_{jj})^2 \leq 0

for any diagonal matrix {D = \mathrm{diag}(d_{11},\dots,d_{NN})}. The remainder of the Agmon type arguments go through after making the natural modifications.

Numerically we have also found some aspects of the landscape theory to persist beyond the {M}-matrix setting, even though the double commutators cease being negative definite, so this may not yet be the end of the story, but it does at least demonstrate that utility the landscape does not purely rely on identities such as (1).

Archives