Προβολή πηγαίου κώδικα για τη σελίδα Μερική διαφορική εξίσωση

{{χωρίς παραπομπές}}

[[File:Laplace's equation on an annulus.jpg|thumb|right|Τριδιάστατη (αριστερά) και διδιάστατη (δεξιά) γραφική απεικόνιση μιας λύσης της δισδιάστατης εξίσωσης Laplace σε [[Δακτύλιος (γεωμετρία)|δακτύλιο]] (r=2 και R=4) και για αρχικές συνθήκες Dirichlet: u(r=2)=0 και u(r=4)=4sin(5*θ).|350px]]

[[File:Heat eqn.gif|thumb|right|Μια απεικόνιση μιας λύσης για την [[εξίσωση θερμότητας]] σε ένα διδιάστατο επίπεδο.]]

Στα [[μαθηματικά]] μία '''μερική διαφορική εξίσωση''' (ΜΔΕ) είναι μια [[διαφορική εξίσωση]] η οποία περιέχει άγνωστες συναρτήσεις [[Πολλαπλή μεταβλητή|πολλαπλών μεταβλητών]] και τις [[Παράγωγος#Μερικές παράγωγοι|μερικές παραγώγους]] αυτών.(Σε αντίθεση με τις [[συνήθεις διαφορικές εξισώσεις]], οι οποίες ασχολούνται με τις συναρτήσεις μιας μεταβλητής και τα [[Παράγωγος|παράγωγά]] τους.) Οι ΜΔΕ χρησιμοποιούνται για να διαμορφώσουν τα προβλήματα που αφορούν τις συναρτήσεις πολλών μεταβλητών, και είτε λύνονται με το χέρι, ή χρησιμοποιούνται για να δημιουργήσουν ένα σχετικό [[υπολογιστικό μοντέλο]].

Οι ΜΔΕ μπορούν να χρησιμοποιηθούν για να περιγράψουν μια ευρεία ποικιλία  φαινομένων, όπως [[Ήχος|ήχο]], [[θερμότητα]] , [[ηλεκτροστατική]] , [[ηλεκτροδυναμική]] , [[ροή του υγρού]],  [[ελαστικότητα]] και εκφυλιστική χρωμοδυναμική ροή (όταν η υψηλή στάθμη ενέργειας δεν επιτρέπει στην ισχυρή πυρηνική δύναμη να εκδηλώσει συγκεκριμένα σωματίδια π.χ. στο κέντρο μαύρων τρυπών ή πριν τον κοσμικό πληθωρισμό). Αυτά τα φαινομενικά διαφορετικά φυσικά φαινόμενα μπορεί να υλοποιούνται με τον ίδιο ακριβώς τρόπο με τη ΜΔΕ, που δείχνει ότι αυτά διέπονται από τις ίδιες βασικές δυναμικές. Απλά όπως οι συνήθεις διαφορικές εξισώσεις συχνά απλοποιούν μονοδιάστατα [[Δυναμικό σύστημα|δυναμικά συστήματα]], έτσι και οι μερικές διαφορικές εξισώσεις συχνά απλοποιούν [[Πολυδιάστατο σύστημα|πολυδιάστατα συστήματα]]. Οι ΜΔΕ βρίσκουν τη γενίκευση τους στις [[Στοχαστική μερική διαφορική εξίσωση|στοχαστικές μερικές διαφορικές εξισώσεις]].

==Εισαγωγή==

Μερικές διαφορικές εξισώσεις (ΜΔΕ) είναι εξισώσεις που αφορούν τα ποσοστά μεταβολής σε σχέση με [[Συνεχής μεταβλητή|συνεχείς μεταβλητές]]. Η θέση ενός άκαμπτου σώματος ορίζεται από έξι αριθμούς, αλλά η διαμόρφωση ενός ρευστού δίνεται από την [[Συνεχής κατανομή|συνεχή κατανομή]] των διαφόρων παραμέτρων, όπως η θερμοκρασία, η πίεση, και ούτω καθεξής.Η δυναμική για το άκαμπτο σώμα λαμβάνει διαμόρφωση σε ένα χώρο πεπερασμένης-διάστασης. Η δυναμική για το [[ρευστό]] λαμβάνει διαμόρφωση σε ένα άπειρο-διάστατο χώρο . Η διάκριση αυτή καθιστά συνήθως τις  ΜΔΕ πολύ πιο δύσκολο να λυθούν από τις [[Διαφορική εξίσωση|συνήθεις διαφορικές εξισώσεις]] (Σ.Δ.Ε.), αλλά εδώ και πάλι θα υπάρξουν απλές λύσεις για γραμμικά προβλήματα. Κλασσικοί τομείς όπου οι ΜΔΕ χρησιμοποιούνται περιλαμβάνουν [[ακουστική]], [[ροή του υγρού]], [[ηλεκτροδυναμική]], και [[μεταφορά θερμότητας]].

Μια μερική διαφορική εξίσωση (ΜΔΕ) για τη συνάρτηση <math>\, u=u(x_1,...x_n)</math> είναι μια εξίσωση της μορφής:
: <math>F \left (x_1, \ldots, x_n, u, \frac{\partial u}{\partial x_1}, \ldots, \frac{\partial u}{\partial x_n}, \frac{\partial^2 u}{\partial x_1 \partial x_1}, \ldots, \frac{\partial^2 u}{\partial x_1 \partial x_n}, \ldots \right) = 0.</math>
Αν η F είναι μια [[γραμμική συνάρτηση]] του u και των παραγώγων του, τότε η ΜΔΕ ονομάζεται γραμμική. Κοινά παραδείγματα των γραμμικών ΜΔΕ είναι η [[εξίσωση θερμότητας]], η [[κυματική εξίσωση]], η [[Εξίσωση Λαπλάς]], η [[εξίσωση Helmholtz]], η [[Εξίσωση Κλάιν-Γκόρντον]], και η [[Εξίσωση Πουασόν]].
Μια σχετικά απλή ΜΔΕ είναι
: <math>\frac{\partial u}{\partial x}(x,y) = 0.~</math>
Αυτή η σχέση σημαίνει ότι η συνάρτηση u (x, y) είναι ανεξάρτητη του x. Ωστόσο, η εξίσωση δε δίνει καμία πληροφορία σχετικά με την εξάρτηση της συνάρτησης ως προς τη μεταβλητή y. Ως εκ τούτου, η γενική λύση αυτής της εξίσωσης είναι
: <math>u(x,y) = f(y),</math>,
όπου f είναι μια αυθαίρετη συνάρτηση του y. Η ανάλογη [[συνήθης διαφορική εξίσωση]] είναι
: <math>\frac{\mathrm{d} u}{\mathrm{d} x}(x) = 0,</math>
η οποία εχει λύση την
: <math>u(x) = c,</math>
όπου c είναι οποιαδήποτε [[Σταθερά (μαθηματικά)|σταθερή]] τιμή. Αυτά τα δύο παραδείγματα δείχνουν ότι οι γενικές λύσεις των συνήθων διαφορικών εξισώσεων (Σ.Δ.Ε.) αφορούν αυθαίρετες σταθερές, ενώ οι λύσεις των ΜΔΕ αφορούν αυθαίρετες συναρτήσεις. Μια λύση μιας ΜΔΕ δεν είναι γενικά [[μοναδική]]. Πρόσθετοι περιορισμοί πρέπει γενικά να καθορίζονται στα [[όρια της περιοχής]] όπου η λύση έχει οριστεί. Για παράδειγμα, στο παραπάνω απλό παράδειγμα, η συνάρτηση f (y) μπορεί να προσδιοριστεί εάν u καθορίζεται στη γραμμή χ = 0.

==Ύπαρξη και μοναδικότητα==
Αν και το ζήτημα της ύπαρξης και μοναδικότητας των λύσεων των συνήθων διαφορικών εξισώσεων έχει μια πολύ ικανοποιητική απάντηση κατά το [[Picard-Lindelöf θεώρημα]], αυτό απέχει πολύ στην περίπτωση των μερικών διαφορικών εξισώσεων. Το [[Cauchy-Kowalevski θεώρημα]] λέει ότι το [[πρόβλημα Cauchy]] για κάθε μερική διαφορική της οποίας οι συντελεστές είναι [[αναλυτικοί]] στην άγνωστη συνάρτηση και τα παράγωγά της, έχει μια τοπικά μοναδική αναλυτική λύση. Παρά το γεγονός ότι το αποτέλεσμα αυτό μπορεί να μη φαίνεται να διευθετεί την ύπαρξη και μοναδικότητα των λύσεων, υπάρχουν παραδείγματα γραμμικών μερικών διαφορικών εξισώσεων των οποίων οι συντελεστές έχουν παράγωγα όλων των ειδών (τα οποία δεν είναι, ωστόσο, αναλυτικά), αλλά τα οποία δεν έχουν λύσεις σε όλα: βλ. [[Lewy (1957)]]. Ακόμη και αν η λύση μιας μερικής διαφορικής εξίσωσης υπάρχει και είναι μοναδική, μπορεί ωστόσο να έχει ανεπιθύμητες ιδιότητες. Η μαθηματική μελέτη από αυτές τις ερωτήσεις είναι συνήθως το πιο ισχυρό πλαίσιο των [[ασθενών λύσεων]].

Ένα παράδειγμα παθολογικής συμπεριφοράς είναι η ακολουθία των προβλημάτων Cauchy (ανάλογα με n) για την [[Εξίσωση Λαπλάς]]

: <math>\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2}=0,~</math>

με [[οριακές συνθήκες]]

: <math>u(x,0) = 0,</math>
: <math> \frac{\partial u}{\partial y}(x,0) = \frac{\sin (nx)}{n},</math>

όπου το n είναι ένας ακέραιος. Το παράγωγο του u σε σχέση με το Υ προσεγγίζει το 0 ομοιόμορφα στο Χ όσο το n αυξάνει, αλλά η λύση είναι

: <math>u(x,y) = \frac{\sinh (ny) \sin (nx)}{n^2}.</math>

Η λύση αυτή προσεγγίζει το άπειρο, αν nx δεν είναι ακέραιο πολλαπλάσιο του π για οποιαδήποτε μη-μηδενική τιμή του y. Το πρόβλημα Cauchy για την εξίσωση Laplace καλείται κακώς ορισμένο ή όχι καλά τοποθετημένο,δεδομένου ότι η λύση δεν εξαρτάται πάντα από τα δεδομένα του προβλήματος. Τέτοια κακώς ορισμένα προβλήματα συνήθως δεν είναι ικανοποιητικα για φυσικές εφαρμογές.

==Σημείωση==
Στις ΜΔΕ, είναι σύνηθες να υποδηλώνονται μερικές παράγωγοι χρησιμοποιώντας δείκτες. Τέτοιες είναι:

: <math>u_x = {\partial u \over \partial x}</math>
: <math>u_{xy} = {\partial^2 u \over \partial y\, \partial x} = {\partial \over \partial y } \left({\partial u \over \partial x}\right). </math>

Ειδικά στη Φυσική, το [[ανάδελτα]] (<math>\nabla</math>) χρησιμοποιείται συχνά για χωρικές παραγώγους, και <math> \dot u\,,\ddot u\, </math>, για τα παράγωγα του χρόνου. Για παράδειγμα, η [[εξίσωση κύματος]] (που περιγράφεται πιο κάτω) μπορεί να γραφτεί ως

:<math>\ddot u=c^2\nabla^2u</math> {{pad|2em}}

ή

:<math>\ddot u=c^2\Delta u</math> {{pad|2em}}

όπου Δ είναι ο [[τελεστής Laplace]].

==Παραδείγματα==
===Η εξίσωση θερμότητας σε μία διάσταση χώρου===
{{Δείτε επίσης|Εξίσωση θερμότητας}}
Η εξίσωση για την αγωγιμότητα της θερμότητας σε μία διάσταση για ένα ομοιογενές σώμα έχει

: <math>u_t = \alpha u_{xx}</math>

όπου ''u'' ('' t'','' x'') είναι η θερμοκρασία, και το α είναι μια θετική σταθερά που περιγράφει το ρυθμό διάχυσης. Το πρόβλημα Cauchy για την εξίσωση αυτή συνίσταται στον προσδιορισμό'' u'' (0,'' Χ'') ='' f'' ('' Χ''), όπου'' f'' ('' Χ'') είναι μια αυθαίρετη λειτουργία.

Γενικές λύσεις της εξίσωσης θερμότητας μπορούν να βρεθούν με την μέθοδο του [[Διαχωρισμός μεταβλητών|διαχωρισμού των μεταβλητών]]. Μερικά παραδείγματα εμφανίζονται στο άρθρο [[εξίσωση θερμότητας]]. Αποτελούν παραδείγματα της [[Σειρά Fourier|σειράς Fourier]] για την περιοδική f και [[Μετασχηματισμός Φουριέ|μετασχηματισμοί Fourier]] για μη περιοδικές f. Χρησιμοποιώντας το μετασχηματισμό Fourier, μια γενική λύση της εξίσωσης θερμότητας έχει τη μορφή

: <math>u(t,x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty F(\xi) e^{-\alpha \xi^2 t} e^{i \xi x} d\xi, \,</math>

όπου ''F'' είναι μια αυθαίρετη συνάρτηση. Για να ικανοποιήσει τον αρχικό περιορισμό, δίνεται η  '' F'' από το μετασχηματισμό Fourier της ''f'', που είναι

: <math>F(\xi) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty f(x) e^{-i \xi x}\, dx. \,</math>

Αν η ''f'' αντιπροσωπεύει μια πολύ μικρή αλλά έντονη πηγή θερμότητας, τότε το προηγούμενο ολοκλήρωμα μπορεί να προσεγγιστεί από τη [[διανομή δέλτα]], πολλαπλασιασμένη με την ισχύ της πηγής. Για μια πηγή του οποίου η αντοχή κανονικοποιείται στο 1, το αποτέλεσμα είναι

: <math> F(\xi) = \frac{1}{\sqrt{2\pi}}, \,</math>

και το προκύπτον αποτέλεσμα της εξίσωσης θερμότητας είναι

: <math> u(t,x) = \frac{1}{2\pi} \int_{-\infty}^\infty e^{-\alpha \xi^2 t} e^{i \xi x} d\xi. \,</math>

Αυτό είναι ένα [[ολοκλήρωμα Gauss]]. Μπορεί να χρησιμοποιηθεί για να φτάσουμε στο

: <math> u(t,x) = \frac{1}{2\sqrt{\pi \alpha t}} \exp\left(-\frac{x^2}{4 \alpha t} \right). \,</math>

Το αποτέλεσμα αυτό αντιστοιχεί στην κανονική πυκνότητα πιθανότητας για'' Χ'' με μέση τιμή 0 και διακύμανση 2α'' t''. Η εξίσωση θερμότητας και παρόμοιες [[εξισώσεις διάχυσης]] είναι χρήσιμα εργαλεία για τη μελέτη τυχαίων φαινομένων.

===Η κυματική εξίσωση σε μία χωρική διάσταση===
Η [[εξίσωση κύματος]] είναι μια εξίσωση για μια άγνωστη συνάρτηση ''u'' ('' t'','' Χ'') της μορφής

: <math> u_{tt} = c^2 u_{xx}.</math>

Εδώ to '' u'' φαίνεται να μπορεί να περιγράψει την εκτόπιση μιας τεντωμένης χορδής από την ισορροπία, ή την διαφορά στην πίεση του αέρα σε ένα σωλήνα, ή το μέγεθος ενός ηλεκτρομαγνητικού πεδίου σε έναν σωλήνα, και ''c'' είναι ένας αριθμός που αντιστοιχεί στην ταχύτητα του κύματος. Το πρόβλημα Cauchy για την εξίσωση αυτή συνίσταται στο να επιβάλλεται η αρχική μετατόπιση και η ταχύτητα μιας χορδής ή σε άλλο μέσο:

: <math> u(0,x) = f(x),</math>
: <math> u_t(0,x) = g(x),</math>

όπου'' f'' και'' g'' είναι αυθαίρετα δοσμένες συναρτήσεις. Η λύση αυτού του προβλήματος δίνεται από τον [[Τύπος Ντ 'Αλαμπέρ|Ντ 'Αλαμπέρ τύπο]]:

: <math> u(t,x) = \tfrac{1}{2} \left[f(x-ct) + f(x+ct)\right] + \frac{1}{2c}\int_{x-ct}^{x+ct} g(y)\, dy.</math>

Ο τύπος αυτός συνεπάγεται ότι η λύση στο ('' t'','' Χ'') εξαρτάται μόνο από τα στοιχεία σχετικά με το τμήμα της αρχικής γραμμής που κόβεται από τις [[Χαρακτηριστική καμπύλη|χαρακτηριστικές καμπύλες]]

: <math> x - ct = \text{constant,} \quad x + ct = \text{constant},</math>

που έχουν συνταχθεί πίσω από εκείνο το σημείο. Αυτές οι καμπύλες αντιστοιχούν σε σήματα που διαδίδονται με την ταχύτητα'' c'' προς τα εμπρός και προς τα πίσω. Αντιστρόφως, η επιρροή των δεδομένων σε οποιοδήποτε δεδομένο σημείο επί της αρχικής γραμμής διαδίδεται με την πεπερασμένη ταχύτητα'' C'': δεν υπάρχει καμία επίδραση έξω από ένα τρίγωνο μέσω αυτού του σημείου του οποίου οι πλευρές είναι χαρακτηριστικές καμπύλες.Αυτή η συμπεριφορά είναι πολύ διαφορετική από τη λύση για την εξίσωση θερμότητας, όπου η επίδραση μιας [[σημειακή πηγή]]ς εμφανίζεται (με μικρό πλάτος) ακαριαία σε κάθε σημείο στο χώρο. Η λύση που δίνεται παραπάνω ισχύει επίσης εάν'' t'' <0, και η ρητή εξίσωση δείχνει ότι η λύση εξαρτάται ομαλά από τα δεδομένα: τόσο προς τα εμπρός και προς τα πίσω τα προβλήματα Cauchy για την εξίσωση κύματος είναι καλά ορισμένα.

===Γενικευμένη εξίσωση ,όπως αυτή της θερμότητας, σε χώρο μίας διάστασης===
Όπου η εξίσωση ,όπως αυτή της θερμότητας, δίνει εξισώσεις της μορφής:

:<math> \frac{\partial u}{\partial t} = \hat{H} u +f(x,t) u+g(x,t)</math>

όπου <math> \hat{H}</math> είναι ένας [[Χειριστής Sturm-Liouville]] (Ωστόσο, θα πρέπει να σημειωθεί ο χειριστής αυτός μπορεί στην πραγματικότητα να είναι της μορφής

:<math> \frac{1}{w(x)} \left(\frac{d}{dx}\left(p(x) \frac{d}{dx}\right)+q(x)\right) </math>

όπου'' w'' ('' Χ'') είναι η συνάρτηση στάθμισης ως προς τις οποίες οι eigenfunctions του <math> \hat{H} </math>  είναι ορθογώνια) στην'' Χ'' συντεταγμένη. Σύμφωνα με τις οριακές συνθήκες:

: <math>u(x,0)=h(x).</math>

Τότε:

Αν:

: <math> \hat{H} X_n = \lambda_n X_n </math>
: <math> X_n (a) = X_n (b) =0 </math>
: <math> \dot{a}_n (t) - \lambda_n a_n (t) -\sum_m (X_n f(x,t),X_m) a_m (t) = (g(x,t),X_n) </math>
: <math> a_n(0) = \frac{(h(x),X_n)}{(X_n,X_n)}  </math>
: <math> u(x,t) = \sum_{n} a_n (t) X_n(x)</math>

όπου

: <math> (f,g)=\int_a^b f(x) g(x) w(x) \, dx. </math>

=== Σφαιρικά κύματα ===
Σφαιρικά κύματα είναι τα κύματα των οποίων το πλάτος εξαρτάται μόνο από την απόσταση της ακτίνας ''r'' από μια κεντρική [[σημειακή πηγή]]. Για τέτοια κύματα, η τρισδιάστατη κυματική εξίσωση παίρνει τη μορφή

: <math>u_{tt} = c^2 \left[u_{rr} + \frac{2}{r} u_r \right].</math>

Αυτό είναι ισοδύναμο με

: <math> (ru)_{tt} = c^2 \left[(ru)_{rr} \right],</math>

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

: <math> u(t,r) = \frac{1}{r} \left[F(r-ct) + G(r+ct) \right],</math>

όπου'' F'' και'' G'' είναι εντελώς αυθαίρετες συναρτήσεις. Ακτινοβολία από μία κεραία αντιστοιχεί στην περίπτωση όπου ''G'' είναι ιδανικά μηδέν. Έτσι, η μορφή του κύματος που μεταδίδεται από μια κεραία δεν έχει καμία παραμόρφωση στο χρόνο: ο μόνος παράγοντας στρέβλωσης είναι ο 1 / ''r''. Αυτό το χαρακτηριστικό της αναλλοίωτης διάδοσης των κυμάτων δεν είναι παρούσα εάν υπάρχουν δύο χωρικές διαστάσεις.

=== Εξίσωση Laplace σε δύο διαστάσεις ===
Η [[εξίσωση Λαπλάς]] για μια άγνωστη συνάρτηση δύο μεταβλητών φ έχει τη μορφή
: <math>\varphi_{xx} + \varphi_{yy} = 0.</math>

Οι λύσεις της εξίσωσης Laplace ονομάζονται [[Αρμονική συνάρτηση|αρμονικές συναρτήσεις]] .

==== Σύνδεση με αναλυτικές συναρτήσεις ====
Οι λύσεις της εξίσωσης Laplace σε δύο διαστάσεις είναι στενά συνδεδεμένες με τις αναλυτικές συναρτήσεις μιας σύνθετης μεταβλητής (aka holomorphic functions): τα πραγματικά και φανταστικά μέρη σε κάθε αναλυτική συνάρτηση είναι συναρτήσεις '''συζυγείς  αρμονικές''' και οι δύο ικανοποιούν την εξίσωση Laplace , και οι κλίσεις τους, είναι ορθογώνιες. Αν'' f'' ='' u'' + ''iv'', τότε η [[Cauchy-Riemann εξίσωση]] αναφέρει ότι

: <math>u_x = v_y, \quad v_x = -u_y,\,</math>

και ακολουθεί ότι
: <math>u_{xx} + u_{yy} = 0, \quad v_{xx} + v_{yy}=0. \,</math>

Αντιστρόφως, δοσμένης μιας αρμονικής συνάρτησης σε δύο διαστάσεις, είναι το πραγματικό μέρος μιας αναλυτικής συνάρτησης , τουλάχιστον τοπικά. Λεπτομέρειες δίνονται στην [[εξίσωση Λαπλάς]].

==== Ένα τυπικό πρόβλημα οριακών τιμών ====
Ένα σύνηθες πρόβλημα για την εξίσωση Laplace είναι να βρεθεί μια λύση που να ικανοποιεί αυθαίρετες τιμές για τα όρια του [[Domain (μαθηματική ανάλυση)|τομέα]]. Για παράδειγμα, μπορούμε να επιδιώξουμε μια αρμονική συνάρτηση που λαμβάνει τις τιμές'' u'' (θ) σε ένα κύκλο ακτίνας ενός. Η λύση δόθηκε από τον [[Siméon Denis Poisson|Poisson]]:

: <math>\varphi(r,\theta) = \frac{1}{2\pi} \int_0^{2\pi} \frac{1-r^2}{1 +r^2 -2r\cos (\theta -\theta')} u(\theta')d\theta'.\,</math>

Ο Petrovsky (1967, σελ. 248.) δείχνει πως ο τύπος αυτός μπορεί να ληφθεί από το άθροισμα μιας [[Σειρά Fourier|σειράς Fourier]] για φ. Εάν ''r'' <1, τα παράγωγα της φ μπορούν να υπολογιστούν με τη διαφοροποίηση κάτω από το ολοκληρωτικό σύμβολο, και μπορεί κανείς να επαληθεύσει ότι η φ είναι αναλυτική, ακόμη και αν  ''u'' είναι συνεχής, αλλά όχι κατ 'ανάγκην διαφορίσιμη.Αυτή η συμπεριφορά είναι τυπική για τις λύσεις των [[ελλειπτικών μερικών διαφορικών εξισώσεων]] : οι λύσεις μπορεί να είναι πολύ πιο ομαλές από ό, τι τα δεδομένα όρια. Αυτό είναι σε αντίθεση με τις λύσεις της [[Εξίσωση κύματος|εξίσωσης κύματος]], και πιο γενικά της [[υπερβολικής μερικής διαφορικής εξίσωσης]] , οι οποίες έχουν συνήθως όχι περισσότερες [[παραγώγους]]  από τα δεδομένα.

=== Euler-Tricomi εξίσωση ===
Η [[Euler-Tricomi εξίσωση]] χρησιμοποιείται στην έρευνα της [[transonic]] ροής.

: <math>u_{xx} =xu_{yy}.</math>

=== Εξίσωση οριζόντιας μεταφοράς ===
Η [[εξίσωση αερίων μαζών]] περιγράφει τη μεταφορά μιας διατηρημένης μιας διάστασης  ψ σε ένα πεδίο ταχύτητας'' 'u''' = (''u'','' κατά'','' w''). Είναι:

: <math>\psi_t+(u\psi)_x+(v\psi)_y+(w\psi)_z=0.</math>

Εάν το πεδίο ταχύτητας είναι [[σωληνοειδείς]] (δηλαδή, ∇ ⋅'' 'u'''), τότε η εξίσωση μπορεί να απλοποιηθεί

: <math>\psi_t+u\psi_x+v\psi_y+w\psi_z=0.</math>

Στην μονοδιάστατη περίπτωση όπου ''u'' δεν είναι σταθερά και είναι ίση με ψ, η εξίσωση αναφέρεται ως [[Burgers 'εξίσωση]].

=== Ginzburg-Landau εξίσωση ===
Η [[Ginzburg-Landau εξίσωση]] χρησιμοποιείται στη μοντελοποίηση [[υπεραγωγιμότητα]]. Είναι

: <math>iu_t+pu_{xx} +q|u|^2u=i\gamma u</math>

όπου ''p'',''q'' ∈ '''C''' κΙ γ ∈ '''R''' είναι σταθερές και ''i'' είναι η φανταστική ενότητα.

=== Η εξίσωση Dym ===
Η [[Dym εξίσωση]] πήρε το όνομά της απο τον [[Χάρι Dym]] και παρουσιάζεται στη μελέτη του [[σολιτονικές]]. Είναι

: <math>u_t \, = u^3u_{xxx}.</math>

===Αξία αρχικών οριακών προβλημάτων===
Κύριο άρθρο: [[Προβλήματα συνοριακών τιμών]]

Πολλά προβλήματα της [[Μαθηματική φυσική|μαθηματικής φυσικής]] διαμορφώνονται ως αρχικά διασυνοριακά προβλήματα.

==== Παλλόμενη χορδή ====
Αν η χορδή είναι τεντωμένη μεταξύ δύο σημείων, όπου'' x'' = 0 και'' x'' ='' L'' και'' u'' δηλώνει το εύρος της μετατόπισης της χορδής, τότε το ''u'' ικανοποιεί την μονοδιάστατη κυματική εξίσωση στην περιοχή όπου 0 <'' x'' <'' L'' και'' t'' είναι απεριόριστο. Δεδομένου ότι η χορδή είναι δεμένη στα κάτω άκρα, το'' u'' πρέπει επίσης να πληροί τις οριακές συνθήκες

: <math> u(t,0)=0, \quad u(t,L)=0,</math>

καθώς και τις αρχικές συνθήκες

: <math> u(0,x)=f(x), \quad u_t(0,x)=g(x).</math>

Η μέθοδος διαχωρισμού των μεταβλητών για την εξίσωση κύματος

: <math> u_{tt} = c^2 u_{xx}, \,</math>

οδηγεί σε λύσεις της μορφής

: <math> u(t,x) = T(t) X(x),\,</math>

όπου

: <math> T'' + k^2 c^2 T=0, \quad X'' + k^2 X=0,\,</math>

όπου η σταθερά ''k'' πρέπει να ορίζεται. Οι οριακές συνθήκες τότε δηλώνουν ότι το '' Χ'' είναι πολλαπλάσιο του sin''kx'' και το'' k'' πρέπει να έχει τη μορφή

: <math> k= \frac{n\pi}{L},</math>

όπου'' n'' είναι ένας ακέραιος. Κάθε όρος του αθροίσματος αντιστοιχεί σε μια λειτουργία της δόνησης της χορδής. Ο τρόπος με'' n'' = 1 ονομάζεται  θεμελιώδης λειτουργία, και οι συχνότητες των άλλων τρόπων είναι όλα τα πολλαπλάσια αυτής της συχνότητας. Αποτελούν τη [[σειρά απόηχος]] της χορδής, και είναι η βάση για τη μουσικη-ακουστική. Οι αρχικές συνθήκες μπορεί στη συνέχεια να ικανοποιηθούν αντιπροσωπεύοντας τις '' f'' και'' g''  ως άπειρες σειρές από αυτούς τους τρόπους. Πνευστά τυπικά αντιστοιχούν σε δονήσεις μιας στήλης αέρα με ένα άκρο ανοικτό και ένα άκρο κλειστό. Οι αντίστοιχες οριακές συνθήκες είναι

: <math>X(0) =0, \quad X'(L) = 0.</math>

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

Το γενικό πρόβλημα του τύπου αυτού έχει λυθεί στη [[Sturm-Liouville θεωρία]].

==== Παλλόμενη μεμβράνη ====
Αν μια μεμβράνη απλώνεται κατά μήκος της καμπύλης'' C'', που αποτελεί το όριο ενός τομέα'' D'' στο πλάνο, οι δονήσεις της διέπονται από την εξίσωση κύματος

: <math> \frac{1}{c^2} u_{tt} = u_{xx} + u_{yy},</math>

αν ''t''>0 και (''x'',''y'') είναι στο ''D''. Η οριακή συνθήκη είναι ''u(t,x,y)'' = 0 αν ''(x,y)'' είναι στο ''C''. Η μέθοδος διαχωρισμού των μεταβλητών οδηγεί στον τύπο

: <math> u(t,x,y) = T(t) v(x,y),</math>

η οποία με τη σειρά της πρέπει να πληροί

: <math> \frac{1}{c^2}T'' +k^2 T=0,</math>
: <math> v_{xx} + v_{yy} + k^2 v =0.</math>

Η τελευταία εξίσωση ονομάζεται [[Εξίσωση Helmholtz]]. Η σταθερά ''k'' πρέπει να είναι ορισμένη να επιτρέπει σε έναν μη-τετριμμένο'' V'' να ικανοποιεί την οριακή συνθήκη για το'' C''. Αυτές οι τιμές του ''k'' <sup>2</sup> καλούνται ιδιοτιμές της Λαπλασιανής στο'' D'', και οι σχετικές λύσεις είναι οι eigenfunctions της Λαπλασιανής στο'' D''. Η Sturm-Liouville θεωρία μπορεί να επεκταθεί και σε αυτό το ελλειπτικό πρόβλημα ιδιοτιμών (Jost, 2002).

=== Άλλα παραδείγματα ===
Η [[εξίσωση Schrödinger]] είναι μια ΜΔΕ στην καρδιά της μη σχετικιστικής [[Κβαντική μηχανική|κβαντικής μηχανικής]]. Στην [[WKB προσέγγιση]] είναι η [[Hamilton-Jacobi εξίσωση]].

Εκτός από τη Dym εξίσωση και τη Ginzburg-Landau εξίσωση, οι παραπάνω εξισώσεις είναι '''γραμμικές''' με την έννοια ότι μπορούν να γραφτούν στη μορφή  ''Au'' =''f'' για ένα δοσμένο [[Γραμμικός τελεστής|γραμμικό τελεστή]] '' Α'' και μια συγκεκριμένη συνάρτηση ''f''.  Άλλες σημαντικές μη γραμμικές εξισώσεις περιλαμβάνουν τις [[εξισώσεις Navier-Stokes]], που περιγράφουν τη ροή των υγρών, και τις [[εξισώσεις πεδίου του Αϊνστάιν]] ή της [[Γενική θεωρία της σχετικότητας|γενικής σχετικότητας]].

Επίσης, δείτε το [[κατάλογος των μη γραμμικών μερικών διαφορικών εξισώσεων]].

==Ταξινόμηση==
Μερικές γραμμικές, δεύτερης τάξης μερικές διαφορικές εξισώσεις μπορούν να χαρακτηριστούν ως [[παραβολικές μερικές διαφορικές εξισώσεις]], [[υπερβολικές μερικές διαφορικές εξισώσεις]] ή [[ελλειπτικές μερικές διαφορικές εξισώσεις]]. Άλλες, όπως η [[Euler-Tricomi εξίσωση]] έχουν διαφορετικούς τύπους σε διαφορετικές περιοχές. Η ταξινόμηση παρέχει έναν οδηγό για τις κατάλληλες αρχικές και οριακές συνθήκες, και στην ομαλότητα των λύσεων.

=== Εξισώσεις πρώτης τάξης ===
{{Κύριο άρθρο|Πρώτης τάξης μερική διαφορική εξίσωση}}

=== Εξισώσεις δεύτερης τάξης ===
Υποθέτοντας ότι <math>u_{xy}=u_{yx}</math>, η γενική λύση δεύτερης τάξης ΜΔΕ σε δύο ανεξάρτητες μεταβλητές έχει τη μορφή

: <math>Au_{xx} + 2Bu_{xy} + Cu_{yy} + \cdots \mbox{(lower order terms)} = 0,</math>

όπου οι συντελεστές'' A'','' B'','' C'' κλπ. μπορεί να εξαρτάται από'' x'' και'' y''. Αν <math>A^2 +B^2 + C^2 > 0</math> γύρω από μια περιοχή του επιπέδου xy, η ΜΔΕ είναι δεύτερης τάξης σε αυτην την περιοχή. Αυτή η μορφή είναι ανάλογη με την εξίσωση για μια κωνική τομή:

: <math>Ax^2 + 2Bxy + Cy^2 + \cdots = 0.</math>

Ακριβέστερα, αντικαθιστώντας ∂<sub>''x''</sub> by ''X'',και ομοίως για τις άλλες μεταβλητές (τυπικά αυτό γίνεται με ένα [[Μετασχηματισμός Φουριέ|μετασχηματισμό Fourier]]), μετατρέπει ένα σταθερό συντελεστή-ΜΔΕ σε ένα πολυώνυμο του ίδιου βαθμού, με την μεγαλύτερο βαθμό (α [[ομογενές πολυώνυμο]], εδώ α [[τετραγωνική μορφή]]) είναι πιο σημαντικά για την κατάταξη.

Ακριβώς όπως κάποιος κατατάσσει μια [[κωνική τομή]] και τις τετραγωνικές μορφές σε παραβολικές, υπερβολικές, και ελλειπτικές με βάση τη [[διακρίνουσα]] <math>B^2 - 4AC</math>, το ίδιο μπορεί να γίνει για μια δεύτερης τάξης ΜΔΕ σε ένα δοσμένο σημείο. Ωστόσο, η [[διακρίνουσα]] σε μια ΜΔΕ δίνεται από  <math>B^2 - AC,</math> λόγω της Σύμβασης για τα'' xy'' ο όρος είναι 2'' Β'' και όχι'' B''.Επίσημα, η διακρίνουσα (για τη συνδεδεμένη τετραγωνική μορφή) είναι <math>(2B)^2 - 4AC = 4(B^2-AC),</math> με τον παράγοντα 4 που μειώθηκε για λόγους απλότητας.

# <math>B^2 - AC < 0</math>: λύσεις των [[ελλειπτικών μερικών διαφορικών εξισώσεων]] είναι τόσο ομαλές όπως οι συντελεστές επιτρέπουν, στο εσωτερικό της περιοχής, όπου η εξίσωση και λύσεις τους ορίζονται. Για παράδειγμα, οι λύσεις της εξίσωσης Laplace είναι αναλυτικές εντός του τομέα όπου αυτές ορίζονται, αλλά οι λύσεις μπορεί να υποθέσει κάποιος ότι οι τιμές ορίου δεν είναι ομαλές. Η κίνηση ενός υγρού σε υποηχητική ταχύτητα μπορεί να προσεγγιστεί με ελλειπτική ΜΔΕ, και η Euler-Tricomi εξίσωση είναι ελλειπτική, όπου '' Χ'' <0.
# <math>B^2 - AC = 0</math>:εξισώσεις που είναι [[παραβολικές μερικές διαφορικές εξισώσεις]] σε κάθε σημείο μπορεί να μετατραπούν σε μια μορφή ανάλογη προς την [[εξίσωση θερμότητας]] από μια αλλαγή των ανεξάρτητων μεταβλητών.Οι λύσεις εξομαλύνουν όσο η μετασχηματισμένη μεταβλητή του χρόνου αυξάνεται. Η Euler-Tricomi εξίσωση έχει παραβολικό τύπο στη γραμμή όπου'' Χ'' = 0.
# <math>B^2 - AC > 0 </math>:εξισώσεις που είναι [[υπερβολικές μερικές διαφορικές εξισώσεις]]  διατηρούν τυχόν ασυνέχειες των συναρτήσεων ή παράγωγα στα αρχικά δεδομένα. Ένα παράδειγμα είναι η [[εξίσωση κύματος]].Η κίνηση ενός υγρού σε υπερηχητικές ταχύτητες μπορεί να προσεγγιστεί με υπερβολικές ΜΔΕ, και η Euler-Tricomi εξίσωση είναι υπερβολική όταν'' Χ''> 0.

Εάν υπάρχουν ''n'' ανεξάρτητες μεταβλητές ''x''<sub>1</sub>, ''x''<sub>2 </sub>, ..., ''x''<sub>''n''</sub>, μια γενική γραμμική μερική διαφορική εξίσωση δεύτερης τάξης έχει τη μορφή

: <math>L u =\sum_{i=1}^n\sum_{j=1}^n a_{i,j} \frac{\partial^2 u}{\partial x_i \partial x_j} \quad \text{ plus lower-order terms} =0.</math>

Η ταξινόμηση εξαρτάται από την υπογραφή των ιδιοτιμών του συντελεστή ''a<sub>i,j</sub>''..

# Ελλειπτικές: Οι ιδιοτιμές είναι όλες μόνο θετικές ή μόνο αρνητικές.
# Παραβολικές: Οι ιδιοτιμές είναι όλες μόνο θετικές ή μόνο αρνητικές, εκτός από μία που είναι μηδέν.
# Υπερβολικές: Υπάρχει μόνο μία αρνητική ιδιοτιμή και όλες οι υπόλοιπες είναι θετικές, ή υπάρχει μόνο μία θετική ιδιοτιμή και όλες οι υπόλοιπες είναι αρνητικές.
# Ultrahyperbolic: Υπάρχουν περισσότερες από μία θετικές ιδιοτιμές και περισσότερες από μία αρνητικές ιδιοτιμές, και δεν υπάρχουν μηδενικές ιδιοτιμές. Υπάρχει μόνο περιορισμένη θεωρία για ultrahyperbolic εξισώσεις (Courant και Hilbert, 1962).

=== Συστήματα εξισώσεων πρώτης τάξεως και χαρακτηριστικές επιφάνειες ===
Η κατάταξη των μερικών διαφορικών εξισώσεων μπορεί να επεκταθεί σε συστήματα εξισώσεων πρώτης τάξης, όπου το άγνωστο'' u'' είναι τώρα ένα διάνυσμα με ''m'' συστατικά, και τις μήτρες συντελεστή'' Α'' <sub>ν</sub> είναι'' m'' κατά'' m'' μήτρες για ν = 1, ...,'' n''. Η μερική διαφορική εξίσωση παίρνει τη μορφή

: <math>Lu = \sum_{\nu=1}^{n} A_\nu \frac{\partial u}{\partial x_\nu} + B=0,</math>

όπου οι πίνακες συντελεστών'' Α'' <sub>ν</sub>  και το διάνυσμα'' B'' μπορεί να εξαρτάται από'' Χ'' και'' u''. Εάν ένας hypersurface'' S'' δίνεται στην έμμεση μορφή

: <math>\varphi(x_1, x_2, \ldots, x_n)=0, \,</math>

όπου φ έχει μια μη μηδενική κλίση, έτσι '''S''' είναι '''χαρακτηριστική επιφάνεια''' A για τον χειριστή  '''L''' σε ένα δεδομένο σημείο, εάν η χαρακτηριστική μορφή εξαφανίζεται:

: <math>Q\left(\frac{\partial\varphi}{\partial x_1}, \ldots,\frac{\partial\varphi}{\partial x_n}\right) =\det\left[\sum_{\nu=1}^nA_\nu \frac{\partial \varphi}{\partial x_\nu}\right]=0.\,</math>

Η γεωμετρική ερμηνεία αυτής της κατάστασης είναι ως εξής: αν τα δεδομένα για το '' u'' προδιαγράφονται στην επιφάνεια'' S'', τότε μπορεί να είναι δυνατό να καθοριστεί η κανονική παράγωγος του'' u'' στην '' S '' από την διαφορική εξίσωση. Εάν τα στοιχεία για την '' S'' και η διαφορική εξίσωση καθορίζει την κανονική παράγωγο της ''u'' στην '' S'', τότε '' S'' δεν είναι χαρακτηριστική. Εάν τα δεδομένα για την '' S'' και η διαφορική εξίσωση ''δεν''  καθορίζουν την κανονική παράγωγο του '' u'' για την '' S'', τότε η επιφάνεια είναι'' 'χαρακτηριστική''', και η διαφορική εξίσωση περιορίζει τα δεδομένα στην '' S'': η διαφορική εξίσωση είναι'' εσωτερική'' στην '' S''.

# Ένα πρώτης τάξης σύστημα'' Lu'' = 0 είναι ''ελλειπτικό'' αν δεν υπάρχει επιφάνεια  χαρακτηριστική για'' L'': οι τιμές του ''u'' στην '' S'' και η διαφορική εξίσωση καθορίζουν  πάντα την κανονική παράγωγο της ''u'' στην ''S''.
# Ένα πρώτης τάξης σύστημα είναι'' υπερβολικό'' σε ένα σημείο, αν υπάρχει '''χώρος-όπως''' μια επιφάνεια ''S'' με φυσιολογικό ξ σε εκείνο το σημείο. Αυτό σημαίνει ότι, δοσμένου ενός μη τετριμμέου φορέα η, ορθογώνιο προς ξ, και ένα πολλαπλασιαστή λ μονοδιάστατη, η εξίσωση

::<math> Q(\lambda \xi + \eta) =0,</math>

έχει'' m'' πραγματικές ρίζες λ <sub>1</sub>, λ<sub>2</sub>, ..., λ<sub>''m''</sub>. Το σύστημα είναι '''αυστηρά υπερβολικό''' αν οι ρίζες αυτές είναι πάντα ξεχωριστές. Η γεωμετρική ερμηνεία αυτής της συνθήκης είναι η εξής: η χαρακτηριστική μορφή'' Q'' (ζ) = 0 ορίζει έναν κώνο (ο κανονικός κώνος) με ομογενείς συντεταγμένες ζ.Στην υπερβολική περίπτωση , αυτό κώνος έχει'' m'' φύλλα, και ο άξονας ζ = λ ξ τρέχει μέσα σε αυτά τα φύλλα: δεν τέμνει καμία από αυτές. Αλλά όταν μετατοπίζεται από την θέση του η, ο άξονας αυτός τέμνει κάθε φύλλο. Στην ελλειπτική περίπτωση , ο κανονικός κώνος δεν έχει κανένα πραγματικό φύλλο.

=== Εξισώσεις μικτού τύπου ===
Εάν μια ΜΔΕ έχει συντελεστές που δεν είναι σταθεροί, είναι δυνατόν ότι αυτοί δεν θα ανήκουν σε κάποια από αυτές τις κατηγορίες, αλλά μάλλον θα είναι '''μικτού τύπου'''. Ένα απλό αλλά σημαντικό παράδειγμα είναι η Euler-Tricomi εξίσωση

: <math>u_{xx} \, = xu_{yy},</math>

η οποία καλείται '''ελλειπτικά-υπερβολική''' επειδή είναι ελλειπτική στην περιοχή'' Χ'' <0, υπερβολική στην περιοχή'' Χ''> 0, και εκφυλισμένη παραβολική στη γραμμή'' Χ'' = 0.

=== Άπειρης τάξης ΜΔΕ στην κβαντομηχανική ===
Η [[Weyl κβαντοποίηση]] στο χώρο των φάσεων οδηγεί στις [[quantum Χάμιλτον εξισώσεις]] για τις τροχιές των κβαντικών σωματιδίων. Αυτές οι εξισώσεις είναι άπειρης τάξης ΜΔΕ. Ωστόσο, στην  ημικλασσική επέκταση έχει ένα πεπερασμένο σύστημα εξισώσεων σε οποιαδήποτε σταθερή διάταξη <math>\hbar</math>.Η εξίσωση της εξέλιξης της [[συνάρτησης Wigner]] είναι άπειρης τάξης ΜΔΕ επίσης. Οι  κβαντικές τροχιές είναι [[χαρακτηριστικά κβαντικές]] με τη χρήση του οποίου μπορεί κανείς να υπολογίσει την εξέλιξη της συνάρτησης Wigner.

== Αναλυτικές μέθοδοι για την επίλυση ΜΔΕ ==

=== Χωρισμός των μεταβλητών ===
Κύριο άρθρο [[Διαχωριστική μερική διαφορική εξίσωση]]
Οι γραμμικές ΜΔΕ μπορούν να ελλατωθούν σε συστήματα συνήθων διαφορικών εξισώσεων με την σημαντική τεχνική του διαχωρισμού των μεταβλητών.Η λογική αυτής της τεχνικής μπορεί να προκαλέσει σύγχυση με την πρώτη ματιά, αλλά στηρίζεται στη μοναδικότητα των λύσεων διαφορικών εξισώσεων: Όπως και με διαφορικές εξισώσεις, αν μπορεί κανείς να βρει οποιαδήποτε λύση που λύνει την εξίσωση και να ικανοποιεί τις συνοριακές συνθήκες, τότε αυτή είναι η λύση. Θεωρούμε ως [[συνάρτηση]] ότι η εξάρτηση της λύσης σε χώρο και χρόνο μπορεί να γραφτεί ως προϊόν των όρων που ο καθένας εξαρτάται από μία μόνο συντεταγμένη, και στη συνέχεια να δούμε εάν και πώς αυτό μπορεί να γίνει για την επίλυση του προβλήματος.

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

Αυτό είναι δυνατό για απλές ΜΔΕ, οι οποίες ονομάζονται [[διαχωρίσιμες μερικές διαφορικές εξισώσεις]] , και ο τομέας είναι γενικά ένα ορθογώνιο (ένα προϊόν των διαστημάτων). Διαχωρίσιμες ΜΔΕ αντιστοιχούν σε [[διαγώνιες μήτρες]] - λαμβάνοντας υπόψην  "την αξία της σταθεράς'' Χ'' " ως συντεταγμένη, κάθε συντεταγμένη μπορεί να κατανοηθεί ξεχωριστά.

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

=== Μέθοδος των χαρακτηριστικών ===
{{Κύριο άρθρο|Μέθοδος των χαρακτηριστικών}}

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

Γενικότερα, μπορεί κανείς να βρει χαρακτηριστικές επιφάνειες.

===Αρχικός Μετασχηματισμός ===
Ένας [[αρχικός μετασχηματισμός]] δύναται να μετατρέψει την ΜΔΕ σε μια  απλούστερη, ιδιαίτερα σε μια διαχωρίσιμη ΜΔΕ. Αυτό αντιστοιχεί στο "diagonalizing" ένα χειριστή.

Ένα σημαντικό παράδειγμα είναι η [[Ανάλυση Fourier]], η οποία diagonalizes την εξίσωση θερμότητας με χρήση του [[eigenbasis]] ημιτονοειδών κυμάτων.

Αν ο τομέας είναι πεπερασμένος ή περιοδικός, ένα άπειρο άθροισμα των λύσεων, όπως η [[σειρά Fourier]] είναι κατάλληλο, αλλά αποτελεί την αρχική των λύσεων όπως η [[Fourier αρχική]]  απαιτούνται κατά κανόνα για άπειρους τομείς. Η λύση για μια σημείακή πηγή για την εξίσωση θερμότητας έχει δοθεί παραπάνω και είναι ένα παράδειγμα για τη χρήση μιας αρχικής Fourier .

=== Αλλαγή των μεταβλητών ===

Συχνά μια ΜΔΕ μπορεί να ελλατωθεί σε μια απλούστερη μορφή με μια γνωστή λύση από μια κατάλληλη [[αλλαγή μεταβλητών]]. Για παράδειγμα, η [[Black-Scholes]] ΜΔΕ

:<math> \frac{\partial V}{\partial t} + \frac{1}{2}\sigma^2 S^2\frac{\partial^2 V}{\partial S^2} + rS\frac{\partial V}{\partial S} - rV = 0 </math>

μπορεί να αναχθεί στην [[εξίσωση θερμότητας]]

:<math> \frac{\partial u}{\partial \tau} = \frac{\partial^2 u}{\partial x^2}</math>

με την αλλαγή των μεταβλητών (για τις πλήρεις λεπτομέρειες βλέπε [https://web.archive.org/web/20080411030405/http://www.math.unl.edu/~sdunbar1/Teaching/MathematicalFinance/Lessons/BlackScholes/Solution/solution.shtml Solution of the Black Scholes Equation])

:<math> V(S,t) = K v(x,\tau)</math>
:<math> x = \ln\left(\tfrac{S}{K} \right) </math>
:<math> \tau = \tfrac{1}{2} \sigma^2 (T - t)  </math>
:<math> v(x,\tau)=\exp(-\alpha x-\beta\tau) u(x,\tau).</math>

=== Θεμελιώδης λύση ===
{{Κύριο άρθρο|Θεμελιώδης λύση}}

Ανομοιογενείς εξισώσεις μπορούν συχνά να επιλυθούν (για σταθερούς συντελεστές ΜΔΕ, πάντα λύνονται) με την εύρεση της [[θεμελιώδη λύση|θεμελιώδους λύσης]] (η λύση για μια σημειακή πηγή), στη συνέχεια, λαμβάνοντας τη [[συνέλιξη]] με τις οριακές συνθήκες για να πάρει τη λύση.

Αυτό είναι ανάλογο με την [[επεξεργασία σήματος]] για την κατανόηση ενός φίλτρου από την [[κρουστική απόκριση]].

=== Αρχή της επαλληλίας ===
Επειδή κάθε [[αρχή της επαλληλίας|επαλληλίας]] λύσεων μιας γραμμικής, ομογενούς ΜΔΕ είναι και πάλι μια λύση, οι ιδιαίτερες λύσεις που μπορεί στη συνέχεια να συνδυάζονται για να βρεθούν περισσότερες γενικές λύσεις.

=== Μέθοδοι για μη γραμμικές εξισώσεις ===
:'' Δείτε επίσης τη λίστα των [[μη γραμμικών μερικών διαφορικών εξισώσεων]]''.

Δεν υπάρχουν γενικά εφαρμόσιμες μέθοδοι για την επίλυση μη γραμμικών ΜΔΕ. Παρόλα αυτά, η ύπαρξη και η μοναδικότητα των λύσεων φέρει αποτελέσματα (όπως το [[Cauchy-Kowalevski θεώρημα]]) που είναι συχνά δυνατό , όπως και οι αποδείξεις από σημαντικές ποιοτικές και ποσοτικές ιδιότητες των λύσεων (το να έχουμε τα αποτελέσματα αυτά είναι ένα σημαντικό μέρος της [[μαθηματική ανάλυσης|Ανάλυση]] ).Η υπολογιστική επίλυση των μη γραμμικών ΜΔΕ, η [[split-βήμα μέθοδος]], υπάρχει για συγκεκριμένες εξισώσεις, όπως η [[μη γραμμική εξίσωση Schrödinger]].

Παρ 'όλα αυτά, υπάρχουν ορισμένες τεχνικές που μπορούν να χρησιμοποιηθούν για διάφορους τύπους των εξισώσεων. Η [[h-αρχή]] είναι η πιο ισχυρή μέθοδος για την επίλυση [[υποορισμένου σύστημα|υποτιμάται]] εξισώσεις. Η [[Riquier-Janet θεωρία]] είναι μια αποτελεσματική μέθοδος για την απόκτηση πληροφοριών σχετικά με πολλά αναλυτικά [[υπερορισμένα]] συστήματα.

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

Σε ορισμένες περιπτώσεις, μια ΜΔΕ μπορεί να λυθεί μέσω της [[Ανάλυσης όχλησης]], στην οποία το διάλυμα θεωρείται ότι είναι μια διόρθωση σε μια εξίσωση με μία γνωστή λύση. Εναλλακτικές λύσεις είναι τεχνικές [[Αριθμητική Ανάλυσης]] από την απλή [[διαφορά πεπερασμένων]] συστημάτων στην πιο ώριμη [[multigrid]] και [[πεπερασμένων στοιχείων μεθόδους]]. Πολλά ενδιαφέροντα προβλήματα στον τομέα της επιστήμης και της μηχανικής λύνονται με αυτό τον τρόπο τη χρήση [[υπολογιστών]], μερικές φορές με την υψηλή απόδοση [[υπερυπολογιστών]] .

=== Μέθοδο ομάδα Lie ===
Από το 1870 το έργο του [[Sophus Lie]] έθεσε τη θεωρία των διαφορικών εξισώσεων σε μια πιο ικανοποιητική βάση. Έδειξε ότι οι θεωρίες του να βρίσκεις αρχικές των ηλικιωμένων μαθηματικών μπορούν, με την εισαγωγή του τι είναι σήμερα και ονομάζονται [[ομάδες Lies]] να αναφέρεται σε μια κοινή πηγή. Και ότι οι συνήθεις διαφορικές εξισώσεις που παραδέχονται το ίδιο για τους [[απειροελάχιστους μετασχηματισμούς]] να παρουσιάζουν παρόμοιες δυσκολίες ένταξης. Τόνισε, επίσης, το θέμα των [[μετασχηματισμών επαφής]].

Μια γενική προσέγγιση για την επίλυση των ΜΔΕ χρησιμοποιεί την ιδιότητα συμμετρίας των διαφορικών εξισώσεων,τους συνεχείς [[απειροελάχιστους μετασχηματισμούς]] των λύσεων σε λύσεις ([[θεωρία Lie]]).Η sυνεχής [[Θεωρία Ομάδων]],οι [[άλγεβρες Lie]] και η [[διαφορική γεωμετρία]] χρησιμοποιούνται για να κατανοηθούν η δομή των γραμμικών και μη γραμμικών μερικών διαφορικών εξισώσεων για τη δημιουργία αρχικών εξισώσεων, ώστε να βρουν τα [[ζεύγη Lax]] , την αναδρομή των φορέων,τους  [[BACKLUND μετασχηματισμούς]] και, τέλος, να βρεθούν οι ακριβείς αναλυτικές λύσεις για τις ΜΔΕ.

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

=== Ημιαναλυτικοί μέθοδοι ===
Η [[adomian μέθοδος αποσύνθεσης]], η [[Αλεξάντρ Lyapunov]] τεχνητή μικρή μέθοδος παραμέτρων, και αυτός είναι [[homotopy διατάραξης της μεθόδου]] είναι όλες ειδικές περιπτώσεις της γενικότερης [[homotopy μεθόδου ανάλυσης]]. Αυτές είναι οι μέθοδοι επέκτασης σειρών, και εκτός από τη μέθοδο Lyapunov, είναι ανεξάρτητες από τις μικρές φυσικές παραμέτρους σε σύγκριση με τη γνωστή [[θεωρία διαταραχών]], δίνοντας έτσι αυτές οι μέθοδοι μεγαλύτερη ευελιξία και γενικότητα στη λύση.

== Αριθμητικές μέθοδοι για την επίλυση ΜΔΕ ==
Τα τρία πιο ευρέως χρησιμοποιούμενες αριθμητικές μέθοδοι για την επίλυση ΜΔΕ είναι η [[μέθοδος πεπερασμένων στοιχείων]] (ΜΠΣ), οι [[μέθοδοι πεπερασμένων όγκων]]  (ΜΠΟ) και [[μέθοδοι πεπερασμένων διαφορών]]  (ΜΠΔ) . Η ΜΠΣ έχει μια εξέχουσα θέση μεταξύ αυτών των μεθόδων και ιδιαίτερα  στη εξαιρετικά αποτελεσματική  ανώτερη τάξη version [[hp-FEM]]. Άλλες εκδόσεις του ΜΠΣ περιλαμβάνουν τη γενικευμένη μέθοδο των πεπερασμένων στοιχείων (ΓΜΠΣ), [[εκτεταμένη μέθοδο πεπερασμένων στοιχείων]] (ΕΜΠΣ),τη [[φασματική μέθοδο πεπερασμένων στοιχείων]] (ΦΜΠΣ), [[meshfree πεπερασμένων στοιχείων μέθοδο]], [[ασυνεχείς Galerkin μέθοδο πεπερασμένων στοιχείων]] (ΑGΜΠΣ), [[Element-Free μέθοδος Galerkin]] (EFGM), [[Παρεμβολή Element-Free μέθοδος Galerkin]] (IEFGM), κλπ.

===Μέθοδος πεπερασμένων στοιχείων ===
{{Κύριο άρθρο|Μέθοδος πεπερασμένων στοιχείων}}
Η μέθοδος των πεπερασμένων στοιχείων (ΜΠΣ) (η πρακτική εφαρμογή της, συχνά γνωστή ως ανάλυση πεπερασμένων στοιχείων (ΑΠΣ)) είναι μια αριθμητική τεχνική για την εύρεση προσεγγιστικών λύσεων των μερικών διαφορικών εξισώσεων (ΜΔΕ), καθώς και των ολοκληρωτικών εξισώσεων.  Η προσεγγιστική λύση βασίζεται είτε στην εξάλειψη της διαφορικής εξίσωσης πλήρως (σταθερά προβλήματα-κατάσταση), ή καθιστώντας τη ΜΔΕ σε ένα προσεγγιστικό σύστημα συνήθων διαφορικών εξισώσεων, τα οποία στη συνέχεια ενσωματώνονται αριθμητικά χρησιμοποιώντας πρότυπες τεχνικές όπως η μέθοδος του Euler, Runge-Kutta, κλπ.

=== Μέθοδος των πεπερασμένων διαφορών ===
{{Κύριο άρθρο|Μέθοδος των πεπερασμένων διαφορών}}
Μέθοδοι πεπερασμένων διαφορών είναι αριθμητικές μέθοδοι για την προσέγγιση των λύσεων εξισώσεων διαφοράς με χρήση εξισώσεων πεπερασμένων διαφορών για την προσέγγιση παραγώγων.

=== Μέθοδος των πεπερασμένων όγκων ===
{{Κύριο άρθρο|Μέθοδος των πεπερασμένων όγκων}}
Παρόμοια με τη μέθοδο των πεπερασμένων διαφορών ή τη μέθοδο των πεπερασμένων στοιχείων, οι τιμές υπολογίζονται σε διακριτές θέσεις με το "μάτι" γεωμετρία. "Ο όγκος Πεπερασμένων" αναφέρεται στο μικρό όγκο που περιβάλλει κάθε κόμβο σημείο σε ένα πλέγμα. Στη μέθοδο των πεπερασμένων όγκων, τα επιφανειακά ολοκληρώματα σε μια μερική διαφορική εξίσωση που περιέχουν έναν όρο απόκλιση μετατρέπονται σε ολοκληρώματα όγκου, χρησιμοποιώντας το θεώρημα απόκλισης. Αυτοί οι όροι στη συνέχεια αξιολογήθηκαν ως συλλιπάσματα στις επιφάνειες τους σε κάθε πεπερασμένο όγκο. Επειδή η ροή εισέρχεται σε δεδομένη ο όγκος είναι ταυτόσημος με εκείνες αφήνοντας το παρακείμενο όγκο, αυτές οι μέθοδοι είναι συντηρητικές.

== Δείτε επίσης ==
* [[Πρόβλημα συνοριακών τιμών]]
* [[Εξίσωση διαφορά]]
* [[Μετασχηματισμός Laplace εφαρμόζεται σε διαφορικές εξισώσεις]]
* [[Κατάλογος των δυναμικών συστημάτων και των διαφορικών εξισώσεων θέματα]]
* [[Matrix διαφορική εξίσωση]]
* [[Συνήθης διαφορική εξίσωση]]
* [[Μερική διαφορική εξίσωση αλγεβρικό]]
* [[Χωρισμός των μεταβλητών]]
* [[Στοχαστικές διαφορικές εξισώσεις]]
* [[Αριθμητική μερικών διαφορικών εξισώσεων]]
* [[Στοχαστικές διαδικασίες και τα προβλήματα συνοριακών τιμών]]
* [[Dirichlet οριακή συνθήκη]]
* [[Neumann όριο κατάσταση]]
* [[Robin όριο κατάσταση]]
* [[Waves]]

== Παραπομπές ==
* {{Cite book | title = Επίλυση προβλημάτων Frontier Φυσικής: Η μέθοδος αποσύνθεσης
| Πρώτη = Γ. | τελευταία = Adomian | εκδότης = Kluwer Academic Publishers | year = 1994 | isbn = | page =}}
* {{Citation | first = R. | Τελευταία = Courant | lastauthoramp = yes | first2 = D. | Last2 = Hilbert | title = Μέθοδοι Μαθηματικής Φυσικής | = όγκος II | publisher = Wiley-Interscience | τοποθεσία = New York | year = 1962}}.
* {{Citation | authorlink = Lawrence C. Evans | first = L. Γ. | τελευταία = Evans | title = Μερικές Διαφορικές Εξισώσεις | εκδότης = American Mathematical Society | τοποθεσία = Providence | year = 1998 | ISBN 0-8218-0772-2 =}}.
* {{Citation | first = Nail Η | τελευταία = Ibragimov | title = CRC Handbook of Analysis ομάδας Lie των Διαφορικές Εξισώσεις Vol. 1-3 | publisher = CRC-Press | τοποθεσία = Providence | year = 1993 | ISBN 0-8493-4488-3 =}}.
* {{Citation | authorlink = Fritz John | first = F. | Τελευταία = John | title = Μερικές Διαφορικές Εξισώσεις | τοποθεσία = New York | publisher = Springer-Verlag | year = 1982 | έκδοση = 4 | isbn = 0-387-90609-6 | url-access = registration | url = https://archive.org/details/partialdifferent00john_0 }}.
* {{Citation | first = J. | Τελευταία = Jost | title = Μερικές Διαφορικές Εξισώσεις | publisher = Springer-Verlag | τοποθεσία = New York | year = 2002 | isbn = 0-387-95428-7}}.
* {{Citation | first = Hans | τελευταία = Lewy | year = 1957 | title = Ένα παράδειγμα μιας ομαλής γραμμικών μερικών διαφορικών εξισώσεων χωρίς λύση | = περιοδικό Annals των Μαθηματικών. Δεύτερη Series | όγκος = 66 | θέμα = 1 | pages = 155-158 | doi =}}.
* {{Citation | τελευταία = Liao | first = S.J. | Title = Πέρα όχλησης: Εισαγωγή στην homotopy Μέθοδο Ανάλυσης | εκδότης = Chapman & Hall / CRC Press | τοποθεσία = Boca Raton | year = 2003 | isbn = 1-58488-407-X}}
* {{Citation | first = Ρ. | Τελευταία = Olver | year = 1995 | title = Ισοδυναμία, Invariants και Symmetry | εκδότης = Cambridge Press}}.
* {{Citation | authorlink = Ivan Petrovsky | first = I. Γ. | τελευταία = PETROVSKII | title = Μερικές Διαφορικές Εξισώσεις | εκδότης = W. Β. Saunders ΣΙΑ | τοποθεσία = Φιλαδέλφεια | year = 1967}}.
* {{Citation | first = Y. | Τελευταία = Pinchover | lastauthoramp = yes | first2 = J. | Last2 = Rubinstein | title = Εισαγωγή στις Μερικές Διαφορικές Εξισώσεις | εκδότης = Cambridge University Press | τοποθεσία = New York | year = 2005 | isbn = 0-521-84886-5}}.
* {{Citation | first = A. Δ. | τελευταία = Polyanin | title = Εγχειρίδιο της Γραμμικής Μερικές Διαφορικές Εξισώσεις για Μηχανικούς και Επιστήμονες | εκδότης = Chapman & Hall / CRC Press | τοποθεσία = Boca Raton | year = 2002 | ISBN 1-58488-299-9 =}}.
* {{Citation | first = A. Δ. | τελευταία = Polyanin | lastauthoramp = yes | first2 = V. Φ. | last2 = Zaitsev | title = Handbook of μη Γραμμικές Μερικές Διαφορικές Εξισώσεις | εκδότης = Chapman & Hall / CRC Press | τοποθεσία = Boca Raton | year = 2004 | ISBN 1-58488-355-3 =}}.
* {{Citation | first = A. Δ. | τελευταία = Polyanin | first2 = V. Φ. | last2 = Zaitsev | lastauthoramp = yes | first3 = A. | Last3 = Moussiaux | title = Εγχειρίδιο πρώτης τάξης Μερικές Διαφορικές Εξισώσεις | εκδότης = Taylor & Francis | τοποθεσία = London | year = 2002 | isbn = 0,-415-27267-X}}.
* {{Citation | first = P. | Τελευταία = Solin | title = Μερικές Διαφορικές Εξισώσεις και μέθοδο των πεπερασμένων στοιχείων | εκδότης = J. Wiley & Sons | τοποθεσία = Hoboken, NJ | year = 2005 | isbn = 0-471-72070-4}}.
* {{Citation | first = P. | Τελευταία = Solin | first2 = K. | Last2 = Segeth | lastauthoramp = yes | first3 = I. | Last3 = Doležel | title = υψηλότερης τάξης Πεπερασμένα Στοιχεία | εκδότης = Chapman & Hall / CRC Press | τοποθεσία = Boca Raton | year = 2003 | isbn = 1-58488-438-X}}.
* {{Citation | first = H. | Τελευταία = Στεφάνι | year = 1989 | title = Διαφορικές Εξισώσεις: Λύση Χρησιμοποιώντας τους συμμετρίες. Επιμέλεια: Μ. MacCallum | εκδότης = Cambridge University Press}}.
* {{Cite book | title = Μερικές Διαφορικές Εξισώσεις και Solitary Θεωρία Κύματα
| Πρώτη = Abdul-Majid | τελευταία = Wazwaz | εκδότης = Τριτοβάθμιας Εκπαίδευσης Press | year = 2009 | isbn = 90-5809-369-7 | page =}}
* {{Citation | first = D. | Τελευταία = Zwillinger | title = Handbook of Διαφορικές Εξισώσεις | εκδότης = Academic Press | τοποθεσία = Boston | year = 1997 | έκδοση = 3ο | isbn = 0-12-784395-7}}.
* {{Citation | authorlink = Neil Gershenfeld | first = N. | Τελευταία = Gershenfeld | title = Η φύση της Μαθηματικής Μοντελοποίησης | τοποθεσία = New York | εκδότης = Cambridge University Press, New York, NY, Ηνωμένες Πολιτείες της Αμερικής | year = 1999 | έκδοση = 1 | isbn = 0-521-57095-6}} .

== Εξωτερικοί σύνδεσμοι ==
{{Commonscat}}
{{Wikibooks | Μερικές Διαφορικές Εξισώσεις}}
* [Http://eqworld.ipmnet.ru/en/pde-en.htm Μερικές Διαφορικές Εξισώσεις: Ακριβής Λύσεις] στο EqWorld: Ο κόσμος των μαθηματικών εξισώσεων.
* [Http://eqworld.ipmnet.ru/en/solutions/eqindex/eqindex-pde.htm Μερικές Διαφορικές Εξισώσεις: Index] στο EqWorld: Ο κόσμος των μαθηματικών εξισώσεων.
* [Http://eqworld.ipmnet.ru/en/methods/meth-pde.htm Μερικές Διαφορικές Εξισώσεις: Μέθοδοι] στο EqWorld: Ο κόσμος των μαθηματικών εξισώσεων.
* [https://web.archive.org/web/20170701144823/http://www.exampleproblems.com/wiki/index.php?title=Partial_Differential_Equations παράδειγμα προβλήματα με τις λύσεις] στο exampleproblems.com
* [Http://mathworld.wolfram.com/PartialDifferentialEquation.html Μερικές Διαφορικές Εξισώσεις] στο mathworld.wolfram.com
* [https://web.archive.org/web/20200306002923/https://www.nag.com/numeric/fl/nagdoc_fl24/html/d03/d03intro.html Μερικές Διαφορικές Εξισώσεις] στο nag.com
* [https://web.archive.org/web/20070425131659/http://tosio.math.toronto.edu/wiki/index.php/Main_Page διασποράς PDE Wiki]
* [Http://www.primat.mephi.ru/wiki/ NEQwiki, η μη γραμμικές εξισώσεις εγκυκλοπαίδεια] {{Webarchive|url=https://web.archive.org/web/20181212023755/https://primat.mephi.ru/wiki/ |date=2018-12-12 }}

[[Κατηγορία:Μερικές διαφορικές εξισώσεις| ]]
[[Κατηγορία:Μαθηματική φυσική]]