HOME

TheInfoList



OR:

In mathematics, in the field of harmonic analysis, the van der Corput lemma is an estimate for
oscillatory integral In mathematical analysis an oscillatory integral is a type of distribution. Oscillatory integrals make rigorous many arguments that, on a naive level, appear to use divergent integrals. It is possible to represent approximate solution operators fo ...
s named after the
Dutch Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People E ...
mathematician J. G. van der Corput. The following result is stated by E. Stein: Suppose that a real-valued function \phi(x) is smooth in an open interval (a, b), and that , \phi^(x), \ge 1 for all x \in (a, b). Assume that either k \ge 2, or that k = 1 and \phi'(x) is monotone for x \in \R. Then there is a constant c_k, which does not depend on \phi, such that : \bigg, \int_a^b e^\bigg, \le c_k\lambda^ for any \lambda \in \R.


Sublevel set estimates

The van der Corput lemma is closely related to the
sublevel set In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value , that is: : L_c(f) = \left\~, When the number of independent variables is two, a level set is calle ...
estimates,M. Christ, ''Hilbert transforms along curves'', Ann. of Math. 122 (1985), 575–596 which give the upper bound on the measure of the set where a function takes values not larger than \epsilon. Suppose that a real-valued function \phi(x) is smooth on a finite or infinite interval I \subset \R, and that , \phi^(x), \ge 1 for all x \in I. There is a constant c_k, which does not depend on \phi, such that for any \epsilon \ge 0 the measure of the sublevel set \ is bounded by c_k\epsilon^{1/k}.


References

Inequalities Harmonic analysis Fourier analysis