✨Đạo hàm toàn phần

Trong toán học, đạo hàm toàn phần của một hàm $f$ tại một điểm là xấp xỉ tuyến tính tốt nhất gần điểm này của hàm đối với các đối số của nó. Không giống như các đạo hàm riêng, đạo hàm toàn phần xấp xỉ hàm số theo tất cả các đối số. Trong nhiều tình huống, điều này giống như xem xét tất cả các đạo hàm riêng một cách đồng thời (cũng có những tình huống đặc biệt).

Đạo hàm toàn phần như là một ánh xạ tuyến tính

Đạo hàm riêng mô tả sự thay đổi của hàm số theo một hướng nhất định (ứng với đối số đã chọn). Khi ta xét tất cả các đối số, sự thay đổi của hàm số phụ thuộc cả vào hướng của đối số. Do đó, một cách tự nhiên để thể hiện đạo hàm toàn phần là sử dụng ánh xạ tuyến tính.

Đặt $U\backslash subseteq\; \backslash mathbf\{R\}^n$ là một tập con mở. Một hàm $f:U\backslash rightarrow\; \backslash mathbf\{R\}^m$ được gọi là khả vi (toàn phần) tại một điểm $a\backslash in\; U$ nếu tồn tại một phép biến đổi tuyến tính $df\_a:\backslash mathbf\{R\}^n\; \backslash rightarrow\; \backslash mathbf\{R\}^m$ sao cho

: $\backslash lim\_\{x\backslash rightarrow\; a\}\backslash frac\{|f(x)-f(a)-df\_a(x-a)|\}\{|x-a|\}=0.$

Ánh xạ tuyến tính $df\_a$ được gọi là đạo hàm (toàn phần) hoặc vi phân (toàn phần) của $f$ tại $a$. Ta cũng ký hiệu $D\_a\; f$ hoặc $Df(a)$. Một hàm là khả vi (toàn phần) nếu nó khả vi toàn phần tại mỗi điểm trong miền xác định.

Định nghĩa của đạo hàm toàn phần thể hiện rằng $df\_a$ là xấp xỉ tuyến tính tốt nhất của $f$ tại điểm $a$. Điều này có thể được chính xác hóa bằng cách định lượng sai số của xấp xỉ $df\_a$. Viết

: $f(a\; +\; h)\; =\; f(a)\; +\; df\_a(h)\; +\; \backslash varepsilon(h),$

với $\backslash varepsilon(h)$ là sai số trong phép tính gần đúng. Nói rằng đạo hàm của $f$ tại $a$ là $df\_a$ tương đương với

: $\backslash varepsilon(h)\; =\; o(\backslash lVert\; h\backslash rVert),$

với $o$ là ký hiệu o nhỏ và chỉ ra rằng $\backslash varepsilon(h)$ nhỏ hơn nhiều so với $\backslash lVert\; h\backslash rVert$ khi $h\; \backslash to\; 0$. Đạo hàm toàn phần $df\_a$, nếu tồn tại, là duy nhất.

Đạo hàm toàn phần liên hệ với các đạo hàm riêng phần như sau:

Định lý - Giả sử $f$ là một hàm khả vi tại $a$ với đạo hàm toàn phần $df\_a$. Thế thì đạo hàm theo hướng $u$: $f\text{'}(a,u)$ tồn tại với mọi $u\backslash in\backslash mathbb\{R\}^n$ và ta có

Ngược lại, ta cũng có một điều kiện đủ sau đây.

Định lý - Giả sử $f$ là một hàm thỏa mãn

• một đạo hàm riêng phần $D\_if$ tồn tại tại điểm $a$
• $n-1$ đạo hàm riêng phần còn lại tồn tại _trong một hình cầu mở chứa_ $a$ và _liên tục tại_ $a$ Thế thì $f$ khả vi tại $a$.

Hệ quả - Giả sử $f$ có các đạo hàm riêng phần liên tục trên một tập mở $U$. Thế thì $f$ khả vi trên $U$. Ví dụ, ánh xạ $f:\backslash mathbb\{R\}^2-\{(0,0)\}\backslash to\backslash mathbb\{R\}^2,(x,y)\backslash mapsto(\backslash frac\{1\}\{xy\},x)$ có đạo hàm toàn phần tại một điểm $(a,b)$ là $df${(a,b)}(u,v)=(\frac{-1}{a^2b}u+\frac{-1}{ab^2}v,u). Các đạo hàm riêng phần là $\backslash frac\{\backslash partial\; f\}\{\backslash partial\; x\}(a,b)=df${(a,b)}(1,0)=(\frac{-1}{a^2b},1) và $\backslash frac\{\backslash partial\; f\}\{\backslash partial\; y\}(a,b)=df\_\{(a,b)\}(0,1)=(\backslash frac\{-1\}\{ab^2\},0)$.

Đạo hàm toàn phần như là một dạng vi phân

Khi hàm đang xem xét có giá trị thực, đạo hàm toàn phần có thể được biểu diễn như là một dạng vi phân. Ví dụ, giả sử rằng $f\; \backslash colon\; \backslash mathbf\{R\}^n\; \backslash to\; \backslash mathbf\{R\}$ là một hàm khả vi của các biến $x\_1,\; \backslash ldots,\; x\_n$.

Xét một véc-tơ trong $\backslash textbf\{R\}^n$

:

Ta có

: $f(a\; +\; \backslash Delta\; x)\; -\; f(a)\; -\; df\_a(\backslash Delta\; x)\; =\; o(\backslash vert\backslash Delta\; x\backslash vert)$

với

: $df$a = \sum{i=1}^n \frac{\partial f}{\partial x_i}(a)dx_i.

là một $1$-dạng vi phân.

Đạo hàm của ánh xạ hợp

Với hai hàm số $f$ và $g$, đạo hàm toàn phần của hàm hợp $g\; \backslash circ\; f$ tại $a$ thỏa mãn

: $d(g\; \backslash circ\; f)$a = dg{f(a)} \circ df_a.

Nếu các đạo hàm toàn phần của $f$ và $g$ được xác định bởi các ma trận Jacobi, phép hợp ở vế phải ứng với phép nhân ma trận.