Numerical realization of the conditions of Max Nther's residual intersection theorem

The aim of this paper is to study numerical realization of the conditions of Max Nther's residual intersection theorem. The numerical realization relies on obtaining the intersection of two algebraic curves by homotopy continuation method, computing the approximate places of an algebraic curve, getting the exact orders of a polynomial at the places, and determining the multiplicity and character of a point of an algebraic curve. The numerical experiments show that our method is accurate, effective and robust without using multiprecision arithmetic,even if the coefficients of algebraic curves are inexact. We also conclude that the computational complexity of the numerical realization is polynomial time.     

The Nother and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nother type theorems for Cμpiecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible Cμpiecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the Cμpiecewise algebraic curve is established.     

Estimation of the Bezout number for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function.In this paper.a coniecture on trianguation is confirmed The relation between the piecewise linear algebraiccurve and four-color conjecture is also presented.By Morgan-Scott triangulation, we will show the instabilityof Bezout number of piecewise algebraic curves. By using the combinatorial optimization method,an upper     

Degree elevation from Bzier curve to C-Bzier curve with corner cutting form

The existing results of curve degree elevation mainly focus on the degree of algebraic polynomials. The paper considers the elevation of degree of the trigonometric polynomial, from a Bzier curve on the algebraic polynomial space, to a C-B′ezier curve on the algebraic and trigonometric polynomial space. The matrix of degree elevation is obtained by an operator presentation and a derivation pyramid. It possesses not a recursive presentation but a direct expression. The degree elevation process can also be represented as a corner cutting form.     

实分片代数曲线的拓扑结构

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.By analyzing the topology of real algebraic curves on the triangles,a practi-caUy algrithm for analyzing the topology of piecewise algebraic curves is given.The algrithm produces a planar graph which is topologically equivalent to the piecewise algebraic curve.     

Nther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space.In this paper,using the properties of bivariate splines,the Nther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

A coupled continuous-discontinuous FEM approach for convection diffusion equations

In this article, we introduce a coupled approach of local discontinuous Galerkin and standard finite element method for solving convection diffusion problems. The whole domain is divided into two disjoint subdomains. The discontinuous Galerkin method is adopted in the subdomain where the solution varies rapidly, while the standard finite element method is used in the other subdomain due to its lower computational cost. The stability and a priori error estimate are established. We prove that the coupled method has O((ε1 / 2 + h 1 / 2 )h k ) convergence rate in an associated norm, where ε is the diffusion coefficient, h is the mesh size and k is the degree of polynomial. The numerical results verify our theoretical results. Moreover, 2k-order superconvergence of the numerical traces at the nodes, and the optimal convergence of the errors under L 2 norm are observed numerically on the uniform mesh. The numerical results also indicate that the coupled method has the same convergence order and almost the same errors as the purely LDG method.     

Judging or setting weight steady-state of rational Bézier curves and surfaces

Many works have investigated the problem of reparameterizing rational Bézier curves or surfaces via Mbius transformation to adjust their parametric distribution as well as weights, such that the maximal ratio of weights becomes smallerthat some algebraic and computational properties of the curves or surfaces can be improved in a way. However, it is an indication of veracity and optimization of the reparameterization to do prior to judge whether the maximal ratio of weights reaches minimum, and verify the new weights after Mbius transformation. What's more the users of computer aided design softwares may require some guidelines for designing rational Bézier curves or surfaces with the smallest ratio of weights. In this paper we present the necessary and sufficient conditions that the maximal ratio of weights of the curves or surfaces reaches minimum and also describe it by using weights succinctly and straightway.The weights being satisfied these conditions are called being in the stable state. Applying such conditions, any giving rational Bézier curve or surface can automatically be adjusted to come into the stable state by CAD system, that is, the curve or surface possesses its optimal parametric distribution. Finally, we give some numerical examples for demonstrating our results in important applications of judging the stable state of weights of the curves or surfaces and designing rational Bézier surfaces with compact derivative bounds.     

