Mathematics Asked on January 3, 2022

Let $X in mathbb{R}^n $ and $Z in mathbb{R}^n $ be two independent standard normal random vectors.

We are interested in the following quantity:

begin{align}

E left[ |Z|^2 1_{B times B}(X,X+sqrt{t} Z) right]

end{align}

for some set $Bsubset mathbb{R}^n $.

Assumptions about the set $B$: 1) Assume that $1>P(Zin B)>0$; 2) (Optional) $B$ is convex.

Concretely, we are interested in how this quantity behaves as $t to 0$.

First, it is easy to show that

begin{align}

lim_{ t to 0} E left[ |Z|^2 1_{B times B}(X,X+sqrt{t} Z) right]= E left[ |Z|^2 right] E[1_B(X)],

end{align}

where we have used the dominated convergence theorem and the bound $|Z|^2 1_{B times B}(X,X+sqrt{t} Z) le |Z|^2$.

**My question is:** Can we say something about how fast does this approach the limit? Specificaly, can we say something about

$$lim_{ t to 0} frac{d}{dt} E left[ |Z|^2 1_{B times B}(X,X+sqrt{t} Z) right]= ???$$

**Edit:** The derivative is given by

begin{align}

&2 frac{d}{dt} E left[ |Z|^2 1_{B times B}(X,X+sqrt{t} Z) right]\

&=frac{E[|Z|^4 1_{B times B}(X,X+sqrt{t} Z)]- (n+2) E[|Z|^2 1_{B times B}(X+sqrt{t} Z ,X) ]}{t}

end{align}

Now, if take the limit as $t to 0$ of the numerator than we get

begin{align}

&lim_{n to infty} E[|Z|^4 1_{B times B}(X,X+sqrt{t} Z)]- (n+2) E[|Z|^2 1_{B times B}(X+sqrt{t} Z ,X) ]\

&= E left[ |Z|^4 right] E[1_B(X)] – (n+2) E left[ |Z|^2 right] E[1_B(X)]\

&=0

end{align}

where we have used that the fourth moment is given by $E left[ |Z|^4 right]=n(n+2)$.

Therefore, we have zero over zero.

I tried using L’hospital rule more times, but we keep getting zero over zero no matter how many times we apply L’hospital rule.

This isn't a full answer, but it does give some more info: I believe the derivative you seek can be negative infinity. For instance, take the example of $n = 1$ and $B = [-1,1]$.

For legibility, I'll write $1{A}$ for the indicator of an event $A$. Then begin{align*}
E&left[Z^2 1{(X,X+sqrt{t}Z) in [-1,1]^2} right] \&= Eleft[Z^2 1{X in [-1,1]} 1left{Z in left[frac{-1 - X}{sqrt{t}},frac{1 - X}{sqrt{t}} right] right}right] \
&= E[Z^2 1_{[-1,1]}(X)] - Eleft[Z^2 1{X in [-1,1]} 1left{Z notin left[frac{-1 - X}{sqrt{t}},frac{1 - X}{sqrt{t}} right] right}right],.
end{align*}

I claim that this second term in absolute value is $Omega(sqrt{t})$ as $t to 0$. To see this, we may bound it below in absolute value by begin{align*} E[Z^2 1{ X in [1 - sqrt{t},1] 1{Z > 0} ] &sim sqrt{t}cdotphi(1) E[Z^2 1{Z > 0}] \ &= sqrt{t} cdot phi(1) / 2 end{align*} where $phi(1)$ is the standard normal density evaluated at $1$. I suspect an upper bound (in this case) of $sqrt{t}$ is possible to achieve as well.

EDIT: Some more details on the LB: begin{align*} E&left[Z^2 1{X in [-1,1]} 1left{Z notin left[frac{-1 - X}{sqrt{t}},frac{1 - X}{sqrt{t}} right] right}right] \ &geq Eleft[Z^2 1{X in [1-sqrt{t},1]} 1left{Z notin left[frac{-1 - X}{sqrt{t}},frac{1 - X}{sqrt{t}} right] right}right] \ &geq Eleft[Z^2 1{X in [1-sqrt{t},1]} 1left{Z > 0 right}right] end{align*}

Answered by Marcus M on January 3, 2022

1 Asked on December 27, 2020 by averroes2

1 Asked on December 26, 2020 by mathgeek

2 Asked on December 26, 2020 by maths-wizzard

2 Asked on December 26, 2020

1 Asked on December 26, 2020 by user694069

numerical methods riemann hypothesis riemann zeta transcendental equations

2 Asked on December 26, 2020 by hestiacranel

2 Asked on December 25, 2020 by makenzie

combinatorial group theory free groups group theory reference request

2 Asked on December 25, 2020 by toni-rivera-vargas

1 Asked on December 25, 2020 by joebloggs

linear algebra number theory pattern recognition prime numbers recurrence relations

0 Asked on December 25, 2020 by user747916

1 Asked on December 25, 2020 by user541686

1 Asked on December 25, 2020 by thedaybeforedawn

1 Asked on December 25, 2020 by adhirajsinghbrar

2 Asked on December 25, 2020 by tiffany

2 Asked on December 24, 2020 by siddharth-kalra

calculus functional equations functions ordinary differential equations

1 Asked on December 24, 2020 by keithmadison

abstract algebra gauge theory mathematical physics string theory

2 Asked on December 24, 2020 by j-a-s

2 Asked on December 24, 2020

Get help from others!

Recent Answers

- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir