5

Consider the one-parameter family of functions $f_\epsilon:\mathbb{R}^2\to \mathbb{C}$ given by $$f_\epsilon(x,y)=\frac{1}{(\alpha^2\epsilon^2+xy)^\beta},$$

where $\alpha\in \mathbb{R}$ and $\beta\in \mathbb{C}$ are fixed numbers. We can even assume that $\beta \in (0,+\infty)$ if it makes things better. I want to evaluate the expansion of $f_\epsilon(x,y)$ in powers of $\epsilon$ in the distributional sense. Indeed, the very similar case where we instead consider $g_\epsilon : \mathbb{R}^n\to \mathbb{C}$

$$g_\epsilon(x)=\frac{1}{(\alpha^2\epsilon^2+|x|^2)^\beta}$$

is well-understood: we integrate $g_\epsilon$ against a test function $\phi\in C_0^\infty(\mathbb{R}^n)$ and break the integration domain in two regions: $|x|<\zeta$ and $|x|>\zeta$. In the first region we change variables setting $x = \epsilon y$ and then we see that the $\epsilon$ expansion is just the Taylor expansion of the test function $\phi$ (which further reveals that the distributional expansion only makes sense in the subspace of test functions which are analytic at $x = 0$), whereas in the second region we can directly Taylor expand $g_\epsilon$ in powers of $\epsilon$.

Now, I tried doing the same for $f_\epsilon(x,y)$ but I'm confused on how to proceed. Now I have

$$\langle f_\epsilon,\phi\rangle=\int_{-\infty}^\infty dx \int_{-\infty}^\infty dy \frac{\phi(x,y)}{(\alpha^2\epsilon^2+xy)^\beta}.$$

Now break the $x$ integrals into $|x|<\zeta$ and $|x|>\zeta$ regions

$$\langle f_\epsilon,\phi\rangle=\int_{|x|<\zeta} dx \int_{-\infty}^\infty dy \frac{\phi(x,y)}{(\alpha^2\epsilon^2+xy)^\beta}+\int_{|x|>\zeta} dx \int_{-\infty}^\infty dy \frac{\phi(x,y)}{(\alpha^2\epsilon^2+xy)^\beta}.$$

In the first it looks like we want to set $x = \alpha^2\epsilon^2 u$ so that we can factor $\epsilon$

$$\langle f_\epsilon,\phi\rangle=\int_{|u|<\zeta/\epsilon^2} du \int_{-\infty}^\infty dy \frac{\phi(\epsilon^2 u,y)}{\alpha^{2\beta}\epsilon^{2\beta-2}(1+uy)^\beta}+\int_{|x|>\zeta} dx \int_{-\infty}^\infty dy \frac{\phi(x,y)}{(\alpha^2\epsilon^2+xy)^\beta}.$$

Now I guess I would Taylor expand $\phi(\epsilon^2 u,y) \simeq \phi(0,y)$ and use $\epsilon\to 0$ to also replace the $u$ integral by an integral over the whole real line. Then I should be able to evaluate the $u$ integral:

$$\int_{-\infty}^\infty \dfrac{du}{(1+uy)^\beta},$$

but this integral seems to give either zero or diverges depending on $\beta$. I'm confused. The thing I expect for $\lim_{\epsilon\to 0}f_\epsilon$ is a contribution proportional to $\frac{1}{y^\beta}\delta(x)$ and one proportional o $\frac{1}{x^\beta}\delta(y)$, but I don't see how this can actually happen.

So how do we tackle this distributional limit in the correct, rigorous way?

Gold
  • 28,141
  • What happens to the expression if you rotate the coordinate system $45^\circ$? – md2perpe Apr 29 '25 at 18:02
  • Well, in that case I guess we will have $xy\to \frac{1}{2}(x^2-y^2)$. It would be the previous case in signature $(1,1)$. The suggestion would be to just try continuing the previous result setting $y \to i y$? But it is not clear how things like $\frac{1}{x^\beta}\delta(y)$ would appear, and I'm quite confident they must be there somehow (this intuition comes from a Physics problem, but of course could be just wrong as it is just intuition) – Gold Apr 29 '25 at 19:23
  • 1
    The case $|x|^2$ seems rather different from the case $xy$, because $xy$ can become negative and so the function has a singularity. It is not even clear what is the meaning of a negative number power beta in this case, one has to go through principal value of the logarithm, right? Moreover, if $\beta\geq 1$, I think this does not define a well-defined distribution and one has to go through principal value considerations. – LL 3.14 Apr 30 '25 at 04:11
  • 1
    Actually a proof of the convergence to the Dirac delta for the first case can be done by computing the Fourier transform using Gaussians. In the second case, the Gaussian $e^{−|x|^2}$ becomes $e^{−xy}$ which is much worse, it's Fourier transform is not even well-defined. Following Stein, the method to get a formula for the Fourier transform of $1/(a+|x|2)^c$ can be found here https://math.stackexchange.com/questions/4220006/computing-the-fourier-transform-of-exponential-decay-in-mathbbr2/4220125#4220125 – LL 3.14 Apr 30 '25 at 04:13
  • Thanks @LL3.14. Well, the context in which this appears would technically restrict $\beta \geq 1$ and now given your comments I agree this can be problematic and I'm a bit worried if the limit even exists. Do you think there is some sense in which it might exist? Also, thanks for point out the Fourier transform proof of the first case, it is a nice alternative to the proof I know. – Gold Apr 30 '25 at 14:12
  • This function has poles along hyperbolas, the integral does not exist for all test functions and hence does not define a distribution. Note that if the poles are moved to the complex plane, the integral converges. In that case it becomes some generalization of the principal value prescription in two dimensions. – K. Grammatikos Apr 30 '25 at 21:03

0 Answers0