Superficie implícita - Implicit surface

Toro de superficie implícito (R = 40, a = 15).

Superficie implícita del género 2.

Superficie no algebraica implícita ( copa de vino ).

En matemáticas , una superficie implícita es una superficie en el espacio euclidiano definida por una ecuación

${\ Displaystyle F (x, y, z) = 0.}$

Una superficie implícita es el conjunto de ceros de una función de tres variables. Implícitos medios que la ecuación no se resuelve para x o y o z .

La gráfica de una función generalmente se describe mediante una ecuación y se llama representación explícita . La tercera descripción esencial de una superficie es la paramétrica :, donde las coordenadas x , y y z de los puntos de la superficie están representadas por tres funciones que dependen de parámetros comunes . Generalmente el cambio de representaciones es simple solo cuando se da la representación explícita : (implícita), (paramétrica). ${\ Displaystyle z = f (x, y)}$${\ Displaystyle (x (s, t), y (s, t), z (s, t))}$${\ Displaystyle x (s, t) \ ,, y (s, t) \ ,, z (s, t)}$${\ Displaystyle s, t}$${\ Displaystyle z = f (x, y)}$${\ Displaystyle zf (x, y) = 0}$${\ Displaystyle (s, t, f (s, t))}$

Ejemplos :

1. plano ${\ Displaystyle x + 2y-3z + 1 = 0.}$
2. esfera ${\ Displaystyle x ^ {2} + y ^ {2} + z ^ {2} -4 = 0.}$
3. toro ${\ Displaystyle (x ^ {2} + y ^ {2} + z ^ {2} + R ^ {2} -a ^ {2}) ^ {2} -4R ^ {2} (x ^ {2} + y ^ {2}) = 0.}$
4. Superficie del género 2: (ver diagrama). ${\ Displaystyle 2y (y ^ {2} -3x ^ {2}) (1-z ^ {2}) + (x ^ {2} + y ^ {2}) ^ {2} - (9z ^ {2 } -1) (1-z ^ {2}) = 0}$
5. Superficie de revolución (ver diagrama copa de vino ). ${\ Displaystyle x ^ {2} + y ^ {2} - (\ ln (z + 3.2)) ^ {2} -0.02 = 0}$

Para un plano, una esfera y un toro existen representaciones paramétricas simples. Esto no es cierto para el cuarto ejemplo.

El teorema de la función implícita describe las condiciones bajo las cuales se puede resolver una ecuación (al menos implícitamente) para x , y o z . Pero, en general, la solución puede no ser explícita. Este teorema es la clave para el cálculo de las características geométricas esenciales de una superficie: planos tangentes , normales de superficie , curvaturas (ver más abajo). Pero tienen un inconveniente fundamental: su visualización es difícil. ${\ Displaystyle F (x, y, z) = 0}$

Si es polinomio en x , y y z , la superficie se llama algebraica . El ejemplo 5 no es algebraico. ${\ Displaystyle F (x, y, z)}$

A pesar de la dificultad de visualización, las superficies implícitas proporcionan técnicas relativamente simples para generar superficies interesantes teóricamente (por ejemplo, superficie Steiner ) y prácticamente (ver más abajo).

Fórmulas

A lo largo de las siguientes consideraciones, la superficie implícita está representada por una ecuación donde la función cumple las condiciones necesarias de diferenciabilidad. Las derivadas parciales de son . ${\ Displaystyle F (x, y, z) = 0}$${\ displaystyle F}$${\ displaystyle F}$${\ Displaystyle F_ {x}, F_ {y}, F_ {z}, F_ {xx}, \ ldots}$

Plano tangente y vector normal

Un punto de superficie se llama regular si y solo si el gradiente de at no es el vector cero , lo que significa ${\ Displaystyle (x_ {0}, y_ {0}, z_ {0})}$ ${\ displaystyle F}$${\ Displaystyle (x_ {0}, y_ {0}, z_ {0})}$${\ displaystyle (0,0,0)}$

${\ Displaystyle (F_ {x} (x_ {0}, y_ {0}, z_ {0}), F_ {y} (x_ {0}, y_ {0}, z_ {0}), F_ {z} (x_ {0}, y_ {0}, z_ {0})) \ neq (0,0,0)}$ .

Si el punto de la superficie no es regular, se llama singular . ${\ Displaystyle (x_ {0}, y_ {0}, z_ {0})}$

La ecuación del plano tangente en un punto regular es ${\ Displaystyle (x_ {0}, y_ {0}, z_ {0})}$

