Định lý M. Riesz
Phát biểu
Biến đổi Hilbert bị chặn trên với mọi : tồn tại một hằng số sao cho với mọi . (Marcel Riesz, 1927.)
Vì sao đúng?
Trường hợp về cơ bản là miễn phí: hệ số nhân có mô-đun đúng bằng hầu khắp nơi, nên đúng nghĩa là một phép đẳng cự trên theo Plancherel — một phép quay pha 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 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 , 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 lớn.
Phác thảo chứng minh
Bước 1 (, trực tiếp). Theo Plancherel và công thức hệ số nhân, , dùng với (một điểm đơn lẻ không ảnh hưởng tới tích phân). Vậy là một phép đẳng cự trên , đặc biệt bị chặn với .
Bước 2 (mọi , 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 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 từ chặn đã chứng minh ở Bước 1, và nội suy Marcinkiewicz giữa chặn yếu- với chặn (rồi một lập luận đối ngẫu cho ) hoàn tất chứng minh cho mọi — 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
- Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
- Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
- Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3