This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: A C ∞ function which is not everywhere analytic Jonathan L.F. King University of Florida, Gainesville FL 326112082, USA [email protected] Webpage http://www.math.ufl.edu/ ∼ squash/ 13 December, 2008 (at 21:07 ) The goal of this note is to produce a C ∞function L : R whose Taylor series ( centered at zero ) converges to a different fnc —namely, to the zerofunction. On U := Rr { } , the following fnc L () is strictly positive; thus it differs from the zerofnc on all of U . M ( x ) := e 1 x 2 ; L ( x ) := ( , if x = 0 M ( x ) , if x 6 = 0 ) . 1 : Generalizing, a degreeD poly P ( z ) := ∑ D n =0 C n z n , with each C n real, defines a function L P by L P ( x ) := ( , if x = 0 M ( x ) · P ( 1 x ) , if x 6 = 0 ) . 2 : It may not be evident that L P is differentiable at 0. But at a nonzero x , we can use the Product Rule to compute as follows. [ L P ] ( x ) = M ( x ) P ( 1 x ) + M ( x ) · P ( 1 x ) · 1 x 2 = M ( x ) 2 x 3 P ( 1 x ) M ( x ) · 1 x 2 P ( 1 x ) = M ( x ) · h 2[ 1 x ] 3 P ( 1 x ) [ 1 x ] 2 P ( 1 x ) i ....
View
Full
Document
This note was uploaded on 01/26/2012 for the course MAC 3472 taught by Professor Jury during the Fall '07 term at University of Florida.
 Fall '07
 JURY
 Calculus, Derivative

Click to edit the document details