1
$\begingroup$

I want to estimate the integral $\int k(x,y)f(y)dy$assuming the fact that $k(x,y), f(y)$ are in $L^p, L^q$ respectively. But I want to bound the the whole integral in $L^r$, $r\in [1,\infty]$.

I tried using Hölder but I am not given any more information. Even if I could apply Hölder then I always get confused on introducing $r$. I know its quite easy but I think a small hint could do if I have to apply Hölder.

Thanks!

  • 0
    @DavideGiraudo : The exact question is to show that $T_K:=L^p \to L^q$ is bounded . where, $k(x,.)\in L^q$ and $f \in L^p$. and the map is defined as above .2012-11-23

1 Answers 1

1

Note that if $f \in L^q(A)$ and $g \in L^q(B)$, $f(x) g(y) \in L^q(A \times B)$. Then if $k \in L^p(A \times A)$ with $1/p + 1/q = 1$, $\left| \int_{A \times B} k(x,y) f(x) g(y)\ dx \ dy \right| \le \|k\|_p \|f\|_q \|g\|_q$ Since this is true for every $g \in L^q(B)$, $\int k(x,y) f(x)\ dx \in L^p(B)$ with $\|\int k(x,y) f(x)\ dx \|_p \le \|k\|_p \|f\|_q$.

However, it won't work if $r \ne p$. In order to have $\int_A k(x,y) f(x)\ dx \in L^r(B)$, what you'd want is $k(\cdot,y) \in L^p$ for almost all $y \in B$ with $y \to \|k(\cdot,y)\|_p \in L^r(B)$. If $L^p(B)$ is not a subset of $L^r(B)$, this won't be true. In fact, given $h \in L^p(B) \backslash L^r(B)$ and $f\ne 0 \in L^q(A)$, take $g \in L^p(A)$ with $\|g\|_p = 1$ and $\int_A f g \ dx = \|f\|_q$, and define $k(x,y) = g(x) h(y)$. Then $k \in L^p$ with $\|k\|_p = \|g\|_p \|h\|_p$, and $\int_A k(x,y) f(x)\ dx = \|f\|_q h(y) \notin L^r(B)$.