Prove a function is not analytic but it is smooth

  • Thread starter Thread starter Valhalla
  • Start date Start date
  • Tags Tags
    Function Smooth
Click For Summary
SUMMARY

The function defined as f(x) = e^{-x^{-2}} for x ≠ 0 and f(0) = 0 is proven to be C-infinity smooth but not analytic. The discussion focuses on examining the derivatives of the function, which take the form of a rational function multiplied by the exponential function. The key conclusion is that while the limits of these derivatives approach zero, the function does not possess a convergent power series expansion around x = 0, confirming its non-analyticity.

PREREQUISITES
  • Understanding of C-infinity smooth functions
  • Knowledge of limits and continuity in calculus
  • Familiarity with exponential functions and their growth rates
  • Experience with power series expansions
NEXT STEPS
  • Study the properties of C-infinity smooth functions in detail
  • Learn about the implications of limits involving products of functions
  • Explore the differences between analytic and smooth functions
  • Investigate the behavior of exponential functions compared to polynomial functions
USEFUL FOR

Mathematicians, calculus students, and anyone interested in advanced function analysis, particularly those studying smoothness and analyticity in mathematical functions.

Valhalla
Messages
69
Reaction score
0
given

f(x)=\left\{\begin{array}{cc}e^{-x^{-2}},& \mbox{ if } x!=0 \\ 0, \mbox{ if } x=0 \end{array}\right

show that the function is C-infinity smooth but not analytic

What I have done so far (besides verify that it is continuous) is examine the first few derivatives I found they are in the form of a sum of a rational function of \frac{c}{x^n} (where c is some number) times the exponential function. I now need to show that all these derivatives right hand and left hand limit equal 0. So I stated the nth derivative could be composed of the sum of some rational function times the exponential. Then the limit of this function is equal to the product of the limit of the two functions. I get zero times infinity. Is this a legal move? Can I say that zero times infinity is zero?

let p(x)=\frac{c}{x^n} \ \ q(x)=e^{-x^{-2}}

then \lim_{\substack{x\rightarrow0}} p(x)q(x) = \lim_{\substack{x\rightarrow0}} p(x) *\lim_{\substack{x\rightarrow0}} q(x)
I want to use that to show that the derivative will always be continuous. Therefore it will be C infinity smooth. Then I am going to do a power series expansion of the exponential and work on figuring out why it isn't analytic.
 
Last edited:
Physics news on Phys.org
Try the substitution y=1/x and change the limit to y-> infinity.
 
I tried the substitution

I get p(x)=c*y^n and q(x)= e^(-y^2)

which when I take the product of the limits as y goes to infinity I still have infinity times zero. Am I allowed to say that infinity times zero is zero?
 
Well, obviously you need to take the limit. Exponentials grow faster than any polynomial.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
Replies
34
Views
3K
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K