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

Tính bị chặn trên L² của biến đổi Hilbert

Phát biểu

Với mọi f∈L2(R)f \in L^2(\mathbb{R}), ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2}: biến đổi Hilbert không chỉ bị chặn mà còn là một phép đẳng cự trên L2L^2.

Vì sao đúng?

Đây là trường hợp cơ sở mà mọi định lý Calderón–Zygmund tổng quát dựa vào: trước khi kiểm soát một toán tử tích phân kỳ dị trên L1L^1 hay LpL^p, trước hết cần nó hoạt động tốt trên L2L^2, nơi Plancherel cho tiếp cận trực tiếp qua biến đổi Fourier.

Phác thảo chứng minh

Bước 1 (tìm nhân tử qua chính quy hóa). Hạt nhân 1/(πx)1/(\pi x) không khả tích, nên xấp xỉ nó: với ϵ>0\epsilon>0 đặt kϵ(x)=1πxx2+ϵ2k_\epsilon(x) = \frac{1}{\pi}\frac{x}{x^2+\epsilon^2}, một xấp xỉ lẻ, khả tích hội tụ về hạt nhân giá trị chính khi ϵ→0\epsilon\to 0. Một tính toán trực tiếp (contour hoặc tra bảng) cho k^ϵ(ξ)=−i sgn⁡(ξ) e−2πϵ∣ξ∣\hat k_\epsilon(\xi) = -i\,\operatorname{sgn}(\xi)\, e^{-2\pi\epsilon|\xi|}.

Bước 2 (qua giới hạn). Khi ϵ→0+\epsilon \to 0^+, e−2πϵ∣ξ∣→1e^{-2\pi\epsilon|\xi|} \to 1 với mọi ξ≠0\xi \ne 0 cố định, và kϵ∗f→Hfk_\epsilon * f \to Hf với ff 'tốt'. Chuyển giới hạn vào trong định lý tích chập cho đẳng thức nhân tử Hf^(ξ)=−i sgn⁡(ξ) f^(ξ)\widehat{Hf}(\xi) = -i\,\operatorname{sgn}(\xi)\, \hat f(\xi): biến đổi Hilbert tác động về phía tần số bằng cách nhân với −i sgn⁡(ξ)-i\,\operatorname{sgn}(\xi).

Bước 3 (áp dụng Plancherel). Vì ∣−i sgn⁡(ξ)∣=1|-i\,\operatorname{sgn}(\xi)| = 1 với mọi ξ≠0\xi \ne 0 (một điểm có độ đo không nên không ảnh hưởng tích phân), ∣Hf^(ξ)∣2=∣f^(ξ)∣2|\widehat{Hf}(\xi)|^2 = |\hat f(\xi)|^2 hầu khắp nơi theo ξ\xi. Lấy tích phân và dùng định lý Plancherel ở cả hai vế cho ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2}: biến đổi Hilbert là một phép đẳng cự trên L2(R)L^2(\mathbb{R}), đặc biệt bị chặn.

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. Tuomas P. Hytönen (2012). The sharp weighted bound for general Calderón–Zygmund operators · arXiv:1007.4330
  2. Elias M. Stein (1970). Singular Integrals and Differentiability Properties of Functions