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

อ่าน 33 นาที

ไม่มีชื่อบทความ

ในสาขาคณิตศาสตร์ของ การวิเคราะห์เชิงซ้อน การ อินทิเกรตตามเส้นโค้ง เป็นวิธีการประเมิน อินทิกรัล บางอย่าง ตามเส้นทางในระนาบ เชิงซ้อน [ 1 ] [ 2 ] [ 3 ]...

การผสานรวมเส้นขอบ

ในสาขาคณิตศาสตร์ของการวิเคราะห์เชิงซ้อนการอินทิเกรตตามเส้นโค้งเป็นวิธีการประเมินอินทิกรัล บางอย่าง ตามเส้นทางในระนาบเชิงซ้อน[ 1 ] [ 2 ] [ 3 ]การอินทิเกรตตามเส้นโค้งใช้ในการศึกษาฟังก์ชันค่าเชิงซ้อนที่เป็นโฮโลมอร์ฟิกในบริเวณหนึ่ง

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

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

เส้นโค้งในระนาบเชิงซ้อน

ในการวิเคราะห์เชิงซ้อนเส้นโค้ง (contour)คือเส้นโค้งชนิดหนึ่งในระนาบเชิงซ้อนในการอินทิเกรตตามเส้นโค้ง เส้นโค้งจะให้คำจำกัดความที่แม่นยำของเส้นโค้งที่สามารถกำหนดอินทิกรัลได้อย่างเหมาะสม เส้นโค้งในระนาบเชิงซ้อนถูกนิยามว่าเป็นฟังก์ชันต่อเนื่องจากช่วงปิดของเส้นจำนวนจริงไปยังระนาบเชิงซ้อน:z:[เอ,]ซี{\displaystyle z:[a,b]\to \mathbb {C} }.

นิยามของเส้นโค้งนี้สอดคล้องกับแนวคิดเชิงสัญชาตญาณของเส้นโค้ง แต่รวมถึงการกำหนดพารามิเตอร์ด้วยฟังก์ชันต่อเนื่องจากช่วงปิด นิยามที่แม่นยำยิ่งขึ้นนี้ทำให้เราสามารถพิจารณาคุณสมบัติที่เส้นโค้งต้องมีเพื่อให้มีประโยชน์สำหรับการอินทิเกรต ในส่วนย่อยต่อไปนี้ เราจะจำกัดชุดของเส้นโค้งที่เราสามารถอินทิเกรตได้ให้เหลือเฉพาะเส้นโค้งที่สามารถสร้างขึ้นจากเส้นโค้งต่อเนื่องจำนวนจำกัดที่สามารถกำหนดทิศทางได้ ยิ่งไปกว่านั้น เราจะจำกัดไม่ให้ "ชิ้นส่วน" ตัดกันเอง และเรากำหนดให้แต่ละชิ้นส่วนต้องมีอนุพันธ์ต่อเนื่องที่จำกัด (ไม่เป็นศูนย์) ข้อกำหนดเหล่านี้สอดคล้องกับการกำหนดให้เราพิจารณาเฉพาะเส้นโค้งที่สามารถลากเส้นได้ เช่น ด้วยปากกา ในลำดับของเส้นที่สม่ำเสมอและคงที่ ซึ่งจะหยุดเฉพาะเมื่อเริ่มต้นชิ้นส่วนใหม่ของเส้นโค้ง โดยไม่ต้องยกปากกาขึ้น[ 5 ]

เส้นโค้งเรียบที่กำหนดทิศทาง

โดยทั่วไปแล้ว เส้นขอบจะถูกกำหนดในแง่ของเส้นโค้งเรียบที่มีทิศทาง[ 5 ]ซึ่งให้คำจำกัดความที่แม่นยำของ "ส่วน" ของเส้นโค้งเรียบ ซึ่งเส้นขอบถูกสร้างขึ้นจากส่วนนั้น

เส้นโค้งเรียบคือเส้นโค้งz:[เอ,]ซี{\displaystyle z:[a,b]\to \mathbb {C} }โดยมีอนุพันธ์ต่อเนื่องที่ไม่เป็นศูนย์ โดยที่แต่ละจุดจะถูกสำรวจเพียงครั้งเดียว ( zเป็นฟังก์ชันหนึ่งต่อหนึ่ง) ยกเว้นเส้นโค้งที่จุดปลายตรงกัน (z(เอ)=z(){\displaystyle z(a)=z(b)}ในกรณีที่จุดปลายตรงกัน เส้นโค้งนั้นเรียกว่าเส้นโค้งปิด และฟังก์ชันจะต้องเป็นฟังก์ชันหนึ่งต่อหนึ่งที่ทุกจุดอื่น ๆ และอนุพันธ์จะต้องต่อเนื่องที่จุดที่ระบุ (z(เอ)=z(){\displaystyle z'(a)=z'(b)}เส้นโค้งเรียบที่ไม่ปิดมักเรียกว่าส่วนโค้งเรียบ[ 5 ]

การกำหนดพารามิเตอร์ของเส้นโค้งทำให้สามารถเรียงลำดับจุดบนเส้นโค้งได้อย่างเป็นธรรมชาติ:z(x){\displaystyle z(x)}มาก่อนz(y){\displaystyle z(y)}ถ้าx<y{\displaystyle x<y}สิ่งนี้จึงนำไปสู่แนวคิดของเส้นโค้งเรียบแบบมีทิศทางการพิจารณาเส้นโค้งโดยไม่ขึ้นอยู่กับการกำหนดพารามิเตอร์เฉพาะนั้นมีประโยชน์มากที่สุด ซึ่งสามารถทำได้โดยการพิจารณาชั้นสมมูลของเส้นโค้งเรียบที่มีทิศทางเดียวกัน จาก นั้น เส้นโค้งเรียบแบบมี ทิศทาง สามารถนิยามได้ว่าเป็นเซตของจุดที่เรียงลำดับในระนาบเชิงซ้อนซึ่งเป็นภาพของเส้นโค้งเรียบบางเส้นในลำดับธรรมชาติ (ตามการกำหนดพารามิเตอร์) โปรดทราบว่าไม่ใช่ทุกการเรียงลำดับของจุดจะเป็นลำดับธรรมชาติของเส้นโค้งเรียบ ในความเป็นจริง เส้นโค้งเรียบที่กำหนดให้มีเพียงสองลำดับดังกล่าวเท่านั้น นอกจากนี้ เส้นโค้งปิดเส้นเดียวสามารถมีจุดใดก็ได้เป็นจุดปลาย ในขณะที่ส่วนโค้งเรียบมีเพียงสองตัวเลือกสำหรับจุดปลาย

เส้นขอบ

เส้นโค้งคอนทัวร์เป็นกลุ่มของเส้นโค้งที่เราใช้ในการกำหนดนิยามของการอินทิเกรตคอนทัวร์ เส้น โค้งคอนทัวร์เป็นเส้นโค้งที่มีทิศทาง ซึ่งประกอบด้วยลำดับจำกัดของเส้นโค้งเรียบที่มีทิศทาง โดยที่จุดปลายของเส้นโค้งเหล่านี้ตรงกันเพื่อให้ได้ทิศทางเดียว ซึ่งจำเป็นต้องมีลำดับของเส้นโค้งเหล่านี้γ1,,γn{\displaystyle \gamma _{1},\dots ,\gamma _{n}}เป็นเช่นนั้นที่จุดปลายของγฉัน{\displaystyle \gamma _{i}}ตรงกับจุดเริ่มต้นของγฉัน+1{\displaystyle \gamma _{i+1}}สำหรับทุกคนฉัน{\displaystyle i}โดยที่1ฉัน<n{\displaystyle 1\leq i<n}ซึ่งรวมถึงเส้นโค้งเรียบที่มีทิศทางทั้งหมด นอกจากนี้ จุดเดียวในระนาบเชิงซ้อนก็ถือเป็นเส้นโค้งเช่นกัน สัญลักษณ์+{\displaystyle +}มักใช้เพื่อแสดงถึงการนำเส้นโค้งมาต่อกันเพื่อสร้างเส้นโค้งใหม่ ดังนั้นเราจึงสามารถเขียนเส้นโค้งได้Γ{\displaystyle \Gamma }ซึ่งประกอบด้วยn{\displaystyle n}เส้นโค้งเช่น Γ=γ1+γ2++γn.{\displaystyle \Gamma =\gamma _{1}+\gamma _{2}+\cdots +\gamma _{n}.}

อินทิกรัลตามเส้นโค้ง

อินทิกรัลเส้นโค้งของฟังก์ชันเชิงซ้อนเอฟ:ซีซี{\displaystyle f:\mathbb {C} \to \mathbb {C} }อินทิกรัลตาม เส้นโค้งเป็นการขยายความทั่วไปของอินทิกรัลสำหรับฟังก์ชันค่าจริง สำหรับฟังก์ชันต่อเนื่องใน ระนาบเชิงซ้อน อินทิกรัลตาม เส้น โค้ง สามารถนิยามได้ในลักษณะเดียวกับอินทิกรัลตามเส้นตรง โดยเริ่มจากการนิยามอินทิกรัลตามเส้นโค้งเรียบที่มีทิศทางในรูปของอินทิกรัลเหนือพารามิเตอร์ค่าจริง นิยามที่ทั่วไปกว่าสามารถให้ได้ในรูปของการแบ่งส่วนของเส้นโค้งในลักษณะเดียวกับการแบ่งส่วนของช่วงและอินทิกรัลของรีมันน์ในทั้งสองกรณี อินทิกรัลเหนือเส้นโค้งถูกนิยามว่าเป็นผลรวมของอินทิกรัลเหนือเส้นโค้งเรียบที่มีทิศทางซึ่งประกอบกันเป็นเส้นโค้งนั้น

สำหรับฟังก์ชันต่อเนื่อง

ในการกำหนดนิยามของอินทิกรัลตามเส้นโค้งในลักษณะนี้ เราต้องพิจารณาอินทิกรัลของฟังก์ชันค่าเชิงซ้อนเหนือตัวแปรจริงก่อน ให้เอฟ:อาร์ซี{\displaystyle f:\mathbb {R} \to \mathbb {C} }เป็นฟังก์ชันค่าเชิงซ้อนของตัวแปรจริงที{\displaystyle t}ส่วนที่เป็นจริงและส่วนที่เป็นจินตนาการของเอฟ{\displaystyle f}มักถูกระบุว่าเป็นคุณ(ที){\displaystyle u(t)}และวี(ที){\displaystyle v(t)}ตามลำดับ ดังนั้น เอฟ(ที)=คุณ(ที)+ฉันวี(ที).{\displaystyle f(t)=u(t)+iv(t).} จากนั้นจึงทำการอินทิกรัลของฟังก์ชันค่าเชิงซ้อนเอฟ{\displaystyle f}ตลอดช่วงเวลา[เอ,]{\displaystyle [a,b]}ได้รับจาก เอเอฟ(ที)ที=เอ(คุณ(ที)+ฉันวี(ที))ที=เอคุณ(ที)ที+ฉันเอวี(ที)ที.{\displaystyle {\begin{aligned}\int _{a}^{b}f(t)\,dt&=\int _{a}^{b}{\big (}u(t)+iv(t){\big )}\,dt\\&=\int _{a}^{b}u(t)\,dt+i\int _{a}^{b}v(t)\,dt.\end{aligned}}}

ต่อไปนี้ เพื่อกำหนดนิยามของอินทิกรัลตามเส้นโค้ง ให้กำหนดดังนี้เอฟ:ซีซี{\displaystyle f:\mathbb {C} \to \mathbb {C} }เป็นฟังก์ชันต่อเนื่องบนเส้นโค้งเรียบที่มีทิศทางγ{\displaystyle \gamma }. อนุญาตz:[เอ,]ซี{\displaystyle z:[a,b]\to \mathbb {C} }จะเป็นการกำหนดพารามิเตอร์ใดๆ ของγ{\displaystyle \gamma }ซึ่งสอดคล้องกับลำดับ (ทิศทาง) ของมัน จากนั้นจึงทำการอินทิเกรตตามแนวγ{\displaystyle \gamma }ถูกกำหนดไว้ γเอฟ(z)z{\displaystyle \int _{\gamma }f(z)\,dz\,} และกำหนดโดย[ 5 ]γเอฟ(z)z:=เอเอฟ(z(ที))z(ที)ที.{\displaystyle \int _{\gamma }f(z)\,dz:=\int _{a}^{b}f{\big (}z(t){\big )}z'(t)\,dt.}

คำจำกัดความนี้ได้รับการกำหนดไว้อย่างดี นั่นคือ ผลลัพธ์ไม่ขึ้นอยู่กับการเลือกพารามิเตอร์[ 5 ]ในกรณีที่อินทิกรัลจริงทางด้านขวาไม่มีอยู่ อินทิกรัลตามγ{\displaystyle \gamma }กล่าวกันว่าไม่มีอยู่จริง

ในฐานะที่เป็นการสรุปทั่วไปของปริพันธ์รีมันน์

การขยายความหมายของปริพันธ์รีมันน์ไปสู่ฟังก์ชันของตัวแปรเชิงซ้อนนั้น ทำได้โดยใช้หลักการเดียวกันกับการนิยามปริพันธ์รีมันน์สำหรับฟังก์ชันของจำนวนจริง การแบ่งส่วนของเส้นโค้งเรียบที่มีทิศทางγ{\displaystyle \gamma }ถูกกำหนดให้เป็นเซตของจุดที่มีจำนวนจำกัดและเรียงลำดับบนγ{\displaystyle \gamma }อินทิกรัลเหนือเส้นโค้งคือลิมิตของผลรวมจำกัดของค่าฟังก์ชันที่จุดต่างๆ บนส่วนแบ่ง โดยที่ระยะห่างสูงสุดระหว่างจุดสองจุดที่อยู่ติดกันบนส่วนแบ่ง (ในระนาบเชิงซ้อนสองมิติ) หรือที่เรียกว่าตาข่าย มีค่าเข้าใกล้ศูนย์

วิธีการโดยตรง

วิธีโดยตรงเกี่ยวข้องกับการคำนวณอินทิกรัลโดยใช้วิธีการที่คล้ายคลึงกับวิธีการคำนวณอินทิกรัลเส้นในแคลคูลัสหลายตัวแปร ซึ่งหมายความว่าเราใช้วิธีต่อไปนี้:

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

ตัวอย่าง

ผลลัพธ์พื้นฐานในคณิตศาสตร์วิเคราะห์เชิงซ้อนคือ อินทิกรัลตามเส้นโค้งของ1 / zมีค่าเท่ากับiโดยที่เส้นทางของเส้นโค้งถือเป็นวงกลมหน่วยที่เคลื่อนที่ทวนเข็มนาฬิกา (หรือเส้นโค้งจอร์แดน ใดๆ ที่มีทิศทาง บวกกับจุด0 ) ในกรณีของวงกลมหน่วย มีวิธีการโดยตรงในการคำนวณอินทิกรัล ซี1zz.{\displaystyle \oint _{C}{\frac {1}{z}}\,dz.}

ในการประเมินอินทิกรัลนี้ ให้ใช้วงกลมหน่วย| z | = 1เป็นเส้นโค้งที่กำหนดพารามิเตอร์โดยz ( t ) = e itโดยที่t ∈ [0, 2π]แล้วdz / dt = ie itและ ซี1zz=02π1อีฉันทีฉันอีฉันทีที=ฉัน02π1ที=ฉันที|02π=(2π0)ฉัน=2πฉัน,{\displaystyle \oint _{C}{\frac {1}{z}}\,dz=\int _{0}^{2\pi }{\frac {1}{e^{it}}}ie^{it}\,dt=i\int _{0}^{2\pi }1\,dt=i\,t{\Big |}_{0}^{2\pi }=\left(2\pi -0\right)i=2\pi i,} ซึ่งเป็นค่าของอินทิกรัล ผลลัพธ์นี้ใช้ได้เฉพาะกรณีที่zยกกำลัง−1 เท่านั้น หากกำลังไม่เท่ากับ−1ผลลัพธ์จะเป็นศูนย์เสมอ

การประยุกต์ใช้ทฤษฎีบทปริพันธ์

ทฤษฎีบทปริพันธ์มักถูกนำมาใช้ในการประเมินปริพันธ์ตามเส้นโค้ง ซึ่งหมายความว่าปริพันธ์ค่าจริงจะถูกคำนวณไปพร้อมกับการคำนวณปริพันธ์ตามเส้นโค้ง

ทฤษฎีบทปริพันธ์ เช่นสูตรปริพันธ์ของโคชีหรือทฤษฎีบทเศษเหลือมักถูกนำมาใช้ในวิธีการดังต่อไปนี้:

  • มีการเลือกรูปทรงเฉพาะเจาะจง:
    เลือกเส้นขอบเพื่อให้เส้นขอบนั้นทอดไปตามส่วนของระนาบเชิงซ้อนที่อธิบายปริพันธ์ค่าจริง และยังครอบคลุมจุดเอกฐานของตัวถูกอินทิเกรตด้วย เพื่อให้สามารถ ใช้ สูตรปริพันธ์ของโคชีหรือทฤษฎีบทเศษเหลือ ได้
  • การประยุกต์ใช้ทฤษฎีบทปริพันธ์ของโคชี
    การอินทิเกรตจะลดลงเหลือเพียงการอินทิเกรตรอบวงกลมเล็กๆ รอบแต่ละขั้วเท่านั้น
  • การประยุกต์ใช้สูตรปริพันธ์ของโคชีหรือทฤษฎีบทเศษเหลือ
    การนำสูตรปริพันธ์เหล่านี้มาใช้จะทำให้เราได้ค่าปริพันธ์รอบเส้นโค้งทั้งหมด
  • การแบ่งเส้นขอบออกเป็นเส้นขอบตามส่วนจริงและส่วนจินตนาการ
    เส้นโค้งทั้งหมดสามารถแบ่งออกเป็นเส้นโค้งที่ตามส่วนของระนาบเชิงซ้อนที่อธิบายปริพันธ์ค่าจริงตามที่เลือกไว้ก่อนหน้านี้ (เรียกว่าR ) และปริพันธ์ที่ตัดผ่านระนาบเชิงซ้อน (เรียกว่าI ) ปริพันธ์เหนือเส้นโค้งทั้งหมดคือผลรวมของปริพันธ์เหนือเส้นโค้งแต่ละเส้นเหล่านี้
  • การพิสูจน์ว่าปริพันธ์ที่ตัดผ่านระนาบเชิงซ้อนไม่มีส่วนเกี่ยวข้องกับผลรวม
    หากสามารถแสดงได้ว่าปริพันธ์Iมีค่าเป็นศูนย์ หรือหากปริพันธ์ค่าจริงที่ต้องการหาเป็นปริพันธ์ไม่เหมาะสม แล้วหากเราแสดงให้เห็นว่าปริพันธ์Iตามที่อธิบายไว้ข้างต้นมีแนวโน้มเข้าสู่ 0 ปริพันธ์ตามแนวRจะมีแนวโน้มเข้าสู่ปริพันธ์รอบเส้นโค้งR + I
  • บทสรุป
    ถ้าเราสามารถแสดงขั้นตอนข้างต้นได้ เราก็จะสามารถคำนวณRซึ่งเป็นปริพันธ์ค่าจริง ได้โดยตรง

ตัวอย่างที่ 1

พิจารณาอินทิกรัล 1(x2+1)2x,{\displaystyle \int _{-\infty }^{\infty }{\frac {1}{\left(x^{2}+1\right)^{2}}}\,dx,}

ในการประเมินค่าอินทิกรัลนี้ เราจะพิจารณาฟังก์ชันค่าเชิงซ้อน เอฟ(z)=1(z2+1)2{\displaystyle f(z)={\frac {1}{\left(z^{2}+1\right)^{2}}}}

ซึ่งมีจุดเอกฐานที่iและ−iเราเลือกเส้นโค้งที่จะล้อมรอบปริพันธ์ค่าจริง ในที่นี้ครึ่งวงกลมที่มีเส้นผ่านศูนย์กลางขอบเขตบนเส้นจำนวนจริง (เช่น จาก−aถึงa )จะสะดวกกว่า เรียกเส้นโค้งนี้ว่า C

มีสองวิธีในการดำเนินการ คือ การใช้สูตรอินทิกรัลของโคชีหรือโดยวิธีเศษเหลือ:

โดยใช้สูตรอินทิกรัลของโคชี

โปรดทราบว่า: ซีเอฟ(z)z=เอเอเอฟ(z)z+อาร์คเอฟ(z)z{\displaystyle \oint _{C}f(z)\,dz=\int _{-a}^{a}f(z)\,dz+\int _{\text{Arc}}f(z)\,dz} ดังนั้น เอเอเอฟ(z)z=ซีเอฟ(z)zอาร์คเอฟ(z)z{\displaystyle \int _{-a}^{a}f(z)\,dz=\oint _{C}f(z)\,dz-\int _{\text{Arc}}f(z)\,dz}

นอกจากนี้ โปรดสังเกตว่า เอฟ(z)=1(z2+1)2=1(z+ฉัน)2(zฉัน)2.{\displaystyle f(z)={\frac {1}{\left(z^{2}+1\right)^{2}}}={\frac {1}{(z+i)^{2}(z-i)^{2}}}.}

เนื่องจากจุดเอกฐานเพียงจุดเดียวในเส้นโค้งคือจุดที่iดังนั้นเราจึงสามารถเขียนได้ว่า  เอฟ(z)=1(z+ฉัน)2(zฉัน)2,{\displaystyle f(z)={\frac {\frac {1}{(z+i)^{2}}}{(z-i)^{2}}},}

ซึ่งทำให้ฟังก์ชันอยู่ในรูปแบบที่สามารถใช้สูตรได้โดยตรง จากนั้น โดยใช้สูตรอินทิกรัลของโคชี ซีเอฟ(z)z=ซี1(z+ฉัน)2(zฉัน)2z=2πฉันz1(z+ฉัน)2|z=ฉัน=2πฉัน[2(z+ฉัน)3]z=ฉัน=π2{\displaystyle \oint _{C}f(z)\,dz=\oint _{C}{\frac {\frac {1}{(z+i)^{2}}}{(z-i)^{2}}}\,dz=2\pi i\,\left.{\frac {d}{dz}}{\frac {1}{(z+i)^{2}}}\right|_{z=i}=2\pi i\left[{\frac {-2}{(z+i)^{3}}}\right]_{z=i}={\frac {\pi }{2}}}

ในขั้นตอนข้างต้น เราใช้การหาอนุพันธ์อันดับแรก เนื่องจากขั้วเป็นขั้วอันดับสอง นั่นคือ( zi )ถูกยกกำลังสอง ดังนั้นเราจึงใช้การหาอนุพันธ์อันดับแรกของf ( z )ถ้าเป็น( zi )ถูกยกกำลังสาม เราจะใช้การหาอนุพันธ์อันดับสองแล้วหารด้วย2!เป็นต้น กรณีของ( zi )ยกกำลังหนึ่งจะสอดคล้องกับการหาอนุพันธ์อันดับศูนย์ ซึ่งก็คือf ( z )นั่นเอง

เราจำเป็นต้องแสดงให้เห็นว่าปริพันธ์เหนือส่วนโค้งของครึ่งวงกลมมีแนวโน้มเข้าสู่ศูนย์เมื่อa → ∞โดยใช้ทฤษฎีบทการประมาณค่า|อาร์คเอฟ(z)z|เอ็มแอล{\displaystyle \left|\int _{\text{Arc}}f(z)\,dz\right|\leq ML}

โดยที่Mคือขอบเขตบนของ| f ( z ) |ตามส่วนโค้ง และLคือความยาวของส่วนโค้ง ทีนี้ |อาร์คเอฟ(z)z|เอπ(เอ21)20 เช่น เอ.{\displaystyle \left|\int _{\text{Arc}}f(z)\,dz\right|\leq {\frac {a\pi }{\left(a^{2}-1\right)^{2}}}\to 0{\text{ as }}a\to \infty .} ดังนั้น 1(x2+1)2x=เอฟ(z)z=ลิมเอ+เอเอเอฟ(z)z=π2.{\displaystyle \int _{-\infty }^{\infty }{\frac {1}{\left(x^{2}+1\right)^{2}}}\,dx=\int _{-\infty }^{\infty }f(z)\,dz=\lim _{a\to +\infty }\int _{-a}^{a}f(z)\,dz={\frac {\pi }{2}}.\quad \square }

โดยใช้วิธีเศษเหลือ

พิจารณาอนุกรมลอเรนต์ของf ( z )รอบi ซึ่ง เป็นจุดเอกฐานเพียงจุดเดียวที่เราต้องพิจารณา จากนั้นเราจะได้ เอฟ(z)=14(zฉัน)2+ฉัน4(zฉัน)+316+ฉัน8(zฉัน)+564(zฉัน)2+{\displaystyle f(z)={\frac {-1}{4(z-i)^{2}}}+{\frac {-i}{4(z-i)}}+{\frac {3}{16}}+{\frac {i}{8}}(z-i)+{\frac {-5}{64}}(z-i)^{2}+\cdots }

(ดูตัวอย่างการคำนวณลอเรนต์จากอนุกรมลอเรนต์เพื่อดูที่มาของอนุกรมนี้)

จากการตรวจสอบจะเห็นได้ชัดว่าเศษเหลือคือi / 4ดังนั้น โดยทฤษฎีบทเศษเหลือเราจึงได้ ซีเอฟ(z)z=ซี1(z2+1)2z=2πฉันเรสz=ฉันเอฟ(z)=2πฉัน(ฉัน4)=π2{\displaystyle \oint _{C}f(z)\,dz=\oint _{C}{\frac {1}{\left(z^{2}+1\right)^{2}}}\,dz=2\pi i\,\operatorname {Res} _{z=i}f(z)=2\pi i\left(-{\frac {i}{4}}\right)={\frac {\pi }{2}}\quad \square }

ดังนั้นเราจึงได้ผลลัพธ์เหมือนเดิม

หมายเหตุเกี่ยวกับรูปทรง

นอกจากนี้ อาจมีคำถามเกิดขึ้นว่า เราไม่ได้รวมจุดเอกฐานอีกจุดหนึ่ง ที่ล้อมรอบ −i ไว้ในครึ่งวงกลมหรือ ไม่เพื่อให้ค่าอินทิกรัลตามแกนจริงเคลื่อนที่ไปในทิศทางที่ถูกต้อง เส้นโค้งจะต้องเคลื่อนที่ตามเข็มนาฬิกา กล่าวคือ ในทิศทางลบ ซึ่งจะทำให้เครื่องหมายของอินทิกรัลโดยรวมเปลี่ยนไป

สิ่งนี้ไม่ส่งผลกระทบต่อการใช้วิธีการหาเศษเหลือโดยอนุกรม

ตัวอย่างที่ 2 – การแจกแจงแบบโคชี

อินทิกรัล อีฉันทีxx2+1x{\displaystyle \int _{-\infty }^{\infty }{\frac {e^{itx}}{x^{2}+1}}\,dx}

เส้นขอบ
เส้นขอบ

(ซึ่งเกิดขึ้นในทฤษฎีความน่าจะเป็นในรูปของผลคูณเชิงสเกลาร์ของฟังก์ชันลักษณะเฉพาะของการแจกแจงโคชี ) ต้านทานเทคนิคของแคลคูลัส เบื้องต้น เราจะประเมินค่าโดยการแสดงเป็นลิมิตของปริพันธ์ตามเส้นโค้งCที่ไปตาม เส้น จำนวนจริงจาก−aถึงaแล้วทวนเข็มนาฬิกาไปตามครึ่งวงกลมที่มีจุดศูนย์กลางอยู่ที่ 0 จากa ถึง −a ให้ a มากกว่า 1 เพื่อให้หน่วยจินตนาการiอยู่ภายในเส้นโค้ง ปริพันธ์ ตามเส้นโค้งคือ ซีอีฉันทีzz2+1z.{\displaystyle \int _{C}{\frac {e^{itz}}{z^{2}+1}}\,dz.}

เนื่องจากe itzเป็นฟังก์ชันสมบูรณ์ (ไม่มีจุดเอกฐานณ จุดใด ๆ ในระนาบเชิงซ้อน) ฟังก์ชันนี้จึงมีจุดเอกฐานเฉพาะที่ตัวส่วนz 2 + 1เป็นศูนย์เท่านั้น เนื่องจากz 2 + 1 = ( z + i )( zi )ดังนั้นจุดเอกฐานนี้จะเกิดขึ้นเฉพาะที่z = iหรือz = − iเท่านั้น มีเพียงจุดเดียวเท่านั้นที่อยู่ในบริเวณที่ล้อมรอบด้วยเส้นโค้งนี้เศษเหลือของf ( z )ที่z = iคือ ลิมzฉัน(zฉัน)เอฟ(z)=ลิมzฉัน(zฉัน)อีฉันทีzz2+1=ลิมzฉัน(zฉัน)อีฉันทีz(zฉัน)(z+ฉัน)=ลิมzฉันอีฉันทีzz+ฉัน=อีที2ฉัน.{\displaystyle \lim _{z\to i}(z-i)f(z)=\lim _{z\to i}(z-i){\frac {e^{itz}}{z^{2}+1}}=\lim _{z\to i}(z-i){\frac {e^{itz}}{(z-i)(z+i)}}=\lim _{z\to i}{\frac {e^{itz}}{z+i}}={\frac {e^{-t}}{2i}}.}

ตามทฤษฎีบทเศษเหลือแล้ว เราจึงได้ว่า ซีเอฟ(z)z=2πฉันเรสz=ฉันเอฟ(z)=2πฉันอีที2ฉัน=πอีที.{\displaystyle \int _{C}f(z)\,dz=2\pi i\operatorname {Res} _{z=i}f(z)=2\pi i{\frac {e^{-t}}{2i}}=\pi e^{-t}.}

เส้นโค้งCอาจถูกแบ่งออกเป็นส่วน "ตรง" และส่วนโค้ง เพื่อให้ ตรง+อาร์ค=πอีที,{\displaystyle \int _{\text{straight}}+\int _{\text{arc}}=\pi e^{-t},} และด้วยเหตุนี้ เอเอ=πอีทีอาร์ค.{\displaystyle \int _{-a}^{a}=\pi e^{-t}-\int _{\text{arc}}.}

ตามทฤษฎีบทของจอร์แดนถ้าt > 0แล้วอาร์คอีฉันทีzz2+1z0 เช่น เอ.{\displaystyle \int _{\text{arc}}{\frac {e^{itz}}{z^{2}+1}}\,dz\rightarrow 0{\mbox{ as }}a\rightarrow \infty .}

ดังนั้นถ้าt > 0แล้วอีฉันทีxx2+1x=πอีที.{\displaystyle \int _{-\infty }^{\infty }{\frac {e^{itx}}{x^{2}+1}}\,dx=\pi e^{-t}.}

การให้เหตุผลในทำนองเดียวกันโดยใช้ส่วนโค้งที่วนรอบ−iแทนที่จะเป็นi แสดงให้เห็นว่าถ้าt < 0แล้วอีฉันทีxx2+1x=πอีที,{\displaystyle \int _{-\infty }^{\infty }{\frac {e^{itx}}{x^{2}+1}}\,dx=\pi e^{t},} และสุดท้ายนี้เราก็มีสิ่งนี้: อีฉันทีxx2+1x=πอี|ที|.{\displaystyle \int _{-\infty }^{\infty }{\frac {e^{itx}}{x^{2}+1}}\,dx=\pi e^{-|t|}.}

(ถ้าt = 0การอินทิกรัลจะแปลงเป็นวิธีการคำนวณแคลคูลัสค่าจริงได้ทันที และค่าของมันคือπ )

ตัวอย่างที่ 3 – อินทิกรัลตรีโกณมิติ

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

ยกตัวอย่างเช่น ลองพิจารณาดู ππ11+3(คอสที)2ที.{\displaystyle \int _{-\pi }^{\pi }{\frac {1}{1+3(\cos t)^{2}}}\,dt.}

เราต้องการแทนที่z = e itตอนนี้ ลองนึกดูสิ คอสที=12(อีฉันที+อีฉันที)=12(z+1z){\displaystyle \cos t={\frac {1}{2}}\left(e^{it}+e^{-it}\right)={\frac {1}{2}}\left(z+{\frac {1}{z}}\right)} และ zที=ฉันz, ที=zฉันz.{\displaystyle {\frac {dz}{dt}}=iz,\ dt={\frac {dz}{iz}}.}

โดยกำหนดให้Cเป็นวงกลมหน่วย เราจึงแทนค่าลงไปได้ดังนี้: ซี11+3(12(z+1z))2zฉันz=ซี11+34(z+1z)21ฉันzz=ซีฉันz+34z(z+1z)2z=ฉันซีzz+34z(z2+2+1z2)=ฉันซีzz+34(z3+2z+1z)=ฉันซีz34z3+52z+34z=ฉันซี43z3+10z+3zz=4ฉันซีz3z3+10z+3z=4ฉันซีz3z4+10z2+3z=4ฉันซีz3(z+3ฉัน)(z3ฉัน)(z+ฉัน3)(zฉัน3)z=4ฉัน3ซีz(z+3ฉัน)(z3ฉัน)(z+ฉัน3)(zฉัน3)z.{\displaystyle {\begin{aligned}\oint _{C}{\frac {1}{1+3\left({\frac {1}{2}}\left(z+{\frac {1}{z}}\right)\right)^{2}}}\,{\frac {dz}{iz}}&=\oint _{C}{\frac {1}{1+{\frac {3}{4}}\left(z+{\frac {1}{z}}\right)^{2}}}{\frac {1}{iz}}\,dz\\&=\oint _{C}{\frac {-i}{z+{\frac {3}{4}}z\left(z+{\frac {1}{z}}\right)^{2}}}\,dz\\&=-i\oint _{C}{\frac {dz}{z+{\frac {3}{4}}z\left(z^{2}+2+{\frac {1}{z^{2}}}\right)}}\\&=-i\oint _{C}{\frac {dz}{z+{\frac {3}{4}}\left(z^{3}+2z+{\frac {1}{z}}\right)}}\\&=-i\oint _{C}{\frac {dz}{{\frac {3}{4}}z^{3}+{\frac {5}{2}}z+{\frac {3}{4z}}}}\\&=-i\oint _{C}{\frac {4}{3z^{3}+10z+{\frac {3}{z}}}}\,dz\\&=-4i\oint _{C}{\frac {dz}{3z^{3}+10z+{\frac {3}{z}}}}\\&=-4i\oint _{C}{\frac {z}{3z^{4}+10z^{2}+3}}\,dz\\&=-4i\oint _{C}{\frac {z}{3\left(z+{\sqrt {3}}i\right)\left(z-{\sqrt {3}}i\right)\left(z+{\frac {i}{\sqrt {3}}}\right)\left(z-{\frac {i}{\sqrt {3}}}\right)}}\,dz\\&=-{\frac {4i}{3}}\oint _{C}{\frac {z}{\left(z+{\sqrt {3}}i\right)\left(z-{\sqrt {3}}i\right)\left(z+{\frac {i}{\sqrt {3}}}\right)\left(z-{\frac {i}{\sqrt {3}}}\right)}}\,dz.\end{aligned}}}

จุดเอกลักษณ์ที่ต้องพิจารณามีดังนี้±ฉัน3.{\displaystyle {\tfrac {\pm i}{\sqrt {3}}}.}ให้C เป็นวงกลมเล็กๆ รอบฉัน3,{\displaystyle {\tfrac {i}{\sqrt {3}}},}และC เป็นวงกลมเล็กๆ รอบ ๆฉัน3.{\displaystyle {\tfrac {-i}{\sqrt {3}}}.}จากนั้นเราจึงได้ข้อสรุปดังต่อไปนี้: 4ฉัน3[ซี1z(z+3ฉัน)(z3ฉัน)(z+ฉัน3)zฉัน3z+ซี2z(z+3ฉัน)(z3ฉัน)(zฉัน3)z+ฉัน3z]=4ฉัน3[2πฉัน[z(z+3ฉัน)(z3ฉัน)(z+ฉัน3)]z=ฉัน3+2πฉัน[z(z+3ฉัน)(z3ฉัน)(zฉัน3)]z=ฉัน3]=8π3[ฉัน3(ฉัน3+3ฉัน)(ฉัน33ฉัน)(ฉัน3+ฉัน3)+ฉัน3(ฉัน3+3ฉัน)(ฉัน33ฉัน)(ฉัน3ฉัน3)]=8π3[ฉัน3(43ฉัน)(2ฉัน3)(23ฉัน)+ฉัน3(23ฉัน)(43ฉัน)(23ฉัน)]=8π3[ฉัน3ฉัน(43)(23)(23)+ฉัน3ฉัน(23)(43)(23)]=8π3[13(43)(23)(23)+13(23)(43)(23)]=8π3[131633+131633]=8π3[316+316]=π.{\displaystyle {\begin{aligned}&-{\frac {4i}{3}}\left[\oint _{C_{1}}{\frac {\frac {z}{\left(z+{\sqrt {3}}i\right)\left(z-{\sqrt {3}}i\right)\left(z+{\frac {i}{\sqrt {3}}}\right)}}{z-{\frac {i}{\sqrt {3}}}}}\,dz+\oint _{C_{2}}{\frac {\frac {z}{\left(z+{\sqrt {3}}i\right)\left(z-{\sqrt {3}}i\right)\left(z-{\frac {i}{\sqrt {3}}}\right)}}{z+{\frac {i}{\sqrt {3}}}}}\,dz\right]\\={}&-{\frac {4i}{3}}\left[2\pi i\left[{\frac {z}{\left(z+{\sqrt {3}}i\right)\left(z-{\sqrt {3}}i\right)\left(z+{\frac {i}{\sqrt {3}}}\right)}}\right]_{z={\frac {i}{\sqrt {3}}}}+2\pi i\left[{\frac {z}{\left(z+{\sqrt {3}}i\right)\left(z-{\sqrt {3}}i\right)\left(z-{\frac {i}{\sqrt {3}}}\right)}}\right]_{z=-{\frac {i}{\sqrt {3}}}}\right]\\={}&{\frac {8\pi }{3}}\left[{\frac {\frac {i}{\sqrt {3}}}{\left({\frac {i}{\sqrt {3}}}+{\sqrt {3}}i\right)\left({\frac {i}{\sqrt {3}}}-{\sqrt {3}}i\right)\left({\frac {i}{\sqrt {3}}}+{\frac {i}{\sqrt {3}}}\right)}}+{\frac {-{\frac {i}{\sqrt {3}}}}{\left(-{\frac {i}{\sqrt {3}}}+{\sqrt {3}}i\right)\left(-{\frac {i}{\sqrt {3}}}-{\sqrt {3}}i\right)\left(-{\frac {i}{\sqrt {3}}}-{\frac {i}{\sqrt {3}}}\right)}}\right]\\={}&{\frac {8\pi }{3}}\left[{\frac {\frac {i}{\sqrt {3}}}{\left({\frac {4}{\sqrt {3}}}i\right)\left(-{\frac {2}{i{\sqrt {3}}}}\right)\left({\frac {2}{{\sqrt {3}}i}}\right)}}+{\frac {-{\frac {i}{\sqrt {3}}}}{\left({\frac {2}{\sqrt {3}}}i\right)\left(-{\frac {4}{\sqrt {3}}}i\right)\left(-{\frac {2}{\sqrt {3}}}i\right)}}\right]\\={}&{\frac {8\pi }{3}}\left[{\frac {\frac {i}{\sqrt {3}}}{i\left({\frac {4}{\sqrt {3}}}\right)\left({\frac {2}{\sqrt {3}}}\right)\left({\frac {2}{\sqrt {3}}}\right)}}+{\frac {-{\frac {i}{\sqrt {3}}}}{-i\left({\frac {2}{\sqrt {3}}}\right)\left({\frac {4}{\sqrt {3}}}\right)\left({\frac {2}{\sqrt {3}}}\right)}}\right]\\={}&{\frac {8\pi }{3}}\left[{\frac {\frac {1}{\sqrt {3}}}{\left({\frac {4}{\sqrt {3}}}\right)\left({\frac {2}{\sqrt {3}}}\right)\left({\frac {2}{\sqrt {3}}}\right)}}+{\frac {\frac {1}{\sqrt {3}}}{\left({\frac {2}{\sqrt {3}}}\right)\left({\frac {4}{\sqrt {3}}}\right)\left({\frac {2}{\sqrt {3}}}\right)}}\right]\\={}&{\frac {8\pi }{3}}\left[{\frac {\frac {1}{\sqrt {3}}}{\frac {16}{3{\sqrt {3}}}}}+{\frac {\frac {1}{\sqrt {3}}}{\frac {16}{3{\sqrt {3}}}}}\right]\\={}&{\frac {8\pi }{3}}\left[{\frac {3}{16}}+{\frac {3}{16}}\right]\\={}&\pi .\end{aligned}}}

ตัวอย่าง 3ก – อินทิกรัลตรีโกณมิติ ขั้นตอนทั่วไป

วิธีการข้างต้นสามารถนำไปใช้กับอินทิกรัลทุกประเภทได้ 02πพี(บาป(ที),บาป(2ที),,คอส(ที),คอส(2ที),)คิว(บาป(ที),บาป(2ที),,คอส(ที),คอส(2ที),)ที{\displaystyle \int _{0}^{2\pi }{\frac {P{\big (}\sin(t),\sin(2t),\ldots ,\cos(t),\cos(2t),\ldots {\big )}}{Q{\big (}\sin(t),\sin(2t),\ldots ,\cos(t),\cos(2t),\ldots {\big )}}}\,dt} โดยที่PและQเป็นพหุนาม กล่าวคือ กำลังทำการอินทิเกรตฟังก์ชันตรรกยะในรูปตรีโกณมิติ โปรดสังเกตว่าขอบเขตของการอินทิเกรตอาจเป็นπและ−π ก็ได้ ดัง เช่นในตัวอย่างก่อนหน้านี้ หรืออาจเป็นจุดปลายคู่ใดก็ได้ที่ห่างกัน

เคล็ดลับคือการใช้การแทนที่z = e itโดยที่dz = ie it dtและดังนั้น 1ฉันzz=ที.{\displaystyle {\frac {1}{iz}}\,dz=dt.}

การแทนที่นี้จะแมปช่วง[ 0, 2π ]ไปยังวงกลมหน่วย นอกจากนี้ บาป(เคที)=อีฉันเคทีอีฉันเคที2ฉัน=zเคzเค2ฉัน{\displaystyle \sin(kt)={\frac {e^{ikt}-e^{-ikt}}{2i}}={\frac {z^{k}-z^{-k}}{2i}}} และ คอส(เคที)=อีฉันเคที+อีฉันเคที2=zเค+zเค2{\displaystyle \cos(kt)={\frac {e^{ikt}+e^{-ikt}}{2}}={\frac {z^{k}+z^{-k}}{2}}} ดังนั้นฟังก์ชันตรรกยะf ( z )ในzจึงได้มาจากการแทนที่ และปริพันธ์จึงกลายเป็น |z|=1เอฟ(z)1ฉันzz{\displaystyle \oint _{|z|=1}f(z){\frac {1}{iz}}\,dz} ซึ่งคำนวณโดยการรวมเศษเหลือของf ( z ) 1 / izภายในวงกลมหน่วย

ภาพด้านขวามือแสดงให้เห็นถึงสิ่งนี้ ฉัน=0π211+(บาปที)2ที,{\displaystyle I=\int _{0}^{\frac {\pi }{2}}{\frac {1}{1+(\sin t)^{2}}}\,dt,} ซึ่งเราจะคำนวณต่อไปนี้ ขั้นตอนแรกคือการตระหนักว่า ฉัน=1402π11+(บาปที)2ที.{\displaystyle I={\frac {1}{4}}\int _{0}^{2\pi }{\frac {1}{1+(\sin t)^{2}}}\,dt.}

การแทนที่ให้ผลลัพธ์ดังนี้ 14|z|=14ฉันzz46z2+1z=|z|=1ฉันzz46z2+1z.{\displaystyle {\frac {1}{4}}\oint _{|z|=1}{\frac {4iz}{z^{4}-6z^{2}+1}}\,dz=\oint _{|z|=1}{\frac {iz}{z^{4}-6z^{2}+1}}\,dz.}

ขั้วของฟังก์ชันนี้อยู่ที่1 ± √2 และ −1 ± √2 ในจำนวนนี้ 1 + √2 และ−1 √2 อยู่นอกวงกลมหน่วย( แสดงด้วยสีแดงไม่ได้วาดตามสเกลจริง) ในขณะที่1√2และ−1 + √2 อยู่ภายในวงกลมหน่วย (แสดงด้วยสีน้ำเงิน) ค่าตกค้างที่สอดคล้อง กัน ทั้ง สองเท่ากับ⁠i√2 / 16⁠ดังนั้นค่าของอินทิ รัคือฉัน=2πฉัน2(216ฉัน)=π24.{\displaystyle I=2\pi i\;2\left(-{\frac {\sqrt {2}}{16}}i\right)=\pi {\frac {\sqrt {2}}{4}}.}

ตัวอย่างที่ 4 – การตัดกิ่ง

พิจารณาอินทิกรัลจริง 0xx2+6x+8x.{\displaystyle \int _{0}^{\infty }{\frac {\sqrt {x}}{x^{2}+6x+8}}\,dx.}

เราสามารถเริ่มต้นด้วยการกำหนดสูตรอินทิกรัลเชิงซ้อนได้ ซีzz2+6z+8z=ฉัน.{\displaystyle \int _{C}{\frac {\sqrt {z}}{z^{2}+6z+8}}\,dz=I.}

เราสามารถใช้สูตรปริพันธ์ของโคชีหรือทฤษฎีบทเศษเหลืออีกครั้งเพื่อหาเศษเหลือที่เกี่ยวข้องได้ อย่างไรก็ตาม สิ่งสำคัญที่ควรทราบคือz 1/2 = e (Log z )/2ดังนั้นz 1/2 จึง มีจุดตัดสาขาซึ่งส่งผลต่อการเลือกเส้นโค้งC ของเรา โดยปกติแล้ว จุดตัดสาขาของ ลอการิทึมจะถูกกำหนดให้เป็นแกนจริงลบ แต่เนื่องจากจะทำให้การคำนวณปริพันธ์ซับซ้อนขึ้นเล็กน้อย เราจึงกำหนดให้เป็นแกนจริงบวกแทน

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

โปรดสังเกตว่าz = −2และz = −4อยู่ภายในวงกลมขนาดใหญ่ ค่าเหล่านี้เป็นขั้วที่เหลืออีกสองค่า ซึ่งสามารถหาได้โดยการแยกตัวประกอบของตัวส่วนของฟังก์ชันที่อยู่ภายในอินทิกรัล จุดแยกสาขาที่z = 0ถูกหลีกเลี่ยงโดยการอ้อมไปรอบจุดกำเนิด

ให้γเป็นวงกลมเล็กที่มีรัศมีεและΓเป็นวงกลมใหญ่กว่าที่มีรัศมีRแล้ว ซี=εอาร์+Γ+อาร์ε+γ.{\displaystyle \int _{C}=\int _{\varepsilon }^{R}+\int _{\Gamma }+\int _{R}^{\varepsilon }+\int _{\gamma }.}

สามารถแสดงได้ว่าปริพันธ์เหนือΓและγต่างก็มีแนวโน้มเข้าสู่ศูนย์เมื่อε → 0และR → ∞โดยใช้การประมาณค่าข้างต้น ซึ่งเหลือสองพจน์ ตอนนี้เนื่องจากz 1/2 = e (Log z )/2บนเส้นโค้งนอกรอยตัดสาขา เราจึงได้อาร์กิวเมนต์เพิ่มขึ้น 2 πตามแนวγ (โดยเอกลักษณ์ของออยเลอร์ e i πแทนเวกเตอร์หน่วยซึ่งดังนั้นจึงมีπเป็นค่าลอการิทึมπ นี้ คือสิ่ง ที่หมายถึงอาร์กิวเมนต์ของzสัมประสิทธิ์ของ1/2 บังคับให้เราใช้ 2 π )ดังนั้น อาร์εzz2+6z+8z=อาร์εอี12บันทึกzz2+6z+8z=อาร์εอี12(บันทึก|z|+ฉันอาร์กz)z2+6z+8z=อาร์εอี12บันทึก|z|อี12(2πฉัน)z2+6z+8z=อาร์εอี12บันทึก|z|อีπฉันz2+6z+8z=อาร์εzz2+6z+8z=εอาร์zz2+6z+8z.{\displaystyle {\begin{aligned}\int _{R}^{\varepsilon }{\frac {\sqrt {z}}{z^{2}+6z+8}}\,dz&=\int _{R}^{\varepsilon }{\frac {e^{{\frac {1}{2}}\operatorname {Log} z}}{z^{2}+6z+8}}\,dz\\[6pt]&=\int _{R}^{\varepsilon }{\frac {e^{{\frac {1}{2}}(\log |z|+i\arg {z})}}{z^{2}+6z+8}}\,dz\\[6pt]&=\int _{R}^{\varepsilon }{\frac {e^{{\frac {1}{2}}\log |z|}e^{{\frac {1}{2}}(2\pi i)}}{z^{2}+6z+8}}\,dz\\[6pt]&=\int _{R}^{\varepsilon }{\frac {e^{{\frac {1}{2}}\log |z|}e^{\pi i}}{z^{2}+6z+8}}\,dz\\[6pt]&=\int _{R}^{\varepsilon }{\frac {-{\sqrt {z}}}{z^{2}+6z+8}}\,dz\\[6pt]&=\int _{\varepsilon }^{R}{\frac {\sqrt {z}}{z^{2}+6z+8}}\,dz.\end{aligned}}}

ดังนั้น: ซีzz2+6z+8z=20xx2+6x+8x.{\displaystyle \int _{C}{\frac {\sqrt {z}}{z^{2}+6z+8}}\,dz=2\int _{0}^{\infty }{\frac {\sqrt {x}}{x^{2}+6x+8}}\,dx.}

โดยใช้ทฤษฎีบทเศษเหลือหรือสูตรปริพันธ์ของโคชี (โดยใช้วิธีเศษส่วนย่อยก่อนเพื่อหาผลรวมของปริพันธ์ตามเส้นโค้งอย่างง่ายสองตัว) จะได้ πฉัน(ฉัน2ฉัน)=0xx2+6x+8x=π(112).{\displaystyle \pi i\left({\frac {i}{\sqrt {2}}}-i\right)=\int _{0}^{\infty }{\frac {\sqrt {x}}{x^{2}+6x+8}}\,dx=\pi \left(1-{\frac {1}{\sqrt {2}}}\right).\quad \square }

ตัวอย่างที่ 5 – กำลังสองของลอการิทึม

ส่วนนี้กล่าวถึงอินทิกรัลประเภทหนึ่งซึ่ง 0บันทึกx(1+x2)2x{\displaystyle \int _{0}^{\infty }{\frac {\log x}{\left(1+x^{2}\right)^{2}}}\,dx} เป็นตัวอย่างหนึ่ง

ในการคำนวณอินทิกรัลนี้ จะใช้ฟังก์ชัน เอฟ(z)=(บันทึกz1+z2)2{\displaystyle f(z)=\left({\frac {\log z}{1+z^{2}}}\right)^{2}} และสาขาของลอการิทึมที่สอดคล้องกับ−π < arg z π

เราจะคำนวณอินทิกรัลของf ( z )ตามเส้นโค้งของรูกุญแจที่แสดงทางด้านขวา ปรากฏว่าอินทิกรัลนี้เป็นพหุคูณของอินทิกรัลเริ่มต้นที่เราต้องการคำนวณ และโดยทฤษฎีบทเศษเหลือของโคชี เราจะได้ว่า (อาร์+เอ็ม+เอ็น+)เอฟ(z)z= 2πฉัน(เรสz=ฉันเอฟ(z)+เรสz=ฉันเอฟ(z))= 2πฉัน(π4+116ฉันπ2π4116ฉันπ2)= ฉันπ2.{\displaystyle {\begin{aligned}\left(\int _{R}+\int _{M}+\int _{N}+\int _{r}\right)f(z)\,dz=&\ 2\pi i{\big (}\operatorname {Res} _{z=i}f(z)+\operatorname {Res} _{z=-i}f(z){\big )}\\=&\ 2\pi i\left(-{\frac {\pi }{4}}+{\frac {1}{16}}i\pi ^{2}-{\frac {\pi }{4}}-{\frac {1}{16}}i\pi ^{2}\right)\\=&\ -i\pi ^{2}.\end{aligned}}}

ให้Rเป็นรัศมีของวงกลมขนาดใหญ่ และrเป็นรัศมีของวงกลมขนาดเล็ก เราจะใช้สัญลักษณ์M แทนเส้นบน และ Nแทนเส้นล่างเช่นเดียวกับก่อนหน้านี้ เราจะหาลิมิตเมื่อR → ∞และr → 0ส่วนประกอบจากวงกลมทั้งสองจะหายไป ตัวอย่างเช่น เราสามารถหาขอบเขตบนต่อไปนี้ได้จากทฤษฎีบทML : |อาร์เอฟ(z)z|2πอาร์(บันทึกอาร์)2+π2(อาร์21)20.{\displaystyle \left|\int _{R}f(z)\,dz\right|\leq 2\pi R{\frac {(\log R)^{2}+\pi ^{2}}{\left(R^{2}-1\right)^{2}}}\to 0.}

เพื่อคำนวณส่วนประกอบของMและNเรากำหนดz = − x + บนMและz = − xบนNโดยที่0 < x < ∞ : ฉันπ2=(อาร์+เอ็ม+เอ็น+)เอฟ(z)z=(เอ็ม+เอ็น)เอฟ(z)zอาร์, หายไป=0(บันทึก(x+ฉันε)1+(x+ฉันε)2)2x0(บันทึก(xฉันε)1+(xฉันε)2)2x=0(บันทึก(x+ฉันε)1+(x+ฉันε)2)2x0(บันทึก(xฉันε)1+(xฉันε)2)2x=0(บันทึกx+ฉันπ1+x2)2x0(บันทึกxฉันπ1+x2)2xε0=0(บันทึกx+ฉันπ)2(บันทึกxฉันπ)2(1+x2)2x=04πฉันบันทึกx(1+x2)2x=4πฉัน0บันทึกx(1+x2)2x{\displaystyle {\begin{aligned}-i\pi ^{2}&=\left(\int _{R}+\int _{M}+\int _{N}+\int _{r}\right)f(z)\,dz\\[6pt]&=\left(\int _{M}+\int _{N}\right)f(z)\,dz&&\int _{R},\int _{r}{\mbox{ vanish}}\\[6pt]&=-\int _{\infty }^{0}\left({\frac {\log(-x+i\varepsilon )}{1+(-x+i\varepsilon )^{2}}}\right)^{2}\,dx-\int _{0}^{\infty }\left({\frac {\log(-x-i\varepsilon )}{1+(-x-i\varepsilon )^{2}}}\right)^{2}\,dx\\[6pt]&=\int _{0}^{\infty }\left({\frac {\log(-x+i\varepsilon )}{1+(-x+i\varepsilon )^{2}}}\right)^{2}\,dx-\int _{0}^{\infty }\left({\frac {\log(-x-i\varepsilon )}{1+(-x-i\varepsilon )^{2}}}\right)^{2}\,dx\\[6pt]&=\int _{0}^{\infty }\left({\frac {\log x+i\pi }{1+x^{2}}}\right)^{2}\,dx-\int _{0}^{\infty }\left({\frac {\log x-i\pi }{1+x^{2}}}\right)^{2}\,dx&&\varepsilon \to 0\\&=\int _{0}^{\infty }{\frac {(\log x+i\pi )^{2}-(\log x-i\pi )^{2}}{\left(1+x^{2}\right)^{2}}}\,dx\\[6pt]&=\int _{0}^{\infty }{\frac {4\pi i\log x}{\left(1+x^{2}\right)^{2}}}\,dx\\[6pt]&=4\pi i\int _{0}^{\infty }{\frac {\log x}{\left(1+x^{2}\right)^{2}}}\,dx\end{aligned}}} ซึ่งให้ 0บันทึกx(1+x2)2x=π4.{\displaystyle \int _{0}^{\infty }{\frac {\log x}{\left(1+x^{2}\right)^{2}}}\,dx=-{\frac {\pi }{4}}.}

ตัวอย่างที่ 6 – ลอการิทึมและเศษเหลือที่อนันต์

เรามุ่งหวังที่จะประเมินผล ฉัน=03x34(3x)145xx.{\displaystyle I=\int _{0}^{3}{\frac {x^{\frac {3}{4}}(3-x)^{\frac {1}{4}}}{5-x}}\,dx.}

เรื่องนี้ต้องอาศัยการศึกษาอย่างละเอียดถี่ถ้วน เอฟ(z)=z34(3z)14.{\displaystyle f(z)=z^{\frac {3}{4}}(3-z)^{\frac {1}{4}}.}

เราจะสร้างf ( z )โดยให้มีการตัดสาขาบน[ 0, 3 ]ซึ่งแสดงด้วยสีแดงในแผนภาพ ในการทำเช่นนี้ เราเลือกสองสาขาของลอการิทึม โดยกำหนดค่า z34=เอ็กซ์(34บันทึกz)ที่ไหน πอาร์กz<π{\displaystyle z^{\frac {3}{4}}=\exp \left({\frac {3}{4}}\log z\right)\quad {\mbox{where }}-\pi \leq \arg z<\pi } และ (3z)14=เอ็กซ์(14บันทึก(3z))ที่ไหน 0อาร์ก(3z)<2π.{\displaystyle (3-z)^{\frac {1}{4}}=\exp \left({\frac {1}{4}}\log(3-z)\right)\quad {\mbox{where }}0\leq \arg(3-z)<2\pi .}

ดังนั้นรอยตัดของz³⁄⁴ คือ ( −∞ , 0 ]และรอยตัดของ(3 − z ) ¹/⁴ คือ( −∞ , 3 ]จะเห็นได้ง่ายว่ารอยตัดของผลคูณของทั้งสอง นั่นคือf ( z )คือ[0, 3]เพราะf ( z )มีความต่อเนื่องบนช่วง(−∞, 0)ทั้งนี้เพราะเมื่อz = −r < 0และเราเข้าใกล้รอยตัดจากด้านบนf ( z )จะมีค่าเท่ากับ 34อี34πฉัน(3+)14อี24πฉัน=34(3+)14อี54πฉัน.{\displaystyle r^{\frac {3}{4}}e^{{\frac {3}{4}}\pi i}(3+r)^{\frac {1}{4}}e^{{\frac {2}{4}}\pi i}=r^{\frac {3}{4}}(3+r)^{\frac {1}{4}}e^{{\frac {5}{4}}\pi i}.}

เมื่อเราเข้าใกล้จากด้านล่างf ( z )จะมีค่า 34อี34πฉัน(3+)14อี04πฉัน=34(3+)14อี34πฉัน.{\displaystyle r^{\frac {3}{4}}e^{-{\frac {3}{4}}\pi i}(3+r)^{\frac {1}{4}}e^{{\frac {0}{4}}\pi i}=r^{\frac {3}{4}}(3+r)^{\frac {1}{4}}e^{-{\frac {3}{4}}\pi i}.}

แต่ อี34πฉัน=อี54πฉัน,{\displaystyle e^{-{\frac {3}{4}}\pi i}=e^{{\frac {5}{4}}\pi i},}

เพื่อให้เกิดความต่อเนื่องตลอดแนวตัด ดังแสดงในแผนภาพ โดยวงกลมสีดำสองวงที่มีทิศทางจะถูกกำกับด้วยค่าที่สอดคล้องกันของอาร์กิวเมนต์ของลอการิทึมที่ใช้ในz 3 4 และ ( 3 − z ) 1/4

เราจะใช้เส้นโค้งที่แสดงเป็นสีเขียวในแผนภาพ ในการทำเช่นนี้ เราต้องคำนวณค่าของf ( z )ตามส่วนของเส้นตรงที่อยู่เหนือและใต้รอยตัด

ให้z = r (ในลิมิต กล่าวคือ เมื่อวงกลมสีเขียวทั้งสองวงหดตัวลงจนมีรัศมีเป็นศูนย์) โดยที่0 ≤ r ≤ 3ตามส่วนบน เราพบว่าf ( z )มีค่าดังนี้ 34อี04πฉัน(3)14อี24πฉัน=ฉัน34(3)14{\displaystyle r^{\frac {3}{4}}e^{{\frac {0}{4}}\pi i}(3-r)^{\frac {1}{4}}e^{{\frac {2}{4}}\pi i}=ir^{\frac {3}{4}}(3-r)^{\frac {1}{4}}} และตามส่วนล่าง 34อี04πฉัน(3)14อี04πฉัน=34(3)14.{\displaystyle r^{\frac {3}{4}}e^{{\frac {0}{4}}\pi i}(3-r)^{\frac {1}{4}}e^{{\frac {0}{4}}\pi i}=r^{\frac {3}{4}}(3-r)^{\frac {1}{4}}.}

ดังนั้น อินทิกรัลของf ( z ) / 5 − zตามส่วนบนจะมี ค่าเท่ากับ iIในลิมิต และตามส่วนล่างจะมีค่าเท่ากับI

ถ้าเราสามารถแสดงได้ว่าปริพันธ์ตามวงกลมสีเขียวทั้งสองวงมีค่าเป็นศูนย์ในลิมิตแล้ว เราก็จะได้ค่าของI ด้วยเช่นกัน โดยทฤษฎีบทเศษเหลือของโคชีให้รัศมีของวงกลมสีเขียวเป็นρโดยที่ρ < 0.001และρ → 0แล้วใช้ความไม่เท่าเทียมกันMLสำหรับวงกลมCLทางด้านซ้าย เราพบว่า |ซีแอลเอฟ(z)5zz|2πρρ343.001144.999โอ(ρ74)0.{\displaystyle \left|\int _{C_{\mathrm {L} }}{\frac {f(z)}{5-z}}dz\right|\leq 2\pi \rho {\frac {\rho ^{\frac {3}{4}}3.001^{\frac {1}{4}}}{4.999}}\in {\mathcal {O}}\left(\rho ^{\frac {7}{4}}\right)\to 0.}

ในทำนองเดียวกัน สำหรับวงกลมC ทางด้านขวา เราจะได้ว่า |ซีอาร์เอฟ(z)5zz|2πρ3.00134ρ141.999โอ(ρ54)0.{\displaystyle \left|\int _{C_{\mathrm {R} }}{\frac {f(z)}{5-z}}dz\right|\leq 2\pi \rho {\frac {3.001^{\frac {3}{4}}\rho ^{\frac {1}{4}}}{1.999}}\in {\mathcal {O}}\left(\rho ^{\frac {5}{4}}\right)\to 0.}

เมื่อใช้ทฤษฎีบทเศษเหลือของโคชีเราจะได้ว่า (ฉัน+1)ฉัน=2πฉัน(เรสz=5เอฟ(z)5z+เรสz=เอฟ(z)5z).{\displaystyle (-i+1)I=-2\pi i\left(\operatorname {Res} _{z=5}{\frac {f(z)}{5-z}}+\operatorname {Res} _{z=\infty }{\frac {f(z)}{5-z}}\right).} โดยเครื่องหมายลบเกิดจากทิศทางตามเข็มนาฬิการอบเศษเหลือ เมื่อใช้ส่วนของลอการิทึมจากก่อนหน้านี้ จะเห็นได้ชัดว่า เรสz=5เอฟ(z)5z=534อี14บันทึก(2).{\displaystyle \operatorname {Res} _{z=5}{\frac {f(z)}{5-z}}=-5^{\frac {3}{4}}e^{{\frac {1}{4}}\log(-2)}.}

ในแผนภาพแสดงขั้วด้วยสีน้ำเงิน ค่าจะลดรูปเหลือดังนี้ 534อี14(บันทึก2+πฉัน)=อี14πฉัน534214.{\displaystyle -5^{\frac {3}{4}}e^{{\frac {1}{4}}(\log 2+\pi i)}=-e^{{\frac {1}{4}}\pi i}5^{\frac {3}{4}}2^{\frac {1}{4}}.}

เราใช้สูตรต่อไปนี้สำหรับเศษเหลือที่อนันต์: เรสz=ชม.(z)=เรสz=0(1z2ชม.(1z)).{\displaystyle \operatorname {Res} _{z=\infty }h(z)=\operatorname {Res} _{z=0}\left(-{\frac {1}{z^{2}}}h\left({\frac {1}{z}}\right)\right).}

เมื่อแทนค่า เราจะพบว่า 151z=z(1+5z+52z2+53z3+){\displaystyle {\frac {1}{5-{\frac {1}{z}}}}=-z\left(1+5z+5^{2}z^{2}+5^{3}z^{3}+\cdots \right)} และ (1z3(31z))14=1z(3z1)14=1zอี14πฉัน(13z)14,{\displaystyle \left({\frac {1}{z^{3}}}\left(3-{\frac {1}{z}}\right)\right)^{\frac {1}{4}}={\frac {1}{z}}(3z-1)^{\frac {1}{4}}={\frac {1}{z}}e^{{\frac {1}{4}}\pi i}(1-3z)^{\frac {1}{4}},} โดยที่เราใช้ข้อเท็จจริงที่ว่า−1 = e π iสำหรับสาขาที่สองของลอการิทึม ต่อไปเราใช้การกระจายทวินาม ซึ่งจะได้ 1zอี14πฉัน(1(1/41)3z+(1/42)32z2(1/43)33z3+).{\displaystyle {\frac {1}{z}}e^{{\frac {1}{4}}\pi i}\left(1-{1/4 \choose 1}3z+{1/4 \choose 2}3^{2}z^{2}-{1/4 \choose 3}3^{3}z^{3}+\cdots \right).}

สรุปได้ว่า เรสz=เอฟ(z)5z=อี14πฉัน(534)=อี14πฉัน174.{\displaystyle \operatorname {Res} _{z=\infty }{\frac {f(z)}{5-z}}=e^{{\frac {1}{4}}\pi i}\left(5-{\frac {3}{4}}\right)=e^{{\frac {1}{4}}\pi i}{\frac {17}{4}}.}

สุดท้ายแล้ว จึงสรุปได้ว่า ค่าของIคือ ฉัน=2πฉันอี14πฉัน1+ฉัน(174534214)=2π212(174534214){\displaystyle I=2\pi i{\frac {e^{{\frac {1}{4}}\pi i}}{-1+i}}\left({\frac {17}{4}}-5^{\frac {3}{4}}2^{\frac {1}{4}}\right)=2\pi 2^{-{\frac {1}{2}}}\left({\frac {17}{4}}-5^{\frac {3}{4}}2^{\frac {1}{4}}\right)} ซึ่งให้ผลลัพธ์ ฉัน=π22(17534294)=π22(174034).{\displaystyle I={\frac {\pi }{2{\sqrt {2}}}}\left(17-5^{\frac {3}{4}}2^{\frac {9}{4}}\right)={\frac {\pi }{2{\sqrt {2}}}}\left(17-40^{\frac {3}{4}}\right).}

การประเมินด้วยทฤษฎีบทเศษเหลือ

โดยใช้ทฤษฎีบทเศษเหลือเราสามารถประเมินค่าอินทิกรัลเส้นโค้งปิดได้ ตัวอย่างต่อไปนี้เป็นการประเมินค่าอินทิกรัลเส้นโค้งโดยใช้ทฤษฎีบทเศษเหลือ

โดยใช้ทฤษฎีบทเศษเหลือ เรามาคำนวณปริพันธ์ตามเส้นโค้งนี้กัน ซีอีzz3z{\displaystyle \oint _{C}{\frac {e^{z}}{z^{3}}}\,dz}

โปรดจำไว้ว่าทฤษฎีบทเศษเหลือระบุว่า ซีเอฟ(z)z=2πฉันเรส(เอฟ,เอเค),{\displaystyle \oint _{C}f(z)dz=2\pi i\cdot \sum \operatorname {Res} (f,a_{k}),} ที่ไหนเรส{\displaystyle \operatorname {Res} }คือเศษเหลือของเอฟ(z){\displaystyle f(z)}และเอเค{\displaystyle a_{k}}ภาวะเอกฐานของเอฟ(z){\displaystyle f(z)}นอนอยู่ภายในเส้นขอบซี{\displaystyle C}(โดยที่ไม่มีตัวใดนอนราบอยู่โดยตรง)ซี{\displaystyle C})

เอฟ(z){\displaystyle f(z)}มีเสาเพียงต้นเดียว0{\displaystyle 0}จากนั้น เราจึงสรุปได้ว่าเศษเหลือของเอฟ(z){\displaystyle f(z)}จะเป็น12{\displaystyle {\tfrac {1}{2}}}ซีเอฟ(z)z=ซีอีzz3z=2πฉันเรสz=0เอฟ(z)=2πฉันเรสz=0อีzz3=2πฉัน12=πฉัน{\displaystyle {\begin{aligned}\oint _{C}f(z)dz&=\oint _{C}{\frac {e^{z}}{z^{3}}}dz\\&=2\pi i\cdot \operatorname {Res} _{z=0}f(z)\\&=2\pi i\operatorname {Res} _{z=0}{\frac {e^{z}}{z^{3}}}\\&=2\pi i\cdot {\frac {1}{2}}\\&=\pi i\end{aligned}}}

ดังนั้น โดยใช้ทฤษฎีบทเศษเหลือเราสามารถหาค่าได้ดังนี้: ซีอีzz3z=πฉัน.{\displaystyle \oint _{C}{\frac {e^{z}}{z^{3}}}dz=\pi i.}

อินทิกรัลเส้นโค้งหลายตัวแปร

ในการแก้ปัญหาปริพันธ์ตามเส้นโค้งหลายตัวแปร (เช่นปริพันธ์บนพื้นผิวปริพันธ์ปริมาตรเชิงซ้อนและปริพันธ์ อันดับสูง ) เราต้องใช้ทฤษฎีบทไดเวอร์เจนซ์สำหรับตอนนี้ ให้ แทน{\displaystyle \nabla \cdot }สามารถใช้แทนกันได้กับดิฟ{\displaystyle \operatorname {div} }ทั้งสองสิ่งนี้จะทำหน้าที่เป็นค่าไดเวอร์เจนซ์ของสนามเวกเตอร์ที่แสดงด้วยเอฟ{\displaystyle \mathbf {F} }ทฤษฎีบทนี้กล่าวว่า: ยูnดิฟ(เอฟ)วี=ยูn1เอฟnเอส{\displaystyle \underbrace {\int \cdots \int _{U}} _{n}\operatorname {div} (\mathbf {F} )\,dV=\underbrace {\oint \cdots \oint _{\partial U}} _{n-1}\mathbf {F} \cdot \mathbf {n} \,dS}

นอกจากนี้ เรายังต้องประเมินผลด้วยเอฟ{\displaystyle \nabla \cdot \mathbf {F} }ที่ไหนเอฟ{\displaystyle \nabla \cdot \mathbf {F} }เป็นสัญลักษณ์ทางเลือกของดิฟ(เอฟ){\displaystyle \operatorname {div} (\mathbf {F} )}ความแตกต่างของมิติใดๆ สามารถอธิบายได้ดังนี้ ดิฟ(เอฟ)=เอฟ=(คุณ,x,y,z,)(เอฟคุณ,เอฟx,เอฟy,เอฟz,)=(เอฟคุณคุณ+เอฟxx+เอฟyy+เอฟzz+){\displaystyle {\begin{aligned}\operatorname {div} (\mathbf {F} )&=\nabla \cdot \mathbf {F} \\&=\left({\frac {\partial }{\partial u}},{\frac {\partial }{\partial x}},{\frac {\partial }{\partial y}},{\frac {\partial }{\partial z}},\dots \right)\cdot (F_{u},F_{x},F_{y},F_{z},\dots )\\&=\left({\frac {\partial F_{u}}{\partial u}}+{\frac {\partial F_{x}}{\partial x}}+{\frac {\partial F_{y}}{\partial y}}+{\frac {\partial F_{z}}{\partial z}}+\cdots \right)\end{aligned}}}

ตัวอย่างที่ 1

ให้สนามเวกเตอร์เป็นเอฟ=บาป(2x)อีx+บาป(2y)อีy+บาป(2z)อีz{\displaystyle \mathbf {F} =\sin(2x)\mathbf {e} _{x}+\sin(2y)\mathbf {e} _{y}+\sin(2z)\mathbf {e} _{z}}และต้องอยู่ภายใต้ข้อจำกัดดังต่อไปนี้ 0x10y31z4{\displaystyle {0\leq x\leq 1}\quad {0\leq y\leq 3}\quad {-1\leq z\leq 4}}

อินทิกรัลเส้นโค้งคู่ที่สอดคล้องกันจะถูกตั้งค่าดังนี้:

{\displaystyle }\oiintเอส{\displaystyle {\scriptstyle S}}เอฟnเอส{\displaystyle \mathbf {F} \cdot \mathbf {n} \,dS}

ขณะนี้เรากำลังประเมินผลเอฟ{\displaystyle \nabla \cdot \mathbf {F} }ในขณะเดียวกัน ให้ตั้งค่าอินทิกรัลสามชั้นที่สอดคล้องกัน: =วี(เอฟxx+เอฟyy+เอฟzz)วี=วี(บาป(2x)x+บาป(2y)y+บาป(2z)z)วี=วี2(คอส(2x)+คอส(2y)+คอส(2z))วี=0103142(คอส(2x)+คอส(2y)+คอส(2z))xyz=0103(10คอส(2y)+บาป(8)+บาป(2)+10คอส(z))yz=01(30คอส(2z)+3บาป(2)+3บาป(8)+5บาป(6))z=18บาป(2)+3บาป(8)+5บาป(6){\displaystyle {\begin{aligned}&=\iiint _{V}\left({\frac {\partial F_{x}}{\partial x}}+{\frac {\partial F_{y}}{\partial y}}+{\frac {\partial F_{z}}{\partial z}}\right)dV\\[6pt]&=\iiint _{V}\left({\frac {\partial \sin(2x)}{\partial x}}+{\frac {\partial \sin(2y)}{\partial y}}+{\frac {\partial \sin(2z)}{\partial z}}\right)dV\\[6pt]&=\iiint _{V}2\left(\cos(2x)+\cos(2y)+\cos(2z)\right)dV\\[6pt]&=\int _{0}^{1}\int _{0}^{3}\int _{-1}^{4}2(\cos(2x)+\cos(2y)+\cos(2z))\,dx\,dy\,dz\\[6pt]&=\int _{0}^{1}\int _{0}^{3}(10\cos(2y)+\sin(8)+\sin(2)+10\cos(z))\,dy\,dz\\[6pt]&=\int _{0}^{1}(30\cos(2z)+3\sin(2)+3\sin(8)+5\sin(6))\,dz\\[6pt]&=18\sin(2)+3\sin(8)+5\sin(6)\end{aligned}}}

ตัวอย่างที่ 2

ให้สนามเวกเตอร์เป็นเอฟ=คุณ4อีคุณ+x5อีx+y6อีy+z3อีz{\displaystyle \mathbf {F} =u^{4}\mathbf {e} _{u}+x^{5}\mathbf {e} _{x}+y^{6}\mathbf {e} _{y}+z^{-3}\mathbf {e} _{z}}และโปรดสังเกตว่าในกรณีนี้มีพารามิเตอร์ 4 ตัว ให้เวกเตอร์ฟิลด์ นี้ มีขอบเขตดังต่อไปนี้: 0x110y2π4z51คุณ3{\displaystyle {0\leq x\leq 1}\quad {-10\leq y\leq 2\pi }\quad {4\leq z\leq 5}\quad {-1\leq u\leq 3}}

ในการประเมินสิ่งนี้ เราต้องใช้ทฤษฎีบทไดเวอร์เจนซ์ดังที่กล่าวไว้ก่อนหน้านี้ และเราต้องประเมินค่าเอฟ{\displaystyle \nabla \cdot \mathbf {F} }. อนุญาตวี=xyzคุณ{\displaystyle dV=dx\,dy\,dz\,du}

โนอินท์เอส{\displaystyle {\scriptstyle S}}เอฟnเอส{\displaystyle \mathbf {F} \cdot \mathbf {n} \,dS}

=วี(เอฟคุณคุณ+เอฟxx+เอฟyy+เอฟzz)วี=วี(คุณ4คุณ+x5x+y6y+z3z)วี=วี4คุณ3z4+5x4z4+5y4z43z4วี=วี4คุณ3z4+5x4z4+5y4z43z4วี=01102π45134คุณ3z4+5x4z4+5y4z43z4วี=01102π45(4(3คุณ4z3+3y6+91z3+3)3z3)yzคุณ=01102π(4คุณ4+74344021+4z3)zคุณ=01(12π2+1486880π21+8πคุณ4+40คุณ4+3717200211050)คุณ=3717284211050+14869136π3105210π2576468.77{\displaystyle {\begin{aligned}&=\iiiint _{V}\left({\frac {\partial F_{u}}{\partial u}}+{\frac {\partial F_{x}}{\partial x}}+{\frac {\partial F_{y}}{\partial y}}+{\frac {\partial F_{z}}{\partial z}}\right)\,dV\\[6pt]&=\iiiint _{V}\left({\frac {\partial u^{4}}{\partial u}}+{\frac {\partial x^{5}}{\partial x}}+{\frac {\partial y^{6}}{\partial y}}+{\frac {\partial z^{-3}}{\partial z}}\right)\,dV\\[6pt]&=\iiiint _{V}{\frac {4u^{3}z^{4}+5x^{4}z^{4}+5y^{4}z^{4}-3}{z^{4}}}\,dV\\[6pt]&=\iiiint _{V}{\frac {4u^{3}z^{4}+5x^{4}z^{4}+5y^{4}z^{4}-3}{z^{4}}}\,dV\\[6pt]&=\int _{0}^{1}\int _{-10}^{2\pi }\int _{4}^{5}\int _{-1}^{3}{\frac {4u^{3}z^{4}+5x^{4}z^{4}+5y^{4}z^{4}-3}{z^{4}}}\,dV\\[6pt]&=\int _{0}^{1}\int _{-10}^{2\pi }\int _{4}^{5}\left({\frac {4(3u^{4}z^{3}+3y^{6}+91z^{3}+3)}{3z^{3}}}\right)\,dy\,dz\,du\\[6pt]&=\int _{0}^{1}\int _{-10}^{2\pi }\left(4u^{4}+{\frac {743440}{21}}+{\frac {4}{z^{3}}}\right)\,dz\,du\\[6pt]&=\int _{0}^{1}\left(-{\frac {1}{2\pi ^{2}}}+{\frac {1486880\pi }{21}}+8\pi u^{4}+40u^{4}+{\frac {371720021}{1050}}\right)\,du\\[6pt]&={\frac {371728421}{1050}}+{\frac {14869136\pi ^{3}-105}{210\pi ^{2}}}\\[6pt]&\approx {576468.77}\end{aligned}}}

ดังนั้น เราจึงสามารถประเมินปริพันธ์ตามเส้นโค้งด้วยn=4{\displaystyle n=4}เราสามารถใช้วิธีเดียวกันนี้ในการประเมินปริพันธ์ตามเส้นโค้งสำหรับสนามเวกเตอร์ ใดๆ ก็ได้n>4{\displaystyle n>4}เช่นกัน.

การแสดงผลแบบอินทิกรัล

ในการวิเคราะห์เชิงซ้อนการแสดงผลในรูปอินทิกรัลจะแสดงฟังก์ชันในรูปอินทิกรัลตามเส้นโค้งในระนาบเชิงซ้อน การแสดงผลในลักษณะนี้มีความสำคัญอย่างยิ่งต่อทฤษฎีฟังก์ชันโฮโลมอร์ฟิกและมีความเชื่อมโยงอย่างใกล้ชิดกับทฤษฎีบทพื้นฐานของการอินทิเกรตเชิงซ้อน

หนึ่งในตัวอย่างที่สำคัญที่สุดคือสูตรอินทิกรัลของโคชีซึ่งเป็นวิธีในการสร้างฟังก์ชันเชิงวิเคราะห์ ขึ้นใหม่ จากค่าของฟังก์ชันนั้นบนเส้นโค้งโดยรอบ:

เอฟ(z)=12πฉันγเอฟ(ζ)ζzζ{\displaystyle f(z)={\frac {1}{2\pi i}}\oint _{\gamma }{\frac {f(\zeta )}{\zeta -z}}\,d\zeta }

ที่ไหนเอฟ{\displaystyle f}เป็นฟังก์ชันโฮโลมอร์ฟิกบนและภายในเส้นโค้งปิดแบบง่ายγ{\displaystyle \gamma },z{\displaystyle z}เป็นจุดภายในγ{\displaystyle \gamma }, และζ{\displaystyle \zeta }คือตัวแปรของการอินทิเกรต สูตรนี้แสดงให้เห็นว่าค่าของเอฟ{\displaystyle f}ค่าภายในเส้นขอบจะถูกกำหนดโดยค่าต่างๆ ตามแนวเส้นขอบ

ตัวอย่าง

การแปลงลาปลาสผกผัน

การแปลงลาปลาสผกผันถูกกำหนดโดยปริพันธ์เส้นโค้งเชิงซ้อนที่เรียกว่าปริพันธ์บรอมวิช : เอฟ(ที)=12πฉันγฉันγ+ฉันอีทีเอฟ(){\displaystyle f(t)={\frac {1}{2\pi i}}\int _{\gamma -i\infty }^{\gamma +i\infty }e^{st}F(s)\,ds}

อินทิกรัลนี้แสดงถึงฟังก์ชันเอฟ(ที){\displaystyle f(t)}ในแง่ของการแปลงลาปลาสเอฟ(){\displaystyle F(s)}.

การแสดงผลฟังก์ชันซินค์

อินทิกรัลต่อไปนี้แสดงถึงฟังก์ชัน sinc :

บาปxx=1π0คอส(xที)ที{\displaystyle {\frac {\sin x}{x}}={\frac {1}{\pi }}\int _{0}^{\infty }\cos(xt)\,dt}

แม้ว่านี่จะเป็นปริพันธ์ที่แท้จริง แต่วิธีการจากปริพันธ์ตามเส้นโค้งมักถูกนำมาใช้ในการหาที่มาหรือการคำนวณ

ฟังก์ชันแกมมา

ฟังก์ชันแกมมามีรูปแบบการแสดงผลแบบอินทิกรัลดังต่อไปนี้:

Γ(z)=0ทีz1อีทีทีสำหรับ อีกครั้ง(z)>0{\displaystyle \Gamma (z)=\int _{0}^{\infty }t^{z-1}e^{-t}\,dt\quad {\text{for }}\operatorname {Re} (z)>0}

การขยายความนิยามนี้เกี่ยวข้องกับอินทิกรัลตามเส้นโค้งในระนาบเชิงซ้อน

ฟังก์ชันซีตาของรีมันน์

นิยามดั้งเดิมของฟังก์ชันซีตาของรีมันน์ζ(){\displaystyle \zeta (s)}ผ่านอนุกรมดิริชเลต์ ζ()=เค=11เค,{\displaystyle \zeta (s)=\sum _{k=1}^{\infty }{\frac {1}{k^{s}}},} ใช้ได้เฉพาะสำหรับอีกครั้ง()>1{\displaystyle \operatorname {Re} (s)>1}, แต่ ζ()=Γ(1)2πฉันชม(ที)1อีที1ที,{\displaystyle \zeta (s)={\dfrac {\Gamma (1-s)}{2\pi i}}\int _{H}{\dfrac {(-t)^{s-1}}{e^{t}-1}}dt,} โดยที่การอินทิเกรตนั้นทำบนเส้นโค้งแฮงเคลชม{\displaystyle H}ใช้ได้กับโครงสร้างที่ซับซ้อนทั้งหมด{\displaystyle s}ไม่เท่ากับ1{\displaystyle 1}.

แอปพลิเคชัน

การแสดงผลในรูปอินทิกรัลถูกนำมาใช้ในการประเมินอินทิกรัลจำกัด การหาเอกลักษณ์ของฟังก์ชัน และการแก้สมการเชิงอนุพันธ์นอกจากนี้ยังปรากฏในวิเคราะห์เชิงอะซิมโทติกเชิงซ้อนทฤษฎีศักย์และฟิสิกส์เชิงคณิตศาสตร์ด้วย

ดูเพิ่มเติม

อ่านเพิ่มเติม

  • Titchmarsh, EC (1939), ทฤษฎีของฟังก์ชัน (  ฉบับที่ 2), สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด; พิมพ์ซ้ำ, 1968, ISBN 0-19-853349-7
  • Marko Riedel และคณะ, Problème d'intégrale , Les-Mathematiques.netในภาษาฝรั่งเศส
  • Marko Riedel และคณะ, อินทิกรัลโดยใช้เศษเหลือ , math.stackexchange.com
  • WWL Chen, บทนำสู่การวิเคราะห์เชิงซ้อน
  • ผู้เขียนหลายคนsin límites ni cotas , es.ciencia.matematicasในภาษาสเปน

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ ไม่มีชื่อบทความ

ในสาขาคณิตศาสตร์ของ การวิเคราะห์เชิงซ้อน การ อินทิเกรตตามเส้นโค้ง เป็นวิธีการประเมิน อินทิกรัล บางอย่าง ตามเส้นทางในระนาบ เชิงซ้อน [ 1 ] [ 2 ] [ 3 ]...

เส้นโค้งในระนาบเชิงซ้อน

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

เส้นโค้งเรียบที่กำหนดทิศทาง

โดยทั่วไปแล้ว เส้นขอบจะถูกกำหนดในแง่ของเส้นโค้งเรียบที่มีทิศทาง [ 5 ] ซึ่งให้คำจำกัดความที่แม่นยำของ "ส่วน" ของเส้นโค้งเรียบ ซึ่งเส้นขอบถูกสร้างขึ้นจากส่วนนั้น

เส้นขอบ

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