BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Michael Christ contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We establish a stable form of the general Euclidean Brascamp-Lieb inequality in all cases in which the Lebesgue exponents are strictly between 1 and 2, asserting that all near-extremizers are nearly Gaussian.
Lebesgue space bounds $L^{p_1}({\mathbb R}^1) \times L^{p_2}(^1) \to L^q({\mathbb R}^1)$ are established for certain maximal bilinear operators. The proof combines a trilinear smoothing inequality with Calderón-Zygmund theory. A reference to overlapping work of other authors on one observation has been added.
Let $B$ be a ball in ${\mathbb R}^2$. For $j=1,2,3$ let $φ_j:B\to{\mathbb R}^1$ be real analytic submersions, and let $a_j$ be real analytic coefficient functions. To any $\varepsilon>0$ and any Lebesgue measurable functions $f_j:{\mathbb R}^1\to {\mathbb C}$ associate the sublevel set $S = S(f_1,f_2,f_3,\varepsilon) = \{x\in B: |\sum_{j=1}^3 a_j(x)(f_j\circφ_j)(x)|<\varepsilon\}$. Let $S' = \{x\in S: \max_j|f_j\circφ_j(x)|\ge 1\}$. Our main result is an upper bound, under certain hypotheses on the data $φ_j,a_j$ for the Lebesgue measure of $S'$ of the form $|S'| \le c\varepsilon^γ$ for some constants $c,γ>0$ that depend on the data $a_j,φ_j$ but not on the functions $f_j$ or parameter $\varepsilon$. The main hypothesis is that in any connected open subset of $B$, the only real analytic solution $(f_1,f_2,f_3)$ of $\sum_j a_j(x)(f_j\circφ_j)(x)\equiv 0$ is the trivial solution $f_k=0\ \forall\,k$. Certain auxiliary hypotheses, which hold for generic $φ_j,a_j$, are also imposed. The case in which all coefficients $a_j$ are constant was previously known. This result is a principal ingredient in an analysis, in a companion paper, of related implicitly oscillatory integrals with four factors $f_j$. Certain related results are also discussed. In particular, a generalization to arbitrarily many summands f_j is obtained for the special case in which all mappings $φ_j$ are linear.
For quadrilinear functionals $\int_B \prod_{j=1}^4 (f_j\circφ_j)$, where $B\subset{\mathbb R}^2$ is a ball, $φ_j:B\to{\mathbb R}^1$ are real analytic submersions, and $f_j\in L^\infty({\mathbb R}^1)$ are bounded and measurable, we seek a majorization of the integral by a product of negative order Sobolev norms of the factors $f_j$. An obvious necessary condition is that any smooth solution of $\sum_j (g_j\circφ_j)\equiv 0$, in any connected open set, must be constant. Assuming this condition and certain auxiliary hypotheses, we establish an upper bound of the desired type. The proof relies in part on a three term sublevel set inequality established in a companion paper.
Inequalities are established for certain trilinear scalar-valued functionals. These functionals act on measurable functions of one real variable, are defined by integration over two- or three-dimensional spaces, and are controlled in terms of Lebesgue space norms of the functions, and of negative powers of large parameters describing a degree of oscillation. Related sublevel set inequalities are a central element of the analysis. The main results and the main lines of their proofs are largely unchanged in this draft, but some details have been corrected. The analysis has already been extended in work of the author, Durcik, and Roos.
We prove a sharp, global-in-time Strichartz estimate for the Schrödinger equation on the cylinder $\mathbb{R}\times\mathbb{T}$.
We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient of the proof comes from recent work on multilinear singular integrals; more specifically, from the study of a curved model for the triangular Hilbert transform.
We study the local well-posedness in the Sobolev space H^s for the modified Korteweg-de Vries (mKdV) equation on the real line. Kenig-Ponce-Vega \cite{KPV2} and Christ-Colliander-Tao established that the data-to-solution map fails to be uniformly continuous on a fixed ball in H^s when s<1/4. In spite of this, we establish that for -1/8 < s < 1/4, the solution satisfies global in time H^s(R) bounds which depend only on the time and on the H^s(R) norm of the initial data. This result is weaker than global well-posedness, as we have no control on differences of solutions. Our proof is modeled on recent work by Christ-Colliander-Tao and Koch-Tataru employing a version of Bourgain's Fourier restriction spaces adapted to time intervals whose length depends on the spatial frequency.
A pair of subsets of Euclidean space which nearly achieves equality in the Brunn-Minkowski inequality must nearly coincide with a pair of homothetic convex sets. The two-dimensional case was treated in a previous paper in this series by an argument which does not seem to generalize to higher dimensions. Here the result is extended to arbitrary dimensions. An induction on the dimension, a symmetrization argument, and a description of near solutions of an additive functional equation are used to establish sufficient regularity to set up a compactness argument.
If a pair of subsets of two-dimensional Euclidean space nearly achieves equality in the Brunn-Minkowski inequality, in the sense that the measure of the associated sumset is nearly equal to the lower bound provided by the inequality, then these sets must nearly coincide with a pair of homothetic convex sets. The proof relies on a continuum analogue of a theorem of Freiman which characterizes finite sets of integers whose sumsets are of nearly minimal size. Small corrections and clarifications have been made in this draft.
Examples are constructed of sparse subsequences of the integers for which the associated maximal averages operator is of weak type (1,1). A consequence, by transference, is that an almost everywhere L^1 -- type ergodic theorem holds for corresponding subsequences of iterates of general measure-preserving transformations. These examples can be constructed so that n_k has growth rate k^m for any prescribed integer power m greater than or equal to 2. Urban and Zienkiewicz have established the same conclusion for other subsequences, which have growth rate k^m for noninteger exponents m sufficiently close to 1; the first novelty here is that the exponent can be arbitrarily large. In contrast, Buczolich and Mauldin have shown that the corresponding conclusion fails to hold if n_k is exactly k^2. The rather simple analysis relies on certain exponential sum bounds of Weil, together with a decomposition of Calderon-Zygmund type in which the exceptional set is defined in terms of the subsequence in question. The subsequences used are closely related to those employed by Rudin in a 1960 paper in which examples of Lambda(p) sets were constructed.
The Riesz-Sobolev inequality relates the convolution of nonnegative functions on Euclidean space to the convolution of their symmetric nonincreasing rearrangements. We show that for dimension one, for indicator functions of sets, if the inequality is sufficiently close to an equality then the sets in question must nearly coincide with intervals.
In 2005, Li, Tao, Thiele and the author raised a general question concerning upper bounds for a class of multilinear oscillatory integral operators, and established such bounds in a few cases. Most cases remain open. The present paper is concerned with sublevel set bounds, which would be a consequence of the oscillatory integral bounds, if valid. These sublevel set bounds are established here in a weak form but in nearly full generality, subject only to a rationality hypothesis. The proof relies on an extension of Szemeredi's theorem due to Furstenberg and Katznelson.
The Radon transform is a bounded operator from L^p of Euclidean space R^d to L^q of the Grassmann manifold of all affine hyperplanes in R^d, for certain exponents. We identify all extremizers of the associated inequality for the endpoint case p=(d+1)/d and q=d+1.
Christ, Li, Tao, and Thiele have established multilinear oscillatory integral operator inequalities under severe dimensional restrictions. These restrictions are relaxed substantially in the present paper, but are by no means eliminated. The simple method used here has the advantage of yielding power type bounds, but cannot be expected to extend to the general case.
Those functions which nearly extremize Young's convolution inequality are characterized for discrete groups which have no nontrivial finite subgroups. Near-extremizers of the Hausdorff-Young inequality are characterized for Z^d.
If a pair of functions nearly extremizes Young's convolution inequality for R^d, with all three exponents finite and strictly greater than 1, then each function is close in norm to a Gaussian. The proof relies on the Riesz-Sobolev rearrangement inequality and in particular, on an approximate inverse Riesz-Sobolev inequality established in a companion paper.
Convolution with an appropriate surface measure on a paraboloid in R^d defines a bounded operator T from L^p(R^d) to L^q(R^d) for certain exponents p,q. In this article it is proved that there exist functions which extremize the associated inequality.
It is a well known general principle that the Fourier transform of a random measure is small, except at the zero frequency, in various senses for appropriate notions of randomness. In this note we develop analogues of this principle for two classes of random multilinear operators. Two ergodic theoretic applications, involving correlations over randomly generated sparse subsequences, are obtained as corollaries of the main results.
We examine a certain class of trilinear integral operators which incorporate oscillatory factors e^{iP}, where P is a real-valued polynomial, and prove smallness of such integrals in the presence of rapid oscillations.
Convolution with an appropriate surface measure on a paraboloid is known to define a bounded operator T from L^p(R^d) to L^q(R^d) for certain exponents p,q. By a quasiextremal for the associated inequality, we mean a function f for which the norm of Tf is at least a constant c times the norm of f. Our main result characterizes all quasiextremals, with some quantitative control in terms of c. Several related results are also discussed. This is the first in a series of at least four articles about a circle of questions concerning the inverse problem of deducing information about f from information about the ratio of the norm of Tf to the norm of f.
The adjoint Fourier restriction inequality of Tomas and Stein states that the mapping $f\mapsto \widehat{fσ}$ is bounded from $\lt(S^2)$ to $L^4(\reals^3)$. We prove that there exist functions which extremize this inequality, and that any extremizing sequence of nonnegative functions has a subsequence which converges to an extremizer.
It was proved independently by Foschi and Hundertmark, Zharnitsky that Gaussians extremize the adjoint Fourier restriction inequality for L^2 functions on the paraboloid in the two lowest-dimesional cases. Here we prove that Gaussians are critical points for the L^p to L^q adjoint Fourier restriction inequalities if and only if p=2. Also, Gaussians are critial points for the L^2 to L^r_t L^q_x Strichartz inequalities for all admissible pairs (r,q) in (1,infinity)^2.
The adjoint Fourier restriction inequality for the sphere $S^2$ states that if $f\in\lt(S^2,σ)$ then $\widehat{fσ}\in L^4(\reals^3)$. We prove that all critical points $f$ of the functional $\norm{\widehat{fσ}}_{L^4}/\norm{f}_{\lt}$ are smooth; that any complex-valued extremizer for the inequality is a nonnegative extremizer multiplied by the character $e^{ix\cdotξ}$ for some $ξ$; and that complex-valued extremizing sequences for the inequality are precompact modulo multiplication by characters.
Let $d\ge 2$ and $T$ be the convolution operator $Tf(x)=\int_{\reals^{d-1}} f(x'-t,x_d-|t|^2)\,dt$, which is is bounded from $L^{(d+1)/d}(\reals^d)$ to $L^{d+1}(\reals^d)$. We show that any critical point $f\in L^{(d+1)/d}$ of the functional $\norm{Tf}_{d+1}/\norm{f}_{(d+1)/d}$ is infinitely differentiable, and that $|x|^δf\in L^{(d+1)/d}$ for some $δ>0$. In particular, this holds for all extremizers of the associated inequality. This is done by exploiting a generalized Euler-Lagrange equation, and certain weighted norm inequalities for $T$.
Via a random construction we establish necessary conditions for $L^p(\ell^q)$ inequalities for certain families of operators arising in harmonic analysis. In particular we consider dilates of a convolution kernel with compactly supported Fourier transform, vector maximal functions acting on classes of entire functions of exponential type, and a characterization of Sobolev spaces by square functions and pointwise moduli of smoothness.
We show that maximal operators formed by dilations of Mikhlin-H"ormander multipliers are typically not bounded on $L^p(R^d)$. We also give rather weak conditions in terms of the decay of such multipliers under which $L^p$ boundedness of the maximal operators holds.