Tải bản đầy đủ (.pdf) (111 trang)

Luận văn sư phạm Phép biến đổi Laplace và ứng dụng

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (3.54 MB, 111 trang )

Khoá lu n t t nghi p đ i h c

M CL C
Trang
L IM

U

2

1. Lí do ch n đ tài

2

2. M c đích nghiên c u

2

3. Nhi m v nghiên c u

2

4. Ph

2

ng pháp nghiên c u

5. C u trúc khóa lu n

2



N I DUNG

4

Ch

4

ng I: M t s khái ni m và k t qu chu n b

1.1. S l

c v gi i tích ph c

1.2. M t s khái ni m c b n c a ph
Ch

4
ng trình và h ph

ng trình vi phân12

ng II: Phép bi n đ i Laplace

20

2.1. Bi n đ i Laplace thu n

20


2.2. Bi n đ i Laplace ng

41

c

Ch

ng III:

ng d ng c a phép bi n đ i Laplace

3.1.

ng d ng gi i ph

3.2.

ng d ng đ tính tích phân suy r ng và tính t ng c a chu i

ng trình vi phân và h ph

57
ng trình vi phân

57
97

B ng đ i chi u g c - nh


106

K T LU N

110

TÀI LI U THAM KH O

111

Sinh viên Nguy n Th Liên – K32E khoa Toán

1


Khoá lu n t t nghi p đ i h c

L IM

U

1.Lý do ch n đ tài:
Phép bi n đ i Laplace là m t trong các phép bi n đ i tích phân. Lý
thuy t bi n đ i tích phân ban đ u đ
th

ng, ph

c áp d ng đ gi i ph


ng trình vi phân đ o hàm riêng. Ph

ng trình vi phân

ng trình vi phân là môt

l nh v c c a toán h c c b n, v a mang tính lý thuy t, v a mang tính ng
d ng r ng rãi. Thông th

ng các bài toán ph

các v n đ trong th c t và sau đó ng

ng trình vi phân đ

c rút ra t

i ta tìm ra nó có nhi u ng d ng trong

nhi u l nh v c khác nh trong V t lý, K thu t, X lý tín hi u, Xác su t…
Các sách tham kh o dành cho sinh viên nghiên c u s d ng phép bi n đ i
Laplace vào ph

ng trình và h ph

ng trình vi phân ch a có nhi u. B i v y

vi c nghiên c u phép bi n đ i này là r t c n thi t đ i v i m i sinh viên.
Do v y mà em đã ch n đ tài: ”Phép bi n đ i Laplace và ng d ng” đ th c

hi n khóa lu n t t nghi p đ i h c.
2.M c đích nghiên c u:
B
h n v ph

c đ u làm quen v i công vi c nghiên c u khoa h c và tìm hi u sâu
ng trình và h ph

ng trình vi phân, gi i tích hàm đ c bi t là

phép bi n đ i Laplace.
3.Nhi m v nghiên c u:
Nghiên c u phép bi n đ i Laplace thu n và ngh ch, các ng d ng c a
phép bi n đ i này vào gi i toán.
4.Ph

ng pháp nghiên c u:
Nghiên c u lý lu n, phân tích, t ng h p và đánh giá.

5.C u trúc khóa lu n:
Ngoài ph n M đ u, K t lu n, Tài li u tham kh o, n i dung khóa lu n
g m ba ch

ng :

Sinh viên Nguy n Th Liên – K32E khoa Toán

2



Khoá lu n t t nghi p đ i h c
Ch

ng I : M t s khái ni m và k t qu chu n b

Ch

ng II : Phép bi n đ i Laplace

Ch

ng III :

ng d ng c a phép bi n đ i Laplace

Sinh viên Nguy n Th Liên – K32E khoa Toán

3


Khoá lu n t t nghi p đ i h c

N I DUNG
CH

NG I: M T S
1.1. S

