Representation of a quotient of solutions of a four-term linear recurrence relation in the form of a branched continued fraction

Abstract

The quotient of two linearly independent solutions of a four-term linear recurrence relation is represented in the form of a branched continued fraction with two branches of branching by analogous with continued fractions. Formulas of partial numerators and partial denominators of this branched continued fraction are obtained. The solutions of the recurrence relation are canonic numerators and canonic denominators of B-figured approximants. Two types of figured approximants A-figured and B-figured are often used. A nth A-figured approximant of the branched continued fraction is obtained by adding a next partial quotient to the (n − 1)th A-figured approximant. A nth B-figured approximant of the branched continued fraction is a branched continued fraction that is a part of it and contains all those elements that have a sum of indexes less than or equal to n. A-figured approximants are widely used in proving of formulas of canonical numerators and canonical denominators in a form of a determinant, B-figured approximants are used in solving the problem of corresponding between multiple power series and branched continued fractions. A branched continued fraction of the general form cannot be transformed into a constructed branched continued fraction. For calculating canonical numerators and canonical denominators of a branched continued fraction with N branches of branching, N > 1, the linear recurrent relations do not hold. B-figured convergence of the constructed fraction in a case when coefficients of the recurrence relation are real positive numbers is investigated.

Вiдношення двох лiнiйно незалежних розв’язкiв чотиричленного лiнiйного рекурентного спiввiдношення за аналогiєю з неперервними дробами представлено у вигляду гiллястого лан- цюгового дробу з двома гiлками розгалуження. Знайдено формули частинних чисельникiв та частинних знаменникiв цього гiллястого ланцюгового дробу. Розв’язки рiзницевого рiвнян- ня є канонiчними чисельниками i канонiчними знаменниками B-фiгурних пiдхiдних дробiв. Часто використовують два типи фiгурних пiдхiдних дробiв: A-фiгурнi i B-фiгурнi. n–ий A- фiгурний пiдхiдний дрiб гiллястого ланцюгового дробу отримується додаванням наступної частинної частки до (n−1)–го A-фiгурного пiдхiдного дробу. n–ий B-фiгурний пiдхiдний дрiб гiллястого ланцюгового дробу є гiллястий ланцюговий дрiб, що є його частиною i мiстить всi тi елементи, сума iндексiв яких менша, або рiвна n. A-фiгурнi пiдхiднi дроби використовую- ться при доведеннi формул для канонiчних чисельникiв i знаменникiв у виглядi визначникiв, B-фiгурнi пiдхiднi дроби – у задачах вiдповiдностi мiж кратними степеневими рядами i гi- ллястими ланцюговими дробами. Загальний гiллястий ланцюговий дрiб не можна звести до побудованого гiллястого ланцюгового дробу. Для обчислення канонiчних чисельникiв i кано- нiчних знаменникiв гiллястих ланцюгових дробiв з N, N > 1, гiлками розгалуження не справ- джуються лiнiйнi рекурентнi спiввiдношення. Дослiджена B-фiгурна збiжнiсть побудованого дробу у випадку, коли коефiцiєнтами рекурентного спiввiдношення є дiйснi додатнi числа.