Using μ-bases to implicitize rational surfaces with a pair of orthogonal directrices
Xiaoran Shi,Xuhui Wang,Ron Goldman
DOI: https://doi.org/10.1016/j.cagd.2012.03.026
IF: 1.368
2012-01-01
Computer Aided Geometric Design
Abstract:A rational surfaceS(s,t)=(a(t)a⁎(s),a(t)b⁎(s),b(t)c⁎(s),c(t)c⁎(s)) can be generated from two orthogonal rational planar directrices: P(t)=(a(t),b(t),c(t)) in the xz-plane and P⁎(s)=(a⁎(s),b⁎(s),c⁎(s)) in the xy-plane. Moving a scaled copy of the curve P⁎(s) up and down along the z-axis with the size controlled by the curve P(t), we get the surface S(s,t). For example, when P⁎(s) is a circle with center at the origin, the surface S(s,t) is a surface of revolution. Many other useful and interesting surfaces whose cross sections are not circles can also be generated in this manner. We provide a new technique to implicitize this kind of rational surface using μ-bases. Let P(t) be a rational planar curve of degree n with a μ-basis consisting of two moving lines of degree μ and n−μ, and let P⁎(s) be a rational planar curve of degree m with a μ-basis consisting of two moving lines of degree μ⁎ and m−μ⁎. From the μ-bases for these two directrix curves P(t), P⁎(s), we can easily generate a μ-basis for the surface S(s,t) consisting of three moving planes that follow the surface with generic bidegrees (m−1,μ), (m−1,n−μ), (m,0). To implicitize the surface S(s,t), we construct a (2m−1)n×(2m−1)n sparse resultant matrix Rs,t for these three polynomials. We show that det(Rs,t)=0 is the implicit equation of the surface S(s,t) with a known extraneous factor of degree (m−1)n. To decrease the size of this matrix and to eliminate entirely the extraneous factor, we construct a new mn×mn Sylvester style sparse matrix Ss,t from four moving planes that follow the surface S(s,t). We prove that det(Ss,t)=0 is the exact implicit equation of the surface S(s,t) without any extraneous factors. Examples are presented to illustrate our methods.