arXiv subjects

Jialin Hong

Publications and source records attributed to Jialin Hong.

At least 19 recordsLinked to original sources

arXiv2026

Random attractors and almost-sure stability under discretization of a stochastic autoparametric system

For a stochastic autoparametric block-and-pendulum system, the long-time dynamics exhibit two fundamental features: the almost-sure stability of the single mode solution, characterized by its Lyapunov exponent, and the global asymptotic dynamics when this single mode solution loses stability. This naturally raises the question of whether these dynamical features are preserved under discretization, since such preservation is essential for the resulting discrete system to faithfully capture the qualitative behavior of the continuous system. To address this question, we first establish the existence of a random attractor for the continuous system subject to multiplicative stochastic excitation, providing a rigorous characterization of the global asymptotic dynamics. We then propose a numerical discretization that induces a discrete random dynamical system and prove the convergence of its random attractor to the continuous one as the step size tends to zero. In addition, we show that the numerical Lyapunov exponent of the single mode solution has the same sign as its continuous counterpart for sufficiently small step sizes, thus preserving the corresponding almost-sure stability or instability classification. These results demonstrate that the proposed discretization captures both the global asymptotic dynamics and the stability characteristics of the underlying stochastic autoparametric system.

math.DS↗

arXiv2026

Novel physical property preserved methods for stochastic Schr\"{o}dinger--KdV equation

In this work, we study the stochastic Schr\"odinger--KdV equation driven by additive noise from both analytical and numerical viewpoints. We first establish the evolution laws for the averaged plasmon number, momentum, and energy, together with the conservation of the averaged particle number. Motivated by these intrinsic structures, we develop two temporal discretizations. One is constructed based on the splitting strategy and Crank--Nicolson scheme, and is shown to preserve the discrete evolution laws of the averaged plasmon number and momentum, as well as the discrete conservation law of the averaged particle number. The other is proposed within the constant scalar auxiliary variable framework, in which the nonlinear energy functional is reformulated so that a modified averaged energy law can be preserved at the discrete level. Combining these temporal discretizations with a local discontinuous Galerkin approximation in space yields structure-preserving full discretizations inheriting the corresponding discrete physical laws. Numerical experiments are presented to validate the theoretical results and to demonstrate the accuracy, robustness, and effectiveness of the proposed methods.

math.NA↗

arXiv2026

Quantifying the effect of graph structure on strong Feller property of SPDEs

This paper investigates how the structure of the underlying graph influences the behavior of stochastic partial differential equations (SPDEs) on finite tree graphs, where each edge is driven by space-time white noise. We first introduce a novel graph-based null decomposition approach to analyzing the strong Feller property of the Markov semigroup generated by SPDEs on tree graphs. By examining the positions of zero entries in eigenfunctions of the graph Laplacian operator, we establish a sharp upper bound on the number of noise-free edges that ensures both the strong Feller property and irreducibility. Interestingly, we find that the addition of noise to any single edge is sufficient for chain graphs, whereas for star graphs, at most one edge can remain noise-free without compromising the system's properties. Furthermore, under a dissipative condition, we prove the existence and exponential ergodicity of a unique invariant measure.

math.PR↗

arXiv2025

Symplectic methods for stochastic Hamiltonian systems: asymptotic error distributions and Hamiltonian-specific analysis

In this paper, we investigate the asymptotic error distributions of symplectic methods for stochastic Hamiltonian systems and further provide Hamiltonian-specific analysis that clarifies the superiority of symplectic methods. Our contribution is threefold. First, we derive the asymptotic error distributions of symplectic methods for stochastic Hamiltonian systems with multiplicative noise and additive noise, respectively, and show that the obtained limiting stochastic processes satisfy equations retaining the Hamiltonian formulations. Second, we propose a new approach for calculating the asymptotic error distribution, revealing the connection between the stochastic modified equation and the asymptotic error distribution. Third, we characterize the limiting distribution of the normalized Hamiltonian deviation, thereby illustrating through test equations the superiority of symplectic methods for long-time simulations of the Hamiltonians, even in the limit as the step size tends to zero.

math.NA↗

arXiv2025

The law of iterated logarithm for numerical approximation of time-homogeneous Markov process

