Show that one of these functionals is unbounded

  • Thread starter Fredrik
  • Start date
  • Tags
    Functionals
In summary: Ay\rangle. To do that, we need to show that for every y\in S, there exists a x'\in S such that \{\|\phi_x\|\,|x'\in S\}=\|\phi_x\|. To do this, we need to show that for every y\in S, there exists a x\in S such that \{\|\phi_x\|\,|x\in S\}=\phi_x(y). To do this, we need to show that for every y\in S, there exists a
  • #1
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,877
422
Suppose that [itex]\mathcal H[/itex] is a Hilbert space, and that [itex]A:\mathcal H\rightarrow\mathcal H[/itex] is linear and unbounded. Is it safe to conclude that [itex]y\mapsto\langle x,Ay\rangle[/itex] is unbounded for at least one [itex]x\in\mathcal H[/itex]? How do you prove this?
(My inner product is linear in the second variable).For each [itex]x\in\mathcal H[/itex], let [itex]\phi_x[/itex] be the linear functional [itex]y\mapsto\langle x,Ay\rangle[/itex]. Suppose that [itex]\phi_x[/itex] is bounded for all [itex]x\in\mathcal H[/itex]. (This is what I'd like to disprove, so I'm hoping to obtain a contradiction). Then for each [itex]x\in\mathcal H[/itex], there exists a unique [itex]x'\in\mathcal H[/itex] such that [itex]\phi_x=\langle x',\cdot\rangle[/itex]. This means that for all [itex]x\in\mathcal H[/itex], we have [itex]\langle x,Ay\rangle=\phi_x(y)=\langle x',y\rangle[/itex]. Note that x' depends on x. We also have

[tex]|\langle x,Ay\rangle|=|\langle x',y\rangle|\leq \|x'\|\,\|y\|=\|\phi_x\|\,\|y\|[/tex]

for all [itex]x,y\in\mathcal H[/itex]. This is where I'm stuck. Can you really get a contradiction from this?
 
Physics news on Phys.org
  • #2
Is this an exercise of Conway? If so, which one?

Maybe you could show that [tex]\{\phi_x~\vert~\|x\|=1\}[/tex] violates the uniform boundedness principle...
 
  • #3
No, it's not an exercise. It's just something I started thinking about while reading about the definition of the adjoint, and yes, mainly in Conway. If [itex]\phi_x[/itex] is bounded, then there's a unique x' such that [itex]\phi_x=\langle x',\cdot\rangle[/itex], and we can define the adjoint of A as the map [itex]x\mapsto x'[/itex]. The domain of A* is the set of all x such that [itex]\phi_x[/itex] is invertible. So what I'm wondering is if there exists an unbounded linear operator defined on the entire Hilbert space with an adjoint that's defined on the entire Hilbert space too. I expect the answer to be no, but I'm not sure.

The uniform boundedness principle you say...that sounds interesting, mainly because it's a theorem I just a had a quick look at, and then moved on to study other things. I'll have a closer look at it tomorrow. Now I need to go to bed. Thanks for the tip.
 
  • #4
Fredrik said:
No, it's not an exercise. It's just something I started thinking about while reading about the definition of the adjoint, and yes, mainly in Conway. If [itex]\phi_x[/itex] is bounded, then there's a unique x' such that [itex]\phi_x=\langle x',\cdot\rangle[/itex], and we can define the adjoint of A as the map [itex]x\mapsto x'[/itex]. The domain of A* is the set of all x such that [itex]\phi_x[/itex] is invertible. So what I'm wondering is if there exists an unbounded linear operator defined on the entire Hilbert space with an adjoint that's defined on the entire Hilbert space too. I expect the answer to be no, but I'm not sure.

The uniform boundedness principle you say...that sounds interesting, mainly because it's a theorem I just a had a quick look at, and then moved on to study other things. I'll have a closer look at it tomorrow. Now I need to go to bed. Thanks for the tip.

Well, I seem to remember vaguely that if an operator has an adjoint which is defined on the entire Hilbert space, then the operator must be bounded. But don't take my word for it...
 
  • #5