AN ADAPTIVE TRUST-REGION METHOD FOR GENERALIZED EIGENVALUES OF SYMMETRIC TENSORS

For symmetric tensors,computing generalized eigenvalues is equivalent to a homogenous polynomial optimization over the unit sphere.In this paper,we present an adaptive trustregion method for generalized eigenvalues of symmetric tensors.One of the features is that the trust-region radius is automatically updated by the adaptive technique to improve the algorithm performance.The other one is that a projection scheme is used to ensure the feasibility of all iteratives.Global convergence and local quadratic convergence of our algorithm are established,respectively.The preliminary numerical results show the efficiency of the proposed algorithm.     

A Generalized Lyapunov-Sylvester Computational Method for Numerical Solutions of NLS Equation with Singular Potential

In the present paper a numerical method is developed to approximate the solution of two-dimensional Nonlinear Schrdinger equation in the presence of a singular potential. The method leads to generalized Lyapunov-Sylvester algebraic operators that are shown to be invertible using original topological and differential calculus issued methods. The numerical scheme is proved to be consistent, convergent and stable using the Lyapunov criterion, lax equivalence theorem and the properties of the generalized Lyapunov-Sylvester operators.     

Morgan-Scott型剖分上的样条空间的奇异性

Multivariate spline function is an important research object and tool in Computational Geometry. The singularity of multivariate spline spaces is a difficult problem that is ineritable in the research of the structure of multivariate spline spaces. The aim of this paper is to reveal the geometric significance of the singularity of bivariate spline space over Morgan-Scott type triangulation by using some new concepts proposed by the first author such as characteristic ratio, characteristic mapping of lines （or ponits）, and characteristic number of algebraic curve. With these concepts and the relevant results, a polished necessary and sufficient conditions for the singularity of spline space S u＋1^u （△MS^u） are geometrically given for any smoothness u by recursion. Moreover, the famous Pascal＇s theorem is generalized to algebraic plane curves of degree n≥3.     

ANALYSIS OF LIMIT CYCLES TO A PERTURBED INTEGRABLE NON-HAMILTONIAN SYSTEM

Bifurcation of limit cycles to a perturbed integrable non-Hamiltonian system is investigated using both qualitative analysis and numerical exploration.The investigation is based on detection functions which are particularly effective for the perturbed integrable non-Hamiltonian system.The study reveals that the system has 3 limit cycles.By the method of numerical simulation,the distributed orderliness of the 3 limitcycles is observed,and their nicety places are determined.The study also indicates that each ...     

Explicit One-Step P-Stable Methods for Second Order Periodic Initial Value Problems

In this paper, we present an explicit one-step method for solving periodic initial value problems of second order ordinary differential equations. The method is P-stable, and of first algebraic order and high phase-lag order. To improve the algebraic order, we give a composition second order scheme with the proposed method and its adjoint. We report some numerical results to illustrate the efficiency of our methods.     

Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even characteristic

This paper is devoted to counting the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus 4 case and the finite fields are of even characteristics. The number of isomorphism classes is computed and the explicit formulae are given. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The result can be used in the classification problems and it is useful for further studies of hyperelliptic curve cryptosystems, e.g. it is of interest for research on implementing the arithmetics of curves of low genus for cryptographic purposes. It could also be of interest for point counting problems; both on moduli spaces of curves, and on finding the maximal number of points that a pointed hyperelliptic curve over a given finite field may have.     

Discussion on relationship between minimal energy and curve shapes

Energy minimization has been widely used for constructing curve and surface in the fields such as computer-aided geometric design, computer graphics. However, our testing examples show that energy minimization does not optimize the shape of the curve sometimes. This paper studies the relationship between minimizing strain energy and curve shapes, the study is carried out by constructing a cubic Hermite curve with satisfactory shape. The cubic Hermite curve interpolates the positions and tangent vectors of two given endpoints. Computer simulation technique has become one of the methods of scientific discovery, the study process is carried out by numerical computation and computer simulation technique. Our result shows that： （1） cubic Hermite curves cannot be constructed by solely minimizing the strain energy; （2） by adoption of a local minimum value of the strain energy, the shapes of cubic Hermite curves could be determined for about 60 percent of all cases, some of which have unsatisfactory shapes, however. Based on strain energy model and analysis, a new model is presented for constructing cubic Hermite curves with satisfactory shapes, which is a modification of strain energy model. The new model uses an explicit formula to compute the magnitudes of the two tangent vectors, and has the properties： （1） it is easy to compute; （2） it makes the cubic Hermite curves have satisfactory shapes while holding the good property of minimizing strain energy for some cases in curve construction. The comparison of the new model with the minimum strain energy model is included.     

