Enneper yüzeyi - Enneper surface

Enneper yüzeyinin bir kısmı

İçinde diferansiyel geometri ve cebirsel geometri, Enneper yüzeyi kendisiyle kesişen bir yüzeydir ve tarif edilebilir parametrik olarak tarafından:

${displaystyle x = u (1-u ^ {2} / 3 + v ^ {2}) / 3,}$

${displaystyle y = v (1-v ^ {2} / 3 + u ^ {2}) / 3,}$

${displaystyle z = (u ^ {2} -v ^ {2}) / 3. }$

Tarafından tanıtıldı Alfred Enneper 1864'te minimal yüzey teori.^[1][2][3][4]

Weierstrass – Enneper parametrelendirme çok basit ${displaystyle f (z) = 1, g (z) = z}$ve gerçek parametrik form bundan kolayca hesaplanabilir. Yüzey eşlenik kendisine.

Örtükleştirme yöntemleri cebirsel geometri Yukarıda verilen Enneper yüzeyindeki noktaların derece-9'u sağladığını bulmak için kullanılabilir. polinom denklem^{[kaynak belirtilmeli ]}

${displaystyle 64z ^ {9} -128z ^ {7} + 64z ^ {5} -702x ^ {2} y ^ {2} z ^ {3} -18x ^ {2} y ^ {2} z + 144 ( y ^ {2} z ^ {6} -x ^ {2} z ^ {6})}$

${displaystyle {} +162 (y ^ {4} z ^ {2} -x ^ {4} z ^ {2}) + 27 (y ^ {6} -x ^ {6}) + 9 (x ^ { 4} z + y ^ {4} z) +48 (x ^ {2} z ^ {3} + y ^ {2} z ^ {3})}$

${displaystyle {} -432 (x ^ {2} z ^ {5} + y ^ {2} z ^ {5}) + 81 (x ^ {4} y ^ {2} -x ^ {2} y ^ {4}) + 240 (y ^ {2} z ^ {4} -x ^ {2} z ^ {4}) - 135 (x ^ {4} z ^ {3} + y ^ {4} z ^ {3}) = 0. }$

İkili olarak teğet düzlem verilen parametrelerin olduğu noktada ${displaystyle a + bx + cy + dz = 0,}$ nerede

${displaystyle a = - (u ^ {2} -v ^ {2}) (1 + u ^ {2} / 3 + v ^ {2} / 3),}$

${displaystyle b = 6u,}$

${displaystyle c = 6v,}$

${displaystyle d = -3 (1-u ^ {2} -v ^ {2}). }$

Katsayıları örtük derece-6 polinom denklemini karşılar

${displaystyle 162a ^ {2} b ^ {2} c ^ {2} + 6b ^ {2} c ^ {2} d ^ {2} -4 (b ^ {6} + c ^ {6}) + 54 (ab ^ {4} d-ac ^ {4} d) +81 (a ^ {2} b ^ {4} + a ^ {2} c ^ {4})}$

${displaystyle {} +4 (b ^ {4} c ^ {2} + b ^ {2} c ^ {4}) - 3 (b ^ {4} d ^ {2} + c ^ {4} d ^ {2}) + 36 (ab ^ {2} d ^ {3} -ac ^ {2} d ^ {3}) = 0. }$

Jacobian, Gauss eğriliği ve ortalama eğrilik vardır

${displaystyle J = (1 + u ^ {2} + v ^ {2}) ^ {4} / 81,}$

${displaystyle K = - (4/9) / J,}$

${displaystyle H = 0. }$

toplam eğrilik dır-dir ${displaystyle -4pi}$. Osserman tam bir minimal yüzey olduğunu kanıtladı ${displaystyle mathbb {R} ^ {3}}$ toplam eğrilikli ${displaystyle -4pi}$ ya katenoid veya Enneper yüzeyi.^[5]

Diğer bir özellik ise, tüm bikübik minimal Bézier yüzeyler bir kadar afin dönüşüm, yüzey parçaları.^[6]

Weierstrass – Enneper parametreleştirmesi kullanılarak daha yüksek dereceli rotasyonel simetrilere genelleştirilebilir ${displaystyle f (z) = 1, g (z) = z ^ {k}}$ tamsayı için k> 1.^[3] Daha yüksek boyutlara da genellenebilir; Enneper benzeri yüzeylerin var olduğu bilinmektedir. ${displaystyle mathbb {R} ^ {n}}$ 7'ye kadar n için.^[7]

Referanslar

Dış bağlantılar

• "Enneper yüzeyi", Matematik Ansiklopedisi, EMS Basın, 2001 [1994]
• https://web.archive.org/web/20130501084413/http://www.math.hmc.edu/~gu/curves_and_surfaces/surfaces/enneper.html
• https://web.archive.org/web/20160919231223/https://secure.msri.org/about/sgp/jim/geom/minimal/library/ennepern/index.html