We take the functional theoretic algebra C [0, 1] of curves. For each loop γ at 1, and each positive integer n , we define a curve
γ γ -->
n
{\displaystyle \gamma _{n}}
called n -curve .[clarification needed ] The n -curves are interesting in two ways.
Their f-products, sums and differences give rise to many beautiful curves.
Using the n -curves, we can define a transformation of curves, called n -curving.
Multiplicative inverse of a curve
A curve γ in the functional theoretic algebra C [0, 1], is invertible, i.e.
γ γ -->
− − -->
1
{\displaystyle \gamma ^{-1}\,}
exists if
γ γ -->
(
0
)
γ γ -->
(
1
)
≠ ≠ -->
0.
{\displaystyle \gamma (0)\gamma (1)\neq 0.\,}
If
γ γ -->
∗ ∗ -->
=
(
γ γ -->
(
0
)
+
γ γ -->
(
1
)
)
e
− − -->
γ γ -->
{\displaystyle \gamma ^{*}=(\gamma (0)+\gamma (1))e-\gamma }
, where
e
(
t
)
=
1
,
∀ ∀ -->
t
∈ ∈ -->
[
0
,
1
]
{\displaystyle e(t)=1,\forall t\in [0,1]}
, then
γ γ -->
− − -->
1
=
γ γ -->
∗ ∗ -->
γ γ -->
(
0
)
γ γ -->
(
1
)
.
{\displaystyle \gamma ^{-1}={\frac {\gamma ^{*}}{\gamma (0)\gamma (1)}}.}
The set G of invertible curves is a non-commutative group under multiplication. Also the set H of loops at 1 is an Abelian subgroup of G. If
γ γ -->
∈ ∈ -->
H
{\displaystyle \gamma \in H}
, then the mapping
α α -->
→ → -->
γ γ -->
− − -->
1
⋅ ⋅ -->
α α -->
⋅ ⋅ -->
γ γ -->
{\displaystyle \alpha \to \gamma ^{-1}\cdot \alpha \cdot \gamma }
is an inner automorphism of the group G.
We use these concepts to define n -curves and n -curving.
n -curves and their products
If x is a real number and [x ] denotes the greatest integer not greater than x , then
x
− − -->
[
x
]
∈ ∈ -->
[
0
,
1
]
.
{\displaystyle x-[x]\in [0,1].}
If
γ γ -->
∈ ∈ -->
H
{\displaystyle \gamma \in H}
and n is a positive integer, then define a curve
γ γ -->
n
{\displaystyle \gamma _{n}}
by
γ γ -->
n
(
t
)
=
γ γ -->
(
n
t
− − -->
[
n
t
]
)
.
{\displaystyle \gamma _{n}(t)=\gamma (nt-[nt]).\,}
γ γ -->
n
{\displaystyle \gamma _{n}}
is also a loop at 1 and we call it an n -curve.
Note that every curve in H is a 1-curve.
Suppose
α α -->
,
β β -->
∈ ∈ -->
H
.
{\displaystyle \alpha ,\beta \in H.}
Then, since
α α -->
(
0
)
=
β β -->
(
1
)
=
1
,
the f-product
α α -->
⋅ ⋅ -->
β β -->
=
β β -->
+
α α -->
− − -->
e
{\displaystyle \alpha (0)=\beta (1)=1,{\mbox{ the f-product }}\alpha \cdot \beta =\beta +\alpha -e}
.
Example 1: Product of the astroid with the n -curve of the unit circle
Let us take u , the unit circle centered at the origin and α, the astroid .
The n -curve of u is given by,
u
n
(
t
)
=
cos
-->
(
2
π π -->
n
t
)
+
i
sin
-->
(
2
π π -->
n
t
)
{\displaystyle u_{n}(t)=\cos(2\pi nt)+i\sin(2\pi nt)\,}
and the astroid is
α α -->
(
t
)
=
cos
3
-->
(
2
π π -->
t
)
+
i
sin
3
-->
(
2
π π -->
t
)
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle \alpha (t)=\cos ^{3}(2\pi t)+i\sin ^{3}(2\pi t),0\leq t\leq 1}
The parametric equations of their product
α α -->
⋅ ⋅ -->
u
n
{\displaystyle \alpha \cdot u_{n}}
are
x
=
cos
3
-->
(
2
π π -->
t
)
+
cos
-->
(
2
π π -->
n
t
)
− − -->
1
,
{\displaystyle x=\cos ^{3}(2\pi t)+\cos(2\pi nt)-1,}
y
=
sin
3
-->
(
2
π π -->
t
)
+
sin
-->
(
2
π π -->
n
t
)
{\displaystyle y=\sin ^{3}(2\pi t)+\sin(2\pi nt)}
See the figure.
Since both
α α -->
and
u
n
{\displaystyle \alpha {\mbox{ and }}u_{n}}
are loops at 1, so is the product.
n -curve with
N
=
53
{\displaystyle N=53}
Animation of n -curve for n values from 0 to 50
Example 2: Product of the unit circle and its n -curve
The unit circle is
u
(
t
)
=
cos
-->
(
2
π π -->
t
)
+
i
sin
-->
(
2
π π -->
t
)
{\displaystyle u(t)=\cos(2\pi t)+i\sin(2\pi t)\,}
and its n -curve is
u
n
(
t
)
=
cos
-->
(
2
π π -->
n
t
)
+
i
sin
-->
(
2
π π -->
n
t
)
{\displaystyle u_{n}(t)=\cos(2\pi nt)+i\sin(2\pi nt)\,}
The parametric equations of their product
u
⋅ ⋅ -->
u
n
{\displaystyle u\cdot u_{n}}
are
x
=
cos
-->
(
2
π π -->
n
t
)
+
cos
-->
(
2
π π -->
t
)
− − -->
1
,
{\displaystyle x=\cos(2\pi nt)+\cos(2\pi t)-1,}
y
=
sin
-->
(
2
π π -->
n
t
)
+
sin
-->
(
2
π π -->
t
)
{\displaystyle y=\sin(2\pi nt)+\sin(2\pi t)}
See the figure.
Let us take the Rhodonea Curve
r
=
cos
-->
(
3
θ θ -->
)
{\displaystyle r=\cos(3\theta )}
If
ρ ρ -->
{\displaystyle \rho }
denotes the curve,
ρ ρ -->
(
t
)
=
cos
-->
(
6
π π -->
t
)
[
cos
-->
(
2
π π -->
t
)
+
i
sin
-->
(
2
π π -->
t
)
]
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle \rho (t)=\cos(6\pi t)[\cos(2\pi t)+i\sin(2\pi t)],0\leq t\leq 1}
The parametric equations of
ρ ρ -->
n
− − -->
ρ ρ -->
{\displaystyle \rho _{n}-\rho }
are
x
=
cos
-->
(
6
π π -->
n
t
)
cos
-->
(
2
π π -->
n
t
)
− − -->
cos
-->
(
6
π π -->
t
)
cos
-->
(
2
π π -->
t
)
,
{\displaystyle x=\cos(6\pi nt)\cos(2\pi nt)-\cos(6\pi t)\cos(2\pi t),}
y
=
cos
-->
(
6
π π -->
n
t
)
sin
-->
(
2
π π -->
n
t
)
− − -->
cos
-->
(
6
π π -->
t
)
sin
-->
(
2
π π -->
t
)
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle y=\cos(6\pi nt)\sin(2\pi nt)-\cos(6\pi t)\sin(2\pi t),0\leq t\leq 1}
n -Curving
If
γ γ -->
∈ ∈ -->
H
{\displaystyle \gamma \in H}
, then, as mentioned above, the n -curve
γ γ -->
n
also
∈ ∈ -->
H
{\displaystyle \gamma _{n}{\mbox{ also }}\in H}
. Therefore, the mapping
α α -->
→ → -->
γ γ -->
n
− − -->
1
⋅ ⋅ -->
α α -->
⋅ ⋅ -->
γ γ -->
n
{\displaystyle \alpha \to \gamma _{n}^{-1}\cdot \alpha \cdot \gamma _{n}}
is an inner automorphism of the group G. We extend this map to the whole of C [0, 1], denote it by
ϕ ϕ -->
γ γ -->
n
,
e
{\displaystyle \phi _{\gamma _{n},e}}
and call it n -curving with γ.
It can be verified that
ϕ ϕ -->
γ γ -->
n
,
e
(
α α -->
)
=
α α -->
+
[
α α -->
(
1
)
− − -->
α α -->
(
0
)
]
(
γ γ -->
n
− − -->
1
)
e
.
{\displaystyle \phi _{\gamma _{n},e}(\alpha )=\alpha +[\alpha (1)-\alpha (0)](\gamma _{n}-1)e.\ }
This new curve has the same initial and end points as α.
Example 1 of n -curving
Let ρ denote the Rhodonea curve
r
=
cos
-->
(
2
θ θ -->
)
{\displaystyle r=\cos(2\theta )}
, which is a loop at 1. Its parametric equations are
x
=
cos
-->
(
4
π π -->
t
)
cos
-->
(
2
π π -->
t
)
,
{\displaystyle x=\cos(4\pi t)\cos(2\pi t),}
y
=
cos
-->
(
4
π π -->
t
)
sin
-->
(
2
π π -->
t
)
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle y=\cos(4\pi t)\sin(2\pi t),0\leq t\leq 1}
With the loop ρ we shall n -curve the cosine curve
c
(
t
)
=
2
π π -->
t
+
i
cos
-->
(
2
π π -->
t
)
,
0
≤ ≤ -->
t
≤ ≤ -->
1.
{\displaystyle c(t)=2\pi t+i\cos(2\pi t),\quad 0\leq t\leq 1.\,}
The curve
ϕ ϕ -->
ρ ρ -->
n
,
e
(
c
)
{\displaystyle \phi _{\rho _{n},e}(c)}
has the parametric equations
x
=
2
π π -->
[
t
− − -->
1
+
cos
-->
(
4
π π -->
n
t
)
cos
-->
(
2
π π -->
n
t
)
]
,
y
=
cos
-->
(
2
π π -->
t
)
+
2
π π -->
cos
-->
(
4
π π -->
n
t
)
sin
-->
(
2
π π -->
n
t
)
{\displaystyle x=2\pi [t-1+\cos(4\pi nt)\cos(2\pi nt)],\quad y=\cos(2\pi t)+2\pi \cos(4\pi nt)\sin(2\pi nt)}
See the figure.
It is a curve that starts at the point (0, 1) and ends at (2π, 1).
Notice how the curve starts with a cosine curve at N =0. Please note that the parametric equation was modified to center the curve at origin.
Example 2 of n -curving
Let χ denote the Cosine Curve
χ χ -->
(
t
)
=
2
π π -->
t
+
i
cos
-->
(
2
π π -->
t
)
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle \chi (t)=2\pi t+i\cos(2\pi t),0\leq t\leq 1}
With another Rhodonea Curve
ρ ρ -->
=
cos
-->
(
3
θ θ -->
)
{\displaystyle \rho =\cos(3\theta )}
we shall n -curve the cosine curve.
The rhodonea curve can also be given as
ρ ρ -->
(
t
)
=
cos
-->
(
6
π π -->
t
)
[
cos
-->
(
2
π π -->
t
)
+
i
sin
-->
(
2
π π -->
t
)
]
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle \rho (t)=\cos(6\pi t)[\cos(2\pi t)+i\sin(2\pi t)],0\leq t\leq 1}
The curve
ϕ ϕ -->
ρ ρ -->
n
,
e
(
χ χ -->
)
{\displaystyle \phi _{\rho _{n},e}(\chi )}
has the parametric equations
x
=
2
π π -->
t
+
2
π π -->
[
cos
-->
(
6
π π -->
n
t
)
cos
-->
(
2
π π -->
n
t
)
− − -->
1
]
,
{\displaystyle x=2\pi t+2\pi [\cos(6\pi nt)\cos(2\pi nt)-1],}
y
=
cos
-->
(
2
π π -->
t
)
+
2
π π -->
cos
-->
(
6
π π -->
n
t
)
sin
-->
(
2
π π -->
n
t
)
,
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle y=\cos(2\pi t)+2\pi \cos(6\pi nt)\sin(2\pi nt),0\leq t\leq 1}
See the figure for
n
=
15
{\displaystyle n=15}
.
Generalized n -curving
In the FTA C [0, 1] of curves, instead of e we shall take an arbitrary curve
β β -->
{\displaystyle \beta }
, a loop at 1.
This is justified since
L
1
(
β β -->
)
=
L
2
(
β β -->
)
=
1
{\displaystyle L_{1}(\beta )=L_{2}(\beta )=1}
Then, for a curve γ in C [0, 1],
γ γ -->
∗ ∗ -->
=
(
γ γ -->
(
0
)
+
γ γ -->
(
1
)
)
β β -->
− − -->
γ γ -->
{\displaystyle \gamma ^{*}=(\gamma (0)+\gamma (1))\beta -\gamma }
and
γ γ -->
− − -->
1
=
γ γ -->
∗ ∗ -->
γ γ -->
(
0
)
γ γ -->
(
1
)
.
{\displaystyle \gamma ^{-1}={\frac {\gamma ^{*}}{\gamma (0)\gamma (1)}}.}
If
α α -->
∈ ∈ -->
H
{\displaystyle \alpha \in H}
, the mapping
ϕ ϕ -->
α α -->
n
,
β β -->
{\displaystyle \phi _{\alpha _{n},\beta }}
given by
ϕ ϕ -->
α α -->
n
,
β β -->
(
γ γ -->
)
=
α α -->
n
− − -->
1
⋅ ⋅ -->
γ γ -->
⋅ ⋅ -->
α α -->
n
{\displaystyle \phi _{\alpha _{n},\beta }(\gamma )=\alpha _{n}^{-1}\cdot \gamma \cdot \alpha _{n}}
is the n -curving. We get the formula
ϕ ϕ -->
α α -->
n
,
β β -->
(
γ γ -->
)
=
γ γ -->
+
[
γ γ -->
(
1
)
− − -->
γ γ -->
(
0
)
]
(
α α -->
n
− − -->
β β -->
)
.
{\displaystyle \phi _{\alpha _{n},\beta }(\gamma )=\gamma +[\gamma (1)-\gamma (0)](\alpha _{n}-\beta ).}
Thus given any two loops
α α -->
{\displaystyle \alpha }
and
β β -->
{\displaystyle \beta }
at 1, we get a transformation of curve
γ γ -->
{\displaystyle \gamma }
given by the above formula.
This we shall call generalized n -curving.
Example 1
Let us take
α α -->
{\displaystyle \alpha }
and
β β -->
{\displaystyle \beta }
as the unit circle ``u.’’ and
γ γ -->
{\displaystyle \gamma }
as the cosine curve
γ γ -->
(
t
)
=
4
π π -->
t
+
i
cos
-->
(
4
π π -->
t
)
0
≤ ≤ -->
t
≤ ≤ -->
1
{\displaystyle \gamma (t)=4\pi t+i\cos(4\pi t)0\leq t\leq 1}
Note that
γ γ -->
(
1
)
− − -->
γ γ -->
(
0
)
=
4
π π -->
{\displaystyle \gamma (1)-\gamma (0)=4\pi }
For the transformed curve for
n
=
40
{\displaystyle n=40}
, see the figure.
The transformed curve
ϕ ϕ -->
u
n
,
u
(
γ γ -->
)
{\displaystyle \phi _{u_{n},u}(\gamma )}
has the parametric equations
Example 2
Denote the curve called Crooked Egg by
η η -->
{\displaystyle \eta }
whose polar equation is
r
=
cos
3
-->
θ θ -->
+
sin
3
-->
θ θ -->
{\displaystyle r=\cos ^{3}\theta +\sin ^{3}\theta }
Its parametric equations are
x
=
cos
-->
(
2
π π -->
t
)
(
cos
3
-->
2
π π -->
t
+
sin
3
-->
2
π π -->
t
)
,
{\displaystyle x=\cos(2\pi t)(\cos ^{3}2\pi t+\sin ^{3}2\pi t),}
y
=
sin
-->
(
2
π π -->
t
)
(
cos
3
-->
2
π π -->
t
+
sin
3
-->
2
π π -->
t
)
{\displaystyle y=\sin(2\pi t)(\cos ^{3}2\pi t+\sin ^{3}2\pi t)}
Let us take
α α -->
=
η η -->
{\displaystyle \alpha =\eta }
and
β β -->
=
u
,
{\displaystyle \beta =u,}
where
u
{\displaystyle u}
is the unit circle.
The n -curved Archimedean spiral has the parametric equations
x
=
2
π π -->
t
cos
-->
(
2
π π -->
t
)
+
2
π π -->
[
(
cos
3
-->
2
π π -->
n
t
+
sin
3
-->
2
π π -->
n
t
)
cos
-->
(
2
π π -->
n
t
)
− − -->
cos
-->
(
2
π π -->
t
)
]
,
{\displaystyle x=2\pi t\cos(2\pi t)+2\pi [(\cos ^{3}2\pi nt+\sin ^{3}2\pi nt)\cos(2\pi nt)-\cos(2\pi t)],}
y
=
2
π π -->
t
sin
-->
(
2
π π -->
t
)
+
2
π π -->
[
(
cos
3
-->
2
π π -->
n
t
)
+
sin
3
-->
2
π π -->
n
t
)
sin
-->
(
2
π π -->
n
t
)
− − -->
sin
-->
(
2
π π -->
t
)
]
{\displaystyle y=2\pi t\sin(2\pi t)+2\pi [(\cos ^{3}2\pi nt)+\sin ^{3}2\pi nt)\sin(2\pi nt)-\sin(2\pi t)]}
See the figures, the Crooked Egg and the transformed Spiral for
n
=
20
{\displaystyle n=20}
.
References
Sebastian Vattamattam, "Transforming Curves by n -Curving", in Bulletin of Kerala Mathematics Association , Vol. 5, No. 1, December 2008
Sebastian Vattamattam, Book of Beautiful Curves , Expressions, Kottayam, January 2015 Book of Beautiful Curves
External links