Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

What does $C^\infty([a,b]; \mathbb{R})$ denote? I know it's a set of functions $[a,b] \to \mathbb{R}$. I think the $C$ stands for continuous. What does the $^\infty$ mean here?

share|improve this question
    
Infinitely differentiable-- smooth. –  Isaac Solomon Nov 11 '12 at 8:32
add comment

2 Answers

up vote 2 down vote accepted

Smooth (ie, infinitely differentiable) functions from $[a,b]$ into $\mathbb{R}$.

share|improve this answer
1  
What exactly are the smoothness conditions at $a$ and at $b$? –  Marc van Leeuwen Nov 11 '12 at 8:38
    
@MarcvanLeeuwen: Good question. See my answer. –  Harald Hanche-Olsen Nov 11 '12 at 8:52
    
Existence of one sided derivatives is sufficient here. In general, I suppose the domain should be such that it is 'sufficiently rich' around the boundary to uniquely define a derivative. –  copper.hat Nov 11 '12 at 17:04
add comment

There are two natural definitions.

  1. It could mean continuous functions on $[a,b]$ which are smooth in the interior $(a,b)$ and so that all derivatives have limits at the end point $a$ and $b$.
  2. It could also mean functions on $[a,b]$ that can be extended to infinitely differentiable functions on a larger, open interval $(a-\varepsilon,b+\varepsilon)$.

Fortunately, the two are equivalent. It is rather obvious that a function which is smooth in the second sense is smooth in the first sense. The converse can be proved by appeal to the theorem that, for every sequence $(c_n)$ of real numbers, there is an infinitely differentiable function $g$ defined on a neighbourhood of $a$ so that $g^{(n)}(a)=c_n$ for all $n$. Given a function $f\in C^\infty([a,b])$ in the first sense, put $c_n=\lim_{x\to a}f^{(n)}(x)$, pick a $g$ by the theorem mentioned, and extend $f$ by using $g$ instead to the left of $a$. Do the same at $b$. The result is a smooth function on a bigger interval, so $f$ smooth on $[a,b]$ in the second sense.

share|improve this answer
    
The theorem you cite can be summarised as "every formal power series (no matter how divergent) is the Taylor series of a smooth function". It is also useful as an antidote against the optimistic attitude about Taylor series that is often transmitted to students. –  Marc van Leeuwen Nov 11 '12 at 9:22
    
@MarcvanLeeuwen: Indeed. I was going to say that, but my answer was getting too long. Thanks for bringing it up. –  Harald Hanche-Olsen Nov 11 '12 at 9:29
    
Would you have a reference to that theorem please? I think some care is necessary here in that the extension $g$ need not match $f$ on the original domain, eg, $f(x) = e^{-\frac{1}{x^2}} 1_{(0,1]}(x)$ on $[0,1]$ has $f^{k}(0) = 0$ for all $k$. –  copper.hat Nov 11 '12 at 17:41
    
@copper.hat: No, I don't have a reference at hand. It's sort of folklore, found in various textbooks. You don't need $g$ to match $f$ in the original domain, though. You just use $f$ inside, $g$ outside. The important point is that all the derivatives are continuous across the boundary point. –  Harald Hanche-Olsen Nov 11 '12 at 17:51
    
Thanks! I just found it, it is called Borel's lemma. However,the construction seems a little artificial to me, in that it just defines a function $g$ whose derivatives match the limits of $f$'s derivatives. But since $f$ and $g$ need not match on the overlapping domains, one could have obtained the same result just by defining the derivative at the limit as the limit of the derivative and showing that it has the appropriate Frechet-like property there? –  copper.hat Nov 11 '12 at 18:09
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.