[논문 리뷰] Expected exit times of Brownian motion from planar domains: Complements to a paper of Markowsky

Mark W. Coffey|arXiv (Cornell University)|2012. 03. 22.

Mathematical Dynamics and Fractals참고 문헌 18인용 수 3

한 줄 요약

이 논문은 콫수형 사상과 잠재이론을 이용하여 평면 영역에서 브라운 운동의 기대 도착 시간에 대한 마르코브스키의 작업을 확장한다. 틈새 영역, 반원판, n각형 및 기타 대칭 영역에서 기대 도착 시간에 대한 정확한 해석적 해를 제공하며, 일반화된 중간함수와 야곱슨 F1 함수, 다이로그함수와 같은 특수함수를 포함한 닫힌 형태의 표현식을 유도한다.

ABSTRACT

We supplement a very recent paper of G. Markowsky concerned with the expected exit times of Brownian motion from planar domains. Besides the use of conformal mapping, we apply results from potential theory. We treat the case of a wedge-shaped region exactly, subsuming an example of Markowsky. A number of other results are presented, including for a half disc, $n$-grams, and a variety of other regions.

연구 동기 및 목표

• 단순연결 평면 영역에서 브라운 운동의 기대 도착 시간에 대한 마르코브스키의 최근 결과를 확장하기 위해.
• 콤파일 맵핑과 잠재이론을 이용하여 대칭 영역 및 다각형 영역에서 기대 도착 시간에 대한 정확한 해석적 해를 제공하기 위해.
• 틈새 영역, 반원판, 정규 n각형에서 기대 도착 시간에 대한 닫힌 형태의 표현식을 도출하기 위해.
• 디리클레 경계 조건을 가진 파oisson 방정식을 해결하기 위해 잠재이론과 그린 함수 방법을 적용하기 위해.
• 일반화된 중간함수와 야곱슨 F1 함수와 같은 특수함수와의 확률적 도착 시간 간의 관계 탐색하기 위해.

제안 방법

• 관심 영역을 단위 원판으로 변환하기 위해 콤파일 맵핑 기법을 사용하여, 기존의 브라운 운동 도착 시간 결과를 적용할 수 있도록 한다.
• 마틴갈의 옵셔널 스탑핑 정리로부터 유도된 공식 $ E_{f(0)}[\tau(f(D))] = \frac{1}{2} \sum_{n=1}^{\infty} |a_n|^2 $ 을 사용하여 기대 도착 시간을 계산한다.
• 그린 함수 $ G(x,y) $ 를 사용하여 영역에서 $ \nabla^2 u = -2 $ 의 파oisson 방정식을 디리클레 경계 조건과 함께 해결하며, $ E_x[\tau] = \int_R G(x,y) dy $ 라는 표현을 사용한다.
• 일반화된 중간함수 $ {}_4F_3 $, 야곱슨 F1 함수, 다이로그함수 $ \text{Li}_2 $ 와 같은 특수함수를 사용하여 해를 닫힌 형태로 표현한다.
• 직교성과 푸리에 급수 기법을 이용하여 로그함수 및 그린 함수 적분의 적분 표현식과 급수 전개를 유도한다.
• 레마 3과 제6의 보조정리를 사용하여 로그항을 포함한 각도 적분을 평가하고, 다이로그함수와 삼각급수 형태의 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 각도 $ \pi/m $ 를 가진 틈새 영역에서 원점에서 출발하는 브라운 운동의 정확한 기대 도착 시간은 무엇인가요?
• RQ2 잠재이론과 콤파일 맵핑을 이용하여 반원판의 기대 도착 시간을 정확하게 어떻게 계산할 수 있나요?
• RQ3 일반화된 중간함수를 사용하여 정규 n각형에서의 기대 도착 시간에 대한 닫힌 형태의 표현식은 무엇인가요?
• RQ4 대칭 다각형 영역(예: 정삼각형, 직사각형)의 해가 라플라스 연산자의 디리클레 경계 조건을 가진 고유함수와 어떻게 관련이 있나요?
• RQ5 그린 함수 방법은 비대칭 또는 비정규 평면 영역에 대해 기대 도착 시간을 체계적으로 유도하는 데 적용될 수 있나요?

주요 결과

• 각도 $ \pi/m $ 를 가진 틈새 영역에서 브라운 운동의 기대 도착 시간이 정확히 유도되었으며, 마르코브스키의 예제를 포함하고 있으며, 콤파일 맵핑을 통해 일반화되었다.
• 반지름 $ r_0 $ 인 반원판에서 중심에서의 기대 도착 시간은 $ \frac{1}{2}(r_0^2 - r^2) $ 이며, 그린 함수 적분을 통해 기존 결과를 회복하였다.
• 정규 m각형 $ U_m $ 에서의 기대 도착 시간은 $ E_0[\tau(U_m)] = \frac{m^2}{2B^2(1/m, 1-2/m)} \cdot {}_4F_3\left(\frac{1}{m}, \frac{1}{m}, \frac{2}{m}, \frac{2}{m}; 1+\frac{1}{m}, 1+\frac{1}{m}, 1; 1\right) $ 으로 주어지며, 베타 함수와 일반화된 중간함수를 포함한다.
• 다이로그함수를 포함하는 새로운 적분 항등식을 도출하였다: $ \int_0^\pi \ln(r^2 + \rho^2 - 2r\rho\cos(\theta \mp \phi)) d\phi = 2\pi \ln r \pm i[\cdots] $, 이는 $ \text{Li}_2 $ 함수로 표현된다.
• 그린 함수 적분을 통해 원판에서의 파oisson 방정식 $ \nabla^2 u = -2 $ 의 정확한 해를 회복하였으며, $ u(r) = \frac{1}{2}(r_0^2 - r^2) $ 를 얻었고, 기존 결과와 일관성을 확인하였다.
• 푸리에 전개와 Pochhammer 기호 항등식을 이용하여 로그항의 각도 적분을 체계적으로 평가하는 방법을 제공하였으며, 특수함수 표현식 유도에 기여하였다.