Showing that a function is C infinity?

**Skynt** · Jul3-09, 02:33 AM

I'm currently reading a book, The Road To Reality by Roger Penrose, and trying to tackle some of the exercises in the process. My knowledge in mathematics is limited, but broad enough to complete some of the exercises. Anyway, one of them wants you to consider the one function $LaTeX Code: e^{\\frac{-1}{x^{2}}}$ and show that it is $LaTeX Code: C^{\\infty}$ but not analytic..

The entire concept of C-infty functions has been hard to grasp... can anyone explain? (such as proving a function to be C-infty)

Thanks!

**Hurkyl** · Jul3-09, 02:37 AM

Start small. Can you prove it's C⁰? C¹?

**Skynt** · Jul3-09, 03:13 AM

I have no clue where to begin. I suppose a C1 is differentiable once? This section really lost me.

**D H** · Jul3-09, 03:38 AM

Differentiability is not quite right. A function is C¹ if its derivative is continuous. A function is C-infinity if derivatives of all order are continuous.

What is the derivative of $LaTeX Code: \\exp(-x^2)$ ? Is it continuous? How about the second derivative, and so on?

**Hurkyl** · Jul3-09, 03:45 AM

Of course, he should first worry if the function is continuous before he worries if its derivative is continuous!

(for the OP: if the function isn't continuous, it doesn't have a derivative. I assume you know that, but I felt I should say it anyways)

**Skynt** · Jul3-09, 04:59 AM

$LaTeX Code: y = e^{-x^{2}}$
It took me a little bit to realize that
$LaTeX Code: ln \\ y = -x^{2}$
$LaTeX Code: \\frac{ysingle-quote}{y} = -2x$
$LaTeX Code: ysingle-quote = -2x ( e^{-x^{2}} )$

It is continous and so forth if I did the same thing again... so that would prove it is $LaTeX Code: C^{\\infty}$ ?

What would be a more formal way of proving that (if what I did was correct) in a more generalized fashion like I've noticed in hard to read proofs?

**D H** · Jul3-09, 05:09 AM

Originally Posted by Skynt

$LaTeX Code: y = e^{-x^{2}}$
It took me a little bit to realize that
$LaTeX Code: ln \\ y = -x^{2}$

That's not the function in the original post. You should be looking at

$LaTeX Code: \\aligned y &= e^{-1/x^{2}} \\\\ \\ln y &= -1/x^2$

As Hurkyl mentioned, the first (zeroth) thing you have to do is show that the function itself is continuous. Is it? Is it even defined at x=0?

To get around this issue, some people define the function in question to be

$LaTeX Code: f(x) = \\Bigl{\\lbrace}\\;\\; \\begin{matrix} 0 & \\quad \\text{x=0} \\\\ \\exp(-1/x^2) & \\quad\\text{otherwise} \\end{matrix}$

**Skynt** · Jul3-09, 03:55 PM

Oh gosh I'm sorry I was going off your previous post ( exp(-x^2) )

$LaTeX Code: f(x) = \\Bigl{\\lbrace}\\;\\; \\begin{matrix} 0 & \\quad \\text{x=0} \\\\ \\exp(-1/x^2) & \\quad\\text{otherwise} \\end{matrix}$

I'm guessing if its defined like that, it would be continuous, otherwise it would be undefined in some manner at x=0

But it sort of works out the same way it did with $LaTeX Code: e^{-x^{2}}$ if you derive $LaTeX Code: e^{-1/x^{2}}$

**D H** · Jul3-09, 04:25 PM

My bad; what I wrote in post #4 was a typo. The function in question is that posted in your first post in this thread.

Don't just guess. Is the function as clarified in post #7 continuous? How do you go about showing that? How about the derivatives?

**Preno** · Jul5-09, 11:32 AM

Originally Posted by D H

Differentiability is not quite right. A function is C¹ if its derivative is continuous. A function is C-infinity if derivatives of all order are continuous.

Which holds iff they all exist, so you just have to check that they do.

**n!kofeyn** · Jul5-09, 11:41 PM

Originally Posted by D H

To get around this issue, some people define the function in question to be

$LaTeX Code: f(x) = \\Bigl{\\lbrace}\\;\\; \\begin{matrix} 0 & \\quad \\text{x=0} \\\\ \\exp(-1/x^2) & \\quad\\text{otherwise} \\end{matrix}$

This is the correct definition that you need. To prove that f is $LaTeX Code: C^\\infty$ (smooth), use induction. For f to be smooth, $LaTeX Code: f^{(k)}$ must exist and be continuous for all k=0,1,2,... To do induction, prove that for k=0, $LaTeX Code: f^{(0)}$ , which is just f, is continuous. Then assume that $LaTeX Code: f^{(k)}$ exists and is continuous. Use this information to show that $LaTeX Code: f^{(k+1)}$ exists and is continuous. You will get a feel of this if you do take a few of the first derivatives as suggested.

A function is real-analytic at a point p if it is equal to its Taylor series about p in a neighborhood of p. To show that f is not analytic, show that around zero f is not equal to its Taylor series about zero. (You will find that $LaTeX Code: f^{(k)}(0) = 0$ for all k, so that the Taylor series of f(x) about zero is zero. But f(x) is definitely not zero in a neighborhood of zero, so it can't be equal to its Taylor series.)

Another way to show that it isn't analytic is to use the power series expansion of the exponential function, which is unique. That is
$LaTeX Code: e^y = 1+y+\\frac{y^2}{2!} + \\frac{y^3}{3!} + \\cdots$
Now substitute y=-1/x^2. You will then get a series with negative terms in the exponents, which is not the Taylor series of the function.