On the expectation of normalized Brownian functionals up to first hitting times
Let B be a Brownian motion and T its first hitting time of the level 1. For U a uniform random variable independent of B, we study in depth the distribution of T^{-1/2}B_{UT}, that is the rescaled Brownian motion sampled at uniform time. In particular, we show that this variable is centered.
\section{Introduction}\label{intro}

In this paper, we study the expectations of the random variables $A_a^{(m)}$ and $\tilde A_a^{(m)}$ defined for $a>0$ and $m\geq 0$ by
$$A_a^{(m)}=\frac{1}{T_a^{1+m/2}}\int_0^{T_a}|B_s|^m\text{sgn}(B_s) ds,~~\tilde A_a^{(m)}=\frac{1}{T_a^{1+m/2}}\int_0^{T_a}|B_s|^mds,$$
where $B$ is a Brownian motion and $T_a$ denotes the first hitting time of the level $a$ by $B$. 
First, remark that $T_a/a^2$ is the first hitting time of $a$ by $(B_{a^2s})$. Therefore, the scaling property of the Brownian motion implies that the laws of $A_a^{(m)}$ and $\tilde A_a^{(m)}$ do not depend on $a$.\\

\noindent To fix ideas, let us now focus in this introduction on the variables $A_a^{(m)}$. These variables are clearly asymmetric functionals of the Brownian motion. Nevertheless, we may wonder whether there exist values of $m$ such that $A_a^{(m)}$ is centered (we will show later that these variables have moments of all orders). Indeed, consider for example the case where $m$ is an odd integer: using a symmetry argument, it is clear that
$$\mathbb{E}[A_a^{(m)}]=-\mathbb{E}[A_{-a}^{(m)}],$$ where $A_{-a}^{(m)}$ is obviously defined. Since these two quantities do not depend on $a$, we get a given value, say $v_m$, for the expectations when the barrier is positive and $-v_m$ when it is negative. This somewhat suggests that $v_m$ may be equal to zero.\\

\noindent In fact, it turns out that the random variable $A_a^{(m)}$ is centered only for $m=1$.  This result has several interesting consequences. In particular, we show that it can be very simply interpreted in terms of the Brownian meander. Moreover, we prove that  the expectation of $A_a^{(m)}$ is negative for $m<1$ and positive for $m>1$.\\

\noindent  Finally, note that these expectations are closely connected with the random variable $\alpha$ defined by
$$\alpha=\frac{B_{UT_1}}{\sqrt{T_1}},$$
where $U$ is a uniform random variable, independent of $B$. For example, for $m$ an odd integer, the $m$-th moment of $\alpha$
is the expectation of $A_1^{(m)}$. This led us to give in Theorem \ref{density} the law of $\alpha$.\\



\noindent The paper is organized as follows. The specific case $m=1$ is treated in Section \ref{m1}. Our main theorem which provides the expectations of $A_{1}^{(m)}$ for any $m\geq 0$ is given in Section \ref{genm} together with its proof and some related results. The proofs of several technical results together with additional remarks are relegated to the four Appendices A, B, C and D.
 
\section{The case $m=1$}\label{m1} 

In this section, we state the nullity of the expectation of $A_1^{(1)}$, together with some associated results.
 
\subsection{Centering property in the case $m=1$} 

\begin{theorem}\label{theo1}
The random variable $A_1^{(1)}$ admits moments of all orders and is centered.
\end{theorem}
 
\noindent Theorem \ref{theo1} states that, as far as the expectation is concerned, between $0$ and $T_1$, the time spent by the Brownian motion in $(-\infty,0)$ is balanced by that spent in $[0,1]$. Again, it is tempting to deduce this result from the scaling and symmetry properties of $A_1^{(1)}$. However, Theorem \ref{theo2} will formalize that such intuition is wrong. Indeed, we will for example show that the expectation of $A_1^{(3)}$ is non zero, although it satisfies the same scaling and symmetry properties as $A_1^{(1)}$. In fact, we will see that the expectation of $A_1^{(m)}$ is strictly positive for $m>1$ and stricly negative for $m<1$.\\