${\ Displaystyle F_ {x} (x_ {0}, y_ {0}, z_ {0}) (x-x_ {0}) + F_ {y} (x_ {0}, y_ {0}, z_ {0 }) (y-y_ {0}) + F_ {z} (x_ {0}, y_ {0}, z_ {0}) (z-z_ {0}) = 0,}$

y un vector normal es

${\ Displaystyle \ mathbf {n} (x_ {0}, y_ {0}, z_ {0}) = (F_ {x} (x_ {0}, y_ {0}, z_ {0}), F_ {y } (x_ {0}, y_ {0}, z_ {0}), F_ {z} (x_ {0}, y_ {0}, z_ {0})) ^ {T}.}$

Curvatura normal

Para mantener la fórmula simple, se omiten los argumentos : ${\ Displaystyle (x_ {0}, y_ {0}, z_ {0})}$

${\ Displaystyle \ kappa _ {n} = {\ frac {\ mathbf {v} ^ {\ top} H_ {F} \ mathbf {v}} {\ | \ operatorname {grad} F \ |}}}$

es la curvatura normal de la superficie en un punto regular para la unidad de dirección tangente . es la matriz hessiana de (matriz de las segundas derivadas). ${\ Displaystyle \ mathbf {v}}$${\ Displaystyle H_ {F}}$${\ displaystyle F}$

La prueba de esta fórmula se basa (como en el caso de una curva implícita) en el teorema de la función implícita y la fórmula para la curvatura normal de una superficie paramétrica .

Aplicaciones de superficies implícitas

Como en el caso de las curvas implícitas, es una tarea fácil generar superficies implícitas con las formas deseadas aplicando operaciones algebraicas (suma, multiplicación) en primitivas simples.

Superficie equipotencial de 4 cargas puntuales

Superficie equipotencial de cargas puntuales

El potencial eléctrico de una carga puntual en un punto genera en un punto el potencial (omitiendo las constantes físicas) ${\ Displaystyle q_ {i}}$${\ Displaystyle \ mathbf {p} _ {i} = (x_ {i}, y_ {i}, z_ {i})}$${\ Displaystyle \ mathbf {p} = (x, y, z)}$

${\ Displaystyle F_ {i} (x, y, z) = {\ frac {q_ {i}} {\ | \ mathbf {p} - \ mathbf {p} _ {i} \ |}}.}$

La superficie equipotencial para el valor potencial es la superficie implícita que es una esfera con centro en un punto . ${\ Displaystyle c}$${\ Displaystyle F_ {i} (x, y, z) -c = 0}$${\ Displaystyle \ mathbf {p} _ {i}}$

El potencial de las cargas puntuales está representado por ${\ Displaystyle 4}$

${\ Displaystyle F (x, y, z) = {\ frac {q_ {1}} {\ | \ mathbf {p} - \ mathbf {p} _ {1} \ |}} + {\ frac {q_ { 2}} {\ | \ mathbf {p} - \ mathbf {p} _ {2} \ |}} + {\ frac {q_ {3}} {\ | \ mathbf {p} - \ mathbf {p} _ {3} \ |}} + {\ frac {q_ {4}} {\ | \ mathbf {p} - \ mathbf {p} _ {4} \ |}}.}$

Para la imagen, las cuatro cargas son iguales a 1 y están ubicadas en los puntos . La superficie mostrada es la superficie equipotencial (superficie implícita) . ${\ Displaystyle (\ pm 1, \ pm 1,0)}$${\ Displaystyle F (x, y, z) -2,8 = 0}$

Superficie del producto a distancia constante

Un óvalo de Cassini se puede definir como el conjunto de puntos para el cual el producto de las distancias a dos puntos dados es constante (en contraste, para una elipse, la suma es constante). De manera similar, las superficies implícitas pueden definirse mediante un producto de distancia constante a varios puntos fijos.

En el diagrama de metamorfosis, la superficie superior izquierda se genera mediante esta regla: Con

${\ Displaystyle {\ begin {alineado} F (x, y, z) = {} & {\ Big (} {\ sqrt {(x-1) ^ {2} + y ^ {2} + z ^ {2 }}} \ cdot {\ sqrt {(x + 1) ^ {2} + y ^ {2} + z ^ {2}}} \\ & \ qquad \ cdot {\ sqrt {x ^ {2} + ( y-1) ^ {2} + z ^ {2}}} \ cdot {\ sqrt {x ^ {2} + (y + 1) ^ {2} + z ^ {2}}} {\ Big)} \ end {alineado}}}$

se muestra la superficie del producto de distancia constante . ${\ Displaystyle F (x, y, z) -1,1 = 0}$

