Convergence Analysis of the Numerical Solution for Cathode Design of Aero-engine Blades in Electrochemical Machining

As a main difficult problem encountered in electrochemical machining （ECM）, the cathode design is tackled, at present, with various numerical analysis methods such as finite difference, finite element and boundary element methods. Among them, the finite element method presents more flexibility to deal with the irregularly shaped workpieces. However, it is very difficult to ensure the convergence of finite element numerical approach. This paper proposes an accurate model and a finite element numerical approach of cathode design based on the potential distribution in inter-electrode gap. In order to ensure the convergence of finite element numerical approach and increase the accuracy in cathode design, the cathode shape should be iterated to eliminate the design errors in computational process. Several experiments are conducted to verify the machining accuracy of the designed cathode. The experimental results have proven perfect convergence and good computing accuracy of the proposed finite element numerical approach by the high surface quality and dimensional accuracy of the machined blades.

Convergence analysis of the corrected Uzawa algorithm for symmetric saddle point problems

For the large sparse saddle point problems, Pan and Li recently proposed in [H. K. Pan, W. Li, Math. Numer. Sinica, 2009, 31（3）： 231-242] a corrected Uzawa algorithm based on a nonlinear Uzawa algorithm with two nonlinear approximate inverses, and gave the detailed convergence analysis. In this paper, we focus on the convergence analysis of this corrected Uzawa algorithm, some inaccuracies in [H. K. Pan, W. Li, Math. Numer. Sinica, 2009, 31（3）： 231-242] are pointed out, and a corrected convergence theorem is presented. A special case of this modified Uzawa algorithm is also discussed.

A Mathematical Model of Real-Time Simulation and the Convergence Analysis on Real-Time Runge-Kutta Algorithms

In this paper, a mathematical model of real-time simulation is given, and the problem of convergence on real-time Runge-Kutta algorithms is analysed. At last a theorem on the relation between the order of compensation and the convergent order of real-time algorithm is proved.

Land degradation sensitivity assessment and convergence analysis in Korla of Xinjiang, China

Land degradation has a major impact on environmental and socio-economic sustainability. Scientific methods are necessary to monitor the risk of land degradation. In this study, the environmental sensitive area index(ESAI) was utilized to assess land degradation sensitivity and convergence analysis in Korla, a typical oasis city in Xinjiang of China, which is located on the northeast border of the Tarim Basin. A total of 18 indicators depicting soil, climate, vegetation, and management qualities were used to illustrate spatial-temporal patterns of land degradation sensitivity from 1994 to 2018. We investigated the causes of spatial convergence and divergence based on the Ordinary Least Squares(OLS) and Geographically Weighted Regression(GWR) models. The results show that the branch of the Tianshan Mountains and oasis plain had a low sensitivity to land degradation, while the Tarim Basin had a high risk of land degradation. More than two-thirds of the study area can be categorized as "critical" sensitivity classes. The largest percentage(32.6%) of fragile classes was observed for 2006. There was no significant change in insensitive or low-sensitivity areas, which accounted for less than 0.4% of the entire observation period. The ESAI of the four time periods(1994–1998, 1998–2006, 2006–2010, and 2010–2018) formed a series of convergence patterns. The convergence patterns of 1994–1998 and 1998–2006 can be explained by the government's efforts to "Returning Farmland to Forests" and other governance projects. In 2006–2010, the construction of afforested work intensified, but industrial development and human activities affected the convergence pattern. The pattern of convergence in most regions between 2010 and 2018 can be attributed to the government's implementation of a series of key ecological protection projects, which led to a decrease in sensitivity to land degradation. The results of this study altogether suggest that the ESAI convergence analysis is an effective early warning method for land degradation sensitivity.

Numerical solutions of two-dimensional nonlinear integral equations via Laguerre Wavelet method with convergence analysis

In this paper,the approximate solutions for two different type of two-dimensional nonlinear integral equations:two-dimensional nonlinear Volterra-Fredholm integral equations and the nonlinear mixed Volterra-Fredholm integral equations are obtained using the Laguerre wavelet method.To do this,these two-dimensional nonlinear integral equations are transformed into a system of nonlinear algebraic equations in matrix form.By solving these systems,unknown coefficients are obtained.Also,some theorems are proved for convergence analysis.Some numerical examples are presented and results are compared with the analytical solution to demonstrate the validity and applicability of the proposed method.

Convergence analysis for delay Volterra integral equation

In this article we use Chebyshev spectral collocation method to deal with the Volterra integral equation which has two kinds of delay items. We use linear transformation to make the interval into a fixed interval [-1, 1]. Then we use the Gauss quadrature formula to approximate the solution. With the help of lemmas, we get the result that the numerical error decay exponentially in the infinity norm and the Chebyshev weighted Hilbert space norm. Some numerical experiments are given to confirm our theoretical prediction.

