อ่าน 30 นาที
ฟังก์ชันข้อผิดพลาด
ใน ทางคณิตศาสตร์ ฟังก์ชัน ข้อผิดพลาด (เรียกอีกอย่างว่า ฟังก์ชันข้อผิดพลาดของเกาส์ ) ซึ่งมักจะแสดงด้วยคือฟังก์ชัน [ 1 ] อี ร เอฟ {\displaystyle \mathbf {erf} } เอิร์ฟ ( z ) = 2 π...
ฟังก์ชันข้อผิดพลาด
ในทางคณิตศาสตร์ฟังก์ชันข้อผิดพลาด (เรียกอีกอย่างว่าฟังก์ชันข้อผิดพลาดของเกาส์ ) ซึ่งมักจะแสดงด้วยคือฟังก์ชัน[ 1 ]
| ฟังก์ชันข้อผิดพลาด | |
|---|---|
กราฟแสดงฟังก์ชันความคลาดเคลื่อนเทียบกับจำนวนจริง | |
| ข้อมูลทั่วไป | |
| คำจำกัดความทั่วไป | |
| ขอบเขตการประยุกต์ใช้ | ความน่าจะเป็น, อุณหพลศาสตร์, การสื่อสารดิจิทัล |
| โดเมน โคโดเมน และรูปภาพ | |
| โดเมน | |
| ภาพ | |
| คุณสมบัติพื้นฐาน | |
| ความเท่าเทียมกัน | แปลก |
| คุณลักษณะเฉพาะ | |
| ราก | 0 |
| อนุพันธ์ | |
| แอนตี้อนุพันธ์ | |
| คำจำกัดความของชุดข้อมูล | |
| ซีรี่ส์เทย์เลอร์ | |
อินทิกรัลในที่นี้เป็นอินทิกรัลเส้นโค้ง เชิงซ้อน ซึ่งไม่ขึ้นกับเส้นทางเพราะเป็นฟังก์ชันโฮโลมอร์ฟิกบนระนาบเชิงซ้อนทั้งหมดในหลายกรณี ค่าของฟังก์ชันจะเป็นจำนวนจริงซึ่งในกรณีนี้ค่าของฟังก์ชันก็จะเป็นจำนวนจริงด้วย
ในตำราเก่าบางเล่ม[ 2 ]ฟังก์ชันข้อผิดพลาดถูกกำหนดโดยไม่มีปัจจัยของอินทิกรัลที่ไม่ใช่พื้นฐานนี้เป็น ฟังก์ชัน ซิกมอยด์ซึ่งมักเกิดขึ้นในความน่าจะเป็น สถิติและสม การ เชิง อนุพันธ์ย่อย
ในทางสถิติ สำหรับค่าจริงที่ไม่เป็นลบของฟังก์ชันความคลาดเคลื่อนมีความหมายดังนี้: สำหรับตัวแปรสุ่ม จริง ที่กระจายแบบปกติโดยมีค่าเฉลี่ย 0 และส่วนเบี่ยงเบนมาตรฐานคือความน่าจะเป็นที่ ตก อยู่ ในช่วง
ฟังก์ชันสองอย่างที่เกี่ยวข้องกันอย่างใกล้ชิดคือฟังก์ชันข้อผิดพลาดเสริม
และฟังก์ชันข้อผิดพลาดเชิงจินตนาการ
หน่วย จินตนาการอยู่ที่ไหน
ชื่อ
ชื่อ "ฟังก์ชันข้อผิดพลาด" และคำย่อของมันถูกเสนอโดยJWL Glaisherในปี พ.ศ. 2414 เนื่องมาจากความเชื่อมโยงกับ "ทฤษฎีความน่าจะเป็น และโดยเฉพาะอย่างยิ่งทฤษฎีข้อผิดพลาด " [ 3 ] Glaisher ยังได้กล่าวถึงฟังก์ชันข้อผิดพลาดเสริมในสิ่งพิมพ์แยกต่างหากในปีเดียวกัน[ 4 ]สำหรับ "กฎของความสะดวก" ของข้อผิดพลาดซึ่งความหนาแน่นกำหนดโดย
( การแจกแจงแบบปกติ ) เกลเชอร์คำนวณความน่าจะเป็นของข้อผิดพลาดที่อยู่ระหว่างและเป็น
แอปพลิเคชัน
เมื่อผลลัพธ์ของการวัดหลายครั้งถูกอธิบายด้วยการแจกแจงแบบปกติโดยมีค่าเบี่ยงเบนมาตรฐาน และค่าเฉลี่ยเป็นศูนย์แล้ว
คือความน่าจะเป็นที่ค่าความคลาดเคลื่อนของการวัดแต่ละครั้งจะอยู่ระหว่างและซึ่งมีประโยชน์ เช่น ในการกำหนดอัตราความผิดพลาดของบิตในระบบสื่อสารดิจิทัล
ฟังก์ชันข้อผิดพลาดและฟังก์ชันข้อผิดพลาดเสริมเกิดขึ้น ตัวอย่างเช่น ในการแก้สมการความร้อนเมื่อเงื่อนไขขอบเขตกำหนดโดย ฟังก์ชันขั้นบันได ของ Heaviside
ฟังก์ชันความคลาดเคลื่อนและการประมาณค่าของฟังก์ชันดังกล่าวสามารถใช้ในการประเมินผลลัพธ์ที่เกิดขึ้นด้วยความน่าจะเป็นสูงหรือความน่าจะเป็นต่ำได้ เมื่อกำหนดตัวแปรสุ่มที่มีการแจกแจงแบบปกติโดยมีค่าเฉลี่ยและส่วนเบี่ยงเบนมาตรฐานและค่าคงที่จะสามารถแสดงได้ (โดยการอินทิเกรตโดยการแทนที่ ) ว่า
โดยที่และเป็นค่าคงที่เชิงตัวเลขบางค่า ถ้าอยู่ห่างจากค่าเฉลี่ยมากพอ โดยเฉพาะอย่างยิ่งถ้า แล้ว
ดังนั้นความน่าจะเป็นจึงเข้าใกล้ 0 เมื่อ.
ความน่าจะเป็นที่จะอยู่ในช่วงเวลานั้นสามารถคำนวณได้ดังนี้
คุณสมบัติ
ฟังก์ชันความคลาดเคลื่อนเป็นฟังก์ชันคี่ซึ่งเป็นผลโดยตรงจากข้อเท็จจริงที่ว่าตัวถูกอินทิเกรตเป็นฟังก์ชันคู่ (เนื่องจากปฏิอนุพันธ์ของฟังก์ชันคู่ซึ่งมีค่าเป็นศูนย์ที่จุดกำเนิดจะเป็นฟังก์ชันคี่ และในทางกลับกัน)
เนื่องจากฟังก์ชันข้อผิดพลาดเป็นฟังก์ชันสมบูรณ์ที่แปลงจำนวนจริงเป็นจำนวนจริง ดังนั้นสำหรับจำนวนเชิงซ้อน ใด ๆ
โดยที่หมายถึงค่า สังยุคเชิงซ้อนของ
ฟังก์ชันความคลาดเคลื่อนที่จุดคือ(ดูอินทิกรัลเกาส์เซียน ) ที่แกนจริง ค่า จะเข้าใกล้ ที่และที่ที่แกนจินตภาพ ค่าจะเข้าใกล้
ซีรี่ส์เทย์เลอร์
ฟังก์ชันความคลาดเคลื่อนเป็นฟังก์ชันสมบูรณ์ กล่าวคือ ไม่มีจุดเอกฐาน (ยกเว้นที่อนันต์) และการกระจายอนุกรมเทย์เลอร์ ของฟังก์ชันนี้ จะลู่เข้าเสมออย่างไรก็ตาม สำหรับค่า การตัดทอนของพจน์นำหน้าทำให้การกระจายอนุกรมเทย์เลอร์ไม่สามารถใช้งานได้จริง
อินทิกรัลที่กำหนดไม่สามารถประเมินในรูปแบบปิดโดยใช้ฟังก์ชันพื้นฐาน ได้ (ดูทฤษฎีบทของ Liouville ) แต่โดยการขยายอินทิกรัล เป็นอนุกรม Maclaurin ของมัน อินทิเกรตทีละพจน์[ 5 ]และใช้ข้อเท็จจริงที่ว่าจะได้อนุกรม Maclaurin ของฟังก์ชันข้อผิดพลาดดังนี้: ซึ่งใช้ได้กับจำนวนเชิงซ้อนทุกตัว พจน์ตัวส่วนสร้างลำดับA007680ในOEISนี่เป็นกรณีพิเศษของฟังก์ชันของ Kummer :
สำหรับการคำนวณแบบวนซ้ำของอนุกรมข้างต้น สูตรทางเลือกต่อไปนี้อาจมีประโยชน์: เนื่องจาก
แสดงตัวคูณเพื่อเปลี่ยนพจน์ที่ -th ให้เป็นพจน์ที่ -th (โดยถือว่าเป็นพจน์แรก)
ฟังก์ชันข้อผิดพลาดเชิงจินตนาการมีอนุกรมแมคลาลินที่คล้ายกัน ซึ่งใช้ได้กับจำนวนเชิงซ้อน ทุก จำนวน
อนุพันธ์และปริพันธ์
อนุพันธ์ของฟังก์ชันข้อผิดพลาดได้มาโดยตรงจากนิยาม: จากนี้ อนุพันธ์ของฟังก์ชันข้อผิดพลาดเชิงจินตนาการก็ได้ทันทีเช่นกัน: อนุพันธ์ลำดับสูงกว่ากำหนดโดย โดย ที่ คือ พหุนามเฮอร์ไมต์ของนักฟิสิกส์[ 6 ]
อนุพันธ์ผกผันของฟังก์ชันความคลาดเคลื่อน ซึ่งหาได้โดยการอินทิเกรตแบบแยกส่วนคือ อนุพันธ์ผกผันของฟังก์ชันความคลาดเคลื่อนเชิงจินตนาการ ซึ่งหาได้โดยการอินทิเกรตแบบแยกส่วนเช่นกัน คือ
ซีรีส์บือมันน์
การขยายที่ลู่เข้าได้เร็วกว่าการขยายเทย์เลอร์ สำหรับค่าจริงทั้งหมดของ [ 7 ]ได้มาจากการใช้ทฤษฎีบทของบือร์มันน์ : [ 8 ] โดยที่คือฟังก์ชันเครื่องหมายโดยการเก็บสัมประสิทธิ์สองตัวแรกไว้และเลือกและการประมาณค่าที่ได้จะแสดงข้อผิดพลาดสัมพัทธ์ ที่ใหญ่ที่สุด ที่ซึ่งมีค่าน้อยกว่า:
ฟังก์ชันผกผัน

