arXiv subjects

Tonghe Dang

Publications and source records attributed to Tonghe Dang.

15 recordsLinked to original sources

arXiv2026

Convergence and variational structure of a staggered scheme for mean field games with individual noise on graphs

We propose and analyze a time-staggered numerical scheme for mean field game (MFG) systems with individual noise on finite graphs. Numerically solving such coupled forward--backward systems is delicate because the density evolves in the open probability simplex and the coefficients may degenerate at its boundary. The scheme preserves mass and satisfies a discrete fundamental identity compatible with the Lasry--Lions monotonicity argument, leading to uniqueness of the numerical solution. By establishing a timestep-uniform positive lower bound for the density and uniform bounds for the value variable, we prove first-order convergence for every interior discrete solution. For potential MFGs, we establish a variational characterization by identifying the scheme with the KKT system of a convex discrete action, yielding existence of the discrete solution and an optimization-based realization. The resulting optimization problem is solved by a feasible primal--dual Newton method in mass-preserving coordinates. Numerical experiments confirm the predicted convergence rate and illustrate topology-dependent transport and congestion-driven route choice.

math.NA↗

arXiv2026

First-Order Convergence of Monotone Schemes for Hamilton--Jacobi Equations on the Wasserstein Space on Graphs

We prove first-order convergence of semi-discrete monotone finite difference schemes for Hamilton--Jacobi equations on the Wasserstein space over a finite graph. A central challenge is the boundary degeneracy of the Wasserstein simplex, which prevents the direct use of the standard $L^1$ adjoint method and limits doubling-of-variables arguments to the suboptimal rate $\mathcal O(h^{\frac 12})$ \cite{CDM25}. We address this issue by introducing a weighted $L^1$ framework with a boundary-vanishing weight and by analyzing the corresponding weighted adjoint equation for the linearized operator of the scheme, featuring a new geometric drift term. Our proof relies on uniform bounds for the weighted adjoint variable and the mesh-parameter derivative of the numerical solution. These estimates are derived from discrete gradient and semi-concavity bounds, obtained through a bootstrap argument for two classes of monotone Hamiltonians.

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

Hamilton--Jacobi--Bellman equation for optimal control of stochastic Wasserstein--Hamiltonian system on graphs

Stochastic optimal control problems for Hamiltonian dynamics on graphs have wide-ranging applications in mechanics and quantum field theory, particularly in systems with graph-based structures. In this paper, we establish the existence and uniqueness of viscosity solutions for a new class of Hamilton--Jacobi--Bellman (HJB) equations arising from the optimal control of stochastic Wasserstein--Hamiltonian systems (SWHSs) on graphs. One distinctive feature of these HJB equations is the simultaneous involvement of the Wasserstein geometry on the Wasserstein space over graphs and the Euclidean geometry in physical space. The nonlinear geometric structure, along with the logarithmic potential induced by the graph-based state equation, adds further complexity to the analysis. To address these challenges, we introduce an energy-truncation technique within the doubling of variables framework, specifically designed to handle the interaction between the interiorly defined Wasserstein space on graphs and the unbounded Euclidean space. In particular, our findings demonstrate the well-posedness of HJB equations related to optimal control problems for both stochastic Schr\"odinger equation with polynomial nonlinearity and stochastic logarithmic Schr\"odinger equation on graphs. To the best of our knowledge, this work is the first to develop HJB equations for the optimal control of SWHSs on graphs.

math.OC↗

arXiv2025

Finite difference schemes for Hamilton--Jacobi equation on Wasserstein space on graphs

This work proposes and studies numerical schemes for initial value problems of Hamilton--Jacobi equations (HJEs) with a graph individual noise on the Wasserstein space on graphs. Numerically solving such equations is particularly challenging due to the structural complexity caused by discrete geometric derivatives and logarithmic geometry. Our numerical schemes are constructed using finite difference approximations that are adapted to both the discrete geometry of graphs and the differential structure of Wasserstein spaces. To ensure numerical stability and accuracy of numerical behavior, we use extrapolation-type techniques to simulate the numerical solution on the boundary of density space. By analyzing approximation error of Wasserstein gradient of the viscosity solution, we prove the uniform convergence of the schemes to the original initial value problem, and establish an $L^{\infty}_{\mathrm{loc}}$-error estimate of order one-half. Several numerical experiments are presented to illustrate our theoretical findings and to study the effect of individual noise and Hamiltonians on graphs. To the best of our knowledge, this is the first result on numerical schemes for HJEs on the Wasserstein space with a graph structure.

math.NA↗

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évy 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évy 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àdlàg 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

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↗

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↗

arXiv2022

An adaptive time-stepping fully discrete scheme for stochastic NLS equation: Strong convergence and numerical asymptotics

In this paper, we propose and analyze an adaptive time-stepping fully discrete scheme which possesses the optimal strong convergence order for the stochastic nonlinear Schrödinger equation with multiplicative noise. Based on the splitting skill and the adaptive strategy, the $H^1$-exponential integrability of the numerical solution is obtained, which is a key ingredient to derive the strong convergence order. We show that the proposed scheme converges strongly with orders $\frac12$ in time and $2$ in space. To investigate the numerical asymptotic behavior, we establish the large deviation principle for the numerical solution. This is the first result on the study of the large deviation principle for the numerical scheme of stochastic partial differential equations with superlinearly growing drift. And as a byproduct, the error of the masses between the numerical and exact solutions is finally obtained.

math.NA↗

arXiv2022

Central limit theorem for full discretization of parabolic SPDE

In order to characterize the fluctuation between the ergodic limit and the time-averaging estimator of a full discretization in a quantitative way, we establish a central limit theorem for the full discretization of the parabolic stochastic partial differential equation. The theorem shows that the normalized time-averaging estimator converges to a normal distribution with the variance being the same as that of the continuous case, where the scale used for the normalization corresponds to the temporal strong convergence order of the considered full discretization. A key ingredient in the proof is to extract an appropriate martingale difference series sum from the normalized time-averaging estimator so that the convergence to the normal distribution of such a sum and the convergence to zero in probability of the remainder are well balanced. The main novelty of our method to balance the convergence lies in proposing an appropriately modified Poisson equation so as to possess the space-independent regularity estimates. As a byproduct, the full discretization is shown to fulfill the weak law of large numbers, namely, the time-averaging estimator converges to the ergodic limit in probability.

math.PR↗

arXiv2021

Weak intermittency and second moment bound of a fully discrete scheme for stochastic heat equation

In this paper, we first prove the weak intermittency, and in particular the sharp exponential order $Cλ^4t$ of the second moment of the exact solution of the stochastic heat equation with multiplicative noise and periodic boundary condition, where $λ>0$ denotes the level of the noise. In order to inherit numerically these intrinsic properties of the original equation, we introduce a fully discrete scheme, whose spatial direction is based on the finite difference method and temporal direction is based on the $θ$-scheme. We prove that the second moment of numerical solutions of both spatially semi-discrete and fully discrete schemes grows at least as $\exp\{Cλ^2t\}$ and at most as $\exp\{Cλ^4t\}$ for large $t$ under natural conditions, which implies the weak intermittency of these numerical solutions. Moreover, a renewal approach is applied to show that both of the numerical schemes could preserve the sharp exponential order $Cλ^4t$ of the second moment of the exact solution for large spatial partition number.

math.NA↗