In this paper, we propose a systematic approach for accelerating finite element-type methods by machine learning for the numerical solution of partial differential equations (PDEs). The main idea is to use a neural network to learn the solution map of the PDEs and to do so in an element-wise fashion. This map takes input of the element geometry and the PDE’s parameters on that element, and gives output of two operators: (1) the in2out operator for inter-element communication, and (2) the in2sol operator (Green’s function) for element-wise solution recovery. A significant advantage of this approach is that, once trained, this network can be used for the numerical solution of the PDE for any domain geometry and any parameter distribution without retraining. Also, the training is significantly simpler since it is done on the element level instead on the entire domain. We call this approach element learning. This method is closely related to hybridizable discontinuous Galerkin (HDG) methods in the sense that the local solvers of HDG are replaced by machine learning approaches. Numerical tests are presented for an example PDE, the radiative transfer or radiation transport equation, in a variety of scenarios with idealized or realistic cloud fields, with smooth or sharp gradient in the cloud boundary transition. Under a fixed accuracy level of 10^-3 in the relative L² error, and polynomial degree p = 6 in each element, we observe an approximately 5 to 10 times speed-up by element learning compared to a classical finite element-type method.

In this paper, we develop the stabilization-free virtual element method for the Helmholtz transmission eigenvalue problem on anisotropic media. The eigenvalue problem is a variable-coefficient, non-elliptic, non-selfadjoint and nonlinear model. Separating the cases of the index of refraction n ≠ 1 and n ≡ 1, the stabilization-free virtual element schemes are proposed, respectively. Furthermore, we prove the spectral approximation property and error estimates in a unified theoretical framework. Finally, a series of numerical examples are provided to verify the theoretical results, show the benefits of the stabilization-free virtual element method applied to eigenvalue problems, and implement the extensions to high-order and high-dimensional cases.

This paper constructs the first mixed finite element for the linear elasticity problem in 3D using P₃ polynomials for the stress and discontinuous P₂ polynomials for the displacement on tetrahedral meshes under some mild mesh conditions. The degrees of freedom of the stress space as well as the corresponding nodal basis are established by characterizing a space of certain piecewise constant symmetric matrices on a patch around each edge. Macro-element techniques are used to define a stable interpolation to prove the discrete inf-sup condition. Optimal convergence is obtained theoretically.

In this paper, we introduce the weak Galerkin (WG) method for solving the coupled Stokes and Darcy-Forchheimer flows problem with the Beavers-Joseph-Saffman interface condition in bounded domains. We define the WG spaces in the polygonal meshes and construct corresponding discrete schemes. We prove the existence and uniqueness of the WG scheme by the discrete inf-sup condition and monotone operator theory. Then, we derive the optimal error estimates for the velocity and pressure. Numerical experiments are presented to verify the efficiency of the WG method.

This paper is concerned with the new error analysis of a Hodge-decomposition based finite element method for the time-dependent Ginzburg-Landau equations in superconductivity. In this approach, the original equation of magnetic potential A is replaced by a new system consisting of four scalar variables. As a result, the conventional Lagrange finite element method (FEM) can be applied to problems defined on non-smooth domains. It is known that due to the low regularity of A, conventional FEM, if applied to the original Ginzburg-Landau system directly, may converge to the unphysical solution. The main purpose of this paper is to establish an optimal error estimate for the order parameter in spatial direction, as previous analysis only gave a sub-optimal convergence rate analysis for all three variables due to coupling of variables. The analysis is based on a nonstandard quasi-projection for ψ and the corresponding negative-norm estimate for the classical Ritz projection. Our numerical experiments confirm the optimal convergence of ψ_h.

The h-version analysis technique developed in [Banjai et al., SIAM J. Numer. Anal., 55 (2017)] for Trefftz discontinuous Galerkin (DG) discretizations of the second order isotropic wave equation is extended to the time-dependent Maxwell equations in anisotropic media. While the discrete variational formulation and its stability and quasi-optimality are derived parallel to the acoustic wave case, the derivation of error estimates in a mesh-skeleton norm requires new transformation stabilities for the anisotropic case. The error estimates of the approximate solutions with respect to the condition number of the coefficient matrices are proved. Furthermore, we propose the global Trefftz DG method combined with local DG methods to solve the time-dependent nonhomogeneous Maxwell equations. The numerical results verify the validity of the theoretical results, and show that the resulting approximate solutions possess high accuracy.

In this work, an unconditionally stable, decoupled, variable time step scheme is presented for the incompressible Navier-Stokes equations. Based on a scalar auxiliary variable in exponential function, this fully discrete scheme combines the backward Euler scheme for temporal discretization with variable time step and a mixed finite element method for spatial discretization, where the nonlinear term is treated explicitly. Moreover, without any restriction on the time step, stability of the proposed scheme is discussed. Besides, error estimate is provided. Finally, some numerical results are presented to illustrate the performances of the considered numerical scheme.

This study proposes a class of augmented subspace schemes for the weak Galerkin (WG) finite element method used to solve eigenvalue problems. The augmented subspace is built with the conforming linear finite element space defined on the coarse mesh and the eigen-function approximations in the WG finite element space defined on the fine mesh. Based on this augmented subspace, solving the eigenvalue problem in the fine WG finite element space can be reduced to the solution of the linear boundary value problem in the same WG finite element space and a low dimensional eigenvalue problem in the augmented subspace. The proposed augmented subspace techniques have the second order convergence rate with respect to the coarse mesh size, as demonstrated by the accompanying error estimates. Finally, a few numerical examples are provided to validate the proposed numerical techniques.

We analyze the long-time behavior of numerical schemes for a class of monotone stochastic partial differential equations (SPDEs) driven by multiplicative noise. By deriving several time-independent a priori estimates for the numerical solutions, combined with the ergodic theory of Markov processes, we establish the exponential ergodicity of these schemes with a unique invariant measure, respectively. Applying these results to the stochastic Allen-Cahn equation indicates that these schemes always have at least one invariant measure, respectively, and converge strongly to the exact solution with sharp time-independent rates. We also show that these numerical invariant measures are exponentially ergodic and thus give an affirmative answer to a question proposed in [J. Cui et al., Stochastic Process. Appl., 134 (2021)], provided that the interface thickness is not too small.

The strong convergence of an explicit full-discrete scheme is investigated for the stochastic Burgers-Huxley equation driven by additive space-time white noise, which possesses both Burgers-type and cubic nonlinearities. To discretize the continuous problem in space, we utilize a spectral Galerkin method. Subsequently, we introduce a nonlinear-tamed exponential integrator scheme, resulting in a fully discrete scheme. Within the framework of semigroup theory, this study provides precise estimations of the Sobolev regularity, L^∞ regularity in space, and Hölder continuity in time for the mild solution, as well as for its semi-discrete and full-discrete approximations. Building upon these results, we establish moment boundedness for the numerical solution and obtain strong convergence rates in both spatial and temporal dimensions. A numerical example is presented to validate the theoretical findings.

The main purpose of this paper is to give stability analysis and error estimates of the ultra-weak local discontinuous Galerkin (UWLDG) method coupled with a spectral deferred correction (SDC) temporal discretization method up to fourth order, for solving the fourth-order equation. The UWLDG method introduces fewer auxiliary variables than the local discontinuous Galerkin method and no internal penalty terms are required for stability, which is efficient for high order partial differential equations (PDEs). The SDC method we adopt in this paper is based on second-order time integration methods and the order of accuracy is increased by two for each additional iteration. With the energy techniques, we rigorously prove the fully discrete schemes are unconditionally stable. By the aid of special projections and initial conditions, the optimal error estimates of the fully discrete schemes are obtained. Furthermore, we generalize the analysis to PDEs with higher even-order derivatives. Numerical experiments are displayed to verify the theoretical results.

In this paper, we propose and analyze two second-order accurate finite difference schemes for the one-dimensional heat equation with concentrated capacity on a computational domain $\Omega=[a, b]$. We first transform the target equation into the standard heat equation on the domain excluding the singular point equipped with an inner interface matching (IIM) condition on the singular point $x=\xi \in(a, b)$, then adopt Taylor's expansion to approximate the IIM condition at the singular point and apply second-order finite difference method to approximate the standard heat equation at the nonsingular points. This discrete procedure allows us to choose different grid sizes to partition the two sub-domains $[a, \xi]$ and $[\xi, b]$, which ensures that $x=\xi$ is a grid point, and hence the proposed schemes can be generalized to the heat equation with more than one concentrated capacities. We prove that the two proposed schemes are uniquely solvable. And through in-depth analysis of the local truncation errors, we rigorously prove that the two schemes are second-order accurate both in temporal and spatial directions in the maximum norm without any constraint on the grid ratio. Numerical experiments are carried out to verify our theoretical conclusions.

This paper presents a simple proof for the stability of circular perfectly matched layer (PML) methods for solving acoustic scattering problems in two and three dimensions. The medium function of PML allows arbitrary-order polynomials, and can be extended to general nondecreasing functions with a slight modification of the proof. In the regime of high wavenumbers, the inf-sup constant for the PML truncated problem is shown to be $\mathcal{O}$(k^-1). Moreover, the PML solution converges to the exact solution exponentially, with a wavenumber-explicit rate, as either the thickness or medium property of PML increases. Numerical experiments are presented to verify the theories and performances of PML for variant polynomial degrees.

In this paper, we propose a pressure-robust weak Galerkin (WG) finite element scheme to solve the Stokes-Darcy problem. To construct the pressure-robust numerical scheme, we use the divergence-free velocity reconstruction operator to modify the test function on the right side of the numerical scheme. This numerical scheme is easy to implement because it only need to modify the right side. We prove the error between the velocity function and its numerical solution is independent of the pressure function and viscosity coefficient. Moreover, the errors of the velocity function reach the optimal convergence orders under the energy norm, as validated by both theoretical analysis and numerical results.

For complex-valued or quaternionic neural networks, scholars and researchers usually decompose them into real-valued systems. The decomposed real-valued systems are equivalent to original systems. Then, the dynamical behaviors of real-valued systems obtained are investigated, including stability, synchronization, and chaos etc. In this paper, a class of quaternionic neural networks with time-varying delays is investigated. First, by designing a suitable PI controller, synchronization of the considered chaotic system is realized. By using a non-decomposition method and structuring a novel Lyapunov functional, sufficient conditions are derived to guarantee synchronization between the drive-response systems. It is worth mentioning that, unlike other methods, our approach does not require breaking down the quaternionic neural networks into four separate real-valued systems. Furthermore, we demonstrate the practical application of these chaotic quaternionic neural networks with time-varying delays in image encryption and decryption. Based on one sequence of chaotic signal from state trajectory of single quaternion-valued neuron and a new encryption algorithm, the application of chaotic system proposed, that is, image encryption, is researched. The process of image decryption is simply the reverse of the encryption process. Finally, numerical simulation examples are provided to validate the effectiveness of the designed PI controller and performance of image encryption and decryption.

Numerical simulation of time-periodic problems is a special area of research, since the time periodicity modifies the problem structure, and then it is desirable to use parallel methods to solve such problems. The classical parareal algorithm for time-periodic problems, which is parallel in time, solving an initial value coarse problem, called the periodic parareal algorithm with initial value coarse problem (PP-IC), usually converges very slowly, and even diverges for wave propagation problems. In this paper, we first present a new PP-IC algorithm based on a diagonalization technique proposed recently. In this new algorithm, we approximate the coarse propagator G in the classical PP-IC algorithm with a head-tail coupled condition such that G can be parallelized using diagonalization in time. We analyze the convergence factors of the diagonalization-based PP-IC algorithm for both the linear and nonlinear cases. Then, we further design and analyze a new parallel-intime algorithm for time-periodic problems by combining the Krylov subspace method with the diagonalization-based PP-IC algorithm to accelerate the convergence. Finally, we also determine an appropriate choice of the parameter α in the head-tail coupling condition, and illustrate our theoretical results with several numerical experiments, both for model problems and the realistic application of Maxwell’s equations.

In this paper, a numerical method for solving nonlinear stochastic delay differential equations is proposed: two-step Milstein method. The mean square consistent and mean square convergence of the numerical method are studied. Through the relevant derivation, the conditions that the coefficients need to be satisfied when the numerical method is mean-square consistent and mean-square convergent are obtained, and it is proved that the mean-square convergence order of the numerical method is 1. Finally, the theoretical results are verified by numerical experiments.

