Misplaced Pages

Darboux cyclide: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 22:45, 30 December 2024 editGregariousMadness (talk | contribs)Extended confirmed users1,324 editsNo edit summary← Previous edit Latest revision as of 17:17, 1 January 2025 edit undoRodw (talk | contribs)Autopatrolled, Event coordinators, Extended confirmed users, New page reviewers, Pending changes reviewers, Rollbackers771,575 editsm Disambiguating links to French (link changed to French people) using DisamAssist. 
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
] ]
A '''Darboux cyclide''' is an ] of order at most 4 that contains multiple families of ]s.<ref name="arxiv1">{{cite arXiv | last = Pottmann | first = Helmut| date = June 7, 2011 | title = Darboux Cyclides and Webs from Circles | eprint = 1106.1354 | class = math.AG}}</ref><ref name="Zhao-2019">{{citation | last = Zhao | first = Mingyang | date = December 9, 2019 | title = Enumerating the morphologies of non-degenerate Darboux cyclides | year=2019 }}</ref><ref name="Lubbes">{{citation | last=Lubbes|first=Niels|title=Translational and great Darboux cyclides|journal=Johann Radon Institute for Computational and Applied Mathematics|year=2022}}</ref> Named after ] ] ] who studied these surfaces in 1880, Darboux cyclides are a ] of ]s and ]s. These surfaces have applications in ] and ] (CAGD).<ref name="arxiv1"/><ref name="Lubbes"/> A '''Darboux cyclide''' is an ] of ] at most 4 that contains multiple families of ]s.<ref name="arxiv1">{{cite arXiv | last = Pottmann | first = Helmut| date = June 7, 2011 | title = Darboux Cyclides and Webs from Circles | eprint = 1106.1354 | class = math.AG}}</ref><ref name="Zhao-2019">{{citation | last = Zhao | first = Mingyang | date = December 9, 2019 | title = Enumerating the morphologies of non-degenerate Darboux cyclides }}</ref><ref name="Lubbes">{{citation | last=Lubbes|first=Niels|title=Translational and great Darboux cyclides|journal=Johann Radon Institute for Computational and Applied Mathematics|year=2022}}</ref> Named after ] ] ] who studied these surfaces in 1880, Darboux cyclides are a ] of ]s and ]s. These surfaces have applications in ] and ] (CAGD).<ref name="arxiv1"/><ref name="Lubbes"/>

==Definition== ==Definition==
A Darboux cyclide is defined as a surface whose equation in a ] has the form A Darboux cyclide is defined as a surface whose equation in a ] has the form
:<math>\lambda(x^2 + y^2 + z^2)^2 + (x^2 + y^2 + z^2)L(x, y, z) + Q(x, y, z) = 0</math> :<math>\lambda(x^2 + y^2 + z^2)^2 + (x^2 + y^2 + z^2)L(x, y, z) + Q(x, y, z) = 0</math>
where <math>\lambda</math> is a constant, <math>L(x, y, z) = \mu x + \nu y + \kappa z</math> is a ] of degree 1, and <math>Q</math> is a polynomial of degree at most 2 with coefficients that do not ] simultaneously. If the left-hand side of this equation factors into non-constant polynomials with ], the Darboux cyclide is called a ''reducible'' cyclide. A reducible cyclide either splits into a union of spheres/planes or ] to a curve in ].<ref name="arxiv1"/><ref name="Lubbes"/> where <math>\lambda</math> is a constant, <math>L(x, y, z) = \mu x + \nu y + \kappa z</math> is a ] of ] 1, and <math>Q</math> is a polynomial of degree at most 2 with coefficients that do not ] simultaneously. If the left-hand side of this equation factors into non-constant polynomials with ], the Darboux cyclide is called a ''reducible'' cyclide. A reducible cyclide either splits into a union of spheres/planes or ] to a curve in ].<ref name="arxiv1"/><ref name="Lubbes"/>


==History== ==History==
The mathematical study of Darboux cyclides began with ]'s work in 1865, followed by significant contributions from ] in 1880.<ref name="Zhao-2019"/> ] provided a comprehensive discussion of these surfaces in his 1916 monograph. After a period of reduced interest, geometers rediscovered these surfaces in the late 20th century, particularly due to their remarkable property of carrying multiple families of circles.<ref name="arxiv1"/> The mathematical study of Darboux cyclides began with ]'s work in 1865, followed by significant contributions from ] in 1880.<ref name="Zhao-2019"/> ] provided a comprehensive discussion of these surfaces in his 1916 monograph. After a period of reduced interest, geometers rediscovered these surfaces in the late 20th century, particularly due to their remarkable property of carrying multiple families of circles.<ref name="arxiv1"/>

==Properties and applications== ==Properties and applications==
Darboux cyclides can carry up to six ]. That is, these circles lie entirely within the surface&mdash;they are contained within it as part of its geometric structure. These circle families manifest in two distinct types. The first type consists of paired families, where two families of circles are related such that any sphere through a circle of one family intersects the cyclide in a circle of the other family. The second type comprises single families, which arise when the cyclide is generated as a canal surface (the envelope of a one-parameter family of spheres).<ref name="arxiv1"/> Darboux cyclides can carry up to six ]. That is, these circles lie entirely within the surface&mdash;they are contained within it as part of its geometric structure. These circle families manifest in two distinct types. The first type consists of paired families, where two families of circles are related such that any sphere through a circle of one family intersects the cyclide in a circle of the other family. The second type comprises single families, which arise when the cyclide is generated as a canal surface (the envelope of a one-parameter family of spheres).<ref name="arxiv1"/>


