Centrale Mathématiques 1 PC 2005

On dit qu'une suite réelle est ultimement périodique lorsqu'elle est périodique à partir d'un certain rang, c'est-à-dire s'il existe et tels que :

(L'entier est une période de la suite ).
On note l'ensemble des suites ultimement périodiques de réels.
L'objet du problème est d'étudier quelques propriétés élémentaires de ces suites et le caractère ultimement périodique éventuel de suites simples.

I.A - Montrer que est un sous espace vectoriel de l'espace des suites réelles. Est-il de dimension finie?
I.B - Soit un élément de et l'ensemble des entiers tels que la suite admette pour période à partir d'un certain rang.
I.B.1) Montrer qu'il existe un entier (que l'on appellera la période de a) tel que :

Que peut-on dire de la suite lorsque ?
I.B.2) Montrer qu'il existe un plus petit entier tel que:

Montrer que, pour tout est le plus petit entier à partir duquel la suite devient -périodique. Combien de paramètres réels suffisent à définir parfaitement ?
I.C - Soit un élément de .
I.C.1) Montrer que est bornée et que le rayon de convergence de la série entière est strictement positif. À quelle condition nécessaire et suffisante est-il égal à ? Que vaut-il sinon?
I.C.2) Montrer que la somme de cette série est une fraction rationnelle. Dans quel cas est-ce un polynôme?

I.D - Soit une série entière de rayon de convergence , dont la somme est la restriction à d'une fraction rationnelle.
La suite est-elle ultimement périodique?

On définit la suite par:

et la suite par si est pair et sinon. La suite est-elle ultimement périodique?
Déterminer le rayon de convergence et la somme de la série entière .

On définit maintenant la suite par :

II.B.1) Déterminer le rayon de convergence de la série entière .

On note sa somme.
II.B.2) Trouver une relation liant et .

En déduire que, pour tout ,

II.B.3) Étudier, pour donné dans ,

et en déduire que n'est pas ultimement périodique.

Soit un rationnel strictement positif, donné sous forme irréductible.
On définit deux suites d'entiers et par :

Déterminer .
II.C.2) Montrer que la suite est ultimement périodique. Qu'en est-il de ?
II.C.3) Montrer que, pour tout .
II.C.4) Établir l'égalité :

Le but de cette partie est de montrer que le réel n'est pas un élément de smb. est l'espace des fonctions de classe de dans lui-même. Pour tout élément de , on note l'application de dans définie par :

III.A - L'application de qui à tout élément associe est notée . Vérifier que est une application linéaire de dans .
III.B - On considère dans cette question un élément de supposé borné sur et on note .
III.B.1) Montrer que, pour tout de ,

III.B.2) On définit une suite d'éléments de par et, pour tout de , .
Montrer que, pour tout de et tout de ,

III.B.3) Soit un segment quelconque de . Montrer que pour tout est bornée sur et .
III.C - On prend maintenant dans cette question et dans les suivantes , et on considère la suite de fonctions définie comme dans la question précédente.
III.C.1) Déterminer les fonctions et .
III.C.2) Montrer que, pour tout de IN* et tout de IR,

III.D - Pour , on note le sous-espace vectoriel de formé des fonctions polynômes de degré au plus .
III.D.1) On définit :

Vérifier que est un automorphisme de .
III.D.2) On désigne par l'ensemble des fonctions paires de , par celui des fonctions impaires.
Montrer que .
III.D.3) On considère la suite de fonctions définie dans la question III.C. Montrer que pour tout de , il existe un couple unique de fonctions et de paire et impaire, telles que :

Déterminer et pour .
III.D.4) Montrer que, pour tout et tout ,

En déduire que les fonctions sont des polynômes à coefficients entiers.
III.E - On suppose ici que le réel est élément de smb, ensemble des nombres rationnels.
Soit donc élément de et élément de tels que .
III.E.1) Montrer que la suite

est une suite d'entiers. Quelle est sa limite?
III.E.2) En déduire que n'est pas rationnel.

Soit la suite définie par, pour tout de si sinon.
Le but de cette partie est d'étudier si cette suite à valeurs entières est élément de .
IV.A - On suppose que cette suite est ultimement périodique.
IV.A.1) Montrer qu'il existe un entier et un entier strictement positif tels que, pour tout entier supérieur ou égal à , le signe de soit constant.
IV.A.2) En déduire que la suite est composée de réels strictement positifs à partir d'un certain rang.
IV.B - Soit .
IV.B.1) Montrer que est un sous-groupe additif de . Existe-t-il tel que ?
IV.B.2) On pose (ensemble des éléments strictement positifs de ). Montrer que possède une borne inférieure .
IV.B.3) On suppose . Montrer que .
IV.B.4) n'est donc pas élément de . Supposant , montrer que l'on peut trouver deux éléments et de tels que . En déduire .

IV.C.1) Montrer que, pour tout , il existe tel que .
IV.C.2) Soit un réel.

Construire une suite d'éléments de convergeant vers .

IV.D.1) Montrer l'existence d'une suite d'entiers positifs telle que la suite converge vers -(1/2) .
Montrer que l'ensemble des termes de cette suite n'est pas de cardinal fini.
IV.D.2) Construire alors une suite strictement croissante extraite de telle que la limite de soit .
IV.D.3) La suite est-elle ultimement périodique ?