In this paper, we develop a fully discrete virtual element scheme based on the local pressure projection stabilization for a three-field poroelasticity problem with a storage coefficient c₀ ≥ 0. We not only provide the well-posedness of the proposed scheme by proving a weaker form of the discrete inf-sup condition, but also show optimal error estimates for all unknowns, whose generic constants are independent of the Lamé coefficient λ. Moreover, our proposed scheme avoids pressure oscillation and applies to general polygonal elements, including hanging-node elements. Finally, we numerically validate the good performance of our virtual element scheme.

We study decentralized smooth optimization problems over compact submanifolds. Recasting it as a composite optimization problem, we propose a decentralized DouglasRachford splitting algorithm (DDRS). When the proximal operator of the local loss function does not have a closed-form solution, an inexact version of DDRS (iDDRS), is also presented. Both algorithms rely on careful integration of the nonconvex Douglas-Rachford splitting algorithm with gradient tracking and manifold optimization. We show that our DDRS and iDDRS achieve the convergence rate of $\mathcal{O}$(1/k). The main challenge in the proof is how to handle the nonconvexity of the manifold constraint. To address this issue, we utilize the concept of proximal smoothness for compact submanifolds. This ensures that the projection onto the submanifold exhibits convexity-like properties, which allows us to control the consensus error across agents. Numerical experiments on the principal component analysis are conducted to demonstrate the effectiveness of our decentralized DRS compared with the state-of-the-art ones.

The weak convergence analysis plays an important role in error estimates for stochastic differential equations, which concerns with the approximation of the probability distribution of solutions. In this paper, we investigate the weak convergence order of a splitting-up method for stochastic differential equations. We first construct a splitting-up approximation, based on which we also set up a splitting-up numerical solution. We prove both of these two approximation methods are of first order of weak convergence with the help of Malliavin calculus. Finally, we present several numerical experiments to illustrate our theoretical analysis.

In this work, we investigate the mechanism underlying loss spikes observed during neural network training. When the training enters a region with a lower-loss-as-sharper structure, the training becomes unstable, and the loss exponentially increases once the loss landscape is too sharp, resulting in the rapid ascent of the loss spike. The training stabilizes when it finds a flat region. From a frequency perspective, we explain the rapid descent in loss as being primarily influenced by low-frequency components. We observe a deviation in the first eigendirection, which can be reasonably explained by the frequency principle, as low-frequency information is captured rapidly, leading to the rapid descent. Inspired by our analysis of loss spikes, we revisit the link between the maximum eigenvalue of the loss Hessian (λ_max), flatness and generalization. We suggest that λ_max is a good measure of sharpness but not a good measure for generalization. Furthermore, we experimentally observe that loss spikes can facilitate condensation, causing input weights to evolve towards the same direction. And our experiments show that there is a correlation (similar trend) between λ_max and condensation. This observation may provide valuable insights for further theoretical research on the relationship between loss spikes, λ_max, and generalization.

This paper is concerned with the superconvergence error estimates of a classical mixed finite element method for a nonlinear parabolic/elliptic coupled thermistor equations. The method is based on a popular combination of the lowest-order rectangular Raviart-Thomas mixed approximation for the electric potential/field ($\phi, \boldsymbol{\theta}$) and the bilinear Lagrange approximation for temperature $u$. In terms of the special properties of these elements above, the superclose error estimates with order $\mathcal{O}\left(h^2\right)$ are obtained firstly for all three components in such a strongly coupled system. Subsequently, the global superconvergence error estimates with order $\mathcal{O}\left(h^2\right)$ are derived through a simple and effective interpolation post-processing technique. As by a product, optimal error estimates are acquired for potential/field and temperature in the order of $\mathcal{O}(h)$ and $\mathcal{O}\left(h^2\right)$, respectively. Finally, some numerical results are provided to confirm the theoretical analysis.

The $k$-th ($k=3,4,5$) order backward differential formula ($\mathrm{BDF} k$) is applied to develop the high order energy stable schemes for the molecular beam epitaxial model with slope selection. The numerical schemes are established by combining the convex splitting technique with the $k$-th order accurate Douglas-Dupont stabilization term in the form of $S \tau^{k-1} \Delta_h\left(\phi^n-\phi^{n-1}\right)$. With the help of the new constructed discrete gradient structure of the $k$-th order explicit extrapolation formula, the stabilized $\mathrm{BDF} k$ scheme is proved to preserve energy dissipation law at the discrete levels and unconditionally stable in the energy norm. By using the discrete orthogonal convolution kernels and the associated convolution embedding inequalities, the $L^2$ norm error estimate is established under a weak constraint of time-step size. Numerical simulations are presented to demonstrate the accuracy and efficiency of the proposed numerical schemes.

Superconvergence of differential structure on discretized surfaces is studied in this paper. The newly introduced geometric supercloseness provides us with a fundamental tool to prove the superconvergence of gradient recovery on deviated surfaces. An algorithmic framework for gradient recovery without exact geometric information is introduced. Several numerical examples are documented to validate the theoretical results.

Resonant tunneling diodes (RTDs) exhibit a distinctive characteristic known as negative resistance. Accurately calculating the tunneling bias energy is indispensable for the design of quantum devices. This paper conducts a thorough investigation into the current-voltage (I-V) characteristics of RTDs utilizing various numerical methods. Through a series of numerical experiments, we verified that the transfer matrix method ensures robust convergence in I-V curves and proficiently determines the tunneling bias for energy potential functions with discontinuities. Our numerical analysis underscores the significant impact of variations in effective mass on I-V curves, emphasizing the need to consider this effect. Furthermore, we observe that increasing the doping concentration results in a reduction in tunneling bias and an enhancement in peak current. Leveraging the unique features of the I-V curve, we employ shallow neural networks to accurately fit the I-V curves, yielding satisfactory results with limited data.

This report presents a series of implicit-explicit (IMEX) variable stepsize algorithms for natural convection equations. The presented method requires a minimally intrusive modification to an existing program, does not add to the computational complexity, and is conceptually simple. Here, IMEX means the nonlinear term is treated fully explicitly, while the remaining terms are treated implicitly. Due to the increasing demand for low memory solvers, the addition of time adaptive can improve the accuracy and efficiency of the algorithms. For the first-order algorithm, we prove the stability of the variable stepsize backward Euler scheme combined with Adams-Bashforth 2 (VSS BE-AB2) and analyze convergence. Then, the stability of Constant Timestep Filtered-BE-AB2 (BE-AB2+F) is proved. Moreover, we construct adaptive algorithms by extending the approach to variable stepsize. Finally, numerical tests confirm the convergence rates of our method and validate the theoretical results.

In this paper, we propose a novel algorithm called neuron-wise parallel subspace correction method for the finite neuron method that approximates numerical solutions of partial differential equations (PDEs) using neural network functions. Despite extremely extensive research activities in applying neural networks for numerical PDEs, there is still a serious lack of effective training algorithms that can achieve adequate accuracy, even for one-dimensional problems. Based on recent results on the spectral properties of linear layers and analysis for single neuron problems, we develop a special type of subspace correction method that optimizes the linear layer and each neuron in the nonlinear layer separately. An optimal preconditioner that resolves the ill-conditioning of the linear layer is presented for one-dimensional problems, so that the linear layer is trained in a uniform number of iterations with respect to the number of neurons. In each single neuron problem, a local minimum is found by a superlinearly convergent algorithm. Numerical experiments on function approximation problems and PDEs demonstrate better performance of the proposed method than other gradient-based methods.

In this paper, we present a posteriori error estimates of the weak Galerkin finite element method for the steady-state Poisson-Nernst-Planck equations. The a posteriori error estimators for the electrostatic potential and ion concentrations are constructed. The reliability and efficiency of the estimators are verified by the upper and lower bounds of the energy norm of the error. The a posteriori error estimators are applied to the adaptive weak Galerkin algorithm for triangle, quadrilateral and polygonal meshes with hanging nodes. Finally, numerical results demonstrate the effectiveness of the adaptive algorithm guided by our constructed estimators.

The rigorous error analysis of a class of serendipity virtual element methods applied to numerically solve semilinear parabolic integro-differential equations on curved domains is the focus of this study. Different from the standard virtual element method, the serendipity virtual element method eliminates all the internal-moment degrees of freedom only under certain conditions of the mesh and the degree of approximation. Consequently, if the interpolation operators are utilized to approximate the nonlinear terms, the implementation of Newton’s iteration algorithm can be simplified. Nonhomogeneous Dirichlet boundary conditions are considered in this paper. The strategy of approximating curved domains with polygonal domains is taken into consideration, and to overcome the issue of suboptimal convergence caused by enforcing Dirichlet boundary conditions strongly, Nitsche-based projection method is employed to impose the boundary conditions weakly. For time discretization, Crank-Nicolson scheme incorporating trapezoidal quadrature rule is adopted. Based on the concrete formulation of Nitsche-based projection method, a Ritz-Volterra projection is introduced and its approximation properties are rigorously analyzed. Building upon these approximation properties, error estimates are derived for the fully discrete scheme. Additionally, the extension of the fully discrete scheme to 3D case is also included. Finally, we present two numerical experiments to corroborate the theoretical findings.