I looked up the uniform boundedness principle before I went to bed. If I understand it correctly, what it says about my [itex]\phi_x[/itex] is that [itex]\{\|\phi_x\|\,|x\in\mathcal H\}[/itex] is bounded from above if and only if for every [itex]y\in\mathcal H[/itex], [itex]\{|\phi_x(y)|\,|x\in\mathcal H\}[/itex] is bounded from above. Alternatively, let S be the unit sphere in H, and try to use this instead: [itex]\{\|\phi_x\|\,|x\in S\}[/itex] is bounded from above if and only if for every [itex]y\in\mathcal H[/itex], [itex]\{|\phi_x(y)|\,|x\in S\}[/itex] is bounded from above.

I had actually shown that the statements "on the left" in these two statements are false, before you suggested I should look at the uniform boundedness principle, and I had obtained results that are at least as strong as the negations of the statements "on the right", without using the theorem, but I didn't see how to use them. Of course, after typing most of the next paragraph of this post, to explain why those results are useless, I did find a way to use one of them.


Suppose that I show that [itex]\{\|\phi_x\|\,|x\in S\}[/itex] isn't bounded from above, and conclude that it's not true that for every [itex]y\in\mathcal H[/itex], [itex]\{|\phi_x(y)|\,|x\in S\}[/itex] is bounded from above. Then there's a [itex]y_0\in\mathcal H[/itex] such that for each [itex]K>0[/itex], there's an [itex]x_K\in S[/itex] such that [itex]|\langle x_K,Ay_0\rangle|=|\phi_{x_K}(y_0)|>K[/itex]. [strike]This doesn't appear to tell us anything useful.[/strike] If we choose [itex]K=\|Ay_0\|[/itex], we get [itex]|\langle x_K,Ay_0\rangle|>\|Ay_0\|[/itex], which contradicts the CBS inequality.


Just to get my thoughts in order, here's the first part of the proof. Suppose that [itex]\{\|\phi_x\|\,|x\in S\}[/itex] is bounded from above. Then there's a real number M such that for all [itex]x\in S[/itex], [itex]\|\phi_x\|\leq M[/itex]. The inequality implies that for all [itex]y\in S[/itex], [itex]|\phi_x(y)|\leq\|\phi_x\|\,\|y\|\leq M[/itex]. So for all [itex]x,y\in S[/itex], [itex]|\langle x,Ay\rangle|\leq M[/itex]. Choose [itex]x=Ay/\|Ay\|[/itex]. Then for all [itex]y\in S[/itex], [itex]\|Ay\|\leq M[/itex], contradicting the assumption that [itex]A[/itex] is unbounded.

So now we know that [itex]\{\|\phi_x\|\,|x\in S\}[/itex] isn't bounded from above. This means that for each K>0, there's an [itex]x_K\in S[/itex] such that [itex]\|\phi_{x_K}\|>K[/itex]. But [itex]\|\phi_{x_K}\|[/itex] is the least upper bound for [itex]\{|\phi_{x_K}(y)|\,|y\in S\}[/itex], so there's a [itex]y_K\in S[/itex] such that [itex]|\langle x_K,Ay_K\rangle|=|\phi_{x_K}(y_K)|>K[/itex]. Hm, on second thought, this doesn't appear to be as strong as what I get from the uniform boundedness principle, since [itex]x_K[/itex] is determined by K. So maybe I do need the uniform boundedness principle.
 
Last edited:
  • #6
So, you've shown that [tex]\{\|\phi_x\|~\vert~x\in S\}[/tex] isn't bounded. So, it suffices to show that for every y, [tex]\{|\phi_x(y)~\vert~x\in S\}[/tex] is bounded. But this follows from CBS by [tex]|\phi_x(y)|\leq |<x,Ay>|\leq \|x\|\|A_y\|=\|Ay\|[/tex] which is an upper bound for the family...
 
  • #7
Yes, that simplifies what I said in the third paragraph of #5 a bit. Thanks again for the help. This solves the problem I posted in #1. I will continue to think about whether it's possible to do it without the uniform boundedness principle.
 
  • #8
Let me know if you find anything, since I find the problem quite intriguing. And you're correct, using the UFP is quite unsatisfying...
 
  • #9
