Bounded Operator: Is D:L^2(0,1) Bounded?

  • Thread starter Thread starter foxjwill
  • Start date Start date
  • Tags Tags
    Bounded Operator
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
foxjwill
Messages
350
Reaction score
0

Homework Statement


Is the derivative operator [tex]D:L^2(0,1)\to L^2(0,1)[/tex] bounded? In other words, is there a c>0 such that for all [tex]f\in L^2(0,1)[/tex],
[tex]\|Df\|\leq c\|f\|?[/tex]​

Homework Equations


For all [tex]f\in L^2(0,1)[/tex],
[tex]\|f\| = \int_0^1 |f|^2\,dx.[/tex]​

The Attempt at a Solution


I'm pretty sure the answer is no. Here's my work:

Suppose [tex]c^2>0[/tex] satisfies the above requirements. Define [tex]f(x)=e^{(c+1)x}[/tex]. Then
[tex]\|Df\| = \int_0^1 (c+1)^2e^{2(c+1)x}\,dx = (c+1)^2\|f\| > c^2\|f\|.[/tex]​
But this contradicts the fact that [tex]\|Df\|\leq c^2\|f\|.[/tex] Thus, D is unbounded. Q.E.D.

Is this correct?
 
Physics news on Phys.org
You have the right kind of example but the logic is a little overcomplicated. If you define f(x)=e^(dx) then ||Df||=d^2||f||. At this point you are done since d^2 can be chosen as large as you want. So there can't be a c such that ||Df||<c||f|| for any f.
 
Dick said:
You have the right kind of example but the logic is a little overcomplicated. If you define f(x)=e^(dx) then ||Df||=d^2||f||.


No, just d||f|| ... provided d>0 ... but that is just as good.
 
g_edgar said:
No, just d||f|| ... provided d>0 ... but that is just as good.

Right. There should have been a square root on the definition of ||f|| in the original post. Thanks for catching that.