Metamorfosis entre dos superficies implícitas: un toro y una superficie de producto de distancia constante.

Metamorfosis de superficies implícitas

Otro método simple para generar nuevas superficies implícitas se llama metamorfosis de superficies implícitas:

Para dos superficies implícitas (en el diagrama: una superficie de producto de distancia constante y un toroide) se definen nuevas superficies utilizando el parámetro de diseño : ${\ Displaystyle F_ {1} (x, y, z) = 0, F_ {2} (x, y, z) = 0}$${\ Displaystyle \ mu \ in [0,1]}$

${\ Displaystyle F (x, y, z) = \ mu F_ {1} (x, y, z) + (1- \ mu) F_ {2} (x, y, z) = 0}$

En el diagrama, el parámetro de diseño es sucesivamente . ${\ Displaystyle \ mu = 0, \, 0.33, \, 0.66, \, 1}$

Aproximación de tres toros ( proyección paralela )

Imagen de rayos POV (proyección central) de una aproximación de tres toros.

Aproximaciones suaves de varias superficies implícitas

${\ Displaystyle \ Pi}$ -superficies se pueden utilizar para aproximar cualquier objeto liso y acotado en cuya superficie está definida por un solo polinomio como un producto de polinomios subsidiarios. En otras palabras, podemos diseñar cualquier objeto liso con una sola superficie algebraica. Denotemos los polinomios definitorios como . Entonces, el objeto aproximado está definido por el polinomio ${\ Displaystyle R ^ {3}}$${\ Displaystyle f_ {i} \ in \ mathbb {R} [x_ {1}, \ ldots, x_ {n}] (i = 1, \ ldots, k)}$

${\ Displaystyle F (x, y, z) = \ prod _ {i} f_ {i} (x, y, z) -r}$

donde representa el parámetro de fusión que controla el error de aproximación. ${\ Displaystyle r \ in \ mathbb {R}}$

De manera análoga a la aproximación suave con curvas implícitas, la ecuación

${\ Displaystyle F (x, y, z) = F_ {1} (x, y, z) \ cdot F_ {2} (x, y, z) \ cdot F_ {3} (x, y, z) - r = 0}$

representa para parámetros adecuados aproximaciones suaves de tres toros que se cruzan con ecuaciones ${\ Displaystyle c}$

${\ Displaystyle {\ begin {alineado} F_ {1} = (x ^ {2} + y ^ {2} + z ^ {2} + R ^ {2} -a ^ {2}) ^ {2} - 4R ^ {2} (x ^ {2} + y ^ {2}) = 0, \\ [3pt] F_ {2} = (x ^ {2} + y ^ {2} + z ^ {2} + R ^ {2} -a ^ {2}) ^ {2} -4R ^ {2} (x ^ {2} + z ^ {2}) = 0, \\ [3pt] F_ {3} = (x ^ {2} + y ^ {2} + z ^ {2} + R ^ {2} -a ^ {2}) ^ {2} -4R ^ {2} (y ^ {2} + z ^ {2 }) = 0. \ end {alineado}}}$

(En el diagrama los parámetros son ) ${\ Displaystyle R = 1, \, a = 0.2, \, r = 0.01.}$

Imagen de rayos POV: metamorfosis entre una esfera y una superficie de producto de distancia constante (6 puntos).

Visualización de superficies implícitas

Hay varios algoritmos para representar superficies implícitas, incluido el algoritmo de cubos de marcha . Básicamente, hay dos ideas para visualizar una superficie implícita: una genera una red de polígonos que se visualiza (ver triangulación de la superficie ) y la segunda se basa en el trazado de rayos que determina los puntos de intersección de los rayos con la superficie. Los puntos de intersección se pueden aproximar mediante el trazado de esferas , utilizando una función de distancia con signo para encontrar la distancia a la superficie.

Ver también

• Curva implícita

Referencias

Otras lecturas

• Gomes, A., Voiculescu, I., Jorge, J., Wyvill, B., Galbraith, C .: Curvas y superficies implícitas: matemáticas, estructuras de datos y algoritmos , 2009, Springer-Verlag Londres, ISBN   978-1-84882 -405-8
• Thorpe: Temas elementales en geometría diferencial , Springer-Verlag, Nueva York, 1979, ISBN   0-387-90357-7

enlaces externos

• Sultanow: Implizite Flächen
• Hartmann: geometría y algoritmos para el diseño asistido por ordenador
• GEOMVIEW
• K3Dsurf: generador de superficies 3d
• SURF: Visualisierung algebraischer Flächen