สำหรับจำนวนเชิงซ้อนไม่มีจำนวนเชิงซ้อน เพียงจำนวน เดียว ที่ สอดคล้องกับเงื่อนไขดังนั้นฟังก์ชันผกผันที่แท้จริงจึงต้องมีหลายค่า อย่างไรก็ตาม สำหรับ จะมีจำนวนจริง เพียงจำนวนเดียวที่สอดคล้องกับ เงื่อนไข
ฟังก์ชันข้อผิดพลาดผกผันมักจะถูกกำหนดด้วยโดเมนและถูกจำกัดไว้ที่โดเมนนี้ใน ระบบ พีชคณิตคอมพิวเตอร์ หลาย ระบบ อย่างไรก็ตาม สามารถขยายไปยังดิสก์ของระนาบเชิงซ้อนได้โดยใช้ชุด Maclaurin [ 9 ] โดยที่และ
ดังนั้นเราจึงได้การกระจายอนุกรม (ตัวประกอบร่วมถูกตัดออกจากตัวเศษและตัวส่วนแล้ว):
(หลังจากตัดค่าตัวเศษและตัวส่วนใน (ลำดับA092676ในOEIS ) และ (ลำดับA092677ในOEIS ) ตามลำดับ; หากไม่ตัดค่า ตัวเศษจะเป็นค่าใน (ลำดับA002067ในOEIS )) ค่าของฟังก์ชันข้อผิดพลาดที่เท่ากับ.
เพราะว่าเรามี...
ฟังก์ชันข้อผิดพลาดเสริมผกผันถูกกำหนดเป็น สำหรับจำนวนจริงจะมีจำนวนจริงที่ ไม่ ซ้ำ กันซึ่งสอดคล้องกับ ฟังก์ชันข้อผิดพลาด จินตนาการผกผันถูกกำหนดเป็น[ 10 ]
สำหรับจำนวนจริงใดๆวิธีของนิวตันสามารถใช้คำนวณได้และสำหรับค่า อนุกรมแมคลาลินต่อไปนี้จะลู่เข้า:
โดยที่ถูกกำหนดไว้ดังข้างต้น
การขยายตัวเชิงเส้นกำกับ
การขยายอนุกรมเชิงอะซิมโทติกที่มีประโยชน์ของฟังก์ชันข้อผิดพลาดเสริม (และด้วยเหตุนี้จึงเป็นฟังก์ชันข้อผิดพลาดด้วย) สำหรับจำนวนจริงขนาดใหญ่คือ โดยที่คือแฟกทอเรียลคู่ของนั่นคือ ผลคูณของจำนวนคี่ทั้งหมดจนถึงอนุกรมนี้ลู่เข้าสำหรับทุกๆ ค่าจำกัดและความหมายของมันในฐานะการขยายอนุกรมเชิงอะซิมโทติกคือ สำหรับจำนวนเต็ม ใดๆ จะมี
โดยส่วนที่เหลือคือ
ซึ่งสรุปได้ง่ายๆ โดยการอุปมาน เขียนว่า
และการอินทิเกรตโดยใช้การแยกส่วน พฤติกรรมเชิงอะซิมโทติกของพจน์ที่เหลือคือ
เช่น. สามารถค้นหาได้โดย
สำหรับค่า n ที่มากพอจะใช้เพียงไม่กี่พจน์แรกของการขยายอนุกรมเชิงอะซิมโทติกนี้เท่านั้นเพื่อให้ได้ค่าประมาณที่ดีของ n (ในขณะที่สำหรับค่า n ที่ไม่มากเกินไปการขยายอนุกรมเทย์เลอร์ข้างต้นที่ n = 0 จะให้การล convergence ที่รวดเร็วมาก)
การขยายเศษส่วนต่อเนื่อง
การ ขยาย เศษส่วนต่อเนื่องของฟังก์ชันข้อผิดพลาดเสริมพบโดยLaplace : [ 11 ] [ 12 ] โดยที่.
อนุกรมแฟกทอเรียล
อนุกรมแฟกทอเรียลผกผัน
ลู่เข้าสำหรับที่นี่
โดยที่หมายถึงแฟกทอเรียลที่เพิ่มขึ้นและหมายถึง จำนวนสเตอร์ลิงที่มี เครื่องหมายชนิดแรก[ 13 ] [ 14 ] อนุกรมเทย์เลอร์สามารถเขียนได้ในรูปของแฟกทอเรียลคู่ :
ขอบเขตและการประมาณค่าเชิงตัวเลข
การประมาณค่าด้วยฟังก์ชันพื้นฐาน
Abramowitz และ Stegunได้นำเสนอค่าประมาณหลายค่าที่มีความแม่นยำแตกต่างกัน (สมการ 7.1.25–28) ซึ่งช่วยให้สามารถเลือกค่าประมาณที่เร็วที่สุดและเหมาะสมสำหรับการใช้งานที่กำหนดได้ โดยเรียงลำดับตามความแม่นยำจากน้อยไปมาก ได้แก่: (ข้อผิดพลาดสูงสุด:5 × 10 −4 )
โดยที่a 1 = 0.278393 , a 2 = 0.230389 , a 3 = 0.000972 , a 4 = 0.078108
(ข้อผิดพลาดสูงสุด:2.5 × 10 −5 )
โดยที่p = 0.47047 , a 1 = 0.3480242 , a 2 = −0.0958798 , a 3 = 0.7478556
(ข้อผิดพลาดสูงสุด:3 × 10 −7 )
โดยที่a 1 = 0.0705230784 , a 2 = 0.0422820123 , a 3 = 0.0092705272 , a 4 = 0.0001520143 , a 5 = 0.0002765672 , a 6 = 0.0000430638
(ข้อผิดพลาดสูงสุด:1.5 × 10 −7 )
โดยที่p = 0.3275911 , a 1 = 0.254829592 , a 2 = −0.284496736 , a 3 = 1.421413741 , a 4 = −1.453152027 , a 5 = 1.061405429
สามารถปรับปรุงความแม่นยำของการประมาณค่า A&S ได้โดยการขยายด้วยพารามิเตอร์เพิ่มเติมอีกสามตัว โดย ที่ p1 = 0.406742016006509, p2 = 0.0072279182302319, a1 = 0.316879890481381, a2 = -0.138329314150635, a3 = 1.08680830347054, a4 = -1.11694155120396, a5 = 1.20644903073232, a6 = -0.393127715207728, a7 = 0.0382613542530727 ค่าความคลาดเคลื่อนสูงสุดของการประมาณค่านี้อยู่ที่ประมาณ2 × 10 −9พารามิเตอร์ได้มาจากการปรับค่าประมาณแบบขยายให้เข้ากับค่าที่แม่นยำของฟังก์ชันข้อผิดพลาดโดยใช้โค้ด Python ต่อไปนี้
โค้ด Python สำหรับปรับให้เข้ากับการประมาณค่า A&S แบบขยาย |
|---|
import numpy as np from math import erf , exp , sqrt from scipy.optimize import least_squares# # การประมาณค่า A&S แบบขยาย: # erf(x) ≈ 1 − t * exp(−x^2) * (a1 + a2*t + a3*t^2 + ... + a7*t^6) # โดยที่ตอนนี้# t = 1 / (1 + p1*x + p2*x^2) # เราปรับค่าพารามิเตอร์ p1, p2, a1..a7 ให้เข้ากับค่า x ในช่วง [0, 10] #def approx_erf ( params , x ): p1 = params [ 0 ] p2 = params [ 1 ] a = params [ 2 :]t = 1.0 / ( 1.0 + p1 * x + p2 * x * x )poly = np.zeros_like ( x ) tt = np.ones_like ( x ) # t ^ 0# พหุนาม: a1*t^0 + a2*t^1 + ... + a7*t^6 สำหรับak ในa : poly += ak * tt tt *= tคืนค่า1.0 - t * np . exp ( - x * x ) * polydef residuals ( params , xs , ys ): return approx_erf ( params , xs ) - ys# # เตรียมข้อมูลสำหรับการปรับให้เหมาะสม#N = 300 xmin = 0 xmax = 10 xs = np.linspace ( xmin , xmax , N ) ys = np.array ( [ erf ( x ) for x in xs ] , dtype = float )# # การคาดเดาเบื้องต้นสำหรับพารามิเตอร์# เริ่มจากค่า A&S เดิมและขยายค่าอย่างระมัดระวัง#p1_0 = 0.3275911 # ค่า p เดิมของ A&S p2_0 = 0.0 # พารามิเตอร์ตัวหารใหม่# สัมประสิทธิ์ A&S เดิม 5 ตัว บวกเพิ่มอีกสองตัว => รวมเป็น 7 ตัวa0 = [ 0.254829592 , - 0.284496736 , 1.421413741 , - 1.453152027 , 1.061405429 , 0.0 , # พจน์ใหม่0.0 , # พจน์ใหม่อีกตัว]params0 = np.array ( [ p1_0 , p2_0 ] + a0 , dtype = float )# # ปรับให้เหมาะสมโดยใช้วิธีกำลังสองน้อยที่สุดแบบไม่เชิงเส้น (Levenberg–Marquardt) #ผลลัพธ์= least_squares ( residuals , params0 , args = ( xs , ys ), xtol = 1e-14 , ftol = 1e-14 , gtol = 1e-14 , max_nfev = 5000 )params = ผลลัพธ์. x p1_fit = params [ 0 ] p2_fit = params [ 1 ] a_fit = params [ 2 :]# # พิมพ์พารามิเตอร์ที่เหมาะสม#print ( " \n พารามิเตอร์ที่ปรับแล้ว:" ) print ( f "p1 = { p1_fit : .15g } ," ) print ( f "p2 = { p2_fit : .15g } ," ) for i , ai in enumerate ( a_fit , 1 ): print ( f "a { i } = { ai : .15g } ," )# # ประเมินข้อผิดพลาดในการประมาณค่า#approx_vals = approx_erf ( params , xs ) abs_err = np.abs ( approx_vals - ys )print ( f " \n ค่าความคลาดเคลื่อนสัมบูรณ์สูงสุดบน [ { xmin } , { xmax } ]:" , np.max ( abs_err ) ) print ( " ค่า ความคลาดเคลื่อน RMS:" , np.sqrt ( np.mean ( abs_err ** 2 ) )) print ( " เสร็จสิ้น" ) |
การ ประมาณ ค่าทั้งหมดนี้ใช้ได้สำหรับx ≥ 0ในการใช้การประมาณค่าเหล่านี้สำหรับx ที่เป็นลบ ให้ใช้ข้อเท็จจริงที่ว่าerf( x )เป็นฟังก์ชันคี่ ดังนั้นerf( x ) = −erf(− x )
ขอบเขตเลขชี้กำลังและการประมาณเลขชี้กำลังบริสุทธิ์สำหรับฟังก์ชันข้อผิดพลาดเสริมจะได้รับจาก[ 15 ]
ข้างต้นได้รับการสรุปทั่วไปเป็นผลรวมของเลขชี้กำลังN [ 16 ]ที่มีความแม่นยำเพิ่มขึ้นตามNเพื่อให้erfc( x )สามารถประมาณหรือจำกัดได้อย่างแม่นยำโดย2 Q̃ ( √ 2 x )โดย เฉพาะอย่างยิ่ง มีระเบียบวิธีที่เป็นระบบในการแก้ปัญหาค่าสัมประสิทธิ์เชิงตัวเลข{( a n , b n )}N n = 1ซึ่งให้ค่า ประมาณ มินิแม็กซ์หรือขอบเขตสำหรับฟังก์ชัน Q ที่เกี่ยวข้องอย่างใกล้ชิด : Q ( x ) ≈ Q̃ ( x ) , Q ( x ) ≤ Q̃ ( x )หรือQ ( x ) ≥ Q̃ ( x )สำหรับx ≥ 0สัมประสิทธิ์{( a n , b n )}N n = 1สำหรับรูปแบบต่างๆ ของการประมาณค่าเลขชี้กำลังและขอบเขตจนถึงN = 25ได้รับการเผยแพร่สู่การเข้าถึงแบบเปิดในฐานะชุดข้อมูลที่ครอบคลุม[ 17 ]
A tight approximation of the complementary error function for x ∈ [0,∞) is given by Karagiannidis & Lioumpas (2007),[18] who showed for the appropriate choice of parameters {A,B} that They determined {A,B} = {1.98,1.135}, which gave a good approximation for all x ≥ 0. Alternative coefficients are also available for tailoring accuracy for a specific application or transforming the expression into a tight bound.[19]
A single-term lower bound is[20] where the parameter β can be picked to minimize error on the desired interval of approximation.
Another approximation is given by Sergei Winitzki using his "global Padé approximations":[21][22]: 2–3 where This is designed to be very accurate in the neighborhoods of 0 and infinity, and the relative error is less than 0.00035 for all real x. Using the alternate value a ≈ 0.147 reduces the maximum relative error to about 0.00013.[23]
The extended "global Pade" approximation, provides a maximum error of about 2×10−9, as demonstrated by the following Python script.
Python script to fit extended "global Pade" approximation |
|---|
importnumpy,mathfromscipy.optimizeimportleast_squares# approximation to erf(x)def approx_erf ( p , x ): frac = ( 4 + p [ 0 ] * x ** 2 + p [ 1 ] * x ** 4 + p [ 2 ] * x ** 6 ) / ( math . pi + p [ 3 ] * x ** 2 + p [ 4 ] * x ** 4 + p [ 5 ] * x ** 6 ) return numpy . sign ( x ) * numpy . sqrt ( 1 - numpy . exp ( - x * x * frac ))def residuals ( params , xs , ys ): return approx_erf ( params , xs ) - ys# ข้อมูลสำหรับการปรับให้เหมาะสมN = 200 xmin = 0 xmax = 9 xs = numpy.linspace ( xmin , xmax , N ) ys = numpy.array ( [ math.erf ( x ) for x in xs ] , dtype = float ) params0 = numpy.array ( [ 0.9 , 0.1 , 0.008 , 0.8 , 0.1 , 0.008 ] , dtype = float )# ฟิตติ้งผลลัพธ์= least_squares ( residuals , params0 , args = ( xs , ys ), xtol = 1e-14 , ftol = 1e-14 , gtol = 1e-14 , max_nfev = 5000 ) params = ผลลัพธ์. x# พิมพ์ค่าพารามิเตอร์ที่ปรับแต่งแล้วออกมาprint ( " \n พารามิเตอร์ที่ปรับแล้ว:" ) สำหรับi , pi ในenumerate ( params , 0 ): print ( f "p { i } = { pi : .15g } ," )# ประเมินข้อผิดพลาดในการประมาณค่าapprox_vals = approx_erf ( params , xs ) abs_err = numpy.abs ( approx_vals - ys )print ( f " \n ค่าความคลาดเคลื่อนสัมบูรณ์สูงสุดบน [ { xmin } , { xmax } ]:" , numpy.max ( abs_err )) print ( " ค่า ความคลาดเคลื่อนRMS:" , numpy.sqrt ( numpy.mean ( abs_err ** 2 ) )) print ( " เสร็จสิ้น" ) |
สามารถกลับการประมาณของ Winitzki เพื่อให้ได้ค่าประมาณสำหรับฟังก์ชันข้อผิดพลาดผกผันได้:
การประมาณค่าที่มีข้อผิดพลาดสูงสุดเท่ากับ1.2 × 10 −7สำหรับอาร์กิวเมนต์จริงใดๆ คือ: [ 24 ]
การประมาณค่าด้วยข้อผิดพลาดสัมพัทธ์สูงสุดที่น้อยกว่าค่าสัมบูรณ์คือ: [ 25 ] สำหรับและ สำหรับ
การประมาณค่าอย่างง่ายสำหรับค่าอาร์กิวเมนต์ที่เป็นจำนวนจริงสามารถทำได้โดยใช้ฟังก์ชันไฮเปอร์โบลิกซึ่ง จะคงค่าความแตกต่างสัมบูรณ์ไว้
เนื่องจากฟังก์ชันข้อผิดพลาดและฟังก์ชัน Q ของเกาส์เซียนมีความสัมพันธ์กันอย่างใกล้ชิดผ่านเอกลักษณ์หรือเทียบเท่า ขอบเขตที่พัฒนาขึ้นสำหรับฟังก์ชัน Q สามารถปรับใช้เพื่อประมาณฟังก์ชันข้อผิดพลาดเสริมได้ Abreu (2012) [ 26 ]ได้แนะนำขอบเขตล่างและขอบเขตบนที่แน่นหนาของฟังก์ชัน Q ของเกาส์เซียนสำหรับอาร์กิวเมนต์ที่เป็นบวก โดยอาศัย นิพจน์พีชคณิตอย่างง่ายที่มีเพียงสองพจน์เลขชี้กำลังเท่านั้น:
ขอบเขตเหล่านี้มาจากรูปแบบที่เป็นเอกภาพโดยที่พารามิเตอร์และถูกเลือกเพื่อให้มั่นใจถึงคุณสมบัติการจำกัดขอบเขต: สำหรับขอบเขตล่าง คือและและสำหรับขอบเขตบน คือและนิพจน์เหล่านี้รักษาความเรียบง่ายและความกระชับ ทำให้เกิดความสมดุลที่ ใช้งานได้จริง ระหว่างความแม่นยำและความง่ายในการคำนวณ โดยเฉพาะอย่างยิ่งมีคุณค่าในบริบททางทฤษฎี เช่น ทฤษฎีการสื่อสารผ่านช่องสัญญาณเฟดดิ้ง ซึ่งฟังก์ชันทั้งสองปรากฏบ่อยครั้ง นอกจากนี้ ขอบเขตของฟังก์ชัน Q ดั้งเดิมสามารถขยายไปยังสำหรับจำนวนเต็มบวกผ่านทฤษฎีบททวินามซึ่งชี้ให้เห็นถึงศักยภาพในการปรับตัวสำหรับกำลังของแม้ว่าสิ่งนี้จะไม่ค่อยจำเป็นในแอปพลิเคชันฟังก์ชันข้อผิดพลาดก็ตาม
ตารางค่าต่างๆ
| x | erf( x ) | 1 − erf( x ) |
|---|---|---|
| 0 | 0 | 1 |
| 0.02 | 0.022 564 575 | 0.977 435 425 |
| 0.04 | 0.045 111 106 | 0.954 888 894 |
| 0.06 | 0.067 621 594 | 0.932 378 406 |
| 0.08 | 0.090 078 126 | 0.909 921 874 |
| 0.1 | 0.112 462 916 | 0.887 537 084 |
| 0.2 | 0.222 702 589 | 0.777 297 411 |
| 0.3 | 0.328 626 759 | 0.671 373 241 |
| 0.4 | 0.428 392 355 | 0.571 607 645 |
| 0.5 | 0.520 499 878 | 0.479 500 122 |
| 0.6 | 0.603 856 091 | 0.396 143 909 |
| 0.7 | 0.677 801 194 | 0.322 198 806 |
| 0.8 | 0.742 100 965 | 0.257 899 035 |
| 0.9 | 0.796 908 212 | 0.203 091 788 |
| 1 | 0.842 700 793 | 0.157 299 207 |
| 1.1 | 0.880 205 070 | 0.119 794 930 |
| 1.2 | 0.910 313 978 | 0.089 686 022 |
| 1.3 | 0.934 007 945 | 0.065 992 055 |
| 1.4 | 0.952 285 120 | 0.047 714 880 |
| 1.5 | 0.966 105 146 | 0.033 894 854 |
| 1.6 | 0.976 348 383 | 0.023 651 617 |
| 1.7 | 0.983 790 459 | 0.016 209 541 |
| 1.8 | 0.989 090 502 | 0.010 909 498 |
| 1.9 | 0.992 790 429 | 0.007 209 571 |
| 2 | 0.995 322 265 | 0.004 677 735 |
| 2.1 | 0.997 020 533 | 0.002 979 467 |
| 2.2 | 0.998 137 154 | 0.001 862 846 |
| 2.3 | 0.998 856 823 | 0.001 143 177 |
| 2.4 | 0.999 311 486 | 0.000 688 514 |
| 2.5 | 0.999 593 048 | 0.000 406 952 |
| 3 | 0.999 977 910 | 0.000 022 090 |
| 3.5 | 0.999 999 257 | 0.000 000 743 |
ฟังก์ชันที่เกี่ยวข้อง
ฟังก์ชันข้อผิดพลาดเสริม

