Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $K: [0,1] \times \mathbb{R}^n \to \mathbb{C}$ have the properties:

  1. $K(x,\cdot) \in L^2(\mathbb{R}^n)$ for all $x\in[0,1]$
  2. For every $f\in L^2(\mathbb{R}^n)$ the function $$ x\mapsto \int_{\mathbb{R}^n} K(x,y)f(y)\,dy$$ is continuous on $[0,1].$ Prove that the intergral operator ${\bf K}$ defined by $$ {\bf K}f(x) = \int_{\mathbb{R}^n} K(x,y)f(y)\,dy$$ is bounded from $L^2(\mathbb{R}^n)$ to $C([0,1])$.

I know that $L^2(\mathbb{R}^n)$ and $C([0,1])$ are Banach spaces. So maybe we could apply the closed graph theorem? Then closed $\implies$ continuous $\implies$ bounded. How could I prove it? Or should I do it some other way?

share|improve this question

1 Answer 1

Hint: Use Cauchy-Schwarz inequality

$$ |\langle f,g\rangle|\leq ||f||_2 ||g||_2. $$ Here is how you start $$ |{\bf K}f(x)| \leq \int_{\mathbb{R}^n} |K(x,y)||f(y)|dy \leq \sqrt{ \int_{\mathbb{R}^n}|k(x,y)|^2 dy} \sqrt{ \int_{\mathbb{R}^n}|f(y)|^2 dy}\dots$$

share|improve this answer
    
I think this is wrong since then: $$ |{\bf K}f(x)| \leq \|M(x,.)\|\|f|\|$$ And the bound would depend on $x$? –  Johan Dec 3 '12 at 8:51
    
@Johan: You need to prove $||\bf{K}||\leq M$, so use the definition of the norm of an operator. Note that $\bf{K}f(x)\in C[0,1]$, so you have to know what norm should be used. –  Mhenni Benghorbal Dec 3 '12 at 9:25

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.