Let f be a finite real function n times differentiable at the point x0, and g a vector function which is n times differentiable at the point y0=f(x0). Let
f(x0+h)=a0+a1h+⋯+anhn+rn(h) g(y0+k)=b0+b1k+⋯+bnkn+sn(k) be the Taylor expansions of order
n of
f and
g at the points
x0 and
y0 respectively. Show that the sum of the
n+1 terms of the Taylor expansion of order
n of the composite function
g∘f at the point
x0 is equal to the sum of the terms of degree
≤n in the polynomial
b0+b1(a1h+⋯+anhn)+b2(a1h+⋯+anhn)2+⋯+bn(a1h+⋯+anhn)n. Deduce the two following formulae:
a)
Dn(g(f(x)))=∑m1!m2!…mq!n!g(p)(f(x))(1!f′(x))m1⋯(q!f(q)(x))mq the sum being taken over all systems of positive integers
(mi)1≤i≤q such that
m1+2m2+⋯+qmq=n where
p denotes the sum
m1+m2+⋯+mq.
b)
Dn(g(f(x)))=p=1∑np!1g(p)(f(x))(q=1∑p(qp)(−f(x))p−qDn((f(x))q)).