In this paper, ETD3-Padé and ETD4-Padé Galerkin finite element methods are proposed and analyzed for nonlinear delayed convection-diffusion-reaction equations with Dirichlet boundary conditions. An ETD-based RK is used for time integration of the corresponding equation. To overcome a well-known difficulty of numerical instability associated with the computation of the exponential operator, the Padé approach is used for such an exponential operator approximation, which in turn leads to the corresponding ETD-Padé schemes. An unconditional L² numerical stability is proved for the proposed numerical schemes, under a global Lipshitz continuity assumption. In addition, optimal rate error estimates are provided, which gives the convergence order of ^O(k³ + h^r) (ETD3- Padé) or O(k⁴ + h^r) (ETD4-Padé) in the L² norm, respectively. Numerical experiments are presented to demonstrate the robustness of the proposed numerical schemes.

In this paper, we present a unified finite volume method preserving discrete maximum principle (DMP) for the conjugate heat transfer problems with general interface conditions. We prove the existence of the numerical solution and the DMP-preserving property. Numerical experiments show that the nonlinear iteration numbers of the scheme in [24] increase rapidly when the interfacial coefficients decrease to zero. In contrast, the nonlinear iteration numbers of the unified scheme do not increase when the interfacial coefficients decrease to zero, which reveals that the unified scheme is more robust than the scheme in [24]. The accuracy and DMP-preserving property of the scheme are also verified in the numerical experiments.

Numerical integration poses greater challenges in Galerkin meshless methods than finite element methods owing to the non-polynomial feature of meshless shape functions. The reproducing kernel gradient smoothing integration (RKGSI) is one of the optimal numerical integration techniques in Galerkin meshless methods with minimum integration points. In this paper, properties, quadrature rules and the effect of the RKGSI on meshless methods are analyzed. The existence, uniqueness and error estimates of the solution of Galerkin meshless methods under numerical integration with the RKGSI are established. A procedure on how to choose quadrature rules to recover the optimal convergence rate is presented.

The main objective of this paper is to present an efficient structure-preserving scheme, which is based on the idea of the scalar auxiliary variable approach, for solving the twodimensional space-fractional nonlinear Schrödinger equation. First, we reformulate the equation as an canonical Hamiltonian system, and obtain a new equivalent system via introducing a scalar variable. Then, we construct a semi-discrete energy-preserving scheme by using the Fourier pseudo-spectral method to discretize the equivalent system in space direction. After that, applying the Crank-Nicolson method on the temporal direction gives a linearly-implicit scheme in the fully-discrete version. As expected, the proposed scheme can preserve the energy exactly and more efficient in the sense that only decoupled equations with constant coefficients need to be solved at each time step. Finally, numerical experiments are provided to demonstrate the efficiency and conservation of the scheme.

In this paper, we apply the Wasserstein-Fisher-Rao (WFR) metric from the unbalanced optimal transport theory to the earthquake location problem. Compared with the quadratic Wasserstein (W₂) metric from the classical optimal transport theory, the advantage of this method is that it retains the important amplitude information as a new constraint, which avoids the problem of the degeneration of the optimization objective function near the real earthquake hypocenter and origin time. As a result, the deviation of the global minimum of the optimization objective function based on the WFR metric from the true solution can be much smaller than the results based on the W₂ metric when there exists strong data noise. Thus, we develop an accurate earthquake location method under strong data noise. Many numerical experiments verify our conclusions.

This note introduces a method for sampling Ising models with mixed boundary conditions. As an application of annealed importance sampling and the Swendsen-Wang algorithm, the method adopts a sequence of intermediate distributions that keeps the temperature fixed but turns on the boundary condition gradually. The numerical results show that the variance of the sample weights is relatively small.

This paper concerns the convex optimal control problem governed by multiscale elliptic equations with arbitrarily rough L^∞ coefficients, which has not only complex coupling between nonseparable scales and nonlinearity, but also important applications in composite materials and geophysics. We use one of the recently developed numerical homogenization techniques, the so-called Rough Polyharmonic Splines (RPS) and its generalization (GRPS) for the efficient resolution of the elliptic operator on the coarse scale. Those methods have optimal convergence rate which do not rely on the regularity of the coefficients nor the concepts of scale-separation or periodicity. As the iterative solution of the nonlinearly coupled OCP-OPT formulation for the optimal control problem requires solving the corresponding (state and co-state) multiscale elliptic equations many times with different right hand sides, numerical homogenization approach only requires one-time pre-computation on the fine scale and the following iterations can be done with computational cost proportional to coarse degrees of freedom. Numerical experiments are presented to validate the theoretical analysis.

