[논문 리뷰] $γ$-Radonifying operators -- a survey

Jan van Neerven|Project Euclid (Cornell University)|2009. 11. 19.

Advanced Banach Space Theory참고 문헌 90인용 수 50

한 줄 요약

이 종합 검토는 바나흐 공간에서의 확률적 적분을 위한 기본 도구로 γ-radonifying 연산자의 이론을 제시하며, 바나흐 공간 E로의 L²(ℝ₊)에서의 γ-radonifying 연산자 공간이 브라운 운동에 대한 E-값 확률적 적분자의 적절한 정의역임을 규명한다. 주요 기여는 Itô 등식을 γ(L²(ℝ₊), E)로 확장하여, 확률적 적분이 잘 정의되고 γ-radonifying 연산자 노름과 등장사상적으로 동형임을 보이며, 이는 E가 힐베르트 공간과 동형일 때에만 힐베르트 공간의 구조와 동치임을 보여준다.

ABSTRACT

We present a survey of the theory of $γ$-radonifying operators and their applications to stochastic integration in Banach spaces.

연구 동기 및 목표

• 일반 바나흐 공간에서의 확률적 적분을 위한 프레임워크로 γ-radonifying 연산자의 이론을 체계화하기.
• 원형 가우시안 과정이 실제로 Radon 측도가 되는 조건을 명확히 하여, 바나흐 공간에서 강한 가우시안 랜덤 변수의 구성이 가능하도록 하기.
• 브라운 운동에 대한 E-값 확률적 적분자의 자연스러운 적분자 공간으로 γ(L²(ℝ₊), E)를 확립하여 L²(ℝ₊; E)를 대체하기.
• γ-radonifying 연산자 프레임워크를 통해 확률적 분석, 가우시안 과정, 연산자 이상의 결과들을 통합하고 확장하기.

제안 방법

• Hilbert 공간 H에 대한 이소노르말 과정 W: H → L²(Ω)를 추상적 적분자로 사용하기.
• γ-radonifying 연산자를 T: H → E인 유계 선형 연산자로 정의하며, T∘W가 Radon이 되는 경우, 즉 E에서 강한 측도 가능 가우시안 랜덤 변수를 유도하는 경우로 정의하기.
• γ-승수 정리와 Hoffmann-Jørgensen 및 Kwapie´n의 정리를 적용하여, 가우시안 카오스와 Radon-Nikodým 유사 조건을 통해 γ-radonifying 연산자를 특성화하기.
• 유형과 코유형 이론, K-볼록성, 그리고 임bedding 정리를 사용하여 γ-radonifying 성질을 바나흐 공간의 기하적 성질과 연결하기.
• γ-등식 증명: 기본 과정에 대해 E‖∫₀^∞ φ dB‖² = ‖φ̃‖²_γ(L²(ℝ₊),E)이며, 이는 고전적 Itô 등식을 확장한다.
• 해결책 연산자 RT가 γ-radonifying임을 조건으로 삼아, 확률적 코시 문제에 이론을 적용하기.

실험 결과

연구 질문

• RQ1 바나흐 공간 E에서의 원형 가우시안 과정이 실제로 Radon이 되는 조건은 무엇인가? 즉, 강한 측도 가능 가우시안 랜덤 변수에 의해 유도되는가?
• RQ2 왜 브라운 운동에 대한 E-값 확률적 적분자를 정의할 때 γ(L²(ℝ₊), E)가 L²(ℝ₊; E)보다 더 적절한가?
• RQ3 바나흐 공간 E의 어떤 기하적 또는 구조적 성질이 확률적 적분자 연산자가 γ-radonifying가 되도록 보장하는가?
• RQ4 γ-radonifying 연산자는 힐베르트-슈미트 연산자, p-절대 합산 연산자, 유형/코유형과 어떻게 관련되어 있는가?
• RQ5 확률적 코시 문제의 해 연산자가 γ-radonifying가 되는 데 필요한 충분 및 필요 조건은 무엇인가?

주요 결과

• 브라운 운동에 대한 확률적 적분은 γ-노름과 등장사상적으로 동형이다: 기본 과정에 대해 E‖∫₀^∞ φ dB‖² = ‖φ̃‖²_γ(L²(ℝ₊),E).
• γ(L²(ℝ₊), E)는 E-값 확률적 적분자의 적절한 정의역이다; 만약 L²(ℝ₊; E) ≃ γ(L²(ℝ₊), E)이면, E는 힐베르트 공간과 동형이다.
• 유계 연산자 T: H → E가 γ-radonifying일 조건은 이소노르말 과정 W: H → L²(Ω)를 E에서 Radon 측도로 보낸다.
• 확률적 코시 문제 dU = AU dt + B dWH에 대해, 약한 해가 존재하는 것은 해결책 연산자 RT가 γ-radonifying임과 동치이다; 이는 E가 유형 2를 가지며 B ∈ γ(H, E)이거나, S가 해석적이고 B ∈ γ(H, E)일 때 성립한다.
• 미분 불가능한 적분 I: L²(0,1) → Cα[0,1]는 0 ≤ α < 1/2일 때 γ-radonifying이지만, BMO 노름의 거의 확실한 유계성 부족으로 인해 B^{1/2}_{p,∞}(0,1)로의 γ-radonifying가 실패한다.
• 비판적 공간 B^{1/2}_{p,∞}(0,1)는 브라운 경로가 강한 의미에서 이 공간에 거의 확실하게 속하지 않기 때문에 γ-radonifying 적분에서 제외된다. 이는 P(‖B‖_{B^{1/2}_{p,∞}} ≥ C) = 1로 보여진다.