지수 함수 e^{-x}의 미분은 복소수 범위까지 확장하여 이해할 수 있습니다. 기본적으로 지수 함수의 미분 규칙을 따르지만, 지수 부분이 변수 x에 대한 함수일 경우 연쇄 법칙(Chain Rule)을 적용해야 합니다.
e^{-x}의 미분
e^{-x}를 미분하면 -e^{-x}가 됩니다. 이는 다음과 같은 연쇄 법칙을 통해 유도됩니다.
함수 y = e^{u} 에서 u = -x 라고 가정합니다.
연쇄 법칙에 따라 dy/dx = dy/du * du/dx 입니다.
dy/du = d/du (e^u) = e^u
du/dx = d/dx (-x) = -1
따라서, dy/dx = e^u * (-1) = e^{-x} * (-1) = -e^{-x}
복소수 범위에서의 미분
복소수 z = x + iy (여기서 i는 허수 단위)에 대해서도 지수 함수 e^z는 다음과 같이 정의됩니다.
e^z = e^{x+iy} = e^x * e^{iy} = e^x (cos(y) + i sin(y))
이 복소수 지수 함수의 미분은 다음과 같이 계산할 수 있습니다.
먼저, z에 대한 편미분을 생각해 봅시다.
∂/∂x (e^z) = ∂/∂x [e^x (cos(y) + i sin(y))] = e^x (cos(y) + i sin(y)) = e^z
∂/∂y (e^z) = ∂/∂y [e^x (cos(y) + i sin(y))] = e^x (-sin(y) + i cos(y)) = e^x * i (cos(y) + i sin(y)) = i * e^z
이제, e^{-z}를 미분하는 경우를 생각해 봅시다. 여기서 z = x + iy 이므로, -z = -x - iy 입니다.
e^{-z} = e^{-x-iy} = e^{-x} * e^{-iy} = e^{-x} (cos(-y) + i sin(-y)) = e^{-x} (cos(y) - i sin(y))
이를 x에 대해 미분하면:
∂/∂x (e^{-z}) = ∂/∂x [e^{-x} (cos(y) - i sin(y))] = -e^{-x} (cos(y) - i sin(y)) = -e^{-z}
이를 y에 대해 미분하면:
∂/∂y (e^{-z}) = ∂/∂y [e^{-x} (cos(y) - i sin(y))] = e^{-x} (-sin(y) - i cos(y)) = -e^{-x} (sin(y) + i cos(y))
여기서, sin(y) + i cos(y) = i(cos(y) - i sin(y)) = i * e^{-iy} 이므로,
∂/∂y (e^{-z}) = -e^{-x} * i * e^{-iy} = -i * e^{-x} * e^{-iy} = -i * e^{-z}
결론
실수 범위에서 e^{-x}를 미분하면 -e^{-x}가 됩니다. 복소수 범위에서도 마찬가지로 e^{-z}를 z에 대해 미분하면 -e^{-z}가 됩니다. 이는 지수 함수의 기본적인 미분 규칙과 연쇄 법칙, 그리고 복소수에서의 오일러 공식을 통해 확인할 수 있습니다.