Jump to content

N-curve: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
SmackBot (talk | contribs)
m Date maintenance tags and general fixes
Cleaning up and expaning.
Line 4: Line 4:


==Introduction==
==Introduction==
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''called n-curve. The n-curves are interesting in two ways.
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 <math>γ_{n}</math> called n-curve. The n-curves are interesting in two ways.
<br /> (1) Their f-products give rise to many beautiful curves.
<br /> (1) Their f-products give rise to many beautiful curves.
<br /> (2) Using the n-curves, we can define a transformation of curves.
<br /> (2) Using the n-curves, we can define a transformation of curves, called n-curving.
==Multiplicative Inverse of Curve==
==Multiplicative Inverse of a Curve==
A curve ''γ'' in the FTA , is invertible, i.e.
A curve ''γ'' in the FTA , is invertible, i.e.


<math>\gamma^{-1}</math> exists if
<math>\gamma^{-1}</math> exists if


: <math>\gamma(0)\gamma(1) \neq 0. \, </math>
: <math>\gamma(0)\gamma(1) \neq 0. </math>


If <math>\gamma^{*}=(\gamma(0)+\gamma(1))e - \gamma </math>, then
If <math>\gamma^{*}=(\gamma(0)+\gamma(1))e - \gamma </math>, where <math>e(t)=1, \forall t \in [0, 1].</math>, then


: <math>\gamma^{-1}= \frac{\gamma^{*}}{\gamma(0)\gamma(1)}. </math>
: <math>\gamma^{-1}= \frac{\gamma^{*}}{\gamma(0)\gamma(1)}. </math>
Line 27: Line 27:
If <math>\gamma \in H</math> and ''n'' is a positive integer, then define a curve <math>\gamma_{n}</math> by
If <math>\gamma \in H</math> and ''n'' is a positive integer, then define a curve <math>\gamma_{n}</math> by


<math>\gamma_{n}(t)=\gamma(nt - [nt])</math>. <math>\gamma_{n}</math> is also a loop at ''1'' and we call it an n-curve.
<math>\gamma_{n}(t)=\gamma(nt - [nt])</math>.
<math>\gamma_{n}</math> is also a loop at ''1'' and we call it an n-curve.
Note that every curve in ''H'' is a 1-curve.
Note that every curve in ''H'' is a 1-curve.


Suppose <math>\alpha, \beta \in H.</math>
Suppose <math>\alpha, \beta \in H.</math>
Then, since <math>\alpha(0)=\beta(1)=1, \alpha \cdot \beta = \beta + \alpha -e</math>, where <math>e(t)=1, \forall t \in [0, 1].</math>
Then, since <math>\alpha(0)=\beta(1)=1, \mbox{ the f-product } \alpha \cdot \beta = \beta + \alpha -e</math>.


===Example of a Product of ''n''-Curves===
===Example of a Product of ''n''-Curves===
Line 45: Line 47:
[[File:curve3.jpg]]
[[File:curve3.jpg]]
==n-Curving==
==n-Curving==
If <math>\gamma \in H</math>, then the n-curve <math>\gamma_{n} \mbox{ also } \in H</math>. Therefore the mapping <math>\alpha \to \gamma_{n}^{-1}\cdot \alpha\cdot\gamma_{n}</math> is an inner automorphism of the group ''G.'' We extend this map to the whole of ''C''[0, 1], denote it by <math>\phi_{\gamma_{n}}</math> and call it n-curving with γ.
If <math>\gamma \in H</math>, then, as mentioned above, the n-curve <math>\gamma_{n} \mbox{ also } \in H</math>.
Therefore the mapping <math>\alpha \to \gamma_{n}^{-1}\cdot \alpha\cdot\gamma_{n}</math> is an inner automorphism of the group ''G.'' We extend this map to the whole of ''C''[0, 1], denote it by <math>\phi_{\gamma_{n},e}</math> and call it n-curving with γ.
It can be verified that <math>\phi_{\gamma_{n}}(\alpha)=\alpha + [\alpha(1)-\alpha(0)](\gamma_{n}-1)e</math>. This new curve has the same initial and end points as α.
It can be verified that
<math>\phi_{\gamma_{n},e}(\alpha)=\alpha + [\alpha(1)-\alpha(0)](\gamma_{n}-1)e</math>.
This new curve has the same initial and end points as α.
===Example of n-Curving===
===Example of n-Curving===
Let ρ denote the Rhodonea Curve <math>r = \cos(2\theta)</math>, which is a loop at 1. Its parametric equations are <math>x=\cos(4\pi t)\cos(2\pi t), y = \cos(4\pi t)\sin(2\pi t)</math>.
Let ρ denote the [[Rhodonea Curve]] <math> r = \cos(2\theta)</math>, which is a loop at 1. Its parametric equations are
<math>x=\cos(4\pi t)\cos(2\pi t), y = \cos(4\pi t)\sin(2\pit)</math>.


With the loop ρ we shall n-Curve the cosine curve <math>c(t)=2\pi t + i \cos(2\pi t), 0 \leq t \leq 1</math>.
With the loop ρ we shall n-Curve the cosine curve <math>c(t)=2\pi t + i \cos(2\pi t), 0 \leq t \leq 1</math>.
The curve <math>\phi_{\rho_{n}}(c)</math> has the parametric equations
The curve <math>\phi_{\rho_{n},e}(c)</math> has the parametric equations


<math>x=2\pi[t-1+\cos(4\pi nt)\cos(2\pi nt)], y=\cos(2\pi t)+ 2\pi \cos(4\pi nt)\sin(2\pi nt)</math>
<math>x=2\pi[t-1+\cos(4\pi nt)\cos(2\pi nt)], y=\cos(2\pi t)+ 2\pi \cos(4\pi nt)\sin(2\pi nt)</math>



Revision as of 15:18, 1 November 2009


Introduction

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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle γ_{n}} called n-curve. The n-curves are interesting in two ways.
(1) Their f-products give rise to many beautiful curves.
(2) Using the n-curves, we can define a transformation of curves, called n-curving.

Multiplicative Inverse of a Curve

A curve γ in the FTA , is invertible, i.e.

exists if

If , where , then

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 , then the mapping 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

If and n is a positive integer, then define a curve by

.

is also a loop at 1 and we call it an n-curve. Note that every curve in H is a 1-curve.

Suppose Then, since .

Example of a Product of n-Curves

Products of n-curves often yield beautiful new curves. Let us take u, the unit circle centered at the origin and α, the astroid. Then,

and

The parametric equations of are See the figure. Since both are loops at 1, so is the product.

n-Curving

If , then, as mentioned above, the n-curve . Therefore the mapping is an inner automorphism of the group G. We extend this map to the whole of C[0, 1], denote it by and call it n-curving with γ. It can be verified that

.

This new curve has the same initial and end points as α.

Example of n-Curving

Let ρ denote the Rhodonea Curve , which is a loop at 1. Its parametric equations are

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle x=\cos(4\pi t)\cos(2\pi t), y = \cos(4\pi t)\sin(2\pit)} .

With the loop ρ we shall n-Curve the cosine curve . The curve has the parametric equations


References

  • Sebastian Vattamattam, ``Transforming Curves by n-Curving, in ``Bulletin of Kerala Mathematics Association, Vol. 5, No. 1, December 2008