Constructing a Sequence of Continuous Functions in Hilbert Space

[keniwas]

Homework Statement

Let f(x) be the discontinuous function
f(x)=e^{-x},\text{for }x>0
f(x)=x,\text{for }x\leq 0

Construct explicitly a sequence of functions f_n(x), such that
||f_n(x)-f(x)||<\frac{1}{n},
and f_n(x) is a continuous function of x, for any finite n. Here ||\;|| represents the metric in the Hilbert space of square-integrable functions on the line, -\infty<x<\infty. By construction, under this metric \lim_{n\rightarrow\infty}f_n=f.

The Attempt at a Solution

I have tried to find different sequences that might work for this (ex. Power Series expansion where n indicates the highest order term to use.) but I can't seem to find one that fits the requirement that it be less than 1/n. I have a feeling the triangle inequality is going to be used somewhere but I am not sure how yet...

 

[LCKurtz]

Your f(x) isn't square integrable but you can find a continuous f_n whose difference from f is square integrable. Try something like this. Make your f_n(x) equal f(x) except on \left[ \frac {-1} n, 0\right ], and a straight line joining your two pieces on this interval.

 

[keniwas]

I like your idea, but I think it still produces a discontinuous function in the limit as n\rightarrow\infty

Using your example I would define a function
f_n(x) = \left\{ <br /> \begin{array}{lr}<br /> e^{-x} &amp; \text{for } x&gt;0\\<br /> nx+1 &amp; \text{for } -\frac{1}{n}&lt;x\leq0\\<br /> 0 &amp; \text{for } x\leq-\frac{1}{n} <br /> \end{array} \right.

Which would be continuous, but in the limit as n\rightarrow\infty it approaches the discontinuity observed in the original equation at x=0 since the linear part has an infinite slope and hence there is a jump from 0 to 1.

If I missed something you were intending please correct me.

 

[keniwas]

Or perhaps is that the point? That this continuous function converges to a discontinuous one? The problem does say it has to be continuous for any finite n, which it is... Ok so if this is correct, how am I to prove it is always less than 1/n?

 

[LCKurtz]

Or perhaps is that the point? That this continuous function converges to a discontinuous one? The problem does say it has to be continuous for any finite n, which it is... Ok so if this is correct, how am I to prove it is always less than 1/n?

Are you sure your f_n get close to f in any sense of the word for x < 0? Look a little more closely at my hint.

It would be good to be more precise in your writing. When you say "it has to be continuous", what is the it?

Then you say prove it is less than 1/n. To what does that it refer? Is it the same "it"? A different "it"? It would be best not to use the pronoun "it" at all. Use the symbol(s) in question; it will help you to keep your thinking straight.

Anyway, answer the question of what is supposed to be less than 1/n. Then just calculate it once you have all the formulas.

 

[keniwas]

Well, f_n gets 'close' to f in the sense that their difference is small... except for right in the center region? Hmm I am not sure if you are trying to hint at the fact i have chosen an incorrect form for f_n or just trying to make me understand why it is correct...

Lets assume its the latter for a moment, then here is a new attempt at the solution.

We have the function:
f(x) = \left\{ <br /> \begin{array}{lc}<br /> e^{-x} &amp;x&gt;0\\<br /> 0 &amp;x\leq 0<br /> \end{array}<br /> \right.<br />
Now define the function:
f_n(x) = \left\{ <br /> \begin{array}{lc}<br /> e^{-x} &amp;x&gt;0\\<br /> nx+1 &amp; -\frac{1}{n}&lt;x\leq0\\<br /> 0 &amp;x\leq-\frac{1}{n}<br /> \end{array}<br /> \right.<br />
This function is continuous for any finite n, and additionally \lim_{n\rightarrow\infty}f_n(x)=f(x)
We can then take the pointwise difference between these two functions to get the new function g(x)=f_n(x)-f(x) which we find to be
<br /> g(x)=\left\{ <br /> \begin{array}{lc}<br /> 0 &amp;x&gt;0\\<br /> nx+1 &amp; -\frac{1}{n}&lt;x\leq0\\<br /> 0 &amp;x\leq-\frac{1}{n}<br /> \end{array}<br /> \right.<br />
This function is square integrable, so we can find the value of ||g(x)|| by performing the following integral,
||g(x)||=\int_{-\infty}^{\infty} g(x)^2dx=\int_{-\infty}^{-\frac{1}{n}}0dx+\int_{-\frac{1}{n}}^{0}(nx+1)^2dx+\int_{0}^{\infty}0dx
Two of the three integrals vanish everywhere, and we are left with the center integral,
<br /> \begin{array}{lcl}<br /> \int_{-\frac{1}{n}}^{0}(nx+1)^2dx&amp;=&amp;\int_{-\frac{1}{n}}^{0}(n^2x^2+2nx+1)dx\nonumber\\<br /> &amp;=&amp;\frac{n^2}{3}x^3+nx^2+x|_{-1/n}^{0}\nonumber\\<br /> &amp;=&amp;-(\frac{n^2}{3}(-\frac{1}{n})^3+n(-\frac{1}{n})^2+(-\frac{1}{n}))\nonumber\\<br /> &amp;=&amp;-(\frac{-1}{3n}+\frac{1}{n}-\frac{1}{n})\nonumber\\<br /> &amp;=&amp;\frac{1}{3n}<br /> \end{array}<br />


Then ||g(x)||=||f_n(x)-f(x)||&lt;1/n for all x and n. Hence we have found a sequence of functions that produces the desired results and converges to the original function in the limit as n\rightarrow\infty

Though my problem with this is that the difference between f and f_n grows with increasing n, yet the interval where this difference is occurring gets smaller and smaller... so overall the difference is still small. Something feels funny about my logic here which usually means its wrong.

 

[Office_Shredder]

The difference between f and f_n actually decreases at every single point in this example. The center region is a line going from the value (-1/n) on the x-axis to the value 1 on the y-axis. So if you pick any negative x value, eventually it's to the left of -(1/n) and f(x) and f_n(x) match up perfectly.

Your post looks pretty good. Two points:
1) in your original post, you had f(x)=x for negative x, and now it's zero. It doesn't really make a difference in the analysis, but make sure you use the right one when turning in your homework!

2) You state
<br /> \lim_{n \rightarrow \infty} f_n(x)=f(x)<br />

in your post far before you've proven it. You realize that this:

\lim_{n \rightarrow \infty} ||f_n(x) - f(x)|| = 0

is the definition of <br /> \lim_{n\rightarrow\infty}f_n(x)=f(x)<br />
right? So even though at first glance it seems kind of obvious that the limit holds, you do need to do the calculations to make that conclusion

 

[keniwas]

The difference between f and f_n actually decreases at every single point in this example. The center region is a line going from the value (-1/n) on the x-axis to the value 1 on the y-axis. So if you pick any negative x value, eventually it's to the left of -(1/n) and f(x) and f_n(x) match up perfectly.

Essentially the x-intercept gets closer and closer to zero as n grows so the functions eventually match up?

Your post looks pretty good. Two points:
1) in your original post, you had f(x)=x for negative x, and now it's zero. It doesn't really make a difference in the analysis, but make sure you use the right one when turning in your homework!

Oops! the correct definition is f(x)=0 for x<0 thanks for pointing that out.

2) You state
<br /> \lim_{n \rightarrow \infty} f_n(x)=f(x)<br />

