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

อ่าน 27 นาที

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

ใน ทางคณิตศาสตร์ อนุพันธ์เป็นเครื่องมือพื้นฐานที่ใช้ในการวัดความไวต่อการเปลี่ยนแปลงของ ผลลัพธ์ ของ ฟังก์ชัน เมื่อเทียบกับอินพุต...

อนุพันธ์

บทความนี้ดีมาก คลิกที่นี่เพื่อดูข้อมูลเพิ่มเติม
หน้าเว็บได้รับการป้องกันบางส่วน

กราฟของฟังก์ชันที่วาดด้วยสีดำ และเส้นสัมผัสของกราฟนั้นที่วาดด้วยสีแดงความชันของเส้นสัมผัสเท่ากับอนุพันธ์ของฟังก์ชัน ณ จุดที่ทำเครื่องหมายไว้
อนุพันธ์ ณ จุดต่างๆ ของฟังก์ชันที่หาอนุพันธ์ได้ ในกรณีนี้ อนุพันธ์มีค่าเท่ากับบาป(x2)+2x2คอส(x2){\displaystyle \sin \left(x^{2}\right)+2x^{2}\cos \left(x^{2}\right)} .

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

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

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

คำนิยาม

ในฐานะข้อจำกัด

ฟังก์ชันของตัวแปรจริงเอฟ(x){\displaystyle f(x)}สามารถหาอนุพันธ์ได้ที่จุดหนึ่งเอ{\displaystyle a}ของโดเมน นั้น หากโดเมนนั้นมีช่วงเปิดที่ประกอบด้วยเอ{\displaystyle a}และขีดจำกัดแอล=ลิมชม.0เอฟ(เอ+ชม.)เอฟ(เอ)ชม.{\displaystyle L=\lim _{h\to 0}{\frac {f(a+h)-f(a)}{h}}} มีอยู่[ 2 ] ซึ่งหมายความว่าสำหรับจำนวนจริงบวก ทุกจำนวนε{\displaystyle \varepsilon }มีจำนวนจริงบวกอยู่จำนวนหนึ่งδ{\displaystyle \delta }โดยที่สำหรับทุกๆชม.{\displaystyle h}โดยที่|ชม.|<δ{\displaystyle |h|<\delta }และชม.0{\displaystyle h\neq 0}แล้วเอฟ(เอ+ชม.){\displaystyle f(a+h)}ได้รับการกำหนดแล้ว และ |แอลเอฟ(เอ+ชม.)เอฟ(เอ)ชม.|<ε,{\displaystyle \left|L-{\frac {f(a+h)-f(a)}{h}}\right|<\varepsilon ,} โดยที่เส้นแนวตั้งแสดงถึงค่าสัมบูรณ์นี่เป็นตัวอย่างของนิยามลิมิตแบบ (ε, δ) [ 3 ]

ถ้าฟังก์ชันเอฟ{\displaystyle f}สามารถหาอนุพันธ์ได้ที่เอ{\displaystyle a}นั่นคือถ้าลิมิตแอล{\displaystyle L}ถ้ามีอยู่จริง ลิมิตนี้เรียกว่าอนุพันธ์ของเอฟ{\displaystyle f}ที่เอ{\displaystyle a}มีสัญลักษณ์หลายแบบสำหรับอนุพันธ์ [ 4 ]อนุพันธ์ของเอฟ{\displaystyle f}ที่เอ{\displaystyle a}สามารถระบุได้ด้วยเอฟ(เอ){\displaystyle f'(a)}อ่านว่า "เอฟ{\displaystyle f}จำนวนเฉพาะของเอ{\displaystyle a}หรืออาจใช้สัญลักษณ์แทนได้ว่าเอฟx(เอ){\displaystyle \textstyle {\frac {df}{dx}}(a)}อ่านว่า "อนุพันธ์ของเอฟ{\displaystyle f}ในส่วนที่เกี่ยวกับx{\displaystyle x}ที่เอ{\displaystyle a}หรือเอฟ{\displaystyle df}โดย (หรือเหนือกว่า)x{\displaystyle dx}ที่เอ{\displaystyle a}"ดูหมายเหตุ§ ด้านล่าง หากเอฟ{\displaystyle f}ถ้าฟังก์ชันมีอนุพันธ์ที่ทุกจุดในโดเมน ของฟังก์ชัน นั้น แสดงว่าสามารถกำหนดฟังก์ชันได้โดยการแมปทุกจุด ในโดเมนนั้นx{\displaystyle x}ไปสู่ค่าของอนุพันธ์ของเอฟ{\displaystyle f}ที่x{\displaystyle x}ฟังก์ชันนี้เขียนขึ้นโดยเอฟ{\displaystyle f'}และเรียกว่าฟังก์ชันอนุพันธ์หรืออนุพันธ์ของเอฟ{\displaystyle f}ฟังก์ชันเอฟ{\displaystyle f}บางครั้งฟังก์ชันจะมีอนุพันธ์ที่จุดส่วนใหญ่ แต่ไม่ใช่ทุกจุดในโดเมน ฟังก์ชันที่มีค่า ณ จุดเหล่านั้นเอ{\displaystyle a}เท่ากับเอฟ(เอ){\displaystyle f'(a)}เมื่อใดก็ตามเอฟ(เอ){\displaystyle f'(a)}มีนิยามและในที่อื่นไม่มีนิยาม เรียกอีกอย่างว่าอนุพันธ์ของเอฟ{\displaystyle f}มันยังคงเป็นฟังก์ชันอยู่ แต่โดเมนของมันอาจเล็กกว่าโดเมนของเอฟ{\displaystyle f}[ 5 ]

