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

:: \lim_{\varepsilon\rightarrow 0+} \left[\int_a^{b-\varepsilon} f(x)\,\mathrm{d}x+\int_{b+\varepsilon}^c f(x)\,\mathrm{d}x\right]

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

:: \int_a^b f(x)\,\mathrm{d}x=\pm\infty với bất kỳ a \int_b^c f(x)\,\mathrm{d}x=\mp\infty với bất kỳ c > b
:: (&x78;&x65;&x6D;&x20;&x64;&x1EA5;&x75;&x20;&x63;&x1ED9;&x6E;&x67;&x20;&x74;&x72;&x1EEB;&x20;&x111;&x1ED1;&x69;&x20;&x76;&x1EDB;&x69;&x20;&x76;&x69;&x1EC7;&x63;&x20;&x73;&x1EED;&x20;&x64;&x1EE5;&x6E;&x67;&x20;&x63;&xE1;&x63;&x20;&x6B;&xFD;&x20;&x68;&x69;&x1EC7;&x75;&x20;&x63;&x68;&xED;&x6E;&x68;&x20;&x78;&xE1;&x63;&nbsp;±,&nbsp;∓).

; 2) Số vô hạn

:: \lim_{a\rightarrow\infty}\int_{-a}^a f(x)\,\mathrm{d}x

:: trong đó \int_{-\infty}^0 f(x)\,\mathrm{d}x=\pm\infty

:: và \int_0^\infty f(x)\,\mathrm{d}x=\mp\infty.

: 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

:: \lim_{\varepsilon \rightarrow 0+} \left[\int_{b-\frac{1}{\varepsilon}}^{b-\varepsilon} f(x)\,\mathrm{d}x+\int_{b+\varepsilon}^{b+\frac{1}{\varepsilon}}f(x)\,\mathrm{d}x \right].

; 3) Liên hệ với tích phân đường
của một hàm giá trị phức f(z); z&nbsp;=&nbsp;x&nbsp;+&nbsp;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:
:: \mathrm{P} \int_{L} f(z) \ \mathrm{d}z = \int_L^ f(z)\ \mathrm{d}z = \lim_{\varepsilon \to 0 } \int_{L(\varepsilon)} f(z)\ \mathrm{d}z,

: 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  {C_{c}^{\infty}}(\mathbb{R})  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ạ
: \operatorname{p.\!v.} \left(\frac{1}{x} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C}
được xác định qua giá trị chủ yếu Cauchy bởi
: \left[ \operatorname{p.\!v.} \left(\frac{1}{x} \right) \right](u) = \lim_{\varepsilon \to 0^{+}} \int_{\mathbb{R} \setminus [- \varepsilon;\varepsilon]} \frac{u(x)}{x} \, \mathrm{d} x = \int_{0}^{+ \infty} \frac{u(x) - u(- x)}{x} \, \mathrm{d} x \quad \text{for } u \in {C_{c}^{\infty}}(\mathbb{R})
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
: \int_{0}^{+ \infty} \frac{u(x) - u(- x)}{x} \, \mathrm{d} x
với một hàm Schwartz  u(x) , đầu tiên chú ý rằng \frac{u(x) - u(-x)}{x}  liên tục trên  [0, \infty) ,do
: \lim\limits_{x \searrow 0} u(x) - u(-x) = 0  và từ đó ta có
: \lim\limits_{x\searrow 0} \frac{u(x) - u(-x)}{x} = \lim\limits_{x\searrow 0} \frac{u'(x) + u'(-x)}{1} = 2u'(0),
bởi vì  u'(x)  liên tục và áp dụng Quy tắc LHospitals.

Do đó  \int\limits_0^1 \frac{u(x) - u(-x)}{x} \, \mathrm dx tồn tại và bằng cách áp dụng định lý giá trị trung bình cho  u(x) - u(-x) , ta có
: \left| \int\limits_0^1 \frac{u(x) - u(-x)}{x} \,\mathrm dx \right| \leq \int\limits_0^1 \frac{x} \,\mathrm dx \leq \int\limits_0^1 \frac{2x}{x} \sup\limits_{x \in \mathbb R} |u'(x)| \,\mathrm dx \leq 2 \sup\limits_{x \in \mathbb R} |u'(x)| .
Hơn nữa
: \left| \int\limits_1^\infty \frac {u(x) - u(-x)}{x} \,\mathrm dx \right| \leq 2 \sup\limits_{x\in\mathbb R} |x\cdot u(x)| \int\limits_1^\infty \frac 1{x^2} \,\mathrm dx = 2 \sup\limits_{x\in\mathbb R} |x\cdot u(x)|,
chúng ta lưu ý rằng ánh xạ \operatorname{p.\!v.} \left(\frac{1}{x} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C}  bị chặn bởi các bán chuẩn thông thường cho các hàm Schwartz  u. 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 u chỉ khả vi liên tục trong một lân cận của 0 và  xu 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ư u 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 x và gần như là phân phối duy nhất với tính chất này:
: x f = 1 \quad \Rightarrow \quad f = \operatorname{p.\!v.} \left(\frac{1}{x} \right) + K \delta,
trong đó  K là một hằng số và \delta 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  \mathbb{R}^{n} . Nếu  K 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
: [\operatorname{p.\!v.} (K)](f) = \lim_{\varepsilon \to 0} \int_{\mathbb{R}^{n} \setminus B_{\varepsilon(0)}} f(x) K(x) \, \mathrm{d} x.
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  K  là một hàm thuần nhất liên tục của độ -n 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:
: \lim_{a\rightarrow 0+}\left(\int_{-1}^{-a}\frac{\mathrm{d}x}{x}+\int_a^1\frac{\mathrm{d}x}{x}\right)=0,

: \lim_{a\rightarrow 0+}\left(\int_{-1}^{-2 a}\frac{\mathrm{d}x}{x}+\int_{a}^1\frac{\mathrm{d}x}{x}\right)=\ln 2.
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
: \int_{-1}^1\frac{\mathrm{d}x}{x}{\ }
\left(\mbox{which}\ \mbox{gives}\ -\infty+\infty\right).
Tương tự ta có
: \lim_{a\rightarrow\infty}\int_{-a}^a\frac{2x\,\mathrm{d}x}{x^2+1}=0,
nhưng
: \lim_{a\rightarrow\infty}\int_{-2a}^a\frac{2x\,\mathrm{d}x}{x^2+1}=-\ln 4.
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
: \int_{-\infty}^\infty\frac{2x\,\mathrm{d}x}{x^2+1}{\ }
\left(\mbox{which}\ \mbox{gives}\ -\infty+\infty\right).

Danh pháp
Giá trị chủ yếu Cauchy của một hàm f 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ó:
: PV \int f(x)\,\mathrm{d}x,

: \int_L^ f(z)\, \mathrm{d}z,

: -\!\!\!\!\!\!\int f(x)\,\mathrm{d}x,

: cũng như P, P.V., \mathcal{P}, P_v, (CPV), và&nbsp;V.P.

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

Tham khảo