กลับไปหน้าบทความ

อ่าน 16 นาที

เศษส่วนต่อเนื่องของเกาส์

เศษส่วนต่อ

ในคณิตศาสตร์วิเคราะห์เชิงซ้อนเศษส่วนต่อเนื่องของเกาส์ เป็น เศษส่วนต่อเนื่องประเภทหนึ่งที่ได้มาจากฟังก์ชันไฮเปอร์จีโอเมตริกมันเป็นหนึ่งในเศษส่วนต่อเนื่องเชิงวิเคราะห์กลุ่มแรกๆ...

เศษส่วนต่อเนื่องของเกาส์

ในคณิตศาสตร์วิเคราะห์เชิงซ้อนเศษส่วนต่อเนื่องของเกาส์ เป็น เศษส่วนต่อเนื่องประเภทหนึ่งที่ได้มาจากฟังก์ชันไฮเปอร์จีโอเมตริกมันเป็นหนึ่งในเศษส่วนต่อเนื่องเชิงวิเคราะห์กลุ่มแรกๆ ที่รู้จักในคณิตศาสตร์ และสามารถใช้แทนฟังก์ชันพื้นฐาน ที่สำคัญหลายฟังก์ชัน รวมถึงฟังก์ชันอดิศัย ที่ซับซ้อนกว่าบางฟังก์ชันได้ ด้วย

ประวัติศาสตร์

แลมเบิร์ตได้ตีพิมพ์ตัวอย่างเศษส่วนต่อเนื่องในรูปแบบนี้หลายตัวอย่างในปี 1768 และทั้งออยเลอร์และลากรองจ์ได้ตรวจสอบโครงสร้างที่คล้ายกัน[ 1 ]แต่เป็นคาร์ล ฟรีดริช เกาส์ที่ใช้พีชคณิตที่อธิบายไว้ในส่วนถัดไปเพื่อสรุปรูปแบบทั่วไปของเศษส่วนต่อเนื่องนี้ในปี 1813 [ 2 ]

แม้ว่าเกาส์จะให้รูปแบบของเศษส่วนต่อเนื่องนี้ แต่เขาก็ไม่ได้พิสูจน์คุณสมบัติการลู่เข้าของมันเบอร์นาร์ด รีมันน์[ 3 ]และแอลดับบลิว โธเม[ 4 ]ได้ผลลัพธ์บางส่วน แต่คำตัดสินขั้นสุดท้ายเกี่ยวกับขอบเขตที่เศษส่วนต่อเนื่องนี้ลู่เข้าไม่ได้เกิดขึ้นจนกระทั่งปี 1901 โดยเอ็ดเวิร์ด เบอร์ แวน วลี[ 5 ]

อนุพันธ์

ให้เป็นลำดับของฟังก์ชันวิเคราะห์ที่สอดคล้องกับความสัมพันธ์เวียนเกิดสามพจน์

สำหรับทุกค่าโดยที่เป็นค่าคงที่

แล้ว

การตั้งค่า

ดังนั้น

การทำซ้ำเช่นนี้ไปเรื่อยๆ จะทำให้เกิดนิพจน์เศษส่วนต่อเนื่อง

ในเศษส่วนต่อเนื่องของเกาส์ ฟังก์ชันต่างๆคือฟังก์ชันไฮเปอร์จีโอเมตริกในรูปแบบ, , และและสมการต่างๆเกิดขึ้นจากเอกลักษณ์ระหว่างฟังก์ชันที่พารามิเตอร์ต่างกันด้วยจำนวนเต็ม เอกลักษณ์เหล่านี้สามารถพิสูจน์ได้หลายวิธี ตัวอย่างเช่น โดยการกระจายอนุกรมและเปรียบเทียบสัมประสิทธิ์ หรือโดยการหาอนุพันธ์ในหลายๆ วิธีและกำจัดออกจากสมการที่สร้างขึ้น

ซีรี่ส์ F

กรณีที่ง่ายที่สุดเกี่ยวข้องกับ

เริ่มต้นด้วยอัตลักษณ์

เราอาจจะนำ

