[논문 리뷰] New Existence Theorems about the Solutions of Some Stochastic Integral Equations

Xuemei Chen, Yingying Qi외 1명|arXiv (Cornell University)|2012. 11. 06.

Fixed Point Theorems Analysis참고 문헌 2인용 수 3

한 줄 요약

이 논문은 스토크라스의 고정점 정리(스카우더의 고정점 정리)를 사용하여 확률적 적분 방정식의 해가 존재함을 보여주는 새로운 존재 정리를 수립한다. 바나흐의 수축사상 원리가 요구하는 조건보다 더 약한 조건을 요구한다. 저자들은 확률과정공간 내의 유계이고 닫혀 있으며 볼록인 부분집합 위에서 컴팩트 연산자를 구성함으로써, 고전적 접근법보다 덜 엄격한 연속성과 유계성 조건 하에서 존재성(유일성은 보장하지 않음)을 증명한다.

ABSTRACT

Picard's iteration has been used to prove the existence and uniqueness of the solution for stochastic integral equations, here we use Schauder's fixed point theorem to give a new existence theorem about the solution of a stochastic integral equation, our theorem can weak some conditions gotten by applying Banach's fixed point theorem.

연구 동기 및 목표

• 스카우더의 고정점 정리를 사용하여 스토크라스 적분 방정식의 해가 존재함을 보여주는 새로운 존재 정리를 개발한다.
• 바나흐의 수축사상 원리에 의해 유도된 조건보다 해의 존재를 보장하기 위해 필요한 조건을 약화시킨다.
• 필터링 및 금융 모델링에서 발생하는 스토크라스 적분 방정식에 적용 가능한 프레임워크를 제공한다.
• 스카우더의 정리가 수축사상 원리보다 더 엄격한 가정 없이도 존재성을 도출할 수 있음을 보여준다.

제안 방법

• 형식 $ x(t;\omega) = h(t_0;\omega) + \int_a^t \sigma(s,x(s;\omega)) dB(s) + \int_a^t f(s,x(s;\omega)) ds $ 의 스토크라스 적분 방정식에 스토크라스의 고정점 정리를 적용한다.
• 해공간 $ X = L_{ad}^2([a,b] \times \Omega) $ 과 닫혀 있고 유계이며 볼록인 부분집합 $ M = \{ X_t \in X : \|X_t\| \leq r \} $ 을 정의한다.
• 적분방정식의 우변으로 정의된 연산자 $ A $ 를 $ M $ 에 자기 자신으로 사상하도록 구성한다.
• 이토 등식과 계수의 유계성 조건을 이용하여 $ L^2 $-의미에서 등연속성과 상대적 컴팩턴스를 보임으로써 $ A $ 가 컴팩트함을 증명한다.
• 주어진 조건 (6) 을 사용하여 $ AX_t $ 의 $ L^2 $-노름을 유계화함으로써 $ A(M) \subseteq M $ 임을 확인한다.
• 해공간 $ M $ 에서 $ A $ 의 고정점이 적어도 하나 존재함을 증명하며, 이는 스토크라스 적분 방정식의 해에 해당한다.

실험 결과

연구 질문

• RQ1 스카우더의 고정점 정리는 스토크라스 적분 방정식의 해 존재성을 효과적으로 증명하는 데 적용될 수 있는가?
• RQ2 이 맥락에서 스토크라스 정리가 요구하는 조건은 바나흐의 수축사상 원리가 요구하는 조건과 비교하여 어떻게 다른가?
• RQ3 계수 $ f $ 와 $ \sigma $ 에 대해 더 약한 가정이 존재성 보장을 여전히 보장할 수 있는가?
• RQ4 유계성과 연속성 조건을 완화시킨 상황에서도 스토크라스 적분 방정식의 해 집합은 비어 있지 않은가?
• RQ5 스카우더의 정리를 사용하면 유일성이 확보되지 않을 경우에도 존재성 결과를 도출할 수 있는가?

주요 결과

• 조건 (6) 이 성립할 경우, 스토크라스 적분 방정식 (4) 는 $ M $ 내에서 적어도 하나의 해를 가진다. 이 조건은 계수의 Supremum 과 초기 자료를 포함한다.
• 조건 (6), $ 3E[h^2] + 3(1+b-a)(b-a)d^2 \leq r^2 $ 는 스토크라스 정리를 통한 존재성에 충분하며, 바나흐의 정리에 요구되는 수축 조건 (9) 보다 더 약한 조건이다.
• 적분방정식으로 정의된 연산자 $ A $ 는 $ L^2 $-공간 내에서 등연속성과 상대적 컴팩턴스를 보임으로써 컴팩트하다.
• 해공간 $ M $ 은 닫혀 있고 볼록하므로, 스토크라스의 고정점 정리의 위상적 조건을 만족한다.
• 바나흐의 정리와 달리, 스토크라스의 정리는 $ f $ 와 $ \sigma $ 의 리프시츠 연속성 조건을 요구하지 않으며, 오직 연속성과 유계성만 요구한다.
• 선형 방정식 $ X_t = \int_0^t uX_s ds + \int_0^t \sigma X_s dB(s) $ 의 예가 제시되며, 이는 정리 1.5 의 조건을 만족함으로써 해가 존재함을 보여준다. 이는 기하 브라운 motion 과 대응된다.