Κεφάλαιο 2 Η μέθοδος των πεπερασμένων στοιχείων

Στο παρόν κεφάλαιο παρουσιάζεται η μέθοδος των πεπερασμένων στοιχείων.

Η προσέγγιση που προκρίνεται για την περιγραφή της μεθόδου των πεπερασμένων στοιχείων στο παρόν βιβλίο είναι αυτή των σταθμισμένων καταλοίπων. Τα βασικά βήματα της μεθόδου των πεπερασμένων στοιχείων με τη μέθοδο των σταθμισμένων καταλοίπων είναι:

  1. 1.

    Ορισμός της ισχυρής μορφής του προβλήματος.

  2. 2.

    Ορισμός της ασθενούς μορφής του προβλήματος.

  3. 3.

    Επιλογή προσεγγιστικών συναρτήσεων για τις άγνωστες εξισώσεις.

  4. 4.

    Επίλυση του συστήματος.

Το παρόν κεφάλαιο επομένως διαρθρώνεται με τρόπο που να αντιστοιχεί στα παραπάνω βήματα.

Αρχικά ορίζεται το πρόβλημα με τη βοήθεια της κλασικής εξίσωσης Poisson (Ενότητα 2.1). Πιο συγκεκριμένα, εξετάζεται το πρόβλημα ροής που περιγράφεται από την εξίσωση Poisson και δίνονται οι εξισώσεις πεδίου (Ενότητα 2.1.1) και οι συνοριακές συνθήκες (Ενότητα 2.1.2). Η σύνοψη των εξισώσεων σε διάφορες μορφές που συναντώνται στη βιβλιογραφία παρουσιάζονται στην Ενότητα 2.1.3.

Στη συνέχεια εξετάζεται η ασθενής διατύπωση του προβλήματος και συγκρίνεται με την αντίστοιχη ισχυρή μορφή (Ενότητα 2.2).

Ακολουθεί η προσέγγιση της άγνωστης συνάρτησης που αποτελεί τη λύση των εξισώσεων του προβλήματος (Ενότητα 2.3). Εξηγείται η έννοια της προσεγγιστικής συνάρτησης στη μέθοδο των πεπερασμένων στοιχείων (Ενότητα 2.3.1), οι συναρτήσεις βάσης (Ενότητα 2.3.2) και πώς τα παραπάνω εφαρμόζονται στην ασθενή διατύπωση του προβλήματος (Ενότητα 2.3.3).

Στη συνέχεια εξετάζεται η αντικατάσταση της συνάρτησης βάρους και επαναδιατυπώνεται η ασθενής μορφή του προβλήματος (Ενότητα 2.4).

Ακολουθεί η σύγκριση της μεθόδου των πεπερασμένων στοιχείων με την εξίσου διαδεδομένη μέθοδο των πεπερασμένων διαφορών (Ενότητα 2.5), όπου επισημαίνονται οι κύριες διαφορές τους.

Τέλος δίνεται η εφαρμογή της μεθόδου στις εξισώσεις της ελαστοστατικής (Ενότητα 2.6), όπου εξετάζεται συνοπτικά το πρόβλημα της δισδιάστατης ελαστικότητας (Ενότητα 2.6.1). Για λόγους πληρότητας διατυπώνονται οι χαρακτηριστικές εξισώσεις και με την σρχή των δυνατών έργων (Ενότητα 2.6.2).

Στο τέλος του κεφαλαίου παρατίθεται η σχετική βιβλιογραφία (Ενότητα 2.7).

2.1 Ορισμός του προβλήματος. Η εξίσωση Poisson

Για την καλύτερη κατανόηση της μεθόδου των πεπερασμένων στοιχείων εξετάζεται στη συνέχεια με ένα τυπικό πρόβλημα υπόγειας ροής [1], όπως δίνεται στο Σχήμα 2.1. Στο υπόψη σχήμα περιγράφεται η ροή του νερού ενός αδιαπέρατου φράγματος μέσω μίας διαπερατής εδαφικής στρώσης στη βάση του ταμιευτήρα.

Σχήμα 2.1: Δισδιάστατο πρόβλημα υπόγειας ροής.

Για ένα τυπικό στοιχείο μοναδιαίου πάχους και διαστάσεων dxdx και dydy (βλ. Σχήμα 2.2) που βρίσκεται εντός της διαπερατής εδαφικής στρώσης του Σχήματος 2.1, η αρχή διατήρησης της μάζας ορίζει ότι θα πρέπει η συνολική ροή που εισέρχεται να είναι ίση με τη ροή που εξέρχεται.

Σχήμα 2.2: Τυπικό στοιχείο μοναδιαίου πάχους και διαστάσεων dxdx και dydy.

Επομένως ισχύει ότι:

(q|y-q|y+dy)dx+(q|x-q|x+dx)dy=s\left(q|_{y}-q|_{y+dy}\right)dx+\left(q|_{x}-q|_{x+dx}\right)dy=s (2.1)

όπου qq η ροή και ss ένας όρος που αναφέρεται στην ύπαρξη επιπρόσθετης εισροής εκροής εντός του στοιχειώδους τμήματος που εξετάζεται.

Η παραπάνω εξίσωση μπορεί να γραφτεί και ως:

-qyydxdy-qxxdxdy=s.-\dfrac{\partial q_{y}}{\partial y}dxdy-\dfrac{\partial q_{x}}{\partial x}dxdy% =s. (2.2)

Ο Νόμος του Darcy ορίζει τη ροή ως συνάρτηση μιας συνάρτησης δυναμικού ϕ\phi ως

qx\displaystyle q_{x} =-kϕx,\displaystyle=-k\dfrac{\partial\phi}{\partial x}, (2.3)
qy\displaystyle q_{y} =-kϕy\displaystyle=-k\dfrac{\partial\phi}{\partial y} (2.4)

Αντικαθιστώντας τις παραπάνω εξισώσεις στην (2.2), προκύπτει

-x(-kϕx)-y(-kϕy)\displaystyle-\dfrac{\partial}{\partial x}\left(-k\dfrac{\partial\phi}{% \partial x}\right)-\dfrac{\partial}{\partial y}\left(-k\dfrac{\partial\phi}{% \partial y}\right) =s\displaystyle=s (2.5)
x(kϕx)+y(kϕy)\displaystyle\dfrac{\partial}{\partial x}\left(k\dfrac{\partial\phi}{\partial x% }\right)+\dfrac{\partial}{\partial y}\left(k\dfrac{\partial\phi}{\partial y}\right) =s\displaystyle=s (2.6)

Η (2.6) μπορεί να γραφτεί και ως

(kϕ)=s\boxed@math{\nabla\cdot(k\nabla\phi)=s} (2.7)

όπου ()\nabla(\bullet) η κλίση (div) μίας πραγματικής συνάρτησης πεδίου

()=()x+()y\nabla(\bullet)=\dfrac{\partial(\bullet)}{\partial x}+\dfrac{\partial(\bullet)% }{\partial y} (2.8)

και ()\nabla\cdot(\bullet) η απόκλιση (grad) μίας διανυσματικής συνάρτησης

()=()xx+()yy\nabla\cdot(\bullet)=\dfrac{\partial(\bullet)}{\partial x}\cdot\overrightarrow% {x}+\dfrac{\partial(\bullet)}{\partial y}\cdot\overrightarrow{y} (2.9)

αντίστοιχα.

Η (2.7) αποτελεί μια εξίσωση που χρησιμοποιείται εκτεταμένα για την περιγραφή προβλημάτων δυναμικού και είναι γνωστή και ως γενικευμένη εξίσωση Poisson.

Η διαπερατότητα kk και η συνάρτηση ss μπορεί να είναι μεταβαλλόμενες χωρικά, δηλαδή μπορεί να ισχύει:

k\displaystyle k =k(x,y),\displaystyle=k(x,y), (2.10)
s\displaystyle s =s(x,y).\displaystyle=s(x,y). (2.11)

Στην περίπτωση που η διαπερατότητα είναι σταθερή, τότε η (2.7) μπορεί να γραφτεί ως:

k2ϕ=s\boxed@math{k\nabla^{2}\phi=s} (2.12)

η οποία αποτελεί την έκφραση της κλασικής εξίσωσης Poisson.

Στην παραπάνω εξίσωση

2==\nabla^{2}=\nabla\cdot\nabla=\triangle (2.13)

είναι ο τελεστής του Laplace.

