Search

In this paper, we consider the sample average approximation (SAA) approach for a class of stochastic nonlinear complementarity problems (SNCPs) and study the corresponding convergence properties. We first investigate the convergence of the SAA counterparts of two-stage SNCPs when the first-stage problem is continuously differentiable and the second-stage problem is locally Lipschitz continuous. After that, we extend the convergence results to a class of multistage SNCPs whose decision variable of each stage is influenced only by the decision variables of adjacent stages. Finally, some preliminary numerical tests are presented to illustrate the convergence results.

In this paper a finite element analysis to approximate the solution of an obstacle problem for a static shallow shell confined in a half space is presented. First, we rigorously prove some estimates for a suitable enriching operator connecting Morley's triangle to Hsieh-Clough-Tocher triangle. Secondly, we establish an estimate for the approximate bilinear form associated with the problem under consideration. Finally, we conduct an error analysis and we prove the convergence of the proposed numerical scheme.

This short paper concludes a general waveform relaxation (WR) method at the PDE level for semi-linear reaction-diffusion equations. For the case of multiple coupled PDE(s), new Jacobi WR and Gauss-Seidel WR are provided to accelerate the convergence result of classical WR. The convergence conditions are proved based on energy estimate. Numerical experiments are demonstrated with several WR methods in parallel to verify the effectiveness of the general WR method.

It is known that the generating function f of a sequence of Toeplitz matrices {Tn(f)}n may not describe the asymptotic distribution of the eigenvalues of Tn(f) if f is not real. In this paper, we assume as a working hypothesis that, if the eigenvalues of Tn(f) are real for all n, then they admit an asymptotic expansion of the same type as considered in previous works, where the first function, called the eigenvalue symbol $\mathfrak {f}$ f , appearing in this expansion is real and describes the asymptotic distribution of the eigenvalues of Tn(f). This eigenvalue symbol $\mathfrak {f}$ f is in general not known in closed form. After validating this working hypothesis through a number of numerical experiments, we propose a matrix-less algorithm in order to approximate the eigenvalue distribution function $\mathfrak {f}$ f . The proposed algorithm, which opposed to previous versions, does not need any information about neither f nor $\mathfrak {f}$ f is tested on a wide range of numerical examples; in some cases, we are even able to find the analytical expression of $\mathfrak {f}$ f . Future research directions are outlined at the end of the paper.

Consider Laplace’s equation in a bounded simply-connected domain S, and use the method of fundamental solutions (MFS). The error and stability analysis is made for circular/elliptic pseudo-boundaries in Dou et al. (J. Comp. Appl. Math. 377:112861, 2020), and polynomial convergence rates and exponential growth rates of the condition number (Cond) are obtained. General pseudo-boundaries are suggested for more complicated solution domains in Dou et al. (J. Comp. Appl. Math. 377:112861, 2020, Section 5). Since the ill-conditioning is severe, the success in computation by the MFS mainly depends on stability. This paper is devoted to stability analysis for smooth closed pseudo-boundaries of source nodes. Bounds of the Cond are derived, and exponential growth rates are also obtained. This paper is the first time to explore stability analysis of the MFS for non-circular/non-elliptic pseudo-boundaries. Circulant matrices are often employed for stability analysis of the MFS; but the stability analysis in this paper is explored based on new techniques without using circulant matrices as in Dou et al. (J. Comp. Appl. Math. 377:112861, 2020). To pursue better pseudo-boundaries, the sensitivity index is proposed from growth/convergence rates of stability via accuracy. Better pseudo-boundaries in the MFS can be found by trial computations, to develop the study in Dou et al. (J. Comp. Appl. Math. 377:112861, 2020) for the selection of pseudo-boundaries. For highly smooth and singular solutions, better pseudo-boundaries are different; an analysis of the sensitivity index is explored. Circular/elliptic pseudo-boundaries are optimal for highly smooth solutions, but not for singular solutions. In this paper, amoeba-like domains are chosen in computation. Several useful types of pseudo-boundaries are developed and their algorithms are simple without using nonlinear solutions. For singular solutions, numerical comparisons are made for different pseudo-boundaries via the sensitivity index.

The purpose of this paper is to investigate the connections between the weak Galerkin (WG) methods with and without stabilizers. The choices of stabilizers directly affect the convergence rates of the corresponding WG methods in general. However, we observed that the convergence rates are independent of the choices of stabilizers for these WG elements with stabilizers being optional. In this paper, we will verify such phenomena theoretically as well as numerically.

In this paper, we propose and analyze high-order efficient schemes for the time-fractional Allen-Cahn equation. The proposed schemes are based on the L1 discretization for the time-fractional derivative and the extended scalar auxiliary variable (SAV) approach developed very recently to deal with the nonlinear terms in the equation. The main contributions of the paper consist of (1) constructing first- and higher order unconditionally stable schemes for different mesh types, and proving the unconditional stability of the constructed schemes for the uniform mesh; (2) carrying out numerical experiments to verify the efficiency of the schemes and to investigate the coarsening dynamics governed by the time-fractional Allen-Cahn equation. In particular, the influence of the fractional order on the coarsening behavior is carefully examined. Our numerical evidence shows that the proposed schemes are more robust than the existing methods, and their efficiency is less restricted to particular forms of the nonlinear potentials.

This paper addresses multilinear systems of equations which arise in various applications such as data mining and numerical partial differential equations. When the multilinear system under consideration involves a nonsingular ${\mathscr{M}}$ -tensor and a nonnegative right-hand side vector, it may have multiple nonnegative solutions. In this paper, we propose an algorithm which can always preserve the nonnegativity of solutions. Theoretically, we show that the sequence generated by the proposed algorithm is a nonnegative componentwise nonincreasing sequence and converges to a nonnegative solution of the system. Numerical results further support the novelty of the proposed method.

Recently, fractional partial differential equations have been widely applied in option pricing problems, which better explains many important empirical facts of financial markets, but rare paper considers the multi-state options pricing problem based on fractional diffusion models. Thus, multi-state European option pricing problem under regime-switching tempered fractional partial differential equation is considered in this paper. Due to the expensive computational cost caused by the implicit finite difference scheme, a novel implicit-explicit finite difference scheme has been developed with consistency, stability, and convergence guarantee. Since the resulting coefficient matrix equals to the direct sum of several Toeplitz matrices, a preconditioned direct method has been proposed with ${\mathcal O}(\bar {S}N\log N+\bar {S}^{2} N)$ operation cost on each time level with adaptability analysis, where $\bar {S}$ is the number of states and N is the number of grid points. Related numerical experiments including an empirical example have been presented to demonstrate the effectiveness and accuracy of the proposed numerical method.

Zeroing dynamics (ZD) has shown great performance to solve various time-varying problems. In this paper, the problem of time-varying Sylvester-transpose matrix inequality is first investigated. Since it is difficult to solve a matrix inequality with a matrix variable and its transpose by traditional methods, this paper proposes a continuous ZD (CZD) model by employing ZD design formula and JMP function array to solve this challenging problem. Furthermore, for better implementation on digital computers, three discrete ZD (DZD) models are proposed by using three different discretization formulas with different precision, i.e., the Euler-forward formula, the 6-instant Zhang et al discretization (ZeaD) formula and the 7-instant ZeaD formula. What is more, theoretical truncation error analyses and numerical experiments substantiate the convergence, efficacy and superiority of the DZD models for solving time-varying Sylvester-transpose matrix inequality.

The aim of this paper is to visually investigate the dynamics and stability of the process in which the classic derivative is replaced by the fractional Riemann–Liouville or Caputo derivatives in the standard Newton root-finding method. Additionally, instead of the standard Picard iteration, the Mann, Khan, Ishikawa and S iterations are used. This process when applied to polynomials on complex plane produces images showing basins of attractions for polynomial zeros or images representing the number of iterations required to achieve any polynomial root. The images are called polynomiographs. In this paper, we use the colouring according to the number of iterations which reveals the speed of convergence and dynamic properties of processes visualised by polynomiographs. Moreover, to investigate the stability of the methods, we use basins of attraction. To compare numerically the modified root-finding methods among them, we demonstrate their action for polynomialz3− 1 on a complex plane.

There have been a couple of papers for the solution of the nonsingular symmetric saddle-point problem using three-parameter iterative methods. In most of them, regions of convergence for the parameters are found, while in three of them, optimal parameters are determined, and in one of the latter, many more cases, than in all the others, are distinguished, analyzed, and studied. It turns out that two of the optimal parameters coincide making the optimal three-parameter methods be equivalent to the optimal two-parameter known ones. Our aim in this work is manifold: (i) to show that the iterative methods we present are equivalent, (ii) to slightly change some statements in one of the main papers, (iii) to complete the analysis in another one, (iv) to explain how the transition from any of the methods to the others is made, (v) to extend the iterative method to cover the singular symmetric case, and (vi) to present a number of numerical examples in support of our theory. It would be an omission not to mention that the main material which all researchers in the area have inspired from and used is based on the one of the most cited papers by Bai et al. (Numer. Math. 102:1–38, 2005).

In this paper, we study the split common fixed point and monotone variational inclusion problem in uniformly convex and 2-uniformly smooth Banach spaces. We propose a Halpern-type algorithm with two self-adaptive stepsizes for obtaining solution of the problem and prove strong convergence theorem for the algorithm. Many existing results in literature are derived as corollary to our main result. In addition, we apply our main result to split common minimization problem and fixed point problem and illustrate the efficiency and performance of our algorithm with a numerical example. The main result in this paper extends and generalizes many recent related results in the literature in this direction.

