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

อ่าน 24 นาที

การคำนวณเชิงตัวเลขแบบเกาส์เซียน

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

การคำนวณเชิงตัวเลขแบบเกาส์เซียน

การเปรียบเทียบระหว่างการหาปริพันธ์แบบเกาส์เซียน 2 จุดและการหาปริพันธ์แบบสี่เหลี่ยมคางหมู
การเปรียบเทียบระหว่างการหาปริพันธ์แบบเกาส์เซียน 2 จุดและการหาปริพันธ์แบบสี่เหลี่ยมคางหมูเส้นโค้งสีน้ำเงินแสดงฟังก์ชันที่ต้องการคำนวณ ปริพันธ์จำกัดในช่วง [−1, 1] (ตัวถูกหาปริพันธ์) กฎสี่เหลี่ยมคางหมูประมาณค่าฟังก์ชันด้วยฟังก์ชันเชิงเส้นที่ตรงกับตัวถูกหาปริพันธ์ที่จุดปลายของช่วง และแสดงด้วยเส้นประสีส้ม การประมาณค่านี้เห็นได้ชัดว่าไม่ดี ดังนั้นจึงมีข้อผิดพลาดมาก ( กฎสี่เหลี่ยมคางหมูให้ค่าประมาณของปริพันธ์เท่ากับy (−1) + y (1) = −10ในขณะที่ค่าที่ถูกต้องคือ23 ) เพื่อให้ได้ผลลัพธ์ที่แม่นยำยิ่งขึ้น ต้องแบ่งช่วงออกเป็นช่วงย่อยหลายช่วง จากนั้นจึงใช้กฎสี่เหลี่ยมคางหมูแบบผสม ซึ่งต้องใช้การคำนวณมากขึ้น การหา ปริพันธ์แบบเกาส์เซียนเลือกจุดที่เหมาะสมกว่า ดังนั้นแม้แต่ฟังก์ชันเชิงเส้นก็ยังประมาณค่าฟังก์ชันได้ดีกว่า (เส้นประสีดำ) เนื่องจากตัว ถูกอินทิเกรตคือพหุนามดีกรีสาม y(x) = 7x³ − 8x² 3x + 3 ดังนั้นกฎการหาปริพันธ์เชิงตัวเลขแบบเกาส์เซียน 2 จุดจึงให้ผลลัพธ์ที่แม่นยำ

ในการวิเคราะห์เชิงตัวเลขกฎการหาปริพันธ์แบบเกาส์เซียน 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คือรากของพหุนามที่อยู่ในกลุ่มพหุนามเชิงตั้งฉาก (กลุ่มที่ตั้งฉากกันโดยสัมพันธ์กับผลคูณภายในแบบถ่วงน้ำหนัก) นี่เป็นข้อสังเกตที่สำคัญสำหรับการคำนวณจุดควอดราเจอร์และน้ำหนักของเกาส์

การคำนวณเชิงตัวเลขแบบเกาส์-เลอฌ็องเดร

กราฟของพหุนามเลอจองเดอร์ (ถึงn = 5)

สำหรับปัญหาการอินทิเกรตที่ง่ายที่สุดที่ระบุไว้ข้างต้น กล่าวคือ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 )เป็นพหุนามใดๆ ที่มีดีกรี2n1หรือน้อยกว่า หารด้วยพหุนามเชิงตั้งฉาก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

สูตรทั่วไปสำหรับน้ำหนัก

สามารถแสดงค่าน้ำหนักได้ดังนี้

โดยที่คือสัมประสิทธิ์ของใน เพื่อ พิสูจน์สิ่งนี้ โปรดสังเกตว่าการใช้การแทรกสอดแบบลากรางจ์เราสามารถแสดงr ( x )ในรูปของ ได้เนื่องจาก r ( x )มีดีกรีน้อยกว่าnและถูกกำหนดโดยค่าที่มันได้รับ ณ จุดต่างๆ nจุด การคูณทั้งสองข้างด้วยω ( x )และการอินทิเกรตจากaถึงbจะได้

ดังนั้น น้ำหนักw iจึงกำหนดโดย

นิพจน์ปริพันธ์สำหรับสามารถแสดงได้ในรูปของพหุนามเชิงตั้งฉากดังต่อไปนี้

เราสามารถเขียนได้

โดยที่คือสัมประสิทธิ์ของในการหาลิมิตของxไปยังจะได้ โดยใช้กฎของโลปิตาล

ดังนั้นเราจึงสามารถเขียนนิพจน์ปริพันธ์สำหรับน้ำหนักได้ดังนี้

ในอินทิกรัล เขียนว่า

ผลผลิต

โดยมีเงื่อนไขว่า 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
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Gaussian_quadrature&oldid=1360615687 "

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ การคำนวณเชิงตัวเลขแบบเกาส์เซียน

ใน การวิเคราะห์เชิงตัวเลข กฎการหาปริพันธ์แบบเกาส์เซียน 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.