[논문 리뷰] Time-dependent Neutral stochastic functional differential equation driven by a fractional Brownian motion in a Hilbert space

Brahim Boufoussi, Salah Hajji외 1명|arXiv (Cornell University)|2014. 01. 11.

Nonlinear Differential Equations Analysis참고 문헌 6인용 수 5

한 줄 요약

이 논문은 힐버트 공간에서 분수 브라운 운동에 의해 구동되는 시간에 의존하는 중립형 확률적 함수 미분 방정식에 대한 미약한 해의 존재성과 유일성을 확립한다. 바나흐 고정점 정리와 스트로소스틱 컨볼루션 적분에 대한 새로운 L²-추정을 사용하여, 계수들에 대해 적절한 리프시츠 조건과 성장 조건을 만족할 경우 전역 존재 결과를 증명한다. 예시로 포물형 SPDE 설정에서의 적용을 제시한다.

ABSTRACT

In this paper we consider a class of time-dependent neutral stochastic functional differential equations with finite delay driven by a fractional Brownian motion in a Hilbert space. We prove an existence and uniqueness result for the mild solution by means of the Banach fixed point principle. A practical example is provided to illustrate the viability of the abstract result of this work.

연구 동기 및 목표

• 시간에 의존하는 지연을 가진 중립형 확률적 함수 미분 방정식에 대한 이론적 결과가 부족한 점을 보완하기 위해.
• 계수에 대한 적절한 정칙성과 리프시츠 조건 하에서 미약한 해의 존재성과 유일성을 확립하기 위해.
• 자기상수 시스템에 대한 기존 결과를 비자기상수, 시간에 의존하는 경우로 확장하기 위해.
• 기억 효과, 유전적 영향 및 장거리 의존성을 갖는 시스템을 분수 노이즈를 통해 엄밀한 프레임워크로 모델링하기 위해.

제안 방법

• 시간에 의존하는 선형 연산자 A(t)에 의해 생성되는 진화 가족을 사용하여 문제를 힐버트 공간 내의 미약한 해로 공식화한다.
• 진화 가족과 스트로소스틱 컨볼루션을 통해 정의된 적절한 적분 연산자에 대해 바나흐 고정점 정리를 적용한다.
• 기존 접근 방식과 다름을 보이는 분수 브라운 운동에 의해 구동되는 스트로소스틱 컨볼루션 적분에 대한 새로운 L²-추정을 유도한다.
• 해가 완전한 거리 공간에 있도록 지연 함수 r(t), ρ(t) 및 초기 자료 φ에 조건을 부과한다.
• Q-힐베르트-스미스 연산자를 기반으로 한 힐베르트 공간 설정에서의 분수 브라운 운동에 대한 위너 적분을 사용한다.
• 이차 모멘트가 유계인 연속적 적응 과정의 완전한 공간 위에서 수축 사상 구조를 구성하여 유일한 고정점을 보장한다.

실험 결과

연구 질문

• RQ1 시간에 의존하는 중립형 확률적 함수 미분 방정식이 분수 브라운 운동에 의해 구동될 때, 힐베르트 공간에서 유일한 미약한 해를 갖는 조건은 무엇인가?
• RQ2 비마르코프, 비세미마르팅글 노이즈인 경우, 분수 브라운 운동에 의해 구동되는 스트로소스틱 컨볼루션 적분을 L²-노름에서 어떻게 추정할 수 있는가?
• RQ3 비선형성 f, g, σ에 대해 존재성과 유일성을 보장하기 위한 최소한의 정칙성과 성장 조건는 무엇인가?
• RQ4 고정점 방법은 유한 지연과 비마르코프 노이즈를 가진 시간 비자기상 시스템에 어떻게 적용될 수 있는가?
• RQ5 이론적 프레임워크는 어떻게 실제 유전적 구조를 가진 확률적 편미분 방정식에 적용될 수 있는가?

주요 결과

• 저자들은 주어진 유한 지연을 가진 중립형 확률적 함수 미분 방정식에 대해 구간 [−τ, T] 에서 유일한 미약한 해의 존재성을 증명한다.
• 스트로소스틱 컨볼루션 적분에 대한 새로운 L²-추정이 도출되었으며, 이는 수축 증명에 필수적이다.
• 이 해는 이차 모멘트가 유계인 연속적 적응 과정의 완전한 거리 공간 위에서 수축 사상에 의해 구성된다.
• f와 g의 리프시츠 상수의 곱인 L*와 M*이 L*M* < 1을 만족할 경우에 해의 수축 성질이 보장된다.
• 이 방법은 딜레르흐 경계 조건을 가진 포물형 SPDE 예시로 확장되었으며, F, G, σ에 대해 적절한 가정 하에 해의 존재성과 유일성이 입증되었다.
• 이 프레임워크를 통해 고정점 증명의 반복 적용을 통해 초기 시간 간격을 초월한 해의 확장이 가능하다.