संपत्ति आंशिक अंतर के अनुरूप (कमजोर रूप) की संपत्ति से निम्नानुसार है; यह परिमित तत्व विधियों के फायदों में से एक है, उदाहरण के लिए, परिमित अंतर विधियों की तुलना में।
यह देखने के लिए, पहले याद रखें कि परिमित तत्व विधि पॉइसन समीकरण के कमजोर रूप से शुरू होती है (मैं यहां डिरिचलेट सीमा की स्थिति मान रहा हूं): u∈H10(Ω) ऐसा है कि
a(u,v):=∫Ω∇u⋅∇vdx=∫Ωfvdxfor all v∈H10(Ω).
यहां महत्वपूर्ण संपत्ति यह है कि
a(v,v)=∥∇v∥2L2≥c∥v∥2H1for all v∈H10(Ω).(1)
(यह पोंकारे की असमानता का अनुसरण करता है।)
अब शास्त्रीय परिमित तत्व दृष्टिकोण अनंत-आयामी स्थान को परिमित-आयामी उप-स्थान और ऐसा
यहाँ महत्वपूर्ण संपत्ति है। कि आप एक ही उपयोग कर रहे हैं और एक उप- (क अनुरूप discretization); इसका मतलब है कि आपके पास अभी भी
H10(Ω) Vh⊂H10(Ω)uh∈Vh
a(uh,vh):=∫Ω∇uh⋅∇vhdx=∫Ωfvhdxfor all vh∈Vh.(2)
aVh⊂H10(Ω)a(vh,vh)≥c∥vh∥2H1>0for all vh∈Vh.(3)
अब अंतिम चरण के लिए: रैखिक समीकरणों की एक प्रणाली है, तो आप एक आधार लेने के लिए परिवर्तन संबंधी प्रपत्र को बदलने के लिए की , लिखने और डालने , में । कठोरता मैट्रिक्स तब प्रविष्टियाँ (जो आपने लिखा है, उससे मेल खाता है)।{φ1,…,φN}Vhuh=∑Ni=1uiφivh=φj1≤j≤N(2)KKij=a(φi,φj)
अब एक मनमाना वेक्टर और । फिर हमारे पास और (यानी, आप दोनों तर्कों में स्केलर और रकम को स्थानांतरित कर सकते हैं)
चूँकि मनमाना था, इसका अर्थ है कि सकारात्मक निश्चित है।v⃗ =(v1,…,vN)T∈RNvh:=∑Ni=1viφi∈Vh(3)a
v⃗ TKv⃗ =∑i=1N∑j=1NviKijvj=∑i=1N∑j=1Na(viφi,vjφj)=a(vh,vh)>0.
v⃗ K
टीएल; डीआर: कठोरता मैट्रिक्स सकारात्मक निश्चित है क्योंकि यह एक (स्व-सहायक) अण्डाकार आंशिक अंतर समीकरण के अनुरूप विवेक से आता है ।