$dX_t$가 들어간걸 보면 확실히 SDE이다. 위 방정식을 온스테인-울렌벡 방정식이라 하고 그 솔루션인 확률과정 $X_t$를 온스테인-울렌벡 프로세스라 한다.

이를 랑주뱅 방정식으로도 불린다.

정말 정리 잘했다..