Search
Duplicate

수학/ 유용한 미적분 항등식들

다음은 널리 사용되는 미적분의 항등식들이다.

Scalar to Scalar

ddxcxn=cnxn1ddxlog(x)=1/xddxexp(x)=exp(x)ddx[f(x)+g(x)]=df(x)dx+dg(x)dxddx[f(x)g(x)]=f(x)dg(x)dx+g(x)df(x)dxddxf(u(x))=dudxdf(u)du\begin{aligned} {d \over dx}cx^n &= cnx^{n-1} \\ {d \over dx} \log(x) &= 1/x \\ {d \over dx} \exp(x) &= \exp(x) \\ {d \over dx}[f(x) + g(x)] &= {df(x) \over dx} + {dg(x) \over dx} \\ {d \over dx}[f(x)g(x)] &= f(x){d g(x) \over dx} + g(x) {d f(x) \over dx} \\ {d \over dx}f(u(x)) &= {du \over dx}{df(u) \over du} \end{aligned}

Vector to Scalar

(ax)x=a(bTAx)x=Ab(xAx)x=(A+A)x\begin{aligned} {\partial (\bold{a}^\top\bold{x}) \over \partial \bold{x}} &= \bold{a} \\ {\partial (\bold{b}^T\bold{Ax}) \over \partial \bold{x}} &= \bold{A}^\top\bold{b} \\ {\partial (\bold{x}^\top\bold{Ax}) \over \partial \bold{x}} &= (\bold{A} + \bold{A}^\top)\bold{x} \end{aligned}

Matrix to Scalar

fX=(fx11...fx1nfxm1...fxmn){\partial f \over \partial \bold{X}} = \left( \begin{matrix} {\partial f \over \partial x_{11}} & ... & {\partial f \over \partial x_{1n}} \\ \vdots & \ddots & \vdots \\ {\partial f \over \partial x_{m1}} & ... & {\partial f \over \partial x_{mn}} \end{matrix} \right)
이차식을 포함한 항등식
X(aXb)=abX(aXb)=ba\begin{aligned} {\partial \over \partial \bold{X}}(\bold{a}^\top{\bold{Xb}}) &= \bold{ab}^\top \\ {\partial \over \partial \bold{X}}(\bold{a}^\top{\bold{X}^\top\bold{b}}) &= \bold{ba}^\top \end{aligned}
trace를 포함한 항등식
Xtr(AXB)=ABXtr(XA)=AXtr(X1A)=XAXXtr(XAX)=(A+A)X\begin{aligned} {\partial \over \partial \bold{X}}\text{tr}(\bold{AXB}) &= \bold{A}^\top\bold{B}^\top \\ {\partial \over \partial \bold{X}}\text{tr}(\bold{X}^\top{\bold{A}}) &= \bold{A} \\ {\partial \over \partial \bold{X}}\text{tr}(\bold{X}^{-1}\bold{A}) &= -\bold{X}^\top\bold{A}^\top\bold{X}^{-\top} \\ {\partial \over \partial \bold{X}}\text{tr}(\bold{X}^\top\bold{AX}) &= (\bold{A+A}^\top)\bold{X} \end{aligned}
determinant을 포함한 항등식
Xdet(AXB)=det(AXB)Badj(AXB)A=det(AXB)XXlog(det(X))=X\begin{aligned} {\partial \over \partial \bold{X}}\text{det}(\bold{AXB}) &= \det(\bold{AXB})\bold{B}^\top \cdot \text{adj}(\bold{AXB})\bold{A}^\top = \text{det}(\bold{AXB})\bold{X}^{-\top} \\ {\partial \over \partial \bold{X}} \log(\det(\bold{X})) &= \bold{X}^{-\top} \end{aligned}

참조