The Tricomi equation in the hyperbolic half plane under additive space-time Gaussian White Noise perturbation

기술 요약: 가법적 시공간 가우시안 백색 잡음 섭동 하의 쌍곡 반평면에서의 트리코미 방정식

문제 정의
본 논문은 가법적 시공시 공간 가우시안 백색 잡음(space-time Gaussian White Noise)에 의해 섭동된 트리코미 방정식(Tricomi equation)의 코시 문제(Cauchy problem)를 조사한다. 트리코미 방정식은 혼합 타원-쌍곡형 성격을 가진 2계 편미분 방정식으로, $\partial_{tt}u = t\partial_{xx}u$로 주어진다. 이 방정식은 $t > 0$일 때 쌍곡형, $t < 0$일 때 타원형이며, $t = 0$에서 퇴화(degenerate)된다. 다루고자 하는 구체적인 확률적 문제는 다음과 같다:
$$\begin{cases} \partial_{tt}U(t, x) = t\partial_{xx}U(t, x) + W(t, x), & t > 0, x \in \mathbb{R}; \\ U(0, x) = 0, \quad \partial_t U(0, x) = 0, & x \in \mathbb{R}, \end{cases}$$
여기서 $\{W(t, x)\}$는 시공간 가우시안 백색 잡음을 나타낸다. 주요 목적은 제곱 적분 가능한 해의 존재성과 유일성을 확립하고, 특히 쌍곡 반평면($t > 0$)에서의 확률적 및 해석적 성질, 즉 경로의 거동을 분석하는 것이다.

방법론
저자들은 알려져 있으나 복잡한 트리코미 연산자의 명시적 기본 해(fundamental solution)에 의존하는 대신 푸리에 변환 접근법을 채택한다. 방법론은 다음과 같이 진행된다:

1. 푸리에 변환: 공간 변수를 변환하여, 확률 미분 방정식을 주파수 $\xi$에 의해 매개되는 일련의 상미분 방정식(ODE) 집합으로 변환한다. 호모지니어스 부분인 $\partial_{tt}\hat{v} = -t\xi^2 \hat{v}$는 변수 변환 $\eta = |\xi|^{2/3}t$를 통해 에어리 방정식(Airy equation) $\partial_{\eta\eta}v = -\eta v$로 축소된다.
2. 에어리 함수를 통한 표현: 선형 독립적인 에어리 함수 $Ai$와$Bi$를 사용하여 변환된 상미분 방정식의 해를 구성한다. 저자들은 이러한 에어리 함수들에 의해 정의되는 커널$C(t, s, \rho)$를 포함하는 해의 적분 표현식을 유도한다.
3. 잡음 근사: 시공간 백색 잡음을 라게르 함수(시간 측면)와 에르미트 함수(공간 측면)의 급수 전개를 사용하여 독립적인 표준 가우시안 변수들로 곱해진 유한 계수 매끄러운 과정으로 근사한다.
4. 점근 분석: 분석의 핵심은 에어리 함수를 포함하는 적분의 점근적 거동, 특히 큰 인자(음의 실수 축) 및 0 근처에서의 거동을 면밀히 연구하는 것이다. 이 분석은 급수 해의 수렴성과 표본 경로의 정칙성(regularity)을 확립하는 데 결정적이다.

주요 결과

• 존재성 및 유일성 (정리 1.1): 본 논문은 코시 문제가 유일한 밀도적 랜덤 필드 해(mild random-field solution)를 가짐을 증명한다. 이 해는 $L^2(\Omega, \mathcal{F}, P)$에서 수렴하는 급수이자 거의 확실하게(almost surely) 존재하는 가우시안 랜덤 필드이다. 해는 에리 함수와 잡음 계수들의 적분으로 명시적으로 주어진다. 저자들은 해의 2차 모멘트가 유한함을 확립한다.
• 정상성 및 상관관계 (따끔 정리 1.2): 고정된 시간 $t > 0$에 대하여, 확률 과정 $x \mapsto U(t, x)$는 평균이 0인 2차 정상 과정(second-order stationary)임을 보여준다. 공분산 함수는 명시적으로 유도된다. 결정적으로, 저자들은 작은 공간 래그(lag) $h$에 대한 상관 함수 $r_t(h)$의 거동을 분석한다. 그들은 $|h| \to 0$일 때 $r_t(h) = 1 - \alpha_t |h| + o(|h|)$임을 증명한다. 원점 근처에서의 이러한 선형적 거동은 이 과정이 연속 수정(continuous modification)을 가짐을 의미한다.
• 시간 정칙성 (따끔 정리 1.3): 고정된 공간 지점 $x$에 대하여, 과정 $t \mapsto U(t, x)$는 연속 수정 가능함을 보인다. 해의 가우시안 특성과 콜모고로프 연속성 정리(Kolmogorov continuity theorem)를 사용하여, 저자들은 시간 경로가 $1/2$보다 작은 모든 차수의 횔더 정칙성(Hölder regularity)을 가짐을 확립한다.

의의 및 주장
본 논문은 엄격하게 쌍곡형이 아닌 연산자를 가진 확률 편미분 방정식(SPDE) 문헌에 기여한다. 이는 표준 파동 방정식보다 덜 탐구된 분야이다.

• 파동 방정식과의 비교: 본 논문의 중요한 발견은 이 확률적 트리코미 방정식의 성질(존재성, 유일성, 경로 연속성)이 대응하는 확률적 파동 연산자로부터 도출된 성질과 동등하다는 것이다. 이는 트리코미 유형 연산자에 저차 항(lower-order terms)을 도입했을 때 잘 정의된 랜덤 필드 해의 상실이 발생했다는 [11]의 최근 연구 결과와 대조된다.
• 강건성: 이 결과는 가법적 백색 잡음 섭동 하에서 푸리에-에리 방법을 통해 분석이 수행된다면, $t=0$에서의 트리코미 연산자의 퇴화가 잘 행동하는 해의 존재를 방해하지 않는다는 것을 시사한다.
• 기술적 기여: 본 논문은 해의 표현식에 대한 엄밀한 유도와, 공간 및 시간 모두에서 표본 경로의 연속성을 증명하는 데 필요한 에리 함수를 포함한 적분의 점근적 거동에 대한 상세한 추정치를 제공한다.

저자들은 새로운 응용 분야나 미래의 실험적 방향을 제안하기보다는, 확률적 트리코미 방정식의 수학적 적절성(well-posedness)과 정칙성 성질에 엄격히 집중한다.