NURBS approximation of surface/surface intersection curves

We use a combination of both symbolic and numerical techniques to construct degree boundedC ^k -continuous, rational B-spline ε-approximations of real algebraic surface-surface intersection curves. The algebraic surfaces could be either in implicit or rational parametric form. At singular points, we use the classical Newton power series factorizations to determine the distinct branches of the space intersection curve. In addition to singular points, we obtain an adaptive selection of regular points about which the curve approximation yields a small number of curve segments yet achievesC ^k continuity between segments. Details of the implementation of these algorithms and approximation error bounds are also provided. Supported in part by NSF Grants CCR 92.22467, DMS 91-01424, AFOSR Grant F49620-10138 and NASA Grant NAG-1-1473. Supported in part by K.C. Wong Education Foundation, Hong Kong.     

On the Topology of Real Algebraic Plane Curves

We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of singular and critical points, is also relevant. A challenge is to compute efficiently this information for the given coordinate system even if the curve is not in generic position. Previous methods based on the cylindrical algebraic decomposition use sub-resultant sequences and computations with polynomials with algebraic coefficients. A novelty of our approach is to replace these tools by Gröbner basis computations and isolation with rational univariate representations. This has the advantage of avoiding computations with polynomials with algebraic coefficients, even in non-generic positions. Our algorithm isolates critical points in boxes and computes a decomposition of the plane by rectangular boxes. This decomposition also induces a new approach for computing an arrangement of polylines isotopic to the input curve. We also present an analysis of the complexity of our algorithm. An implementation of our algorithm demonstrates its efficiency, in particular on high-degree non-generic curves.     

An Improved Upper Complexity Bound for the Topology Computation of a Real Algebraic Plane Curve

The computation of the topological shape of a real algebraic plane curve is usually driven by the study of the behavior of the curve around its critical points (which includes also the singular points). In this paper we present a new algorithm computing the topological shape of a real algebraic plane curve whose complexity is better than the best algorithms known. This is due to the avoiding, through a sufficiently good change of coordinates, of real root computations on polynomials with coefficients in a simple real algebraic extension of to deal with the critical points of the considered curve. In fact, one of the main features of this algorithm is that its complexity is dominated by the characterization of the real roots of the discriminant of the polynomial defining the considered curve.     

TRACING A PLANAR ALGEBRAIC CURVE

In this paper, an algorithm that determines a real algebraic curve is outlined. Its basicstep is to divide the plane into subdomain1s that include only simple branches of the algebraic curvewithout singular points. Each of the branches is then stably and efficiently traced in the particularsubdomain. Except for tracing, the algorithm requires only a couple of simple operations on poly-nomials that ran be carried out exacrly if the coefficients are rational, and the determination of the real roots of several univariate polynomials.     

On algebraic points in the plane near smooth curves∗

In the paper, we solve the problem on the number of points with algebraic real coordinates near smooth curve. This question is a natural extension of the problems of number theory connected with integer points in the domains and the rational numbers near curves. The main idea of the proof is based on the metric theory on Diophantine approximations.     

The Monge-Ampère Equation for Strictly $(n−1)$-Convex Functions with Neumann Condition

A $C^2$ function on $\mathbb{R}^n$ is called strictly $(n-1)$-convex if the sum of any $n-1$ eigenvalues of its Hessian is positive. In this paper, we establish a global $C^2$ estimates to the Monge-Ampère equation for strictly $(n-1)$-convex functions with Neumann condition. By the method of continuity, we prove an existence theorem for strictly $(n-1)$-convex solutions of the Neumann problems.     

Real plane algebraic curves

We study real algebraic plane curves, at an elementary level, using as little algebra as possible. Both cases, affine and projective, are addressed. A real curve is infinite, finite or empty according to the fact that a minimal polynomial for the curve is indefinite, semi-definite nondefinite or definite. We present a discussion about isolated points. By means of the P operator, these points can be easily identified for curves defined by minimal polynomials of order bigger than one. We also discuss the conditions that a curve must satisfy in order to have a minimal polynomial. Finally, we list the most relevant topological properties of affine and projective, complex and real plane algebraic curves.     

A rational sextic associated with a Desargues configuration

In this paper we consider a Desargues configuration in the projective plane, i.e. ten points and ten lines, on each line we have three of the points and through each point we have three of the lines. We construct a rational curve of order 6 which has a node at each of the ten points. We have never seen this kind of curve in the literature, but it is well known that for anyn there exists a rational curve of ordern which has [(n–1)(n–2)]/2 nodes and ifn=6 we find a sextic with ten nodes. The purpose of this paper is to obtain a sextic of this kind as a locus of points in connection with special projectivities of the plane associated with the Desargues configuration and to find a rational parametric representation of it. A large part of this paper is done with MACSYMA: it is an application of computer algebra in algebraic geometry. Special cases, where we find a quintic, a quartic or a cubic, are given in the last section.     

Singular Solutions to Monge-Ampère Equation

We construct merely Lipschitz and $C^{1,α}$ with rational $α ∈ (0, 1 − 2/n]$ viscosity solutions to the Monge-Ampère equation with constant right hand side.     

The Space of Unordered Real Line Arrangements