Convergence Analysis of a Self-Stabilizing Algorithm for Minor Component Analysis

The M?ller algorithm is a self-stabilizing minor component analysis algorithm.This research document involves the study of the convergence and dynamic characteristics of the M?ller algorithm using the deterministic discrete time(DDT)methodology.Unlike other analysis methodologies,the DDT methodology is capable of serving the distinct time characteristic and having no constraint conditions.Through analyzing the dynamic characteristics of the weight vector,several convergence conditions are drawn,which are beneficial for its application.The performing computer simulations and real applications demonstrate the correctness of the analysis’s conclusions.

Theoretical convergence analysis of complex Gaussian kernel LMS algorithm

With the vigorous expansion of nonlinear adaptive filtering with real-valued kernel functions,its counterpart complex kernel adaptive filtering algorithms were also sequentially proposed to solve the complex-valued nonlinear problems arising in almost all real-world applications.This paper firstly presents two schemes of the complex Gaussian kernel-based adaptive filtering algorithms to illustrate their respective characteristics.Then the theoretical convergence behavior of the complex Gaussian kernel least mean square（LMS） algorithm is studied by using the fixed dictionary strategy.The simulation results demonstrate that the theoretical curves predicted by the derived analytical models consistently coincide with the Monte Carlo simulation results in both transient and steady-state stages for two introduced complex Gaussian kernel LMS algonthms using non-circular complex data.The analytical models are able to be regard as a theoretical tool evaluating ability and allow to compare with mean square error（MSE） performance among of complex kernel LMS（KLMS） methods according to the specified kernel bandwidth and the length of dictionary.

The fast method and convergence analysis of the fractional magnetohydrodynamic coupled flow and heat transfer model for the generalized second-grade fluid

In this paper,we first establish a new fractional magnetohydrodynamic(MHD)coupled flow and heat transfer model for a generalized second-grade fluid.This coupled model consists of a fractional momentum equation and a heat conduction equation with a generalized form of Fourier law.The second-order fractional backward difference formula is applied to the temporal discretization and the Legendre spectral method is used for the spatial discretization.The fully discrete scheme is proved to be stable and convergent with an accuracy of O(τ^(2)+N-r),whereτis the time step-size and N is the polynomial degree.To reduce the memory requirements and computational cost,a fast method is developed,which is based on a globally uniform approximation of the trapezoidal rule for integrals on the real line.The strict convergence of the numerical scheme with this fast method is proved.We present the results of several numerical experiments to verify the effectiveness of the proposed method.Finally,we simulate the unsteady fractional MHD flow and heat transfer of the generalized second-grade fluid through a porous medium.The effects of the relevant parameters on the velocity and temperature are presented and analyzed in detail.

Convergence Analysis of Kernel Learning FBSDE Filter

Kernel learning forward backward stochastic differential equations(FBSDE)filter is an iterative and adaptive meshfree approach to solve the non-linear filtering problem.It builds from forward backward SDE for Fokker-Planker equation,which defines evolving density for the state variable,and employs kernel density estimation(KDE)to approximate density.This algo-rithm has shown more superior performance than mainstream particle filter method,in both convergence speed and efficiency of solving high dimension problems.However,this method has only been shown to converge empirically.In this paper,we present a rigorous analysis to demonstrate its local and global convergence,and provide theoretical support for its empirical results.

ON SPECTRAL METHODS FOR VOLTERRA INTEGRAL EQUATIONS AND THE CONVERGENCE ANALYSIS

The main purpose of this work is to provide a novel numerical approach for the Volterra integral equations based on a spectral approach. A Legendre-collocation method is proposed to solve the Volterra integral equations of the second kind. We provide a rigorous error analysis for the proposed method, which indicates that the numerical errors decay exponentially provided that the kernel function and the source function are sufficiently smooth. Numerical results confirm the theoretical prediction of the exponential rate of convergence. The result in this work seems to be the first successful spectral approach （with theoretical justification） for the Volterra type equations.

Convergence Analysis of a Block-by-Block Method for Fractional Differential Equations

The block-by-block method,proposed by Linz for a kind of Volterra integral equations with nonsingular kernels,and extended by Kumar and Agrawal to a class of initial value problems of fractional differential equations(FDEs)with Caputo derivatives,is an efficient and stable scheme.We analytically prove and numerically verify that this method is convergent with order at least 3 for any fractional order indexα>0.

Convergence analysis of Jacobi spectral collocation methods for Abel-Volterra integral equations of second kind

This work is to analyze a spectral Jacobi-collocation approximation for Volterra integral equations with singular kernel p（t, s） = （t - s）^-μ. In an earlier work of Y. Chen and T. Tang [J. Comput. Appl. Math., 2009, 233：938 950], the error analysis for this approach is carried out for 0 〈 μ 〈 1/2 under the assumption that the underlying solution is smooth. It is noted that there is a technical problem to extend the result to the case of Abel-type, i.e., μ = 1/2. In this work, we will not only extend the convergence analysis by Chen and Tang to the Abel-ype but also establish the error estimates under a more general regularity assumption on the exact solution.

ON THE CONVERGENCE ANALYSIS OF ALGORITHMS FOR GENERALIZED SET-VALUED VARIATIONAL INCLUSIONS IN BANACH SPACES

In this paper, we are devoted to the convergence analysis of algorithms forgeneralized set-valued variational inclusions in Banach spaces. Our results improve, extend,and develop the earlier and recent corresponding results.

ADAPTIVE QUADRILATERAL AND HEXAHEDRAL FINITE ELEMENT METHODS WITH HANGING NODES AND CONVERGENCE ANALYSIS

In this paper we study the convergence of adaptive finite element methods for the gen- eral non-attine equivalent quadrilateral and hexahedral elements on 1-irregular meshes with hanging nodes. Based on several basic ingredients, such as quasi-orthogonality, estimator reduction and D6fler marking strategy, convergence of the adaptive finite element methods for the general second-order elliptic partial equations is proved. Our analysis is effective for all conforming Qm elements which covers both the two- and three-dimensional cases in a unified fashion.

Convergence Analysis of the Legendre Spectral Collocation Methods for Second Order Volterra Integro-Differential Equations

A class of numerical methods is developed for second order Volterra integrodifferential equations by using a Legendre spectral approach.We provide a rigorous error analysis for the proposed methods,which shows that the numerical errors decay exponentially in the L∞-norm and L2-norm.Numerical examples illustrate the convergence and effectiveness of the numerical methods.

Convergence Analysis of the Spectral Methods for Weakly Singular Volterra Integro-Differential Equations with Smooth Solutions

The theory of a class of spectral methods is extended to Volterra integrodifferential equations which contain a weakly singular kernel(t−s)^(−μ) with 0<μ<1.In this work,we consider the case when the underlying solutions of weakly singular Volterra integro-differential equations are sufficiently smooth.We provide a rigorous error analysis for the spectral methods,which shows that both the errors of approximate solutions and the errors of approximate derivatives of the solutions decay exponentially in L^(∞)-norm and weighted L^(2)-norm.The numerical examples are given to illustrate the theoretical results.

CONVERGENCE ANALYSIS OF SPECTRAL METHODS FOR INTEGRO-DIFFERENTIAL EQUATIONS WITH VANISHING PROPORTIONAL DELAYS

We describe the application of the spectral method to delay integro-differential equations with proportional delays. It is shown that the resulting numerical solutions exhibit the spectral convergence order. Extensions to equations with more general （nonlinear） vanishing delays are also discussed.

Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems

Based on Feng's theory of formal vector fields and formal flows, we study the convergence problem of the formal energies of symplectic methods for Hamiltonian systems and give the clear growth of the coefficients in the formal energies. With the help of B-series and Bernoulli functions, we prove that in the formal energy of the mid-point rule, the coefficient sequence of the merging products of an arbitrarily given rooted tree and the bushy trees of height 1(whose subtrees are vertices), approaches 0 as the number of branches goes to ∞; in the opposite direction, the coefficient sequence of the bushy trees of height m(m ≥ 2), whose subtrees are all tall trees, approaches ∞ at large speed as the number of branches goes to +∞. The conclusion extends successfully to the modified differential equations of other Runge-Kutta methods. This disproves a conjecture given by Tang et al.(2002), and implies:(1) in the inequality of estimate given by Benettin and Giorgilli(1994) for the terms of the modified formal vector fields, the high order of the upper bound is reached in numerous cases;(2) the formal energies/formal vector fields are nonconvergent in general case.

Convergence Analysis of Iterative Sequences for a Pair of Mappings in Banach Spaces

Let C be a nonempty closed convex subset of a real Banach space E. Let S ： C→ C be a quasi-nonexpansive mapping, let T ： C→C be an asymptotically demicontractive and uniformly Lipschitzian mapping, and let F ：= {x ∈C ： Sx = x and Tx = x}≠Ф Let {xn}n≥0 be the sequence generated irom an arbitrary x0∈Cby xn＋i=（1-cn）Sxn＋cnT^nxn, n≥0.We prove the necessary and sufficient conditions for the strong convergence of the iterative sequence {xn} to an element of F. These extend and improve the recent results of Moore and Nnoli.