การให้

หรือ

การขยายอนุกรมนี้จะลู่เข้าสู่ฟังก์ชันเมโรเมอร์ฟิกซึ่งกำหนดโดยอัตราส่วนของอนุกรมลู่เข้า ทั้งสอง (โดยมีเงื่อนไขว่าaต้องไม่เป็นศูนย์หรือจำนวนเต็มลบ)

ซีรีส์ F

กรณีต่อไปนี้เกี่ยวข้องกับ

ซึ่งอัตลักษณ์ทั้งสองนั้น

ใช้สลับกันไป

อนุญาต

เป็นต้น

สิ่งนี้ทำให้เกิดผลลัพธ์ ที่

หรือ

ในทำนองเดียวกัน

หรือ

เนื่องจากการกำหนดให้aเท่ากับ 0 และแทนที่b  + 1 ด้วยbในเศษส่วนต่อเนื่องแรก จะได้กรณีพิเศษที่ง่ายขึ้น:

ซีรีส์ F

กรณีสุดท้ายเกี่ยวข้องกับ

อีกครั้ง มีการใช้เอกลักษณ์สองแบบสลับกันไป

โดยพื้นฐานแล้วสิ่งเหล่านี้คือเอกลักษณ์เดียวกัน เพียงแค่สลับตำแหน่ง ของ aและb เท่านั้น

อนุญาต

เป็นต้น

สิ่งนี้ทำให้ได้ผลลัพธ์เป็น[ 6 ]

หรือ

เนื่องจากการกำหนดให้aเท่ากับ 0 และแทนที่c  + 1 ด้วยcจะได้กรณีพิเศษที่ง่ายขึ้นของเศษส่วนต่อเนื่อง:

คุณสมบัติการบรรจบกัน

ในส่วนนี้ กรณีที่พารามิเตอร์อย่างน้อยหนึ่งตัวเป็นจำนวนเต็มลบจะถูกยกเว้น เนื่องจากในกรณีเหล่านี้ อนุกรมไฮเปอร์จีโอเมตริกจะไม่สามารถหาค่าได้ หรือเป็นพหุนาม ดังนั้นเศษส่วนต่อเนื่องจึงสิ้นสุดลง นอกจากนี้ยังยกเว้นข้อยกเว้นเล็กน้อยอื่นๆ ด้วย

ในกรณีและอนุกรมจะลู่เข้าทุกที่ ดังนั้นเศษส่วนทางด้านซ้ายมือจึงเป็นฟังก์ชันเมโรเมอร์ฟิกเศษส่วนต่อเนื่องทางด้านขวามือจะลู่เข้าอย่างสม่ำเสมอในเซตปิดและมีขอบเขตใดๆ ที่ไม่มีขั้วของฟังก์ชันนี้[ 7 ]

ในกรณีนี้รัศมีของการลู่เข้าของอนุกรมคือ 1 และเศษส่วนทางด้านซ้ายมือเป็นฟังก์ชันเมโรเมอร์ฟิกภายในวงกลมนี้ เศษส่วนต่อเนื่องทางด้านขวามือจะลู่เข้าสู่ฟังก์ชันทุกที่ภายในวงกลมนี้

นอกวงกลม เศษส่วนต่อเนื่องแสดงถึงการขยายเชิงวิเคราะห์ของฟังก์ชันไปยังระนาบเชิงซ้อนที่มีแกนจริงบวก จาก+1ไปจนถึงจุดที่อนันต์ถูกลบออก ในกรณีส่วนใหญ่+1เป็นจุดแยกสาขา และเส้นจาก+1ไปยังอนันต์บวกคือเส้นตัดสาขาสำหรับฟังก์ชันนี้ เศษส่วนต่อเนื่องลู่เข้าสู่ฟังก์ชันเมโรเมอร์ฟิกบนโดเมนนี้ และลู่เข้าอย่างสม่ำเสมอในเซตย่อยปิดและมีขอบเขตใดๆ ของโดเมนนี้ที่ไม่มีขั้วใดๆ[ 8 ]

แอปพลิเคชัน

ซีรี่ส์ F