In this paper, we propose a novel difference finite element (DFE) method based on the P1-element for the 3D heat equation on a 3D bounded domain. One of the novel ideas of this paper is to use the second-order backward difference formula (BDF) combining DFE method to overcome the computational complexity of conventional finite element (FE) method for the high-dimensional parabolic problem. First, we design a fully discrete difference FE solution ${u^{n}_{h}}$ by the second-order backward difference formula in the temporal t-direction, the center difference scheme in the spatial z-direction, and the P1-element on a almost-uniform mesh Jh in the spatial (x, y)-direction. Next, the H1-stability of ${u_{h}^{n}}$ and the second-order H1-convergence of the interpolation post-processing function on ${u_{h}^{n}}$ with respect to u(tn) are provided. Finally, numerical tests are presented to show the second-order H1-convergence results of the proposed DFE method for the heat equation in a 3D spatial domain.

In this paper, the interpolating element-free Galerkin method is applied for solving the nonlinear biharmonic extended Fisher–Kolmogorov equation which arises in brain tumor dynamics modeling. At first, a finite difference formula is utilized for obtaining a time-discrete scheme. The unconditional stability and convergence of the time-discrete method are proved by the energy method. Then, we use the interpolating element-free Galerkin method to approximate the spatial derivatives. An error analysis of the interpolating element-free Galerkin method is proposed for this nonlinear equation. Moreover, this method is compared with some other meshless local weak-form techniques. The main aim of this paper is to show that the interpolating element-free Galerkin is a suitable technique for solving the nonlinear fourth-order partial differential equations especially extended Fisher–Kolmogorov equation. The numerical experiments confirm the analytical results and show the good efficiency of the interpolating element-free Galerkin method for solving this nonlinear biharmonic equation.

The paper provides a general and simple approach for explicitly constructing multiscale radial kernels with high-order generalized Strang-Fix conditions from a given univariate generator. The resulting kernels are constructed by taking a linear functional to the scaled f -form of the generator with respect to the scale variable. Equivalent divided difference forms of the kernels are also derived; based on which, a pyramid-like algorithm for fast and stable computation of multiscale radial kernels is proposed. In addition, characterizations of the kernels in both the spatial and frequency domains are given, which show that the generalized Strang-Fix condition, the moment condition, and the condition of polynomial reproduction in the convolution sense are equivalent to each other. Hence, as a byproduct, the paper provides a unified view of these three classical concepts. These kernels can be used to construct quasi-interpolation with high approximation accuracy and construct convolution operators with high approximation orders, to name a few. As an example, we construct a quasi-interpolation scheme for irregularly spaced data and derived its error estimates and choices of scale parameters of multiscale radial kernels. Numerical results of approximating a bivariate Franke function using our quasi-interpolation are presented at the end of the paper. Both theoretical and numerical results show that quasi-interpolation with multiscale radial kernels satisfying high-order generalized Strang-Fix conditions usually provides high approximation orders.

In this paper, we propose an adaptive mesh refinement (AMR) strategy based on a posteriori error estimates for the local discontinuous Galerkin (LDG) method for nonlinear two-point boundary-value problems (BVPs) of the form $u^{\prime \prime }=f(x,u),\ x\in [a,b]$ subject to some suitable boundary conditions at the endpoint of the interval [a, b]. We first use the superconvergence results proved in the first part of this paper as reported by Baccouch (Numer. Algorithm. 79(3), 697–718 2018) to show that the significant parts of the local discretization errors are proportional to (p + 1)-degree Radau polynomials, when polynomials of total degree not exceeding p are used. These new results allow us to construct a residual-based a posteriori error estimators which are obtained by solving a local residual problem with no boundary conditions on each element. The proposed error estimates are efficient, reliable, and asymptotically exact. We prove that, for smooth solutions, the proposed a posteriori error estimates converge to the exact errors in the L2-norm with order of convergence p + 3/2. Finally, we present a local AMR procedure that makes use of our local and global a posteriori error estimates. Our proofs are valid for arbitrary regular meshes and for Pp polynomials with p ≥ 1. Several numerical results are presented to validate the theoretical results and to show the efficiency of the grid refinement strategy.

It is well-known that conjugate gradient algorithms are widely applied in many practical fields, for instance, engineering problems and finance models, as they are straightforward and characterized by a simple structure and low storage. However, challenging problems remain, such as the convergence of the PRP algorithms for nonconvexity under an inexact line search, obtaining a sufficient descent for all conjugate gradient methods, and other theory properties regarding global convergence and the trust region feature for nonconvex functions. This paper studies family conjugate gradient formulas based on the six classic formulas, PRP, HS, CD, FR, LS, and DY, where the family conjugate gradient algorithms have better theory properties than those of the formulas by themselves. Furthermore, this technique of the presented conjugate gradient formulas can be extended to any two-term conjugate gradient formula. This paper designs family conjugate gradient algorithms for nonconvex functions, which have the following features without other conditions: (i) the sufficient descent property holds, (ii) the trust region feature is true, and (iii) the global convergence holds under normal assumptions. Numerical results show that the given conjugate gradient algorithms are competitive with those of normal methods.

In a number of our previous papers, we have proposed interval versions of multistep methods (explicit and implicit), including interval predictor-corrector methods, in which the step size was constant. In this paper, we present interval versions of Adams-Bashforth methods with a possibility to change step sizes. This possibility can be used to obtain interval enclosures of the exact solution with a width given beforehand.

This paper is devoted to the development of an innovative Matlab software, dedicated to the numerical analysis of two-dimensional elliptic problems, by means of the probabilistic approach. This approach combines features of the Monte Carlo random walk method with discretization and approximation techniques, typical for meshless methods. It allows for determination of an approximate solution of elliptic equations at the specified point (or group of points), without a necessity to generate large system of equations for the entire problem domain. While the procedure is simple and fast, the final solution may suffer from both stochastic and discretization errors. The attached Matlab software is based on several original author’s concepts. It permits the use of arbitrarily irregular clouds of nodes, non-homogeneous right-hand side functions, mixed type of boundary conditions as well as variable material coefficients (of anisotropic materials). The paper is illustrated with results of analysis of selected elliptic problems, obtained by means of this software.

This paper provides an unconditional optimal convergence of a fractional-step method for solving the Boussinesq equations. In this method, the convection is treated by the Lagrange-Galerkin technique, whereas the diffusion and the incompressibility are treated by the projection method. There are lots of authors who worked on this method, and some authors gave the error estimate of this method. But, to our best knowledge, the error estimate for this method is under certain time-step restrictions. In this paper, we prove that the methods are stable almost unconditionally, i.e., when τ and h are smaller than a given constant. The basic idea of our analysis is splitting the error function into three terms, one term between the finite element solution and the projection, the other term between the projection and the time-discrete solution, the third term between the time-discrete solution and the exact solution, and giving the error estimates for each term respectively. Then, we obtain the optimal error estimates in L2 and H1-norm for the velocity and L2-norm for the pressure. In order to show the efficiency of our method, some numerical results are presented.

