[논문 리뷰] On the Cauchy problem for integro-differential operators in Hölder classes and the uniqueness of the martingale problem

R. Mikulevíčius, H. Pragarauskas|arXiv (Cornell University)|2011. 03. 17.

Advanced Mathematical Modeling in Engineering참고 문헌 3인용 수 16

한 줄 요약

이 논문은 계수 $m(t,x,y)$에 대해 $x$에서 허더-연속성과 $y$에서 가측성에 대한 약한 정규성 조건을 가정할 때, 순서 $\alpha \in (0,2)$인 파라볼릭 적분미분 연산자에 대한 코시 문제의 해가 존재하고 유일함을 증명한다. 특히, 비퇴화성 하한 조건이 성립한다. 주요 기여는 해석적 추정과 이토-베נטל즈 공식 기법을 사용하여 관련 민감 문제에 대한 약한 유일성을 증명한 것으로, 이는 이전 결과를 덜 정규적인 계수로 일반화한다.

ABSTRACT

The existence and uniqueness in Hölder spaces of solutions of the Cauchy problem to parabolic integro-differential equation of the order α\in(0,2) is investigated. The principal part of the operator has kernel m(t,x,y)/|y|^{d+α} with a bounded nondegenerate m, Hölder in x and measurable in y. The result is applied to prove the uniqueness of the corresponding martingale problem.

연구 동기 및 목표

• 헤더-지그문트 공간에서 비국소 파라볼릭 적분미분 연산자에 대한 코시 문제의 해가 존재하고 유일함을 증명한다.
• 핵 $m(t,x,y)$에 대한 정규성 조건을 완화하여, $y$에 대해 가측적이면서도 $x$에 대해 허더 연속성과 비퇴화성 조건을 유지하도록 한다.
• 코시 문제의 해 이론과 이토 공식을 사용하여 관련 민감 문제에 대한 약한 유일성을 증명한다.
• 특히 $\alpha = 1$인 경우에 대해, 덜 정규적인 계수를 가진 연산자로의 민감해 해의 유일성에 관한 이전 결과를 일반화한다.

제안 방법

• 이토-베נטל즈 공식을 사용하여, 비퇴화성 조건을 만족하는 가측 핵으로부터의 해 추정을 부드러운 핵으로부터 확장한다.
• 상수 계수에서 변수 계수 연산자로의 해의 존재성을 유지하기 위해 매개변수에 의한 연속성 방법을 적용한다.
• 분할 단위와 국소화 기법을 사용하여 허더-지그문트 공간에서 사전 추정을 유도한다.
• 연산자 기호 $\psi(t,x,\xi)$의 분석은 $\xi$에 대해 부드럽지 않음을 요구하며, 이는 비푸리에 변환자 기법이 필요하다.
• 코시 문제의 해 $u$를 사용하여 민감을 구성하고, 이토 공식을 적용하여 민감해의 유일성을 증명한다.
• 노름 $|u|_{\alpha,\beta}$와 해 연산자 $T_\tau u$의 노름 간의 등가성을 확립하여 전체 정규성 추정을 복원한다.

실험 결과

연구 질문

• RQ1 비국소 파라볼릭 연산자에 대해 $y$에 대해 가측적이고 $x$에 대해 허더 연속적인 계수를 가진 코시 문제는 허더-지그문트 공간에서 유일하게 해를 갖는가?
• RQ2 이러한 연산자와 관련된 민감 문제는 핵에 대해 최소한의 정규성 조건을 가정할 때 약한 유일성을 갖는가?
• RQ3 비국소 연산자의 맥락에서, 이토-베נטל즈 공식은 부드러운 핵에서부터 가측 핵으로의 정규성 전파에 어떻게 사용될 수 있는가?
• RQ4 해의 $y$에 대한 부드러움이 없을 경우, 비퇴화성 조건 $m_0 \geq \eta > 0$는 어떤 역할을 하는가?
• RQ5 상수 계수 연산자에 대한 해 이론을 허더 공간에서 매개변수 연속성 방법을 통해 변수 계수 연산자로 확장할 수 있는가?

주요 결과

• 함수 $f \in C^\beta(H)$일 때, $x$에 대한 $m$의 허더 연속성과 비퇴화성 조건 $m \geq m_0 > 0$ (여기서 $m_0$는 $y$에 대해 매끄럽고 동차함)을 만족할 경우, $\partial_t u = Lu + f$의 코시 문제는 $C^{\alpha + \beta}(H)$에서 유일한 해를 가진다.
• 해 연산자 $T_\tau$는 균일한 유계성을 만족한다: $|u|_{\alpha,\beta} \leq C |T_\tau u|_\beta$이며, 이는 편미분 방정식의 해로부터 전체 정규성 추정을 복원할 수 있음을 의미한다.
• Assumptions A, B1, B2를 만족하고 $\rho \geq 0$, $l = 0$일 때, $\alpha \in (0,2)$, $\beta \in (0,1]$인 경우, $L = A + B^0$와 관련된 민감 문제에 대해 약한 유일성이 확립된다.
• 레비 측도 $\int_{|c|>R} \rho \, d\pi \to 0$가 $R \to \infty$일 때 성립하면, 민감 문제의 해 $\mathbf{P}_{s,x}$는 $(s,x)$에 대해 약한 연속성을 가진다.
• $\mathbf{P}_{s,x}$ 하에서 과정 $X_t$는 강한 마코프 성질을 가지며, 해는 $u(s,x) = \mathbf{E}_{s,x} \left[ \int_s^T f(r,X_r) \, dr \right]$를 만족한다. 이는 PDE 해와 민감 측도 하의 기대값을 연결한다.
• 이 결과는 [1]과 [13]의 이전 유일성 결과를 일반화하며, $x$에 대해 허더 연속성을 유지하면서 $y$에 대해 가측성 핵을 允허한다.