In knot theory, a Lissajous knot is a knot defined by parametric equations of the form
where , , and are integers and the phase shifts , , and may be any real numbers.
The projection of a Lissajous knot onto any of the three coordinate planes is a Lissajous curve, and many of the properties of these knots are closely related to properties of Lissajous curves.
Replacing the cosine function in the parametrization by a triangle wave transforms every Lissajous knot isotopically into a billiard curve inside a cube, the simplest case of so-called billiard knots. Billiard knots can also be studied in other domains, for instance in a cylinder or in a (flat) solid torus (Lissajous-toric knot).
Because a knot cannot be self-intersecting, the three integers must be pairwise relatively prime, and none of the quantities
may be an integer multiple of pi. Moreover, by making a substitution of the form , one may assume that any of the three phase shifts , , is equal to zero.
Here are some examples of Lissajous knots, all of which have :
There are infinitely many different Lissajous knots, and other examples with 10 or fewer crossings include the 7<sub>4</sub> knot, the 8<sub>15</sub> knot, the 10<sub>1</sub> knot, the 10<sub>35</sub> knot, the 10<sub>58</sub> knot, and the composite knot 5<sub>2</sub><sup>*</sup> # 5<sub>2</sub>, as well as the 9<sub>16</sub> knot, 10<sub>76</sub> knot, the 10<sub>99</sub> knot, the 10<sub>122</sub> knot, the 10<sub>144</sub> knot, the granny knot, and the composite knot 5<sub>2</sub> # 5<sub>2</sub>. In addition, it is known that every twist knot with Arf invariant zero is a Lissajous knot.
Lissajous knots are highly symmetric, though the type of symmetry depends on whether or not the numbers , , and are all odd.
If , , and are all odd, then the point reflection across the origin is a symmetry of the Lissajous knot which preserves the knot orientation.
In general, a knot that has an orientation-preserving point reflection symmetry is known as strongly positive amphicheiral. This is a fairly rare property: only seven prime knots with twelve or fewer crossings are strongly positive amphicheiral (10<sub>99</sub>, 10<sub>123</sub>, 12a427, 12a1019, 12a1105, 12a1202, 12n706). Since this is so rare, â²mostâ² prime Lissajous knots lie in the even case.
If one of the frequencies (say ) is even, then the 180ð rotation around the x-axis is a symmetry of the Lissajous knot. In general, a knot that has a symmetry of this type is called 2-periodic, so every even Lissajous knot must be 2-periodic.
The symmetry of a Lissajous knot puts severe constraints on the Alexander polynomial. In the odd case, the Alexander polynomial of the Lissajous knot must be a perfect square. In the even case, the Alexander polynomial must be a perfect square modulo 2. In addition, the Arf invariant of a Lissajous knot must be zero. It follows that: