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 [ edit ]
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[ edit ]
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 [ edit ]
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 [ edit ]
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}
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 [ edit ]
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 [ edit ]
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 [ edit ]
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.
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
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}
.
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