Phương trình vi phân là một phương trình toán học nhằm biểu diễn mối quan hệ giữa một hàm chưa được biết (một hoặc nhiều biến) với đạo hàm của nó (có bậc khác nhau). Phương trình sai phân đóng vai trò cực kì quan trọng trong kĩ thuật, vật lý, kinh tế và một số ngành khác. Ví dụ: một phương trình sai phân đơn giản

Chú ý trong phương trình ví dụ trên, nếu f(x) biểu diễn cho vận tốc của một vật thì f'(x) chính là gia tốc của vật đó (là đại lượng đặc trưng cho độ biến thiên vận tốc). Sự ra đời của phương trình sai phân cũng xuất phát từ việc xác định mối quan hệ xác định giữa một bên là một đại lượng biến thiên liên tục (được biểu diễn bằng hàm f(x)) và bên còn lại là độ biến thiên của đại lượng đó (biểu diễn bằng đạo hàm bậc 1 hoặc cao hơn). Điều này được thể hiện rõ trong cơ học cổ điển. Cụ thể là Định luật Newton về chuyển động cho phép xác định ví trí của một vật dựa vào vận tốc, gia tốc, và một số lực tác động được biểu diễn dưới dạng hàm sai phân theo thời gian.

Minh hoạ dòng không khí chảy vào ống dẫn được mô hình dùng các phương trình Navier-Stokes, một tập các phương trình sai phân riêng phần.

Đối với các hàm thông thường, nghiệm là một giá trị số (thực, phức...). Còn trong phương trình sai phân, mục tiêu là tìm ra công thức của hàm chưa được biết nhằm thỏa mãn mối quan hệ đề ra. Thông thường, nó sẽ là một họ các phương trình, sai lệch bằng một hằng số C nào đó. Hàm này sẽ được xác định chính xác khi có thêm điều kiện ban đầu hoặc điều kiện biên.

Trong các ứng dụng thực tế, việc tìm ra công thức của hàm đôi lúc nhiều lúc khó khăn. Thực tiễn người ta cũng chỉ quan tâm tới giá trị của hàm tại các giá trị cụ thể của các biến độc lập. Các phương pháp nhằm tìm ra giá trị chính xác của hàm được gọi là phân tích định lượng (quantitative analysis). Tuy nhiên, có những ứng dụng mà ngay cả giá trị thực cũng khó tìm ra, lúc này người ta lại quan tâm đến giá trị xấp xỉ (có một độ chính xác nhất định) với giá trị thực. Việc giải các giá trị này thường được thực hiện bằng các phương pháp số (numerical methods) và công cụ là máy tính. Các phương pháp cho cách sau gọi là phân tích số (numerical analysis)

Hướng nghiên cứu

sửa

Phương trình sai phân được nghiên cứu rộng rãi trong toán học thuần túyứng dụng, vật lý, và các ngành kĩ thuật.

  • Toán học thuần túy thì quan tâm đến việc tìm ra sự tồn tai và duy nhất của hàm nghiệm
  • Toán học ứng dụng thì tập trung vào các phương pháp để xấp xỉ hàm nghiệm
  • Một số ngành khác thì dùng phương trình sai phân trong mô hình các quá trình vật lý, sinh học và kĩ thuật. Ví dụ: tương tác giữa các nguyên tử trong phân tử, hay giữa các neuron thần kinh. Khi áp dụng trong các ứng dụng thực tiễn, thì việc tìm ra dạng đóng của hàm nghiệm là không cần thiết. Thay vào đó, chúng có thể được xấp xỉ bằng các phương pháp số.
  • Các nhà toán học cũng nghiên cứu nghiệm yếu (weak solution) (dựa vào đạo hàm yếu (weak derivative)).
  • Việc nghiên cứu tính ổn định của hàm nghiệm của các phương trình sai phân là thuộc về lý thuyết ổn định (stability theory).

Các loại phương trình Vi phân

sửa

Mỗi loại trên lại chia thành tuyến tính và phi tuyến tính. Một phương trình sai phân là tuyến tính nếu mọi đạo hàm của nó đều tính theo hàm có dạng mũ 1 và không có tích hay hàm của các biến phụ thuộc. Ngược lại, thì là hàm phi tuyến.Ví dụ nếu u′ là đạo hàm bậc nhất của u, thì phương trình

 

tuyến tính, trong khi phương trình

 

là phi tuyến. Việc giải các phương trình sai phân tuyến tính có thể thực hiện được nhưng đối với phương trình sai phân phi tuyến, không có công thức chung để giải, ngoại trừ chúng có tính đối xứng (xem đối xứng và bất biến). Thay vào đó, họ thường dùng hàm tuyến tính để xấp xỉ hàm phi tuyến, với những điều kiện ràng buộc nhất định.

Một khái niệm hay nói đến là bậc của hàm, đó chính là bậc của đạo hàm cao nhất (của một biến phụ thuộc) xuất hiện trong hàm sai phân.

Phần mềm

sửa

Các phương trình vi phân nổi tiếng

sửa

Xem thêm

sửa

Tham khảo

sửa
  1. ^ “dsolve”.
  2. ^ “Symbolic algebra and Mathematics with Xcas” (PDF).
  • D. Zwillinger, Handbook of Differential Equations (3rd edition), Academic Press, Boston, 1997.
  • A. D. Polyanin and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2.
  • W. Johnson, A Treatise on Ordinary and Partial Differential Equations, John Wiley and Sons, 1913, in University of Michigan Historical Math Collection
  • E.L. Ince, Ordinary Differential Equations, Dover Publications, 1956
  • E.A. Coddington and N. Levinson, Theory of Ordinary Differential Equations, McGraw-Hill, 1955
  • P. Blanchard, R.L. Devaney, G.R. Hall, Differential Equations, Thompson, 2006

Liên kết ngoài

sửa