Real zeros of the zero-dimensional parametric piecewise algebraic variety |
| |
Authors: | YiSheng Lai RenHong Wang JinMing Wu |
| |
Institution: | (1) Department of Information and Computer Science, Zhejiang Gongshang University, Hangzhou, 310018, China;(2) Institute of Mathematical Sciences, Dalian University of Technology, Dalian, 116024, China |
| |
Abstract: | The piecewise algebraic variety is the set of all common zeros of multivariate splines. We show that solving a parametric
piecewise algebraic variety amounts to solve a finite number of parametric polynomial systems containing strict inequalities.
With the regular decomposition of semi-algebraic systems and the partial cylindrical algebraic decomposition method, we give
a method to compute the supremum of the number of torsion-free real zeros of a given zero-dimensional parametric piecewise
algebraic variety, and to get distributions of the number of real zeros in every n-dimensional cell when the number reaches the supremum. This method also produces corresponding necessary and sufficient conditions
for reaching the supremum and its distributions. We also present an algorithm to produce a necessary and sufficient condition
for a given zero-dimensional parametric piecewise algebraic variety to have a given number of distinct torsion-free real zeros
in every n-cell in the n-complex.
This work was supported by National Natural Science Foundation of China (Grant Nos. 10271022, 60373093, 60533060), the Natural
Science Foundation of Zhejiang Province (Grant No. Y7080068) and the Foundation of Department of Education of Zhejiang Province
(Grant Nos. 20070628 and Y200802999) |
| |
Keywords: | piecewise algebraic variety partial cylindrical algebraic decomposition number of real zeros |
本文献已被 SpringerLink 等数据库收录! |
|