TRIGONOMETRA ELPTICA PARA SU USO EN INGENIERIA

Juan Camilo Valencia Estrada [1] lvaro Hernn Bedoya Calle [2]

[1] Ingeniero de Produccin, Universidad EAFIT. Maestro en Matemticas Aplicadas, Universidad EAFIT. Profesor asistente, Escuela de Ingeniera de Antioquia. [2] Licenciado en Matemticas y Fsica, Universidad de Antioquia. Maestro en Matemticas Aplicadas, Universidad EAFIT.

Abstract: Se presenta a continuacin la creacin de funciones trigonomtricas especiales, con base en la geometra elptica en coordenadas cartesianas y polares, que permiten describir una torsin del plano polar, para caracterizar variables fsicas, con muchas aplicaciones en la industria electrnica, tambin para modelar distribuciones de probabilidad finitas, para caracterizar el astigmatismo oblicuo en ptica, y para modelar matemticamente la cornea humana. Keywords: Trigonometra elptica, sine, excentricidad, semieje, astigmatismo.

1. INTRODUCCION. Considerando una torsin del plano polar se necesitan crear unas funciones especiales que sean equivalentes a las funciones trigonomtricas circulares e hiperblicas que surgen de los tringulos rectngulos formados por el origen de coordenadas, los diferentes puntos de un crculo e hiprbola unitaria y los puntos de las respectivas proyecciones normales a los ejes principales, que en forma cannica corresponden al eje x y y. De este concepto se aclara que las funciones trigonomtricas circulares surgen de

para crear las funciones trigonomtricas de la misma manera que Thomas Fincke en 15831 cre la trigonometra con la notacin moderna que se usa cannicamente, que fue refinada por William Oughtred en 1632 con:

sin cos

y , tan x , cot

y , sec x x , csc y

1 , x (2) 1 . y

x2

y2

(1)

Libro 14: Geometria rotundi. El uso de las abreviaturas para las funciones trigonomtricas proviene de Fincke.

Las anteriores funciones trigonomtricas circulares 2 permiten describir fcilmente la naturaleza cclica de orden 4 que surge de la rotacin del radio unitario cuando se conmuta de cuadrante. Estas funciones describen la naturaleza del tiempo real si el ngulo es t, de la misma manera en que funciona un reloj. La trigonometra hiperblica fue creada por Vincenzo Riccati (1707-1775), pero la notacin moderna fue impulsada por Johann Heinrich Lambert en 17683, para describir el comportamiento equivalente de las funciones trigonomtricas circulares cuando los ngulos o el tiempo son imaginarios. Las funciones de las hiprbolas cannicas unitarias generadoras corresponden a:

Si se efecta una torsin del plano cartesiano cannico conservando el eje x en la posicin cannica y posicionando el eje y con un ngulo de astigmatismo /2, la funcin seno correspondiente a la torsin debe adquirir sus valores extremos unitarios en y + . Estas funciones trigonomtricas que se desean crear permiten describir fcilmente muchos problemas matemticos de ingeniera que actualmente pueden ser modelados con expresiones demasiado complejas.

2. REPRESENTACIONES POLARES. En las representaciones polares de las funciones trigonomtricas los radios negativos no existen, ya que los radios negativos son conceptualmente imaginarios y matemticamente reales. Para clarificar este concepto se considera la funcin , como se observa en la figura 1, esta curva llamada rhodonea 4. Si la funcin fuese r = sin , para 0 2, se obtiene solamente la grafica en el primer semiplano (Cuadrantes I y II.), ya que los radios negativos no existen, as, por convencin de signos se establece que los radios son positivos si estn en el primer semiplano, y negativos si estn en el segundo semiplano (Cuadrantes III y IV.).

x2

y2

(3) trigonomtricas

con las respectivas funciones hiperblicas generadas:

sin2

sinh tanh sec h

sin i i tan i i sec i

y,

cosh

cos i cot i i csc i i

x, x (4) , y 1 . y

y , coth x 1 , csc h x

Posteriormente, Leonhard Euler (1707-1783) descubri la representacin exponencial para ngulos reales e imaginarios, gracias a las representaciones en series de potencias descubiertas por James Gregory:

e e

cos cosh

i sin sinh

Considerando una torsin del plano polar que permita establecer una nueva familia de funciones trigonomtricas con las mismas razones fundamentales usadas en (2) y (4), se obtiene una distorsin del crculo que degenera en una elipse rotada como se muestra en la figura 2, con rmax = 1 para el ngulo de torsin y el parmetro de excentricidad e, segn la funcin seno equivalente5.

(5)

En el plano cartesiano cannico, considerando las funciones trigonomtricas circulares, la funcin seno adquiere sus valores extremos unitarios en = /2 con 1 respectivamente.
4 2

