Articulo de referencia

Curva paralela

Dos definiciones de una curva paralela: 1) envolvente de una familia de círculos congruentes, 2) por una distancia normal fija. Una curva paralela a una curva dada (progenitora)...

Dos definiciones de una curva paralela: 1) envolvente de una familia de círculos congruentes, 2) por una distancia normal fija.

Una curva paralela a una curva dada (progenitora) es la envolvente de una familia de círculos congruentes (de igual radio) centrados en la curva. Generaliza el concepto de líneas paralelas (rectas) . También puede definirse como una curva cuyos puntos se encuentran a una distancia normal constante de una curva dada. [ 1 ] Estas dos definiciones no son del todo equivalentes, ya que la segunda presupone suavidad , mientras que la primera no. [ 2 ]

En el diseño asistido por computadora, el término preferido para una curva paralela es curva de desplazamiento . [ 2 ] [ 3 ] [ 4 ] (En otros contextos geométricos, el término "desplazamiento" también puede referirse a una traslación ; sin embargo, una curva paralela puede tener una forma diferente a la de su precursora. [ 5 ] ) Las curvas de desplazamiento son importantes, por ejemplo, en el mecanizado de control numérico (NC) , donde describen, por ejemplo, la forma del corte realizado por una herramienta de corte redonda de una máquina de dos ejes. La forma del corte está desplazada de la trayectoria de la herramienta de corte por una distancia constante en la dirección normal a la trayectoria de la herramienta de corte en cada punto. [ 6 ]

En el ámbito de los gráficos por computadora 2D conocidos como gráficos vectoriales , el cálculo (aproximado) de curvas paralelas está involucrado en una de las operaciones de dibujo fundamentales, llamada trazado, que se aplica típicamente a polilíneas o polibéziers (que a su vez se denominan trayectorias) en ese campo. [ 7 ]

Curvas paralelas de la gráfica dey=1.5pecado(incógnita){\displaystyle y=1.5\sin(x)}(en rojo) para distanciasd=0,25,,1.5{\displaystyle d=0.25,\dots ,1.5}

Excepto en el caso de una línea o un círculo , las curvas paralelas tienen una estructura matemática más compleja que la curva original. [ 1 ] Por ejemplo, incluso si la curva original es suave , sus desplazamientos pueden no serlo; esta propiedad se ilustra en la figura superior, utilizando una curva sinusoidal como curva original. [ 2 ] En general, incluso si una curva es racional , sus desplazamientos pueden no serlo. Por ejemplo, los desplazamientos de una parábola son curvas racionales, pero los desplazamientos de una elipse o de una hipérbola no lo son, aunque estas curvas originales sí lo sean. [ 3 ]

La noción también se generaliza a superficies 3D , donde se denomina superficie de desplazamiento o superficie paralela . [ 8 ] El aumento de un volumen sólido mediante un desplazamiento de distancia (constante) se denomina a veces dilatación (similar a la operación de imagen de dilatación ). [ 9 ] La operación opuesta se denomina a veces vaciado . [ 8 ] Las superficies de desplazamiento son importantes en NC, donde describen la forma del corte realizado por una fresa de punta esférica de una máquina de tres ejes. [ 10 ] Otras formas de brocas de corte pueden modelarse matemáticamente mediante superficies de desplazamiento generales. [ 11 ]

Curva paralela de una curva dada paramétricamente

Si existe una representación paramétrica regularincógnita=(incógnita(t),y(t)){\displaystyle {\vec {x}}=(x(t),y(t))}de la curva dada disponible, la segunda definición de una curva paralela (véase arriba) conduce a la siguiente representación paramétrica de la curva paralela con distancia|d|{\displaystyle |d|}:

incógnitad(t)=incógnita(t)+dnorte(t){\displaystyle {\vec {x}}_{d}(t)={\vec {x}}(t)+d{\vec {n}}(t)}con la unidad normalnorte(t){\displaystyle {\vec {n}}(t)}.

En coordenadas cartesianas:

incógnitad(t)=incógnita(t)+dy(t)incógnita(t)2+y(t)2{\displaystyle x_{d}(t)=x(t)+{\frac {d\;y'(t)}{\sqrt {x'(t)^{2}+y'(t)^{2}}}}}
yd(t)=y(t)dincógnita(t)incógnita(t)2+y(t)2 .{\displaystyle y_{d}(t)=y(t)-{\frac {d\;x'(t)}{\sqrt {x'(t)^{2}+y'(t)^{2}}}}\ .}

El parámetro de distanciad{\displaystyle d}Puede ser negativo. En este caso, se obtiene una curva paralela en el lado opuesto de la curva (véase el diagrama de las curvas paralelas de un círculo). Es fácil comprobar que una curva paralela de una línea es una línea paralela en el sentido común, y que la curva paralela de un círculo es un círculo concéntrico.

Propiedades geométricas

Fuente: [ 12 ]

  • incógnitad(t)incógnita(t),{\displaystyle {\vec {x}}'_{d}(t)\parallel {\vec {x}}'(t),\quad }Eso significa que los vectores tangentes para un parámetro fijo son paralelos.
  • kd(t)=k(t)1+dk(t),{\displaystyle k_{d}(t)={\frac {k(t)}{1+dk(t)}},\quad }conk(t){\displaystyle k(t)}la curvatura de la curva dada ykd(t){\displaystyle k_{d}(t)}la curvatura de la curva paralela para el parámetrot{\displaystyle t}.
  • Rd(t)=R(t)+d,{\displaystyle R_{d}(t)=R(t)+d,\quad }conR(t){\displaystyle R(t)}el radio de curvatura de la curva dada yRd(t){\displaystyle R_{d}(t)}el radio de curvatura de la curva paralela para el parámetrot{\displaystyle t}.
  • Cuando existen, los círculos osculadores a curvas paralelas en puntos correspondientes son concéntricos. [ 13 ]
  • En cuanto a las líneas paralelas , una línea normal a una curva también es normal a sus paralelas.
  • Cuando se construyen curvas paralelas, estas tendrán cúspides cuando la distancia a la curva coincida con el radio de curvatura . Estos son los puntos donde la curva toca la evoluta .
  • Si la curva progenitora es el límite de un conjunto plano y su curva paralela no tiene autointersecciones, entonces esta última es el límite de la suma de Minkowski del conjunto plano y el disco del radio dado.

Si la curva dada es polinómica (lo que significa queincógnita(t){\displaystyle x(t)}yy(t){\displaystyle y(t)}Si las curvas paralelas son polinómicas, entonces generalmente no lo son. En el ámbito del CAD, esto representa una desventaja, ya que los sistemas CAD utilizan polinomios o curvas racionales. Para obtener al menos curvas racionales, la raíz cuadrada de la representación de la curva paralela debe ser resoluble. Dichas curvas se denominan hodógrafos pitagóricos y fueron investigadas por RT Farouki. [ 14 ]

Curvas paralelas de una curva implícita

Curvas paralelas de la curva implícita (roja) con ecuaciónincógnita4+y41=0{\displaystyle x^{4}+y^{4}-1=0}

No todas las curvas implícitas tienen curvas paralelas con representaciones analíticas, pero esto es posible en algunos casos especiales. Por ejemplo, las curvas del hodógrafo pitagórico son curvas racionales con curvas paralelas racionales, que pueden convertirse en representaciones implícitas. Otra clase de curvas racionales implícitas con curvas paralelas racionales son las parábolas . [ 15 ] Para los casos más simples de líneas y círculos, las curvas paralelas pueden describirse fácilmente. Por ejemplo:

LíneaF(incógnita,y)=incógnita+y1=0{\displaystyle \;f(x,y)=x+y-1=0\;}→ función de distancia:h(incógnita,y)=incógnita+y12=d{\displaystyle \;h(x,y)={\frac {x+y-1}{\sqrt {2}}}=d\;}(Forma normal de Hesse)
CírculoF(incógnita,y)=incógnita2+y21=0{\displaystyle \;f(x,y)=x^{2}+y^{2}-1=0\;}→ función de distancia:h(incógnita,y)=incógnita2+y21=d.{\displaystyle \;h(x,y)={\sqrt {x^{2}+y^{2}}}-1=d\;.}

En general, suponiendo ciertas condiciones, se puede demostrar la existencia de una función de distancia orientada.h(incógnita,y){\displaystyle h(x,y)}En la práctica hay que tratarlo numéricamente. [ 16 ] Considerando curvas paralelas, se cumple lo siguiente:

  • La curva paralela para la distancia d es el conjunto de nivel.h(incógnita,y)=d{\displaystyle h(x,y)=d}de la función de distancia orientada correspondienteh{\displaystyle h}.

Propiedades de la función de distancia

Fuente: [ 12 ] [ 17 ]

  • |graduadoh(incógnita)|=1,{\displaystyle |\operatorname {grad} h({\vec {x}})|=1\;,}
  • h(incógnita+dgraduadoh(incógnita))=h(incógnita)+d,{\displaystyle h({\vec {x}}+d\operatorname {grad} h({\vec {x}}))=h({\vec {x}})+d\;,}
  • graduadoh(incógnita+dgraduadoh(incógnita))=graduadoh(incógnita).{\displaystyle \operatorname {grad} h({\vec {x}}+d\operatorname {grad} h({\vec {x}}))=\operatorname {grad} h({\vec {x}})\;.}

Ejemplo: El diagrama muestra curvas paralelas de la curva implícita con ecuaciónF(incógnita,y)=incógnita4+y41=0.{\displaystyle \;f(x,y)=x^{4}+y^{4}-1=0\;.}Nota: Las curvasF(incógnita,y)=incógnita4+y41=d{\displaystyle \;f(x,y)=x^{4}+y^{4}-1=d\;}no son curvas paralelas, porque|graduadoF(incógnita,y)|=1{\displaystyle \;|\operatorname {grad} f(x,y)|=1\;}No es cierto en el área de interés.

Otros ejemplos

Involutas de un círculo
  • Las evolventes de una curva dada son un conjunto de curvas paralelas. Por ejemplo: las evolventes de un círculo son espirales paralelas (véase el diagrama).

Y: [ 18 ]

Curva paralela a una curva con una esquina

Curvas paralelas a una curva con una normal discontinua alrededor de una esquina.

Para determinar la trayectoria de corte de una pieza con una esquina afilada , es necesario definir la curva paralela (o de desplazamiento) a una curva dada que presente una normal discontinua en la esquina. Si bien la curva dada no es suave en la esquina afilada, su curva paralela puede ser suave con una normal continua, o puede presentar cúspides cuando la distancia a la curva coincide con el radio de curvatura en la esquina afilada.

Como se describió anteriormente , la representación paramétrica de una curva paralela,incógnitad(t){\displaystyle {\vec {x}}_{d}(t)}, a una curva dada,incógnita(t){\displaystyle {\vec {x}}(t)}, con distancia|d|{\displaystyle |d|}es:

incógnitad(t)=incógnita(t)+dnorte(t){\displaystyle {\vec {x}}_{d}(t)={\vec {x}}(t)+d{\vec {n}}(t)}con la unidad normalnorte(t){\displaystyle {\vec {n}}(t)}.

En una curva cerrada (t=tdo{\displaystyle t=t_{c}}), lo normal aincógnita(tdo){\displaystyle {\vec {x}}(t_{c})}dado pornorte(tdo){\displaystyle {\vec {n}}(t_{c})}es discontinuo, lo que significa que el límite unilateral de la normal desde la izquierdanorte(tdo){\displaystyle {\vec {n}}(t_{c}^{-})}es desigual al límite desde la derechanorte(tdo+){\displaystyle {\vec {n}}(t_{c}^{+})}Matemáticamente,

norte(tdo)=límitettdonorte(t)norte(tdo+)=límitettdo+norte(t){\displaystyle {\vec {n}}(t_{c}^{-})=\lim _{t\to t_{c}^{-}}{\vec {n}}(t)\neq {\vec {n}}(t_{c}^{+})=\lim _{t\to t_{c}^{+}}{\vec {n}}(t)}.
Ventilador normal para definir curvas paralelas alrededor de una esquina pronunciada.

Sin embargo, podemos definir un ventilador normal [ 11 ].norteF(α){\displaystyle {\vec {n}}_{f}(\alpha )}que proporciona un interpolador entrenorte(tdo){\displaystyle {\vec {n}}(t_{c}^{-})}ynorte(tdo+){\displaystyle {\vec {n}}(t_{c}^{+})}y usarnorteF(α){\displaystyle {\vec {n}}_{f}(\alpha )}en lugar denorte(tdo){\displaystyle {\vec {n}}(t_{c})}en la esquina afilada:

norteF(α)=(1α)norte(tdo)+αnorte(tdo+)(1α)norte(tdo)+αnorte(tdo+),{\displaystyle {\vec {n}}_{f}(\alpha )={\frac {(1-\alpha ){\vec {n}}(t_{c}^{-})+\alpha {\vec {n}}(t_{c}^{+})}{\lVert (1-\alpha ){\vec {n}}(t_{c}^{-})+\alpha {\vec {n}}(t_{c}^{+})\rVert }},\quad }dónde0<α<1{\displaystyle 0<\alpha <1}.

La definición resultante de la curva paralelaincógnitad(t){\displaystyle {\vec {x}}_{d}(t)}proporciona el comportamiento deseado:

incógnitad(t)={incógnita(t)+dnorte(t),si t<tdo o t>tdoincógnita(tdo)+dnorteF(α),si t=tdo dónde 0<α<1{\displaystyle {\vec {x}}_{d}(t)={\begin{cases}{\vec {x}}(t)+d{\vec {n}}(t),&{\text{if }}t<t_{c}{\text{ or }}t>t_{c}\\{\vec {x}}(t_{c})+d{\vec {n}}_{f}(\alpha ),&{\text{if }}t=t_{c}{\text{ where }}0<\alpha <1\end{cases}}}

Algoritmos

En general, la curva paralela de una curva de Bézier no es otra curva de Bézier, un resultado demostrado por Tiller y Hanson en 1984. [ 19 ] Por lo tanto, en la práctica, se utilizan técnicas de aproximación. Cualquier nivel de precisión deseado es posible subdividiendo repetidamente la curva, aunque las mejores técnicas requieren menos subdivisiones para alcanzar el mismo nivel de precisión. Un estudio de 1997 realizado por Elber, Lee y Kim [ 20 ] es ampliamente citado, aunque se han propuesto mejores técnicas más recientemente. Una técnica moderna basada en el ajuste de curvas , con referencias y comparaciones con otros algoritmos, así como código fuente JavaScript de código abierto, fue publicada en una entrada de blog [ 21 ] en septiembre de 2022.

Otro algoritmo eficiente para el desplazamiento es el enfoque de nivel descrito por Kimmel y Bruckstein (1993). [ 22 ]

Superficies paralelas (desplazadas)

Superficie desplazada de forma irregular compleja

Las superficies de desplazamiento son importantes en el mecanizado de control numérico , donde describen la forma del corte realizado por una fresa de punta esférica de una fresadora de tres ejes. [ 10 ] Si existe una representación paramétrica regularincógnita(,v)=(incógnita(,v),y(,v),z(,v)){\displaystyle {\vec {x}}(u,v)=(x(u,v),y(u,v),z(u,v))}de la superficie dada disponible, la segunda definición de una curva paralela (ver arriba) se generaliza a la siguiente representación paramétrica de la superficie paralela con distancia|d|{\displaystyle |d|}:

incógnitad(,v)=incógnita(,v)+dnorte(,v){\displaystyle {\vec {x}}_{d}(u,v)={\vec {x}}(u,v)+d{\vec {n}}(u,v)}con la unidad normalnorted(,v)=incógnita×incógnitav|incógnita×incógnitav|{\displaystyle {\vec {n}}_{d}(u,v)={{{\partial {\vec {x}} \over \partial u}\times {\partial {\vec {x}} \over \partial v}} \over {|{{\partial {\vec {x}} \over \partial u}\times {\partial {\vec {x}} \over \partial v}}|}}}.

Parámetro de distanciad{\displaystyle d}También puede ser negativo. En este caso, se obtiene una superficie paralela en el lado opuesto de la superficie (véase un diagrama similar sobre las curvas paralelas de un círculo). Es fácil comprobarlo: una superficie paralela de un plano es un plano paralelo en el sentido común, y la superficie paralela de una esfera es una esfera concéntrica.

Propiedades geométricas

Fuente: [ 23 ]

  • incógnitadincógnita,incógnitadvincógnitav,{\displaystyle {\partial {\vec {x}}_{d} \over \partial u}\parallel {\partial {\vec {x}} \over \partial u},\quad {\partial {\vec {x}}_{d} \over \partial v}\parallel {\partial {\vec {x}} \over \partial v},\quad }Eso significa que los vectores tangentes para parámetros fijos son paralelos.
  • norted(,v)=±norte(,v),{\displaystyle {\vec {n}}_{d}(u,v)=\pm {\vec {n}}(u,v),\quad }Eso significa que los vectores normales para parámetros fijos coinciden en dirección.
  • Sd=(1+dS)1S,{\displaystyle S_{d}=(1+dS)^{-1}S,\quad }dóndeSd{\displaystyle S_{d}}yS{\displaystyle S}son los operadores de forma paraincógnitad{\displaystyle {\vec {x}}_{d}}yincógnita{\displaystyle {\vec {x}}}, respectivamente.
Las curvaturas principales son los valores propios del operador de forma , las direcciones de curvatura principales son sus vectores propios , la curvatura gaussiana es su determinante y la curvatura media es la mitad de su traza .
  • Sd1=S1+dI,{\displaystyle S_{d}^{-1}=S^{-1}+dI,\quad }dóndeSd1{\displaystyle S_{d}^{-1}}yS1{\displaystyle S^{-1}}son los inversos de los operadores de forma paraincógnitad{\displaystyle {\vec {x}}_{d}}yincógnita{\displaystyle {\vec {x}}}, respectivamente.
Los radios principales de curvatura son los valores propios del inverso del operador de forma , las direcciones principales de curvatura son sus vectores propios , el recíproco de la curvatura gaussiana es su determinante y el radio medio de curvatura es la mitad de su traza .

Nótese la similitud con las propiedades geométricas de las curvas paralelas .

Generalizaciones

El problema se generaliza de forma bastante obvia a dimensiones superiores, por ejemplo, a superficies desplazadas, y de forma algo menos trivial a superficies de tuberías . [ 24 ] Nótese que la terminología para las versiones de dimensiones superiores varía aún más que en el caso planar; por ejemplo, otros autores hablan de fibras paralelas, cintas y tubos. [ 25 ] Para curvas incrustadas en superficies 3D, el desplazamiento puede tomarse a lo largo de una geodésica . [ 26 ]

Otra forma de generalizarlo es (incluso en 2D) considerar una distancia variable, por ejemplo, parametrizada por otra curva. [ 23 ] Se puede, por ejemplo, trazar (envolvente) con una elipse en lugar de un círculo [ 23 ] como es posible, por ejemplo, en METAFONT . [ 27 ]

Una envolvente de elipses que forman dos curvas de desplazamiento generales por encima y por debajo de una curva dada.

Más recientemente, Adobe Illustrator ha añadido una función similar en la versión CS5 , aunque los puntos de control para el ancho variable se especifican visualmente. [ 28 ] En contextos donde es importante distinguir entre el desplazamiento de distancia constante y variable, a veces se utilizan los acrónimos CDO y VDO. [ 9 ]

Curvas de desplazamiento generales

Supongamos que tenemos una representación paramétrica regular de una curva,incógnita(t)=(incógnita(t),y(t)){\displaystyle {\vec {x}}(t)=(x(t),y(t))}y tienes una segunda curva que puede ser parametrizada por su normal unitaria,d(norte){\displaystyle {\vec {d}}({\vec {n}})}, donde la normal ded(norte)=norte{\displaystyle {\vec {d}}({\vec {n}})={\vec {n}}}(esta parametrización por normal existe para curvas cuya curvatura es estrictamente positiva o negativa, y por lo tanto convexa, suave y no recta). La representación paramétrica de la curva de desplazamiento general deincógnita(t){\displaystyle {\vec {x}}(t)}compensado pord(norte){\displaystyle {\vec {d}}({\vec {n}})}es:

incógnitad(t)=incógnita(t)+d(norte(t)),{\displaystyle {\vec {x}}_{d}(t)={\vec {x}}(t)+{\vec {d}}({\vec {n}}(t)),\quad }dóndenorte(t){\displaystyle {\vec {n}}(t)}es la unidad normal deincógnita(t){\displaystyle {\vec {x}}(t)}.

Tenga en cuenta que el desplazamiento trivial,d(norte)=dnorte{\displaystyle {\vec {d}}({\vec {n}})=d{\vec {n}}}, te proporciona curvas paralelas ordinarias (también conocidas como curvas desplazadas).

Propiedades geométricas

Fuente: [ 23 ]

  • incógnitad(t)incógnita(t),{\displaystyle {\vec {x}}'_{d}(t)\parallel {\vec {x}}'(t),\quad }Eso significa que los vectores tangentes para un parámetro fijo son paralelos.
  • En cuanto a las líneas paralelas , una normal a una curva también es normal a sus desplazamientos generales.
  • kd(t)=k(t)1+k(t)knorte(t),{\displaystyle k_{d}(t)={\dfrac {k(t)}{1+{\dfrac {k(t)}{k_{n}(t)}}}},\quad }conkd(t){\displaystyle k_{d}(t)}la curvatura de la curva de desplazamiento general,k(t){\displaystyle k(t)}la curvatura deincógnita(t){\displaystyle {\vec {x}}(t)}, yknorte(t){\displaystyle k_{n}(t)}la curvatura ded(norte(t)){\displaystyle {\vec {d}}({\vec {n}}(t))}para el parámetrot{\displaystyle t}.
  • Rd(t)=R(t)+Rnorte(t),{\displaystyle R_{d}(t)=R(t)+R_{n}(t),\quad }conRd(t){\displaystyle R_{d}(t)}el radio de curvatura de la curva de desplazamiento general,R(t){\displaystyle R(t)}el radio de curvatura deincógnita(t){\displaystyle {\vec {x}}(t)}, yRnorte(t){\displaystyle R_{n}(t)}el radio de curvatura ded(norte(t)){\displaystyle {\vec {d}}({\vec {n}}(t))}para el parámetrot{\displaystyle t}.
  • Cuando se construyen curvas de desplazamiento generales, estas tendrán cúspides cuando la curvatura de la curva coincida con la curvatura del desplazamiento. Estos son los puntos donde la curva toca la evoluta .

Superficies de desplazamiento general

Las superficies de desplazamiento general describen la forma de los cortes realizados por una variedad de brocas de corte utilizadas por fresas de extremo de tres ejes en el mecanizado de control numérico . [ 11 ] Suponga que tiene una representación paramétrica regular de una superficie,incógnita(,v)=(incógnita(,v),y(,v),z(,v)){\displaystyle {\vec {x}}(u,v)=(x(u,v),y(u,v),z(u,v))}y tienes una segunda superficie que puede ser parametrizada por su normal unitaria,d(norte){\displaystyle {\vec {d}}({\vec {n}})}, donde la normal ded(norte)=norte{\displaystyle {\vec {d}}({\vec {n}})={\vec {n}}}(esta parametrización por normal existe para superficies cuya curvatura gaussiana es estrictamente positiva y, por lo tanto, convexa, suave y no plana). La representación paramétrica de la superficie de desplazamiento general deincógnita(t){\displaystyle {\vec {x}}(t)}compensado pord(norte){\displaystyle {\vec {d}}({\vec {n}})}es:

incógnitad(,v)=incógnita(,v)+d(norte(,v)),{\displaystyle {\vec {x}}_{d}(u,v)={\vec {x}}(u,v)+{\vec {d}}({\vec {n}}(u,v)),\quad }dóndenorte(,v){\displaystyle {\vec {n}}(u,v)}es la unidad normal deincógnita(,v){\displaystyle {\vec {x}}(u,v)}.

Tenga en cuenta que el desplazamiento trivial,d(norte)=dnorte{\displaystyle {\vec {d}}({\vec {n}})=d{\vec {n}}}, te proporciona superficies paralelas ordinarias (también conocidas como superficies desplazadas).

Propiedades geométricas

Fuente: [ 23 ]

  • En cuanto a las líneas paralelas , el plano tangente de una superficie es paralelo al plano tangente de sus desplazamientos generales.
  • En cuanto a las líneas paralelas , una normal a una superficie también es normal a sus desplazamientos generales.
  • Sd=(1+SSnorte1)1S,{\displaystyle S_{d}=(1+SS_{n}^{-1})^{-1}S,\quad }dóndeSd,S,{\displaystyle S_{d},S,}ySnorte{\displaystyle S_{n}}son los operadores de forma paraincógnitad,incógnita,{\displaystyle {\vec {x}}_{d},{\vec {x}},}yd(norte){\displaystyle {\vec {d}}({\vec {n}})}, respectivamente.
Las curvaturas principales son los valores propios del operador de forma , las direcciones de curvatura principales son sus vectores propios , la curvatura gaussiana es su determinante y la curvatura media es la mitad de su traza .
  • Sd1=S1+Snorte1,{\displaystyle S_{d}^{-1}=S^{-1}+S_{n}^{-1},\quad }dóndeSd1,S1{\displaystyle S_{d}^{-1},S^{-1}}ySnorte1{\displaystyle S_{n}^{-1}}son los inversos de los operadores de forma paraincógnitad,incógnita,{\displaystyle {\vec {x}}_{d},{\vec {x}},}yd(norte){\displaystyle {\vec {d}}({\vec {n}})}, respectivamente.
Los radios principales de curvatura son los valores propios del inverso del operador de forma , las direcciones principales de curvatura son sus vectores propios , el recíproco de la curvatura gaussiana es su determinante y el radio medio de curvatura es la mitad de su traza .

Nótese la similitud con las propiedades geométricas de las curvas de desplazamiento generales .

Derivación de propiedades geométricas para desplazamientos generales

Las propiedades geométricas enumeradas anteriormente para curvas y superficies de desplazamiento generales se pueden derivar para desplazamientos de dimensión arbitraria. Suponga que tiene una representación paramétrica regular de una superficie n-dimensional,incógnita(){\displaystyle {\vec {x}}({\vec {u}})}, donde la dimensión de{\displaystyle {\vec {u}}}es n-1. Suponga también que tiene una segunda superficie n-dimensional que puede ser parametrizada por su normal unitaria,d(norte){\displaystyle {\vec {d}}({\vec {n}})}, donde la normal ded(norte)=norte{\displaystyle {\vec {d}}({\vec {n}})={\vec {n}}}(esta parametrización por normal existe para superficies cuya curvatura gaussiana es estrictamente positiva y, por lo tanto, convexa, suave y no plana). La representación paramétrica de la superficie de desplazamiento general deincógnita(){\displaystyle {\vec {x}}({\vec {u}})}compensado pord(norte){\displaystyle {\vec {d}}({\vec {n}})}es:

incógnitad()=incógnita()+d(norte()),{\displaystyle {\vec {x}}_{d}({\vec {u}})={\vec {x}}({\vec {u}})+{\vec {d}}({\vec {n}}({\vec {u}})),\quad }dóndenorte(){\displaystyle {\vec {n}}({\vec {u}})}es la unidad normal deincógnita(){\displaystyle {\vec {x}}({\vec {u}})}. (El desplazamiento trivial,d(norte)=dnorte{\displaystyle {\vec {d}}({\vec {n}})=d{\vec {n}}}(Te da superficies paralelas ordinarias.)

Primero, observe que la normal deincógnita()={\displaystyle {\vec {x}}({\vec {u}})=}la normalidad ded(norte())=norte(),{\displaystyle {\vec {d}}({\vec {n}}({\vec {u}}))={\vec {n}}({\vec {u}}),}por definición. Ahora, aplicaremos el diferencial con respecto a{\displaystyle {\vec {u}}}aincógnitad{\displaystyle {\vec {x}}_{d}}, lo que nos da sus vectores tangentes que abarcan su plano tangente.

incógnitad()=incógnita()+d(norte()){\displaystyle \partial {\vec {x}}_{d}({\vec {u}})=\partial {\vec {x}}({\vec {u}})+\partial {\vec {d}}({\vec {n}}({\vec {u}}))}

Observe los vectores tangentes paraincógnitad{\displaystyle {\vec {x}}_{d}}son la suma de vectores tangentes paraincógnita(){\displaystyle {\vec {x}}({\vec {u}})}y su compensaciónd(norte){\displaystyle {\vec {d}}({\vec {n}})}, que comparten la misma normal unitaria. Por lo tanto, la superficie de desplazamiento general comparte el mismo plano tangente y normal conincógnita(){\displaystyle {\vec {x}}({\vec {u}})}yd(norte()){\displaystyle {\vec {d}}({\vec {n}}({\vec {u}}))}Eso concuerda con la naturaleza de los sobres.

Ahora consideramos las ecuaciones de Weingarten para el operador de forma , que se pueden escribir comonorte=incógnitaS{\displaystyle \partial {\vec {n}}=-\partial {\vec {x}}S}. SiS{\displaystyle S}es reversible,incógnita=norteS1{\displaystyle \partial {\vec {x}}=-\partial {\vec {n}}S^{-1}}Recordemos que las curvaturas principales de una superficie son los autovalores del operador de forma, las direcciones de curvatura principales son sus autovectores , la curvatura de Gauss es su determinante y la curvatura media es la mitad de su traza . El inverso del operador de forma conserva estos mismos valores para los radios de curvatura.

Sustituyendo en la ecuación para la diferencial deincógnitad{\displaystyle {\vec {x}}_{d}}, obtenemos:

incógnitad=incógnitanorteSnorte1,{\displaystyle \partial {\vec {x}}_{d}=\partial {\vec {x}}-\partial {\vec {n}}S_{n}^{-1},\quad }dóndeSnorte{\displaystyle S_{n}}es el operador de forma parad(norte()){\displaystyle {\vec {d}}({\vec {n}}({\vec {u}}))}.

A continuación, volvemos a usar las ecuaciones de Weingarten para reemplazarnorte{\displaystyle \partial {\vec {n}}}:

incógnitad=incógnita+incógnitaSSnorte1,{\displaystyle \partial {\vec {x}}_{d}=\partial {\vec {x}}+\partial {\vec {x}}SS_{n}^{-1},\quad }dóndeS{\displaystyle S}es el operador de forma paraincógnita(){\displaystyle {\vec {x}}({\vec {u}})}.

Luego, resolvemos paraincógnita{\displaystyle \partial {\vec {x}}}y múltiples ambos lados porS{\displaystyle -S}para volver a las ecuaciones de Weingarten , esta vez paraincógnitad{\displaystyle \partial {\vec {x}}_{d}}:

incógnitad(I+SSnorte1)1=incógnita,{\displaystyle \partial {\vec {x}}_{d}(I+SS_{n}^{-1})^{-1}=\partial {\vec {x}},}
incógnitad(I+SSnorte1)1S=incógnitaS=norte.{\displaystyle -\partial {\vec {x}}_{d}(I+SS_{n}^{-1})^{-1}S=-\partial {\vec {x}}S=\partial {\vec {n}}.}

De este modo,Sd=(I+SSnorte1)1S{\displaystyle S_{d}=(I+SS_{n}^{-1})^{-1}S}y al invertir ambos lados obtenemos,Sd1=S1+Snorte1{\displaystyle S_{d}^{-1}=S^{-1}+S_{n}^{-1}}.

Véase también

Referencias

  1. 1 2 Willson, Frederick Newton (1898). Gráficos teóricos y prácticos . Macmillan. pág . 66. ISBN  978-1-113-74312-1.{{cite book}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  2. 1 2 3 Devadoss, Satyan L. ; O'Rourke, Joseph (2011). Geometría discreta y computacional . Princeton University Press. pp. 128– 129. ISBN  978-1-4008-3898-1.
  3. 1 2 Sendra, J. Rafael; Winkler, Franz; Pérez Díaz, Sonia (2007). Curvas algebraicas racionales: un enfoque de álgebra computacional . Springer Science & Business Media. pág. 10. ISBN  978-3-540-73724-7.
  4. Agoston, Max K. (2005). Gráficos por computadora y modelado geométrico: matemáticas . Springer Science & Business Media. pág. 586. ISBN  978-1-85233-817-6.
  5. Vince, John (2006). Geometría para gráficos por computadora: fórmulas, ejemplos y demostraciones . Springer Science & Business Media. pág. 293. ISBN  978-1-84628-116-7.
  6. Marsh, Duncan (2006). Geometría aplicada para gráficos por computadora y CAD (2.ª ed.). Springer Science & Business Media. pág. 107. ISBN   978-1-84628-109-9.
  7. Mark Kilgard (10 de abril de 2012). "CS 354 Gráficos vectoriales y renderizado de rutas" . www.slideshare.net . pág. 28. 
  8. 1 2 Agoston, Max K. (2005). Gráficos por computadora y modelado geométrico . Springer Science & Business Media. págs. 638–645 . ISBN  978-1-85233-818-3.
  9. 1 2 http://www.cc.gatech.edu/~jarek/papers/localVolume.pdf , pág. 3
  10. 1 2 Faux, ID; Pratt, Michael J. (1979). Geometría computacional para el diseño y la fabricación . Halsted Press. ISBN 978-0-47026-473-7OCLC 4859052 
  11. 1 2 3 Brechner, Eric (1990). Envolventes y trayectorias de herramientas para fresado frontal de tres ejes (PhD). Instituto Politécnico Rensselaer.
  12. 1 2 E. Hartmann: Geometría y algoritmos para el diseño asistido por computadora. Pág. 30.
  13. Fiona O'Neill: Curvas de Bertrand planas (¡con imágenes!). Archivado el 11 de octubre de 2022 en Wayback Machine.
  14. Rida T. Farouki: Curvas pitagóricas-hodográficas: álgebra y geometría inseparables (geometría e informática). Springer, 2008, ISBN 978-3-540-73397-3.
  15. Farouki 2008 , págs. 216–217, 448.
  16. E. Hartmann: Geometría y algoritmos para el diseño asistido por ordenador. Págs. 81, 30, 41, 44.
  17. Thorpe, John A. (27 de octubre de 1994). Temas elementales de geometría diferencial . Nueva York Heidelberg: Springer Science & Business Media. ISBN 0-387-90357-7.
  18. http://faculty.engineering.ucdavis.edu/farouki/wp-content/uploads/sites/41/2013/02/Introduction-to-PH-curves.pdf Archivado el 5 de junio de 2015 en Wayback Machine , pág. 16 "taxonomía de curvas de desplazamiento"
  19. Tiller, Wayne; Hanson, Eric (1984). "Offsets of Two-Dimensional Profiles". IEEE Computer Graphics and Applications . 4 (9): 36– 46. doi : 10.1109/mcg.1984.275995 . S2CID 9046817 . 
  20. Elber, Gershon; Lee, In-Kwon; Kim, Myung-Soo (mayo-junio de 1997). "Comparación de métodos de aproximación de curvas de desplazamiento". IEEE Computer Graphics and Applications . 17 (3): 62–71 . doi : 10.1109/38.586019 .
  21. Levien, Raph (9 de septiembre de 2022). "Curvas paralelas de Béziers cúbicas" . Consultado el 9 de septiembre de 2022 .
  22. Kimmel, R.; Bruckstein, AM (1993). "Shape offsets via level sets" (PDF) . Computer-Aided Design . 25 (3). Elsevier BV: 154–162 . doi : 10.1016/0010-4485(93)90040-u . ISSN 0010-4485 . S2CID 8434463 .  
  23. 1 2 3 4 5 Brechner, Eric L. (1992). "5. Curvas y superficies de desplazamiento general". En Barnhill, Robert E. (ed.). Procesamiento geométrico para diseño y fabricación . SIAM. págs. 101–. ISBN  978-0-89871-280-3.
  24. Pottmann, Helmut; Wallner, Johannes (2001). Geometría computacional de líneas . Springer Science & Business Media. pp. 303–304 . ISBN  978-3-540-42058-3.
  25. Chirikjian, Gregory S. (2009). Modelos estocásticos, teoría de la información y grupos de Lie, volumen 1: resultados clásicos y métodos geométricos . Springer Science & Business Media. págs. 171–175 . ISBN  978-0-8176-4803-9.
  26. Sarfraz, Muhammad, ed. (2003). Avances en modelado geométrico . Wiley. p. 72. ISBN  978-0-470-85937-7.
  27. Kinch, Richard J. (1995). "MetaFog: Conversión de formas METAFONT a contornos" (PDF) . TUGboat . 16 (3): 233– 243.
  28. http://design.tutsplus.com/tutorials/illustrator-cs5-variable-width-stroke-tool-perfect-for-making-tribal-designs--vector-4346 Aplicación de la versión generalizada en Adobe Illustrator CS5 (también vídeo )
  • Josef Hoschek: Curvas desplazadas en el plano. En: CAD. 17 (1985), págs. 77–81.
  • Takashi Maekawa: Una visión general de las curvas y superficies desplazadas. En: CAD. 31 (1999), págs. 165–173.

Lecturas adicionales

  • Farouki, RT; Neff, CA (1990). "Propiedades analíticas de curvas de desplazamiento plano". Diseño geométrico asistido por computadora . 7 ( 1– 4): 83– 99. doi : 10.1016/0167-8396(90)90023-K .
  • Piegl, Les A. (1999). "Cálculo de desplazamientos de curvas y superficies NURBS". Diseño asistido por computadora . 31 (2): 147– 156. CiteSeerX 10.1.1.360.2793 . doi : 10.1016/S0010-4485(98)00066-9 . 
  • Porteous, Ian R. (2001). Diferenciación geométrica: Para la inteligencia de curvas y superficies (2.ª  ed.). Cambridge University Press. pp. 1–25 . ISBN  978-0-521-00264-6.
  • Patrikalakis, Nicholas M.; Maekawa, Takashi (2010) [2002]. Interrogación de formas para diseño y fabricación asistidos por ordenador . Springer Science & Business Media. Capítulo 11. Curvas y superficies desplazadas. ISBN 978-3-642-04074-0.Versión online gratuita .
  • Anton, François; Emiris, Ioannis Z.; Mourrain, Bernard; Teillaud, Monique (mayo de 2005). «El conjunto O aplicado a una curva algebraica y su aplicación a las cónicas». Conferencia Internacional sobre Ciencia Computacional y sus Aplicaciones . Singapur: Springer Verlag. pp. 683–696 . 
  • Farouki, Rida T. (2008). Curvas pitagóricas-hodográficas: álgebra y geometría inseparables . Springer Science & Business Media. pp. 141–178 . ISBN  978-3-540-73397-3.Las páginas que se enumeran corresponden al material general e introductorio.
  • Au, CK; Ma, Y.-S. (2013). «Cálculo de curvas de desplazamiento mediante una función de distancia: abordando un desafío clave en la generación de trayectorias de herramientas de corte». En Ma, Y.-S. (ed.). Modelado semántico e interoperabilidad en ingeniería de productos y procesos: una tecnología para la informática de la ingeniería . Springer Science & Business Media. pp. 259–273 . ISBN  978-1-4471-5073-2.
  • Curvas paralelas en MathWorld
  • Diccionario visual de curvas planas Xah Lee