✨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

:: $\backslash lim\_\{\backslash varepsilon\backslash rightarrow\; 0+\}\; \backslash left[\backslash 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ả

:: $\backslash int\_a^b\; f(x)\backslash ,\backslash mathrm\{d\}x=\backslash pm\backslash infty$ với bất kỳ a < _b _và

:: $\backslash int\_b^c\; f(x)\backslash ,\backslash mathrm\{d\}x=\backslash mp\backslash infty$ 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

:: $\backslash lim${a\rightarrow\infty}\int{-a}^a f(x)\,\mathrm{d}x

:: trong đó $\backslash int\_\{-\backslash infty\}^0\; f(x)\backslash ,\backslash mathrm\{d\}x=\backslash pm\backslash infty$

:: và $\backslash int\_0^\backslash infty\; f(x)\backslash ,\backslash mathrm\{d\}x=\backslash mp\backslash 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

:: $\backslash lim${\varepsilon \rightarrow 0+} \left[\int{b-\frac{1}{\varepsilon^{b-\varepsilon} f(x)\,\mathrm{d}x+\int_{b+\varepsilon}^{b+\frac{1}{\varepsilonf(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 = 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: :: $\backslash mathrm\{P\}\; \backslash int\_\{L\}\; f(z)\; \backslash \; \backslash mathrm\{d\}z\; =\; \backslash 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ạ : $\backslash operatorname\{p.!v.\}\; \backslash left(\backslash frac\{1\}\{x\}\; \backslash right)\; \backslash ,:\backslash ,\; \{C${c}^{\infty(\mathbb{R}) \to \mathbb{C} được xác định qua giá trị chủ yếu Cauchy bởi : $\backslash left\backslash operatorname\{p.!v.\}\; \backslash left(\backslash frac\{1\}\{x\}\; \backslash right)\; \backslash right=\; \backslash 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 : $\backslash 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$\backslash frac\{u(x)\; -\; u(-x)\}\{x\}$ liên tục trên $[0,\; \backslash infty)$,do : $\backslash lim\backslash limits${x \searrow 0} u(x) - u(-x) = 0  và từ đó ta có : $\backslash lim\backslash 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\text{'}(x)$ liên tục và áp dụng Quy tắc LHospitals.

Do đó $\backslash int\backslash limits\_0^1\; \backslash frac\{u(x)\; -\; u(-x)\}\{x\}\; \backslash ,\; \backslash 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ó : $\backslash left|\; \backslash int\backslash limits\_0^1\; \backslash frac\{u(x)\; -\; u(-x)\}\{x\}\; \backslash ,\backslash mathrm\; dx\; \backslash right|\; \backslash leq\; \backslash int\backslash limits\_0^1\; \backslash frac\{x\}\; \backslash ,\backslash mathrm\; dx\; \backslash leq\; \backslash int\backslash 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 : $\backslash left|\; \backslash int\backslash 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\limits1^\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ạ $\backslash operatorname\{p.!v.\}\; \backslash left(\backslash frac\{1\}\{x\}\; \backslash right)\; \backslash ,:\backslash ,\; \{C\_\{c\}^\{\backslash infty(\backslash mathbb\{R\})\; \backslash to\; \backslash 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\; \backslash quad\; \backslash Rightarrow\; \backslash quad\; f\; =\; \backslash operatorname\{p.!v.\}\; \backslash left(\backslash frac\{1\}\{x\}\; \backslash right)\; +\; K\; \backslash delta,$ trong đó $K$ là một hằng số và $\backslash 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 $\backslash 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 : $\backslash operatorname\{p.!v.\}\; (K)=\; \backslash 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: : $\backslash lim${a\rightarrow 0+}\left(\int{-1}^{-a}\frac{\mathrm{d}x}{x}+\int_a^1\frac{\mathrm{d}x}{x}\right)=0,

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

: $\backslash int\_L^*\; f(z)\backslash ,\; \backslash mathrm\{d\}z,$

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

: cũng như $P,$ P.V., $\backslash mathcal\{P\},$ $P\_v,$ $(CPV),$ và V.P.