数学竞赛

阿里巴巴数学竞赛选错赛道了

鬼使神差副赛道选了概率与组合……明明应该选分析的,看到题目就后悔了

看来是有种无形的力量想让我学概率。

第一题目测跟停时有关,可惜我不会…… $\def\R{\mathbb{R}}$

Suppose $B_t$ is a bidirectional Brownian motion, i.e. $(B_t)_{t\ge 0}$ and $(B_{-t})_{t\ge 0}$ are two independent 1-dimensional standard Brownian motion and $B_0 = 0$. For $t \in \R$, write $X_t = B_t - |t|$. Denote $\tau$ the (almost always) unique time s.t. $X_{\tau} = \max_{t\in \R} X_t$.

Prove that $(X_{\tau + t})_{t \ge 0}$ and $(X_{\tau - t})_{t \ge 0}$ are of the same distribution.

Colliot6/18/2023, 4:03:05 PM

感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关?

hugify6/18/2023, 8:48:35 PM

感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关?

——hugify

弱反射原理

$\mathbb{P}\{M_t \ge a\} = 2\mathbb{P}\{B_t \ge a\}$,其中 $M_t = \sup_{s\in[0,t]}B_s$ 是布朗运动 $B_t$$[0,t]$ 内达到的最大值。

它可以写作$\mathbb{P}\{B_t \ge a\}=\dfrac{1}{2}\mathbb{P}\{M_t \ge a\}$,这个在直观上很容易理解,因为 $B_t \ge a$ 必然有 $M_t \ge a$,而 $M_t$ 第一次到达 $a$ 之后,后续任何点大于或小于 $a$ 的概率都是 $1/2$

强反射原理

给定标准布朗运动 $B_t$,假设 $s$ 是个停时,那么

$$ \begin{equation} B'_t= \begin{cases} B_t & \text{if } t \le s \\ 2B_s-B_t & \text{if } t > s \end{cases} \end{equation} $$

仍是标准布朗运动。

这实际上就是「第一次到达 $a$ 之后,后续任何点大于或小于 $a$ 的概率都是 $1/2$」的严格表述。所以后者可以推出前者。

Colliot6/19/2023, 3:53:32 PM

给定标准布朗运动 Bt ,假设 s 是个停时,那么

B′t={Bt2Bs−Btif t≤sif t>s 仍是标准布朗运动。

fjcfff8/23/2023, 4:35:16 PM

预览:

取消

其他地方

hugify 回复了 用类型系统描述实数的精髓是什么?

找到了相关文章 Formalising Real Numbers in Homotopy Type Theory,让我来看一看。

hugify 回复了 用类型系统描述实数的精髓是什么?

怎么用类型系统表述戴德金分割呢?

ice1000 回复了 用类型系统描述实数的精髓是什么?

我现在懂了,就是戴德金分割

ice1000 回复了 为什么不能对 C++ 的语法进行简化?

不成立。现在的语法也有这样的歧义

ice1000 回复了 净土还活着吗zsbd

虎哥居然还在回复,神奇

Colliot 回复了 净土还活着吗zsbd

还活着!!

BiuBiuBiu 回复了 净土还活着吗zsbd

间歇性活着

ice1000 回复了 偷偷写日记......

👀👀👀👀👀👀👀👀👀👀👀👀