Next Article in Journal
Mathematical Models of the Processes of Operation, Renewal and Degradation of a Fleet of Complex Technical Systems with Metrological Support
Next Article in Special Issue
Approximation Relations on the Posets of Pseudoultrametrics
Previous Article in Journal
A Non-Equilibrium Interpolation Scheme for IB-LBM Optimized by Approximate Force
Previous Article in Special Issue
Composition and Decomposition of Positive Linear Operators (VIII)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Some Branched Continued Fraction Expansions for Horn’s Hypergeometric Function H4(a,b;c,d;z1,z2) Ratios

1
Institute of Applied Mathematics and Fundamental Sciences, Lviv Polytechnic National University, 12 Stepan Bandera Str., 79013 Lviv, Ukraine
2
Faculty of Mathematics and Computer Sciences, Vasyl Stefanyk Precarpathian National University, 57 Shevchenko Str., 76018 Ivano-Frankivsk, Ukraine
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(3), 299; https://doi.org/10.3390/axioms12030299
Submission received: 28 January 2023 / Revised: 1 March 2023 / Accepted: 13 March 2023 / Published: 15 March 2023
(This article belongs to the Special Issue Advanced Approximation Techniques and Their Applications)

Abstract

:
The paper deals with the problem of representation of Horn’s hypergeometric functions by branched continued fractions. The formal branched continued fraction expansions for three different Horn’s hypergeometric function H 4 ratios are constructed. The method employed is a two-dimensional generalization of the classical method of constructing of Gaussian continued fraction. It is proven that the branched continued fraction, which is an expansion of one of the ratios, uniformly converges to a holomorphic function of two variables on every compact subset of some domain H , H C 2 , and that this function is an analytic continuation of this ratio in the domain H . The application to the approximation of functions of two variables associated with Horn’s double hypergeometric series H 4 is considered, and the expression of solutions of some systems of partial differential equations is indicated.

1. Introduction

It is well known that BCFs are a multidimensional generalization of continued fractions, which are one of the most intriguing sections of classical analysis.
BCFs have been used in various fields, in particular in numerical theory to express algebraic irrational numbers ([1], Chapter 3), in computational mathematics for the solution of systems of linear algebraic Equations ([2], Chapter 4), in applied mathematics for the solution of differential Equations ([1], Chapter 5), in the theory of probabilities for some problems related to Markov processes ([1], Chapter 4), in chemistry to calculate the Hosoya index (see, [3,4]), in analysis of approximating functions of one and several variables (see, ([1], Chapter 5), ([2], Chapter 3), and [5,6,7,8,9]). It should be noted that the last direction is the most developed. Furthermore, it is here that BCFs are considered special families of functions of several complex variables.
To represent a hypergeometric function of several complex variables in BCF form, we need to solve the following three problems:
(i)
To construct the BCFE;
(ii)
To prove the convergence of the constructed expansion;
(iii)
To prove the convergence of the BCF to the function of which it is an expansion.
The first problem is to obtain the simplest structure of a BCFE whose elements are simple polynomials. This can be achieved by setting and choosing certain recurrence relations. The methods employed here are generalizations of the classical method of constructing Gaussian continued fraction. Problem (ii) consists of improving the known and developing new methods of studying the convergence of BCFs. Truncation error analysis is also considered here. The last problem is more important and is related to the so-called ’principle of correspondence’ (see, [10,11] and also ([12], Section 2.2)).
BCFEs for Appell’s hypergeometric function F 1 were considered in ([1,13], pp. 244–252), and BCFEs of other structures in [14]. For F 2 , the BCFEs were constructed in [15]. In [16], the problem of the boundedness of BCFs approximants for F 2 was investigated. However, the problems (ii) and (iii) remain open. For F 4 , the BCFEs were obtained in [17]. The convergence of BCFE for one partial case of F 4 was studied in [18]. BCFEs of different structures for F 3 can be found in [19,20]. For some partial cases of BCFs, the problems (ii) and (iii) were considered in [20].
For Horn’s hypergeometric function H 3 , such expansions were investigated in [10,21]. For H 6 , BCFEs were studied in [22]. In this paper, we continue to study BCFEs for hypergeometric functions from the Horn’s list (see, [23,24,25] and also books ([26], Chapter 9), ([27], Section 5.7), and ([28], Chapter 2)).
The FBCFEs for three different Horn’s hypergeometric function H 4 ratios will be given in Section 2. It will be proved (Theorem 3) that the BCF, which is an expansion of one of the ratios of double hypergeometric series H 4 , uniformly converges to a holomorphic function on every compact subset of some domain H and that this function is analytic continuation of this ratio in the domain H . The applications of expansions to some problems of approximation of functions of two variables associated with the Horn’s double hypergeometric series H 4 and to the expression of solutions of systems of partial differential equations will be shown in Section 4.

2. Expansions