Muy diferentes de las funciones trigonomtricas esfricas que surgen de los tringulos rectngulos sobre la superficie de una esfera. 3 Histoire de lacadmie Royele des sciences et des belles-letres de Berlin, vol. XXIV, pg. 327.

Denominacin dada por el matemtico italiano Guido Grandi entre 1723 y 1728, ya que se parece a los ptalos de las rosas.
5

Funcin creada como sine , con astigmatismo oblicuo y excentricidad e.

3. CONSTRUCCIN. Se construye una elipse cannica en coordenadas cartesianas (x, y) con semiejes mayor 1 y menor b, con 0 < b 1 y centro en el origen, con la representacin explicita

1 x2

(6)

que tambin puede ser expresada en coordenadas polares con notacin explicita para el primer semiplano

b b cos
2 2

sin2

(7)

Para rotarla un ngulo :

r
Fig. 1. Representacin polar de la funcin

b b 2 cos 2 ( ) sin 2 ( )
(8)

sin2

, para 0 < 2.

Para luego determinar el punto mnimo, donde la recta cartesiana tangente tiene pendiente cero:

dy dx

0
xmin

r ' sin r ' cos

r cos r sin
min

0
(9)

Evaluando nicamente el numerador y simplificando:

(b 2 1) cos

(b 2 1) cos(

2 )

0
(10)

Cuyas soluciones validas para los puntos crticos mximo y mnimo, que determinan el eje que contiene el punto mnimo, con un ngulo , son:

Fig. 2. Representacin polar de la figura que 2 representa r sine , para 0 < 2 ; con la convencin de signos para los radios, con = /4 y e = .

cos

(b 2 1) sin( 2 ) 2 b4 1 (b 4 1) cos ( 2 )
(11)

A continuacin se presenta todo el mtodo matemtico que permite caracterizar la elipse rotada con semieje mayor a y excentricidad e.

y si la excentricidad e es conocida, b 1 e , el valor del ngulo tambin puede ser calculado con:

cos

e 2 sin( 2 ) 2 ( 2 2e e (e
2 2 2

(12)

2) cos( 2 ))

Trasladando la funcin elptica rotada con origen en el punto mnimo, de acuerdo a la construccin propuesta, se obtiene la funcin en coordenadas polares, reemplazando los valores de h y k respectivos:

Cuando se necesita determinar el ngulo de rotacin , si se prescribe el eje principal que contiene el punto mnimo (, r()) para una elipse con semieje mayor unitario y semieje menor b o en su defecto con excentricidad e, se obtiene de la solucin para en (10):

4 2 b 2 sin( ) ( 1 b2 1 b2 (1 b 2 ) cos( 2( (1 b 2 ) cos ( 2 )

(16)

)))

1 2 1 2

cos cos

1 b2 cos 1 b2 2 e2 cos e2
(13)

que como funcin de la excentricidad se puede expresar con:

4 2 (1 e 2 ) sin (2 e 2 (1 cos ( 2( 2 e 2 (1 cos ( 2( )))) )))

(17)

Para definir la nueva funcin sin,e () se debe escalar la elipse rotada de manera que la cuerda elptica mxima sea unitaria. Como el astigmatismo es invariante con el escalado las expresiones en trminos de la excentricidad son invariantes. Las coordenadas polares del punto mnimo son:
r( ) 2( e 2 1) 2 e 2 e 2 cos ( 2 ) e 2 sin( 2 ) 2 2 2e 2 e4 e 2 (e 2 2) cos ( 2 )

Diferenciando la expresin (16) para determinar el radio mximo para un ngulo de astigmatismo se obtiene:

dr d (b 2

2 2 b 2 ( 2(b 2

1) cos 2 ))) 0

(18)

