A discontinuous Functional

  • Thread starter P3X-018
  • Start date
  • #1
144
0

Homework Statement



I have to show that the functional [itex] C_n [/itex] on the space of polynomials on the interval [0,1], that takes the n'th coefficient ie

[tex] C_n\left( \sum_{j=0}^m a_j t^j \right) = a_n [/tex]

is discontinuous with respect to the supremum norm [itex] \|p\|_{\infty} = \sup_{t\in[0,1]}|p(t)| [/itex].

Homework Equations



A functional F on a normed space is continuous if and only if

[tex] \sup_{\|x\|\leq 1} |F(x)| < \infty [/tex]


The Attempt at a Solution



Our normed space in the problem is the polynomials with the supremum norm.

As a hint it says to consider

[tex] p_k(t) = \frac{(1-t)^k}{bin(k,n)} [/tex]

bin(k,n) is the binomial coefficient.

The supremum of |p_k(t)| in the interval is attained when t = 0 so

[tex] \|p_k\|_{\infty} = \frac{1}{bin(k,n)} [/tex]

and I get by the binomial formula for (1-t)^k, that

[tex] C_n(p_k) = (-1)^n \|p_k\|_{\infty} bin(k,n)[/tex]

but then I get

[tex] \sup_{\|p_k\|\leq 1} | \|p_k\|_{\infty} bin(k,n) | = bin(k,n) [/tex]

but I think the point with hint was that this was supposed to be infinite so that C_n would be shown to be discontinuous. What am I doing wrong?
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,260
619
I don't think there is anything wrong. You have pk->0 in your supremum norm as k->infinity (at least for n>0). If Cn were continuous this should mean Cn(pk)->0. But you have |Cn(pk)|=1. That's enough to show Cn is discontinuous without any explicit infinities anyplace, right?
 
  • #3
144
0
That actually sounds reasonable. But then my calculation of the functional norm ie

[tex] \sup_{\|p_k\|\leq 1} | C_n(p_k) | [/tex]

is wrong, since this has to be infinite if C_n has to be discontinuous, though I can't see the mistake.
Maybe I'll just stick to argument that lim |C_n(p_k)| = 1 but lim p_k = 0, as you said. This shows |C_n| to be discont and therefore C_n is discont, because |.| is a cont map.
 
  • #4
Dick
Science Advisor
Homework Helper
26,260
619
That actually sounds reasonable. But then my calculation of the functional norm ie

[tex] \sup_{\|p_k\|\leq 1} | C_n(p_k) | [/tex]

is wrong, since this has to be infinite if C_n has to be discontinuous, though I can't see the mistake.
Maybe I'll just stick to argument that lim |C_n(p_k)| = 1 but lim p_k = 0, as you said. This shows |C_n| to be discont and therefore C_n is discont, because |.| is a cont map.
You can do it that way as well. But then change pk to just be (1-t)^k. Now |pk|<=1. But Cn(pk)=bin(k,n) which is unbounded (for n>0).
 

Related Threads on A discontinuous Functional

  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
10
Views
813
  • Last Post
Replies
4
Views
5K
Replies
1
Views
4K
Replies
6
Views
4K
  • Last Post
Replies
3
Views
3K
Replies
4
Views
2K
Replies
1
Views
2K
Top