Fair cubic transition between two circles with one circle inside or tangent to the other

This paper describes a method for joining two circles with a C-shaped and an S-shaped transition curve, composed of a cubic Bézier segment. As an extension of our previous work; we show that a single cubic curve can be used for blending or for a transition curve preserving G ² continuity regardless of the distance of their centers and magnitudes of the radii which is an advantage. Our method with shape parameter provides freedom to modify the shape in a stable manner.     

Curves and Surfaces Construction Based on New Basis with Exponential Functions

By incorporating two exponential functions into the cubic Bernstein basis functions, a new class of λμ-Bernstein basis functions is constructed. Based on these λμ-Bernstein basis functions, a kind of λμ-Bézier-like curve with two shape parameters, which include the cubic Bernstein-Bézier curve, is proposed. The C ¹ and C ² continuous conditions for joining two λμ-Bézier-like curves are given. By using tensor product method, a class of rectangular Bézier-like patches with four shape parameters is shown. The G ¹ and G ² continuous conditions for joining two rectangular Bézier-like patches are derived. By incorporating three exponential functions into the cubic Bernstein basis functions over triangular domain, a new class of λμη-Bernstein basis functions over triangular domain is also constructed. Based on the λμη-Bernstein basis functions, a kind of triangular λμη-Bézier-like patch with three shape parameters, which include the triangular Bernstein-Bézier cubic patch, is presented. The conditions for G ¹ continuous smooth joining two triangular λμη-Bézier-like patches are discussed. The shape parameters serve as tension parameters and have a predictable adjusting role on the curves and patches.     

OnG 2 continuous cubic spline interpolation

In this paper the interpolation byG ² continuous planar cubic Bézier spline curves is studied. The interpolation is based upon the underlying curve points and the end tangent directions only, and could be viewed as an extension of the cubic spline interpolation to the curve case. Two boundary, and two interior points are interpolated per each spline section. It is shown that under certain conditions the interpolation problem is asymptotically solvable, and for a smooth curvef the optimal approximation order is achieved. The practical experiments demonstrate the interpolation to be very satisfactory. Supported in prat by the Ministry of Science and Technology of Slovenjia, and in part by the NSF and SF of National Educational Committee of China.     

Planar G2 Hermite interpolation with some fair,C-shaped curves

G² Hermite data consists of two points, two unit tangent vectors at those points, and two signed curvatures at those points. The planar G² Hermite interpolation problem is to find a planar curve matching planar G² Hermite data. In this paper, a C-shaped interpolating curve made of one or two spirals is sought. Such a curve is considered fair because it comprises a small number of spirals. The C-shaped curve used here is made by joining a circular arc and a conic in a G² manner. A curve of this type that matches given G² Hermite data can be found by solving a quadratic equation. The new curve is compared to the cubic Bézier curve and to a curve made from a G² join of a pair of quadratics. The new curve covers a much larger range of the G² Hermite data that can be matched by a C-shaped curve of one or two spirals than those curves cover.     

A geometric approach to Euler’s addition formula A direct formulation of the addition law for elliptic curves given in?terms of Weierstra? quartics

Plane quartic curves given by equations of the form y ²=P(x) with polynomials P of degree 4 represent singular models of elliptic curves which are directly related to elliptic integrals in the form studied by Euler and for which he developed his famous addition formulas. For cubic curves, the well-known secant and tangent construction establishes an immediate connection of addition formulas for the corresponding elliptic integrals with the structure of an algebraic group. The situation for quartic curves is considerably more complicated due to the presence of the singularity. We present a geometric construction, similar in spirit to the secant method for cubic curves, which defines an addition law on a quartic elliptic curve given by rational functions. Furthermore, we show how this addition on the curve itself corresponds to the addition in the (generalized) Jacobian variety of the curve, and we show how any addition formula for elliptic integrals of the form ò(1/?{P(x)}) dx\int (1/\sqrt{P(x)})\,\mathrm{d}x with a quartic polynomial P can be derived directly from this addition law.     

The Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, we propose the Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations. We show that, if two continuous piecewise algebraic curves of degrees m and n respectively meet at mnT distinct points over a cross-cut triangulation, where T denotes the number of cells of the triangulation, then any continuous piecewise algebraic curve of degree m + n − 2 containing all but one point of them also contains the last point.     

Algebraically stable general linear methods and the <Emphasis Type="Italic">G</Emphasis>-matrix

The standard algebraic stability condition for general linear methods (GLMs) is considered in a modified form, and connected to a branch of Control Theory concerned with the discrete algebraic Riccati equation (DARE). The DARE theory shows that, for an algebraically stable method, there is a minimal G-matrix, G ^*, satisfying an equation, rather than an inequality. This result, and another alternative reformulation of algebraic stability, are applied to construct new GLMs with 2 steps and 2 stages, one of which has order p=4 and stage order q=3. The construction process is simplified by method-equivalence, and Butcher’s simplified order conditions for the case p≤q+1.      

The Virtual Poincaré Polynomials of Homogeneous Spaces

We factor the virtual Poincaré polynomial of every homogeneous space G/H, where G is a complex connected linear algebraic group and H is an algebraic subgroup, as t^2u (t²–1)^r Q_G/H(t²) for a polynomial Q_G/H with nonnegative integer coefficients. Moreover, we show that Q_G/H(t²) divides the virtual Poincaré polynomial of every regular embedding of G/H, if H is connected.     

Morse theory for the space of Higgs <Emphasis Type="Italic">G</Emphasis>–bundles