1)(3 cos (

2 ) cos (3

2 e2 cos
1

de la cual se puede obtener fcilmente el ngulo de rotacin de la elipse, para un ngulo oblicuo predeterminado, considerando nicamente la raz vlida, que caracteriza el astigmatismo:
13 7b 2 ( 4 8b 2 ) cos ( 2 ) (b 2 b4 (b 4 b2 (1 b 2 )(5 3 cos ( 2 )) 1) cos ( 4 )

(14) y las coordenadas cartesianas, como funcin de la excentricidad, son:

cos

1 2

8 2 1 3b 2

1) cos ( 2 ) sin3

(19) donde el signo depende del cuadrante astigmatismo y es equivalente a sgn(/2 - ). del

e 2 sin( 2 ) h k 2 2 e 2 e
2 2

e cos ( 2 )
(15)

e cos ( 2 ) 2

El ngulo de rotacin expresado como funcin de la excentricidad es invariante con el escalado:

6 7e 2 cos
1

4( 1 2e 2 ) cos ( 2 ) ( 2 e 2 ) cos ( 4 ) e4 ( 1 e2 e 4 ) cos ( 2 ) sin3 3 cos ( 2 ) 5

1 2e

8 2

1 e2

Tambin se muestra en la figura 4 la representacin temporal con los mismos parmetros de la figura 3 comparados con la funcin cannica seno.

(20) con un discriminante que garantiza una solucin vlida y real si

5 2 cos ( 2 ) 3 cos 2 ( 2 ) 1 cos ( 2 ) 2 sin

e 1
(21)

Definiendo el seno astigmtico con parmetros predeterminados e y verificados segn (21), usando el ngulo de rotacin segn (20):

sine

e 2 cos(2( e 2 cos(2(

)) e 2 )) e 2

2 sin 2 sin
(22) Fig. 4. Representacin temporal de la funcin sine , para 0 < 2 ; con la convencin de signos para los radios, con = /3 y e = 0,8, 0,9 y 0,999. Cuando e = 1, la funcin converge en una funcin impulso de amplitud nula, bastante til para modelar problemas de ingeniera electrnica y espintrnica, incluyendo la resonancia magntica.

para todo en el primer semiplano usando el signo positivo, la cual es vlida en ciertos dominios. A continuacin se muestra la figura 3 usando las funciones anteriores con diferentes valores de excentricidad.

Como caso particular es importante resaltar que si = n/2 la solucin tiende al lmite:
/ 2 sine

2(1 e 2 ) sin 2 e 2 e 2 cos ( 2 )

(23)

Se observa en la Figura 5 la descripcin de la funcin sine sin astigmatismo para diferentes excentricidades, funcin que puede ser til para modelar funciones fsicas y estadsticas. Usando el mismo argumento utilizado para construir la funcin sine se establece todas las dems funciones trigonomtricas, como: Fig. 3.

r de signos para los radios, con = /3 y e = 0,7, 0,75, 0,8, 0,85, 0,9, 0,95 y 0,98.

Representacin polar de la funcin 2 sine , para 0 < 2, con la convencin

cose

e 2 cos(2( e 2 cos(2(

)) e 2 2 sin( ) 2 )) e 2 sin (24)

y si = /2

/2

cose

2(1 e 2 ) cos 2 e 2 e 2 cos ( 2 )

(25)

Fig. 5. Representacin temporal de la funcin sine , para 0 < ; con la convencin de signos para los radios, con = /2 y e = 0,45, 0,55, 0,65, 0,75, 0,85, 0,92 y 0,98. Conocidas las funciones fundamentales sine y cose se puede calcular la funcin generadora con

2 sine

2 cose

(26) Fig. 6. Representacin tridimensional de la funcin 2 2 de la funcin r en sine cose coordenadas paramtricas, con = /3, 0 < 2 y la excentricidad e en el intervalo real menor que la unidad. La realidad biolgica presenta una geometra corneal que se caracteriza por tener una forma trica de revolucin con ejes principales casi siempre ortogonales (Astigmatismo regular), donde la geometra de las secciones tricas son funciones de un sistema polar:

Se ilustra esta funcin en la figura 6 para un astigmatismo particular.

4. APLICACIONES. Estas funciones tienes numerosas aplicaciones en ingeniera. 4.1 Aplicacin ptica.

El ojo emtrope ideal le corresponde generalmente una cornea perfecta de revolucin, que en forma cannica tiene como seccin cortada:

za

a2 r 2
i 1

a4 r 4

a6 r 6

a8 r 8

...
(26)

za ( )

a2 ( )r 2
i 1

a4 ( )r 4

a6 ( )r 6

...
(27)

a 2i r 2i

a 2i ( )r 2i

donde normalmente los coeficientes {a2i} que caracterizan la geometra de la seccin son reales y en su mayora positivos; y los exponentes del polinomio caracterstico son pares.

donde vara entre 0 y 2 radianes, ya que za() = za( + 2) si se asumen toroides. La informacin suministrada por lo modernos topgrafos computarizados describen la superficie de

la cornea humana mediante zonas de isocurvatura con el mismo color como se observa en Figura 7. El astigmatismo corneal se indica con la direccin de los ejes principales del toroide que mejor se ajusta a la superficie corneal.

a2i ( )

a2i ( a2i (

) ) a 2i (
0 0

/ 2) )

a2i (

sin
(29)

si 0 /2. Reemplazando (29) en (28) se obtiene la expresin:

za ( )
i 1

( a 2i ( 0 )

a 2i (

/ 2)

a 2i ( 0 )

sin )r 2i
(30)

as, la geometra de la seccin del toroide se reduce a la variacin armnica de la geometra de la seccin que contiene el meridiano mas plano. Como normalmente las corneas se aplanan hacia la periferia, los coeficientes disminuyen cuando i aumenta; y tambin cuando varan armnicamente, aumentan cuando aumenta. Si el astigmatismo es irregular con ejes no ortogonales, pero con secciones con geometras de revolucin, la geometra de la superficie trica que mejor se ajusta puede ser especificada con una variacin elptica de la armona, para un ngulo entre ejes principales, usando la funcin sine :

Fig. 7. Topografa corneal computarizada de la crnea humana con alto astigmatismo corneal regular, el ms comn en la prctica clnica. Para la regresin estadstica se usa principalmente la curvatura sagital. Donde por tcnicas de regresin y correlacin se puede formular la superficie corneal con la geometra del toroide que mejor se ajusta a la regresin de la superficie corneal puede ser especificada relativamente con relacin al ngulo del eje principal 0 = Axis para un astigmatismo regular con

za ( )
i 1

( a 2i ( 0 )

a 2i (

/ 2)

a2i ( 0 )

sine )r 2i
(31)

za ( )

a2 (
i 1

)r 2
0

a4 ( )r 2i

)r 4

...
(28)

a 2i (

y 0 / 2 radianes, para caracterizar con un cuadrante toda la superficie, ya que el resto es simtrico. Considerando una variacin armnica de la superficie trica de revolucin, todos los coeficientes {a2i} pueden ser referenciados con una nica expresin armnica:

Este tipo particular de astigmatismo no es muy comn en la prctica clnica, sin embargo se hallan casos asociados a keratoconos. Actualmente no se fabrican lentes tricos para solucionar el error refractivo que genera el astigmatismo irregular simtrico y centrado con ejes no ortogonales. Estos lentes podran fabricarse usando las modernas tcnicas de fresado y erosionado de penetracin CNC.

4.2

Aplicacin Estadstica.

La funcin estandarizada cose tiene practicas aplicaciones estadsticas con la gran ventaja de ser una funcin continua de probabilidad finita que se ajusta mejor a los valores reales de la naturaleza que las funciones de distribucin infinitas como la curva

normal y las distribuciones t-Student, ya que son unimodales y pueden estar sesgadas a la derecha o a la izquierda con el parmetro . A continuacin se presenta la formulacin para la distribucin de probabilidad estandarizada con algunas de sus propiedades: Sea cose x, con -/2 x /2 una distribucin de probabilidad para cierto valor de e, as,
/2

f(x)

2(1 e 2 ) cos x 2 e 2 e 2 cos ( 2 x )

(36)

0,3108422634cos x 1,155421132 0,8445788683cos ( 2 x )

Donde la funcin generadora de momentos para la distribucin simtrica corresponde a:
/2

cose x dx 1
/2

(32)

Reemplazando (24) en (32)

/2

M (t )
2

x t f ( x) dx
/2
(1)

(37)

/2

e cos(2( e 2 cos(2( x

)) e 2 sin( x )) e 2 2 sin

dx 1
(33)

donde verificar que la media M varianza

= x =0 y la

M(2) =

0,23875137 . 94

la cual es vlida para un nico valor de e si se predetermina que corresponde al ngulo modal. Siendo de mayor utilidad prctica la distribucin de probabilidad simtrica con = /2, la excentricidad converge en el numero trascendental

Si la excentricidad no est estandarizada, la varianza tiene como dominio 0 2 2/2 - 4. En la Figura 7 se presenta la funcin de probabilidad acumulada sin la excentricidad estandarizada.

e = 0,9190097215604317
para obtener la funcin de probabilidad estandarizada que satisface:
/2

sin 1 e tan P( x ) sin e tan

1

e sin x 1 e2 e 1 e2
(38)

2(1 e ) cos x dx 2 e 2 e 2 cos ( 2 x ) /2

2 1 e sin e e

(34) Como la funcin (34) no tiene solucin analtica, la solucin para la excentricidad e es trascendental y se obtiene el valor mediante aproximacin por series de

2 1 e 2 sin 1 e e 2 1 e2 e ( n 1 / 2) e 2 n 1 1) (n) 1 ( 2n
de

(35)

1
de Fig. 7. Representacin tridimensional de la funcin de probabilidad acumulada para todas las excentricidades calculada con la expresin (38).

Para obtener la funcin probabilidad estandarizada

distribucin

5. CONCLUSIONES. Se espera que estas simples funciones permitan mejorar la calidad de nuestras vidas, mejorando en especial la salud visual y simplificando los modelos estadsticos. BIBLIOGRAFIA. Kincaid, D., Cheney, W. (1994). Anlisis Numrico: Las Matemticas del clculo cientfico. AddisonWesley Iberoamericana. Valencia E., Juan C y Bedoya C., lvaro H. (2009). Regresin y correlacin de superficies pticas de revolucin en forma cannica: Conocidos los radios de curvatura. Revista EIA ( En proceso.).