อ่าน 24 นาที
การคำนวณเชิงตัวเลขแบบเกาส์เซียน
ใน การวิเคราะห์เชิงตัวเลข กฎการหาปริพันธ์แบบเกาส์เซียน n จุดซึ่ง ตั้ง ชื่อ ตาม คาร์ล ฟรีดริช เกาส์ [ 1 ] เป็น กฎการหาปริพันธ์ ที่สร้างขึ้นเพื่อให้ได้ผลลัพธ์ที่แม่นยำสำหรับ พหุนาม...
การคำนวณเชิงตัวเลขแบบเกาส์เซียน

ในการวิเคราะห์เชิงตัวเลขกฎการหาปริพันธ์แบบเกาส์เซียน n จุดซึ่งตั้งชื่อตามคาร์ล ฟรีดริช เกาส์ [ 1 ]เป็นกฎการหาปริพันธ์ที่สร้างขึ้นเพื่อให้ได้ผลลัพธ์ที่แม่นยำสำหรับพหุนามดีกรี2 n − 1หรือน้อยกว่า โดยการเลือกจุดx iและน้ำหนักw i ที่เหมาะสม สำหรับi = 1, ... , n
การกำหนดสูตรสมัยใหม่โดยใช้พหุนามเชิงตั้งฉากได้รับการพัฒนาโดยCarl Gustav Jacobiในปี พ.ศ. 2369 [ 2 ]โดเมนการอินทิเกรตที่พบบ่อยที่สุดสำหรับกฎดังกล่าวคือ[−1, 1]ดังนั้นกฎจึงระบุได้ดังนี้
ซึ่งเป็นค่าที่แม่นยำสำหรับพหุนามดีกรี2n − 1หรือน้อยกว่า กฎที่แม่นยำนี้เรียกว่า กฎ การหาปริพันธ์เชิงตัวเลขของ Gauss–Legendre กฎการหา ปริพันธ์เชิงตัวเลขนี้จะเป็นการประมาณค่าที่แม่นยำสำหรับปริพันธ์ข้างต้นก็ต่อเมื่อf ( x )สามารถประมาณค่าได้ดีด้วยพหุนามดีกรี2n − 1หรือน้อยกว่าบนช่วง [−1 , 1]
โดยทั่วไปแล้ว กฎการหาปริพันธ์เชิงตัวเลขแบบ เกาส์-เลอจองเดอร์จะไม่ใช้กับฟังก์ชันที่หาปริพันธ์ได้ซึ่งมีจุดเอก ฐานที่ปลาย แต่หากสามารถเขียนฟังก์ชันที่ต้องการหาปริพันธ์ได้ในรูปแบบ จะใช้กฎนี้แทน
ในกรณีที่g ( x )สามารถประมาณค่าได้ดีด้วยพหุนามดีกรีต่ำ โหนดทางเลือกxᵢ 'และน้ำหนักwᵢ ' มักจะให้กฎการหาปริพันธ์ที่แม่นยำกว่า กฎเหล่านี้เรียกว่า กฎการ หาปริพันธ์แบบเกาส์-จาโคบี กล่าว คือ
น้ำหนักที่ใช้กันทั่วไป ได้แก่( Chebyshev–Gauss ) และนอกจากนี้ อาจต้องการทำการอินทิเกรตในช่วงกึ่งอนันต์ ( การหาปริพันธ์แบบ Gauss–Laguerre ) และช่วงอนันต์ ( การหาปริพันธ์แบบ Gauss–Hermite ) ด้วย
สามารถแสดงให้เห็นได้ (ดู Press et al. หรือ Stoer และ Bulirsch) ว่าจุดควอดราเจอร์x iคือรากของพหุนามที่อยู่ในกลุ่มพหุนามเชิงตั้งฉาก (กลุ่มที่ตั้งฉากกันโดยสัมพันธ์กับผลคูณภายในแบบถ่วงน้ำหนัก) นี่เป็นข้อสังเกตที่สำคัญสำหรับการคำนวณจุดควอดราเจอร์และน้ำหนักของเกาส์
การคำนวณเชิงตัวเลขแบบเกาส์-เลอฌ็องเดร