KHÁI NI M VÀ K T QU CHU N B


L

C V GI I TÍCH PH C

1.1.1. Hàm bi n ph c
1.1.1.1. Khái ni m hàm bi n ph c
là m t t p con c a

Cho

là m t quy lu t đ t t
Ký hi u

ng ng m i

,

+

N u

+

N u

+

t

trong đó


. M t hàm bi n ph c xác đ nh trên
v i m t ph n t

.

.
v im i

thì hàm g i là h u h n.
v im i

thì hàm g i là b ch n.

. Khi đó:

) và

là các hàm c a hai bi n th c g i t

th c và ph n o c a hàm

. Ký hi u :

;

ng ng là ph n

.


1.1.1.2. Hàm s liên t c
Hàm

g i là liên t c t i

,

đ u có:

,
+) N u

n u:

thì đ nh ngh a trên t
,

+) N u hàm s

ng đ

,

ng v i:
.

liên t c t i m i đi m thu c

thì


g i là liên t c trên

+) Hàm
v(x, y) liên t c t i
+) T ng, hi u, tích, th

ng (n u m u khác 0) c a hai hàm s liên t c t i

là hàm s liên t c t i
+) Hàm

.

g i là liên t c đ u trên

n u:

Sinh viên Nguy n Th Liên – K32E khoa Toán

4


Khoá lu n t t nghi p đ i h c

,

,

.


1.1.2. HƠm gi i tích:
T p h p
d

g i là lân c n c a

ng nào đ y) n u

( là s

.

Còn t p

g i là lân c n c a đi m xa vô t n.

o hàm c a hàm ph c:

1.1.2.1.

xác đ nh trên mi n ,

Cho hàm

. Cho

có s gia

, khi đó s gia c a hàm là:
thì hàm g i là có đ o hàm t i


N u t n t i và h u h n:
gi i h n đó g i là đ o hàm c a hàm

t i

, ký hi u là



.

Nh v y:

có đ o hàm t i

Hàm

thì:

) là vô cùng bé b c cao h n
t i

. Ta g i:
Chú ý:

khi

, do đó


là vi phân c a hàm

c ng kh vi
t i

o hàm c a hàm ph c có các công th c và quy t c tính t

.
ng t

hàm th c.
1.1.2.2. Hàm gi i tích:
1.1.2.2.1.

nh lý Cauchy-Riemann:
kh vi t i đi m

Hàm s

(nh là hàm s c a bi n s ph c ) khi và ch khi các hàm s
kh vi t i

(nh là hàm s giá tr th c c a hai bi n th c , ) và

các đ o hàm riêng c a chúng t i đi m

Sinh viên Nguy n Th Liên – K32E khoa Toán

tho mãn đi u ki n:


5


Khoá lu n t t nghi p đ i h c

nh ngh a hàm gi i tích:

1.1.2.2.2.

xác đ nh trên

+) Hàm
n u hàm
đi m t i

g i là gi i tích (hay ch nh hình) t i

có đ o hàm t i m i đi m trong m t lân c n nào đó c a

.
có đ o hàm t i m i

Hay: n u
+) Hàm s

.

g i là hàm gi i tích trên mi n

n u


gi i tích t i

ng h p

là mi n tu ý

m i đi m thu c mi n .
+) Nh n xét:
Ta có th m r ng đ nh ngh a nêu trên t i tr
còn là ánh x t

trong
h n còn

ta nói

b i phép ngh ch đ o. Nh v y khi

vào

gi i tích t i

ta nói gi i tích t i

n u

n u:

,


, còn khi

gi i tích t i 0.
là h u h n.

N u không có gì đ c bi t ta luôn coi
Ví d : Hàm

gi i tích t i

h u

.

N u
N u

.

1.1.3. Tích phơn c a hƠm bi n ph c
1.1.3.1.

nh ngh a và cách tính

- Tích phân c a hàm s
tr