ฟังก์ชันข้อผิดพลาดเสริมซึ่งแสดงด้วยerfcถูกกำหนดเป็น ซึ่งยังกำหนดerfcxซึ่งเป็นฟังก์ชันข้อผิดพลาดเสริมแบบปรับขนาด[ 27 ] (ซึ่งสามารถใช้แทนerfcเพื่อหลีกเลี่ยงการอันเดอร์โฟลว์ทางคณิตศาสตร์[ 27 ] [ 28 ] ) รูปแบบอื่นของerfc xสำหรับx ≥ 0เรียกว่าสูตรของเครก ตามชื่อผู้ค้นพบ: [ 29 ] นิพจน์นี้ใช้ได้เฉพาะกับค่าบวกของx เท่านั้น แต่สามารถใช้ร่วมกับerfc( x ) = 2 − erfc(− x )เพื่อให้ได้erfc( x )สำหรับค่าลบ รูปแบบนี้มีข้อดีตรงที่ช่วงของการอินทิเกรตคงที่และจำกัด การขยายนิพจน์นี้สำหรับerfcของผลรวมของตัวแปรที่ไม่เป็นลบสองตัวคือ[ 30 ]
ฟังก์ชันข้อผิดพลาดเชิงจินตนาการ

ฟังก์ชันข้อผิดพลาดจินตนาการซึ่งแสดงด้วยerfiถูกกำหนดเป็น โดย ที่D ( x )คือฟังก์ชัน Dawson (ซึ่งสามารถใช้แทนerfiเพื่อหลีกเลี่ยงการล้นทางคณิตศาสตร์[ 27 ] )
แม้จะมีชื่อว่า "ฟังก์ชันข้อผิดพลาดเชิงจินตนาการ" แต่erfi( x )จะเป็นค่าจริงเมื่อxเป็นค่าจริง
เมื่อประเมินฟังก์ชันข้อผิดพลาดสำหรับอาร์กิวเมนต์เชิงซ้อนz ใดๆ ฟังก์ชันข้อผิดพลาดเชิงซ้อนที่ได้มักจะถูกกล่าวถึงในรูปแบบที่ปรับขนาดแล้วในชื่อฟังก์ชัน Faddeeva :
ฟังก์ชันการกระจายสะสม