สำหรับปัญหาการอินทิเกรตที่ง่ายที่สุดที่ระบุไว้ข้างต้น กล่าวคือf ( x )ได้รับการประมาณค่าที่ดีโดยพหุนามบนพหุนามเชิงตั้งฉากที่เกี่ยวข้องคือพหุนามเลอจอง เดอร์ ซึ่งแสดงด้วยPn ( x )โดยที่ พหุนามที่ n ได้ รับการทำให้เป็นมาตรฐานเพื่อให้ได้Pn ( 1) = 1โหนด เกาส์ที่ i , xᵢ ,คือ รากที่ iของPnและน้ำหนักจะได้รับจากสูตร[ 3 ]
ตารางด้านล่างแสดงกฎการหาปริพันธ์เชิงตัวเลขลำดับต่ำบางส่วน (ในช่วง[−1, 1]โปรดดูส่วนด้านล่างสำหรับช่วงอื่นๆ)
| จำนวนจุด, n | จุด/แกนx , i | น้ำหนัก, w i | ||
|---|---|---|---|---|
| 1 | 0 | 2 | ||
| 2 | ±0.57735... | 1 | ||
| 3 | 0 | 0.888889... | ||
| ±0.774597... | 0.555556... | |||
| 4 | ±0.339981... | 0.652145... | ||
| ±0.861136... | 0.347855... | |||
| 5 | 0 | 0.568889... | ||
| ±0.538469... | 0.478629... | |||
| ±0.90618... | 0.236927... | |||
การเปลี่ยนแปลงช่วงเวลา
ก่อนนำกฎการหาปริพันธ์แบบเกาส์เซียนมาใช้ จะต้องเปลี่ยน ปริพันธ์ในช่วง[ a , b ]ให้เป็นปริพันธ์ในช่วง[−1, 1]ก่อน การเปลี่ยนช่วงดังกล่าวสามารถทำได้ด้วยวิธีต่อไปนี้:
กับ
เมื่อใช้ กฎ การหาปริพันธ์เชิงตัวเลขแบบเกาส์เซียนณ จุดใดจุดหนึ่ง จะได้ค่าประมาณดังต่อไปนี้:
ตัวอย่างการใช้กฎการหาปริพันธ์แบบเกาส์สองจุด
ใช้กฎการหาปริพันธ์แบบเกาส์สองจุดเพื่อประมาณระยะทางเป็นเมตรที่จรวดเคลื่อนที่จากจุดหนึ่งไปยังอีกจุดหนึ่งตามที่กำหนดโดย
เปลี่ยนขอบเขตเพื่อให้สามารถใช้ค่าน้ำหนักและพิกัดแกน x ที่ระบุในตารางที่ 1 ได้ นอกจากนี้ ให้หาค่าความคลาดเคลื่อนสัมพัทธ์ที่แท้จริง ค่าที่แท้จริงคือ 11061.34 เมตร
สารละลาย
ขั้นแรก การเปลี่ยนขอบเขตการอินทิเกรตจากเป็น จะได้ผลลัพธ์ดังนี้
ถัดไป ให้ดึงค่าตัวประกอบถ่วงน้ำหนักและค่าอาร์กิวเมนต์ฟังก์ชันจากตารางที่ 1 สำหรับกฎสองจุด
ตอนนี้เราสามารถใช้สูตรการหาปริพันธ์เชิงตัวเลขของเกาส์ได้ แล้ว เนื่องจาก
เนื่องจากค่าจริงคือ 11061.34 เมตร ค่าความคลาดเคลื่อนสัมพัทธ์ที่แท้จริงคือ
รูปแบบอื่นๆ
ปัญหาการอินทิเกรตสามารถแสดงได้ในรูปแบบทั่วไปมากขึ้นเล็กน้อยโดยการแนะนำฟังก์ชันน้ำหนัก บวก ωเข้าไปในตัวอินทิกรัล และอนุญาตให้ใช้ช่วงอื่นที่ไม่ใช่[−1, 1]นั่นคือ ปัญหาคือการคำนวณ สำหรับค่าa , bและω บางค่า สำหรับa = −1 , b = 1และω ( x ) = 1ปัญหาจะเหมือนกับที่พิจารณาไว้ข้างต้น การเลือกค่าอื่นๆ จะนำไปสู่กฎการอินทิเกรตอื่นๆ ซึ่งบางส่วนแสดงไว้ในตารางด้านล่าง หมายเลขสมการเป็นของAbramowitz และ Stegun (A & S)
| ช่วงเวลา | ω ( x ) | พหุนามเชิงตั้งฉาก | เช่น | สำหรับข้อมูลเพิ่มเติม โปรดดูที่... |
|---|---|---|---|---|
| [−1, 1] | 1 | พหุนามเลอจองเดอร์ | 25.4.29 | § การหาปริพันธ์เชิงตัวเลขแบบเกาส์-เลอฌ็องเดร |
| (−1, 1) | พหุนามจาโคบี | 25.4.33 ( β = 0 ) | การคำนวณเชิงตัวเลขแบบเกาส์-จาโคบี | |
| (−1, 1) | พหุนามเชบิเชฟ (ชนิดที่หนึ่ง) | 25.4.38 | การคำนวณเชิงตัวเลขแบบเชบิเชฟ-เกาส์ | |
| [−1, 1] | พหุนามเชบิเชฟ (ชนิดที่สอง) | 25.4.40 | การคำนวณเชิงตัวเลขแบบเชบิเชฟ-เกาส์ | |
| [0, ∞) | พหุนามลากูร์ | 25.4.45 | การคำนวณเชิงตัวเลขแบบเกาส์-ลาแกร์ | |
| [0, ∞) | พหุนามลากูร์แบบทั่วไป | การคำนวณเชิงตัวเลขแบบเกาส์-ลาแกร์ | ||
| (−∞, ∞) | พหุนามเฮอร์ไมต์ | 25.4.46 | การคำนวณเชิงตัวเลขแบบเกาส์-เฮอร์ไมต์ |
ทฤษฎีบทพื้นฐาน
ให้p nเป็นพหุนามที่ไม่ใช่พหุนามศูนย์ที่มีดีกรีnโดยที่
โปรดทราบว่าข้อความนี้จะเป็นจริงสำหรับพหุนามเชิงตั้งฉากทั้งหมดข้างต้น เนื่องจากp n แต่ละตัว ถูกสร้างขึ้นเพื่อให้ตั้งฉากกับพหุนามp j อื่นๆ สำหรับj < nและx kอยู่ในปริภูมิที่เกิดจากเซตนั้น
ถ้าเราเลือก โหนด nโหนดx iให้เป็นศูนย์ของp n , , จะมีน้ำหนักn ตัว w iซึ่งทำให้การคำนวณปริพันธ์แบบ Gaussian quadrature แม่นยำสำหรับพหุนามh ( x ) ทั้งหมด ที่มีดีกรี2 n − 1 หรือน้อยกว่า ยิ่งไปกว่านั้น โหนดx i เหล่านี้ทั้งหมด จะอยู่ในช่วงเปิด( a , b ) [ 4 ]
เพื่อพิสูจน์ส่วนแรกของข้ออ้างนี้ ให้h ( x )เป็นพหุนามใดๆ ที่มีดีกรี2n − 1หรือน้อยกว่า หารด้วยพหุนามเชิงตั้งฉากpnจะได้ โดยที่q ( x )คือผลหาร ซึ่งมีดีกรีn − 1หรือน้อยกว่า (เพราะผลรวมของดีกรีของผลหารและดีกรีของตัวหารpn ต้องเท่ากับดีกรีของตัวตั้งหาร )และr ( x )คือเศษเหลือ ซึ่งมีดีกรีn − 1หรือน้อยกว่า (เพราะดีกรีของเศษเหลือจะน้อยกว่าดีกรีของตัวหารเสมอ) เนื่องจากpnตามสมมติฐานเป็นพหุนามเชิงตั้งฉากกับเอกนามทั้งหมดที่มีดีกรีน้อยกว่าn ดังนั้น pnจึงต้องเป็นพหุนามเชิงตั้งฉากกับผลหารq ( x )ด้วย ดังนั้น
เนื่องจากเศษเหลือr ( x )มีดีกรีn − 1หรือน้อยกว่า เราจึงสามารถประมาณค่าได้อย่างแม่นยำโดยใช้ จุดประมาณค่า nจุดด้วยพหุนามลากรางจ์l i ( x )โดยที่
เรามี
ดังนั้นปริพันธ์ของมันจะเท่ากับ
โดยที่w iซึ่งเป็นน้ำหนักที่เกี่ยวข้องกับโหนดx iถูกกำหนดให้เท่ากับปริพันธ์ถ่วงน้ำหนักของl i ( x ) (ดูสูตรอื่นๆ สำหรับน้ำหนักด้านล่าง) แต่x i ทั้งหมด เป็นรากของp nดังนั้นสูตรการหารข้างต้นบอกเราว่า สำหรับทุกiดังนั้นในที่สุดเราจึงได้
สิ่งนี้พิสูจน์ได้ว่าสำหรับพหุนามh ( x ) ใดๆ ที่มีดีกรี2n − 1หรือน้อยกว่านั้น อินทิกรัลของพหุนามนี้จะหาได้จากผลรวมของการหาปริพันธ์แบบเกาส์เซียนอย่างแม่นยำ
เพื่อพิสูจน์ส่วนที่สองของข้ออ้าง ให้พิจารณารูปแบบการแยกตัวประกอบของพหุนามp n ราก สังยุคเชิงซ้อนใดๆจะให้ตัวประกอบกำลังสองซึ่งเป็นบวกอย่างเคร่งครัดหรือลบอย่างเคร่งครัดตลอดทั้งเส้นจำนวนจริงตัวประกอบใดๆ สำหรับรากที่อยู่นอกช่วงจากaถึงbจะไม่เปลี่ยนเครื่องหมายในช่วงนั้น สุดท้าย สำหรับตัวประกอบที่สอดคล้องกับรากx iภายในช่วงจากaถึงbที่มีจำนวนคี่ ให้คูณp nด้วยตัวประกอบอีกตัวหนึ่งเพื่อสร้างพหุนามใหม่
พหุนามนี้ไม่สามารถเปลี่ยนเครื่องหมายในช่วงจากaถึงbได้ เพราะรากทั้งหมดในช่วงนั้นมีจำนวนเท่าของเลขคู่ ดังนั้นปริพันธ์ เนื่องจากฟังก์ชันน้ำหนักω ( x )จึงมีค่าไม่เป็นลบเสมอ แต่p nตั้งฉากกับพหุนามทั้งหมดที่มีดีกรีn − 1หรือน้อยกว่า ดังนั้นดีกรีของผลคูณ ต้องมีอย่างน้อยnดังนั้นp n จึง มี รากที่แตกต่างกัน n ราก ซึ่ง ทั้งหมดเป็นจำนวนจริง ในช่วงจากaถึงb
สูตรทั่วไปสำหรับน้ำหนัก
สามารถแสดงค่าน้ำหนักได้ดังนี้
| 1 |
โดยที่คือสัมประสิทธิ์ของใน เพื่อ พิสูจน์สิ่งนี้ โปรดสังเกตว่าการใช้การแทรกสอดแบบลากรางจ์เราสามารถแสดงr ( x )ในรูปของ ได้เนื่องจาก r ( x )มีดีกรีน้อยกว่าnและถูกกำหนดโดยค่าที่มันได้รับ ณ จุดต่างๆ nจุด การคูณทั้งสองข้างด้วยω ( x )และการอินทิเกรตจากaถึงbจะได้
ดังนั้น น้ำหนักw iจึงกำหนดโดย
นิพจน์ปริพันธ์สำหรับสามารถแสดงได้ในรูปของพหุนามเชิงตั้งฉากดังต่อไปนี้
เราสามารถเขียนได้
โดยที่คือสัมประสิทธิ์ของในการหาลิมิตของxไปยังจะได้ โดยใช้กฎของโลปิตาล
ดังนั้นเราจึงสามารถเขียนนิพจน์ปริพันธ์สำหรับน้ำหนักได้ดังนี้
| 2 |
ในอินทิกรัล เขียนว่า
ผลผลิต
โดยมีเงื่อนไขว่า q ( x) เป็นพหุนามดีกรีk − 1ซึ่งตั้งฉากกับดังนั้น ถ้าq ( x )เป็นพหุนามดีกรีไม่เกิน n เราจะได้ว่า
เราสามารถประเมินค่าอินทิกรัลทางด้านขวามือสำหรับ ได้ดังนี้ เนื่องจากเป็นพหุนามดีกรีn − 1เราจึงได้ โดยที่s ( x )เป็นพหุนามดีกรีเนื่องจากs ( x )ตั้งฉากกับเราจึง ได้
จากนั้นเราสามารถเขียนได้
พจน์ในวงเล็บเป็นพหุนามดีกรีซึ่งตั้งฉากกับ ดังนั้นอินทิกรัลจึงสามารถเขียนได้เป็น
ตามสมการ ( 2 ) น้ำหนักจะได้รับโดยการหารด้วยและจะได้นิพจน์ในสมการ ( 1 )
นอกจากนี้ยังสามารถแสดงได้ในรูปของพหุนามเชิงตั้งฉากและตอนนี้ในความสัมพันธ์เวียนเกิด 3 เทอม เทอมที่มี จะหายไป ดังนั้นในสมการ (1) สามารถแทนที่ด้วยได้
พิสูจน์ว่าน้ำหนักเป็นค่าบวก
พิจารณาพหุนามต่อไปนี้ที่มีดีกรี โดยที่x jเป็นรากของพหุนาม ดังที่กล่าวมาข้างต้น เห็นได้ชัดว่าเนื่องจากดีกรีของน้อยกว่าสูตรการหาปริพันธ์แบบเกาส์เซียนที่เกี่ยวข้องกับน้ำหนักและจุดที่ได้จากจึงสามารถนำมาใช้ได้ เนื่องจากสำหรับjที่ไม่เท่ากับiเราจึงได้
เนื่องจากทั้งและเป็นฟังก์ชันที่ไม่เป็นลบ ดังนั้น จึงสรุปได้ว่า
การคำนวณกฎการหาปริพันธ์แบบเกาส์เซียน
มีอัลกอริธึมมากมายสำหรับการคำนวณโหนดx iและน้ำหนักw iของกฎการหาปริพันธ์แบบเกาส์เซียน อัลกอริธึมที่ได้รับความนิยมมากที่สุด ได้แก่ อัลกอริธึม Golub-Welsch ซึ่งต้องใช้การดำเนินการO ( n 2 ) ครั้ง วิธีของนิวตันสำหรับการแก้ปัญหาโดยใช้ความสัมพันธ์เวียนเกิดสามเทอมสำหรับการประเมินค่า ซึ่งต้องใช้ การดำเนินการ O ( n 2 )ครั้ง และสูตรเชิงอะซิมโทติกสำหรับn ขนาดใหญ่ ซึ่งต้องใช้การดำเนินการ O ( n ) ครั้ง
ความสัมพันธ์เวียนเกิด
พหุนามเชิงตั้งฉากที่มีผลคูณเชิงสเกลาร์ เท่ากับ 1 ดีกรีเท่ากับ1 และสัมประสิทธิ์นำหน้าเท่ากับ 1 (เช่น พหุ นามเชิงตั้งฉากเอกลักษณ์) จะสอดคล้องกับความสัมพันธ์เวียนเกิด
และผลคูณสเกลาร์ที่กำหนดไว้
โดยที่nคือดีกรีสูงสุดที่สามารถกำหนดให้เป็นอนันต์ได้ และโดยที่. ก่อนอื่น พหุนามที่กำหนดโดยความสัมพันธ์เวียนเกิดที่เริ่มต้นด้วยมีสัมประสิทธิ์นำหน้าเป็นหนึ่งและมีดีกรีที่ถูกต้อง เมื่อกำหนดจุดเริ่มต้นโดยความตั้งฉากของสามารถแสดงได้โดยการอุปมาน สำหรับหนึ่งจะมี
ถ้าเป็นพหุนามตั้งฉากกันแล้ว ก็จะเป็น ด้วยเพราะ ผลคูณสเกลาร์ทั้งหมดจะหายไป ยกเว้นผลคูณแรกและผลคูณที่พบกับพหุนามตั้งฉากเดียวกัน ดังนั้น
อย่างไรก็ตาม หากผลคูณสเกลาร์เป็นไปตามเงื่อนไข(ซึ่งเป็นกรณีของการประมาณค่าเชิงตัวเลขแบบเกาส์เซียน) ความสัมพันธ์เวียนเกิดจะลดลงเหลือความสัมพันธ์เวียนเกิดสามพจน์: สำหรับเป็นพหุนามที่มีดีกรีน้อยกว่าหรือเท่ากับr − 1ในทางกลับกันตั้งฉากกับพหุนามทุกตัวที่มีดีกรีน้อยกว่าหรือเท่ากับr − 1ดังนั้นจึงมีและสำหรับs < r − 1ความสัมพันธ์เวียนเกิดจึงลดรูปเหลือเพียง
หรือ
(ตามธรรมเนียม) ที่
(ประการสุดท้ายเนื่องจากเนื่องจากแตกต่างจากโดยมีระดับน้อยกว่าr )
อัลกอริทึม Golub-Welsch
ความสัมพันธ์เวียนเกิดสามพจน์สามารถเขียนในรูปแบบเมทริกซ์ได้โดยที่, คือเวกเตอร์ฐานมาตรฐาน ที่ th นั่น คือ , และJคือเมทริกซ์สามแถว ต่อไปนี้ ซึ่งเรียกว่าเมทริกซ์จาโคบี:
ค่าศูนย์ของพหุนามที่มีดีกรีไม่เกินnซึ่งใช้เป็นจุดสำหรับการคำนวณปริพันธ์แบบเกาส์เซียน สามารถหาได้โดยการคำนวณค่าไอเกนของเมทริกซ์นี้ กระบวนการนี้เรียกว่าอัลกอริทึม Golub– Welsch
ในการคำนวณน้ำหนักและโหนด ควรพิจารณาใช้เมทริกซ์สามเหลี่ยมสมมาตรที่มีองค์ประกอบดังนี้
นั่นคือ
Jและเป็นเมทริกซ์ที่คล้ายกันดังนั้นจึงมีค่าลักษณะเฉพาะ (โหนด) เดียวกัน สามารถคำนวณน้ำหนักได้จากเวกเตอร์ลักษณะเฉพาะ ที่สอดคล้องกัน : ถ้าเป็นเวกเตอร์ลักษณะเฉพาะแบบนอร์มาไลซ์ (กล่าวคือ เวกเตอร์ลักษณะเฉพาะที่มีค่ามาตรฐานแบบยุคลิดเท่ากับหนึ่ง) ที่เกี่ยวข้องกับค่าลักษณะเฉพาะ x jน้ำหนักที่สอดคล้องกันสามารถคำนวณได้จากส่วนประกอบแรกของเวกเตอร์ลักษณะเฉพาะนี้ นั่นคือ:
โดยที่อินทิกรัลของฟังก์ชันน้ำหนักอยู่ ที่ไหน
ดูรายละเอียดเพิ่มเติมได้ที่ ( Gil, Segura & Temme 2007 )
การประมาณค่าความคลาดเคลื่อน
ข้อผิดพลาดของกฎการหาปริพันธ์แบบเกาส์เซียนสามารถระบุได้ดังนี้[ 5 ]สำหรับอินทิกรัลที่มีอนุพันธ์ต่อเนื่อง 2 n สำหรับξ บางตัว ใน( a , b )โดยที่p nเป็นพหุนามเชิงตั้งฉากแบบเอกภาค (กล่าวคือสัมประสิทธิ์นำหน้าคือ1 ) ของดีกรีnและโดยที่
ในกรณีพิเศษที่สำคัญของω ( x ) = 1เรามีการประมาณค่าความคลาดเคลื่อน[ 6 ]
Stoer และ Bulirsch ตั้งข้อสังเกตว่าการประมาณค่าความคลาดเคลื่อนนี้ไม่สะดวกในการใช้งานจริง เนื่องจากอาจเป็นเรื่องยากที่จะประมาณค่าอนุพันธ์อันดับ2n และยิ่งไปกว่านั้น ความคลาดเคลื่อนที่แท้จริงอาจน้อยกว่าขอบเขตที่กำหนดโดยอนุพันธ์ มากแนวทางอื่นคือการใช้กฎการหาปริพันธ์แบบเกาส์เซียนสองกฎที่มีอันดับต่างกัน และประมาณค่าความคลาดเคลื่อนเป็นผลต่างระหว่างผลลัพธ์ทั้งสอง สำหรับจุดประสงค์นี้ กฎการหาปริพันธ์แบบเกาส์เซียน-โครนรอดอาจมีประโยชน์
กฎของเกาส์-โครนรอด
ถ้าช่วง[ a , b ]ถูกแบ่งย่อย จุดประเมินค่าแบบเกาส์ของช่วงย่อยใหม่จะไม่ตรงกับจุดประเมินค่าก่อนหน้า (ยกเว้นที่ศูนย์สำหรับจำนวนคี่) ดังนั้นจึงต้องประเมินค่าอินทิกรัลที่ทุกจุดกฎเกาส์-โครนรอดเป็นส่วนขยายของกฎการหาปริพันธ์แบบเกาส์ที่สร้างขึ้นโดยการเพิ่ม จุด n + 1จุดให้กับ กฎ nจุดในลักษณะที่กฎที่ได้มีลำดับ2n + 1 ซึ่งช่วยให้สามารถคำนวณค่าประมาณลำดับสูงขึ้นได้ในขณะที่ใช้ค่าฟังก์ชันของค่าประมาณลำดับต่ำกว่าซ้ำ ความแตกต่างระหว่างกฎ การหาปริพันธ์แบบเกาส์และส่วนขยายโครนรอดมักใช้เป็นค่าประมาณของข้อผิดพลาดในการประมาณค่า
กฎของเกาส์-โลบัตโต
ในการใช้งานบางอย่าง เป็นที่พึงปรารถนาที่จะมีกฎการหาปริพันธ์เชิงตัวเลขที่มีความแม่นยำสูงเช่นเดียวกับสูตรของเกาส์ แต่ยังรวมถึงจุดปลายของช่วงระหว่างจุดประเมินด้วย กฎดังกล่าวเรียกว่าเกาส์-โลบัตโตหรือเรียกง่ายๆ ว่าการหาปริพันธ์เชิงตัวเลขของโลบัตโต [ 7 ] ซึ่งตั้งชื่อตามนักคณิตศาสตร์ ชาวดัตช์ เรฮูเอล โลบัตโต เนื่องจากสำหรับกฎ nจุด เราไม่สามารถเลือกตำแหน่งของจุดการหาปริพันธ์เชิงตัวเลขทั้งหมดได้อย่างอิสระอีกต่อไป (จุด 2 จุดถูกกำหนดไว้ที่จุดปลาย) เราจึงคาดหวังว่ากฎนี้จะมีความแม่นยำน้อยกว่าการหาปริพันธ์เชิงตัวเลขของเกาส์แบบปกติ อันที่จริงกฎ เกาส์-โลบัตโต nจุดมีความแม่นยำเฉพาะสำหรับพหุนามที่มีดีกรีไม่เกิน2n − 3เท่านั้น[ 8 ]
การหาปริพันธ์เชิงตัวเลขแบบ Lobatto ของฟังก์ชันf ( x )บนช่วง[−1, 1] :
แกน x: x iคือศูนย์ตัวที่ 1 ของโดยที่แทนพหุนามเลอจองเดอร์มาตรฐานดีกรีmและเครื่องหมายขีดแสดงถึงอนุพันธ์
น้ำหนัก:
ส่วนที่เหลือ:
น้ำหนักบางส่วนมีดังนี้:
| จำนวนจุด, n | คะแนน, x i | น้ำหนัก, w i |
|---|---|---|
อัลกอริทึมรูปแบบปรับตัวได้นี้ที่มีโหนดภายใน 2 โหนด[ 9 ] พบได้ในGNU OctaveและMATLABเป็นquadlและ[ 10 ] [ 11 ]integrate
ลิงก์ภายนอก
- "สูตรการหาปริพันธ์ของเกาส์" , สารานุกรมคณิตศาสตร์ , EMS Press , 2001 [1994]
- ALGLIBเป็นชุดอัลกอริธึมสำหรับการหาปริพันธ์เชิงตัวเลข (ในภาษา C# / C++ / Delphi / Visual Basic / เป็นต้น)
- ไลบรารีวิทยาศาสตร์ GNU — ประกอบด้วย อัลกอริทึม QUADPACKเวอร์ชันภาษาC (ดูเพิ่มเติมที่ไลบรารีวิทยาศาสตร์ GNU )
- จากการหาปริพันธ์เชิงตัวเลขแบบ Lobatto ไปสู่ค่าคงที่ของออยเลอร์ e
- กฎการหาปริพันธ์เชิงตัวเลขแบบเกาส์เซียน – บันทึกย่อ, สไลด์นำเสนอ, Matlab, Mathematica, Maple, Mathcadที่Holistic Numerical Methods Institute
- ไวส์สไตน์, เอริก ดับเบิลยู. "Legendre-Gauss Quadrature" . แมทเวิลด์ .
- วิธีการคำนวณเชิงตัวเลขแบบเกาส์เซียน (Gaussian Quadrature)โดย Chris Maes และ Anton Antonov จากโครงการสาธิตของ Wolfram
- ตารางแสดงค่าน้ำหนักและพิกัดแกน x พร้อมซอร์สโค้ดของ Mathematicaความแม่นยำสูง (16 และ 256 ตำแหน่งทศนิยม) ค่าน้ำหนักและพิกัดแกน x ของการคำนวณปริพันธ์แบบ Legendre-Gaussian สำหรับn = 2 ถึงn = 64 พร้อมซอร์สโค้ดของ Mathematica
- ซอร์สโค้ดของ Mathematica เผยแพร่ภายใต้ใบอนุญาต GNU LGPLสำหรับการสร้างพิกัดแกน x และน้ำหนักสำหรับฟังก์ชันถ่วงน้ำหนัก W(x) โดเมนการอินทิเกรต และความแม่นยำแบบใดก็ได้
- การหาค่าประมาณแบบ Gaussian Quadrature ใน Boost.Math สำหรับความแม่นยำและลำดับการประมาณค่าใดๆ ก็ได้
- การคำนวณปริพันธ์เชิงตัวเลขแบบ Gauss–Kronrod ใน Boost.Math
- โหนดและน้ำหนักของการหาปริพันธ์แบบเกาส์เซียน เก็บถาวรเมื่อ 2021-04-14 ที่Wayback Machine
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ การคำนวณเชิงตัวเลขแบบเกาส์เซียน
ใน การวิเคราะห์เชิงตัวเลข กฎการหาปริพันธ์แบบเกาส์เซียน n จุดซึ่ง ตั้ง ชื่อ ตาม คาร์ล ฟรีดริช เกาส์ [ 1 ] เป็น กฎการหาปริพันธ์ ที่สร้างขึ้นเพื่อให้ได้ผลลัพธ์ที่แม่นยำสำหรับ พหุนาม...
การคำนวณเชิงตัวเลขแบบเกาส์-เลอฌ็องเดร
สำหรับปัญหาการอินทิเกรตที่ง่ายที่สุดที่ระบุไว้ข้างต้น กล่าวคือ f ( x ) ได้รับการประมาณค่าที่ดีโดยพหุนามบนพหุนามเชิงตั้งฉากที่เกี่ยวข้องคือ พหุนามเลอ จอง เดอร์ ซึ่งแสดงด้วย Pn ( x ) โดยที่ พหุนามที่ n ได้ รับ การทำให้เป็นมาตรฐานเพื่อให้ได้ Pn ( 1) = 1 โหนด...
การเปลี่ยนแปลงช่วงเวลา
ก่อนนำกฎการหาปริพันธ์แบบเกาส์เซียนมาใช้ จะต้องเปลี่ยน ปริพันธ์ในช่วง [ a , b ] ให้เป็นปริพันธ์ในช่วง [−1, 1] ก่อน การเปลี่ยนช่วงดังกล่าวสามารถทำได้ด้วยวิธีต่อไปนี้: ∫ เอ ข เอฟ ( x ) ง x = ∫ − 1 1 เอฟ ( ข − เอ 2 ξ + เอ + ข 2 ) ง x ง ξ ง ξ {\displaystyle \int...
ตัวอย่างการใช้กฎการหาปริพันธ์แบบเกาส์สองจุด
ใช้กฎการหาปริพันธ์แบบเกาส์สองจุดเพื่อประมาณระยะทางเป็นเมตรที่จรวดเคลื่อนที่จากจุดหนึ่งไปยังอีกจุดหนึ่งตามที่กำหนดโดย t = 8 s {\displaystyle t=8\mathrm {s} } t = 30 s , {\displaystyle t=30\mathrm {s} ,} s = ∫ 8 30 ( 2000 ln [ 140000 140000 − 2100 t ] − 9.