Professional Documents
Culture Documents
ΚΕΧΑΓΙΑΣ ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΑΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ
ΚΕΧΑΓΙΑΣ ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΑΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ
ΚΕΧΑΓΙΑΣ ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΑΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ
αγ
Σηµειώσεις :
Συνήθεις ∆ιαφορικές Εξισώσεις
και Ολοκληρωτικοί Μετασχηµατιςµοί
εχ
v. 0.50
Θ. Κεχαγιάς
Φεβρουάριος 2015
.Κ
Αθ
ας
Περιεχόµενα
ι
iii
I ∆ΙΑΦΟΡΙΚ΄ΕΣ ΕΞΙΣ΄ΩΣΕΙΣ
2 ∆Ε 1ης Τάξης
αγ
1 Γενικά περί ∆ιαφορικών Εξισώσεων
10
εχ
4 Γραµµικές ∆Ε 1ης Τάξης 14
II ΟΛΟΚΛΗΡΩΤΙΚΟ΄Ι ΜΕΤΑΣΧΗΜΑΤΙΣΜΟ΄Ι 31
8 Σειρές Fourier 32
9 Μετασχηµατισµός Fourier 40
Αθ
11 Μετασχηµατισµός Laplace 54
12 Γενικευµένες Συναρτήσεις 60
III ΠΑΡΑΡΤ΄ΗΜΑΤΑ 77
Α΄ Μοντελοποίηση µε ∆Ε και Επίλυση µε Χρήση Υπολογιστή 78
85
i
ΠΕΡΙΕΧΟΜΕΝΑ ii
86
87
88
ας
89
90
90
90
91
92
92
ι
Β΄ ΒΙΒΛΙΟΓΡΑΦΙΑ 93
αγ
εχ
.Κ
Αθ
Αθ
.Κ
iii
εχ
αγ
ιας
ι ας
αγ
Μέρος I
∆ΙΑΦΟΡΙΚ΄ΕΣ ΕΞΙΣ΄ΩΣΕΙΣ
εχ
.Κ
Αθ
1
ας
Κεφάλαιο 1
ι
1.1 Θεωρία
αγ
1.1.1. ΟΡΙΣΜΟΣ: Μια διαφορική εξίσωση (∆Ε) είναι µια εξίσωση η οποία εµπλέκει µια άγνωστη
συνάρτηση (Π.χ. x (t ), y (x ) κτλ.) και τις παραγώγους αυτής.
1.1.3. ΟΡΙΣΜΟΣ: Μία λύση µιας ∆Ε, στο σύνολο A ⊆ R, είναι µια συνάρτηση x (t ) η οποία
ικανοποιεί την ∆Ε για κάθε τιµή του t ∈ A. Γενικότερα, ϑα λέµε ότι η λύση της ∆Ε (ή ένα
ολοκλήρωµα της ∆Ε) είναι µια σχέση της µορφής F (t, x (t )) = 0, την οποία ικανοποιεί (µαζί µε
την ∆Ε) η x (t ) για κάθε τιµή του t ∈ A.
1.1.4. ΠΑΡΑ∆ΕΙΓΜΑ:
Αθ
1. Η dx
dt
= x (t ) έχει λύση κάθε συνάρτηση της µορφής x (t ) = ce t .
2
2. ∆ύο λύσεις της ddt 2x − 5 dx
dt
+ 6x = 0 είναι οι x1 (t ) = e 2t και x2 (t ) = e 3t . Κάθε συναρτηση της
µορφής x (t ) = c1 e 2t + c2 e 3t είναι επίσης µια λύση.
2
ΚΕΦΑΛΑΙΟ 1. ΓΕΝΙΚΑ ΠΕΡΙ ∆ΙΑΦΟΡΙΚΩΝ ΕΞΙΣΩΣΕΩΝ 3
1.1.5. ΟΡΙΣΜΟΣ: Η τάξη µιας διαφορικής εξίσωσης είναι η µεγαλύτερη τάξη παραγώγου η
οποία εµφανίζεται στην ∆Ε.
ας
dn x d n −1 x dx
an (t ) + an −1 (t ) + ... + a1 (t ) + a0 (t ) x (t ) = F (x ) .
dt n dt n −1 dt
1.1.7. ΟΡΙΣΜΟΣ: Η τυπική µορφή µιας ∆Ε 1ης τάξης είναι
dx
= f (t, x ) . (1.1)
dt
ι
1.1.8. ΠΑΡΑΤΗΡΗΣΗ: ΄Οταν η ∆Ε (1.1) είναι γραµµική, µπορεί να γραφτεί στην µορφή
αγ
dx
+ p (t ) x = q (x ) ,
dt
δηλαδή f (t, x ) = q (x ) − xp (t ) .
προσδιορισµένες κλίσεις dx
dt
.
1.1.12. ΠΑΡΑΤΗΡΗΣΗ: ΄Ενας εναλλακτικός τρόπος ϑεώρησης της (1.2) είναι ο εξής. Γνωρίζουµε
ότι
dx x (t + ∆t ) − x (t )
dt ∆t
και η προσέγγιση είναι τόσο καλύτερη όσο το ∆t γίνεται µικρότερο. Ας επιλέξουµε ένα ∆t και ας
ϑέσουµε
x0 = x (0) , x1 = x (∆t ) , x2 = x (2 · ∆t ) , ..., xn = x (n · ∆t ) , ...
Τότε η (1.3) προσεγγίζεται από την
xn +1 − xn
= p (n ∆t ) xn + q (n ∆t ) , x0 δοσµένο. (1.4)
∆t
ΚΕΦΑΛΑΙΟ 1. ΓΕΝΙΚΑ ΠΕΡΙ ∆ΙΑΦΟΡΙΚΩΝ ΕΞΙΣΩΣΕΩΝ 4
Η (1.4) είναι µία εξίσωση διαφορών, την οποία µπορούµε να λύσουµε µε διάφορους τρόπους.
Μπορούµε π.χ., να χρησιµοποιήσουµε την δοσµένη τιµή x0 = x (0) και την (1.4) µε n = 1 για
να υπολογίσουµε την x1 = x (∆t ), κατόπιν να χρησιµοποιήσουµε την δοσµένη τιµή x1 για να
υπολογίσουµε την x2 = x (2∆t ) κ.ο.κ. ΄Ετσι µπορούµε να υπολογίσουµε (προσεγγιστικά) τις
ας
τιµές της x (t ) στα σηµεία x (0) , x (∆t ) , x (2∆t ) , ... . ΄Οσο µικρότερο γίνεται το ∆t τόσο πυκνότερο
ϑα είναι το ¨δίκτυο¨ των τιµών t στις οποίες ϑα γνωρίζουµε την x (t ) (και, ελπίζουµε, µε τόσο
µεγαλύτερη ακρίβεια). Μπορούµε λοιπόν να δούµε την ∆Ε (1.2) ως την ¨οριακή µορφή¨ της
εξίσωσης διαφορών (1.4).
1.1.13. ΠΑΡΑΤΗΡΗΣΗ: Παρατηρούµε επίσης ότι η (1.4) µπορεί να ϑεωρηθεί ως ένα άπειρο
σύστηµα γραµµικών αλγεβρικών εξισώσεων της µορφής
ι
(1 − ∆t · p (0)) x0 − x1 = −∆t · q (0)
αγ
(1 − ∆t · p (∆t )) x1 − x2 = −∆t · q (∆t )
...
Υπό αυτή την έννοια, µία ∆Ε είναι ¨περίπου ισοδύναµη¨ µε µία απειρία αλγεβρικών εξισώσεων.
1.1.14. ΠΑΡΑΤΗΡΗΣΗ: Οι παραπάνω παρατηρήσεις ισχύουν όχι µόνο για γραµµικές αλλά και
για µη γραµµικές εξισώσεις, οποιασδήποτε τάξης και ϑα µας ϕανούν χρήσιµες στα επόµενα
κεφάλαια.
εχ
1.2 Λυµένα Προβλήµατα
Κεφ. 1: Παραδείγµατα : 2.1, 3.1-3, 4.1, 4.2, 4.4. (Από το ϐιβλίο ∆ιαφορικές Εξισώσεις, Κ.Ι.
Σεραφειµίδη, Γ΄ ΄Εκδοση.)
.Κ
1. dx
dt
= 3x.
2. t dx + t 2 x = sin t.
Αθ
dt
3. x dx
dt
+ t 2 = sin t.
2
4. dx
dt
+ e t x = 4.
Απ. Η 1 και 2 είναι γραµµικές, η 3 και 4 όχι.
1.3.2. Λύστε την ∆Ε dx
dt
= t.
Απ. x (t ) = 12 t 2 + C.
1.3.3. Λύστε την ∆Ε dx
dt
= 2x.
Απ. x (t ) = Ce 2t .
1.3.4. Λύστε την ∆Ε dx
dt
= 2x µε αρχική συνθήκη x (0) = 5.
Απ. x (t ) = 5e 2t .
ΚΕΦΑΛΑΙΟ 1. ΓΕΝΙΚΑ ΠΕΡΙ ∆ΙΑΦΟΡΙΚΩΝ ΕΞΙΣΩΣΕΩΝ 5
ας
1.4.2. Θεωρείστε την ∆Ε √
dx − (t + 2) + t 2 + 4t + 4x
= .
dt 2
Επαληθεύστε ότι οι συναρτήσεις
y1 (t ) = c 2 + ct + 2c + 1,
t 2 + 4t
ι
y2 (t ) = − ,
4
αγ
είναι λύσεις της ∆Ε, η κάθε µία σε διαφορετικό διάστηµα [t1 , t2 ]. Προσδιορίστε τα αντίστοιχα
διαστήµατα.
√
1.4.3. ∆είξτε ότι η ∆Ε dx
dt
= |x |, x 12 = 1
16
έχει άπειρες λύσεις.
1.4.5. ∆ίνεται η ∆Ε dx
dt
= x · (1 − x (t )), x (0) = c µε λύση x (t ; c ), η οποία είναι συνάρτηση της
εχ
σταθεράς c. Αποδείξτε ότι : (α) για c ∈ (0, 1) η x (t ) είναι αύξουσα και (ϐ) για c ∈ (1, ∞) η x (t )
είναι ϕθίνουσα. Τι συµβαίνει για c ∈ (−∞, 1);
.Κ
Αθ
ας
Κεφάλαιο 2
∆Ε 1ης Τάξης
ι
2.1 Θεωρία
αγ
2.1.1. ΠΑΡΑΤΗΡΗΣΗ: Θυµηθείτε ότι η τυπική µορφή µιας ∆Ε 1ης τάξης είναι
΄Οµως η συνάρτηση f (t, x ) µπορεί πάντα να γραφτεί στην µορφή
f (t, x ) = −
M (t, x )
N (t, x )
dx
dt
= f (t, x ).
(2.1)
εχ
και άρα η ∆Ε 1ης τάξης µπορεί πάντα να γραφτεί στην µορφή
∀a ∈ R : f (ax, at ) = f (x, t )
τότε λέµε ότι η ∆Ε είναι οµοιογενής.
2.1.5. ΘΕΩΡΗΜΑ : ΄Εστω η ∆Ε 1ης τάξης
dx
= f (t, x ) (2.4)
dt
όπου η f (x, t ) είναι οµοιογενής. Τότε µε τις αντικαταστάσεις
dx dv
x = vt, = t+v
dt dt
η (2.4) µετασχηµατίζεται σε µία χωριζόµενη ∆Ε.
6
ΚΕΦΑΛΑΙΟ 2. ∆Ε 1ΗΣ ΤΑΞΗΣ 7
ας
τότε η (2.5) λέγεται ακριβής ∆Ε και η γενική της λύση είναι F (t, x ) = c.
∂N ∂M
= . (2.6)
∂t ∂x
2.1.8. ΟΡΙΣΜΟΣ: Αν υπάρχει συνάρτηση G (t, x ) τέτοια ώστε η
ι
G (t, x ) M (t, x ) dt + G (t, x ) N (t, x ) dx = 0 (2.7)
αγ
να είναι ακριβής ∆Ε, τότε η G (t, x ) λέγεται ολοκληρωτικός παράγοντας της
M (t, x ) dt + N (t, x ) dx = 0
Απ. x (t ) = − cos (t ) + c1
x (t ) = x (t )
d sin(t )
2.3.4. Λυστε την ∆Ε : dt
√ √
Απ. x (t ) = −2 cos (t ) + c1 , x (t ) = − −2 cos (t ) + c1
3
2.3.5. Λυστε την ∆Ε : (t ) = xt(t )
d
dt
x
√ 4 √
Απ. x (t ) = −1/2 2 t + 4 c1 , x (t ) = 1/2 2 t 4 + 4 c1
ας
dt
−1
Απ. x (t ) = 4 −t 4 + 4 c1
ι
et
2.3.11. Λυστε την ∆Ε : d
x (t ) = µε αρχικη συνθηκη x (0) = 2
αγ
dt x (t )
√
Απ. x (t ) = 2e + 2
t
x (t ) = x (t )
d sin(t )
2.3.12. Λυστε την ∆Ε : dt
√ √
Απ. x (t ) = −2 cos (t ) + c1 , x (t ) = − −2 cos (t ) + c1
3
2.3.13. Λυστε την ∆Ε : d
dt
x (t ) = xt(t )
√ √
Απ. x (t ) = −1/2 2 t 4 + 4 c1 , x (t ) = 1/2 2 t 4 + 4 c1
εχ
2.3.14. Λυστε την ∆Ε : d
dt
(t ) = tx1(t )
x
√ √
Απ. x (t ) = 2 ln (t ) + c1 , x (t ) = − 2 ln (t ) + c1
t2
Απ. x (t ) = (ln (t ) + c1 ) t1
(x (t ))2 t +t 2 x (t )
2.3.17. Λυστε την ∆Ε : d
dt
x (t ) = t 2 x (t )
Απ. x (t ) = (ln (t ) + c1 ) t
tx (t )+t 2
2.3.18. Λυστε την ∆Ε : d
dt
x (t ) = t2
µε αρχικη συνθηκη : x (1) = 4
Απ. x (t ) = (ln (t ) + 4) t
Αθ
x (t )et +x (t )
2.3.23. Λυστε την ∆Ε : d
dt
x (t ) = e t +t
Απ. x (t ) = c1 t13/2
ας
dt
Απ. x (t ) = c1 t13/2
2
2.3.25. Λυστε την ∆Ε : d
dt
x (t ) = 1/2 (x (tx))(t ) cos(t )+1
sin(t )
Απ. x (t ) = c1 t13/2
ι
x (t ) ln(e )t +x (t ) ln(e )−x (t )−3 e −t
2.3.27. Λυστε την ∆Ε : d
x (t ) =
αγ
dt t +1
Απ. x (t ) = c1 t13/2
2.4.5. ∆ίνεται η ∆Ε dx
dt
= f (t, x ), x (0) = c µε λύση την x (t ). ∆είξτε ότι η σειρά συναρτήσεων η
οποία προκύπτει από την παρακάτω επαναληπτική διαδικασία
Z t
Αθ
x0 (t ) = c, ∀n : xn +1 (t ) = c + f (s, xn (s)) ds
0
ικανοποιεί
∀t : lim xn (t ) = x (t ) .
n →∞
ας
Κεφάλαιο 3
ι
3.1 Θεωρία
3.1.1. ΘΕΩΡΗΜΑ : ΄Εστω η γραµµµική ∆Ε n-στης τάξης
an (t )
dn x
dt n
+ an −1 (t ) αγ
d n −1 x
dt n −1
+ .... + a1 (t )
dx
dt
+ a0 (t ) x = f (t ) (3.1)
εχ
µε αρχικές συνθήκες
d n x
dx
x (t0 ) = b0 , = b2 , ...,
n
= bn . (3.2)
dt t =t 0 dt t =t 0
dn x d n −1 x dx
an (t ) + an −1 (t ) + .... + a1 (t ) + a0 (t ) x = 0. (3.3)
dt n dt n −1 dt
λέγεται οµογενής.
dn x d n −1 x dx
an (t ) + an −1 (t ) + .... + a1 (t ) + a0 (t ) x = 0. (3.4)
dt n dt n −1 dt
Αν οι x1 (t ), x2 (t ), ..., xK (t ) είναι λύσεις της (3.4), τότε και η
x (t ) = c1 x1 (t ) + c2 x2 (t ) + ... + cK xK (t )
10
ΚΕΦΑΛΑΙΟ 3. ΓΡΑΜΜΙΚΕΣ ∆Ε : Ι∆ΙΟΤΗΤΕΣ ΤΩΝ ΛΥΣΕΩΝ 11
3.1.5. ΟΡΙΣΜΟΣ : ΄Ενα σύνολο συναρτήσεων {x1 (t ) , x2 (t ) , ..., xK (t )} λέγεται γραµµικά εξαρτηµέ-
νο στο σύνολο A ανν υπάρχουν σταθερές c1 , ..., cK τέτοιες ώστε
1. ∃k : ck , 0,
ας
2. ∀t ∈ A : c1 x1 (t ) + c2 x2 (t ) + ... + cK xK (t ) = 0.
Αν το σύνολο {x1 (t ) , x2 (t ) , ..., xK (t )} δεν είναι γραµµικά εξαρτηµένο στο σύνολο A, τότε
λέµε ότι είναι γραµµικά ανεξάρτητο.
3.1.6. ΘΕΩΡΗΜΑ : Η οµογενής γραµµµική ∆Ε n-στης τάξης
dn x d n −1 x dx
an (t ) + an −1 (t ) + .... + a1 (t )
+ a0 (t ) x = 0 (3.5)
ι
dt n dt n −1
dt
έχει πάντοτε ένα γραµµικά ανεξάρτητο σύνολο {x1 (t ) , x2 (t ) , ..., xK (t )} λύσεων στο [t1 , t2 ]. Επι-
αγ
πλέον, κάθε άλλη λύση x (t ) της (3.5) µπορεί να γραφτεί στην µορφή
x (t ) = c1 x1 (t ) + c2 x2 (t ) + ... + cK xK (t ) . (3.6)
∆ηλαδή η (3.6) είναι η γενική λύση της (3.8).
3.1.7. ΟΡΙΣΜΟΣ : Εάν το σύνολο {x1 (t ) , x2 (t ) , ..., xK (t )} έχει τις ιδιότητες του παραπάνω ϑεω-
ϱήµατος, τότε λέµε ότι είναι ένα ϑεµελιώδες σύνολο λύσεων της (3.5).
3.1.8. ΟΡΙΣΜΟΣ : ΄Εστω συναρτήσεις x1 (t ) , x2 (t ) , ..., xK (t ) οι οποίες είναι (n − 1)-παραγωγίσιµες.
εχ
Η ορίζουσα
x1 x2 ... xK
dx1 dx2
... dxK
W (x1 , ..., xK ) = ...
dt dt dt
... ... ... (3.7)
(n −1) ( n −1 ) (n −1)
dx1 dx2 dxK
dt (n −1) dt (n −1)
... dt (n −1)
λέγεται Wronskianή ορίζουσα των x1 (t ) , x2 (t ) , ..., xK (t ).
.Κ
και οι x1 (t ), x2 (t ), ..., xK (t ) είναι λύσεις της (3.8) στο A. Ανν W (x1 , ..., xK ) , 0 για κάθε t ∈ [t1 , t2 ],
τότε το σύνολο {x1 (t ) , x2 (t ) , ..., xn (t )} είναι ένα ϑεµελιώδες σύνολο λύσεων της (3.8) στο [t1 , t2 ].
3.1.11. ΘΕΩΡΗΜΑ : Υπάρχει ένα ϑεµελιώδες σύνολο λύσεων της (3.8) στο [t1 , t2 ].
3.1.12. ΘΕΩΡΗΜΑ : ΄Εστω η µη οµογενής γραµµµική ∆Ε n-στης τάξης
dn x d n −1 x dx
an (t ) + an −1 (t ) + .... + a1 (t )
+ a0 (t ) x = f (t ) (3.9)
dt n dt n −1 dt
x (t ) µία λύση της (3.9). Επίσης, έστω {x1 (t ) , x2 (t ) , ..., xK (t )} ένα ϑεµελιώδες σύνολο λύσεων
και b
στο [t1 , t2 ] της αντίστοιχης οµογενούς ∆Ε (3.8). Τότε κάθε λύση της (3.9) στο A έχει την µορφή
x (t ) = c1 x1 (t ) + c2 x2 (t ) + ... + cK xK (t ) + b
x (t ) . (3.10)
∆ηλαδή η (3.10) είναι η γενική λύση της (3.9).
ΚΕΦΑΛΑΙΟ 3. ΓΡΑΜΜΙΚΕΣ ∆Ε : Ι∆ΙΟΤΗΤΕΣ ΤΩΝ ΛΥΣΕΩΝ 12
ας
΄Εκδοση.)
ι
2
3.3.2. Μία διπαραµετρική οικογένεια λύσεων της t ddt 2x − dx = 0 είναι οι x (t ) = c1 t 2 + c2 . ∆είξτε
αγ
dt
ότι δεν υπάρχει µέλος x (t ) αυτής της οικογένειας τέτοιο ώστε x (0) = 0, dx
= 1. ΄Ερχεται αυτό
dt t =0
σε αντίθεση µε το Θεώρηµα 3.1.1;
3.3.3. Σε συνέχεια του προηγούµενου προβλήµατος, ϐρείτε µία x (t ) τέτοια ώστε x (0) = 1, dx =
dt t =1
6. Μπορούµε να χρησιµοποιήσουµε το Θεώρηµα 3.1.1 και να συµπεράνουµε ότι η x (t ) είναι
µοναδική ; Μπορείτε να ϐρείτε µία ακόµη λύση ;
d2x
3.3.7. Είναι το {e t , sinh t, cosh t } ένα ϑεµελιώδες σύνολο λύσεων της dt 2
= x;
Απ. ΄Οχι.
d2x
3.3.8. Είναι το {sinh t, cosh t } ένα ϑεµελιώδες σύνολο λύσεων της dt 2
= x;
Απ. Ναι.
Αθ
d2x
3.3.9. Είναι το {e t , e −t } ένα ϑεµελιώδες σύνολο λύσεων της dt 2
= x;
Απ. Ναι.
n o 3 2
3.3.10. Είναι το x, x12 , lnx 2x ένα ϑεµελιώδες σύνολο λύσεων της t 3 ddt 3x + 6t 2 ddt 2x + 4x dx
dt
− 4x = 0;
Απ. Ναι.
d2
3.3.11. Είναι η x (t ) = c1 e −t + c2 e −2t − 23 t + 12 t 2 + 7
4
η γενική λύση της dt 2
x + 3 dtd x + 2x = t 2 ;
Απ. Ναι.
3t 2 −c2 2
3.3.12. Είναι η x (t ) = c1 t 2 − 6t
d
η γενική λύση της t 2 dt 2 x − 2x = t;
Απ. Ναι.
ΚΕΦΑΛΑΙΟ 3. ΓΡΑΜΜΙΚΕΣ ∆Ε : Ι∆ΙΟΤΗΤΕΣ ΤΩΝ ΛΥΣΕΩΝ 13
ας
2
3.4.2. ΄Εστω ότι x1 (t ) , x2 (t ) είναι δύο λύσεις της ddt 2x + p (t ) dx
dt
+ r (t ) x = 0, όπου οι p (t ) , q (t )
είναι συνεχείς στο [t1 , t2 ]. Τότε, για κάθε t, t0 ∈ (t1 , t2 ) ισχύει
Rt
− p(s)ds
W (x1 , x2 ) = W (x1 , x2 ) |t =t0 e t0
.
3.4.3. Λέµε ότι το σύνολο συναρτήσεων F είναι διανυσµατικός χώρος ανν έχει την εξής ιδιότητα :
ι
όταν οι f (t ) , g (t ) ∈ F τότε η h (t ) = af (t ) + bg (t ) (όπου a, b ∈ R) ανήκει στο F. ∆είξτε ότι το
σύνολο των λύσεων της
an (t )
dn x
dt n
+ an −1 (t )
αγd n −1 x
dt n −1
είναι διανυσµατικός χώρος. Τι ισχύει για το σύνολο των λύσεων της
an (t )
dn x
dt n
+ an −1 (t )
d n −1 x
dt n −1
+ .... + a1 (t )
+ .... + a1 (t )
dx
dt
dx
dt
+ a0 (t ) x = 0
+ a0 (t ) x = f (t ) .
(3.11)
(3.12)
εχ
√
3.4.4. ∆είξτε ότι το σύνολο των λύσεων της ∆Ε dx
dt
= |x | δεν είναι διανυσµατικός χώρος.
3.4.5. Αποδείξτε το εξής. ΄Εστω ότι οι x1 (t ) , ..., xN (t ) είναι συνεχείς στο [t1 , t2 ] και ορίζουµε
Z t2
aij = xi (t ) xj (t ) dt.
t1
.Κ
ι
4.1 Θεωρία
4.1.1. ΘΕΩΡΗΜΑ: Η γραµµική ∆Ε 1ης τάξης
x (t ) = e −
R
αγ
p(t )dt
dx
dt
Z R
e
+ p (t ) x = q (x ) έχει γενική λύση την
p(t )dt
!
q (t ) ds + c .
εχ
4.1.2. ΠΟΡΙΣΜΑ: Η γραµµική ∆Ε 1ης τάξης + ax = b έχει γενική λύση την
dx
dt
b b
x (t ) = e −at e at + c = + ce −at .
a a
4.1.3. ΟΡΙΣΜΟΣ: Η ∆Ε Bernoulli έχει την µορφή (µε n , 0 και n , 1):
dx
+ p (t ) x = q (x ) x n .
.Κ
dt
4.1.4. ΘΕΩΡΗΜΑ: ΄Εστω η ∆Ε Bernoulli µε την µορφή dx dt
+ p (t ) x = q (x ) x n . Με την αντικατά-
σταση v = x 1−n
(οπότε και dt = (1 − n ) x dt ) η εξίσωση µεταρέπεται σε µία γραµµική ∆Ε 1ης
dv −n dx
Κεφ. 2: Παραδείγµατα : 4.1-4, 5.1-4, 6.1-4. (Από το ϐιβλίο ∆ιαφορικές Εξισώσεις, Κ. Σεραφει-
µίδη, Γ΄ ΄Εκδοση.)
Βρονσον : 6.2, 6.4, 6.6, 6.8, 6.11, 6.16, 6.17
14
ΚΕΦΑΛΑΙΟ 4. ΓΡΑΜΜΙΚΕΣ ∆Ε 1ΗΣ ΤΑΞΗΣ 15
ας
Απ. x (t ) = −1 + e1/3 t c1
3
ι
4.3.7. Λυστε την ∆Ε : ddt x (t ) + 5 tx (t ) = t 3
αγ
Απ. x (t ) = 1/5 t 2 − 25 + e−5/2 t c1
2 2
125
− 25
εχ
4.3.10. Λυστε την ∆Ε : ddt x (t ) − 2
x (t )
t2
= −3 t −2
Απ. x (t ) = 3/2 + e−2 t c1
−1
3 t
ας
∀ε > 0∃δ > 0 : ∀t ∈ [t1 , t2 ] : |c1 − c2 | < δ ⇒ |f (t ; c1 ) − f (t ; c2 )| < ε.
ι
dt
4.4.3. Αποδείξτε : η ∆Ε x = t dx
dt
+ f dx
dt
έχει λύση την x = ct + f (c ) .
2. Η dx
dt
dx
dt
αγ
4.4.4. ΄Εστω f (t ) συνάρτηση συνεχής και ϕραγµένη στο [0, ∞) και k ϑετική σταθερά. Αποδείξτε :
4.4.5. ΄Εστω f (t ) συνάρτηση τέτοια ώστε limt →∞ f (t ) = m και k ϑετική σταθερά. Αποδείξτε : για
εχ
κάθε λύση x (t ) της dx
dt
+ kx = f (t ) ισχύει limt →∞ f (t ) = mk .
.Κ
Αθ
ας
Κεφάλαιο 5
ι
5.1 Θεωρία
dt n
+ a n −1 αγ
5.1.1. ΟΡΙΣΜΟΣ: Μία γραµµική ∆Ε µε σταθερούς συντελεστές έχει την µορφή :
dn x d n −1 x
dt n −1
+ ... + a1
dx
dt
+ a0 x = f (t ) . (5.1)
εχ
Εάν f (t ) = 0, τότε η ∆Ε γράφεται
dn x d n −1 x dx
+ a n −1 + ... + a1 + a0 x = 0. (5.2)
dt n dt n −1 dt
και λέγεται οµογενής.
d n x
dx
x (0) = x0 , = x1 , ...,
n
= xn . (5.3)
dt t =0 dt t =0
2. Η ∆Ε (5.2) µε αρχικές συνθήκες (5.3) έχει µοναδική λύση x (t ), καλώς ορισµένη στο [t1 , t2 ].
5.1.3. ΘΕΩΡΗΜΑ: Η ∆Ε (5.2) έχει n γραµµικά ανεξάρτητες λύσεις x1 (t ) , ..., xn (t ) και κάθε
λύση x (t ) της (5.2) έχει την µορφή
x (t ) = c1 x1 (t ) + ... + cn xn (t ) . (5.4)
z n + an −1 z n −1 + ... + a1 z + a0 = 0. (5.5)
5.1.5. ΘΕΩΡΗΜΑ: ΄Εστω ότι η λ είναι ϱίζα πολλαπλότητας k της (5.5). Τότε η (5.2) έχει τις εξής
γραµµικά ανεξάρτητες λύσεις e λt , te λt , ..., t k −1 e λt .
17
ΚΕΦΑΛΑΙΟ 5. ΓΡΑΜΜΙΚΕΣ ∆Ε ΜΕ ΣΤΑΘΕΡΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ 18
ας
µε χαρακτηριστική εξίσωση z 2 + a1 z + a0 = 0 και ϱίζες λ1 , λ2 . Τότε ισχύουν τα εξής.
2. Αν λ1 = a + ib , λ2 = a − ib, τότε η γενική λύση της (5.6) µπορεί επίσης να γραφεί και ως
x (t ) = c1 e at sin bt + c2 e at cos bt.
ι
5.1.7. ΘΕΩΡΗΜΑ: ΄Εστω ότι (α) η f (t ) είναι συνεχής σε κάποιο διάστηµα [t1 , t2 ], (ϐ) x1 (t ) , ..., xn (t )
αγ
είναι n γραµµικά ανεξάρτητες λύσεις της (5.2) και (γ) e x (t ) είναι µία λύση της (5.1). Τότε κάθε
λύση της (5.1) έχει την µορφή
x (t ) = c1 x1 (t ) + ... + cn xn (t ) + e
x (t ) .
5.1.8. ΠΑΡΑΤΗΡΗΣΗ: Από το Θεώρηµα 5.1.7 ϕαίνεται ότι για να ϐρούµε την γενική λύση
x (t ). Σε αρκετές περιπτώσεις µπορούµε να ϐρούµε
της (5.1) χρειαζόµαστε µία ειδική λύση e
µία τέτοια χρησιµοποιώντας την µέθοδο των απροσδιόριστων συντελεστών, σύµφωνα µε τους
εχ
ακόλουθους κανόνες (σε κάθε περίπτωση υποθέτουµε ότι η e x (t ) έχει την ενδεικνύµενη µορφή
και προσδιορίζουµε τους κατάλληλους συντελεστές).
n −1
dn x
1. Για την dt n
+ an −1 ddt n−1x + ... + a1 dx
dt
+ a0 x = be µx δοκιµάζουµε λύσεις της µορφής e
x (t ) = ce µx .
n n −1
2. Για την ddt nx + an −1 ddt n−1x + ... + a1 dx
dt
+ a0 x = b1 sin µx + b2 cos µx δοκιµάζουµε λύσεις της
x (t ) = c1 sin µx + c2 cos µx .
.Κ
µορφής e
n n −1
3. Για την ddt nx + an −1 ddt n−1x + ... + a1 dx
dt
+ a0 x = b0 + b1 x + ... + bk x k δοκιµάζουµε λύσεις της
µορφής ex (t ) = c0 + c1 x + ... + ck x k .
n n −1
4. Για την ddt nx + an −1 ddt n−1x + ... + a1 dx + a0 x = b0 + b1 x + ... + bk x k e µx δοκιµάζουµε λύσεις
dt
x (t ) = c0 + c1 x + ... + ck x k e µx .
της µορφής e
Αθ
n n −1
5. Για την ddt nx + an −1 ddt n−1x + ... + a1 dx + a0 x = b0 + b1 x + ... + bk x k (p1 sin µx + p2 cos µx )
dt
x (t ) = c0 + c1 x + ... + ck x k (p1 sin µx + p2 cos µx ) .
δοκιµάζουµε λύσεις της µορφής e
6. Για ∆Ε στις οποίες ο µη οµογενής όρος είναι συνδυασµός των των παραπάνω δοκιµάζουµε
λύσεις οι οποίες είναι κατάλληλοι γραµµικοί συνδυασµοί των παραπάνω µορφών.
ας
2
5.3.2. Λυστε την ∆Ε : ddt 2 x (t ) − 4 ddt x (t ) − 5 x (t ) = 0
Απ. x (t ) = c1 e−t + c2 e5 t
2
5.3.3. Λυστε την ∆Ε : ddt 2 x (t ) − 10 ddt x (t ) + 25 x (t ) = 0
Απ. x (t ) = c1 e5 t + c2 e5 t t
2
5.3.4. Λυστε την ∆Ε : ddt 2 x (t ) − 10 ddt x (t ) + 29 x (t ) = 0
ι
Απ. x (t ) = c1 e5 t sin (2 t ) + c2 e5 t cos (2 t )
αγ
3 2
5.3.5. Λυστε την ∆Ε : ddt 3 x (t ) + 6 ddt 2 x (t ) + 11 ddt x (t ) + 6 x (t ) = 0
Απ. x (t ) = c1 e−t + c2 e−3 t + _C3 e−2 t
3 2
5.3.6. Λυστε την ∆Ε : ddt 3 x (t ) − 7 ddt 2 x (t ) − ddt x (t ) + 87 x (t ) = 0
Απ. x (t ) = c1 e−3 t + c2 e5 t sin (2 t ) + _C3 e5 t cos (2 t )
3 2
5.3.7. Λυστε την ∆Ε : ddt 3 x (t ) + 12 ddt 2 x (t ) + 48 ddt x (t ) + 64 x (t ) = 0
Απ. x (t ) = c1 e−4 t + c2 e−4 t t + _C3 e−4 t t 2
εχ
d2
5.3.8. Λυστε την ∆Ε : dt 2
x (t ) − 5 ddt x (t ) + 6 x (t ) = 0 µε αρχικες συνθηκες : x (0) = 2 και
∆ (x ) (0) = 1
Απ. x (t ) = 5 e2 t − 3 e3 t
2
5.3.9. Λυστε την ∆Ε : ddt 2 x (t ) − 10 ddt x (t ) + 25 x (t ) = 0 µε αρχικες συνθηκες : x (0) = 2 και
∆ (x ) (0) = 1
.Κ
Απ. x (t ) = 2 e5 t − 9 e5 t t
2
5.3.10. Λυστε την ∆Ε : ddt 2 x (t ) − 10 ddt x (t ) + 29 x (t ) = 0 µε αρχικες συνθηκες : x (0) = 2 και
∆ (x ) (0) = 1
Απ. x (t ) = −9/2 e5 t sin (2 t ) + 2 e5 t cos (2 t )
2
5.3.11. Λυστε την ∆Ε : ddt 2 x (t ) − 5 ddt x (t ) + 6 x (t ) = 3 t 2 − 2 t + 4
Αθ
2
5.3.14. Λυστε την ∆Ε : ddt 2 x (t ) + x (t ) = cos (t ) + 2 sin (t )
Απ. x (t ) = sin (t ) c2 + cos (t ) c1 + 1/2 cos (t ) + 1/2 sin (t ) t − cos (t ) t
2
5.3.15. Λυστε την ∆Ε : ddt 2 x (t ) − 5 ddt x (t ) + 6 x (t ) = 4 e t
t
Απ. x (t ) = e2 t c2 + e3 t c1 + 4 6−5 ln(ee)+(ln(e))2
ΚΕΦΑΛΑΙΟ 5. ΓΡΑΜΜΙΚΕΣ ∆Ε ΜΕ ΣΤΑΘΕΡΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ 20
2
5.3.16. Λυστε την ∆Ε : ddt 2 x (t ) − 4 ddt x (t ) + 4 x (t ) = 3 e t
t
Απ. x (t ) = e2 t c2 + e2 t t c1 + 3 (ln(ee)−2)2
d2
(t ) − 5 ddt x (t ) + 6 x (t ) = e t + 2 t + 1
ας
5.3.17. Λυστε την ∆Ε : dt 2
x
9 e t +(3 t +4)(ln(e ))2 +(−15 t −20) ln(e )+18 t +24
Απ. x (t ) = e2 t c2 + e3 t c1 + 9 (ln(e ))2 −45 ln(e )+54
d2
5.3.18. Λυστε την ∆Ε : (t ) + x (t ) = cos (t ) + 2 e t
dt 2
x
cos(t )((ln(e ))2 +1) cos(2 t )+sin(t )((ln(e ))2 +1) sin(2 t )+8 e t +(2 (ln(e ))2 t +2 t ) sin(t )
Απ. x (t ) = sin (t ) c2 + cos (t ) c1 + 4 (ln(e ))2 +4
3 2
5.3.19. Λυστε την ∆Ε : ddt 3 x (t ) + 6 ddt 2 x (t ) + 11 ddt x (t ) + 6 x (t ) = 0
ι
Απ. x (t ) = c1 e−t + c2 e−3 t + _C3 e−2 t
αγ
3 2
5.3.20. Λυστε την ∆Ε : ddt 3 x (t ) + 6 ddt 2 x (t ) + 11 ddt x (t ) + 6 x (t ) = 0
Απ. x (t ) = c1 e−t + c2 e−3 t + _C3 e−2 t
3 2
5.3.21. Λυστε την ∆Ε : ddt 3 x (t ) − 7 ddt 2 x (t ) − ddt x (t ) + 87 x (t ) = 0
Απ. x (t ) = c1 e−3 t + c2 e5 t sin (2 t ) + _C3 e5 t cos (2 t )
3 2
5.3.22. Λυστε την ∆Ε : ddt 3 x (t ) + 12 ddt 2 x (t ) + 48 ddt x (t ) + 64 x (t ) = 0
Απ. x (t ) = c1 e−4 t + c2 e−4 t t + _C3 e−4 t t 2
εχ
5.4 Προχωρηµένα Αλυτα Προβλήµατα
d2
5.4.1. ∆είξτε ότι η ∆Ε : dt 2
x (t ) + a d
dt
x (t ) + b x (t ) = F (t ), µε ϱίζες της χαρακτηριστικής εξίσωσης
z1 , z2 , έχει λύση την
e z1 t e z2 t
.Κ
Z Z
x (t ) = c1 e z1 t
+ c2 e z2 t
+ e −z1 t
F (t ) dt + e −z2 t F (t ) dt.
z1 − z2 z2 − z1
dn x d n −1 x dx
tn + a n −1 t n −1 + ... + a1 t + a0 x = 0
dt n dt n −1 dt
Αθ
λέγεται εξίσωση του Euler. ∆είξτε ότι κάθε εξίσωση του Euler µετατρέπεται σε µία γραµµική ∆Ε
µε την αντικατάσταση t = e u .
d2x dx
(pt + q)2 + a (pt + q) + a0 x = 0
dt 2 dt
σε ∆Ε µε σταθερούς συντελεστές και λύστε αυτήν. Ποιες συνθήκες πρέπει να ικανοποιούν οι
συντελεστές a, b.
5.4.4. Σχηµατίστε οµογενείς ∆Ε µε σταθερούς συντελεστές οι οποίες να έχουν (α) την µικρότερη
δυνατή τάξη και (ϐ) τις λύσεις που αναγράφονται σε κάθε παρακάτω περίπτωση : (1) xe −3x , (2)
x 2 sin x, (3) cos x + e −2x .
ΚΕΦΑΛΑΙΟ 5. ΓΡΑΜΜΙΚΕΣ ∆Ε ΜΕ ΣΤΑΘΕΡΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ 21
ας
έχει µερική λύση την
Ae ct
x (t ) =
c n + an −1 c n −1 + ... + a1 c + a0
e
ι
αγ
εχ
.Κ
Αθ
ας
Κεφάλαιο 6
ι
Συντελεστές
6.1 Θεωρία
6.1.1. ΠΑΡΑΤΗΡΗΣΗ: Το σύστηµα ∆Ε
dx1
αγ
= a11 x1 (t ) + a12 x2 (t ) + ... + a1n xn (t ) + f1 (t ) , x1 (0) = b1 ,
εχ
dt
dx2
= a21 x1 (t ) + a22 x2 (t ) + ... + a2n xn (t ) + f2 (t ) , x2 (0) = b2 ,
dt
...
dxn
= an1 x1 (t ) + an2 x1 (t ) + ... + ann xn (t ) + f1 (t ) , xn (0) = bn ,
dt
.Κ
6.1.3. ΠΑΡΑΤΗΡΗΣΗ: Η ∆Ε
dn x d n −1 x dx
+ a n −1 + ... + a1 + a0 x = f (t )
dt n dt n −1 dt
22
ΚΕΦΑΛΑΙΟ 6. ΣΥΣΤΗΜΑΤΑ ΓΡΑΜΜΙΚΩΝ ∆Ε ΜΕ ΣΤΑΘΕΡΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ 23
ας
2
d
=
+
... ... ... ... ... ... ... ... ,
dt
yn −1 (t ) 0 0 0 ... 1 yn −1 (t ) 0
yn (t ) −a1 −a2 −a3 ... −an yn (t ) f (t )
όπου
dx d n −1 x dn x
y1 (t ) = x (t ) , y2 (t ) = , ..., yn −1 (t ) = n −1
, yn (t ) = .
dt dt dt n
ι
6.2 Λυµένα Προβλήµατα
6.3
Βρονσον : 26.8, 17.8, 26.1, 17.2, 26.6.
Αλυτα Προβλήµατα
αγ
Κεφ. 8: Παραδείγµατα : 7.1-8, 6.1-6. (Από το ϐιβλίο ∆ιαφορικές Εξισώσεις, Κ. Σεραφειµίδη, Γ΄
΄Εκδοση.)
εχ
d
dt x (t ) −2 y (t )
=
6.3.1. Λυστε την ∆Ε : d
dt
y ( t ) x ( t ) + 3 y ( t )
Απ. x (t ) = c1 et + c2 e2 t , y (t ) = −1/2 c1 et − c2 e2 t
d
dt x (t ) −5 x (t ) − 2 y (t )
6.3.2. Λυστε την ∆Ε : d =
y ( t ) 3 x ( t )
.Κ
dt
Απ. x (t ) = −2/3 c1 e−2 t − c2 e−3 t , y (t ) = c1 e−2 t + c2 e−3 t
d
dt x (t ) −y (t )
6.3.3. Λυστε την ∆Ε : d =
y ( t ) 2 x ( t )
n √ dt √ √ √ √ o
Απ. x t = c1 sin
( ) 2t + c2 cos 2t , y (t ) = 2 sin 2t c2 − cos 2t c1
Αθ
ας
dt x (t ) 5 x (t ) + 6 y (t ) + sin (3 t )
d
6.3.8. Λυστε την ∆Ε : d =
dt
y ( t ) − 2 x ( t ) − 2 y ( t ) + cos ( 3 t )
n o
Απ. x (t ) = − 26 + + = +
19 sin(3 t ) 3 t) 8 sin(3 t )
− 9 cos( 26
e 2t
c 1 e t
c 2 , y ( t ) − 1/13 cos ( 3 t ) 13
− 1/2 e 2t
c1 − 2/3 et
c2
2 y (t ) + sin (2 t )
d
dt x (t )
=
6.3.9. Λυστε την ∆Ε : d
y ( t ) − x (t ) − 3 y ( t ) + cos (2 t )
ι
n dt o
Απ. x (t ) = 20 − − c1 e−2 t + e−t c2 , y (t ) = 9 cos( + 3 sin( + c1 e−2 t − 1/2 e−t c2
9 sin(2 t ) 13 cos(2 t ) 2 t) 2 t)
20 20 20
αγ
2 y (t ) + e2 t
d
dt x (t )
=
6.3.10. Λυστε την ∆Ε : d
dt
y ( t ) − 6 x ( t ) − 7 y ( t ) + e 2t
n 2t
o
Απ. x t = e c2 + e c1 + 1130e , y (t ) = −2 e−4 t c2 − 3/2 e−3 t c1 − 2/15 e2 t
( ) −4 t −3 t
d
dt x (t ) −x (t ) − 3 y (t ) x (0) 3
6.3.11. Λυστε την ∆Ε : d = µε αρχικες συνθηκες =
dt
y ( t ) 2 x (t ) + 4 y ( t ) y ( 0 ) 3
Απ. x (t ) = 18 e − 15 e , y (t ) = −12 e + 15 e
t 2t t 2t
εχ
d
dt x (t ) −y (t ) x (0) 3
6.3.12. Λυστε την ∆Ε : d = µε αρχικες συνθηκες =
y ( t ) 2 x (t ) y (0 ) 3
n √ dt √ √ √ √ √ √ o
Απ. x (t ) = −3/2 sin 2t 2 + 3 cos 2t , y (t ) = 2 3 sin 2t + 3/2 cos 2t 2
−2 y (t ) + et
d
dt x (t ) x (0) 3
= =
6.3.13. Λυστε την ∆Ε : d µε αρχικες συνθηκες
+ +
.Κ
3t
dt
y ( t ) x (t ) 3 y ( t ) e y (0 ) 3
n o
Απ. x (t ) = −e3 t − 8 e2 t + 2 et ln (et ) + 12 et , y (t ) = 1/2 et 3 (et ) + 16 et − 2 ln (et ) − 13 2
ας
−1
n o
Απ. x (t ) = − 15
4
+ 7/4 e2 t − 2 t e2 t + 3 et − 3/2 t, y (t ) = 7/4 + t/2 + 2 t e2 t − 3/4 e2 t − 2 et
5/2 x (t ) + 1/2 y (t ) + t
d
dt x (t ) x (0)
= =
6.3.18. Λυστε την ∆Ε : d µε αρχικες συνθηκες
dt
y ( t ) − 1/2 x (t ) + 3/2 y (t ) + 1 + t y ( 0 )
−1
ι
3
n 2t 2t
o
Απ. x (t ) = − 9 e8 + 3/2 t e2 t − t/4 + 1/8, y (t ) = 338e − 3/2 t e2 t − 89 − 3/4 t
dt
y ( t )
αγ
−x (t ) − 3 y (t ) + et
=
2 x ( t ) + 4 y
Απ. x (t ) = (−4 + 3 t ) et − 3 t e2 t + 3 e2 t , y (t ) = (2 − 2 t ) et + 3 t e2 t − 2 e2 t
( t ) + e 2t
µε αρχικες συνθηκες
x (0)
y ( 0 )
=
εχ
y (t ) + e−2 t
d
dt x (t ) x (0)
= =
6.3.20. Λυστε την ∆Ε : d µε αρχικες συνθηκες
dt
y ( t ) − 2 x (t ) − 3 y (t ) + cos ( t ) y (0 )
3
3
38 e−2 t
Απ. x (t ) = −t e−2 t − 5
+ 10
1
cos (t ) + 10
3
sin (t ) + 21
2
e−t , y (t ) = 2 t e−2 t − 10
1
sin (t ) + 10
3
10 cos (t ) +
.Κ
66 e−2 t 21
5
− 2
e−t
Rt
kA(τ )kdτ
kx (t )k ≤ kx (t0 )k e t0 .
g (t ) = W (z1 (t ) , ..., zN (t )) .
ας
0 0 0 ... 0
... ... ... ... ...
−an −1 −an −2 −an −3 ... −a0
ι
αγ
εχ
.Κ
Αθ
ας
Κεφάλαιο 7
Γραµµικές ∆Ε µε Μεταβλητούς
ι
Συντελεστές
7.1 Θεωρία
7.1.1. ΠΑΡΑΤΗΡΗΣΗ: Η επίλυση της ∆Ε
dn x
+ a n −1 ( t )
αγ
d n −1 x
+ ... + a1 (t )
dx
+ a0 (t ) x = f (t )
εχ
(7.1)
dt n dt n −1 dt
είναι σηµαντικά δυσκολότερη από αυτή της αντίστοιχης οµογενούς ∆Ε
dn x d n −1 x dx
+ an −1 (t ) + ... + a1 (t ) + a0 (t ) x = 0. (7.2)
dt n dt n −1 dt
Θα εξετάσουµε δύο µεθόδους επίλυσης : την µεταβολή των παραµέτρων και την επίλυση µε
.Κ
ανάπτυξη σε σειρά.
x (t ) = v1 (t ) x1 (t ) + ... + vn (t ) xn (t )
e (7.3)
όπου x1 (t ) , ..., xn (t ) είναι n γραµµικά ανεξάρτητες λύσεις της (7.2). Η µέθοδος της Μεταβολής
Αθ
των Παραµέτρων, ϐασίζεται στην υπόθεση ότι γνωρίζουµε τις x1 (t ) , ..., xn (t ) και τις χρησιµο-
ποιούµε για να ϐρούµε την x (t ). Αυτό µπορεί να γίνει ως εξής : παραγωγίζοντας n − 1 ϕορές την
(7.4) και χρησιµοποιώντας την (7.1) παίρνουµε το σύστηµα
dv1 dvn
x1 + .... +
xn = 0
dt dt
dv1 dx1 dvn dxn
+ .... + =0
dt dt dt dt
...
dv1 d n −1 x1 dvn d n −1 xn
+ .... + = f (t ) .
dt dt n −1 dt dt n −1
Μπορούµε να λύσουµε το παραπάνω σύστηµα και να προσδιορίσουµε τις dv dt
1
, ..., dv
dt
n
ως συναρτή-
σεις των (υποτιθέµενων γνωστών) x1 (t ) , ..., xn (t ). Κατόπιν ολοκληρώνουµε αυτές και ϐρίσκουµε
27
ΚΕΦΑΛΑΙΟ 7. ΓΡΑΜΜΙΚΕΣ ∆Ε ΜΕ ΜΕΤΑΒΛΗΤΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ 28
τις v1 (t ) , ..., vn (t ) οπότε έχουµε και την e x (t ) από την (7.3). Οπότε µπορούµε να γράψουµε την
γενική λύση της (7.1) ως
x (t ) = c1 x1 (t ) + ... + cn xn (t ) + e
x (t ) .
ας
Η µέθοδος της µεταβολής των παραµέτρων µπορεί να εφαρµοστεί σε οποιαδήποτε γραµµική ∆Ε,
υπό την προϋπόθεση ότι γνωρίζουµε τις x1 (t ) , ..., xn (t ).
7.1.3. ΠΑΡΑΤΗΡΗΣΗ: Για να υπολογίσουµε τις λύσεις x1 (t ) , ..., xn (t ) της (7.2) µπορούµε επί-
σης να χρησιµοποιήσουµε την µέθοδο Ανάπτυξης σε ∆υναµοσειρά. Η µέθοδος αυτή µπορεί
επίσης να εφαρµοστεί και για την άµεση επίλυση της (7.1). Θα παρουσιάσουµε την µέθοδο αυτή
για την επίλυση της οµογενούς γραµµικής ∆Ε
ι
d2x dx
+ a1 ( t )
+ a0 (t ) x = 0. (7.4)
dt 2 dt
αγ
Οι γενικευσεις για (οµογενείς ή µη οµογενείς) ∆Ε υψηλότερης τάξης είναι προφανείς. Επίσης,
ϑα υποθέσουµε ότι οι a0 (t ) , a1 (t ) έχουν αναπτύγµατα Taylor τα οποία ισχύουν σε µία γειτονιά
του x0 = 0, οπότε και ϑα πάρουµε την λύση x (t ) της (7.4) ως ανάπτυγµα Taylor γύρω από το
x0 = 0. Η µέθοδος γενικεύεται έυκολα για ανάπτυγµα γύρω από τυχόν x0 , εφόσον τα αντίστοιχα
αναπτύγµατα ισχύουν σε µία γειτονιά του x0 . Στην περίπτωση που αυτό δεν ισχύει (οπότε λέµε
ότι το x0 είναι ανώµαλο σηµείο της (7.4) ), απατείται η χρήση πιό προχωρηµένων µεθόδων, µε τις
οποίες δεν ϑα ασχοληθούµε στο παρόν.
εχ
7.1.4. ΠΑΡΑΤΗΡΗΣΗ: Η µέθοδος της Ανάπτυξης σε ∆υναµοσειρά, ϐασίζεται στην υπόθεση
ότι η λύση x (t ) της (7.4) έχει το ανάπτυγµα Taylor
x (t ) = A0 + A1 t + A2 t 2 + ... (7.5)
το οποίο ισχύει για µία γειτονιά του x0 = 0. Αντίστοιχα υποθέτουµε ότι οι a0 (t ) , a1 (t ) έχουν
αναπτύγµατα Taylor
.Κ
a0 (t ) = B0 + B1 t + B2 t 2 + ... (7.6)
a1 (t ) = C0 + C1 t + C2 t + ...
2
(7.7)
Επίσης, µπορούµε να παραγωγίσουµε την (7.5) και να πάρουµε τις σχέσεις
dx
= A1 + 2A2 t + 3A3 t 2 + ... (7.8)
dt
d2x
Αθ
ας
∆ιαφορικές Εξισώσεις, Κ. Σεραφειµίδη, Γ΄ ΄Εκδοση.)
Τρενςη : 7.1 (Παρ. 5.7.1), 7.2(Παρ. 5.7.2), 7.3(5.7.8), 7.4(5.7.10),
7.5(5.7.12), 7.6(5.7.14). 5.7.4), 7.8(Παρ. 5.7.30), 7.9(5.7.32), 7.10(5.7.34)
ι
αντιστοιχης οµογενους) e t , t + 1.
Απ. x (t ) = (t + 1) c2 + et c1 − t 2
αγ
2
7.3.2. Λυστε την ∆Ε : t 2 ddt 2 x (t ) − 3 t ddt x (t ) + 3 x (t ) = 12 t 4 οταν ειναι γνωστες οι λυσεις (της
αντιστοιχης οµογενους) t, t 3 .
Απ. x (t ) = 4 t 3 + 1/2 t 2 c1 + c2 t
2
7.3.3. Λυστε την ∆Ε : t 2 ddt 2 x (t ) − 2 x (t ) = 3 t 2 − 1 οταν ειναι γνωστες οι λυσεις (της αντιστοιχης
οµογενους) t 2 , t −1 .
Απ. x (t ) = t 2 c2 + t 2 ln (t ) + ct1 + 1/2
εχ
2
7.3.4. Λυστε την ∆Ε : t 2 ddt 2 x (t ) − 2 t ddt x (t ) + 2 x (t ) = 3 t 2 οταν ειναι γνωστες οι λυσεις (της
αντιστοιχης οµογενους) t, t 2 .
Απ. x (t ) = t 2 c2 + t c1 + 3 t 2 (ln (t ) − 1)
2
7.3.5. Λυστε την ∆Ε : t 2 ddt 2 x (t ) − 2 x (t ) = 3 t −1 οταν ειναι γνωστες οι λυσεις (της αντιστοιχης
οµογενους) t −1 , t 2 .
.Κ
e −2 t
αντιστοιχης οµογενους) t −1 , t
.
e−2 t c2 e2 t
Απ. x (t ) = c1
t
+ t
+2 t ln(e )(ln(e )+1)
2
7.3.8. Λυστε την ∆Ε : (t + 1) ddt 2 x (t ) + t ddt x (t ) − x (t ) = (t + 1)2 οταν ειναι γνωστες οι λυσεις (της
αντιστοιχης οµογενους) t, e −t .
Απ. x (t ) = t c2 + e−t c1 + t 2 + 1
2
7.3.9. Λυστε την ∆Ε : t 2 ddt 2 x (t ) − 3 t ddt x (t ) + 4 x (t ) = t 2 ln (x (t )) οταν ειναι γνωστες οι λυσεις (της
αντιστοιχης οµογενους) t 2 , t 2 ln (t ).
Απ. c1 t 2 + c2 t 2 ln (t ) + 1/6 (ln (t ))3
2
7.3.10. Λυστε την ∆Ε : ddt 2 y (t ) + y (t ) = 0 µε αρχικες συνθηκες y(0) = 1, (0) = 0.
dy
dt
Απ. y (t ) = (1 − 12 t 2 + 24
1 4 1 6
t + 40320
1
t 8 + O t 10 )
t − 720
ΚΕΦΑΛΑΙΟ 7. ΓΡΑΜΜΙΚΕΣ ∆Ε ΜΕ ΜΕΤΑΒΛΗΤΟΥΣ ΣΥΝΤΕΛΕΣΤΕΣ 30
2
7.3.11. Λυστε την ∆Ε : ddt 2 y (t ) − ty (t ) = 0 µε αρχικες συνθηκες y(0) = a0 , (0) = a1 .
dy
dt
Απ. y (t ) = (a0 + a1 t + a60 t 3 + 12 t + 180
a1 4
t + 504
a0 6
t + 12960
a1 7 a0
t 9 + O t 10 )
2
7.3.12. Λυστε την ∆Ε : ddt 2 y (t ) − t ddt y (t ) + 2 y (t ) = 0 µε αρχικες συνθηκες y(0) = a0 , (0) = a1 .
dy
ας
dt
Απ. y (t ) = (a0 + a1 t − a0 t 2 − a61 t 3 − 120
a1 5 a1 a1
t 7 − 24192 t 9 + O t 10 )
t − 1680
d2
7.3.13. Λυστε την ∆Ε : dt 2
y (t ) + (t − 1) ddt y (t ) + (2 t − 3) y (x ) = 0 µε αρχικες συνθηκες y(0) = a0 ,
dy
dt
(0) = a1 . a y(x ) y(x )
Απ. y (t ) = (a0 + a1 t + + t2 + + − 5 24 t4 + − t5 + + t6 +
3 y(x ) y(x ) 3 a1 y(x ) a1 a1
2
1
2 6
t − 12 15
− 60 60 120
13 y(x )
+ a1
t7 + O t8 )
1260 315
ι
d2
7.3.14. Λυστε την ∆Ε : t 2 + 4
a dt 2 y t + ty t a= t + 2 µε αρχικες συνθηκες y(0) = a0 , dt (0) = a1 .
dy
() ()
Απ. y (t ) = (a0 + a1 t + 14 t 2 + − 240 + 24
1
t 3 + − 481 − 96
1
t 4 + − 160
1
+ 320
a0
t 5 + 2880
a0
+ 1440
1
+ 480
a1
t6 +
αγ
a
+ 16128
13 a0
t7 + O t8 )
1
8064
− 2688
7.3.15. Λυστε την ∆Ε : + ty (t ) = e t +1 µε αρχικες συνθηκες y(0) = a0 , dy
d2
dt2
y (t ) (0) = a1 .
a e (ln(e ))2
e (ln(e ))3
dta e (ln(e ))4
Απ. y (t ) = (a0 +a1 t + 2 t + − 6 + 6 t + − 12 + 24 t + − 40 + 120 t + 180 − 180 + t 6+
e 2 a0 e ln(e ) 3 1 4 e 5 0 e ln(e )
720
e ))2 e ))5
a
− e(ln( + e(ln( t7 + O t8 )
1
504 1008 5040
2
7.3.16. Λυστε την ∆Ε : ddt 2 y (t ) − 2 y (t ) = 1 µε αρχικες συνθηκες y(0) = 1, (0) = 0.
dy
dt
εχ
Απ. y (t ) = (1 + 32 t 2 + 41 t 4 + 60 t + 1680
1 6 1
t 8 + O t 10 )
2
7.3.17. Λυστε την ∆Ε : ddt 2 y (t ) − (t − 2) ddt y (t ) + 2 y (t ) = 0 µε αρχικες συνθηκες y(2) = 5,
dy
dt
(2) = 60.
Απ. y (t ) = (5 + 60 (t − 2) − 5 (t − 2)2 − 10 (t − 2)3 − 12 (t − 2)5 − 28 1
(t − 2)7 − 2016
5
(t − 2)9 +
O (t − 2)10 )
2
7.3.18. Λυστε την ∆Ε : ddt 2 y (t ) + t ddt y (t ) + (2 t − 1) y (t ) = 0 µε αρχικες συνθηκες y(−1) = 2,
.Κ
dy
dt
(−1) = −2.
Απ. y (t ) = (2 − 2 (t + 1) + 2 (t + 1)2 − 32 (t + 1)3 + 13 (t + 1)4 − 15
2
(t + 1)5 + 90
1
(t + 1)6 − 126
1
(t + 1)7 +
1
315
(t + 1)8 + 11
22680
(t + 1)9 + O (t + 1)10 )
2
7.3.19. Λυστε την ∆Ε : ddt 2 y (t ) − 2 ty (t ) = 0 µε αρχικες συνθηκες y(2) = 1, dt (2) = 0.
dy
71
11340
(t − 2)9 + O (t − 2)10 )
ΟΛΟΚΛΗΡΩΤΙΚΟ΄Ι ΜΕΤΑΣΧΗΜΑΤΙΣΜΟ΄Ι
εχ
.Κ
Αθ
31
ας
Κεφάλαιο 8
Σειρές Fourier
ι
8.1 Θεωρία
αγ
8.1.1. ΟΡΙΣΜΟΣ : Λέµε ότι η συνάρτηση f (t ) είναι περιοδική, ανν υπάρχει αριθµός T τέτοιος
ώστε για κάθε t ισχύει f (t + T ) = f (t ). Ο µικρότερος τέτοιος αριθµός λέγεται περίοδος της f (t ).
8.1.2. ΟΡΙΣΜΟΣ : Μία συνάρτηση f (t ) λέγεται τµηµατικά συνεχής στο διάστηµα [t1 , t2 ] ανν
εχ
1. το [t1 , t2 ] µπορεί να διαµεριστεί σε ένα πεπερασµένο σύνολο υποδιαστηµάτων [τ0 , τ1 ],
[τ1 , τ2 ], ..., [τn −1 , τn ] τέτοια ώστε η f (t ) να είναι συνεχής σε κάθε υποδιάστηµα και
2. για κάθε τi (i ∈ {0, 1, ..., n }) υπάρχουν τα limt →τi− f (t ) και limt →τi+ f (t ) (εκτός των limt →t0− f (t )
και limt →t1+ f (t ) ).
8.1.3. ΟΡΙΣΜΟΣ : ΄Εστω συνάρτηση f (t ) τµηµατικά συνεχής και περιοδική µε περίοδο T . Για
.Κ
Η τριγωνοµετρική σειρά
∞ ∞
a0 X nπt X nπt
Αθ
8.1.4. ΠΑΡΑΤΗΡΗΣΗ: Αν η συνάρτηση f (t ) είναι ορισµένη µόνο στο διάστηµα [t1 , t2 ], µπορούµε
να την επεκτείνουµε στο R, ορίζοντας
∀t ∈ [t1 , t2 ] , n ∈ N : f (t + n · (t2 − t1 )) = f (t ) .
Η επεκτεταµένη f (t ) είναι περιοδική µε περίοδο T = t2 − t1 και Για αυτήν ισχύουν οι τύποι (8.1),
(8.2).
32
ΚΕΦΑΛΑΙΟ 8. ΣΕΙΡΕΣ FOURIER 33
8.1.5. ΘΕΩΡΗΜΑ : Αν η συνάρτηση f (t ) είναι άρτια, τότε bn = 0 για κάθε n ∈ N και η σειρά
Fourier της f (t ) είναι
∞
a0 X nπt
+ an cos . (8.3)
ας
2 n =1
T
Οµοίως, αν η συνάρτηση f (t ) είναι περιττή, τότε an = 0 για κάθε n ∈ N και η σειρά Fourier της
f (t ) είναι
∞
X nπt
bn sin . (8.4)
n =1
T
df
8.1.6. ΘΕΩΡΗΜΑ : ΄Εστω περιοδική συνάρτηση f (t ) µε περίοδο T . Αν οι f (t ) και dt είναι
ι
τµηµατικά συνεχείς τότε, µε τα a0 , a1 , ..., b1 , b2 , ... που δίνονται από την (8.1), ισχύουν τα εξής :
αγ
1. στα σηµεία συνέχειας της f (t ) :
∞ ∞
a0 X nπt X nπt
+ an cos + bn sin = f (t ) ,
2 n =1
T n =1
T
df
8.1.7. ΘΕΩΡΗΜΑ : ΄Εστω περιοδική συνάρτηση f (t ) µε περίοδο T και οι f (t ) και dt είναι
df
τµηµατικά συνεχείς. Τότε, στα σηµεία συνέχειας της f (t ) και dt , η παράγωγος (το ολοκλήρωµα)
της f (t ) ισούται µε την όρο-προς-όρο παράγωγο (το όρο-προς-όρο ολοκλήρωµα) της αντίστοιχης
.Κ
σειράς Fourier.
8.1.8. ΘΕΩΡΗΜΑ : ΄Εστω συνάρτηση f (t ) τµηµατικά συνεχής και περιοδική µε περίοδο T , και
έστω a20 + ∞n =1 an cos T +
P nπt P∞ nπt
n =1 bn sin T η σειρά Fourier της f (t ). Τότε
∞ ∞ ∞
a0 X nπt X nπt X
+ an cos + bn sin = cn e inπt/T (8.5)
2 n =1
T n =1
T n =−∞
Αθ
ας
n =−∞
2 τ →t τ →t
Επιπλέον, στα σηµεία συνέχειας της f (t ), η παράγωγος (το ολοκλήρωµα) αυτής ισούνται
µε την όρο-προς-όρο παράγωγο (όρο-προς-όρο ολοκλήρωµα) της αντίστοιχης εκθετικής σειράς
Fourier.
ι
n = 1 T
n =1 pn cos T +
P∞ nπt P∞ nπt
n =1 qn sin T . Τότε ισχύουν και τα εξής
αγ
Z T ∞
a0 p 0 X
f (t ) g (t ) dt = + an p n + b n q n ,
0 2 n =1
Z T ∞ 2
|a0 | X
|f (t )| dt =
2
+ |an |2 + |bn |2 .
0 2 n =1
8.1.11. ΠΑΡΑΤΗΡΗΣΗ: Σύµφωνα µε το Πόρισµα 8.1.9, για κάθε σηµείο συνέχειας t της f (t )
έχουµε
∞
X
f (t ) = cn e inπt/T . (8.8)
.Κ
n =−∞
Το όριο στην (8.9) ισχύει για το συγκεκριµένο t. Και αυτή είναι η έννοια της σύγκλισης η οποία
υποκρύπτεται σε όλη την προηγούµενη συζήτηση. Στα επόµενα εδάφια ϑα δείξουµε ότι η σειρά
Fourier µιας συνάρτησης f (t ) µπορεί να συγκλίνει στην f (t ) και µε µία διαφορετική έννοια.
8.1.12. ΠΑΡΑΤΗΡΗΣΗ: Θυµηθείτε ότι, σύµφωνα µε τον συµβολισµό του Κεφ. 8, το L2 (0, T )
είναι το σύνολο των τετραγωνικά ολοκληρώσιµων συναρτήσεων στο [0, T ]:
T
( Z )
L2 (0, T ) = f : 2
|f (t )| dt < ∞ . (8.10)
0
Θυµίζουµε επίσης ότι, µε µία αυστηρότερη διατύπωση, στην (8.10) υπονοούνται κλάσεις ισο-
δύναµων συναρτήσεων (δες την Παρατήρηση 10.1.10) και το ολοκλήρωµα ορίζεται σύµφωνα µε
την ϑεωρία του Lebesgue. ΄Οµως, όπως έχει αναφερθεί, δεν ϑα αναλύσουµε αυτά τα ϑέµατα µε
πλήρη αυστηρότητα.
ΚΕΦΑΛΑΙΟ 8. ΣΕΙΡΕΣ FOURIER 35
n o∞
8.1.13. ΘΕΩΡΗΜΑ : Το σύνολο e inπt/T είναι µία ορθογώνια ϐάση του L2 (0, T ).
n =−∞
ας
∞
X
f (t ) = cn e inπt/T (8.11)
n =−∞
όπου RT
f (t ) e −inπt/T dt T
Z
1
cn = R =
0
T
f (t ) e −inπt/T dt. (8.12)
e inπt/T e −inπt/T dt T 0
0
ι
Ακριβέστερα, η (8.11) είναι ισοδύναµη µε την
Z 2
N
αγ
X
l.i.m.N →∞
f (t ) −
c n e inπt/T
dt = 0. (8.13)
n =−N
8.1.15. ΠΑΡΑΤΗΡΗΣΗ: Η (8.11) αντιστοιχεί στην (8.7) και η (8.12) αντιστοιχεί στην (8.6) (δηλ.
οι συντελεστές cn στην (8.12) και στην (8.6) είναι ίδιοι). Ενώ όµως η (8.7) περιγράφει σηµειακή
σύγκλιση (δηλ. για κάθε συγκεκριµένο t), η (8.11) περιγράφει την ολοκληρωτική σύγκλιση µε
την έννοια του χώρου L2 (0, T ) (δες και τον Ορισµό 10.1.9). Αυτός είναι ο λόγος για τον οποίο η
συµπεριφορά στα σηµεία ασυνέχειας της f (t ) δεν εµφανίζεται στην (8.11) – αυτά αποτελούν ένα
εχ
πεπερασµένο σύνολο και δεν επηρεάζουν το ολοκλήρωµα της (8.13).
8.1.16. ΠΑΡΑΤΗΡΗΣΗ: Ανάλογα πράγµατα ισχύουν και για την τριγωνοµετρική σειρά Fourier
της f (t ). Επίσης, ισχύει το Θεώρηµα του Parsival για συναρτήσεις f, g ∈ L2 (0, T ).
x 00 − 3x 0 + x = sin (2πt ) , x (T ) = 0, x 0 (T ) = 0.
x 00 − 3x 0 + x = u (t ) , x (T ) = 0, x 0 (T ) = 0.
΄Οπου
u (t ) = περιοδις σχυαρε τραιν
Κατόπιν να ϐρεθεί το όριο limT →−∞ xT (t ).
Λυση. Αυτό δίνει τι κίνηρο για την ανάλυση Fourier.
8.2.3. Η
Λυση.
ας
f (t ) = a0 + n =1 (an cos (nt ) + bn R
P∞
R 2π sin (nt ))
2π
1. Τηεν 0 f (t ) sin (mt ) dt = 0 a0 + ∞ n =1 (an cos (nt ) + bn sin (nt )) sin (mt ) dt =
P
R 2π Rπ
0
bn (sin (nt ))2 dt = bn π. Σο bn = π1 −π f (t ) sin (nt ) dt.
Rπ
2. Σιµιλαρλψ an = π1 −π f (t ) cos (nt ) dt .
R 2π R 2π R 2π
2.α. Εσπεςιαλλψ ϕορ n = 0: 0 f (t ) dt = 0 a0 dt = a0 2π. Σο a0 = 2π 1
0
f (t ) dt
R 2π
3. (Ωε υσεδ τηατ 0 (sin (nt )) dt = − 4n
2 1
(sin 2nt − 2nt ) = 2nt4n
= 2t |2π
0 = π.)
ι
Εξπονεντιαλ
Σιµιλαρλψ, ιφ ωε ασσυµε f (t ) =
αγ
P∞
cn e int , τηεν
R 2π R 2π P∞ n =−∞ R 2π
f (t ) e −imt dt = e −imt cn e int dt = cn dt = cn 2π
0 0 n =−∞ 0
R 2π
Σο cn = 1
2π 0
f (t ) e −int dt.
8.2.2 Εξαµπλε
εχ
Τριγ
(
1 0≤t≤π
f (t ) = = a0 + ∞n =1 (an cos (nt ) + bn sin (nt ))
P
−1 π < t < 0
Ωιτη Rπ Rπ
an = 1
π −π
f (t ) cos (nt ) dt ανδ bn = 1
π −π
f (t ) sin (nt ) dt
Σο Rπ R0 Rπ
a0 = f (t ) dt = (−1) dt + (+1) dt = (− (0 − (−π )) + (π − 0)) = 0
.Κ
1 1 1 1
2π −π π −πR π 0 π
2π
Μορε γενεραλλψ: an = 1
π 0
f (t ) cos (nt ) dt = 0 ϐεςαυσε f (t ) ις οδδ.
Rπ Rπ π
Φορ τηε σινε ςοεφφιςιεντς bn = 1
π −π
sin (nt ) dt = 2
π 0
sin (nt ) dt = − π2 1
n
cos (nt )
0
= − nπ
2
(cos (nπ ) − cos (0)) = nπ4
ωηεν n οδδ, 0 ωηεν n εεν
sin((2n +1)t )
Σο f (t ) = π sin (t ) + 3 + 5 + ... = π4 ∞
4 sin(3t ) sin(5t ) P
n =0 (2n +1)
Αθ
Εξτρα
sin((2n +1)π/2)
f (π/2) = 1 = = + + ...
4 P∞ 4 1 1
π n =0 (2n +1) π
1− 3 5
Ηενςε 1 − + 15 + ... = π4
1
3
sin((2n +1)t )
Αλσο f (t ) = π4 ∞
P
n =0 (2n +1)
ιµπλιες
∞ sin((2n +1)t ) 2
Rπ π 2 P∞ Rπ
= = (sin ((2n + 1) t ))2 dt
2
R 4 P 4 1
−π
(f (t )) dt −π π n =0 (2n +1)
dt π n =0 (2n +1)2 −π
2 P∞ P∞
π2
2π = π 4 π
n =0 (2n +1)2 σο n =0 (2n +1)2 = 8
1
Εξπ
π
Λετ υς αλσο τρψ f (t ) = n =−∞ cn e . Τηεν cn =
P∞ 1
R
int
2π −π
f (t ) e −int dt ανδ σο
Rπ R0 π −int
cn = 2π f (t ) e −int dt = 2π − −π e −int dt +
1 1
R
ας
−π 0
e dt
π
e −int dt = −2πin e −int |π0 = 2nπ − 1) = 2nπ (−1 + cos (nπ ) + i sin (nπ ))
1
R 1 i i
−inπ
2νδ παρτ: 2π 0
(e
ωηιςη ϕορ n οδδ ις = − nπ , ϕορ n εεν ις 0.
i
R0
1στ παρτ: 2π 1
−π
e −int dt = − 2πin 1
e −int |0−π = 2nπi
(1 − e inπ ) = nπi (1 − cos (nπ ) − i sin (nπ ))
ωηιςη ϕορ n οδδ ις = nπ , ϕορ n εεν ις 0.
i
Σο cn = − nπ 2i
ανδ f (t ) = 2iπ e −it − 2iπ e it + 3π 2i −i3t
e − 3π2i i3t
e + ....
= π (e − e ) + 3π (e − e ) + .... = π (−2i sin t ) + 3π (−2i sin 3t ) + ...
2i −it it 2i −it it 2i 2i
ι
αγ
8.2.3 Εξαµπλε
(
0≤t≤π
t
g (t ) =
−t π < t < 0
Ωε ςουλδ γο τηε σαµε ωαψ ας ϐεφορε ϐυτ ... ωε νοτε τηατ f (t ) = g0 (t ) ανδ σο g (t ) = f (t )
R
Σο : g (t ) = cos (t ) + cos(323t ) − cos(525t ) + ...
f (t ) = c −
R 4
Rπ π Rπ 2
Ωε στιλλ νεεδ c = a0 = −π
g 1
(
2π
t ) = 1
π 0
t = π1 t2 |π0 = π2
Σο g (t ) = π2 − π4 cos (t ) + 32 − 52 + ...
εχ
cos(3t ) cos(5t )
R P P 2i R inπt
Φορ τηε εξπονεντιαλ σεριεσ: g (t ) = f (t ) dt = dt = − nπ
R 2i inπt
n οδδ − nπ e e dt
2 inπt
= − nπ πn = c + n οδδ (nπ )2
P 2i i inπt P
8.3.2. Η συναρτηση f (t ) ισουται µε t 2 στο διαστηµα [−π, π ]. Βρειτε την σειρα Fourier της f (t ).
(−1)i cos(it )
Αθ
8.3.3. Η συναρτηση f (t ) ισουται µε t 2 + t στο διαστηµα [−π, π ]. Βρειτε την σειρα Fourier της
f (t ).
1+i
(−1)i cos(it )
Απ. 1/3 π 2 + ni=1 4 + 2 (−1) i sin(it )
P
i2
8.3.4. Η συναρτηση f (t ) ισουται µε 0 στο διαστηµα [-π,0) και µε 3 στο διαστηµα [0,π]. Υπολο-
γιστε την σειρα Fourier της f (t )
((−1)i −1) sin(it )
Απ. π/2 + ni=1 −
P
i
8.3.5. Η συναρτηση f (t ) ισουται µε 0 στο διαστηµα [-1,0) και µε 1 στο διαστηµα [0,1]. Υπολο-
γιστε την σειρα Fourier της f (t )
((−1)i −1) sin(π it )
Απ. ni=1 −2
P
πi
ΚΕΦΑΛΑΙΟ 8. ΣΕΙΡΕΣ FOURIER 38
8.3.6. Η συναρτηση f (t ) ισουται µε 0 στο διαστηµα [-5,0) και µε 3 στο διαστηµα [0,5]. Υπολο-
γιστε την σειρα Fourier της f (t )
((−1)i −1) sin(1/5 π it )
Απ. 3/2 + ni=1 −3
P
πi
ας
8.3.7. Η συναρτηση f (t ) ισουται µε 0 στο διαστηµα [-π,0) και µε sint στο διαστηµα [0,π].
Υπολογιστε την σειρα Fourier της f (t )
(2+π/2) sin(t )
Απ. 1/2 2−π π + − 2/3 cos(π2 t ) + 2/3 sin(π3 t ) − 2/15 cos(π4 t ) + 2/5 sin(π5 t ) − 2 cos( + 2/7 sin(π7 t )
6 t)
π 35 π
8.3.8. Η συναρτηση f (t ) ισουται µε t (10 − t ) στο διαστηµα [−0, 10]. Βρειτε την σειρα Fourier
της f (t ).
Απ. 50 + ni=1 −100 cos(1/5 π it )
P
ι
3 π2i2
8.3.9. Η συναρτηση f (t ) ισουται µε |t | στο διαστηµα [−π, π ]. Βρειτε την σειρα Fourier της f (t ).
αγ
cos(t ) cos(3 t ) 4 cos(5 t ) 4 cos(7 t ) 4 cos(9 t )
Απ. π/2 − 4 π − 4/9 π − 25 π − 49 π − 81 π
8.3.10. Η συναρτηση f (t ) ισουται µε |sin (t )| στο διαστηµα [−π, π ]. Βρειτε την σειρα Fourier της
f (t ).
cos(2 t ) 4 cos(4 t ) 4 cos(6 t ) 4 cos(8 t ) 4 cos(10 t )
Απ. 2 π −1 − 4/3 π − 15 π − 35 π − 63 π − 99 π
8.3.11. Η συναρτηση f (t ) ισουται µε e |t | στο διαστηµα [−1, 1]. Βρειτε την σειρα Fourier της f (t ).
(2 eπ sin(1/2 π i ) cos(1/2 π i )i +2 e ln(e)(cos(1/2 π i ))2 −e ln(e)−ln(e)) cos(π it )
+
e −1 Pn
Απ. i =1 2 π 2 i 2 +(ln(e ))2
εχ
ln(e )
8.3.12. Η συναρτηση f (t ) ισουται µε 0 στο διαστηµα [-5,0) και µε 3 στο διαστηµα [0,5]. Υπολο-
γιστε την σειρα Fourier της f (t )
e 5 −1 Pn (2 e5 π sin(1/2 π i )i cos(1/2 π i )+10 e5 ln(e)(cos(1/2 π i ))2 −5 e5 ln(e)−5 ln(e)) cos(1/5 π it ) (2 e5 π i (cos(1/2 π i ))2 −10 e5 ln(e) sin(1/2
Απ. 10 ln(e )
+ i =1 π 2 i 2 +25 (ln(e ))2
− π 2 i 2 +25
8.4.1. Βρειτε αναγκαιες και ικανες συνθηκες τις οποιες πρεπει να ικανοποιει η f (t ) ωστε η σειρα
Fourier αυτης να περιεχει µονο ηµιτονικους (συνηµιτονικους) ορους.
8.4.2. Βρειτε αναγκαιες και ικανες συνθηκες τις οποιες πρεπει να ικανοποιει η f (t ) ωστε η
εκθετικη σειρα Fourier αυτης να περιεχει µονο πραγµατικους (ϕανταστικους) ορους.
Αθ
8.4.5. Υπολογιστε την σειρα Fourier της f (t ) = cos2 t χωρις χρηση ολοκληρωσης.
ΚΕΦΑΛΑΙΟ 8. ΣΕΙΡΕΣ FOURIER 39
8.4.6. Εστω f (t ) = t cos t. Βρειτε την σειρα Fourier της f (t ) χωρις χρηση ολοκληρωσης.
8.4.7. Εστω περιοδικη συναρτηση g (t ) = an e in2πt . Βρειτε την σειρα Fourier της f (t ) =
P∞
n =−∞
tg (t ) χωρις χρηση ολοκληρωσης.
ας
8.4.8. Η συναρτηση f (t ) ισουται µε 0 στο διαστηµα [-π,0) και µε sin t στο διαστηµα [0,π].
Υπολογιστε την σειρα Fourier της f (t )
(2+π/2) sin(t )
Απ. 1/2 2−π π + π
− 2/3 cos(π2 t )
8.4.9. ∆ινεται η συναρτηση f (t ) = |x |, ορισµενη στο διαστηµα [−π, π ]. ( Υπολογιστε την σειρα
−1 t < 0
Fourier αυτης. Κατοπιν, ϐρειτε την σειρα Fourier της συναρτησης g (t ) = , χωρις να
ι
1 t≥0
χρησιµοποιησετε ολοκληρωµατα.
αγ
8.4.10. Εστω οτι f (t ) = an e in2πt , g (t ) =
P∞ P∞
n =−∞ n =−∞ bn e in2πt και
Z 2π ∞
X
p (t ) = f (t − τ ) g (τ ) dτ = cn e in2πt .
0 n =−∞
8.4.11. Εστω περιοδικη συναρτηση g (t ) = an e in2πt . Βρειτε την σειρα Fourier της f (t ) =
P∞
εχ
R 2π n =−∞
0
f (t + τ ) f (τ ) dτ.
(
−1 t < 0
8.4.12. ∆ινεται η συναρτηση g (t ) = . Εστω gN (t ) η σειρα Fourier της g (t ) στην
1 t≥0
οποια κραταµε µονο τους N + 1 πρωτους ορους. Υπολογιστε το σφαλµα eN (t ) = |g (t ) − gN (t )|,
για N = 0, 1, 3, 5, 10 και στα σηµεια t = 0, 0.1, 0.5, 1. Κατοπιν καντε την γραφικη παρασταση
.Κ
π4
=
P∞ 1
8.4.15. Αποδειξτε : n =0 (2n +1)4 96
.
Αθ
π4
=
P∞ 1
8.4.16. Αποδειξτε : n =1 n 4 90
P∞ 1
8.4.17. Υπολογιστε το αθροισµα n =1 n 2 .
P∞ 1
8.4.18. Υπολογιστε το αθροισµα n =1 4n 2 −1 .
Μετασχηµατισµός Fourier
ι
9.1 Θεωρία
f (t ) =
∞
X
cn e
αγ
9.1.1. ΠΑΡΑΤΗΡΗΣΗ: Στο προηγούµενο κεφάλαιο ασχοληθήκαµε µε περιοδικές συναρτήσεις,
inπt/T
, cn =
1
T
Z T/2
f (t ) e −inπt/T dt. (9.1)
εχ
n =−∞ −T/2
΄Ενα ϕυσιολογικό ερώτηµα είναι : τι συµβαίνει όταν ή περίοδος T τείνει στο άπειρο ; Μπορούµε
να κάνουµε τις εξής διαισθητικές παρατηρήσεις.
4. Για να έχει νόηµα η (9.1) πρέπει το ολοκλήρωµα να είναι καλά ορισµένο, κάτι το οποίο δεν
είναι εξασφαλισµένο όταν τα όρια ολοκλήρωσης τείνουν στο ±∞.
Στα επόµενα ϑα παραθέσουµε την αυστηρή διατύπωση όλων των παραπάνω, πρώτα στο πλαί-
Αθ
σιο του χώρου L1 (−∞, ∞) (των ολοκληρώσιµων συναρτήσεων) και κατόπιν στο πλαίσιο του χώρου
L1 (−∞, ∞) (των τετραγωνικά ολοκληρώσιµων συναρτήσεων).
9.1.2. ΘΕΩΡΗΜΑ: ΄Εστω ότι η f (t ) είναι τέτοια ώστε να ισχύουν τα εξής.
df
1. Η f (t ) και η dt
είναι τµηµατικά συνεχείς σε κάθε πεπερασµένο διάστηµα [t1 , t2 ] ⊆ (−∞, ∞) .
R∞
2. −∞
|f (t )| dt < ∞.
Τότε, ϑέτοντας
Z ∞ Z ∞
1 1
a (ω) = f (t ) cos ωtdt, b (ω) = f (t ) sin ωtdt. (9.2)
π −∞ π −∞
ισχύουν τα εξής :
40
ΚΕΦΑΛΑΙΟ 9. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER 41
ας
0
9.1.3. ΠΑΡΑΤΗΡΗΣΗ: Η (9.6) είναι το ΅οριο¨ της σειράς Fourier όταν T → ∞ και η (9.2) είναι
ι
το ΅οριο¨ της έκφρασης για τους συντελεστές της σειράς όταν T → ∞ . Το δε επόµενο ϑεώρηµα
δείχνει τις αντίστοιχες εκθετικές µορφές.
1. Η f (t ) και η
2.
R∞
−∞
dt
|f (t )| dt < ∞.
Τότε, ϑέτοντας
αγ
9.1.4. ΘΕΩΡΗΜΑ: ΄Εστω ότι η f (t ) είναι τέτοια ώστε να ισχύουν τα εξής.
df
είναι τµηµατικά συνεχείς σε κάθε πεπερασµένο διάστηµα [t1 , t2 ] ⊆ (−∞, ∞) .
∞
εχ
Z
F (ω) = f (t ) e −iωt dt. (9.5)
−∞
ισχύουν τα εξής :
(9.6)
2π −∞
9.1.6. ΘΕΩΡΗΜΑ : ΄Εστω συναρτήσεις f (t ), g (t ) οι οποίες ικανοποιούν τις συνθήκες του Θεω-
ϱήµατος 9.1.4. Τότε
F (κ · f + λg) = κ F (f ) + λF (g)
ΚΕΦΑΛΑΙΟ 9. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER 42
9.1.7. ΘΕΩΡΗΜΑ : ΄Εστω συναρτήση f (t ) η οποία ικανοποιεί τις συνθήκες του Θεωρήµατος
9.1.4 και έχει µετασχηµατισµό Fourier τον F (ω). Τότε
1
ω
ας
F (f (at )) = F .
|a | a
9.1.8. ΘΕΩΡΗΜΑ : ΄Εστω συναρτήση f (t ) η οποία ικανοποιεί τις συνθήκες του Θεωρήµατος
9.1.4 και έχει µετασχηµατισµό Fourier τον F (ω). Τότε
ι
9.1.9. ΘΕΩΡΗΜΑ : ΄Εστω συναρτήση f (t ) η οποία ικανοποιεί τις συνθήκες του Θεωρήµατος
9.1.4 και έχει µετασχηµατισµό Fourier τον F (ω). Τότε
F
df
dt
= iωF (ω) , F
αγ
F (F (t )) = 2πf (−ω) .
9.1.10. ΘΕΩΡΗΜΑ : ΄Εστω συναρτήση f (t ) η οποία ικανοποιεί τις συνθήκες του Θεωρήµατος
9.1.4 και έχει µετασχηµατισµό Fourier τον F (ω). Τότε
! Z !
fdt =
1
iω
F (ω) , F (−itf (t )) =
dF
dω
.
εχ
9.1.11. ΘΕΩΡΗΜΑ (Parsival ): ΄Εστω συναρτήσεις f (t ), g (t ) οι οποίες ικανοποιούν τις συνιήκες
του Θεωρήµατος 9.1.4 και έχουν µετασχηµατισµούς Fourier τους F (ω) , G (ω), αντίστοιχα. Τότε
Z ∞ Z ∞
f (t ) g (t )dt = F (ω) G (ω) dω,
−∞
Z ∞ Z−∞
∞
|f (t )|2 dt = |F (ω)|2 dω.
.Κ
−∞ −∞
9.1.13. ΘΕΩΡΗΜΑ : ΄Οταν όλες οι παρακάτω συνελίξεις είναι καλά ορισµένες, ισχύουν τα εξής :
f ∗g =g∗f
f ∗ (g ∗ h ) = (f ∗ g) ∗ h
f ∗ (g + h ) = f ∗ g + f ∗ h.
F (f ∗ g) = F (f ) · F (g) .
9.1.15. ΠΑΡΑΤΗΡΗΣΗ: Συνοψίζουµε τις ϐασικές ιδιότητες του µετασχηµατισµού Fourier στον
παρακάτω πίνακα.
ΚΕΦΑΛΑΙΟ 9. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER 43
f (t ) F (ω) = F (f (t ))
κf1 (t ) + λf2 (t ) κF1 (ω) + λF2 (ω)
ας
1 ω
f (at ) |a |
F a
f (−t ) F (−ω)
f (t − t0 ) F (ω) e −iωt0
f (t ) e iω0 t F (ω − ω0 )
f (t ) cos (ω0 t ) 1
2
F (ω − ω0 ) + 12 F (ω + ω0 )
f (t ) sin (ω0 t ) 1
2i
F (ω − ω0 ) − 2i1 F (ω + ω0 )
F (t ) 2πf (−ω)
ι
df
iωF (ω)
Rdtt
x (τ ) dτ 1
F(ω) + πF (0) δ (ω)
αγ
−∞ iω
d
−
R itf (t ) R ∞ (ω) 2
dω
F
∞
−∞
|f (t )|2 dt |F (ω)| dω
R∞ R−∞
∞
−∞
f (t ) g (t )dt −∞
F (w) G (ω)dω
f (t ) ∗ g (t ) F (ω) G (ω)
9.1.16. ΣΥΜΒΟΛΙΣΜΟΣ: Στα παρακάτω ϑα χρησιµοποιήσουµε τις εξής συναρτήσεις
(
1 για t ≥ 0,
H (t ) =
εχ
( 0 για t < 0.
1 για t > 0,
sgn (t ) =
( −1 για t < 0.
1 για |t | ≤ 1,
Π (t ) =
( 0 για |t | > 1.
1 − |t | για |t | ≤ 1,
Λ (t ) =
.Κ
0 για |t | > 1.
sin c (t ) = sin t
t
f (t ) F (ω) = F (f (t ))
1
e −at H (t ) a +iω
2a
e −a |t |
Αθ
a 2 +ω 2
2 p π −ω2 /4a
e −at a
e
Π (t ) 2a sin c (ω)
1
π
sin c (t ) Π (ω)
1
te −at H (t ) (a +iω)2
1 π −a |ω|
a 2 +t 2 a
e
1
t
−iπsgn (ω)
x 00 − 3x 0 + x = u (t ) , x (T ) = 0, x 0 (T ) = 0.
ΚΕΦΑΛΑΙΟ 9. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER 44
΄Οπου (
1 |t | ≤ t0
u (t ) =
0 |t | > 0
ας
Κατόπιν να ϐρεθεί το όριο limT →−∞ xT (t ).
Λυση. Αυτό δίνει τι κίνηρο για την ανάλυση Fourier.
ι
−1
9.3.1. Βρείτε τον µετασχηµατισµό Fourier της 3 t 2 + 4 .
αγ
Απ. 3/2 π e−2 w H (w) + e2 w H (−w)
et H(−t )
Απ. √ √
π −t
−1
9.3.7. Βρείτε τον αντίστροφο µετασχηµατισµό Fourier της 3 w2 + 1 .
Απ. 3/2 et H (−t ) + 3/2 H (t ) e−t
sin(w)
9.3.9. Βρείτε τον αντίστροφο µετασχηµατισµό Fourier της w2 +1 .
Απ. i/4 e−t +1 H (t − 1) + et −1 H (−t + 1) − et +1 H (−t − 1) − e−t −1 H (t + 1)
sin(w)
9.3.10. Βρείτε τον αντίστροφο µετασχηµατισµό Fourier της w2 +9 .
Απ. i/12 e−3 t +3 H (t − 1) + e3 t −3 H (−t + 1) − e−3 t −3 H (t + 1) − e3 t +3 H (−t − 1)
ΚΕΦΑΛΑΙΟ 9. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER 45
ας
περιττη ϕανταστικη συναρτηση.
9.4.2. Αποδειξτε : αν η f (x ) ειναι πραγµατικη συναρτηση, τοτε η |F (ω)|2 ειναι αρτια συναρτηση.
9.4.4. Γιατι µια περιοδικη συναρτηση δεν εχει µετασχηµατισµο Fourier; Υπαρχει καποια εξαι-
ϱεση σε αυτη την προταση ;
ι
R∞ 0 R∞ 00
tf (t ) dt = − −2iπ , t 2 f (t ) dt = − 4π 2 .
F (0) F (0)
9.4.5. Αποδειξτε : −∞ −∞
αγ
R ∞ df df R ∞ dF dF
9.4.6. Αποδειξτε : −∞ dt dt
dt = 4π 2 −∞ dω dω
dω.
9.4.7. Ποια ειναι η σχεση µεταξυ της f (t ) και της F (F (f (t ))); Μεταξυ της f (t ) και της
F (F (F (F (f (t )))));.
9.4.8. Αποδειξτε : d
dt
Λ = −Π t
2
sgn (t ) .
9.4.9. Αποδειξτε : d
sin c (t ) = cost πt − sinπt πt
2 .
εχ
dt
9.4.10. Π (t ) = H t + 21 − H t − 21 = 12 sgn t + 21 − 12 sgn t − 21 .
9.4.11. Αποδειξτε : H (at + b) = H t + ab H (a ) + H −t − ab H (−a ) .
R∞
9.4.12. Αποδειξτε : |f (t )| ≤ −∞ |F (ω)| dω.
.Κ
R∞
Αποδειξτε : −∞ e −πt cos (2πωt ) dt = e −πω .
2 2
9.4.13.
ω2
ω2
... = A · e −ω
2
9.4.16. Αποδειξτε : limN → 1 − ω2 1− ... 1 − /B
. Ποιες ειναι οι τιµες των
Αθ
4 N2
A, B;
9.4.19. Αποδειξτε : f ∗ g = g ∗ f , f ∗ (g + h ) = f ∗ g = f ∗ h, (f ∗ g) ∗ h = f ∗ (g ∗ h ) .
9.4.20. Αποδειξτε : d
dt
[f (t ) ∗ g (t )] = d
dt
f (t ) ∗ g (t ), d
dt
[f (t ) ∗ H (t )] = f (t ) .
9.4.21. Αποδειξτε : Λ (t ) = Π (t ) ∗ Π (t ) .
Rt
9.4.22. Αποδειξτε : H (t ) ∗ [f (t ) H (t )] = 0
f (τ ) dτ.
ΚΕΦΑΛΑΙΟ 9. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER 46
9.4.23. Αποδειξτε : 1
πt
∗ −1
πt
= δ (t ) .
ας
n ϕορες
R∞
9.4.25. Λυστε την ολοκληρωτικη εξισωση :
y(τ )
−∞ (t −τ )2 +a 2
dτ = 1
t 2 +b 2
. Απ. y (t ) = b −a
bπ t 2 +(b−a )2
( )
R∞ dt 1
9.4.26. Υπολογιστε το −∞ (1+t 2 )2
. Απ. 2
π.
R∞ t 2 dt 1
9.4.27. Υπολογιστε το . Απ. π.
ι
−∞ (1+t 2 )2 2
αγ
εχ
.Κ
Αθ
ας
Κεφάλαιο 10
ι
10.1 Θεωρία
αγ
10.1.1. ΟΡΙΣΜΟΣ: ∆ίνεται ένα σύνολο συναρτήσεων F µε πεδίο ορισµού το A⊆ R και πεδίο
τιµών το C. Ορίζουµε σε αυτό τις πράξεις της προσθεσης και του ϐαθµωτού πολλαπλασιασµού,
ως εξής :
η συνάρτηση f + g ικανοποιεί : ∀x ∈ C : (f + g) (t ) = f (t ) + g (t ) ,
εχ
η συνάρτηση cf ικανοποιεί : ∀x ∈ C : (cf ) (t ) = c · f (t ) .
10.1.2. ΟΡΙΣΜΟΣ: Σε ένα σύνολο συναρτήσεων F εφοδιασµένο (όπως παραπάνω) µε τις πράξεις
της προσθεσης και του ϐαθµωτού πολλαπλασιασµού, γραµµικός συνδυασµός των συναρτήσεων
f1 και f2 είναι κάθε συνάρτηση της µορφής c1 f1 + c2 f2 , όπου c1 , c2 ∈ C.
10.1.3. ΟΡΙΣΜΟΣ: ΄Ενα σύνολο συναρτήσεων F εφοδιασµένο (όπως παραπάνω) µε τις πράξεις
.Κ
της προσθεσης και του ϐαθµωτού πολλαπλασιασµού, λέγεται διανυσµατικός χώρος συναρτήσεων
(∆Χ) ανν είναι κλειστό ως προς γραµµικούς συνδυασµούς, δηλ. ανν
)
f1 , f2 ∈ F
⇒ c1 f1 + c2 f2 ∈ F.
c1 , c 2 ∈ C
10.1.4. ΟΡΙΣΜΟΣ : ΄Εστω ∆Χ συναρτήσεων F και G. Εάν F ⊆ G, τότε λέµε ότι ο G είναι διανυ-
σµατικός υποχώρος του F.
Αθ
47
ΚΕΦΑΛΑΙΟ 10. ∆ΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΣΥΝΑΡΤΗΣΕΩΝ 48
10.1.7. ΘΕΩΡΗΜΑ: Για κάθε a, b ∈ R ∪ {−∞, ∞}, οι L1 (a, b) και L2 (a, b) είναι ∆Χ.
ας
Z b
f ·g = f (t ) g (t )dt
a
10.1.9. ΘΕΩΡΗΜΑ: Το εσωτερικό γινόµενο έχει τις παρακάτω ιδιότητες για κάθε f, g, h ∈ F και
a ∈ C.
ι
1. f · g = g · f .
αγ
2. (f + g) · h = f · h + g · h.
3. af · g = a · (f · g) .
4. f · f ≥ 0.
Z 1
gA · gA = |gA (t )|2 dt = 0
0
αλλά, προφανώς, η gA δεν είναι η µηδενική συνάρτηση. Αυτό το πρόβληµα µπορεί να διευθετηθεί
αν ορίσουµε τα στοιχεία L2 (a, b) να είναι κλάσεις ισοδύναµων (τετραγωνικά ολοκληρώσιµων)
συναρτήσεων, όπου δύο συναρτήσεις f1 και f2 είναι ισοδύναµες ανν το σύνολο
Αθ
{x : f1 (x ) , f2 (x )}
έχει µέτρο 0. Το µέτρο ένος συνόλου, όπως και το ολοκλήρωµα µιας συνάρτησης, ορίζονται σύµ-
ϕωνα µε την ϑεωρία του Lebesgue. Χάριν απλότητας, δεν ϑα επεκταθούµε σε αυτά τα Ϲητήµατα
και ϑα συνεχίσουµε να χρησιµοποιούµε τους παραπάνω ¨απλοϊκούς¨ ορισµούς. Ο ενδιαφερόµε-
νος αναγνώστης µπορεί να ανατρέξει σε κλασσικά συγγράµατα της ϑεωρίας ολοκλήρωσης, π.χ.
στο [Rudin] για µία αυστηρότερη διαπραγµάτευση του ϑέµατος.
1. kf k ≥ 0.
ας
2. kf k = 0 ⇔ f = 0 (η µηδενική συνάρτηση).
3. kf + gk ≤ kf k + kgk .
4. kaf k = |a | · kf k .
ι
f · g ≤ kf k · kgk .
αγ
10.1.14. RΟΡΙΣΜΟΣ : ∆ύο συναρτήσεις f, g ∈ F λέγονται ορθογώνιες (µεταξύ τους) ανν f · g = 0,
δηλ. ανν A f (t ) g (t )dt = 0.
10.1.16. ΟΡΙΣΜΟΣ : ΄Ενα σύνολο συναρτήσεων {f1 , f2 , ...} ⊆ F λέγεται ορθογώνιο ανν i , j ⇒
εχ
fi · fj = 0.
10.1.17. ΟΡΙΣΜΟΣ : ΄Ενα σύνολο συναρτήσεων {f1 , f2 , ...} ⊆ F λέγεται γραµµικά ανεξάρτητο ανν
c1 f1 + c2 f2 + ... = 0 ⇒ 0 = c1 = c2 = ... .
Αν ένα σύνολο δεν είναι γραµµικά ανεξάρτητο, τότε λέµε ότι είναι γραµµικά εξαρτηµένο.
.Κ
10.1.18. ΘΕΩΡΗΜΑ: Αν ένα σύνολο συναρτήσεων {f1 , f2 , ...} ⊆ F είναι ορθογώνιο τότε είναι
γραµµικά ανεξάρτητο.
10.1.19. ΟΡΙΣΜΟΣ : Λέµε ότι η ακολουθία συναρτήσεων f1 , f2 , ... ∈ F συγκλίνει στον µέσο όρο
στην συνάρτηση f ∈ F ανν limn →∞ kf − fn k = 0, δηλ. ανν
Z
|f (t ) − fn (t )|2 dt = 0.
Αθ
lim
n →∞ A
10.1.20. ΟΡΙΣΜΟΣ : ∆ίνεται η ακολουθία συναρτήσεων f1 , f2 , ... ∈ F . Τότε ορίζουµε τις συναρτήσεις-
αθροίσµατα
N
X
FN = fn .
n =1
10.1.21. ΟΡΙΣΜΟΣ : ΄Ενα σύνολο συναρτήσεων {f1 , f2 , ...} ⊆ F λέγεται ϐάση του F ανν
ας
2. για κάθε f ∈ F έχουµε f =
P
n cn fn .
10.1.22. ΟΡΙΣΜΟΣ : ΄Ενα σύνολο συναρτήσεων {f1 , f2 , ...} ⊆ F λέγεται ορθογώνια ϐάση του F ανν
1. είναι ορθογώνιο,
ι
10.1.23. ΟΡΙΣΜΟΣ : Μία ορθογώνια ϐάση {f1 , f2 , ...} του F λέγεται ορθοκανονική ανν
αγ
∀n : kfn k = 1.
10.1.24. ΘΕΩΡΗΜΑ : ΄Εστω ορθογώνια ϐάση {f1 , f2 , ...} του F και τυχούσα f ∈ F. Τότε ισχύει ότι
X f · fn
f = cn fn όπου ∀n : cn = .
n
kfn k
10.1.25. ΘΕΩΡΗΜΑ : ΄Εστω ορθοκανονική ϐάση {f1 , f2 , ...} του F και τυχούσες g, h ∈ F. ΄Εστω
εχ
επίσης ότι X X
g= cn fn και h = dn fn .
n n
Τότε X X
g·h = cn dn και kgk2 = |cn |2 .
n n
.Κ
R 2π R 2π 1+cos(2mt )
5. 0 (cos (mt ))2 dt = 0 2
dt = π
R 2π R 2π 1−cos(2mt )
6. 0 (sin (mt ))2 dt = 0 2
dt = π
10.2.3. Q0 = 1, Q1 = x, Q2 = x 2 , Q3 = x 3 ...
ΚΕΦΑΛΑΙΟ 10. ∆ΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΣΥΝΑΡΤΗΣΕΩΝ 51
1. P0 = Q0 = 1
ας
R1
1·xdx
2. Q1 = P1 − =x− =x
P1 Q0 −1
Q
kP1 kkQ0 k 0 R 1 1/2
−1
12 dx
R1 R1
x 2 dx x 3 dx
3. Q2 = P2 − =x − = x2 −
P2 Q0 P2 Q1 2 1
Q
kQ0 k2 0
− Q
kQ1 k2 1
−1
R 1 1 − R−11
3
−1
12 dx −1
x 2 dx
q q q
10.2.5. Φροµ Qn ϐυτ Ορτηονορµαλ R0 = 1
2
, R1 = 3
2
x, R2 = 5
2
3 2
2
x − 1
2
ι
R 1 q 1 2 R 1 q 3 2 R 1 q 5 2 3 2
dx = 1, dx = 1, x2 − 1
dx = 1
αγ
1. −1 2 −1 2
x −1 2 2 2
√ r √ r
2 1 2 2 5 3 2 1
x2 = + √ x −
.Κ
3
3 5 2 2 2 2
√ r
1 2 2 5 3 2 1
= + √ x −
3 3 5 2 2 2
R1 √ R1 q R1 q √ √
Οτηερ ωαψ −1
x 2 √12 dx = 1
3
2 −1
x 2 3
2
x dx = 0 −1
x 2 5
2
3 2
2
x − 1
2
dx = 2
15
2 5
Αθ
R1
1. −1
x 4 dx = 2
5
R 1 1 √ q 2
2. −1 3
+ 2 2
√
3 5
5
2
3 2
2
x − 1
2
dx = 2
5
R 1 1 2
3. −1 3
dx = 2
9
R 1 2 √2 q 5 3 2
4. −1
√
2 2
x2 − 1
2
dx = 8
45
3 5
5. 2
9
+ 8
45
= 2
5
√ 2 √ 2
6. 3
2
+ 2 2
√
3 5
= 2
5
ΚΕΦΑΛΑΙΟ 10. ∆ΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΣΥΝΑΡΤΗΣΕΩΝ 52
ας
10.3.2. Συµβολίζουµε µε P το σύνολο όλων των πολυωνύµων. ∆είξτε οτι ο P είναι ∆Χ. ∆είξτε οτι,
για κάθε n ∈ N, ο Pn είναι διανυσµατικός υποχώρος του P.
10.3.3. Συµβολίζουµε µε C0 (0, 1) το σύνολο όλων των συνεχών συναρτήσεων µε πεδίο ορισµού
το [0, 1]. ∆είξτε οτι ο C0 (0, 1) είναι ∆Χ.
10.3.4. Συµβολίζουµε µε Cn (−∞, ∞) το σύνολο όλων των συναρτήσεων µε πεδίο ορισµού το
ι
(−∞, ∞) οι οποίες έχουν συνεχείς παραγώγους µέχρι n-οστής τάξης και µε C∞ (−∞, ∞) το σύνολο
όλων των συναρτήσεων µε πεδίο ορισµού το (−∞, ∞) οι οποίες έχουν παραγώγους όλων των τάξεων
αγ
(και στις δύο περιπτώσεις ϑεωρούµε ότι οι παράγωγοι είναι ορισµένες σε όλο το (−∞, ∞)). ∆είξτε
οτι, για κάθε n ∈ N, ο Dn είναι διανυσµατικός υποχώρος του D∞ .
10.3.5. ∆είξτε ότι το σύνολο όλων των αυξουσών συναρτήσεων µε πεδίο ορισµού το R είναι ∆Χ.
10.3.6. ∆είξτε ότι το σύνολο όλων των µονότονων συναρτήσεων µε πεδίο ορισµού το R δεν είναι
∆Χ.
d2x
10.3.7. ∆είξτε ότι, για κάθε a, b ∈ C, το συνολο των λύσεων της + a dx + bx = 0 είναι ∆Χ.
εχ
dt 2 dt
d2x
10.3.8. ∆είξτε ότι, για κάθε a, b ∈ C, το συνολο των λύσεων της dt 2
+ a dx
dt
+ bx = f (x ) είναι ∆Χ
µόνο ανν η f (x ) είναι η µηδενική συνάρτηση.
10.3.9. Γενικεύστε τα δύο προηγούµενα προβλήµατα για γραµµικές διαφορικές εξισώσεις ο-
ποιασδήποτε τάξης.
10.3.10. Είναι το σύνολο 1, t, t 2 γραµµικά ανεξάρτητο στο R;
.Κ
n o
10.3.11. Είναι το σύνολο 1, cos 2t, sin2 t γραµµικά ανεξάρτητο στο R;
n o
10.3.12. Είναι το σύνολο 1, cos2 t, sin2 t γραµµικά ανεξάρτητο στο R;
10.3.13. ∆είξτε ότι το 1, t, t 2 είναι µιά ϐάση, στο R, του συνόλου των πολυωνύµων το πολύ
δευτέρου ϐαθµού.
Αθ
10.3.21. ∆είξτε ότι, στο R, το t, t 2 + 1, 3 είναι γραµµικά ανεξάρτητο αλλά όχι ορθογώνιο.
ΚΕΦΑΛΑΙΟ 10. ∆ΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΣΥΝΑΡΤΗΣΕΩΝ 53
ας
συναρτήσεων ;
όπου η F (t, τ ) είναι γνωστή συνάρτηση και η x (t ) είναι η Ϲητούµενη άγνωστη συνάρτηση. ∆είξτε
ι
ότι το σύνολο των λύσεων της (10.1) είναι ∆Χ. Τι ισχύει για την
b
αγ
Z
F (t, τ ) x (τ ) dτ = g (t ) , (10.2)
a
όπου η g (t ) είναι δοσµένη συνάρτηση ; Ποιά είναι η αναλογία µε την Γραµµική ΄Αλγεβρα ;
10.4.6. ΄Εστω V ένας διανυσµατικός υποχώρος του L2 (0, 1). ∆είξτε ότι κάθε f ∈ L2 (0, 1) µπορεί
να γραφεί στην µορφή f = g + h, όπου g ∈ .V και g · h = 0. Κατόπιν δείξτε ότι kf k2 = kgk2 + kh k2 ;
Ποιό ϑεώρηµα είναι αυτό ;
10.4.7. ΄Εστω V ένας διανυσµατικός υποχώρος του L2 (0, 1) και {f1 , f2 , f3 , ...} µια ϐάση αυτού.
.Κ
∆είξτε ότι το σύνολο {g1 , g2 , ...} που παράγεται από την παρακάτω διαδικασία (αλγόριθµος Gram −
Scmhidt) είναι µια ορθογώνια ϐάση του V.
kf1 k
f3 · g1 f3 · g2
g3 = f3 − g1 − g2 ,
kf1 k kf1 k
...
10.4.8. ΄Εστω P το σύνολο των πολυωνύµων. Προφανώς το 1, x, x 2 , ... αποτελεί µια ϐάση του P
στο (0, 1). Χρησιµοποιείστε την διαδικασία Gram − Schmidt για να ϐρείτε µια ορθογώνια ϐάση
του P στο (0, 1).
ας
Κεφάλαιο 11
Μετασχηµατισµός Laplace
ι
11.1 Θεωρία
g 0− = lim− g (ε) ,
ε→0
g 0+ = lim+ g (ε) .
ε→0
εχ
Z ∞ Z M Z M
g (t ) dt = lim+ lim g (t ) dt = lim lim+ g (t ) dt
0− ε→0 M →∞ −ε M →∞ ε→0 −ε
Η εναλλαγή των ορίων είναι επιτρεπτή, αρκεί η g (t ) να είναι συνεχής σε κάποιο σηµείο t0 . ∆ιότι
τότε
.Κ
Z M Z t0 Z M
lim lim g (t ) dt = lim+ lim g (t ) dt + lim+ lim g (t ) dt
ε→0+ M →∞ −ε ε→0 M →∞ −ε ε→0 M →∞ t
0
Z t0 Z M
= lim+ g (t ) dt + lim g (t ) dt.
ε→0 −ε M →∞ t0
Z ∞
F (s ) = e −st f (t ) dt. (11.1)
0−
11.1.4. ΠΑΡΑΤΗΡΗΣΗ: Ο λόγος για την χρήση του ορίου ολοκλήρωσης 0− ϑα εξηγηθεί R∞ στο Κε-
ϕάλαιο 12. Προς το παρόν, παρατηρούµε ότι : αν η f (t ) είναι συνεχής στο 0, τότε 0− f (t ) e −st dt =
R∞
0
f (t ) e −st dt.
54
ΚΕΦΑΛΑΙΟ 11. ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ LAPLACE 55
f (t ) F (s) = L (f (t ))
1
ας
1 s
n!
t n (για n ∈ N) s n +1
1
e at s −a
a
sin at s 2 +a 2
s
cos at s 2 +a 2
a
sinh at s 2 −a 2
s
cosh at s 2 −a 2
ι
1
H (t ) s
αγ
11.1.6. ΟΡΙΣΜΟΣ : Λέµε ότι η συνάρτηση f (t ) είναι τµηµατικά συνεχής στο διάστηµα [t1 , t2 ] ανν
2. για κάθε τi (i ∈ {0, 1, ..., n }) υπάρχουν τα limt →τi− f (t ) και limt →τi+ f (t ) (εκτός των limt →t0− f (t )
και limt →t1+ f (t ) ).
εχ
11.1.7. ΟΡΙΣΜΟΣ : Λέµε ότι η συνάρτηση f (t ) είναι είναι εκθετικής τάξης γ στο διάστηµα [t1 , t2 ]
ανν υπάρχουν σταθερές M, γ τέτοιες ώστε
∀t ∈ [t1 , t2 ] : |f (t )| < Me γt .
11.1.8. ΘΕΩΡΗΜΑ: Αν για κάθε πεπερασµένο T η f (t ) είναι τµηµατικά συνεχής στο [0, T ] και
εκθετικής τάξης γ στο [T, ∞), τότε υπάρχει η F (s) = L (f (t )) για κάθε s > γ.
.Κ
11.1.9. ΟΡΙΣΜΟΣ : Λέµε ότι η f (t ) είναι ένας αντίστροφος µετασχηµατισµός Laplace της F (s)
ανν F (s) = L (f (t )). Σε αυτή την περίπτωση γράφουµε και L−1 (F (s)) = f (t ).
R∞
11.1.10. ΟΡΙΣΜΟΣ : Λέµε ότι η συνάρτηση g (t ) είναι µηδενοσυνάρτηση ανν 0
g (t ) e −st dt = 0.
συνάρτηση.
11.1.12. ΠΟΡΙΣΜΑ: Αν η f (t ) έχει F (s) = L (f (t )) και είναι συνεχής στο [t1 , t2 ], τότε είναι η
µοναδική συνάρτηση η οποία ικανοποιεί f (t ) = L−1 (F (s)).
11.1.13. ΘΕΩΡΗΜΑ: Αν η f (t ) είναι ίση µε το 0 για κάθε t < 0, τµηµατικά συνεχής σε κάθε
πεπερασµένο διάστηµα [0, T ] και εκθετικής τάξης γ, τότε
F f (t ) e −iωt = L (f (t ))
ας
11.1.16. ΘΕΩΡΗΜΑ: ΄Εστω ότι L (f (t )) = F (s) και
(
f (t − t0 ) όταν t > t0
g (t ) = .
0 όταν t < t0
ι
a
.
αγ t
Z !
F (s)
L f (t ) = F (s) − f (0) ,
0
f (τ ) dτ =
L .
0 s
11.1.21. ΟΡΙΣΜΟΣ : ΄Οταν οι συναρτήσεις f (t ), g (t ) έχουν πεδίο ορισµού [0, ∞), η συνέλιξη
.Κ
11.1.22. ΠΑΡΑΤΗΡΗΣΗ: Αν ϑεωρήσουµε ότι οι f (t ), g (t ) έχουν πεδίο ορισµού το [0, ∞), αλλά
ισούνται µε 0 στο (−∞, 0), τότε ο παραπάνω ορισµός της συνέλιξης είναι ισοδύναµος µε αυτόν
του Κεφαλαίου 9.
Αθ
11.1.24. ΘΕΩΡΗΜΑ : ΄Οταν όλες οι παρακάτω συνελίξεις είναι καλά ορισµένες, ισχύουν τα εξής :
f ∗ g = g ∗ f,
f ∗ (g ∗ h ) = (f ∗ g) ∗ h,
f ∗ (g + h ) = f ∗ g + f ∗ h.
ας
3. lims→∞ F (s) = 0.
11.1.26. ΘΕΩΡΗΜΑ: Συνοψίζουµε µερικές ιδιότητες του µετασχηµατισµού Laplace στον πα-
ϱακάτω πίνακα.
f (t ) F (s) = L (f (t ))
c1 f1 (t ) + c2 f2 (t ) c1 F1 (s) + c2 F2 (s)
ι
f (t ) e at F (s − a )
F (s) e −st0
αγ
f (t ) H (t − t0 )
1 s
f (at ) , a>0 a
F a
d
dt
f sF (s) − f (0)
d2
dt 2
f s2 F (s) − sf (0) − f 0 (0)
Rt 1
0
f (τ ) dτ s
( )
F s
d
tf (t ) R ∞ (s)
− ds
F
1
t
f (t ) s
f (τ ) dτ
εχ
f (t ) ∗ g (t ) F (s) G (s)
ας
11.3.8. Βρείτε τον αντίστροφο µετασχηµατισµό Laplace της s2 − 4 .
Απ. 1/2 sinh (2 t ) .
ι
1
2
(s2 +1)(s−1)(s−7) .
t
13 e7 t
Απ. − 512e + 1/5 cos (t ) − 1/10 sin (t ) + .
αγ
60
s2
11.3.11. Βρείτε τον αντίστροφο µετασχηµατισµό Laplace της −
( s2 +4 (s−1)(s−2)
) + 4 (s2 +4)(s1−1)(s−2) .
Απ. −3/5 et + 3/5 cos (2 t ) − 1/5 sin (2 t ) .
s2
(s2 +9)(s−1) +4 (s2 +9)(s−1) +4 (s2 +9)(s−1) .
s 1
11.3.12. Βρείτε τον αντίστροφο µετασχηµατισµό Laplace της
9 et
Απ. 10
+ 1/10 cos (3 t ) + 41 sin(3 t )
30
.
εχ
11.4 Προχωρηµένα Αλυτα Προβλήµατα
11.4.1. Αποδειξτε ότι L (f (t ) e at ) = F (s − a ).
df
11.4.5. ΄Εστω ότι οι f (t ) και dt είναι εκθετικής τάξης και τµηµατικά συνεχείς σε κάθε πεπερα-
σµένο διάστηµα [0, T ]. Συγκεκριµένα, η f (t ) έχει πεπερασµένο αριθµό ασθνεχειών, στα σηµεία
t1 , t2 , ..., tK . ∆είξτε ότι
Αθ
d
L f = sF (s) − f (0) .
dt
R t
11.4.6. Αποδειξτε ότι L 0
f (τ ) dτ = 1s F (s).
ας
1 − e Ts 0
11.4.12. ΄Εστω ότι η f (t ) είναι συνεχής στο [0, ∞) και εκθετικής τάξης. ∆είξτε ότι κάθε λύση της
dx
dt
+ ax (t ) = f (t ) είναι εκθετικής τάξης.
11.4.14. ΄Εστω ότι η f (t ) , g (t ) είναι τµηµατικά συνεχείς στο [0, ∞) και εκθετικής τάξης. ∆είξτε
ι
ότι η f (t ) ∗ g (t ) είναι εκθετικής τάξης.
αγ
εχ
.Κ
Αθ
ας
Κεφάλαιο 12
Γενικευµένες Συναρτήσεις
ι
αυστηρή µαθηµατικά1 .
12.1 Θεωρία αγ
Η ανάλυση του παρόντος κεφαλαίου ϐασίζεται σε διασθητικά επιχειρήµατα και δεν είναι απόλυτα
60
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 61
ας
Υπάρχουν δύο προβλήµατα µε αυτή την ιδέα.
∞ t=0
(
δ (t ) = ,
0 t,0
ι
2. Η H 0 (t ) δεν είναι παραγωγίσιµη στο t = 0 (δεν έχει εφαπτοµένη).
Παρόλα αυτά, κατά κάποιο τρόπο ϕαίνεται λογικό να ορίσουµε H 0 (0) = ∞ (γιατί ;).
να ϑέσουµε
αγ
12.1.4. ΠΑΡΑΤΗΡΗΣΗ: Παρατηρούµε επίσης ότι L (δε (t )) =
και γνωρίζουµε ότι γενικά δεν είναι επιτρεπτή η εναλλαγή του ολοκληρώµατος και του ορίου.
12.1.5. ΠΑΡΑΤΗΡΗΣΗ: Πάντως, τα παραπάνω υπαγορεύουν την ιδέα ότι δ (t ) = L−1 (1) . Οπότε
αποφασίζουµε να ορίσουµε την ¨οντότητα¨ δ (t ) κατα αυτό τον τρόπο.
.Κ
df
= L−1 sL (f ) − f 0− .
dt
Αθ
dH
= L−1 sL (H (t )) − H 0−
dt
1
= L−1 s − 0 = L−1 (1) = δ (t ) .
s
12.1.9. ΠΑΡΑΤΗΡΗΣΗ: Η γενικευµένη παράγωγος δεν είναι µία συνάρτηση µε την συνηθισµέ-
νη έννοια του όρου (όπως και η H (t ) δεν είναι παραγωγίσιµη µε την συνηθισµένη έννοια). Θα
πρέπει να αποδείξουµε όσες ιδιότητες της δ (t ) = dH
dt
χρειαζόµαστε.
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 62
12.1.10. ΠΑΡΑΤΗΡΗΣΗ: Παρατηρούµε πάντως ότι : αν η f (t ) είναι συνεχής στο 0, τότε f (0− ) =
f (0) και η
df
= L−1 sL (f ) − f 0− = L−1 (sL (f ) − f (0))
ας
dt
είναι η ¨κλασική¨ παράγωγος της f (t ).
ι
R∞
f (t ) = L (sL (f (t )) − f (0 )). Αυτό απαιτεί και τον ορισµό L (f (t )) = 0− f (t ) e dt αντί του
0 −1 − −st
R∞
L (f (t )) =
αγ
0
f (t ) e −st dt.
12.1.12. ΘΕΩΡΗΜΑ : Για κάθε t0 ∈ [0, ∞) και για κάθε a, b τέτοια ώστε 0 ≤ a < b έχουµε
b
Z (
1 όταν t0 ∈ [a, b)
δ (t − t0 ) dt = .
a 0 όταν t0 < [a, b)
Γενικότερα, για κάθε t0 ∈ [0, ∞), για κάθε a, b τέτοια ώστε 0 ≤ a < b και για κάθε συνάρτηση
εχ
f (t ) συνεχή στο [0, ∞) έχουµε
b
Z (
f (t0 ) όταν t0 ∈ [a, b)
f (t ) δ (t − t0 ) dt = . (12.1)
a 0 όταν t0 < [a, b)
12.1.13. ΠΑΡΑΤΗΡΗΣΗ: Η (12.1) συµφωνεί και µε την αρχική µας ιδέα ότι
Z b Z b
.Κ
f (t ) δ (t − t0 ) dt = lim f (t ) δε (t − t0 ) dt.
a ε→0 a
dδ
= L−1 sL (δ (t )) − δ 0− = L−1 (s · 1 − 0) = L−1 (s)
dt
δ (n ) (t ) = L−1 (sn ) .
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 63
ας
12.1.18. ΠΑΡΑΤΗΡΗΣΗ: ΄Εχει ιδιαίτερη σηµασία ότι οι ανώµαλες συναρτήσεις ικανοποιούν την
ιδιότητα της γραµµικότητας :
ι
g (t ) = c1 f1 (t ) + c2 f2 (t ) + ... + gK (t )
αγ
είναι επίσης µία ανώµαλη συνάρτηση η οποία ικανοποιεί όλε ςτις ιδιότητες του µετασχηµατισµού
Laplace. Επιπλέον, αν η g1 (t ) είναι µία κανονική συνάρτηση και η g2 (t ) µία ανώµαλη συνάρ-
τηση, τότε η p1 g1 (t ) + p2 g2 (t ) είναι µία γενικευµένη συνάρτηση (µε κανονικό µέρος την p1 g1 (t )
και ανώµαλο µέρος την p2 g2 (t ) ) η οποία ικανοποιεί όλε ςτις ιδιότητες του µετασχηµατισµού
Laplace. Αυτές οι γενικευµένες συναρτήσεις είναι ιδιαίτερα χρήσιµες στις εφαρµογές ∆Ε.
12.1.19. ΠΑΡΑΤΗΡΗΣΗ:
Οι απλούστερες ανώµαλες συναρτήσεις ορίστηκαν ως δ (n ) (t ) = L−1 (sn ).
Ισοδύναµα, L δ (n ) (t ) = sn . Καταλαβαίνουµε ότι ισχύει επίσης δ (n ) (t ) = δ (n ) (t ) + φ (t ), για κάθε
εχ
µηδενοσυνάρτηση φ (t ). Βλέπουµε λοιπόν ότι η ανώµαλη συνάρτηση δ (n ) (t ) είναι µία κλάση. Το
ίδιο ισχύει για κάθε ανώµαλη συνάρτηση και για κάθε γενικευµένη συνάρτηση η οποία έχει µη
µηδενικό ανώµαλο µέρος.
d2x
+ ... = απότοµη κρούση
dt 2
d2x dh
+ ... = h (t ) + (παράγωγος της εισόδου)
dt 2 dt
Αθ
dh
2. Τι περιµένουµε από την dt
;
dh h (t ) − h (t − ε) δε (t ) ∞ t=0
= lim+ = lim+ =
dt ε ⇒0 ε ε⇒0 ε 0 t,0
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 64
4. Παρατηρούµε ότι L (h ) = 1s . Αρα L dh
dt
= sL (h ) − h (0) = s 1s −;= 1−;
5. Παρατηρούµε ότι
ας
Z ∞ Z ε
1 1
φ (t ) δε (t ) dt = lim+ φ (t ) dt = lim+ φ (ζ ) = φ 0+
∀φ : lim+
ε⇒0 −∞ ε⇒0 ε 0 ε⇒0 ε
ι
(α΄) απείρως διαφορίσιµη και
αγ
(ϐ΄) πεπεραςµένης υποστήριξης δηλ.
9. Παράδειγµα: Z ∞ Z ∞
∀φ (t ) : T (φ (t )) = φ (t ) h (t ) dt = φ (t ) dt ∈ R
−∞ 0
.Κ
10. Η γενική ιδέα είναι : πρώτα ϑα συσχετίσουµε κάθε κανονική συναρτηση µε µία κατανοµή
(αυτές είναι οι οµαλές κατανοµές) και έπειτα ϑα εισάγουµε και άλλες κατανοµές, οι οποίες
δεν προέρχονται από συναρτήσεις.
Αθ
11. Για το πρώτο ϐήµα : αν f (t ) είναι µία τµηµατικά συνεχής συνάρτηση, ϑα ορίσουµε την Tf (t )
ως εξής : Z ∞
∀φ (t ) : Tf (t ) (φ (t )) = φ (t ) f (t ) dt
−∞
13. Παράδειγµα: Z ∞ Z ∞
∀φ : Th (t −t0 ) = φ (t ) h (t − t0 ) dt = φ (t ) dt.
−∞ t0
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 65
14. Για το δεύτερο ϐήµα : δεν υπάρχει συνάρτηση δ (t ) αλλά µπορώ να ορισω την Tδ (t ) (είναι
απλά ένα σύµϐολο)
∀φ (t ) : Tδ (t ) (φ (t )) = φ (0)
ας
∀φ (t ) : Tδ (t −t0 ) (φ (t )) = φ (t0 )
∀φ (t ) : T1 (φ (t )) = T2 (φ (t ))
ι
17. Ιδιότητες των Κατανοµών. Η γενική ιδά είναι η εξής : ορίζουµε ιδιότητες οι οποίες ϑα
αγ
ισχύουν για οµαλές κατανοµές και τις γενικεύουµε για όχι οµαλές.
18. Να ϑυµάστε : µία οµαλή κατανοµή Tf (t ) αντιστοιχίζεται 1-προς-1 (σχεδόν) µε µία συνάρτηση
f (t ).
Οπότε γενικότερα (ακόµη και αν q δεν είναι συνάρτηση): Tq(t −t0 ) (φ (t )) = Tq(t ) (φ (t + t0 ))
φ (t ) f (t ) dt
Z−∞∞ Z ∞
1 1
t
∀φ (t ) : Tf (at ) (φ (t )) = φ (t ) f (at ) dt = φ f (t ) dt = Tf (t ) (φ (t ))
−∞ |a | −∞ a a
Οπότε γενικότερα (ακόµη και αν q δεν είναι συνάρτηση): Tq(at ) (φ (t )) = 1
T
|a | q(t )
(φ (t ))
0
21. Παραγώγιση. Επιλέγουµε Tf (t ) να είναι η κατανοµή που συσχετίζεται µε την παράγωγο
Αθ
της f (t ). ∆ηλαδη
Z ∞
∀φ (t ) : Tf (t ) (φ (t )) = Tf 0 (t ) (φ (t )) =
0
φ (t ) f 0 (t ) dt
−∞
Z ∞
= (φ (t ) f (t ))∞−∞ − φ0 (t ) f (t ) dt
−∞
Z ∞
= φ (∞) f (∞) − φ (−∞) f (−∞) − φ0 (t ) f (t ) dt
−∞
∀φ (t ) : Tf (t ) 0 (φ (t )) = −Tf (t ) φ0 (t )
∀φ (t ) : Tq(t ) 0 (φ (t )) = −Tq(t ) φ0 (t ) .
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 66
22. Παράδειγµα:
Z ∞
∀φ (t ) : Th (t ) (φ (t )) = −Th (t ) φ (t ) = − φ0 (t ) dt = −φ (∞)+φ (0) = φ (0) = Tδ (t ) (φ (t )) .
0 0
ας
0
ι
n →∞
αγ
Z ∞ Z 1/n
∀φ (t ) : lim Tδ1/n (t ) (φ (t )) = lim φ (t ) δ1/n (t ) dt = lim n φ (t ) dt
n →∞ n →∞ 0 n →∞ 0
1
= lim n φ (ζn ) = φ (0) = Tδ (t ) (φ (t )) .
n →∞ n
24. Λαπλαςε Τρανσφορµς. Ορίζουµε τον Λαπλαςε µ/ς µίας κατανοµής T ως εξής
εχ
L (T ) = T e −st
−∞
26. Παράδειγµα: Z ∞ Z ∞
1
L Th (t ) = −st
dt = e −st dt = = L (h (t ))
h (t ) e
−∞ 0 s
27. Παράδειγµα:
Αθ
1
L Tδ (t ) = e −st =1=s = sL (h (t ))
t =0
s
΄Αρα και Λαπλασικά ϐλέπουµε ότι δ (t ) = dh
dt
.
29. Αυτό µας δίνει την ιδέα για έναν άλλο, Λαπλασικό οριςµό της παραγώγου.
31. Και πάλι ο οριςµός είναι συντηρητικός : αν η f (t ) είναι παραγωγίσιµη στο 0, τότε είναι και
συνεχής, οπότε limt →0− f (t ) = f (0) και
df
" df #
=L (sL (f (t )) − f (0)) = L sL (f (t )) − lim− f (t ) =
ας
−1 −1
dt t →0 dt
12.2.1. Αποδείξτε ότι: για κάθε t0 ∈ [0, ∞) και για κάθε a, b τέτοια ώστε 0 ≤ a < b έχουµε
ι
b
Z (
1 όταν t0 ∈ [a, b)
δ (t − t0 ) dt = (12.2)
αγ
a 0 όταν t0 < [a, b)
και, γενικότερα, για κάθε t0 ∈ [0, ∞), για κάθε a, b τέτοια ώστε 0 ≤ a < b και για κάθε συνάρτηση
f (t ) συνεχή στο [0, ∞) έχουµε
b
Z (
f (t0 ) όταν t0 ∈ [a, b)
f (t ) δ (t − t0 ) dt = . (12.3)
a 0 όταν t0 < [a, b)
δ (t − t0 ) dt = H (b − t0 ) − H (a − t0 ) .
a
a ≤ t0 < b ⇒ δ (t − t0 ) dt = 1
a
Z b
a < b < t0 ⇒ δ (t − t0 ) dt = 0
a
και έτσι έχουµε αποδείξει την (12.2). Θα δώσουµε τώρα µία διασθητική απόδειξη2 της (12.3).
Κατά τα γνωστά από τον ορισµό του ορισµένου ολοκληρώµατος (µε ∆t = bN−a και tn = a +(n − 1)∆t
για n ∈ {1, 2, ..., N + 1}) ισχύει ότι
Z b N
X N
X Z tn +1
f (t ) δ (t − t0 ) dt = lim f (tn ) δ (tn − t0 ) ∆t = lim f (tn ) δ (tn − t0 ) dt.
a N →∞ N →∞ tn
n =1 n =1
2
Μία αυστηρή απόδειξη απαιτεί, όπως έχει αναφερθεί, την χρήση της ϑεωρίας των κατανοµών και του ολοκλη-
ϱώµατος Stieltjes.
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 68
Τώρα, αν t ∈ [a, b), ϑα υπάρχει ακριβώς ένα διάστηµα [tn , tn +1 ) (για n ∈ {1, 2, ..., N }) στο οποίο
ϑα ανήκει το t0 . ΄Εστω ότι αυτό το διάστηµα είναι το [tkN , tkN +1 ). Κατά συνέπεια
N
Z tn +1 Z tn+1 Z tkN + 1
ας
X X
δ (tn − t0 ) dt = δ (tn − t0 ) dt + f tkN
f (tn ) f (tn ) δ (tn − t0 ) dt
n =1 tn n ,k N tn tkN
X
= f (tn ) · 0 + f tkN · 1 = f tkN
n ,k N
ι
Z b N
X Z tn + 1
f (t ) δ (t − t0 ) dt = lim δ (tn − t0 ) dt = lim f tkN = f (t0 ) .
f (tn )
N →∞ N →∞
αγ
a n =1 tn
Rb
Με ανάλογο τρόπο δείχνουµε και ότι a
f (t ) δ (t − t0 ) dt = 0 όταν t < [a, b). ΄Ετσι έχουµε
αποδείξει το Ϲητούµενο.
12.2.2. Αποδείξτε ότι: για κάθε t0 ∈ [0, ∞), για κάθε a, b τέτοια ώστε 0 ≤ a < b και για κάθε
συνάρτηση f (t ) συνεχή στο [0, ∞) έχουµε
Z b Z b
f (t ) δ (t − t0 ) dt = lim
εχ
f (t ) δε (t − t0 ) dt.
a ε →0 a
Λύση. Εχουµε ήδη δείξει ότι, για κάθε t0 ∈ [0, ∞), για κάθε a, b τέτοια ώστε 0 ≤ a < b και για
κάθε συνάρτηση f (t ) συνεχή στο [0, ∞) έχουµε
b
Z (
f (t0 ) όταν t0 ∈ [a, b)
f (t ) δ (t − t0 ) dt = . (12.4)
a 0 όταν t0 < [a, b)
.Κ
Επίσης
Z b Z b
1
f (t ) δε (t − t0 ) dt = f (t ) (H (t − t0 ) − H (t − t0 − ε)) dt.
a ε a
Εάν t0 ≥ b, τότε και t0 + ε > b, οπότε (H (t − t0 ) − H (t − t0 − ε)) = 0 για κάθε t ∈ [a, b) και άρα
b
Z !
1
1
lim f (t ) (H (t − t0 ) − H (t − t0 − ε)) dt = lim · 0 = 0. (12.5)
Αθ
ε →0 ε a ε→0 ε
Εάν t0 ∈ [a, b), τότε για αρκετά µικρό ε ϑα ισχύει και t0 +ε ∈ [a, b), οπότε (H (t − t0 ) − H (t − t0 − ε)) =
1 για κάθε t ∈ [t0 , t0 + ε) και άρα
b
Z !
1
lim f (t ) (H (t − t0 ) − H (t − t0 − ε)) dt
ε→0 ε a
t 0 +ε t 0 +ε
Z ! Z !
1 1
= lim f (t ) dt = lim f (t0 ) dt = f (t0 ) (12.6)
ε→0 ε t0 ε→0 ε t0
(όπου εκµεταλλευτήκαµε την συνέχεια της f (t )). Αφήνουµε στον αναγνώστη να αποδείξει ότι :
όταν t0 < a τότε Z b !
1
lim f (t ) (H (t − t0 ) − H (t − t0 − ε)) dt = 0. (12.7)
ε →0 ε a
ΚΕΦΑΛΑΙΟ 12. ΓΕΝΙΚΕΥΜΕΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ 69
ας
ε →0 a
ι
0−
dt
ας
12.3.7. Βρείτε την x (t ) = L−1 1s+2e−1 και την dx
−3s
dt
.
Απ. x (t ) = sinh t +(sinh (t − 3)) H (t − 3), dx
dt
= cosh t + δ (t − 3) sinh (t − 3)+(cosh (t − 3)) H (t − 3)
.
e t −3 .
ι
s +1
12.3.9. Βρείτε την x (t ) = L−1 .
αγ
s −1
Απ. x (t ) = 2e t + δ (t ).
s2 −2s+1
12.3.10. Βρείτε την x (t ) = L−1 s2 −5s+6
.
Απ. x (t ) = δ (t ) − e 2t + 4e 3t .
s2 −2s+1
12.3.11. Βρείτε την x (t ) = L−1 s2 +2s+5
.
Απ. x (t ) = δ (t ) − 4 (cos 2t ) e −t .
εχ
12.4 Προχωρηµένα Αλυτα Προβλήµατα
12.4.1. Αποδείξτε ότι : (α) δ (−t ) = δ (t ), (ϐ) tδ (t ) = 0, (γ) όταν a > 0 τότε δ (at ) = a −1 δ (t ), (δ)
f (t ) δ (t − t0 ) = f (t0 ) δ (t − t0 ).
1 όταν 1 < t.
dn x d n −1 x d n −2 x dx
+ a n −1 + a n −2 + ... + a1 + a0 x = f (t ) (12.9)
dt n dt n −1 dt n −2
ας
dt
µε αρχικές συνθήκες
x (0) = x 0 (0) = ... = x (n −1) (0) = 0 (12.10)
έχει λύση Z t
h (τ ) f (t − τ ) dτ
0
ι
όπου h (t ) είναι η λύση της
dn x d n −1 x d n −2 x dx
αγ
+ a n −1 + a n −2 + ... + a1 + a0 x = δ (t ) (12.11)
dt n dt n −1 dt n −2 dt
µε αρχικές συνθήκες τις (12.10). Ποια είνα η ϕυσική ερµηνεία ; Τι συµϐαίνει όταν οι αρχικές
συνθήκες δεν είναι µηδενικές ;
εχ
.Κ
Αθ
ας
Κεφάλαιο 13
ι
13.1 Θεωρία
dx
dt αγ
13.1.1. ΠΑΡΑΤΗΡΗΣΗ: Η ∆Ε 1ης τάξης µε σταθερούς συντελεστές
+ ax = f (t ) ,
72
ΚΕΦΑΛΑΙΟ 13. ΕΠΙΛΥΣΗ ∆Ε ΜΕ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟ LAPLACE 73
ας
0
ι
1 − G (s) 1 − G (s)
αγ
13.2 Λυµένα Προβλήµατα
Κεφ. 6: Παραδείγµατα : 6.1-6, 7.5-8, 8.8. (Από το ϐιβλίο ∆ιαφορικές Εξισώσεις, Κ. Σεραφειµίδη,
Γ΄ ΄Εκδοση.)
Βρονσον : 24.1), 24.2), 24.4), 24.5)
Τρενςη : 8.3.4), 8.3.6), 8.3.24), 8.3.26), 8.3.28), 8.3.31)
εχ
13.3 Αλυτα Προβλήµατα
2
13.3.1. Λύστε την ∆Ε : ddt 2 x (t ) − 6 ddt x (t ) + 5 x (t ) = 0 µε αρχικές συνθήκες : x (0) = 2 και
∆ (x ) (0) = 1
Απ. x (t ) = −1/4 e5 t + 9/4 et
d2
(t ) − 2 ddt x (t ) + x (t ) = 0 µε αρχικές συνθήκες : x (0) = 2 και
.Κ
d2
13.3.4. Λύστε την ∆Ε : dt 2
x (t ) − 3 ddt x (t ) + 2 x (t ) = t + 3 µε αρχικές συνθήκες : x (1) = 2 και
∆ (x ) (2) = 1
(3 e2 +2 e)e2 t (e2 +3 e4 )et
Απ. x (t ) = t/2 + 9/4 + 1/4 2 − 1/2 2
2 ee −(e )
4 2 2 ee4 −(e2 )
2
13.3.5. Λύστε την ∆Ε : ddt 2 x (t ) − 6 ddt x (t ) + 5 x (t ) = sin (t ) µε αρχικές συνθήκες : x (0) = 2 και
∆ (x ) (0) = 1
e5 t t
Απ. x (t ) = − 25104 + 178e + 3 cos( + 1/13 sin (t )
t)
26
2
13.3.6. Λύστε την ∆Ε : ddt 2 x (t ) − 4 ddt x (t ) + 4 x (t ) = sin (t ) µε αρχικές συνθήκες : x (0) = 2 και
∆ (x ) (0) = 1
2t 2t
Απ. x (t ) = 4625e − 14 5e t + 25 + 25
4 cos(t ) 3 sin(t )
ΚΕΦΑΛΑΙΟ 13. ΕΠΙΛΥΣΗ ∆Ε ΜΕ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟ LAPLACE 74
2
13.3.7. Λύστε την ∆Ε : ddt 2 x (t ) − 6 ddt x (t ) + 9 x (t ) = e3 t µε αρχικές συνθήκες : x (0) = 2 και
∆ (x ) (0) = 1
Απ. x (t ) = 2 e3 t − 5 e3 t t + 1/2 t 2 e3 t
ας
2
13.3.8. Λύστε την ∆Ε : ddt 2 x (t ) − 2 ddt x (t ) + 2 x (t ) = e3 t µε αρχικές συνθήκες : x (0) = 2 και
∆ (x ) (0) = 1
Απ. x (t ) = −7/5 et sin (t ) + 9/5 et cos (t ) + 1/5 e3 t
2
13.3.9. Λύστε την ∆Ε : ddt 2 x (t ) − 2 ddt x (t ) + 2 x (t ) = cos (t ) µε αρχικές συνθήκες : x (0) = 2 και
∆ (x ) (0) = 1
Απ. x (t ) = −2/5 et sin (t ) + 9/5 et cos (t ) − 2/5 sin (t ) + 1/5 cos (t )
ι
d3 2
13.3.10. Λύστε την ∆Ε : x (t ) +
dt 3
7 ddt 2 x (t ) + 16 ddt x (t ) + 12 x (t ) = 0 µε αρχικές συνθήκες :
x (0) = 2 και ∆ (x ) (0) = 1 και D (x ) (0) = 1
αγ
(2)
Απ. x t = 13 e
( ) −3 t
− 11 e + 18 e t
−2 t −2 t
d3 2
13.3.11. Λύστε την ∆Ε : x (t ) −
dt 3
3 ddt 2 x (t ) + 3 ddt x (t ) − x (t ) = t 2 + 1 µε αρχικές συνθήκες :
x (0) = 2 και ∆ (x ) (0) = 1 και D (x ) (0) = 1 (2)
Απ. x (t ) = −t − 6 t − 13 + 15 e − 8 et t + 2 et t 2
2 t
d3 2
13.3.12. Λύστε την ∆Ε : dt 3
x (t )− 6 ddt 2 x (t )+ 11 ddt x (t )− 6 x (t ) = 0 µε αρχικές συνθήκες : x (1) = 2
εχ
και ∆ (x ) (1) = 1 και D (2)
(x ) (1) = 1
2t t
e3 t
Απ. x (t ) = −3 ee2 + 4 ee + e3
d3 2
13.3.13. Λύστε την ∆Ε : (t )+ 5 ddt 2 x (t )+ 8 ddt x (t )+ 4 x (t ) = 0 µε αρχικές συνθήκες : x (0) = 2
dt 3
x
και ∆ (x ) (0) = 1 και D (2) (x ) (0) = 1
Απ. x (t ) = 13 e−t − 11 e−2 t − 8 e−2 t t
.Κ
d4
13.3.14. Λύστε την ∆Ε : dt 4
x (t ) − x (t ) = 0 Απ. x (t ) = _C1 et + _C2 e−t + _C3 sin (t ) + _C4 cos (t )
d
dt
x (t ) −1/2 x (t ) − 5/2 y (t ) x (0)
= =
13.3.15. Λυστε την ∆Ε : µε αρχικες συνθηκες
d
dt
y ( t ) 3/2 x (t ) + 7/2 y (t ) y (0 )
3
Αθ
3
Απ. x (t ) = −12 e2 t + 15 et , y (t ) = 12 e2 t − 9 et
d
dt x (t ) −2 y (t ) x (0) 1
13.3.16. Λυστε την ∆Ε : d = µε αρχικες συνθηκες =
y (t ) x ( t ) y (0 ) 3
n √ √ dt √ √ √ √ √ o
Απ. x (t ) = −3 sin 2t 2 + cos 2t , y (t ) = −1/2 2 −3 cos 2t 2 − sin 2t
−4 y (t ) + e−2 t
d
dt x (t ) x (0)
= =
13.3.17. Λυστε την ∆Ε : d µε αρχικες συνθηκες
dt
y (t ) 2 x (t ) + 6 y (t ) + e−3 t y (0)
1
−1
n o
4t
e2 t e−3 t e2 t 4t
e−3 t
Απ. x (t ) = 2342e + 910 − 1/3 e−2 t − 4 35 , y (t ) = − 920 + 1/12 e−2 t − 2342e − 3 35
ΚΕΦΑΛΑΙΟ 13. ΕΠΙΛΥΣΗ ∆Ε ΜΕ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟ LAPLACE 75
ας
10 30
ι
−y (t ) + t 2
d
dt x (t ) x (0)
αγ
= =
13.3.20. Λυστε την ∆Ε : d µε αρχικες συνθηκες
dt
y (t ) 2 x (t ) + 3 y (t ) + 1 y (0)
2
−1
n o
Απ. x (t ) = −3/2 t 2 − 7/2 t − 17 4
− 7/4 e 2t
+ 8 e t
, y (t ) = t 2
+ 3 t + 7/2 + 7/2 e2t
− 8 et
x (t ) + y (t ) + e2 t
d
dt x (t ) x (0)
εχ
13.3.21. Λυστε την ∆Ε : d = µε αρχικες συνθηκες =
dt
y ( t ) 2 y (t ) + 1 + t y (0 )
1
−1
Απ. x (t ) = 3/4 e2 t + t/2 + 5/4 − et , y (t ) = −t/2 − 3/4 − 1/4 e2 t
13.3.22. Λυστε την ∆Ε : d = µε αρχικες συνθηκες =
dt
y (t ) − 1/2 x (t ) + 3/2 y ( t ) + 1 y ( 0 )
−1
1
Απ. x (t ) = −e2 t + 3/8 e2 t t − 3/8 t, y (t ) = 7/4 e2 t − 3/8 e2 t t − 3/4 − t/8
13.3.23. Λυστε την ∆Ε : d = µε αρχικες συνθηκες =
dt
y (t ) 2 x (t ) + 4 y (t ) + e 2t
y (0 )
−1
0
Απ. x (t ) = (−4 + 3 t ) et − 3 e2 t t + 3 e2 t , y (t ) = (2 − 2 t ) et + 3 e2 t t − 2 e2 t
ας
0
Απ. x (t ) = e−t + 2 et − 2
Rt
13.3.27. Λύστε την ολοκληρωτική εξίσωση : x (t ) − 0
(t − p) x (p) dp = 5/6 t
5 e−t 5 et
Απ. x (t ) = − 12
+ 12
Rt
13.3.28. Λύστε την ολοκληρωτική εξίσωση : x (t ) − 0
(t − p) x (p) dp = sin (t )
Απ. x (t ) = −1/4 e−t + 1/4 et + 1/2 sin (t )
ι
Rt
13.3.29. Λύστε την ολοκληρωτική εξίσωση : x (t ) − 0
cos (−t + p) x (p) dp = 1
√ √
αγ
Απ. x (t ) = 2/3 et/2 sin 1/2 3t 3+1
Rt
13.3.30. Λύστε την ολοκληρωτική εξίσωση : x (t ) − 0
(t − p)3 x (p) dp = t 2
√ √
4 √ √
4 √ √4
Απ. x (t ) = 1/12 6e− 6t
+ 1/12 6e 6t
− 1/6 6 cos 6t
dtdt
Απ. x (t ) = e −2t + 23 H (t − 1) 1 − e −2(t −1) − H (t − 2) e −2(t −2) .
2
dt 2 + a dt = δ t − t1 , x 0 = 0, x 0 = 0.
d x dx 0
13.4.4. Λύστε την ∆Ε ( ) ( ) ( )
Απ. x (t ) = aH (t − t1 ) 1 − e −a (t −t1 )
.
2
13.4.5. Λύστε την ∆Ε ddt 2x + 4 dx + 5x = δ (t − 1), x (0) = 0, x 0 (0) = 0.
Αθ
dt
Απ. x (t ) = H (t − 1) e −2(t −1)
sin (t − 1).
ι ας
αγ
Μέρος III
ΠΑΡΑΡΤ΄ΗΜΑΤΑ
εχ
.Κ
Αθ
77
ας
Παράρτηµα Α΄
ι
Χρήση Υπολογιστή
µαθηµατικό µοντέλο είναι µία προσέγγιση της ϕυσικής πραγµατικότητας – ένα καλό µοντέλο
είναι µία προσέγγιση η οποία είναι (α) ¨σχετικά ακριβής¨ αλλά και (ϐ) εύκολη στην διαχείριση.
Ο όρος ¨διαχείριση¨ µπορεί να σηµαίνει πολλά πράγµατα, αλλά για τους σκοπούς του πα-
ϱόντος εισαγωγικού κεφαλαίου ένα ϐασικό προαπαιτούµενο είναι η επιλυσιµότητα του µοντέλου.
Με άλλα λόγια, αν ένα µοντέλο είναι πολύ ακριβές αλλά τόσο πολύπλοκο ώστε η αντίστοιχη ∆Ε
δεν είναι επιλύσιµη τότε το µοντέλο δεν είναι ιδιαίτερα χρήσιµο.
Αθ
Αυτή η παρατήρηση µας οδηγεί στο δεύτερο ϑέµα του παρόντος κεφαλαίου : την χρήση του
ηλεκτρονικού υπολογιστή για την επίλυση ∆Ε. Υπάρχουν πολλές ∆Ε τις οποίες δεν ϑα µπορέσετε
να επιλύσετε µε τις µεθόδους των προηγουµένων κεφαλαίων. Για κάποιες από αυτές υπάρχει
διαδικασία αναλυτικής (δηλ. µαθηµατικής) επίλυσης, την οποία εσείς δεν γνωρίζετε, ενώ για
κάποιες άλλες η αναλυτική επίλυση απλά δεν είναι δυνατή. Και στις δύο περιπτώσεις µπορείτε
να διευκολύνετε την Ϲωή σας χρησιµοποιώντας τον υπολογιστή ή, πιο συγκεκριµένα, ένα µα-
ϑηµατικό λογισµικό. Στο παρόν κεφάλαιο ϑα παρουσιάσουµε παραδείγµατα επίλυσης ∆Ε µε
χρήση της Matlab1 . Εστιάζουµε στην Matlab διότι (α) ϑεωρούµε δεδοµένο ότι ο αναγνώστης
έχει ήδη κάποια εµπειρία στην χρήση της και (ϐ) είναι µία από τις χρησιµότερες στον µηχανικό
εφαρµογές.
1
Υπάρχουν πολλά άλλα λογισµικά τα οποία µπορούν να χρησιµοποιηθούν για τον ίδιο σκοπό. Ενδεικτικά
αναφέρουµε τα Mathematica, Maple, Euler, Octave, Scilab, Maxima.
78
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 79
ας
Θεωρείστε ένα σώµα µάζας m το οποίο σε χρόνο t = 0 ϐρίσκεται σε ηρεµία και, υπό την επίδραση
της ϐαρύτητας, εκτελεί ελεύθερη πτώση. Από τον νόµο του Newton γνωρίζουµε ότι το σώµα
κινείται µε σταθερή επιτάχυνση g, οπότε η ταχύτητα v (t ) του σώµατος ικανοποιεί την ∆Ε m dv
dt
=
mg. Η λύση αυτής της εξίσωσης είναι v (t ) = v (0) + gt = gt οπότε η ταχύτητα του σώµατος ϑα
πρέπει να αυξάνει απεριόριστα.
΄Οµως από την εµπειρία µας ξέρουµε ότι σώµατα σε ελεύθερη πτώση δεν αναπτύσσουν ά-
πειρη ταχύτητα (σκεφθείτε π.χ. έναν αλεξιπτωτιστή). Αυτό που πραγµατικά συµβαίνει είναι ότι
ι
αναπτύσσεται µία δύναµη αντίστασης στην πτώση (η αντίσταση του αέρα). Η δύναµη αυτή είναι
ανάλογη της ταχύτητας πτώσης. Το αποτέλεσµα είναι ότι το σώµα καταρχήν επιταχύνεται µέχρι
αγ
να ϕτάσει µία οριακή ταχύτητα, η οποία παραµένει σταθερή για το υπόλοιπο της πτώσης.
Ο όρος αντίστασης είναι ανάλογος προς την ταχύτητα, δηλ. ισούται µε kv (t ). Αν τον ενσωµα-
τώσουµε στην ∆Ε παίρνουµε
dv
m = mg − kv. (Α΄.1)
dt
Για να γίνει το πρόβληµα συγκεκριµένο, ας υποθέσουµε ότι το σώµα το οποίο µας ενδιαφέρει
έχει µάζα m = 80kg και συντελεστή αντίστασης k = 30. Αντικαθιστώντας στην (Α΄.1), διαιρώντας
διά m και ενσωµατώνοντας την αρχική συνθήκη v (0) = 0 καταλήγουµε στην ∆Ε
εχ
dv 30
= 9.81 − v, v (0) = 0. (Α΄.2)
dt 80
Η (Α΄.2) είναι η εξίσωση µε την οποία ϑα δουλέψουµε παρακάτω.
.Κ
Η (Α΄.2) είναι µία γραµµική ∆Ε 1ης τάξης την οιποία µπορούµε να την επιλύσουµε αναλυτικά.
΄Οµως τώρα ϑα αναθέσουµε την επίλυση στην Matlab. Η συµβολική επίλυση ϐασίζεται στην
χρήση του Symbolic Math Toolbox, το οποίο µπορούµε να χρησιµοποιήσουµε ως εξής. ΄Οταν
εκκινήσετε την Matlab ϑα δείτε την εξής εικόνα (Σχήµα Α΄.1).Πληκτρολογώντας τώρα στην γραµµή
εντολών
Αθ
>>v=dsolve(’Dv=9.81-(30/80)*v’,’v(0)=0’,’t’)
παίρνουµε το αποτέλεσµα
>>v=654/25 - 654/(25*exp((3*t)/8)).
ή, σε µαθηµατικό συµβολισµό,
654 654
v (t ) = −
25 25e 3t/8
από όπου συµπεραίνουµε ότι η οριακή ταχύτητα πτώσης είναι
654 654
v0 = lim v (t ) = lim − = 26.16m/s.
t →∞ t →∞ 25 25e 3t/8
ι ας
Αριθµητική Επίλυση
αγ
Σχήµα Α΄.1: Περιβάλλον Matlab.
Η (Α΄.2) είναι µία σχετικά απλή ∆Ε η οποία µπορεί να λυθεί αναλυτικά (από τον άνθρωπο ή τον
υπολογιστή). Τώρα ϑα παρουσιάσουµε δύο διαδικασίες αριθµητικής επίλυσης2 .
εχ
Μέθοδος Euler Αυτή η µέθοδος ϐασίζεται στην διακριτοποίηση η οποία παρουσιάστηκε στο
Κεφάλαιο 1. Καταρχήν, ϑα επιλέξουµε ένα χρονικό διάστηµα [0, T ] στο οποίο ϑα υπολογίσουµε
την v (t ). Για την ακριβεια, δεν ϑα υπολογίσουµε την v (t ) για κάθε t ∈ [0, T ], αλλά µόνο για
t = 0 · ∆t, 1 · ∆t, 2 · ∆t, ..., N · ∆t = T . Το ∆t = NT είναι το ϐήµα διακριτοποίησης και όσο πιο
µικρό γίνεται, σε τόσο περισσότερα σηµεία ϑα γνωρίζουµε την τιµή της x (t ) (αφού ο αριθµος των
σηµείων είναι N = ∆Tt ). Θα χρησιµοποιήσουµε την προσέγγιση
.Κ
dv v ((n + 1) · ∆t ) − v (n · ∆t )
= (Α΄.3)
dt ∆t
η οποία γίνεται τόσο καλύτερη όσο µικρότερο είναι το ∆t.
Συνδυάζουµε τώρα τις (Α΄.2) και (Α΄.3) και παίρνουµε
v ((n + 1) · ∆t ) − v (n · ∆t )
Αθ
Η (Α΄.5) ισχύει για n = 0, 1, 2, ..., N , και µας είναι ήδη γνωστό το v (0). Συνδυάζοντας τα
παραπάνω, τελικά έχουµε να λύσουµε την εξίσωση διαφορών:
Η αριθµητική επίλυση της (Α΄.6) είναι εξαιρετικά απλή : στην γραµµή εντολών της Matlab πλη-
κτρολογούµε τα εξής :
>>T=20;N=100;dt=T/N;v(1)=0;
2
Αυτές ϑα είναι απαραίτητες στην επίλυση κάποιων ∆Ε του Εδαφίου Α΄.4, οι οποίες δεν επιλύονται αναλυτικά.
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 81
>>for n=1:N;v(n+1)=v(n)+dt*(9.81-0.375*v(n));end;
Στα παραπάνω οι εντολές διαχωρίζονται µε το σύµβολο ¨;¨. Είναι εύκολο να ελέγξουµε ότι η
σειρά εντολών εκτελεί ακριβώς τους υπολογισµούς της (Α΄.6). Για να δούµε τα αποτελέσµατα των
ας
υπολογισµών, µπορούµε να πληκτρολογήσουµε
>>disp(v)
αλλά είναι πιο διαφωτιστικό να κάνουµε την γραφική παράσταση των αποτελεσµάτων, πληκτρο-
λογώντας
>>plot([0:N]*dt,v)
οπότε ϑα πάρουµε την εξής εικονα (Σχ. Α΄.2)όπου ϕαίνεται καθαρά η ασυµπτωτική αύκηση της
ι
αγ
εχ
Σχήµα Α΄.2: Αριθµητική λύση της ∆Ε dv
dt
= 9.81 − 30
80
v, v (0) = 0.
Α΄.2.1. ΄Ασκηση: ΄Εχει ενδιαφέρον να εξετάσουµε πως µεταβάλλεται η λύση όταν αλλάζουµε τον
αριθµό των ενδιάµεσων σηµείων. Π.χ., για να χρησιµοποιήσουµε 1000 σηµεία, ϑα αλλάξουµε την
παραπάνω εντολή σε N=1000. ∆οκιµάστε το και δείτε αν η λύση αλλάζει και πόσο. Επαναλάβετε
την δοκιµή µε N=10000. Τι παρατηρείτε ;
Αθ
Μέθοδος ode45 Η µέθοδος Euler είναι η απλούστερη (και χονδροειδέστερη) µέθοδος αριθµη-
τικής επίλυσης ∆Ε. Η Matlab έχει ενσωµατωµένες µερικές πιο αποτελεσµατικές υπολογιστικές
µεθόδους. Π.χ., αν πληκτρολογήσετε στην γραµµή εντολών
>>f = @(t,v) 9.81-0.375*v;
>>[t,v] = ode45(f,[0,20],0.0);
>>plot(t,v)
ϑα πάρετε την εξής εικονα (Σχ. Α΄.2).Με την εντολή f = @(t,v) 9.81-0.375*v έχουµε ορί-
σει την συνάρτηση f(t,v)=9.81-0.375*v. Εν συνεχεία, η [t,v] = ode45(f,[0,20],0.0)καλεί
την λύτρια συνάρτηση ode45 µε εισόδους την συνάρτηση f, το χρονικό διάστηµα [0,20] και
την αρχική συνθήκη v(0)=0.0. Υπάρχουν πολλές άλλες λύτριες συναρτήσεις, για να δείτε
κάποιες από αυτές πληκτρολογείστε
>>help ode45
και κατόπιν κλικάρετε στους συνδεσµούς ode23, ode113, ode15s, ... κτλ.
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 82
ι ας
αγ
Σχήµα Α΄.3: Αριθµητική λύση της ∆Ε dv
dt
= 9.81 − 30
80
v, v (0) = 0.
Α΄.2.2. Ασκηση: Επιλύστε την ∆Ε µε χρήση της ode23. Συγκρίνετε αυτή την λύση µε τις δύο
προηγούµενες. Πως ϑα διαπιστώσετε ποια από τις τρεις είναι ακριβέστερη ;
εχ
΄Ενα ακριβέστερο µοντέλο
Στα προηγούµενα µοντελοποιήσαµε την αντίσταση του αέρα µε τον όρο kv. ΄Οµως τα πειραµατικά
δεδοµένα δείχνουν ότι η αντίσταση του αέρα είναι ανάλογη του τετραγώνου της ταχύτητας.
Α΄.2.3. Ασκηση: Τροποποιείστε την (Α΄.2) έτσι ώστε η αντίσταση να είναι ανάλογη µε το τετράγωνο
της ταχύτητας. Λύστε την νέα ∆Ε µε χρήση των dsolve, ode45και της µεθόδου του Euler.
.Κ
ας
σέγγιση.
2. Χρησιµοποιείστε την Matlab για να επιλύσετε αριθµητικά και συµβολικά την ∆Ε ή σύστηµα
∆Ε.
ι
σύµφωνα µε τις οδηγίες του προβλήµατος.
αγ
4. Επιλύστε αριθµητικά την νέα ∆Ε (ή σύστηµα).
Α΄.4.1 Εκκρεµή
Μη Γραµµικό εκκρεµές
εχ
Θεωρείστε το εκκρεµές το οποίο εµφανίζεται στο Σχήµα Α΄.4 και αποδείξτε ότι, αν συµβολίσουµε
µε θ (t ) την γωνία του εκκρεµούς την χρονική στιγµή t, τότε αυτή ικανοποιεί την ∆Ε
d2θ g
+ sin θ = 0. (Α΄.7)
dt 2 l
.Κ
Αθ
Α΄.4.1. Ασκηση: Επιλύστε την (Α΄.7) αριθµητικά (µε τις µεθόδους Euler και της ode45) και
αναλυτικά (µε ανάπτυξη σε δυναµοσειρά). Συγκρίνετε τις λύσεις.3
3
Για την αριθµητική επίλυση ϑα σας ϕανούν χρήσιµες οι παρακάτω παρατηρήσεις.
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 84
Γραµµικό εκκρεµές
3
θ5
Μπορούµε να χρησιµοποιήσουµε την σειρά McLaurin sin θ = θ − θ3! + 5!
− ... και, διατηρώντας
µόνο τον όρο πρώτης τάξης, να µετασχηµατίσουµε την (Α΄.7) στην ∆Ε
ας
d2θ g
+ θ = 0, (Α΄.8)
dt 2 l
Αυτή είναι η ∆Ε του απλού αρµονικού ταλαντωτή. Είναι µία γραµµικοποιηµένη προσέγγιση της
ακριβούς εξίσωσης του εκκρεµούς και επίσης περιγράφει τις ταλαντώσεις που χαρακτηρίζουν
πολλά άλλα ϕυσικά ϕαινόµενα.
ι
Α΄.4.2. Ασκηση: Επιλύστε την (Α΄.8) αριθµητικά (µε τις µεθόδους Euler και ode45) και αναλυ-
τικά. Συγκρίνετε τις λύσεις της (Α΄.8) µε αυτές της (Α΄.7).
Εκκρεµές µε απόσβεση
dt αγ
Τα πραγµατικά ϕυσικά εκκρεµή πάντοτε χαρακτηρίζονται από απώλειες ενέργειες οι οποίες
οφείλονται σε τριβές, την αντίσταση του αέρα κτλ. Η τριβή / αντίσταση µπορεί να µοντελοποιηθεί
µε έναν όρο της µορφής µ dθ , οπότε οι (Α΄.7) και (Α΄.8) µετασχηµατίζονται αντίστοιχα στις
d2θ dθ g
εχ
−µ + θ = 0, (Α΄.9)
dt 2 dt l
d2θ dθ g
−µ + sin θ = 0. (Α΄.10)
dt 2 dt l
Α΄.4.3. Ασκηση: Επιλύστε τις (Α΄.9) και (Α΄.10) αριθµητικά και αναλυτικά και εξετάστε την
συµπεριφορά των λύσεων καθώς ο συντελεστής απόσβεσης µ αυξάνεται από µ = 0 (µηδενική
απόσβεση) σε µεγάλο µ (υψηλή απόσβεση). ΄Εχει επίσης ενδιαφέρον η περίπτωση µ < 0. Αυτή
.Κ
΄Ενα άλλο ενδιαφέρον ηλεκτρονικό κύκλωµα είναι ο ταλαντωτής van der Pol, ο οποίος περιγρά-
ϕεται από την ∆Ε
d2x 2 dx
Αθ
− µ 1 − x + x = 0. (Α΄.11)
dt 2 dt
Α΄.4.4. Ασκηση: Μελετείστε (µε αριθµητική επίλυση) την συµπεριφορά των λύσεων της (Α΄.11)
για διάφορες τιµές του µ. Παρατηρείστε ότι, παρά την παρουσία του όρου απόσβεσης µ 1 − x 2 dx
dt
,
ο ταλαντωτής van der Pol µπορεί να συντηρήσει µη αποσβεννύµενες ταλαντώσεις. Πως το εξηγείτε
αυτό ;
1. Θα χρειαστεί να µετατρέψετε την ∆Ε 2ης τάξης σε ένα σύστηµα ∆Ε 1ης τάξης. Αυτό µπορεί να γίνει µε τον
µετασχηµατισµό x1 (t ) = θ (t ), x2 (t ) = dθ
dt
.
2. Η συνάρτηση f(t,v) ϑα πρέπει να είναι τώρα διανυσµατική (δηλ. να επιστρέφει το διάνυσµα [x1 (t ) , x2 (t )])
και αρκετά πολύπλοκη. Θα είναι λοιπόν σκόπιµο να την ορίσετε σε ένα ξεχωριστό Matlab function file,
χρησιµοποιώντας τον Matlab editor. Λεπτοµέρειες για το πως µπορεί να γινει αυτό ϑα ϐρείτε γράφοντας
help function στην γραµµή εντολών της Matlab.
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 85
Συζευγµένα εκκρεµή
Το τελευταίο µας παράδειγµα αφορά δύο εκκρεµή συζευγµένα δια µέσου ενός ελατηρίου, όπως
αυτά που απεικονίζονται στο Σχήµα Α΄.5.∆είξτε ότι αν ϑέσουµε l1 = l2 και m1 = m2 , οι γωνιακές
ι ας
αγ
Σχήµα Α΄.5: Συζευγµένα εκκρεµή.
Α΄.4.5. Ασκηση: Επιλύστε τις εξισώσεις και µελετείστε την συµπεριφορά των λύσεων για διάφο-
ϱες τιµές των l, k, m.
επίδραση εξωτερικού µαγνητικού πεδίου και επίσης αλληλεπιδρούν, καθώς οι οµώνυµοι πόλοι
τους τείνουν να απωθούνται. Συµβολίζουµε µε θ1 (t ) , θ2 (t ) την γωνία που σχηµατίζει σε χρόνο t
ο κάθε µαγνήτης µε τον άξονα των x.
dθ1
= − sin θ1 + K sin (θ1 − θ2 ) , (Α΄.12)
dt
dθ2
= − sin θ2 + K sin (θ2 − θ1 ) . (Α΄.13)
dt
Ποιά είνα η σηµασία της σταθεράς K;
4
[Strogatz, 8.1.12, p.286]
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 86
ι ας
Σχήµα Α΄.6: Συζευγµένοι µαγνήτες.
Α΄.4.9. Ασκηση: Είναι το σύστηµα των δύο µαγνητών συντηρητικό; Με άλλα λόγια παρουσιά-
εχ
Ϲονται κατά την λειτουργία του απώλειες ενέργειας ;
Α΄.4.3 Πυγολαµπίδες5
Είναι πιθανόν να έχετε παρατηρήσει το λαµπύρισµα των πυγολαµπίδων µία καλοκαιρινή ϐραδιά
στην εξοχή6 . Κάθε πυγολαµπίδα λαµπυρίζει (εκπέµπει µία αναλαµπή) µε κάποια πειροδικότητα.
.Κ
Είναι όµως αξιοσηµείωτο ότι σε ένα µεγάλο πληθυσµό οι πυγολαµπίδες συγχρονίζονται και
οι αναλαµπές τους εµφανίζονται λίγο πολύ ταυτόχορονα. Αυτή είναι µία πολύ απλοποιηµένη
περιγραφή – στην πραγµατικότητα δηµιουργούνται συγχρονισµοί υποοµάδων πυγολαµπίδων,
κατόπιν µπορεί δύο υποοµάδες να συγχρονιστούν για κάποιο διάστηµ και έπειτα να ϐρεθούν
εκτος ϕάσεως κοκ. Θα παρουσιάσουµε εδώ ένα µοντέλο το οποίο µπορεί να εξηγήσει αυτό το
ϕαινόµενο.
Θεωρούµε ότι κάθε πυγολαµπίδα έχει έναν ϱυθµό θ (t ) και εκπέµπει µία αναλαµπή σε κάθε
Αθ
τότε η συχνότητα είναι ω (t ) = ω0 , σταθερή. ΄Οµως µας ενδιαφέρει η περίπτωση στην οποία ο
ϱυθµός θ (t ) κάθε πυγολαµπίδας µεταβάλλεται σε σχέση µε εξωτερικά ερεθίσµατα.
Το πρώτο ϐήµα για την µοντελοποίηση του εξωτερικού ερεθίσµατος είναι να υποθέσουµε ότι
αυτό είναι σταθερό και έχει την απλή µορφή ενός ηµιτόνου
Επιπλέον ϑα υποθέσουµε ότι η αντίδραση της πυγολαµπίδας στο εξωτερικό ερέθισµα δίνεται από
την εξίσωση
dθ
= ω0 + k · sin (Θ (t ) − θ (t )) . (Α΄.16)
ας
dt
Η έννοια της (Α΄.16) είναι η εξής : καταρχήν η dθ dt
τείνει να ισούται µε την σταθερή τιµή ω0 , όµως
το εξωτερικό ερέθισµα τείνει να κινήσει την θ (t ) προς την Θ (t ). Για να καταλάβετε την τελευταία
παρατήρηση, σκεφτείτε ότι για µικρές τιµές της διαφοράς Θ (t ) − θ (t ), έχουµε sin (Θ (t ) − θ (t )) '
Θ (t ) − θ (t ) και η (Α΄.16) είναι περίπου ισοδύναµη µε την7
dθ
= ω0 + k · (Θ (t ) − θ (t )) (Α΄.17)
dt
ι
η οποία έχει σηµείο ισορροπίας το θ (t ) − ωk0 = Θ (t ) + ωk0 – όσο µεγαλύτερο είναι το k, τόσο πιο
κοντά είναι το θ (t ) στο Θ (t ). Τώρα µπορούµε να εκτελέσουµε µερικά υπολογιστικά πειράµατα
αγ
για να ελέγξουµε την αποτελεσµατικότητα αυτής της προσέγγισης.
Α΄.4.10. Ασκηση: Επιλέξτε τιµές ω0 , ω1 , k και λύστε το σύστηµα ∆Ε (Α΄.15)-(Α΄.16). ΄Ενας χρή-
σιµος δείκτης για την επιλογή των τιµών είναι ο συντελεστής συντονισµού µ = ω0 −k ω1 . Πειραµατι-
στείτε µε τιµές των ω0 , ω1 , k τέτοιες ώστε µ ∈ [0, 3]. Τι παρατηρείτε ;
dt N
PN !
dθ2 n =1 θn (t )
= ω0 + k · sin − θ (t ) ,
dt N
...
PN !
dθN n =1 θn (t )
= ω0 + k · sin − θ (t ) .
dt N
Αθ
Α΄.4.4 Choristoneura 8
Η Choristoneuraείναι ένα δασόβιο έντοµο της Β. Αµερικής το οποίο τρέφεται µε ϕύλλα δέντρων.
Ο πληθυσµός των Choristoneuraχαρακτηρίζεται από κυκλικές και απότοµες αυξοµειώσεις. Θα
εξετάσουµε ένα µοντέλο αυτών των αυξοµειώσεων.
7
Γιατί χρησιµοποιούµε τον όρο sin (Θ (t ) − θ (t )) αντί του (Θ (t ) − θ (t )); Για να απαντήσετε αυτό το ερώτηµα,
σκεφτείτε σε τι διαφέρει το sin (Θ (t ) − θ (t )) από το sin (Θ (t ) − θ (t ) + 2π ) .
8
[Strogatz, 3.7, p.73-80]
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 88
Συµβολίζουµε µε x (t )τον αριθµό Choristoneuraσε ένα οικοσύστηµα (π.χ. σε ένα δάσος) την
χρονική στιγµή t. Ας υποθέσουµε καταρχήν ότι ο πληθυσµός αναπτύσσεται χωρίς περιορισµούς.
Σε αυτή την περίπτωση ο ϱυθµός αύξησης του πληθυσµού είναι ανάλογος του υπάρχοντος πλη-
ας
ϑυσµού, δηλ.,
dx
= rx (Α΄.18)
dt
όπου r είναι ο συντελεστής αύξησης.
Α΄.4.12. Ασκηση: Λύστε την (Α΄.18) και παρατηρείστε ότι το µοντέλο προβλέπει εκθετική και
απεριόριστη αύξηση του πληθυσµού.
ι
Προφανώς ο πληθυσµός των Choristoneura δεν µπορεί να αυξάνεται απεριόριστα. Π.χ. η
διαθέσιµη τροφή είναι περιορισµένη και όταν αυτή εξαντληθεί, ο αριθµός των Choristoneura ϑα
αγ
αρχίσουν να ελαττώνεται. Για να λάβουµε υπόψη αυτό το γεγονός, τροποποιούµε την (Α΄.18) ως
εξής :
dx x
= rx 1 − . (Α΄.19)
dt k
Α΄.4.13. Ασκηση: Λύστε την (Α΄.19) για διάφορες τιµές του k. Τι παρατηρείτε ; Υπάρχει οριακή
τιµή limt →∞ x (t ); Τι σχέση έχει αυτή µε το k; Ποιά είναι η ϕυσική σηµασία του k;
εχ
Εκτός από την περιορισµένη ποσότητα τροφής, υπάρχει και ένας άλλος παράγοντας ο οποίος
περιορίζει τον πληθυσµό των Choristoneura και αυτός είναι η παρουσία ϑηρευτών, δηλ. άλ-
λων ειδών τα οποία τρέφονται µε Choristoneura. Τέτοιοι ϑηρευτές είναι κυρίως διάφορα είδη
πτηνών, τα οποία δεν κατοικούν µόνιµα στο δάσος, αλλά εµφανίζονται όταν ο πληθυσµός των
Choristoneura ξεπερνάει κάποια κρίσιµη τιµή x0 .
Α΄.4.14. Ασκηση: Τώρα τροποιείστε την (Α΄.19) ώστε να αντικατοπτρίζει την συµπεριφορά των
.Κ
dx x
= rx 1 − − f (x ) (Α΄.20)
dt k
όπου η f : R → R είναι µια συνάρτηση τέτοια ώστε f (x ) k όταν x < x0 και f (x ) ' k όταν
x > x0 . Επιλέξτε µία οι περισσότερες τέτοιες συναρτήσεις και για κάθε µία επιλύστε την (Α΄.20)
για διάφορους συνδυασµούς τιµών r, k. Σχολιάστε τα αποτελέσµατα.
Αθ
1. Ο ϱυθµός αύξησης dx dt
των λαγών είναι ίσος µε τον αριθµό αυτών πολλαπλασιασµένο επί ένα
µεταβλητό συντελεστή. Ο συντελεστής αυτός είναι ϕθίνουσα συνάρτηση του αριθµού των
λαγών x (t ) καθώς και του αριθµού των προβάτων z (t ). Αυτό συµβαίνει διότι όσο αυξάνει ο
ας
αριθµός είτε των λαγών είτε των προβάτων, ελαττώνεται η διαθέσιµη τροφή.
dy
2. Αντίστοιχα πράγµατα ισχύουν για τον ϱυθµό αύξησης dt
των προβάτων.
ι
dy
= y (t ) · (2 − x (t ) − y (t )) . (Α΄.22)
dt
αγ
Α΄.4.15. Ασκηση: Εξηγείστε γιατί οι (Α΄.21)-(Α΄.22) µεταφράζουν σε µαθηµατική γλώσσα την
προηγούµενη λεκτική περιγραφή. Περιγράψτε λεπτοµερώς τον ϱόλο που παίζει κάθε όρος των
(Α΄.21)-(Α΄.22).
Α΄.4.16. Ασκηση: Επιλύστε αριθµητικά τις (Α΄.21)-(Α΄.22) για τις αρχικές τιµές x (0) = 0.5,
y (0) = 0.1. Τι παρατηρείτε ;
Α΄.4.17. Ασκηση: Βρείτε µε αναλυτικό τρόπο τα σηµεία ισορροπίας (x, y), δηλ. σηµεία τα οποία
εχ
ικανοποιούν τις σχέσεις
Α΄.4.18. Ασκηση: Ελέγξτε αριθµητικά την ευστάθεια κάθε σηµείου ισορροπίας. ∆ηλ., καταρχήν
.Κ
λύστε τις (Α΄.21)-(Α΄.22) µε (x (0) , y (0)) = (x, y) και επιβεβαιώστε ότι (∀t ≥ 0 : (x (t ) , y (t )) = (x, y))
– κατόπιν λύστε τις (Α΄.21)-(Α΄.22) µε (x (0) , y (0)) = (x + ε, y + ζ ) (όπου ε, ζ είναι τυχαίες διατρα-
ϱαχές) και ελέγξτε εάν limt →∞ (x (t ) , y (t )) = (x, y).
Σε ένα άλλο αποµονωµένο λιβάδι Ϲούν ένας πληθυσµός λαγών (ο συνολικός αριθµός των λαγών
σε χιλιάδες, την χρονική στιγµή t, συµβολίζεται µε x (t )) και ένας πληθυσµός αλεπούδων (ο
συνολικός αριθµός των προβάτων σε χιλιάδες, την χρονική στιγµή t, συµβολίζεται µε z (t )). Οι
λαγοί τρέφονται µε το χόρτο του λιβαδιού ενώ οι αλεπούδες τρέφονται µε λαγούς. Η εξέλιξη των
δύο πληθυσµών διέπεται από τους εξής νόµους.
1. Ο ϱυθµός αύξησης dx
dt
των λαγών είναι αύξουσα συνάρτηση του αριθµού των λαγών x (t )
αλλά ϕθίνουσα συνάρτηση του αριθµού των αλεπούδων z (t ).
2. Ο ϱυθµός αύξησης dz dt
των αλεπούδων είναι αύξουσα συνάρτηση του αριθµού των λαγών
x (t ) αλλά ϕθίνουσα συνάρτηση του αριθµού των αλεπούδων z (t ).
10
[Strogatz, 6.5.19, p.189]
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 90
ας
dy
= −3y (t ) + 3x (t ) y (t ) . (Α΄.24)
dt
Α΄.4.19. Ασκηση: Εξηγείστε γιατί οι (Α΄.23)-(Α΄.24) µεταφράζουν σε µαθηµατική γλώσσα την
προηγούµενη λεκτική περιγραφή. Περιγράψτε λεπτοµερώς τον ϱόλο που παίζει κάθε όρος των
(Α΄.23)-(Α΄.24).
ι
Α΄.4.21. Ασκηση: Επιλύστε αριθµητικά τις (Α΄.23)-(Α΄.24) για τις αρχικές τιµές x (0) = 2, y (0) =
αγ
0.5. Τι παρατηρείτε ;
Α΄.4.22. Ασκηση: ΄Εχουν οι (Α΄.23)-(Α΄.24) σηµεία ισορροπίας ; Εάν ναι, ελέγξτε την ευστάθεια
αυτών.
Α΄.4.7 Επιδηµίες11
Ευθύγραµµη Καταδίωξη12
εχ
Α΄.4.8
Στο µέσον ενός απέραντου ωκεανού ένας καρχαρίας κυνηγά ένα δελφίνι. Το δελφίνι κινείται
σε µία ευθεία γραµµή v1 . Ο καρχαρίας κινείται µε κατεύθυνση προς το δελφίνι, µε ταχύτητα
v2 > v1 . Την χρονική στιγµή t, η ϑέση του δελφινιού είναι (x1 (t ) , y1 (t )) και η ϑέση του καρχαρία
είναι (x2 (t ) , y2 (t )).
και x2 (t ), y2 (t ).
Α΄.4.26. Ασκηση: Αποδείξτε ότι οι συνθήκες τις οποίες ϐρήκατε είναι ικανές ή / και αναγκαίες.
ας
αρχικές ϑέσεις της πάπιας και του σκύλου , καθώς και διάφορες τιµές των v1 , v2 .
Α΄.4.30. Ασκηση: Αποδείξτε ότι οι συνθήκες τις οποίες ϐρήκατε είναι ικανές ή / και αναγκαίες.
ι
Α΄.4.10 Μάχες14
Θεωρείστε την µάχη µεταξύ δύο στρατών, στην οποία ο αριθµός των στρατιωτών των δύο παρατά-
σύστηµα ∆Ε :
dx
dt
dy
dt
αγ
ξεων σε χιλιάδες) συµβολίζεται µε x (t ) και y (t ). Οι αριθµοί αυτοί µεταβάλλονται σύµφωνα µε το
= −2y,
= −x,
x (0) = 10,
y (0) = 4.
εχ
Θεωρούµε ότι η µάχη λήγει όταν σκοτωθούν όλοι οι στρατιώτες µιας παράταξης.
Α΄.4.31. Ασκηση: Σε ποια χρονική στιγµή ϑα λήξει η µάχη ; Απαντείστε µε µαθηµατική ανάλυση
και επαληθεύστε την απάντηση σας µε αριθµητικά πειράµατα.
Α΄.4.32. Ασκηση: Τροποποιείστε την ∆Ε έτσι ώστε να περιγράφει την κατάσταση στην οποία η
κάθε παράταξη µπορεί να ενισχύει το στράτευµα της. Είναι τότε δυνατόν η µάχη να συνεχιστεί
επάπειρο ;
.Κ
Α΄.4.34. Ασκηση: Τροποποιείστε το προηγούµενο µοντέλο έτσι ώστε να περιγράφει την κατά-
σταση όταν στην κούρσα των εξοπλισµών εµπλέκονται τέσσερις χώρες (για να πάρετε κάποιες
ιδέες, µπορείτε να χρησιµοποιήσετε το παράδειγµα της εποχής προ των Βαλκανικών πολέµων,
µε τα κράτη Ελλάδα, Τουρκία, Βουλγαρία και Σερβία).
14
[Lanchester]
ΠΑΡΑΡΤΗΜΑ Α΄. ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΜΕ ∆Ε ΚΑΙ ΕΠΙΛΥΣΗ ΜΕ ΧΡΗΣΗ ΥΠΟΛΟΓΙΣΤΗ 92
ας
Μεγιστοποίηση µέγιστης κλίσης
ι
αγ
εχ
.Κ
Αθ
15
[Strogatz, 2.5.6, p.39]
16
[Veloso]
c
Παράρτηµα Β΄
ia
ΒΙΒΛΙΟΓΡΑΦΙΑ
ag
1. Ayres, Frank. Theory and problems of differential equations. New York: McGraw-Hill,
1952.
2. Boyce, William E., Richard C. DiPrima, and Charles W. Haines. Elementary differential
equations and boundary value problems. New York: Wiley, 1992.
3. Bracewell, Ron. The Fourier Transform and its Applications. New York, 1965.
eq
4. Brown, James W., and Ruel V. Churchill. Fourier series and boundary value problems.
New York: McGraw-Hill, 1972.
6. Doetsch, Gustav. Introduction to the Theory and Application of the Laplace Transforma-
tion. New York: Springer-Verlag, 1974.
.K
9. Kammler, David W. A first course in Fourier analysis. Cambridge University Press, 2007.
Aj
10. Lanchester F.W., "Mathematics in Warfare" in The World of Mathematics, Vol. 4, Ed.
Newman, J.R., Simon and Schuster, 1956.
11. Lundberg, Kent H., Haynes R. Miller, and David L. Trumper. "Initial conditions, gene-
ralized functions, and the laplace transform troubles at the origin." Control Systems,
IEEE, 27.1 (2007): 22-35.
12. Miller, Haynes R., David L. Trumper, and Kent H. Lundberg. "A brief treatment of
generalized functions for use in teaching the Laplace transform." Decision and Control,
2006 45th IEEE Conference on. IEEE, 2006.
13. Rudin, Walter. Real and complex analysis (3rd ed.). New York: McGraw-Hill Inc, 1986.
93
ΠΑΡΑΡΤΗΜΑ Β΄. ΒΙΒΛΙΟΓΡΑΦΙΑ 94
14. Schiff, Joel L. The Laplace transform: theory and applications. Springer Science &
Business Media, 1999.
15. Spiegel, Murray. Fourier analysis with applications to boundary value problems. McGraw-
c
Hill Companies, 1974.
ia
17. Strogatz, Steven H. Nonlinear dynamics and chaos: with applications to physics, biology,
chemistry, and engineering. Westview press, 2014.
18. Zemanian, Armen H. Distribution theory and transform analysis: an introduction to ge-
neralized functions, with applications. Courier Corporation, 1965.
ag
19. Zill, Dennis, and Warren Wright. Differential equations with boundary-value problems.
Cengage Learning, 2012.
eq
.K
Aj