ng L v i các mút a,b và h


xác đ nh, liên t c trên đ
ng t a đ n b, ký hi u

ng cong kh
là gi i h n

c a t ng tích phân:
là các đi m chia
thành

ph n,

- Gi s

là đi m tu ý thu c cung

,

v i

Sinh viên Nguy n Th Liên – K32E khoa Toán

6


Khoá lu n t t nghi p đ i h c
V i gi thi t đã cho v hàm s

và v đ


ng cong , ta luôn có:

trong đó ph n th c và ph n o c a v ph i (1.1.1) là các tích phân đ
2 l y trên
- Khi
phân đ

ng t a đ n b.

theo h
là đ

ng lo i

ng cong kh tr

c l y theo h

ng d

ng và đóng thì (1.1.1) có ngh a là tích

ng (h

ng mà khi chuy n đ ng trên L, mi n

h u h n gi i h n b i L luôn n m bên trái).
Nh v y, khi tính tích phân ph c ta có th áp d ng công th c (1.1.1) và khi
tính các tích phân đ


ng lo i 2 t

ng ng ta s d ng các ph

ng pháp đã

bi t.
- N u L là đ

ng cong tr n, có ph

ng trình d ng tham s :

Thì ta có công th c:

là tích phân xác đ nh trên

c a hàm s bi n s th c nh n giá tr ph c.

1.1.3.2. Tích phân Cauchy (m t s đ nh lý quan tr ng)
1.1.3.2.1.

nh lý tích phân Cauchy đ i v i mi n đ n liên

N u hàm s

gi i tích trên mi n D đ n liên và L là đ

ng cong


Jordan đóng, tr n t ng khúc n m trong D thì

1.1.3.2.2.

nh lý tích phân Cauchy đ i v i mi n đa liên

Sinh viên Nguy n Th Liên – K32E khoa Toán

7


Khoá lu n t t nghi p đ i h c
N u D là mi n h u h n
các đ

- liên v i biên

g mm ts h uh n

ng cong Jordan đóng, tr n t ng khúc sao cho các mi n đóng h u h n

gi i h n b i

n m hoàn toàn trong mi n h u h n gi i h n b i

và đôi m t không giao nhau, hàm s

gi i tích trên mi n đóng

, th thì:


1.1.3.2.3. Công th c tích phân Cauchy
N u D là mi n h u h n v i biên

c a nó g m m t s h u h n đ

cong Jordan đóng, tr n t ng khúc, hàm s

gi i tích trên

ng
,

là đi m nào đó c a m t ph ng ph c không thu c . Khi đó

nh ngh a tích phân lo i Cauchy:
Tích phân lo i Cauchy là hàm s đ n tr c a bi n z, d ng:

trong đó

là đ

liên t c trên

; là đi m thu c m t ph ng ph c nh ng không thu c .

c bi t, khi đ
b i

ng cong Jordan (đóng ho c không đóng) tr n t ng khúc; f(t)

ng cong

và liên t c trên

đóng, f(t) gi i tích trên mi n D h u h n gi i h n
thì tích phân lo i Cauchy tr thành công

th c tích phân Cauchy:

1.1.3.2.4.

nh lí tính ch t c a tích phân lo i Cauchy

Sinh viên Nguy n Th Liên – K32E khoa Toán

8


Khoá lu n t t nghi p đ i h c
V i m i thu c m t ph ng ph c và không thu c , tích phân lo i Cauchy là
hàm gi i tích, có đ o hàm m i c p và đ

c tính theo công th c:

(n = 1,2,3,…)
Chú ý: Trong các đi u ki n c a công th c (1.1.2) công th c (1.1.3) tr thành:

1.1.4. LỦ thuy t chu i vƠ th ng d
1.1.4.1. Chu i Laurent
1.1.4.1.1. nh ngh a chu i Laurent


g it

ng ng là ph n chính và ph n đ u c a khai tri n Laurent.
N u ph n chính có mi n h i t là

