[논문 리뷰] Bounds for exit times of Brownian motion and the first Dirichlet eigenvalue for the Laplacian

Rodrigo Bañuelos, Phanuel Mariano외 1명|arXiv (Cornell University)|2020. 03. 15.

Advanced Mathematical Modeling in Engineering참고 문헌 69인용 수 6

한 줄 요약

이 논문은 $\mathbb{R}^d$, $d \geq 2$ 에서의 도메인에 대해 브라운 운동의 출구 시간의 $p$-번째 모멘트와 라플라스 연산자의 첫 번째 딜리클레 고유값의 $p$-거듭제곱의 곱에 대한 보편적인 상한과 하한을 확립한다. 정수 $p$ 에서 하한이 날카로운 것으로 증명되었고, $p \geq 1$ 인 경우 $d \to \infty$ 로 갈수록 상한이 점점 날카로워지며, 대칭 볼록 도메인의 클래스에서 극값 도메인의 존재를 보이고, 큐브가 극값일 것이라는 추측을 제기한다.

ABSTRACT

For domains in $\mathbb{R}^d$, $d\geq 2$, we prove universal upper and lower bounds on the product of the bottom of the spectrum for the Laplacian to the power $p>0$ and the supremum over all starting points of the $p$-moments of the exit time of Brownian motion. It is shown that the lower bound is sharp for integer values of $p$ and that for $p \geq 1$, the upper bound is asymptotically sharp as $d o\infty$. For all $p>0$, we prove the existence of an extremal domain among the class of domains that are convex and symmetric with respect to all coordinate axes. For this class of domains we conjecture that the cube is extremal.

연구 동기 및 목표

• 도메인 $D \subset \mathbb{R}^d$, $d \geq 2$ 에 대해 브라운 운동의 출구 시간의 $p$-번째 모멘트와 라플라스 연산자의 첫 번째 딜리클레 고유값의 $p$-거듭제곱의 곱에 대한 보편적인 상한과 하한을 유도하는 것.
• 정수 $p$ 에서 하한이 날카로운지, $p \geq 1$ 인 경우 $d \to \infty$ 로 갈수록 상한이 점점 날카로워지는지 확인하는 것.
• 함수 $G_{p,d}(D) = \lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 에 대해 대칭 볼록 도메인의 클래스 내에서 극값 도메인의 존재를 증명하는 것.
• 이 기능에 대해 큐브가 대칭 볼록 도메인 내에서 극값 도메인일 것이라는 추측을 제기하고, 직사각형, 삼각형, 타원을 통해 이를 뒷받침하는 증거를 제공하는 것.
• 확률적 출구 시간 기능과 스펙트럼 이론 사이의 연결 고리를 탐색하며, 특히 토르션 함수와 레일라이히 몫 기법을 통해 다루는 것.

제안 방법

• 다중 적분에 대한 대칭화 기법을 사용하여 도메인 간 출구 시간 분포를 비교하고, 특히 $\sup_x \mathbb{P}_x(\tau_D > t)$ 를 구 $D^*$ 와 연관시키는 것.
• 고전적 결과 $\lim_{t \to \infty} \frac{1}{t} \log \mathbb{P}_x(\tau_D > t) = -\lambda_1(D)/2$ 를 적용하여 출구 시간 尾행동과 첫 번째 딜리클레 고유값을 연결하는 것.
• 모멘트 함수 $u_p(x) = \frac{1}{2^p \Gamma(p+1)} \mathbb{E}_x[\tau_D^p]$ 를 정의하여 출구 시간의 모멘트를 타원형 미분방정식의 해와 연결하는 것.
• 첫 번째 고유값을 추정하기 위해 레일라이히 몫 $\lambda_1(D) = \inf_{\phi \in H_0^1(D) \setminus \{0\}} \frac{\int_D |\nabla \phi|^2 dx}{\int_D \phi^2 dx}$ 를 활용하는 것.
• 타원형 도메인에 대한 경계를 유도하기 위해 등각 이행과 베셀 함수를 포함한 시험 함수(예: $\varphi(x,y) = J_0(j_0 \sqrt{x^2/a^2 + y^2/b^2})$) 를 사용하는 것.
• 포함 관계(예: $E_{a,b} \subset (-a,a) \times (-b,b)$) 를 통한 포함 원리와 도메인 단조성 및 비교 부등식을 증명하여 $\lambda_1$ 에 대한 하한을 확립하는 것.

실험 결과

연구 질문

• RQ1 모든 도메인 $D \subset \mathbb{R}^d$, $d \geq 2$ 와 모든 $p > 0$ 에 대해 $\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 에 대한 보편적인 상한과 하한은 무엇인가요?
• RQ2 정수 $p$ 에서 $\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 의 하한은 날카로운가요?
• RQ3 $p \geq 1$ 인 경우 $d \to \infty$ 로 갈수록 $\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 의 상한은 점점 날카로워지는가요?
• RQ4 볼록이고 대칭적인 도메인의 클래스 내에서 $\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 를 최대화하는 극값 도메인이 존재하는가요?
• RQ5 이 기능에 대해 논문에서 제기한 바와 같이 큐브가 대칭 볼록 도메인 내에서 극값 도메인일까요?

주요 결과

• 정수 $p$ 에서 $\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 의 하한은 날카로운 것으로 밝혀졌다.
• $p \geq 1$ 인 경우 $d \to \infty$ 로 갈수록 상한은 점점 날카로워지며, 주요 항 $\frac{d}{4}$ 가 문헌에 기록된 상한의 渐近 행동과 일치한다.
• 함수 $G_{p,d}(D) = \lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 에 대해 볼록 대칭 도메인의 클래스 내에서 극값 도메인이 존재한다.
• 2차원 타원 $E_{a,b}$ 에서는 추측이 더 강력한 부등식을 통해 성립한다: $\frac{\pi^2}{4} \leq \lambda_1(E_{a,b}) \mathbb{E}_{(0,0)}[\tau_{E_{a,b}}] \leq \frac{j_0^2}{2}$, 오직 단위 원에서만 우변이 등호가 성립한다.
• 2차원 삼각형 $T$ 에서는 추측 $\lambda_1(T) \sup_x \mathbb{E}_x[\tau_T] \leq \lambda_1(\mathbb{T}) \sup_x \mathbb{E}_x[\tau_\mathbb{T}]$ 이 성립하며, 등호는 오직 정삼각형 $\mathbb{T}$ 에서만 성립하고, 그 값은 약 $2.9243$ 이다.
• 임의의 볼록 도메인 $D \subset \mathbb{R}^2$ 에 대해 내접원 반지름 $R_D$ 를 갖는 경우, 출구 시간은 $\frac{1}{2} R_D^2 \leq \sup_x \mathbb{E}_x[\tau_D] \leq R_D^2$ 를 만족하며, $\lambda_1(T) R_T^2 \leq \frac{4\pi^2}{9}$ 이며 등호는 오직 정삼각형에서 성립한다.