par JJa » 23 Nov 2008, 10:57
Bonjour,
je m'apperçois que Maturin n'a pas donné la suite de la résolution. Il était certainement capable de le faire. Mais, peut-être est-il absent ce week-end. Ou peut-être fait-il, lui aussi, partie de la "confrérie des partisants du moindre effort". Dans ce dernier cas, mon cher confrère, il faut que je me dévoue. Voici donc la suite :
F'-k*F²-(C1*x+C2) = 0
Cas particulier le plus simple : C1=C2=0
F'-k*F²=0
F'/(k*F²) = 1
-1/(k*F) = x+c
avec c = constante quelconque
F(x) = -1/(k(x+c)) = 4/(A*Re*(x+c))
Ceci fourni donc une première famille de solutions (dont , à-priori, on pouvait deviner la forme à la simple vue de l'équation initiale).
Dans le cas général, C1 et/ou C2 non nul(s), on fait le changement de fonction :
F = -G'/(k*G)
F' = -G''/(k*G)+(G')²/(k*G²)
-G''/(k*G)+(G')²/(k*G²) -k*( G'/(k*G))² -(C1*x+C2) = 0
-G''/(k*G)-(C1*x+C2) = 0
G''-k*(C1*x+C2)*G = 0
Cas où C1=0 :
G''-k*C2*G = 0
que l'on peut écrire : G''+w²*G=0 ou G''-w²*G=0 selon le signe de (-k*C3)
Selon le cas, les solutions sont :
G(x)=C4*cos(w*(x+c))
ou G(x)=C4*ch(w*(x+c))
avec C4 , w et c : constantes. La constante C4 s'élimine plus loin dans le rapport G'/G. Par suite, avec F=-G'/(k*G) on obtient :
F(x) = (1/k)*tg(w*(x+c)) = (-4/(A*Re))*tg(w*(x+c))
ou F(x) = (-1/k)*th(w*(x+c)) = (4/(A*Re))*th(w*(x+c))
ceci fourni deux autres familles de solutions.
Cas où C1 est différent de zéro :
On fait le changement de variable X = (C1*x+C2)
dX = C1*dx
d²G/dx² = (C1)²(d²G/dX²)
d²G/dX²+(-k/(C1)²)*X*G = 0
(-k/(C1)²) est positif car k est négatif. Posons :
K = ((-k)^(1/2))/C1
d²G/dX²+(K²)*X*G = 0
C'est une équation d'Airy. Toutefois, les fonctions de Bessel étant plus couramment utilisées que les fonctions d'Airy, nous les préfèreront pour répondre ici :
G(X) = C3*(X^(1/2))*J((1/3) ; t) + C4*(X^(1/2))*J((-1/3) ; t)
dans laquelle : C3 et C4 sont des constantes, t = (2K/3)*(X^(2/3))
J((1/3) ; t) et J((-1/3) ; t) sont les fonctions de Bessel de première espèce et d'ordres (1/3) et (-1/3) respectivement.
En principe, le problème est résolu. Toutefois, ce n'est pas fini car il reste encore une dernière partie de calcul pénible :
- Revenir à G(x) avec t = (2K/3)*(X^(2/3)) et X = C1*x+C2
- Revenir à F(x) en calculant G'(x) puis F = -G'/(k*G)
- Reporter ce résultat dans l'équation F'-k*F²-(C1*x+C2) = 0 et établir la condition sur les constantes C3 et C4. En effet, le passage de l'équation de Riccati à l'EDO linéaire du second ordre introduit des solutions supplémentaires non viables qu'il faut éliminer.
Ainsi on arrivera finalement la solution générale de l'équation initiale avec trois constantes quelconques (et non quatre) : C1, C2 plus une constante puisque C3 et C4 ne sont pas indépendants.
Toutefois, puisque le principal intéressé (boy63) n'a pas donné signe de vie et en particulier n'a pas répondu aux interrogations sur ce qu'il savait (ou non) des conditions aux limites, je m'arrête à ce stade sans détailler la dernière partie.
En effet, il est possible que les solutions particulières déjà explicitées : du genre F(x) = 4/(A*Re*(x+c)) ou du genre F(x) = (-4/(A*Re))*tg(w*(x+c)) ou F(x) = (4/(A*Re))*th(w*(x+c)) suffisent pour faire le bonheur de boy63. Il n'a peut-être pas besoin de la formulation générale des solutions, au quel cas, ce serait un travail inutile que d'aller jusque là.
Bien entendu, tout ceci est à vérifier par vous-même : il pourrait y avoir une erreur, nul n'étant à l'abri d'une faute d'inattention.