Bất đẳng thức Khinchin

Trong toán học, bất đẳng thức Khinchin, đặt theo tên của Aleksandr Khinchin là một định lý về xác suất, và thường được sử dụng trong giải tích. Ý tưởng về mặt định tính của bất đẳng thức là với mọi bộ N {\displaystyle N} số phức x 1 , … , x N ∈ C {\displaystyle x_{1},\dots ,x_{N}\in \mathbb {C} } , nếu nhân mỗi số với một dấu ngẫu nhiên ± 1 {\displaystyle \pm 1} rồi cộng lại, thì giá trị kì vọng của mô đun sẽ xấp xỉ bằng | x 1 | 2 + ⋯ + | x N | 2 {\displaystyle {\sqrt {|x_{1}|^{2}+\cdots +|x_{N}|^{2}}}} . Xét N {\displaystyle N} biến ngẫu nhiên độc lập { ϵ n } n = 1 N {\displaystyle \{\epsilon _{n}\}_{n=1}^{N}} cùng phân bố theo P ( ϵ n = ± 1 ) = 1 2 {\displaystyle P(\epsilon _{n}=\pm 1)={\frac {1}{2}}} với mọi n = 1 … N {\displaystyle n=1\ldots N} , nghĩa là một dãy phân bố theo phân phối Rademacher. Xét 0 < p < ∞ {\displaystyle 0<p<\infty } và x 1 , . . . , x N ∈ C {\displaystyle x_{1},...,x_{N}\in \mathbb {C} } . Khi đó A p ( ∑ n = 1 N | x n | 2 ) 1 2 ≤ ( E | ∑ n = 1 N ϵ n x n | p ) 1 / p ≤ B p ( ∑ n = 1 N | x n | 2 ) 1 2 {\displaystyle A_{p}\left(\sum _{n=1}^{N}|x_{n}|^{2}\right)^{\frac {1}{2}}\leq \left(\mathbb {E} {\Big |}\sum _{n=1}^{N}\epsilon _{n}x_{n}{\Big |}^{p}\right)^{1/p}\leq B_{p}\left(\sum _{n=1}^{N}|x_{n}|^{2}\right)^{\frac {1}{2}}} với hai hằng số A p , B p > 0 {\displaystyle A_{p},B_{p}>0} chỉ phụ thuộc vào p {\displaystyle p} (trong đó E {\displaystyle \mathbb {E} } là giá trị kì vọng). Giá trị chặt của các hằng số A p , B p {\displaystyle A_{p},B_{p}} được tìm ra bởi Haagerup (1982); xem thêm chứng minh đơn giản hơn ở Nazarov & Podkorytov (2000). Bất đẳng thức này được sử dụng rộng rãi trong toán học chứ không chỉ ở lý thuyết xác suất. Một ví dụ sử dụng bất đẳng thức này trong giải tích là như sau: giả sử T {\displaystyle T} là một biến đổi tuyến tính giữa hai không gian Lp L p ( X , μ ) {\displaystyle L^{p}(X,\mu )} đến L p ( Y , ν ) {\displaystyle L^{p}(Y,\nu )} , 1 ≤ p < ∞ {\displaystyle 1\leq p<\infty } , với chuẩn bị chặn ‖ T ‖ < ∞ {\displaystyle \|T\|<\infty } , thì ta có thể dùng bất đẳng thức Khinchin để chứng minh ‖ ( ∑ n = 1 N | T f n | 2 ) 1 2 ‖ L p ( Y , ν ) ≤ C p ‖ ( ∑ n = 1 N | f n | 2 ) 1 2 ‖ L p ( X , μ ) {\displaystyle \left\|\left(\sum _{n=1}^{N}|Tf_{n}|^{2}\right)^{\frac {1}{2}}\right\|_{L^{p}(Y,\nu )}\leq C_{p}\left\|\left(\sum _{n=1}^{N}|f_{n}|^{2}\right)^{\frac {1}{2}}\right\|_{L^{p}(X,\mu )}} với hằng số C p > 0 {\displaystyle C_{p}>0} chỉ phụ thuộc p {\displaystyle p} và ‖ T ‖ {\displaystyle \|T\|} . Bất đẳng thức Marcinkiewicz–Zygmund Thomas Wolff (2003), Lectures on Harmonic Analysis, University Lecture Series, 29, American Mathematical Society, ISBN 0-8218-3449-5 Đã bỏ qua tham số không rõ |vol= (gợi ý |volume=) (trợ giúp) Haagerup, Uffe (1982), “The best constants in the Khintchine inequality”, Studia Math., 70: 231–283 Đã bỏ qua tham số không rõ |vol= (gợi ý |volume=) (trợ giúp) Nazarov, Fedor; Podkorytov, Anatoliy (2000), “Ball, Haagerup, and distribution functions”, Complex analysis, operators, and related topics, Oper. Theory Adv. Appl., 113, Basel: Birkhäuser, tr. 247–267 Đã bỏ qua tham số không rõ |vol= (gợi ý |volume=) (trợ giúp)