En FEM, pourquoi la matrice de rigidité positive est-elle définie?

10

Dans les classes FEM, il est généralement tenu pour acquis que la matrice de rigidité est définie positive, mais je ne comprends tout simplement pas pourquoi. Quelqu'un pourrait-il donner une explication?

Par exemple, nous pouvons considérer le problème de Poisson: dont la matrice de rigidité est: qui est symétrique et positif défini. La symétrie est une propriété évidente, mais la définition positive n'est pas aussi explicite pour moi.

2u=f,
Kij=ΩφiφjdΩ,
user123
la source
1
Cela dépend en fait de l'équation différentielle partielle que vous essayez de résoudre. Pouvez-vous ajouter celui qui vous intéresse?
Christian Clason
Bonjour, @ChristianClason, merci pour votre commentaire. J'ai ajouté un exemple concret de ce problème.
user123
3
Avertissement: sans conditions aux limites, la matrice de rigidité du système complet, telle qu'elle est assemblée à partir de matrices d'éléments, n'a pas de rang complet, car elle doit mapper l'équivalent des mouvements de corps rigides à des forces nulles. Ainsi, la matrice de rigidité complète peut au mieux être semi-définie positive. Cependant, avec des conditions aux limites appropriées, les mouvements de corps rigides sont désactivés et le système contraint est alors non singulier. (Sinon, on ne pourrait pas le résoudre). Par conséquent, pour trouver une définition positive réelle, vous devez regarder la matrice condensée résultant de l'application des conditions aux limites.
ccorn

Réponses:

13

La propriété découle de la propriété de l'équation différentielle partielle correspondante (forme faible de); c'est l'un des avantages des méthodes par éléments finis par rapport, par exemple, aux méthodes par différences finies.

Pour voir cela, rappelons d'abord que la méthode des éléments finis part de la forme faible de l'équation de Poisson (je suppose ici les conditions aux limites de Dirichlet): Trouvez tel qu'un La propriété importante ici est qu’un (Cela découle de l'inégalité de Poincaré.)uH01(Ω)

a(u,v):=Ωuvdx=Ωfvdxfor all vH01(Ω).
(1)a(v,v)=vL22cvH12for all vH01(Ω).

Maintenant, l'approche par éléments finis classique consiste à remplacer l'espace de dimension infinie par un sous-espace de dimension finie et à trouver telle sorte La propriété importante ici est que vous utilisez le même et un sous-espace (une discrétisation conforme ); cela signifie que vous avez toujours H01(Ω) VhH01(Ω)uhVh

(2)a(uh,vh):=Ωuhvhdx=Ωfvhdxfor all vhVh.
aVhH01(Ω)
(3)a(vh,vh)cvhH12>0for all vhVh.

Maintenant, pour la dernière étape: Pour transformer la forme variationnelle en un système d'équations linéaires, vous choisissez une base de , écrivez et insérez , dans . La matrice de rigidité alors les entrées (qui coïncide avec ce que vous avez écrit).{φ1,,φN}Vhuh=i=1Nuiφivh=φj1jN(2)KKij=a(φi,φj)

Prenez maintenant un vecteur arbitraire et définissez . Ensuite, nous avons par et la bilinéarité de (c'est-à-dire que vous pouvez déplacer des scalaires et des sommes dans les deux arguments) Comme était arbitraire, cela implique que est défini positif.v=(v1,,vN)TRNvh:=i=1NviφiVh(3)a

vTKv=i=1Nj=1NviKijvj=i=1Nj=1Na(viφi,vjφj)=a(vh,vh)>0.
vK

TL; DR: La matrice de rigidité est définie positive car elle provient d'une discrétisation conforme d'une équation différentielle partielle elliptique (auto-adjointe) .

Christian Clason
la source
2

Si la rigidité de l'élément n'est pas positive, le système n'est pas stable. Le modèle n'est donc probablement pas correct. Regardez l'équation la plus élémentaire de l'oscillateur harmonique

mx(t)+kx(t)=f(t)

La solution est instable si est négatif (regardez les racines de l'équation caractéristique). Cela signifie que la solution va exploser. La rigidité doit être une force de rappel. Au moins pour un ressort physique. La matrice de rigidité étend cela à un grand nombre d'éléments (matrice de rigidité globale). C'est tout. Mais c'est la même idée de base. La base MEF est dans la méthode de la matrice de rigidité pour l'analyse structurelle où chaque élément a une rigidité qui lui est associée.k

Nasser
la source