เรามี

ดังนั้น

การขยายเฉพาะนี้เรียกว่าเศษส่วนต่อเนื่องของแลมเบิร์ตและมีมาตั้งแต่ปี ค.ศ. 1768 [ 9 ]

ดังนั้นจึงสรุปได้ว่า

การกระจายของ tanh สามารถนำมาใช้พิสูจน์ได้ว่าe n เป็นจำนวนอตรรกยะสำหรับจำนวนเต็ม nที่ไม่ใช่ศูนย์ทุกตัว(ซึ่งน่าเสียดายที่ไม่เพียงพอที่จะพิสูจน์ได้ว่าeเป็นจำนวนอดิศัย ) การกระจายของ tan ถูกใช้โดยทั้งแลมเบิร์ตและเลอฌองเดอร์เพื่อพิสูจน์ว่า π เป็นจำนวนอตรรกยะ

ฟังก์ชันเบสเซล สามารถเขียนได้ดังนี้

จากนั้นจึงตามมา

สูตรเหล่านี้ใช้ได้กับค่า z ที่ซับซ้อนทุกค่าด้วยเช่น กัน

ซีรีส์ F

เนื่องจาก,

ด้วยการปรับเปลี่ยนบางอย่าง สามารถนำมาใช้พิสูจน์ การแสดง เศษส่วนต่อเนื่องอย่างง่ายของ eได้

ฟังก์ชันข้อผิดพลาด erf ( z ) กำหนดโดย

นอกจากนี้ยังสามารถคำนวณได้โดยใช้ฟังก์ชันไฮเปอร์จีโอเมตริกของ Kummer:

โดยการใช้เศษส่วนต่อเนื่องของเกาส์ การขยายที่มีประโยชน์ซึ่งใช้ได้กับจำนวนเชิงซ้อนz ทุกตัว สามารถทำได้ดังนี้: [ 10 ]

สามารถใช้เหตุผลที่คล้ายกันนี้เพื่อหาการขยายเศษส่วนต่อเนื่องสำหรับอินทิกรัลเฟรสเนลสำหรับฟังก์ชันดอว์สันและสำหรับฟังก์ชันแกมมาที่ไม่สมบูรณ์ เวอร์ชันที่ง่ายกว่าของเหตุผลนี้ให้การขยายเศษส่วนต่อเนื่องที่มีประโยชน์สอง แบบของฟังก์ชันเลขชี้กำลัง[ 11 ]

ซีรีส์ F

จาก

การ ขยาย อนุกรมเทย์เลอร์ของarctan zในบริเวณใกล้เคียงศูนย์กำหนดโดย[ 12 ]

สามารถนำเศษส่วนต่อเนื่องของเกาส์มาใช้กับเอกลักษณ์นี้ได้ ทำให้ได้การขยายดังนี้

ซึ่งลู่เข้าสู่สาขาหลักของฟังก์ชันแทนเจนต์ผกผันบนระนาบเชิงซ้อนที่ตัด โดยที่การตัดขยายไปตามแกนจินตนาการจากiไปยังจุดที่อนันต์ และจาก − iไปยังจุดที่อนันต์[ 13 ]

เศษส่วนต่อเนื่องนี้ลู่เข้าอย่างรวดเร็วเมื่อz = 1 โดยให้ค่า π/4 ที่ทศนิยมเจ็ดตำแหน่งเมื่อลู่เข้าครั้งที่เก้า อนุกรมที่สอดคล้องกัน

ลู่เข้าช้าลงมาก โดยต้องใช้มากกว่าหนึ่งล้านเทอมเพื่อให้ได้ความแม่นยำถึงเจ็ดตำแหน่งทศนิยม[ 14 ]

สามารถใช้หลักการนี้ในรูปแบบต่างๆ เพื่อสร้างการกระจายเศษส่วนต่อเนื่องสำหรับลอการิทึมธรรมชาติฟังก์ชัน arcsinและอนุกรมทวินามทั่วไปได้

