[논문 리뷰] Stochastic processes on non-Archimedean spaces. II. Stochastic antiderivational equations

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

advanced mathematical theories참고 문헌 23인용 수 5

한 줄 요약

이 논문은 국소체 위의 비아르키메데스 바나흐 공간에서의 확률적 미분방정식의 해가 존재하고 유일함을 증명하며, 고전적 확률해석을 p진 설정으로 확장한다. 비아르키메데스 버전의 가우시안 측도와 빈티에르 과정을 도입하고, 이토 유형의 공식을 증명하며, 생성자 연산자의 약한 연속성과 컴팩트성 조건 하에서 확률과정의 생성자 연산자를 유도한다.

ABSTRACT

Stochastic antiderivational equations on Banach spaces over local non-Archimedean fields are investigated. Theorems about existence and uniqiuness of the solutions are proved under definite conditions. In particular Wiener processes are considered in relation with the non-Archimedean analog of the Gaussian measure.

연구 동기 및 목표

• 비아르키메데스 함수해석학에서의 확률적 미분방정식 이론을 구축하여, p진 및 비아르키메데스 공간에서의 확률과정에 대한 빈도를 메우는 것.
• 특히 국소체 위의 바나흐 공간에서의 맥락에서 비아르키메데스 버전의 가우시안 측도와 빈티에르 과정을 정의하고 연구하는 것.
• 생성자 연산자의 컴팩트성과 약한 연속성 조건을 포함한 조건 하에서 확률적 미분방정식의 해에 대한 존재성과 유일성 정리를 증명하는 것.
• 비아르키메데스 버전의 이토 공식을 사용하여 확률과정의 진화가운데의 생성자 연산자를 도출하는 것.
• 비아르키메데스 위상군에서의 정규화 가능 측도와 유니터리 표현의 기초를 확률역학적 방법을 통해 제공하는 것.

제안 방법

• 논문은 지수 감쇠와 덧셈 문자를 포함하는 특성 함수를 사용하여 비아르키메데스 바나흐 공간에서 q-가우시안 원통형 측도를 정의한다.
• q-유계 선형 연산자 공간 내에 존재하는 단사 컴팩트 연산자의 존재를 통해 q-가우시안 측도의 σ-加법성을 증명한다.
• 진화 연산자 U(t,s)를 사용하여 비아르키메데스 버전의 코시 문제 ∂U/∂s = -U A(s), U(t,t) = I 를 만족하는 방정식으로 확률적 미분방정식을 수립한다.
• 생성자 A(t)의 유계성과 연속성 조건 하에서 진화 연산자를 사용한 반복 근사에 의한 해를 구성하며, 수렴성을 확보한다.
• 변형 추정식을 유도한다: ||Ũ(t,s) - U(t,s)|| ≤ M M̃ sup_u ||Ã(u) - A(u)|| R 로, 생성자에 대한 작은 변형에 대한 안정성을 보장한다.
• 진동 과정 η = f(t, ξ(t,ω))의 생성자 연산자는 부분 도함수와 과정 및 그 증분에 대한 반복 적분을 포함하는 비아르키메데스 이토 유형 공식을 사용하여 도출된다.

실험 결과

연구 질문

• RQ1 비아르키메데스 바나흐 공간에서의 확률적 미분방정식이 어떤 조건에서 유일한 해를 갖는가?
• RQ2 q-가우시안 측도를 사용하여 비아르키메데스 버전의 빈티에르 과정을 어떻게 정의할 수 있는가?
• RQ3 비아르키메데스 설정에서의 진동 과정에 대한 생성자 연산자의 구조는 무엇이며, 고전적 이토 공식을 어떻게 일반화하는가?
• RQ4 생성자 연산자의 변형은 해의 진화가운데에 어떤 영향을 미치는가?
• RQ5 컴팩트성과 약한 연속성 연산자는 해의 존재성과 수렴성 보장에 어떤 역할을 하는가?

주요 결과

• c₀(ω₀, K) 위의 비음수 q-가우시안 측도는 L_q(c₀(ω₀, K)) 내에 존재하는 단사 컴팩트 연산자 J가 존재할 때이고, 그때에만 σ-加법적이다. 이 측도는 J의 상에 포함된다.
• 초기 자료가 L^q(Ω, F, λ; H) 에 속할 경우, 확률적 미분방정식은 공집합 B_R 내에서 유일한 해를 가지며, ξ(t,ω) = T(t,t₀;ω)ξ(t₀;ω) 로 표현되며, 여기서 T는 곱셈 연산자 함수이다.
• 진화 연산자 U(t,s)는 공집합 B(K,0,R) 내의 모든 t,s,u 에 대해 반군 성질 U(t,s)U(s,u) = U(t,u) 를 만족하며, A 가 상수일 경우 EXP((t-s)A) 로 줄어든다.
• 약한 연속성 생성자 A(t)에 대해, 진화 연산자 U(t,s)는 약한 해로서 존재하며, 모든 e* ∈ Y*, η ∈ Y 에 대해 e*U(t,s)η 는 t 에 대해 미분 가능하다.
• 변형 경계가 확립된다: ||Ũ(t,s) - U(t,s)|| ≤ M M̃ sup_u ||Ã(u) - A(u)|| R 로, 생성자가 변형될 경우 안정성을 보장한다.
• 진동 과정 η = f(t,ξ(t,ω))의 생성자 연산자는 부분 도함수, 반복 적분, 투영 연산자를 포함하는 급수 형태로 명시적으로 도출되었으며, 고전적 이토 공식을 비아르키메데스 경우로 일반화한다.