Darboux cyclides can exhibit ] with respect to up to five pairwise ] ] (''M''-spheres), though at least one of these spheres must be imaginary. Smooth Darboux cyclides can be classified topologically into three distinct categories: ]-like surfaces, ]like surfaces, and configurations consisting of two spheres.<ref name="arxiv1"/> A '''Möbius sphere''' (also known as an '''''M''-sphere''') <math>S</math> is the set given by the equation <math>\lambda \mathbf x^2 + ax + by + cz + d = 0</math>, where <math>\lambda, a, b, c, d</math> do not vanish simultaneously. Darboux cyclides can exhibit ] with respect to up to five pairwise ] Möbius spheres, though at least one of these spheres must be imaginary; that is, one ''M''-sphere has no real points at all.<ref name="arxiv1"/>

Smooth Darboux cyclides can be classified topologically into three distinct categories: ]-like surfaces, ]like surfaces, and configurations consisting of two spheres.<ref name="arxiv1"/>


In ], Darboux cyclides have been applied in the ''rationalization'' of ]s&ndash;the process of taking a complex freeform architectural design and breaking it down into parts that can be manufactured and built while maintaining the designer's artistic intent. Their ability to carry multiple families of circles makes Darboux cyclides particularly useful in the design of circular arc structures and the creation of panels and supporting elements in architectural surfaces. The geometric properties of Darboux cyclides allow for efficient manufacturing processes and ] in architectural designs.<ref name="arxiv1"/> In ], Darboux cyclides have been applied in the ''rationalization'' of ]s&ndash;the process of taking a complex freeform architectural design and breaking it down into parts that can be manufactured and built while maintaining the designer's artistic intent. Their ability to carry multiple families of circles makes Darboux cyclides particularly useful in the design of circular arc structures and the creation of panels and supporting elements in architectural surfaces. The geometric properties of Darboux cyclides allow for efficient manufacturing processes and ] in architectural designs.<ref name="arxiv1"/>

==See also== ==See also==


Line 27: Line 32:
] ]
] ]
]

Latest revision as of 17:17, 1 January 2025

A smooth Darboux cyclide

A Darboux cyclide is an algebraic surface of degree at most 4 that contains multiple families of circles. Named after French mathematician Gaston Darboux who studied these surfaces in 1880, Darboux cyclides are a superset of Dupin cyclides and quadrics. These surfaces have applications in architectural geometry and computer-aided geometric design (CAGD).

Definition

A Darboux cyclide is defined as a surface whose equation in a Cartesian coordinate system has the form

λ ( x 2 + y 2 + z 2 ) 2 + ( x 2 + y 2 + z 2 ) L ( x , y , z ) + Q ( x , y , z ) = 0 {\displaystyle \lambda (x^{2}+y^{2}+z^{2})^{2}+(x^{2}+y^{2}+z^{2})L(x,y,z)+Q(x,y,z)=0}

where λ {\displaystyle \lambda } is a constant, L ( x , y , z ) = μ x + ν y + κ z {\displaystyle L(x,y,z)=\mu x+\nu y+\kappa z} is a polynomial of degree 1, and Q {\displaystyle Q} is a polynomial of degree at most 2 with coefficients that do not vanish simultaneously. If the left-hand side of this equation factors into non-constant polynomials with complex coefficients, the Darboux cyclide is called a reducible cyclide. A reducible cyclide either splits into a union of spheres/planes or degenerates to a curve in R 3 {\displaystyle \mathbb {R} ^{3}} .

History

The mathematical study of Darboux cyclides began with Ernst Kummer's work in 1865, followed by significant contributions from Gaston Darboux in 1880. Julian Coolidge provided a comprehensive discussion of these surfaces in his 1916 monograph. After a period of reduced interest, geometers rediscovered these surfaces in the late 20th century, particularly due to their remarkable property of carrying multiple families of circles.

Properties and applications

Darboux cyclides can carry up to six families of real circles. That is, these circles lie entirely within the surface—they are contained within it as part of its geometric structure. These circle families manifest in two distinct types. The first type consists of paired families, where two families of circles are related such that any sphere through a circle of one family intersects the cyclide in a circle of the other family. The second type comprises single families, which arise when the cyclide is generated as a canal surface (the envelope of a one-parameter family of spheres).

A Möbius sphere (also known as an M-sphere) S {\displaystyle S} is the set given by the equation λ x 2 + a x + b y + c z + d = 0 {\displaystyle \lambda \mathbf {x} ^{2}+ax+by+cz+d=0} , where λ , a , b , c , d {\displaystyle \lambda ,a,b,c,d} do not vanish simultaneously. Darboux cyclides can exhibit symmetry with respect to up to five pairwise orthogonal Möbius spheres, though at least one of these spheres must be imaginary; that is, one M-sphere has no real points at all.

Smooth Darboux cyclides can be classified topologically into three distinct categories: sphere-like surfaces, toruslike surfaces, and configurations consisting of two spheres.

In architectural geometry, Darboux cyclides have been applied in the rationalization of freeform structures–the process of taking a complex freeform architectural design and breaking it down into parts that can be manufactured and built while maintaining the designer's artistic intent. Their ability to carry multiple families of circles makes Darboux cyclides particularly useful in the design of circular arc structures and the creation of panels and supporting elements in architectural surfaces. The geometric properties of Darboux cyclides allow for efficient manufacturing processes and structural stability in architectural designs.

See also

References

  1. ^ Pottmann, Helmut (June 7, 2011). "Darboux Cyclides and Webs from Circles". arXiv:1106.1354 .
  2. ^ Zhao, Mingyang (December 9, 2019), Enumerating the morphologies of non-degenerate Darboux cyclides
  3. ^ Lubbes, Niels (2022), "Translational and great Darboux cyclides", Johann Radon Institute for Computational and Applied Mathematics
Categories: