G 1 -blend between a differentiable superquadric of

Size: px
Start display at page:

Download "G 1 -blend between a differentiable superquadric of"

Transcription

1 G 1 -blend between a differentiable suerquadric of revolution and a lane or a shere using Duin cyclides Lionel GANIE and Sebti Foufou and Yohan Fougerolle Laboratoire LEI, UM CNS 5158, Université de Bourgogne, BP. 4787, 178 Dijon, France {firstname.lastname}@u-bourgogne.fr Abstract In this article, we resent a method to erform G 1 -continuous blends between a differentiable suerquadric of revolution and a lane or a shere using Duin cyclides. These blends are atches delimited by four lines of curvature. They allow to avoid arameteriation roblems that may occur when arametric surfaces are used. ational quadratic Béier curves are used to aroximate the rincial circles of the Duin cyclide blends and thus a comlex 3D roblem is now reduced to a simler D roblem. We resent the necessary conditions to be satisfied to create the blending atches and illustrate our aroach by a number of suerellisoid/lane and suerellisoid/shere blending examles. I. INTODUCTION Duin cyclides have been introduced in 18 by the mathematician Pierre-Charles Duin [6]. Although these surfaces have many interesting geometric roerties [6], [4], [9], [1], this aer mainly uses the following ones: Duin cyclides lines of curvature are circles. Duin cyclides have two imlicit equivalent equations and a canonical arametric formulation. A Duin cyclide has two airs of two colanar rincial circles from which the surface arameters can be determined. In the 198s,. Martin revived the study of Duin cyclides and alied them to geometric modeling [16]. Since then, Duin cyclides have been used in this domain to make blends between circular quadrics and/or lanes [1], [], [17], [19], []. In this aer we consider the use of Duin cyclides as G 1 -continuous blends between a lan or a shere and a differentiable suerquadric of revolution which we define as a regular suerquadric verifying certain roerties that make it differentiable everywhere. An examle of such blending is illustrated in Figure 1. Two different kinds of blends are ossible, namely the illar and container configurations. ational Quadratic Béier Curves QBCs are used to comute the rincial circles of the blending Duin cyclide. The whole Duin cyclide is not necessary and has to be trimmed: only a arametric quarter in the angular arameter domain [ ], π or [ π, π] of the whole surface is used to define the blending atch. Fig. 1. A Duin cyclide blends a differentiable suerquadric of revolution and a lane. To: Pillar construction. Bottom: Container construction. Notations and definitions: for convenience and without loss of generality, we assume = O is axis of revolution of the rimitive to be blended with a given lane. We also further resent extension to erform rimitive/rimitive blends. The rimitive or suerquadric circle, that is the intersection of the considered rimitive and the lane orthogonal to the revolution axis, is considered lying on the lane P : = const. We use for our examles P : =, and we consider the uer art of the rimitive, i.e. > const. Figure 1 illustrates the roblem and the main geometric notions. Princial circles arcs γ 3 and γ 4, in red, are the intersection of the Duin cyclide S 1 and the construction lane P y : y =. P or P y are the lanes of symmetry for both rimitives. In blue is, the axis of the suerquadric of revolution S. In

2 black is the section of the trimming Duin cyclide. The Duin cyclide S 1 connects to the suerquadric S res. the lane P along the curve γ res. γ 1. When the Duin cyclide kind is known, two rincial circles determine one unique Duin cyclide: thus, the roblem of comuting a Duin cyclide in 3D is reduced to the simler D roblem of determining two of its colanar rincial circles. This aer is organied as follows: Section resents a short background on rational quadratic Béier curves and Duin cyclides. In Section 3, we resent the differentiable suerquadrics of revolution. Section 4 is dedicated to the conditions to obtain a G 1 blend between a Duin cyclide and a differentiable suerquadrique of revolution. Section 5 shows how it is ossible to join a differentiable suerquadric of revolution and a lane using a Duin cyclide and an algorithm is given. Blends between a shere and a suerquadric are resented in Section 6. A comlete examle is given in section 7. The last section resents our conclusions and future work. II. BACKGOUND In this section, we recall the main roerties of ational Quadratic Béier Curves QBC [8], [14], [5] and Duin cyclides. A background on suerquadrics suerellisoids and suerhyerboloids of one sheet and their differential roerties are resented in more detail in the next section. A. ational Quadratic Béier Curves The ational Quadric Béier Curves QBC are definite arametric curves starting from the Bernstein s olynomials of degree, defined by B t = 1 t, B 1 t = t 1 t and B t = t. The symmetry of the Berstein s olynomials is essential for the construction of an arc of circle since it ensures the symmetry of geometrical constructions. A QBC is the set of oints Mt defined by OMt = wbt OP + w 1B 1t OP 1 + w B t OP, 1 w B t + w 1B 1t + w B t where t [, 1]. The definition of a QBC does not deand on the oint O. The lines P P 1 and P P 1 are tangent to the curve at the oints P and P resectively. This tye of curve, noted QBC {P ; P 1 ; P }, makes ossible to model conics arcs using three control oints P i i and three weights w i i. This definition can be simlified, and is known as standard form, by setting w = w = 1 and w 1 = w >. The weight w determines the nature of the curve, which is an arc of ellise if and only if < w < 1, an arc of arabola if and only if w = 1, and an arc of hyerbole if and only if w > 1. B. Duin cyclides There are various ways to define Duin cyclides. A Duin cyclide is the image of a circular cone by an inversion. A Duin cyclide is the image of a torus by an inversion. A Duin cyclide is the enveloe of sheres centered on a given conic, called deferent, and orthogonal to a given fixed shere, called shere of inversion: the latter is centered on the focal axis of the cyclide [4]. A Duin cyclide is the enveloe surface of a set of sheres, the centers of which lie on a given conic with focus F, and the radius of which is such that the distance F M + is a given constant this definition is due to Maxwell. A Duin cyclide is the enveloe surface of the sheres tangent to three given fixed sheres. Duin cyclides of degree 4 deend on three indeendent arameters a, c and µ with a c. It is convenient to define b = a c. The arametric equation of a Duin cyclide is defined by Γ d θ; ψ = µc a cosθ cosψ + b cosθ a c cosθ cosψ b sinθ a µ cosψ a c cosθ cosψ b sinψ c cosθ µ a c cosθ cosψ where θ; ψ [, π]. A Duin cyclide has two equivalent imlicit equations [4], [9] x + y + µ + b = 4 ax cµ + 4b y 3 and x + y + µ b = 4 cx aµ 4b 4 According to the arameter values, there are three kinds of Duin cyclides: ring cyclide, horned cyclide and sindle cyclide, as illustrated in Figure. Fig.. Three kinds of Duin cyclides. Left: ring with c µ a. Middle: horned with < µ c < a. ight: half sindle with c a < µ. Fig. 3. Cross section of a Duin cyclide along the symmetry lane P y : y = Duin cyclides admit two symmetry lanes P y : y = and P : =. The section of a Duin cyclide by one of these two lanes is the union of two circles called rincial circles. From these two rincial circles, the three arameters a, c and µ can be determined to define a Duin cyclide. The Figure 3 shows the two rincial circles of a Duin cyclide in the lane P y and arameters are determined as follows: Theorem 1: : Determination of Duin cyclide s arameters in P y y = Let C 1 and C be the rincial circles of a Duin cyclide in P y y =. The centers of the circle C 1 and C are O 1 and O, and their radii are ρ 1 and ρ, resectively, with ρ 1 ρ.

