Exercise 10.6

Exercise 6: Strengthen the conclusion of Theorem 10.8 by showing that the functions ψ i can be made differentiable, and even infinitely differentiable.

Answers

Following the hint, recall that Exercise 8.1 defined an infinitely differentiable function on 1 such that f ( x ) = 0 for x 0 and 0 f ( x ) < 1 for all x . Let a < b . Then the function g a , b ( x ) = f ( x a ) f ( b x ) is also infinitely differentiable, equals 0 for x a and x b , and 0 g a , b ( x ) < 1 for all x . Since it has compact support, we can define a function

h a , b ( x ) = 1 A x g a , b ( t ) dt where A = g a , b ( t ) dt

which is infinitely differentiable, equals 1 for x a , equals 0 for x b , and 0 h a , b ( x ) 1 for all x .

Now let x ˇ n , and let B ( x ˇ ) and W ( x ˇ ) be open balls centered at x ˇ with radii a < b , respectively. Define the function r ( y ˇ ) for y ˇ n which is the distance between x ˇ and y ˇ , that is,

r ( y ˇ ) = ( x i y i ) 2

which is infinitely differentiable for y ˇ x ˇ . Then the function φ = h a , b r is infinitely differentiable on n , equals 1 on B ( x ˇ ) ¯ , equals 0 on W ( x ˇ ) , and 0 φ ( y ˇ ) 1 for all y ˇ . We can use these functions in the proof of Theorem 10.8 to get infinitely differentiable functions ψ i .

User profile picture
2023-08-07 00:00
Comments