Consider a Brownian motion $W_t$ and Bachelier model $S_t = 1 + \mu t + \sigma W_t$ for the stock price $S_t$. Find the value of an option that pays $1(S_1 > 1)$.
Attempt: As I understand it, the answer is $P(S_1 > 1)$, which yields a big integral with parameter $\mu$. I suspect there should be a simple answer. Any help is greatly appreciated!
Update: Kurt and Maximilian, thank you for your help. However, I don't believe the answers given are correct. As I understand it now, you are supposed to use risk neutral valuation argument by constructing delta-hedging portfolio, not evaluate the probability directly. Interestingly, in Black-Scholes or Bachelier models, when evaluating options with risk-neutral valuation, the result usually doesn't depend on drift term $\mu$.
I am not able to find the simple answer (if there is one). Therefore, let's get to the integrals (which also do not lead to a satisfying answer, by the way):
More generally, if $$S_t=1-f(t)+W_t$$ for any function $f:[0,2]\to\mathbb R$, then $$\mathsf P(S_1>1\text{ and }S_2<1) =\mathsf P(W_1>f(1)\text{ and }W_2<f(2)).$$
Now, let $X=W_1$ and $Y=W_2-W_1$. By Definition of a Brownian motion, $X,Y$ are independent and $\mathcal N(0,1)$-distributed. (I.e. standard normal.)
We are looking for $$\mathsf P(X>f(1)\text{ and } X+Y<f(2)).$$
Now, by the Transformationssatz for measures, using Iverson brackets in the notation, $(\Omega,\mathcal A,\mathsf P)$ as the probability space, $ \cdot_\#$ for the pushforward, \begin{equation*} \begin{split} \mathsf P(X>f(1)\text{ and }X+Y<f(2))&=\int_\Omega [X>f(1)][X+Y<f(2)]\,\mathrm dP \\ &=\int_{\mathbb R^2} [x>f(1)][x+y<f(2)]\,\mathrm d(X,Y)_\#\mathsf P(x,y). \end{split} \end{equation*}
By independence of $(X,Y)$, we have ($\otimes$ is the product measure) $(X,Y)_\#\mathsf P=(X_\# \mathsf P)\otimes(Y_\#\mathsf P)$, so that the above equals \begin{equation*} \begin{split} \int_{f(1)}^\infty\,\mathrm dX_\#\mathsf P(x)\left(\int_{-\infty}^{f(2)-x}\,\mathrm dY_\#\mathsf P(y)\right) \end{split} \end{equation*}
Defining the error function through \begin{equation*} \operatorname{erf}(z)=\frac{2}{\sqrt\pi}\int_0^z\exp(-t^2)\,\mathrm dt \end{equation*} for $z\in\mathbb R$ gives, since $X,Y\sim\mathcal N(0,1)$, \begin{equation*}\begin{split} \int_{f(1)}^\infty\,\mathrm dX_\#\mathsf P(x)\left(\int_{-\infty}^{f(2)-x}\,\mathrm dY_\#\mathsf P(y)\right) &=\frac1{2\sqrt{2\pi}}\int_{f(1)}^\infty\left(\operatorname{erf}\left(\frac{f(2)-x}{\sqrt 2}\right)+1\right) \exp\left(-\frac{x^2}2\right)\,\mathrm dx. \end{split}\end{equation*}
I am not sure how to simplify this further. Note that in your case, $f(2)=2 f(1)=-2\mu$ for a fixed $\mu\in\mathbb R$.