1. Trang chủ
  2. » Giáo Dục - Đào Tạo

Giáo trình giải tích 3

64 837 6
Tài liệu đã được kiểm tra trùng lặp

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 64
Dung lượng 1,14 MB

Nội dung

Giáo trình giải tích 3

TRƯỜNG ĐẠI HỌC ĐÀ LẠT KHOA TOÁN - TIN HỌC Y  Z TẠ LÊ LI - ĐỖ NGUYÊN SƠN GIẢI TÍCH 3 (Giáo Trình) -- Lưu hành nội bộ -- Y Đà Lạt 2008 Z Giải Tích 3Tạ Lê Lợi - Đỗ Nguyên SơnMục lụcChương I. Tích phân phụ thuộc tham số1. Tích phân phụ thuộc tham số 42. Tích phân suy rộng phụ thuộc tham số . 93. Các tích phân Euler 14Chương II. Tích phân hàm số trên đa tạp1. Đa tạp khả vi trong Rn . 192. Tích phân hàm số trên đa tạp . 24Chương III. Dạng vi phân1. Dạng k-tuyến tính phản đối xứng . 312. Dạng vi phân 333. Bổ đề Poincaré 37Chương IV. Tích phân dạng vi phân1. Đònh hướng 412. Tích phân dạng vi phân 443. Công thức Stokes 47Bài tập. . 53 4I. Tích phân phụ thuộc tham số1 Tích phân phụ thuộc tham số1.1 Định nghĩaĐịnh nghĩa 1. Xét hàm f(x, t)=f(x1, .,xn,t1, .,tm) xác định trên miềnX ì T Rnì Rm. Giả sử X đo đ-ợc (Jordan) và với mỗi giá trị của t T cốđịnh, hàm f(x, t) khả tích theo x trên X. Khi đó tích phânI(t)=Xf(x, t)dx (1)là hàm theo biến t =(t1, .,tm), gọi là tích phân phụ thuộc tham số với mtham số t1, .,tm.1.2 Tính liên tụcĐịnh lý 1. Nếu f(x, t) liên tục trên X ì T Rnì Rm,ởđâyX, T là các tậpcompact, thì tích phânI(t)=Xf(x, t)dxliên tục trên T .Chứng minh. Cố định t0 T . Ta sẽ chứng minh với mọi >0, tồn tại >0 saocho với mọi t T , d(t, t0) <ta có | I(t) I(t0) |<.Từ định nghĩa suy ra| I(t) I(t0) |=X(f(x, t) f(x, t0))dxX| f(x, t) f(x, t0) | dx.Do f liên tục trên compact nên liên tục đều trên đó, tức là tồn tại >0 sao cho| f(x,t) f(x, t) |<v(X)với mọi (x, t), (x,t) X ì T , d((x,t), (x, t)) <.Từ đó, với d(t, t0) <ta có| I(t) I(t0) |<v(X)v(X)= . 5Ví dụ. 1) Ta có limt011x2+ t2dx =11|x|dx =1vì hàmx2+ t2liên tục trên[1, 1] ì [, ].2) Khảo sát tính liên tục tại điểm (0, 0) của hàm f(x, t)=xt2ex2t2nếu t =00 nếu t =0.Nếu f(x, t) liên tục tại (0, 0), thì f(x, t) liên tục trên [0, 1]ì [, ]. Khi đó, tíchphân I(t)=10f(x, t)dx liên tục trên [, ] . Nh-ng ta cólimt0I(t) = limt010xt2ex2t2= 12limt010ex2t2d(x2t2)= 12limt0(et2 1) =12=0=I(0).Vậy, hàm f(x, t) không liên tục tại (0, 0).Sau đây chúng ta sẽ khảo sát một tổng quát hóa của Định lý 1 trong tr-ờng hợpX =[a, b].Định lý 2. Cho f(x, t) liên tục trên [a, b]ì T , với T là tập compact và a(t),b(t)là hai hàm liên tục trên T sao cho a(t),b(t) [a, b] với mọi t T . Khi đó, tíchphânI(t)=b(t)a(t)f(x, t)dxliên tục trên T .Chứng minh. Do f liên tục trên tập compact nên giới nội, tức là tồn tại M>0sao cho | f(x, y) | M với mọi (x, t) [a, b]ì T . Cố định t0 T ta có:| I(t) I(t0) |=a(t0)a(t)f(x, t)dx +b(t)b(t0)f(x, t)dx +b(t0)a(t0)[f(x, t) f(x, t0)]dxa(t0)a(t)f(x, t)dx+b(t)b(t0)f(x, t)dx+b(t0)a(t0)(f(x, t) f(x, t0))dx M | a(t) a(t0) | +M | b(t) b(t0) | +b(t0)a(t0)| f(x, t) f(x, t0) | dx. 6Khẳng định suy ra từ tính liên tục của a(t),b(t) và Định lý 1. Ví dụ. Do hàm11+x2+ t2liên tục trên [0, 1] ì [, ] và các hàm (t)=t,(t) = cos t liên tục trên [, ], ta cólimt0cos ttdx1+x2+ t2dx =10dx1+x2=4.1.3 Tính khả vi.Định lý 3. Nếu f(x, t) và các đạo hàm riêngfti(x, t), i =1, .,m, liên tụctrên X ì T Rnì Rm, ở đây X, T là các tập compact, thì tích phânI(t)=Xf(x, t)dxkhả vi trênoT và với mỗi i ta có:Iti(t)=Xfti(x, t)dx.Chứng minh. Với mỗi t0oT cố định ta có:I(t0+ hiei) I(t0)hi=Xf(x, t0+ hiei) f(x, t0)hidx.trong đó eilà cơ sở chính tắc của Rm. áp dụng định lý giá trị trung bình chohàm 1 biến ta có:f(x, t0+ hiei) f(x, t0)=fti(x, t0+ ihiei)hi, 0 <i< 1Khi đó :I(t0+ hiei) I(t0)hiXfti(x, t0)dx=X[fti(x, t0+ ihiei) fti(x, t0)]dx 7Sử dụng tính liên tục củafti(x, t) trên compact XìT và lý luận nh- trong chứngminh Định lý 1 suy raIti(t0) = limhi0I(t0+ hiei) I(t0)hi=Xfti(x, t)dx.Tính liên tục củaIti(t) trên T suy ra từ Định lý 1 Ví dụ. Xét I(t)=/201cos xln1+t cos x1 t cos xdx, t (1, 1). Ta có các hàmf(x, t)=1cos xln1+t cos x1 t cos xnếu x = /22t nếu x = /2ft(x, t)=21 t2cos2x,liên tục trên [0,/2] ì [1+, 1 ]. Vậy, theo định lý trênI(t)=2/20dx1 t2cos2x=20du1 t2+ u2=1 t2.Từ đó, I(t)= arcsin t + C.VìI(0) = 0, nên C =0. Vậy, I(t)= arcsin t.Định lý 4. Nếu f(x, t) và các đạo hàm riêngfti(x, t), i =1, .,m, liên tụctrên [a, b] ì T , ở đây T là tập compact trong Rm, (t),(t) khả vi trên T và(t),(t) [a, b] với mọi t T , thì tích phânI(t)=b(t)a(t)f(x, t)dxkhả vi trênoT và với mỗi i ta có:Iti(t)=(t)(t)fti(x, t)dx + f((t),t)ti(t) f((t),t)ti(t). 8Chứng minh. Xét hàm m +2 biếnF (t, u, v)=vuf(x, t)dx, (t, u, v) D = T ì [a, b]ì [a, b].Ta sẽ chỉ ra rằng F (t, u, v) là hàm khả vi. Với mỗi u, v cố định, từ Định lý 3,suy raFti(t, u, v)=vufti(x, t)dx.Vế phải của đẳng thức trên đ-ợc xem nh- là tich phân phụ thuộc các tham số t, u, v.Hàmfti(x, t) xem nh- là hàm theo các biến x, t, u, v liên tục trên [a, b]ì D.TừĐịnh lý 2, với a(t, u, v)=u, b(t, u, v)=v, suy raFti(t, u, v) là hàm liên tụctrên D. Ngoài ra ta còn cóFu(t, u, v)=f(u, t) vàFv(t, u, v)=f(v, t)đều là những hàm liên tục trên D. Vậy, hàm F (t, u, v) khả vi.Hàm I(t) đ-ợc xem nh- là hàm hợp I(t)=F (t, (t),(t)). Từ đó , hàm I(t)khả vi vàIti(t)=Fti(t, (t),(t)) +Fu(t, (t),(t))ti(t)+Fv(t, (t),(t))ti(t)=(t)(t)fti(x, t)dx + f((t),t)ti(t) f((t),t)ti(t).Ví dụ. Xét tích phân I(t)=sin ttetxdx. Theo Định lý trên, hàm I(t) khả vi vàI(t)=sin ttxetxdx + et sin tcos t et2. 92 Tích phân suy rộng phụ thuộc tham số2.1 Các định nghĩaĐịnh nghĩa 2. Giả sử hàm f(x, t) xác định trên [a,)ì T , T R, sao cho vớimỗi t T cố định , hàm f(x, t) khả tích trên [a, b], với mọi b>a. Tích phânI(t)=af(x, t)dx (1),gọi là tích phân suy rộng loại 1 phụ thuộc tham số. Tích phân (1) gọi là hội tụtại t0nếuu tích phânaf(x, t0)dx hôi tụ, tức là tồn tại limbbaf(x, t0)dx = I(t0)hữu hạn.Tích phân (1) gọi là hội tụ trên T nếuu hội tụ tại mọi điểm của T , tức là>0,t T,a0(, t) >a, sao cho b a0=bf(x, t)<.Tích phân (1) gọi là hội tụ đều trên T nếuu>0,a0() >a, sao cho b a0,t T =bf(x, t)<.Định nghĩa 3. Giả sử hàm f(x, t) xác định trên [a, b) ì T , T R, sao cho vớimỗi t T cố định , hàm f(x, t) khả tích trên mỗi đoạn [a, b ], >0 . TíchphânJ(t)=baf(x, t)dx = lim0+baf(x, t)dx, (2)gọi là tích phân suy rộng loại 2 phụ thuộc tham số. Tích phân (2) gọi là hội tụtại t0nếuu tích phânbaf(x, t0)dx hội tụ, tức là tồn tại lim0baf(x, t0)dx = J(t0)hữu hạn.Tích phân (2) gọi là hội tụ trên T nếuu hội tụ tại mọi điểm của T , tức là>0,t T,(, t) > 0, sao cho 0 < <=bbf(x, t)<. 10Tích phân (2) gọi là hội tụ đều trên T nếuu>0,0() > 0, sao cho 0 < <,t T =bbf(x, t)<.Chú ý. 1) T-ơng tự, ta định nghĩaI(t)=bf(x, t)dx = limabaf(x, t)f(x, t),J(t)=baf(x, t)dx = lim0+ba+f(x, t)f(x, t),và cũng có khái niệm hội tụ, hội tụ đều t-ơng ứng.2) Việc khảo sát tích phân suy rộng phụ thuộc tham số loại 2 đ-ợc thực hiệnhoàn toàn t-ơng tự nh- loại 1, từ định nghĩa các khái niệm đến các tính chất.Do đó, trong mục này, ta chỉ khảo sát tích phân suy rộng phụ thuộc tham sốI(t)=af(x, t)dx.Ví dụ. Xét tích phân I(t)=0textdx. Khi đóa) I(t) hội tụ trên (0,) vì>0,t T,a0=ln t,b>a0=btext= ebt<.b) I(t) không hội tụ đều trên (0,) vì với (0, 1), với mọi a0> 0, nếu chọnb = a0và t từ bất đẳng thức 0 <t<ln a0, thì ta cóbtext= ebt>.c) I(t) hội tụ đều trên Tr=[r,), với r>0. Thật vậy, ta có>0,a0=ln r,b a0,t Tr=btext= ebt<ea0r<. [...]... là ký số (= sign i, v ∈ R3 , là dạng 1-tuyến tính trên R3 (công của F dọc theo v) b) ωF (v1 , v2 ) =< F, v1 × v2 >, v1 , v2 ∈ R3 , là dạng 2-tuyến tính phản đối xứng trên R3 (thông lượng của F qua hình... ràng 2 TÍCH PHÂN HÀM SỐ TRÊN ĐA TẠP 2.1 Độ dài, diện tích, thể tích trong R 3 Trong R3 , có trang bò tích vô hướng Euclid < ·, · >, nên có khái niệm độ dài và vuông góc Độ dài vector T = (xt, yt , zt): T = x2 + yt2 + zt2 t 25 II.2 Tích phân hàm số trên đa tạp Diện tích hình bình hành tạo bởi u = (xu , yu , zu ), dt(u, v) = u v⊥ = u × v u 2 < u, v > < v, u > v 2 = trong đó v = v + v⊥ là phân tích: v... zu zv Khi đó đònh nghóa diện tích của S : dt(S) = S dS = U EG − F 2 dudv 2.5 Phần tử thể tích - Thể tích hình khối Cho H là hình khối cho bởi tham số hoá ϕ : A → R3 , ϕ(u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)) Để tính thể tích H , bằng lập luận tương tự như các phần trên, ta có các đònh nghóa: Phần tử thể tích: dV = tt(D1 ϕ, D2 ϕ, D3 ϕ)dudvdw = | det Jϕ|dudvdw Thể tích H : V (H) = H dV = A |... · · · duk 2.6 Tích phân hàm trên đa tạp Cho f : M → R là hàm trên đa tạp khả vi k chiều Sau đây ta xây dựng tích phân của f trên M (còn gọi là tích phân loại 1) Nếu M = ϕ(U ) với (ϕ, U ) là tham số hóa, thì đònh nghóa M f dV = U f ◦ ϕ det Gϕ , M f dV trong đó Gϕ = (< Diϕ, Dj ϕ >)1≤i,j≤k Khi k = 1 tích phân trên gọi là tích phân đường và ký hiệu M f dl Khi k = 2 tích phân trên gọi là tích phân mặt... 2.4 Phần tử diện tích - Diện tích mặt Cho S ⊂ R 3 là mặt cong cho bởi tham số hoá ϕ : U → R3 , ϕ(u, v) = (x(u, v), y(u, v), z(u, v)) Ta cần tính diện tích của mặt S Gỉa sử U có thể phân hoạch bởi các hình chữ nhật bé Ui = [ui , ui +∆ui ]×[vi , vi +∆vi ] Khi đó dt(S) = i dt(ϕ(Ui)) Khi ∆ui , ∆vi bé, thì dt(ϕ(Ui )) ∼ dt(D1 ϕ(ui , vi )∆ui , D2 ϕ(ui , vi )∆vi ) Đònh nghóa phần tử diện tích : dS = dt(D1... · , vk ) = (< vi , vj >)1≤i,j≤k là ma trận Gramm Khi đó Vk (v1 , · · · , vk ) = det G(v1 , · · · , vk ) 26 II.2 Tích phân hàm số trên đa tạp Chứng minh: Tương tự công thức cho diện tích (Bài tập) 2 .3 Phần tử độ dài - Độ dài đường cong Cho C ⊂ R3 là đường cong cho bởi tham số hoá ϕ : I → R3 , ϕ(t) = (x(t), y(t), z(t)) Ta cần tính độ dài l(C) của đường cong Phân hoạch I thành các đoạn con Ii = [ti ,... p ∞ Dễ thấy Ωk (U ) có cấu trúc không gian vector p Ví dụ Cho U ⊂ R3 và F : U → R3 là một trường vector Khi đó các dạng vi phân sau được dùng để đánh giá thông lượng của F dọc theo một đường hay qua một mặt a) WF : U → Λ1 (R3 ), WF (x, y, z)(v) =< F (x, y, z), v > b) ωF : U → Λ2 (R3 ), ω(x, y, z)(v1, v2 ) =< F (x, y, z), v1 × v2 > 34 III.2 Dạng vi phân Cho f : U → R là hàm lớp C p+1 Khi đó với mọi... ϕ)dudvdw = | det Jϕ|dudvdw Thể tích H : V (H) = H dV = A | det Jϕ|dudvdw Bây giờ ta tổng quát hoá các khái niệm trên 27 II.2 Tích phân hàm số trên đa tạp 2.6 Phần tử thể tích trên đa tạp Cho M ⊂ R n là đa tạp khả vi k chiều Phần tử thể tích trên M là ánh xạ dV : M x → dV (x) = thể tích k chiều hạn chế trên Tx M Giảø sử (ϕ, U ) là một tham số hoá của M tại x = ϕ(u1 , · · · , uk ) Khi đó dV (x)(D1 ϕ(x)∆u1... ¨ u Chứng minh: Tương tự công thức cho diện tích (Bài tập) 2.2 Thể tích k chiều trong R n Trong Rn có trang bò tích vô hướng Euclid Thể tích k chiều của hình bình hành tạo bởi v1 , · · · , vk ∈ Rn , được đònh nghóa qui nạp theo k: ⊥ V1 (v1 ) = v1 , Vk (v1 , · · · , vk ) = Vk−1 (v1 , · · · , vk−1 ) vk ⊥ trong đó vk = vk + vk là phân tích: sinh bởi v1 , · · · , vk−1 vk là hình chiếu vuông góc của vk . GIẢI TÍCH 3 (Giáo Trình) -- Lưu hành nội bộ -- Y Đà Lạt 2008 Z Giải. 1)!. 1 63. 2 Tích phân Euler loại 23. 2.1 Định nghĩaTích phân Euler loại 2 hay hàm Gamma là tích phân phụ thuộc tham số dạng(p)=0xp1exdx, p > 0 .3. 2.2 Các

