三角域上参数Bezier曲面为凸的一个充分条件.pdfVIP

维普资讯 数 学 年 IIA c4) 19g0 三角域上参数 B~zier曲面为凸 的一个充分条件 刘 晓 春 (复旦大学数学研究所) 提 要 本文利用 ]~zler网的升阶给出了兰角域上参数 B缸 r曲面为凸的一个充分条件，此条件 是仿射不变的，进而推广了下述的结果．如果非参数 B6z 三角片的网是凸的，那么曲面本身 也是凸的． §1．引 言 在aAGD领域中，几何外形的设计经常涉及曲线与曲面的凸性．特别地，对于B6zJer 曲面的凸性研究一直是人们所感兴趣的．刭 目前为止，对三角域上非参数 B6zler曲面的 凸性人们 已得到较为令人满意的结果 ”．对于参数P~zior曲面，在张量积情形，[7] 给出了曲面为 凸的一个充分条件 且条件是仿射不变的．三角域上参数B6 融面的凸 性 问题 比其非参数形式要复杂得多． [8]中给出一个反例说明参数B6zieT三角片其凸的 控制网不能保证曲面本身为凸．而任何非参数 B~zior三角片的凸的控制网确实产生 的 是凸的曲面[．因此，要得到参数 B6zior三角片的保凸条件要因难些．[1o]中给出了一 个保凸的充分条件，可它不是仿射不变的．仿射不变条件尚处于探索之中． §2．预 备 概 念 设 {P 善 lo≤“≤l， 善 一}，PERs 定义了R 上的一个非退化三角形 其顶点为 、 ．平面置。上任何一点P可唯 一 地表示成 P一暑 ， 一1， 此处 一(tit2， )称做 P 的重心坐标．P 落在 内部当且仅当 》O， 一1，2，3(图 1)．三角形顶点 的重心坐标为矿 其中一一(1l0，O)，矿一(o，1，O)， 一(O，0，1)． 本文 1988年 e月 15日收到． 维普资讯 468 数 学 年 刊 n 卷 ^辑 bi十q 图 l 图 2 图 3 设一(岳l 螽)属于 ，{I ：一，善 “一 }是实数集或 中的点集．当 ， 一 是实数时 称 图象 一一 {(P；驴(t)l驴0)一 6lB0‘)) 是三角域 上非参数形式的B6氲ier曲面，或简称为非参数的 B~Aor三角片．其中 f为 P 的霍心坐标， (‘0是 Berns~in多项式 r 、 一 ()一 ：i 琦培垮· 当鼠属于 。时，fl一 称映照 0)一 a ()：Z 在 j 中的象是参数形式的B@~er三角片．也称 护()是参数B6z~er三角片． 由平面三 角片bdbd+^ 和bd+ + ¨，ll—n，构成的曲面称为曲面 (的B~zier阿或控制 罔．6． 一n，称做B~Jor点或控制点 (图2和图3)，其中”一 一一l， 一83一e (见图 1)．对于非参数B6zter三角片，其控制点为 ；)， 一 ，这里t，n是 中某一点的 重心坐标． 图3给出了一个三次非参数 硝 er三角片及其控制罔． 下面我们仅关心参致形式的礁zier三角片，亦鄄对任何 ，II一’I，6．属于 ． §3．B