✨Đạo hàm riêng

Trong toán học, đạo hàm riêng của một hàm số đa biến là đạo hàm theo một biến, các biến khác được xem như là hằng số(khác với đạo hàm toàn phần, khi tất cả các biến đều biến thiên). Đạo hàm riêng được sử dụng trong giải tích vector và hình học vi phân.

Đạo hàm riêng của f đối với biến x được ký hiệu khác nhau bởi : $f^\backslash prime\_x,\backslash \; f$x,\ f{,x},\ \partial_x f, \text{ hoặc } \frac{\partial f}{\partial x}

Ký hiệu của đạo hàm riêng là ∂. Ký hiệu này được giới thiệu bởi Adrien-Marie Legendre và được chấp nhận rộng rãi sau khi nó được giới thiệu lại bởi Carl Gustav Jacob Jacobi.

Định nghĩa

Ví dụ sau sẽ giúp giải thích định nghĩa của đạo hàm riêng theo biến y.Giả sử một hàm theo hai biến x,y được xem như là một họ các hàm theo y được đánh số theo x

:$f(x,y)\; =\; f\_x(y)\; =\; \backslash ,!\; x^2\; +\; xy\; +\; y^2.\backslash ,$

Nói một cách khác, mỗi giá trị của x định nghĩa một hàm số, ký hiệu là f_x, mà nó là hàm số một biến. Nghĩa là

:$f\_x(y)\; =\; x^2\; +\; xy\; +\; y^2.\backslash ,$

Một khi giá trị của x được chọn, ví dụ là a, thì f(x,y) xác định một hàm số f_a

:$f\_a(y)\; =\; a^2\; +\; ay\; +\; y^2.\; \backslash ,$

Trong công thức này, a là hằng số, không phải là biến số, do đó f_a là một hàm số một biến và do vậy ta có thể sử dụng định nghĩa đạo hàm cho hàm một biến:

:$f\_a\text{'}(y)\; =\; a\; +\; 2y.\; \backslash ,$

Quy trình trên có thể được áp dụng cho bất cứ lựa chọn nào của a. Khi đem gộp lại tất cả những đạo hàm đó ta có được sự biến thiên của hàm số f theo hướng của y:

:$\backslash frac\{\backslash partial\; f\}\{\backslash partial\; y\}(x,y)\; =\; x\; +\; 2y.\backslash ,$

Đây là đạo hàm riêng của f theo biến số y. Ổ đây ∂ được gọi là ký hiệu đạo hàm riêng.

Một cách tổng quát, đạo hàm riêng của một hàm số f(x₁,...,x_n) theo hướng x_i tại điểm (a₁,...,a_n) được định nghĩa là:

:$\backslash frac\{\backslash partial\; f\}\{\backslash partial\; x\_i\}(a\_1,\backslash ldots,a$n) = \lim{h \to 0}\frac{f(a_1,\ldots,a_i+h,\ldots,a_n) - f(a_1,\ldots, a_i, \dots,a_n)}{h}.

Trong tỷ số bên trên, tất cả các biến ngoại trừ x_i được giữ cố định. Do vậy ta chỉ có hàm số theo một biến $f\_\{a$1,\ldots,a{i-1},a_{i+1},\ldots,a_n}(x_i) = f(a1,\ldots,a{i-1},xi,a{i+1},\ldots,a_n), và do định nghĩa,,

:$\backslash frac\{df\_\{a$1,\ldots,a{i-1},a_{i+1},\ldots,a_n{dx_i}(x_i) = \frac{\partial f}{\partial x_i}(a_1,\ldots,a_n).

Một ví dụ quan trọng của đạo hàm riêng: Cho một hàm số f(x₁,...x_n) đinh nghĩa trên một miền của Rⁿ (ví dụ, trên R² hay là R³). Trong trường hợp này f có các đạo hàm riêng ∂f/∂x_j đối với mỗi biến x_j. Tại điểm a, những đạo hàm riêng này định ra vector

:$\backslash nabla\; f(a)\; =\; \backslash left(\backslash frac\{\backslash partial\; f\}\{\backslash partial\; x\_1\}(a),\; \backslash ldots,\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; x\_n\}(a)\backslash right).$

Vector này được gọi là gradient của f tại a. Nếu f khả vi tại mọi điểm trong một miền nào đó, thì gradient là hàm số có trị là vectơ ∇f đưa điểm a đến vectơ ∇f(a). Do đó gradient là một trường vectơ.