Vi phân

Trong toán học, vi phân (tiếng Anh: differential) là một khái niệm và là một nhánh con của vi tích phân liên quan đến nghiên cứu về tốc độ thay đổi của hàm số khi biến số thay đổi. Đây là một trong hai nhánh truyền thống của vi tích phân. Cái còn lại là tích phân, ngược lại với vi phân, liên quan đến cả một quá trình thay đổi của một hàm số nguyên thuỷ (nguyên hàm) hay một thực thể khởi thuỷ phụ thuộc vào biến số khi đã biết tốc độ thay đổi của nó, thường được thể hiện bởi diện tích (thể tích) nằm bên dưới một đường cong (mặt cong).

Các đối tượng nghiên cứu chính trong vi phân là đạo hàm của hàm số, các khái niệm liên quan như vi phân hàm số và các ứng dụng của chúng. Đạo hàm của hàm tại một giá trị đầu vào được chọn mô tả tốc độ thay đổi của hàm gần giá trị đầu vào đó. Về mặt hình học, đạo hàm tại một điểm là độ dốc của đường tiếp tuyến với đồ thị của hàm tại điểm đó, với điều kiện là đạo hàm tồn tại và được xác định tại điểm đó. Đối với hàm có giá trị thực của một biến thực duy nhất, đạo hàm của hàm tại một điểm thường xác định xấp xỉ tuyến tính tốt nhất cho hàm tại điểm đó.

Phép tính vi phân và phép tính tích phân được kết nối bởi định lý cơ bản của vi tích phân, trong đó nêu rõ vi phân là quá trình ngược lại với tích phân.

Vi phân có các ứng dụng cho gần như tất cả các ngành định lượng. Ví dụ, trong vật lý, đạo hàm của sự dịch chuyển của vật chuyển động theo thời gian là vận tốc của vật thể và đạo hàm của vận tốc đối với thời gian là gia tốc. Đạo hàm của động lượng của một cơ thể đối với thời gian bằng với lực tác dụng lên cơ thể; sắp xếp lại tuyên bố phái sinh này dẫn đến phương trình nổi tiếng  liên quan đến định luật chuyển động thứ hai của Newton. Tốc độ phản ứng của một phản ứng hóa học là một đạo hàm. Trong nghiên cứu hoạt động, các công cụ phái sinh xác định các cách hiệu quả nhất để vận chuyển vật liệu và thiết kế nhà máy.

Các đạo hàm thường được sử dụng để tìm cực đại và cực tiểu của hàm. Các phương trình liên quan đến đạo hàm được gọi là phương trình vi phân và là cơ bản trong việc mô tả các hiện tượng tự nhiên. Các dẫn xuất và khái quát hóa của chúng xuất hiện trong nhiều lĩnh vực toán học, chẳng hạn như giải tích phức, giải tích hàm, hình học vi phân, lý thuyết đo lường và đại số trừu tượng.

Đạo hàm 

Giả sử  và  là các số thực và  là hàm của , nghĩa là với mỗi giá trị của , có một giá trị tương ứng của . Mối quan hệ này có thể được viết là . Nếu  là phương trình của đường thẳng (gọi là phương trình tuyến tính), thì có hai số thực  và  sao cho . Trong "hình thức chặn dốc" này, thuật ngữ  được gọi là độ dốc và có thể được xác định từ công thức:

trong đó ký hiệu  (dạng chữ hoa của chữ Hy Lạp delta) là tên viết tắt của "thay đổi". Theo sau đó .

Nói chung hàm số không phải là một đường thẳng, vì vậy nó không có độ dốc. Về mặt hình học, đạo hàm của  tại điểm  là độ dốc của đường tiếp tuyến với hàm  tại điểm  (xem hình). Điều này thường được ký hiệu là  trong ký hiệu Lagrange hoặc  trong ký hiệu của Leibniz. Do đạo hàm là độ dốc của xấp xỉ tuyến tính với  tại điểm , nên đạo hàm (cùng với giá trị của  tại ) xác định xấp xỉ tuyến tính tốt nhất hoặc tuyến tính hóa của  gần điểm .

Nếu mọi điểm  trong miền của  có đạo hàm, có một hàm gửi mọi điểm  đến đạo hàm của  tại . Ví dụ: nếu , thì hàm đạo hàm .

Một khái niệm liên quan chặt chẽ là sự khác biệt của một hàm. Khi  và  là các biến thực, đạo hàm của  tại  là độ dốc của đường tiếp tuyến với đồ thị của  tại . Vì nguồn và đích của  là một chiều, nên đạo hàm của  là một số thực. Nếu  và  là vectơ, thì phép tính gần đúng tuyến tính tốt nhất với đồ thị của  phụ thuộc vào cách  thay đổi theo nhiều hướng cùng một lúc. Lấy xấp xỉ tuyến tính tốt nhất theo một hướng xác định đạo hàm riêng, thường được ký hiệu là . Việc tuyến tính hóa của  theo tất cả các hướng cùng một lúc được gọi là đạo hàm tổng.