, ph n đ u có mi n h i t

thì mi n h i t c a chu i Laurent là:



g i là hình vành kh n h i t c a chu i.
N u hàm

gi i tích trong hình vành kh n:

thì trong hình vành kh n này

khai tri n đ

Sinh viên Nguy n Th Liên – K32E khoa Toán

c thành chu i Laurent:

9


Khoá lu n t t nghi p đ i h c


trong đó các h s

là duy nh t đ

là đ

(n = 0, ±1, ±2,…;

c tính theo công th c:

ng tròn

)

1.1.4.1.2. Các đi m kì d cô l p
+)

≠ ∞ g i là đi m kì d cô l p c a hàm s

trong lân c n th ng
trong lân c n

gi i tích

,n u

gi i tích

nào đó c a


∞ g i là đi m kì d cô l p c a hàm s

+)

,n u

c a đi m

+) i m kì d cô l p c a

chia thành 3 lo i:



đ

c g i là đi m kì d b đ

cn u



đ

c g i là c c đi m n u



đ


c g i là đi m kì d c t y u n u

không t n t i c

l n trong m t ph ng ph c m r ng

trong m t ph ng ph c

.

1.1.4.2. Th ng d
1.1.4.2.1.

nh ngh a th ng d

Gi s

≠ ∞ là đi m kì d cô l p c a hàm gi i tích

,

là đ

ng

cong Jordan đóng, tr n t ng khúc n m hoàn toàn trong mi n gi i tích c a
sao cho trong mi n h u h n D v i biên
khác ngoài

.


Tích phân
d c a

không ch a đi m kì d cô l p nào

l y d c L theo h

t i đi m kì d cô l p

ng d

ng đ

c g i là th ng

, kí hi u là:

Sinh viên Nguy n Th Liên – K32E khoa Toán

10


Khoá lu n t t nghi p đ i h c

t i đi m kì d cô l p

Th ng d c a
l yd cđ


ng tròn

ng d

theo h

xác đ nh b i tích phân

ng:

(R>0 đ l n)
1.1.4.2.2. Các đ nh lý v th ng d


trong đó

nh lý c b n v th ng d

gi i tích trên mi n

(tr m t s h u h n đi m kì d cô l p

thu c ), liên t c trên

N u

nh lý th ng d toàn ph n
gi i tích trên m t ph ng ph c

tr các đi m kì d cô l p


, thì:

Các h th c (1.1.4), (1.1.5) th

ng hay s d ng khi tính tích phân ph c.

1.1.4.2.3. Tính th ng d
(h s c a
t i lân c n đi m

)
(h s c a

c n đi m
b)

trong khai tri n Laurent c a

trong khai tri n Laurent c a

t i lân

= ∞)
là đi m c c đi m c p m thì:

Sinh viên Nguy n Th Liên – K32E khoa Toán

11



Khoá lu n t t nghi p đ i h c

Ví d : Tính th ng d c a các hàm t i các đi m b t th

ng khác ∞.

là c c đi m đ n)

(

1.2. MÔT SÔ KHAI NIểM C
PH
1.2.1. Ph
1.2.1.1.
Ph

NG TRINH VA Hể

NG TRINH VI PHỂN

ng trình vi phơn c p m t
nh ngh a
ng trình vi phân c p m t có d ng t ng quát là:

Nghi m c a ph
vào ph

BAN CUA PH


ng trình (1.2.1) là hàm

ng trình (1.2.1) thì ta đ

có tính ch t khi th

c m t đ ng nh t th c.Ph

Sinh viên Nguy n Th Liên – K32E khoa Toán

ng trình (1.2.1)

12


Khoá lu n t t nghi p đ i h c
có vô s nghi m. Quá trình tìm các nghi m c a ph
là s tích phân ph

cg i

ng trình đó.

N u t (1.2.1) ta gi i đ
thì (1.2.2) đ

ng trình (1.2.1) đ

c g i là ph


c

ngh a là (1.2.1) có d ng:

ng trình vi phân c p 1 đã gi i ra đ i v i đ o hàm.

1.2.1.2. Bài toán Cauchy
Trong th c t ng
ph

i ta th

ng không quan tâm đ n t t c các nghi m c a

ng trình mà ch chú ý đ n nh ng nghi m tho mãn đi u ki n nào đó.
c a ph

Ch ng h n đòi h i tìm nghi m

ng trình (1.2.1) ho c ph

trình (1.2.2) tho mãn đi u ki n:
tr cho tr

; trong đó

ng

là các giá


c.

Bài toán đ t ra nh v y g i là bài toán Cauchy. i u ki n (1.2.3) đ
g i là đi u ki n ban đ u;

c

là các giá tr ban đ u.

Chú ý: Bài toán Cauchy không ph i bao gi c ng có nghi m.
Ví d : Tìm nghi m c a ph

ng trình

tho mãn đi u ki n ban đ u:

.

Ta d th y nghi m c a bài toán là hàm

.

1.2.1.3. Nghi m t ng quát
Gi s trong mi n G c a m t ph ng (x, y) nghi m c a bài toán Cauchy
đ i v i ph
đ

ng trình (1.2.2) t n t i và duy nh t. Hàm s :

c g i là nghi m t ng quát c a ph


ng trình (1.2.2) trong G n u trong

mi n bi n thiên c a x và C nó có đ o hàm riêng liên t c theo x và tho mãn
các đi u ki n sau:
a) T h th c (1.2.4) ta có th gi i đ

b) Hàm

tho mãn ph

c C:

ng trình (1.2.2) v i m i giá tr c a

xác

đ nh t (1.2.5) khi (x, y) bi n thiên trong . N u nghi m t ng quát c a

Sinh viên Nguy n Th Liên – K32E khoa Toán

13


Khoá lu n t t nghi p đ i h c

ph

ng trình (1.2.2) đ


thì nó đ

c cho d

i d ng n:

c g i là tích phân t ng quát.

1.2.1.4. Nghi m riêng
Nghi m c a ph

ng trình (1.2.2) mà t i m i đi m c a nó tính duy nh t

nghi m c a bài toán Cauchy đ
Nghi m nh n đ

cb ođ mđ

c g i là nghi m riêng.

c t nghi m t ng quát v i giá tr c th c a h ng s



nghi m riêng.
1.2.1.5. Nghi m k d
Nghi m c a ph

ng trình (1.2.2) mà t i m i đi m c a nó tính duy nh t


nghi m c a bài toán Cauchy b phá v đ
Nh v y nghi m nh n đ

c g i là nghi m k d .

c t nghi m t ng quát v i giá tr c th c a h ng s

không th cho ta nghi m k d . Nghi m k d có th nh n đ
t ng quát ch khi

c t nghi m

. Ngoài ra chúng ta còn có nghi m h n h p t c là

nghi m bao g m m t ph n nghi m riêng và m t ph n nghi m k d .
1.2.1.6. Ph
+) Ph
Ph

ng trình vi phân
ng trình vi phân tuy n tính thu n nh t c p 1:

ng trình vi phân tuy n tính thu n nh t c p 1 có d ng

có nghi m t ng quát d ng:

ho c d

i d ng Cauchy:


+) Ph
Ph

ng trình vi phân tuy n tính không thu n nh t c p 1:

ng trình vi phân tuy n tính không thu n nh t c p 1 có d ng:

có nghi m t ng quát d ng:

Sinh viên Nguy n Th Liên – K32E khoa Toán

14


Khoá lu n t t nghi p đ i h c
ho c d

i d ng Cauchy:

ng trình vi phơn c p cao

1.2.2. Ph
1.2.2.1.
Ph

Hàm

nh ngh a
ng trình vi phân c p n có d ng t ng quát:


xác đ nh trong m t mi n

N u t (1.2.6) ta có th gi i ra đ
thì (1.2.7) đ

c g i là ph

.
ngh a là nó có d ng:

c

ng trình vi phân c p n đã gi i ra đ i v i đ o hàm

c p cao nh t.
Nghi m c a ph

ng trình (1.2.6) là hàm

kh vi n l n trên kho ng

(a, b) sao cho:
a)
b) Nó nghi m đúng ph

ng trình (1.2.6) trên (a, b)

1.2.2.2. Bài toán Cauchy
Tìm nghi m c a ph


ng trình (1.2.6) ho c (1.2.7) tho mãn đi u ki n

ban đ u:

trong đó
là các s cho tr

c và đ

c g i là các giá tr ban đ u.

1.2.2.3. Nghi m t ng quát
Ta gi thi t r ng

là mi n t n t i và duy nh t nghi m c a ph

ng trình

(1.2.7), t c là nghi m bài toán Cauchy t n t i và duy nh t đ i v i m i đi m
.

Sinh viên Nguy n Th Liên – K32E khoa Toán

15


Khoá lu n t t nghi p đ i h c
xác đ nh trong mi n bi n thiên c a các bi n

Hàm


có t t c các đ o hàm riêng theo x liên t c đ n c p n đ
là nghi m t ng quát c a ph
ph

ng trình (1.2.7) trong mi n

n u trong

cg i
t h

ng trình:

ta có th xác đ nh đ

c:

là nghi m c a ph

và hàm

ng trình (1.2.7) ng v i

xác đ nh t (1.2.8) khi

m ih

bi n thiên


trong .
1.2.2.4. Tích phân t ng quát
Khi gi i ph

ng trình (1.2.7) nhi u khi ta đ

c nghi m t ng quát d

i

d ng n:
và đ

c g i là tích phân t ng quát c a ph

H th c (1.2.9) đ
mi n
c a ph

ng trình (1.2.7).

c g i là tích phân t ng quát c a ph

ng trình (1.2.7) trong

n u nó xác đ nh nghi m t ng quát:
ng trình đó trong mi n .

1.2.2.5. Nghi m riêng
Nghi m c a ph


ng trình (1.2.7) mà t i m i đi m c a nó tính duy nh t

nghi m c a bài toán Cauchy đ

cb ođ mđ

Sinh viên Nguy n Th Liên – K32E khoa Toán

c g i là nghi m riêng c a

16


Khoá lu n t t nghi p đ i h c
ng trình (1.2.7). Nghi m nh n đ

ph

c t nghi m t ng quát v i các giá tr
là nghi m riêng.

xác đ nh c a các h ng s
1.2.2.6. Nghi m k d
Nghi m c a ph

ng trình (1.2.7) mà t i m i đi m c a nó tính duy nh t

nghi m c a bài toán Cauchy b phá v đ
Nghi m k d c a ph


c g i là nghi m k d .

ng trình vi phân c p n có th là c m t h ph

thu c m t s h ng s tu ý, nh ng s h ng s tu ý này không đ

c quá

.
Ví d : Xét ph

và coi là hàm s m i ph i tìm ta đ

t

Ph

ng trình

c:

ng trình này có nghi m t ng quát là:
do đó nghi m t ng quát c a ph

nên ta có



ng trình


đang xét là:

Ph

ng trình (1.2.10) là ph

Cho nên ph

ng trình vi phân c p 1 có nghi m k d là

ng trình đang xét có h nghi m k d ph thu c m t h ng s tu

ý, ngh a là
1.2.3. H ph
1.2.3.1.

ng trình vi phân

nh ngh a

H ph

ng trình vi phân d ng chu n t c là h có d ng:

Sinh viên Nguy n Th Liên – K32E khoa Toán

17



Khoá lu n t t nghi p đ i h c