Ngày đăng: 03/11/2012, 10:14

HÌNH ẢNH LIÊN QUAN

Ví duï. Trong R3 hình caàu ñoùng B cho bôûi baát phöông trình: x2 + y2 +z 2 ≤ 1, laø ña - Giáo trình giải tích 3
du ï. Trong R3 hình caàu ñoùng B cho bôûi baát phöông trình: x2 + y2 +z 2 ≤ 1, laø ña (Trang 22)
trong ñoù w+ w⊥ laø phaân tích: w laø hình chieáu vuoâng goùc w leân maët phaúng sinh bôûiu, v. - Giáo trình giải tích 3
trong ñoù w+ w⊥ laø phaân tích: w laø hình chieáu vuoâng goùc w leân maët phaúng sinh bôûiu, v (Trang 25)
trong ñoù v+ v⊥ laø phaân tích: v laø hình chieáu vuoâng goùc v leân u, v⊥ ⊥ u. Chöùng minh: Ta coùv=αu, &lt; v⊥, u &gt;= 0 - Giáo trình giải tích 3
trong ñoù v+ v⊥ laø phaân tích: v laø hình chieáu vuoâng goùc v leân u, v⊥ ⊥ u. Chöùng minh: Ta coùv=αu, &lt; v⊥, u &gt;= 0 (Trang 25)
c) Ñeå tính theå tích hình caàu baùn kính R, coù theå duøng tham soá hoaù - Giáo trình giải tích 3
c Ñeå tính theå tích hình caàu baùn kính R, coù theå duøng tham soá hoaù (Trang 29)
Veà maët hình hoïc xem tröôøng vector nhö hoï vector F (x) coù ñieåm goác ñaët taïi x. - Giáo trình giải tích 3
e à maët hình hoïc xem tröôøng vector nhö hoï vector F (x) coù ñieåm goác ñaët taïi x (Trang 41)
IV. Tích phaân daïng vi phaân - Giáo trình giải tích 3
ch phaân daïng vi phaân (Trang 41)
13. Tìm theå tích lôùn nhaát cuûa caùc hình hoäp chöõ nhaät vôùi ñieàu kieän dieän tích maët laø - Giáo trình giải tích 3
13. Tìm theå tích lôùn nhaát cuûa caùc hình hoäp chöõ nhaät vôùi ñieàu kieän dieän tích maët laø (Trang 57)
u v= ( u2 v2 − &lt; u, v &gt; )1 2= dieän tích hình bình haønh taïo bôûi u, v - Giáo trình giải tích 3
u v= ( u2 v2 − &lt; u, v &gt; )1 2= dieän tích hình bình haønh taïo bôûi u, v (Trang 58)
11. AÙp duïng coâng thöùc Green, tính dieän tích hình giôùi haïn bôûi ñöôøng cong trong R2 - Giáo trình giải tích 3
11. AÙp duïng coâng thöùc Green, tính dieän tích hình giôùi haïn bôûi ñöôøng cong trong R2 (Trang 61)

TỪ KHÓA LIÊN QUAN

w