3 To obtain a ring or a sindle Duin cyclide, the values of arameters are a = O 1O, µ = ρ 1 + ρ, c = ρ 1 ρ. Similar results can be obtained with the lane P. Lines of curvature of Duin cyclides are circles, obtained with θ or ψ constant [17]. The blends with Duin cyclide are made along lines of curvature [7]: each blended surface meets the blending Duin cyclide along lines of curvature. Only a art of rincial circles is useful and is reresented as a standard QBC [1], [1]. Thus, trimming curves have a simle arametric equation, Γ d θ; concerning the suerquadric side and Γ d θ; π concerning the lane side. For other roerties of Duin cyclides, see [4], [6], [17], [18], [19], [1]. III. DIFFEENTIABLE SUPEQUADICS Suerellises have been introduced by G. Lam [15] and M. Gardiner [11] as a generaliation of ellises. In the same way, in 1981, Alan Barr used owers of cosines and sines to introduce the suerquadrics [3], [1]. There are four kinds of suerquadrics suerellisoids, suerhyerboloids of one sheet, suerhyerboloids of two sheets, and suertoroids. In this aer, we illustrate our aroach using suerellisoids and suerhyerboloids of one sheet. Suerquadrics have both imlicit and arametric formulations. Unfortunately, in the original formulation, a non continuous function was used, so we cannot use the usual comutation of differential geometry. We roose to restrict the owers to a subset of rational numbers. We call the resulting surfaces differentiable suerquadrics. We show further that any suerquadric is a limit of a sequence of differentiable suerquadrics. The suerquadrics have been defined with real ower and a function sgn, which is not continuous and therefore not differentiable. To retrieve the differential roerties of these surfaces, we roose to use articular rational owers where the numerator and the denominator q are odd ositive integers. Under this condition, t t q is a differentiable one-to-one function from into almost everywhere. The suerquadrics defined using these owers are called differentiable suerquadrics. Two examles of these surfaces suerellisoids and suerhyerboids of one sheet are given in sections III-A and III-B and their differentiability is shown through the comutation of artial derivatives. A. Suerellisoids The arametric equation of a suerellisoid is Γ sb u, v = a Cos ε1 u Cos ε v a 1 Sin ε1 u Cos ε v, 5 a Sin ε v where Cos ε t = sgncost cost ε, Sin ε t = sgnsin t sint ε and u, v [, π] [ π, ] π. The imlicit equation of a suerellisoid is ε 1 x ε 1 y ε ε ε 1 =. 6 a a 1 When ε 1 = ε = 1, the suerellisoid is an ellisoid. When ε 1 and ε tend to, the suerellisoid tends to a rectangle aralleleied. 1 Differentiable suerellisoid: First, we will define a subset Q 1 which is dense for the canonical toology in + : { } Q 1 =, ; q N N 7 q It is easy to rove that Q 1 = +. We will remlace the real owers ε 1 and ε in equation 5 by two rationals, belonging to Q 1, 1 q 1 and. So, the arametric equation of a differentiable suerellisoid is Γ sd : u, v a a cos 1 q 1 u cos v a 1 sin 1 q 1 u cos v a sin v, 8 where u, v [, π] [ π, ] π and 1 q 1, Q 1. The imlicit equation of a differentiable suerellisoid is x a q 1 1 y q 1 1 q =. 9 a 1 a Proerties of differentiable suerquadrics: Firstly, let Γ sb the ma of a suerquadrics, equation 5. One can find a sequence 1,n res.,m,m of Q 1 such that 1,n,m lim = ε 1 and lim = ε n+ m+,m For each ower 1,n and,m,m, let Γ 1,n q,,m the ma of a 1,n,m differentiable suerquadric. It is easy to see that : and From the sequence lim n+ Γ 1,n,,m,m = Γ ε1,,m,m 1 lim m+ Γ 1,n,,m,m = Γ 1,n Γ 1,n extract a sub-sequence of ma Γ 1,k q 1,k,,k,k q,,m 1,n,m n N,m N,ε 11, it is ossible to such that k N lim k+ Γ 1,k q 1,k,,k,k = Γ ε1,ε 1 Finally, we can state Theorem : For each suerquadric of revolution, there is a sequence of differentiable suerquadrics tending to it. Secondly, the function f : x sgnx x ε has two exressions : x < imlies that fx = e εln x x > imlies that fx = e εlnx

4 and lnx is not defined for x = then there is discontinuity at. Moreover, to derive the fonction f, we must consider three cases: x < ; x > ; the connection of the two exression at x =. If we want to calculate the nth derivative of f, this roblem subsist. The fact that the function x 7 x q, q Q1 is a nth derivable one-to-one almost everywhere simlifies the roblem: for all real x, the function has just one exression and the roblem of connection at x = disaears. The class of this function is C almost everywhere. Only a roblem at can arrive but, in our case, the determination of the tangents to the curve, the fact that the derived function admits an infinite limit is not a roblem. So, from formula 8, it is easy to calculate the exression of the tangent vector of the suerellisod. The exression of the first vector is 1 q1 a sin q1 u cos q v 1 Γsd q u, v = a1 cos 1q1 1 u cos q v, 13 u q1 whereas the exression of the second vector is 1 q a cos q1 u sin q v 1 q Γsd u, v = a1 sin q1 u sin q v v q q a cos q v, 14 with the convention 1+ = + and 1 =. 3 Differentiable suerellisoid of revolution: As the curvature lines of Duin cyclides are circles, the differentiable suerquadrics to be blended must be revolution surfaces. So, in equation 8, we set 1 = q1 to obtain a differentiable suerellisoid of revolution, illustrated on Figure 4. Its arametric equation can be given by: cos u cos q v Γse : u, v 7 sin u cos q v, 15 sin q v where u, v [, π] π, π and q Q1. B. Suerhyerboloid of one sheet Figure 5 resents different suerhyerboloids of one sheet. The arametric equation of a differentiable suerhyerboloid of one sheet of revolution is defined by ch q v cos u Γsh : u, v 7 ch q v sin u, 17 sh q v where u, v [, π] and q Q1. The imlicit equation of a differentiable suerhyerboloid of one sheet of revolution is q q x + y 1 =. 18 Fig. 5. Three differentiable suerhyerboloids of one sheet of revolution From left to right: q = 1, q = 3, q = 11. C. Suerhyerboloid of two sheet Figure 6 resents different suerhyerboloids of two sheets. The arametric equation of a differentiable suerhyerboloid of two sheets of revolution is defined by sh q v cos u Γsh : u, v 7 sh q v sin u, 19 ε ch q v where ε { 1, 1}, u, v [, π] and q Q1. The imlicit equation of a differentiable suerhyerboloid of two sheets of revolution is x + y q q + 1 =. Fig. 4. Three differentiable suerellisoids of revolution. From left to right: 3 = 1, q = 17, q = 95. q The imlicit equation of a differentiable suerellisoid of revolution is x + y q + q 1 =. 16 Fig. 6. Three differentiable suerhyerboloids of two sheets of revolution. 7, q = 91. From left to right: q = 1, q = 13

