Some Properties of NSFDEs

Similar documents
Large Deviations Principles for McKean-Vlasov SDEs, Skeletons, Supports and the law of iterated logarithm

Large Deviations for Perturbed Reflected Diffusion Processes

On a non-autonomous stochastic Lotka-Volterra competitive system

A Concise Course on Stochastic Partial Differential Equations

Strong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term

(2m)-TH MEAN BEHAVIOR OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS UNDER PARAMETRIC PERTURBATIONS

ON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS

Stationary distribution and pathwise estimation of n-species mutualism system with stochastic perturbation

PROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS

Convergence Rate of Euler-Maruyama Scheme for SDDEs of Neutral Type

Applied Mathematics Letters. Stationary distribution, ergodicity and extinction of a stochastic generalized logistic system

SDE Coefficients. March 4, 2008

Harnack Inequalities and Applications for Stochastic Equations

Weak convergence and large deviation theory

EXISTENCE OF NEUTRAL STOCHASTIC FUNCTIONAL DIFFERENTIAL EQUATIONS WITH ABSTRACT VOLTERRA OPERATORS

The Wiener Itô Chaos Expansion

1 Brownian Local Time

Large deviations for neutral stochastic functional differential equations

Schilder theorem for the Brownian motion on the diffeomorphism group of the circle

Stochastic Differential Equations

Squared Bessel Process with Delay

Lecture 4: Ito s Stochastic Calculus and SDE. Seung Yeal Ha Dept of Mathematical Sciences Seoul National University

UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE

Random and Deterministic perturbations of dynamical systems. Leonid Koralov

Stability of Stochastic Differential Equations

Brownian Motion. 1 Definition Brownian Motion Wiener measure... 3

Large deviations and averaging for systems of slow fast stochastic reaction diffusion equations.

Problem Set 6: Solutions Math 201A: Fall a n x n,

