Deje $f(x,y)$ R-integrable en $\mathbb{R}^2$-espacio, $L^1(\mathbb{R^2})$ función que devuelve sólo los números. Voy a probar que:
$$\lim_{|\omega_x +i\omega_y| \to +\infty } \, \int\limits_{\mathbb{R}^2} f(x,y)\ e^{- i (x \omega_x+y \omega_y)}\,dxdy=0$$
$(\omega_x,\omega_y)\in \mathbb{R}^2$
Vamos a empezar desde:
$$\int\limits_{\mathbb{R}^2} f(x,y)\ e^{- i (x \omega_x+y \omega_y)}\,dxdy=\int\limits_{\mathbb{R}^2} f(x,y)\ e^{- i (x \alpha+y \beta)\omega}\,dxdy=\int\limits_{\mathbb{R}^2} g(x_2,y_2)\ e^{- i x_2\omega}\,dx_2dy_2=\int\limits_{\mathbb{R}} h(x_2)\ e^{- i x_2\omega}\,dx_2$$
Donde: $\omega=|\omega_x+i\omega_y|$ , $\alpha=\frac{\omega_x}{\omega}$ ,$\beta=\frac{\omega_y}{\omega} \implies |\alpha|^2+|\beta|^2=1$, sin pérdida de generalidad que puedo asumir que $|\omega_x|\geqslant |\omega_y|$, lo $|\alpha|^2\geqslant\frac{1}{2}$.
$\left[\begin{array}\
y_2\\
x_2
\end{array}\right]=\left[\begin{array}\
1 & 0\\
\beta & \alpha
\end{array}\right]\cdot\left[\begin{array}\
y\\
x
\end{array}\right]\implies$$\left|\frac{D(x,y)}{D(x_2,y_2)}\right|$$=\frac{1}{|\alpha|}$ , $g(x_2,y_2)=\frac{1}{|\alpha|}f\left(\frac{x_2-\beta y_2}{\alpha},y_2\right)$
$h(x_2)=\int_{-\infty}^{+\infty} g(x_2,y_2)\,dy_2$
Tenemos aquí bijection $(x,y)$ a $(x_2,y_2)$ $\mathbb{R}^2$ como área de integración para $f(x,y)$ lo que determina que el área equivalente de la integración de $g(x_2,y_2)$$\mathbb{R}^2$.
Nota:
$$\int\limits_{\mathbb{R}^2} |f(x,y)|\,dxdy=\int\limits_{\mathbb{R}^2} |g(x_2,y_2)|\,dx_2dy_2\geqslant\int_{-\infty}^{+\infty}\left|\int_{-\infty}^{+\infty} g(x_2,y_2)\,dy_2\right|dx_2=\int\limits_{\mathbb{R}} |h(x_2)|\,dx_2$$
por lo $h$ $L^1(\mathbb{R})$ función.Si $h$ no es integrable, entonces está en contra de la suposición acerca de la integrabilidad de $f$. Vamos a introducir $\widetilde{h}$: $\widetilde{h}(x,\Delta,n)=\sum_{j=-n}^{n}h(x_j^{*})$ $\Pi$$\left(\frac{x-j\cdot\Delta}{\Delta}\right)$, donde $n\in\mathbb{Z}_{+}$, $\Delta > 0$
$$x_j^{*}:|h(x_j^{*})|=\min\left\{|h(x)|:j\Delta-\frac{\Delta}{2}\leqslant x\leqslant j\Delta+\frac{\Delta}{2}\right\}\ \tag{1}$$
Si $\widetilde{h}(x,\Delta)=\widetilde{h}(x,\Delta,+\infty)$, entonces:
$\int\limits_{\mathbb{R}} |\widetilde{h}(x,\Delta)|\,dx\leqslant \int\limits_{\mathbb{R}} |h(x)|\,dx<+\infty$, lo que significa que pertenecen a $L^1(\mathbb{R})$.
Deje $l:\mathbb{R}_{+}\to \mathbb{R}_{+}\cup \{0\}$ $l(\Delta)=\lim\limits_{\omega \to +\infty } \, \left|\int\limits_{\mathbb{R}} \widetilde{h}(x,\Delta)e^{-i\omega x}\,dx\right|$ así:
$$\begin{align*} \lim_{\omega \to +\infty } \, \int\limits_{\mathbb{R}} \widetilde{h}(x,\Delta)e^{-i\omega x}\,dx &= \lim\limits_{\omega\to +\infty}\lim_{n \to +\infty }\sum_{j=-n}^{n}h(x_j^{*})\int_{j\Delta-\frac{\Delta}{2}}^{j\Delta+\frac{\Delta}{2}}e^{-i \omega x}\,dx\\ &= \lim\limits_{\omega\to +\infty}\lim_{n \to +\infty }\sum_{j=-n}^{n}h(x_j^{*})\left[\frac{\Delta e^{-i \omega x}}{-i \omega \Delta}\right]{j\Delta+\frac{\Delta}{2} \atop j\Delta-\frac{\Delta}{2}}\\
l(\Delta)&\leqslant \lim\limits_{\omega\to +\infty}\lim_{n \to +\infty }\sum_{j=-n}^{n}|h(x_j^{*})|\frac{2\Delta}{\omega\Delta}\\ &\leqslant \lim_{\omega \to +\infty }\frac{2\int_{-\infty}^{+\infty}|h(x)|\,dx}{\omega\Delta}=\frac{1}{\Delta}\lim_{\omega \to +\infty }\frac{2\int_{-\infty}^{+\infty}|h(x)|\,dx}{\omega}=0 \end{align*}$$
lo que implica $l(\Delta)=0$$\lim\limits_{\Delta\to 0^{+}} l(\Delta)=0$. Por la desigualdad de triángulo obtenemos:
$$\begin{align*}\lim\limits_{\Delta\to 0^{+}}\lim_{\omega \to +\infty } \, \left|\int\limits_{\mathbb{R}} h(x)e^{-i\omega x}\,dx\right|&\leqslant \lim\limits_{\Delta\to 0^{+}}\lim_{\omega \to +\infty } \, \left|\int\limits_{\mathbb{R}} (h(x)-\widetilde{h}(x,\Delta))e^{-i\omega x}\,dx\right|+\lim_{\Delta \to 0^{+} } l(\Delta)\\
&\leqslant \lim_{\Delta \to 0^{+} }\lim\limits_{\omega\to +\infty} \, \int\limits_{\mathbb{R}} |h(x)-\widetilde{h}(x,\Delta))|\,dx\end{align*}$$
Así:
$$\begin{align*}\lim_{\omega \to +\infty } \, \left|\int\limits_{\mathbb{R}} h(x)e^{-i\omega x}\,dx\right|\leqslant \lim_{\Delta \to 0^{+} } \, \int\limits_{\mathbb{R}} |h(x)-\widetilde{h}(x,\Delta))|\,dx&=\int\limits_{\mathbb{R}} |h(x)|\,dx-\lim_{\Delta \to 0^{+} } \, \int\limits_{\mathbb{R}} |\widetilde{h}(x,\Delta))|\,dx\\ &=0 \end{align*}$$
Hecho de que $|h(x)-\widetilde{h}(x,\Delta))|=|h(x)|-|\widetilde{h}(x,\Delta)|$ está relacionado con $(1)$ y Lebesgue del criterio de integrabilidad de Riemann que indica que para cualquier R-integrable función de la integración de las discontinuidades de la zona puede ser omitido (requisito de continuidad en casi todas partes). He demostrado que:
$$\lim_{|\omega_x +i\omega_y| \to +\infty } \, \int\limits_{\mathbb{R}^2} f(x,y)\ e^{- i (x \omega_x+y \omega_y)}\,dxdy=\lim_{\omega \to +\infty } \, \int\limits_{\mathbb{R}} h(x)e^{-i\omega x}\,dx=0$$
Si la función $f$ no es R-integrable , pero existe R-integrable,$L^1(\mathbb{R}^2)$ función que es igual a él en casi todas partes, entonces podemos obtener este mismo resultado mediante la sustitución de $f$ con su estimación o simplemente el uso de L-integración. Lebesgue la integral de la no-negativo medibles función de $g:\mathbb{R}^n\to [0,+\infty)$ es igual a: $\lim\limits_{\Delta\to 0^{+}}\lim\limits_{n\to +\infty}\sum_{i=1}^n\Delta$$\mu$ $(A_i)$ donde $A_i=\{x\in\text{area of integrating}:g(x)>i\Delta\}$.
Curiosidad:
$f_1(x)=($$1_{\mathbb{Q}}$$2-1)\frac{1}{1+x^2} \implies \lim\limits_{\omega \to +\infty } \, \int\limits_{\mathbb{R}} f_1(x)e^{-i\omega x}\,dx\neq 0 \wedge \lim\limits_{\omega \to +\infty } \, \int\limits_{\mathbb{R}} f_1(x)e^{-i\omega x}=0$
El segundo resultado es más fiable porque la $\mu(\mathbb{Q})=0$. La cobertura de cualquier contables set $X$ puede ser expresado como $\bigcup\limits_{n=1}^{+\infty}\left[i(n)-\frac{\varepsilon}{2^{n+2}},i(n)+\frac{\varepsilon}{2^{n+2}}\right]$ donde $\varepsilon > 0$ $i\colon \mathbb{Z}_+ \to X$ es un surjection. $$\begin{align*}\mu\left(\left[i(n)-\frac{\varepsilon}{2^{n+2}},i(n)+\frac{\varepsilon}{2^{n+2}}\right]\right)&=\int\limits_{\mathbb{R}}1_{\left[i(n)-\frac{\varepsilon}{2^{n+2}},i(n)+\frac{\varepsilon}{2^{n+2}}\right]}=\int\limits_{\mathbb{R}}1_{\left[i(n)-\frac{\varepsilon}{2^{n+2}},i(n)+\frac{\varepsilon}{2^{n+2}}\right]}dx\\ &=\frac{\varepsilon}{2^{n+1}}\end{align*}$$
