[논문 리뷰] Stochastic processes on non-Archimedean spaces. I. Stochastic processes on Banach spaces

S. V. Lüdkovsky|ArXiv.org|2001. 04. 05.

advanced mathematical theories참고 문헌 17인용 수 4

한 줄 요약

이 논문은 p-진 수체 위의 바나흐 공간에서의 확률과정에 대한 비아르키메데스 해석적 유사체를 개발하며, 스토하스틱 적분을 정의하고 이토 공식의 비아르키메데스 해석적 유사체를 증명한다. 이는 비아르키메데스 해석적 기능적 설정으로 고전적 확률분석을 확장하는 비아르키메데스 해석적 프레임워크를 구축한다. p-진 수치를 시간 매개변수로 사용하고, C^n 공간에서의 역도함수 연산자와 함께 일반화된 이토 유형 공식을 유도하며, 비아르키메데스 해석적 기능적 설정으로의 일반화를 이루었다.

ABSTRACT

Non-Archimedean analogs of Markov quasimeasures and stochastic processes are investigated. Thery are used for the development of stochastic antiderivations. The non-Archimedean analog of the It$\hat o$ formula is proved.

연구 동기 및 목표

• p-진 수체 위의 바나흐 공간에서의 비아르키메데스 해석적 프레임워크를 개발하여 고전적 확률분석을 비아르키메데스 기능해석학으로 확장한다.
• 특히 비아르키메데스 국소체 위의 C^n 함수에 대해 비아르키메데스 설정에서 스토하스틱 적분과 역도함수 연산자를 정의한다.
• 비아르키메데스 설정에서 이토 공식의 유사체를 증명하여 고전적 이토 미적분학을 p-진 시간과 바나흐 공간 값을 갖는 과정으로 일반화한다.
• p-진 시간 매개변수와 연속적인 계수 함수를 사용하여 비아르키메데스 바나흐 공간에서의 확률과정 존재성을 확립한다.
• 비아르키메데스 위상군에서의 유니터리 표현에 응용 가능한 정규화 가능 측도를 조사하고, 고전적 결과를 비아르키메데스 맥락으로 확장한다.

제안 방법

• 확률과정의 시간 매개변수로 p-진 수를 사용하여, Q_p 위의 비아르키메데스 바나흐 공간에서의 시간 진화를 모델링한다.
• 특정한 역도함수 연산자 P_m를 C^{m-1} 공간에 도입하여 고전적 부정적분을 일반화하며, 레마 2.2, 2.3 및 정리 2.14를 통해 연속성과 미분 가능성 성질을 확립한다.
• 함수 공간 위의 연산자로서 비아르키메데스 스토하스틱 적분을 정의하고, 그 연속성을 제안 4.5에서 증명한다.
• 고차 미분계수와 연산자 Φ^n을 포함한 나머지 항을 포함한 테일러 전개를 적용하여 스토하스틱 진화 공식을 도출한다.
• 고정기하학에 의존하지 않는 비아르키메데스 설정에서의 미분가능성을 차분 몫을 통한 실렉호프 이론을 활용하여 정의한다.
• 증분 분해 Δξ = aΔt + EΔw를 사용하여 비아르키메데스 이토 공식을 유도하며, 고차항 수렴 조건(예: 정리 4.7의 조건 (c'))을 제시한다.

실험 결과

연구 질문

• RQ1 p-진 시간 매개변수를 갖는 비아르키메데스 바나흐 공간에서 확률과정를 어떻게 엄밀하게 정의할 수 있는가?
• RQ2 비아르키메데스 설정에서 이토 공식의 유사체는 무엇이며, 그 구조와 수렴성 측면에서 고전적 버전과 어떻게 다를까?
• RQ3 비아르키메데스 체 위의 C^n 공간에서의 역도함수 연산자는 고전적 부정적분을 어떻게 일반화하며, 스토하스틱 미적분학을 뒷받침하는가?
• RQ4 테일러 전개의 고차수 나머지 항이 어떤 조건에서 사라지며, 정확한 스토하스틱 공식으로 수렴하게 되는가?
• RQ5 비아르키메데스 공간에서의 확률과정를 사용하여 위상군에서의 정규화 가능 측도를 구성할 수 있으며, 그로 인한 유니터리 표현에 대한 영향은 무엇인가?

주요 결과

• 계수 함수와 p-진 시간 간격에 대한 조건 하에서 비아르키메데스 바나흐 공간에서의 확률과정 존재성이 정리 4.3에서 증명되었다.
• 비아르키메데스 이토 공식의 유사체는 정리 4.6, 4.8 및 추론 4.7에서 확립되었으며, 고차항의 수렴은 조건 (c') 또는 (i)에 의해 보장된다.
• 스토하스틱 적분이 관련 함수 공간 위의 연산자로서 연속적임이 제안 4.5에서 증명되었다.
• 해석함수의 경우 이토 공식이 단순화됨을 증명하였지만, 이러한 공간은 일반적 응용에에는 너무 좁기 때문에 C^n 공간의 사용이 필요함을 시사한다.
• 나머지 항의 수렴은 lim_{n→∞} ||Φ^n f|| = 0 와 같은 조건에 의해 보장되며, 이는 f(ξ(t))를 도함수와 증분으로 정확히 표현할 수 있음을 가능하게 한다.
• 이 프레임워크는 비아르키메데스 국소체 위의 바나흐 공간에서 계수를 갖는 확률과정의 구성이 가능하며, 고전적 확률분석을 실수나 복소수 설정을 초월하여 확장한다.