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

Công thức phản xạ Euler

Phát biểu

Với mọi zz thỏa 0<Re⁡(z)<10 < \operatorname{Re}(z) < 1, Γ(z)Γ(1−z)=πsin⁡(πz)\Gamma(z)\Gamma(1-z) = \dfrac{\pi}{\sin(\pi z)}.

Vì sao đúng?

Nó liên kết một đối tượng trông thuần đại số (tỉ số hai giá trị Gamma) với lượng giác, và chính là đẳng thức khiến các cực điểm của Γ\Gamma tại các số nguyên không dương khớp với các không điểm của sin⁡(πz)\sin(\pi z) tại mọi số nguyên — phép tính thặng dư từ tích phân đường chính là thứ tạo ra hàm sin ở vế phải.

Phác thảo chứng minh

Bước 1 (Quy về hàm Beta). Dùng B(x,y)=Γ(x)Γ(y)Γ(x+y)B(x,y) = \dfrac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)} với y=1−zy=1-z, Γ(z)Γ(1−z)=B(z,1−z)=∫01tz−1(1−t)−z dt\Gamma(z)\Gamma(1-z) = B(z,1-z) = \int_0^1 t^{z-1}(1-t)^{-z}\,dt. Thế u=t/(1−t)u = t/(1-t) biến đổi thành ∫0∞uz−11+u du\displaystyle\int_0^\infty \dfrac{u^{z-1}}{1+u}\,du với 0<Re⁡(z)<10<\operatorname{Re}(z)<1.

Bước 2 (Thiết lập đường cong lỗ khóa). Để tính I=∫0∞uz−11+u duI=\int_0^\infty \dfrac{u^{z-1}}{1+u}\,du, dùng nhánh của wz−1w^{z-1} cắt dọc trục thực dương và lấy tích phân wz−11+w\dfrac{w^{z-1}}{1+w} quanh một đường cong lỗ khóa: đi ra ngay phía trên vết cắt, một đường tròn lớn bán kính RR, quay lại ngay phía dưới vết cắt, và một đường tròn nhỏ bán kính ε\varepsilon quanh 00.

Bước 3 (Thặng dư tại cực điểm duy nhất). Điểm kỳ dị duy nhất của wz−11+w\dfrac{w^{z-1}}{1+w} bên trong đường cong là cực điểm đơn tại w=−1w=-1, tại đó (dùng nhánh với argument π\pi ở đó) Res=(−1)z−1=eiπ(z−1)\mathrm{Res} = (-1)^{z-1} = e^{i\pi(z-1)}, nên định lý thặng dư cho tích phân lỗ khóa bằng 2πi eiπ(z−1)2\pi i\, e^{i\pi(z-1)}.

Bước 4 (So sánh hai phía vết cắt và cho R→∞R\to\infty, ε→0\varepsilon\to 0). Đường tròn lớn và nhỏ triệt tiêu khi 0<Re⁡(z)<10<\operatorname{Re}(z)<1, và hai đoạn thẳng khác nhau bởi pha mà wz−1w^{z-1} nhận được khi đi qua vết cắt, cho I(1−e2πi(z−1))=2πi eiπ(z−1)I\big(1 - e^{2\pi i(z-1)}\big) = 2\pi i\, e^{i\pi(z-1)}. Giải ra II và rút gọn các hàm mũ dùng sin⁡θ=eiθ−e−iθ2i\sin\theta = \frac{e^{i\theta}-e^{-i\theta}}{2i} cho I=πsin⁡(πz)I = \dfrac{\pi}{\sin(\pi z)}, nên kết hợp với Bước 1, Γ(z)Γ(1−z)=πsin⁡(πz)\Gamma(z)\Gamma(1-z) = \dfrac{\pi}{\sin(\pi z)}.

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. Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 5: Gamma Function
  2. Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 25: Zeta and Related Functions
  3. David J. Platt, Timothy S. Trudgian (2021). The Riemann Hypothesis Is True Up to 3×10^12 · arXiv:2004.09765