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

  • Thread starter Thread starter foxjwill
  • Start date Start date
  • Tags Tags
    Bounded Operator
Click For Summary

Homework Help Overview

The discussion centers around the boundedness of the derivative operator D defined on the space L^2(0,1). Participants are examining whether there exists a constant c>0 such that the inequality \|Df\|\leq c\|f\| holds for all functions f in L^2(0,1).

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of defining specific functions, such as f(x)=e^{(c+1)x} and f(x)=e^{dx}, to analyze the relationship between \|Df\| and \|f\|. There is a focus on the conditions under which the operator D might be considered bounded or unbounded.

Discussion Status

Some participants agree on the use of exponential functions as examples to illustrate the boundedness question. There is an acknowledgment of a potential error in the original post regarding the definition of the norm, which has led to further clarification and refinement of the arguments presented.

Contextual Notes

Participants are navigating the definitions and properties of norms in the context of L^2 spaces, with specific attention to the implications of the derivative operator's behavior. There is a mention of a correction regarding the norm's definition, indicating a need for precision in mathematical expressions.

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.
 

Similar threads

Replies
8
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K