หมายเหตุ

  1. ^โจนส์และธรอน (1980) หน้า 5
  2. CF Gauss (1813),แวร์เคอ , ฉบับ. 3หน้า 134–38.
  3. บี. รีมันน์ (1863), "Sullo svolgimento del quoziente di Due serie ipergeometriche in frazione continua infinita" ใน Werke . หน้า 400–406. (ชิ้นส่วนมรณกรรม).
  4. แอลดับเบิลยู โธเม (1867), "Über die Kettenbruchentwicklung des Gauß'schen Quotienten ...," Jour. สำหรับคณิตศาสตร์ฉบับที่ 67 หน้า 299–309.
  5. ^ EB Van Vleck (1901), "เกี่ยวกับการลู่เข้าของเศษส่วนต่อเนื่องของเกาส์และเศษส่วนต่อเนื่องอื่นๆ"วารสารคณิตศาสตร์เล่ม 3 หน้า 1–18
  6. ^ Frank, E (1956). "การขยายเศษส่วนต่อเนื่องแบบใหม่สำหรับอัตราส่วนของฟังก์ชันไฮเปอร์จีโอเมตริก" Trans. Am. Math. Soc . 81 (2): 453– 476. doi : 10.2307/1992927 . JSTOR  1992927 . MR  0076937 .
  7. ^โจนส์และธรอน (1980) หน้า 206
  8. ^วอลล์, 1973 (หน้า 339)
  9. ^วอลล์ (1973) หน้า 349
  10. โจนส์แอนด์ธรอน (1980) หน้า. 208.
  11. ^ดูตัวอย่างในบทความเรื่องตาราง Padéสำหรับการขยาย e zเป็นเศษส่วนต่อเนื่องของ Gauss
  12. ^หลักฐานวิกิ
  13. ^วอลล์ (1973) หน้า 343 โปรดสังเกตว่า iและ − iเป็นจุดแยกสาขาสำหรับฟังก์ชันแทนเจนต์ผกผัน
  14. โจนส์แอนด์ธรอน (1980) หน้า. 202.
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Gauss%27s_continued_fraction&oldid=1342799331 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ เศษส่วนต่อเนื่องของเกาส์

ในคณิตศาสตร์วิเคราะห์เชิงซ้อนเศษส่วนต่อเนื่องของเกาส์ เป็น เศษส่วนต่อเนื่องประเภทหนึ่งที่ได้มาจากฟังก์ชันไฮเปอร์จีโอเมตริกมันเป็นหนึ่งในเศษส่วนต่อเนื่องเชิงวิเคราะห์กลุ่มแรกๆ...

ประวัติศาสตร์

แลมเบิร์ตได้ ตีพิมพ์ตัวอย่างเศษส่วนต่อเนื่องในรูปแบบนี้หลายตัวอย่างในปี 1768 และทั้ง ออยเลอร์ และ ลากรองจ์ ได้ตรวจสอบโครงสร้างที่คล้ายกัน [ 1 ] แต่เป็น คาร์ล ฟรีดริช เกาส์ ที่ใช้พีชคณิตที่อธิบายไว้ในส่วนถัดไปเพื่อสรุปรูปแบบทั่วไปของเศษส่วนต่อเนื่องนี้ในปี...

อนุพันธ์

ให้เป็นลำดับของฟังก์ชันวิเคราะห์ที่สอดคล้องกับ ความสัมพันธ์เวียนเกิดสามพจน์ เอฟ 0 , เอฟ 1 , เอฟ 2 , … {\displaystyle f_{0},f_{1},f_{2},\dots }

คุณสมบัติการบรรจบกัน

ในส่วนนี้ กรณีที่พารามิเตอร์อย่างน้อยหนึ่งตัวเป็นจำนวนเต็มลบจะถูกยกเว้น เนื่องจากในกรณีเหล่านี้ อนุกรมไฮเปอร์จีโอเมตริกจะไม่สามารถหาค่าได้ หรือเป็นพหุนาม ดังนั้นเศษส่วนต่อเนื่องจึงสิ้นสุดลง นอกจากนี้ยังยกเว้นข้อยกเว้นเล็กน้อยอื่นๆ ด้วย