là các hàm c a mà chúng ta c n tìm;

đây
hàm cho tr

c xác đ nh và liên t c trong m t mi n
,s nđ

nào đó c a các bi n

c g i là b c c a h (1.2.11).

T p h p n hàm
kho ng (a, b) đ

là các

xác đ nh và kh vi liên t c trên

c g i là nghi m c a h (1.2.11) trên kho ng đó n u khi thay

chúng vào h (1.2.11) ta đ

c n đ ng nh t th c v i m i

.

1.2.3.2. Bài toán Cauchy

Tìm nghi m

c a h (1.2.11) tho mãn đi u ki n ban
là các s cho tr

trong đó

c mà ta g i là đi u ki n

ban đ u.
Nói chung bài toán Cauchy không ph i bao gi c ng có nghi m, ho c có
nghi m nh ng nghi m có th không duy nh t. Tuy nhiên ng
minh đ

i ta đã ch ng

liên t c trong

c r ng n u

thì

bài toán Cauchy luôn luôn có nghi m (đ nh lý Pêanô).
1.2.3.3. Nghi m t ng quát
H n hàm kh vi liên t c theo x, ph thu c n h ng s tu ý

đ

c g i là nghi m t ng quát c a h (1.2.11)


Sinh viên Nguy n Th Liên – K32E khoa Toán

trong mi n

.

n u:

18


Khoá lu n t t nghi p đ i h c
a)

ng v i m i

t h (1.2.12) (sau khi đã thay

b ng

) ta có th xác đ nh đ

b) H hàm (1.2.12) nghi m đúng h ph

c các h ng s :

ng trình (1.2.11) v i

xác đ nh t (1.2.13).
1.2.3.4. Tích phân t ng quát

H hàm:

đ

c g i là tích phân t ng quát c a h (1.2.11) trong mi n

n u nó xác đ nh

nghi m t ng quát c a h (1.2.11) trong .
1.2.3.5. Nghi m riêng
Nghi m c a h (1.2.11) mà t i m i đi m c a nó tính duy nh t nghi m
c a bài toán Cauchy đ
đ

cb ođ mđ

c g i là nghi m riêng. Nghi m nh n

c t nghi m t ng quát v i các h ng s

xác đ nh t (1.2.13) là

nghi m riêng.
1.2.3.6. Nghi m k d
Nghi m c a h (1.2.11) mà t i m i đi m c a nó tính duy nh t nghi m
c a bài toán Cauchy b phá v đ
1.2.3.7. H ph
H ph

c g i là nghi m k d .


ng trình vi phân tuy n tính

ng trình vi phân tuy n tính không thu n nh t có d ng:

Sinh viên Nguy n Th Liên – K32E khoa Toán

19


Khoá lu n t t nghi p đ i h c

H ph

ng trình vi phân tuy n tính thu n nh t có d ng:

CH

NG II: PHÉP BI N
2.1 BI N

I LAPLACE

I LAPLACE THU N

nh ngh a vƠ ví d hƠm g c

2.1.1.

Hàm bi n s th c


đ

c g i là hàm g c n u th a mãn 3 đi u ki n sau

đây:
liên t c t ng khúc trên m i kho ng h u h n c a tr c th c .

(1)
(2)

khi
t ng không nhanh h n hàm s m , ngh a là tìm đ

(3)

c các s

sao cho v i m i ta đ u có:
S inf

,v it tc

th a mãn (3) đ

c g i là ch s t ng c a .

Ví d 1: Ch ng minh r ng hàm đ n v sau đây là hàm g c.

Gi i:

i u ki n (1) và (2) rõ ràng đ
th l y

c th a mãn.

i v i đi u ki n (3) ta có

s có ngay:

Sinh viên Nguy n Th Liên – K32E khoa Toán

20


Khoá lu n t t nghi p đ i h c

V y

là hàm g c.

