Giá trị chủ yếu Cauchy

Trong toán học, giá trị chủ yếu Cauchy, đặt theo tên của Augustin Louis Cauchy, là một phương pháp gán giá trị cho tích phân suy rộng đã biết mà nếu không sẽ không xác định

== Thiết lập phương trình ==
Tùy thuộc vào loại của điểm kỳ dị trong hàm lấy tích phân "f", giá trị chủ yếu Cauchy được xác định bằng một trong những cách sau:
- 1) Số hữu hạn

- 2) Số vô hạn

- 3) Liên hệ với tích phân đường
của một hàm giá trị phức "f"("z"); "z" = "x" + "iy", với một cực trên các đường viền. Cực được bao bởi một đường tròn bán kính "ε" và một đoạn quỹ đạo ngoài đường tròn này được ký hiệu "L"("ε"). Cho hàm "f"("z") khả tích trên "L(ε)" dù ε trở nên nhỏ như thế nào, thì giá trị chủ yếu Cauchy là giới hạn:

Trong trường hợp của các hàm khả tích Lebesgue, nghĩa là các hàm đó khả tích trong giá trị tuyệt đối, các định nghĩa này trùng với các định nghĩa chuẩn của tích phân.

Tích phân giá trị chủ yếu đóng một vai trò trung tâm trong cuộc thảo luận về phép biến đổi Hilbert.

== Lý thuyết phân phối ==
Cho formula_9 là tập các hàm bướu, nghĩa là không gian các hàm trơn với giá compact trên đường thẳng thực \mathbb{R}. Thì ánh xạ
được xác định qua giá trị chủ yếu Cauchy bởi
là một phân bố. Ảnh xạ tự nó đôi khi có thể được gọi là giá trị chủ yếu (vì thế ký hiệu p.v.). Ví dụ, sự phân bố này xuất hiện trong biến đổi Fourier của hàm bậc thang đơn vị.

=== Sự xác định rõ là một phân phối ===
Để chứng minh sự tồn tại của giới hạn 
với một hàm Schwartz formula_13, đầu tiên chú ý rằngformula_14 liên tục trên formula_15,do
bởi vì formula_18 liên tục và áp dụng Quy tắc LHospitals.

Do đó formula_19 tồn tại và bằng cách áp dụng định lý giá trị trung bình cho formula_20, ta có
Hơn nữa
chúng ta lưu ý rằng ánh xạ formula_10 bị chặn bởi các bán chuẩn thông thường cho các hàm Schwartz formula_24. Do đó ánh xạ này xác định, vì nó rõ ràng tuyến tính, phiếm hàm liên tục trên không gian Schwartz và do đó là một hàm suy rộng ôn hoà.

Lưu ý rằng chứng minh cần formula_24 chỉ khả vi liên tục trong một lân cận của 0 và formula_26 bị chặn về vô cùng. Giá trị chủ yếu vì thế được định nghĩa trên các giả thiết thậm chí yếu hơn chẳng hạn như formula_27 khả tích với giá compact và khả vi tại 0.

=== Các định nghĩa tổng quát hơn ===
Giá trị chủ yếu là phân phối ngược của hàm formula_28 và gần như là phân phối duy nhất với tính chất này:
trong đó formula_30 là một hằng số và formula_31 là phân phối Dirac.

Trong một ý nghĩa rộng hơn, giá trị chủ yếu có thể được định nghĩa cho một lớp rộng các hạt nhân tích phân kỳ dị trên không gian Euclide formula_32. Nếu formula_30 nó có một điểm kỳ dị cô lập tại gốc, nhưng là hàm "đẹp" theo cách khác, thì phân phối giá trị chủ yếu được xác định dựa trên hàm trơn có giá compact bởi
Một giới hạn như vậy có thể có hoặc không được xác định rõ ràng nhưng nó có thể không nhất thiết phải xác định một phân phối. Tuy nhiên nó được xác định rõ khi formula_30 là một hàm thuần nhất liên tục của độformula_36 có tích phân trong hình cầu bất kỳ với tâm tại gốc biến mất. Ví dụ, đây là trường hợp với các phép biến đổi Riesz.

== Ví dụ ==
Xét sự khác biệt về giá trị của hai giới hạn:

Giới hạn đầu là giá trị chủ yếu Cauchy của biểu thức được xác định xấu theo cách khác
Tương tự ta có
nhưng
Giới hạn thứ nhất là giá trị chủ yếu của biểu thức được xác định xấu theo cách khác

== Danh pháp ==
Giá trị chủ yếu Cauchy của một hàm formula_43 có thể có nhiều danh pháp khác nhau dùng bởi các tác giả khác nhau. Trong số này có:

== Xem thêm ==
- Hadamard finite part integral
- Hilbert transform
- Sokhotski–Plemelj theorem