5 IV. G 1 BLEND BETWEEN A DIFFEENTIABLE SUPEQUADIC OF EVOLUTION AND A DUPIN CYCLIDE Along the symmetry curve of the differentiable suerquadric of revolution γ, Figure 1, it is ossible to comute a Duin cyclide atch as a blending surface between and two of the three differentiable suerquadrics of revolution discussed in section III: a suerellisoid and a suerhyerboloid of one sheet. Indeed, the curve γ does not exist on a suerhyerboloid of two sheets, and this case will be considered in q forthcoming study. Figure 6. A. Suerellisoid The trimming circle between the Duin cyclide and the suerellisoid is γ = {Γ se u,, u [, π]}. It is well known that along this curve, the Duin cyclide second tangent vectors are vertical. So the continuity of the connection between the Duin cyclide and the differentiable suerquadric of revolution is G 1 if the suerellisoid second tangent vectors are vertical too. As this suerellisoid is a surface of revolution, it is sufficient to calculate the tangent to the surface along this circle for only one value of u, for examle u =. So, we have γ se v = Γ se, v = cos v sin v, 1 and M = γ se is a oint of the trimming circle. Let M = γ se v. The tangent to the curve at M is the limit osition of the straight line M M and is characteried by lim v γ se v if M is a regular oint. If M is a singular oint, this limit osition is characteried by a Taylor exansion of γ se v at and then the blend is G1 if the limit osition of the straight line M M is vertical: Theorem 3: Let γ se be the curve defined by equation 1 and M = γ se. The limit osition of M M is 1 Vertical iff <. Horiontal iff >. Proof: In this roof, we consider that we are in the lane P y y =. We have : γ se v = sin v cos q v. cosv sin q v Three cases arise: 1 < 1 We have q < and then lim v γ se v = lim v q sin v and so the tangent is vertical. = 1 We have q = and then: = + and then: γ se v = sin v cosv γ se v = and so the tangent is vertical. 3 > 1 We have q > and then: γ se = A Taylor exansion is needed to obtain 1 γ se v v 1 v 1 v v 1 v 1 v 1 v v v = γ 1 v = So, two cases are ossible: a < i.e. <. We have lim v γ 1 v = 1 lim v = + v so we conclude that the tangent is vertical. b > i.e. >. We have lim v γ 1 v = 1 v = 1 v v so we conclude that the tangent is horiontal. Figure 7 shows the G 1 blend between a Duin cyclide and a differentiable suellisoid of revolution. The section of the differentiable suellisoid of revolution by the construction lane is the suerellise γ. The section of the Duin cyclide by the construction lane is the union of two circles C 1 and C. At the oint B 1 res. B, one can see that the tangent T 1 res. T to the cercle C 1 res. C is also the tangent to the suerellise γ, which roves the G 1 continuity of this connection. B. Suerhyerboloid of one sheet The method here is similar to the one of the revious section, only the exression of the curve γ differs, i.e. ch v γ sh v = Γ sh, v =. sh v So we can write the following theorem:

6 Fig. 7. G 1 continuous blend between a Duin cyclide and a differentiable suellisoid of revolution. Theorem 4: Let γ sh be the curve defined by equation and M = γ sh. The limit osition of M M is 1 vertical iff <. horiontal iff >. Proof: This roof can be made using Taylor exansion and is similar to the roof of theorem 3. V. BLENDING A DIFFEENTIABLE SUPEQUADIC OF EVOLUTION AND A PLANE It is well known that it is ossible to make a G 1 blend between a Duin cyclide and a lane [17], [13] or a shere [17], [1]. To create a G 1 -blend between a suerquadric of revolution and a lane using a Duin cyclide, we need to determine a construction lane that is a symmetry lane for both surfaces. Such lane is used to comute two circular arcs γ 1 and γ that are the rincial colanar circles of the Duin cyclide. In order to define γ 1 and γ, we need two trilets of oints A 1, B 1, C 1 and A, B, C. Points A i and B i are the contact oints with one of the surface and the Duin cyclide. Points C i are used to determine the tangents in the construction lane, i.e. the lines A i C i and B i C i. To guarantee the curve γ i to be a circular arc, we must have A i C i = B i C i. Finally, oints A 1 and A must be symmetric around the revolution axis of the rimitive they belong to similarly for B 1 and B. In other words, to guarantee the curves γ i to be arcs of circle and the symmetries for coules A 1, A and B 1, B, the following equation system must be verified A 1 C 1 = B 1 C 1 A C = B C, s A A 1 = A s B B 1 = B where A and B are the revolution axes of the surfaces carrying oints A 1 and A, and B 1 and B, resectively. If one of the surfaces to be blended is a lane or a shere, these secifications are verified because: Any line that is orthogonal to a lane is a revolution axis for this lane Any line crossing the center of a shere is a revolution axis for this shere For the general case, we need to introduce the following lemma: Lemma 1: : Let C x C ; ; C be a oint belonging to a straight line 1 : = mx +, B a oint which does not belong to this line. Let l = BC. There are two oints A ε, ε { 1; 1}, belonging to 1 such that A ε C = l, given by A x ε l C + ε ; ; l m C + ε 1 + m 1 + m The roof of this lemma is evident using directrix coefficient of a straight line and Thales theorem. We recall that is the axis of the suerquadric E and 1 is the intersection of the construction lane P y and the lane P. Thus, the user intervenes only twice. First, the user chooses a oint belonging to the suerquadric E, for examle B 1 used to determine B and the oints C 1 and C. These two oints are the intersections of the straight line 1 and the tangent to the suerquadric E assing through the oints B 1 and B, as illustrated on Figure 8. When choosing B 1, we also check that the oints B 1 and B are in the same half sace delimited by P to obtain a connected blend using ring or sindle Duin cyclide. The second user intervention relates to the choice of the oint A 1 belonging to the straight line 1 such as A 1 C 1 = B 1 C 1. This oint A 1 determines the comutation of the oint A. B 1 µ+ c =ρ 1 I 1 O 1 C 1 A 1 C 1 A 1 d= a B1 O Ω B d= a I 1 C 1 C A µ c =ρ I O I O C 1 C µ+ c =ρ µ c =ρ 1 O1 d= a Ω O d= a C B A C Fig. 8. Section of the construction by the lane P y of the blend between a differentiable suerquadric of revolution E and a lane by a Duin cyclide. To: illar construction. Bottom: container construction. The suerquadric is a surface of revolution, so the G 1 -blend can be verified in the construction lane Figure 8: the fact that γ se and γ seπ are vertical, theorem 3 and theorem 4 the fact that C 1 B 1 and C B are vertical imlies that the four vectors are colinear. The stes one needs to execute to comute the G 1 blend are enumerated in algorithm 1. Figure 8 shows x x

