Camil Muscalu, Christoph Thiele and I have just uploaded to the arXiv our joint paper, “Multi-linear multipliers associated to simplexes of arbitrary length“, submitted to Analysis & PDE. This paper grew out of our project from many years ago to attempt to prove the nonlinear (or “scattering”) version of Carleson’s theorem on the almost everywhere convergence of Fourier series. This version is still open; our original approach was to handle the nonlinear Carleson operator by multilinear expansions in terms of the potential function V, but while the first three terms of this expansion were well behaved, the fourth term was unfortunately divergent, due to the unhelpful location of a certain minus sign. [This survey by Michael Lacey, as well as this paper of ourselves, covers some of these topics.]

However, what we did find out in this paper was that if we modified the nonlinear Carleson operator slightly, by replacing the underlying Schrödinger equation by a more general AKNS system, then for “generic” choices of this system, the problem of the ill-placed minus sign goes away, and each term in the multilinear series is, in fact, convergent (though we did not yet verify that the series actually converged, though in view of the earlier work of Christ and Kiselev on this topic, this seems likely). The verification of this convergence (at least with regard to the scattering data, rather than the more difficult analysis of the eigenfunctions) is the main result of our current paper. It builds upon our earlier estimates of the bilinear term in the expansion (which we dubbed the “biest”, as a multilingual pun). The main new idea in our earlier paper was to decompose the relevant region of frequency space into more tractable regions, a typical one being the region in which was much closer to than to . The contribution of each region can then be “parafactored” into a “paracomposition” of simpler operators, such as the bilinear Hilbert transform, which can be treated by standard time-frequency analysis methods. (Much as a paraproduct is a frequency-restricted version of a product, the paracompositions that arise here are frequency-restricted versions of composition.)

A similar analysis happens to work for the multilinear operators associated to the frequency region , but the combinatorics are more complicated; each of the component frequency regions has to be indexed by a tree (in a manner reminiscent of the well-separated pairs decomposition), and a certain key “weak Bessel inequality” becomes considerably more delicate. Our ultimate conclusion is that the multilinear operator

(1)

(which generalises the bilinear Hilbert transform and the biest) obeys Hölder-type estimates (note that Hölder’s inequality related to the situation in which the (projective) simplex S is replaced by the entire frequency space ).

For the remainder of this post, I thought I would describe the “nonlinear Carleson theorem” conjecture, which is still one of my favourite open problems, being an excellent benchmark for measuring progress in the (still nascent) field of “nonlinear Fourier analysis“, while also being of interest in its own right in scattering and spectral theory.

My starting point will be the one-dimensional time-independent Schrödinger equation

(2)

where is a given potential function, is a frequency parameter, and is the wave function. This equation (after reinstating constants such as Planck’s constant , which we have normalised away) describes the instantaneous state of a quantum particle with energy in the presence of the potential V. To avoid technicalities let us assume that V is smooth and compactly supported (say in the interval ) for now, though the eventual conjecture will concern potentials V that are merely square-integrable.

For each fixed frequency k, the equation (2) is a linear homogeneous second order ODE, and so has a two-dimensional space of solutions. In the free case V=0, the solution space is given by

(3)

where and are arbitrary complex numbers; physically, these numbers represent the amplitudes of the rightward and leftward propagating components of the solution respectively.

Now suppose that V is non-zero, but is still compactly supported on an interval . Then for a fixed frequency k, a solution to (2) will still behave like (3) in the regions and , where the potential vanishes; however, the amplitudes on either side of the potential may be different. Thus we would have

for and

for . Since there is only a two-dimensional linear space of solutions, the four complex numbers must be related to each other by a linear relationship of the form

where is a matrix depending on V and k, known as the scattering matrix of V at frequency . (We choose this notation to deliberately invoke a resemblance to the Fourier transform of V; more on this later.) Physically, this matrix determines how much of an incoming wave at frequency k gets reflected by the potential, and how much gets transmitted.

What can we say about the matrix ? By using the Wronskian of two solutions to (2) (or by viewing (2) as a Hamiltonian flow in phase space) we can show that must have determinant 1. Also, by using the observation that the solution space to (2) is closed under complex conjugation , one sees that each coefficient of the matrix is the complex conjugate of the diagonally opposite coefficient. Combining the two, we see that takes values in the Lie group

(which, incidentally, is isomorphic to ), thus we have

for some functions and obeying the constraint . (The functions and are sometimes known as the *transmission coefficient* and *reflection coefficient* respectively; note that they square-sum to 1, a fact related to the law of conservation of energy.) These coefficients evolve in a beautifully simple manner if V evolves via the Korteweg-de Vries (KdV) equation (indeed, one has and ), being part of the fascinating subject of completely integrable systems, but that is a long story which we will not discuss here. This connection does however provide one important source of motivation for studying the *scattering transform * and its inverse.

What are the values of the coefficients ? In the free case , one has and . When V is non-zero but very small, one can linearise in V (discarding all terms of order or higher), and obtain the approximation

known as the Born approximation; this helps explain why we think of as a nonlinear variant of the Fourier transform. A slightly more precise approximation, known as the WKB approximation, is

.

(One can avoid the additional technicalities caused by the WKB phase correction by working with the Dirac equation instead of the Schrödinger; this formulation is in fact cleaner in many respects, but we shall stick with the more traditional Schrödinger formulation here. More generally, one can consider analogous scattering transforms for AKNS systems.) One can in fact expand and as a formal power series of multilinear integrals in V (distorted slightly by the WKB phase correction ), whose terms resemble the multilinear expression (1) except for some (crucial) sign changes and some WKB phase corrections. It is relatively easy to show that this multilinear series is absolutely convergent for every k when the potential V is absolutely integrable (this is the nonlinear analogue to the obvious fact that the Fourier integral is absolutely convergent when V is absolutely integrable; it can also be deduced without recourse to multilinear series by using Levinson’s theorem.) If V is not absolutely integrable, but instead lies in for some , then the series can diverge for some k; this fact is closely related to a classic result of Wigner and von Neumann that the Schrödinger operator can contain embedded pure point spectrum. However, Christ and Kiselev showed that the series is absolutely convergent for almost every k in the case (this is a non-linear version of the Hausdorff-Young inequality). In fact they proved a stronger statement, namely that for almost every k, the eigenfunctions are bounded (and converge asymptotically to plane waves as ). There is an analogue of the Born and WKB approximations for these eigenfunctions, which shows that the Christ-Kiselev result is the nonlinear analogue of a classical result of Menshov, Paley and Zygmund showing the conditional convergence of the Fourier integral for almost every k when for some .

The analogue of the Menshov-Paley-Zygmund theorem at the endpoint is the celebrated theorem of Carleson on almost everywhere convergence of Fourier series of functions. (The claim fails for , as can be seen by investigating random Fourier series, though I don’t recall the reference for this fact.) The nonlinear version of this would assert that for square-integrable potentials V, the eigenfunctions are bounded for almost every k. This is the nonlinear Carleson theorem conjecture. Unfortunately, it cannot be established by multilinear series, because of a divergence in the trilinear term of the expansion; but other methods may succeed instead. For instance, the weaker statement that the coefficients and (defined by density) are well defined and finite almost everywhere for square-integrable V (which is a nonlinear analogue of Plancherel’s theorem that the Fourier transform can be defined by density on ) was essentially established by Deift and Killip, using a trace formula (a nonlinear analogue to Plancherel’s formula). Also, the “dyadic” or “function field” model of the conjecture is known, by a modification of Carleson’s original argument. But the general case still seems to require more tools; for instance, we still do not have a good nonlinear Littlewood-Paley theory (except in the dyadic case), which is preventing time-frequency type arguments from being extended directly to the nonlinear setting.

## 8 comments

Comments feed for this article

18 December, 2007 at 8:00 am

AdamDear Terry,

This na scent theory looks classical, as most of your work.

Not to share any pushy opinions, but ARMA is always seeking

promising preprints.

23 December, 2007 at 7:17 pm

cowgonemadHi Terry,

something I am always wondering when looking at these low regularity scattering transform (or the dyadic one)s, is that has somebody ever looked at their inverses? Or how the KdV flow would act on them?

Or to be more specific:

- Is injectivity known?

- Can you characterize the image?

Best,

Helge

24 December, 2007 at 5:59 pm

Terence TaoDear Helge,

These are good questions. I think injectivity for potentials in the class H^{1,1} – functions V such that and are square-integrable – might be implicit from the work of Deift and Zhou, (in which they obtain asymptotics for NLS in this class; here the scattering problem is for a Dirac equation rather than a Schrodinger equation, but one expects the theory to be similar in both cases). One may have to place some additional assumptions on the potential though to really get injectivity.

In the case when the potential is supported on a half-line, then the method of layer stripping becomes available, and one can show that the scattering transform is a bijection between L^2 and a sort of Hardy-Nevanlinna space; there is some work by Sylvester in this direction. But to pass from the half line to the whole line one would need to solve the Riemann-Hilbert problem for very rough potentials. Christoph Thiele and I worked out the case when the scattering coefficients were rational functions, and discovered some new sources of non-injectivity in this case when a pole of the rational function touched the real line. On the other hand, for the discrete analogue of the scattering problem (i.e. orthogonal polynomials for Jacobi matrices), Yuditskii and Volberg were able to use Hilbert space methods to demonstrate invertibility in L^2.

Obtaining a good inverse scattering theory in L^2 on the full line may well be an important step towards the nonlinear Carleson conjecture (but presumably the theory would have to supply a lot of useful estimates before it can really impact that conjecture).

29 December, 2007 at 12:15 am

HelgeDear Terry,

the bench mark result for inverse scattering for Schroedinger’s equation is as far as I believe by Marchenko, which yields the result for V and x V integrable functions. It can be found in his monograph on Sturm-Liouville equations.

21 May, 2009 at 10:13 am

timurDear Terry,

Can you (or anyone who is reading this) direct me to literature on boundedness of multilinear Fourier multipliers between L2 based Sobolev spaces, please?

21 May, 2009 at 10:48 am

Terence TaoDear Timur,

I have a paper on this topic at

http://front.math.ucdavis.edu/math.AP/0005001

21 May, 2009 at 11:05 am

timurThanks a lot for the quick reply!

10 October, 2009 at 9:51 pm

A variation norm Carleson theorem « What’s new[...] The estimate (2) also provides a new proof of a result of Christ and Kiselev on the almost everywhere boundedness of eigenfunctions of Schrodinger operators with potentials with . Unfortunately, due to various endpoint issues, this barely fails to settle the endpoint case , a conjecture known as the nonlinear Carleson conjecture (discussed in this previous post). [...]