The more I think about it, the more I think it's impossible. I was hoping that maybe some property of the inner product or the specific family of functionals we're dealing with would simplify the proof of the implication

For all [itex]y\in\mathcal H[/itex] [itex]\{|\phi_x(y)|\,|\,x\in S\}[/itex] is bounded from above. [itex]\Rightarrow[/itex] [itex]\{\|\phi_x\|\,|\,x\in S\}[/itex] is bounded from above.​

(the non-trivial part of the uniformed boundedness theorem, for this specific family of functionals), so that we don't have to use any fancy theorems about Banach spaces. But the properties of the inner product and the [itex]\phi_x[/itex] functionals are precisely what I used to prove that the statement on the right is false, so I don't think that approach can work.
 
  • #10
I cleaned up the proof for my notes, so I might as well copy-and-paste it into this thread.

Theorem: If [itex]y\mapsto\langle x,Ay\rangle[/itex] is bounded for all [itex]x\in\mathcal H[/itex], then A is bounded.

Proof:
Let S be the unit sphere in [itex]\mathcal H[/itex]. For all [itex]y\in\mathcal H[/itex] and all [itex]x\in S[/itex],

[tex]|\phi_x(y)|=|\langle x,Ay\rangle|\leq\|x\|\,\|Ay\|=\|Ay\|.[/tex]

So for each [itex]y\in H[/itex], [itex]\|Ay\|[/itex] is an upper bound for the set [itex]\{|\phi_x(y)|\,|\,x\in S\}[/itex]. By the principle of uniform boundedness, this implies that [itex]\{\|\phi_x\|\,|\,x\in S\}[/itex] is bounded from above. So there exists an [itex]M\in\mathbb R\,[/itex] such that for all [itex]x\in S[/itex], [itex]\|\phi_x\|\leq M[/itex]. This implies that for all [itex]y\in\mathcal H[/itex] and all [itex]x\in S[/itex],

[tex]|\langle x,Ay\rangle|=|\phi_x(y)|\leq\|\phi_x\|\,\|y\|\leq M\|y\|.[/tex]

This implies that for all [itex]y\in\mathcal H[/itex],

[tex]\|Ay\|=\Big\langle\frac{Ay}{\|Ay\|},Ay\Big\rangle\leq M\|y\|,[/tex]

and this means that A is bounded.
 
Last edited:

What does it mean for a functional to be unbounded?

When a functional is unbounded, it means that there is no finite number that can be used to bound or limit its values. This means that the values of the functional can increase without limit.

Why is it important to show that a functional is unbounded?

Showing that a functional is unbounded is important because it helps to identify the behavior of the functional and determine if it is well-behaved. It also allows for the identification of potential issues and limitations in the functional.

How do you prove that a functional is unbounded?

To prove that a functional is unbounded, one must show that for any given bound or limit, there exists a value of the functional that exceeds it. This can be done through various mathematical techniques such as using limit definitions, inequalities, or counterexamples.

What are some real-world examples of unbounded functionals?

An example of an unbounded functional in the real world is the distance from a point to a line. As the point moves further away from the line, the distance between them can increase without limit. Another example is the velocity of an object in free fall, which can continue to increase without bound as the object falls further.

What are the implications of a functional being unbounded?

The implications of a functional being unbounded can vary depending on the context. In some cases, it may indicate that the functional is not well-behaved or does not have a finite limit. In other cases, it may simply mean that the functional has no upper or lower bound and can take on infinitely large or small values.

Similar threads

  • Quantum Physics
Replies
11
Views
869
  • Linear and Abstract Algebra
Replies
1
Views
719
  • Linear and Abstract Algebra
Replies
20
Views
3K
  • Advanced Physics Homework Help
Replies
1
Views
1K
  • Quantum Physics
Replies
8
Views
2K
  • Calculus and Beyond Homework Help
2
Replies
43
Views
3K
  • Quantum Physics
Replies
3
Views
988
  • Calculus and Beyond Homework Help
Replies
2
Views
657
  • Linear and Abstract Algebra
Replies
9
Views
2K
Back
Top