LARGE DEVIATIONS FOR STOCHASTIC TAMED 3D NAVIER-STOKES EQUATIONS. (2) 0 g N (r) 2/(ν 1), r 0. {W k

2012 NCTS Workshop on Dynamical Systems

Stochastic optimal control with rough paths

An adaptive numerical scheme for fractional differential equations with explosions

Regularity of the density for the stochastic heat equation

Stochastic Differential Equations.

1. Stochastic Processes and filtrations

Solving Stochastic Partial Differential Equations as Stochastic Differential Equations in Infinite Dimensions - a Review

Differential Games II. Marc Quincampoix Université de Bretagne Occidentale ( Brest-France) SADCO, London, September 2011

EULER MARUYAMA APPROXIMATION FOR SDES WITH JUMPS AND NON-LIPSCHITZ COEFFICIENTS

Exact Simulation of Multivariate Itô Diffusions

OPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS

for all f satisfying E[ f(x) ] <.

Weak Convergence of Numerical Methods for Dynamical Systems and Optimal Control, and a relation with Large Deviations for Stochastic Equations

Branching Processes II: Convergence of critical branching to Feller s CSB

Cores for generators of some Markov semigroups

Nonlinear representation, backward SDEs, and application to the Principal-Agent problem

Asymptotic behaviour of the stochastic Lotka Volterra model

Numerical treatment of stochastic delay differential equations

On Existence and Uniqueness of Stationary Distributions for Stochastic Delay Differential Equations with Positivity Constraints

On the bang-bang property of time optimal controls for infinite dimensional linear systems

Lecture 12: Diffusion Processes and Stochastic Differential Equations

Mean-field SDE driven by a fractional BM. A related stochastic control problem

Introduction to Empirical Processes and Semiparametric Inference Lecture 08: Stochastic Convergence

Theoretical Tutorial Session 2

Weak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij

Reflected Brownian Motion

ELEMENTS OF PROBABILITY THEORY

Fast-slow systems with chaotic noise

Exponential martingales: uniform integrability results and applications to point processes

The concentration of a drug in blood. Exponential decay. Different realizations. Exponential decay with noise. dc(t) dt.

L -uniqueness of Schrödinger operators on a Riemannian manifold

Pathwise uniqueness for stochastic differential equations driven by pure jump processes

Fast-slow systems with chaotic noise

Hypoelliptic multiscale Langevin diffusions and Slow fast stochastic reaction diffusion equations.

Functional Limit theorems for the quadratic variation of a continuous time random walk and for certain stochastic integrals

arxiv: v1 [math.pr] 12 Dec 2016

Homogenization with stochastic differential equations

Quasi-invariant Measures on Path Space. Denis Bell University of North Florida

Malliavin Calculus: Analysis on Gaussian spaces

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

Jae Gil Choi and Young Seo Park

Large Deviations from the Hydrodynamic Limit for a System with Nearest Neighbor Interactions

Asymptotic behavior of sample paths for retarded stochastic differential equations without dissipativity

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Weakly interacting particle systems on graphs: from dense to sparse

LAN property for ergodic jump-diffusion processes with discrete observations

Partial Differential Equations with Applications to Finance Seminar 1: Proving and applying Dynkin s formula

SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE

PROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS

Backward Stochastic Differential Equations with Infinite Time Horizon

Lecture 3. Econ August 12

On Some Estimates of the Remainder in Taylor s Formula

The Continuity of SDE With Respect to Initial Value in the Total Variation

Duality of multiparameter Hardy spaces H p on spaces of homogeneous type

Mean-square Stability Analysis of an Extended Euler-Maruyama Method for a System of Stochastic Differential Equations

Filtrations, Markov Processes and Martingales. Lectures on Lévy Processes and Stochastic Calculus, Braunschweig, Lecture 3: The Lévy-Itô Decomposition

Research Article Existence and Uniqueness Theorem for Stochastic Differential Equations with Self-Exciting Switching

Non-linear wave equations. Hans Ringström. Department of Mathematics, KTH, Stockholm, Sweden

Kolmogorov Equations and Markov Processes

Exact Simulation of Diffusions and Jump Diffusions

On continuous time contract theory

Piecewise Smooth Solutions to the Burgers-Hilbert Equation

Recurrence and Ergodicity for A Class of Regime-Switching Jump Diffusions

Particle models for Wasserstein type diffusion

The Chaotic Character of the Stochastic Heat Equation

Course 212: Academic Year Section 1: Metric Spaces

Stochastic Functional Differential Equations

Partial Averaging of Fuzzy Differential Equations with Maxima

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

THE SKOROKHOD OBLIQUE REFLECTION PROBLEM IN A CONVEX POLYHEDRON

The stochastic heat equation with a fractional-colored noise: existence of solution

Transcription:

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 1 / 41 Some Properties of NSFDEs Chenggui Yuan Swansea University

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 2 / 41 Outline Existence and Uniqueness Numerical Solutions Large Deviations

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 3 / 41 Y. Ji, Q. Song, C. Yuan, Neutral stochastic differential delay equations with locally monotone coefficients, arxiv 2016 J. Bao, Y. Ji, C. Yuan, Convergence of EM scheme for neutral stochastic differential delay equations, arxiv 2016 J. Bao, C. Yuan, Large deviations for neutral functional SDEs with jumps, Stochastics 87 (2015) 48-70.

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 4 / 41 Existence and Uniqueness Let C = C([ τ, 0]; R n ) which is equipped with the uniform norm ζ := sup τ θ 0 ζ(θ) for ζ C. Let D : C R n, and f : C [0, T ] R n, g : C [0, T ] R n m all Borel measurable. Consider the n dimensional NSFDE d[x(t) D(X t )] = f(x t, t)dt + g(x t, t)dw (t) on 0 t T, (1) with initial data X 0 = ξ = {ξ(θ) : τ θ 0} L 2 F 0 ([ τ, 0] : R n ), is an F 0 measurable C valued random variable such that E ξ 2 <.

We have the following existence and uniqueness theorem. Theorem (Mao s book, Theorem 6.2.5 ) For any T > 0 and any integer n 1, that there exist positive constants K T,n and K such that (i) for all t [0, T ] and ϕ, φ C with ϕ φ n, f(ϕ, t) f(φ, t) 2 g(ϕ, t) g(φ, t) 2 K n,t ϕ φ 2 ; (2) (ii) for all (ϕ, t) R n [0, T ] f(ϕ, t) 2 g(φ, t) 2 K(1 + ϕ 2 ). (3) Assume also there exists κ (0, 1) such that for all ϕ, φ C D(ϕ) D(φ) κ ϕ φ. (4) Then there exists a unique solution X(t) to equation (1). Chenggui Yuan (Swansea University) Some Properties of NSFDEs 5 / 41

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 6 / 41 A special class of NSFDEs is neutral stochastic differential delay equations, that is d[x(t) G(X(t τ))] = b(x(t), X(t δ(t)), t)dt + σ(x(t), X(t δ(t)), t)dw (t) (5) on t [0, T ] with initial data ξ where G : R n R n, b : R n R n [0, T ] R n, σ : R n R n [0, T ] R n R m.

Theorem (Mao book Theorem 6.2.5) Assume that there exist positive constants K T,n and K such that (i) for all x, y, x, y R n with x y x y n and t [0, T ] b(x, y, t) b(x, y, t) 2 σ(x, y, t) σ(x, y, t) 2 K T,n ( x x 2 + y y 2 ); (iin) for all (ϕ, t) R n [0, T ] (6) b(x, y, t) 2 σ(x, y, t) 2 K(1 + x 2 + y 2 ). (7) Assume also there exists κ (0, 1) such that for all x, y R n G(x) G(y) κ x y. (8) Then there exists a unique solution X(t) to equation (5) with initial data ξ. Chenggui Yuan (Swansea University) Some Properties of NSFDEs 7 / 41

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 8 / 41 Theorem (Ji, Song, Y.) Assume G, b and σ satisfy the following assumptions for all T, R [0, ): (C0) For every R > 0, T > 0 T 0 sup { b(x, y, t) + σ(x, y, t) 2 }dt <, (9) x R, y R (C1) The functions b(x, y, t), σ(x, y, t) are continuous in both x and y for all t [0, T ]. (C2) There exist two R + valued functions K 1 (t), K1 (t) and a positive constant C 1 (τ) such that for all t [0, T ], K 1 (t) C 1 (τ)k 1 (t τ), K 1 (t) K 1 (t) and 2 x G(y), b(x, y, t) + σ(x, y, t) 2 K 1 (t)(1 + x 2 ) + K 1 (t τ)(1 + y 2 ), for x, y R n, t [0, T ]. (10)

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 9 / 41 Theorem (C3) There exist two R + valued functions K R (t), K R (t) and a positive constant C R (τ)such that for all t [0, T ], K R (t) C R (τ)k R (t τ), K R (t) K R (t) and 2 x G(y) x + G(y), b(x, y, t) b(x, y, t) + σ(x, y, t) σ(x, y, t) 2 K R (t) x x 2 + K R (t τ) y y 2 (11) for all x y x y R, t [0, T ]. (C4) Assume G(0) = 0 and that there is a constant κ (0, 1) such that holds for all x, y R n. G(x) G(y) κ x y,

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 10 / 41 Theorem Moreover, we assume C 1 (τ) C R (τ) 1 κ and K 1(t), K 1 (t), K R (t), K R (t) L 1 ([ τ, T ]; R + ). Then there exists a unique process {X(t)} t [0,T ] that satisfies equation (5) with the initial data ξ. Moreover, the mean square of the solution is finite.

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 11 / 41 Numerical Solutions We assume that there exist constants L > 0 and q 1 such that, for x, y, x, y R n, (A1) G(y) G(y) L(1 + y q + y q ) y y ; (A2) b(x, y) b(x, y) + σ(x, y) σ(x, y) L x x + L(1 + y q + y q ) y y, where stands for the Hilbert-Schmidt norm; (A3) ξ(t) ξ(s) L t s for any s, t [ τ, 0].

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 12 / 41 Remark: There are some examples such that (A1) and (A2) hold. For instance, if G(y) = y 2, b(x, y) = σ(x, y) = ax + y 3 for any x, y R and some a R, Then both (A1) and (A2) hold by taking V (y, y) = 1 + 3 2 y2 + 3 2 y2 for arbitrary y, y R. We can show that Eq.(5) has a unique solution {X(t)} under (A1) and (A2).

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 13 / 41 We now introduce the EM scheme associated with (5). Without loss of generality, we assume that h = T/M = τ/m (0, 1) for some integers M, m > 1. For every integer k = m,, 0, set Y (k) h each integer k = 1,, M 1, we define Y (k+1) h where W (k) h G(Y (k+1 m) h ) = Y (k) h + σ(y (k) h G(Y (k m) h := W ((k + 1)h) W (kh). ) + b(y (k) h := ξ(kh), and for, Y (k m) h )h, Y (k m) h ) W (k) h, (12)

For any t [kh, (k+1)h), set Y (t) := Y (k). Define the continuous-time EM h approximation solution Y (t) as below: For any θ [ τ, 0], Y (θ) = ξ(θ), and Y (t) =G(Y (t τ)) + ξ(0) G(ξ( τ)) + + t 0 t σ(y (s), Y (s τ))dw (s), t [0, T ]. 0 b(y (s), Y (s τ))ds (13) Chenggui Yuan (Swansea University) Some Properties of NSFDEs 14 / 41

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 15 / 41 The first main result in this paper is stated as below. Theorem Under the assumptions (A1)-(A3), one has ( ) E sup X(t) Y (t) p h p/2, p 2. (14) 0 t T

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 16 / 41 We have the following lemma. Lemma Under (A1) and (A2), for any p 2 there exists a constant C T > 0 such that and ( E sup 0 t T X(t) p) ( E ( E where Γ(t) := Y (t) Y (t). sup 0 t T sup 0 t T Y (t) p) C T, (15) Γ(t) p) h p/2, (16)

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 17 / 41 Proof of Theorem. We follow the Yamada-Watanabe approach to complete the proof of Theorem. For fixed κ > 1 and arbitrary ε (0, 1), there exists a continuous non-negative function ϕ κε ( ) with the support [ε/κ, ε] such that ε ε/κ ϕ κε (x)dx = 1 and ϕ κε (x) 2 x ln κ, x > 0. Set Let φ κε (x) := x y 0 0 ϕ κε (z)dzdy, x > 0. V κε (x) = φ κε ( x ), x R n. (17)

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 18 / 41 By a straightforward calculation, it holds ( V κε )(x) = φ κε( x ) x 1 x, x R n and ( 2 V κε )(x) = φ κε( x )( x 2 I x x) x 3 + x 2 φ κε( x )x x, x R n, where and 2 stand for the gradient and Hessian operators, respectively, x x = xx with x being the transpose of x R n. Moreover, we have ( V κε )(x) 1 and ( ( 2 V κε )(x) 2n 1 + 1 ) 1 ln κ x 1 [ε/κ,ε]( x ), (18)

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 19 / 41 For notation simplicity, set Z(t) := X(t) Y (t) and Λ(t) := Z(t) G(X(t τ))+g(y (t τ)). (19) In the sequel, let t [0, T ] be arbitrary and fix p 2. Due to Λ(0) = 0 R n and V κε (0) = 0, an application of Itô s formula gives V κε (Λ(t)) = + 1 2 t 0 t 0 ( V κε )(Λ(s)), Γ 1 (s) ds trace{(γ 2 (s)) ( 2 V κε )(Λ(s))Γ 2 (s)}ds + t 0 (V κε )(Λ(s)), Γ 2 (s)dw =: I 1 (t) + I 2 (t) + I 3 (t), where Γ 1 (t) := b(x(t), X(t τ)) b(y (t), Y (t τ)) (20) and Γ 2 (t) := σ(x(t), X(t τ)) σ(y (t), Y (t τ)).

Set V (x, y) := 1 + x q + y q, x, y R n. (21) According to (15), for any q 2 there exists a constant C T > 0 such that ( E V (X(t τ), Y (t τ)) q) C T. (22) Noting that sup 0 t T X(t) Y (t) = Λ(t) + Γ(t) + G(X(t τ)) G(Y (t τ)), (23) and using Hölder s inequality and B-D-G s inequality, we get from (18) and (A1)- (A2) that ( Θ(t) : = E sup 0 s t t 0 t I 1 (s) p) ( + E sup 0 s t {E Γ 1 (s) p + E Γ 2 (s) p }ds I 3 (s) p) t τ E{ Λ(s) p + Γ(s) p }ds + + E(V (X(s), Y (s)) p X(s) Y (s) p )ds 0 τ (24) Chenggui Yuan (Swansea University) Some Properties of NSFDEs 20 / 41

In the light of (18)-(23), we derive from (A1) that ( E sup I 2 (s) p) E E E E 0 s t t 0 t 0 ( 2 V κε )(Λ(s)) p Γ 2 (s) 2p ds 1 Λ(s) p { X(s) Y (s) 2p + V (X(s τ), Y (s τ)) 2p ( X(s τ) Y (s τ) 2p )}I [ε/κ,ε] ( Λ(s) )ds t 0 1 Λ(s) p { Λ(s) 2p + Γ(s) 2p + G(X(s τ)) G(Y (s τ)) 2p + V (X(s τ), Y (s τ)) 2p ( X(s τ) Y (s τ) 2p )}I [ε/κ,ε] ( Λ(s) )ds t 0 { Λ(s) p + ε p Γ(s) 2p + ε p V 2p (X(s τ), Y (s τ))( X(s τ) Y (s τ) 2p )}ds t 0 {ε p h p + E Λ(s) p + ε p (E( Z(s τ) 4p )) 1/2 }ds, (25) Chenggui Yuan (Swansea University) Some Properties of NSFDEs 21 / 41

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 22 / 41 Thus, we can have ( E sup Λ(s) p) ε p + h p/2 + ε p h p 0 s t (t τ) 0 + 0 h p/2 + {(E( Z(s) 2p )) 1/2 + ε p (E( Z(s) 4p )) 1/2 }ds (t τ) 0 0 it follows from Hölder s inequality that ( E sup Z(t) p) ( E sup Λ(t) p) ( + E 0 t T ( E ( E sup 0 t T sup 0 t T Λ(t) p) ( + E {(E( Z(s) 2p )) 1/2 + ε p (E( Z(s) 4p )) 1/2 }ds, 0 t T Λ(t) p) + h p/2 + sup τ t T τ ( E ( sup τ t T τ (26) G(X(t)) G(Y (t)) p) ) (V (X(t), Y (t)) p X(t) Y (t) p ) sup 0 t (T τ) 0 Z(t) 2p)) 1/2. (27)

by taking ε = h 1/2. Chenggui Yuan (Swansea University) Some Properties of NSFDEs 23 / 41 Substituting (34) into (36) yields that ( E sup 0 t T Hence, we have and ( E Z(t) p) ( ( h p/2 + E + (T τ) 0 0 ( E sup 0 t τ ) sup Z(t) p h p/2 + 0 t 2τ + τ 0 h p/2 sup 0 t (T τ) 0 Z(t) 2p)) 1/2 {(E( Z(t) 2p )) 1/2 + ε p (E( Z(t) 4p )) 1/2 }dt. Z(t) p) h p/2, ( ( E sup 0 t τ Z(t) 2p)) 1/2 {(E( Z(t) 2p )) 1/2 + ε p (E( Z(t) 4p )) 1/2 }dt (28)

for arbitrary ξ, η C. Chenggui Yuan (Swansea University) Some Properties of NSFDEs 24 / 41 Large deviation principle (LDP) Consider a neutral FSDE d{x(t) G(X t )} = b(x t )dt + σ(x t )dw (t), t > 0 (29) with the initial data X 0 = ξ C. We assume (H1) There exists κ (0, 1) such that G(ξ) G(η) κ ξ η, ξ, η C. (H2) The mapping b satisfies a local Lipschitz condition and there exists λ > 0 such that (ξ(0) η(0)) (G(ξ) G(η)), b(ξ) b(η) σ(ξ) σ(η) 2 HS λ ξ η 2 and ξ(0) G(ξ), b(ξ) λ(1 + ξ 2 )

Let S be a Polish space (i.e., a separable completely metrizable topological space), and {Y ɛ } ɛ (0,1) a family of S-valued random variables defined on the probability space (Ω, F, P). Definition A function I : S [0, ] is called a rate function if it is lower semicontinuous. A rate function I is called a good rate function if the level set {f S : I(f) a} is compact for each a <. Chenggui Yuan (Swansea University) Some Properties of NSFDEs 25 / 41

Definition The sequence {Y ɛ } ɛ (0,1) is said to satisfy the LDP with rate function I if, for each A B(S) (Borel σ-algebra generated by all open sets in S), inf I(f) lim inf f A ɛ 0 ɛ log µ ɛ (A) lim sup ɛ log µ ɛ (A) inf I(f), ɛ 0 f A where µ ɛ is the law of {Y ɛ } ɛ (0,1), and the interior A and closure A are taken in S. Definition The sequence {Y ɛ } ɛ (0,1) is said to satisfy the Laplace principle (LP) on S with rate function I if, for each bounded continuous mapping g : S R, ( [ lim ɛ log E exp ɛ 0 g(y ɛ ) ]) ɛ = inf {g(f) + I(f)}. f S Chenggui Yuan (Swansea University) Some Properties of NSFDEs 26 / 41

Define the Cameron-Martin space H by t H := {h : [0, T ] R m h(t) = ḣ(s)ds, t [0, T ], and 0 T 0 } ḣ(s) 2 ds <, (30) where the dot denotes the generalized derivative. Note that (H,, H, H ) is a Hilbert space equipped with the norm f H := ( T 0 f(s) 2 ds) 1 2, f H. For each N > 0, let S N := {h H : h H N} (31) be the ball in H with radius N, and A N := {h : [0, T ] R m, an F t predictable process such that h(, ω) S N, P a.s.} Chenggui Yuan (Swansea University) Some Properties of NSFDEs 27 / 41

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 28 / 41 For C := C([0, T ]; R m ) and a measurable mapping G ɛ : C S, ɛ (0, 1), let Z ɛ := G ɛ ( ɛw ). (32) Assume that there exists a measurable mapping Z 0 : H S such that, for any N > 0, (i) If the family {h ɛ } ɛ (0,1) A N converge in distribution to an h A N, then G ɛ ( ɛw + h ɛ ) Z 0 (h) in distribution in S as ɛ 0. (ii) The set K N := {Z 0 (h) : h S N } is a compact subset of S. Lemma (Budhiraja and Dupuis,2000): Let {Z ɛ } ɛ (0,1) be defined by (32) and assume that {G ɛ } ɛ (0,1) satisfy (i) and (ii). Then the family {Z ɛ } ɛ (0,1) satisfy the LP (hence LDP) on S with the good rate function defined by I(f) := 1 2 inf {h H,f=Z 0 (h)} h 2 H, f S. (33)

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 29 / 41 For ɛ (0, 1), consider the small perturbation of (29) in the form d{x ɛ (t) G(Xt ɛ )} = b(xt ɛ )dt + ɛσ(xt ɛ )dw (t), t [0, T ] (34) with the initial value X0 ɛ = ξ C. By Lemma 10, to establish the LDP for the law of {X ɛ ( )} ɛ (0,1), it is sufficient to (a) choose the Polish space S, (b) construct measurable mappings G ɛ : C S and Z 0 : H S respectively, and then (c) show that (i) and (ii) are satisfied for the measurable mapping G ɛ. In the sequel, we take S = C([0, T ]; R n ), the family of continuous functions f : [0, T ] R n, which is a Polish space under the uniform topology. On the other hand, by the Yamada-Watanabe theorem there exists a unique measurable functional G ɛ : C S such that X ɛ (t) = G ɛ ( ɛw )(t), t [0, T ]. (35)

For h ɛ A N, by the Girsanov theorem, we conclude from (34) and (35) that solves the following equation d{x ɛ,hɛ (t) G(X ɛ,hɛ t X ɛ,hɛ (t) := G ɛ ( ɛw + h ɛ )(t), t [0, T ] )} = b(x ɛ,hɛ t )dt+σ(x ɛ,hɛ t ) h ɛ (t)dt+ ɛσ(x ɛ,hɛ )dw (t), t (36) with initial datum X ɛ,hɛ 0 = ξ C. For h H, consider a deterministic equation d{x h (t) G(Xt h )} = {b(xt h ) + σ(xt h )ḣ(t)}dt (37) with initial value X h 0 = ξ C and define X 0 (h) := X h. (38) Chenggui Yuan (Swansea University) Some Properties of NSFDEs 30 / 41

Lemma Let (H1) and (H2) hold. For p 2, h S N and h ɛ A N, ( sup X h (t) p E τ t T sup τ t T X ɛ,hɛ (t) p) C. Lemma Under (H1) and (H2), K N = {X 0 (h) : h S N } is a compact subset of S. Lemma Let (H1) and (H2) hold and assume further that the family {h ɛ } ɛ (0,1) A N converge almost surely in H to h A N. Then X ɛ,hɛ X h converges in distribution in S as ɛ 0. Chenggui Yuan (Swansea University) Some Properties of NSFDEs 31 / 41

Theorem Under (H1) and (H2), X ɛ satisfies the LDP on S with the good rate function I(f) defined by (33), where X 0 (h) solves Eq. (16). Chenggui Yuan (Swansea University) Some Properties of NSFDEs 32 / 41

for some λ i > 0 and q i 1, i = 1, 2. Chenggui Yuan (Swansea University) Some Properties of NSFDEs 33 / 41 LDP for Neutral SDDEs Consider a neutral SDDE on R n d{y (t) G(Y (t τ))} = b(y (t), Y (t τ))dt + σ(y (t), Y (t τ))dw (t) (39) with the initial data Y 0 = ξ. Assume that there exist λ 3, λ 4 > 0 such that (A1) G(x) G(y) λ 3 V 1 (x, y) x y, x, y R n. (A2) b(x 1, y 1 ) b(x 2, y 2 ) σ(x 1, y 1 ) σ(x 2, y 2 ) HS λ 4 ( x 1 x 2 + V 2 (y 1, y 2 ) y 1 y 2 ), x i, y i R n, i = 1, 2, where V i : R n R n R + such that V i (x, y) λ i (1 + x q i + y q i ), x, y R n

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 34 / 41 For ɛ (0, 1), consider the small perturbation of (39) d{y ɛ (t) G(Y ɛ (t τ))} = b(y ɛ (t), Y ɛ (t τ))dt+ ɛσ(y ɛ (t), Y ɛ (t τ))dw (t) (40) By the Yamada-Watanabe theorem there exists a unique measurable functional G ɛ : C S such that Y ɛ (t) = G ɛ ( ɛw )(t), t [0, T ]. (41)

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 35 / 41 Then, for h ɛ A N, by the Girsanov theorem, (40) and (41), Y ɛ,hɛ (t) := G ɛ ( ɛw + h ɛ )(t), t [0, T ] solves the following equation d{y ɛ,hɛ (t) G(Y ɛ,hɛ (t τ))} = b(y ɛ,hɛ (t), Y ɛ,hɛ (t τ))dt + σ(y ɛ,hɛ (t), Y ɛ,hɛ (t τ)) h ɛ (t)dt (42) + ɛσ(y ɛ,hɛ (t), Y ɛ,hɛ (t τ))dw (t)

For any h H, we introduce the skeleton equation associated with (39) d{y h (t) G(Y h (t τ))} = {b(y h (t), Y h (t τ))+σ(y h (t), Y h (t τ))ḣ(t)}dt (43) with Y0 h = ξ. Define Y 0 (h) := Y h, h H. (44) Lemma Let (A1) and (A2) hold. For any p 2, h S N and h ɛ A N, ( sup Y h (s) p E τ s T sup τ s T Y ɛ,hɛ (s) p) C. (45) Chenggui Yuan (Swansea University) Some Properties of NSFDEs 36 / 41

Lemma Under (A1) and (A2), K N = {Y 0 (h) : h S N } is a compact subset of S. Lemma Assume that the family {h ɛ } ɛ (0,1) A N converge almost surely in H to h A N. Then Y ɛ,hɛ Y h converges in distribution in S. Our second main result is: Theorem Under (A1) and (A2), Y ɛ = {Y ɛ (t)} t [0,T ], the solution of (40), satisfies the LDP on S with the good rate function I(f) defined by (33), where Y 0 (h) solves (43). Chenggui Yuan (Swansea University) Some Properties of NSFDEs 37 / 41

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 38 / 41 J. Bao, G. Yin and C. Yuan, Two-time-scale stochastic partial differential equations driven by alpha-stable noise: averaging principles, accepted by Bernoulli. J. Bao, J. Shao and C. Yuan, Approximation of invariant measures for regime-switching diffusions, Potential Analysis, 44 (2016), 707-727.. J. Bao, B. Böttcher, X. Mao, C. Yuan, Convergence rate of numerical solutions to SFDEs with jumps, J. Comput. Appl. Math. 236 (2011) 119-131. J. Bao, C. Yuan, Large deviations for neutral functional SDEs with jumps, Stochastics 87 (2015) 48-70. J. Bao and C.Yuan, Convergence rate of EM scheme for SDDEs, Proc. Amer. Math. Soc., 141 (2013), 3231-3243.

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 39 / 41 N.V. Krylov, A simple proof of the existence of a solution of Ito s equation with monotone coefficients. Theory Probab. Appl., 35(1990), 583 587. X. Mao, Stochastic differential equations and applications. Second Edition. Horwood Publishing Limited, 2008. Chichester. S.-E. A. Mohammed, Stochastic Functional Differential Equations, Longman, Harlow/New York, 1984. S.-E. A. Mohammed, T. Zhang, Large deviations for stochastic systems with memory, Discrete Contin. Dyn. Syst. Ser. B, 6 (2006), 881 893.

Chenggui Yuan (Swansea University) Some Properties of NSFDEs 40 / 41 V. Maroulas, Uniform Large deviations for infinite dimensional stochastic systems with jumps, arxiv:1002.3290. J. Ren, S. Xu, X. Zhang, Large deviations for multivalued stochastic differential equations, J. Theoret. Probab., 23 (2010), 1142 1156. M. Röckner, T. Zhang, Stochastic evolution equations of jump type: existence, uniqueness and large deviation principles, Potential Anal., 26 (2007), 255 279.

Thanks A Lot! Chenggui Yuan (Swansea University) Some Properties of NSFDEs 41 / 41