The law of the iterated logarithm (LIL) for the time-homogeneous Markov process with a unique invariant measure characterizes the almost sure maximum possible fluctuation of time averages around the ergodic limit. Whether a numerical approximation can preserve this asymptotic pathwise behavior remains an open problem. In this work, we give a positive answer to this question and establish the LIL for the numerical approximation of such a process under verifiable assumptions. The Markov process is discretized by a decreasing time-step strategy, which yields the non-homogeneous numerical approximation but facilitates a martingale-based analysis. The key ingredient in proving the LIL for such numerical approximation lies in extracting a quasi-uniform time-grid subsequence from the original non-uniform time grids and establishing the LIL for a predominant martingale along it, while the remainder terms converge to zero. Finally, we illustrate that our results can be flexibly applied to numerical approximations of a broad class of stochastic systems, including SODEs and SPDEs.

math.NA↗

arXiv2025

Asymptotic error distribution of numerical methods for parabolic SPDEs with multiplicative noise

This paper aims to investigate the asymptotic error distribution of several numerical methods for stochastic partial differential equations (SPDEs) with multiplicative noise. Firstly, we give the limit distribution of the normalized error process of the exponential Euler method in $\dot{H}^\eta$ for some $\eta>0$. A key finding is that the asymptotic error in distribution of the exponential Euler method is governed by a linear SPDE driven by infinitely many independent $Q$-Wiener processes. This characteristic represents a significant difference from numerical methods for both stochastic ordinary differential equations and SPDEs with additive noise. Secondly, as applications of the above result, we derive the asymptotic error distribution of a full discretization based on the temporal exponential Euler method and the spatial finite element method. As a concrete illustration, we provide the pointwise limit distribution of the normalized error process when the exponential Euler method is applied to a specific class of stochastic heat equations. Finally, by studying the asymptotic error of the spatial semi-discrete spectral Galerkin method, we demonstrate that the actual strong convergence speed of spatial semi-discrete numerical methods may be highly problem-dependent, rather than universally predictable.

math.NA↗

arXiv2025

Random attractor and SRB measure for stochastic Hopf bifurcation under discretization

Chaotic phases in stochastic differential equations are characterized by two essential long-time dynamical features: a random attractor capturing asymptotic geometry and a Sinai-Ruelle-Bowen (SRB) measure describing statistical information. This paper investigates whether the stochastic Hopf bifurcation under discretization could inherit both features. We establish that the stochastic Hopf bifurcation under discretization induces a discrete random dynamical system. Further, we prove that this discrete system possesses a random attractor, and then derive the existence of an SRB measure by demonstrating a strictly positive numerical Lyapunov exponent. Numerical experiments visualize the retained random attractor and SRB measure for the discrete random dynamical system, revealing structures consistent with the theoretical chaotic phase.

math.DS↗

arXiv2024

$L^p$-strong convergence orders of fully discrete schemes for the SPDE driven by L\'evy noise

It is well known that for a stochastic differential equation driven by L\'evy noise, the temporal H\"older continuity in $L^p$ sense of the exact solution does not exceed $1/p$. This leads to that the $L^p$-strong convergence order of a numerical scheme will vanish as $p$ increases to infinity if the temporal H\"older continuity of the solution process is directly used. A natural question arises: can one obtain the $L^p$-strong convergence order that does not depend on $p$? In this paper, we provide a positive answer for fully discrete schemes of the stochastic partial differential equation (SPDE) driven by L\'evy noise. Two cases are considered: the first is the linear multiplicative Poisson noise with $\nu(\chi)<\infty$ and the second is the additive Poisson noise with $\nu(\chi)\leq\infty$, where $\nu$ is the L\'evy measure and $\chi$ is the mark set. For the first case, we present a strategy by employing the jump-adapted time discretization, while for the second case, we introduce the approach based on the recently obtained L\^e's quantitative John--Nirenberg inequality. We show that proposed schemes converge in $L^p$ sense with orders almost $1/2$ in both space and time for all $p\ge2$, which contributes novel results in the numerical analysis of the SPDE driven by L\'evy noise.

math.NA↗

arXiv2024

A new class of splitting methods that preserve ergodicity and exponential integrability for stochastic Langevin equation

In this paper, we propose a new class of splitting methods to solve the stochastic Langevin equation, which can simultaneously preserve the ergodicity and exponential integrability of the original equation. The central idea is to extract a stochastic subsystem that possesses the strict dissipation from the original equation, which is inspired by the inheritance of the Lyapunov structure for obtaining the ergodicity. We prove that the exponential moment of the numerical solution is bounded, thus validating the exponential integrability of the proposed methods. Further, we show that under moderate verifiable conditions, the methods have the first-order convergence in both strong and weak senses, and we present several concrete splitting schemes based on the methods. The splitting strategy of methods can be readily extended to construct conformal symplectic methods and high-order methods that preserve both the ergodicity and the exponential integrability, as demonstrated in numerical experiments. Our numerical experiments also show that the proposed methods have good performance in the long-time simulation.