The set of all unordered real line arrangements of given degree in the real projective plane is known to have a natural semialgebraic structure. The nonreduced arrangements are singular points of this structure. We show that the set of all unordered real line arrangements of given degree also has a natural structure of a smooth compact connected affine real algebraic variety. In fact, as such, it is isomorphic to a real projective space. As a consequence, we get a projectively linear structure on the set of all real line arrangements of given degree. We also show that the universal family of unordered real line arrangements of given degree is not algebraic.     

Spline Surfaces over Arbitrary Topological Meshes: Theoretical Analysis and Application

Based on polyhedral splines, some multivariate splines of different orders with given supports over arbitrary topological meshes are developed. Schemes for choosing suitable families of multivariate splines based on pre-given meshes are discussed. Those multivariate splines with inner knots and boundary knots from the related meshes are used to generate rational spline shapes with related control points. Steps for up to $C^2$-surfaces over the meshes are designed. The relationship among the meshes and their knots, the splines and control points is analyzed. To avoid any unexpected discontinuities and get higher smoothness, a heart-repairing technique to adjust inner knots in the multivariate splines is designed.With the theory above, bivariate $C^1$-quadratic splines over rectangular meshes are developed. Those bivariate splines are used to generate rational $C^1$-quadratic surfaces over the meshes with related control points and weights. The properties of the surfaces are analyzed. The boundary curves and the corner points and tangent planes, and smooth connecting conditions of different patches are presented. The $C^1$−continuous connection schemes between two patches of the surfaces are presented.     

Piecewise quadratic trigonometric polynomial curves

Analogous to the quadratic B-spline curve, a piecewise quadratic trigonometric polynomial curve is presented in this paper. The quadratic trigonometric polynomial curve has continuity, while the quadratic B-spline curve has continuity. The quadratic trigonometric polynomial curve is closer to the given control polygon than the quadratic B-spline curve.

     

Number of rational points of a singular curve

In this paper, we give a bound for the number of rational points of a complete, geometrically irreducible, algebraic curve defined over a finite field. We compare it with other known bounds and discuss its sharpness. We also show that the asymptotic Drinfeld-Vladut bound can be generalized to the case of singular curves.

     

On Computing Zeros of a Bivariate Bernstein Polynomial

1.IntroductionIn[6]and[4],theproblemoffindingtheintersectionofacubicB6zierpatchandaplanewasconsidered.[6]consideredarectangular,and[41atriangularpatch.SincetheBernsteinoperatorB.:f-Bn(f)preserveslinearfunctions,theproblemwassimplifiedtothecomputationofzerosofabivariateBernsteinpolynomialB.(f).BothpaPersproducedsimpleandefficientcomputationalalgorithms.Itisbaseduponthefollowingidea:determinethepointswhereinsidethesupportthetopologyofzerosofB.(f)changes.Thiswasdonebyrestrictingthebivariatepo…     

On a question of Craven and a theorem of Belyi

In this elementary note we prove that a polynomial with rational coefficients divides the derivative of some polynomial which splits in if and only if all of its irrational roots are real and simple. This provides an answer to a question posed by Thomas Craven. Similar ideas also lead to a variation of the proof of Belyi's theorem that every algebraic curve defined over an algebraic number field admits a map to which is only ramified above three points. As it turned out, this variation was noticed previously by G. Belyi himself and Leonardo Zapponi.

     

Hyperbolic forms associated with cyclic weighted shift matrices

The singular points of the curve of a hyperbolic form associated with a cyclic weighted shift matrix are examined. It is shown that the singular points of such a curve are real nodes. Some results related the numerical ranges of cyclic weighted shift matrices are presented. In particular, the existence of flat portions on the boundary of the numerical range depends on the reducibility of the hyperbolic form. Further, an algebraic method is provided for the decomposition of reducible form which leads to a criterion for the periodicity of the weights.     

Identification of Planar Sextic Pythagorean-Hodograph Curves

Pythagorean-hodograph (PH) curves offer computational advantages in Computer Aided Geometric Design, Computer Aided Design, Computer Graphics, Computer Numerical Control machining and similar applications. In this paper, three methods are utilized to construct the identifications of planar regular sextic PH curves. The first exhibits purely the control polygon legs'' constraints in the complex form. Such reconstruction of a PH sextic can be elaborated by $C^1$ Hermite data and another one condition. The second uses polar representation in two cases. One of them can produce a family of convex sextic PH curves related with a quintic PH curve, and the other one may naturally degenerate a sextic PH curve to a quintic PH curve. In the third identification, we use some odd PH curves to construct a family of sextic PH curves with convexity-preserving property.     

一类2n阶次线性奇异边值问题的正解

利用单调迭代方法给出了一类2n阶次线性奇异常微分方程正解的存在性,得到C~(2n-2)[0,1]和C~(2n-1)[0,1]正解存在的充分必要条件,也得到正解的唯一性.     

具线性退化特征场对角型方程组Goursat问题的奇性形成机制

For an inhomogeneous quasilinear hyperbolic system of diagonal form, under the assumptions that the system is linearly degenerate and the C^1 norm of the boundary data is bounded, we show that the mechanism of the formation of singularities of C^1 classical solution to the Goursat problem with C^1 compatibility conditions at the origin must be an ODE type. The similar result is also obtained for the weakly discontinuous solution with C^0 compatibility conditions at the origin.