7 Algorithm 1 Comutation of a G 1 Duin cyclide blend between a differentiable suerquadric of revolution and a lane. Inut: A differentiable suerquadric E of revolution with axis. A lane P. 1 Choice of the oint B1 belonging to E. Comutation of the oint B, symmetrical to B1 in relation to. 3 Comutation of the vector v1 res. v tangent to E at B1 res. B. 4 Comutation of the oint C1 res. C, intersection of the lane P and the straight line B1, v1 res. B, v. 5 Choice of the oint A1 belonging to the lane P such as A1 C1 = C1 B1, lemma 1. 6 Comutation of the oint A belonging to the straight line C1 C such as A C = C B and: if A1 [C1 C then A [C C1 else A / [C C1. 7 Comutation of the rincial circle centre O1 res. O and rincial circle radius ρ1 res. ρ determined by QBC {B1 ; C1 ; A1 } res. QBC {B ; C ; A } [1]. 8 Comutation of Duin cyclide arameters a, c and µ using theorem 1. 9 Comutation of the Duin cyclide trimming values. Outut: A trimmed Duin cyclide making a G 1 -blend between a differentiable suerquadric of revolution and a lane. Fig. 1. A container blend between a differentiable circular suerellisoid 3, and a lane by a Duin cyclide. From left to right: q = 1, q = =. q 17 the generatrix 1 res. by the straight line B1 ; v1 res. B ; v where B1 and B are symmetrical in relation to E axis and the vector v1 res. v is the tangent vector to E at B1 res. B. Figure 1 shows two blends between a differentiable suerellisoid of revolution and a shere by a ring Duin cyclide. On the left subfigure res. suerellisoid right subfigure, a rameters are ; ; q1 = 4; 8; 11 res. ; ; q1 = ; 8; 35, shere centre coordinates are 1 ; ; 15 res. 5 ; ; 17, shere radius is r = 8 res. r = and Duin cyclide arameters are a; c; µ 6.57; 3.3;.57 res. a; c; µ 16.; 5.; 14.. Fig. 11. Two Duin cyclide blends between a differentiable suerellisoid of revolution and a shere. Fig. 9. A illar blend between a differentiable circular suerellisoid and a 3, q = 95. lane by a Duin cyclide. From left to right: q = 1, q = 17 the influence of the osition of oint A1 ste 5 of algorithm 1 on the tye of the construction illar or container. On the left art of Figure 8, A1 does not belong to the half-line [C1 C, A does not belong to the half-line [C C1 and the blend tye is illar. On the right art of Figure 8, A1 belongs to the half-line [C1 C, A belongs to the half-line [C C1 and the blend tye is container. Figure 9 shows some illar constructions between a differentiable suerellisoid of revolution and a lane by a ring Duin cyclide. Figure 1 shows some container constructions between a differentiable suerellisoid of revolution and a lane by a sindle Duin cyclide. VI. B LENDING A DIFFEENTIABLE SUPEQUADIC OF EVOLUTION AND A SPHEE To adat the method of section V for the blending of a suerquadric of revolution and a shere one needs to relace VII. A N EXAMPLE : A STUDY DESK WITH A LAMP In this section, we show a comlete examle: a study desk with a lam, Figure 1 and 13. This object is modeled using two lanes, quadrics two sheres, two cylinders, suerquadrics two suerellisoids and a suerhyerboloid of one sheet and seven Duin cyclides which make G 1 -blends between these surfaces, Table I. These blends are built using rational quadratic Be ier curves. The arameters of the lane S are m =.95 and = 1. The radius coule of the differentiable suerellisoid of revolution S res. S4 is ; = 3; 8 res. ; = 4; and the ower is q = 17 for the two suerellisoids. The center coordinates of the shere S9 res. S13 are 8; ; 15 res. 98; ; 1 and the radius is 1. The radius of the cylinder S7 res. S11 is res. 3 and its height is 11 res. 5. The radius coule of the differentiable suerhyerboloid of one sheet of revolution S15 5. Duin cyclides is ; = 6; 7 and the ower is q = 11 arameters are given by the Table II knowing that θ describes the interval [, π]. VIII. C ONCLUSION Every suerquadric of revolution can be seen as a limit of a sequence of rational suerquadrics. The differentiable

8 Primitve Name Where Plane S Suort Plane S 1 Edge Suerellisoid S Small leg Duin cyclide S 3 S - S blend Suerellisoid S 4 Great leg Duin cyclide S 5 S - S 4 blend Duin cyclide S 6 S - S 7 blend Cylinder S 7 Fixed stem Duin cyclide S 8 S 7 - S 9 blend Shere S 9 First articulation Duin cyclide S 1 S 9 - S 11 blend Cylinder S 11 Stem Duin cyclide S 1 S 11 - S 13 blend Shere S 13 Second articulation Duin cyclide S 14 S 13 - S 15 blend Suerhyerboloid S 15 Lamshade TABLE I STUDY DESK SUFACES. Fig. 13. A study desk with a lam. EFEENCES Name a µ c ψ min ψ max S π/ S π/ S π/ S S S S TABLE II DUPIN CYCLIDES PAAMETES. Fig. 1. A study desk with a lam. suerquadrics make ossible the use of differential geometric concets. Thus, using Taylor exansion, we determine surface tangents where the function sgn is not continuous. Then, we determine a G 1 Duin cyclide atch between the differentiable suerquadric of revolution and a lane or a shere. Possible exansions of this work may be the generaliation of this construction to the blending of two differentiable suerquadrics and the introduction of suercyclide blends. [1] S. Allen and D. Dutta. Cyclides in ure blending I. Comuter Aided Geometric Design, 141:51 75, ISSN [] S. Allen and D. Dutta. Cyclides in ure blending II. Comuter Aided Geometric Design, 141:77 1, ISSN [3] A. H. Barr. Suerquadric and angle reserving transformations. IEEE Comuter Grahics and Alications, 11:11 3, January [4] G. Darboux. Princies de géométrie analytique. Gauthier-Villars, [5] G. Demengel and J. P. Pouget. Mathématiques des Courbes et des Surfaces. Modèles de Béier, des B-Slines et des NUBS, volume 1. Ellise, [6] C. P. Duin. Alication de Géométrie et de Méchanique la Marine, aux Ponts et Chaussées, etc. Bachelier, Paris, 18. [7] D. Dutta,.. Martin, and M. J. Pratt. Cyclides in surface and solid modeling. IEEE Comuter Grahics and Alications, 131:53 59, January [8] Gerald E. Farin. NUBS: From Projective Geometry to Practical Use. A. K. Peters, Ltd., Natick, MA, USA, [9] A.. Forsyth. Lecture on Differential Geometry of Curves and Surfaces. Cambridge University Press, 191. [1] Sebti Foufou and Lionel Garnier. Duin cyclide blends between quadric surfaces for shae modeling. Comut. Grah. Forum, 33:31 33, 4. [11] M. Gardiner. The suerellise: A curve that lies between the ellise and the rectangle. Sci. Amer., 133: 34, Setember [1] L. Garnier. Mathématiques our la modélisation géométrique, la rerésentation 3D et la synthèse d images. Ellises, 1st edition, july 7. ISBN : [13] L. Garnier, S. Foufou, and M. Neveu. Blending of surfaces of revolution and lanes by duin cyclides. In book of the 8th SIAM Conference on Geometric Design and Comuting, Seattle. Nashboro Press, Mike Neamtu editor, Nashville, TN, USA, 4, August-Setember 3. [14] J. Hoschek and D. Lasser. Fundamentals of Comuter Aided Geometric Design. A.K.Peters, Wellesley, Massachussets, [15] G. Lamé. Examen des différentes méthodes emloyées our résoudre les roblèmes de géométrie. Courcier, Paris, [16].. Martin. Princial atches for comutational geometry. PhD thesis, Engineering Deartment, Cambridge University, 198. [17] M. J. Pratt. Cyclides in comuter aided geometric design. Comuter Aided Geometric Design, 71-4:1 4, 199. [18] M. J. Pratt. Duin cyclides and suercyclides. In G. Mullineux, editor, Proceedings of the 6th IMA Conference on the Mathematics of Surfaces IMA-94, ages 43 66, Brunel University, Setember Oxford University Press. [19] M. J. Pratt. Cyclides in comuter aided geometric design II. Comuter Aided Geometric Design, 1:131 15, [] C. K. Shene. Blending two cones with Duin cyclides. Comuter Aided Geometric Design, 157: , [1] D. Terooulos and D. Metaxas. Dynamic 3d models with local and global déformations: Deformable suerquadrics. IEEE Transactions on Pattern Analysis and Machine Intelligence, 137:73 714, July 1991.

Conversion of Quadrics into Rational Biquadratic Bézier Patches

Conversion of Quadrics into Rational Biquadratic Bézier Patches Conversion of Quadrics into Rational Biquadratic Bézier Patches Lionel Garnier, Sebti Foufou, and Dominique Michelucci LEI, UMR CNRS 558 UFR Sciences, University of Burgundy, BP 7870, 078 Dijon Cedex,

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

Best approximation by linear combinations of characteristic functions of half-spaces

Best approximation by linear combinations of characteristic functions of half-spaces Best aroximation by linear combinations of characteristic functions of half-saces Paul C. Kainen Deartment of Mathematics Georgetown University Washington, D.C. 20057-1233, USA Věra Kůrková Institute of

More information

Approximating min-max k-clustering

Approximating min-max k-clustering Aroximating min-max k-clustering Asaf Levin July 24, 2007 Abstract We consider the roblems of set artitioning into k clusters with minimum total cost and minimum of the maximum cost of a cluster. The cost

More information

Complex Analysis Homework 1

Complex Analysis Homework 1 Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that

More information

Solution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0

Solution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0 Advanced Finite Elements MA5337 - WS7/8 Solution sheet This exercise sheets deals with B-slines and NURBS, which are the basis of isogeometric analysis as they will later relace the olynomial ansatz-functions

More information

PHYS 301 HOMEWORK #9-- SOLUTIONS

PHYS 301 HOMEWORK #9-- SOLUTIONS PHYS 0 HOMEWORK #9-- SOLUTIONS. We are asked to use Dirichlet' s theorem to determine the value of f (x) as defined below at x = 0, ± /, ± f(x) = 0, - < x

More information

FORMAL DEFINITION OF TOLERANCING IN CAD AND METROLOGY

FORMAL DEFINITION OF TOLERANCING IN CAD AND METROLOGY P. SERRÉ, A. CLÉENT, A. RIVIÈRE FORAL DEFINITION OF TOLERANCING IN CAD AND ETROLOGY Abstract: Our aim is to unify mathematically the secification and the metrological verification of a given geometrical

More information

Robustness of classifiers to uniform l p and Gaussian noise Supplementary material

Robustness of classifiers to uniform l p and Gaussian noise Supplementary material Robustness of classifiers to uniform l and Gaussian noise Sulementary material Jean-Yves Franceschi Ecole Normale Suérieure de Lyon LIP UMR 5668 Omar Fawzi Ecole Normale Suérieure de Lyon LIP UMR 5668

More information

MATH 2710: NOTES FOR ANALYSIS

MATH 2710: NOTES FOR ANALYSIS MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over

More information

Pretest (Optional) Use as an additional pacing tool to guide instruction. August 21

Pretest (Optional) Use as an additional pacing tool to guide instruction. August 21 Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 8 focus on multilication. Daily Unit 1: Rational vs. Irrational

More information

Applicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS

Applicable Analysis and Discrete Mathematics available online at   HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi

More information

GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS

GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS PALLAVI DANI 1. Introduction Let Γ be a finitely generated grou and let S be a finite set of generators for Γ. This determines a word metric on

More information

THE ERDÖS - MORDELL THEOREM IN THE EXTERIOR DOMAIN

THE ERDÖS - MORDELL THEOREM IN THE EXTERIOR DOMAIN INTERNATIONAL JOURNAL OF GEOMETRY Vol. 5 (2016), No. 1, 31-38 THE ERDÖS - MORDELL THEOREM IN THE EXTERIOR DOMAIN PETER WALKER Abstract. We show that in the Erd½os-Mordell theorem, the art of the region

More information

FE FORMULATIONS FOR PLASTICITY

FE FORMULATIONS FOR PLASTICITY G These slides are designed based on the book: Finite Elements in Plasticity Theory and Practice, D.R.J. Owen and E. Hinton, 1970, Pineridge Press Ltd., Swansea, UK. 1 Course Content: A INTRODUCTION AND

More information

Extremal Polynomials with Varying Measures

Extremal Polynomials with Varying Measures International Mathematical Forum, 2, 2007, no. 39, 1927-1934 Extremal Polynomials with Varying Measures Rabah Khaldi Deartment of Mathematics, Annaba University B.P. 12, 23000 Annaba, Algeria rkhadi@yahoo.fr

More information

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various

More information

ON THE SET a x + b g x (mod p) 1 Introduction

ON THE SET a x + b g x (mod p) 1 Introduction PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result

More information

Estimation of the large covariance matrix with two-step monotone missing data

Estimation of the large covariance matrix with two-step monotone missing data Estimation of the large covariance matrix with two-ste monotone missing data Masashi Hyodo, Nobumichi Shutoh 2, Takashi Seo, and Tatjana Pavlenko 3 Deartment of Mathematical Information Science, Tokyo

More information

Analysis of cold rolling a more accurate method

Analysis of cold rolling a more accurate method Analysis of cold rolling a more accurate method 1.1 Rolling of stri more accurate slab analysis The revious lecture considered an aroximate analysis of the stri rolling. However, the deformation zone in

More information

A Special Case Solution to the Perspective 3-Point Problem William J. Wolfe California State University Channel Islands

A Special Case Solution to the Perspective 3-Point Problem William J. Wolfe California State University Channel Islands A Secial Case Solution to the Persective -Point Problem William J. Wolfe California State University Channel Islands william.wolfe@csuci.edu Abstract In this aer we address a secial case of the ersective

More information

Analysis of some entrance probabilities for killed birth-death processes

Analysis of some entrance probabilities for killed birth-death processes Analysis of some entrance robabilities for killed birth-death rocesses Master s Thesis O.J.G. van der Velde Suervisor: Dr. F.M. Sieksma July 5, 207 Mathematical Institute, Leiden University Contents Introduction

More information

Session 5: Review of Classical Astrodynamics

Session 5: Review of Classical Astrodynamics Session 5: Review of Classical Astrodynamics In revious lectures we described in detail the rocess to find the otimal secific imulse for a articular situation. Among the mission requirements that serve

More information

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

0.1 Practical Guide - Surface Integrals. C (0,0,c) A (0,b,0) A (a,0,0)

0.1 Practical Guide - Surface Integrals. C (0,0,c) A (0,b,0) A (a,0,0) . Practical Guide - urface Integrals urface integral,means to integrate over a surface. We begin with the stud of surfaces. The easiest wa is to give as man familiar eamles as ossible ) a lane surface

More information

MATH 6210: SOLUTIONS TO PROBLEM SET #3

MATH 6210: SOLUTIONS TO PROBLEM SET #3 MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form

More information

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS #A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt

More information

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type Nonlinear Analysis 7 29 536 546 www.elsevier.com/locate/na Multilicity of weak solutions for a class of nonuniformly ellitic equations of -Lalacian tye Hoang Quoc Toan, Quô c-anh Ngô Deartment of Mathematics,

More information

Convex Optimization methods for Computing Channel Capacity

Convex Optimization methods for Computing Channel Capacity Convex Otimization methods for Comuting Channel Caacity Abhishek Sinha Laboratory for Information and Decision Systems (LIDS), MIT sinhaa@mit.edu May 15, 2014 We consider a classical comutational roblem

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

Statics and dynamics: some elementary concepts

Statics and dynamics: some elementary concepts 1 Statics and dynamics: some elementary concets Dynamics is the study of the movement through time of variables such as heartbeat, temerature, secies oulation, voltage, roduction, emloyment, rices and

More information

1 Riesz Potential and Enbeddings Theorems

1 Riesz Potential and Enbeddings Theorems Riesz Potential and Enbeddings Theorems Given 0 < < and a function u L loc R, the Riesz otential of u is defined by u y I u x := R x y dy, x R We begin by finding an exonent such that I u L R c u L R for

More information

jf 00 (x)j ds (x) = [1 + (f 0 (x)) 2 ] 3=2 (t) = jjr0 (t) r 00 (t)jj jjr 0 (t)jj 3

jf 00 (x)j ds (x) = [1 + (f 0 (x)) 2 ] 3=2 (t) = jjr0 (t) r 00 (t)jj jjr 0 (t)jj 3 M73Q Multivariable Calculus Fall 7 Review Problems for Exam The formulas in the box will be rovided on the exam. (s) dt jf (x)j ds (x) [ + (f (x)) ] 3 (t) jjt (t)jj jjr (t)jj (t) jjr (t) r (t)jj jjr (t)jj

More information

You may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator.

You may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator. NAURAL SCIENCES RIPOS Part IA Wednesday 5 June 2005 9 to 2 MAHEMAICS (2) Before you begin read these instructions carefully: You may submit answers to no more than six questions. All questions carry the

More information

7. The olynomial P (x) =x, 9x 4 +9x, 4x +4x, 4 can be written in the form P (x) =(x, ) n Q(x), where n is a ositive integer and Q(x) is not divisible

7. The olynomial P (x) =x, 9x 4 +9x, 4x +4x, 4 can be written in the form P (x) =(x, ) n Q(x), where n is a ositive integer and Q(x) is not divisible . Which of the following intervals contains all of the real zeros of the function g(t) =t, t + t? (a) (,; ) (b) ( ; ) (c) (,; ) (d) (; ) (e) (,; ) 4 4. The exression ((a), + b), is equivalent to which

More information

The Fekete Szegő theorem with splitting conditions: Part I

The Fekete Szegő theorem with splitting conditions: Part I ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the

More information

Uniform Law on the Unit Sphere of a Banach Space

Uniform Law on the Unit Sphere of a Banach Space Uniform Law on the Unit Shere of a Banach Sace by Bernard Beauzamy Société de Calcul Mathématique SA Faubourg Saint Honoré 75008 Paris France Setember 008 Abstract We investigate the construction of a

More information

ALTERNATIVE SOLUTION TO THE QUARTIC EQUATION by Farid A. Chouery 1, P.E. 2006, All rights reserved

ALTERNATIVE SOLUTION TO THE QUARTIC EQUATION by Farid A. Chouery 1, P.E. 2006, All rights reserved ALTERNATIVE SOLUTION TO THE QUARTIC EQUATION b Farid A. Chouer, P.E. 006, All rights reserved Abstract A new method to obtain a closed form solution of the fourth order olnomial equation is roosed in this

More information

Math 104B: Number Theory II (Winter 2012)

Math 104B: Number Theory II (Winter 2012) Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums

More information

An Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices

An Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices Coyright 202 Tech Science Press CMES, vol.86, no.4,.30-39, 202 An Inverse Problem for Two Sectra of Comlex Finite Jacobi Matrices Gusein Sh. Guseinov Abstract: This aer deals with the inverse sectral roblem

More information

SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY

SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY FEDERICA PASQUOTTO 1. Descrition of the roosed research 1.1. Introduction. Symlectic structures made their first aearance in

More information

A Note on Guaranteed Sparse Recovery via l 1 -Minimization

A Note on Guaranteed Sparse Recovery via l 1 -Minimization A Note on Guaranteed Sarse Recovery via l -Minimization Simon Foucart, Université Pierre et Marie Curie Abstract It is roved that every s-sarse vector x C N can be recovered from the measurement vector

More information

Applications to stochastic PDE

Applications to stochastic PDE 15 Alications to stochastic PE In this final lecture we resent some alications of the theory develoed in this course to stochastic artial differential equations. We concentrate on two secific examles:

More information

Geometric Constraint Solving in 2D

Geometric Constraint Solving in 2D Universitat Politècnica de Catalunya Deartament de Llenguatges i Sistemes Informàtics PhD Thesis Geometric Constraint Solving in 2D November, 1998 Antoni Soto i Riera Advisor: Robert Joan i Arinyo Contents

More information

Opposite-quadrant depth in the plane

Opposite-quadrant depth in the plane Oosite-quadrant deth in the lane Hervé Brönnimann Jonathan Lenchner János Pach Comuter and Information Science, Polytechnic University, Brooklyn, NY 1101, hbr@oly.edu IBM T. J. Watson Research Center,

More information

LECTURE 7 NOTES. x n. d x if. E [g(x n )] E [g(x)]

LECTURE 7 NOTES. x n. d x if. E [g(x n )] E [g(x)] LECTURE 7 NOTES 1. Convergence of random variables. Before delving into the large samle roerties of the MLE, we review some concets from large samle theory. 1. Convergence in robability: x n x if, for

More information

Series Handout A. 1. Determine which of the following sums are geometric. If the sum is geometric, express the sum in closed form.

Series Handout A. 1. Determine which of the following sums are geometric. If the sum is geometric, express the sum in closed form. Series Handout A. Determine which of the following sums are geometric. If the sum is geometric, exress the sum in closed form. 70 a) k= ( k ) b) 50 k= ( k )2 c) 60 k= ( k )k d) 60 k= (.0)k/3 2. Find the

More information

WAVELETS, PROPERTIES OF THE SCALAR FUNCTIONS

WAVELETS, PROPERTIES OF THE SCALAR FUNCTIONS U.P.B. Sci. Bull. Series A, Vol. 68, No. 4, 006 WAVELETS, PROPERTIES OF THE SCALAR FUNCTIONS C. PANĂ * Pentru a contrui o undină convenabilă Ψ este necesară şi suficientă o analiză multirezoluţie. Analiza

More information

On Isoperimetric Functions of Probability Measures Having Log-Concave Densities with Respect to the Standard Normal Law

On Isoperimetric Functions of Probability Measures Having Log-Concave Densities with Respect to the Standard Normal Law On Isoerimetric Functions of Probability Measures Having Log-Concave Densities with Resect to the Standard Normal Law Sergey G. Bobkov Abstract Isoerimetric inequalities are discussed for one-dimensional

More information

Optimal Approximate Polytope Membership

Optimal Approximate Polytope Membership Otimal Aroximate Polytoe Membershi Sunil Arya Deartment of Comuter Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong arya@cse.ust.hk Abstract

More information

COMPLEMENTARY THEOREMS OF SURFACE ENWRAPPING EXPRESSED IN GRAPHICAL FORM

COMPLEMENTARY THEOREMS OF SURFACE ENWRAPPING EXPRESSED IN GRAPHICAL FORM , TECHNOLOGIES IN MACHINE BUILDING, ISSN 1221-4566, 2014 COMPLEMENTARY THEOREMS OF SURFACE ENWRAPPING EXPRESSED IN GRAPHICAL FORM Virgil TEODOR 1, Silviu BERBINSCHI 2, Ioan BAICU 2, Nicuşor BAROIU 1, Nicolae

More information

8.7 Associated and Non-associated Flow Rules

8.7 Associated and Non-associated Flow Rules 8.7 Associated and Non-associated Flow Rules Recall the Levy-Mises flow rule, Eqn. 8.4., d ds (8.7.) The lastic multilier can be determined from the hardening rule. Given the hardening rule one can more

More information

CHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important

CHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important CHAPTER 2: SMOOTH MAPS DAVID GLICKENSTEIN 1. Introduction In this chater we introduce smooth mas between manifolds, and some imortant concets. De nition 1. A function f : M! R k is a smooth function if

More information

IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES

IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists

More information

Chapter 1 Fundamentals

Chapter 1 Fundamentals Chater Fundamentals. Overview of Thermodynamics Industrial Revolution brought in large scale automation of many tedious tasks which were earlier being erformed through manual or animal labour. Inventors

More information

Find the equation of a plane perpendicular to the line x = 2t + 1, y = 3t + 4, z = t 1 and passing through the point (2, 1, 3).

Find the equation of a plane perpendicular to the line x = 2t + 1, y = 3t + 4, z = t 1 and passing through the point (2, 1, 3). CME 100 Midterm Solutions - Fall 004 1 CME 100 - Midterm Solutions - Fall 004 Problem 1 Find the equation of a lane erendicular to the line x = t + 1, y = 3t + 4, z = t 1 and assing through the oint (,

More information

MODELING THE RELIABILITY OF C4ISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL

MODELING THE RELIABILITY OF C4ISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL Technical Sciences and Alied Mathematics MODELING THE RELIABILITY OF CISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL Cezar VASILESCU Regional Deartment of Defense Resources Management

More information

On the Toppling of a Sand Pile

On the Toppling of a Sand Pile Discrete Mathematics and Theoretical Comuter Science Proceedings AA (DM-CCG), 2001, 275 286 On the Toling of a Sand Pile Jean-Christohe Novelli 1 and Dominique Rossin 2 1 CNRS, LIFL, Bâtiment M3, Université

More information

We collect some results that might be covered in a first course in algebraic number theory.

We collect some results that might be covered in a first course in algebraic number theory. 1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise

More information

For q 0; 1; : : : ; `? 1, we have m 0; 1; : : : ; q? 1. The set fh j(x) : j 0; 1; ; : : : ; `? 1g forms a basis for the tness functions dened on the i

For q 0; 1; : : : ; `? 1, we have m 0; 1; : : : ; q? 1. The set fh j(x) : j 0; 1; ; : : : ; `? 1g forms a basis for the tness functions dened on the i Comuting with Haar Functions Sami Khuri Deartment of Mathematics and Comuter Science San Jose State University One Washington Square San Jose, CA 9519-0103, USA khuri@juiter.sjsu.edu Fax: (40)94-500 Keywords:

More information

Journal of Algebra 332 (2011) Contents lists available at ScienceDirect. Journal of Algebra.

Journal of Algebra 332 (2011) Contents lists available at ScienceDirect. Journal of Algebra. Journal of Algebra 332 (2011) 1 13 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Enumerating alindromes and rimitives in rank two free grous Jane Gilman

More information

Improved Capacity Bounds for the Binary Energy Harvesting Channel

Improved Capacity Bounds for the Binary Energy Harvesting Channel Imroved Caacity Bounds for the Binary Energy Harvesting Channel Kaya Tutuncuoglu 1, Omur Ozel 2, Aylin Yener 1, and Sennur Ulukus 2 1 Deartment of Electrical Engineering, The Pennsylvania State University,

More information

Some Unitary Space Time Codes From Sphere Packing Theory With Optimal Diversity Product of Code Size

Some Unitary Space Time Codes From Sphere Packing Theory With Optimal Diversity Product of Code Size IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 5, NO., DECEMBER 4 336 Some Unitary Sace Time Codes From Shere Packing Theory With Otimal Diversity Product of Code Size Haiquan Wang, Genyuan Wang, and Xiang-Gen

More information

STRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2

STRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2 STRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2 ANGELES ALFONSECA Abstract In this aer we rove an almost-orthogonality rincile for

More information

Asymptotically Optimal Simulation Allocation under Dependent Sampling

Asymptotically Optimal Simulation Allocation under Dependent Sampling Asymtotically Otimal Simulation Allocation under Deendent Samling Xiaoing Xiong The Robert H. Smith School of Business, University of Maryland, College Park, MD 20742-1815, USA, xiaoingx@yahoo.com Sandee

More information

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS #A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom

More information

BEST CONSTANT IN POINCARÉ INEQUALITIES WITH TRACES: A FREE DISCONTINUITY APPROACH

BEST CONSTANT IN POINCARÉ INEQUALITIES WITH TRACES: A FREE DISCONTINUITY APPROACH BEST CONSTANT IN POINCARÉ INEQUALITIES WITH TRACES: A FREE DISCONTINUITY APPROACH DORIN BUCUR, ALESSANDRO GIACOMINI, AND PAOLA TREBESCHI Abstract For Ω R N oen bounded and with a Lischitz boundary, and

More information

Small Zeros of Quadratic Forms Mod P m

Small Zeros of Quadratic Forms Mod P m International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal

More information

Model checking, verification of CTL. One must verify or expel... doubts, and convert them into the certainty of YES [Thomas Carlyle]

Model checking, verification of CTL. One must verify or expel... doubts, and convert them into the certainty of YES [Thomas Carlyle] Chater 5 Model checking, verification of CTL One must verify or exel... doubts, and convert them into the certainty of YES or NO. [Thomas Carlyle] 5. The verification setting Page 66 We introduce linear

More information

Introduction to Banach Spaces

Introduction to Banach Spaces CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.

More information

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of

More information

Robust Performance Design of PID Controllers with Inverse Multiplicative Uncertainty

Robust Performance Design of PID Controllers with Inverse Multiplicative Uncertainty American Control Conference on O'Farrell Street San Francisco CA USA June 9 - July Robust Performance Design of PID Controllers with Inverse Multilicative Uncertainty Tooran Emami John M Watkins Senior

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

LINEAR SYSTEMS WITH POLYNOMIAL UNCERTAINTY STRUCTURE: STABILITY MARGINS AND CONTROL

LINEAR SYSTEMS WITH POLYNOMIAL UNCERTAINTY STRUCTURE: STABILITY MARGINS AND CONTROL LINEAR SYSTEMS WITH POLYNOMIAL UNCERTAINTY STRUCTURE: STABILITY MARGINS AND CONTROL Mohammad Bozorg Deatment of Mechanical Engineering University of Yazd P. O. Box 89195-741 Yazd Iran Fax: +98-351-750110

More information

Strong Matching of Points with Geometric Shapes

Strong Matching of Points with Geometric Shapes Strong Matching of Points with Geometric Shaes Ahmad Biniaz Anil Maheshwari Michiel Smid School of Comuter Science, Carleton University, Ottawa, Canada December 9, 05 In memory of Ferran Hurtado. Abstract

More information

The inverse Goldbach problem

The inverse Goldbach problem 1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the

More information

On the minimax inequality and its application to existence of three solutions for elliptic equations with Dirichlet boundary condition

On the minimax inequality and its application to existence of three solutions for elliptic equations with Dirichlet boundary condition ISSN 1 746-7233 England UK World Journal of Modelling and Simulation Vol. 3 (2007) No. 2. 83-89 On the minimax inequality and its alication to existence of three solutions for ellitic equations with Dirichlet

More information

ON FREIMAN S 2.4-THEOREM

ON FREIMAN S 2.4-THEOREM ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained

More information

#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS

#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS #A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

Outline. CS21 Decidability and Tractability. Regular expressions and FA. Regular expressions and FA. Regular expressions and FA

Outline. CS21 Decidability and Tractability. Regular expressions and FA. Regular expressions and FA. Regular expressions and FA Outline CS21 Decidability and Tractability Lecture 4 January 14, 2019 FA and Regular Exressions Non-regular languages: Puming Lemma Pushdown Automata Context-Free Grammars and Languages January 14, 2019

More information

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,

More information

An Analysis of Reliable Classifiers through ROC Isometrics

An Analysis of Reliable Classifiers through ROC Isometrics An Analysis of Reliable Classifiers through ROC Isometrics Stijn Vanderlooy s.vanderlooy@cs.unimaas.nl Ida G. Srinkhuizen-Kuyer kuyer@cs.unimaas.nl Evgueni N. Smirnov smirnov@cs.unimaas.nl MICC-IKAT, Universiteit

More information

arxiv:cond-mat/ v2 25 Sep 2002

arxiv:cond-mat/ v2 25 Sep 2002 Energy fluctuations at the multicritical oint in two-dimensional sin glasses arxiv:cond-mat/0207694 v2 25 Se 2002 1. Introduction Hidetoshi Nishimori, Cyril Falvo and Yukiyasu Ozeki Deartment of Physics,

More information

Short Solutions to Practice Material for Test #2 MATH 2421

Short Solutions to Practice Material for Test #2 MATH 2421 Short Solutions to Practice Material for Test # MATH 4 Kawai (#) Describe recisely the D surfaces listed here (a) + y + z z = Shere ( ) + (y ) + (z ) = 4 = The center is located at C (; ; ) and the radius

More information

POINTS ON CONICS MODULO p

POINTS ON CONICS MODULO p POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics

More information

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION COURSE III. Wednesday, August 16, :30 to 11:30 a.m.

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION COURSE III. Wednesday, August 16, :30 to 11:30 a.m. The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION THREE-YEAR SEQUENCE FOR HIGH SCHOOL MATHEMATICS COURSE III Wednesday, August 6, 000 8:0 to :0 a.m., only Notice... Scientific calculators

More information

AP Calculus Testbank (Chapter 10) (Mr. Surowski)

AP Calculus Testbank (Chapter 10) (Mr. Surowski) AP Calculus Testbank (Chater 1) (Mr. Surowski) Part I. Multile-Choice Questions 1. The grah in the xy-lane reresented by x = 3 sin t and y = cost is (A) a circle (B) an ellise (C) a hyerbola (D) a arabola

More information

HEAT AND LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL VARIABLES IN WEIGHTED BERGMAN SPACES

HEAT AND LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL VARIABLES IN WEIGHTED BERGMAN SPACES Electronic Journal of ifferential Equations, Vol. 207 (207), No. 236,. 8. ISSN: 072-669. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu HEAT AN LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL

More information

Math 5330 Spring Notes Prime Numbers

Math 5330 Spring Notes Prime Numbers Math 5330 Sring 208 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating

More information

Location of solutions for quasi-linear elliptic equations with general gradient dependence

Location of solutions for quasi-linear elliptic equations with general gradient dependence Electronic Journal of Qualitative Theory of Differential Equations 217, No. 87, 1 1; htts://doi.org/1.14232/ejqtde.217.1.87 www.math.u-szeged.hu/ejqtde/ Location of solutions for quasi-linear ellitic equations

More information

AN ALTERNATIVE DESCRIPTION OF SWING-BY TRAJECTORIES IN TWO AND THREE DIMENSIONS

AN ALTERNATIVE DESCRIPTION OF SWING-BY TRAJECTORIES IN TWO AND THREE DIMENSIONS ADVANCES IN SPACE DYNAMICS 4: CELESTIAL MECHANICS AND ASTRONAUTICS, H. K. Kuga, Editor, 1-14 (004). Instituto Nacional de Pesquisas Esaciais INPE, São José dos Camos, SP, Brazil. ISBN 85-17-0001-9 AN ALTERNATIVE

More information

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular

More information

ETNA Kent State University

ETNA Kent State University Electronic Transactions on Numerical Analysis. Volume 9,. 29-36, 25. Coyright 25,. ISSN 68-963. ETNA ASYMPTOTICS FOR EXTREMAL POLYNOMIALS WITH VARYING MEASURES M. BELLO HERNÁNDEZ AND J. MíNGUEZ CENICEROS

More information

where x i is the ith coordinate of x R N. 1. Show that the following upper bound holds for the growth function of H:

where x i is the ith coordinate of x R N. 1. Show that the following upper bound holds for the growth function of H: Mehryar Mohri Foundations of Machine Learning Courant Institute of Mathematical Sciences Homework assignment 2 October 25, 2017 Due: November 08, 2017 A. Growth function Growth function of stum functions.

More information

RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES

RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES AARON ZWIEBACH Abstract. In this aer we will analyze research that has been recently done in the field of discrete

More information

Positive decomposition of transfer functions with multiple poles

Positive decomposition of transfer functions with multiple poles Positive decomosition of transfer functions with multile oles Béla Nagy 1, Máté Matolcsi 2, and Márta Szilvási 1 Deartment of Analysis, Technical University of Budaest (BME), H-1111, Budaest, Egry J. u.

More information