The problem covers some fundamental concepts in quantum optics. See Glauber, Phys. Rev., 84 (1951) 395 and his Nobel lecture, Rev. Mod. Phys., 78 (2006) 1267; Gottfried (1966), Section 31; Merzbacher (1998), Section 10.7; and Gottfried and Yan (2003), Section 4.2.
A coherent state of a one-dimensional simple harmonic oscillator is defined to be an eigenstate of the (non-Hermitian) annihilation operator $a$ :
$$
a|\lambda\rangle=\lambda|\lambda\rangle
$$
where $\lambda$ is, in general, a complex number.
a. Prove that
$$
|\lambda\rangle=e^{-|\lambda|^{2} / 2} e^{\lambda a^{7}}|0\rangle
$$
is a normalized coherent state.
b. Prove the minimum uncertainty relation for such a state.
c. Write $|\lambda\rangle$ as
$$
|\lambda\rangle=\sum_{n=0}^{\infty} f(n)|n\rangle
$$
Show that the distribution of $|f(n)|^{2}$ with respect to $n$ is in the form of a Poisson distribution, that is $P_{n}(\mu)=e^{-\mu} \mu^{n} / n !$ where $\mu$ is the mean of the distribution. Find the most probable (integer) value of $n$, hence of $E$.
d. Show that a coherent state can also be obtained by applying the translation (finite displacement) operator $e^{-i p l l h}$ (where $p$ is the momentum operator, and $l$ is the displacement distance) to the ground state. (See also Gottfried (1966), pp. 262264; Problem $2.13$ in Gottfried and Yan (2003), and Eq. 39 in Glauber's 1951 paper.)