ตัวอย่างเช่น สมมติว่าเอฟ{\displaystyle f}ให้ฟังก์ชันยกกำลังเป็น: เอฟ(x)=x2{\displaystyle f(x)=x^{2}}.จากนั้นผลหารในนิยามของอนุพันธ์คือ [ 6 ]เอฟ(เอ+ชม.)เอฟ(เอ)ชม.=(เอ+ชม.)2เอ2ชม.=เอ2+2เอชม.+ชม.2เอ2ชม.=2เอ+ชม..{\displaystyle {\frac {f(a+h)-f(a)}{h}}={\frac {(a+h)^{2}-a^{2}}{h}}={\frac {a^{2}+2ah+h^{2}-a^{2}}{h}}=2a+h.} การหารในขั้นตอนสุดท้ายนั้นใช้ได้ตราบใดที่ชม.0{\displaystyle h\neq 0}ยิ่งใกล้เท่าไหร่ชม.{\displaystyle h}คือ0{\displaystyle 0}ยิ่งนิพจน์นี้เข้าใกล้ค่ามากเท่าไร2เอ{\displaystyle 2a}ขีด จำกัดมีอยู่จริง และสำหรับทุกอินพุตเอ{\displaystyle a}ขีดจำกัดคือ2เอ{\displaystyle 2a}ดังนั้นอนุพันธ์ของฟังก์ชันยกกำลังสองคือฟังก์ชันคูณสอง :เอฟ(x)=2x{\displaystyle f'(x)=2x} .

อัตราส่วนในนิยามของอนุพันธ์ คือ ความชันของเส้นตรงที่ลากผ่านสองจุดบนกราฟของฟังก์ชันเอฟ{\displaystyle f}โดยเฉพาะอย่างยิ่งประเด็นต่างๆ(เอ,เอฟ(เอ)){\displaystyle (a,f(a))}และ(เอ+ชม.,เอฟ(เอ+ชม.)){\displaystyle (a+h,f(a+h))}.เช่นเดียวกับชม.{\displaystyle h}เมื่อค่าเล็กลง จุดเหล่านี้จะเข้าใกล้กันมากขึ้น และความชันของเส้นนี้จะเข้าใกล้ค่าจำกัด ซึ่งก็คือความชันของเส้นสัมผัสกับกราฟของเอฟ{\displaystyle f}ที่เอ{\displaystyle a}กล่าวอีกนัยหนึ่ง อนุพันธ์คือความชันของเส้นสัมผัส [ 7 ]

การใช้ปริมาณอนันต์เล็ก

วิธีคิดเกี่ยวกับอนุพันธ์วิธีหนึ่งเอฟx(เอ){\textstyle {\frac {df}{dx}}(a)}คืออัตราส่วนของ การเปลี่ยนแปลง เล็กน้อยในผลลัพธ์ของฟังก์ชันเอฟ{\displaystyle f}ต่อการเปลี่ยนแปลงเล็กน้อยในอินพุต[ 8 ]เพื่อให้สัญชาตญาณนี้มีความเข้มงวด จำเป็นต้องมีระบบกฎสำหรับการจัดการปริมาณเล็กน้อย[ 9 ]ระบบจำนวนไฮเปอร์เรียลเป็นวิธีหนึ่งในการจัดการ ปริมาณ อนันต์และปริมาณเล็กน้อย ไฮเปอร์เรียลเป็นส่วนขยายของจำนวนจริงที่มีจำนวนมากกว่าสิ่งใดๆ ในรูปแบบ1+1++1{\displaystyle 1+1+\cdots +1}สำหรับจำนวนพจน์ที่จำกัดใดๆ จำนวนดังกล่าวเป็นอนันต์ และส่วนกลับ ของจำนวนเหล่านั้น เป็นอนันต์เล็กๆ การประยุกต์ใช้จำนวนไฮเปอร์เรียลกับพื้นฐานของแคลคูลัสเรียกว่าการวิเคราะห์แบบไม่มาตรฐานซึ่งเป็นวิธีในการกำหนดแนวคิดพื้นฐานของแคลคูลัส เช่น อนุพันธ์และปริพันธ์ในรูปของอนันต์เล็กๆ ทำให้ความหมายที่แม่นยำยิ่งขึ้นแก่...{\displaystyle d}ในสัญกรณ์ของไลบ์นิซ ดังนั้น อนุพันธ์ของเอฟ(x){\displaystyle f(x)}กลายเป็นเอฟ(x)=สต(เอฟ(x+x)เอฟ(x)x){\displaystyle f'(x)=\operatorname {st} \left({\frac {f(x+dx)-f(x)}{dx}}\right)}สำหรับค่าอนันต์เล็ก ๆ ที่กำหนดx{\displaystyle dx}โดยที่สต{\displaystyle \operatorname {st} }แสดงถึงฟังก์ชันส่วนมาตรฐานซึ่ง "ปัดเศษ" ไฮเปอร์เรียลจำกัดแต่ละตัวให้เป็นจำนวนจริงที่ใกล้ที่สุด[ 10 ]ใช้ฟังก์ชันยกกำลังสองเอฟ(x)=x2{\displaystyle f(x)=x^{2}}ยกตัวอย่างเช่นอีกครั้ง เอฟ(x)=สต(x2+2xx+(x)2x2x)=สต(2xx+(x)2x)=สต(2xxx+(x)2x)=สต(2x+x)=2x.{\displaystyle {\begin{aligned}f'(x)&=\operatorname {st} \left({\frac {x^{2}+2x\cdot dx+(dx)^{2}-x^{2}}{dx}}\right)\\&=\operatorname {st} \left({\frac {2x\cdot dx+(dx)^{2}}{dx}}\right)\\&=\operatorname {st} \left({\frac {2x\cdot dx}{dx}}+{\frac {(dx)^{2}}{dx}}\right)\\&=\operatorname {st} \left(2x+dx\right)\\&=2x.\end{aligned}}}

ความต่อเนื่องและความสามารถในการหาอนุพันธ์

ฟังก์ชันนี้ไม่มีอนุพันธ์ที่จุดที่ระบุ เนื่องจากฟังก์ชันไม่ต่อเนื่องที่จุดนั้น (โดยเฉพาะอย่างยิ่ง มีจุดไม่ต่อเนื่องแบบกระโดด )
ฟังก์ชันค่าสัมบูรณ์มีความต่อเนื่อง แต่ไม่สามารถหาอนุพันธ์ได้ที่x = 0เนื่องจากความชันของเส้นสัมผัสไม่ได้มีค่าเข้าใกล้ค่าเดียวกันจากทางซ้ายและทางขวา

ถ้าเอฟ{\displaystyle f}สามารถหาอนุพันธ์ได้ที่เอ{\displaystyle a}จากนั้นเอฟ{\displaystyle f}ต้องต่อเนื่องที่⁠ ด้วยเอ{\displaystyle a}[ 11 ]ตัวอย่างเช่น เลือกจุดหนึ่งเอ{\displaystyle a}และปล่อยให้เอฟ{\displaystyle f}เป็นฟังก์ชันขั้นบันไดที่ส่งค่า 1 กลับมาสำหรับทุก ๆx{\displaystyle x}น้อยกว่าเอ{\displaystyle a}และส่งคืนค่า 10 ที่แตกต่างกันสำหรับทั้งหมดx{\displaystyle x}มากกว่าหรือเท่ากับเอ{\displaystyle a}ฟังก์ชันเอฟ{\displaystyle f}ไม่สามารถมีอนุพันธ์ที่⁠ ได้เอ{\displaystyle a}ถ้าชม.{\displaystyle h}ถ้าเป็นค่าลบ แสดงว่าเอ+ชม.{\displaystyle a+h}อยู่ตรงส่วนล่างของขั้นบันได ดังนั้นเส้นตัดจากเอ{\displaystyle a}ถึงเอ+ชม.{\displaystyle a+h}ชันมาก; เนื่องจากชม.{\displaystyle h}ถ้าค่าเข้าใกล้ศูนย์ ความชันจะเข้าใกล้ค่าอนันต์ ถ้าชม.{\displaystyle h}ถ้าผลเป็นบวก แสดงว่าเอ+ชม.{\displaystyle a+h}อยู่บนส่วนที่สูงของขั้นบันได ดังนั้นเส้นตัดจากเอ{\displaystyle a}ถึงเอ+ชม.{\displaystyle a+h}มีความชันเป็นศูนย์ ดังนั้น เส้นตัดจึงไม่เข้าใกล้ความชันใดๆ เลย ทำให้ลิมิตของผลหารต่างไม่มีอยู่จริง อย่างไรก็ตาม แม้ว่าฟังก์ชันจะต่อเนื่อง ณ จุดหนึ่ง แต่ก็อาจไม่สามารถหาอนุพันธ์ได้ที่จุดนั้น ตัวอย่างเช่น ฟังก์ชัน ค่าสัมบูรณ์ที่กำหนดโดยเอฟ(x)=|x|{\displaystyle f(x)=|x|}มีความต่อเนื่องที่x=0{\displaystyle x=0}แต่ไม่สามารถหาอนุพันธ์ได้ที่นั่น ถ้าชม.{\displaystyle h}ถ้าค่าเป็นบวก ความชันของเส้นตัดจาก 0 ถึง จะเป็นค่าบวกชม.{\displaystyle h}เป็นหนึ่ง; ถ้าชม.{\displaystyle h}ถ้าค่าเป็นลบ ความชันของเส้นตัดจาก0{\displaystyle 0}ถึงชม.{\displaystyle h}คือ1{\displaystyle -1}[ 12 ] สิ่งนี้สามารถมองเห็นได้ ใน รูป แบบ กราฟิกเป็น "รอยหัก" หรือ "จุดแหลม" ในกราฟที่x=0{\displaystyle x=0}แม้แต่ฟังก์ชันที่มีกราฟเรียบก็ไม่สามารถหาอนุพันธ์ได้ที่จุดที่เส้นสัมผัสเป็นแนวตั้งตัวอย่างเช่น ฟังก์ชันที่กำหนดโดยเอฟ(x)=x1/3{\displaystyle f(x)=x^{1/3}}ไม่สามารถหาอนุพันธ์ได้ที่x=0{\displaystyle x=0}โดย สรุปฟังก์ชันที่มีอนุพันธ์จะต่อเนื่อง แต่ก็มีฟังก์ชันต่อเนื่องที่ไม่มีอนุพันธ์เช่นกัน [ 13 ]

ฟังก์ชันส่วนใหญ่ที่พบได้ในทางปฏิบัติจะมีอนุพันธ์ที่ทุกจุดหรือเกือบทุกจุด ในช่วงต้นของประวัติศาสตร์แคลคูลัสนักคณิตศาสตร์หลายคนสันนิษฐานว่าฟังก์ชันต่อเนื่องสามารถหาอนุพันธ์ได้ที่จุดส่วนใหญ่[ 14 ]ภายใต้เงื่อนไขที่ไม่รุนแรง (เช่น ถ้าฟังก์ชันเป็นฟังก์ชันเอกภาคหรือฟังก์ชันลิปชิตซ์ ) ข้อสันนิษฐานนี้เป็นจริง อย่างไรก็ตาม ในปี 1872 ไวเออร์สตรัสพบตัวอย่างแรกของฟังก์ชันที่ต่อเนื่องทุกที่แต่หาอนุพันธ์ไม่ได้ที่ใดเลย ตัวอย่างนี้ปัจจุบันรู้จักกันในชื่อฟังก์ชันไวเออร์สตรัส [ 15 ] ในปี 1931 สเตฟาน บานาคพิสูจน์ว่าเซตของฟังก์ชันที่มีอนุพันธ์ที่จุดใดจุดหนึ่งเป็นเซตที่เล็กมากในปริภูมิของฟังก์ชันต่อเนื่องทั้งหมด โดยไม่เป็นทางการ หมายความว่าแทบจะไม่มีฟังก์ชันต่อเนื่องแบบสุ่มใด ๆ ที่มีอนุพันธ์ที่จุดใดจุดหนึ่งเลย[ 16 ]