Στην περίπτωση που και ο όρος φόρτισης είναι μηδενικός, τότε η (2.12) απλοποιείται ακόμη περισσότερο και τελικώς εκφράζεται σύμφωνα με τα παραπάνω ως:

ϕ=0\boxed@math{\triangle\phi=0} (2.14)

Η εξίσωση αυτή είναι γνωστή ως εξίσωση του Laplace. Οι λύσεις της εξίσωσης Laplace καλούνται αρμονικές συναρτήσεις.

2.1.1 Εξισώσεις πεδίου

Η απόκλιση της συνάρτησης δυναμικού ϕ\phi είναι ένα διάνυσμα 𝒈=ϕ\boldsymbol{g}=\nabla\phi, το οποίο, για την περίπτωση της δισδιάστατης ροής που εξετάζεται, δίνεται αναλυτικά ως:

[gxgy]=[ϕxϕy].\left[\begin{array}[]{c}g_{x}\\ g_{y}\\ \end{array}\right]=\left[\begin{array}[]{c}\dfrac{\partial\phi}{\partial x}\\ \dfrac{\partial\phi}{\partial y}\\ \end{array}\right]. (2.15)

Το διάνυσμα της ροής 𝒒\boldsymbol{q} δίνεται από τον καταστατικό νόμο

𝒒=-k𝒈=-kϕ,\boldsymbol{q}=-k\boldsymbol{g}=-k\nabla\phi, (2.16)

ή αναλυτικά

[qxqy]=[-kϕx-kϕy],\left[\begin{array}[]{c}q_{x}\\ q_{y}\\ \end{array}\right]=\left[\begin{array}[]{c}-k\dfrac{\partial\phi}{\partial x}% \\ -k\dfrac{\partial\phi}{\partial y}\\ \end{array}\right], (2.17)

ο οποίος αποτελεί έκφραση του νόμου του Darcy για ένα ισότροπο μέσο.

Η ροή ως προς μία κατεύθυνση dd που ορίζεται από το μοναδιαίο διάνυσμα 𝒅\boldsymbol{d} δίνεται ως:

qd=𝒒𝒅=𝒒T𝒅=qxdx+qydyq_{d}=\boldsymbol{q}\cdot\boldsymbol{d}=\boldsymbol{q}^{T}\boldsymbol{d}=q_{x}% d_{x}+q_{y}d_{y} (2.18)

Η ροή qdq_{d} είναι ένα βαθμωτό μέγεθος και χαρακτηρίζει τη μεταφορά του ρευστού προς τη δεδομένη κατεύθυνση.

Στην ειδική περίπτωση που το διάνυσμα 𝒅\boldsymbol{d} είναι το κάθετο διάνυσμα 𝒏\boldsymbol{n} στο σύνορο Γq\Gamma_{q}, τότε γράφεται:

qn=𝒒𝒏=𝒒T𝒏=qxnx+qynyq_{n}=\boldsymbol{q}\cdot\boldsymbol{n}=\boldsymbol{q}^{T}\boldsymbol{n}=q_{x}% n_{x}+q_{y}n_{y} (2.19)

Τέλος, η εξίσωση ισορροπίας, όπως αναφέρθηκε προηγουμένως, δίνεται ως:

qxx+qyy+s=0,\dfrac{\partial q_{x}}{\partial x}+\dfrac{\partial q_{y}}{\partial y}+s=0, (2.20)

ή

q+s=0.\nabla\cdot q+s=0. (2.21)

Οι εξισώσεις (2.15), (2.16) και (2.21), που ονομάζονται και κινηματική εξίσωση, καταστατική εξίσωση και εξίσωση ισορροπίας αντίστοιχα, αποτελούν τις εξισώσεις πεδίου του προβλήματος Poisson.

2.1.2 Συνοριακές συνθήκες

Οι τυπικές συνοριακές συνθήκες για το πρόβλημα Poisson ανήκουν σε μία από τις επόμενες κατηγορίες:

  1. 1.

    Η τιμή της συνάρτησης του δυναμικού ϕ\phi είναι γνωστή και ίση με ϕ^\hat{\phi} σε ένα τμήμα Γϕ\Gamma_{\phi} του συνόρου Γ\Gamma, δηλαδή

    ϕ=ϕ^στοΓϕ.\phi=\hat{\phi}\quad\text{στο}\quad\Gamma_{\phi}. (2.22)
  2. 2.

    Η ροή qnq_{n} κάθετα στο υπόλοιπο τμήμα του συνόρου Γ\Gamma, που συμβολίζεται με Γq\Gamma_{q}, είναι γνωστή, είναι δηλαδή γνωστό το διάνυσμα:

    qn=𝒒𝒏=-kϕn=q^στοΓq.q_{n}=\boldsymbol{q}\cdot\boldsymbol{n}=-k\dfrac{\partial\phi}{\partial n}=% \hat{q}\quad\text{στο}\quad\Gamma_{q}. (2.23)

2.1.3 Σύνοψη των εξισώσεων

Η κινηματική εξίσωση (2.15), η καταστατική εξίσωση (2.16), η εξίσωση ισορροπίας (2.21) και οι συνοριακές συνθήκες (2.22) και (2.23) αποτελούν τις εξισώσεις που περιγράφουν το μαθηματικό προσομοίωμα του φυσικού προβλήματος. Το συγκεκριμένο πρόβλημα, όπως διατυπώνεται μέσω του μαθηματικού του προσομοιώματος, ανήκει σε μια κατηγορία προβλημάτων που ονομάζονται προβλήματα συνοριακών τιμών.

Συνοψίζοντας τα παραπάνω, θεωρείται χρήσιμο να διατυπωθούν οι εξισώσεις του προβλήματος με διαφορετικούς συμβολισμούς, όπως συχνά συναντώνται στη βιβλιογραφία [3].

  1. 1.

    Σε μορφή πινάκων/διανυσμάτων:

    Κινηματική εξίσωση:ϕ=𝒈στο V,Καταστατικός νόμος:-k𝒈=𝒒στο V,Εξίσωση ισορροπίας:𝒒+s=0στο V,Συνοριακές συνθήκες:ϕ=ϕ^στο Sϕ,Συνοριακές συνθήκες:𝒒𝒏=q^στο Sq.\boxed@math{\begin{array}[]{lcr}\text{Κινηματική εξίσωση:}&\nabla\phi=% \boldsymbol{g}&\text{στο }V,\\ \text{Καταστατικός νόμος:}&-k\boldsymbol{g}=\boldsymbol{q}&\text{στο }V,\\ \text{Εξίσωση ισορροπίας:}&\nabla\cdot\boldsymbol{q}+s=0&\text{στο }V,\\ \text{Συνοριακές συνθήκες:}&\phi=\hat{\phi}&\text{στο }S_{\phi},\\ \text{Συνοριακές συνθήκες:}&\boldsymbol{q}\cdot\boldsymbol{n}=\hat{q}&\text{στ% ο }S_{q}.\\ \end{array}} (2.24)

    Ή ισοδύναμα:

    Κινηματική εξίσωση:𝒈𝒓𝒂𝒅ϕ=𝒈στο V,Καταστατικός νόμος:-k𝒈=𝒒στο V,Εξίσωση ισορροπίας:𝒅𝒊𝒗𝒒+s=0στο V,Συνοριακές συνθήκες:ϕ=ϕ^στο Sϕ,Συνοριακές συνθήκες:𝒒𝒏=q^στο Sq.\boxed@math{\begin{array}[]{lcr}\text{Κινηματική εξίσωση:}&\boldsymbol{grad}\,% \phi=\boldsymbol{g}&\text{στο }V,\\ \text{Καταστατικός νόμος:}&-k\boldsymbol{g}=\boldsymbol{q}&\text{στο }V,\\ \text{Εξίσωση ισορροπίας:}&\boldsymbol{div}\,\boldsymbol{q}+s=0&\text{στο }V,% \\ \text{Συνοριακές συνθήκες:}&\phi=\hat{\phi}&\text{στο }S_{\phi},\\ \text{Συνοριακές συνθήκες:}&\boldsymbol{q}\cdot\boldsymbol{n}=\hat{q}&\text{στ% ο }S_{q}.\\ \end{array}} (2.25)
  2. 2.

    Σε μορφή δεικτών:

    Κινηματική εξίσωση:ϕ,i=giστο V,Καταστατικός νόμος:-kgi=qiστο V,Εξίσωση ισορροπίας:qi,i+s=0στο V,Συνοριακές συνθήκες:ϕ=ϕ^στο Sϕ,Συνοριακές συνθήκες:qini=q^στο Sq.\boxed@math{\begin{array}[]{lcr}\text{Κινηματική εξίσωση:}&\phi_{,i}=g_{i}&% \text{στο }V,\\ \text{Καταστατικός νόμος:}&-kg_{i}=q_{i}&\text{στο }V,\\ \text{Εξίσωση ισορροπίας:}&q_{i,i}+s=0&\text{στο }V,\\ \text{Συνοριακές συνθήκες:}&\phi=\hat{\phi}&\text{στο }S_{\phi},\\ \text{Συνοριακές συνθήκες:}&q_{i}n_{i}=\hat{q}&\text{στο }S_{q}.\\ \end{array}} (2.26)
  3. 3.

    Και τέλος σε πλήρη μορφή:

    Κινηματική εξίσωση:ϕx=gx, ϕy=gy,στο V,Καταστατικός νόμος:-kgx=qx, -kgy=qyστο V,Εξίσωση ισορροπίας:qxx+qxx+s=0στο V,Συνοριακές συνθήκες:ϕ=ϕ^στο Sϕ,Συνοριακές συνθήκες:qxnx+qyny=q^στο Sq.\boxed@math{\begin{array}[]{lcr}\text{Κινηματική εξίσωση:}&\dfrac{\partial\phi% }{\partial x}=g_{x},\,\dfrac{\partial\phi}{\partial y}=g_{y},&\text{στο }V,\\ \text{Καταστατικός νόμος:}&-kg_{x}=q_{x},\,-kg_{y}=q_{y}&\text{στο }V,\\ \text{Εξίσωση ισορροπίας:}&\dfrac{\partial q_{x}}{\partial x}+\dfrac{\partial q% _{x}}{\partial x}+s=0&\text{στο }V,\\ \text{Συνοριακές συνθήκες:}&\phi=\hat{\phi}&\text{στο }S_{\phi},\\ \text{Συνοριακές συνθήκες:}&q_{x}n_{x}+q_{y}n_{y}=\hat{q}&\text{στο }S_{q}.\\ \end{array}} (2.27)

