Operador compacto en $L^2$

Question

Dejemos que $\left( X,\Omega ,\mu \right) $ sea un espacio de medidas y $k\in L^{2}\left( X\times X,\Omega \times \Omega ,\mu \times \mu \right) $ definir \[ \left( Kf\right) \left( x\right) =\int k\left( x,y\right) f\left( y\right) d\mu \left( y\right) \text{.} \]

¿Me ayudarías a probar que $K$ es un operador compacto.

Dejemos que $\left\{ e_{i}:i\in I\right\} $ es una base para $L^{2}\left( X,\Omega ,\mu \right) \,\ $ y $\phi _{ij}\left( x,y\right) =e_{j}\left( x\right) \overline{e_{i}\left( y\right) }$ para $i,j$ en $I$ y $x,y$ en $X$ ¿podría ayudarme a demostrar que $\left\{ \phi _{ij}:i,j\in I\right\} $ es un conjunto ortonormal en $L^{2}\left( X\times X,\Omega \times \Omega ,\mu \times \mu \right) $ y $\left\langle k,\phi _{ij}\right\rangle =\left\langle Ke_{j},e_{i}\right\rangle $ .

Answer 1

Como las funciones simples con "rectángulos" como "pasos" son densas en $L^2(\Omega^2)$ hay una secuencia $k_n \in L^2(\Omega^2)$ de funciones de la forma \[ k_n(x,y) = \Nsuma_{i=1}^{N_n} a_{i}\chi_{A^n_i}(x)\Nchi_{B^n_i}(y) \] donde $A^n_i$ , $B^n_j \subseteq \Omega$ son de medida finita, tal que $k_n \to k$ en $L^2(\Omega^2)$ .

Definir $K_n$ como $K$ pero con $k$ sustituido por $k_n$ . Entonces tenemos para $f \in L^2(\Omega)$ y $x \in \Omega$ \begin{align*} (K_nf)(x) &= \int_\Omega k_n(x,y)f(y)\,d\mu(y)\\ &= \sum_{i=1}^{N_n}a_i\chi_{A^n_i}(x)\int_\Omega \chi_{B^n_i}\, d\mu\\ &= \sum_{i=1}^{N_n}a_i \mu(B^n_i) \cdot \chi_{A^n_i}(x) \end{align*} Es decir $K_n f \in \operatorname{span}\{\chi_{A^n_i} \mid 1 \le i \le N_n\}$ . Como $f$ era arbitraria, $\dim\operatorname{ran} K_n \le N_n$ Así que $K_n$ es compacto. También tenemos \begin{align*} \|K_n f - K f\| &\le \left( \int_\Omega\left|\int_\Omega (k_n - k)(x,y)f(y)\,dy\right|^2\, dx\right)^{1/2}\\ &\le \left(\int_\Omega \int_\Omega |(k_n-k)(x,y)|^2\, dy\cdot \|f\|^2\, dx\right)^{1/2}\\ &\le \|k_n - k\|_{L^2(\Omega)^2}\|f\|_{L^2(\Omega)} \end{align*} Así que $\|K_n - K\| \le \|k_n - k\| \to 0$ y $K$ es compacto como límite de operadores compactos.

Primero demostramos que $(\phi_{ij})$ es ortonormal. Tenemos para $i,j,k,l \in I$ que $\def\skp#1{\left\langle#1\right\rangle}$ \begin{align*} \skp{\phi_{ij}, \phi_{kl}} &= \int_{\Omega^2} e_j(x)\overline{e_i(y)}\overline{e_l(x)\overline{e_k(y)}} \, d\mu^2(x,y)\\ &= \int_\Omega e_j\overline{e_l}\, d\mu \cdot \int_\Omega \overline{e_i}e_k\, d\mu\\ &= \skp{e_j,e_l}\cdot \skp{e_i, e_k}\\ &= \delta_{jl}\delta_{ik} \end{align*} Además \begin{align*} \skp{k, \phi_{ij}} &= \int_{\Omega^2} k(x,y)\overline{e_j(x)\overline{e_i}(y)}\, d\mu^2(x,y)\\ &= \int_\Omega \left(\int_\Omega k(x,y)e_i(y)\,d\mu(y)\right) \overline{e_j(x)}\, dx\\ &= \int_\Omega Ke_i(x)\overline{e_j(x)}\, d\mu\\ &=\skp{Ke_i, e_j} \end{align*}