Numerical scheme to solve a class of variable–order Hilfer–Prabhakar fractional differential equations with Jacobi wavelets polynomials

In this paper,we introduced a numerical approach for solving the fractional differential equations with a type of variable-order Hilfer-Prabhakar derivative of orderμ(t)andν(t).The proposed method is based on the Jacobi wavelet collocation method.According to this method,an operational matrix is constructed.We use this operational matrix of the fractional derivative of variable-order to reduce the solution of the linear fractional equations to the system of algebraic equations.Theoretical considerations are discussed.Finally,some numerical examples are presented to demonstrate the accuracy of the proposed method.     

Asymptotics of the solution to a stationary piecewise-smooth reaction-diffusion equation with a multiple root of the degenerate equation

A piecewise-smooth second-order singularly perturbed differential equation whose right-hand side is a nonlinear function with a discontinuity on some curve is investigated. This is a new class of problems in the case where the degenerate equation has a multiple root on the left-hand side of the curve which separates the domain and an isolated root on the right-hand side of that curve. The asymptotics of a solution with an internal layer near a point on the discontinuous curve and the transition point is constructed. The method to construct the internal layer function is proposed. The behavior of the solution in the internal layer consisting of four zones essentially differs from the case of isolated roots. For sufficiently small parameter values, the existence of a smooth solution with an internal layer from the multiple root of the degenerate equation to the isolated root in the neighborhood of a point on the discontinuous curve is proved. The method can be shown to be effective in the given example.     

HOMOCLINIC CYCLES OF A QUADRATIC SYSTEM DESCRIBED BY QUARTIC CURVES

This paper is devoted to discussing the topological classification of the quartic invariant algebraic curves for a quadratic system. We obtain sufficient and necessary conditions which ensure that the homoclinic cycle of the system is defined by the quartic invariant algebraic curve. Finally, the corresponding global phase diagrams are drawn.     

Applications of interval arithmetic in solving polynomial equations by Wu''''s elimination method

Wu's elimination method is an important method for solving multivariate poly- nomial equations.In this paper,we apply interval arithmetic to Wu's method and convert the problem of solving polynomial equations into that of solving interval polynomial equa- tions.Parallel results such as zero-decomposition theorem are obtained for interval poly- nomial equations.The advantages of the new approach are two-folds:First,the problem of the numerical instability arisen from floating-point arithmetic is largely overcome.Second, the low efficiency of the algorithm caused by large intermediate coefficients introduced by exact compaction is dramatically improved.Some examples are provided to illustrate the effectiveness of the proposed algorithm.     

GENERALIZED CONIC CURVES AND THEIR APPLICATIONS IN CURVE APPROXIMAION

The appriximation properties of generalized conic curves are studied in this paper. A generalized conic curve is defined as one of the following curves or their affine and translation e-quivalent curves:(i) conic curves i including parabolas, hyperbolas and ellipses;(ii) generalized monomial curves, including curves of the form x=yr,.r R.r=0,1, in the x-y Cartesian coordinate system;(iii) exponential spiral curves of the form p=Apolar coordinate system.This type of curves has many important properties such as convexity , approximation property, effective numerical computation property and the subdivision property etc. Applications of these curves in both interpolation and approximations using piecewise generalized conic segment are also developed. It is shown that these generalized conic splines are very similar to the cubic polynomial splines and the best error of approximation is or at least in general provided appropriate procedures are used. Finally some numerical examples of interpolation and appro