MathLabs
Định lýĐã chứng minh

Định lý M. Riesz

Phát biểu

Biến đổi Hilbert HH bị chặn trên Lp(R)L^p(\mathbb{R}) với mọi 1<p<∞1<p<\infty: tồn tại một hằng số CpC_p sao cho ∥Hf∥Lp≤Cp∥f∥Lp\|Hf\|_{L^p} \le C_p\|f\|_{L^p} với mọi ff. (Marcel Riesz, 1927.)

Vì sao đúng?

Trường hợp L2L^2 về cơ bản là miễn phí: hệ số nhân −i sgn(ξ)-i\,\mathrm{sgn}(\xi) có mô-đun đúng bằng 11 hầu khắp nơi, nên HH đúng nghĩa là một phép đẳng cự trên L2L^2 theo Plancherel — một phép quay pha 90∘90^\circ của mọi tần số không làm thay đổi gì về tổng năng lượng. Nhưng mở rộng tính bị chặn sang các pp khác là một bài toán thực sự khác và khó hơn nhiều: không có tương tự nào của đẳng thức Parseval bên ngoài L2L^2, nên không có lối tắt đại số nào khả dụng, và chứng minh phải dựa vào các ước lượng biến thực về kích thước và hình học của tập nơi HfHf lớn.

Phác thảo chứng minh

Bước 1 (L2L^2, trực tiếp). Theo Plancherel và công thức hệ số nhân, ∥Hf∥L22=∫∣Hf^(ξ)∣2 dξ=∫∣sgn(ξ)∣2∣f^(ξ)∣2 dξ=∥f∥L22\|Hf\|_{L^2}^2 = \int |\widehat{Hf}(\xi)|^2\,d\xi = \int |\mathrm{sgn}(\xi)|^2|\hat f(\xi)|^2\,d\xi = \|f\|_{L^2}^2, dùng ∣sgn(ξ)∣=1|\mathrm{sgn}(\xi)|=1 với ξ≠0\xi\ne0 (một điểm đơn lẻ không ảnh hưởng tới tích phân). Vậy HH là một phép đẳng cự trên L2(R)L^2(\mathbb{R}), đặc biệt bị chặn với C2=1C_2=1.

Bước 2 (mọi 1<p<∞1<p<\infty, tham chiếu chuyển tiếp). Toàn bộ dải số mũ không suy ra từ Bước 1 bằng bất kỳ lập luận mềm nào. Đó là một định lý thực sự của lý thuyết Calderón–Zygmund biến thực: hạch 1/(πx)1/(\pi x) của biến đổi Hilbert thỏa mãn chính xác các điều kiện trơn và triệt tiêu của một hạch Calderón–Zygmund, nên bộ máy tích phân kỳ dị tổng quát trình bày ở mục sau áp dụng được cho nó. Bộ máy đó sinh ra một chặn kiểu yếu (1,1)(1,1) từ chặn L2L^2 đã chứng minh ở Bước 1, và nội suy Marcinkiewicz giữa chặn yếu-(1,1)(1,1) với chặn L2L^2 (rồi một lập luận đối ngẫu cho p>2p>2) hoàn tất chứng minh cho mọi 1<p<∞1<p<\infty — nửa lập luận này được thực hiện đầy đủ ở mục Calderón–Zygmund ngay bên dưới, thay vì lặp lại ở đây.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
  2. Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
  3. Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3