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

 

 trong đó b là một điểm mà tại đó các hành vi của hàm f thoả

  với bất kỳ a < b và

  với bất kỳ c > b 
 (xem dấu cộng trừ đối với việc sử dụng các ký hiệu chính xác ±, ∓).

 2) Số vô hạn

 

 trong đó 

 và .

 Trong một vài trường hợp, ta cần xử lý đồng thời các điểm kỳ dị tại cả số hữu hạn b và cả tại vô cực. Điều này thường được giải quyết bằng một giới hạn có dạng

 

 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 đó hai ký hiệu chung cho các giá trị chủ yếu Cauchy xuất hiện ở vế trái của phương trình này.
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  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 , đầu tiên chú ý rằng liên tục trên ,do
  và từ đó ta có
 
bởi vì  liên tục và áp dụng Quy tắc LHospitals.

Do đó  tồn tại và bằng cách áp dụng định lý giá trị trung bình cho , ta có
 .
Hơn nữa
 
chúng ta lưu ý rằng ánh xạ  bị chặn bởi các bán chuẩn thông thường cho các hàm Schwartz . 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  chỉ khả vi liên tục trong một lân cận của 0 và  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ư  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  và gần như là phân phối duy nhất với tính chất này:
 
trong đó  là một hằng số và  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 . Nếu  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  là một hàm thuần nhất liên tục của độ 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  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ó:
 

 

 

 cũng như  P.V.,    và V.P.

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

Tham khảo 

Giải tích toán học