<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">2327-4352</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jamp.2023.115081</article-id><article-id pub-id-type="publisher-id">JAMP-124804</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Global Optimization Method to Comprise Rotation-Minimizing Euler-Rodrigues Frames of Pythagorean-Hodograph Curve
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fengfu</surname><given-names>Peng</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Jinrong</surname><given-names>Pang</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Yuting</surname><given-names>Pan</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Mathematics and Computing Science, Guilin University of Electronic Technology, Guilin, China</addr-line></aff><aff id="aff2"><addr-line>School of Mathematics and Computing Science, Guilin University of Electronic Technology Nanning Research Institute, Nanning, China</addr-line></aff><pub-date pub-type="epub"><day>05</day><month>05</month><year>2023</year></pub-date><volume>11</volume><issue>05</issue><fpage>1250</fpage><lpage>1262</lpage><history><date date-type="received"><day>14,</day>	<month>February</month>	<year>2023</year></date><date date-type="rev-recd"><day>7,</day>	<month>May</month>	<year>2023</year>	</date><date date-type="accepted"><day>10,</day>	<month>May</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The rotation-minimizing frame is the main research object for a spatial curve. Although the mathematical description is not complicated, it is not easy to directly make an exact minimizing-rotation frame for the Euler-Rodrigues frame. The condition for the non-normalized Euler-Rodrigues frame of the Pythagorean-Hodograph curve to become the rotation-minimizing frame is given in this article, which is an ordinary differential equation with rational form, the analytical solution that does not always exist. To avoid calculating the solution of ordinary differential equations, a global optimization algorithm for the conditions is proposed, that has a weight function in the objective function. The quintic Pythagorean-Hodograph curve is analyzed concretely with the method, and its objective function and constraint conditions of optimization are clarified. The example is analyzed by using this method with different weight functions and contrasting that approach with its exact value.
 
