Let $B_t$ be a Brownian motion, $B_T^* = \sup_{0\leq t \leq T} B_t$ and $\lambda > 0$. Applying Doob's maximal inequality gives: \begin{align} P(B_T^* \geq \lambda)\leq \frac{\mathbb{E}[B_T^p]}{\lambda^p}=\frac{T}{\lambda^2},\qquad \text{for $p=2$}. \end{align} By applying the convex function $x \mapsto (x+c)^2$ for $B_t$ for a suitable constant $c$, I want to find that \begin{align} P(B_T^* \geq \lambda)\leq \frac{T}{\lambda^2 +T}. \end{align} However, for me it is unclear how to use correctly this convex function. Since, $B_t \mapsto (B_t+c)^2$ Jensens' inequality yields that \begin{align} \mathbb{E}[(B_t + c)^2] &\geq (\mathbb{E}[B_t] + c)^2 \\ \mathbb{E}[B_t^2] + 2c\ \mathbb{E}[B_t] + c^2 &\geq c^2 \\ t &\geq 0, \end{align} which is trivial for every constant $c$.
2026-04-12 21:38:02.1776029882
Sharpen Doob's Maximal Inequality
359 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in PROBABILITY-THEORY
- Is this a commonly known paradox?
- What's $P(A_1\cap A_2\cap A_3\cap A_4) $?
- Another application of the Central Limit Theorem
- proving Kochen-Stone lemma...
- Is there a contradiction in coin toss of expected / actual results?
- Sample each point with flipping coin, what is the average?
- Random variables coincide
- Reference request for a lemma on the expected value of Hermitian polynomials of Gaussian random variables.
- Determine the marginal distributions of $(T_1, T_2)$
- Convergence in distribution of a discretized random variable and generated sigma-algebras
Related Questions in INEQUALITY
- Confirmation of Proof: $\forall n \in \mathbb{N}, \ \pi (n) \geqslant \frac{\log n}{2\log 2}$
- Prove or disprove the following inequality
- Proving that: $||x|^{s/2}-|y|^{s/2}|\le 2|x-y|^{s/2}$
- Show that $x\longmapsto \int_{\mathbb R^n}\frac{f(y)}{|x-y|^{n-\alpha }}dy$ is integrable.
- Solution to a hard inequality
- Is every finite descending sequence in [0,1] in convex hull of certain points?
- Bound for difference between arithmetic and geometric mean
- multiplying the integrands in an inequality of integrals with same limits
- How to prove that $\pi^{e^{\pi^e}}<e^{\pi^{e^{\pi}}}$
- Proving a small inequality
Related Questions in BROWNIAN-MOTION
- Compute the covariance of $W_t$ and $B_t=\int_0^t\mathrm{sgn}(W)dW$, for a Brownian motion $W$
- Why has $\sup_{s \in (0,t)} B_s$ the same distribution as $\sup_{s \in (0,t)} B_s-B_t$ for a Brownian motion $(B_t)_{t \geq 0}$?
- Identity related to Brownian motion
- 4th moment of a Wiener stochastic integral?
- Optional Stopping Theorem for martingales
- Discontinuous Brownian Motion
- Sample path of Brownian motion Hölder continuous?
- Polar Brownian motion not recovering polar Laplacian?
- Uniqueness of the parameters of an Ito process, given initial and terminal conditions
- $dX_t=\alpha X_t \,dt + \sqrt{X_t} \,dW_t, $ with $X_0=x_0,\,\alpha,\sigma>0.$ Compute $E[X_t] $ and $E[Y]$ for $Y=\lim_{t\to\infty}e^{-\alpha t}X_t$
Related Questions in STOCHASTIC-ANALYSIS
- Cross Variation of stochatic integrals
- Solution of an HJB equation in continuous time
- Initial Distribution of Stochastic Differential Equations
- Infinitesimal generator of $3$-dimensional Stochastic differential equation
- On the continuity of Gaussian processes on the interval [0,1] depending on the continuity of the covariance function
- Joint Markov property of a Markov chain and its integral against Brownian Motion
- How can a martingale be a density process?
- Show that for a continuous Gaussian martingale process $M$ that $\langle M, M \rangle_t = f(t)$ is continuous, monotone, and nondecreasing
- Laplace transform of hitting time of Brownian motion with drift
- Is the solution to this (simple) Stochastic Differential Equation unique?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
First of all, note that
$$\mathbb{P}(B_T^{\ast} \geq \lambda) \leq \mathbb{P}\left( \sup_{t \in [0,T]} (B_t+c)^2 \geq (\lambda+c)^2 \right).$$
Since $M_t := (B_t+c)^2$ is a non-negative submartingale, it follows from Doob's maximal inequality that
$$\mathbb{P}(B_T^{\ast} \geq \lambda) \leq \frac{1}{(\lambda+c)^2} \mathbb{E}((B_T+c)^2).$$
As $\mathbb{E}(B_T^2)=T$ and $\mathbb{E}(B_T)=0$, this shows
$$\mathbb{P}(B_T^{\ast} \geq \lambda) \leq \frac{T+c^2}{(\lambda+c)^2}. \tag{1}$$
It remains to choose the constant $c$ in such a way that the right-hand side gets as small as possible. To this end, define
$$g(c) := \frac{T+c^2}{(\lambda+c)^2}$$
then
$$g'(c) = \frac{2c}{(\lambda+c)^2} -2 \frac{(T+c^2)}{(\lambda+c)^3} = \frac{1}{(\lambda+c)^3} (2c(\lambda+c)-2(T+c^2))$$
equals $0$ if
$$c = \frac{T}{\lambda}.$$
Plugging this particular $c$ into $(1)$, we get
$$\mathbb{P}(B_T^{\ast} \geq \lambda) \leq \frac{T+\frac{T^2}{\lambda^2}}{(\lambda+\frac{T}{\lambda})^2} = \frac{T}{\lambda^2} \frac{1+ \frac{T}{\lambda^2}}{\left(1+ \frac{T}{\lambda^2} \right)^2} = \frac{\lambda}{T^2} \frac{1}{1+\frac{T}{\lambda^2}} = \frac{T}{\lambda^2+T}.$$