2.2 Ασθενής διατύπωση

Η παραπάνω μορφή του προβλήματος, δηλαδή:

k2ϕ=sk\nabla^{2}\phi=s (2.28)

αποτελεί την επονομαζόμενη ισχυρή διατύπωση του προβλήματος Poisson, που είναι ένα πρόβλημα μερικών διαφορικών εξισώσεων.

Ελάχιστα προβλήματα μερικών διαφορικών εξισώσεων που διατυπώνονται σε ισχυρή μορφή έχουν λύσεις κλειστού τύπου και για αυτό τον λόγο συνήθως επιχειρείται η προσεγγιστική επίλυσή τους μέσω της επαναδιατύπωσής τους σε ασθενή μορφή.

Ως ασθενής μορφή (ή αλλιώς ασθενής διατύπωση) του προβλήματος ορίζεται η διατύπωση εκείνη του ίδιου προβλήματος που αντιστοιχεί και είναι ισοδύναμη με την ισχυρή του προβλήματος και δεν ισχύει σε κάθε σημείο αλλά στο σύνολο της εξεταζόμενης περιοχής.

Η ασθενής διατύπωση του προβλήματος πραγματοποιείται ακολουθώντας τα παρακάτω τέσσερα βήματα [6]:

  1. 1.

    Πολλαπλασιάζεται η μερική διαφορική εξίσωση με μία τυχαία μεν, αλλά αποδεκτή συνάρτηση 𝒘=0\boldsymbol{w}=0, η οποία ικανοποιεί τις συνοριακές συνθήκες 𝒘=0\boldsymbol{w}=0 στο Γϕ\Gamma_{\phi}.

    Η συνάρτηση 𝒘=0\boldsymbol{w}=0 επιλέγεται καταρχήν έτσι ώστε το αρχικό πρόβλημα να μετατρέπεται από διανυσματικό σε βαθμωτό, π.χ. για το πρόβλημα ροής που εξετάζεται, επιλέγεται 𝒘=[](2×1)\boldsymbol{w}=\left[\begin{array}[]{c}\bullet\\ \bullet\end{array}\right]_{(2\times 1)}, έτσι ώστε

    𝒘T(1×2)(k2ϕ-s)(2×1)=βαθμωτό(1×1)\underbrace{\boldsymbol{w}^{T}}_{(1\times 2)}\cdot\underbrace{(k\nabla^{2}\phi% -s)}_{(2\times 1)}=\underbrace{\text{βαθμωτό}}_{(1\times 1)} (2.29)
  2. 2.

    Ολοκληρώνεται το παραπάνω γινόμενο στο σύνολο της εξεταζόμενης περιοχής του προβλήματος Ω\Omega. Αυτό έχει ως αποτέλεσμα να προκύψει μια διαφορική εξίσωση δεύτερης τάξης για το πρόβλημα Poisson που εξετάζεται στο παρόν κεφάλαιο.

  3. 3.

    Στη συνέχεια απομειώνεται ο βαθμός της διαφορικής εξίσωσης εφαρμόζοντας το θεώρημα ολοκλήρωσης του Green. Στη συγκεκριμένη περίπτωση το φυσικό πρόβλημα περιγράφεται πλέον από μία διαφορική εξίσωση πρώτης τάξης.

  4. 4.

    Αντικαθίστανται τέλος οι συνοριακές συνθήκες.

Επομένως η ασθενής διατύπωση του συγκεκριμένου προβλήματος οδηγεί σε μία βαθμωτή διανυσματική εξίσωση πρώτου βαθμού.

Αναλυτικά εφαρμόζοντας τα παραπάνω βήματα και ξεκινώντας από την (2.28), η οποία δίνεται ως εξής,

k2ϕ-s=0,k\nabla^{2}\phi-s=0, (2.30)

την πολλαπλασιάζουμε με την αποδεκτή συνάρτηση 𝒘\boldsymbol{w}, οπότε προκύπτει

𝒘T(k2ϕ-s)=0.\boldsymbol{w}^{T}(k\nabla^{2}\phi-s)=0. (2.31)

Θεωρούμε τώρα το ολοκλήρωμα G(𝒘,ϕ)G(\boldsymbol{w},\phi) στην περιοχή του προβλήματος Ω\Omega

G(𝒘,ϕ)=Ω𝒘T(k2ϕ-s)dΩ=0G(\boldsymbol{w},\phi)=\int_{\Omega}\boldsymbol{w}^{T}(k\nabla^{2}\phi-s)d% \Omega=0 (2.32)

το οποίο γράφεται και ως:

G(𝒘,ϕ)=Ω𝒘Tk2ϕdΩ-Ω𝒘TsdΩ=0.G(\boldsymbol{w},\phi)=\int_{\Omega}\boldsymbol{w}^{T}k\nabla^{2}\phi d\Omega-% \int_{\Omega}\boldsymbol{w}^{T}sd\Omega=0. (2.33)

Με ολοκλήρωση κατά Green του πρώτου όρου προκύπτει:

G(𝒘,ϕ)=-Ω𝒘TkϕdΩ+Γ𝒘TkϕnidΩ-Ω𝒘TsdΩ=0G(\boldsymbol{w},\phi)=-\int_{\Omega}\nabla\boldsymbol{w}^{T}k\nabla\phi d% \Omega+\int_{\Gamma}\boldsymbol{w}^{T}k\nabla\phi n_{i}d\Omega-\int_{\Omega}% \boldsymbol{w}^{T}sd\Omega=0 (2.34)

ή αντικαθιστώντας τη συνθήκη στο σύνορο του προβλήματος και η οποία σύμφωνα με τα όσα περιγράφηκαν παραπάνω δίνεται από τη σχέση q^=kϕni\hat{q}=k\nabla\phi n_{i}:

G(𝒘,ϕ)=-Ω𝒘TkϕdΩ+Γ𝒘Tq^dΩ-Ω𝒘TsdΩ=0G(\boldsymbol{w},\phi)=-\int_{\Omega}\nabla\boldsymbol{w}^{T}k\nabla\phi d% \Omega+\int_{\Gamma}\boldsymbol{w}^{T}\hat{q}d\Omega-\int_{\Omega}\boldsymbol{% w}^{T}sd\Omega=0 (2.35)

