Alternatives à l'analyse de stabilité de von neumann pour les méthodes de différences finies

13

Je travaille sur la résolution des équations de poroélasticité unidimensionnelles couplées (modèle de Biot), étant donné que:

-(λ+2μ)2uX2+pX=0
t[γp+uX]-κη[2pX2]=q(X,t)
sur le domaine et avec les conditions aux limites: Ω=(0,1)

p=0,(λ+2μ)uX=-u0 à et à .u = 0 , pX=0x=1u=0,pX=0X=1

J'ai discrétisé ces équations en utilisant un schéma de différence finie centré:

γp t + 1 i -p t i

(λ+2μ)uje+1t+1-2ujet+1+uje-1t+1ΔX2+pje+1t+1-pje-1t+12ΔX=0
γpit+1pitΔt+ui+1t+1ui1t+12ΔxΔt[ui+1tui1t2ΔxΔt]κη[pi+1t+12pit+1+pi1t+1Δx2]=qit+1

Je travaille actuellement sur les détails de la convergence du schéma en analysant sa cohérence et sa stabilité. La partie cohérence me semble assez simple, mais je prévois déjà quelques difficultés avec l'analyse de stabilité. Tout d'abord, il y a deux variables et deux équations. Deuxièmement, il existe également un terme dérivé spatio-temporel mixte dans la deuxième équation. Je connais l'analyse de stabilité de von neumann et je peux voir qu'il sera très difficile d'établir la stabilité avec cette méthode. Existe-t-il des alternatives à l'analyse de von neumann que je peux utiliser?

Paul
la source
1
Si vous ne vous sentez pas à l'aise de faire l'analyse avec un système d'équations, différenciez simplement la première équation par rapport à et la seconde par rapport à . Utilisez ensuite l'égalité des dérivées partielles mixtes pour éliminer . x utXu
David Ketcheson
@DavidKetcheson: Intéressant. En substance, vous suggérez que je pourrais réduire le système à une seule variable et effectuer l'analyse standard de von neumann sur sans aucune perte de généralité à ? upu
Paul
C'est le même problème, que vous l'écriviez en tant que système ou PDE scalaire.
David Ketcheson

Réponses:

7

Si vous remplacez, au moins pour votre analyse, par , vous pouvez écrire votre système comme où toutes les constantes sont mises à et où l'indice fait référence à la discrétisation spatiale à la fois des variables et des opérateurs différentiels. Votre schéma est alors obtenu en approximant via Euler implicite. ux[ 0 0 I I ]duXuX

[00jeje]t[ph(t)uX,h(t)]+[-hh-Δh0][ph(t)uX,h(t)]=[qh(t)0]()
1ht

Maintenant, la structure différentielle-algébrique (DAE) est évidente. Pour les variables, il existe des équations différentielles (dans le temps) et algébriques.

Si vous pouvez montrer que est inversible, cf. cette préimpression [p. 3] et la modification ci-dessous, que le DAE est d' index 1 ou Euler -libre et implicite est connu pour être convergent, voir le Théorème 5.12 dans ce livre . (Avertissement: ce livre n'est pas disponible gratuitement et écrit par mon directeur de thèse)[-hhjeje]

Avec cette approche, vous contournez peut-être l'analyse de stabilité.

Pour une preuve directe de la stabilité de , j'essaierais d'utiliser l'équation pour appliquer l'analyse de stabilité de von Neumann en utilisant les fonctions propres de et en étudiant l'effet de sur les fonctions propres.L2()Δhh

Cependant , si la stabilité ne peut pas être établie pour , cela ne signifie pas que votre schéma n'est pas convergent - à cause de la substitution de . D'une manière générale, on peut s'attendre à une stabilité pour les schémas se rapprochant des variables réelles, plutôt que pour les schémas se rapprochant de leurs dérivées.()uuX

ANNEXE: Un DAE est dit index 1 s'il peut être transformé en ODE sans différencier les équations.

Disons que le DAE est de la forme L'inversibilité de implique alors qu'il existe une variable transform qui permute éventuellement les colonnes des coefficients afin que avec inversible (propriété de rang complet de ) et inversible (le complément Schur).

[E10]y˙+[UNE1UNE2]y=F.
[E1UNE2]y~y[E1UNE2][E~11E~12UNE~21UNE~22]UNE~22UNE2UNE~11-E~12UNE~22-1UNE~21

Pour le système cela signifie que la partie algébrique définie avec peut être utilisée pour résoudre une partie de . Ensuite, on peut éliminer de la partie différentielle (la deuxième ligne de bloc en ), pour obtenir un ODE pour les variables restantes.()UNE2: =[-h h]y~2(ph,uX,h)ty~2()

Jan
la source
C'est une technique très intéressante. J'ai regardé le document auquel vous avez fait référence et je suis curieux de savoir comment vous avez conclu que doit être inversible . Quel théorème avez-vous appliqué?
[-hhjeje]
Paul
@ Paul Je n'ai pas trouvé un théorème de référence, donc je vais insérer les arguments dans ma réponse ...
Jan
4

Je ne connais pas les équations données ici, mais je me souviens avoir appris une autre méthode pour vérifier la stabilité d'un schéma numérique dans mes cours. Elle est connue sous le nom d'analyse d'équation modifiée.

Voici une bonne référence pour cela,

http://193.146.160.29/gtb/sod/usu/$UBUG/repositorio/10291890_Warming.pdf

Dans la référence ci-dessus, le lien entre la théorie de la stabilité basée sur l'analyse d'équation modifiée et l'analyse de stabilité de Von Neumann est établi.

Après un peu de recherche en ligne, je suis tombé sur les références suivantes,

Cet article discute de la modélisation des différences finies des équations poroélastiques de Biot aux fréquences sismiques. Il contient également une section sur la stabilité du schéma numérique.

Cet article présente une stratégie de solution de découplage du système couplé et de vérification de la stabilité du schéma numérique.

Subodh
la source
Je n'ai pas effectué l'analyse d'équation modifiée sur les équations ci-dessus, mais comme la question demandait des alternatives à l'analyse de Von Neumann, j'ai écrit la réponse ci-dessus. Il est fort possible qu'il ne réponde pas à la question. Mais quelqu'un pourrait trouver les références énumérées utiles dans son travail.
Subodh
Merci pour la référence! Je peux voir que le formulaire nécessaire dans votre article sur l'analyse des équations modifiées ne correspond pas tout à fait aux équations que j'utilise, mais c'est assez fascinant d'apprendre de nouvelles techniques d'analyse!
Paul