Horn’s hypergeometric function H 4 is defined by DPS (see, [23])
H 4 ( a , b ; c , d ; z ) = r , s = 0 ( a ) 2 r + s ( b ) s ( c ) r ( d ) s z 1 r r ! z 2 s s ! , | z 1 | < p , | z 2 | < l ,
where a , b, and c are complex constants; c and d are not equal to a non-positive integer; p and l are positive numbers such that 4 p = ( l 1 ) 2 ; and l 1 , ( · ) k is the Pochhammer symbol defined for any complex number α and non-negative integer n by ( α ) 0 = 1 and ( α ) n = α ( α + 1 ) ( α + n 1 ) ,   z = ( z 1 , z 2 ) C 2 .
Let ( i j ) 0 = ( i 0 , j 0 ) be a double index and
I = { ( 1 , 1 ) ; ( 1 , 2 ) ; ( 2 , 2 ) }
be a set of double indices. Then, for each pair ( i 0 , j 0 ) I we set
R ( i j ) 0 ( a , b ; c , d ; z ) = H 4 ( a , b ; c , d ; z ) H 4 ( a + δ i 0 1 , b + δ i 0 2 ; c + δ j 0 1 , d + δ j 0 2 ; z ) ,
where δ i j is the Kronecker symbol. Now, let ( i j ) k = ( i 1 , j 1 , i 2 , j 2 , , i k , j k ) be a multiindex (see, [29]). Then, for each ( i j ) 0 I we introduce the following sets of multiindices
I k ( i j ) 0 = { ( i j ) k : 1 i k 2 δ i k 1 2 , j k = i k + δ i k 1 2 } , k 1 ,
and also for each ( i j ) k I k ( i j ) 0 , k 1 , we set
a ( i j ) k ( i j ) 0 = a + r = 0 k 1 δ i r 1 , b ( i j ) k ( i j ) 0 = b + r = 0 k 1 δ i r 2 , c ( i j ) k ( i j ) 0 = c + r = 0 k 1 δ j r 1 , d ( i j ) k ( i j ) 0 = d + r = 0 k 1 δ j r 2 .
Theorem 1.
For each pair ( i 0 , j 0 ) I the ratio (1) has a FBCFE of the form
1 i 1 = 1 j 1 = i 1 + δ i 0 2 2 δ i 0 2 h ( i j ) 1 ( i j ) 0 z j 1 1 i 2 = 1 j 2 = i 2 + δ i 1 2 2 δ i 1 2 h ( i j ) 2 ( i j ) 0 z j 2 1 i 3 = 1 j 3 = i 3 + δ i 2 2 2 δ i 2 2 h ( i j ) 3 ( i j ) 0 z j 3 1 ,
where for ( i j ) k I k ( i j ) 0 , k 1 ,   ( i j ) 0 I ,
h ( i j ) k ( i j ) 0 = ( 2 c a + r = 0 k 2 ( 2 δ j r 1 δ i r 1 ) ) ( a + 1 + r = 0 k 2 δ i r 1 ) ( c + r = 0 k 2 δ j r 1 ) ( c + 1 + r = 0 k 2 δ j r 1 ) ,
if i k 1 = j k 1 = i k = j k = 1 ,
h ( i j ) k ( i j ) 0 = b + r = 0 k 2 δ i r 2 d + r = 0 k 2 δ j r 2 ,
if i k 1 = j k 1 = 1 , i k = j k = 2 ,
h ( i j ) k ( i j ) 0 = 2 ( a + 1 + r = 0 k 2 δ i r 1 ) c + r = 0 k 2 δ j r 1 ,
if j k 1 = 2 , i k 1 = i k = j k = 1 ,
h ( i j ) k ( i j ) 0 = ( b + r = 0 k 2 δ i r 2 ) ( d a + r = 0 k 2 ( δ j r 2 δ i r 1 ) ) ( d + r = 0 k 2 δ j r 2 ) ( d + 1 + r = 0 k 2 δ j r 2 ) ,
if i k 1 = 1 , j k 1 = i k = j k = 2 ,
h ( i j ) k ( i j ) 0 = ( a + r = 0 k 2 δ i r 1 ) ( d b + r = 0 k 2 ( δ j r 2 δ i r 2 ) ) ( d + r = 0 k 2 δ j r 2 ) ( d + 1 + r = 0 k 2 δ j r 2 ) ,
if j k 1 = i k 1 = j k = 2 , i k = 1 .
Proof. 
In [30], the formal recurrence relations of Horn’s hypergeometric functions H 4
H 4 ( a , b ; c , d ; z ) = H 4 ( a + 1 , b ; c + 1 , d ; z ) ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 H 4 ( a + 2 , b ; c + 2 , d ; z ) b d z 2 H 4 ( a + 1 , b + 1 ; c + 1 , d + 1 ; z ) ,
H 4 ( a , b ; c , d ; z ) = H 4 ( a + 1 , b ; c , d + 1 ; z ) 2 ( a + 1 ) c z 1 H 4 ( a + 2 , b ; c + 1 , d + 1 ; z ) b ( d a ) d ( d + 1 ) z 2 H 4 ( a + 1 , b + 1 ; c , d + 2 ; z ) ,
H 4 ( a , b ; c , d ; z ) = H 4 ( a , b + 1 ; c , d + 1 ; z ) a ( d b ) d ( d + 1 ) z 2 H 4 ( a + 1 , b + 1 ; c , d + 2 ; z )
are proved. Dividing (9) by H 4 ( a + 1 , b ; c + 1 , d ; z ) , (10) by H 4 ( a + 1 , b ; c , d + 1 ; z ) , and (11) by H 4 ( a , b + 1 ; c , d + 1 ; z ) , we obtain
R 1 , 1 ( a , b ; c , d ; z ) = 1 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 R 1 , 1 ( a + 1 , b ; c + 1 , d ; z ) b d z 2 R 2 , 2 ( a + 1 , b ; c + 1 , d ; z ) , R 1 , 2 ( a , b ; c , d ; z ) = 1 2 ( a + 1 ) c z 1 R 1 , 1 ( a + 1 , b ; c , d + 1 ; z ) b ( d a ) d ( d + 1 ) z 2 R 2 , 2 ( a + 1 , b ; c , d + 1 ; z ) , R 2 , 2 ( a , b ; c , d ; z ) = 1 a ( d b ) d ( d + 1 ) z 2 R 1 , 2 ( a , b + 1 ; c , d + 1 ; z ) .
Hence, for any ( i j ) 0 I it follows
R i 0 , j 0 ( a , b ; c , d ; z ) = 1 i 1 = 1 j 1 = i 1 + δ i 0 2 2 δ i 0 2 h ( i j ) 1 ( i j ) 0 z j 1 R i 1 , j 1 ( a + δ i 0 1 , b + δ i 0 2 ; c + δ j 0 1 , d + δ j 0 2 ; z ) ,
where h ( i j ) 1 ( i j ) 0 , ( i j ) 1 I 1 ( i j ) 0 ,   ( i j ) 0 I , are defined by (4)–(8). Furthermore, this is the first step to constructing branched continued fraction expansions.
By analogy, it is clear that for all ( i j ) k 1 I k 1 ( i j ) 0 , k 2 ,   ( i j ) 0 I , the following relation holds
R i k 1 , j k 1 ( a ( i j ) k 1 ( i j ) 0 , b ( i j ) k 1 ( i j ) 0 ; c ( i j ) k 1 ( i j ) 0 , d ( i j ) k 1 ( i j ) 0 ; z ) = 1 i k = 1 j k = i k + δ i k 1 2 2 δ i k 1 2 h ( i j ) k ( i j ) 0 z j k R i k , j k ( a ( i j ) k ( i j ) 0 , b ( i j ) k ( i j ) 0 ; c ( i j ) k ( i j ) 0 , d ( i j ) k ( i j ) 0 ; z ) ,
where h ( i j ) k ( i j ) 0 , ( i j ) k I k ( i j ) 0 ,   k 2 , ( i j ) 0 I , are defined by (4)–(8), a ( i j ) k ( i j ) 0 ,   b ( i j ) k ( i j ) 0 , c ( i j ) k ( i j ) 0 ,   d ( i j ) k ( i j ) 0 , ( i j ) k I k ( i j ) 0 , k 1 ,   ( i j ) 0 I , are defined by (2).
Substituting relation (13) at k = 2 in formula (12) on the second step for any ( i j ) 0 I we obtain
R i 0 , j 0 ( a , b ; c , d ; z ) = 1 i 1 = 1 j 1 = i 1 + δ i 0 2 2 δ i 0 2 h ( i j ) 1 ( i j ) 0 z j 1 1 i 2 = 1 j 2 = i 2 + δ i 1 2 2 δ i 1 2 h ( i j ) 2 ( i j ) 0 z j 2 R i 2 , j 2 ( a ( i j ) 2 ( i j ) 0 , b ( i j ) 2 ( i j ) 0 ; c ( i j ) 2 ( i j ) 0 , d ( i j ) 2 ( i j ) 0 ; z ) .
Next, applying recurrence relation (13) after n steps, we obtain
R i 0 , j 0 ( a , b ; c , d ; z ) = 1 i 1 = 1 j 1 = i 1 + δ i 0 2 2 δ i 0 2 h ( i j ) 1 ( i j ) 0 z j 1 1 i n 1 = 1 j n 1 = i n 1 + δ i n 2 2 2 δ i n 2 2 h ( i j ) n 1 ( i j ) 0 z j n 1 1
i n = 1 j n = i n + δ i n 1 2 2 δ i n 1 2 h ( i j ) n ( i j ) 0 z j n R i n , j n ( a ( i j ) n ( i j ) 0 , b ( i j ) n ( i j ) 0 ; c ( i j ) n ( i j ) 0 , d ( i j ) n ( i j ) 0 ; z ) ,
where h ( i j ) k ( i j ) 0 , ( i j ) k I k ( i j ) 0 ,   1 k n , ( i j ) 0 I , are defined by (4)–(8), a ( i j ) n ( i j ) 0 ,   b ( i j ) n ( i j ) 0 , c ( i j ) n ( i j ) 0 ,   d ( i j ) n ( i j ) 0 , ( i j ) n I n ( i j ) 0 ,   ( i j ) 0 I , are defined by (2).
Finally, by (13), one obtains the FBCFE (3) for ratio (1) for each ( i j ) 0 I .
Note that there are three different FBCFE in (3). For example, for R 1 , 1 ( a , b ; c , d ; z ) we have
1 c 1 , 1 1 , 1 z 1 1 c 1 , 1 , 1 , 1 1 , 1 z 1 1 c 1 , 1 , 1 , 1 , 1 , 1 1 , 1 z 1 1 c 1 , 1 , 1 , 1 , 2 , 2 1 , 1 z 2 1 c 1 , 1 , 2 , 2 1 , 1 z 2 1 c 1 , 1 , 2 , 2 , 1 , 2 1 , 1 z 2 1 c 2 , 2 1 , 1 z 2 1 c 2 , 2 , 1 , 2 1 , 1 z 2 1 c 2 , 2 , 1 , 2 , 1 , 1 1 , 1 z 1 1 c 2 , 2 , 1 , 2 , 2 , 2 1 , 1 z 2 1 .
In case b = d and ( i j ) 0 = ( 1 , 1 ) , from the theorem the following result follows.
Corollary 1.
The ratio
R 1 , 1 ( a , b ; c , b ; z ) = H 4 ( a , b ; c , b ; z ) H 4 ( a + 1 , b ; c + 1 , b ; z )
has a FBCFE of the form
1 z 2 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 1 z 2 ( 2 c a + 1 ) ( a + 2 ) ( c + 1 ) ( c + 2 ) z 1 1 z 2 ( 2 c a + 2 ) ( a + 3 ) ( c + 2 ) ( c + 3 ) z 1 1 z 2 .
Note that the BCF (16) is a continued fraction by its form. The peculiarity here is that their nth approximants are defined differently (see, ([31], pp. 17–18) and ([32], pp. 15–17)). Namely, the sequence of approximants of the continued fraction for the BCF is a sequence of so-called ’figured approximants’ (see, ([32], p. 18)). Convergence studies related to various figured approximations can be found for two-dimensional continued fractions in [33,34], for BCFs of the special form [35,36,37], for BCFs with independent variables in [38,39], and for BCFs of a general form in [40].

3. Convergence of BCFE for R 1 , 1 ( a , b ; c , b ; z )

We refer the reader to the paper [10] and the books [12,31,32,41] to learn more on the concepts and notations that will be used in this section.
The following result about the convergence of a confluent two-dimensional S-fraction with independent variables
s 1 , 0 z 1 + s 0 , 1 z 2 1 + s 1 , 1 z 1 + s 0 , 2 z 2 1 + s 1 , 2 z 1 + s 0 , 3 z 2 1 + ,
where s 1 , k 1 > 0 and s 0 , k > 0 , k 1 , follows directly from ([42], Theorem 2).
Theorem 2.
Let (17) be a confluent two-dimensional S-fraction with independent variables whose coefficients s 1 , k 1 and s 0 , k , k 1 , satisfy the conditions
s 1 , k 1 + s 0 , k r f o r a l l k 1 ,
where r is a positive number. Then the confluent two-dimensional S-fraction with independent variables (17) converges to a holomorphic function in the domain
D = z C 2 : arg 1 4 r + z k < π , k = 1 , 2 .
The convergence is uniform on every compact subset of D .
Now we prove the following theorem.
Theorem 3.
Let a and c be real constants such that
0 < ( 2 c a + k 1 ) ( a + k ) ( c + k 1 ) ( c + k ) r f o r a l l k 1 ,
where r is a positive number. Then:
(A) 
The BCF (16) converges uniformly on every compact subset of
H = z C 2 : arg 1 4 ( 1 + r ) z k < π , k = 1 , 2
to a function f ( z ) holomorphic in H ;
(B) 
The function f ( z ) is an analytic continuation of (15) in the domain (19).
Proof. 
It is clear that we can consider (16) as a confluent two-dimensional S-fraction with independent variables z 1 and z 2 . Then, the conditions (18) one can write as
1 + ( 2 c a + k 1 ) ( a + k ) ( c + k 1 ) ( c + k ) 1 + r .
Therefore, by Theorem 2 the part (A) follows.
We will prove the second part of this theorem similarly as in ([10], Theorem 2).
Let
G n ( n ) ( z ) = 1 , F n ( n ) ( z ) = R 1 , 1 ( a + n , b ; c + n , b ; z ) , n 1 ,
where from (13) it follows that for all n 1
R 1 , 1 ( a + n , b ; c + n , b ; z ) = 1 z 2 ( 2 c a + n ) ( a + n + 1 ) ( c + n ) ( c + n + 1 ) z 1 R 1 , 1 ( a + n + 1 , b ; c + n + 1 , b ; z ) ,
and let
G k ( n ) ( z ) = 1 z 2 ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 1 z 2 ( 2 c a + n 1 ) ( a + n ) ( c + n 1 ) ( c + n ) z 1 G n ( n ) ( z ) , F k ( n ) ( z ) = 1 z 2 ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 1 z 2 ( 2 c a + n 1 ) ( a + n ) ( c + n 1 ) ( c + n ) z 1 F n ( n ) ( z ) ,
where 1 k n 1 , n 2 . Then it is easily seen that
G k ( n ) ( z ) = 1 z 2 ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 G k + 1 ( n ) ( z ) ,
F k ( n ) ( z ) = 1 z 2 ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 F k + 1 ( n ) ( z ) ,
where 1 k n 1 , n 2 .
From (13), (14), (20), and (22) it follows that for each n 1
R 1 , 1 ( a , b ; c , b ; z ) = 1 z 2 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 1 z 2 ( 2 c a + 1 ) ( a + 2 ) ( c + 1 ) ( c + 2 ) z 1 1 z 2 ( 2 c a + n 1 ) ( a + n ) ( c + n 1 ) ( c + n ) z 1 1 z 2 ( 2 c a + n ) ( a + n + 1 ) ( c + n ) ( c + n + 1 ) z 1 F n ( n + 1 ) ( z ) = 1 z 2 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 F 1 ( n + 1 ) ( z ) .
Moreover, taking into account (20) and (21), for each n 1 the nth approximant of (16) we write as
f n ( z ) = 1 z 2 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 G 1 ( n ) ( z ) .
Since F k ( r ) ( 0 ) = 1 and G k ( r ) ( 0 ) = 1 for any 1 k r and r 1 , then for each 1 k r and r 1 there exist Λ ( 1 / F k ( r ) ) and Λ ( 1 / G k ( r ) ) , where Λ ( · ) is the Taylor expansion of a function holomorphic in some neighborhood of the origin. In addition, it is clear that F k ( r ) ( z ) 0 and G k ( r ) ( z ) 0 for all indices.
Applying the method suggested in ([32], p. 28) and recurrence relations (21), (22), for any n 1 on the first step we obtain
R 1 , 1 ( a , b ; c , b ; z ) f n ( z ) = 1 z 2 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 F 1 ( n + 1 ) ( z ) 1 z 2 ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 G 1 ( n ) ( z ) = ( 2 c a ) ( a + 1 ) c ( c + 1 ) z 1 F 1 ( n + 1 ) ( z ) G 1 ( n ) ( z ) ( F 1 ( n + 1 ) ( z ) G 1 ( n ) ( z ) ) .
Let k be an arbitrary integer number such that 1 k n , n 1 . Then we have
F k ( n + 1 ) ( z ) G k ( n ) ( z ) = 1 z 2 ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 F k + 1 ( n + 1 ) ( z ) 1 z 2 ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 G k + 1 ( n ) ( z ) = ( 2 c a + k ) ( a + k + 1 ) ( c + k ) ( c + k + 1 ) z 1 F k + 1 ( n + 1 ) ( z ) G k + 1 ( n ) ( z ) ( F k + 1 ( n + 1 ) ( z ) G k + 1 ( n ) ( z ) ) .
Next, applying recurrence relations (23) and taking into account that
F n ( n + 1 ) ( z ) G n ( n ) ( z ) = 1 z 2 ( 2 c a + n ) ( a + n + 1 ) ( c + n ) ( c + n + 1 ) z 1 F n + 1 ( n + 1 ) ( z ) 1 = z 2 ( 2 c a + n ) ( a + n + 1 ) ( c + n ) ( c + n + 1 ) z 1 F n + 1 ( n + 1 ) ( z )
for any n 1 one obtains
R 1 , 1 ( a , b ; c , b ; z ) f n ( z ) = r = 1 n ( 2 c a + r 1 ) ( a + r ) ( c + r 1 ) ( c + r ) z 1 F r ( n + 1 ) ( z ) G r ( n ) ( z ) z 2 + ( 2 c a + n ) ( a + n + 1 ) ( c + n ) ( c + n + 1 ) z 1 F n + 1 ( n + 1 ) ( z ) .
It follows that in a neighborhood of zero for any n 1 we have
Λ ( R 1 , 1 ) Λ ( f n ) = r + s n + 1 r 0 , s 0 α r , s ( n ) z 1 r z 2 s ,
where α r , s ( n ) , r 0 , s 0 , r + s n + 1 , are some coefficients.
Recall that the sequence { F n ( z ) } of functions holomorphic at the origin is corresponding (at z = 0 ) to a FDPS L ( z ) if
lim n λ L Λ ( F n ) = ,
where λ ( · ) is the function defined as follows: if L ( z ) 0 then λ ( L ) = ; if L ( z ) 0 then λ ( L ) = m , where m is the smallest degree of homogeneous terms for which at least one coefficient is different from zero. The BCF (16) is corresponding (at z = 0 ) to a FDPS L ( z ) if each approximant f n ( z ) is a holomorphic function of z at the origin and if { f n ( z ) } corresponds to L ( z ) (see, [10] and also ([31], Section 5.1)).
From (24) it follows that
λ Λ ( R 1 , 1 ) Λ ( f n ) = n + 1
tends monotonically to as n , i.e., the BCF (16) corresponds (at z = 0 ) to a FDPS Λ ( R 1 , 1 ) .
Let D be the neighborhood of the origin which contained in (19) and in which
Λ ( R 1 , 1 ) = r , s = 0 α r , s z 1 r z 2 s .
Then, from part (A) it follows that the sequence { f n ( z ) } converges uniformly on every compact subset of D to a function f ( z ) holomorphic in D . By Weierstrass’s theorem ([43], p. 288) for arbitrary r + s , r 0 , s 0 , we have
r + s f n ( z ) z 1 r z 2 s r + s f ( z ) z 1 r z 2 s as n
on each compact subset of the domain D . Furthermore, according to the above, for each n 1 the Λ ( f n ) and Λ ( R 1 , 1 ) agree for all homogeneous terms up to and including degree n .
Thus, for any r + s , r 0 , s 0 , one obtains
lim n r + s f n z 1 r z 2 s ( 0 ) = r + s f z 1 r z 2 s ( 0 ) = r ! s ! α r , s .
Hence, for all z D ,
f ( z ) = r , s = 0 r + s f z 1 r z 2 s ( 0 ) z 1 r r ! z 2 s s ! = r , s = 0 α r , s z 1 r z 2 s .
Finally, by the principle of analytic continuation ([44], p. 53) part (B) follows. □
Setting a = 0 and replacing c by c 1 in Theorem 3, we obtain the following result.
Corollary 2.
Let c be a positive constant such that
2 c r < 4 and k ( 2 c + k 3 ) ( c + k 2 ) ( c + k 1 ) r f o r a l l k 2 ,
where r is a positive number. Then:
(A) 
The BCF
1 1 z 2 2 c z 1 1 z 2 2 ( 2 c 1 ) c ( c + 1 ) z 1 1 z 2 k ( 2 c + k 3 ) ( c + k 2 ) ( c + k 1 ) z 1 1 z 2
converges uniformly on every compact subset of (19) to a function f ( z ) holomorphic in H ;
(B) 
The function f ( z ) is an analytic continuation of H 4 ( 1 , b ; c , b ; z ) in the domain (19).
Note that other convergence criteria of two-dimensional S-fractions with independent variables can be found in [45,46,47] and truncation error bounds in [46,48,49]. The results of these works can be applied to the branched continued fractions (16) and (26).
Furthermore, note that (26) as a continued fraction is equivalent to the Gaussian continued function
1 1 z 2 1 1 2 c 4 z 1 ( 1 z 2 ) 2 1 k ( 2 c + k 3 ) 4 ( c + k 2 ) ( c + k 1 ) 4 z 1 ( 1 z 2 ) 2 1 .
In [50], in particular, the formal identity
H 4 ( 1 , b ; c , b ; z ) = 1 1 z 2 2 F 1 1 2 , 1 ; c ; 4 z 1 ( 1 z 2 ) 2
is given. However, it follows from the proof of ([31], Theorem 6.1) that ([31], Corollary 6.2) can not be applied to the continued fraction (27) and the function on the right-hand side of (28).
Thus, in general, the problems of proving the convergence of constructed expansions (3), and, more importantly, proving the convergence of BCFs (3) to the corresponding ratios (1), are open.
New results to solve these problems will be made in next paper.

4. Numerical Experiments

It is well known [23] (see also ([27], p. 235)) that the solution of the system of partial differential equations
z 1 ( 1 4 z 1 ) 2 u z 1 2 4 z 1 z 2 2 u z 1 z 2 z 2 2 2 u z 2 2 + ( c 8 z 1 ) u z 1 5 z 2 u z 2 2 u = 0 , 2 z 1 z 2 2 u z 1 z 2 + z 2 ( 1 z 2 ) 2 u z 2 2 2 b z 1 u z 1 + ( b ( 1 + b ) z 2 ) u z 2 b u = 0 ,
where u = u ( z ) is an unknown function, are expressed by means of Horn’s hypergeometric function H 4 ( 1 , b ; c , b ; z ) .
Let c be a real constant satisfying the inequalities (25), and let b is complex constant, which is not equal to a non-positive integer. Then, by Corollary 2 it follows that the BCF (26) satisfies (29) for all z H , where H is defined by (19).
As an example, by Corollary 2 we obtain
( ( 1 z 2 ) 2 4 z 1 ) 1 / 2 = H 4 ( 1 , b ; 1 , b ; z ) = 1 1 z 2 2 z 1 1 z 2 z 1 1 z 2 z 1 1 z 2 .
The BCF in (30) converges and represents a single-valued branch of the analytic function of two variables
( ( 1 z 2 ) 2 4 z 1 ) 1 / 2
in the domain (19) with r = 1 . If f n ( z ) denotes the nth approximant of (30), then for every negative real z = z 0 , the so-called ‘fork property’ (see, ([32], p. 29))
f 2 k 2 ( z 0 ) < f 2 k ( z 0 ) < f 2 k + 1 ( z 0 ) < f 2 k 1 ( z 0 ) , k 1 ,
holds (here f 0 ( z 0 ) = 0 ).
The numerical illustration of DPS
( ( 1 z 2 ) 2 4 z 1 ) 1 / 2 = H 4 ( 1 , b ; 1 , b ; z ) = r , s = 0 ( 1 ) 2 r + s ( 1 ) r z 1 r r ! z 2 s s !
and BCF (30) is given in Table 1. Numerical experiments also show that to compute 1 / 2 = ( ( 1 + 1 / 4 ) 2 + 4 ( 7 / 64 ) ) 1 / 2 with an error not exceeding 10 5 by the DPS (32), one would need to take 57th partial sum, and that 1 / 2 can be computed with an error less than 10 5 by using the 5th approximant of the BCF (30).
In Figure 1a–d, we can see the plots, where the 20th approximants of (30) guarantees certain truncation error bounds for function of two variables (31).
One more example, by Corollary 2 we obtain
arctan 2 z 1 1 z 2 = 2 z 1 H 4 ( 1 , b ; 3 / 2 , b ; z ) = 2 z 1 1 z 2 4 3 z 1 1 z 2 16 15 z 1 1 z 2 k 2 k 2 1 / 4 z 1 1 z 2 ,
where the BCF converges and represents a single-valued branch of the analytic function of two variables
arctan 2 z 1 1 z 2
in the domain (19) with r = 4 / 3 .
In Table 2, we can see that the 10th approximant of (33) is eventually a better approximation to (34) than the corresponding 10th partial sum of the DPS
arctan 2 z 1 1 z 2 = 2 z 1 H 4 ( 1 , b ; 3 / 2 , b ; z ) = 2 z 1 r , s = 0 ( 1 ) 2 r + s ( 3 / 2 ) r z 1 r r ! z 2 s s ! .
The graphical illustrations of the function of two variables (34) and the BCF (33) are given in Figure 2a,b and Figure 3a–d. In particular, in Figure 2a,b we can see the plots of the values of even (odd) approximations of approaches from below (above) to the plot of the function of two variables (34).
In the last example, by Theorem 3 we have
1 z 2 + ( 1 z 2 ) 2 4 z 1 2 = H 4 ( 1 / 2 , b ; 1 / 2 , b ; z ) H 4 ( 1 / 2 , b ; 3 / 2 , b ; z ) = 1 z 2 z 1 1 z 2 z 1 1 z 2 z 1 1 z 2 .
Here the BCF converges and represents a single-valued branch of the analytic function of two variables
1 z 2 + ( 1 z 2 ) 2 4 z 1 2
in the domain (19) with r = 1 .
Figure 4a–d shows the plots, where the 20th approximants of (36) guarantees certain truncation error bounds for function of two variables (37).
Given all the above, the expediency and effectiveness of using BCFs as an approximation tool, in particular, of the functions of two variables, is confirmed by numerical experiments. Calculations and plots were performed using Wolfram Mathematica software.

