Lý thuyết tích phân Cauchy

Lý thuyết tích phân Cauchy cho thấy tích phân đường của một hàm chỉnh hình được xác định hoàn toàn bởi hành vi của hàm bên trong đường cong, từ đó đưa ra công thức tích phân và phép tính thặng dư.

Definition

Lý thuyết tích phân Cauchy là nghiên cứu về tích phân đường của các hàm chỉnh hình, tập trung vào việc tích phân bằng 0 trên các vòng lặp co rút được và việc khôi phục một hàm cùng các đạo hàm của nó từ các tích phân biên, dẫn đến phép tính thặng dư.

Scope

Chủ đề này bao gồm định lý Cauchy rằng tích phân của các hàm chỉnh hình trên các vòng lặp co rút được bằng 0, công thức tích phân Cauchy và các ước lượng đạo hàm của nó, số vòng và dạng đồng luân của định lý, chuỗi Laurent và phân loại điểm kỳ dị, cũng như định lý thặng dư với các ứng dụng của nó để tính toán tích phân.

Core questions

• Tại sao tích phân của một hàm chỉnh hình trên một đường cong đóng co rút được lại bằng 0?
• Công thức tích phân Cauchy khôi phục các giá trị và đạo hàm của một hàm từ một đường cong như thế nào?
• Thặng dư của một hàm tại một điểm kỳ dị là gì và nó được tính như thế nào?
• Định lý thặng dư biến các tích phân thực khó thành các phép tính đại số như thế nào?

Key theories

Định lý và công thức tích phân Cauchy

Tích phân của một hàm chỉnh hình trên một đường cong đóng co rút được bằng 0, và giá trị của hàm tại một điểm bên trong bằng một tích phân biên có trọng số, từ đó suy ra tính khả vi vô hạn và các ước lượng Cauchy.

Định lý thặng dư

Tích phân của một hàm phân hình trên một đường cong đóng bằng hai pi i nhân với tổng các thặng dư tại các điểm kỳ dị nằm bên trong, cung cấp một phương pháp có hệ thống để tính toán các tích phân thực và phức.

Clinical relevance

Phép tính thặng dư là một công cụ tiêu chuẩn để tính toán các tích phân xác định, nghịch đảo các biến đổi Laplace và Fourier, và tổng hợp chuỗi trong vật lý và kỹ thuật, trong khi nguyên lý đối số (argument principle) bắt nguồn từ lý thuyết Cauchy giúp xác định các điểm không và cực, hỗ trợ phân tích ổn định trong lý thuyết điều khiển.

History

Cauchy đã thiết lập định lý và công thức tích phân vào những năm 1820 và 1830, đặt nền móng cho phương pháp tích phân trong giải tích phức. Laurent đã giới thiệu khai triển chuỗi quanh các điểm kỳ dị vào năm 1843, và Goursat sau đó đã làm yếu các giả thuyết của định lý chỉ còn là khả vi.

Key figures

• Augustin-Louis Cauchy
• Pierre Alphonse Laurent
• Edouard Goursat

Seminal works

• ahlfors1979
• stein2003complex

Frequently asked questions

Thặng dư là gì?

Thặng dư là hệ số của số hạng lũy thừa bậc âm một trong khai triển Laurent của một hàm quanh một điểm kỳ dị cô lập; nó chính xác là đại lượng còn lại sau một tích phân đường quanh điểm kỳ dị đó.

Tại sao tích phân đường phức có thể tính toán tích phân thực?

Bằng cách đóng một đường tích phân thực thành một đường cong trong mặt phẳng phức, định lý thặng dư rút gọn tích phân thành một tổng hữu hạn các thặng dư, thường biến một tích phân thực khó giải thành đại số đơn giản.