Suite homographique
Bonjours, je sèche sur le cours.
Soit une suite homographique u(N+1)=f(uN) avec f(x) =(ax+b)/cx+d).
f(x)=x ssi cx² - (a-d)x - b = 0. (E)
Jusque là tout va bien.
Puis les ouvrages indiquent.
Si (E) admet deux solutions "alpha et "beta", alors la suite (vN) définie par (vN)=(uN - alpha)/(uN- beta) est géométrique de raison k;
k =(a-alpha*c)/(b-beta*c)
Les ouvrages que j'ai (Gourdon par exemple) ne donnent aucune indication sur comment on arrive à ce résultat (ou parfois juste mentionnent un calcul facile).
Mais je ne vois pas comment y arriver...
Merci de votre aide !!!
Laurence.
Soit une suite homographique u(N+1)=f(uN) avec f(x) =(ax+b)/cx+d).
f(x)=x ssi cx² - (a-d)x - b = 0. (E)
Jusque là tout va bien.
Puis les ouvrages indiquent.
Si (E) admet deux solutions "alpha et "beta", alors la suite (vN) définie par (vN)=(uN - alpha)/(uN- beta) est géométrique de raison k;
k =(a-alpha*c)/(b-beta*c)
Les ouvrages que j'ai (Gourdon par exemple) ne donnent aucune indication sur comment on arrive à ce résultat (ou parfois juste mentionnent un calcul facile).
Mais je ne vois pas comment y arriver...
Merci de votre aide !!!
Laurence.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Écris $v_{n+1} $ en fonction de $u_n, a, b, c, b, \alpha$ et $\beta$ sous la forme $\frac{Au_n+B} {Cu_n+D} $. Le fait que $\alpha$ et $\beta$ soient solutions de $cx^2...$ devrait alors t'être utile. Ce n'est finalement qu'un jeu d'écriture.
\begin{align*}
v_{N+1} & =\frac{u_{N+1}-\alpha}{u_{N+1}-\beta}\\
& = \frac{au_{N}+b-\alpha(cu_{N}+d)}{cu_{N}+d}\times \frac{cu_{N}+d}{au_{N}+b-\beta(cu_{N}+d)}\\
& = \frac{(a-\alpha c)u_{N}+b-\alpha d}{(a-\beta c)u_{N}+b-\beta d}\\
\end{align*}
Or, on a les relations : $\displaystyle \alpha=\frac{a\alpha+b}{c\alpha+d}$ et $\displaystyle \beta=\frac{a\beta+b}{c\beta+d}.$
D'où l'on tire : $\displaystyle b-\alpha d=-\alpha(a-c\alpha)$ et $\displaystyle b-\beta d=-\beta(a-c\beta).$
En réinjectant, il vient alors en notant $\ell_{1}=a-\alpha c$ et $\ell_{2}=a-\beta c$ puis en factorisant l'expression obtenue précédemment :
$$v_{N+1} = \frac{\ell_{1}}{\ell_{2}}\frac{u_{N}-\alpha}{u_{N}-\beta}=\frac{\ell_{1}}{\ell_{2}}v_{N}.$$
Si la fonction $f$ admet deux points fixes distincts $\alpha$ et $\beta$, il vient : $f(x)-\alpha=\frac {ad-bc}{(c \alpha+d)(cx+d)}(x-\alpha)$ et $f(x)-\beta=\frac {ad-bc}{(c \beta+d)(cx+d)}(x-\beta)$.
Et par quotient : $\frac{f(x)-\alpha}{f(x)-\beta}=\frac {c \beta +d}{c \alpha+d} \cdot \frac{x-\alpha}{x-\beta}$, toujours sous réserve de définition.
Pour éviter ces agaçants problèmes de définition, il faut faire vivre les fonctions homographiques dans $\widehat{\mathbb{R}}=\mathbb{R}\cup \{\infty \}$ ou bien $\widehat{\mathbb{C}}=\mathbb{C}\cup \{\infty \}$.
Bonne journée.
Fr. Ch.
Vraiment élégante comme méthode !
Je vais me pencher sur les fonction homographiques :-)
Laurence.
Ce qui justifie la dernière assertion, c'est que si $h_A$ est l'homographie $z\mapsto(az+b)/(cz+d)$ associée à $A$ et si $B$ est une autre matrice inversible, on a $h_A\circ h_B=h_{AB}$.
Pour résumer, la raison de la suite géométrique est le rapport des valeurs propres de $A$. Ça veut dire qu'il y a plus qu'une astuce de calcul.
Complètement d'accord avec toi pour la représentation matricielle.
J'ai réussi avec ta méthode mais pas avec la méthode de @Bobby_Joe, plus analytique.
Le lien est donné par $\C^2\setminus\{0\}\to\mathrm P^1$, $(x,y)\mapsto y/x$.
Une toute petite remarque sur le point de vue matriciel. Désolé si elle a déjà été dite.
Dom