5. Discussion

The paper considers the problem of representing the Horn’s hypergeometric function by BCFs. Three different FBCFEs are derived for three different ratios of Horn’s hypergeometric function H 4 . However, the problem of constructing and studying FBCFs of other structures (perhaps simpler) remains open. It is proved that the BCF converges to the ratio of the hypergeometric series, whose expansion it is. Still, the conditions of their convergence impose additional restrictions on the parameters of the function. Numerical experiments confirm the expediency and effectiveness of using BCFs as an approximation tool. Nevertheless, the problems of improving and developing new methods of studying the convergence of such and similar BCFs are open.

Author Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors were partially supported by the Ministry of Education and Science of Ukraine, project registration number 0122U000857.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
BCFBranched continued fraction
BCFEBranched continued fraction expansion
FBCFEFormal branched continued fraction expansion
DPSDouble power series
FDPSFormal double power series

References

  1. Bodnarchuk, P.I.; Skorobogatko, V.Y. Branched Continued Fractions and Their Applications; Naukova Dumka: Kyiv, Ukraine, 1974. (In Ukrainian) [Google Scholar]
  2. Scorobogatko, V.Y. Theory of Branched Continued Fractions and Its Applications in Computational Mathematics; Nauka: Moscow, Russia, 1983. (In Russian) [Google Scholar]
  3. Komatsu, T. Asymmetric circular graph with Hosoya index and negative continued fractions. Carpathian Math. Publ. 2021, 13, 608–618. [Google Scholar] [CrossRef]
  4. Komatsu, T. Branched continued fractions associated with Hosoya index of the tree graph. MATCH Commun. Math. Comput. Chem. 2020, 84, 399–428. [Google Scholar]
  5. Cuyt, A. A review of multivariate Padé approximation theory. J. Comput. Appl. Math. 1985, 12–13, 221–232. [Google Scholar] [CrossRef] [Green Version]
  6. Cuyt, A.; Verdonk, B. A review of branched continued fraction theory for the construction of multivariate rational approximants. Appl. Numer. Math. 1988, 4, 263–271. [Google Scholar] [CrossRef]
  7. Petreolle, M.; Sokal, A.D. Lattice paths and branched continued fractions II. Multivariate Lah polynomials and Lah symmetric functions. Eur. J. Combin. 2021, 92, 103235. [Google Scholar] [CrossRef]
  8. Petreolle, M.; Sokal, A.D.; Zhu, B.X. Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes-Rogers and Thron-Rogers polynomials, with coefficientwise Hankel-total positivity. arXiv 2020, arXiv:1807.03271v2. [Google Scholar]
  9. Kuchminskaya, K.; Siemaszko, W. Rational Approximation and Interpolation of Functions by Branched Continued Fractions; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 1987; Volume 1237, pp. 24–40. [Google Scholar] [CrossRef]
  10. Antonova, T.; Dmytryshyn, R.; Kravtsiv, V. Branched continued fraction expansions of Horn’s hypergeometric function H3 ratios. Mathematics 2021, 9, 148. [Google Scholar] [CrossRef]
  11. Hoyenko, N.P. Correspondence principle and convergence of sequences of analytic functions of several variables. Mat. Visn. Nauk. Tov. Im. Shevchenka. 2007, 4, 42–48. (In Ukrainian) [Google Scholar]
  12. Cuyt, A.A.M.; Petersen, V.; Verdonk, B.; Waadeland, H.; Jones, W.B. Handbook of Continued Fractions for Special Functions; Springer: Dordrecht, The Netherlands, 2008. [Google Scholar]
  13. Hoyenko, N.P.; Manzij, O.S. Expansion of Appel F1 and Lauricella F D ( N ) hypergeometric functions into branched continued fractions. Visnyk Lviv. Univ. Ser. Mech.-Math. 1997, 48, 17–26. (In Ukrainian) [Google Scholar]
  14. Hoyenko, N.; Hladun, V.; Manzij, O. On the infinite remains of the Nörlund branched continued fraction for Appell hypergeometric functions. Carpathian Math. Publ. 2014, 6, 11–25. (In Ukrainian) [Google Scholar] [CrossRef] [Green Version]
  15. Bodnar, D.I. Expansion of a ratio of hypergeometric functions of two variables in branching continued fractions. J. Math. Sci. 1993, 64, 1155–1158. [Google Scholar] [CrossRef]
  16. Manzii, O.S. On the approximation of an Appell hypergeometric function by a branched continued fraction. J. Math. Sci. 1998, 90, 2376–2380. [Google Scholar] [CrossRef]
  17. Bodnar, D.I. Multidimensional C-fractions. J. Math. Sci. 1998, 90, 2352–2359. [Google Scholar] [CrossRef]
  18. Hladun, V.R.; Hoyenko, N.P.; Manzij, O.S.; Ventyk, L. On convergence of function F4(1, 2; 2, 2; z1, z2) expansion into a branched continued fraction. Math. Model. Comput. 2022, 9, 767–778. [Google Scholar] [CrossRef]
  19. Bodnar, D.I.; Manzii, O.S. Expansion of the ratio of Appel hypergeometric functions F3 into a branching continued fraction and its limit behavior. J. Math. Sci. 2001, 107, 3550–3554. [Google Scholar] [CrossRef]
  20. Manzii, O.S. Investigation of expansion of the ratio of Appel hypergeometric functions F3 into a branching continued fraction. Approx. Theor. Its Appl. Pr. Inst. Math. NAS Ukr. 2000, 31, 344–353. (In Ukrainian) [Google Scholar]
  21. Antonova, T.M. On convergence of branched continued fraction expansions of Horn’s hypergeometric function H3 ratios. Carpathian Math. Publ. 2021, 13, 642–650. [Google Scholar] [CrossRef]
  22. Antonova, T.; Dmytryshyn, R.; Sharyn, S. Branched continued fraction representations of ratios of Horn’s confluent function H6. Constr. Math. Anal. 2023, 6, 22–37. [Google Scholar] [CrossRef]
  23. Horn, J. Hypergeometrische Funktionen zweier Veränderlichen. Math. Ann. 1931, 105, 381–407. [Google Scholar] [CrossRef]
  24. Horn, J. Hypergeometrische Funktionen zweier Veränderlichen. Math. Ann. 1935, 111, 638–677. [Google Scholar] [CrossRef]
  25. Horn, J. Hypergeometrische Funktionen zweier Veränderlichen. Math. Ann. 1937, 113, 242–291. [Google Scholar] [CrossRef]
  26. Bailey, W.N. Generalised Hypergeometric Series; Cambridge University Press: Cambridge, UK, 1935. [Google Scholar]
  27. Erdélyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F.G. Higher Transcendental Functions; McGraw-Hill Book Co.: New York, NY, USA, 1953; Volume 1. [Google Scholar]
  28. Srivastava, H.M.; Karlsson, P.W. Multiple Gaussian Hypergeometric Series; Horwood, E., Ed.; Halsted Press: Chichester, UK, 1985. [Google Scholar]
  29. Antonova, T.; Dmytryshyn, R.; Sharyn, S. Generalized hypergeometric function 3F2 ratios and branched continued fraction expansions. Axioms 2021, 10, 310. [Google Scholar] [CrossRef]
  30. Dmytryshyn, R.I.; Lutsiv, I.-A.V. Three- and four-term recurrence relations for Horn’s hypergeometric function H4. Res. Math. 2022, 30, 21–29. [Google Scholar] [CrossRef]
  31. Jones, W.B.; Thron, W.J. Continued Fractions: Analytic Theory and Applications; Addison-Wesley Pub. Co.: Reading, MA, USA, 1980. [Google Scholar]
  32. Bodnar, D.I. Branched Continued Fractions; Naukova Dumka: Kyiv, Ukraine, 1986. (In Russian) [Google Scholar]
  33. Cuyt, A.; Verdonk, B. Evaluation of branched continued fractions using block-tridiagonal linear systems. IMA J. Numer. Anal. 1988, 8, 209–217. [Google Scholar] [CrossRef]
  34. Murphy, J.A.; O’Donohoe, M.R. A two-variable generalization of the Stieltjes-type continued fraction. J. Comput. Appl. Math. 1978, 4, 181–190. [Google Scholar] [CrossRef] [Green Version]
  35. Bilanyk, I.B. A truncation error bound for some branched continued fractions of the special form. Mat. Stud. 2019, 52, 115–123. [Google Scholar] [CrossRef]
  36. Bodnar, D.I.; Bilanyk, I.B. On the convergence of branched continued fractions of a special form in angular domains. J. Math. Sci. 2020, 246, 188–200. [Google Scholar] [CrossRef]
  37. Bodnar, D.I.; Bilanyk, I.B. Two-dimensional generalization of the Thron-Jones theorem on the parabolic domains of convergence of continued fractions. Ukr. Mat. Zhurn. 2022, 74, 1155–1169. [Google Scholar] [CrossRef]
  38. Bodnar, D.I.; Bilanyk, I.B. Estimation of the rates of pointwise and uniform convergence of branched continued fractions with inequivalent variables. J. Math. Sci. 2022, 265, 423–437. [Google Scholar] [CrossRef]
  39. Siemaszko, W. Branched continued fractions for double power series. J. Comput. Appl. Math. 1980, 6, 121–125. [Google Scholar] [CrossRef] [Green Version]
  40. Bilanyk, I.B.; Bodnar, D.I.; Buyak, L.M. Representation of a quotient of solutions of a four-term linear recurrence relation in the form of a branched continued fraction. Carpathian Math. Publ. 2019, 11, 33–41. [Google Scholar] [CrossRef]
  41. Lorentzen, L.; Waadeland, H. Continued Fractions—Volume 1: Convergence Theory, 2nd ed.; Atlantis Press: Amsterdam, The Netherlands, 2008. [Google Scholar]
  42. Bodnar, O.S.; Dmytryshyn, R.I. On the convergence of multidimensional S-fractions with independent variables. Carpathian Math. Publ. 2018, 9, 58–64. [Google Scholar] [CrossRef] [Green Version]
  43. Shabat, B.V. Introduce in the Complex Analysis; Nauka: Moskow, Russia, 1969. (In Russian) [Google Scholar]
  44. Vladimirov, V.S. Methods of the Theory of Functions of Several Complex Variables; Nauka: Moscow, Russia, 1964. (In Russian) [Google Scholar]
  45. Bodnar, D.I.; Bilanyk, I.B. Parabolic convergence regions of branched continued fractions of the special form. Carpathian Math. Publ. 2021, 13, 619–630. [Google Scholar] [CrossRef]
  46. Bodnar, O.S.; Dmytryshyn, R.I.; Sharyn, S.V. On the convergence of multidimensional S-fractions with independent variables. Carpathian Math. Publ. 2020, 12, 353–359. [Google Scholar] [CrossRef]
  47. Dmytryshyn, R.I. On some of convergence domains of multidimensional S-fractions with independent variables. Carpathian Math. Publ. 2019, 11, 54–58. [Google Scholar] [CrossRef]
  48. Antonova, T.M.; Dmytryshyn, R.I. Truncation error bounds for branched continued fraction i 1 = 1 N a i ( 1 ) 1 + i 2 = 1 i 1 a i ( 2 ) 1 + i 3 = 1 i 2 a i ( 3 ) 1 + . Ukr. Math. J. 2020, 72, 1018–1029. [Google Scholar] [CrossRef]
  49. Antonova, T.M.; Dmytryshyn, R.I. Truncation error bounds for branched continued fraction whose partial denominators are equal to unity. Mat. Stud. 2020, 54, 3–14. [Google Scholar] [CrossRef]
  50. Brychkov, Y.A.; Savischenko, N.V. On some formulas for the Horn functions H4(a, b; c, c; w, z) and H 7 ( c ) (a; c, c; w, z). Integral Transforms Spec. Funct. 2021, 32, 969–987. [Google Scholar] [CrossRef]
Figure 1. The plots where the approximant f 20 ( z ) of BCF (30) guarantees certain truncation error bounds for function ( ( 1 z 2 ) 2 4 z 1 ) 1 / 2 .
Figure 1. The plots where the approximant f 20 ( z ) of BCF (30) guarantees certain truncation error bounds for function ( ( 1 z 2 ) 2 4 z 1 ) 1 / 2 .
Axioms 12 00299 g001
Figure 2. The plots of values of the nth approximants of (33).
Figure 2. The plots of values of the nth approximants of (33).
Axioms 12 00299 g002
Figure 3. The plots where the approximant f 20 ( z ) of BCF (33) guarantees certain truncation error bounds for function arctan ( 2 z 1 / ( 1 z 2 ) ) .
Figure 3. The plots where the approximant f 20 ( z ) of BCF (33) guarantees certain truncation error bounds for function arctan ( 2 z 1 / ( 1 z 2 ) ) .
Axioms 12 00299 g003
Figure 4. The plots where the approximant f 20 ( z ) of BCF (36) guarantees certain truncation error bounds for function ( 1 z 2 + ( 1 z 2 ) 2 4 z 1 ) / 2 .
Figure 4. The plots where the approximant f 20 ( z ) of BCF (36) guarantees certain truncation error bounds for function ( 1 z 2 + ( 1 z 2 ) 2 4 z 1 ) / 2 .
Axioms 12 00299 g004
Table 1. Relative error of 10th partial sum and 10th approximants for ( ( 1 z 2 ) 2 4 z 1 ) 1 / 2 .
Table 1. Relative error of 10th partial sum and 10th approximants for ( ( 1 z 2 ) 2 4 z 1 ) 1 / 2 .
z(31)(32)(30)
( 1 / 8 , 1 / 10 ) 0.873704 6.62333 × 10 8 1.98945 × 10 10
( 1 / 10 , 1 / 16 ) 1.17129 7.23624 × 10 8 2.01913 × 10 10
( 1 / 10 , 1 / 100 ) 0.839152 1.01955 × 10 5 3.27995 × 10 11
( 1 / 10 , 1 / 10 ) 1.56174 6.56397 × 10 4 5.81362 × 10 8
( 1 / 5 , 1 / 5 ) 0.668153 6.5287 × 10 1 1.43181 × 10 9
( 1 / 8 , 1 ) 0.471405 2.92301 × 10 + 02 3.32075 × 10 14
( 2 , 1 / 4 ) 0.323381 9.46661 × 10 + 08 5.42958 × 10 4
( 3 , 4 ) 0.164399 6.95343 × 10 + 12 4.77831 × 10 9
( 10 , 20 ) 0.045596 2.12733 × 10 + 19 2.98276 × 10 14
( 100 , 100 ) 0.0097124 8.3222 × 10 + 28 1.78609 × 10 16
Table 2. Relative error of 10th partial sum and 10th approximants for arctan ( 2 z 1 / ( 1 z 2 ) ) .
Table 2. Relative error of 10th partial sum and 10th approximants for arctan ( 2 z 1 / ( 1 z 2 ) ) .
z(34)(35)(33)
( 1 / 50 , 1 / 10 ) 0.304496 9.2228 × 10 13 3.6461 × 10 16
( 1 / 8 , 1 / 10 ) 0.665944 1.06644 × 10 8 1.60922 × 10 10
( 1 / 10 , 1 / 100 ) 0.559457 2.59086 × 10 6 2.59205 × 10 11
( 1 / 5 , 1 / 50 ) 0.739777 1.46368 × 10 3 8.30048 × 10 9
( 1 / 5 , 1 / 5 ) 0.640522 1.91315 × 10 1 1.14109 × 10 9
( 1 / 8 , 1 ) 0.339837 1.30864 × 10 + 02 2.56454 × 10 14
( 4 , 1 ) 1.10715 5.94092 × 10 + 11 2.99918 × 10 4
( 3 , 4 ) 0.605891 2.17485 × 10 + 12 3.78678 × 10 9
( 10 , 20 ) 0.292529 7.43863 × 10 + 18 2.27715 × 10 14
( 100 , 100 ) 0.195491 2.65535 × 10 + 28 2.83958 × 10 16
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Antonova, T.; Dmytryshyn, R.; Lutsiv, I.-A.; Sharyn, S. On Some Branched Continued Fraction Expansions for Horn’s Hypergeometric Function H4(a,b;c,d;z1,z2) Ratios. Axioms 2023, 12, 299. https://doi.org/10.3390/axioms12030299

AMA Style

Antonova T, Dmytryshyn R, Lutsiv I-A, Sharyn S. On Some Branched Continued Fraction Expansions for Horn’s Hypergeometric Function H4(a,b;c,d;z1,z2) Ratios. Axioms. 2023; 12(3):299. https://doi.org/10.3390/axioms12030299

Chicago/Turabian Style

Antonova, Tamara, Roman Dmytryshyn, Ilona-Anna Lutsiv, and Serhii Sharyn. 2023. "On Some Branched Continued Fraction Expansions for Horn’s Hypergeometric Function H4(a,b;c,d;z1,z2) Ratios" Axioms 12, no. 3: 299. https://doi.org/10.3390/axioms12030299

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop