for the standard cases the answer is well known, but somehow I couldn't derive the answer for the following setting:
Suppose that $X_t = \sigma B_t + ct$, where $B$ is a Brownian motion, $c>0$ is a constant and $X_0=0$. We define $H_a = \inf \{ t: X_t =a \}$ for $\underline{a <0}$ as the first hitting time. What is the density of $H_a$ in this case?
It is different from the standard case because now
$$[H_a \leq t] = \left[ \inf_{s \leq t} X_s \leq a \right] \tag{1}$$
Thanks!