math.NA↗

arXiv2024

On structure preservation for fully discrete finite difference schemes of stochastic heat equation with L\'evy space-time white noise

This paper investigates the structure preservation and convergence analysis of a class of fully discrete finite difference schemes for the stochastic heat equation driven by L\'evy space-time white noise. The novelty lies in the simultaneous preservation of intrinsic structures for the exact solution, in particular the weak intermittency of moments and the regularity of c\`adl\`ag path in negative fractional Sobolev spaces. The key in the proof is the detailed analysis of technical estimates for discrete Green functions of the numerical solution. This analysis is also crucial in establishing the mean-square convergence of the schemes with orders of almost $\frac12$ in space and almost $\frac14$ in time.

math.NA↗

arXiv2024

Asymptotic error distribution of accelerated exponential Euler method for parabolic SPDEs

The asymptotic error distribution of numerical methods applied to stochastic ordinary differential equations has been well studied, which characterizes the evolution pattern of the error distribution in the small step-size regime. It is still open for stochastic partial differential equations whether the normalized error process of numerical methods admits a nontrivial limit distribution. We answer this question by presenting the asymptotic error distribution of the temporal accelerated exponential Euler (AEE) method when applied to parabolic stochastic partial differential equations. In order to overcome the difficulty caused by the infinite-dimensional setting, we establish a uniform approximation theorem for convergence in distribution. Based on it, we derive the limit distribution of the normalized error process of the AEE method by studying the limit distribution of its certain appropriate finite-dimensional approximation process. As applications of our main result, the asymptotic error distribution of a fully discrete AEE method for the original equation and that of the AEE method for a stochastic ordinary differential equation are also obtained.

math.NA↗

arXiv2024

Novel semi-explicit symplectic schemes for nonseparable stochastic Hamiltonian systems

In this manuscript, we propose efficient stochastic semi-explicit symplectic schemes tailored for nonseparable stochastic Hamiltonian systems (SHSs). These semi-explicit symplectic schemes are constructed by introducing augmented Hamiltonians and using symmetric projection. In the case of the artificial restraint in augmented Hamiltonians being zero, the proposed schemes also preserve quadratic invariants, making them suitable for developing semi-explicit charge-preserved multi-symplectic schemes for stochastic cubic Schrödinger equations with multiplicative noise. Through numerical experiments that validate theoretical results, we demonstrate that the proposed stochastic semi-explicit symplectic scheme, which features a straightforward Newton iteration solver, outperforms the traditional stochastic midpoint scheme in terms of effectiveness and accuracy.

math.NA↗

arXiv2024

Superiority of stochastic symplectic methods via the law of iterated logarithm

The superiority of stochastic symplectic methods over non-symplectic counterparts has been verified by plenty of numerical experiments, especially in capturing the asymptotic behaviour of the underlying solution process. How can one theoretically explain this superiority? This paper gives an answer to this problem from the perspective of the law of iterated logarithm, taking the linear stochastic Hamiltonian system in Hilbert space as a test model. The main contribution is twofold. First, by fully utilizing the time-change theorem for martingales and the Borell--TIS inequality, we prove that the upper limit of the exact solution with a specific scaling function almost surely equals some non-zero constant, thus confirming the validity of the law of iterated logarithm. Second, we prove that stochastic symplectic fully discrete methods asymptotically preserve the law of iterated logarithm, but non-symplectic ones do not. This reveals the good ability of stochastic symplectic methods in characterizing the almost sure asymptotic growth of the utmost fluctuation of the underlying solution process. Applications of our results to the linear stochastic oscillator and the linear stochastic Schrodinger equation are also presented.

math.NA↗

arXiv2024

Longtime behaviors of $θ$-Euler-Maruyama method for stochastic functional differential equations

