TAILIEUCHUNG - Báo cáo toán học: "Shift Equivalence of P-finite Sequences"

Tuyển tập các báo cáo nghiên cứu khoa học về toán học trên tạp chí toán học quốc tế đề tài: Shift Equivalence of P-finite Sequences. | Shift Equivalence of P-finite Sequences Manuel Kauers Research Institute for Symbolic Computation Johannes Kepler University Altenbergerstrafie 69 A4040 Linz Austria mkauers@ Submitted Aug 8 2006 Accepted Oct 19 2006 Published Nov 6 2006 Mathematics Subject Classihcation 68W30 Abstract We present an algorithm which decides the shift equivalence problem for P-hnite sequences. A sequence is called P-hnite if it satishes a homogeneous linear recurrence equation with polynomial coefficients. Two sequences are called shift equivalent if shifting one of the sequences s times makes it identical to the other for some integer s. Our algorithm computes for any two P-hnite sequences given via recurrence equation and initial values all integers s such that shifting the hrst sequence s times yields the second. 1 Introduction This paper is part of a long-term project concerning the development of a symbolic summation algorithm for finding closed forms of sums n 5Srat n . 1 n . r n k 1 where f1 n . fr n satisfy homogeneous linear recurrence equations with polynomial coefficients and rat is a multivariate rational function. The principal question is to decide whether there exists another rational function rat1 such that the above sum is equal to rat1 n f1 n . fr n for n 1 and if so to compute one. Already the case where the f n satisfy linear recurrence equations with constant coefficients is unsolved. In a recent paper Greene and Wilf 13 have provided a partial Partially supported by FWF grants SFB F1305 and P16613-N12 THE ELECTRONIC JOURNAL OF COMBINATORICS 13 2006 R100 1 result by restricting the fi n to such sequences and assuming in addition that the summand involves these sequences only polynomially. For this situation they have obtained a complete summation algorithm. The solution to the shift equivalence problem is a step towards allowing nontrivial denominators in the summand expression. The problem is for two given sequences to decide whether one of .

TÀI LIỆU LIÊN QUAN
TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.