Analytic continuation and Riemann surface determination of algebraic functions by computer
Tóm tắt
Lety=f(x) be an algebraic function which is defined as a root of bivariate polynomialP(x, y). GivenP(x, y), we present a practical computation method for analytic continuation and Riemann surface determination off(x). First, we determine the branch points off(x) by calculating the roots of a univariate polynomial numerically. Next, we expandf(x) into the Puiseux series at each branch point by the extended Hensel construction method proposed by Sasaki and Kako recently. Then, using well-known Smith’s theorem, we determine which series are connected the each other for each pair of branch points, by numerically estimating the values of the series at some middle point between the branch points. This allows us to determine the Riemann surface off(x) completely. Analytic continuation is performed similarly. We employ floating-point number arithmetic to perform these calculations.
Tài liệu tham khảo
F. Kirwan, Complex Algebraic Curves. London Mathematical Society, Student Texts23, 1992.
T. Kitamoto, F. Kako and T. Sasaki, On numerical power series roots of a multivariate polynomial (in Japanese). Presented at RIMS Symposium. Kyoto University, November 1993. 7 pages.
H.T. Kung and J.F. Traub, All algebraic functions can be computed fast. J. ACM,25 (1978), 245–260
M. Mori, K. Morota and M. Sugihara, Fundamentals of Numerical Analysis (in Japanese). Iwanami series on Applied Mathematics, Vol. 1, Iwanami Publ. Co., Tokyo, 1993.
T. Sasaki, H. Imai, T. Asano and K. Sugihara, Computational Algebra and Computational Geometry (in Japanese). Iwanami series on Applied Mathematics, Vol. 9, Iwanami Publ. Co., Tokyo, 1993.
T. Sasaki and F. Kako, Solving multivariate algebraic equation by Hensel construction. Preprint of Univ. Tsukuba and Nara Womens Univ., January 1993, 22 pages.
T. Sasaki, T. Kitamoto and F. Kako, Error analysis of power series roots of multivariate algebraic equation. Preprint of Univ. Tsukuba, April 1994, 31 pages.
B.T. Smith, Error bounds for zeros of a polynomial based upon Gerschgorin’s theorems. J. ACM,17 (1970), 661–674.
J. Tamura, Analytic Functions (in Japanese). Selected Books on Mathematics, Vol. 3, Shouka-bou, Tokyo, 1983.
B. Wall, Puiseux expansion an annotated bibliography. Technical Report, RISC-Linz Series no. 91-46.0, October 23, 1991.