In this paper, we systematically construct two classes of structure-preserving schemes with arbitrary order of accuracy for canonical Hamiltonian systems. The one class is the symplectic scheme, which contains two new families of parameterized symplectic schemes that are derived by basing on the generating function method and the symmetric composition method, respectively. Each member in these schemes is symplectic for any fixed parameter. A more general form of generating functions is introduced, which generalizes the three classical generating functions that are widely used to construct symplectic algorithms. The other class is a novel family of energy and quadratic invariants preserving schemes, which is devised by adjusting the parameter in parameterized symplectic schemes to guarantee energy conservation at each time step. The existence of the solutions of these schemes is verified. Numerical experiments demonstrate the theoretical analysis and conservation of the proposed schemes.

A low order nonconforming mixed finite element method (FEM) is established for the fully coupled non-stationary incompressible magnetohydrodynamics (MHD) problem in a bounded domain in 3D. The lowest order finite elements on tetrahedra or hexahedra are chosen to approximate the pressure, the velocity field and the magnetic field, in which the hydrodynamic unknowns are approximated by inf-sup stable finite element pairs and the magnetic field by H¹(?)-conforming finite elements, respectively. The existence and uniqueness of the approximate solutions are shown. Optimal order error estimates of L²(H¹)-norm for the velocity field, L²(L²)-norm for the pressure and the broken L²(H¹)-norm for the magnetic field are derived.

In this article, we propose a new finite element space Λ_h for the expanded mixed finite element method (EMFEM) for second-order elliptic problems to guarantee its computing capability and reduce the computation cost. The new finite element space Λ_h is designed in such a way that the strong requirement V_h ⊂ Λ_h in [9] is weakened to {v_h ∈ V_h; divv_h=0} ⊂ Λ_h so that it needs fewer degrees of freedom than its classical counterpart. Furthermore, the new Λ_h coupled with the Raviart-Thomas space satisfies the inf-sup condition, which is crucial to the computation of mixed methods for its close relation to the behavior of the smallest nonzero eigenvalue of the stiff matrix, and thus the existence, uniqueness and optimal approximate capability of the EMFEM solution are proved for rectangular partitions in $\mathbb{R}^d$, d=2, 3 and for triangular partitions in $\mathbb{R}^2$. Also, the solvability of the EMFEM for triangular partition in $\mathbb{R}^3$ can be directly proved without the inf-sup condition. Numerical experiments are conducted to confirm these theoretical findings.

This paper concerns the reconstruction of a scalar coefficient of a second-order elliptic equation in divergence form posed on a bounded domain from internal data. This problem finds applications in multi-wave imaging, greedy methods to approximate parameterdependent elliptic problems, and image treatment with partial differential equations. We first show that the inverse problem for smooth coefficients can be rewritten as a linear transport equation. Assuming that the coefficient is known near the boundary, we study the well-posedness of associated transport equation as well as its numerical resolution using discontinuous Galerkin method. We propose a regularized transport equation that allow us to derive rigorous convergence rates of the numerical method in terms of the order of the polynomial approximation as well as the regularization parameter. We finally provide numerical examples for the inversion assuming a lower regularity of the coefficient, and using synthetic data.

In this paper, we first present the optimal error estimates of the semi-discrete ultra-weak discontinuous Galerkin method for solving one-dimensional linear convection-diffusion equations. Then, coupling with a kind of Runge-Kutta type implicit-explicit time discretization which treats the convection term explicitly and the diffusion term implicitly, we analyze the stability and error estimates of the corresponding fully discrete schemes. The fully discrete schemes are proved to be stable if the time-step τ ≤ τ₀, where τ₀ is a constant independent of the mesh-size h. Furthermore, by the aid of a special projection and a careful estimate for the convection term, the optimal error estimate is also obtained for the third order fully discrete scheme. Numerical experiments are displayed to verify the theoretical results.

Block boundary value methods (BBVMs) are extended in this paper to obtain the numerical solutions of nonlinear delay-differential-algebraic equations with singular perturbation (DDAESP). It is proved that the extended BBVMs in some suitable conditions are globally stable and can obtain a unique exact solution of the DDAESP. Besides, whenever the classic Lipschitz conditions are satisfied, the extended BBVMs are preconsistent and pth order consistent. Moreover, through some numerical examples, the correctness of the theoretical results and computational validity of the extended BBVMs is further confirmed.

By employing EQ₁^rot nonconforming finite element, the numerical approximation is presented for multi-term time-fractional mixed sub-diffusion and diffusion-wave equation on anisotropic meshes. Comparing with the multi-term time-fractional sub-diffusion equation or diffusion-wave equation, the mixed case contains a special time-space coupled derivative, which leads to many difficulties in numerical analysis. Firstly, a fully discrete scheme is established by using nonconforming finite element method (FEM) in spatial direction and L1 approximation coupled with Crank-Nicolson (L1-CN) scheme in temporal direction. Furthermore, the fully discrete scheme is proved to be unconditional stable. Besides, convergence and superclose results are derived by using the properties of EQ₁^rot nonconforming finite element. What's more, the global superconvergence is obtained via the interpolation postprocessing technique. Finally, several numerical results are provided to demonstrate the theoretical analysis on anisotropic meshes.

In this paper, we propose a positivity-preserving finite element method for solving the three-dimensional quantum drift-diffusion model. The model consists of five nonlinear elliptic equations, and two of them describe quantum corrections for quasi-Fermi levels. We propose an interpolated-exponential finite element (IEFE) method for solving the two quantum-correction equations. The IEFE method always yields positive carrier densities and preserves the positivity of second-order differential operators in the Newton linearization of quantum-correction equations. Moreover, we solve the two continuity equations with the edge-averaged finite element (EAFE) method to reduce numerical oscillations of quasi-Fermi levels. The Poisson equation of electrical potential is solved with standard Lagrangian finite elements. We prove the existence of solution to the nonlinear discrete problem by using a fixed-point iteration and solving the minimum problem of a new discrete functional. A Newton method is proposed to solve the nonlinear discrete problem. Numerical experiments for a three-dimensional nano-scale FinFET device show that the Newton method is robust for source-to-gate bias voltages up to 9V and source-to-drain bias voltages up to 10V.

We use a narrow-band approach to compute harmonic maps and conformal maps for surfaces embedded in the Euclidean 3-space, using point cloud data only. Given a surface, or a point cloud approximation, we simply use the standard cubic lattice to approximate its ∈-neighborhood. Then the harmonic map of the surface can be approximated by discrete harmonic maps on lattices. The conformal map, or the surface uniformization, is achieved by minimizing the Dirichlet energy of the harmonic map while deforming the target surface of constant curvature. We propose algorithms and numerical examples for closed surfaces and topological disks. To the best of the authors' knowledge, our approach provides the first meshless method for computing harmonic maps and uniformizations of higher genus surfaces.

A simple criterion is studied for the first time for identifying the discrete energy dissipation of the Crank-Nicolson scheme for Maxwell's equations in a Cole-Cole dispersive medium. Several numerical formulas that approximate the time fractional derivatives are investigated based on this criterion, including the L1 formula, the fractional BDF-2, and the shifted fractional trapezoidal rule (SFTR). Detailed error analysis is provided within the framework of time domain mixed finite element methods for smooth solutions. The convergence results and discrete energy dissipation law are confirmed by numerical tests. For nonsmooth solutions, the method SFTR can still maintain the optimal convergence order at a positive time on uniform meshes. Authors believe this is the first appearance that a second-order time-stepping method can restore the optimal convergence rate for Maxwell's equations in a Cole-Cole dispersive medium regardless of the initial singularity of the solution.

In this paper, we develop an active set identification technique. By means of the active set technique, we present an active set adaptive monotone projected Barzilai-Borwein method (ASAMPBB) for solving nonnegative matrix factorization (NMF) based on the alternating nonnegative least squares framework, in which the Barzilai-Borwein (BB) step sizes can be adaptively picked to get meaningful convergence rate improvements. To get optimal step size, we take into account of the curvature information. In addition, the larger step size technique is exploited to accelerate convergence of the proposed method. The global convergence of the proposed method is analysed under mild assumption. Finally, the results of the numerical experiments on both synthetic and real-world datasets show that the proposed method is effective.

In this paper, we consider the generalized Nash equilibrium with shared constraints in the stochastic environment, and we call it the stochastic generalized Nash equilibrium. The stochastic variational inequalities are employed to solve this kind of problems, and the expected residual minimization model and the conditional value-at-risk formulations defined by the residual function for the stochastic variational inequalities are discussed. We show the risk for different kinds of solutions for the stochastic generalized Nash equilibrium by the conditional value-at-risk formulations. The properties of the stochastic quadratic generalized Nash equilibrium are shown. The smoothing approximations for the expected residual minimization formulation and the conditional value-at-risk formulation are employed. Moreover, we establish the gradient consistency for the measurable smoothing functions and the integrable functions under some suitable conditions, and we also analyze the properties of the formulations. Numerical results for the applications arising from the electricity market model illustrate that the solutions for the stochastic generalized Nash equilibrium given by the ERM model have good properties, such as robustness, low risk and so on.

In this paper, we present a method for generating Bézier surfaces from the boundary information based on a general second order functional and a third order functional associated with the triharmonic equation. By solving simple linear equations, the internal control points of the resulting Bézier surface can be obtained as linear combinations of the given boundary control points. This is a generalization of previous works on Plateau-Bézier problem, harmonic, biharmonic and quasi-harmonic Bézier surfaces. Some representative examples show the effectiveness of the presented method.

Shape gradient flows are widely used in numerical shape optimization algorithms. We investigate the accuracy and effectiveness of approximate shape gradients flows for shape optimization of elliptic problems. We present convergence analysis with a priori error estimates for finite element approximations of shape gradient flows associated with a distributed or boundary expression of Eulerian derivative. Numerical examples are presented to verify theory and show that using the volume expression is effective for shape optimization with Dirichlet and Neumann boundary conditions.

Graph sparsification is to approximate an arbitrary graph by a sparse graph and is useful in many applications, such as simplification of social networks, least squares problems, and numerical solution of symmetric positive definite linear systems. In this paper, inspired by the well-known sparse signal recovery algorithm called orthogonal matching pursuit (OMP), we introduce a deterministic, greedy edge selection algorithm, which is called the universal greedy approach (UGA) for the graph sparsification problem. For a general spectral sparsification problem, e.g., the positive subset selection problem from a set of m vectors in $\mathbb{R}{^n}$, we propose a nonnegative UGA algorithm which needs O(mn² + n³/∈²) time to find a $\frac{{1 + \in/\beta }}{{1-\in/\beta }}$-spectral sparsifier with positive coefficients with sparsity at most $\left[{\frac{n}{{{ \in ^2}}}} \right]$, where β is the ratio between the smallest length and largest length of the vectors. The convergence of the nonnegative UGA algorithm is established. For the graph sparsification problem, another UGA algorithm is proposed which can output a $\frac{{1 + O/(\in)}}{{1-O/(\in)}}$-spectral sparsifier with $\left[{\frac{n}{{{ \in ^2}}}} \right]$ edges in O(m+n²/∈²) time from a graph with m edges and n vertices under some mild assumptions. This is a linear time algorithm in terms of the number of edges that the community of graph sparsification is looking for. The best result in the literature to the knowledge of the authors is the existence of a deterministic algorithm which is almost linear, i.e. O(m^1+o(1)) for some o(1)=O($\frac{{{{(\log \log (m))}^{2/3}}}}{{{{\log }^{1/3}}(m)}}$). Finally, extensive experimental results, including applications to graph clustering and least squares regression, show the effectiveness of proposed approaches.

In this paper, we consider the stochastic differential equations with piecewise continuous arguments (SDEPCAs) in which the drift coefficient satisfies the generalized one-sided Lipschitz condition and the diffusion coefficient satisfies the linear growth condition. Since the delay term t-[t] of SDEPCAs is not continuous and differentiable, the variable substitution method is not suitable. To overcome this difficulty, we adopt new techniques to prove the boundedness of the exact solution and the numerical solution. It is proved that the truncated Euler-Maruyama method is strongly convergent to SDEPCAs in the sense of L^q(q ≥ 2). We obtain the convergence order with some additional conditions. An example is presented to illustrate the analytical theory.

