Variation de la constante "discrète"
Bonsoir
si l'on considère une suite $(u_n)$ vérifiant une relation de récurrence de la forme : $u_{n+1}-2u_n=3^n$ et que l'on désire déterminer une formule explicite pour cette suite, est-il possible d'adapter au cas discret la méthode la variation de la constante ? C'est-à-dire à partir de la suite géométrique de raison 2 ("solution du problème homogène") de trouver une formule explicite de $(u_n)$ ?
Bonne soirée.
F.
si l'on considère une suite $(u_n)$ vérifiant une relation de récurrence de la forme : $u_{n+1}-2u_n=3^n$ et que l'on désire déterminer une formule explicite pour cette suite, est-il possible d'adapter au cas discret la méthode la variation de la constante ? C'est-à-dire à partir de la suite géométrique de raison 2 ("solution du problème homogène") de trouver une formule explicite de $(u_n)$ ?
Bonne soirée.
F.
Réponses
-
Bonsoir,
Dans ce cas particulier, suivi d'une somme télescopique, ça marche.
Plus généralement, faut voir.
Cordialement;
Rescassol -
Pour une relation de récurrence de la forme:
\[u_{n+1} - au_n = b_n\]
avec \(a\) non nul pour conserver quelque intérêt à la question, il suffit de diviser la relation de récurrence par \(a^{n+1}\) :
\[\frac{u_{n+1}}{a^{n+1}} - \frac{u_n}{a^n} = \frac{b_n}{a^{n+1}}\]
pour s'apercevoir que \(u_n/a^n\) est une somme partielle de la série de terme général \(b_n/a^{n+1}\) ; il faut bien évidemment régler le problème du premier terme de la série. -
Ok,
donc si on cherche une solution de la forme $u_n=v_na^n$, on obtient une relation de récurrence $v_{n+1}-v_n=\frac{b_n}{a^n}$. Ce qui est bien analogue à $k'(x)=\frac{b(x)}{e^{-ax}}$ pour une équation différentielle $y'+ay=b(x)$ ;-)
Merci
A+
F. -
Si le terme source est de la forme $a^n P(n)$, il y a une méthode générale !
Les solutions de ta récurrence s'écrivent $u_n=v_n+w_n$ avec $v_n$ la solution générale de l"équation homogène et $w_n$ une solution particulière
Dans ton cas on cherche une solution particulière de la forme $3^nC$Le 😄 Farceur -
C'est amusant et guère étonnant, mais cette histoire de variation de la constante semble marcher pour les suites récurrents linéaires d'ordre quelconque.
Si on considère par exemple une suite vérifiant $u_{n+2}+u_{n+1}-2u_n=a$, on constate alors que $d_{n+1}(u)+2d_n(u)=a$, avec $d_n(u)=u_{n+1}-u_n$.
Bref il semble que si une suite vérifie une relation de récurrence linéaire d'ordre $n$, la suite $d_n(u)$ vérifie une relation de récurrence linéaire d'ordre $n-1$.
Bonne journée
F.
PS: dans l'exemple j'ai un peu triché en choisissant une suite, dont l'équation caractéristique possède 1 pour racine :-) -
La sommation télescopique qui apparaît peut ou non donner une formule intéressante. C'est le même problème pour les équations différentielles où le calcul d'une primitive du fameux $\lambda'$ ne peut se faire avec les fonctions élémentaires.
Dans le cas des équations différentielles on continue en prenant $\lambda(x)=\int_a^x\lambda'$ et on "traîne" l'intégrale dans le reste des calculs.
Pour les suites on a le droit aussi de nommer $z_n=v_p+\sum_{p\leq k\leq n} (v_{k+1}-v_k)$ et de continuer.
Il est exact qu'on peut faire la même démarche pour les récurrences d'ordre supérieur à 1. -
bonsoir
tu peux expliciter ta suite avec un tableau de la récurrence établi sur n - 1 lignes (en supposant $u_1$ connu)
en pré-multipliant à chaque ligne par 2 soit :
$u_n - 2 u_{n-1} =3^n$
$2u_{n-1} - 2^2.u_{n-2} =2.3^{n-1}$
$2^2.u_{n-2} - 2^3.u_{n-3}=2^2.3^{n-2}$
....................................................................
$2^{n-2}.u_2 - 2^{n-1}.u_1=2^{n-2}.3^2$
en faisant la somme par colonne des 2 membres, il reste :
$u_n = 2^{n-1}.u_1 + 3^n[1+\frac{2}{3} + \frac{2²}{3²} + .........+(\frac{2}{3})^{n-2}]$
l'expression avec le crochet est explicitable sous la forme $3^{n+1}(1 - (2/3)^{n-1})$
d'où : $u_n = 3^{n+1} + 2^{n-1}(u_1 - 9)$
cordialement
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres