Abstract:We show that a domain in $\mathbb{R}^3$ with the trace of a 3D Brownian motion removed almost surely satisfies the boundary Harnack principle (BHP). Then, we use it to prove that the intersection exponents for 3D Brownian motion are analytic.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the intersection exponents of three - dimensional Brownian motion are analytic. Specifically, the authors aim to prove that the function \(\xi_3(k, \lambda)\) is real - analytic on the interval \((0, \infty)\).
### Background and the Importance of the Problem
In the two - dimensional case, Lawler, Schramm and Werner have already proven the analyticity of the Brownian motion intersection exponents through conformal invariance. However, in three - dimensional space, due to the lack of rich conformal symmetry, directly applying the two - dimensional strategy becomes infeasible. Therefore, the analyticity of the three - dimensional Brownian motion intersection exponents has become a long - standing unsolved problem.
### Main Contributions of the Paper
To overcome this challenge, the authors introduce a new method, that is, using the Boundary Harnack Principle (BHP). They prove a Conditional Separation Lemma (CSL) and show its equivalence to BHP. The specific steps are as follows:
1. **Conditional Separation Lemma (CSL)**: If several Brownian motions are "frozen" and another independent Brownian motion is considered under the condition of avoiding these "frozen" paths, the Brownian motion under this condition will keep a certain distance from the "frozen" paths, and this probability is positive.
2. **Boundary Harnack Principle (BHP)**: Based on the results of CSL, the authors prove that in the three - dimensional region after removing the Brownian motion trajectories, BHP holds.
3. **Proof of Analyticity**: Using BHP, the authors finally prove the analyticity of the three - dimensional Brownian motion intersection exponents.
### Mathematical Formula Representation
- **Definition of Intersection Exponents**:
\[
\xi_d(k, \lambda) := -\lim_{n \to \infty} \frac{\log E[Z_n^\lambda]}{n},
\]
where \(Z_n\) is a conditional probability and \(E[Z_n^\lambda]\) represents its expected value.
- **Boundary Harnack Principle**:
For any closed subset \(A\subseteq W\), if \(u\) and \(v\) are bounded and positive harmonic functions in \(U\setminus A\) and continuously vanish at the regular points of \(A\cap U\), then:
\[
u(x_1)v(x_2)\leq C u(x_2)v(x_1)\quad\text{for all}\quad x_1, x_2\in K\setminus A,
\]
where \(C = C(U, K, W)\) is a constant.
Through this method, the authors successfully solve the long - standing problem of the analyticity of the three - dimensional Brownian motion intersection exponents, providing an important theoretical basis for further research in related fields.