4¸estdoncunep¶eriodedelafonction non nullef:¸estun multiplede2¼donc¸=K¼
2,2N¤car¸>0.
Rdonnealors:
fv¶eri¯eR,8x2Ra:cos(¸x+K¼)+b:sin(¸x+K¼)=¡a:cos(¸x)¡b:sin(¸x)
,8x2R(¡1)Kacos(¸x)+(¡1)Kasin(¸x)=¡a:cos(¸x)¡b:sin(¸x)
doncKestimpair:¸=¼=2+k:¼;k2N
Edonnealors:
fv¶eri¯eE,8x2R,¡¸asin(¸x)+¸bcos(¸x)=¸acos(¸x+¸)+¸bsin(¸x+¸)
,8x2R,¡asin(¸x)+bcos(¸x)=acos(¸x+¸)+bsin(¸x+¸)
,8x2R,¡asin(¸x)+bcos(¸x)=a(¡1)k+1sin(¸x)+(¡1)kcos(¸x)
Donckestpair.
Conclusion,½si¸6=¼=2[2¼]alorsf=0estlaseulesolution
si¸=¼=2[2¼]alorsf2Vect(x¡>cos(¸x);x¡>sin(¸x))
b)Sifestunefonction paire,ouimpaire,deE(¸),alors, lafonctiongci-dessusestaussidansE(¸),doncfestune
fonction non nullev¶eri¯antEetR.donc¸=¼=2[2¼]
R¶eciproquement,si¸=¼=2[2¼],alorslafonctionx!cos¸xestdansE(¸)etpaire,etlafonctionx!sin¸xestdansE(
¸)etimpaire.
il existedes solutionspairesnon nulles ssi¸=¼=2[2¼]
il existedes solutionsimpairesnon nulles ssi¸=¼=2[2¼]
danslesdeuxcasl'ensembleobtenu estbienunsousespace vectorielcommeintersection dedeuxsousespacesvectoriels.
II.
a)OnvautiliserlarelationduI2:f(n)(x)=¸nf(x+n).
²EtudesurR+:sif[0;1]estnulle,f(n)
[0;1]estnulleaussi, doncfestnullesur[n;n+1] . Comme c'estvraipourtoutentier
n,festnullesurR+.
²EtudesurR¡:f0(x)=¸f(x+1)etf[0;1]=0impliquequef0estnullesur[¡1;0] , doncfyestconstante,doncnulle
puisquef(0)=0.
Etpar r¶ecurrence:sif[¡n;¡n+1]=0,f0estnullesur[¡(n+1);¡n] , doncfestconstantesurce segmentelleyest
nullepuisquef(¡n)=0.
Ainsi, par r¶ecurrence,festnullesurR¡,doncsurRtoutentier.
sif2E(¸)etf[0;1]=0 alorsf=0surR
b)sansproblµeme:f2C1(R;C)d'aprµesI2etlarestriction d'unefonctionC1estC1.Etparpd¶erivations successives
deE,f(p+1)(x)=¸f(p)(x+1)estvraiepourtoutx2R,doncpourtoutx=k2Zf(p+1)(k)=¸f(p)(k+1)
c)
unicit¶e:ellevientdea).Ene®et,sig0admetdeuxprolongementsf1etf2dansE(¸),alorsf1¡f2estunefonction deE(
¸)dontlarestrictionµa [0;1]estnulle,doncf1=f2surR.
existence :
²SurR+:On utilisef(n)(x)=¸nf(x+n)pourd¶e¯nirfsur[n;n+1]:
On d¶e¯nitfsur[n;n+1]parf(x+n)=1
¸ng(n)
0(x),puis surR+enfaisantvarierndansN.Ilyaun problµemede
d¶e¯nitionenp2N¤oµufestd¶e¯nideuxfois:sur[p¡1;p]par1
¸p¡1g(p¡1)
0(1)etsur[p;p+1]1
¸pg(p)
0(0):orparP0,ona
1
¸pg(p)
0(0)=1
¸p¡1g(p¡1)
0(1)
Parcetted¶e¯nition,festd¶erivablesurtoutintervalle]n;n+1[ , avec desprolongementsdef0µa droite etµa gauchedes
pointsentiers:
f0
d(n)=1
¸ng(n+1)
0(0);f0
g(n)=1
¸n¡1g(n)
0(1):
ParP0,cesdeuxprolongements sont¶egaux,donc,d'aprµesleth¶eorµemedu prolongementdelad¶eriv¶ee,festC1surR+.
Deplus, larelationf0(x)=¸:f(x+1)yestvraiepard¶e¯nition.
8x¸0,f(x)=¸¡E(x)g0(x¡E(x))
3