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

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

Advanced Banach Space Theory참고 문헌 71인용 수 9

한 줄 요약

이 종합 논문은 바나흐 공간에서의 확률적 적분을 위한 자연스러운 프레임워크로 γ-radonifying 연산자를 설정하며, 실수값을 갖는 브라운 운동에 대한 E-값 확률적 적분자의 정의역으로서 L²(R⁺)에서 바나흐 공간 E로의 γ-radonifying 연산자의 공간이 올바른 것임을 보여준다. 핵심 기여는 γ(L²(R⁺), E)로의 이토 등식의 확장으로, 이는 γ-노름을 통해 확률적 적분을 특성화하고, 적분이 E에서 라돈 가우시안 랜덤 변수를 생성할 조건을 규명한다.

ABSTRACT

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

연구 동기 및 목표

• γ-radonifying 연산자의 이론을 통합하고 체계화하여 바나흐 공간에서의 확률적 적분의 기초로 삼는 것.
• 원형 가우시안 과정이 바나흐 공간에서 실제로 라돈 측도가 되는 조건을 명확히 하는 것.
• E-값 확률적 적분에 대한 적분자의 공간으로서 γ(L²(R⁺), E)가 일반 바나흐 공간에서 L²(R⁺; E)를 대체할 수 있음을 보여주는 것.
• γ-radonifying 연산자와 유형/코유형, K-볼록성, 함수해석학의 임bedding 정리 간의 관계를 확립하는 것.

제안 방법

• 브라운 운동을 일반화한 추상적 적분자로서의 이sovnormal 과정 W: H → L²(Ω)의 사용.
• T ◦ W가 라돈이 되는, 즉 E에서 강하게 가측인 가우시안 랜덤 변수를 유도하는 연산자 T: H → E를 γ-radonifying 연산자로 정의.
• γ-승수 정리와 Hoffmann-Jørgensen 및 Kwapień의 정리를 응용하여 γ-radonifying 연산자를 특성화.
• γ-노름과 추적 쌍대성을 사용하여 연산자의 구조와 가우시안 카오스, 공분산 지배성과의 관계를 분석.
• γ-radonifying 연산자와 소볼레프 공간 및 헬더 공간 간의 임베딩 정리를 증명하며, 특히 브라운 운동의 부정적 적분에 초점.
• 해결 연산자 RT가 γ-radonifying임을 조건으로 삼아 스트로스틱 코시 문제에 이론을 적용.

실험 결과

연구 질문

• RQ1 바나흐 공간 E에서의 원형 가우시안 과정이 실제로 라돈 측도인가, 즉 E에서 강하게 가측인 가우시안 랜덤 변수로부터 유도되는가?
• RQ2 왜 일반 바나흐 공간에서의 확률적 적분에 대해 L²(R⁺; E)가 부적절한가, 그리고 그 대체 공간은 무엇인가?
• RQ3 T: H → E인 연산자의 γ-radonifying 성질이 그 노름, 유형, 코유형, K-볼록성으로 어떻게 특성화되는가?
• RQ4 γ-radonifying 성질이 브라운 운동과 같은 확률적 과정의 경로의 정규성(헬더 또는 베소프 공간에서)과 어떻게 관련되는가?
• RQ5 스트로스틱 코시 문제의 해 연산자가 γ-radonifying 연산자에 의해 약한 해를 가질 수 있는 조건은 무엇인가?

주요 결과

• 브라운 운동 B에 대한 확률적 적분은 이토 등식을 만족하고 잘 정의되며, 그 적분자가 γ(L²(R⁺), E)에 속해 있을 때에만 가능하다. L²(R⁺; E)에서는 성립하지 않는다.
• Hilbert 공간 E에 대해서는 L²(R⁺; E)와 γ(L²(R⁺), E)가 등장한다; 그러나 비Hilbert 공간 E에서는 이 성질이 성립하지 않으며, 이는 Kwapień의 정리에 의해 Hilbert 공간를 특성화한다.
• I: L²(0,1) → Cα[0,1]의 부정적 적분은 모든 0 ≤ α < 1/2에 대해 γ-radonifying이다. 이는 브라운 운동 경로의 헬더 연속성과 관련된다.
• 비판적 베소프 공간 B^{1/2}_{p,∞}(0,1)로의 적분은 실패한다. 이는 (13.1)에 의해 B-노름이 거의 확실히 유계가 아니기 때문이다.
• 스트로스틱 코시 문제에 대해, 약한 해가 존재하는 것은 해결 연산자 RT가 γ-radonifying일 때에만 가능하다. 충분조건으로는 E가 유형 2를 가지며 B ∈ γ(H,E)이거나, S가 해석적이고 B ∈ γ(H,E)일 경우가 있다.
• γ-radonifying 성질은 유계 연산자와의 복합에 대해 보존되며, 이상적 성질을 만족하여 연산자 이론적 구성에 강건하다.