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

1. Γραμμικές ομοιογενείς διαφορικές εξισώσεις

δεύτερης τάξης με σταθερούς συντελεστές

Θεωρήστε την εξίσωση

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

γράφουμε αυτή την εξίσωση στη μορφή

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

Διαφοροποιώντας αυτή τη συνάρτηση δύο φορές και αντικαθιστώντας τις εκφράσεις στην Εξ. (59), λαμβάνουμε

Αφού, λοιπόν, μειώνοντας κατά παίρνουμε την εξίσωση

Από αυτή την εξίσωση, προσδιορίζονται εκείνες οι τιμές του k για τις οποίες η συνάρτηση θα είναι λύση στην εξίσωση (59).

Η αλγεβρική εξίσωση (61) για τον προσδιορισμό του συντελεστή k ονομάζεται χαρακτηριστική εξίσωση της δεδομένης διαφορικής εξίσωσης (59).

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

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

1. Οι ρίζες της χαρακτηριστικής εξίσωσης είναι πραγματικές και διαφορετικές: . Στην περίπτωση αυτή, σύμφωνα με τον τύπο (60), βρίσκουμε δύο συγκεκριμένες λύσεις:

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

Επομένως, η γενική λύση της εξίσωσης σύμφωνα με τον τύπο (48) έχει τη μορφή

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

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

Πρώτα από όλα, ελέγχουμε ότι η συνάρτηση είναι λύση της Εξ. (59). Πραγματικά,

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

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

Έτσι, στην περίπτωση αυτή η γενική λύση της ομογενούς γραμμικής εξίσωσης έχει τη μορφή

3. Οι ρίζες της χαρακτηριστικής εξίσωσης είναι μιγαδικές. Όπως γνωρίζετε, οι μιγαδικές ρίζες μιας τετραγωνικής εξίσωσης με πραγματικούς συντελεστές είναι συζυγείς μιγαδικοί αριθμοί, δηλαδή έχουν τη μορφή: . Στην περίπτωση αυτή, συγκεκριμένες λύσεις της εξίσωσης (59), σύμφωνα με τον τύπο (60), θα έχουν τη μορφή:

Χρησιμοποιώντας τους τύπους Euler (βλ. Κεφ. XI, § 5 σελ. 3), οι εκφράσεις για μπορούν να γραφτούν με τη μορφή:

Αυτές οι λύσεις είναι πολύπλοκες. Για να λάβετε πραγματικές λύσεις, εξετάστε τις νέες λειτουργίες

Είναι γραμμικοί συνδυασμοί λύσεων και, επομένως, είναι οι ίδιες λύσεις της εξίσωσης (59) (βλ. § 3, στοιχείο 2, θεώρημα 1).

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

Έτσι, η γενική λύση μιας ομοιογενούς γραμμικής διαφορικής εξίσωσης στην περίπτωση μιγαδικών ριζών της χαρακτηριστικής εξίσωσης έχει τη μορφή

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

Διαφορικές εξισώσεις 2ης τάξης

§ένας. Μέθοδοι για τη μείωση της τάξης μιας εξίσωσης.

Η διαφορική εξίσωση 2ης τάξης έχει τη μορφή:

https://pandia.ru/text/78/516/images/image002_107.gif" width="19" height="25 src=">.gif" width="119" height="25 src="> ( ή Διαφορική" href="/text/category/differentcial/" rel="bookmark">διαφορική εξίσωση 2ης τάξης). Πρόβλημα Cauchy για διαφορική εξίσωση 2ης τάξης (1..gif" width="85" height= "25 src= ">.gif" width="85" height="25 src=">.gif" height="25 src=">.

Αφήστε τη διαφορική εξίσωση 2ης τάξης να μοιάζει με αυτό: https://pandia.ru/text/78/516/images/image009_41.gif" height="25 src=">..gif" width="39" height=" 25 src=">.gif" width="265" height="28 src=">.

Έτσι, η εξίσωση 2ης τάξης https://pandia.ru/text/78/516/images/image015_28.gif" width="34" height="25 src=">.gif" width="118" height =" 25 src=">.gif" width="117" height="25 src=">.gif" width="34" height="25 src=">. Λύνοντάς το, λαμβάνουμε το γενικό ολοκλήρωμα της αρχικής διαφορικής εξίσωσης, ανάλογα με δύο αυθαίρετες σταθερές: https://pandia.ru/text/78/516/images/image020_23.gif" width="95" height="25 src =">. gif" width="76" height="25 src=">.

Λύση.

Δεδομένου ότι δεν υπάρχει ρητό επιχείρημα στην αρχική εξίσωση https://pandia.ru/text/78/516/images/image011_39.gif" height="25 src=">.gif" width="35" height="25 src=">..gif" width="35" height="25 src=">.gif" width="82" height="38 src="> ..gif" width="99" height="38 src=">.

Από https://pandia.ru/text/78/516/images/image029_18.gif" width="85" height="25 src=">.gif" width="42" height="38 src= "> .gif" width="34" height="25 src=">.gif" width="68" height="35 src=">..gif" height="25 src=">.

Αφήστε τη διαφορική εξίσωση 2ης τάξης να μοιάζει με αυτό: https://pandia.ru/text/78/516/images/image011_39.gif" height="25 src=">..gif" width="161" height=" 25 src=">.gif" width="34" height="25 src=">.gif" width="33" height="25 src=">..gif" width="225" height="25 src =">..gif" width="150" height="25 src=">.

Παράδειγμα 2Βρείτε τη γενική λύση της εξίσωσης: https://pandia.ru/text/78/516/images/image015_28.gif" width="34" height="25 src=">.gif" width="107" ύψος ="25 src=">..gif" width="100" height="27 src=">.gif" width="130" height="37 src=">.gif" width="34" height= "25 src =">.gif" width="183" height="36 src=">.

3. Η σειρά του πτυχίου μειώνεται εάν είναι δυνατόν να μετατραπεί σε τέτοια μορφή ώστε και τα δύο μέρη της εξίσωσης να γίνουν ολικές παράγωγοι σύμφωνα με το https://pandia.ru/text/78/516/images/image052_13.gif " width="92" height=" 25 src=">..gif" width="98" height="48 src=">.gif" width="138" height="25 src=">.gif" width="282" height="25 src=">, (2.1)

όπου https://pandia.ru/text/78/516/images/image060_12.gif" width="42" height="25 src=">.gif" width="42" height="25 src="> δίνονται συναρτήσεις που είναι συνεχείς στο διάστημα στο οποίο αναζητείται η λύση. Υποθέτοντας a0(x) ≠ 0, διαιρέστε με (2..gif" width="215" height="25 src="> (2.2)

Ας υποθέσουμε χωρίς απόδειξη ότι (2..gif" width="82" height="25 src=">.gif" width="38" height="25 src=">.gif" width="65" height= " 25 src=">, τότε η εξίσωση (2.2) ονομάζεται ομοιογενής και η εξίσωση (2.2) λέγεται ανομοιογενής διαφορετικά.

Ας εξετάσουμε τις ιδιότητες των λύσεων στο lodu 2ης τάξης.

Ορισμός.Γραμμικός συνδυασμός συναρτήσεων https://pandia.ru/text/78/516/images/image071_10.gif" width="93" height="25 src=">.gif" width="42" height="25 src = ">.gif" width="195" height="25 src=">, (2.3)

Στη συνέχεια, ο γραμμικός συνδυασμός τους https://pandia.ru/text/78/516/images/image076_10.gif" width="182" height="25 src="> στο (2.3) και δείξτε ότι το αποτέλεσμα είναι μια ταυτότητα:

https://pandia.ru/text/78/516/images/image078_10.gif" width="368" height="25 src=">.

Εφόσον οι συναρτήσεις https://pandia.ru/text/78/516/images/image074_11.gif" width="42" height="25 src="> είναι λύσεις της εξίσωσης (2.3), τότε καθεμία από τις αγκύλες στο η τελευταία εξίσωση είναι ταυτόσημη ίση με το μηδέν, το οποίο έπρεπε να αποδειχθεί.

Συνέπεια 1.Προκύπτει από το αποδεδειγμένο θεώρημα στη διεύθυνση https://pandia.ru/text/78/516/images/image080_10.gif" width="77" height="25 src="> – λύση της εξίσωσης (2..gif Το " width=" 97" height="25 src=">.gif" width="165" height="25 src="> ονομάζεται γραμμικά ανεξάρτητο σε κάποιο διάστημα εάν καμία από αυτές τις συναρτήσεις δεν αναπαρίσταται ως γραμμικός συνδυασμός όλων οι άλλοι.

Σε περίπτωση δύο λειτουργιών https://pandia.ru/text/78/516/images/image085_11.gif" width="119" height="25 src=">, δηλαδή..gif" width="77" height= "47 src=">.gif" width="187" height="43 src=">.gif" width="42" height="25 src=">. Έτσι, η ορίζουσα Wronsky για δύο γραμμικά ανεξάρτητες συναρτήσεις δεν μπορεί να είναι πανομοιότυπα ίση με μηδέν.

Αφήστε https://pandia.ru/text/78/516/images/image091_10.gif" width="46" height="25 src=">.gif" width="42" height="25 src="> .gif" width="605" height="50">..gif" width="18" height="25 src="> ικανοποιεί την εξίσωση (2..gif" width="42" height="25 src = "> – λύση της εξίσωσης (3.1)..gif" width="87" height="28 src=">..gif" width="182" height="34 src=">..gif" width= "162 " height="42 src=">.gif" width="51" height="25 src="> είναι πανομοιότυπο. Έτσι,

https://pandia.ru/text/78/516/images/image107_7.gif" width="18" height="25 src=">, στην οποία η ορίζουσα για γραμμικά ανεξάρτητες λύσεις της εξίσωσης (2..gif " width= "42" height="25 src=">.gif" height="25 src="> Και οι δύο παράγοντες στη δεξιά πλευρά του τύπου (3.2) δεν είναι μηδενικοί.

§τέσσερα. Η δομή της γενικής λύσης στο 2ης τάξης lod.

Θεώρημα.Εάν https://pandia.ru/text/78/516/images/image074_11.gif" width="42" height="25 src="> είναι γραμμικά ανεξάρτητες λύσεις της εξίσωσης (2..gif" width=" 19" height="25 src=">.gif" width="129" height="25 src=">είναι λύση της εξίσωσης (2.3), προκύπτει από το θεώρημα για τις ιδιότητες των λύσεων lodu 2ης τάξης..gif " width="85 "height="25 src=">.gif" width="19" height="25 src=">.gif" width="220" height="47">

Οι σταθερές https://pandia.ru/text/78/516/images/image003_79.gif" width="19" height="25 src="> από αυτό το σύστημα γραμμικών αλγεβρικών εξισώσεων καθορίζονται μοναδικά, αφού η ορίζουσα του αυτό το σύστημα είναι https: //pandia.ru/text/78/516/images/image006_56.gif" width="51" height="25 src=">:

https://pandia.ru/text/78/516/images/image116_7.gif" width="138" height="25 src=">.gif" width="19" height="25 src=">. gif" width="69" height="25 src=">.gif" width="235" height="48 src=">..gif" width="143" height="25 src="> (5 ..gif" width="77" height="25 src=">. Σύμφωνα με την προηγούμενη παράγραφο, η γενική λύση στο lodu 2ης τάξης προσδιορίζεται εύκολα εάν είναι γνωστές δύο γραμμικά ανεξάρτητες μερικές λύσεις αυτής της εξίσωσης. Μια απλή μέθοδος για την εύρεση μερικών λύσεων σε μια εξίσωση με σταθερούς συντελεστές που προτείνει ο L. Euler..gif" width="25" height="26 src=">, παίρνουμε μια αλγεβρική εξίσωση, η οποία ονομάζεται χαρακτηριστικό:

Η https://pandia.ru/text/78/516/images/image124_5.gif" width="59" height="26 src="> θα είναι μια λύση στην εξίσωση (5.1) μόνο για αυτές τις τιμές του k που είναι οι ρίζες της χαρακτηριστικής εξίσωσης (5.2)..gif" width="49" height="25 src=">..gif" width="76" height="28 src=">.gif" width= "205" height="47 src ="> και η γενική λύση (5..gif" width="45" height="25 src=">..gif" width="74" height="26 src=" >..gif" width="83 " height="26 src=">. Ελέγξτε ότι αυτή η συνάρτηση ικανοποιεί την εξίσωση (5.1)..gif" width="190" height="26 src=">. Αντικαθιστώντας αυτές τις εκφράσεις σε εξίσωση (5.1), παίρνουμε

https://pandia.ru/text/78/516/images/image141_6.gif" width="328" height="26 src=">, επειδή.gif" width="137" height="26 src=" >.

Οι ιδιωτικές λύσεις https://pandia.ru/text/78/516/images/image145_6.gif" width="86" height="28 src="> είναι γραμμικά ανεξάρτητες, επειδή.gif" width="166" height= "26 src=">.gif" width="45" height="25 src=">..gif" width="65" height="33 src=">.gif" width="134" height =" 25 src=">.gif" width="267" height="25 src=">.gif" width="474" height="25 src=">.

Και οι δύο αγκύλες στην αριστερή πλευρά αυτής της ισότητας είναι πανομοιότυπα ίσες με μηδέν..gif" width="174" height="25 src=">..gif" width="132" height="25 src="> είναι το η λύση της εξίσωσης (5.1) ..gif" width="129" height="25 src="> θα μοιάζει με αυτό:

https://pandia.ru/text/78/516/images/image162_6.gif" width="179" height="25 src="> f(x) (6.1)

αντιπροσωπεύεται ως το άθροισμα της γενικής λύσης https://pandia.ru/text/78/516/images/image164_6.gif" width="195" height="25 src="> (6.2)

και οποιαδήποτε συγκεκριμένη λύση https://pandia.ru/text/78/516/images/image166_6.gif" width="87" height="25 src="> θα είναι μια λύση στην εξίσωση (6.1)..gif" width=" 272" height="25 src="> f(x). Αυτή η ισότητα είναι ταυτότητα επειδή..gif" width="128" height="25 src="> f(x). Επομένως.gif" width="85" height="25 src=">.gif" width= Οι "138" height="25 src=">.gif" width="18" height="25 src="> είναι γραμμικά ανεξάρτητες λύσεις αυτής της εξίσωσης. Με αυτόν τον τρόπο:

https://pandia.ru/text/78/516/images/image173_5.gif" width="289" height="48 src=">

https://pandia.ru/text/78/516/images/image002_107.gif" width="19" height="25 src=">.gif" width="11" height="25 src=">. gif" width="51" height="25 src=">, και μια τέτοια ορίζουσα, όπως είδαμε παραπάνω, είναι διαφορετική από το zero..gif" width="19" height="25 src="> από το σύστημα των εξισώσεων (6 ..gif" width="76" height="25 src=">.gif" width="76" height="25 src=">.gif" width="140" height="25 src ="> θα είναι λύση της εξίσωσης

https://pandia.ru/text/78/516/images/image179_5.gif" width="91" height="25 src="> στην εξίσωση (6.5), παίρνουμε

https://pandia.ru/text/78/516/images/image181_5.gif" width="140" height="25 src=">.gif" width="128" height="25 src="> f (x) (7.1)

όπου https://pandia.ru/text/78/516/images/image185_5.gif" width="34" height="25 src="> της εξίσωσης (7.1) στην περίπτωση που η δεξιά πλευρά f(x) έχει μια ειδική Αυτή η μέθοδος ονομάζεται μέθοδος απροσδιόριστων συντελεστών και συνίσταται στην επιλογή μιας συγκεκριμένης λύσης ανάλογα με τη μορφή της δεξιάς πλευράς του f(x). Θεωρήστε τη δεξιά πλευρά της παρακάτω φόρμας:

1..gif" width="282" height="25 src=">.gif" width="53" height="25 src="> μπορεί να είναι μηδέν. Ας υποδείξουμε τη μορφή με την οποία πρέπει να ληφθεί η συγκεκριμένη λύση σε αυτήν την περίπτωση.

α) Εάν ο αριθμός είναι https://pandia.ru/text/78/516/images/image191_5.gif" width="393" height="25 src=">.gif" width="157" height=" 25 src =">.

Λύση.

Για την εξίσωση https://pandia.ru/text/78/516/images/image195_4.gif" width="86" height="25 src=">..gif" width="62" height="25 src = ">..gif" width="101" height="25 src=">.gif" width="153" height="25 src=">.gif" width="383" height="25 src= " >.

Συντομεύουμε και τα δύο μέρη https://pandia.ru/text/78/516/images/image009_41.gif" height="25 src="> στο αριστερό και το δεξί μέρος της ισότητας

https://pandia.ru/text/78/516/images/image206_5.gif" width="111" height="40 src=">

Από το προκύπτον σύστημα εξισώσεων βρίσκουμε: https://pandia.ru/text/78/516/images/image208_5.gif" width="189" height="25 src="> και τη γενική λύση του δεδομένου η εξίσωση είναι:

https://pandia.ru/text/78/516/images/image190_5.gif" width="11" height="25 src=">.gif" width="423" height="25 src=">,

όπου https://pandia.ru/text/78/516/images/image212_5.gif" width="158" height="25 src=">.

Λύση.

Η αντίστοιχη χαρακτηριστική εξίσωση έχει τη μορφή:

https://pandia.ru/text/78/516/images/image214_6.gif" width="53" height="25 src=">.gif" width="85" height="25 src=">. gif" width="45" height="25 src=">.gif" width="219" height="25 src=">..gif" width="184" height="35 src=">. Τέλος έχουμε την ακόλουθη έκφραση για τη γενική λύση:

https://pandia.ru/text/78/516/images/image223_4.gif" width="170" height="25 src=">.gif" width="13" height="25 src="> εξαιρετικό από το μηδέν. Ας υποδείξουμε τη μορφή μιας συγκεκριμένης λύσης σε αυτήν την περίπτωση.

α) Εάν ο αριθμός είναι https://pandia.ru/text/78/516/images/image227_5.gif" width="204" height="25 src=">,

όπου https://pandia.ru/text/78/516/images/image226_5.gif" width="16" height="25 src="> είναι η ρίζα της χαρακτηριστικής εξίσωσης για την εξίσωση (πλάτος 5..gif" ="229 "height="25 src=">,

όπου https://pandia.ru/text/78/516/images/image229_5.gif" width="147" height="25 src=">.

Λύση.

Οι ρίζες της χαρακτηριστικής εξίσωσης για την εξίσωση https://pandia.ru/text/78/516/images/image231_4.gif" width="58" height="25 src=">.gif" width="203" height="25 src=">.

Η δεξιά πλευρά της εξίσωσης που δίνεται στο Παράδειγμα 3 έχει μια ειδική μορφή: f(x) https://pandia.ru/text/78/516/images/image235_3.gif" width="50" height="25 src= ">.gif " width="55" height="25 src=">.gif" width="229" height="25 src=">.

Για να ορίσετε https://pandia.ru/text/78/516/images/image240_2.gif" width="11" height="25 src=">.gif" width="43" height="25 src=" > και αντικαταστήστε στη δεδομένη εξίσωση:

Φέρνοντας όμοιους όρους, εξισώνοντας συντελεστές στη διεύθυνση https://pandia.ru/text/78/516/images/image245_2.gif" width="46" height="25 src=">.gif" width="100" height= "25 src=">.

Η τελική γενική λύση της δεδομένης εξίσωσης είναι: https://pandia.ru/text/78/516/images/image249_2.gif" width="281" height="25 src=">.gif" width="47 " height ="25 src=">.gif" width="10" height="25 src="> αντίστοιχα, και ένα από αυτά τα πολυώνυμα μπορεί να είναι ίσο με μηδέν. Ας υποδείξουμε τη μορφή μιας συγκεκριμένης λύσης σε αυτήν τη γενική υπόθεση.

α) Εάν ο αριθμός είναι https://pandia.ru/text/78/516/images/image255_2.gif" width="605" height="51">, (7.2)

όπου https://pandia.ru/text/78/516/images/image257_2.gif" width="121" height="25 src=">.

β) Εάν ο αριθμός είναι https://pandia.ru/text/78/516/images/image210_5.gif" width="80" height="25 src=">, τότε μια συγκεκριμένη λύση θα μοιάζει με:

https://pandia.ru/text/78/516/images/image259_2.gif" width="17" height="25 src=">. Στην έκφραση (7..gif" width="121" height= " 25 src=">.

Παράδειγμα 4Υποδείξτε το είδος της συγκεκριμένης λύσης για την εξίσωση

https://pandia.ru/text/78/516/images/image262_2.gif" width="129" height="25 src=">..gif" width="95" height="25 src="> . Η γενική λύση στο lod έχει τη μορφή:

https://pandia.ru/text/78/516/images/image266_2.gif" width="183" height="25 src=">..gif" width="42" height="25 src="> ..gif" width="36" height="25 src=">.gif" width="351" height="25 src=">.

Περαιτέρω συντελεστές https://pandia.ru/text/78/516/images/image273_2.gif" width="34" height="25 src=">.gif" width="42" height="28 src=" > υπάρχει μια συγκεκριμένη λύση για την εξίσωση με τη δεξιά πλευρά f1(x) και Variation" href="/text/category/variatciya/" rel="bookmark">παραλλαγές αυθαίρετων σταθερών (μέθοδος Lagrange).

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

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

https://pandia.ru/text/78/516/images/image278_2.gif" width="46" height="25 src=">.gif" width="51" height="25 src="> – όχι σταθερά, αλλά κάποιες, ακόμα άγνωστες, συναρτήσεις της f(x). . πρέπει να λαμβάνονται από το διάστημα. Στην πραγματικότητα, σε αυτή την περίπτωση, η ορίζουσα Wronsky είναι μη μηδενική σε όλα τα σημεία του διαστήματος, δηλαδή σε ολόκληρο το διάστημα, είναι η σύνθετη ρίζα της χαρακτηριστικής εξίσωσης..gif" width="20" height="25 src="> γραμμικά ανεξάρτητες συγκεκριμένες λύσεις της μορφής :

Στον γενικό τύπο λύσης, αυτή η ρίζα αντιστοιχεί σε μια έκφραση της μορφής.

Γραμμική ομογενής εξίσωση δεύτερης τάξης. Διαφορικές εξισώσεις δεύτερης τάξης και ανώτερης τάξης

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

Θεωρήστε μια γραμμική διαφορική εξίσωση (LDE) δεύτερης τάξης με σταθερούς συντελεστές της μορφής y "" + p y " + q y \u003d f (x) , όπου p και q είναι αυθαίρετοι αριθμοί και η υπάρχουσα συνάρτηση f (x) είναι συνεχής στο διάστημα ολοκλήρωσης x .

Ας περάσουμε στη διατύπωση του γενικού θεωρήματος λύσης για το LIDE.

Yandex.RTB R-A-339285-1

Γενικό θεώρημα λύσης για LDNU

Θεώρημα 1

Η γενική λύση, που βρίσκεται στο διάστημα x, μιας ανομοιογενούς διαφορικής εξίσωσης της μορφής y (n) + f n - 1 (x) · y (n - 1) + . . . + f 0 (x) y = f (x) με συνεχείς συντελεστές ολοκλήρωσης στο x διάστημα f 0 (x) , f 1 (x) , . . . , f n - 1 (x) και μια συνεχής συνάρτηση f (x) ισούται με το άθροισμα της γενικής λύσης y 0 , που αντιστοιχεί στο LODE, και κάποια συγκεκριμένη λύση y ~ , όπου η αρχική ανομοιογενής εξίσωση είναι y = y 0 + y ~ .

Αυτό δείχνει ότι η λύση μιας τέτοιας εξίσωσης δεύτερης τάξης έχει τη μορφή y = y 0 + y ~ . Ο αλγόριθμος για την εύρεση του y 0 εξετάζεται στο άρθρο για τις γραμμικές ομοιογενείς διαφορικές εξισώσεις δεύτερης τάξης με σταθερούς συντελεστές. Μετά από αυτό, θα πρέπει να προχωρήσουμε στον ορισμό του y ~ .

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

Όταν η f (x) θεωρείται ότι είναι ένα πολυώνυμο του n βαθμού f (x) = P n (x) , προκύπτει ότι μια συγκεκριμένη λύση του LIDE βρίσκεται από έναν τύπο της μορφής y ~ = Q n (x ) x γ , όπου Q n ( x) είναι πολυώνυμο βαθμού n, r είναι ο αριθμός των μηδενικών ριζών της χαρακτηριστικής εξίσωσης. Η τιμή του y ~ είναι μια συγκεκριμένη λύση y ~ "" + p y ~ " + q y ~ = f (x) , τότε οι διαθέσιμοι συντελεστές, οι οποίοι ορίζονται από το πολυώνυμο
Q n (x) , βρίσκουμε χρησιμοποιώντας τη μέθοδο των αόριστων συντελεστών από την ισότητα y ~ "" + p · y ~ " + q · y ~ = f (x) .

Παράδειγμα 1

Υπολογίστε χρησιμοποιώντας το θεώρημα Cauchy y "" - 2 y " = x 2 + 1 , y (0) = 2 , y " (0) = 1 4 .

Λύση

Με άλλα λόγια, είναι απαραίτητο να περάσουμε σε μια συγκεκριμένη λύση μιας γραμμικής ανομοιογενούς διαφορικής εξίσωσης δεύτερης τάξης με σταθερούς συντελεστές y "" - 2 y " = x 2 + 1 , η οποία θα ικανοποιεί τις δεδομένες συνθήκες y (0) = 2 , y " (0) = 1 4 .

Η γενική λύση μιας γραμμικής ανομοιογενούς εξίσωσης είναι το άθροισμα της γενικής λύσης που αντιστοιχεί στην εξίσωση y 0 ή σε μια συγκεκριμένη λύση της ανομοιογενούς εξίσωσης y ~ , δηλαδή y = y 0 + y ~ .

Πρώτα, ας βρούμε μια γενική λύση για το LNDE, και μετά μια συγκεκριμένη.

Ας προχωρήσουμε στην εύρεση του y 0 . Η σύνταξη της χαρακτηριστικής εξίσωσης θα σας βοηθήσει να βρείτε τις ρίζες. Το καταλαβαίνουμε

k 2 - 2 k \u003d 0 k (k - 2) \u003d 0 k 1 \u003d 0, k 2 \u003d 2

Βρήκαμε ότι οι ρίζες είναι διαφορετικές και πραγματικές. Ως εκ τούτου, γράφουμε

y 0 \u003d C 1 e 0 x + C 2 e 2 x \u003d C 1 + C 2 e 2 x.

Ας βρούμε το y ~ . Μπορεί να φανεί ότι η δεξιά πλευρά της δεδομένης εξίσωσης είναι ένα πολυώνυμο του δεύτερου βαθμού, τότε μία από τις ρίζες είναι ίση με μηδέν. Από εδώ παίρνουμε ότι μια συγκεκριμένη λύση για το y ~ θα είναι

y ~ = Q 2 (x) x γ \u003d (A x 2 + B x + C) x \u003d A x 3 + B x 2 + C x, όπου οι τιμές των A, B, C πάρτε απροσδιόριστους συντελεστές.

Ας τα βρούμε από μια ισότητα της μορφής y ~ "" - 2 y ~ " = x 2 + 1 .

Τότε παίρνουμε ότι:

y ~ "" - 2 y ~ " = x 2 + 1 (A x 3 + B x 2 + C x) "" - 2 (A x 3 + B x 2 + C x) " = x 2 + 1 3 A x 2 + 2 B x + C " - 6 A x 2 - 4 B x - 2 C = x 2 + 1 6 A x + 2 B - 6 A x 2 - 4 B x - 2 C = x 2 + 1 - 6 A x 2 + x (6 A - 4 B) + 2 B - 2 C = x 2 + 1

Εξισώνοντας τους συντελεστές με τους ίδιους εκθέτες x , παίρνουμε ένα σύστημα γραμμικών παραστάσεων - 6 A = 1 6 A - 4 B = 0 2 B - 2 C = 1 . Όταν λύνουμε με οποιονδήποτε από τους τρόπους, βρίσκουμε τους συντελεστές και γράφουμε: A \u003d - 1 6, B \u003d - 1 4, C \u003d - 3 4 και y ~ \u003d A x 3 + B x 2 + C x \u003d - 1 6 x 3 - 1 4 x 2 - 3 4 x .

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

Για να βρεθεί μια συγκεκριμένη λύση που να ικανοποιεί τις συνθήκες y (0) = 2 , y " (0) = 1 4 , απαιτείται ο προσδιορισμός των τιμών Γ1και Γ2, με βάση μια ισότητα της μορφής y \u003d C 1 + C 2 e 2 x - 1 6 x 3 + 1 4 x 2 + 3 4 x.

Καταλαβαίνουμε ότι:

y (0) = C 1 + C 2 e 2 x - 1 6 x 3 + 1 4 x 2 + 3 4 x x = 0 = C 1 + C 2 y "(0) = C 1 + C 2 e 2 x - 1 6 x 3 + 1 4 x 2 + 3 4 x "x = 0 = = 2 C 2 e 2 x - 1 2 x 2 + 1 2 x + 3 4 x = 0 = 2 C 2 - 3 4

Δουλεύουμε με το προκύπτον σύστημα εξισώσεων της μορφής C 1 + C 2 = 2 2 C 2 - 3 4 = 1 4 , όπου C 1 = 3 2 , C 2 = 1 2 .

Εφαρμόζοντας το θεώρημα Cauchy, έχουμε αυτό

y = C 1 + C 2 e 2 x - 1 6 x 3 + 1 4 x 2 + 3 4 x = = 3 2 + 1 2 e 2 x - 1 6 x 3 + 1 4 x 2 + 3 4 x

Απάντηση: 3 2 + 1 2 e 2 x - 1 6 x 3 + 1 4 x 2 + 3 4 x .

Όταν η συνάρτηση f (x) παριστάνεται ως γινόμενο ενός πολυωνύμου με βαθμό n και εκθέτη f (x) = P n (x) e a x, τότε από εδώ προκύπτει ότι μια συγκεκριμένη λύση του LIDE δεύτερης τάξης θα είναι μια εξίσωση της μορφής y ~ = e a x Q n ( x) · x γ , όπου Q n (x) είναι πολυώνυμο n ου βαθμού, και r είναι ο αριθμός των ριζών της χαρακτηριστικής εξίσωσης ίσος με α .

Οι συντελεστές που ανήκουν στο Q n (x) βρίσκονται με την ισότητα y ~ "" + p · y ~ " + q · y ~ = f (x) .

Παράδειγμα 2

Να βρείτε τη γενική λύση μιας διαφορικής εξίσωσης της μορφής y "" - 2 y " = (x 2 + 1) · e x .

Λύση

Γενική εξίσωση y = y 0 + y ~ . Η υποδεικνυόμενη εξίσωση αντιστοιχεί στο LOD y "" - 2 y " = 0. Το προηγούμενο παράδειγμα δείχνει ότι οι ρίζες του είναι k1 = 0και k 2 = 2 και y 0 = C 1 + C 2 e 2 x σύμφωνα με τη χαρακτηριστική εξίσωση.

Φαίνεται ότι η δεξιά πλευρά της εξίσωσης είναι x 2 + 1 · e x . Από εδώ, το LNDE βρίσκεται μέσω y ~ = e a x Q n (x) x γ , όπου Q n (x) , που είναι πολυώνυμο δεύτερου βαθμού, όπου α = 1 και r = 0 , επειδή η χαρακτηριστική εξίσωση δεν έχουν ρίζα ίση με 1 . Ως εκ τούτου το καταλαβαίνουμε

y ~ = e a x Q n (x) x γ = e x A x 2 + B x + C x 0 = e x A x 2 + B x + C .

Οι A, B, C είναι άγνωστοι συντελεστές, οι οποίοι μπορούν να βρεθούν από την ισότητα y ~ "" - 2 y ~ " = (x 2 + 1) · e x .

Το κατάλαβα

y ~ "= e x A x 2 + B x + C" = e x A x 2 + B x + C + e x 2 A x + B == e x A x 2 + x 2 A + B + B + C y ~ " " = e x A x 2 + x 2 A + B + B + C " = = e x A x 2 + x 2 A + B + B + C + e x 2 A x + 2 A + B = = e x A x 2 + x 4 A + B + 2 A + 2 B + C

y ~ "" - 2 y ~ " = (x 2 + 1) e x ⇔ e x A x 2 + x 4 A + B + 2 A + 2 B + C - - 2 e x A x 2 + x 2 A + B + B + C = x 2 + 1 e x ⇔ e x - A x 2 - B x + 2 A - C = (x 2 + 1) e x ⇔ - A x 2 - B x + 2 A - C = x 2 + 1 ⇔ - A x 2 - B x + 2 A - C = 1 x 2 + 0 x + 1

Εξισώνουμε τους δείκτες για τους ίδιους συντελεστές και παίρνουμε ένα σύστημα γραμμικών εξισώσεων. Από εδώ βρίσκουμε τα Α, Β, Γ:

A = 1 - B = 0 2 A - C = 1 ⇔ A = - 1 B = 0 C = - 3

Απάντηση:μπορεί να φανεί ότι y ~ = e x (A x 2 + B x + C) = e x - x 2 + 0 x - 3 = - e x x 2 + 3 είναι μια συγκεκριμένη λύση του LIDE, και y = y 0 + y = C 1 e 2 x - e x · x 2 + 3

Όταν η συνάρτηση γράφεται ως f (x) = A 1 cos (β x) + B 1 sin β x , και Α'1και ΣΕ 1είναι αριθμοί, τότε μια εξίσωση της μορφής y ~ = A cos β x + B sin β x x γ , όπου Α και B θεωρούνται αόριστοι συντελεστές, και r ο αριθμός των μιγαδικών συζυγών ριζών που σχετίζονται με τη χαρακτηριστική εξίσωση, ίσος με ± i β . Στην περίπτωση αυτή, η αναζήτηση συντελεστών πραγματοποιείται με την ισότητα y ~ "" + p · y ~ " + q · y ~ = f (x) .

Παράδειγμα 3

Να βρείτε τη γενική λύση μιας διαφορικής εξίσωσης της μορφής y "" + 4 y = cos (2 x) + 3 sin (2 x) .

Λύση

Πριν γράψουμε τη χαρακτηριστική εξίσωση, βρίσκουμε y 0 . Επειτα

k 2 + 4 \u003d 0 k 2 \u003d - 4 k 1 \u003d 2 i, k 2 \u003d - 2 i

Έχουμε ένα ζευγάρι σύνθετων συζυγών ριζών. Ας μεταμορφωθούμε και πάρουμε:

y 0 \u003d e 0 (C 1 cos (2 x) + C 2 sin (2 x)) \u003d C 1 cos 2 x + C 2 sin (2 x)