Ο συνοριακός όρος μπορεί να αναλυθεί ως

Γwq^dΩ=Γϕ𝒘Tq^dΩ+Γqwq^dΩ\int_{\Gamma}w\hat{q}d\Omega=\int_{\Gamma_{\phi}}\boldsymbol{w}^{T}\hat{q}d% \Omega+\int_{\Gamma_{q}}w\hat{q}d\Omega (2.36)

Επειδή όμως έχουμε θεωρήσει ότι για την τυχαία συνάρτηση 𝒘T\boldsymbol{w}^{T} ισχύει ότι 𝒘T=𝟎\boldsymbol{w}^{T}=\boldsymbol{0} στο Γϕ\Gamma_{\phi}, έχουμε

Γ𝒘Tq^dΩ=Γq𝒘Tq^dΩ\int_{\Gamma}\boldsymbol{w}^{T}\hat{q}d\Omega=\int_{\Gamma_{q}}\boldsymbol{w}^% {T}\hat{q}d\Omega (2.37)

και επομένως:

G(𝒘T,ϕ)=-Ω𝒘TkϕdΩ+Γq𝒘Tq^dΩ-Ω𝒘TsdΩ=0G(\boldsymbol{w}^{T},\phi)=-\int_{\Omega}\nabla\boldsymbol{w}^{T}k\nabla\phi d% \Omega+\int_{\Gamma_{q}}\boldsymbol{w}^{T}\hat{q}d\Omega-\int_{\Omega}% \boldsymbol{w}^{T}sd\Omega=0 (2.38)

Παρατηρούμε ότι η παραπάνω διατύπωση περιλαμβάνει μόνο πρώτες παραγώγους αντί για τις δεύτερες παραγώγους του αρχικού προβλήματος. Αυτό οδηγεί σε ασθενέστερους περιορισμούς κατά την επιλογή των συναρτήσεων που αποτελούν πιθανές λύσεις του προβλήματος και για αυτό τον λόγο η παραπάνω διατύπωση ονομάζεται ασθενής.

Συνοψίζοντας επομένως για το πρόβλημα, έχουμε την ισχυρή του διατύπωση:

k2ϕ=sk\nabla^{2}\phi=s (2.39)

και την ασθενή του διατύπωση:

-Ω𝒘TkϕdΩ+Γq𝒘Tq^dΩ-Ω𝒘TsdΩ=0-\int_{\Omega}\nabla\boldsymbol{w}^{T}k\nabla\phi d\Omega+\int_{\Gamma_{q}}% \boldsymbol{w}^{T}\hat{q}d\Omega-\int_{\Omega}\boldsymbol{w}^{T}sd\Omega=0 (2.40)

οι οποίες θεωρούνται ισοδύναμες.

2.3 Προσέγγιση της άγνωστης συνάρτησης

Στη μέθοδο των πεπερασμένων στοιχείων, η περιοχή του εξεταζόμενου προβλήματος χωρίζεται σε έναν πεπερασμένο αριθμό επιμέρους τμημάτων (ή αλλιώς και συνηθέστερα στοιχείων) και η προσέγγιση της άγνωστης συνάρτησης, που στη συγκεκριμένη περίπτωση είναι η συνάρτηση του δυναμικού ϕ\phi, επιχειρείται καταρχήν ανά στοιχείο [5]. Στη συνέχεια, η συνολική λύση του προβλήματος προκύπτει ως η σύνθεση των επιμέρους προσεγγιστικών λύσεων επί του πεπερασμένου αριθμού των στοιχείων στα οποία υποδιαιρείται η συνολική περιοχή του αρχικού προβλήματος.

Επομένως η συνολική λύση του προβλήματος προκύπτει από την προσέγγιση της λύσης ανά στοιχείο, σε ένα σύνολο πεπερασμένου αριθμού στοιχείων που προσεγγίζουν την αρχική περιοχή.

Στη διαδικασία αυτή οφείλεται και το όνομα της μεθόδου.

2.3.1 Η έννοια της προσεγγιστικής συνάρτησης στη μέθοδο των πεπερασμένων στοιχείων

Αρχικά ας εξετάσουμε τις προσεγγίσεις των συναρτήσεων στο πλαίσιο της μεθόδου των πεπερασμένων στοιχείων. Έστω ff η συνάρτηση (συνεχής γραμμή) του Σχήματος 2.3 η οποία είναι συνεχής στο διάστημα [0,1][0,1]. Αν είναι γνωστές οι τιμές της συνάρτησης στα σημεία x1x5x_{1}\ldots x_{5} που ισαπέχουν μεταξύ τους, τότε μπορούμε να προσεγγίσουμε την αρχική συνάρτηση ff με την fhf^{h} (διακεκομμένη γραμμή). Η προσεγγιστική συνάρτηση fhf^{h} εμφανίζει τα ακόλουθα χαρακτηριστικά:

  1. 1.

    Είναι γραμμική κατά τμήματα.

  2. 2.

    Οι τιμές της προσεγγιστικής συνάρτησης fhf^{h} ταυτίζονται με τις τιμές της άγνωστης συνεχούς συνάρτησης ff στα σημεία x1x5x_{1}\ldots x_{5}.

  3. 3.

    Εντός των επιμέρους τμημάτων που ορίζονται από τα σημεία x1x5x_{1}\ldots x_{5} η fhf^{h} αποτελεί μία γραμμική προσέγγιση της άγνωστης συνάρτησης ff.

Σχήμα 2.3: Μία συνεχής συνάρτηση (έντονη γραμμή) και μία γραμμική προσέγγισή της (διακεκομμένη γραμμή).

Αν τώρα η fhf^{h} περιοριστεί σε ένα μόνο τμήμα, έστω ee, τότε μπορούμε να ορίσουμε την αντίστοιχη γραμμική συνάρτηση fef^{e} ως:

fe=ax+bf^{e}=ax+b (2.41)

Τα aa και bb μπορεί να είναι διαφορετικά σε καθένα από τα πέντε τμήματα στα οποία υποδιαιρείται το διάστημα [0,1][0,1] αλλά είναι σταθερά εντός των αντίστοιχων τμημάτων.

2.3.2 Συναρτήσεις βάσης

Στο Σχήμα 2.3 θεωρήσαμε 6 σημεία x0x5x_{0}\ldots x_{5} τα οποία ισαπέχουν μεταξύ τους και ορίζουν τα αντίστοιχα 5 ίσα τμήματα. Γνωρίζουμε ότι στα άκρα του διαστήματος (x0=0x_{0}=0 και x5=1x_{5}=1) ισχύει ότι f(x)=0f(x)=0 ενώ στα ενδιάμεσα σημεία f(x)0f(x)\neq 0.

Ορίζουμε τώρα τέσσερις συναρτήσεις NiN_{i}, i=14i=1\ldots 4 για τα ενδιάμεσα σημεία (x1x_{1}, x2x_{2}, x3x_{3}, x4x_{4}), τα οποία στη μέθοδο των πεπερασμένων στοιχείων αποκαλούνται κόμβοι. Αντίστοιχα, τα τμήματα μεταξύ των σημείων ii και i+1i+1 θα τα ονομάζουμε στη συνέχεια στοιχεία, όπως αναφέρθηκε και προηγουμένως.

Ένα χαρακτηριστικό των συναρτήσεων που θέλουμε να έχουν οι συναρτήσεις NiN_{i} που ορίζουμε περιγράφεται από την ακόλουθη εξίσωση:

Ni(xj)=δijN_{i}(x_{j})=\delta_{ij} (2.42)

όπου δij\delta_{ij} το Δέλτα του Kronecker, για το οποίο ισχύει:

δij={1ανi=j0αλλιώς.\delta_{ij}=\left\{\begin{array}[]{cc}1&\text{αν}\;i=j\\ 0&\text{αλλιώς.}\\ \end{array}\right. (2.43)

Θέλουμε δηλαδή για τις συναρτήσεις NiN_{i} να είναι ίσες με τη μονάδα μόνο στον αντίστοιχο κόμβο ii που αναφέρονται και μηδέν σε όλους τους υπόλοιπους. Π.χ. για τη συνάρτηση N3N_{3} που αντιστοιχεί στον κόμβο x3x_{3} θέλουμε να ισχύει:

N3={1ανx=x30αλλιώς.N_{3}=\left\{\begin{array}[]{cc}1&\text{αν}\;x=x_{3}\\ 0&\text{αλλιώς.}\\ \end{array}\right. (2.44)

Από τα παραπάνω προκύπτει και ένα άλλο κύριο χαρακτηριστικό της γραμμικής συνάρτησης NiN_{i}, ότι δηλαδή η NiN_{i} είναι μη μηδενική μόνο στα τμήματα ii και i+1i+1, στα τμήματα δηλαδή που έχουν κοινό τον κόμβο ii.

Οι συναρτήσεις NiN_{i}, όπως περιγράφηκαν παραπάνω, δίνονται στο Σχήμα 2.4.

Σχήμα 2.4: Συναρτήσεις βάσης.

Τώρα που έχουν οριστεί οι συναρτήσεις NiN_{i}, ας δοκιμάσουμε να προσεγγίσουμε την αρχική συνάρτηση ff. Παρατηρώντας το Σχήμα 2.4, διακρίνουμε ότι σε κάθε τμήμα στοιχείο αντιστοιχούν δύο συναρτήσεις NN. Πιο συγκεκριμένα, για το στοιχείο ii (ΕiΕ_{i} στο Σχήμα 2.4), έχουμε τις συναρτήσεις NiN_{i} και Ni-1N_{i-1}. Οι δύο αυτές συναρτήσεις μπορούν να παραστήσουν κάθε γραμμική συνάρτηση εντός του στοιχείου ii.

Η γραμμική προσέγγιση μπορεί να γραφτεί ως ο γραμμικός συνδυασμός των συναρτήσεων NiN_{i} ως εξής:

fh(x)=i=05fiNi(x)f^{h}(x)=\sum_{i=0}^{5}f_{i}N_{i}(x) (2.45)

Για τα σημεία xix_{i}, προκύπτει από την παραπάνω σχέση:

fh(xi)=j=05fjNj(xi)f^{h}(x_{i})=\sum_{j=0}^{5}f_{j}N_{j}(x_{i}) (2.46)

Εισάγοντας τις (2.42) και (2.43) προκύπτει:

fh(xi)=j=05fjδij=fjf^{h}(x_{i})=\sum_{j=0}^{5}f_{j}\delta_{ij}=f_{j} (2.47)

Από την παραπάνω εξίσωση συμπεραίνεται ότι η τιμή της προσεγγιστικής συνάρτησης fhf^{h} στους κόμβους με συντεταγμένες xix_{i}, όπου i=0,,5i=0,\ldots,5, ισούται με την τιμή του συντελεστή fif_{i} (σημειώνεται ότι f0=0f_{0}=0 και f5=0f_{5}=0).

Αν γνωρίζουμε τις τιμές των συντελεστών fif_{i} στους κόμβους xix_{i}, τότε μπορούμε να προσεγγίσουμε με την fhf^{h} την ff.

2.3.3 Επιστροφή στην ασθενή διατύπωση του προβλήματος

Επιστρέφουμε τώρα στην ασθενή διατύπωση του προβλήματος (2.40), δηλαδή,

G(w,ϕ)=-ΩwkϕdΩ+Γqwq^dΩ-ΩwsdΩ=0.G(w,\phi)=-\int_{\Omega}\nabla wk\nabla\phi d\Omega+\int_{\Gamma_{q}}w\hat{q}d% \Omega-\int_{\Omega}wsd\Omega=0. (2.48)

Σύμφωνα με τα όσα αναφέρθηκαν στην προηγούμενη ενότητα, χωρίζουμε την περιοχή του προβλήματος Ω\Omega σε υποπεριοχές (στοιχεία) ως:

ΩΩh=e=1nelΩe\Omega\approx\Omega^{h}=\sum_{e=1}^{n_{el}}\Omega_{e} (2.49)

όπου Ωh\Omega^{h} είναι η περιοχή στην οποία αναζητούμε την προσεγγιστική λύση της συνάρτησης του δυναμικού ϕ\phi την οποία υποδιαιρούμε σε έναν αριθμό neln_{el} πεπερασμένων στοιχείων. Ωe\Omega_{e} είναι η επιμέρους περιοχή που καταλαμβάνει το στοιχείο ee.

Τα ολοκληρώματα επί των στοιχείων μπορούν να αθροιστούν, επομένως μπορούμε να γράψουμε:

Ω()dΩΩh()dΩ=e=1nelΩe()dΩe\int_{\Omega}(\bullet)d\Omega\approx\int_{\Omega^{h}}(\bullet)d\Omega=\sum_{e=% 1}^{n_{el}}\int_{\Omega_{e}}(\bullet)d\Omega_{e} (2.50)

Η ασθενής μορφή του προβλήματος μπορεί να επαναδιατυπωθεί προσεγγιστικά τώρα ως:

G(𝒘,ϕ)Gh=-e=1nelΩe𝒘kϕdΩe+e=1nelΓeq𝒘q^dΓeq-e=1nelΩe𝒘sdΩe=0.G(\boldsymbol{w},\phi)\approx G^{h}=-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}% \nabla\boldsymbol{w}k\nabla\phi d\Omega_{e}+\sum_{e=1}^{n_{el}}\int_{\Gamma_{% eq}}\boldsymbol{w}\hat{q}d\Gamma_{eq}-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}% \boldsymbol{w}sd\Omega_{e}=0. (2.51)

Για να είναι σωστά ορισμένο το παραπάνω πρόβλημα, τα ολοκληρώματα Γeq𝒘q^dΓeq\int_{\Gamma_{eq}}\boldsymbol{w}\hat{q}d\Gamma_{eq} μεταξύ δύο γειτονικών στοιχείων θα πρέπει να αλληλοακυρώνονται. Αυτό συμβαίνει όταν οι συναρτήσεις ϕ\phi και 𝒘\boldsymbol{w} είναι συνεχείς στην εξεταζόμενη περιοχή Ω\Omega.

Στο σημείο αυτό σημειώνεται ότι δεν τίθεται κάποιος περιορισμός για τις παραγώγους των ϕ\phi και 𝒘\boldsymbol{w}, οι οποίες μπορεί να είναι και ασυνεχείς στο Ω\Omega. Οι συναρτήσεις που είναι συνεχείς σε ένα διάστημα αλλά έχουν ασυνεχείς παραγώγους ονομάζονται C0C^{0} συναρτήσεις.

Τώρα θεωρούμε τις συναρτήσεις NiN_{i} με τις οποίες προσπαθούμε να προσεγγίσουμε την άγνωστη συνάρτηση δυναμικού ϕ\phi. Σύμφωνα με τα όσα προαναφέρθηκαν:

ϕϕh=e=1nelNiϕi=𝑵ϕ¯\phi\approx\phi^{h}=\sum_{e=1}^{n_{el}}N_{i}\phi_{i}=\boldsymbol{N}\bar{% \boldsymbol{\phi}} (2.52)

Αντικαθιστώντας στην παραπάνω σχέση, προκύπτει:

G(𝒘,ϕ)Gh\displaystyle G(\boldsymbol{w},\phi)\approx G^{h} =-e=1nelΩe𝒘kϕ¯dΩe+e=1nelΓeq𝒘q^dΓeq-e=1nelΩe𝒘sdΩe=0\displaystyle=-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\nabla\boldsymbol{w}k% \underline{\nabla\phi}d\Omega_{e}+\sum_{e=1}^{n_{el}}\int_{\Gamma_{eq}}% \boldsymbol{w}\hat{q}d\Gamma_{eq}-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}% \boldsymbol{w}sd\Omega_{e}=0 (2.53)
=-e=1nelΩe𝒘k𝑵ϕ¯¯dΩe+e=1nelΓeq𝒘q^dΓeq-e=1nelΩe𝒘sdΩe=0.\displaystyle=-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\nabla\boldsymbol{w}k% \underline{\nabla\boldsymbol{N}\bar{\boldsymbol{\phi}}}d\Omega_{e}+\sum_{e=1}^% {n_{el}}\int_{\Gamma_{eq}}\boldsymbol{w}\hat{q}d\Gamma_{eq}-\sum_{e=1}^{n_{el}% }\int_{\Omega_{e}}\boldsymbol{w}sd\Omega_{e}=0. (2.54)

Και εφόσον οι τιμές ϕ¯\bar{\boldsymbol{\phi}} είναι σταθερές, η παραπάνω σχέση γράφεται ως:

Gh=-e=1nelΩe𝒘k𝑵dΩeϕ¯+e=1nelΓeq𝒘q^dΓeq-e=1nelΩe𝒘sdΩe=0.G^{h}=-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\nabla\boldsymbol{w}k\nabla% \boldsymbol{N}d\Omega_{e}\bar{\boldsymbol{\phi}}+\sum_{e=1}^{n_{el}}\int_{% \Gamma_{eq}}\boldsymbol{w}\hat{q}d\Gamma_{eq}-\sum_{e=1}^{n_{el}}\int_{\Omega_% {e}}\boldsymbol{w}sd\Omega_{e}=0. (2.55)

2.4 Αντικατάσταση της συνάρτησης βάρους

Αν τώρα θεωρήσουμε ότι οι συναρτήσεις βάρους 𝒘\boldsymbol{w} ταυτίζονται με τις συναρτήσεις βάσης, ισχύει δηλαδή ότι:

𝒘=𝑵wi\boldsymbol{w}=\boldsymbol{N}w_{i} (2.56)

όπου wiw_{i} τυχαίες παράμετροι, τότε μπορούμε να γράψουμε:

G(𝒘,ϕ)Gh\displaystyle G(\boldsymbol{w},\phi)\approx G^{h} =-e=1nelΩe𝒘¯k𝑵dΩeϕ¯+e=1nelΓeq𝒘¯q^dΓeq-e=1nelΩe𝒘¯sdΩe=0\displaystyle=-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\underline{\nabla% \boldsymbol{w}}k\nabla\boldsymbol{N}d\Omega_{e}\bar{\boldsymbol{\phi}}+\sum_{e% =1}^{n_{el}}\int_{\Gamma_{eq}}\underline{\boldsymbol{w}}\hat{q}d\Gamma_{eq}-% \sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\underline{\boldsymbol{w}}sd\Omega_{e}=0 (2.57)
=-e=1nelΩe(𝑵wi)¯k𝑵dΩeϕ¯+e=1nelΓeq𝑵wi¯q^dΓeq-e=1nelΩe𝑵wi¯sdΩe=0\displaystyle=-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\underline{\nabla(% \boldsymbol{N}w_{i})}k\nabla\boldsymbol{N}d\Omega_{e}\bar{\boldsymbol{\phi}}+% \sum_{e=1}^{n_{el}}\int_{\Gamma_{eq}}\underline{\boldsymbol{N}w_{i}}\hat{q}d% \Gamma_{eq}-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\underline{\boldsymbol{N}w_{i}% }sd\Omega_{e}=0 (2.58)

Ομοίως, επειδή το 𝒘\boldsymbol{w} είναι σταθερό, μπορεί να βγει ως κοινός παράγοντας, οπότε έχουμε:

𝒘[-e=1nelΩe𝑵k𝑵dΩeϕ¯+e=1nelΓeq𝑵q^dΓeq-e=1nelΩe𝑵sdΩe]=0\boldsymbol{w}\left[-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\nabla\boldsymbol{N}k% \nabla\boldsymbol{N}d\Omega_{e}\bar{\boldsymbol{\phi}}+\sum_{e=1}^{n_{el}}\int% _{\Gamma_{eq}}\boldsymbol{N}\hat{q}d\Gamma_{eq}-\sum_{e=1}^{n_{el}}\int_{% \Omega_{e}}\boldsymbol{N}sd\Omega_{e}\right]=0 (2.59)

Επαναδιατυπώνοντας την παραπάνω σχέση προκύπτει:

-e=1nelΩe𝑵k𝑵dΩeϕ¯+e=1nelΓeq𝑵q^dΓeq-e=1nelΩe𝑵sdΩe=0-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\nabla\boldsymbol{N}k\nabla\boldsymbol{N}% d\Omega_{e}\bar{\boldsymbol{\phi}}+\sum_{e=1}^{n_{el}}\int_{\Gamma_{eq}}% \boldsymbol{N}\hat{q}d\Gamma_{eq}-\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}% \boldsymbol{N}sd\Omega_{e}=0 (2.60)

