การวิเคราะห์เชิงซ้อน

[right|thumb|262x262px|[การระบายสีโดเมน|กราฟลงสีของฟังก์ชัน




สีสันแทนค่าอาร์กิวเมนต์ และความสว่างแทนขนาดของจำนวนเชิงซ้อน]]

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

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

## ประวัติ

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

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

## ฟังก์ชันโฮโลมอร์ฟิก

ฟังก์ชันเชิงซ้อน คือฟังก์ชัน f\colon\mathbb{C}\to\mathbb{C} จากเซตของจำนวนเชิงซ้อน ไปยังเซตของจำนวนเชิงซ้อน

ฟังก์ชันเชิงซ้อน f จะหาอนุพันธ์ที่จุด z_0 \in \mathbb{C} ได้ก็ต่อเมื่อลิมิต

f'(z_0) = \lim_{z \to z_0}\frac{f(z) - f(z_0)}{z - z_0}

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

ฟังก์ชันเชิงซ้อนที่หาอนุพันธ์ได้ทุกจุดบนเซตเปิด \Omega\subseteq \mathbb{C} บางเซตของจำนวนเชิงซ้อนจะเรียกว่า *ฟังก์ชันโฮโลมอร์ฟิกบน* \Omega 

สมบัติสำคัญของฟังก์ชันโฮโลมอร์ฟิก เช่น

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

## ปริพันธ์ตามเส้นรอบขอบ
เครื่องมือสำคัญในการวิเคราะห์เชิงซ้อนอีกอันหนึ่งคือ ปริพันธ์ตามเส้น 

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

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

## อ้างอิง

## อ่านเพิ่มเติม
* 
* 
* 
## ดูเพิ่ม
* การส่งคงรูป
* การต่อเนื่องวิเคราะห์
* ฟังก์ชันของตัวแปรเชิงซ้อนหลายตัว
* ฟังก์ชันยูนิวาเลนต์
* การวิเคราะห์เชิงจริง


หมวดหมู่:คณิตวิเคราะห์