</p></abstract><kwd-group><kwd>Rotation-Minimizing</kwd><kwd> Euler-Rodrigues Frames</kwd><kwd> Pythagorean-Hodograph Curves</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Pythagorean-Hodograph (PH) curve is a kind of polynomial parametric curve based on offset curve research. Its characteristic is that its rate function is also polynomial, and the arc length of curve can be calculated accurately. A polynomial parametric curve P ( t ) = [ x ( t ) , y ( t ) , z ( t ) ] is called spatial PH curve, if and only if the derivative P ′ ( t ) = [ x ′ ( t ) , y ′ ( t ) , z ′ ( t ) ] of the polynomial parametric curve satisfies the condition σ ( t ) = x ′ 2 ( t ) + y ′ 2 ( t ) + z ′ 2 ( t ) being a polynomial. The equivalent condition is that there are four polynomials u ( t ) , v ( t ) , p ( t ) , q ( t ) satisfying</p><p>{ x ′ ( t ) = u 2 ( t ) + v 2 ( t ) − p 2 ( t ) − q 2 ( t ) , y ′ ( t ) = 2 u ( t ) q ( t ) + 2 v ( t ) p ( t ) , z ′ ( t ) = 2 v ( t ) q ( t ) − 2 u ( t ) p ( t ) . (1)</p><p>The arc length of the PH curve can be computed precisely by simply calculating a polynomial. The PH curve plays an important role in CAGD, which not only offers unique computational advantages over ordinary polynomial parametric curves in CAD/CAM applications, but also retains full compatibility with standard B&#233;zier/B-spline representations [<xref ref-type="bibr" rid="scirp.124804-ref1">1</xref>] .</p><p>In 1994, Farouki extended the planar PH curves to spatial PH curves and surfaces, and gave an explicit expression of developable surfaces with rational offsets [<xref ref-type="bibr" rid="scirp.124804-ref2">2</xref>] . At the same time, the further theoretical and applied research on PH curve was carried out in [<xref ref-type="bibr" rid="scirp.124804-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref4">4</xref>] . Hermite interpolation and continuous analysis of PH curves have attracted much attention [<xref ref-type="bibr" rid="scirp.124804-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref9">9</xref>] .</p><p>An orthogonal frame ( f 1 ( t ) , f 2 ( t ) , f 3 ( t ) ) is on a given spatial curve P ( t ) , if the f 1 ( t ) is the unit tangent, and the others orthogonal unit vectors f 2 ( t ) , f 3 ( t ) span the normal plane. The derivative of the frame concerning to arc length s determines its angular velocity ω = ( ω 1 , ω 2 , ω 3 ) as follow</p><p>d f 1 d s = ω &#215; f 1 , d f 2 d s = ω &#215; f 2 , d f 3 d s = ω &#215; f 3 . (2)</p><p>where ω &#215; f i represents the vector product of both vectors. There are many ways to comprise a frame [<xref ref-type="bibr" rid="scirp.124804-ref10">10</xref>] . A familiar case is the Frenet frame that is formed by the tangent t , the principal normal n , and the binormal b = t &#215; n . If there are unit orthogonal vectors u , v in the normal plane, and the frame angular velocity satisfies ω ⋅ t ≡ 0 , then the ( t , u , v ) is named as a rotation-minimizing (RM) adapted frame [<xref ref-type="bibr" rid="scirp.124804-ref11">11</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref12">12</xref>] , which is also called as a Bishop frame. Another equivalent condition of RM frames is ω 1 ≡ 0 . Its physical meaning is that the frames do not rotate around the tangent direction when it moves along the curve.</p><p>The RM frames of the spatial curve are of great value in research areas of computer graphics, computer animation, motion planning, and other research fields. It is specifically used in swept surface modeling, 3D roaming and motion interpolation, and has a wide range of application value. As there is hardly a way to find an exact formulation directly to calculate the RM frames, the computation of the RM frames to a spatial curve attracts a good deal of attention. Many effective geometric algorithms have been proposed; especially, using the Euler-Rodrigues (ER) frames to construct the RM frames with orthogonal transformation is a pretty good way [<xref ref-type="bibr" rid="scirp.124804-ref11">11</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref13">13</xref>] . ER frame is a special rational adaptive frame base on spatial PH curve. It is always non-singular at the inflection point. It makes it different from the adaptive method, but this kind of approach does not offer a complete solution to solve the RM frame, and the authors have raised some open questions [<xref ref-type="bibr" rid="scirp.124804-ref14">14</xref>] .</p><p>The perfect combination of PH curve and the RM frames can be achieved through the ER frames [<xref ref-type="bibr" rid="scirp.124804-ref15">15</xref>] , and this frame is raised by the quaternion polynomial. But the frame is a rational form, which increases the difficulty to calculate the geometric attributes of a spatial curve [<xref ref-type="bibr" rid="scirp.124804-ref11">11</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref13">13</xref>] [<xref ref-type="bibr" rid="scirp.124804-ref14">14</xref>] . In this paper, based on the ER frame of spatial PH curve, we propose an optimization method to approximate the RM frame, which avoids the existence to the ER frames with the transformation, and reduces the calculation of rational polynomials.</p><p>The remainder of this paper is organized as follows: In Section 2, the conditions for the non-normalized ER frames of the PH curve to become the RM frames are given, and the optimization algorithm for the conditions is proposed. The quintic PH curve is analyzed concretely, and the objective function and constraint conditions of optimization are clarified in Section 3. Some examples are analyzed by using this method in Section 4. The 5th section is the summary of the full text.</p></sec><sec id="s2"><title>2. Preliminary Work</title><sec id="s2_1"><title>2.1. Quaternion</title><p>This section briefly introduces quaternion and the construction of PH curves with the quaternion.</p><p>A spatial Pythagorean-Hodograph (PH) curve can be represented in a compact form with the quaternion. Here is a brief introduction to the concept and basic operations of the quaternion. In the four-dimensional real vector space R 4 , the space formed by the quaternions represented by the standard base { 1, i , j , k } is denoted by H , which is defined as</p><p>i 2 = j 2 = k 2 = i j k = − 1.</p><p>and derive the relation</p><p>i j = − j i = k , j k = − k j = i , k i = − i k = j .</p><p>A quaternion A in space H is written as A = α 0 + α 1 i + α 2 j + α 3 k , where α 0 , α 1 , α 2 , α 3 are the real numbers. For convenience, the quaternion is written in the form of A = ( α 0 , α ) , α 0 is called the scalar part of the quaternion, and α = α 1 i + α 2 j + α 3 k is the vector part, it is called the pure quaternion when α 0 = 0 , at this time it can be regarded as a vector in three-dimensional space, and the space it constitutes is isomorphic to R 3 . For any two quaternions A = ( α 0 , α ) , B = ( β 0 , β ) the algorithm is defined as</p><p>A &#177; B = ( α 0 &#177; β 0 , α &#177; β ) ,</p><p>A B = ( α 0 β 0 − α ⋅ β , α 0 β + β 0 α + α &#215; β ) ,</p><p>here α ⋅ β represents the scalar product of vectors. Therefore, the quaternion multiplication is non-commutative, that is A B ≠ B A . The conjugate quaternion is defined as A * = ( α 0 , − α ) , and its norm is ‖ A ‖ = A A * = ∑ i = 0 3     α i 2 . A is called a unit quaternion when ‖ A ‖ = 1 , the pure unit quaternion can be regarded as a unit vector in R 3 .</p><p>Let A , B be two real quaternions in H , there define three commutative algebraic operations [<xref ref-type="bibr" rid="scirp.124804-ref16">16</xref>] as</p><p>A ⋆ B = 1 2 ( A i B * + B i A * ) , (3)</p><p>A ⊙ B = 1 2 ( A j B * + B j A * ) ,</p><p>A ⊗ B = 1 2 ( A k B * + B k A * ) .</p><p>there are three squares denoted by A 2 ⋆ = A i A * , A 2 ⊙ = A j A * and A 2 ⊗ = A k A * .</p><p>Now given a polynomial quaternion A ( t ) = u ( t ) + v ( t ) i + p ( t ) j + q ( t ) k , it follows from the formula (3) that as a pure quaternion P ′ ( t ) = A 2 ⋆ meets the conditions Equation (1). The PH curve P ( t ) can be obtained through integral with its initial position. This PH curve can be presented by the B&#233;zier method, and its control vertexes are directly expressed with the quaternion [<xref ref-type="bibr" rid="scirp.124804-ref17">17</xref>] , the next review this method to produce the quintic PH curve.</p></sec><sec id="s2_2"><title>2.2. Quintic PH Curve with Quaternion</title><p>For a quintic B&#233;zier curve segment, it can be constructed as follows, given two points and its tangents { Q 0 , ε 0 } and { Q 5 , ε 1 } .</p><p>Choose A 0 and A 2 as formula in [<xref ref-type="bibr" rid="scirp.124804-ref9">9</xref>] as</p><p>A i = { ‖ ε i ‖ ε i ‖ ε i ‖ + i ‖ ε i ‖ ε i ‖ + i ‖ , ε i ≠ − i , ‖ ε i ‖ k , else , ( i = 0,2 ) ,</p><p>and A 1 is free. Let</p><p>Δ d 0 = ε 0 = 1 5 A 0 2 ⋆ , Δ d 1 = 1 5 ( A 0 ⋆ A 1 ) , Δ d 2 = 1 15 ( A 0 ⋆ A 2 + A 1 2 ⋆ ) , Δ d 3 = 1 5 ( A 1 ⋆ A 2 ) , Δ d 4 = ε 1 = 1 5 A 2 2 ⋆ .</p><p>then the vertexes of B&#233;zier curve are these</p><p>Q i = Q 0 + ∑ j = 0 i − 1     Δ d j , i = 1,2,3 , 4,5,</p><p>the B&#233;zier curve can be produced by the vertexes Q i ( i = 0,1, ⋯ ,5 ) , that is a spatial PH curve. The quaternions A 0 and A 2 can also be defined as others forms including the rotation angle parameters. This segment has good geometric properties, such as it having tangent ε 0 at Q 0 and ε 1 at Q 5 . Because the quaternion A 1 is free, there are some freedoms for adjusting and designing the spatial PH curve.</p></sec></sec><sec id="s3"><title>3. Rotation-Minimizing ER Frames</title><sec id="s3_1"><title>3.1. Condition of Rotation-Minimizing ER Frames</title><p>If the coefficient is quaternion A ( t ) , construct velocity vector curve P ′ ( t ) = A 2 ⋆ , and then get a B&#233;zier curve P ( t ) through integration. It has an ER orthogonal</p><p>frame ( e 1 , e 2 , e 3 ) = 1 σ ( A 2 ⋆ , A 2 ⊙ , A 2 ⊗ ) , in which</p><p>σ ( t ) = ‖ A i A * ‖ = ‖ A j A * ‖ = ‖ A k A * ‖ . To comprise the RM frames for the ER frames, set the rotation angle as θ ( t ) , and construct the orthogonal transformation</p><p>[ e &#175; 2 ( t ) e &#175; 3 ( t ) ] = [ cos 2 θ − sin 2 θ &#177; sin 2 θ &#177; cos 2 θ ] [ e 2 ( t ) e 3 ( t ) ] . (4)</p><p>In Equations (4), there is a rotation transformation when it takes the positive signs, otherwise, it is the specular transformation. To make ( e 1 , e &#175; 2 , e &#175; 3 ) become a RM frame, it must satisfy e &#175; ′ 2 ⋅ e &#175; 3 = 0 , for details, refer to the literature [<xref ref-type="bibr" rid="scirp.124804-ref9">9</xref>] , and deduce the relationship (All of the derivatives are with respect to parameter t in this text unless noted otherwise)</p><p>d θ d t = 1 2 ( e &#175; ′ 2 ⋅ e &#175; 3 ) , (5)</p><p>For the convenience of calculation, when rotating the above ER frame, we do not consider the normalization of the coordinates. It is still an orthogonal frame, and directly rotate the isometric frame ( A i A * , A j A * , A k A * ) , which are not rational polynomials. At the same time, according to the above marks, it can also be recorded as ( A 2 ⋆ , A 2 ⊙ , A 2 ⊗ ) , and a similar relation can be obtained as</p><p>d θ d t = 1 2 σ 2 ( d d t A 2 ⊙ ⋅ A 2 ⊗ ) ≜ g ( t ) , (6)</p><p>A brief proof process is followed, according to equations (4), we can obtain</p><p>[ u ( t ) v ( t ) ] = [ cos 2 θ − sin 2 θ sin 2 θ cos 2 θ ] [ A 2 ⊙ A 2 ⊗ ] , (7)</p><p>thus we have</p><p>u ′ ( t ) = − 2 ( sin 2 θ A 2 ⊙ + cos 2 θ A 2 ⊗ ) d θ d t + [ cos 2 θ ( A 2 ⊙ ) ′ − sin 2 θ ( A 2 ⊗ ) ′ ]</p><p>and</p><p>v ( t ) = sin 2 θ A 2 ⊙ + cos 2 θ A 2 ⊗ ,</p><p>let’s take the scaler product of them</p><p>u ′ ( t ) ⋅ v ( t ) = 2 σ 2 d θ d t + sin 2 θ cos 2 θ [ ( A 2 ⊙ ) ′ ⋅ A 2 ⊙ − ( A 2 ⊗ ) ′ ⋅ A 2 ⊗ ]       + cos 2 2 θ ( A 2 ⊙ ) ′ ⋅ A 2 ⊗ − sin 2 2 θ ( A 2 ⊗ ) ′ ⋅ A 2 ⊙ . (8)</p><p>Here exist A 2 ⊙ ⋅ A 2 ⊙ = A 2 ⊗ ⋅ A 2 ⊗ = σ 2 . This thereby, ( A 2 ⊙ ) ′ ⋅ A 2 ⊙ = ( A 2 ⊗ ) ′ ⋅ A 2 ⊗ = σ ′ σ , and A 2 ⊙ ⋅ A 2 ⊗ = 0 , then ( A 2 ⊙ ) ′ ⋅ A 2 ⊗ + A 2 ⊙ ⋅ ( A 2 ⊗ ) ′ = 0 . These submit to the Equation (8) make it to zero, so the Equation (6) is hold.</p><p>Theoretically, setting the initial value of θ 0 (set θ 0 = 0 in subsequent examples), we can calculate θ by integrating equation (6) as follows,</p><p>θ = θ 0 + ∫ 0 t     g ( t ) d t .</p><p>But in general, the expression of θ is difficult to obtain. It is an ordinary differential problem with initial values, and we can obtain the value through discrete numerical calculation. Using the Trapezoidal integral formula, we can get the solution of discrete point sequence t 0 , t 1 , ⋯ , t m with θ ( t 0 ) = θ 0 ,</p><p>θ ( t k ) = θ ( t k − 1 ) + Δ t 2 [ g ( t k − 1 ) + g ( t k ) ] + O ( Δ t ) 3 , Δ t = t k − t k − 1 , k = 1 , 2 , ⋯ , m . (9)</p><p>Although this method can achieve approximate minimum rotation, there is a challenge for each θ to calculate the integral of a rational expression in practical application. Because of the delay in the calculation, it is very detrimental to a predictable adaptive method for the entire curve.</p><p>To build an adapted rotation-minimizing frame, the numerical calculation method cannot meet practical requirements, so we select a continuous angular function</p><p>θ = arctan ϕ ( t )</p><p>to approximate the exact solution. The corresponding rotation matrix is</p><p>[ u ( t ) v ( t ) ] = 1 1 + ϕ 2 ( t ) [ 1 − ϕ 2 ( t ) − 2 ϕ ( t ) &#177; 2 ϕ ( t ) &#177; [ 1 − ϕ 2 ( t ) ] ] [ A 2 ⊙ A 2 ⊗ ] , (10)</p><p>The angle function is often chosen as</p><p>ϕ ( t ) = a ( t ) b ( t ) ,</p><p>where a ( t ) and b ( t ) are the reduced polynomials, i.e. g c d ( a ( t ) , b ( t ) ) = 1 .</p><p>The orthogonal transformation</p><p>[ u ( t ) v ( t ) ] = [ b 2 ( t ) − a 2 ( t ) − 2 a ( t ) b ( t ) &#177; 2 a ( t ) b ( t ) &#177; [ b 2 ( t ) − a 2 ( t ) ] ] a 2 ( t ) + b 2 ( t ) [ A 2 ⊙ A 2 ⊗ ] (11)</p><p>Equations (11) are minor changes of the transformation matrix that compares with the literature [<xref ref-type="bibr" rid="scirp.124804-ref11">11</xref>] , which is just for the convenience of expression. The final</p><p>comprised frame ( e 1 , e u , e v ) is a RM frames, here e u = u ( t ) ‖ u ( t ) ‖ , e v = v ( t ) ‖ v ( t ) ‖ .</p><p>Polynomials a ( t ) , b ( t ) need to meet the relation (we only consider the rotation transformation here)</p><p>1 2 σ 2 ( d d t A 2 ⊙ ⋅ A 2 ⊗ ) = a b ′ − a ′ b a 2 + b 2 , (12)</p><p>In fact, for one general spatial curve, the polynomials a ( t ) and b ( t ) does not always exist, so we adopt the optimization calculation method to find the approximate RM frames.</p></sec><sec id="s3_2"><title>3.2. Optimization Method of ER Frames</title><p>The optimization method is as follows,</p><p>1) Find that the polynomial a ( t ) and b ( t ) satisfies d d t A 2 ⊙ ⋅ A 2 ⊗ = a b ′ − a ′ b ,</p><p>the sufficient condition for the equation to hold is that the degree of a ( t ) and b ( t ) must be same. The degree of a ( t ) , b ( t ) selected is the same as that of the polynomial A 2 ⊙ ( t ) , so there are still 2 degrees of freedom left. Otherwise, the degree of freedom will be reduced and not even.</p><p>2) Use the above 2 freedoms to approximate and optimize the above Equation (12) as</p><p>1 = d d t A 2 ⊙ ⋅ A 2 ⊗ a b ′ − a ′ b ≈ 2 σ 2 a 2 + b 2 ,</p><p>and construct the following objective function</p><p>arg min a , b ∫ 0 1     ρ ( t ) [ a 2 ( t ) + b 2 ( t ) − 2 σ 2 ] 2 d t . (13)</p><p>where ρ ( t ) is the weight function. Generally, we can select ρ ( t ) = 1 or ρ ( t ) = σ ( t ) and so on, which can realize the optimization effect of arc length.</p><p>Although it is not an exact RM frames, it can realize the minimum rotation problem on the whole curve at one time.</p></sec></sec><sec id="s4"><title>4. RM Frames of Quintic PH Curve</title><p>Let A ( t ) = ( 1 − t ) 2 A 0 + 2 ( 1 − t ) t A 1 + t 2 A 2 , where A i ( i = 0,1,2 ) are three real quaternion polynomials, then</p><p>d d t ( A j A * ) = d d t A 2 ⊙ = A j A * ′ + A ′ j A * = 4 ∑ i = 0 3     B 3, i ( t ) P i , (14)</p><p>where</p><p>p 0 = A 0 ⊙ ( A 1 − A 0 ) , p 1 = 1 3 [ A 0 ⊙ ( A 2 − A 1 ) ] + 2 3 [ A 1 ⊙ ( A 1 − A 0 ) ] ,</p><p>p 2 = 1 3 [ A 2 ⊙ ( A 1 − A 0 ) ] + 2 3 [ A 1 ⊙ ( A 2 − A 1 ) ] , p 3 = A 2 ⊙ ( A 2 − A 1 ) . (15)</p><p>All of these p i ( i = 0,1 , 2,3 ) are the pure quaternions, and B n , i ( t ) = C n i ( 1 − t ) n − i t i is the Bernstein basis function, then the Equation (14) also can be presented by</p><p>d d t ( A j A * ) = ∑ i = 0 3     B ′ 4, i ( t ) r i , (16)</p><p>where</p><p>r 0 = − ( p 0 + p 1 + p 2 + p 3 ) , r 1 = − ( p 1 + p 2 + p 3 ) , r 2 = − ( p 2 + p 3 ) , r 3 = − p 3 . (17)</p><p>The following expression is parallelled deduced as above,</p><p>A k A * = A 2 ⊗ = ∑ i = 0 4     B 4, i ( t ) q i , (18)</p><p>where</p><p>q 0 = A 0 2 ⊗ , q 1 = A 0 ⊗ A 1 , q 2 = 1 3 [ A 0 ⊗ A 2 ] + 2 3 [ A 1 2 ⊗ ] , q 3 = A 1 ⊗ A 2 , q 4 = A 2 2 ⊗ . (19)</p><p>After calculating the scaler product of (16) and (18), we obtain follow equation</p><p>A 2 ⊙ ′ ⋅ A 2 ⊗ = ∑ i = 0 3     ∑ j = 0 4     B ′ 4, i ( t ) B 4, j ( t ) ( r i ⋅ q j ) . (20)</p><p>Set two polynomials to be a ( t ) = ∑ i = 0 4     a i B 4 , i ( t ) and b ( t ) = ∑ i = 0 4     b i B 4 , i ( t ) . we can deduce follow equations,</p><p>a ( t ) b ′ ( t ) = ∑ i = 0 3     ∑ j = 0 4     B ′ 4 , i ( t ) B 4 , j ( t ) ( b i − b 4 ) a j ,</p><p>and</p><p>a ′ ( t ) b ( t ) = ∑ i = 0 3     ∑ j = 0 4     B ′ 4 , i ( t ) B 4 , j ( t ) ( a i − a 4 ) b j ,</p><p>then</p><p>a ( t ) b ′ ( t ) − a ′ ( t ) b ( t ) = ∑ i = 0 3     ∑ j = 0 4     B ′ 4 , i ( t ) B 4 , j ( t ) [ ( b i − b 4 ) a j − ( a i − a 4 ) b j ] . (21)</p><p>The result of (21) is equal to the above Equations (20), there is an equation on two septic polynomials being the same, it is</p><p>∑ i = 0 3     ∑ j = 0 4     B ′ 4 , i ( t ) B 4 , j ( t ) M i j = 0. (22)</p><p>where M i j = [ ( b i − b 4 ) a j − ( a i − a 4 ) b j ] − r i ⋅ q j = det ( a 4 − a i a j b 4 − b i b j ) − r i ⋅ q j . Here we define that B n , − 1 ( t ) = 0 and C n − 1 = 0 , use the formula B ′ 4, i ( t ) = − 4 [ B 3, i ( t ) − B 3, i − 1 ( t ) ] , the equations can be rewritten as</p><p>∑ i = 0 3     ∑ j = 0 4 [ B 3 , i ( t ) − B 3 , i − 1 ( t ) ] B 4 , j ( t ) M i j = 0. (23)</p><p>Due to the coefficient of the septic polynomial being zero, we can obtain a system with 8 equations and 10 variables a i , b i ( i = 0 , 2 , 3 , 4 ) , there are</p><p>{ M 00 − M 10 = 0 , 3 M 10 + 4 M 01 − 3 M 20 − 4 M 11 = 0 , M 20 + 4 M 11 + 2 M 02 − M 30 − 4 M 21 − 2 M 12 = 0 , M 30 + 12 M 21 + 18 M 12 + 4 M 03 − 12 M 31 − 18 M 22 − 4 M 13 = 0 , 4 M 31 + 18 M 22 + 12 M 13 + M 04 − 18 M 32 − 12 M 23 − M 14 = 0 , 2 M 32 + 4 M 23 + M 14 − 4 M 33 − M 24 = 0 , 4 M 33 + 3 M 24 − 3 M 34 = 0 , M 34 = 0. (24)</p><p>The constraint Equations (24) is a system of quadratic equations with polynomial coefficients a i , b i ( i = 0 , 1 , 2 , 3 , 4 ) , which are solved by optimization method, so obtain two polynomials a ( t ) , b ( t ) . The ER frames are further rotated and transformed by the formula (10), and the next step normalizes these two components, then obtain the global rotation-minimizing (GRM) frames. Of course, this is an approximately GRM frames by optimization method, because the exact polynomials are always non-existent.</p></sec><sec id="s5"><title>5. Examples</title><p>We use the three quaternions A 0 = ( 0,1,0,2 ) T , A 1 = ( 0,2,1, − 1 ) T , A 2 = ( 0,3, − 2, − 1 ) T in follow examples. <xref ref-type="fig" rid="fig1">Figure 1</xref>(a) is the original ER frame, <xref ref-type="fig" rid="fig1">Figure 1</xref>(b) is the GRM frames through optimization with ρ = 1 . After calculating, the two polynomials are</p><p>a ( t ) = 6.5789 B 4 , 0 ( t ) + 3.1495 B 4 , 1 ( t ) − 2.1811 B 4 , 2 ( t )                   + 15.3863 B 4 , 3 ( t ) + 17.1115 B 4 , 4 ( t ) , b ( t ) = − 0.8943 B 4 , 0 ( t ) + 1.0685 B 4 , 1 ( t ) − 0.6119 B 4 , 2 ( t )                   + 1.1118 B 4 , 3 ( t ) + 3.9292 B 4 , 4 ( t ) .</p><p><xref ref-type="fig" rid="fig2">Figure 2</xref> describes the swept surface with ER frames and RM frames with ρ = 1 , <xref ref-type="fig" rid="fig2">Figure 2</xref>(a) is corresponding to the ER frames, and <xref ref-type="fig" rid="fig2">Figure 2</xref>(b) is to the GRM frames.</p><p><xref ref-type="fig" rid="fig3">Figure 3</xref> shows the GRM frame through optimization with ρ = | τ ( t ) κ ( t ) | , in this τ ( t ) is the torsion of the curve, and κ ( t ) is the curvature. Using this optimizing method, the polynomials are</p><p>a ( t ) = 9.8125 B 4 , 0 ( t ) + 1.1353 B 4 , 1 ( t ) − 1.1893 B 4 , 2 ( t )                   + 15.1672 B 4 , 3 ( t ) + 9.1231 B 4 , 4 ( t ) , b ( t ) = − 1.4645 B 4 , 0 ( t ) + 0.8832 B 4 , 1 ( t ) − 0.4792 B 4 , 2 ( t )                   − 0.0104 B 4 , 3 ( t ) + 2.7759 B 4 , 4 ( t ) .</p><p><xref ref-type="fig" rid="fig4">Figure 4</xref> describes the exact RM frames through the ordinary differential equation numerical calculation method, <xref ref-type="fig" rid="fig4">Figure 4</xref>(a) is the frames, and <xref ref-type="fig" rid="fig4">Figure 4</xref>(b) is its swept surface.</p><p><xref ref-type="fig" rid="fig5">Figure 5</xref> describes the rotation angle changing along parameter t with different weight function. The exact value is the lower limit for each method of rotation minimizing. The rotation amount of the optimization method is greater</p><p>than the exact method, but the curve arc length is 17 3 , as an approximation</p><p>method, the effect can be acceptable. The choice of weight function may reduce the rotation amount, we usually define it as ρ = 1 .</p></sec><sec id="s6"><title>6. Conclusions</title><p>To a spatial PH curve built by the quaternion, ER frames are natural orthogonal frames. An ordinary differential equation of the rotation angle function is deduced by differentiation. The RM frames of those ER frames can be obtained by calculating its integral. The optimization method to construct an approximate rotation-minimizing frames is proposed on it ER frames, that avoid the existence to the ER frames with the transformation of rational form, and the weight function of the optimization objective function can optimize its effect. Moreover, we try to avoid the derivation and integration of rational polynomials in the process of its implementation, to reduce the amount of calculation. In terms of experimental results, it has a good practical effect.</p><p>The effect is good when the arc length of the curve is not large, but when the arc length is large, the effect of the objective function close to zero is not very ideal. When the torsion transformation of the curve itself is very large, its effect also has a certain impact.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Peng, F.F., Pang, J.R. and Pan, Y.T. (2023) Global Optimization Method to Comprise Rotation-Minimizing Euler-Rodrigues Frames of Pythagorean-Hodograph Curve. Journal of Applied Mathematics and Physics, 11, 1250-1262. https://doi.org/10.4236/jamp.2023.115081</p></sec></body><back><ref-list><title>References</title><ref id="scirp.124804-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T., Giannelli, C. and Sestini, A. (2015) Identification and “Reverse Engineering” of Pythagorean-Hodograph Curves. Computer Aided Geometric Design, 34, 21-36. https://doi.org/10.1016/j.cagd.2015.04.001</mixed-citation></ref><ref id="scirp.124804-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T. and Sakkalis, T. (1994) Pythagorean-Hodograph Space Curves. Advances in Computational Mathematics, 2, 41-46.https://doi.org/10.1007/BF02519035</mixed-citation></ref><ref id="scirp.124804-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T. (1994) The Conformal Map Z &amp;#8594; Z&lt;sup&gt;2&lt;/sup&gt; of the Hodograph Plane. Computer Aided Geometric Design, 11, 363-390.https://doi.org/10.1016/0167-8396(94)90204-6</mixed-citation></ref><ref id="scirp.124804-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T. and Shah, S. (1996) Real-Time CNC Interpolators for Pythagorean-Hodograph Curves. Computer Aided Geometric Design, 13, 583-600. https://doi.org/10.1016/0167-8396(95)00047-X</mixed-citation></ref><ref id="scirp.124804-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T. and Neff, C.A. (1995) Hermite Interpolation by Pythagorean Hodograph Quintics. Mathematics of Computation, 64, 1589-1609. https://doi.org/10.1090/S0025-5718-1995-1308452-6</mixed-citation></ref><ref id="scirp.124804-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T., Al-Kandari, M. and Sakkalis Neff, T. (2002) Hermite Interpolation by Rotation-Invariant Spatial Pythagorean-Hodograph Curves. Advances in Computational Mathematics, 17, 369-383. https://doi.org/10.1023/A:1016280811626</mixed-citation></ref><ref id="scirp.124804-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Pelosi, F., Farouki, R.T., Manni, C. and Sestini, A. (2005) Geometric Hermite Interpolation by Spatial Pythagorean-Hodograph Cubics. Advances in Computational Mathematics, 22, 325-352. https://doi.org/10.1007/s10444-003-2599-x</mixed-citation></ref><ref id="scirp.124804-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Kwon, S.-H. (2009) Solvability of G&lt;sup&gt;1&lt;/sup&gt; Hermite Interpolation by Spatial Pythagorean-Hodograph Cubics and Its Selection Scheme. Computer Aided Geometric Design, 27, 138-149. https://doi.org/10.1016/j.cagd.2009.11.002</mixed-citation></ref><ref id="scirp.124804-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Marjeta, K. and Lucia, S.M. (2021) Geometric Interpolation of ER Frames with G&lt;sup&gt;2&lt;/sup&gt; Pythagorean-Hodograph Curves of Degree 7. Computer Aided Geometric Design, 88, Article ID: 102001. https://doi.org/10.1016/j.cagd.2021.102001</mixed-citation></ref><ref id="scirp.124804-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Bishop R.L. (1975) There Is More than One Way to Frame a Curve. The American Mathematical Monthly, 82, 246-251. https://doi.org/10.2307/2319846</mixed-citation></ref><ref id="scirp.124804-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T., Giannelli, C. and Sestini, A. (2018) Rational Minimal-Twist Motions on Curves with Rotation-Minimizing Euler-Rodrigues Frames. Journal of Computational and Applied Mathematics, 352, 240-254. https://doi.org/10.1016/j.cam.2018.12.012</mixed-citation></ref><ref id="scirp.124804-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T., Giannelli, C., Manni, C. and Sestini, A. (2007) Identification of Spatial PH Quintic Hermite Interpolants with Near-Optimal Shape Measures. Computer Aided Geometric Design, 25, 274-297. https://doi.org/10.1016/j.cagd.2007.09.007</mixed-citation></ref><ref id="scirp.124804-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T., Giannelli, C., Manni, C. and Sestini, A. (2009) Quintic Space Curves with Rational Rotation-Minimizing Frames. Computer Aided Geometric Design, 26, 580-592. https://doi.org/10.1016/j.cagd.2009.01.005</mixed-citation></ref><ref id="scirp.124804-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T. (2016) Rational Rotation-Minimizing Frames—Recent Advances and Open Problems. Applied Mathematics and Computation, 272, 80-91. https://doi.org/10.1016/j.amc.2015.04.122</mixed-citation></ref><ref id="scirp.124804-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Farouki, R.T. (2002) Exact Rotation-Minimizing Frames for Spatial Pythagorean-Hodograph Curves. Graphical Models, 64, 382-395.  https://doi.org/10.1016/S1524-0703(03)00002-X</mixed-citation></ref><ref id="scirp.124804-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Kim, S.H. and Moon, H.P. (2002) Deformation of Spatial Septic Pythagorean Hodograph Curves Using Gauss-Legendre Polygon. Computer Aided Geometric Design, 73, 16-34. https://doi.org/10.1016/j.cagd.2019.06.004</mixed-citation></ref><ref id="scirp.124804-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Wang, G.Z. and Fang, L.C. (2009) On Control Polygons of Quartic Pythagorean-Hodograph Curves. Computer Aided Geometric Design, 26, 1006-1015. https://doi.org/10.1016/j.cagd.2009.08.003</mixed-citation></ref></ref-list></back></article>