In this paper, we apply local discontinuous Galerkin (LDG) methods for pattern formation dynamical model in polymerizing actin flocks. There are two main difficulties in designing effective numerical solvers. First of all, the density function is non-negative, and zero is an unstable equilibrium solution. Therefore, negative density values may yield blow-up solutions. To obtain positive numerical approximations, we apply the positivitypreserving (PP) techniques. Secondly, the model may contain stiff source. The most commonly used time integration for the PP technique is the strong-stability-preserving Runge-Kutta method. However, for problems with stiff source, such time discretizations may require strictly limited time step sizes, leading to large computational cost. Moreover, the stiff source any trigger spurious filament polarization, leading to wrong numerical approximations on coarse meshes. In this paper, we combine the PP LDG methods with the semi-implicit Runge-Kutta methods. Numerical experiments demonstrate that the proposed method can yield accurate numerical approximations with relatively large time steps.

The Peaceman-Rachford splitting method is efficient for minimizing a convex optimization problem with a separable objective function and linear constraints. However, its convergence was not guaranteed without extra requirements. He et al. (SIAM J. Optim. 24: 1011 - 1040, 2014) proved the convergence of a strictly contractive Peaceman-Rachford splitting method by employing a suitable underdetermined relaxation factor. In this paper, we further extend the so-called strictly contractive Peaceman-Rachford splitting method by using two different relaxation factors. Besides, motivated by the recent advances on the ADMM type method with indefinite proximal terms, we employ the indefinite proximal term in the strictly contractive Peaceman-Rachford splitting method. We show that the proposed indefinite-proximal strictly contractive Peaceman-Rachford splitting method is convergent and also prove the o(1/t) convergence rate in the nonergodic sense. The numerical tests on the l₁ regularized least square problem demonstrate the efficiency of the proposed method.

We propose a trust-region type method for a class of nonsmooth nonconvex optimization problems where the objective function is a summation of a (probably nonconvex) smooth function and a (probably nonsmooth) convex function. The model function of our trust-region subproblem is always quadratic and the linear term of the model is generated using abstract descent directions. Therefore, the trust-region subproblems can be easily constructed as well as efficiently solved by cheap and standard methods. When the accuracy of the model function at the solution of the subproblem is not sufficient, we add a safeguard on the stepsizes for improving the accuracy. For a class of functions that can be "truncated", an additional truncation step is defined and a stepsize modification strategy is designed. The overall scheme converges globally and we establish fast local convergence under suitable assumptions. In particular, using a connection with a smooth Riemannian trust-region method, we prove local quadratic convergence for partly smooth functions under a strict complementary condition. Preliminary numerical results on a family of ${\ell _1}$-optimization problems are reported and demonstrate the efficiency of our approach.

This work is concerned with the convergence and stability of the truncated EulerMaruyama (EM) method for super-linear stochastic differential delay equations (SDDEs) with time-variable delay and Poisson jumps. By constructing appropriate truncated functions to control the super-linear growth of the original coefficients, we present two types of the truncated EM method for such jump-diffusion SDDEs with time-variable delay, which is proposed to be approximated by the value taken at the nearest grid points on the left of the delayed argument. The first type is proved to have a strong convergence order which is arbitrarily close to 1/2 in mean-square sense, under the Khasminskii-type, global monotonicity with U function and polynomial growth conditions. The second type is convergent in q-th (q < 2) moment under the local Lipschitz plus generalized Khasminskii-type conditions. In addition, we show that the partially truncated EM method preserves the mean-square and H_∞ stabilities of the true solutions. Lastly, we carry out some numerical experiments to support the theoretical results.

Two-phase image segmentation is a fundamental task to partition an image into foreground and background. In this paper, two types of nonconvex and nonsmooth regularization models are proposed for basic two-phase segmentation. They extend the convex regularization on the characteristic function on the image domain to the nonconvex case, which are able to better obtain piecewise constant regions with neat boundaries. By analyzing the proposed non-Lipschitz model, we combine the proximal alternating minimization framework with support shrinkage and linearization strategies to design our algorithm. This leads to two alternating strongly convex subproblems which can be easily solved. Similarly, we present an algorithm without support shrinkage operation for the nonconvex Lipschitz case. Using the Kurdyka-Lojasiewicz property of the objective function, we prove that the limit point of the generated sequence is a critical point of the original nonconvex nonsmooth problem. Numerical experiments and comparisons illustrate the effectiveness of our method in two-phase image segmentation.

We propose an accurate and energy-stable parametric finite element method for solving the sharp-interface continuum model of solid-state dewetting in three-dimensional space. The model describes the motion of the film/vapor interface with contact line migration and is governed by the surface diffusion equation with proper boundary conditions at the contact line. We present a weak formulation for the problem, in which the contact angle condition is weakly enforced. By using piecewise linear elements in space and backward Euler method in time, we then discretize the formulation to obtain a parametric finite element approximation, where the interface and its contact line are evolved simultaneously. The resulting numerical method is shown to be well-posed and unconditionally energystable. Furthermore, the numerical method is generalized to the case of anisotropic surface energies in the Riemannian metric form. Numerical results are reported to show the convergence and efficiency of the proposed numerical method as well as the anisotropic effects on the morphological evolution of thin films in solid-state dewetting.

By combination of iteration methods with the partition of unity method (PUM), some finite element parallel algorithms for the stationary incompressible magnetohydrodynamics (MHD) with different physical parameters are presented and analyzed. These algorithms are highly efficient. At first, a global solution is obtained on a coarse grid for all approaches by one of the iteration methods. By parallelized residual schemes, local corrected solutions are calculated on finer meshes with overlapping sub-domains. The subdomains can be achieved flexibly by a class of PUM. The proposed algorithm is proved to be uniformly stable and convergent. Finally, one numerical example is presented to confirm the theoretical findings.

The purpose of this paper is to verify that the computational scheme from[Heid et al., Gradient flow finite element discretizations with energy-based adaptivity for the Gross-Pitaevskii equation, J. Comput. Phys. 436 (2021)] for the numerical approximation of the ground state of the Gross-Pitaevskii equation can equally be applied for the effective approximation of excited states of Schrödinger's equation. That procedure employs an adaptive interplay of a Sobolev gradient flow iteration and a novel local mesh refinement strategy, and yields a guaranteed energy decay in each step of the algorithm. The computational tests in the present work highlight that this strategy is indeed able to approximate excited states, with (almost) optimal convergence rate with respect to the number of degrees of freedom.

This note introduces the double flip move to accelerate the Swendsen-Wang algorithm for Ising models with mixed boundary conditions below the critical temperature. The double flip move consists of a geometric flip of the spin lattice followed by a spin value flip. Both symmetric and approximately symmetric models are considered. We prove the detailed balance of the double flip move and demonstrate its empirical efficiency in mixing.

In this paper we deal with the convergence analysis of the finite element method for an elliptic penalized unilateral obstacle optimal control problem where the control and the obstacle coincide. Error estimates are established for both state and control variables. We apply a fixed point type iteration method to solve the discretized problem.
To corroborate our error estimations and the efficiency of our algorithms, the convergence results and numerical experiments are illustrated by concrete examples.

In this paper, we extend the work of Brenner and Sung [Math. Comp. 59, 321–338 (1992)] and present a regularity estimate for the elastic equations in concave domains. Based on the regularity estimate we prove that the constants in the error estimates of the nonconforming Crouzeix-Raviart element approximations for the elastic equations/eigenvalue problem are independent of Lamé constant, which means the nonconforming Crouzeix-Raviart element approximations are locking-free. We also establish two kinds of two-grid discretization schemes for the elastic eigenvalue problem, and analyze that when the mesh sizes of coarse grid and fine grid satisfy some relationship, the resulting solutions can achieve the optimal accuracy. Numerical examples are provided to show the efficiency of two-grid schemes for the elastic eigenvalue problem.

