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

ให้ $f(x,y) $ เป็นฟังก์ชัน สองตัวแปร $(a,b) \in D_f $
จะนิยามอนุพันธ์ย่อย ของ $f(x,y) $ ที่จุด $(a,b) $ ดังนี้ ดังนั้น นอกจากนี้ อาจใช้สัญลักษณ์สำหรับอนุพันธ์ย่อย ดังนี้

ตัวอย่าง

ให้ $f(x,y) = x^2+y^3+ 4xy + 5x+6y +7 $ จงหา

วิธีทำ

ในการหาค่า $f_x (x,y) $ ใช้ วิธีการหาอนุพันธของฟังก์ชัน หนึ่งตัวแปร
โดยการหาอนุพันธ์ ของ $f(x,y)$ เทียบกับ $x$ โดยการมองตัวแปร $y$ เป็นค่าคงตัว
ดังนั้น $f_x (x,y) \quad = 2x+0+4y+5+6(0)+0 \quad = 2x+4y+5 $
จึงได้ว่า $f_x (0,-1) \quad = 2(0)+4(-1)+5 \quad = 1 $
   ในทำนองเดียวกัน ในการหาค่า $f_y (x,y) $ ใช้ วิธีการหาอนุพันธของฟังก์ชัน หนึ่งตัวแปร
โดยการหาอนุพันธ์ ของ $f(x,y)$ เทียบกับ $y$ โดยการมองตัวแปร $x$ เป็นค่าคงตัว
ดังนั้น $f_y (x,y) \quad = 0+3y^2+4x+0+6+0 \quad = 3y^2+4x+6 $
จึงได้ว่า $f_y (0,-1) \quad = 3(-1)^2+4(0)+6 \quad = 9 $

ความหมายทางเรขาคณิต

ให้ $z=f(x,y) $ แล้วจะได้ว่า
$f_x (a,b) $ คือ ความชันของเส้นโค้งที่เกิดจากการตัดกันระหว่าง พื้นผิว $z=f(x,y)$ กับระนาบ $y = b $ ที่จุด $( a,b,f(a,b) )$ ดังรูป

ในทำนองเดียวกัน $f_y (a,b) $ คือ ความชันของเส้นโค้งที่เกิดจากการตัดกันระหว่าง พื้นผิว $z=f(x,y)$ กับระนาบ $x = a $ ที่จุด $( a,b,f(a,b) )$ ดังรูป

สำหรับฟังก์ชัน สามตัวแปร $w=f(x,y,z) $

สามารถนิยามอนุพันธ์ย่อยในทำนองเดียวกัน จาก ฟังก์ชัน สอง และ สามตัวแปร สามารถ ขยายออกไปถึง ฟังก์ชัน $n$ ตัวแปรได้ในทำนองเดียวกัน

ตัวอย่าง

จงหา $f_x, \quad f_y, \quad f_z $ เมื่อ
  1. $f(x,y,z) = x^2 y^3 z^4 + x \sin y \cos z +y e^x + 2z $
  2. $f(x,y,z) = x \ln y + y \ln z + z \ln x +xyz $

วิธีทำ

  1. $f_x (x,y,z) = 2x y^3 z^4 + \sin y \cos z +y e^x \\ f_y (x,y,z) = 3 x^2 y^2 z^4 + x \cos y \cos z + e^x \\ f_z (x,y,z) =4 x^2 y^3 z^3 - x \sin y \sin z + 2$

  2. $f_x (x,y,z) = \ln y + \frac{z}{x} + yz \\ f_y (x,y,z) =\frac{x}{y} + \ln z + xz \\ f_z (x,y,z) = \frac{y}{z} + \ln x +xy $
สามารถใช้โปรแกรม SageMath ดังนี้

อนุพันธ์ย่อยอันดับสูง

ให้ $ z= f(x,y) $ เป็นฟังก์ชันสองตัวแปร
จะเรียกอนุพันธ์ย่อยของ $f_x (x,y) $ ว่าอนุพันธ์ย่อยอันดับ 2 ของ ฟังก์ชัน $f(x,y) $ มีดังนี้
  1. อนุพันธ์ย่อยของ $f_x (x,y) $ เทียบกับ $x$ เขียนแทนด้วย $f_{xx} (x,y) = \big( f_x (x,y) \big ) _x $
  2. อนุพันธ์ย่อยของ $f_x (x,y) $ เทียบกับ $y$ เขียนแทนด้วย $f_{xy} (x,y) = \big( f_x (x,y) \big ) _y $
ทำนองเดียวกัน
  1. อนุพันธ์ย่อยของ $f_y (x,y) $ เทียบกับ $x$ เขียนแทนด้วย $f_{yx} (x,y) = \big( f_y (x,y) \big ) _x $
  2. อนุพันธ์ย่อยของ $f_y (x,y) $ เทียบกับ $y$ เขียนแทนด้วย $f_{yy} (x,y) = \big( f_y (x,y) \big ) _y $
นอกจากนี้ อาจใช้สัญลักษณ์สำหรับอนุพันธ์ย่อย อันดับ 2 ดังนี้
  1. $f_{xx} (x,y) \quad = f_{xx} \quad = \frac{\partial ^2 f }{\partial x^2 } \quad = \frac{\partial ^2 }{\partial x^2 } f(x,y) \quad = \frac{\partial ^2 z }{\partial x^2 } $
  2. $f_{xy} (x,y) \quad = f_{xy} \quad = \frac{\partial ^2 f }{\partial y \partial x } \quad = \frac{\partial ^2 }{\partial y \partial x } f(x,y) \quad = \frac{\partial ^2 z }{\partial y \partial x } $
  3. $f_{yx} (x,y) \quad = f_{yx} \quad = \frac{\partial ^2 f }{\partial x \partial y } \quad = \frac{\partial ^2 }{\partial x \partial y } f(x,y) \quad = \frac{\partial ^2 z }{\partial x \partial y } $
  4. $f_{yy} (x,y) \quad = f_{yy} \quad = \frac{\partial ^2 f }{ \partial y^2 } \quad = \frac{\partial ^2 }{\partial y^2 } f(x,y) \quad = \frac{\partial ^2 z }{ \partial y^2 } $

โดยทั่วไป $f_{xy} (a,b) \neq f_{yx}(a,b) $

ดังตัวอย่างต่อไปนี้

ทฤษฎีบท

ให้ $f(x,y)$ เป็นฟังก์ชันที่นิยามและต่อเนื่องบนโดเมน $D$ จุด $(a,b) \in D $
ถ้า $f_{xy} $ และ $f_{yx}$ ทั้งคู่ต่อเนื่องบนโดเมน $D$ แล้ว $$ f_{xy} (a,b) = f_{yx}(a,b) $$ สำหรับอนุพันธ์ย่อย ของฟังก์ชัน $z=f(x,y) $อันดับสูงกว่า 2 ก็จะนิยาม และใช้สัญลักษณ ในทำนองเดียวกัน เช่น
$f_{xyxx}(x,y) $ หมายถึงอนุพันธ์ย่อยอันดับ 4 โดย หาอนุพันธ์ย่อย ของ $f(x,y)$ เทียบกับ $x $ เทียบกับ $y $ เทียบกับ $x $ แล้ว เทียบกับ $x $ ตามลำดับ
และ
$\frac{\partial ^4 z }{ \partial x^2 \partial y^2 } $ หมายถึงอนุพันธ์ย่อยอันดับ 4 โดย หาอนุพันธ์ย่อย ของ $f(x,y)$ เทียบกับ $y $ เทียบกับ $y $ เทียบกับ $x $ แล้ว เทียบกับ $x $ ตามลำดับ

กรณี ฟังก์ชัน มากกว่า สองตัวแปร ก็สามารถ นิยาม และใช้สัญลักษณ์ เหมือนกันกับ สองตัวแปร

เช่น
ให้ $w=f(x,y,z) $ ความหมายของ $f_{xzyz} (x,y,z)$ แทนอนุพันธ์ย่อยอันดับ 4 ของฟังก์ชัน $f(x,y,z)$ โดย หาอนุพันธ์ย่อย ของ $f(x,y,z)$ เทียบกับ $x $ เทียบกับ $z $ เทียบกับ $y $ แล้ว เทียบกับ $z $ ตามลำดับ

ตัวอย่าง

ให้ $f(x,y,z) = y^2 \sin (x+2z)$ จงหา $f_{yzxz} $

วิธีทำ

$$ f_y \quad = 2y \sin (x+2z) \\ f_{yz} \quad = 4y \cos (x+2z) \\ f_{yzx} \quad = -4y \sin (x+2z) \\ f_{yzxz} \quad = -8y \cos (x+2z)$$ สามารถใช้โปรแกรม SageMath ดังนี้