Searcharxiv⌕ Search

arXiv subjects

Zbyněk Šír

Publications and source records attributed to Zbyněk Šír.

8 recordsLinked to original sources

A Complete Characterization of Pythagorean Hodograph Preserving Mappings

We fully characterize the mappings $Φ$ that send every Pythagorean-hodograph (PH) curve to a PH curve. We prove that in any dimension, such mappings are precisely the conformal functions whose dilation is the square of a real rational function. In the planar case, this implies (up to conjugation) that $\partialΦ/\partial z = Ψ^{2}$, where $Ψ$ is meromorphic and satisfies $\operatorname{Res}(Ψ^{2}) = 0$ at every pole. In higher dimensions, PH preservation forces $Φ$ to be a conformal map; for $n \ge 3$, Liouville's theorem then implies that any local diffeomorphism with this property is (anti-)Möbius. These results subsume the previously known ``(scaled) PH-preserving'' constructions of mappings $\mathbb{R}^2 \to \mathbb{R}^3$ and align with Ueda's conformal viewpoint on isothermal and spherical geometries. At the level of examples, we demonstrate how PH-preserving mappings relate to the construction of rational PH curves and minimal surfaces.

math.DG↗

Minimal Surfaces via Complex Quaternions

Minimal surfaces play a fundamental role in differential geometry, with applications spanning physics, material science, and geometric design. In this paper, we explore a novel quaternionic representation of minimal surfaces, drawing an analogy with the well-established theory of Pythagorean Hodograph (PH) curves. By exploiting the algebraic structure of complex quaternions, we introduce a new approach to generating minimal surfaces via quaternionic transformations. This method extends classical Weierstraß-Enneper representations and provides insights into the interplay between quaternionic analysis, PH curves, and minimal surface geometry. Additionally, we discuss the role of the Sylvester equation in this framework and demonstrate practical examples, including the construction of Enneper surface patches. The findings open new avenues in computational geometry and geometric modeling, bridging abstract algebraic structures with practical applications in CAD and computer graphics.

math.CV↗

Lie Group Approach to Envelope Surfaces

In this paper, we develop a new and efficient approach to the computation of envelope surfaces. We interpret one-parameter systems of surfaces as curves in the homogeneous spaces of suitable Lie groups. Using the formalism of Lie groups and Lie algebras, we rigorously capture the inherent symmetry and linearity in the computation of envelopes. In particular, the possible set of characteristic curves (which constitute the envelope surface) can be precomputed as the intersection of a fixed canonical surface and a low-dimensional set of its possible "derivatives." To demonstrate the effectiveness of our approach, we present several examples of surfaces undergoing transformations from various Lie groups. As a remarkable side result, we show that the characteristic curves and the envelopes of cones undergoing rational motions are themselves rational. Furthermore, we provide an explicit rational parameterization of these envelopes and use it to solve the trimming problem.

math.DG↗

Closed Bounded Rational Framing Motions

We present a method for constructing all bounded rational motions that frame a space curve $\mathbf{r}(t)$. This means that the motion guides an orthogonal frame along the curve such that one frame axis is in direction of the curve tangent. Existence of (bounded) framing motions is equivalent to $\mathbf{r}(t)$ being a (bounded) rational Pythagorean Hodograph curve. In contrast to previous constructions that rely on polynomial curves with smooth self-intersection, our motions and curves are infinitely differentiable. To this end, we develop the theory of Pythagorean hodograph curves parameterized over the projective line. We also provide a simple geometric necessary and sufficient condition on the spherical part of the motion, given by the homogeneous quaternionic preimage of the Pythagorean hodograph curve, that ensures the existence of a corresponding bounded, rational, and even regular framing motion. The translation part comes from the speed distribution, which must be a special positive rational function. This can in practice be ensured by semidefinite optimization methods. We illustrate our findings with a number of examples.

math.OC↗

Piecewise rational rotation-minimizing motions via data stream interpolation

When a moving frame defined along a space curve is required to keep an axis aligned with the tangent direction of motion, the use of rotation-minimizing frames (RMF) avoids unnecessary rotations in the normal plane. The construction of rigid body motions using a specific subset of quintic curves with rational RMFs (RRMFs) is here considered. In particular, a novel geometric characterization of such subset enables the design of a local algorithm to interpolate an assigned stream of positions, together with an initial frame orientation. To achieve this, the translational part of the motion is described by a parametric $G^1$ spline curve whose segments are quintic RRMFs, with a globally continuous piecewise rational rotation-minimizing frame. A selection of numerical experiments illustrates the performances of the proposed method on synthetic and arbitrary data streams.

math.NA↗

Partial Fraction Decomposition for Rational Pythagorean Hodograph Curves

All rational parametric curves with prescribed polynomial tangent direction form a vector space. Via tangent directions with rational norm, this includes the important case of rational Pythagorean hodograph curves. We study vector subspaces defined by fixing the denominator polynomial and describe the construction of canonical bases for them. We also show (as an analogy to the fraction decomposition of rational functions) that any element of the vector space can be obtained as a finite sum of curves with single roots at the denominator. Our results give insight into the structure of these spaces, clarify the role of their polynomial and truly rational (non-polynomial) curves, and suggest applications to interpolation problems.

math.MG↗

Rational Framing Motions and Spatial Rational Pythagorean Hodograph Curves

We propose a new method for constructing rational spatial Pythagorean Hodograph (PH) curves based on determining a suitable rational framing motion. While the spherical component of the framing motion is arbitrary, the translation part is determined be a modestly sized and nicely structured system of linear equations. Rather surprisingly, generic input data will only result in polynomial PH curves. We provide a complete characterization of all cases that admit truly rational (non-polynomial) solutions. Examples illustrate our ideas and relate them to existing literature.

math.MG↗

Smooth surface interpolation using patches with rational offsets

We present a new method for the interpolation of given data points and associated normals with surface parametric patches with rational normal fields. We give some arguments why a dual approach is the most convenient for these surfaces, which are traditionally called Pythagorean normal vector (PN) surfaces. Our construction is based on the isotropic model of the dual space to which the original data are pushed. Then the bicubic Coons patches are constructed in the isotropic space and then pulled back to the standard three dimensional space. As a result we obtain the patch construction which is completely local and produces surfaces with the global G1~continuity.

cs.GR↗