สัญกรณ์

วิธีเขียนอนุพันธ์ของฟังก์ชันที่นิยมใช้วิธีหนึ่งคือสัญกรณ์ของไลบ์นิซซึ่งก็อตฟรีด วิลเฮล์ม ไลบ์นิซ เป็นผู้ ริเริ่มในปี ค.ศ. 1675 โดยสัญกรณ์นี้แสดงอนุพันธ์เป็นผลหารของ อนุพันธ์สองตัวเช่นy{\displaystyle dy}และx{\displaystyle dx}[ 17 ]ยัง คงใช้กัน ทั่วไปเมื่อสมการy=เอฟ(x){\displaystyle y=f(x)}ถือเป็นความสัมพันธ์เชิงฟังก์ชันระหว่างตัวแปรตามและตัวแปรอิสระอนุพันธ์อันดับแรกใช้สัญลักษณ์yx{\displaystyle \textstyle {\frac {dy}{dx}}}อ่านว่า "อนุพันธ์ของy{\displaystyle y}เกี่ยวกับx{\displaystyle x} . [ 18 ]อนุพันธ์นี้สามารถถือได้ว่าเป็นการประยุกต์ใช้ตัวดำเนินการเชิงอนุพันธ์กับฟังก์ชันyx=xเอฟ(x).{\textstyle {\frac {dy}{dx}}={\frac {d}{dx}}f(x).}อนุพันธ์อันดับสูงกว่าจะแสดงโดยใช้สัญลักษณ์nyxn{\textstyle {\frac {d^{n}y}{dx^{n}}}}สำหรับn{\displaystyle n}อนุพันธ์ลำดับที่ของy=เอฟ(x){\displaystyle y=f(x)}นี่คือตัวย่อสำหรับการใช้งานตัวดำเนินการอนุพันธ์หลายรูปแบบ ตัวอย่างเช่น2yx2=x(xเอฟ(x)).{\textstyle {\frac {d^{2}y}{dx^{2}}}={\frac {d}{dx}}{\Bigl (}{\frac {d}{dx}}f(x){\Bigr )}.}[ 19 ]ต่างจากทางเลือกอื่น ๆ สัญกรณ์ของไลบ์นิซเกี่ยวข้องกับการระบุตัวแปรสำหรับการหาอนุพันธ์อย่างชัดเจนในตัวส่วน ซึ่งขจัดความกำกวมเมื่อทำงานกับปริมาณที่เกี่ยวข้องกันหลาย ๆ ตัว อนุพันธ์ของฟังก์ชันประกอบสามารถแสดงได้โดยใช้กฎลูกโซ่: ถ้าคุณ=จี(x){\displaystyle u=g(x)}และy=เอฟ(จี(x)){\displaystyle y=f(g(x))}แล้วyx=yคุณคุณx.{\textstyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}.}[ 20 ]