in your post far before you've proven it. You realize that this:

\lim_{n \rightarrow \infty} ||f_n(x) - f(x)|| = 0

is the definition of


<br /> \lim_{n\rightarrow\infty}f_n(x)=f(x)<br />
right? So even though at first glance it seems kind of obvious that the limit holds, you do need to do the calculations to make that conclusion

Hmm, I see what you mean, I will add that in. Thank you for the help!

 

[LCKurtz]

Essentially the x-intercept gets closer and closer to zero as n grows so the functions eventually match up?



Oops! the correct definition is f(x)=0 for x<0 thanks for pointing that out.

Are you saying your original post had f(x) wrong for x < 0? Because what you have done won't work with your original statement.

 

[keniwas]

Yes the original post was incorrect the right form of f(x) is

f(x) = \left\{ \begin{array}{lr} e^{-x} &amp; x&gt;0\\<br /> 0 &amp; x\leq 0 \end{array} \right.

EDIT: In proving the last statement, it seems that the integrals would diverge as n goes to infinity? Well actually I am not sure how to treat an integral like
\int_{0}^{0} (\infty) dx
which is what the integral seems to do as n grows to infinity.

 

[keniwas]

Mathematica gives me an output of 0 for the following function

Limit[Integrate[n*x, {x, -1/n, 0}], n -> \[Infinity]].

Which seems ok, but it seems weird that it would work that way. Are we performing the integration first then the limit? (This is clearly what mathematica does since the order of functional operations always starts from the center of the statement outwards) but is this mathematically correct?

 

[Office_Shredder]

That is in fact correct (although your function should be nx+1, but you get the same value). I'll draw a couple pictures for you:
http://img21.imageshack.us/img21/3690/nx1u.jpg

 

[keniwas]

Nice Picture =). I understand now, thank you for the help.

Yes I realized after I posted my last post that I hadn't included the + 1, but like you said the result is the same.

Thanks again!