Phuong trinh vi phan tren da tap

PHƯƠNG TRÌNH VI PHÂN TRÊN ĐA TẠP Giả sử hàm (, ) f xy xác định và liên tục trong miền G mở của mặt phẳng . Qua mỗi điểm (x,y) thuộc G, ta vẽ vector có độ dài bằng 1 và lập với chiều dương của trục hoành một góc 2 \ α sao cho (, )tg f x y α = . Làm như vậy đối với mọi điểm trong G thì ta nhận được một trường vector còn gọi là trường hướng. Bài toán đặt ra là tìm đường cong là tập hợp các điểm () (, (, ()))Vx Vxfxyx= (, ()) x yx với x thuộc miền mở , y liên tục trên D, sao cho tại mỗi điểm của đường cong đó, tiếp tuyến với đường cong trùng với hướng vector của trường hướng tại điểm đó. Đường cong đó nếu tồn tại thì gọi là đường cong tích phân, và bài toán đặt ra sẽ đưa ta đến việc giải phương trình vi phân sau D ⊂ \ '(,),yfxyxD = ∈ Tuy nhiên trong thực tế, người ta không quan tâm đến tất cả các đường cong tích phân này mà chỉ quan tâm đến đường cong tích phân thỏa điều kiện nào đó, chằng hạn đi qua một điểm cho trước thuộc D. Đó chính là ý nghĩa hình học của Bài toán Cauchy mà ta đã nghiên cứu 0 00 '(,), () . yfxyxx yx y D = ∈ ⎧ ⎨ = ⎩ Như đã biết, với điều kiện (, ) f xy có tính Lipchitz theo biến thứ hai thì Bài toán Cauchy có duy nhất nghiệm ()yx ϕ = với x thuộc lân cận đủ bé trong .\ Hơn thế nữa, người ta cũng chứng minh được rằng Bài toán Cauchy này vẫn tồn tại và duy nhất nghiệm trong không gian Banach tổng quát, nhưng G vẫn chỉ là tập mở trong không gian Banach đó. Một câu hỏi hết sức tự nhiên được đặt ra là liệu chăng Bài toán Cauchy vẫn đảm bảo tính tồn tại và duy nhất nghiệm hay không nếu ta thay G là đa tạp k-chiều trong không gian ? n \ Và đó chính là nội dung chính của bài thu hoạch này. 1 Trước hết, chúng ta cần tìm hiểu sơ bộ các khái niệm cơ bản của phương trình vi phân thường dựa trên lý thuyết về đa tạp. PHẦN 1 ĐƯỜNG CONG TÍCH PHÂN 1.1. Trường vector trơn trên đa tạp Cho M là đa tạp k-chiều trong , ta nói V là trường vector trên đa tạp M nếu V là ánh xạ từ , biến x thành vector V(x) thuộc TM n \ . x M ∈ n M → \ x , với mọi Ví dụ. Xét S 1 là đa tạp 1-chiều trong , trường vector được xác định như sau 2 \ 12 : (, ) ( ,). VS x yy → − \ 6 x → \ (, )Vxy y x y− y x TM Nếu ánh xạ VM là trơn thì ta nói V là trường vector trơn trên M. : n 1.2. Đường cong tích phân Cho M là một đa tạp k-chiều trong , V là truờng vector trơn trên M. Một đuờng cong tích phân của V là ánh xạ trơn n \ : JM γ → , với J là khoảng mở trong sao cho \ '( ) ( ( )),tVt γ γ = với mọi tJ . ∈ Nói cách khác, đường cong tích phân này là đường cong nằm trên M, mà tại mỗi điểm của nó, vector tiếp xúc tương ứng bằng với trường vector tại điểm đó, trong đó V là trường vector cho trước. 2 ()t γ n \ ()t TM γ M n \ γ Nếu thì điểm 0 J∈ được gọi là điểm bắt đầu của (0) p γ = γ . 2 M = \Ví dụ 1.2.1. Xét đa tạp trong , V là ánh xạ được xác định như sau 2 \ : (, ) (, ) (1,0). V x xy xy x ∂ =×→× ∂ ∂ = ∂ \\ \\ 6 Do 2 M = \ nên với mọi và do đó, V hiển nhiên là trường vector trên . 2 (,) , uv TM = \ 2 (,)uv∈\ 2 \ Xét ánh xạ γ như sau 2 :( 1,1) (,ttab γ −→ + \ 6 ), với a,b là hằng số cho trước. Ta có với mọi t '( ) (1,0),t γ = (1,1).∈− (()) ( ,) (1,0),Vt tab x γ ∂ =+= ∂ với mọi t (1,1). ∈ − Nên γ chính là đường cong tích phân của V, và thỏa . (0) ( , )ab γ = Và như thế thì luôn có một đường cong tích phân đi qua mọi điểm của mặt phẳng. Ví dụ 1.2.2. Xét ánh xạ sau 22 (,) (,) : (, ) xy x y W xy x y xy → ∂∂ + ∂∂ \\ 6 Ta xét là đường cong trơn được viết theo lối thông thường 2 : γ →\\ () ( (), ())txtyt γ = thì điều kiện để γ là đường cong tích phân là () '( ) t tW γ γ = ,nghĩa là ( (), ()) ( (), ()) ((),()) ((),()) '() '() () () . xt yt xt yt x tyt xtyt xt yt xt yt xyxy ∂∂∂∂ +=+ ∂∂∂∂ So sánh từng thành phần của vector này thì ta có được điều tương đương là hệ phương trình vi phân thường sau '( ) ( ), '( ) ( ). x txt yt yt = = 3 ( ) t x tae= ( ) t y tbe=Nghiệm của hệ phương trình này là và , với ,ab ∈ \ . Nói cách khác, đường cong tích phân của ta chính là và điểm bắt đầu là ( ) ( , ) tt taebe γ = (0) ( , ).ab γ = ta lại thấy rằng luôn tồn tại một đường cong tích phân đi qua mỗi điểm 2 (,) .ab∈\ Như trong ví dụ thứ hai , ta thấy rằng việc tìm đường cong tích phân thì tương ứng với việc giải một hệ những phương trình vi phân thường của từng thành phần tọa độ. Tổng quát hơn, xét : JM γ → là đường cong trơn bất kỳ, nghĩa là nếu viết γ dưới dạng 12 () ( (), (), , ()) n ttt γγγ γ = t 12 , , , n γ γγ thì thuộc lớp . Để ( )CJ ∞ γ là đường cong tích phân của trường vector trơn V thì theo định nghĩa, ta cần () 1 () '( ) ( ) '( ) . n i t i i t tt x γ γ γγ = ∂ == ∂ ∑ V Do định nghĩa của trường vector, nên nằm trên không gian tiếp xúc được sinh ra bởi cơ sở { ()t V γ } () 1 /| n i t i x γ = ∂∂ . Nói cách khác, để γ là đường cong tích phân của trường vector trơn V thì ta cần có sự bằng nhau giữa các tọa độ bộ phận () () ()'() (()) , ii ii tt tVt xx γγ γγ ∂∂ = ∂∂ điều này dẫn đến một hệ thống những phương trình vi phân thường (ODEs) sau 1112 12 ( )( ) ( ( ), ( ), , ( )), ( )( ) ( ( ), ( ), , ( )), n nn n tV t t t tV t t t γγγγ γγγγ ⎧ = ⎪ ⎨ ⎪ = ⎩ trong đó, là hàm thành phần thứ i của V . Việc giải hệ phương trình vi phân thường trên tương đương với việc giải từng phương trình vi phân thường. Và từ đây, mục đích chính của ta là chứng minh dưới những điều kiện nào thì từng phương trình vi phân thường trên tồn tại và duy nhất nghiệm, nghiệm này khi nào thì liên tục hay trơn. Vì khi có được những khẳng định này thì ta mới có kết luận tương tự cho việc tìm đường cong tích phân mà ta đã giới thiệu từ đầu. Và đậy cũng chính là lý do vì sao ta sử dụng thuật ngữ “đường cong tích phân”, bới ta cần “tích phân” hệ phương trình vi phân trên để tìm nghiêm của chúng. Tuy nhiên, tùy theo cách tham số hóa mà ta có khẳng định về sự tồn tại duy nhất đường cong tích phân đi qua mỗi điểm. i V Bổ đề sau đây sẽ cho thấy một đường cong tích phân có thể được tham số hóa lại để thay đổ điểm bắt đầu của nó bằng cách tịnh tiến theo a. Bổ đề 1.2 (Bổ đề tịnh tiến) Cho V là một trường vecto trơn trên một đa tạp trơn M . Cho J ⊂\ : J M γ → là một khoảng mở bất kỳ chứa O . Cho là một đường cong tích phân của V .Với mỗi đặt aJ∈ { } : J ttaJ = ∈+∈  \ . Khi đó đường cong 4  i  : () ( ), JM ttta γ γγ → =+6 ()a γ là một đường cong tích phân của V,với điểm bắt dầu tại . Chứng minh. Dễ thấy, đây là một áp dụng trưc tiếp của quy tắc lấy đạo hàm của hàm hợp trong tọa độ thành phần . Ta xét tác động của ()t γ ′  trên một hàm trơn f định nghĩa trong một lân cận của một điểm . Bằng quy tắc lấy đạo hàm hàm hợp , () o t γ  γ là một đường cong tích phân , ta có () () () () () ()( ) () () () tt o tt o d tf f t o dt d fta dt fta o t afV fV f ota oo γγ γ γ γ γγ = = ′ = =+ ′ =+ ′ =+= = +  D D D  . t γ  là một đường cong tích phân của V . □ 5 PHẦN 2 FLOWS Định nghĩa 2.1 Cho M là một đa tạp trơn. Ta định nghĩa một flow toàn cục trên M là một ánh xạ trơn : M M θ ×→\ thỏa mãn những tính chất sau đây với mọi và mọi ,st∈\ pM∈ (, ( , )) ( , ), (0, ) . tsp tsp pp θ θθ θ = + = (2.1) Đôi khi ta còn gọi flow toàn cụa này là tác động nhóm một tham số. Định nghĩa 2.2 Cho θ là một flow toàn cục trên M, Chúng ta định nghĩa hai ánh xạ sau Với mỗi , ta đặt t ∈\ : () (,). t t MM p ptp θ θθ → =6 (2.2) Với mỗi , ta đặt pM∈ (2.3) () () : () (, ). P p M ttt θ θθ → = \ 6 p Từ Định nghĩa (2.1) và (2.2) ta dễ dàng chứng minh được 0 , . M ts ts Id θ θ θθ + = =D (2.4) Mệnh đề sau đây sẽ cho ta thấy rằng một flow toàn cục hiện diện như là tập hợp của những đường cong tích phân của một vài trường vector đặc biệt. Bổ đề 2.3 Cho : M M θ ×→\ p M ∈ là một flow tòan cục .Với mỗi , ta định nghĩa một vector tiếp xúc VT bởi M pp ∈ () (0) ( , ). 0 p Vt p t t θθ ∂ == ∂ = ′ p Phép tương ứng là một trường vector V trên M , và mỗi đường cong là một đường cong tích phân của V . ()p θ pV p 6 Trường vector V định nghĩa trong trường hợp này được gọi là sự sinh ra vô cùng nhỏ của θ . Định nghĩa 2.4 Cho M là một đa tạp trơn, V là một trường vector trơn trên M, là một ánh xạ trơn , ta nói ánh xạ là sự đẩy tiến của V nếu với mỗi sao cho :FM M→ * F ,pM∈ * : pFp FTM T M→ () )*( () . Fp FV p V = Định nghĩa 2.5 Cho V là một trường vector trơn trên một đa tạp trơn M, và giả sử là một vi đồng phôi. Chúng ta nói V là trường vector bất biến dưới F nếu :FM M→ * FV V= trên M. 6 Bổ đề 2.6 Cho θ là một flow toàn cục trên M và V là sự sinh ra vô cùng nhỏ của θ . Khi đó, V là trường vector bất biến dưới .t ∈ \ với mỗi , t θ Các phần chứng minh của các Bổ đề ở phần này lien quan đấn kiến thức về Lý thuyết nhóm Lie nên ta tạm chấp nhận các kết quả này. Ví dụ 2.7 Lấy , và lấy 2 {( , ) : 0},Mxy x=∈<\ V x ∂ = ∂ . Dữ kiện như trong ví dụ 1.2.1 , ta thấy rằng đường cong tích phân của V bắt đầu tại (,)ab M ∈ () ( ,)ttab γ =+ là . Tuy nhiên , trong trường hợp này , chỉ được định nghĩa với ta < − γ . Rõ ràng một trường vector trơn nhưng chưa chắc là sinh ra một flow toàn cục, tuy vậy vẫn có đường cong tích phân xác định như là một flow mang tính chất “địa phương”. Vì lý do này, nên dẫn đến ta có những định nghĩa sau. Định nghĩa 2.8 Nếu M là một đa tạp trơn, thì miền xác định flow của M là một mở con thỏa mãn tính chất với mỗi D⊂×\ M pM ∈ ,tập hợp {:(,) p Dt tpD} = ∈∈\ là một khoảng mở chứa 0. Một flow địa phương trên M là một ánh xạ trơn : D M θ → cũng thỏa mãn các tính chất sau (0, ) , (, ( , )) ( , ), pp tsp tsp θ θθ θ = =+ với mọi , pM∈ (, ) ,. ps sDtD θ ∈∈ p Đôi khi, ta gọi flow địa phương này một cách ngắn gọn là flow hay tác động nhóm một tham số địa phương. Nếu θ là một flow , ta định nghĩa với ,Đó là định nghĩa cho flow địa phương . Một cách tương tự , sự sinh ra vô cùng nhỏ của () () () (,) p ptt t θθ θ == p (, )tp D∈ θ được dịnh nghĩa bởi . () (0) p V p θ ′ = Bổ đề 2.7. (Các tính chất của Flows) Cho D là miền xác định flow trên M, : D M θ → là một flow (a) Với mỗi tập ,t ∈\ {:(,) t } M pMtp D=∈ ∈ là mở trong M, và : tt M M θ → là một vi đồng phôi lên một tập con mở của M. (b) Quan hệ dưới đây vẫn đúng khi vế trái được định nghĩa . ts ts θ θθ + = D (c) Sự sinh ra vô cùng nhỏ V của θ là một trường vector trơn. (d) Với mỗi , pM∈ () : p p D M θ → là một đường cong tích phân của V có điểm bắt đầu tại p. (e) Với mỗi t , thì ∈\ t VV θ ∗ = trên tập mở () tt . M θ Một tính chất quan trọng khác của Flows là kết quả sau. 7 θ Bổ đề 2.8. Giả sử là một flow trên M với sự sinh ra vô cùng nhỏ V, và Nếu thì .pM∈ 0, p V = ()p θ là một đường cong hằng () () . p tp θ ≡ Nếu thì () : p p D M θ → 0, p V ≠ là nhúng , nghĩa là () * p θ là một đơn ánh. ()p γ θ =Chứng minh. Đặt . Cho bất kỳ thuộc , và đặt t ().qt γ = p D ' () 0.t γ = Nhắc lại là ánh xạ : tq TR TM γ ∗ → bằng không khi và chỉ khi Từ (e) của Bổ đề 2.7 ta có ' () 0 q tV γ = = . qtp VV θ ∗= Do đó nếu và chỉ nếu '(0) 0. p V γ = = ' ()t γ suy biến tại một t nào đó thuộc thì nó suy biến với mọi t. Nói cách khác, nếu p D Do đó, nếu thì 0 p V = γ là một ánh xạ trơn mà đẩy tiến tại mỗi điểm bằng không. Suy ra nó là một ánh xạ hằng. (bởi vì miền xác định của nó là liên thông). Mặt khác, nếu thì khác không, do đó nó là đơn ánh. γ ∗ 0, p V ≠ Vậy γ là một nhúng. □ 8 PHẦN 3 CÁC ĐỊNH LÝ CƠ BẢN VỀ NGHIỆM CỦA PHƯƠNG TRÌNH VI PHÂN TRÊN ĐA TẠP Trong phần này, chúng ta sẽ lần lượt chứng minh dưới những điều kiện nào thì phương trình vi phân thường có nghiệm duy nhất, và nghiệm này khi nào thì liên tục hay trơn. Thực tế thì ta chỉ chứng minh sự tồn tại nghiệm với giả thiết rất tốt, đó là trường vector V mà ta xét cần phải liên tục Lipschitz. Ta sẽ định nghĩa như thế nào là liên tục Lipschitz trước khi vào phát biểu và chứng minh các kết quả tiếp theo. Cho U là tập con bất kỳ trong , một ánh xạ gọi là liên tục Lipschipz trên U nếu có một hằng số C sao cho n \ : m FU→ \ || ( ) ( ) || || ||, , .Fx Fy C x y xy U−≤−∀∈ Ngoài ra, do trong quá trình chứng minh ta cần sử dụng đến Định lý điểm bất động nên ta sẽ xây dựng một không gian metric đầy đủ cần thiết. Cho U là tập mở bất kỳ trong , J là một khoảng mở trong , n \ 0 ,xUr0 ∈ >\ ,với mỗi điểm 0 :( r JBx γ → x U∈ ) ta định nghĩa M x là tập hợp tất cả các ánh xạ liên tục sao cho Ta định nghĩa một metric trên M (0) . x γ = x như sau ( , ) sup || ( ) ( ) ||, tJ dt γγ γ γ ∈ =−t , γ γ ∈ với mọi .Dễ dàng kiểm tra rằng với metric này thì MM x x là không gian metric đầy đủ. Trong suốt phần này, ta sẽ ký hiệu U là tập mở trong , là ánh xạ liên tục Lipschitz trên U. Với mỗi và bất kỳ n \ : n VU→ \ x U ∈ 0 t ∈\ ,ta sẽ nghiên cứu bài toán giá trị đầu sau (3.1) 0 ()'() (()), () . ii ii tV t tx γγ γ = = Trong phần đầu của mục này , ta sẽ nhắc lại các kết quả cổ điển về nghiệm của phương trình vi phân . Định lý sau đây sẽ có ích cho kết quả mà chúng ta sẽ phát biểu Định lý 3.1 (Sự khả vi dưới dấu tích phân) Cho là một tập mở, và ánh xạ liên tục sao cho các đạo hàm riêng n U ⊂ \ ,ab∈ \ :[,] f Uab t ∂ ×→ ∂ \:[,]fU ab×→\ liên tục. Ta định nghĩa ánh xạ sau : (,) b a FU x fxtdt → ∫ \ 6 thì F thuộc C 1 và các đạo hàm riêng của nó có thể được tính bằng cách vi phân dưới dấu tích phân. (Phần chứng minh của Định lý này có thể xem trong John M.Lee, Introduction to Smooth Manifolds, 2000, trang 426). 9 Định lý 3.2 (Sự tồn tại nghiệm). Với mỗi 0 t ∈ \ và 0 x U ∈ ,tồn tại một khoảng mở chứa , một tập mở chứa 0 J 0 t 0 UU⊂ 0 x , và với mỗi 0 x U ∈ thì có một đường cong trơn 0 : JU γ → thỏa mãn bài toán giá trị đầu (3.1). Chứng minh. Nếu γ là đường cong liên tục bất kỳ trên U, theo Định lý cơ bản về phép tính vi tích phân thì γ là nghiệm của bài toán giá trị đầu (3.1) nếu và chỉ nếu nó cũng thỏa phương trình tích phân sau (3.2) 0 () ( ()) , t t txVsds γγ =+ ∫ trong đó tích phân của hàm vector (())Vs γ được hiểu như là tích phân từng thành phần của nó. Như đã nói, trong phần chứng minh ta sẽ sử dụng Định lý điểm bất động nên một cách tự nhiên là ta sẽ đặt vế phải của (3.2) như là một toán tử, cụ thể, ta định nghĩa 0 () ( ()) . t t A txVsds γγ =+ ∫ (3.3) 0 () r Bx U⊂ Gọi C là hằng số Lipschitz của V. Do U là tập mở nên có r > 0 sao cho , và ta đặt 0 () sup || ( ) || r xB x M Vx ∈ = 00 0 (,Jt t. Xét tập hợp ) ε ε = −+ 0 ()UBx δ và 0 = ,với các hằng số ε δ và sẽ được chọn sau. Ta đã xây dựng được không gian metric đầy đủ M x , để áp dụng được Định lý điểm bất động thì ta cần phải chứng minh rằng :A MM → x x Rõ ràng là (0) A x γ = , từ cách định nghĩa A thì ta thấy rằng A khả vi và do đó A liên tục. Bây giờ thì ta cần chứng minh 0 () r Bx A γ có giá trị trong . Thật vậy, lấy bất kỳ M γ ∈ x và bất kỳ 0 tJ∈ ,ta có 0 0 00 0 || ( ) || || ( ( )) || || || || ( ( )) || , t t t t A t x x V s ds x x xVs M γγ γ δε −=+ − ≤− + ≤+ ∫ ∫ ds , 33 r r M δε ≤≤ và đến đây thì ta sẽ chọn giá trị , và do đó ta có được điều cần chứng minh. , γ γ ∈ Tiếp theo,ta phải kiểm tra A là ánh xạ co. Xét bất kỳ M x ,ta được 10 [...]... lại bởi vơ hạn những vơ cùng bé của những bước đi tuyến tính nhỏ Như ta đã thấy, vi c tìm đường cong tích phân của V (và để tìm một flow sinh bởi V) sẽ dẫn đến vi c giải một hệ phương trình vi phân thường (tại địa phương) Do đó, trước khi nghiên cứu Phần 5, vi c ta nêu ra một số định lý cơ bản về nghiệm của phương trình vi phân thường là rất hữu ích Chứng minh Từ khẳng định tồn tại nghiệm của Định lý... mở chứa t0 , U 0 ⊂ U là một tập mở, và θ : J 0 × U 0 → U là một ánh xạ bất kỳ sao cho với mỗi x ∈ U 0 thì γ (t ) = θ (t , x) là nghiệm của (3.1) Khi đó, θ là ánh xạ liên tục Chứng minh Để thuận lợi cho vi c chứng minh θ liên tục tại mỗi điểm thì ta có thể giả sử rằng J 0 là tập tiền compact trong và U 0 là tập tiền compact trong U , nghĩa là J 0 compact trong và U 0 compact trong U Tại điểm x ∈U thì...                           14 n Tiếp theo, chúng ta sẽ tìm hiểu về một kết quả khá quan trọng trên flows, được xem như là ứng dụng của các kết quả ở trong Phần 3 PHẦN 4 ĐỊNH LÝ CƠ BẢN CỦA PHƯƠNG TRÌNH VI PHÂN TRÊN ĐA TẠP Trong phần này, chúng ta sẽ thấy rằng mỗi trường vector trơn đều gây ra một flow, và flow này là duy nhất nếu ta đòi hỏi nó lớn nhất, có nghĩa là nó khơng thể được mở rộng thành bất... dẫn đến d −2 C t (e || γ (t ) − γ (t ) ||2 ) ≤ 0, dt và bằng cách lấy tích phân trên trên [t0 , t ] , ta được e−2C t || γ (t ) − γ (t ) ||2 ≤ e−2C t0 || γ (t0 ) − γ (t0 ) ||2 , t ≥ t0 , điều này có thể vi t lại là || γ (t ) − γ (t ) ||2 ≤ e2C|t − t0 | || γ (t0 ) − γ (t0 ) ||2 , t ≥ t0 , hay || γ (t ) − γ (t ) ||≤ eC|t − t0 | || γ (t0 ) − γ (t0 ) ||, t ≥ t0 Tương tự, sử dụng ước lượng sau d || γ (t )... Dễ thấy S ≠ ∅ Vì theo giả thiết ta có t0 ∈ S , và S đóng trong J (do sự liên tục) Mặt khác, giả sử t1 ∈ S Khi đó, trong tọa độ lân cận điểm p = γ (t1 ) , γ và γ đều là nghiệm của cùng một phương trình vi phân thường với điều kiện ban đầu giống nhau γ (t1 ) = γ (t1 ) = p Theo Định lí 3.6, tồn tại một lân cận (t1 − ε , t1 + ε ) của t1 mà trên đó tồn tại nghiệm duy nhất thỏa bài tốn điều kiện đầu Vậy γ... nghĩa, ta có θt ( p) = θ (t , p ) θ 0 = id M Chúng ta cần chứng minh rằng θ thỏa luật nhóm (the group law) như sau θt θ s ( p ) = θt + s ( p ), (5.1) với vế trái đã được định nghĩa Cố định s ∈ D p , ta vi t q = θ s ( p ) = θ ( p ) ( s ) Ta định nghĩa γ (t ) = θ t + s ( p ) = θ ( p ) (t + s ) Khi đó γ (0) = q Và từ Bổ đề tịnh tiến , ta có γ là một đường cong tích phân của V Do sự duy nhất ở trên, thì...       19 MỤC LỤC Trang Giới thiệu .1 Phần 1 2 Đường cong tích phân Phần 2 6 Flows Phần 3 9 Các Định lý cơ bản về nghiệm của phương trình vi phân trên đa tạp Phần 4 .15 Định lý cơ bản trên flows Phần 5 .18 Trường vector đầy đủ Mục lục 19 Tài liệu tham khảo : Introduetion to Smooth Manifolds Join . phương trình vi phân thường trên tương đương với vi c giải từng phương trình vi phân thường. Và từ đây, mục đích chính của ta là chứng minh dưới những điều kiện nào thì từng phương trình vi phân. thấy, vi c tìm đường cong tích phân của V (và để tìm một flow sinh bởi V) sẽ dẫn đến vi c giải một hệ phương trình vi phân thường (tại địa phương). Do đó, trước khi nghiên cứu Phần 5, vi c ta. 2 (,) .ab∈ Như trong ví dụ thứ hai , ta thấy rằng vi c tìm đường cong tích phân thì tương ứng với vi c giải một hệ những phương trình vi phân thường của từng thành phần tọa độ. Tổng quát