{"title":"Mean square temporal error estimates for the two-dimensional stochastic Navier–Stokes equations with transport noise","authors":"D Breit, T C Moyo, A Prohl, J Wichmann","doi":"10.1093/imanum/draf042","DOIUrl":"https://doi.org/10.1093/imanum/draf042","url":null,"abstract":"We study the two-dimensional Navier–Stokes equation with transport noise subject to periodic boundary conditions. Our main result is an error estimate for the time discretization showing a convergence rate of order (up to) 1/2. It holds with respect to mean square error convergence, whereas previously such a rate for the stochastic Navier–Stokes equations was only known with respect to convergence in probability. Our result is based on uniform-in-probability estimates for the continuous as well as the time-discrete solution exploiting the particular structure of the noise. Eventually, we perform numerical simulations for the corresponding problem on bounded domains with no-slip boundary conditions. They suggest the same convergence rate as proved for the periodic problem hinging sensitively on the compatibility of the data. We also compare the energy profiles with those for corresponding problems with additive or multiplicative Itô-type noise.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"26 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144288199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Consistency and stability of boundary conditions for a two-velocities lattice Boltzmann scheme","authors":"Thomas Bellotti","doi":"10.1093/imanum/draf039","DOIUrl":"https://doi.org/10.1093/imanum/draf039","url":null,"abstract":"We theoretically explore boundary conditions for lattice Boltzmann methods, focusing on a toy two-velocities scheme to tackle a linear one-dimensional advection equation. By mapping lattice Boltzmann schemes to Finite Difference schemes, we facilitate rigorous consistency and stability analyses. We develop kinetic boundary conditions for inflows and outflows, highlighting the trade-off between accuracy and stability, which we successfully overcome. Consistency analysis relies on modified equations, whereas stability is assessed using the GKS (Gustafsson, Kreiss and Sundström) theory and—when this approach fails on coarse meshes—spectral and pseudo-spectral analyses of the scheme’s matrix that explain effects germane to low resolutions.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"48 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144268846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A new framework for the construction and analysis of exponential wave integrators for the Zakharov system","authors":"Jiyong Li, Bin Wang","doi":"10.1093/imanum/draf016","DOIUrl":"https://doi.org/10.1093/imanum/draf016","url":null,"abstract":"The main challenge in the analysis of numerical methods for the Zakharov system (ZS) originates from the presence of derivatives in the nonlinearity. In this paper, we present a novel reformulation of the ZS, which allows us to construct second-order time symmetric methods and higher-order numerical methods for the ZS even with generalized nonlinear terms. By considering exponential wave integrators (EWIs) for this reformulation, a new time symmetric EWI is formulated and its properties are rigorously studied. The proposed method is proved to have two conservation laws at the discrete level. The second-order convergence in time is rigorously shown under a time-step restriction that is independent of the spatial discretization. Moreover, by the strategy presented in this paper, higher-order methods are obtained for the ZS with generalized nonlinear terms. Numerical explorations confirm the theoretical results and superiority of the proposed integrators.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"20 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144268625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Perturbation estimates for order-one strong approximations of SDEs without globally monotone coefficients","authors":"Lei Dai, Xiaojie Wang","doi":"10.1093/imanum/draf034","DOIUrl":"https://doi.org/10.1093/imanum/draf034","url":null,"abstract":"To obtain strong convergence rates of numerical schemes, an overwhelming majority of existing works impose a global monotonicity condition on coefficients of stochastic differential equations (SDEs). Nevertheless, there are still many SDEs from applications that do not have globally monotone coefficients. As a recent breakthrough, the authors of (Hutzenthaler and Jentzen 2020, Ann. Prob., 48, 53–93) originally presented a perturbation theory for SDEs, which is crucial to recovering strong convergence rates of numerical schemes in a non-globally monotone setting. However, only a convergence rate of order $1/2$ was obtained there for time-stepping schemes such as a stopped increment-tamed Euler–Maruyama (SITEM) method. An interesting question arises, also raised by the aforementioned work, as to whether a higher convergence rate than $1/2$ can be obtained when higher order schemes are used. The present work attempts to give a positive answer to this question. To this end, we develop some new perturbation estimates that are able to reveal the order-one strong convergence of numerical methods. As the first application of the newly developed estimates, we identify the expected order-one pathwise uniformly strong convergence of the SITEM method for additive noise driven SDEs and multiplicative noise driven second-order SDEs with non-globally monotone coefficients. As the other application, we propose and analyze a positivity preserving explicit Milstein-type method for Lotka–Volterra competition model driven by multi-dimensional noise, with a pathwise uniformly strong convergence rate of order one recovered under mild assumptions. These obtained results are completely new and significantly improve the existing theory. Numerical experiments are also provided to confirm the theoretical findings.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"26 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144252258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Efficient solution of ill-posed integral equations through averaging","authors":"Michael Griebel, Tim Jahn","doi":"10.1093/imanum/draf038","DOIUrl":"https://doi.org/10.1093/imanum/draf038","url":null,"abstract":"This paper discusses the error and cost aspects of ill-posed integral equations when given discrete noisy point evaluations on a fine grid. Standard solution methods usually employ discretization schemes that are directly induced by the measurement points. Thus, they may scale unfavourably with the number of evaluation points, which can result in computational inefficiency. To address this issue we propose an algorithm that achieves the same level of accuracy while significantly reducing computational costs. Our approach involves an initial averaging procedure to sparsify the underlying grid. To keep the exposition simple we focus on regularization via the truncated singular value decomposition of one-dimensional ill-posed integral equations that have sufficient smoothness. However, the approach can be generalized to other popular regularization methods and more complicated two- and three-dimensional problems with appropriate modifications.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"10 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144228438","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Giovanni S Alberti, Luca Ratti, Matteo Santacesaria, Silvia Sciutto
{"title":"Learning a Gaussian mixture for sparsity regularization in inverse problems","authors":"Giovanni S Alberti, Luca Ratti, Matteo Santacesaria, Silvia Sciutto","doi":"10.1093/imanum/draf037","DOIUrl":"https://doi.org/10.1093/imanum/draf037","url":null,"abstract":"In inverse problems it is widely recognized that the incorporation of a sparsity prior yields a regularization effect on the solution. This approach is grounded on the a priori assumption that the unknown can be appropriately represented in a basis with a limited number of significant components while most coefficients are close to zero. This occurrence is frequently observed in real-world scenarios, such as with piecewise smooth signals. In this study we propose a probabilistic sparsity prior formulated as a mixture of degenerate Gaussians, capable of modelling sparsity with respect to a generic basis. Under this premise we design a neural network that can be interpreted as the Bayes estimator for linear inverse problems. Additionally, we put forth both a supervised and an unsupervised training strategy to estimate the parameters of this network. To evaluate the effectiveness of our approach we conduct a numerical comparison with commonly employed sparsity-promoting regularization techniques, namely Least Absolute Shrinkage and Selection Operator (LASSO), group LASSO, iterative hard thresholding and sparse coding/dictionary learning. Notably, our reconstructions consistently exhibit lower mean square error values across all one-dimensional datasets utilized for the comparisons, even in cases where the datasets significantly deviate from a Gaussian mixture model.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"39 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144228439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the convergence of classical and multilevel variants of the Uzawa and Arrow–Hurwicz algorithms related to the LBB condition","authors":"Lori Badea","doi":"10.1093/imanum/draf040","DOIUrl":"https://doi.org/10.1093/imanum/draf040","url":null,"abstract":"In this paper we propose a systematic study of classical and multilevel variants of the Uzawa and Arrow–Hurwicz methods. The multilevel methods are obtained from the classical ones by the introduction of multilevel inner iterations to calculate the solution of the first equation instead of its exact calculation as in the classical Uzawa or Arrow–Hurwicz methods. In our study, an essential role is played by the LBB condition. For classical and multilevel variants of the Uzawa and Arrow–Hurwicz algorithms, we prove theorems which give the convergence conditions of the methods and explicit formulas of the convergence rates. On the basis of these results we compare the convergence conditions and the convergence rates of the classical methods with those of their corresponding ones in the multilevel methods. Concerning the Uzawa methods, we prove that, the limit of the convergence condition and the convergence rate of the multilevel method, when the number of the inner iterations tends to infinity, coincide with those of the classical one. Also, from the dependence of the convergence rate on the number of inner iterations of the multilevel method, we conclude that, the multilevel method with a small number of inner iterations converges better than the classical one. For the Arrow–Hurwicz methods we found that for a large number of inner iterations of the multilevel algorithm, the convergence condition of the multilevel method coincides with that of the classical method and the convergence rate of the multilevel method is equal to or smaller than that of the classical method. Finally, the behavior of the introduced methods is investigated by numerical experiments carried out for the driven-cavity Stokes problem and they confirm the theoretical results.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"7 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144228464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Unique continuation for the wave equation based on a discontinuous Galerkin time discretization","authors":"Erik Burman, Janosch Preuss","doi":"10.1093/imanum/draf036","DOIUrl":"https://doi.org/10.1093/imanum/draf036","url":null,"abstract":"We consider a stable unique continuation problem for the wave equation that has been discretized so far using fairly sophisticated space-time methods. Here, we propose to solve this problem using a standard discontinuous Galerkin method for the temporal discretization. Error estimates are established under a geometric control condition. We also investigate two preconditioning strategies that can be used to solve the arising globally coupled space-time system by means of simple time-stepping procedures. Our numerical experiments test the performance of these strategies and highlight the importance of the geometric control condition for reconstructing the solution beyond the data domain.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"3 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144184114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Computation of Miura surfaces with gradient Dirichlet boundary conditions","authors":"Frédéric Marazzato","doi":"10.1093/imanum/draf033","DOIUrl":"https://doi.org/10.1093/imanum/draf033","url":null,"abstract":"Miura surfaces are the solutions of a constrained nonlinear elliptic system of equations. This system is derived by homogenization from the Miura fold, which is a type of origami fold with multiple applications in engineering. A previous inquiry gave suboptimal conditions for existence of solutions and proposed an $H^{2}$-conformal finite element method to approximate them. In this paper the existence of Miura surfaces is studied using a gradient formulation. It is also proved that, under some hypotheses, the constraints propagate from the boundary to the interior of the domain. Then, a numerical method based on a stabilized least-square formulation, conforming finite elements and a Newton method, is introduced to approximate Miura surfaces. The numerical method is proved to converge and numerical tests are performed to demonstrate its robustness.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"43 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144153379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A second-order accurate, positivity-preserving numerical scheme for the Poisson–Nernst–Planck–Navier–Stokes system","authors":"Yuzhe Qin, Cheng Wang","doi":"10.1093/imanum/draf027","DOIUrl":"https://doi.org/10.1093/imanum/draf027","url":null,"abstract":"In this paper we propose and analyse a second-order accurate (in both time and space) numerical scheme for the Poisson–Nernst–Planck–Navier–Stokes system, which describes the ion electro-diffusion in fluids. In particular, the Poisson–Nernst–Planck (PNP) equation is reformulated as a nonconstant mobility gradient flow in the energetic variational approach. The marker and cell finite difference method is chosen as the spatial discretization, which facilitates the analysis for the fluid part. In the temporal discretization the mobility function is computed by a second-order extrapolation formula for the sake of unique solvability analysis, while a modified Crank–Nicolson approximation is applied to the singular logarithmic nonlinear term. Nonlinear artificial regularization terms are added in the chemical potential part, so that the positivity-preserving property could be theoretically proved. Meanwhile, a second-order accurate, semi-implicit approximation is applied to the convective term in the PNP evolutionary equation, and the fluid momentum equation is similarly computed. In addition, an optimal rate convergence analysis is provided, based on the higher order asymptotic expansion for the numerical solution, and the rough and refined error estimate techniques. The following combined theoretical properties have been established for the second-order accurate numerical method: (i) second-order accuracy, (ii) unique solvability and positivity, (iii) total energy stability and (iv) optimal rate convergence. A few numerical results are displayed to validate the theoretical analysis.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"244 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144165275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}