Οι ρίζες από τη χαρακτηριστική εξίσωση θεωρούνται συζευγμένο ζεύγος ± 2 i , τότε f (x) = cos (2 x) + 3 sin (2 x) . Αυτό δείχνει ότι η αναζήτηση για y ~ θα γίνει από y ~ = (A cos (β x) + B sin (β x) x γ = (A cos (2 x) + B sin (2 x)) x. Άγνωστα Οι συντελεστές Α και Β θα αναζητηθούν από μια ισότητα της μορφής y ~ "" + 4 y ~ = cos (2 x) + 3 sin (2 x) .

Ας μεταμορφώσουμε:

y ~ " = ((A cos (2 x) + B sin (2 x) x) " = = (- 2 A sin (2 x) + 2 B cos (2 x)) x + A cos (2 x) + B sin (2 x) y ~ "" = ((- 2 A sin (2 x) + 2 B cos (2 x)) x + A cos (2 x) + B sin (2 x)) " = = (- 4 A cos (2 x) - 4 B sin (2 x)) x - 2 A sin (2 x) + 2 B cos (2 x) - - 2 A sin (2 x) + 2 B cos (2 x) = = (- 4 A cos (2 x) - 4 B sin (2 x)) x - 4 A sin (2 x) + 4 B cos (2 x)

Τότε φαίνεται ότι

y ~ "" + 4 y ~ = cos (2 x) + 3 sin (2 x) ⇔ (- 4 A cos (2 x) - 4 B sin (2 x)) x - 4 A sin (2 x) + 4 B cos (2 x) + + 4 (A cos (2 x) + B sin (2 x)) x = cos (2 x) + 3 sin (2 x) ⇔ - 4 A sin (2 x) + 4B cos(2x) = cos(2x) + 3 sin(2x)

Είναι απαραίτητο να εξισωθούν οι συντελεστές ημιτόνων και συνημιτόνων. Παίρνουμε ένα σύστημα της μορφής:

4 A = 3 4 B = 1 ⇔ A = - 3 4 B = 1 4

Έπεται ότι y ~ = (A cos (2 x) + B sin (2 x) x = - 3 4 cos (2 x) + 1 4 sin (2 x) x .

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

y = y 0 + y ~ = = C 1 cos (2 x) + C 2 sin (2 x) + - 3 4 cos (2 x) + 1 4 sin (2 x) x

Όταν f (x) = e a x P n (x) sin (β x) + Q k (x) cos (β x) , τότε y ~ = e a x (L m (x) sin (β x) + N m (x ) cos (β x) x γ Έχουμε ότι r είναι ο αριθμός των μιγαδικών συζυγών ζευγών ριζών που σχετίζονται με τη χαρακτηριστική εξίσωση, ίσος με α ± i β , όπου P n (x) , Q k (x) , L m ( x) και N m (x)είναι πολυώνυμα βαθμού n, k, m, όπου m = m a x (n, k). Εύρεση συντελεστών L m (x)και N m (x)παράγεται με βάση την ισότητα y ~ "" + p · y ~ " + q · y ~ = f (x) .

Παράδειγμα 4

Να βρείτε τη γενική λύση y "" + 3 y " + 2 y = - e 3 x ((38 x + 45) sin (5 x) + (8 x - 5) cos (5 x)) .

Λύση

Είναι σαφές από την προϋπόθεση ότι

α = 3 , β = 5 , P n (x) = - 38 x - 45 , Q k (x) = - 8 x + 5 , n = 1 , k = 1

Τότε m = m a x (n , k) = 1 . Βρίσκουμε το y 0 γράφοντας πρώτα τη χαρακτηριστική εξίσωση της μορφής:

k 2 - 3 k + 2 = 0 D = 3 2 - 4 1 2 = 1 k 1 = 3 - 1 2 = 1, k 2 = 3 + 1 2 = 2

Βρήκαμε ότι οι ρίζες είναι πραγματικές και διακριτές. Επομένως y 0 = C 1 e x + C 2 e 2 x . Στη συνέχεια, είναι απαραίτητο να αναζητήσουμε μια γενική λύση που βασίζεται σε μια ανομοιογενή εξίσωση y ~ της μορφής

y ~ = e α x (L m (x) sin (β x) + N m (x) cos (β x) x γ = = e 3 x ((A x + B) cos (5 x) + (C x + D) sin (5 x)) x 0 = = e 3 x ((A x + B) cos (5 x) + (C x + D) sin (5 x))

Είναι γνωστό ότι τα Α, Β, Γ είναι συντελεστές, r = 0, γιατί δεν υπάρχει ζεύγος συζυγών ριζών που να σχετίζονται με τη χαρακτηριστική εξίσωση με α ± i β = 3 ± 5 · i . Αυτοί οι συντελεστές βρίσκονται από την ισότητα που προκύπτει:

y ~ "" - 3 y ~ " + 2 y ~ = - e 3 x ((38 x + 45) sin (5 x) + (8 x - 5) cos (5 x)) ⇔ (e 3 x (( A x + B) cos (5 x) + (C x + D) sin (5 x))) "" - - 3 (e 3 x ((A x + B) cos (5 x) + (C x + Δ) αμαρτία (5 x))) = - e 3 x ((38 x + 45) αμαρτία (5 x) + (8 x - 5) cos (5 x))

Η εύρεση της παραγώγου και παρόμοιων όρων δίνει

E 3 x ((15 A + 23 C) x sin (5 x) + + (10 A + 15 B - 3 C + 23 D) sin (5 x) + + (23 A - 15 C) x cos (5 x) + (- 3 A + 23 B - 10 C - 15 D) cos (5 x)) = = - e 3 x (38 x sin (5 x) + 45 sin (5 x) + + 8 x cos ( 5 x) - 5 cos (5 x))

Αφού εξισώσουμε τους συντελεστές, παίρνουμε ένα σύστημα της μορφής

15 A + 23 C = 38 10 A + 15 B - 3 C + 23 D = 45 23 A - 15 C = 8 - 3 A + 23 B - 10 C - 15 D = - 5 ⇔ A = 1 B = 1 C = 1 D = 1

Από όλα προκύπτει ότι

y ~= e 3 x ((A x + B) cos (5 x) + (C x + D) sin (5 x)) == e 3 x ((x + 1) cos (5 x) + (x +1) αμαρτία (5x))

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

y = y 0 + y ~ = = C 1 e x + C 2 e 2 x + e 3 x ((x + 1) cos (5 x) + (x + 1) αμαρτία (5 x))

Αλγόριθμος επίλυσης LDNU

Ορισμός 1

Οποιοδήποτε άλλο είδος συνάρτησης f (x) για τη λύση παρέχει τον αλγόριθμο λύσης:

  • βρίσκοντας τη γενική λύση της αντίστοιχης γραμμικής ομογενούς εξίσωσης, όπου y 0 = C 1 ⋅ y 1 + C 2 ⋅ y 2 , όπου y 1και y2είναι γραμμικά ανεξάρτητες συγκεκριμένες λύσεις του LODE, Από 1και Από 2θεωρούνται αυθαίρετες σταθερές.
  • αποδοχή ως γενική λύση του LIDE y = C 1 (x) ⋅ y 1 + C 2 (x) ⋅ y 2 ;
  • ορισμός παραγώγων μιας συνάρτησης μέσω συστήματος της μορφής C 1 "(x) + y 1 (x) + C 2 "(x) y 2 (x) = 0 C 1 "(x) + y 1" (x ) + C 2 " (x) y 2 "(x) = f (x) , και εύρεση συναρτήσεων C 1 (x)και C 2 (x) μέσω ολοκλήρωσης.

Παράδειγμα 5

Βρείτε τη γενική λύση για το y "" + 36 y = 24 sin (6 x) - 12 cos (6 x) + 36 e 6 x .

Λύση

Προχωράμε στη σύνταξη της χαρακτηριστικής εξίσωσης, έχοντας προηγουμένως γράψει y 0 , y "" + 36 y = 0 . Ας γράψουμε και ας λύσουμε:

k 2 + 36 = 0 k 1 = 6 i , k 2 = - 6 i ⇒ y 0 = C 1 cos (6 x) + C 2 sin (6 x) ⇒ y 1 (x) = cos (6 x) , y 2 (x) = αμαρτία (6 x)

Έχουμε ότι η εγγραφή της γενικής λύσης της δεδομένης εξίσωσης θα πάρει τη μορφή y = C 1 (x) cos (6 x) + C 2 (x) sin (6 x) . Είναι απαραίτητο να περάσουμε στον ορισμό των παραγώγων συναρτήσεων C 1 (x)και C2(x)σύμφωνα με το σύστημα με εξισώσεις:

C 1 "(x) cos (6 x) + C 2" (x) sin (6 x) = 0 C 1 "(x) (cos (6 x))" + C 2 "(x) (sin (6 x)) " = 0 ⇔ C 1 " (x) cos (6 x) + C 2 " (x) sin (6 x) = 0 C 1 " (x) (- 6 sin (6 x) + C 2 " (x) (6 cos (6 x)) \u003d \u003d 24 sin (6 x) - 12 cos (6 x) + 36 e 6 x

Πρέπει να ληφθεί απόφαση σχετικά C 1 "(x)και C2" (x)χρησιμοποιώντας οποιαδήποτε μέθοδο. Στη συνέχεια γράφουμε:

C 1 "(x) \u003d - 4 sin 2 (6 x) + 2 sin (6 x) cos (6 x) - 6 e 6 x sin (6 x) C 2 "(x) \u003d 4 sin (6 x) cos (6 x) - 2 cos 2 (6 x) + 6 e 6 x cos (6 x)

Κάθε μία από τις εξισώσεις πρέπει να ενσωματωθεί. Στη συνέχεια γράφουμε τις εξισώσεις που προκύπτουν:

C 1 (x) = 1 3 sin (6 x) cos (6 x) - 2 x - 1 6 cos 2 (6 x) + + 1 2 e 6 x cos (6 x) - 1 2 e 6 x sin ( 6 x) + C 3 C 2 (x) = - 1 6 sin (6 x) cos (6 x) - x - 1 3 cos 2 (6 x) + + 1 2 e 6 x cos (6 x) + 1 2 e 6 x αμαρτία (6 x) + C 4

Από αυτό προκύπτει ότι η γενική λύση θα έχει τη μορφή:

y = 1 3 sin (6 x) cos (6 x) - 2 x - 1 6 cos 2 (6 x) + + 1 2 e 6 x cos (6 x) - 1 2 e 6 x sin (6 x) + C 3 cos (6 x) + + - 1 6 sin (6 x) cos (6 x) - x - 1 3 cos 2 (6 x) + + 1 2 e 6 x cos (6 x) + 1 2 e 6 x sin (6 x) + C 4 sin (6 x) = = - 2 x cos (6 x) - x sin (6 x) - 1 6 cos (6 x) + + 1 2 e 6 x + C 3 cos (6 x) + C 4 αμαρτία (6 x)

Απάντηση: y = y 0 + y ~ = - 2 x cos (6 x) - x sin (6 x) - 1 6 cos (6 x) + + 1 2 e 6 x + C 3 cos (6 x) + C 4 sin (6x)

Εάν παρατηρήσετε κάποιο λάθος στο κείμενο, επισημάνετε το και πατήστε Ctrl+Enter

Βασικές αρχές επίλυσης γραμμικών ανομοιογενών διαφορικών εξισώσεων δεύτερης τάξης (LNDE-2) με σταθερούς συντελεστές (PC)

Ένα CLDE δεύτερης τάξης με σταθερούς συντελεστές $p$ και $q$ έχει τη μορφή $y""+p\cdot y"+q\cdot y=f\left(x\right)$, όπου $f\left( x \right)$ είναι μια συνεχής συνάρτηση.

Οι ακόλουθες δύο δηλώσεις είναι αληθείς όσον αφορά το 2ο LNDE με PC.

Ας υποθέσουμε ότι κάποια συνάρτηση $U$ είναι μια αυθαίρετη συγκεκριμένη λύση μιας ανομοιογενούς διαφορικής εξίσωσης. Ας υποθέσουμε επίσης ότι κάποια συνάρτηση $Y$ είναι μια γενική λύση (OR) της αντίστοιχης γραμμικής ομοιογενούς διαφορικής εξίσωσης (LODE) $y""+p\cdot y"+q\cdot y=0$. Τότε το OR του Το LHDE-2 είναι ίσο με το άθροισμα των υποδεικνυόμενων ιδιωτικών και γενικών λύσεων, δηλαδή $y=U+Y$.

Αν η δεξιά πλευρά του LIDE 2ης τάξης είναι το άθροισμα των συναρτήσεων, δηλαδή $f\left(x\right)=f_(1) \left(x\right)+f_(2) \left(x\right) )+. ..+f_(r) \left(x\right)$, τότε πρώτα μπορείτε να βρείτε το PD $U_(1) ,U_(2) ,...,U_(r) $ που αντιστοιχεί σε κάθε από τις συναρτήσεις $f_( 1) \left(x\right),f_(2) \left(x\right),...,f_(r) \left(x\right)$, και μετά γράψτε το LNDE-2 PD ως $U=U_(1) +U_(2) +...+U_(r) $.

Λύση LNDE 2ης τάξης με Η/Υ

Προφανώς, η μορφή ενός ή του άλλου PD $U$ ενός δεδομένου LNDE-2 εξαρτάται από τη συγκεκριμένη μορφή της δεξιάς πλευράς του $f\left(x\right)$. Οι απλούστερες περιπτώσεις αναζήτησης του PD του LNDE-2 διατυπώνονται ως οι ακόλουθοι τέσσερις κανόνες.

Κανόνας αριθμός 1.

Η δεξιά πλευρά του LNDE-2 έχει τη μορφή $f\left(x\right)=P_(n) \left(x\right)$, όπου $P_(n) \left(x\right)=a_(0 ) \cdot x^(n) +a_(1) \cdot x^(n-1) +...+a_(n-1) \cdot x+a_(n) $, δηλαδή ονομάζεται α πολυώνυμο βαθμού $n$. Στη συνέχεια, το PR $U$ του αναζητείται με τη μορφή $U=Q_(n) \left(x\right)\cdot x^(r) $, όπου το $Q_(n) \left(x\right)$ είναι άλλο πολυώνυμο του ίδιου βαθμού με το $P_(n) \left(x\right)$, και το $r$ είναι ο αριθμός των μηδενικών ριζών της χαρακτηριστικής εξίσωσης του αντίστοιχου LODE-2. Οι συντελεστές του πολυωνύμου $Q_(n) \left(x\right)$ βρίσκονται με τη μέθοδο των αόριστων συντελεστών (NC).

Κανόνας αριθμός 2.

Η δεξιά πλευρά του LNDE-2 έχει τη μορφή $f\left(x\right)=e^(\alpha \cdot x) \cdot P_(n) \left(x\right)$, όπου $P_(n) Το \left( x\right)$ είναι ένα πολυώνυμο βαθμού $n$. Στη συνέχεια, το PD του $U$ αναζητείται με τη μορφή $U=Q_(n) \left(x\right)\cdot x^(r) \cdot e^(\alpha \cdot x) $, όπου $Q_(n ) \ left(x\right)$ είναι ένα άλλο πολυώνυμο του ίδιου βαθμού με το $P_(n) \left(x\right)$ και το $r$ είναι ο αριθμός των ριζών της χαρακτηριστικής εξίσωσης της αντίστοιχης LODE-2 ίσο με $\alpha $. Οι συντελεστές του πολυωνύμου $Q_(n) \left(x\right)$ βρίσκονται με τη μέθοδο NK.

Κανόνας αριθμός 3.

Το δεξί μέρος του LNDE-2 έχει τη μορφή $f\left(x\right)=a\cdot \cos \left(\beta \cdot x\right)+b\cdot \sin \left(\beta \cdot x \right) $, όπου οι $a$, $b$ και $\beta $ είναι γνωστοί αριθμοί. Στη συνέχεια, το PD $U$ του αναζητείται με τη μορφή $U=\left(A\cdot \cos \left(\beta \cdot x\right)+B\cdot \sin \left(\beta \cdot x\right )\right )\cdot x^(r) $, όπου $A$ και $B$ είναι άγνωστοι συντελεστές, και $r$ είναι ο αριθμός των ριζών της χαρακτηριστικής εξίσωσης του αντίστοιχου LODE-2 ίσος με $i\cdot \beta $. Οι συντελεστές $A$ και $B$ βρίσκονται με τη μέθοδο NDT.

Κανόνας αριθμός 4.

Η δεξιά πλευρά του LNDE-2 έχει τη μορφή $f\left(x\right)=e^(\alpha \cdot x) \cdot \left$, όπου $P_(n) \left(x\right)$ είναι ένα πολυώνυμο βαθμού $ n$ και το $P_(m) \left(x\right)$ είναι ένα πολυώνυμο βαθμού $m$. Στη συνέχεια, το PD $U$ του αναζητείται με τη μορφή $U=e^(\alpha \cdot x) \cdot \left\cdot x^(r) $, όπου $Q_(s) \left(x\right) $ και $ R_(s) \left(x\right)$ είναι πολυώνυμα βαθμού $s$, ο αριθμός $s$ είναι ο μέγιστος αριθμός δύο αριθμών $n$ και $m$ και $r$ είναι ο αριθμός των ρίζες της χαρακτηριστικής εξίσωσης του αντίστοιχου LODE-2, ίσες με $\alpha +i\cdot \beta $. Οι συντελεστές των πολυωνύμων $Q_(s) \left(x\right)$ και $R_(s) \left(x\right)$ βρίσκονται με τη μέθοδο NK.

Η μέθοδος NK συνίσταται στην εφαρμογή του ακόλουθου κανόνα. Για να βρεθούν οι άγνωστοι συντελεστές του πολυωνύμου, που αποτελούν μέρος της συγκεκριμένης λύσης της ανομοιογενούς διαφορικής εξίσωσης LNDE-2, είναι απαραίτητο:

  • Αντικαταστήστε το PD $U$, γραμμένο σε γενική μορφή, στο αριστερό μέρος του LNDE-2.
  • στην αριστερή πλευρά του LNDE-2, εκτελέστε απλοποιήσεις και ομαδοποιήστε όρους με τις ίδιες δυνάμεις $x$.
  • Στην ταυτότητα που προκύπτει, εξισώστε τους συντελεστές των όρων με τις ίδιες δυνάμεις $x$ της αριστερής και της δεξιάς πλευράς.
  • να λύσει το προκύπτον σύστημα γραμμικών εξισώσεων για άγνωστους συντελεστές.

Παράδειγμα 1

Εργασία: βρείτε το OR LNDE-2 $y""-3\cdot y"-18\cdot y=\left(36\cdot x+12\right)\cdot e^(3\cdot x) $. Βρείτε επίσης το PR , ικανοποιώντας τις αρχικές συνθήκες $y=6$ για $x=0$ και $y"=1$ για $x=0$.

Γράψτε το αντίστοιχο LODA-2: $y""-3\cdot y"-18\cdot y=0$.

Χαρακτηριστική εξίσωση: $k^(2) -3\cdot k-18=0$. Οι ρίζες της χαρακτηριστικής εξίσωσης: $k_(1) =-3$, $k_(2) =6$. Αυτές οι ρίζες είναι πραγματικές και διακριτές. Έτσι, το OR του αντίστοιχου LODE-2 έχει τη μορφή: $Y=C_(1) \cdot e^(-3\cdot x) +C_(2) \cdot e^(6\cdot x) $.

Το δεξί μέρος αυτού του LNDE-2 έχει τη μορφή $\left(36\cdot x+12\right)\cdot e^(3\cdot x) $. Είναι απαραίτητο να ληφθεί υπόψη ο συντελεστής του εκθέτη του εκθέτη $\alpha =3$. Αυτός ο συντελεστής δεν συμπίπτει με καμία από τις ρίζες της χαρακτηριστικής εξίσωσης. Επομένως, το PR αυτού του LNDE-2 έχει τη μορφή $U=\left(A\cdot x+B\right)\cdot e^(3\cdot x) $.

Θα αναζητήσουμε τους συντελεστές $A$, $B$ χρησιμοποιώντας τη μέθοδο NK.

Βρίσκουμε την πρώτη παράγωγο του CR:

$U"=\left(A\cdot x+B\right)^((") ) \cdot e^(3\cdot x) +\left(A\cdot x+B\right)\cdot \left( e^(3\cdot x) \right)^((") ) =$

$=A\cdot e^(3\cdot x) +\left(A\cdot x+B\right)\cdot 3\cdot e^(3\cdot x) =\left(A+3\cdot A\ cdot x+3\cdot B\right)\cdot e^(3\cdot x) .$

Βρίσκουμε τη δεύτερη παράγωγο του CR:

$U""=\left(A+3\cdot A\cdot x+3\cdot B\right)^((") ) \cdot e^(3\cdot x) +\left(A+3\cdot A\cdot x+3\cdot B\right)\cdot \left(e^(3\cdot x) \right)^((") ) =$

$=3\cdot A\cdot e^(3\cdot x) +\left(A+3\cdot A\cdot x+3\cdot B\right)\cdot 3\cdot e^(3\cdot x) =\left(6\cdot A+9\cdot A\cdot x+9\cdot B\right)\cdot e^(3\cdot x) .$

Αντικαθιστούμε τις συναρτήσεις $U""$, $U"$ και $U$ αντί των $y""$, $y"$ και $y$ στο δεδομένο LNDE-2 $y""-3\cdot y" -18\cdot y=\left(36\cdot x+12\right)\cdot e^(3\cdot x).$ Ταυτόχρονα, αφού περιλαμβάνεται ο εκθέτης $e^(3\cdot x) $ ως παράγοντας σε όλα τα συστατικά, τότε μπορεί να παραλειφθεί.

$6\cdot A+9\cdot A\cdot x+9\cdot B-3\cdot \left(A+3\cdot A\cdot x+3\cdot B\right)-18\cdot \left(A\ cdot x+B\right)=36\cdot x+12.$

Εκτελούμε ενέργειες στην αριστερή πλευρά της ισότητας που προκύπτει:

$-18\cdot A\cdot x+3\cdot A-18\cdot B=36\cdot x+12.$

Χρησιμοποιούμε τη μέθοδο NC. Παίρνουμε ένα σύστημα γραμμικών εξισώσεων με δύο άγνωστους:

$-18\cdot A=36;$

$3\cdot A-18\cdot B=12.$

Η λύση σε αυτό το σύστημα είναι: $A=-2$, $B=-1$.

Το CR $U=\left(A\cdot x+B\right)\cdot e^(3\cdot x) $ για το πρόβλημά μας μοιάζει με αυτό: $U=\left(-2\cdot x-1\right ) \cdot e^(3\cdot x) $.

Το OR $y=Y+U$ για το πρόβλημά μας μοιάζει με αυτό: $y=C_(1) \cdot e^(-3\cdot x) +C_(2) \cdot e^(6\cdot x) + \ αριστερά(-2\cdot x-1\right)\cdot e^(3\cdot x) $.

Για να αναζητήσουμε ένα PD που ικανοποιεί τις δεδομένες αρχικές συνθήκες, βρίσκουμε την παράγωγο $y"$ OR:

$y"=-3\cdot C_(1) \cdot e^(-3\cdot x) +6\cdot C_(2) \cdot e^(6\cdot x) -2\cdot e^(3\ cdot x) +\left(-2\cdot x-1\right)\cdot 3\cdot e^(3\cdot x) .$

Αντικαθιστούμε σε $y$ και $y"$ τις αρχικές συνθήκες $y=6$ για $x=0$ και $y"=1$ για $x=0$:

$6=C_(1) +C_(2) -1; $

$1=-3\cdot C_(1) +6\cdot C_(2) -2-3=-3\cdot C_(1) +6\cdot C_(2) -5.$

Έχουμε ένα σύστημα εξισώσεων:

$C_(1) +C_(2) =7;$

$-3\cdot C_(1) +6\cdot C_(2) =6,$

Το λύνουμε. Βρίσκουμε το $C_(1) $ χρησιμοποιώντας τον τύπο του Cramer και το $C_(2) $ προσδιορίζεται από την πρώτη εξίσωση:

$C_(1) =\frac(\left|\begin(array)(cc) (7) & (1) \\ (6) & (6) \end(array)\right|)(\left|\ start(array)(cc) (1) & (1) \\ (-3) & (6) \end(array)\right|) =\frac(7\cdot 6-6\cdot 1)(1\ cdot 6-\left(-3\right)\cdot 1) =\frac(36)(9) =4; C_(2) =7-C_(1) =7-4=3.$

Έτσι, το PD αυτής της διαφορικής εξίσωσης είναι: $y=4\cdot e^(-3\cdot x) +3\cdot e^(6\cdot x) +\left(-2\cdot x-1\right )\cdot e^(3\cdot x) $.

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

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

Πολλοί αναγνώστες μπορεί να έχουν την προκατάληψη ότι το ΔΕ της 2ης, 3ης και άλλων παραγγελιών είναι κάτι πολύ δύσκολο και απρόσιτο για mastering. Αυτό δεν είναι αληθινό . Η εκμάθηση επίλυσης διαχέσεων υψηλότερης τάξης δεν είναι σχεδόν πιο δύσκολη από τα «συνηθισμένα» DE 1ης τάξης. Και σε ορισμένα σημεία είναι ακόμα πιο εύκολο, αφού η ύλη του σχολικού προγράμματος σπουδών χρησιμοποιείται ενεργά στις αποφάσεις.

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

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

Οι διαφορικές εξισώσεις τρίτης τάξης σε πρακτικές εργασίες είναι πολύ λιγότερο κοινές, σύμφωνα με τις υποκειμενικές μου παρατηρήσεις στην Κρατική Δούμα, θα κέρδιζαν περίπου το 3-4% των ψήφων.

Σε μια διαφορική εξίσωση τρίτης τάξης αναγκαίωςπεριλαμβάνει την τρίτη παράγωγο και Δεν περιλαμβάνονταιπαράγωγα υψηλότερων τάξεων:

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

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

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

1) Η πρώτη ομάδα - η λεγόμενη εξισώσεις κατώτερης τάξης. Πετάξτε μέσα!

2) Η δεύτερη ομάδα - γραμμικές εξισώσεις υψηλότερης τάξης με σταθερούς συντελεστές. Το οποίο θα αρχίσουμε να εξετάζουμε τώρα.

Γραμμικές Διαφορικές Εξισώσεις Δεύτερης Τάξης
με σταθερούς συντελεστές

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

Ομογενής ΔΕ δεύτερης τάξης με σταθερούς συντελεστέςέχει την εξής μορφή:
, όπου και είναι σταθερές (αριθμοί), και στη δεξιά πλευρά - αυστηράμηδέν.

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

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

Σε ορισμένες περιπτώσεις, λόγω τυπογραφικού λάθους στην κατάσταση, μπορεί να εμφανιστούν «κακές» ρίζες, κάτι σαν . Τι να κάνετε, η απάντηση θα πρέπει να γραφτεί ως εξής:

Με «κακές» συζυγείς σύνθετες ρίζες όπως ούτε πρόβλημα, γενική λύση:

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

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

Γραμμικές ομοιογενείς εξισώσεις ανώτερης τάξης

Όλα είναι πολύ, πολύ παρόμοια.

Η γραμμική ομοιογενής εξίσωση τρίτης τάξης έχει την εξής μορφή:
, όπου είναι σταθερές.
Για αυτήν την εξίσωση, πρέπει επίσης να συνθέσετε μια χαρακτηριστική εξίσωση και να βρείτε τις ρίζες της. Η χαρακτηριστική εξίσωση, όπως πολλοί έχουν μαντέψει, μοιάζει με αυτό:
, και αυτό ΤΕΛΟΣ παντωνΕχει ακριβώς τρειςρίζα.

Ας, για παράδειγμα, όλες οι ρίζες είναι πραγματικές και διακριτές: , τότε η γενική λύση μπορεί να γραφτεί ως εξής:

Εάν η μία ρίζα είναι πραγματική και οι άλλες δύο είναι συζευγμένες μιγαδικές, τότε γράφουμε τη γενική λύση ως εξής:

Μια ειδική περίπτωση είναι όταν και οι τρεις ρίζες είναι πολλαπλές (ίδιες). Ας θεωρήσουμε την πιο απλή ομοιογενή ΔΕ 3ης τάξης με μοναχικό πατέρα: . Η χαρακτηριστική εξίσωση έχει τρεις μηδενικές ρίζες που συμπίπτουν. Γράφουμε τη γενική λύση ως εξής:

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

Παράδειγμα 9

Να λύσετε ομοιογενή διαφορική εξίσωση τρίτης τάξης

Λύση:Συνθέτουμε και λύνουμε τη χαρακτηριστική εξίσωση:

, - Λαμβάνονται μία πραγματική ρίζα και δύο συζευγμένες σύνθετες ρίζες.

Απάντηση:κοινή απόφαση

Ομοίως, μπορούμε να θεωρήσουμε μια γραμμική ομοιογενή εξίσωση τέταρτης τάξης με σταθερούς συντελεστές: , όπου είναι σταθερές.

ΚΑΤΗΓΟΡΙΕΣ

Δημοφιλή ΑΡΘΡΑ

2022 "kingad.ru" - υπερηχογραφική εξέταση ανθρώπινων οργάνων