5 votos

Inadecuado de la integral de Riemann suma límite en la derivación de la serie de Fourier para la transformada de Fourier de

Para dar fondo a mi pregunta, en todos los libros que yo he mirado para derivar la inversa de la transformada de Fourier de una función continua $f$$\mathbb{R}$, parecen funcionar de la siguiente manera. Deje $k$ ser un número real positivo y escribir (estándar de la serie de Fourier de la teoría) $$ f(x) = \sum_{n=-\infty}^\infty c_n \, e^{i n \pi x/k}\ , $$ donde $$ c_n = \frac{1}{2k} \int_{-k}^k f(y) \, e^{-i n \pi y/k}\, dy\ $$ Deje $\xi_n = n \pi / k$$\Delta \xi_n = \xi_n - \xi_{n-1} = \pi/k$, luego $$ f(x) = \frac{1}{2\pi} \sum_{n=-\infty}^\infty \left( \int_{-k}^k f(y) \, e^{-i y \xi_n}\, d y \right) e^{i x \xi_n } \Delta \xi_n. $$ Tome $k \to \infty$ para obtener $$ f(x) = \frac{1}{2 \pi} \int_{-\infty}^\infty \widehat{f}(\xi)\, e^{i x \xi}\, d \xi $$ donde
$$ \widehat{f}(\xi) = \int_{-\infty}^\infty f(x)\, e^{-ix \xi} \,d x. $$ Todo el mundo hace este argumento, pero nunca lo demuestra. Incluso si un libro dice que este argumento no es riguroso, que ni una sola vez dar un contraejemplo.

Mi Pregunta es acerca de la prueba: Vamos a $g(\xi)$ ser absolutamente integrable en $\mathbb{R}$ y continua, pero NO de forma compacta compatible, de lo contrario, mi pregunta es trivial. Deje $k > 0$, vamos a $\xi_n = n/k$, y considerar la suma de Riemann $$ \sum_{n = -\infty}^\infty g(\xi_n)\Delta \xi_n $$ donde supongo que este infinito de la serie es absolutamente convergente para todos los $k > 0$. Debe ser cierto que la $$ \lim_{k \to \infty} \sum_{-\infty}^\infty g(\xi_n)\Delta \xi_n = \int_{-\infty}^\infty g(\xi) d \xi? $$ Si esto es cierto, se puede dar una primaria de la prueba, una prueba utilizando sólo la teoría de la integral de Riemann y ninguna teoría de la medida u otro asunto avanzado? Si no, lo que es explícito y no demasiado complicado contraejemplo?

3voto

Anthony Cramp Puntos 126

Ciertamente, la convergencia de las sumas de Riemann no se sigue de integrabilidad y la continuidad de la $g$.

Considere esta función $g$:

graph

Los picos de la disminución de la anchura. Área de la espiga de centrado en$m\pi$$1/2^m$. Tenemos:

$\bullet $ $g$ es continua

$\bullet $ $\int_{-\infty}^{+\infty} |g(\xi)|\;d\xi = 1$

$\bullet $ $g(m\pi) = 1$ para $m=1,2,3,\dots$;

$\bullet $ $g(x) \ge 0$ para $-\infty < x < \infty$.

Ahora fix $k \in \mathbb N$. Para $m=1,2,3\dots$ tenemos $\xi_{mk} = m\pi$, y hay infinitamente muchos de estos, por lo que $$ \sum_{n=-\infty}^{+\infty} g(\xi_n)\Delta \xi_n = \frac{\pi}{k}\sum_{-\infty}^{+\infty} g(\xi_n) \ge \frac{\pi}{k}\sum_{m=1}^\infty g(m\pi) = +\infty . $$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X