που αποτελεί και την έκφραση της μεθόδου των πεπερασμένων στοιχείων.

Πιο συγκεκριμένα, αντικαθιστώντας

𝐊\displaystyle\mathbf{K} =e=1nelΩe𝑵k𝑵dΩe\displaystyle=\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\nabla\boldsymbol{N}k\nabla% \boldsymbol{N}d\Omega_{e} (2.61)
𝐟q\displaystyle\mathbf{f}^{q} =e=1nelΓeq𝑵q^dΓeq\displaystyle=\sum_{e=1}^{n_{el}}\int_{\Gamma_{eq}}\boldsymbol{N}\hat{q}d% \Gamma_{eq} (2.62)
𝐟s\displaystyle\mathbf{f}^{s} =e=1nelΩe𝑵sdΩe\displaystyle=\sum_{e=1}^{n_{el}}\int_{\Omega_{e}}\boldsymbol{N}sd\Omega_{e} (2.63)

προκύπτει το ακόλουθο γραμμικό σύστημα

𝐊ϕ¯=𝐟s-𝐟q\mathbf{K}\bar{\boldsymbol{\phi}}=\mathbf{f}^{s}-\mathbf{f}^{q} (2.64)

η επίλυση του οποίου οδηγεί στον προσδιορισμό των άγνωστων τιμών της συνάρτησης δυναμικού στους κόμβους των στοιχείων.

2.5 Σύγκριση με τη μέθοδο των πεπερασμένων διαφορών

Η επίσης γνωστή μέθοδος των πεπερασμένων διαφορών θα μπορούσε να χρησιμοποιηθεί για την επίλυση της εξίσωσης του προβλήματος (2.28), δηλαδή:

k2ϕ=sk\nabla^{2}\phi=s (2.65)

ή αναλυτικότερα

qxx+qxx+s=0\dfrac{\partial q_{x}}{\partial x}+\dfrac{\partial q_{x}}{\partial x}+s=0 (2.66)

Σε αντίθεση με τη μέθοδο των πεπερασμένων στοιχείων, η οποία προσπαθεί να προσεγγίσει τη λύση του προβλήματος, η μέθοδος των πεπερασμένων διαφορών προσπαθεί να προσεγγίσει τις παραγώγους της διαφορικής εξίσωσης.

Η προσέγγιση που χρησιμοποιείται στη μέθοδο των πεπερασμένων διαφορών στηρίζεται στα αναπτύγματα Taylor [2], το οποίο για την περίπτωση μίας συνάρτησης δύο μεταβλητών μπορεί να γραφτεί ως:

u(x+h,y+k)=m=0n1m!(hx+ky)mu(x,y)+rnu(x+h,y+k)=\sum_{m=0}^{n}\dfrac{1}{m!}\left(h\dfrac{\partial}{\partial x}+k% \dfrac{\partial}{\partial y}\right)^{m}u(x,y)+r_{n} (2.67)

όπου

rn=1(ν+1)!(hx+ky)(n+1)u(x+θh,y+θk),0<θ1.r_{n}=\dfrac{1}{(ν+1)!}\left(h\dfrac{\partial}{\partial x}+k\dfrac{\partial}{% \partial y}\right)^{(}n+1)u(x+\theta h,y+\theta k),\quad 0<\theta\leq 1. (2.68)

Στις παραπάνω σχέσεις, hh και kk είναι το μήκος του βήματος στις διευθύνσεις xx και yy αντίστοιχα.

Έστω τώρα για λόγους απλοποίησης ότι

k=hk=h (2.69)

και

u(x+h,y):=um+1,n.u(x+h,y):=u^{m+1,n}. (2.70)

Τότε προκύπτει

um+1,n=um,n+hu,xm,n+h22!u,xxm,n+h33!u,xxxm,n+O(h4).u^{m+1,n}=u^{m,n}+hu_{,x}^{m,n}+\dfrac{h^{2}}{2!}u_{,xx}^{m,n}+\dfrac{h^{3}}{3% !}u_{,xxx}^{m,n}+O(h^{4}). (2.71)

Στην παραπάνω εξίσωση θεωρείται ότι ο δείκτης ,x,x υποδηλώνει μερική παραγώγιση ως προς xx, δηλαδή:

(),x=()x.(\bullet)_{,x}=\dfrac{\partial(\bullet)}{\partial x}. (2.72)

Επιπροσθέτως με O(hn)O(h^{n}) συμβολίζονται οι μεγαλύτεροι του nn όροι.

Αντίστοιχα τώρα γράφεται:

um-1,n\displaystyle u^{m-1,n} =um,n-hu,xm,n+h22!u,xxm,n-h33!u,xxxm,n+O(h4)\displaystyle=u^{m,n}-hu_{,x}^{m,n}+\dfrac{h^{2}}{2!}u_{,xx}^{m,n}-\dfrac{h^{3% }}{3!}u_{,xxx}^{m,n}+O(h^{4}) (2.73)
um,n+1\displaystyle u^{m,n+1} =um,n+hu,xm,n+h22!u,xxm,n-h33!u,xxxm,n+O(h4)\displaystyle=u^{m,n}+hu_{,x}^{m,n}+\dfrac{h^{2}}{2!}u_{,xx}^{m,n}-\dfrac{h^{3% }}{3!}u_{,xxx}^{m,n}+O(h^{4}) (2.74)
um,n-1\displaystyle u^{m,n-1} =um,n-hu,xm,n+h22!u,xxm,n-h33!u,xxxm,n+O(h4)\displaystyle=u^{m,n}-hu_{,x}^{m,n}+\dfrac{h^{2}}{2!}u_{,xx}^{m,n}-\dfrac{h^{3% }}{3!}u_{,xxx}^{m,n}+O(h^{4}) (2.75)

Αν τώρα θεωρήσουμε ότι

u,xm,nu,xxm,nu,xxxm,nu_{,x}^{m,n}\gg u_{,xx}^{m,n}\gg u_{,xxx}^{m,n} (2.76)

και

h0h\rightarrow 0 (2.77)

από τα παραπάνω προκύπτει για τη διεύθυνση xx:

u,xm,n\displaystyle u_{,x}^{m,n} =1h[um+1,n-um,n]+O(h4)Διαφορά προς τα εμπρός\displaystyle=\dfrac{1}{h}\left[u^{m+1,n}-u^{m,n}\right]+O(h^{4})\quad\text{Δι% αφορά προς τα εμπρός} (2.78)
u,xm,n\displaystyle u_{,x}^{m,n} =1h[um-1,n-um,n]+O(h4)Διαφορά προς τα πίσω\displaystyle=\dfrac{1}{h}\left[u^{m-1,n}-u^{m,n}\right]+O(h^{4})\quad\text{Δι% αφορά προς τα πίσω} (2.79)

Ομοίως κατά τη διεύθυνση yy προκύπτει:

u,ym,n\displaystyle u_{,y}^{m,n} =1h[um+1,n-um,n]+O(h4)Διαφορά προς τα εμπρός\displaystyle=\dfrac{1}{h}\left[u^{m+1,n}-u^{m,n}\right]+O(h^{4})\quad\text{Δι% αφορά προς τα εμπρός} (2.81)
u,ym,n\displaystyle u_{,y}^{m,n} =1h[um-1,n-um,n]+O(h4)Διαφορά προς τα πίσω\displaystyle=\dfrac{1}{h}\left[u^{m-1,n}-u^{m,n}\right]+O(h^{4})\quad\text{Δι% αφορά προς τα πίσω} (2.82)

Αν τώρα θεωρηθεί ότι:

u,xm,n,u,xxm,nu,xxxm,nu_{,x}^{m,n},u_{,xx}^{m,n}\gg u_{,xxx}^{m,n} (2.83)

τότε προκύπτει κατά τη διεύθυνση xx και yy αντίστοιχα η κεντρική μέθοδος, η οποία διατυπώνεται ως:

u,xxm,n\displaystyle u_{,xx}^{m,n} =1h2[um+1,n-2um,n+um,n+1]+O(h2)\displaystyle=\dfrac{1}{h^{2}}\left[u^{m+1,n}-2u^{m,n}+u^{m,n+1}\right]+O(h^{2}) (2.84)
u,ym,n\displaystyle u_{,y}^{m,n} =1h2[um+1,n-2um,n+um,n+1]+O(h2)\displaystyle=\dfrac{1}{h^{2}}\left[u^{m+1,n}-2u^{m,n}+u^{m,n+1}\right]+O(h^{2}) (2.85)

Χωρίς να χάνεται η γενικότητα, η εξίσωση Poisson που εξετάζεται,

qxx+qxx+s=0\dfrac{\partial q_{x}}{\partial x}+\dfrac{\partial q_{x}}{\partial x}+s=0 (2.87)

για kk = σταθερό και s=0s=0 (εξίσωση Laplace), μπορεί πλέον γραφτεί ως:

2ϕx2+2ϕy2\displaystyle\dfrac{\partial^{2}\phi}{\partial x^{2}}+\dfrac{\partial^{2}\phi}% {\partial y^{2}} =0\displaystyle=0 (2.88)
ϕ,xxm,n+ϕ,xxm,n+O(h2)\displaystyle\phi_{,xx}^{m,n}+\phi_{,xx}^{m,n}+O(h^{2}) =0\displaystyle=0 (2.89)

Η τελευταία εξίσωση είναι γνωστή και ως ο κανόνας των πέντε σημείων, ο οποίος γραφικά δίνεται στο Σχήμα 2.5.

Σχήμα 2.5: Ο κανόνας των πέντε σημείων.

Από τα όσα αναπτύχθηκαν γίνεται φανερό ότι η μέθοδος των πεπερασμένων διαφορών απαιτεί έναν σχετικά ορθοκανονικό κάναβο. Αυτός ο περιορισμός δεν υπάρχει στη μέθοδο των πεπερασμένων στοιχείων.

2.6 Εφαρμογή στις εξισώσεις της ελαστοστατικής

Στη συνέχεια δίνεται συνοπτικά η εφαρμογή της μεθόδου των πεπερασμένων στοιχείων και στις εξισώσεις της (ελαστο)-στατικής.

Για ιστορικούς λόγους και για λόγους συχνής αναφοράς στη βιβλιογραφία [4] εξετάζεται η μέθοδος των πεπερασμένων στοιχείων όπως ισοδύναμα προκύπτει από την αρχή των δυνατών έργων.

2.6.1 Εξισώσεις του προβλήματος

Έστω η περιοχή Ω\Omega του Σχήματος 2.6 με σύνορο Γ\Gamma, το οποίο αποτελείται από το Γu\Gamma_{u}, στο οποίο είναι γνωστές οι μετακινήσεις, και το Γσ\Gamma_{\sigma}, στο οποίο είναι γνωστές οι τάσεις, με Γ=ΓuΓσ\Gamma=\Gamma_{u}\cup\Gamma_{\sigma}.

Σχήμα 2.6: Η εξεταζόμενη περιοχή.