อีกหนึ่งสัญลักษณ์ที่นิยมใช้ในการหาอนุพันธ์คือการใช้เครื่องหมายไพรม์ในสัญลักษณ์ของฟังก์ชันเอฟ(x){\displaystyle f(x)}สัญกร ณ์นี้ ซึ่งคิดค้นโดยโจเซฟ-หลุยส์ ลากรองจ์ปัจจุบันเรียกว่าสัญกรณ์ไพรม์ [ 21 ] อนุพันธ์อันดับแรกเขียนได้ดังนี้เอฟ(x){\displaystyle f'(x)}อ่านว่า "เอฟ{\displaystyle f}จำนวนเฉพาะของx{\displaystyle x}หรือy{\displaystyle y'}อ่านว่า "y{\displaystyle y}ไพรม์” [ 22 ]ในทำนองเดียวกัน อนุพันธ์อันดับสองและอันดับสามสามารถเขียนได้ดังนี้เอฟ"{\displaystyle f''}และเอฟ{\displaystyle f'''}ตามลำดับ [ 23 ] สำหรับการระบุจำนวนอนุพันธ์ที่สูงกว่าจุดนี้ ผู้เขียนบางคนใช้เลขโรมันแบบยกกำลังในขณะที่ผู้เขียนคนอื่น ๆ ใส่ตัวเลขไว้ในวงเล็บ เช่นเอฟฉันวี{\displaystyle f^{\mathrm {iv} }}หรือเอฟ(4){\displaystyle f^{(4)}}[ 24 ]สัญกรณ์หลังนี้ขยายความเพื่อให้ได้สัญกรณ์เอฟ(n){\displaystyle f^{(n)}}สำหรับn{\displaystyle n}อนุพันธ์ ลำดับที่ของเอฟ{\displaystyle f}. [ 19 ]

ในสัญกรณ์ของนิวตันหรือสัญกรณ์จุด จะใช้จุดวางเหนือสัญลักษณ์เพื่อแสดงอนุพันธ์เทียบกับเวลา ถ้าy{\displaystyle y}เป็นฟังก์ชันของที{\displaystyle t}ดังนั้นอนุพันธ์อันดับแรกและอันดับสองจึงสามารถเขียนได้ดังนี้y˙{\displaystyle {\dot {y}}}และy¨{\displaystyle {\ddot {y}}}ตาม ลำดับสัญกรณ์นี้ใช้เฉพาะสำหรับอนุพันธ์เทียบกับเวลาหรือความยาวส่วนโค้งโดยทั่วไปจะใช้ในสมการเชิงอนุพันธ์ในฟิสิกส์และเรขาคณิตเชิงอนุพันธ์ [ 25 ] อย่างไรก็ตามสัญกรณ์จุดจะจัดการได้ยากสำหรับอนุพันธ์อันดับสูง (อันดับ 4 ขึ้นไป) และไม่สามารถจัดการกับตัวแปรอิสระหลายตัวได้

สัญลักษณ์อีกแบบหนึ่งคือสัญลักษณ์ Dซึ่งใช้สัญลักษณ์⁠ แทนตัวดำเนินการเชิงอนุพันธ์ดี{\displaystyle D}[ 19 ] อนุพันธ์อันดับ แรกเขียนว่าดีเอฟ(x){\displaystyle Df(x)}และอนุพันธ์อันดับสูงกว่าจะเขียนด้วยตัวยก ดังนั้นn{\displaystyle n}อนุพันธ์ลำดับที่ th คือดีnเอฟ(x){\displaystyle D^{n}f(x)}สัญกรณ์นี้บางครั้งเรียกว่าสัญกรณ์ออยเลอร์แม้ว่าดูเหมือนว่าเลออนฮาร์ด ออยเลอร์ไม่ได้ใช้ และสัญกรณ์นี้ได้รับการแนะนำโดย ลุยส์ ฟรองซัวส์ อองตวน อาร์โบกาสต์[ 26 ]เพื่อระบุอนุพันธ์ย่อย ตัวแปรที่อนุพันธ์โดย จะถูกระบุด้วยตัวห้อย ตัวอย่างเช่น เมื่อกำหนดฟังก์ชันคุณ=เอฟ(x,y){\displaystyle u=f(x,y)}อนุพันธ์ย่อยของ มันเทียบกับx{\displaystyle x}สามารถเขียนได้ดีxคุณ{\displaystyle D_{x}u}หรือดีxเอฟ(x,y){\displaystyle D_{x}f(x,y)}อนุพันธ์ย่อยลำดับสูง กว่าสามารถระบุได้ด้วยตัวยกหรือตัวห้อยหลายตัว เช่นดีxyเอฟ(x,y)=y(xเอฟ(x,y)){\textstyle D_{xy}f(x,y)={\frac {\partial }{\partial y}}{\Bigl (}{\frac {\partial }{\partial x}}f(x,y){\Bigr )}}และดีx2เอฟ(x,y)=x(xเอฟ(x,y)){\displaystyle \textstyle D_{x}^{2}f(x,y)={\frac {\partial }{\partial x}}{\Bigl (}{\frac {\partial }{\partial x}}f(x,y){\Bigr )}} . [ 27 ]

กฎการคำนวณ

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

กฎสำหรับฟังก์ชันพื้นฐาน

ต่อไปนี้คือหลักเกณฑ์สำหรับการหาอนุพันธ์ของฟังก์ชันพื้นฐานที่พบได้บ่อยที่สุด โดยที่เอ{\displaystyle a}เป็นจำนวนจริง และอี{\displaystyle e}เป็น ฐาน ของลอการิทึมธรรมชาติ ประมาณ2.71828 [ 29 ]

  • อนุพันธ์ของเลขยกกำลัง :
    xxเอ=เอxเอ1{\displaystyle {\frac {d}{dx}}x^{a}=ax^{a-1}}
  • ฟังก์ชันเลขชี้กำลังลอการิทึม ธรรมชาติและลอการิทึมฐานทั่วไป:
    xอีx=อีx{\displaystyle {\frac {d}{dx}}e^{x}=e^{x}}
    xเอx=เอxln(เอ){\displaystyle {\frac {d}{dx}}a^{x}=a^{x}\ln(a)}สำหรับเอ>0{\displaystyle a>0}
    xln(x)=1x{\displaystyle {\frac {d}{dx}}\ln(x)={\frac {1}{x}}}สำหรับx>0{\displaystyle x>0}
    xบันทึกเอ(x)=1xln(เอ){\displaystyle {\frac {d}{dx}}\log _{a}(x)={\frac {1}{x\ln(a)}}}สำหรับx,เอ>0{\displaystyle x,a>0}
  • ฟังก์ชันตรีโกณมิติ :
    xบาป(x)=คอส(x){\displaystyle {\frac {d}{dx}}\sin(x)=\cos(x)}
    xคอส(x)=บาป(x){\displaystyle {\frac {d}{dx}}\cos(x)=-\sin(x)}
    xแทน(x)=วินาที2(x)=1คอส2(x)=1+แทน2(x){\displaystyle {\frac {d}{dx}}\tan(x)=\sec ^{2}(x)={\frac {1}{\cos ^{2}(x)}}=1+\tan ^{2}(x)}
  • ฟังก์ชันตรีโกณมิติผกผัน :
    xอาร์คซิน(x)=11x2{\displaystyle {\frac {d}{dx}}\arcsin(x)={\frac {1}{\sqrt {1-x^{2}}}}}สำหรับ1<x<1{\displaystyle -1<x<1}
    xอาร์คคอส(x)=11x2{\displaystyle {\frac {d}{dx}}\arccos(x)=-{\frac {1}{\sqrt {1-x^{2}}}}}สำหรับ1<x<1{\displaystyle -1<x<1}
    xอาร์คตัน(x)=11+x2{\displaystyle {\frac {d}{dx}}\arctan(x)={\frac {1}{1+x^{2}}}}

กฎสำหรับฟังก์ชันแบบผสม

กฎต่อไปนี้อนุญาตให้อนุมานอนุพันธ์ของฟังก์ชันจำนวนมากจากอนุพันธ์ของฟังก์ชันพื้นฐาน: [ 30 ]

  • กฎคงที่ : ถ้าเอฟ{\displaystyle f}หากเป็นฟังก์ชันคงที่แล้ว สำหรับทุก ๆx{\displaystyle x} ,
    เอฟ(x)=0.{\displaystyle f'(x)=0.}
  • กฎการบวก :
    (αเอฟ+เบต้าจี)=αเอฟ+เบต้าจี{\displaystyle (\alpha f+\beta g)'=\alpha f'+\beta g'}สำหรับฟังก์ชันทั้งหมดเอฟ{\displaystyle f}และจี{\displaystyle g}และจำนวนจริงทั้งหมดα{\displaystyle \alpha }และเบต้า{\displaystyle \beta } .
  • กฎของผลิตภัณฑ์ :
    (เอฟจี)=เอฟจี+เอฟจี{\displaystyle (fg)'=f'g+fg'}สำหรับฟังก์ชันทั้งหมดเอฟ{\displaystyle f}และจี{\displaystyle g}ในกรณีพิเศษ กฎนี้รวมถึงข้อเท็จจริงที่ว่า(αเอฟ)=αเอฟ{\displaystyle (\alpha f)'=\alpha f'}เมื่อใดก็ตามα{\displaystyle \alpha }เป็นค่าคงที่เพราะαเอฟ=0เอฟ=0{\displaystyle \alpha 'f=0\cdot f=0}ตามกฎคงที่
  • กฎการหาร :
    (เอฟจี)=เอฟจีเอฟจีจี2{\displaystyle \left({\frac {f}{g}}\right)'={\frac {f'g-fg'}{g^{2}}}} สำหรับฟังก์ชันทั้งหมดเอฟ{\displaystyle f}และจี{\displaystyle g}ที่อินพุตทั้งหมดที่จี0{\displaystyle g\neq 0} .
  • กฎลูกโซ่สำหรับฟังก์ชันประกอบ : ถ้าเอฟ(x)=ชม.(จี(x)){\displaystyle f(x)=h(g(x))}จากนั้น
    เอฟ(x)=ชม.(จี(x))จี(x).{\displaystyle f'(x)=h'(g(x))\cdot g'(x).}

ตัวอย่างการคำนวณ

อนุพันธ์ของฟังก์ชันที่กำหนดโดยเอฟ(x)=x4+บาป(x2)ln(x)อีx+7{\displaystyle f(x)=x^{4}+\sin \left(x^{2}\right)-\ln(x)e^{x}+7}เป็น เอฟ(x)=4x(41)+(x2)xคอส(x2)(lnx)xอีxln(x)(อีx)x+0=4x3+2xคอส(x2)1xอีxln(x)อีx.{\displaystyle {\begin{aligned}f'(x)&=4x^{(4-1)}+{\frac {d\left(x^{2}\right)}{dx}}\cos \left(x^{2}\right)-{\frac {d\left(\ln {x}\right)}{dx}}e^{x}-\ln(x){\frac {d\left(e^{x}\right)}{dx}}+0\\&=4x^{3}+2x\cos \left(x^{2}\right)-{\frac {1}{x}}e^{x}-\ln(x)e^{x}.\end{aligned}}} ในที่นี้ พจน์ที่สองคำนวณโดยใช้กฎลูกโซ่และพจน์ที่สามคำนวณโดยใช้กฎผลคูณ อนุพันธ์ที่ทราบของฟังก์ชันพื้นฐานx2{\displaystyle x^{2}}, x4{\displaystyle x^{4}}, บาป(x){\displaystyle \sin(x)}, ln(x){\displaystyle \ln(x)}และเอ็กซ์(x){\displaystyle \exp(x)}รวมถึงค่าคงที่ด้วย7{\displaystyle 7}นอกจากนี้ยังมีการใช้งานอีกด้วย

การต่อต้านการแบ่งแยก

อนุพันธ์ผกผันของฟังก์ชันเอฟ{\displaystyle f}เป็นฟังก์ชันที่มีอนุพันธ์คือเอฟ{\displaystyle f}สารแอนติดีริเวที ฟไม่ได้มีเพียงชนิดเดียว: ถ้าเอ{\displaystyle A}เป็นสารต้านอนุพันธ์ของเอฟ{\displaystyle f}ดังนั้นก็เช่นกันเอ+ซี{\displaystyle A+c}โดยที่ซี{\displaystyle c}เป็นค่าคงที่ใดๆ เพราะอนุพันธ์ของค่าคงที่คือศูนย์[ 31 ]ทฤษฎีบทพื้นฐานของแคลคูลัสแสดงให้เห็นว่าการหาอนุพันธ์ผกผันของฟังก์ชันทำให้สามารถคำนวณพื้นที่ของรูปทรงที่ล้อมรอบด้วยฟังก์ชันนั้นได้ กล่าวคือ อินทิกรัลของฟังก์ชันในช่วงปิดเท่ากับผลต่างระหว่างค่าของอนุพันธ์ผกผันที่ประเมิน ณ จุดปลายของช่วงนั้น[ 32 ]

อนุพันธ์อันดับสูงกว่า

อนุพันธ์อันดับสูงคือผลลัพธ์ของการหาอนุพันธ์ซ้ำๆ ของฟังก์ชัน โดยที่เอฟ{\displaystyle f}เป็นฟังก์ชันที่หาอนุพันธ์ได้ ซึ่งก็คืออนุพันธ์ของเอฟ{\displaystyle f}คืออนุพันธ์อันดับแรก ซึ่งเขียนแทนด้วยเอฟ{\displaystyle f'}อนุพันธ์ของเอฟ{\displaystyle f'}คืออนุพันธ์อันดับสองซึ่งเขียนแทนด้วยเอฟ"{\displaystyle f''}และอนุพันธ์ของเอฟ"{\displaystyle f''}คืออนุพันธ์อันดับสามซึ่งเขียนแทนด้วยเอฟ{\displaystyle f'''}โดยการดำเนินกระบวนการนี้ต่อ ไปหากมีอยู่จริงn{\displaystyle n}อนุพันธ์อันดับที่ 5คืออนุพันธ์ของ(n1){\displaystyle (n-1)}อนุพันธ์ ลำดับ ที่หรืออนุพันธ์อันดับn{\displaystyle n}ดังที่ได้กล่าวไว้ข้างต้นการวางนัยทั่วไปของอนุพันธ์ของฟังก์ชันเอฟ{\displaystyle f}อาจแสดงด้วยสัญลักษณ์เอฟ(n){\displaystyle f^{(n)}}[ 33 ] ฟังก์ชันที่ มีเค{\displaystyle k}อนุพันธ์ต่อเนื่องเรียกว่าเค{\displaystyle k}อนุพันธ์เท่าๆ กันถ้าเค{\displaystyle k}-ถ้าอนุพันธ์อันดับที่ n มีความต่อเนื่อง แสดงว่าฟังก์ชันนั้นอยู่ในชั้นความสามารถในการหาอนุพันธ์nซีเค{\displaystyle C^{k}}[ 34 ]ฟังก์ชันที่มีอนุพันธ์จำนวนอนันต์เรียกว่าฟังก์ชันที่หา อนุพันธ์ ได้อนันต์หรือเรียบ[ 35 ] ฟังก์ชัน พหุนามใดๆ ก็สามารถหาอนุพันธ์ได้อนันต์ การหาอนุพันธ์ซ้ำๆ จะทำให้ได้ฟังก์ชันคงที่ ในที่สุด และอนุพันธ์ที่ตามมาทั้งหมดของฟังก์ชันนั้นจะเป็นศูนย์ [ 36 ]

