Por favor, dame una pista, no toda la solución:
El Problema: Sea $K(x,t):\mathbb{R}^{2}\to \mathbb{R}$ una función medible no negativa tal que $$F(x) = \int\limits_{\mathbb{R}} K(x,t)dt \in L(\mathbb{R})$$
- (a) Para $f \in L(\mathbb{R})$ muestra que $$g(x) = \int\limits_{\mathbb{R}}K(x,t)f(t)dt$$ es medible y $g \in L(\mathbb{R}).$
Lo que he hecho:
Dado que $F(x)\in L^{1}(\mathbb{R})$ entonces
$$ \int\limits_{\mathbb{R}}F(x)dx<\infty \Rightarrow \int\limits_{\mathbb{R}}\vert \int K(x,t)dt \vert dx<\infty$$
pero $K(x,t)\in \mathbb{R}^{+} $ entonces
$$ \Rightarrow \int\limits_{\mathbb{R}} \int K(x,t)dt dx<\infty\Rightarrow \int\limits_{\mathbb{R}} (\int K(x,t)dx) dt<\infty$$
Dado que $\int K(x,t)dx>0$ podemos concluir que $\int K(x,t)dx<\infty.$
Ahora queremos demostrar que $g(x)\in L^{1}(\mathbb{R})$ entonces sabemos que $\vert K(x,t)f(t)\vert$ es medible así que puedo usar el teorema de Fubini entonces
$$ \int\limits_{\mathbb{R}}\vert \int K(x,t)f(t)dt \vert dx\leq \int\limits_{\mathbb{R}} \int K(x,t)\vert f(t)\vert dt dx \\= \int\int K(x,t)\vert f(t)\vert dx dt= \int\int K(x,t)\vert f(t)\vert dx dt\leq M\int K(x,t)dx $$ donde $\int\vert K(x,y)\vert dt
- (b) Calcula $$\sup\limits_{\Vert f\Vert_{1}\leq 1} \int\limits_{\mathbb{R}^{2}} K(x,t) \vert f(t)\vert dx\, dt. $$
Lo que he hecho: $$\sup\limits_{\Vert f\Vert\leq 1} \int\limits_{\mathbb{R}^{2}} K(x,t) \vert f(t)\vert dx\, dt\leq \sup\limits_{\Vert f\Vert\leq 1} \int\limits_{\mathbb{R}}\vert f(t)\vert\int K(x,t) dx\, dt=\int K(x,t)dx< +\infty$$
- (c) Evalúa $$ \lim\limits_{x\to \infty} \int_{\mathbb{R}} K(x,t)f(t)dt$$ donde $f \in L(\mathbb{R}).
Para esta parte, no pude hacer nada.
0 votos
Creo que para la parte (c), no tendrás una respuesta fácil, a menos que asumas, por ejemplo, la continuidad de $K$ en la primera variable.
0 votos
@PhoemueX He editado $x\to 1$ a $x\to \infty$. Disculpa por las molestias.
1 votos
Para la parte (a) ¿cómo hiciste esto? $$\int\int K(x,t)\vert f(t)\vert dx dt\leq M\int K(x,t)dx$$ ¿Qué quieres decir con $f\in L(\mathbb{R})$? ¿Significa $f\in L^1(\mathbb{R})$? Creo que $f$ debería estar en $L^\infty$
0 votos
@PhoemueX $f\in L^{1}$. Además, para la primera pregunta porque $f\in L^{1}$ fo es finito.
0 votos
Si no entiendes mi respuesta, por favor dime por qué.
1 votos
Considere el caso especial $k(x,t)=k_1(x) k_2 (t)$ La respuesta a c) se convierte en $c \int k_2 (t) f(t) dt$ donde c es el límite de $k_1(x)$ si existe. En mi opinión, la pregunta es demasiado general para tener una respuesta significativa.