\noindent Theorem \ref{theo1} can in fact be interpreted as a corollary of the general result given in Theorem \ref{theo2} below. However, using Williams time reversal theorem and some absolute continuity results for Bessel processes, a specific, elegant proof can be written for Theorem \ref{theo1}. So we give this proof in Appendix \ref{prooftheo1}. 

\subsection{More integrability properties for $A_1^{(1)}$ and connection with Knight's identity} 

Let $(L_t)_{t\geq 0}$ be the local time process at $0$ of the Brownian motion $B$ and set
$$\tau_l=\text{inf}\{t\geq 0,~L_t>l\},$$
for $l>0$. Recall that L\'evy's equivalence result, gives the following equality:
$$(|B_t|,L_t)_{t\geq 0}\underset{\mathcal{L}}{=}(S_t-B_t,S_t)_{t\geq 0},$$
with $S_t=\underset{s\leq t}{\text{sup }}B_s$ and $\underset{\mathcal{L}}{=}$ denotes equality in law, see \cite{revuz1999continuous}. Thus, we obtain that $A_1^{(1)}$ has the same law as the random variable $\zeta$ defined by  $$\zeta=\frac{1}{\tau_1^{3/2}}\int_0^{\tau_1}(L_u-|B_u|)du.$$
We obviously have
$$|\zeta|\leq \frac{1}{\sqrt{\tau_1}}+\frac{1}{\sqrt{\tau_1}}\underset{u\leq \tau_1}{\text{sup }}|B_u|.$$
On the one hand, it is well known that $1/\sqrt{\tau_1}$ follows the law of the absolute value of a standard Gaussian random variable. On the other hand, the celebrated Knight's identity states the following equality:
$$\frac{\tau_1}{(\underset{u\leq \tau_1}{\text{sup}}|B_u|)^2}\underset{\mathcal{L}}{=}T_2^3,$$
where $T_2^3=\text{inf}\{t,~R_t=2\},$ with $R$ a three dimensional Bessel process, see \cite{knight1988inverse}.
Using the scaling property of the three dimensional Bessel process, we easily get the equality:
$$T_2^3\underset{\mathcal{L}}{=}\frac{4}{(\underset{u\leq 1}{\text{sup }}R_u)^2}.$$ Therefore, we deduce that 
$$\frac{1}{\sqrt{\tau_1}}\underset{u\leq \tau_1}{\text{sup }}|B_u|\underset{\mathcal{L}}{=}\frac{1}{2}\underset{u\leq 1}{\text{sup }} R_u.$$
Hence, we easily deduce the following proposition:

\begin{proposition}
There exists $\varepsilon>0$ such that
$$\mathbb{E}[\emph{exp}\big(\varepsilon (A_1^{(1)})^2\big)]<+\infty.$$
\end{proposition}

\noindent We note that the same arguments yield that $A_1^{(m)}$ and $\tilde A_1^{(m)}$ admit moments of all orders. 

\subsection{Consequences of Theorem \ref{theo1} for the Bessel process, Brownian meander and Brownian bridge}

We give in this subsection some corollaries of Theorem \ref{theo1} involving very classical processes, namely the three dimensional
Bessel process, the Brownian meander, and the Brownian bridge. We start with a result about the three dimensional process, whose proof is given within the proof of Theorem \ref{theo1} in Appendix \ref{prooftheo1}. 

\begin{corollary}\label{bessel}
Let $(R_t)_{t\geq 0}$ denote a three dimensional Bessel process. We have
$$\mathbb{E}\big[\frac{1}{R_1^2}\int_0^1R_udu\big]=\sqrt{\frac{2}{\pi}}.$$
\end{corollary}

\noindent Thanks to Imhof's relation, see \cite{biane1987processus,imhof1984density}, we immediately deduce the following result from Corollary \ref{bessel}:

\begin{corollary}\label{mea}
Let $(m_t)_{t\leq 1}$ be the Brownian meander. We have
$$\mathbb{E}\big[\frac{1}{m_1}\int_0^1m_udu\big]=1.$$
\end{corollary}

\noindent We now give a corollary involving the Brownian bridge.

\begin{corollary}
Let $(b_t)_{t\leq 1}$ denote the Brownian bridge and
$(l_t)_{t\leq 1}$ its local time at zero. We have 
$$\mathbb{E}\big[\frac{1}{l_1}\int_0^1|b_u|du\big]=\mathbb{E}\big[\frac{1}{l_1}\int_0^1l_udu\big]=\frac{1}{2}.$$
\end{corollary}

\begin{proof}
From \cite{biane1988quelques}, we get the following equality:
$$(m_t,~t\leq 1)\underset{\mathcal{L}}{=}(|b_t|+l_t,~t\leq 1).$$
Thus, using Corollary \ref{mea}, we get
\begin{equation}\label{blone} \mathbb{E}\big[\frac{1}{l_1}\int_0^1(|b_u|+l_u)du\big]=1.\end{equation} 
Now remark that the process $(\hat{b}_t)=(b_{1-t})$ is also a Brownian bridge whose local time at time $t$, denoted by $\hat{l}_t$, satisfies
$$\hat{l}_t=l_1-l_{1-t}.$$ Consequently,
$$\mathbb{E}\big[\frac{1}{l_1}\int_0^1l_udu\big]=\mathbb{E}\big[\frac{1}{l_1}\int_0^1 \hat l_u du\big]=\mathbb{E}\big[\frac{1}{l_1}\int_0^1(l_1-l_u)du\big].$$ 
This implies
$$\mathbb{E}\big[\frac{1}{l_1}\int_0^1l_udu\big]=\frac{1}{2}$$ and therefore Equation \eqref{blone} provides
$$\mathbb{E}\big[\frac{1}{l_1}\int_0^1|b_u|du\big]=\frac{1}{2}.$$ 
\end{proof}

\noindent Finally, using a pathwise transformation between the meander and the Brownian excursion, see \cite{bertoin1994path}, Corollary \ref{mea} also enables to show the following result:

\begin{corollary}
Let $(e_t)_{t\leq 1}$ denote the standard Brownian excursion. We have 
$$\mathbb{E}\big[\int_0^1e_tdt\int_0^1\frac{1}{e_u}du\big]=\frac{3}{2}.$$
\end{corollary}

\subsection{The case of two barriers}

After the striking result given in Theorem \ref{theo1}, it is natural to wonder whether the expectation remains equal to zero
if $T_a$ is replaced by $T_{a,b}$, where $T_{a,b}$ is the first exit time of the interval $(-b,a)$, with $a>0$ and $b>0$. Indeed, remark that the random variable $A_{a,b}^{(1)}$ defined by 
$$A_{a,b}^{(1)}=\frac{1}{T_{a,b}^{3/2}}\int_0^{T_{a,b}}B_s ds,$$ 
still enjoys a scaling property in the sense that its law only depends on the ratio $b/a$. In fact, the following theorem states that the expectation is no longer zero in this case\footnote{However, note that from a numerical point of view, the obtained values for $\mathbb{E}[A_{a,b}^{(1)}]$ are systematically very small, for any $a$ and $b$.}:

\begin{theorem}\label{2bar}
Let $\lambda=b/a$. We have
$$\mathbb{E}[A_{a,b}^{(1)}]=\frac{1}{\sqrt{2\pi}}(1+\lambda)\int_0^\infty\frac{\delta}{\emph{sh}(\delta (1+\lambda))^2}(\lambda\emph{sh}(\delta)-\emph{sh}(\delta \lambda))d\delta.$$
In particular, $\mathbb{E}[A_{a,b}^{(1)}]\neq 0$ if $\lambda\notin \{0,1\}$. 
\end{theorem}

\noindent The proof of this result is given in Appendix \ref{proof2bar}. In fact a general formula for
$$\mathbb{E}\big[\frac{1}{T_{a,b}^{\theta}}\int_0^{T_{a,b}} B_s ds \big],$$ with $\theta>0$ is given within this proof.
Eventually, note that Theorem \ref{theo1} can also be recovered from Theorem \ref{2bar} letting the downward barrier tend to $-\infty$.
\section{The general case}\label{genm}
 
\subsection{Computation of the expectations} 
 
For $x\in\mathbb{R}$, we set $x^+=\text{max}(x,0)$ and $x^-=\text{max}(-x,0)$. For $m\geq 0$, we define 
$$A_{+}^{(m)}=\frac{1}{T_1^{1+m/2}}\int_0^{T_1}(B_s^+)^m ds,~~A_{-}^{(m)}=\frac{1}{T_1^{1+m/2}}\int_0^{T_1}(B_s^-)^m ds,$$
with the convention $0^0=0$. We also write
$$I_+^{(m)}=\mathbb{E}[A_{+}^{(m)}],~~I_-^{(m)}=\mathbb{E}[A_{-}^{(m)}].$$
and
$$I^{(m)}=I_+^{(m)}-I_-^{(m)}.$$
Furthermore, we note that $I_{\pm}^{(m)}$ is the moment of order $m$ of the random variable $\alpha^{\pm}$ where
$$\alpha=\frac{B_{UT_1}}{\sqrt{T_1}},$$
with $U$ a uniform random variable independent of the Brownian motion $B$. We study the variable $\alpha$ in more details in Section \ref{alpha}.\\

\noindent For $m\geq 0$, let
$$c_m=\frac{\Gamma(1+m)}{2^{m/2}\Gamma(1+m/2)}=\frac{1}{\sqrt{\pi}}2^{m/2}\Gamma(\frac{1+m}{2})=\mathbb{E}[|N|^m],$$
where $N$ is a standard Gaussian random variable and $\Gamma$ denotes the Gamma function. We have the following theorem:

\begin{theorem}\label{theo2}
Let $m\geq 0$ and introduce
$$\phi(m)=\int_0^2\frac{y^{m+1}}{1+y}dy.$$ The following formulas hold:
$$I_+^{(m)}=\frac{c_m}{2^{m+1}}\phi(m),~~I_-^{(m)}=\frac{c_m}{2^{m+1}}\emph{log}(3).$$
\end{theorem}
\noindent In particular, we note that $\phi(0)=2-\text{log}(3)$, $\phi(1)=\text{log}(3)$, $\phi(2)=8/3-\text{log}(3)$ and $\phi(3)=4/3+\text{log}(3)$. We give the proof of Theorem \ref{theo2} in Section \ref{prooftheo2}.
 
\subsection{Comments about Theorem \ref{theo2}}

\noindent $\bullet$ The function $\phi$ is well defined for $m\in(-2,+\infty)$ and satisfies $\phi(-1)=\phi(1)=\text{log}(3)$. Thus, we retrieve in Theorem \ref{theo2} the fact that $\mathbb{E}[A_1^{(1)}]=I_+^{(1)}-I_-^{(1)}=0.$\\ 

\noindent $\bullet$ We easily get that $\phi$ is twice differentiable and, for $m\ge 0$,
$$\phi'(m)=\int_0^2\frac{y^{m+1}\text{log}(y)}{1+y}dy,~~\phi''(m)=\int_0^2\frac{y^{m+1}(\text{log}(y))^2}{1+y}dy.$$
Hence $\phi$ is convex and furthermore, we show in Appendix \ref{fonction} that $\phi'(0)>0$. This implies that $\phi$ and $\phi'$ are increasing on $\mathbb{R}^+$. Hence, since
$$I^{(m)}=\frac{c_m}{2^{m+1}}\big(\phi(m)-\text{log}(3)\big),$$
we get $I^{(m)}>0$ for $m>1$ and $I^{(m)}<0$ for $m<1$. This can be interpreted as follows: from the point of view of $A_1^{(m)}$, for $m>1$, the time spent by the Brownian motion in $[0,1]$ is dominant whereas for $m<1$, the time spent in $(-\infty,0)$ is more important.\\

\noindent $\bullet$ Let $(L_t^x,~x\in\mathbb{R},~t\geq 0)$ denote the local time of the Brownian motion $B$. Within the proof of Theorem
\ref{theo2}, we are led to show the following interesting result:

\begin{proposition}\label{transfo}
Let $\mu>0$, $0<b<1$ and $x\geq 0$, we have
$$\mathbb{E}[L_{T_1}^b\emph{exp}(-\mu^2T_1/2)]=\frac{1}{\mu}\Big(\emph{exp}(-\mu)-\emph{exp}\big(-\mu(3-2b)\big)\Big)$$
and
$$\mathbb{E}[L_{T_1}^{-x}\emph{exp}(-\mu^2T_1/2)]=\frac{1}{\mu}\Big(\emph{exp}\big(-\mu(1+2x)\big)-\emph{exp}\big(-\mu(3+2x)\big)\Big).$$
\end{proposition}

\noindent We also give another proof of Proposition \ref{transfo}, based on the Ray-Knight theorem, in Appendix \ref{RK}.

\subsection{Uniform sampling up to hitting time}\label{alpha}

We now want to interpret Theorem \ref{theo2} as a result about sampling independently and uniformly  the
properly rescaled Brownian motion up to its first hitting time $T_1$. More precisely, let us introduce $(l_1^y,~y\in \mathbb{R}),$
the local time at time $1$ of the process
$$\big(\frac{B_{sT_1}}{\sqrt{T_1}},~s\leq 1\big).$$
Let $f$ be a Borel non negative function and $U$ a uniform random variable independent of any other random variable defined here. Using the occupation formula, we get
$$\mathbb{E}[f\big(\frac{B_{UT_1}}{\sqrt{T_1}}\big)]=\mathbb{E}[\int_0^1f\big(\frac{B_{sT_1}}{\sqrt{T_1}}\big)ds]=\int_{-\infty}^{+\infty}f(y)\mathbb{E}[l_1^y]dy.$$
Hence $h(y)=\mathbb{E}[l_1^y]$ is the density of $\alpha$ at point $y$. The following result is easily deduced from Theorem \ref{theo2}, by injectivity of the Mellin transform.

\begin{theorem}\label{density}
The density $h$ satisfies for $y\geq 0$
$$h(y)=\sqrt{\frac{2}{\pi}}\int_0^2\frac{1}{1+w}\emph{exp}(-2y^2/w^2)dw$$
and for $y\leq 0$
$$h(y)=\sqrt{\frac{2}{\pi}}\emph{log}(3)\emph{exp}(-2y^2).$$
\end{theorem}

\noindent Hence, conditional on $\alpha>0$, the law of $\alpha^+$ is a mixture of absolute Gaussian laws, whereas conditional on $\alpha<0$, $\alpha^-$ is distributed as the absolute value of a Gaussian random variable.\\

\noindent Remark that for $y\geq 0$, we have the obvious inequality
$$h(y)\leq \sqrt{\frac{2}{\pi}}\text{log}(3)\text{exp}(-y^2/2).$$ Therefore, we have the following corollary:

\begin{corollary}
For $\varepsilon<1/2$, the random variable $\alpha^+$ satisfies
$$\mathbb{E}[\emph{exp}\big(\varepsilon(\alpha^+)^2\big)]<+\infty.$$
\end{corollary}

\noindent In fact, thanks to Proposition \ref{transfo}, we can even provide the density at point $y$ of $\alpha$ conditional on $T_1=t$. We denote this density by $h(y,t)$. Obvious relations between $(l_1^y)$ and $(L_t^y)$ yield
$$h(y,t)=\mathbb{E}_{T_1=t}[l_1^y]=\frac{1}{\sqrt{t}}\mathbb{E}_{T_1=t}[L_t^{y\sqrt{t}}].$$ 
We easily obtain the following corollary from Proposition \ref{transfo}:

\begin{corollary}\label{cond}
The conditional density $h(y,t)$ satisfies for $0\leq y\sqrt{t}\leq 1$,
$$h(y,t)\emph{exp}\big(-1/(2t)\big)t^{-1/2}=\emph{exp}\big(-1/(2t)\big)-\emph{exp}\big(-(3-2y\sqrt{t})^2/(2t)\big)$$
and for $x\geq 0$
$$h(-x,t)\emph{exp}\big(-1/(2t)\big)t^{-1/2}=\emph{exp}\big(-(1+2x\sqrt{t})^2/(2t)\big)-\emph{exp}\big(-(1+3x\sqrt{t})^2/(2t)\big).$$
\end{corollary}

\subsection{Interpretation in terms of the Brownian meander}

In the same spirit as in Corollary \ref{mea}, we can give an interpretation of Theorem \ref{theo2} in terms of the Brownian meander.
Using Williams theorem in the same way as in the proof of Theorem \ref{theo1}, see Appendix \ref{prooftheo1}, together with Imhof's relation, see \cite{biane1987processus,imhof1984density}, as already done for Corollary \ref{mea}, we get that for any non negative measurable functions $f$ and $g$,
$$\mathbb{E}\Big[\int_0^1f\big(\frac{B_{sT_1}}{\sqrt{T_1}}\big)dsg\big(\frac{1}{\sqrt{T_1}}\big)\Big]=\sqrt{\frac{2}{\pi}}\mathbb{E}\big[\int_0^1f(m_1-m_u)du\frac{g(m_1)}{m_1}\big],$$
where $m$ denotes the Brownian meander.
Let $U$ be a uniform random variable, independent of all other quantities. The last relation is equivalent to
$$\mathbb{E}\Big[f\big(\frac{B_{UT_1}}{\sqrt{T_1}}\big)g\big(\frac{1}{\sqrt{T_1}}\big)\Big]=\sqrt{\frac{2}{\pi}}\mathbb{E}\big[f(m_1-m_U)\frac{g(m_1)}{m_1}\big].$$
Thus, from Corollary \ref{cond}, we are able to compute the density of $m_U$ conditional on the value $m_1$. More precisely, we have the following theorem:
\begin{theorem}
Let $f$ be a Borel non negative function. We have
$$\mathbb{E}_{m_1=y}[f(m_U)]=\int_0^yh\big(y-z,\frac{1}{y^2}\big)f(z)dz+\int_y^{+\infty}h\big(-(z-y),\frac{1}{y^2}\big)f(z)dz.$$
\end{theorem}

\subsection{Future developments}

In this work, we have studied some properties of random sampling through the random variable
$$\alpha=\frac{B_{UT_1}}{\sqrt{T_1}}.$$
Another interesting variable is the variable $\beta$ defined by
$$\beta=\frac{B_{U\tau_1}}{\sqrt{\tau_1}},$$
with $\tau_l=\text{inf}\{t\geq 0,~L_t>l\}.$ In fact the associated process 
$$\big(\frac{B_{s\tau_1}}{\sqrt{\tau_1}},~s\leq 1\big)$$ is called pseudo Brownian bridge and
has been considered more explicitly in the literature than 
$$\big(\frac{B_{sT_1}}{\sqrt{T_1}},~s\leq 1\big).$$
In particular, it enjoys some absolute continuity property with respect to the standard Brownian bridge, see \cite{biane1987processus}.
We intend to present results related to $\beta$ in a forthcoming work, in a way which will help us to recover the interesting law of $\alpha$. For now, we only mention that $\beta$ is distributed as $N/2$, where $N$ is a standard Gaussian random variable.

\subsection{Proof of Theorem \ref{theo2}}\label{prooftheo2}
Let $m\ge 0$. We split the proof into several steps.
\subsubsection*{Step 1: Introducing a natural measure}
 
First, let us remark that
\begin{align*}
I_{\pm}^{(m)}&=\frac{1}{\Gamma(1+m/2)}\mathbb{E}\big[\int_0^{+\infty}\lambda^{m/2}\text{exp}(-\lambda T_1)d\lambda\int_0^{T_1} (B_s^{\pm})^m ds\big]\\
&=\frac{1}{2^{m/2}\Gamma(1+m/2)}\mathbb{E}\big[\int_0^{+\infty}\mu^{1+m}\text{exp}(-\mu^2 T_1/2)d\mu\int_0^{T_1} (B_s^{\pm})^mds\big].
\end{align*}
Hence, it is natural to introduce for $\mu\ge 0$ the measure $I_{\mu}$, which to a positive function $\psi$ associates
$$I_{\mu}(\psi)=\mathbb{E}\big[\int_0^{T_1}\psi(B_s)\text{exp}(-\mu^2 T_1/2)ds\big]=e^{-\mu}\mathbb{E}\big[\int_0^{T_1}\psi(B_s)\text{exp}(\mu-\mu^2 T_1/2)ds\big].$$

\subsubsection*{Step 2: Computation of $I_{\mu}(\psi)$}

Let $(S_s)=(\underset{u\leq s}{\text{sup }}B_u)$. Using the martingale property of the process $\text{exp}(\mu B_s-\mu^2s/2)$, we get
$$I_{\mu}(\psi)=e^{-\mu}\mathbb{E}\big[\int_0^{+\infty}\psi(B_s)\mathrm{1}_{\{S_s<1\}}\text{exp}(\mu B_s-\mu^2 s/2)ds\big].$$
We now use the following well known formula, see for example \cite{pitman1999distribution}: for $s> 0$ and $b\in\mathbb{R}$,
$$\mathbb{P}[S_s<1|B_s=b]=1-\text{exp}\big(-\frac{2}{s}(1-b)^+\big).$$
It implies that $I_{\mu}(\psi)$ is equal to
$$e^{-\mu}\int_0^{+\infty}\text{exp}(-\mu^2 s/2)ds\int_{-\infty}^1e^{\mu b}\psi(b)\frac{1}{\sqrt{2\pi s}}\text{exp}\big(-b^2/(2s)\big)\Big(1-\text{exp}\big(-\frac{2}{s}(1-b)\big)\Big)db,$$
which can be rewritten
$$e^{-\mu}\int_{-\infty}^1e^{\mu b}\psi(b)db\int_0^{+\infty}\text{exp}(-\mu^2 s/2)\frac{1}{\sqrt{2\pi s}}\Big(\text{exp}\big(-b^2/(2s)\big)-\text{exp}\big(-(2-b)^2/(2s)\big)\Big)ds.$$
Then, using the density and the value of the first moment of an inverse Gaussian random variable, we get that for $\mu>0$ and $y\in\mathbb{R}$,
$$\int_0^{+\infty}\frac{1}{\sqrt{2\pi s}}\text{exp}\big(-y^2/(2s)-\mu^2s/2\big)ds=\frac{1}{\mu}\text{exp}(-\mu|y|).$$
From this, we deduce that when the support of $\psi$ is included in $[0,1]$,
\begin{equation}\label{eqfond1}
I_{\mu}(\psi)=\frac{1}{\mu}\int_0^1\psi(b)\Big(\text{exp}(-\mu)-\text{exp}\big(-\mu(3-2b)\big)\Big)db,
\end{equation}
and when the support of $\psi$ is included in $(-\infty,0)$,
\begin{equation}\label{eqfond2}
I_{\mu}(\psi)=\frac{1}{\mu}\int_0^{+\infty}\psi(-x)\Big(\text{exp}\big(-\mu(1+2x)\big)-\text{exp}\big(-\mu(3+2x)\big)\Big)dx.
\end{equation}
Remark here that Proposition \ref{transfo} immediately follows from Equation \eqref{eqfond1} and Equation \eqref{eqfond2}.
\subsubsection*{Step 3: End of the proof of Theorem \ref{theo2}}

We end the proof of Theorem \ref{theo2} in this final step. We start with the following elementary lemma:

\begin{lemma}\label{lab} For $a>0$, $b>0$ and $m\geq 0$, we define
$$L(a,b,m)=\int_0^{+\infty}y^m\big(\frac{1}{(a+y)^{m+1}}-\frac{1}{(b+y)^{m+1}}\big)dy.$$
The following equality holds: $$L(a,b,m)=\emph{log}(b/a).$$
\end{lemma}

\begin{proof}
We have
\begin{align*}
L(a,b,m)&=\underset{n\rightarrow +\infty}{\text{lim}}\int_0^{n}y^m\big(\frac{1}{(a+y)^{m+1}}-\frac{1}{(b+y)^{m+1}}\big)dy\\
&=\underset{n\rightarrow +\infty}{\text{lim}}\big(\int_0^{n/a}\frac{y^m}{(1+y)^{m+1}}dy-\int_0^{n/b}\frac{y^m}{(1+y)^{m+1}}dy\big)\\
&=\underset{n\rightarrow +\infty}{\text{lim}}\int_{1/b}^{1/a}\frac{n^{m+1}y^m}{(1+ny)^{m+1}}dy=\text{log}(b/a).
\end{align*}
\end{proof}

\noindent Now we take $\psi(x)=(x^{\pm})^m$ in Equation \eqref{eqfond1} and Equation \eqref{eqfond2}. Integrating in $\mu$, we easily derive
$$I_{+}^{(m)}=\frac{\Gamma(1+m)}{2^{m/2}\Gamma(1+m/2)}\int_0^1b^m\big(1-\frac{1}{(3-2b)^{m+1}}\big)db$$ 
and
$$I_{-}^{(m)}=\frac{\Gamma(1+m)}{2^{m/2}\Gamma(1+m/2)}\int_0^{+\infty}x^m\big(\frac{1}{(1+2x)^{m+1}}-\frac{1}{(3+2x)^{m+1}}\big)dx.$$
Applying Lemma \ref{lab}, we obtain the result for $I_{-}^{(m)}$. For $I_{+}^{(m)}$, we write
$$I_{+}^{(m)}=\frac{\Gamma(1+m)}{2^{m/2}\Gamma(1+m/2)}\big(\int_0^1b^mdb-\int_0^1\frac{1}{(3-2b)}\frac{b^m}{(3-2b)^{m}}db\big).$$ 
Then we use the change of variable $y=b/(3-2b)$ in the second integral in order to retrieve the expression of $I_{+}^{(m)}$ given in Theorem \ref{theo2}.
\newpage

2013-10-07T02:04:51.000
1310
1310.1181
en
https://arxiv.org/abs/1310.1181
Let B be a Brownian motion and T its first hitting time of the level 1. For U a uniform random variable independent of B, we study in depth the distribution of T^{-1/2}B_{UT}, that is the rescaled Brownian motion sampled at uniform time. In particular, we show that this variable is centered.
Probability (math.PR)
On the expectation of normalized Brownian functionals up to first hitting times
Qwen/Qwen-72B
1. YES
2. YES