Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 169474
2 votes
Accepted

Conditional probability distribution of a Brownian particle surviving forever

By the law of Large numbers, $X_t/t \to b$ almost surely as $t \to +\infty$, hence $X_t \to +\infty$ almost surely as $t \to +\infty$. Therefore $X_\infty = +\infty$ almost surely under $P$ and also u …
Christophe Leuridan's user avatar
3 votes

Find the distribution of maximum of $B_t-t$

The process $M$ defined by $M_t = \exp(2B_t-2t)$ is a non-negative continuous martingale starting at $1$ and converging to $0$. Given $a \ge 0$, the values of $M$ until $\tau_a := \inf\{t \ge a : B_t …
Christophe Leuridan's user avatar
2 votes

Density of $W_t$ assuming it stayed above a line $L$

As I mentionned in my comment, there is an ambiguity in the statement of you question. Anyway, if $B$ is a standard one dimensional Brownian motion, if $\lambda$ is a real number, then $(B_t-\lambda t …
Christophe Leuridan's user avatar
3 votes
Accepted

Brownian bridges as conditioning

If $X$ and $Y$ are independent random variables taking values in arbitrary spaces $E$ and $F$, if $Z = f(X,Y)$ for any measurable map $f : E \times F \to G$, then the family of distributions of the ra …
Christophe Leuridan's user avatar
2 votes

Integrated square difference of Brownian bridges

For every Gaussian centered process $X$, if one takes an independent copy $X'$, then the process $X+X'$ has the same distribution as $\sqrt{2}X$ (to see that, compare their finite dimensional marginal …
Christophe Leuridan's user avatar