Connecting Differential Operators and Lie Brackets in ODEs

In ODE An Algebraic Approach 1, we observe a beautiful identity:

$$\begin{array}{}\text{(1)}& (D-\lambda )=e^{\lambda x}\circ D\circ e^{-\lambda x}\end{array}$$

In this essay, I would like to explain the connection between $(1)$$(1)$ and Lie bracket.

Firstly, we can prove this identity from the Lie bracket.

i.e.

$$\begin{array}{}\text{(2)}& [D,e^{\lambda x}]=\lambda e^{\lambda x}=D\circ e^{\lambda x}-e^{\lambda x}\circ D\end{array}$$

Thus

$$\begin{array}{}\text{(3)}& e^{\lambda x}\circ D+e^{\lambda x}\lambda =D\circ e^{\lambda x}⟹e^{\lambda x}(D+\lambda )=D\circ e^{\lambda x}\end{array}$$

Then take the inverse of $e^{\lambda x}$$e^{\lambda x}$

$$\begin{array}{}\text{(4)}& \begin{array}{c}\\ ⟹(D+\lambda )=e^{-\lambda x}\circ D\circ e^{\lambda x}⟹e^{\lambda x}\circ D\circ e^{-x}=(D-\lambda )\end{array}\end{array}$$

Conversely,

$$\begin{array}{}\text{(5)}& \frac{d}{dt}{|}_{t=0}(e^{tX}\circ Y\circ e^{-tX})=(X{e}^{tX}\circ Y\circ e^{-tX}+e^{tX}\circ Y\circ -X){|}_{t=0}=XY-YX=[X,Y]\end{array}$$