Achieving linear complexity is crucial for demonstrating optimal convergence rates in adaptive refinement. It has been shown that the existing linear complexity local refinement algorithm for T-splines generally produces more degrees of freedom than the existing greedy refinement, which lacks linear complexity. This paper introduces a novel greedy local refinement algorithm for analysis-suitable T-splines, which achieves linear complexity and requires fewer control points than existing algorithms with linear complexity. Our approach is based on the observation that confining refinements around each T-junction to a preestablished feasible region ensures the algorithm’s linear complexity. Building on this constraint, we propose a greedy optimization local refinement algorithm that upholds linear complexity while significantly reducing the degrees of freedom relative to previous linear complexity local refinement methods.

In this paper, our focus is on examining the robustness of the central scheme in two dimensions. Although stability analyses are available in the literature for the scheme's solution of scalar conservation laws, the associated Courant-Friedrichs-Lewy (CFL) number is often notably small, occasionally degenerating to zero. This challenge is traced back to the initial data reconstruction. The interface value limiter used in the reconstruction proves insufficient to maintain the invariant region of the updated solutions. To overcome this limitation, we introduce the vertex value limiter, resulting in a more suitable CFL number that is half of the one-dimensional value. We present a unified analysis of stability applicable to both types of limiters. This enhanced stability condition enables the utilization of larger time steps, offering improved resolution to the solution and ensuring faster simulations. Our analysis extends to general conservation laws, encompassing scalar problems and nonlinear systems. We support our findings with numerical examples, validating our claims and showcasing the robustness of the enhanced scheme.

In this research article, we present convenient analytical-approximate solutions for fluid flow models known as multi-dimensional Navier-Stokes equations containing time-fractional order by using a relatively new analytical method called modified generalized MittagLeffler function method. The Caputo fractional derivative is used to describe fractional mathematical formalism. The approximate solutions for five problems are implemented to demonstrate the validity and accuracy of the proposed method. It is also demonstrated that the solutions obtained from our method when α = 1 coincide with the exact solutions, this is displayed by using some 2D and 3D plots for each problem. Moreover, the comparison between our outcomes with given exact solutions and results obtained by other methods in the literature besides absolute error is provided in some tables. Additionally, we offer some plots when α has different values to present the effect of fractional order on the solution of each suggested problem. The numerical simulation presented in this work indicates that the proposed method is efficient, reliable, accurate and easy which has less computational ability to give analytical-approximate solution form. So, this method can be extended to implement on different related problems arising in various areas of innovation and research.

The saturation assumption plays a central role in much of the analysis of a posteriori error estimates and refinement algorithms for adaptive finite element methods. In this work we provide an analysis of this assumption in the simple setting of interpolation. We have proved elsewhere [Bank and Yserentant, Numer. Math., 131:1 (2015)] that interpolation error is both reliable and efficient as an a posteriori error estimate. Thus behavior of interpolation error is indicative of the behavior of the error in the exact finite element solution of a PDE as well as any practical a posteriori error estimate that is also reliable and efficient.

Many inverse problems that appear in applications can be modeled as an operator equation. In practice, most of these problems are ill-posed, and computing solutions to such problems in an efficient manner is challenging and has been of greatest interest among researchers in the recent past. While many approaches are developed within infinite-dimensional Hilbert space settings, practical applications often require solutions in finite-dimensional spaces, and we need to discretize the problem. In this manuscript, we study a novel discretization scheme along with a class of regularization techniques for solving linear ill-posed problems and obtain the optimal order error estimates under an a priori parameter choice strategy. We illustrate the computational efficacy of the proposed scheme through numerical examples, and the results demonstrate that the proposed scheme is more economical due to the amount of discrete information needed to solve the problem is significantly lower than the traditional finite-dimensional approach.

