Vi phân

Trong toán học, vi phân 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, nghiên cứu về diện tích nằm bên dưới một đường 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 F = ma 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.

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  a x² — x³ xảy ra khi x = 2a/3 và kết luận rằng phương trình a x² — x³ = c có chính xác một nghiệm dương khi c = 4 a³/27 và hai nghiệm dương khi 0 < c < 4 a³/27   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ỷ XĨ, 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.