This paper investigates longtime behaviors of the $θ$-Euler-Maruyama method for the stochastic functional differential equation with superlinearly growing coefficients. We focus on the longtime convergence analysis in mean-square sense and weak sense of the $θ$-Euler-Maruyama method, the convergence of the numerical invariant measure, the existence and convergence of the numerical density function, and the Freidlin-Wentzell large deviation principle of the method. The main contributions are outlined as follows. First, we obtain the longtime mean-square convergence of the $θ$-Euler-Maruyama method and show that the mean-square convergence rate is $\frac12$. A key step in the proof is to establish the time-independent boundedness of high-order moments of the numerical functional solution. Second, based on the technique of the Malliavin calculus, we present the longtime weak convergence of the $θ$-Euler-Maruyama method, which implies that the invariant measure of the $θ$-Euler-Maruyama functional solution converges to the exact one with rate $1.$ Third, by the analysis of the test-functional-independent weak convergence and negative moment estimates of the determinant of the corresponding Malliavin covariance matrix, we derive the existence, convergence, and the logarithmic estimate of the density function of the $θ$-Euler-Maruyama solution. At last, utilizing the weak convergence method, we obtain the Freidlin-Wentzell large deviation principle for the $θ$-Euler-Maruyama solution on the infinite time horizon.

math.NA↗

arXiv2024

Long-time weak convergence analysis of a semi-discrete scheme for stochastic Maxwell equations

It is known from the monograph [1, Chapter 5] that the weak convergence analysis of numerical schemes for stochastic Maxwell equations is an unsolved problem. This paper aims to fill the gap by establishing the long-time weak convergence analysis of the semi-implicit Euler scheme for stochastic Maxwell equations. Based on analyzing the regularity of transformed Kolmogorov equation associated to stochastic Maxwell equations and constructing a proper continuous adapted auxiliary process for the semi-implicit scheme, we present the long-time weak convergence analysis for this scheme and prove that the weak convergence order is one, which is twice the strong convergence order. As applications of this result, we obtain the convergence order of the numerical invariant measure, the strong law of large numbers and central limit theorem related to the numerical solution, and the error estimate of the multi-level Monte Carlo estimator. As far as we know, this is the first result on the weak convergence order for stochastic Maxwell equations.

math.NA↗

arXiv2024

Long-time dynamics of stochastic wave equation with dissipative damping and its full discretization: exponential ergodicity and strong law of large numbers

For stochastic wave equation, when the dissipative damping is a non-globally Lipschitz function of the velocity, there are few results on the long-time dynamics, in particular, the exponential ergodicity and strong law of large numbers, for the equation and its numerical discretization to our knowledge. Focus on this issue, the main contributions of this paper are as follows. First, based on constructing novel Lyapunov functionals, we show the unique invariant measure and exponential ergodicity of the underlying equation and its full discretization. Second, the error estimates of invariant measures both in Wasserstein distance and in the weak sense are obtained. Third, the strong laws of large numbers of the equation and the full discretization are obtained, which states that the time averages of the exact and numerical solutions are shown to converge to the ergodic limit almost surely.

math.PR↗

arXiv2023

Strong convergence of adaptive time-stepping schemes for the stochastic Allen--Cahn equation

It is known in \cite{beccari} that the standard explicit Euler-type scheme (such as the exponential Euler and the linear-implicit Euler schemes) with a uniform timestep, though computationally efficient, may diverge for the stochastic Allen--Cahn equation. To overcome the divergence, this paper proposes and analyzes adaptive time-stepping schemes, which adapt the timestep at each iteration to control numerical solutions from instability. The \textit{a priori} estimates in $\mathcal {C}(\mathcal {O})$-norm and $\dot{H}^β(\mathcal{O})$-norm of numerical solutions are established provided the adaptive timestep function is suitably bounded, which plays a key role in the convergence analysis. We show that the adaptive time-stepping schemes converge strongly with order $\fracβ{2}$ in time and $\fracβ{d}$ in space with $d$ ($d=1,2,3$) being the dimension and $β\in(0,2]$. Numerical experiments show that the adaptive time-stepping schemes are simple to implement and at a lower computational cost than a scheme with the uniform timestep.

math.NA↗

arXiv2023

Probabilistic limit behaviors of numerical discretizations for time-homogeneous Markov processes

In order to give quantitative estimates for approximating the ergodic limit, we investigate probabilistic limit behaviors of time-averaging estimators of numerical discretizations for a class of time-homogeneous Markov processes, by studying the corresponding strong law of large numbers and the central limit theorem. Verifiable general sufficient conditions are proposed to ensure these limit behaviors, which are related to the properties of strong mixing and strong convergence for numerical discretizations of Markov processes. Our results hold for test functionals with lower regularity compared with existing results, and the analysis does not require the existence of the Poisson equation associated with the underlying Markov process. Notably, our results are applicable to numerical discretizations for a large class of stochastic systems, including stochastic ordinary differential equations, infinite dimensional stochastic evolution equations, and stochastic functional differential equations.

math.PR↗