For that matter what is origin for the energy operator? I now they are defined as: $\hat{x} = x$ $\hat{p} = i\hbar\frac{d}{dx}$ $\hat{E} = -i\frac{d}{dt}$
I understand they might not have strict derivations as such but I am just looking for some sort of justification for them. Also I wanted to understand the origin of the commutation relations between them?
Thank you