PROBLEM SET VIII “TRANSCENDENCE” (−1,1) Definition. Define functions arccos:

advertisement
PROBLEM SET VIII
“TRANSCENDENCE”
DUE FRIDAY, 18 NOVEMBER
R and arcsin: (−1, 1)
R by the formulas
Definition. Define functions arccos: (−1, 1)
Z1
Zx
dt
dt
arccos(x) :=
and arcsin(x) :=
.
p
p
x
0
1 − t2
1 − t2
Exercise 54. Show that arccos and arcsin are C ∞ bijections (−1, 1)
(0, π) and (−1, 1)
tively). Prove that cos defines an inverse to arccos, and sin defines an inverse to arcsin.
Exercise 55. Show that one may extend arccos and arcsin to continuous functions [−1, 1]
arccos(−1) = π,
arccos(1) = 0,
arcsin(−1) = −π/2,
and
(−π/2, π/2) (respecR by setting
arcsin(1) = π/2.
Reflection: can these functions be regarded as differentiable at −1 and 1?
Exercise 56. Prove the following identity:
n−1
Y
sin(kπ/n) = 21−n n.
k=1
R and the hyperbolic sine sinh: R
R by means of the
Definition. Define the hyperbolic cosine cosh: R
following formulas.
1
1
cosh(x) := (exp(x) + exp(−x)) and sinh(x) := (exp(x) − exp(−x)).
2
2
Exercise 57. Prove the following properties of cosh and sinh.
(a) Check that cosh(x) = cosh(−x) and that sinh(x) = − sinh(−x).
(b) Show that cosh and sinh are each of class C ∞ . Write formulas describing cosh00 and sinh00 .
(c) Show that for any x ∈ R, one has cosh(x)2 − sinh(x)2 = 1.
[1, +∞), and show that sinh: R
R is a bijection.
(d) Show that cosh restricts to a bijection [0, +∞)
(e) Show that the function arccosh: [1, +∞)
[0, +∞) given by
p
arccosh(x) := log(x + x 2 − 1)
is an inverse to cosh, and show that the function arcsinh: R
arccosh(x) := log(x +
R given by
p
x 2 + 1)
is an inverse to sinh. (In particular, you must show that these formulas make sense on the purported domains.)
For which integers k ≥ 0 are arccosh and arcsinh of class C k ?
Exercise 58. Since exp: R
R can be extended to a function exp: C
C, the functions cosh and sinh can each
also be extended to functions C
C. With this extended definition, prove that for any x ∈ R,
cosh(i x) = cos(x) and
00
sinh(i x) = i sin(x).
00
Reflection: how do the formulas for cosh and sinh you found above relate to formulas for cos00 and sin00 ?
Exercise 59. Show that the composite gd(x) := arctan(sinh(x)) defines a C ∞ bijection
gd: R
(−π/2, π/2).
This function is called the Gudermannian.
1
2
DUE FRIDAY, 18 NOVEMBER
Exercise 60. Prove that for any real number x, one has
cos(gd(x)) cosh(x) = 1
and
sin(gd(x)) cosh(x) = sinh(x).
?
Exercise 61. Prove that cosh is a function of C -type. Use all the facts you have collected about these to show that

n
(−1) cosh(n arccosh(−x)) x ∈ (−∞, −1];
pn (x) = cos(n arccos(x))
x ∈ (−1, 1);

cosh(n arccosh(x))
x ∈ [1, +∞).
Reflection: would you have immediately recognized that the formula above described a polynomial?
Exercise? 62. (a) Show that the function f : R
R given by
exp −1/x 2
f (x) :=
0
(
if x > 0;
if x ≤ 0.
is a C ∞ function with the property that f (x) vanishes for negative x, is positive and monotonic for positive x,
and its image is [0, 1).
R given by
(b) Similarly, show that the function g : R
(
exp 1/(x 2 − 1) if |x| < 1;
g (x) :=
0
if |x| ≥ 1.
is a C ∞ function with the property that it vanishes outside the interval (−1, 1) and is positive inside (−1, 1).
(c) Using the ideas from the previous two parts, construct, for any closed interval I and any open interval U
containing I , a function ρI ,U ∈ C ∞ (R) with all the following properties.1
(1) For any x ∈ R, one has 0 ≤ ρI ,U (x) ≤ 1.
(2) For any x ∈ R − U , one has ρI ,U (x) = 0.
(3) For any x ∈ I , one has ρI ,U (x) = 1.
Exercise?? 63. (a) Show that the function
(
h(x) :=
x/(exp(x) − 1) if x 6= 0;
1
if x = 0
is of class C ∞ .
(b) For any integer m ≥ 0, denote by b m the value h (m) (0) of the m-th derivative of h at 0. Show that b0 = 1, and
for any integer m ≥ 1, show that b m is the unique rational number so that
m
X
(m + 1)!
bk = 0.
(m + 1 − k)!
k=0
(c) Use this characterization to show that for any integer m ≥ 1, one has b2m+1 = 0 and b2m = (−1) m−1 |b2m |.
(d) Suppose now that p is any polynomial, and suppose that N ≥ 0 an integer such that for any integer k > N and
any x ∈ R, one has p (k) (x) = 0. Show that
Z1
N
X
€
Š
p(x) dx = p(0) −
bk p (k−1) (1) − p (k−1) (0) .
0
k=1
Reflection: you have shown that integrals of polynomials can be computed by the values of their derivatives at
the endpoints! How can this be?
1For an additional challenge, construct a function ρ
set containing I .
I ,U
∈ C ∞ (R) with these properties, where I is any compact subset of R and U is an open
Download