4 votos

Preguntas sobre una prueba de que $\mathcal{D}$ es denso en $\mathcal{S}$.

Actualmente estoy trabajando a través de notas de la conferencia este y en la página 164, no se dice

El espacio de $\mathcal{D}(\mathbb{R}^n)$ suave de valores complejos de funciones con soporte compacto está contenida en el espacio de Schwartz $\mathcal{S}(\mathbb{R}^n)$. Si $f_k \to f$$\mathcal{D}$,$f_k \to f$$\mathcal{S}$, lo $\mathcal{D}$ es continuamente incrustado en $\mathcal{S}$. Además, si $f\in \mathcal{S}$, e $\eta \in C_c^{\infty}(\mathbb{R}^n)$ es un corte de la función con $\eta_k(x) = \eta(x/k)$,$\eta_k f \to f$$\mathcal{S}$$k \to \infty$, lo $\mathcal{D}$ es denso en $\mathcal{S}$.

No entiendo los argumentos en este párrafo, para un subconjunto $\mathcal D$ $\mathcal S$ a ser denso en $\mathcal S$ por cada elemento de a $s$ $\mathcal S$ necesito encontrar una secuencia en $\mathcal D$ que converge a $s$, pero no sólo destaca que el $\eta_k f \to f$ en $\mathcal{S}$, pero lo que necesito es una secuencia en $\mathcal{D}$ no en $\mathcal{S}$, entonces, ¿por qué se sigue de esto que el $\mathcal{D}$ es denso en $\mathcal{S}$?

3voto

Davide Giraudo Puntos 95813

La secuencia de $\{\eta_k\}$ está contenido en $\mathcal D(\Bbb R^n)$ y podemos comprobar que el producto de una función en el espacio de Schwartz con una función de prueba es una función de prueba (que es suave debido a que el producto de dos liso funciones es suave, y tiene un tamaño compacto porque es la contenida en el soporte de la función de prueba).

Tenemos $\mathcal D(\Bbb R^n)\subset \mathcal S(\Bbb R^n)$, y lo que queremos ver es que es un subconjunto denso de la topología de $\mathcal S(\Bbb R^n)$. Así que lo que tenemos que demostrar es que $$\sup_{x\in \Bbb R^n}|x^p\partial^{\alpha}(\eta_kf-f)(x)|\to 0$$ para todo entero $p$ y todos los $\alpha\in\Bbb N^n$.

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