This paper investigates two spectral volume (SV) methods applied to 2D linear hyperbolic conservation laws on rectangular meshes. These methods utilize upwind fluxes and define control volumes using Gauss-Legendre (LSV) and right-Radau (RRSV) points within mesh elements. Within the framework of Petrov-Galerkin method, a unified proof is established to show that the proposed LSV and RRSV schemes are energy stable and have optimal error estimates in the L² norm. Additionally, we demonstrate superconvergence properties of the SV method at specific points and analyze the error in cell averages under appropriate initial and boundary discretizations. As a result, we show that the RRSV method coincides with the standard upwind discontinuous Galerkin method for hyperbolic problems with constant coefficients. Numerical experiments are conducted to validate all theoretical findings.

This paper deals with the numerical solutions of two-dimensional (2D) semi-linear reaction-diffusion equations (SLRDEs) with piecewise continuous argument (PCA) in reaction term. A high-order compact difference method called I-type basic scheme is developed for solving the equations and it is proved under the suitable conditions that this method has the computational accuracy $\mathcal{O}\left(\tau^2+h_x^4+h_y^4\right)$, where $\tau, h_x$ and $h_y$ are the calculation stepsizes of the method in $t$-, $x$ - and $y$-direction, respectively. With the above method and Newton linearized technique, a II-type basic scheme is also suggested. Based on the both basic schemes, the corresponding I- and II-type alternating direction implicit (ADI) schemes are derived. Finally, with a series of numerical experiments, the computational accuracy and efficiency of the four numerical schemes are further illustrated.

In a previous paper, a technique was suggested to avoid order reduction with any explicit exponential Runge-Kutta method when integrating initial boundary value nonlinear problems with time-dependent boundary conditions. In this paper, we significantly simplify the full discretization formulas to be applied under conditions which are nearly always satisfied in practice. Not only a simpler linear combination of $\varphi_j$-functions is given for both the stages and the solution, but also the information required on the boundary is so much simplified that, in order to get local order three, it is no longer necessary to resort to numerical differentiation in space. In many cases, even to get local order 4. The technique is then shown to be computationally competitive against other widely used methods with high enough stiff order through the standard method of lines.

The numerical analysis of stochastic time-fractional equations exhibits a significantly low-order convergence rate since the limited regularity of model caused by the nonlocal operator and the presence of noise. In this work, we consider stochastic time-fractional equations driven by integrated white noise, where ${ }^C D_t^\alpha \psi(x, t), 0<\alpha<2$ and $I_t^\gamma \dot{W}(x, t)$,, 0 < γ < 1. We first establish the regularity of the mild solution. Then superlinear convergence rate $\left(\mathbb{E}\left\|\psi\left(\cdot, t_n\right)-\psi^n\right\|^2\right)^{\frac{1}{2}}=O\left(\tau^{\alpha+\gamma-\frac{\alpha d}{4}-\frac{1}{2}-\varepsilon}\right)$ with sufficiently small ε term in the exponent is established based on the modified twostep backward difference formula methods. Here d represents the spatial dimension, ψⁿ denotes the approximate solution at the n-th time step, and $\mathbb{E}$ is the expectation operator. Numerical experiments are performed to verify the theoretical results. To the best of our knowledge, this is the first topic on the superlinear convergence analysis for the stochastic time-fractional equations with integrated white noise.

In this paper, the novel optimization model for solving tensor completion with noise is proposed, its objective function is a convex combination of the minimum nuclear norm and maximum nuclear norm. The necessary condition and sufficient condition of the stationary point and optimal solution are discussed. Based on the proximal gradient algorithm and feasible direction method, we design the new algorithm for solving the proposed nonconvex and nonsmooth optimization problem and prove that the sub-sequence generated by the new algorithm converges to the stationary point. Finally, experimental results on the random sample completions and images show that the proposed optimization and algorithm are superior to the compared algorithms in CPU time or precision.

In this paper, we present a generalized Jacobi spectral Galerkin method for fractional Volterra integro-differential equations (FVIDEs). The basis functions of the proposed method are generalized Jacobi functions, which serve as natural basis functions for appropriately designed spectral methods for FVIDEs. We establish a convergence analysis of the generalized Jacobi spectral Galerkin method under reasonable assumptions. Numerical experiments are provided to demonstrate the effectiveness of the proposed method.