การประยุกต์ใช้ หนึ่งของอนุพันธ์อันดับสูงคือในวิชาฟิสิกส์ตัวอย่างเช่น ถ้าฟังก์ชันx{\displaystyle x}แสดงถึงตำแหน่งของวัตถุเมื่อเทียบกับเวลาx{\displaystyle x'}แสดงถึงความเร็วของวัตถุx"{\displaystyle x''}แสดงถึงความเร่งของวัตถุ[ 28 ]และx{\displaystyle x'''}แสดง ถึง การกระตุกของวัตถุ [ 37 ]

ในมิติอื่น ๆ

ฟังก์ชันค่าเวกเตอร์

ฟังก์ชันค่าเวกเตอร์y{\displaystyle \mathbf {y} }ของตัวแปรจริงจะส่งจำนวนจริงไปยังเวกเตอร์ในปริภูมิเวกเตอร์ บางแห่งอาร์n{\displaystyle \mathbb {R} ^{n}}ฟังก์ชันเวกเตอร์สามารถแยกออกเป็นฟังก์ชันพิกัดได้y1(ที),y2(ที),,yn(ที){\displaystyle y_{1}(t),y_{2}(t),\dots ,y_{n}(t)}หมายความว่าy=(y1(ที),y2(ที),,yn(ที)){\displaystyle \mathbf {y} =(y_{1}(t),y_{2}(t),\dots ,y_{n}(t))}ซึ่ง รวมถึง เส้นโค้งพาราเมตริกในตัวอย่างเช่นอาร์2{\displaystyle \mathbb {R} ^{2}}หรืออาร์3{\displaystyle \mathbb {R} ^{3}}ฟังก์ชันพิกัดเป็นฟังก์ชันค่าจริง ดังนั้นนิยามของอนุพันธ์ข้างต้นจึงใช้ได้กับฟังก์ชันเหล่านั้น อนุพันธ์ของy(ที){\displaystyle \mathbf {y} (t)}ถูกกำหนดให้เป็นเวกเตอร์ที่เรียกว่าเวกเตอร์สัมผัสซึ่งพิกัดของเวกเตอร์นี้คืออนุพันธ์ของฟังก์ชันพิกัด นั่นคือ[ 38 ]y(ที)=ลิมชม.0y(ที+ชม.)y(ที)ชม.,{\displaystyle \mathbf {y} '(t)=\lim _{h\to 0}{\frac {\mathbf {y} (t+h)-\mathbf {y} (t)}{h}},} ถ้าลิมิตมีอยู่ การลบในตัวเศษเป็นการลบเวกเตอร์ ไม่ใช่สเกลาร์ ถ้าอนุพันธ์ของy{\displaystyle \mathbf {y} }มีอยู่สำหรับทุกค่าของที{\displaystyle t}จากนั้นy{\displaystyle \mathbf {y} '}เป็นฟังก์ชันเวกเตอร์อีกตัวหนึ่ง[ 38 ]

อนุพันธ์ย่อย

ฟังก์ชันสามารถขึ้นอยู่กับตัวแปรมากกว่าหนึ่ง ตัวได้ อนุพันธ์ย่อยของฟังก์ชันที่มีหลายตัวแปร คือ อนุพันธ์ของฟังก์ชันนั้นเทียบกับตัวแปรตัวใดตัวหนึ่ง โดยที่ตัวแปรอื่นๆ คงที่ อนุพันธ์ย่อยใช้ในแคลคูลัสเวกเตอร์และเรขาคณิตเชิงอนุพันธ์เช่นเดียวกับอนุพันธ์ทั่วไป มีสัญลักษณ์หลายแบบ: อนุพันธ์ย่อยของฟังก์ชันเอฟ(x,y,){\displaystyle f(x,y,\dots )}โดยสัมพันธ์กับตัวแปรx{\displaystyle x}มีการแสดงความหมายได้หลากหลายโดย

