Professional Documents
Culture Documents
Tartar Vtrmc09
Tartar Vtrmc09
0
(16v 2 + 2) e4v dv, but 0
8v e dv = (e4v )0 v dv = v e4v − e4v dv, so that 2f 00 (2) + f 0 (2) = 8e16 .
0 0 0
VTRMC 4: One chooses X as origin, and the line through the centers of the two circles as x axis, the centers
being −a for the circle on the left and b for the circle on the right, the equation of the circle on the left is
then x2 + y 2 + 2a x = 0, and the equation of the circle on the right is x2 + y 2 − 2b x = 0. Let y = λ x be any
line through 0 intersecting the circle on the left at A and the circle on the right at B, then one obtains A by
−2a −2a λ
writing x2 + λ2 x2 + 2a x = 0 and x 6= 0, so that x = 1+λ 2 and y = 1+λ2 , and one obtains B by replacing
One constructs a C ∞ function g satisfying g 0 (x) = 1e g(x + 1), or g(y) = e g 0 (y − 1), with g 00 (0) 6= 0.
One starts from any C ∞ function g defined on (0, 1) and such that g(x) = x2 for 0 ≤ x ≤ 31 (so that
00
g (0) = 2) and g(x) = 2e (x − 1) for 32 ≤ x ≤ 1, and one defines by induction the function g on (1, ∞) by
the formula g(y) = e g 0 (y − 1), and this defines a C ∞ function in each interval (n, n + 1) for positive integers
4
n, and one must check that there is no problem of regularity near n. For 1 ≤ y ≤ 43 and x = y − 1, one has
2
g(y) = e 2x = 2e (y − 1), which is the same formula as on the interval 3 , 1 ; for 3 ≤ 2 and x = y − 1, one
has g(y) = e 2e = 2e2 ; for 2 ≤ z ≤ 73 and y = z − 1, one has g(z) = e 2e, which is the same formula as on
the interval 35 , 2 ; for 83 ≤ z ≤ 3 and y = z − 1, one has g(z) = 0; after that, one finds that g = 0 on any
interval n − 13 , n + 31 for n ≥ 3.
Once g is C ∞ on (0, ∞), one extends it on (−∞, 0) by g 0 (x) = 1e g(x + 1), with g(0) = 0. For −1 3 ≤z ≤0
and x = z + 1, one has g 0 (z) = 1e 2e z, which gives g(z) = z 2 , so that g is C ∞ in (−1, +∞), and then one
deduces that g is C ∞ on all R by induction: assuming that g is C ∞ on (−m, +∞) for a negative integer
m, one deduces that g 0 is C ∞ on (−m − 1, +∞), since it is 1e g(x + 1), and g is continuous at −m by the
differential equation, so that g is C ∞ on (−m − 1, +∞).