Định lýĐã chứng minh

Định lý Carleson

Phát biểu

Nếu $f\in L^2(\mathbb{T})$ , thì $S_N f(x)\to f(x)$ với hầu hết $x$ . (Hunt, 1968, mở rộng kết quả này cho mọi $f\in L^p(\mathbb{T})$ với $p>1$ .)

Vì sao đúng?

Với ví dụ năm 1926 của Kolmogorov về một hàm $L^1$ phân kỳ khắp nơi, có vẻ hoàn toàn hợp lý khi nghĩ rằng $L^2$ — một điều kiện chỉ mạnh hơn chút ít — cũng sẽ thất bại theo cách tương tự, hoặc ít nhất là hầu khắp nơi. Định lý Carleson là một bất ngờ thực sự: giả thiết bình phương khả tích nhỏ bé đó loại trừ hoàn toàn sự phân kỳ, trừ trên một tập đo được bằng không. Nó khép lại một bài toán đã mở từ khi Luzin đặt giả thuyết năm 1913, và được xem là một trong những định lý sâu sắc nhất của giải tích thế kỷ 20.

Phác thảo chứng minh

Chứng minh đầy đủ là một trong những lập luận khó nhất của giải tích thế kỷ 20; Fefferman đưa ra một sự đơn giản hóa nổi tiếng năm 1973, có thể phác họa chiến lược qua ba bước.

Bước 1 (kiểm soát bằng toán tử cực đại). Chỉ cần chặn toán tử cực đại Carleson $S^*f(x) = \sup_N |S_N f(x)|$ trên $L^2$ , vì một chặn kiểu yếu trên $S^*$ cùng tính trù mật của các hàm tốt (mà với chúng hội tụ là dễ) sẽ suy ra phát biểu hội tụ hầu khắp nơi đầy đủ.

Bước 2 (phân rã thời gian–tần số thành các ô). Phân rã $f$ bằng các gói sóng thích ứng với các ô nhị phân trên mặt phẳng thời gian–tần số — các hình chữ nhật có diện tích $\sim 1$ , chính là các nguyên tử được bàn ở mục 'Thời gian và tần số' bên dưới. Mỗi ô mang một phần của $f$ khu trú cả về một khoảng thời gian lẫn một dải tần số.

Bước 3 (sắp xếp các ô thành cây và cộng lại). Vì tần số cắt $N$ có thể thay đổi theo $x$ , các ô liên quan đến $S^*f(x)$ tạo thành các 'cây' được sắp theo quan hệ chứa thời gian–tần số. Ước lượng tổ hợp then chốt của Fefferman chặn tổng năng lượng mang bởi mọi cây, kiểm soát $S^*f$ trong $L^2$ và hoàn tất chứng minh.

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

Giải tích điều hòa

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