Les deux équations sont paraboliques. est un paramètre de relaxation nécessaire pour la convergence du schéma. La
variable
représente, ici, un temps fictif. Pour la résolution,
on peut choisir pour une méthode implicite (ADI par exemple) ou explicite.
Pour les conditions limites, on nomme le domaine et
la frontière sur laquelle
est connu (
).
Dans le cas des conditions limites, on interprète
et
par :
On a :
On néglige la constante. Soit la fonction telle que :
Ici, et
correspondent à un noeud de l'espace discrétisé (l'intégrale est sur une partie de la frontière). Alors, sur
:
Avec
. On a donc une condition de Dirichlet et une de Neumann.
Evidemment, il faudra imposer seulement une de ces deux conditions.
On a :
On cherche :
Pour calculer , il nous faut connaitre
et
. On trouve
facilement :
Pour , on utilise un développement de Taylor :
donc :
et ainsi :
Il est aussi possible d'approximer par une autre méthode. On commence par écrire :
Cette égalité est seulement satisfaite à la convergence du schéma car avant, n'a pas la bonne valeur.
On peut alors écrire comme C.L. sur
à chaque pas de
(algorithme de descente avec
comme paramètre de
relaxation) :
A la convergence, on a :
et a la bonne valeur, et donc on a bien (correcte à l'ordre
) :