Lịch sử vi phân 
Khái niệm về vi phân theo nghĩa của một đường tiếp tuyến là một khái niệm rất cũ, quen thuộc đối với các nhà nghiên cứu hình học Hy Lạp như Euclid (c. 300 TCN), Archimedes (c 287-212 TCN.) Và Apollonius của Pergaeus (c. 262 – 190 TCN). Archimedes cũng giới thiệu việc sử dụng infinitesimals, mặc dù chúng chủ yếu được sử dụng để nghiên cứu diện tích và khối lượng hơn là các dẫn xuất và tiếp tuyến; xem sử dụng infinitesimals của Archimedes.

Việc sử dụng infinitesimals để nghiên cứu tốc độ thay đổi có thể được tìm thấy trong toán học Ấn Độ, có lẽ sớm nhất là vào năm 500 sau Công nguyên, khi nhà thiên văn học và nhà toán học Aryabhata (476-550) sử dụng infinitesimals để nghiên cứu quỹ đạo của Mặt trăng. Việc sử dụng infinitesimals để tính toán tỷ lệ thay đổi đã được Bhāskara II (1114411185) phát triển đáng kể; thật vậy, người ta đã lập luận rằng  rằng nhiều khái niệm chính của phép tính vi phân có thể được tìm thấy trong công trình của ông, chẳng hạn như " Định lý Rolle ".

Nhà toán học Ba Tư, Sharaf al-Dīn al-Tūsī (1135-1213), trong tác phẩm Chuyên luận về phương trình, đã thiết lập các điều kiện để một số phương trình bậc ba có các nghiệm, bằng cách tìm cực đại của đa thức bậc ba thích hợp. Ví dụ, ông đã chứng minh rằng tối đa của biểu thức bậc 3  xảy ra khi  và kết luận rằng phương trình  có chính xác một nghiệm dương khi  và hai nghiệm dương khi   Nhà sử học khoa học, Roshdi Rashing, đã lập luận rằng al-Tūsī phải sử dụng đạo hàm của hàm bậc 3 để có được kết quả này. Tuy nhiên, kết luận của Rash đã được tranh luận bởi các học giả khác, những người lập luận rằng ông ta có thể thu được kết quả bằng các phương pháp khác không yêu cầu đạo hàm của hàm.

Sự phát triển hiện đại của tính toán thường được ghi nhận cho Isaac Newton (1643-1727) và Gottfried Wilhelm Leibniz (1646-1716), trong đó cả hai người có tiếp cận độc lập  và thống nhất về vi phân và đạo hàm. Tuy nhiên, cái nhìn sâu sắc quan trọng của hai người để được ghi công, là định lý cơ bản của giải tích liên quan đến vi phân và tích phân: điều này làm cho hầu hết các phương pháp trước đây dùng để tính toán diện tích và thể tích, vốn không được mở rộng đáng kể kể từ thời Ibn al -Haytham (Alhazen), trở nên lỗi thời. Đối với ý tưởng về đạo hàm, cả Newton và Leibniz đều xây dựng dựa trên công trình quan trọng trước đó của các nhà toán học như Pierre de Fermat (1607-1665), Isaac Barrow (1630-1677), René Descartes (1596-1650), Christiaan Huygens (1629), Blaise Pascal (1623-1662) và John Wallis (1616 sừng1703). Về ảnh hưởng của Fermat, Newton từng viết trong một bức thư rằng " Tôi đã có gợi ý về phương pháp này từ cách vẽ tiếp tuyến của Fermat, và bằng cách áp dụng nó vào các phương trình trừu tượng, trực tiếp và đảo ngược, tôi đã đưa nó thành tổng quát. "  Isaac Barrow thường được công nhận cho sự phát triển ban đầu của đạo hàm. Tuy nhiên, Newton và Leibniz vẫn là những nhân vật quan trọng trong lịch sử của vi phân, không chỉ bởi vì Newton là người đầu tiên áp dụng vi phân vào vật lý lý thuyết, trong khi Leibniz đã phát triển một cách có hệ thống phần lớn các ký hiệu vi phân mà vẫn được sử dụng cho đến ngày nay.

Từ thế kỷ 17, nhiều nhà toán học đã đóng góp cho lý thuyết về vi phân. Vào thế kỷ XIX, giải tích đã được các nhà toán học như Augustin Louis Cauchy (1789 –1857), Bernhard Riemann (1826 –1866) và Karl Weierstrass (1815 – 1897). Cũng trong thời kỳ này, vi phân được khái quát hóa thành không gian Euclide và mặt phẳng phức.

Xem thêm
 Dạng vi phân
 Tích phân
 Giới hạn
Hàm số
Đạo hàm
Tích phân đường
Tích phân mặt

Tham khảo

Vi tích phân