This paper proposes an interior-point technique for detecting the nondominated points of multi-objective optimization problems using the direction-based cone method. Cone method decomposes the multi-objective optimization problems into a set of single-objective optimization problems. For this set of problems, parametric perturbed KKT conditions are derived. Subsequently, an interior point technique is developed to solve the parametric perturbed KKT conditions. A differentiable merit function is also proposed whose stationary point satisfies the KKT conditions. Under some mild assumptions, the proposed algorithm is shown to be globally convergent. Numerical results of unconstrained and constrained multi-objective optimization test problems are presented. Also, three performance metrics (modified generational distance, hypervolume, inverted generational distance) are used on some test problems to investigate the efficiency of the proposed algorithm. We also compare the results of the proposed algorithm with the results of some other existing popular methods.

In this paper, we consider the initial-boundary value problem (IBVP) for the micropolar Naviers-Stokes equations (MNSE) and analyze a first order fully discrete mixed finite element scheme. We first establish some regularity results for the solution of MNSE, which seem to be not available in the literature. Next, we study a semi-implicit time-discrete scheme for the MNSE and prove L²-H¹ error estimates for the time discrete solution. Furthermore, certain regularity results for the time discrete solution are establishes rigorously. Based on these regularity results, we prove the unconditional L²-H¹ error estimates for the finite element solution of MNSE. Finally, some numerical examples are carried out to demonstrate both accuracy and efficiency of the fully discrete finite element scheme.

We propose and analyze a single-interval Legendre-Gauss-Radau (LGR) spectral collocation method for nonlinear second-order initial value problems of ordinary differential equations. We design an efficient iterative algorithm and prove spectral convergence for the single-interval LGR collocation method. For more effective implementation, we propose a multi-interval LGR spectral collocation scheme, which provides us great flexibility with respect to the local time steps and local approximation degrees. Moreover, we combine the multi-interval LGR collocation method in time with the Legendre-Gauss-Lobatto collocation method in space to obtain a space-time spectral collocation approximation for nonlinear second-order evolution equations. Numerical results show that the proposed methods have high accuracy and excellent long-time stability. Numerical comparison between our methods and several commonly used methods are also provided.

In this paper, we consider a uniformly accurate compact finite difference method to solve the quantum Zakharov system (QZS) with a dimensionless parameter 0 < ε ≤ 1, which is inversely proportional to the acoustic speed. In the subsonic limit regime, i.e., when 0 < ε ? 1, the solution of QZS propagates rapidly oscillatory initial layers in time, and this brings significant difficulties in devising numerical algorithm and establishing their error estimates, especially as 0 < ε ? 1. The solvability, the mass and energy conservation laws of the scheme are also discussed. Based on the cut-off technique and energy method, we rigorously analyze two independent error estimates for the well-prepared and ill-prepared initial data, respectively, which are uniform in both time and space for ε ∈ (0, 1] and optimal at the fourth order in space. Numerical results are reported to verify the error behavior.

In this paper, we propose a novel Hermite weighted essentially non-oscillatory (HWENO) fast sweeping method to solve the static Hamilton-Jacobi equations efficiently. During the HWENO reconstruction procedure, the proposed method is built upon a new finite difference fifth order HWENO scheme involving one big stencil and two small stencils. However, one major novelty and difference from the traditional HWENO framework lies in the fact that, we do not need to introduce and solve any additional equations to update the derivatives of the unknown function φ. Instead, we use the current φ and the old spatial derivative of φ to update them. The traditional HWENO fast sweeping method is also introduced in this paper for comparison, where additional equations governing the spatial derivatives of φ are introduced. The novel HWENO fast sweeping methods are shown to yield great savings in computational time, which improves the computational efficiency of the traditional HWENO scheme. In addition, a hybrid strategy is also introduced to further reduce computational costs. Extensive numerical experiments are provided to validate the accuracy and efficiency of the proposed approaches.

This paper deals with the numerical approximation for the time fractional diffusion problem with fractional dynamic boundary conditions. The well-posedness for the weak solutions is studied. A direct discontinuous Galerkin approach is used in spatial direction under the uniform meshes, together with a second-order Alikhanov scheme is utilized in temporal direction on the graded mesh, and then the fully discrete scheme is constructed. Furthermore, the stability and the error estimate for the full scheme are analyzed in detail. Numerical experiments are also given to illustrate the effectiveness of the proposed method.