4
$\begingroup$

I posted this on Stackexchange but got no responses or comments.

Consider the following integral, for $\epsilon\ne 0:$

$$\displaystyle\frac{1}{(2\pi)^2\epsilon^4}\int_{\Omega}yb\,e^{\frac{i}{\epsilon}[-ay+bx-yb]}\,dx\,da\,dy\,db\,,$$

where $\Omega$ is some compact neighborhood of the origin (you can assume the integral is over $\mathbb{R}^4$ and that there is a smooth cutoff function). The exponent $-ay+bx-yb$ has a nondegenerate and unique critical point at $(x,a,y,b)=(0,0,0,0)\,,$ and therefore the stationary phase approximation says that

$$\displaystyle\lim\limits_{\epsilon\to 0}\frac{1}{(2\pi)^2\epsilon^2}\int_{\Omega}yb\,e^{\frac{i}{\epsilon}[-ay+bx-yb]}\,dx\,da\,dy\,db=0\,.$$

My guess is that it's also true that $$\lim\limits_{\epsilon\to 0}\frac{1}{(2\pi)^2\epsilon^4}\int_{\Omega}yb\,e^{\frac{i}{\epsilon}[-ay+bx-yb]}\,dx\,da\,dy\,db=0\,,$$

but I'm not sure how to show it. Does anyone have any suggestions?

$\endgroup$
2
  • 1
    $\begingroup$ I would start with a linear change of variables which diagonalizes the quadratic form $-ay+bx-yb$ $\endgroup$ Commented Jan 22, 2023 at 9:25
  • 1
    $\begingroup$ A few years ago a student of mine investigated the issue in great generality in his senior thesis following the book Arnold, Gussein-Zade and Varchenko. Have at lookt at it www3.nd.edu/~lnicolae/Zach-thesis.pdf $\endgroup$ Commented Jan 22, 2023 at 13:48

1 Answer 1

4
$\begingroup$

As Fedor Petrov suggested, you can diagonalize the quadratic form.

Writing $A = a+y$, $B = (a-y)$, $C = (b+x-y)$ and $D = (b-x +y)$, up to some negligible constants (and restoring the smooth cut-off) your integral is

$$ \int \varphi \cdot (C+D)(B-A) e^{\frac{i}{\epsilon} (- A^2 + B^2 + C^2 - D^2)} $$

This you can write as (up to negligible constants) $$ \epsilon^2 \int \varphi \cdot (\partial_C - \partial_D)(\partial_A + \partial_B) e^{\frac{i}{\epsilon} (- A^2 + B^2 + C^2 - D^2)}$$

After integration by parts, the standard argument shows that the leading order term is, up to a proportionality constant, given by $$ \epsilon^4 (\partial_C - \partial_D)(\partial_A + \partial_B)\varphi(0) $$

If your cut-off function is really just a cut-off function (so it is constant in a neighborhood of the origin), then in fact your integral is effectively supported away from the stationary point of the phase, and so should actually decay faster than any polynomial.

$\endgroup$
4
  • 1
    $\begingroup$ The fact that we get $\epsilon^4$ and not $\epsilon^3$ (as Piero D'Ancona indicated would be the case in general) is because, conveniently, the quadratic polynomial $(C+D)(B-A)$ has Hessian that vanishes on the diagonal. If it were, for example, $A^2$ instead, then there would be an $\epsilon^3$ term. $\endgroup$ Commented Jan 23, 2023 at 3:10
  • $\begingroup$ I deleted my answer since it was half-finished, indeed the change of variable shows that one can get an extra power $\endgroup$ Commented Jan 23, 2023 at 7:01
  • $\begingroup$ This is a great answer. I found a linear change of variables but yours is simpler. It's interesting that it was close to not being $\epsilon^4$ (and yes, when I said cutoff function I really meant just a smooth function with compact support, nothing more). $\endgroup$ Commented Jan 24, 2023 at 5:54
  • 2
    $\begingroup$ @PieroD'Ancona (and Josh Lackman)I have to admit that I was very, very tempted to call this a "null condition". :-) $\endgroup$ Commented Jan 24, 2023 at 22:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .