สูตรขีดจำกัดโครเนกเกอร์
ในทางคณิตศาสตร์สูตรลิมิตโครเนกเกอร์ แบบคลาสสิก อธิบายพจน์คงที่ที่s = 1 ของอนุกรมไอเซนสไตน์เชิงวิเคราะห์จริง (หรือฟังก์ชันซีตาของเอปสไตน์ ) ในรูปของฟังก์ชันอีตาของเดเดคินด์มีการขยายความทั่วไปของสูตรนี้ไปยังอนุกรมไอเซนสไตน์ที่ซับซ้อนกว่ามากมาย สูตรนี้ตั้งชื่อตามเลโอโปลด์ โครเนกเกอร์
สูตรขีดจำกัดโครเนกเกอร์แรก
สูตรลิมิตโครเนกเกอร์ (สูตรแรก) ระบุว่า
ที่ไหน
- E (τ, s ) คืออนุกรมไอเซนสไตน์เชิงวิเคราะห์จริง ซึ่งกำหนดโดย
สำหรับ Re( s ) > 1 และโดยการต่อยอดเชิงวิเคราะห์สำหรับค่าอื่นๆของ จำนวนเชิงซ้อนs
- γ คือค่าคงที่ออยเลอร์–มาสเชโรนี
- τ = x + iyโดยที่y > 0
- โดยที่q = e 2π i τคือ ฟังก์ชัน Dedekind eta
ดังนั้นอนุกรมไอเซนสไตน์จึงมีขั้วที่s = 1 ที่มีเศษเหลือ π และสูตรขีดจำกัดโครเนกเกอร์ (แรก) จะให้พจน์คงที่ของอนุกรมลอเรนต์ที่ขั้วนี้
สูตรนี้มีการตีความในแง่ของเรขาคณิตเชิงสเปกตรัมของเส้นโค้งวงรีที่เกี่ยวข้องกับแลตทิซกล่าวคือดีเทอร์มิแนนต์ที่ปรับค่าซีตาของตัวดำเนินการลาปลาสที่เกี่ยวข้องกับเมตริกแบบราบบน นั้นกำหนดโดยสูตรนี้ถูกนำมาใช้ในทฤษฎีสตริงสำหรับการคำนวณแบบหนึ่งลูปในแนวทางการรบกวนของ โพลยา คอฟ
สูตรจำกัดโครเนกเกอร์ที่สอง
สูตรลิมิตโครเนกเกอร์ข้อที่สองระบุว่า
ที่ไหน
- uและvเป็นจำนวนจริงและไม่ใช่จำนวนเต็มทั้งคู่
- q = e 2π i τและq a = e 2π i a τ
- p = e 2π i zและp a = e 2π i az
สำหรับ Re( s ) > 1 และถูกกำหนดโดยการ ต่อ ยอดเชิงวิเคราะห์สำหรับค่าอื่นๆ ของจำนวนเชิงซ้อนs