Από τη θεωρία της δισδιάστατης ελαστικότητας γνωρίζουμε ότι ισχύουν οι εξής τρεις ομάδες εξισώσεων πεδίου:

  1. 1.

    Εξισώσεις ισορροπίας.

    σxx+τxyy+p¯x\displaystyle\dfrac{\partial\sigma_{x}}{\partial x}+\dfrac{\partial\tau_{xy}}{% \partial y}+\bar{p}_{x} =\displaystyle= 0,\displaystyle 0, (2.90)
    τxyx+σyy+p¯y\displaystyle\dfrac{\partial\tau_{xy}}{\partial x}+\dfrac{\partial\sigma_{y}}{% \partial y}+\bar{p}_{y} =\displaystyle= 0,\displaystyle 0, (2.91)

    όπου p¯x\bar{p}_{x}, p¯y\bar{p}_{y} είναι οι μαζικές δυνάμεις (π.χ. το βάρος) ανά μονάδα όγκου. Σε μητρωική μορφή, η παραπάνω εξίσωση γράφεται:

    [x0y0yx]{σxσyτxy}+{p¯xp¯y}\displaystyle\left[\begin{array}[]{ccc}\dfrac{\partial}{\partial x}&0&\dfrac{% \partial}{\partial y}\\ 0&\dfrac{\partial}{\partial y}&\dfrac{\partial}{\partial x}\\ \end{array}\right]\left\{\begin{array}[]{c}\sigma_{x}\\ \sigma_{y}\\ \tau_{xy}\\ \end{array}\right\}+\left\{\begin{array}[]{c}\bar{p}_{x}\\ \bar{p}_{y}\\ \end{array}\right\} =\displaystyle= 0,\displaystyle 0, (2.92)
    𝐋T𝝈+𝒑¯\displaystyle\mathbf{L}^{T}\boldsymbol{\sigma}+\boldsymbol{\bar{p}} =\displaystyle= 0.\displaystyle 0. (2.93)
  2. 2.

    Ο καταστατικός νόμος (σχέσεις τάσεων-παραμορφώσεων).

    {σxσyτxy}\displaystyle\left\{\begin{array}[]{c}\sigma_{x}\\ \sigma_{y}\\ \tau_{xy}\\ \end{array}\right\} =\displaystyle= 𝐂{εxεxγxy},\displaystyle\mathbf{C}\left\{\begin{array}[]{c}\varepsilon_{x}\\ \varepsilon_{x}\\ \gamma_{xy}\\ \end{array}\right\}, (2.94)
    𝝈\displaystyle\boldsymbol{\sigma} =\displaystyle= 𝐂𝜺\displaystyle\mathbf{C}\boldsymbol{\varepsilon} (2.95)

    όπου 𝐂\mathbf{C} το μητρώο υλικού, διαφορετικό για τις περιπτώσεις επίπεδης έντασης, επίπεδης παραμόρφωσης και αξονοσυμμετρίας.

  3. 3.

    Οι κινηματικές εξισώσεις (σχέσεις παραμορφώσεων-μετακινήσεων).

    εx\displaystyle\varepsilon_{x} =\displaystyle= uxx,\displaystyle\dfrac{\partial u_{x}}{\partial x}, (2.96)
    εy\displaystyle\varepsilon_{y} =\displaystyle= uyy,\displaystyle\dfrac{\partial u_{y}}{\partial y}, (2.97)
    εxy\displaystyle\varepsilon_{xy} =\displaystyle= 12(uyx+uxy).\displaystyle\dfrac{1}{2}\left(\dfrac{\partial u_{y}}{\partial x}+\dfrac{% \partial u_{x}}{\partial y}\right). (2.98)

    Σε μητρωική μορφή, οι παραπάνω εξισώσεις γράφονται:

    {εxεyγxy}={εxεy2εxy}\displaystyle\left\{\begin{array}[]{c}\varepsilon_{x}\\ \varepsilon_{y}\\ \gamma_{xy}\\ \end{array}\right\}=\left\{\begin{array}[]{c}\varepsilon_{x}\\ \varepsilon_{y}\\ 2\varepsilon_{xy}\\ \end{array}\right\} =\displaystyle= [x00yyx]{uxuy},\displaystyle\left[\begin{array}[]{cc}\dfrac{\partial}{\partial x}&0\\ 0&\dfrac{\partial}{\partial y}\\ \dfrac{\partial}{\partial y}&\dfrac{\partial}{\partial x}\\ \end{array}\right]\left\{\begin{array}[]{c}u_{x}\\ u_{y}\\ \end{array}\right\}, (2.99)
    𝜺\displaystyle\boldsymbol{\varepsilon} =\displaystyle= 𝐋𝒖\displaystyle\mathbf{L}\boldsymbol{u} (2.100)

Οι εξισώσεις (2.93), (2.95) και (2.100) μαζί με τις συνοριακές συνθήκες στο Γσ\Gamma_{\sigma},

𝝈T𝒏^=𝑷¯, 𝒏^ διάνυσμα κάθετο στο σύνορο,\boldsymbol{\sigma}^{T}\hat{\boldsymbol{n}}=\bar{\boldsymbol{P}},\quad\hat{% \boldsymbol{n}}\text{ διάνυσμα κάθετο στο σύνορο}, (2.101)

και στο Γu\Gamma_{u},

𝒖=𝒖¯,\boldsymbol{u}=\bar{\boldsymbol{u}}, (2.102)

αποτελούν το γνωστό πρόβλημα συνοριακών τιμών, το οποίο αντίστοιχα σε μητρωική μορφή μπορεί να διατυπωθεί ως εξής:

𝐋T𝝈+𝒑¯=0𝝈=𝐂𝜺𝜺=𝐋𝒖}στοΩ   𝝈T𝒏=𝑷¯, στοΓσ𝒖=𝒖¯στοΓu\left.\begin{array}[]{c}\mathbf{L}^{T}\boldsymbol{\sigma}+\boldsymbol{\bar{p}}% =0\\ \boldsymbol{\sigma}=\mathbf{C}\boldsymbol{\varepsilon}\\ \boldsymbol{\varepsilon}=\mathbf{L}\boldsymbol{u}\\ \end{array}\right\}\;\text{στο}\;\Omega\quad\quad\left.\begin{array}[]{c}% \boldsymbol{\sigma}^{T}\boldsymbol{n}=\bar{\boldsymbol{P}},\quad\text{στο}\;% \Gamma_{\sigma}\\ \boldsymbol{u}=\bar{\boldsymbol{u}}\quad\text{στο}\;\Gamma_{u}\\ \end{array}\right. (2.103)

2.6.2 Διατύπωση των χαρακτηριστικών εξισώσεων με την αρχή των δυνατών έργων

Η δυναμική ενέργεια Π(𝜺,𝒖)\Pi(\boldsymbol{\varepsilon},\boldsymbol{u}) δίνεται ως η διαφορά της εσωτερικής ενέργειας Πint\Pi^{int} μείον το έργο των εξωτερικών δυνάμεων που δρουν στο σώμα Πext\Pi^{ext}.

Π=Πint-Πext\Pi=\Pi^{int}-\Pi^{ext} (2.104)

Όπου:

Πint\displaystyle\Pi^{int} =Ω12𝝈T𝜺dΩ=Ω12𝜺T𝐂𝜺dΩ\displaystyle=\int_{\Omega}\dfrac{1}{2}\boldsymbol{\sigma}^{T}\boldsymbol{% \varepsilon}d\Omega=\int_{\Omega}\dfrac{1}{2}\boldsymbol{\varepsilon}^{T}% \mathbf{C}\boldsymbol{\varepsilon}d\Omega (2.105)
Πext\displaystyle\Pi^{ext} =Ω𝒖T𝒑¯dΩ+Γσ𝒖T𝑷¯dΓσ\displaystyle=\int_{\Omega}\boldsymbol{u}^{T}\bar{\boldsymbol{p}}d\Omega+\int_% {\Gamma_{\sigma}}\boldsymbol{u}^{T}\bar{\boldsymbol{P}}d\Gamma_{\sigma} (2.106)

Σύμφωνα με την αρχή της ελάχιστης δυναμικής ενέργειας, η δυναμική ενέργεια Π\Pi θα πρέπει να είναι η ελάχιστη (εφόσον το μητρώο 𝐂\mathbf{C} είναι θετικά ορισμένο). Το ελάχιστο βρίσκεται εκεί που το διαφορικό της (2.104) ισούται με το μηδέν, δηλαδή:

δΠ=δΠint-δΠext=0\delta\Pi=\delta\Pi^{int}-\delta\Pi^{ext}=0 (2.107)

Διαφορίζοντας επομένως τις (2.105) και (2.106) ως προς 𝒖\boldsymbol{u}, προκύπτει:

Ωδ𝜺T𝐂𝜺dΩ-Ωδ𝒖T𝒑¯dΩ-Γσδ𝒖T𝑷¯dΓσ=0\int_{\Omega}\delta\boldsymbol{\varepsilon}^{T}\mathbf{C}\boldsymbol{% \varepsilon}d\Omega-\int_{\Omega}\delta\boldsymbol{u}^{T}\bar{\boldsymbol{p}}d% \Omega-\int_{\Gamma_{\sigma}}\delta\boldsymbol{u}^{T}\bar{\boldsymbol{P}}d% \Gamma_{\sigma}=0 (2.108)

που είναι γνωστή και ως η αρχή των δυνατών έργων.

Εύκολα αποδεικνύεται ότι η (2.108) είναι ισοδύναμη της (2.60).

2.7 Βιβλιογραφία

  • 1 Klaus-Jürgen Bathe. Finite element procedures. Klaus-Jurgen Bathe, 2006.
  • 2 Richard L. Burden, J. Douglas Faires and Annette M. Burden. Numerical analysis. Nelson Education, 2015.
  • 3 Carlos A. Felippa. Lecture notes in introduction to finite element methods, 2013.
  • 4 G. P. Nikishkov. Introduction to the finite element method, 2004.
  • 5 Gagandeep Singh. Short introduction to finite element method, 2015.
  • 6 R. L. Taylor. FEAP – A Finite Element Analysis Program, Version 7.5 User Manual. University of California at Berkeley, Berkeley, CA, 2005.