Let C be a closed affine subset of a real Hilbert space H and $T:C \rightarrow C$ be a nonexpansive mapping. In this paper, for any fixed u ∈ C, a general Halpern iteration process: $$\left\{\begin{array}{ll} x_{0} \in C,\\ x_{n + 1}=t_{n}u+(1-t_{n})Tx_{n},n\geq 0, \end{array}\right. $$ is considered for finding a fixed point of T nearest to u, where the parameter sequence {tn} is selected in the real number field, $\mathbb {R}$. The core problem to be addressed in this paper is to find the optimal parameter sequence so that this iteration process has the optimal convergence rate and to give some numerical results showing advantages of our algorithms. Also, we study the problem of selecting the optimal parameters for a general viscosity approximation method and apply the results obtained from this study to solve a class of variational inequalities.

This paper comes up with a stable bias-compensated fractional order normalized least mean square (BC-FONLMS) algorithm with noisy inputs. This kind of bias-compensated algorithm needs the estimation of input noise variance to avoid the bias caused by noisy inputs. Yet, existing algorithms either cause instability because of the method used to estimate input noise variance, or surmount the instability problems at the price of performance diminishment. This paper introduces fractional order calculus into LMS algorithm to be a new BC-FONLMS algorithm. Then, analyze the stability of the BC-FONLMS algorithm through probing the recursive equations of mean deviation (MD) and mean square deviation (MSD). On the basis of the stability analysis, methods to estimate input noise variance and to adjust step size are suggested to stabilize the algorithm and likewise to enhance the performance such as convergence speed and steady-state error. Numerical simulations are given at last, whose results show that the proposed BC-FONLMS algorithm performs well.

The solution of a large-scale Sylvester matrix equation plays an important role in control and large scientific computations. In this paper, we are interested in the large Sylvester matrix equation with large dimensionA and small dimension B, and a popular approach is to use the global Krylov subspace method. In this paper, we propose three new algorithms for this problem. We first consider the global GMRES algorithm with weighting strategy, which can be viewed as a precondition method. We present three new schemes to update the weighting matrix during iterations. Due to the growth of memory requirements and computational cost, it is necessary to restart the algorithm effectively. The deflation strategy is efficient for the solution of large linear systems and large eigenvalue problems; to the best of our knowledge, little work is done on applying deflation to the (weighted) global GMRES algorithm for large Sylvester matrix equations. We then consider how to combine the weighting strategy with deflated restarting, and propose a weighted global GMRES algorithm with deflation for solving large Sylvester matrix equations. In particular, we are interested in the global GMRES algorithm with deflation, which can be viewed as a special case when the weighted matrix is chosen as the identity. Theoretical analysis is given to show rationality of the new algorithms. Numerical experiments illustrate the numerical behavior of the proposed algorithms.

Finite difference schemes have been widely studied because of their fundamental role in numerical analysis. However, most finite difference formulas in the literature are not suitable for discrete time-varying problems because of intrinsic limitations and their relatively low precision. In this paper, a high-precision 1-step-ahead finite difference formula is developed. This 5-instant finite difference (5-IFD) formula is used to approximate and discretize first-order derivatives, and it helps us to compute discrete time-varying generalized matrix inverses. Furthermore, as special cases of generalized matrix inverses, time-varying matrix inversion, and scalar reciprocals are generally deemed as independent problems and studied separately, which are solved unitedly in this paper. The precision of the 5-IFD formula and the convergence behavior of the corresponding discrete-time models are derived theoretically and shown in numerical experiments. Conventional useful formulas, such as the Euler forward finite difference (EFFD) formula and the 4-instant finite difference (4-IFD) formula are also used for comparisons and to show the superiority of the 5-IFD formula.

The purpose of this paper is to propose an algorithm to solve the split feasibility and fixed point problem of quasi-ϕ-nonexpansive mappings in Banach spaces. Without the assumption of semi-compactness on the mappings, it is proved that the sequence generated by the proposed iterative algorithm converges strongly to a common solution of the split feasibility and fixed point problems. As applications, the main results presented in this paper are used to study the convexly constrained linear inverse problem and split null point problem. Finally, a numerical example is given to support our results. The results presented in the paper are new and improve and extend some recent corresponding results.

Very recently, Gibali et al. (Optimization 66, 417–437 2017) proposed a method, called selective projection method (SPM) in this paper, for solving the variational inequality problem (VIP) defined on $C:=\bigcap _{i = 1}^{m} C^{i}\neq \emptyset $ , where m ≥ 1 is an integer and $\{C^{i}\}_{i = 1}^{m}$ is a finite level set family of convex functions on a real Hilbert space H. For the current iterate xn, SPM updates xn+ 1 by projecting onto a half-space $C^{i_{n}}_{n} (\supset C^{i_{n}})$ constructed by using the input data, where in ∈{1,2,⋯ ,m} is selected by a special rule. The prominent advantage of SPM is that it is concise and easy to implement. Gibali et al. proved its convergence in the Euclidean space $H=\mathbb {R}^{d}$ . In this paper, we firstly prove the strong convergence of SPM in a general Hilbert space. The proof given in this paper is very different from that given by Gibali et al. We also extend SPM to solve VIP defined on the common fixed point set of finite nonexpansive self-mappings of H. Then, we estimate the convergence rate of SPM and its extension in the nonasymptotic sense. Finally, we give some preliminary numerical experiments which illustrate the advantage of SPM.

A two-grid parallel partition of unity finite element scheme is proposed and analyzed in this paper for linear elliptic boundary value problems. The interesting features of this scheme contain the following: (1) a partition of unity is constructed to derive the globally continuous finite element solution; (2) errors decay exponentially with patches of diameter kH increase; and (3) a global coarse grid correction is done to improve the L2 − accuracy of the approximation. Numerical experiments are presented at the end of the paper to support our analysis.

This paper concerns the discrete time waveform relaxation (DWR) methods for ordinary differential equations (ODEs). We present a general algorithm of constructing the DWR methods with any order of convergence, which applies any numerical methods of ODEs to the perturbed equations of iterative schemes of continuous time waveform relaxation methods. It is demonstrated that the DWR method presented in this paper has the same convergent order as the numerical method used to discretize perturbed equations. Two classes of interpolation polynomials are given to generate perturbed equations. Finally, numerical experiments are presented in order to check against results obtained.

In this paper, we propose a hybrid iterative method to approximate a common solution of split monotone variational inclusion problem and hierarchical fixed point problem for a finite family of nonexpansive mappings in real Hilbert spaces. We prove that sequences generated by the proposed hybrid iterative method converge strongly to a common solution of these problems. Further, we discuss some applications of the main result. We also discuss a numerical example to demonstrate the applicability of the iterative method. The method and results presented in this paper extend and unify the corresponding known results in this area.

In this paper, we study the spectral distributions of the saddle point matrices arising from the discretization and linearization of the Navier–Stokes equations, where the (1,1) block is nonsymmetric positive definite. In this paper, we derive the lower and upper bounds of the real and imaginary parts of all the eigenvalues of the saddle point matrices. We then propose a new class of block triangle preconditioners for solving the saddle point problems, and analyze the spectral properties of the preconditioned systems. Some numerical experiments with the preconditioned restarted generalized minimal residual method are reported to demonstrate the effectiveness and feasibility of these block triangle preconditioners.

© 2017, Springer Science+Business Media, LLC. This paper presents a method for solving nonlinear system with singular Jacobian at the solution. The convergence rate in the case of singularity deteriorates and one way to accelerate convergence is to form bordered system. A local algorithm, with finite-difference approximations, for forming and solving such system is proposed in this paper. To overcome the need that initial approximation has to be very close to the solution, we also propose a method which is a combination of descent method with finite-differences and local algorithm. Some numerical results obtained on relevant examples are presented.

In this paper, we propose a two-parameter preconditioned variant of the deteriorated PSS iteration method (J. Comput. Appl. Math., 273, 41–60 (2015)) for solving singular saddle point problems. Semi-convergence analysis shows that the new iteration method is convergent unconditionally. The new iteration method can also be regarded as a preconditioner to accelerate the convergence of Krylov subspace methods. Eigenvalue distribution of the corresponding preconditioned matrix is presented, which is instructive for the Krylov subspace acceleration. Note that, when the leading block of the saddle point matrix is symmetric, the new iteration method will reduce to the preconditioned accelerated HSS iteration method (Numer. Algor., 63 (3), 521–535 2013), the semi-convergence conditions of which can be simplified by the results in this paper. To further improve the effectiveness of the new iteration method, a relaxed variant is given, which has much better convergence and spectral properties. Numerical experiments are presented to investigate the performance of the new iteration methods for solving singular saddle point problems.

The paper introduces and analyzes the convergence of a new iterative algorithm for approximating solutions of equilibrium problems involving strongly pseudomonotone and Lipschitz-type bifunctions in Hilbert spaces. The algorithm uses a stepsize sequence which is non-increasing, diminishing, and non-summable. This leads to the main advantage of the algorithm, namely that the construction of solution approximations and the proof of its convergence are done without the prior knowledge of the modulus of strong pseudomonotonicity and Lipschitz-type constants of bifunctions. The strongly convergent theorem is established under suitable assumptions. The paper also discusses the assumptions used in the formulation of the convergent theorem. Several numerical results are reported to illustrate the behavior of the algorithm with different sequences of stepsizes and also to compare it with others.

In this paper, we suggest and analyze a Krasnoselski-Mann type iterative method to approximate a common element of solution sets of a hierarchical fixed point problem for nonexpansive mappings and a split mixed equilibrium problem. We prove that sequences generated by the proposed iterative method converge weakly to a common element of solution sets of these problems. Further, we derive some consequences from our main result. Furthermore, we extend the considered iterative method to a split monotone variational inclusion problem and deduce some consequences. Finally, we give a numerical example to justify the main result. The method and results presented in this paper generalize and unify the corresponding known results in this area.

In last few years, many ERKN methods have been investigated for solving multi-frequency multidimensional second-order ordinary differential equations, and the numerical efficiency has been checked strongly in scientific computation. But in the constructions of (especially high-order) new ERKN methods, lots of time and effort are costed in presenting the practical order conditions firstly and then in adding some reasonable assumptions to get the coefficient functions finally. In this paper, a feasible and effective technique is given which makes the construction of ERKN methods finished in a few seconds or a few minutes, even for high-order integrators. Moreover, this technique does not need any more information and knowledge except the classical RKN method. And this paper also gives the theoretical explanation to guarantee that the ERKN method obtained from this technique has the same order and the same properties as the underlying RKN method.

Both barycentric Lagrange interpolation and barycentric rational interpolation are thought to be stable and effective methods for approximating a given function on some special point sets. A direct evaluation of these interpolants due to N interpolation points at M sampling points requires \(\mathcal {O}(NM)\) arithmetic operations. In this paper, we introduce two fast multipole methods to reduce the complexity to \(\mathcal {O}(\max \left \{N,M\right \})\). The convergence analysis is also presented in this paper.

In this paper, we introduce a generalized viscosity algorithm for finding a fixed point of an asymptotically nonexpansive mapping in the intermediate sense which is also a solution to a variational inequality problem of two inverse-strongly monotone operators in 2-uniformly smooth and uniformly convex Banach spaces. Strong convergence theorems are given under suitable assumptions imposed on the parameters. The results obtained in this paper improve and extend many recent ones in the literature. Three numerical examples are also given to show the efficiency and implementation of our results.

This paper develops an improved tri-coloured rooted-tree theory for the order conditions for ERKN methods solving general multi-frequency and multidimensional second-order oscillatory systems. The bottleneck of the original tricoloured rooted-tree theory is the existence of numerous redundant trees. In light of the fact that the sum of the products of the symmetries and the elementary differentials is meaningful, this paper naturally introduces the so-called extended elementary differential mappings. Then, the new improved tri-coloured rooted tree theory is established based on a subset of the original tri-coloured rooted-tree set. This new theory makes all redundant trees disappear, and thus, the order conditions of ERKN methods for general multi-frequency and multidimensional second-order oscillatory systems are reduced greatly. Furthermore, with this new theory, we present some new ERKN methods of order up to four. Numerical experiments are implemented and the results show that ERKN methods can be competitive with other existing methods in the scientific literature, especially when comparatively large stepsizes are used.

The construction of totally nonnegative (TN) matrices with prescribed eigenvalues is an important topic in real-valued nonnegative inverse eigenvalue problems. TN matrices are square matrices whose minors are all nonnegative. Our previous paper (Numer. Algor. 70, 469–484, ??2015) presented a finite-step construction of TN matrices limited to upper or lower Hessenberg forms with prescribed eigenvalues, based on the discrete hungry Toda (dhToda) equation which is derived from the study of integrable systems. Building on our previous paper, we produce the construction of banded TN matrices with an arbitrary number of diagonals in both lower and upper triangular parts and prescribed eigenvalues, involving upper Hessenberg, lower Hessenberg, and dense TN matrices with prescribed eigenvalues. We first prepare an infinite sequence associated with distinct eigenvalues \(\lambda _{1},\lambda _{2},\dots ,\lambda _{m}\) and two integers M and N which determine the upper and lower bandwidths of m-by-m banded matrices, respectively. Both M and N play a key role for achieving our purpose. The study follows similar lines to our previous paper, but is complicated by the introduction of N. We next consider extended Hankel determinants and extended Hadamard polynomials involving elements of the infinite sequence and then derive their relationships. These relationships help us understand banded TN matrices with eigenvalues \(\lambda _{1},\lambda _{2},\dots ,\lambda _{m}\) from the viewpoint of an extension of the dhToda equation. Finally, we propose a finite-step procedure for constructing TN matrices with an arbitrary upper and lower bandwidths and prescribed eigenvalues and also give illustrative examples.

In this paper, with the help of averaged mappings, we introduce and study a hybrid iterative method to approximate a common solution of a split equilibrium problem and a fixed point problem of a finite collection of nonexpansive mappings. We prove that the sequences generated by the iterative scheme strongly converges to a common solution of the above-said problems. We give some numerical examples to ensure that our iterative scheme is more efficient than the methods of Plubtieng and Punpaeng (J. Math Anal. Appl. 336(1), 455---469, 15), Liu (Nonlinear Anal. 71(10), 4852---4861, 10) and Wen and Chen (Fixed Point Theory Appl. 2012(1), 1---15, 18). The results presented in this paper are the extension and improvement of the recent results in the literature.

The generalized Hermite sampling uses samples from the function itself and its derivatives up to order r. In this paper, we investigate truncation error estimates for the generalized Hermite sampling series on a complex domain for functions from Bernstein space. We will extend some known techniques to derive those estimates and the bounds of Jagerman (SIAM J. Appl. Math. 14, 714---723 1966), Li (J. Approx. Theory 93, 100---113 1998), Annaby-Asharabi (J. Korean Math. Soc. 47, 1299---1316 2010), and Ye and Song (Appl. Math. J. Chinese Univ. 27, 412---418 2012) will be special cases for our results. Some examples with tables and figures are given at the end of the paper.

In this paper, the Euler---Maruyama (EM) method with random variable stepsize is studied to reproduce the almost sure stability of the true solutions of stochastic differential equations. Since the choice of the time step is based on the current state of the solution, the time variable is proved to be a stopping time. Then the semimartingale convergence theory is employed to obtain the almost sure stability of the random variable stepsize EM solution. To our best knowledge, this is the first paper to apply the random variable stepsize (with clear proof of the stopping time) to the analysis of the almost sure stability of the EM method.

We propose in this paper a fully discrete Legendre-Galerkin method for solving general Volterra functional integral equations. The focus of this paper is the stability analysis of this method. Based on this stability result, we prove that the approximation equation has a unique solution, and then show that the Legendre-Galerkin method gives the optimal convergence order O(nźm)$\mathcal {O}(n^{-m})$, where m denotes the degree of the regularity of the exact solution and n+1 denotes the dimensional number of the approximation space. Moreover, we establish that the spectral condition constant of the coefficient matrix relative to the corresponding linear system is uniformly bounded for sufficiently large n. Finally, we use numerical examples to confirm the theoretical prediction.

The purpose of this paper is to study some iterative algorithms for finding a common element of the set of solutions of systems of variational inequalities for inverse-strongly accretive mappings and the set of fixed points of an asymptotically nonexpansive mapping in uniformly convex and 2-uniformly smooth Banach space or uniformly convex and q-uniformly smooth Banach space. Strong convergence theorems are obtained under suitable conditions. We also give some numerical examples to support our main results. The results obtained in this paper improve and extend the recent ones announced by many others in the literature.

There have been a number of results in the literature showing that a direct transcription numerical approach to optimal control problems could have a number of surprising and desirable behaviors that were not always predicted by the existing theory especially when differential algebraic equations are involved. Most of these results were developed with an implicit Runge-Kutta (IRK) discretization being used. It is important to know which of these observations hold for direct transcription software using different types of discretizations and which are discretization specific. This paper reexamines several of these questions but using an hp-pseudospectral code. It is seen that while philosophically the results are often similar to the IRK results, there are some differences that should be understood by users solving constrained optimal control problems. This paper also discusses a type of regularization for higher index problems that does not reduce the index.

In this paper a numerical technique is proposed for solving the time fractional diffusion-wave equation. We obtain a time discrete scheme based on finite difference formula. Then, we prove that the time discrete scheme is unconditionally stable and convergent using the energy method and the convergence order of the time discrete scheme is O(ź3źź)$\mathcal {O}(\tau ^{3-\alpha })$. Firstly, we change the main problem based on Dirichlet boundary condition to a new problem based on Robin boundary condition and then, we consider a semi-discrete scheme with Robin boundary condition and show when βź+ź$\beta \rightarrow +\infty $ solution of the main semi-discrete problem with Dirichlet boundary condition is convergent to the solution of the new semi-discrete problem with Robin boundary condition. We consider the new semi-discrete problem with Robin boundary condition and use the meshless Galerkin method to approximate the spatial derivatives. Finally, we obtain an error bound for the new problem. We prove that convergence order of the numerical scheme based on Galekin meshless is O(h)$\mathcal {O}(h)$. In the considered method the appeared integrals are approximated using Gauss Legendre quadrature formula. The main aim of the current paper is to obtain an error estimate for the meshless Galerkin method based on the radial basis functions. Numerical examples confirm the efficiency and accuracy of the proposed scheme.

The Quadratic Eigenvalue Complementarity Problem (QEiCP) is an extension of the Eigenvalue Complementarity Problem (EiCP) that has been introduced recently. Similar to the EiCP, the QEiCP always has a solution under reasonable hypotheses on the matrices included in its definition. This has been established in a previous paper by reducing a QEiCP of dimension n to a special 2n-order EiCP. In this paper we propose an enumerative algorithm for solving the QEiCP by exploiting this equivalence with an EiCP. The algorithm seeks a global minimum of a special Nonlinear Programming Problem (NLP) with a known global optimal value. The algorithm is shown to perform very well in practice but in some cases terminates with only an approximate optimal solution to NLP. Hence, we propose a hybrid method that combines the enumerative method with a fast and local semi-smooth method to overcome the latter drawback. This algorithm is also shown to be useful for computing a positive eigenvalue for an EiCP under similar assumptions. Computational experience is reported to demonstrate the efficacy and efficiency of the hybrid enumerative method for solving the QEiCP.

In this paper, we improve the convergence theorem in the paper by Yang (Journal of Industrial and Management Optimization 1, 211---217, 2005), and propose a new modified convergence theorem. The theorem and the proof presented in the present paper are interesting improvements on the convergence theorem of Yang.

This paper is concerned with the image deconvolution problem. For the basic model, where the convolution matrix can be diagonalized by discrete Fourier transform, the Tikhonov regularization method is computationally attractive since the associated linear system can be easily solved by fast Fourier transforms. On the other hand, the provided solutions are usually oversmoothed and other regularization terms are often employed to improve the quality of the restoration. Of course, this weighs down on the computational cost of the regularization method. Starting from the fact that images have sparse representations in the Fourier and wavelet domains, many deconvolution methods have been recently proposed with the aim of minimizing the l1-norm of these transformed coefficients. This paper uses the iteratively reweighted least squares strategy to introduce a diagonal weighting matrix in the Fourier domain. The resulting linear system is diagonal and hence the regularization parameter can be easily estimated, for instance by the generalized cross validation. The method benefits from a proper initial approximation that can be the observed image or the Tikhonov approximation. Therefore, embedding this method in an outer iteration may yield further improvement of the solution. Finally, since some properties of the observed image, like continuity or sparsity, are obviously changed when working in the Fourier domain, we introduce a filtering factor which keeps unchanged the large singular values and preserves the jumps in the Fourier coefficients related to the low frequencies. Numerical examples are given in order to show the effectiveness of the proposed method.