This paper establishes strong convergence results for stochastic differential equations (SDEs) and Volterra-type SDEs under compound Poisson process approximation, and derives explicit convergence rates. The key advantage of compound Poisson approximation over classical Euler-Maruyama methods is that it does not require continuity of drift coefficients in the time variable and can even handle singularities. Numerical experiments verify the stability of the method.
This paper studies the numerical approximation of stochastic differential equations and stochastic Volterra equations, with particular focus on cases where coefficients exhibit temporal singularities.
Problem 1: Standard SDE Consider the stochastic differential equation on :
where , , and is an -dimensional standard Brownian motion.
Problem 2: Stochastic Volterra Equation
Key characteristic: coefficients depend on both current time and integration variable , reflecting memory effects.
Basic Poisson Process: Let be i.i.d. exponential random variables with parameter 1:
Define jump times: ,
Standard Poisson process:
Scaled Poisson Process: For given , define:
where is a Poisson process with jump size and intensity .
Compound Poisson Process:
This is a compound Poisson process with intensity measure .
Compound Poisson Approximation for SDEs:
Fully discrete form:
Compound Poisson Approximation for Stochastic Volterra Equations:
Fully discrete form:
Unlike deterministic time grids, this approach uses jump times of the Poisson process as discretization points, implementing a stochastic discretization strategy with key advantages:
For SDEs, the error is decomposed into four terms:
where:
Lemma 2.1 (Moment Estimates for Poisson Jump Times): For , :
This estimate is more refined than direct application of .
Lemma 2.3 (Poisson Process Deviation Estimate): For any :
This is the most difficult term, requiring:
For Volterra equations, handling is more complex, requiring introduction of intermediate discretization parameter and decomposition into four sub-terms.
where:
\mu_0|s - s_0|^{-\alpha}, & s \in (0, \frac{1}{2}) \\ \mu_1|s - s_1|^{-\beta}, & s \in [\frac{1}{2}, 1] \end{cases}$$ Parameter settings: $\sigma_0 = 0.1$, $\mu_0 = 0.3$, $\mu_1 = 0.7$, $s_0 = 0.4$, $s_1 = 0.6$, $\alpha = \beta = 0.5$ **Characteristics**: - $\mu(s)$ has singularities at $s = s_0$ and $s = s_1$ - Discontinuous at $s = 0.5$ (left and right limits differ) - Analytical solution can be explicitly computed for verification #### Experiment 2: Linear Stochastic Volterra Equation with Singular Kernel $$X_t = X_0 + \mu \int_0^t (t-s)^{-\alpha_0}|s - s_0|^{-\beta_0} X_s ds + \sqrt{\sigma} \int_0^t (t-s)^{-\alpha_1/2}|s - s_1|^{-\beta_1/2} X_s dW_s$$ **Scenario 1**: $X_0 = 1$, $\mu = 0.2$, $\sigma = 0.1$, $\alpha_0 = 0.3$, $\beta_0 = 0.5$, $\alpha_1 = 0.2$, $\beta_1 = 0.4$, $s_0 = 0.2$, $s_1 = 0$ **Scenario 2**: $X_0 = 1$, $\mu = 0$, $\sigma = 0.3$, $\alpha_1 = 0.05$, $\beta_1 = 0.25$, $s_1 = 0.2$ **Characteristics**: Kernel functions exhibit multiple singularities ### Evaluation Metrics - **Sample Mean**: Numerical estimates of $\mathbb{E}(X_t)$ and $\mathbb{E}|X_t|^2$ - **Comparison with Analytical Solution**: For linear equations, exact solutions or Neumann series representations can be computed - **Visual Comparison**: Graphical display of agreement between numerical and analytical solutions ### Comparison Methods - **Euler-Maruyama Method**: Classical deterministic time discretization approach - **Analytical Solution/Reference Solution**: Computed via Neumann series or explicit formulas ### Implementation Details - **Step Size**: $\varepsilon = 0.001$ - **Number of Sample Paths**: 10,000 - **Time Interval**: $[0, 1]$ - **Programming Implementation**: Based on Monte Carlo simulation of Poisson processes ## Experimental Results ### Main Results #### Experiment 1 Results (Figure 1) - **Green Curve**: Analytical solution - **Blue Curve**: Compound Poisson approximation (mean of 10,000 sample paths) - **Red Curve**: Euler-Maruyama method **Observations**: 1. Compound Poisson approximation shows excellent agreement with analytical solution 2. Euler-Maruyama method exhibits significant deviation near singular points 3. For both $\mathbb{E}(X_t)$ and $\mathbb{E}|X_t|^2$, compound Poisson method performs excellently #### Experiment 2 Results (Figure 2) - **Left Plot**: Comparison of $\mathbb{E}(X_t)$ - **Right Plot**: Comparison of $\mathbb{E}|X_t|^2$ **Observations**: 1. Compound Poisson approximation (blue) nearly perfectly overlaps with reference solution (green) 2. Euler-Maruyama method (red) produces systematic bias 3. Advantages of compound Poisson method are more pronounced for Volterra equations with singular kernels ### Case Analysis **Singularity Handling Capability**: - At $\mu(s) = \mu_0|s - s_0|^{-0.5}$, $\mu(s)$ tends to infinity - Traditional EM method requires certain continuity of $\mu$, which fails here - Compound Poisson method naturally circumvents this issue through stochastic discretization **Discontinuity Point Handling**: - At $s = 0.5$, $\mu$ jumps from $\mu_0|0.5 - 0.4|^{-0.5} \approx 0.949$ to $\mu_1|0.5 - 0.6|^{-0.5} \approx 2.214$ - Compound Poisson method still yields accurate results ### Experimental Findings 1. **Stability**: Compound Poisson method exhibits excellent numerical stability when handling singular coefficients 2. **Accuracy**: Even with relatively large step size $\varepsilon = 0.001$, high precision results are obtained 3. **Relative Advantage**: Significant advantage over Euler-Maruyama method for singularity problems 4. **Neumann Series Verification**: Using Neumann series representation as reference solution for Volterra equations is an effective verification method ## Related Work ### 1. Euler-Maruyama Method and Extensions **Classical EM Method**: - Kloeden & Platen (1992): Under global Lipschitz and temporal Hölder continuity conditions, strong convergence rate is 1/2 - Yan (2002): Extension to weaker spatial regularity **EM Methods with Relaxed Conditions**: - Higham, Mao & Stuart (2002): One-sided Lipschitz condition - Hutzenthaler, Jentzen & Kloeden (2011): EM method may not converge under superlinear growth **Improved Approaches**: - Hutzenthaler, Jentzen & Kloeden (2012): Tamed Euler-Maruyama method - Sabanis (2013): Extension to polynomial growth coefficients ### 2. Numerical Methods for Stochastic Volterra Equations **Non-singular Kernel Cases**: - Tudor & Tudor (1995): Approximation schemes for Itô-Volterra equations - Wen & Zhang (2011): Improved rectangular methods - Wang (2017): Approximate representations of SVIEs **Singular Kernel Cases**: - Zhang (2008): General framework for singular kernel SVEs - Li, Huang & Hu (2022): θ-Euler-Maruyama and Milstein schemes for weakly singular kernels ### 3. Compound Poisson Approximation **Prior Work**: - Zhang (2024, IMA JNA): First introduction of compound Poisson approximation, proving weak convergence and invariant measure convergence, but only strong convergence for ODEs **Breakthrough in This Paper**: - First establishment of strong convergence theory for SDEs and SVEs - Derivation of explicit convergence rates - Extension to singular kernel cases ### 4. Related Work on Fractional Brownian Motion - Decreusefond & Üstünel (1999): Stochastic analysis of fBm - Berger & Mizel (1980): Volterra equations with Itô integrals - Wang (2008): Existence and uniqueness for singular kernel SVEs ### Unique Contributions of This Paper 1. **Methodological Innovation**: Stochastic time discretization strategy 2. **Theoretical Completion**: Filling the gap in strong convergence theory for compound Poisson approximation 3. **Application Extension**: Handling singularities that classical methods struggle with 4. **Technical Breakthrough**: Development of refined Poisson process moment estimation techniques ## Conclusions and Discussion ### Main Conclusions 1. **Theoretical Results**: - **Theorem 1.1**: For standard SDEs, under assumptions $(H_0)$, $(H_\sigma^t)$ and condition (1.6), the strong convergence rate of compound Poisson approximation is $\varepsilon^{\gamma \wedge \frac{\beta}{2}}$ - **Theorem 1.3**: For stochastic Volterra equations, under assumptions $(H_1^\gamma)$, $(H_2^\gamma)$, $(H_3^\gamma)$, the convergence rate is $\varepsilon^{\gamma/(2(2+\gamma))}$ 2. **Method Advantages**: - Does not require temporal continuity of drift coefficients - Can handle temporal singularities - Good numerical stability 3. **Application Examples**: Detailed verification of assumption conditions for fractional Brownian motion-driven equations (Theorem 4.1) ### Limitations 1. **Convergence Rate**: - For Volterra equations, convergence rate $\varepsilon^{\gamma/(2(2+\gamma))}$ is relatively slow - When $\gamma = 1$, rate is $\varepsilon^{1/6}$, lower than optimal rates in some special cases 2. **Assumption Conditions**: - Still requires certain temporal regularity of diffusion coefficient $\sigma$ (assumption $H_\sigma^t$) - For Volterra equations, assumptions $(H_1^\gamma)$-$(H_3^\gamma)$ are relatively complex 3. **Computational Cost**: - Requires simulation of Poisson processes, potentially more computationally intensive than deterministic time grids - Computation time per path is random 4. **Theoretical Analysis**: - Lack of systematic discussion on optimal choice of $\gamma$ - Sharpness of convergence rate not completely established 5. **Numerical Experiments**: - Only two relatively simple linear examples provided - Lack of numerical verification for nonlinear problems with strong singularities - No systematic comparison of convergence behavior under different $\varepsilon$ ### Future Directions 1. **Theoretical Extensions**: - Study more general non-Lipschitz coefficients - Explore optimal convergence rates - Extend to infinite-dimensional settings (SPDEs) 2. **Algorithm Improvements**: - Develop adaptive step-size strategies - Combine with other numerical techniques (e.g., Milstein scheme) - Optimize computational efficiency 3. **Application Extensions**: - Application to stochastic Navier-Stokes equations - Fractional Black-Scholes models in financial mathematics - Rough volatility models ## In-Depth Evaluation ### Strengths #### 1. Methodological Innovation (★★★★★) - **Originality**: First systematic establishment of strong convergence theory for compound Poisson approximation, breaking through Zhang (2024)'s limitation to ODEs - **Novel Idea**: Stochastic time discretization is a very clever concept, contrasting sharply with deterministic grids - **Theoretical Depth**: Refined proof techniques, particularly Lemma 2.1 and treatment of $I_2$ term #### 2. Theoretical Rigor (★★★★☆) - **Completeness**: Complete logical chain from assumptions to theorems to proofs - **Technical Details**: - Lemma 2.1 uses $|a^\alpha - b^\alpha| \leq a^{\alpha-1}|a-b|$ rather than direct $|a-b|^\alpha$, demonstrating technical refinement - Volterra equation proof introduces parameter $\delta$ optimized to $\delta = \varepsilon^{1/(2(2+\gamma))}$, showing deep technical insight - **Minor Issue**: Some constant dependencies not completely tracked #### 3. Practical Value (★★★★☆) - **Broad Applicability**: Can handle singularities that classical methods struggle with - **Simple Implementation**: Algorithm form is concise, easy to program - **Numerical Stability**: Experiments verify method stability - **Potential Applications**: Fractional Brownian motion, rough path theory and other frontier areas #### 4. Writing Quality (★★★★★) - **Clear Structure**: Introduction, main results, proofs, examples, numerical experiments are well-organized - **Accurate Expression**: Mathematical notation is rigorous and standardized - **Strong Readability**: Key ideas explained clearly, proof steps detailed #### 5. Experimental Design (★★★☆☆) - **Well-Targeted**: Selected examples perfectly showcase method advantages (singularities, discontinuities) - **Sufficient Verification**: Verified through analytical solutions and Neumann series - **Clear Comparison**: Comparison with Euler-Maruyama method is clear ### Weaknesses #### 1. Suboptimality of Convergence Rate - For Volterra equations, rate $\varepsilon^{\gamma/(2(2+\gamma))}$ is relatively slow - Whether this is optimal rate not discussed; whether rate can be improved through refined techniques unclear #### 2. Complexity of Assumption Conditions - $(H_1^\gamma)$-$(H_3^\gamma)$ three assumptions involve multiple functions $\ell_1, \ldots, \ell_5$ - Verifying these conditions in practical applications may be difficult - Necessity of conditions not sufficiently discussed #### 3. Limitations of Numerical Experiments - **Simple Examples**: Only linear equations considered, lacking nonlinear problems with strong singularities - **Fixed Parameters**: Convergence behavior as $\varepsilon$ varies not systematically studied - **Missing Rate Verification**: Theoretical predicted convergence rates not verified numerically - **Missing Cost Comparison**: Computational time comparison with EM method not provided #### 4. Incompleteness of Theoretical Analysis - **Constant Dependencies**: Dependencies of constant $C$ in theorems not explicitly tracked - **Sharpness**: Whether convergence rates are sharp not established - **Relaxability**: Whether certain assumption conditions can be further relaxed not discussed #### 5. Limitations of Application Examples - Fractional Brownian motion example, while important, only verifies assumption satisfaction - Lacks in-depth discussion of practical application backgrounds - No comparison with specialized methods in the field ### Impact #### 1. Contribution to Field (★★★★☆) - **Theoretical Contribution**: Fills gap in strong convergence theory for compound Poisson approximation, establishing theoretical foundation for this direction - **Methodological Contribution**: Stochastic time discretization idea may inspire development of other numerical methods - **Technical Contribution**: Developed technical lemmas (e.g., Lemma 2.1) may be useful in other problems #### 2. Practical Value (★★★★☆) - **Solves Practical Problems**: Provides feasible numerical method for singular kernel Volterra equations - **Application Potential**: Has application prospects in fractional stochastic calculus, rough volatility models, etc. - **Tool Value**: Provides new numerical tools for researchers in related fields #### 3. Reproducibility (★★★★☆) - **Clear Algorithm**: Fully discrete form is explicit, easy to implement - **Explicit Parameters**: Numerical experiment parameters are detailed - **Shortcoming**: No code provided; some implementation details (e.g., Neumann series truncation) not specified #### 4. Citation Potential - **Theoretical Research**: Important reference for subsequent research on numerical methods for singular SDEs - **Applied Research**: Application research in fractional Brownian motion, rough paths, etc. - **Method Development**: Further development of compound Poisson approximation methods ### Applicable Scenarios #### 1. Ideal Application Scenarios - **Singular Drift Coefficients**: Such as $b(t,x) = t^{-\alpha}f(x)$, $\alpha \in (0,1)$ - **Discontinuous Coefficients**: Piecewise-defined coefficient functions - **Singular Kernel Volterra Equations**: Such as equations driven by fractional Brownian motion - **Memory Effect Systems**: Systems requiring Volterra-type equations for modeling #### 2. Inapplicable Scenarios - **High-Dimensional Problems**: Curse of dimensionality may limit method efficiency - **High Precision Requirements**: Relatively slow convergence rate unsuitable for extremely high precision needs - **Real-Time Computation**: Stochastic discretization may increase computational uncertainty #### 3. Comparison with Other Methods | Method | Advantages | Disadvantages | Applicable Scenarios | |--------|-----------|---------------|----------------------| | **Compound Poisson Approximation** | Strong singularity handling; no temporal continuity required | Slower convergence rate; computational randomness | Singular coefficients; discontinuous coefficients | | **Euler-Maruyama** | Simple implementation; mature theory | Requires temporal Hölder continuity | Smooth coefficients; standard SDEs | | **Tamed EM** | Handles superlinear growth | Still requires temporal regularity | Non-globally Lipschitz | | **Milstein Scheme** | Higher-order accuracy | Requires derivative information | Smooth coefficients; high precision needs | ## Key References 1. **Kloeden & Platen (1992)**: *Numerical Solution of Stochastic Differential Equations* - Classical textbook on EM method 2. **Zhang (2024)**: *Compound Poisson particle approximation for McKean-Vlasov SDEs*, IMA JNA - Direct predecessor of this work 3. **Zhang (2008)**: *Euler schemes and large deviations for stochastic Volterra equations with singular kernels*, JDE - Important theoretical work on singular kernel SVEs 4. **Li, Huang & Hu (2022)**: *Numerical methods for stochastic Volterra integral equations with weakly singular kernels*, IMA JNA - Related numerical methods 5. **Decreusefond & Üstünel (1999)**: *Stochastic analysis of the fractional Brownian motion* - Foundation of stochastic analysis for fractional Brownian motion --- ## Overall Evaluation This is a **high-quality theoretical work** making important contributions to numerical analysis of stochastic differential equations. Main highlights include: 1. **Strong Innovation**: First systematic establishment of strong convergence theory for compound Poisson approximation 2. **Theoretical Rigor**: Refined proof techniques, complete logic 3. **Practical Value**: Solves singularity problems that classical methods struggle with Main areas for improvement: 1. Numerical experiments could be more comprehensive and systematic 2. Optimality of convergence rates requires further research 3. Practical application cases could be explored more deeply **Recommendation Index**: ★★★★☆ (4.5/5) **Target Readers**: Researchers in stochastic analysis, numerical analysis, financial mathematics, stochastic partial differential equations, etc. **Reading Suggestions**: - Theoretical researchers: Focus on proof techniques in Sections 2-3 - Applied researchers: Focus on main results in Section 1 and examples in Sections 4-5 - Numerical analysts: Focus on algorithm implementation and numerical experiments