เอฟx{\displaystyle f_{x}}, เอฟx{\displaystyle f'_{x}}, xเอฟ{\displaystyle \partial _{x}f}, xเอฟ{\displaystyle {\frac {\partial }{\partial x}}f}หรือเอฟx{\displaystyle {\frac {\partial f}{\partial x}}} ,

ท่ามกลางความเป็นไปได้อื่นๆ[ 39 ]อาจคิดได้ว่าเป็นอัตราการเปลี่ยนแปลงของฟังก์ชันในx{\displaystyle x}-ทิศทาง[ 40 ]ในที่นี้คือd ที่โค้งมน เรียกว่าสัญลักษณ์อนุพันธ์ย่อยเพื่อแยกความแตกต่างจากตัวอักษรdบางครั้ง ∂ จะออกเสียงว่า "der", "del" หรือ "partial" แทนที่จะเป็น "dee" [ 41 ]ตัวอย่างเช่น ให้เอฟ(x,y)=x2+xy+y2{\displaystyle f(x,y)=x^{2}+xy+y^{2}}จาก นั้นอนุพันธ์ย่อยของฟังก์ชันเอฟ{\displaystyle f}โดยพิจารณาจากตัวแปรทั้งสองx{\displaystyle x}และy{\displaystyle y}ได้แก่: เอฟx=2x+y,เอฟy=x+2y.{\displaystyle {\frac {\partial f}{\partial x}}=2x+y,\qquad {\frac {\partial f}{\partial y}}=x+2y.} โดยทั่วไป อนุพันธ์ย่อยของฟังก์ชันเอฟ(x1,,xn){\displaystyle f(x_{1},\dots ,x_{n})}ในทิศทางxฉัน{\displaystyle x_{i}}ณ จุดนั้น(เอ1,,เอn){\displaystyle (a_{1},\dots ,a_{n})}ถูกกำหนดให้เป็น: [ 42 ]เอฟxฉัน(เอ1,,เอn)=ลิมชม.0เอฟ(เอ1,,เอฉัน+ชม.,,เอn)เอฟ(เอ1,,เอฉัน,,เอn)ชม..{\displaystyle {\frac {\partial f}{\partial x_{i}}}(a_{1},\ldots ,a_{n})=\lim _{h\to 0}{\frac {f(a_{1},\ldots ,a_{i}+h,\ldots ,a_{n})-f(a_{1},\ldots ,a_{i},\ldots ,a_{n})}{h}}.}

นี่เป็นพื้นฐานสำหรับการศึกษาฟังก์ชันของตัวแปรจริงหลายตัวให้เอฟ(x1,,xn){\displaystyle f(x_{1},\dots ,x_{n})}เป็นฟังก์ชันค่าจริง ดังกล่าว ถ้าอนุพันธ์ย่อยทั้งหมดเอฟ{\displaystyle f}ในส่วนที่เกี่ยวกับxเจ{\displaystyle x_{j}}ถูกกำหนดที่จุด(เอ1,,เอn){\displaystyle (a_{1},\dots ,a_{n})}อนุพันธ์ย่อยเหล่า นี้กำหนดเวกเตอร์ เอฟ(เอ1,,เอn)=(เอฟx1(เอ1,,เอn),,เอฟxn(เอ1,,เอn)),{\displaystyle \nabla f(a_{1},\ldots ,a_{n})=\left({\frac {\partial f}{\partial x_{1}}}(a_{1},\ldots ,a_{n}),\ldots ,{\frac {\partial f}{\partial x_{n}}}(a_{1},\ldots ,a_{n})\right),} ซึ่งเรียกว่าความชันของเอฟ{\displaystyle f}ที่เอ{\displaystyle a}ถ้าเอฟ{\displaystyle f}ถ้าอนุพันธ์สามารถหาอนุพันธ์ได้ที่ทุกจุดในโดเมนใดโดเมนหนึ่งแล้ว เกรเดียนต์จะเป็นฟังก์ชันเวกเตอร์เอฟ{\displaystyle \nabla f}ที่แมปจุดนั้น(เอ1,,เอn){\displaystyle (a_{1},\dots ,a_{n})}ไปยังเวกเตอร์เอฟ(เอ1,,เอn){\displaystyle \nabla f(a_{1},\dots ,a_{n})}ดังนั้นความชันจึงกำหนดสนามเวกเตอร์ [ 43 ]

อนุพันธ์เชิงทิศทาง

ถ้าเอฟ{\displaystyle f}เป็นฟังก์ชันค่าจริงบนอาร์n{\displaystyle \mathbb {R} ^{n}}จาก นั้นอนุพันธ์ย่อยของเอฟ{\displaystyle f}วัดการเปลี่ยนแปลงในทิศทางของแกนพิกัด ตัวอย่างเช่น ถ้าเอฟ{\displaystyle f}เป็นฟังก์ชันของx{\displaystyle x}และy{\displaystyle y}จาก นั้นอนุพันธ์ย่อยของมันจะวัดการเปลี่ยนแปลงในเอฟ{\displaystyle f}ในx{\displaystyle x}และy{\displaystyle y}ทิศทาง อย่างไรก็ตาม พวกเขาไม่ได้วัดการเปลี่ยนแปลงโดยตรงของเอฟ{\displaystyle f}ในทิศทางอื่นใด เช่น ตามแนวเส้นทแยงมุมy=x{\displaystyle y=x}สิ่งเหล่านี้วัดได้โดยใช้อนุพันธ์เชิงทิศทาง เมื่อกำหนดเวกเตอร์วี=(วี1,,วีn){\displaystyle \mathbf {v} =(v_{1},\ldots ,v_{n})}จากนั้นอนุพันธ์เชิงทิศทางของเอฟ{\displaystyle f}ในทิศทางของวี{\displaystyle \mathbf {v} }ณ จุดนั้นx{\displaystyle \mathbf {x} }คือ: [ 44 ]ดีวีเอฟ(x)=ลิมชม.0เอฟ(x+ชม.วี)เอฟ(x)ชม..{\displaystyle D_{\mathbf {v} }{f}(\mathbf {x} )=\lim _{h\rightarrow 0}{\frac {f(\mathbf {x} +h\mathbf {v} )-f(\mathbf {x} )}{h}}.}

ถ้าอนุพันธ์ย่อยทั้งหมดของเอฟ{\displaystyle f}มีอยู่และต่อเนื่องที่x{\displaystyle \mathbf {x} }จาก นั้นจึงกำหนดอนุพันธ์เชิงทิศทางของเอฟ{\displaystyle f}ในทิศทางวี{\displaystyle \mathbf {v} }โดยใช้สูตร: [ 45 ]ดีวีเอฟ(x)=เจ=1nวีเจเอฟxเจ.{\displaystyle D_{\mathbf {v} }{f}(\mathbf {x} )=\sum _{j=1}^{n}v_{j}{\frac {\partial f}{\partial x_{j}}}.}

อนุพันธ์รวมและเมทริกซ์จาโคเบียน

เมื่อไรเอฟ{\displaystyle f}เป็นฟังก์ชันจากเซตย่อยเปิดของอาร์n{\displaystyle \mathbb {R} ^{n}}ถึงอาร์{\displaystyle \mathbb {R} ^{m}}จาก นั้นอนุพันธ์เชิงทิศทางของเอฟ{\displaystyle f}ในทิศทางที่เลือกนั้นเป็นการประมาณเชิงเส้นที่ดีที่สุดสำหรับเอฟ{\displaystyle f}ณ จุดนั้นและในทิศทางนั้น อย่างไรก็ตาม เมื่อn>1{\displaystyle n>1}ไม่มีอนุพันธ์เชิงทิศทาง ใดเพียงตัวเดียวที่สามารถให้ภาพที่สมบูรณ์ของพฤติกรรมของเอฟ{\displaystyle f}อนุพันธ์รวมให้ภาพที่สมบูรณ์โดยพิจารณาทุกทิศทางพร้อมกัน นั่นคือ สำหรับเวกเตอร์ใดวี{\displaystyle \mathbf {v} }เริ่มต้นที่เอ{\displaystyle \mathbf {a} }สูตรการประมาณเชิงเส้นเป็นไปตามนี้ : [ 46 ]เอฟ(เอ+วี)เอฟ(เอ)+เอฟ(เอ)วี.{\displaystyle f(\mathbf {a} +\mathbf {v} )\approx f(\mathbf {a} )+f'(\mathbf {a} )\mathbf {v} .} เช่นเดียวกับอนุพันธ์ตัวแปรเดียวเอฟ(เอ){\displaystyle f'(\mathbf {a} )}ถูกเลือกเพื่อให้ข้อผิดพลาดในการประมาณค่านี้มีค่าน้อยที่สุด อนุพันธ์รวมของเอฟ{\displaystyle f}ที่เอ{\displaystyle \mathbf {a} }เป็นการแปลงเชิงเส้นที่ไม่ซ้ำกันเอฟ(เอ):อาร์nอาร์{\displaystyle f'(\mathbf {a} )\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}}โดยที่[ 46 ]ลิมชม.0เอฟ(เอ+ชม.)(เอฟ(เอ)+เอฟ(เอ)ชม.)ชม.=0.{\displaystyle \lim _{\mathbf {h} \to 0}{\frac {\lVert f(\mathbf {a} +\mathbf {h} )-(f(\mathbf {a} )+f'(\mathbf {a} )\mathbf {h} )\rVert }{\lVert \mathbf {h} \rVert }}=0.} ที่นี่ชม.{\displaystyle \mathbf {h} }เป็นเวกเตอร์ในอาร์n{\displaystyle \mathbb {R} ^{n}}ดังนั้นค่ามาตรฐานในตัวส่วนจึงเป็นความยาวมาตรฐานบนอาร์n{\displaystyle \mathbb {R} ^{n}}อย่างไรก็ตามเอฟ(เอ)ชม.{\displaystyle f'(\mathbf {a} )\mathbf {h} }เป็นเวกเตอร์ในอาร์{\displaystyle \mathbb {R} ^{m}}และค่ามาตรฐานในตัวเศษคือความยาวมาตรฐานบนอาร์{\displaystyle \mathbb {R} ^{m}}[ 46 ]ถ้าวี{\displaystyle v}เป็นเวกเตอร์ที่เริ่มต้นที่เอ{\displaystyle a}จากนั้นเอฟ(เอ)วี{\displaystyle f'(\mathbf {a} )\mathbf {v} }เรียกว่าการผลักดันไปข้างหน้าของวี{\displaystyle \mathbf {v} }โดยเอฟ{\displaystyle f} . [ 47 ]

ถ้าอนุพันธ์รวมมีอยู่ ณเอ{\displaystyle \mathbf {a} }จาก นั้นอนุพันธ์ย่อยทั้งหมดและอนุพันธ์ทิศทางของเอฟ{\displaystyle f}มีอยู่ ณเอ{\displaystyle \mathbf {a} }และสำหรับทุกคนวี{\displaystyle \mathbf {v} } ,เอฟ(เอ)วี{\displaystyle f'(\mathbf {a} )\mathbf {v} }คืออนุพันธ์เชิงทิศทางของเอฟ{\displaystyle f}ในทิศทางวี{\displaystyle \mathbf {v} }ถ้าเอฟ{\displaystyle f}เขียนโดยใช้ฟังก์ชันพิกัด ดังนั้นเอฟ=(เอฟ1,เอฟ2,,เอฟ){\displaystyle f=(f_{1},f_{2},\dots ,f_{m})}ดังนั้นอนุพันธ์รวมสามารถแสดงได้โดยใช้อนุพันธ์ย่อยในรูปเมทริก ซ์ เมท ริกซ์นี้เรียกว่าเมทริกซ์จาโคเบียนของเอฟ{\displaystyle f}ที่เอ{\displaystyle \mathbf {a} }: [ 48 ]เอฟ(เอ)=แจ็คเอ=(เอฟฉันxเจ)ฉันเจ.{\displaystyle f'(\mathbf {a} )=\operatorname {Jac} _{\mathbf {a} }=\left({\frac {\partial f_{i}}{\partial x_{j}}}\right)_{ij}.}

การสรุปโดยทั่วไป

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

  • การสรุปทั่วไปที่สำคัญของอนุพันธ์เกี่ยวข้องกับฟังก์ชันเชิงซ้อนของตัวแปรเชิงซ้อนเช่น ฟังก์ชันจาก (โดเมนใน) จำนวนเชิงซ้อนซี{\displaystyle \mathbb {C} }ถึงซี{\displaystyle \mathbb {C} }แนวคิดของอนุพันธ์ของฟังก์ชันดังกล่าวได้มาจากการแทนที่ตัวแปรจริงด้วยตัวแปรเชิงซ้อนในนิยาม [ 49 ]ถ้าซี{\displaystyle \mathbb {C} }ถูกระบุว่าเป็นอาร์2{\displaystyle \mathbb {R} ^{2}}โดยการเขียนจำนวนเชิงซ้อนz{\displaystyle z}ในฐานะx+ฉันy{\displaystyle x+iy}จาก นั้นฟังก์ชันที่หาอนุพันธ์ได้จากซี{\displaystyle \mathbb {C} }ถึงซี{\displaystyle \mathbb {C} }สามารถหาอนุพันธ์ได้แน่นอนในฐานะฟังก์ชันจากอาร์2{\displaystyle \mathbb {R} ^{2}}ถึงอาร์2{\displaystyle \mathbb {R} ^{2}}(ในแง่ที่ว่าอนุพันธ์ย่อยทั้งหมดมีอยู่) แต่ในทางกลับกันนั้นไม่เป็นจริงโดยทั่วไป: อนุพันธ์เชิงซ้อนจะมีอยู่ก็ต่อเมื่ออนุพันธ์จริงเป็นเชิงเส้นเชิงซ้อนและสิ่งนี้จะกำหนดความสัมพันธ์ระหว่างอนุพันธ์ย่อยที่เรียกว่าสมการCauchy–Riemann – ดูฟังก์ชันโฮโลมอร์ฟิก[ 50 ]
  • อีกหนึ่งแนวคิดทั่วไปเกี่ยวข้องกับฟังก์ชันระหว่างแมนิโฟลด์ที่หาอนุพันธ์ได้หรือแมนิโฟลด์เรียบโดยสัญชาตญาณแล้ว แมนิโฟลด์ดังกล่าวเอ็ม{\displaystyle M}เป็นพื้นที่ที่สามารถประมาณค่าได้ใกล้กับแต่ละจุดx{\displaystyle x}โดยปริภูมิเวกเตอร์ที่เรียกว่าปริภูมิสัมผัส : ตัวอย่างต้นแบบคือพื้นผิวเรียบในอาร์3{\displaystyle \mathbb {R} ^{3}}อนุพันธ์ (หรือดิฟเฟอเร นเชียล) ของแผนที่ (ที่หาอนุพันธ์ได้)เอฟ:เอ็มเอ็น{\displaystyle f:M\to N}ระหว่างระนาบหลายมิติ ณ จุดหนึ่งx{\displaystyle x}ในเอ็ม{\displaystyle M}ดังนั้นจึงเป็นการแมปเชิงเส้นจากปริภูมิสัมผัสของเอ็ม{\displaystyle M}ที่x{\displaystyle x}ไปยังพื้นที่สัมผัสของเอ็น{\displaystyle N}ที่เอฟ(x){\displaystyle f(x)}ฟังก์ชันอนุพันธ์กลายเป็นแผนที่ระหว่างกลุ่มเส้นสัมผัสของเอ็ม{\displaystyle M}และเอ็น{\displaystyle N}คำจำกัดความนี้ใช้ในเรขาคณิตเชิงอนุพันธ์ [ 51 ]
  • การหาอนุพันธ์ยังสามารถกำหนดได้สำหรับแผนที่ระหว่างปริภูมิเวกเตอร์เช่นปริภูมิ Banachซึ่งการวางนัยทั่วไปเหล่านั้นคืออนุพันธ์ Gateauxและอนุพันธ์Fréchet [ 52 ]
  • ข้อเสียประการหนึ่งของอนุพันธ์แบบคลาสสิกคือฟังก์ชันจำนวนมากไม่สามารถหาอนุพันธ์ได้ อย่างไรก็ตาม มีวิธีขยายแนวคิดของอนุพันธ์เพื่อให้ ฟังก์ชัน ต่อเนื่อง ทั้งหมด และฟังก์ชันอื่นๆ อีกมากมายสามารถหาอนุพันธ์ได้โดยใช้แนวคิดที่เรียกว่าอนุพันธ์แบบอ่อนแนวคิดคือการฝังฟังก์ชันต่อเนื่องไว้ในพื้นที่ขนาดใหญ่ที่เรียกว่าพื้นที่ของการกระจายและต้องการเพียงให้ฟังก์ชันสามารถหาอนุพันธ์ได้ "โดยเฉลี่ย" [ 53 ]
  • คุณสมบัติ ของอนุพันธ์เป็นแรงบันดาลใจให้เกิดการนำเสนอและการศึกษาวัตถุที่คล้ายคลึงกันมากมายในพีชคณิตและโทโพโลยี ตัวอย่างเช่นพีชคณิตเชิงอนุพันธ์ ซึ่งประกอบด้วยการหาอนุพันธ์ของหัวข้อบางอย่างใน พีชคณิตนามธรรม เช่นวงแหวนอุดมคติฟิลด์และอื่นๆ[ 54 ]
  • สิ่งที่เทียบเท่าแบบไม่ต่อเนื่องของการหาอนุพันธ์คือความแตกต่างแบบจำกัดการศึกษาแคลคูลัสเชิงอนุพันธ์รวมเข้ากับแคลคูลัสของความแตกต่างแบบจำกัดในแคลคูลัสมาตราเวลา[ 55 ]
  • อนุพันธ์เลขคณิตเกี่ยวข้องกับฟังก์ชันที่กำหนดสำหรับจำนวนเต็มโดยการแยกตัวประกอบเฉพาะนี่เป็นการเปรียบเทียบกับกฎผลคูณ[ 56 ]
  • การอนุพันธ์ เป็นการ ขยายแนวคิดเรื่องอนุพันธ์ไปสู่บริบททางพีชคณิต เช่นวงแหวน

ดูเพิ่มเติม

หมายเหตุ

  1. Apostol 1967 , หน้า 160; Stewart 2002 , หน้า 129–130; Strang et al. 2023 , หน้า 224 . 
  2. Apostol 1967 , หน้า 160; Stewart 2002 , หน้า 127; Strang et al. 2023 , หน้า 220 . 
  3. Gonick 2012 , หน้า 83; Thomas et al. 2014 , หน้า 60.
  4. Gonick 2012 , หน้า 88;. 2023 , หน้า 234 
  5. Gonick 2012 , หน้า 83;. 2023 , หน้า 232 
  6. Gonick 2012 , หน้า 77–80.
  7. Thompson 1998 , หน้า 34, 104; Stewart 2002 , หน้า 128.
  8. Thompson 1998 , หน้า 84–85.
  9. คีสเลอร์ 2012 , หน้า 902–904.
  10. ไคส์เลอร์ 2012 , หน้า. 45;เฮนเลแอนด์ไคลน์เบิร์ก 2003 , p. 66.
  11. โกนิค 2012 , หน้า. 156;โทมัสและคณะ 2014 , หน้า. 114;แปลกและคณะ 2023 , หน้า. 237 . 
  12. โกนิค 2012 , หน้า. 149;โทมัสและคณะ 2014 , หน้า. 113;แปลกและคณะ 2023 , หน้า. 237 . 
  13. โกนิค 2012 , หน้า. 156;โทมัสและคณะ 2014 , หน้า. 114;แปลกและคณะ 2023 , หน้า 237–238 . 
  14. ยาเชค 1922 ;ยาร์นิค 1922 ;รีชลิค 1923 .
  15. เดวิด 2018
  16. Banach 1931อ้างอิงใน Hewitt & Stromberg 1965
  17. Apostol 1967 , หน้า. 172;คาโจริ 2007 , หน้า 1. 204.
  18. Moore & Siegel 2013 , หน้า 110.
  19. 1 2 3วาร์เบิร์ก, Purcell & Rigdon 2007 , หน้า 125–126.
  20. ในการกำหนดแคลคูลัสในแง่ของลิมิต ผู้เขียนหลายท่านได้กำหนดคุณ{\displaystyle du}สัญลักษณ์มีความหมายหลากหลาย ผู้เขียนบางท่าน เช่นVarberg, Purcell & Rigdon (2007 , หน้า 119) และStewart (2002 , หน้า 177) ไม่ได้กำหนดความหมายให้กับสัญลักษณ์ใดๆคุณ{\displaystyle du}โดยตัวมันเอง แต่เป็นเพียงส่วนหนึ่งของสัญลักษณ์เท่านั้นคุณx{\displaystyle \textstyle {\frac {du}{dx}}}คนอื่นๆ ให้คำจำกัดความว่า ...x{\displaystyle dx}เป็นตัวแปรอิสระ และกำหนดคุณ{\displaystyle du}โดยคุณ=xเอฟ(x){\displaystyle \textstyle du=dxf'(x)}ใน การวิเคราะห์ ที่ไม่เป็นไปตามมาตรฐานคุณ{\displaystyle du}นิยามของมันคือปริมาณอนันต์เล็ก ๆ นอกจากนี้ยังตีความได้ว่าเป็นอนุพันธ์ภายนอกของฟังก์ชันด้วยคุณ{\displaystyle u}ดูข้อมูลเพิ่มเติมได้ที่หัวข้ออนุพันธ์ (อนันต์เล็ก)
  21. Schwartzman 1994 , หน้า 171 ; Cajori 1923 , หน้า6–7, 10–12, 21–24.  
  22. Moore & Siegel 2013 , หน้า 110; Goodman 1963 , หน้า 78–79.
  23. วาร์เบิร์ก, เพอร์เซลล์&ริกดอน 2007 , หน้า 125–126;คาโจริ 2007 , หน้า 1. 228.
  24. ชูดารีและนิคูเลสคู 2014 , หน้า. 222 ;เผยแพร่ 2510พี.171.  
  25. อีแวนส์ 1999หน้า 63;เครย์ซิก 1991หน้า 1
  26. Cajori 1923
  27. Apostol 1967 , หน้า. 172;วาร์เบิร์ก, เพอร์เซลล์&ริกดอน 2007 , หน้า 125–126.
  28. 1 2 Apostol 1967 , หน้า 160.
  29. Varberg, Purcell & Rigdon 2007ดูหน้า 133 สำหรับกฎกำลัง หน้า 115–116 สำหรับฟังก์ชันตรีโกณมิติ หน้า 326 สำหรับลอการิทึมธรรมชาติ หน้า 338–339 สำหรับเลขชี้กำลังที่มีฐานอี{\displaystyle e}หน้า 343 สำหรับเลขชี้กำลังที่มีฐานเอ{\displaystyle a}ดูหน้า 344 สำหรับลอการิทึมที่มีฐานเอ{\displaystyle a}และหน้า 369 สำหรับฟังก์ชันผกผันของฟังก์ชันตรีโกโนเมตริก
  30. สำหรับกฎค่าคงที่และกฎผลรวม โปรดดู Apostol 1967 หน้า161 และ 164ตามลำดับ สำหรับกฎผลคูณ กฎผลหาร และกฎลูกโซ่ โปรดดู Varberg, Purcell & Rigdon 2007 หน้า111–112 และ 119ตามลำดับ สำหรับกรณีพิเศษของกฎผลคูณ นั่นคือ ผลคูณของค่าคงที่และฟังก์ชัน โปรดดู Varberg, Purcell & Rigdon 2007หน้า108–109   
  31. สแตรงก์ และคณะ 2023 , หน้า 485–486 . 
  32. สแตรงก์ และคณะ 2023 , หน้า 552–559 . 
  33. Apostol 1967 , หน้า. 160;วาร์เบิร์ก, เพอร์เซลล์&ริกดอน 2007 , หน้า 125–126.
  34. วอร์เนอร์ 1983 , หน้า 5.
  35. เดบนัทและชาห์ 2015 , หน้า. 40 . 
  36. Carothers 2000 , หน้า 176 . 
  37. Stewart 2002 , หน้า 193.
  38. 1 2สจ๊วต 2002หน้า 893
  39. Stewart 2002 , หน้า 947 ; Christopher 2013 , หน้า682.  
  40. สจ๊วต 2002 , หน้า 949 
  41. Silverman 1989 , หน้า 216 ; Bhardwaj 2005 , ดูหน้า 6.4 . 
  42. Matthai & Haubold 2017 , หน้า. 52 . 
  43. Gbur 2011 , หน้า 36–37.
  44. วาร์เบิร์ก, เพอร์เซลล์&ริกดอน 2550 , p. 642.
  45. กุซมัน 2003 , หน้า 35 . 
  46. 1 2 3 Davvaz 2023 , หน้า 266 . 
  47. ลี 2013 , หน้า 72.
  48. Davvaz 2023 , หน้า 267 . 
  49. Roussos 2014 , หน้า 303.
  50. Gbur 2011 , หน้า 261–264.
  51. เกรย์, แอบเบนาและซาลามอน 2549 , หน้า. 826 . 
  52. Azegami 2020ดูหน้า 209สำหรับอนุพันธ์ Gateaux และหน้า 211สำหรับอนุพันธ์ Fréchet
  53. ฟูนาโร 1992 , หน้า 84–85 . 
  54. โคล ชิน 1973หน้า 58 , 126 
  55. Georgiev 2018 , หน้า 8 . 
  56. บาร์โบ 1961

สรุปเนื้อหา

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

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

ใน ทางคณิตศาสตร์ อนุพันธ์เป็นเครื่องมือพื้นฐานที่ใช้ในการวัดความไวต่อการเปลี่ยนแปลงของ ผลลัพธ์ ของ ฟังก์ชัน เมื่อเทียบกับอินพุต...

ในฐานะข้อจำกัด

ฟังก์ชัน ของตัวแปรจริง เอฟ ( x ) {\displaystyle f(x)} สามารถ หาอนุพันธ์ได้ ที่จุดหนึ่ง เอ {\displaystyle a} ของ โดเมน นั้น หากโดเมนนั้นมี ช่วงเปิดที่ ประกอบด้วย ⁠ เอ {\displaystyle a} และ ขีด จำกัด แอล = ลิม ชม. → 0 เอฟ ( เอ + ชม. ) − เอฟ ( เอ ) ชม.

การใช้ปริมาณอนันต์เล็ก

วิธีคิดเกี่ยวกับอนุพันธ์วิธีหนึ่ง ง เอฟ ง x ( เอ ) {\textstyle {\frac {df}{dx}}(a)} คืออัตราส่วนของ การเปลี่ยนแปลง เล็กน้อย ในผลลัพธ์ของฟังก์ชัน เอฟ {\displaystyle f} ต่อการเปลี่ยนแปลงเล็กน้อยในอินพุต [ 8 ] เพื่อให้สัญชาตญาณนี้มีความเข้มงวด...

ความต่อเนื่องและความสามารถในการหาอนุพันธ์

ถ้า เอฟ {\displaystyle f} สามารถ หาอนุพันธ์ได้ ที่ ⁠ เอ {\displaystyle a} จาก นั้น เอฟ {\displaystyle f} ต้อง ต่อเนื่อง ที่ ⁠ ด้วย เอ {\displaystyle a} [ 11 ]ตัวอย่างเช่น เลือก จุด หนึ่ง เอ {\displaystyle a} และปล่อยให้ เอฟ {\displaystyle f} เป็น...