ฟังก์ชันความคลาดเคลื่อนนั้นโดยพื้นฐานแล้วเหมือนกับฟังก์ชันการกระจายสะสมปกติ มาตรฐาน ซึ่งแสดงด้วยΦหรือเรียกอีกอย่างว่าnorm( x )ในภาษาโปรแกรมบางภาษา เนื่องจากแตกต่างกันเพียงแค่การปรับขนาดและการแปลเท่านั้น หรือจัดเรียงใหม่สำหรับerfและerfc :
ด้วยเหตุนี้ ฟังก์ชันความคลาดเคลื่อนจึงมีความสัมพันธ์อย่างใกล้ชิดกับฟังก์ชัน Qซึ่งเป็นความน่าจะเป็นส่วนหางของการแจกแจงปกติมาตรฐาน ฟังก์ชัน Q สามารถแสดงในรูปของฟังก์ชันความคลาดเคลื่อนได้ดังนี้
ฟังก์ชันผกผันของΦเรียกว่าฟังก์ชันควอนไทล์ปกติหรือ ฟังก์ชัน โพรบิตและสามารถแสดงได้ในรูปของฟังก์ชันความคลาดเคลื่อนผกผันดังนี้
ฟังก์ชันการกระจายสะสมแบบปกติมาตรฐานมักใช้ในวิชาความน่าจะเป็นและสถิติ ในขณะที่ฟังก์ชันความคลาดเคลื่อนมักใช้ในสาขาคณิตศาสตร์อื่นๆ
ฟังก์ชันความคลาดเคลื่อนเป็นกรณีพิเศษของฟังก์ชัน Mittag-Lefflerและสามารถแสดงได้ในรูปของฟังก์ชันไฮเปอร์จีโอเมตริกแบบบรรจบกัน (ฟังก์ชันของ Kummer) ด้วยเช่นกัน:
มันมีสูตรที่เรียบง่ายในรูปของปริพันธ์เฟรสเนล
ในแง่ของฟังก์ชันแกมมาแบบปรับค่าPและฟังก์ชันแกมมาแบบไม่สมบูรณ์ sgn ( x )คือฟังก์ชัน เครื่องหมาย
อินทิกรัลซ้ำของฟังก์ชันข้อผิดพลาดเสริม
อินทิกรัลแบบวนซ้ำของฟังก์ชันข้อผิดพลาดเสริมถูกกำหนดโดย[ 31 ]
สูตรเวียนเกิดทั่วไปคือ
พวกเขามีอนุกรมกำลัง ซึ่งตามมาด้วยคุณสมบัติสมมาตร และ
การนำไปใช้
ในฐานะฟังก์ชันที่แท้จริงของข้อโต้แย้งที่แท้จริง
- ใน ระบบปฏิบัติการที่สอดคล้องกับ POSIXส่วนหัว
math.hจะต้องประกาศและไลบรารีทางคณิตศาสตร์libmจะต้องจัดเตรียมฟังก์ชันerfและerfc( ความแม่นยำสองเท่า ) รวมถึงฟังก์ชันความแม่นยำเดี่ยวและความแม่นยำขยายที่เทียบเท่ากันerff,erflและerfcf,erfcl[ 32 ] - ไลบรารีวิทยาศาสตร์ GNUมี ฟังก์ชันข้อผิดพลาดแบบปรับขนาด
erf,erfc,log(erf), และ[ 33 ]
ในฐานะฟังก์ชันที่ซับซ้อนของข้อโต้แย้งที่ซับซ้อน
libcerfไลบรารี C เชิงตัวเลขสำหรับฟังก์ชันข้อผิดพลาดเชิงซ้อน ให้ฟังก์ชันเชิงซ้อนcerf,cerfc,cerfcxและฟังก์ชันจริงerfiที่erfcxมีความแม่นยำประมาณ 13–14 หลัก โดยอิงจากฟังก์ชัน Faddeevaที่ใช้งานในแพ็คเกจ MIT Faddeeva
หมายเหตุ
- ^แอนดรูว์ส (1998)หน้า 110
- ^ Whittaker & Watson (2021) , หน้า 358.
- ^เกลเชอร์ (1871a )
- ^เกลเชอร์ (1871b )
- ^ Fischer & Lieb (2011) .
- ↑ ไวส์สไตน์, เอริก ดับเบิลยู. "เอิร์ฟ " แมทเวิลด์ .
- ^ Schöpf & Supancic (2014) .
- ^ Weisstein, Eric W. "ทฤษฎีบทของ Bürmann" . MathWorld .
- ^ Dominici, Diego (2006). "การวิเคราะห์เชิงอะซิมโทติกของอนุพันธ์ของฟังก์ชันข้อผิดพลาดผกผัน". arXiv : math/0607230 .
- ^ Bergsma, Wicher (2006). "เกี่ยวกับสัมประสิทธิ์สหสัมพันธ์ใหม่ การแยกส่วนเชิงตั้งฉาก และการทดสอบความเป็นอิสระที่เกี่ยวข้อง" arXiv : math/0604627 .
- ↑ลาปลาซ (1805) , น. 255, หนังสือ X.
- ^ Cuyt et al. (2008) .
- ↑ ชโลมิลช์, ออสการ์ ซาเวียร์ (1859) "อูเบอร์ คณะเทนไรเฮน " Zeitschrift für Mathematik und Physik (ภาษาเยอรมัน) 4 : 390– 415.
- ^นีลสัน (1906)หน้า 283 สมการที่ 3
- ^ Chiani, M.; Dardari, D.; Simon, MK (2003). "ขอบเขตเลขชี้กำลังใหม่และการประมาณค่าสำหรับการคำนวณความน่าจะเป็นของข้อผิดพลาดในช่องสัญญาณเฟดดิ้ง" (PDF) . IEEE Transactions on Wireless Communications . 2 (4): 840– 845. Bibcode : 2003ITWC....2..840C . CiteSeerX 10.1.1.190.6761 . doi : 10.1109/TWC.2003.814350 . เก็บถาวรจากต้นฉบับ(PDF)เมื่อวันที่ 20 ตุลาคม 2014 . สืบค้นเมื่อ20 ตุลาคม 2014 .
- ^ Tanash, IM; Riihonen, T. (2020). "การประมาณค่ามินิแม็กซ์ทั่วโลกและขอบเขตสำหรับฟังก์ชัน Q ของเกาส์เซียนโดยผลรวมของเลขชี้กำลัง" IEEE Transactions on Communications . 68 (10): 6514– 6524. arXiv : 2007.06939 . Bibcode : 2020ITCom..68.6514T . doi : 10.1109/TCOMM.2020.3006902 . S2CID 220514754 .
- ^ Tanash, IM; Riihonen, T. (2020). "สัมประสิทธิ์สำหรับการประมาณค่ามินิแม็กซ์ทั่วโลกและขอบเขตสำหรับฟังก์ชัน Q ของเกาส์เซียนโดยผลรวมของเลขชี้กำลัง [ชุดข้อมูล]" Zenodo. doi : 10.5281 / zenodo.4112978 .
- ^ Karagiannidis, GK; Lioumpas, AS (2007). "การประมาณค่าที่ดีขึ้นสำหรับฟังก์ชัน Q ของเกาส์เซียน" (PDF) . IEEE Communications Letters . 11 (8): 644– 646. doi : 10.1109/LCOMM.2007.070470 . S2CID 4043576 .
- ^ Tanash, IM; Riihonen, T. (2021). "สัมประสิทธิ์ที่ปรับปรุงแล้วสำหรับการประมาณค่า Karagiannidis–Lioumpas และขอบเขตของฟังก์ชัน Q แบบเกาส์เซียน" IEEE Communications Letters . 25 (5): 1468– 1471. arXiv : 2101.07631 . Bibcode : 2021IComL..25.1468T . doi : 10.1109/LCOMM.2021.3052257 . S2CID 231639206 .
- ^ Chang, Seok-Ho; Cosman, Pamela C. ; Milstein, Laurence B. (พฤศจิกายน 2011). "ขอบเขตแบบ Chernoff สำหรับฟังก์ชันข้อผิดพลาดแบบ Gaussian" . IEEE Transactions on Communications . 59 (11): 2939– 2944. Bibcode : 2011ITCom..59.2939C . doi : 10.1109/TCOMM.2011.072011.100049 . S2CID 13636638 .
- ^ Winitzki, Sergei (2003). "การประมาณค่าสม่ำเสมอสำหรับฟังก์ชันอดิศัย" . วิทยาศาสตร์การคำนวณและการประยุกต์ใช้ – ICCSA 2003 . บันทึกการบรรยายในวิทยาศาสตร์คอมพิวเตอร์. เล่มที่ 2667. Springer, Berlin. หน้า 780–789 . doi : 10.1007/3-540-44839-X_82 . ISBN 978-3-540-40155-1.
- ^ Zeng, Caibin; Chen, Yang Cuan (2015). "การประมาณค่า Padé ทั่วโลกของฟังก์ชัน Mittag-Leffler ทั่วไปและฟังก์ชันผกผัน" แคลคูลัสเศษส่วนและการวิเคราะห์ประยุกต์ 18 ( 6): 1492– 1506. arXiv : 1310.5592 . doi : 10.1515/fca-2015-0086 . S2CID 118148950 .
อันที่จริง Winitzki [32] ได้ให้การประมาณค่า Padé ทั่วโลกที่เรียกว่า
- ^วินิตซ์กี้, เซอร์เกย์ (6 กุมภาพันธ์ 2551). "การประมาณค่าที่สะดวกสำหรับฟังก์ชันข้อผิดพลาดและฟังก์ชันผกผัน "
- ^ Press, William H. (1992). Numerical Recipes in Fortran 77: The Art of Scientific Computing . Cambridge University Press. หน้า 214. ISBN 0-521-43064-X.
- ^ Dia, Yaya D. (2023). " การประมาณค่าอินทิกรัลไม่สมบูรณ์ การประยุกต์ใช้กับฟังก์ชันข้อผิดพลาดเสริม"วารสารอิเล็กทรอนิกส์ SSRN doi : 10.2139 / ssrn.4487559 ISSN 1556-5068
- ^ Abreu, Giuseppe (2012). "ขอบเขตที่แน่นและเรียบง่ายมากสำหรับฟังก์ชัน Q" IEEE Transactions on Communications 60 ( 9): 2415– 2420. Bibcode : 2012ITCom..60.2415A . doi : 10.1109/TCOMM.2012.080612.110075 .
- ^ a b c Cody, WJ (มีนาคม 1993), "Algorithm 715: SPECFUN—แพ็คเกจ FORTRAN แบบพกพาของรูทีนฟังก์ชันพิเศษและไดรเวอร์ทดสอบ" (PDF) , ACM Trans. Math. Softw. , 19 (1): 22– 32, CiteSeerX 10.1.1.643.4394 , doi : 10.1145/151271.151273 , S2CID 5621105
- ^ Zaghloul, MR (1 มีนาคม 2550), "เกี่ยวกับการคำนวณโปรไฟล์เส้น Voigt: อินทิกรัลที่เหมาะสมเดี่ยวที่มีอินทิกรัลไซน์แบบลดทอน", Monthly Notices of the Royal Astronomical Society , 375 (3): 1043– 1048, Bibcode : 2007MNRAS.375.1043Z , doi : 10.1111/j.1365-2966.2006.11377.x
- ^ John W. Craig,ผลลัพธ์ใหม่ที่เรียบง่ายและแม่นยำสำหรับการคำนวณความน่าจะเป็นของข้อผิดพลาดสำหรับกลุ่มสัญญาณสองมิติเก็บถาวรเมื่อวันที่ 3 เมษายน 2012 ที่ Wayback Machine , รายงานการประชุม IEEE Military Communication Conference ปี 1991 เล่มที่ 2 หน้า 571–575
- ^ Behnad, Aydin (2020). "ส่วนขยายใหม่ของสูตรฟังก์ชัน Q ของ Craig และการประยุกต์ใช้ในการวิเคราะห์ประสิทธิภาพ EGC แบบสองสาขา" IEEE Transactions on Communications . 68 (7): 4117– 4125. Bibcode : 2020ITCom..68.4117B . doi : 10.1109/TCOMM.2020.2986209 . S2CID 216500014 .
- ^ Carslaw, HS ; Jaeger, JC (1959). การนำความร้อนในของแข็ง (ฉบับที่ 2). สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด. หน้า 484. ISBN 978-0-19-853368-9.
{{cite book}}: ISBN / Date incompatibility (help) - ^ "math.h - การประกาศทางคณิตศาสตร์" . opengroup.org . 2018 . สืบค้นเมื่อ21 เมษายน 2023 .
- ^ "ฟังก์ชันพิเศษ – เอกสารประกอบ GSL 2.7 "
อ่านเพิ่มเติม
- Abramowitz, Milton ; Stegun, Irene Ann , บรรณาธิการ (1983) [มิถุนายน 1964]. "บทที่ 7" . คู่มือฟังก์ชันทางคณิตศาสตร์พร้อมสูตร กราฟ และตารางทางคณิตศาสตร์ . ชุดคณิตศาสตร์ประยุกต์. เล่มที่ 55 (พิมพ์ซ้ำครั้งที่เก้าพร้อมการแก้ไขเพิ่มเติมจากการพิมพ์ครั้งแรกครั้งที่สิบพร้อมการแก้ไข (ธันวาคม 1972); ฉบับพิมพ์ครั้งแรก). วอชิงตัน ดี.ซี.; นิวยอร์ก: กระทรวงพาณิชย์แห่งสหรัฐอเมริกา สำนักงานมาตรฐานแห่งชาติ; สำนักพิมพ์โดเวอร์. หน้า 297. ISBN 978-0-486-61272-0. LCCN 64-60036 . MR 0167642 . LCCN 65-12253 .
- Press, William H.; Teukolsky, Saul A.; Vetterling, William T.; Flannery, Brian P. (2007), "ส่วนที่ 6.2 ฟังก์ชันแกมมาที่ไม่สมบูรณ์และฟังก์ชันข้อผิดพลาด" , สูตรเชิงตัวเลข: ศิลปะแห่งการคำนวณทางวิทยาศาสตร์ (ฉบับที่ 3), นิวยอร์ก: สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, ISBN 978-0-521-88068-8(เก็บถาวรจากต้นฉบับเมื่อวันที่ 11 สิงหาคม 2554 เรียกดูเมื่อวันที่ 9 สิงหาคม 2554)
- Temme, Nico M. (2010), "ฟังก์ชันข้อผิดพลาด อินทิกรัลของดอว์สันและเฟรสเนล"ในOlver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (บรรณาธิการ), คู่มือฟังก์ชันทางคณิตศาสตร์ของ NIST , สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, ISBN 978-0-521-19225-5, MR 2723248.
ลิงก์ภายนอก
- ตารางแสดงค่าอินทิกรัลของฟังก์ชันความคลาดเคลื่อน
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ ฟังก์ชันข้อผิดพลาด
ใน ทางคณิตศาสตร์ ฟังก์ชัน ข้อผิดพลาด (เรียกอีกอย่างว่า ฟังก์ชันข้อผิดพลาดของเกาส์ ) ซึ่งมักจะแสดงด้วยคือฟังก์ชัน [ 1 ] อี ร เอฟ {\displaystyle \mathbf {erf} } เอิร์ฟ ( z ) = 2 π...
ชื่อ
ชื่อ "ฟังก์ชันข้อผิดพลาด" และคำย่อของมันถูกเสนอโดย JWL Glaisher ในปี พ.ศ.
แอปพลิเคชัน
เมื่อผลลัพธ์ของการวัดหลายครั้งถูกอธิบายด้วย การแจกแจงแบบปกติ โดยมี ค่าเบี่ยงเบนมาตรฐาน และ ค่าเฉลี่ย เป็นศูนย์แล้ว σ {\displaystyle \sigma }
คุณสมบัติ
ฟังก์ชันความคลาดเคลื่อนเป็น ฟังก์ชันคี่ ซึ่งเป็นผลโดยตรงจากข้อเท็จจริงที่ว่าตัวถูกอินทิเกรตเป็น ฟังก์ชันคู่ (เนื่องจากปฏิอนุพันธ์ของฟังก์ชันคู่ซึ่งมีค่าเป็นศูนย์ที่จุดกำเนิดจะเป็นฟังก์ชันคี่ และในทางกลับกัน) e − t 2 {\displaystyle e^{-t^{2}}}