grandes-ecoles 2011 QIII.B.1

grandes-ecoles · France · centrale-maths1__mp Sequences and Series Functional Equations and Identities via Series
Let $f$ be a complex function of class $C ^ { \infty }$ on $[ 0,1 ]$.
a) Show that for every integer $q \geqslant 1$ $$f ( 1 ) - f ( 0 ) = \sum _ { j = 1 } ^ { q } ( - 1 ) ^ { j + 1 } \left[ A _ { j } ( t ) f ^ { ( j ) } ( t ) \right] _ { 0 } ^ { 1 } + ( - 1 ) ^ { q } \int _ { 0 } ^ { 1 } A _ { q } ( t ) f ^ { ( q + 1 ) } ( t ) d t$$
b) Taking into account the relations found in the previous part, show that for every odd natural integer $q = 2 p + 1$ $$f ( 1 ) - f ( 0 ) = \frac { 1 } { 2 } \left( f ^ { \prime } ( 0 ) + f ^ { \prime } ( 1 ) \right) - \sum _ { j = 1 } ^ { p } a _ { 2 j } \left( f ^ { ( 2 j ) } ( 1 ) - f ^ { ( 2 j ) } ( 0 ) \right) - \int _ { 0 } ^ { 1 } A _ { 2 p + 1 } ( t ) f ^ { ( 2 p + 2 ) } ( t ) d t$$
Let $f$ be a complex function of class $C ^ { \infty }$ on $[ 0,1 ]$.

a) Show that for every integer $q \geqslant 1$
$$f ( 1 ) - f ( 0 ) = \sum _ { j = 1 } ^ { q } ( - 1 ) ^ { j + 1 } \left[ A _ { j } ( t ) f ^ { ( j ) } ( t ) \right] _ { 0 } ^ { 1 } + ( - 1 ) ^ { q } \int _ { 0 } ^ { 1 } A _ { q } ( t ) f ^ { ( q + 1 ) } ( t ) d t$$

b) Taking into account the relations found in the previous part, show that for every odd natural integer $q = 2 p + 1$
$$f ( 1 ) - f ( 0 ) = \frac { 1 } { 2 } \left( f ^ { \prime } ( 0 ) + f ^ { \prime } ( 1 ) \right) - \sum _ { j = 1 } ^ { p } a _ { 2 j } \left( f ^ { ( 2 j ) } ( 1 ) - f ^ { ( 2 j ) } ( 0 ) \right) - \int _ { 0 } ^ { 1 } A _ { 2 p + 1 } ( t ) f ^ { ( 2 p + 2 ) } ( t ) d t$$