Ví d 2: Ch ng minh r ng hàm s sau đây là hàm g c:

Gi i:
i u ki n (1) và (2) rõ ràng đ

c th a mãn.

i v i điêu ki n (3), ta th y r ng:

nên khi


, rõ ràng

hay

.

T đó suy ra v i m i t ta đ u có:
có ngh a là đi u ki n (3) đ

c th a mãn,

đây coi

.

Ví d 3: Hàm s sau đây có ph i là hàm g c hay không?

Gi i:
i u ki n (1) và (2) rõ ràng đ
ý khi

n u

c th a mãn.

là hàm g c thì:

i v i đi u ki n (3), ta chú
sao cho:


đây là m t đi u mâu thu n vì:

Ví d 4: Hàm:

là hàm g c. Th t v y:
+

i u ki n (1), (2) rõ ràng đ

c th a mãn.

Sinh viên Nguy n Th Liên – K32E khoa Toán

21


Khoá lu n t t nghi p đ i h c
+ V i đi u ki n (3) ta có th l y
.

Vì:

nh ngh a vƠ ví d phép bi n đ i Laplace

2.1.2.

Cho hàm s g c
đ


, ta g i hàm s ph c

c a bi n s ph c

c xác đ nh b ng công th c sau đây:

là hàm nh c a hàm

hay là phép bi n đ i Laplace c a hàm

Kí hi u:

ho c

.

.

Chú ý:
ch xác đ nh trong mi n

+ Hàm nh

và là hàm gi i

tích trong mi n đó.
+ Còn có th ch ng minh đ
nên nh ng hàm

c khi


thì

. Cho

nào không th a mãn đi u ki n này s không ph i

là hàm nh c a m t hàm g c nào c .
Ch ng h n
n ul y

T

không ph i là hàm nh c a hàm g c nào c vì
thì khi

ng t c ng d th y các hàm:

, nh ng khi đó:

ta s có

,

,

,…không ph i là nh c a hàm

g c nào c .
Ví d 1: Xét hàm s đ n v :


Bi n đ i Laplace c a là:

Sinh viên Nguy n Th Liên – K32E khoa Toán

22


Khoá lu n t t nghi p đ i h c
Ví d 2: Xét hàm m :
Bi n đ i Laplace c a là:

v i
Ví d 3: Hàm l y th a:
nh sau:

Bi n đ i Laplace c a hàm

(s d ng tích phân t ng ph n).
Ví d 4: Tìm nh c a hàm g c:

Hàm nh c a hàm g c

là:

Sinh viên Nguy n Th Liên – K32E khoa Toán

23



Khoá lu n t t nghi p đ i h c
2.1.3. Các đ nh lý và tính ch t c a phép bi n đ i Laplace
2.1.3.1

nh lý

Cho là hàm g c có ch s t ng

. Khi đó bi n đ i Laplace

c a hàm

là hàm gi i tích trong mi n
Ch ng minh:
t

+

thì dãy

c a hàm đ nh b i:

h it đ uv

trên mi n

v i

b t


k .
Th t v y:

ta có:

do b t đ ng th c trên không ph thu c vào
suy ra

h it đ uv

+ Ngoài ra, v i m i

trong mi n

nên

gi i tích trên mi n

. S d ng

trên mi n đó.

đ nh lý h i t v ch n Lebesgue ta có:

Sinh viên Nguy n Th Liên – K32E khoa Toán

24


Khoá lu n t t nghi p đ i h c


V y suy ra

gi i tích trên mi n

.

2.1.3.2. Tính ch t tuy n tính
Cho hàm g c


có các ch s t ng

, bi n đ i Laplace

. Khi đó bi n đ i Laplace c a hàm t h p tuy n tính c a

các hàm
là hàm đ nh b i:

v i mi n xác đ nh

.

Ch ng minh:
Ta có:

Sinh viên Nguy n Th Liên – K32E khoa Toán

25



×