Fix a C ^∞ principal G–bundle E⁰_G{E^0_G} on a compact connected Riemann surface X, where G is a connected complex reductive linear algebraic group. We consider the gradient flow of the Yang–Mills–Higgs functional on the cotangent bundle of the space of all smooth connections on E⁰_G{E^0_G}. We prove that this flow preserves the subset of Higgs G–bundles, and, furthermore, the flow emanating from any point of this subset has a limit. Given a Higgs G–bundle, we identify the limit point of the integral curve passing through it. These generalize the results of the second named author on Higgs vector bundles.     

On the intersection of infinite geometric and arithmetic progressions

We prove that the intersection G ∩ A of an infinite geometric progression G = u, uq, uq ², uq ³, ..., where u > 0 and q > 1 are real numbers, and an infinite arithmetic progression A contains at most 3 elements except for two kinds of ratios q. The first exception occurs for q = r ^1/d , where r > 1 is a rational number and d ∈ ℕ. Then this intersection can be of any cardinality s ∈ ℕ or infinite. The other (possible) exception may occur for q = β ^1/d , where β > 1 is a real cubic algebraic number with two nonreal conjugates of moduli distinct from β and d ∈ ℕ. In this (cubic) case, we prove that the intersection G ∩ A contains at most 6 elements.     

Interpolation Scheme for Planar Cubic <Emphasis Type="Italic">G</Emphasis><Superscript>2</Superscript> Spline Curves

In this paper a method for interpolating planar data points by cubic G ² splines is presented. A spline is composed of polynomial segments that interpolate two data points, tangent directions and curvatures at these points. Necessary and sufficient, purely geometric conditions for the existence of such a polynomial interpolant are derived. The obtained results are extended to the case when the derivative directions and curvatures are not prescribed as data, but are obtained by some local approximation or implied by shape requirements. As a result, the G ² spline is constructed entirely locally.     

Curve design with rational Pythagorean-hodograph curves

The dual Bézier representation offers a simple and efficient constructive approach to rational curves with rational offsets (rational PH curves). Based on the dual form, we develop geometric algorithms for approximating a given curve with aG ² piecewise rational PH curve. The basic components of the algorithms are an appropriate geometric segmentation andG ² Hermite interpolation. The solution involves rational PH curves of algebraic class 4; these curves and important special cases are studied in detail.     

Triangular actions onC 3

Free algebraic actions of a connected algebraic groupG onC ³ which can be triangularized are shown to be trivial, that isC ³ is equivariantly isomorphic toGxC ^3–dimG . This result follows directly from the case of the additive groupG=G _a and is shown to hold for quasi-algebraic actions as well. Connections with the classification of homogeneous affine varieties are discussed.Partially supported by NSF grant DMS 8420315     

Interactive shape preserving interpolation by curvature continuous rational cubic splines

A scheme is described for interactively modifying the shape of convexity preserving planar interpolating curves. An initial curve is obtained by patching together rational cubic and straight line segments. This scheme has, in general, geometric continuity of order 2(G² continuity) and preserves the local convexity of the data. A method for interactively modifying such curves, while maintaining their desirable properties, is discussed in detail. In particular, attention is focused upon local changes to the curve, while retaining G² continuity and shape preserving properties. This is achieved by interactive adjustment of the Bézier control points, followed by automatic adjustment of the values of weights and curvatures in a prescribed manner. A number of examples are presented.     

Spline on a generalized hyperbolic paraboloid

In this paper, we present an approach to produce a kind of spline, which is very close to G²-continuity. For a control polygon, we can construct a polyhedron. A generalized hyperbolic paraboloid with a Bernstein-Bézier algebraic form is obtained by the barycentric coordinate system, in which parametrical forms can be represented with two parameters. Having constrained the two parameters with a functional relation for the generalized hyperbolic paraboloid, a variety of arcs could be constructed with the nature of fitting the tangent direction at the endpoints and a little curvature for the whole arc, which can be attached into a spline curve of G²-continuity. Further, using the method of simple averages, we present a new symmetry spline to a control polygon, which can improve the approximating effect for a control polygon.     

Algebraic density property of homogeneous spaces

Let X be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that X is equipped with several fixed point free nondegenerate SL₂-actions satisfying some mild additional assumption. Then we prove that the Lie algebra generated by completely integrable algebraic vector fields on X coincides with the space of all algebraic vector fields. In particular, we show that apart from a few exceptions this fact is true for any homogeneous space of form G/R where G is a linear algebraic group and R is a closed proper reductive subgroup of G.     

Cubic vertex‐transitive graphs of order 2pq

A graph is vertex?transitive or symmetric if its automorphism group acts transitively on vertices or ordered adjacent pairs of vertices of the graph, respectively. Let G be a finite group and S a subset of G such that 1?S and S={s^?1 | s∈S}. The Cayleygraph Cay(G, S) on G with respect to S is defined as the graph with vertex set G and edge set {{g, sg} | g∈G, s∈S}. Feng and Kwak [J Combin Theory B 97 (2007), 627–646; J Austral Math Soc 81 (2006), 153–164] classified all cubic symmetric graphs of order 4p or 2p² and in this article we classify all cubic symmetric graphs of order 2pq, where p and q are distinct odd primes. Furthermore, a classification of all cubic vertex‐transitive non‐Cayley graphs of order 2pq, which were investigated extensively in the literature, is given. As a result, among others, a classification of cubic vertex‐transitive graphs of order 2pq can be deduced. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 285–302, 2010     

The Socle and finite dimensionality of some Banach algebras

The purpose of this note is to describe some algebraic conditions on a Banach algebra which force it to be finite dimensional. One of the main results in Theorem 2 which states that for a locally compact groupG, G is compact if there exists a measure μ in Soc(L ¹(G)) such that μ(G) ≠ 0. We also prove thatG is finite if Soc(M(G)) is closed and every nonzero left ideal inM(G) contains a minimal left ideal.