New Recursive Representations for the Favard Constants with Application to Multiple Singular Integrals and Summation of Series
Abstract
There are obtained integral form and recurrence representations for some Fourier series and connected with them Favard constants. The method is based on preliminary integration of Fourier series which permits to establish general recursion formulas for Favard constants. This gives the opportunity for effective summation of infinite series and calculation of some classes of multiple singular integrals by the Favard constants.
1. Introduction
The Fourier series and related with them Achieser-Krein-Favard constants, often simply called Favard constants, have significant theoretical and practical roles in many areas [1, 2]. These remarkable mathematical constants are introduced firstly in the theory of Fourier series and approximations of functions by trigonometric polynomials [3].
These constants find wide applications in the approximation theory for exact and asymptotic results on the approximation of functions, and especially for the best approximations of trigonometric and other classes of functions in different spaces and related inequalities [1, 5–14]. In particular, many important applications are concerned with the approximation of Euler, cardinal, periodic, and other type of splines [15–17]. It can be noted that Favard constants are connected to approximations that are best in a pointwise sense in comparison, for instance, with the Lebesgue constants which are connected to approximations that are best in a least-squares sense (Fourier series) [5]. The Favard constants play also an important role in estimating optimal quadrature and cubature formulas, calculation of singular integrals, some classes of differential, integrodifferential and integral equations [18–24], and in other areas.
Nevertheless widely used, as a whole, the properties of the Favard constants have not been investigated well enough [14], except for some particular cases.
The main purpose of this paper is to establish new recursive formulas for the Favard constants (1), including only finite number of terms and recursive formulas for (2). They will be further used to obtain new integral representations for the previously stated objects, in particular for calculation of the multiple singular integrals (4) and summation of series.
2. Recursive Representations for Kr and Some Fourier Series
We will prove the following.
Theorem 1. For the constants Kr (r = 1,2, 3, …), the following recursive representations hold:
Proof. We will use the method of induction and preliminary integration of appropriate Fourier series. Let us start by the well-known expansion [2]
For x = π, (9) gives us 2K1 = π = D1(π), and consequently K1 = D1(π)/2 = π/2. The same results for K0 and K1 can be achieved starting from the equality [2]
For x = π/2 we find again that K0 = 1. After integration of the both sides of (10), we have
For x = π we find that K1 = π/2. Next after integration of the both sides of (11), we obtain
If we put x = π/2 in the same equality (12) and make a little processing, we will arrive at the value K2 = π2/8.
On the other hand, after integration of both sides of (9), we obtain
Here for x = π/2, we get −K2 + (π/2)K1 = D2(π/2), and consequently
For the constant K3, we must now integrate both sides of (12) as
Going on the indicated procedure on the base of induction, we easily arrive at the recursive representations (7a) and (7b) and complete the proof.
Remark 2. The scheme of this proof is valid for the most of the other statements in this paper.
Data for values of magnitudes of Kr using (7a) and (7b) are shown in Table 1.
r | Exact values of Kr | Approximate values of Kr |
---|---|---|
1 | π/2 | 1.5707963267948966192313216916 |
2 | π2/8 | 1.2337005501361698273543113749 |
3 | π3/24 | 1.2919281950124925073115131277 |
4 | 5π4/384 | 1.2683475395052400681828168318 |
5 | π5/240 | 1.2750820199386727219280887918 |
6 | 61π6/46080 | 1.2726723265645306132561498711 |
7 | 17π7/40320 | 1.2734371248066831633864461900 |
8 | 277π8/2064384 | 1.2731754806526058136347769671 |
9 | 31π9/725760 | 1.2732612424724875463814366656 |
10 | 50521π10/3715891200 | 1.2732323827293948495082797108 |
11 | 691π11/159667200 | 1.2732419458721540967715077901 |
12 | 540553π12/392398110720 | 1.2732387471572495304117396905 |
The equalities (10)–(13) outline a procedure for summing up the numerical series T2s, (s = 1,2, 3, …) in (6). It leads to the assertion.
Corollary 3. The following recursive representation holds:
Corollary 4. The following recursive representation holds:
The procedure of getting the representations (11), (12), and (16) with the help of (10) gives us an opportunity to lay down the following.
Theorem 5. The following recursive representations hold:
The previously stated procedure for obtaining (26) can now be applied on the strength of (22). This leads to the assertion.
Theorem 6. The following recursive representations hold:
By analogy with the previous, the procedure for obtaining (9), (14), and (17) with the help of (8) leads us to the following.
Theorem 7. The following recursive representations hold:
Theorem 8. The following recursive representations hold:
Meanwhile it is important to note that the number of addends in our recurrence representations (26), (28), (30), and (33) is two times less than the number of the addends in the corresponding cited formulas from [2]. So our method appears to be more economic and effective.
Moreover, one can get many other representations of the constants Kr (r = 1,2, 3, …) and numerical series Q2s (s = 1,2, …) from Theorems 5–8 putting, in particular, x = π/2 or x = π. For completeness we will note the main results.
From Theorem 5 for x = π/2 and x = π immediately follows the following.
Corollary 9. For the Favard constants Kr, the following recursive representations hold:
For x = π, one can get (20) too by replacing previously s by s + 1.
For x = π/2, we obtain the next corollary.
Corollary 10. For numbers Q2s, the following recursive representations hold:
Similarly, from Theorem 6 for x = π/2 and x = π, we obtain, respectively, the following.
Corollary 11. For the Favard constants Kr, the following recursive representations hold:
For x = π, one can get (23) too by replacing previously s by s + 1.
For x = π/2 from Theorem 6, (the second formula in (28)), we will have also the next analogous corollary.
Corollary 12. For numbers Q2s, the following recursive representations hold:
By the same manner from Theorem 7 for x = π and x = π/2, we obtain, respectively, the formulas for Kr (r = 1,2, 3, …) different from these in Theorem 1.
Corollary 13. For the Favard constants K2s−3 and K2s−1, the following recursive representations hold:
The remaining cases for x = π/2 and x = π immediately lead to Theorem 1 after replacing s by s + 1.
From Theorem 8 for x = π/2, one can get, respectively, other representations for Kr (r = 1,2, 3, …), different from these in Theorem 1.
Corollary 14. For the Favard constants Kr, the following recursive representations hold:
Corollary 15. From the difference T2s − Q2s = (π/2)K2s−1 (s = 1,2, …) and after replacing s by s + 1 in the obtained expression, one gets the following formula:
This is somewhat better than the corresponding formula in Theorem 1, because (2s + 1)!>2(2s)! for s = 1,2, ….
3. Recursive Representations for and Some Fourier Series
In the beginning we will prove the following assertion.
Theorem 16. For the constants (r = 1,2, …), the following recursive representations hold:
Proof. The proof of this theorem is based on induction again. However, for completeness we must give somewhat more detailed considerations at first steps, which underline further discussions.
Let us start by the well-known Fourier expansions (see, e.g., [2, 5.4])
For x = π/2, the first equality gives us immediately . At the same time, the second equality in (45) leads to . So we obtain the integral representation of in the form
We have another integral representation of the same constant in our paper [8].
Further by integration of both sides of the first equality in (45), we get
Then, after the integration of both sides of the second equality in (45), we obtain
In order to obtain the integral representation of , we must, at first, integrate the both sides of (47) as
Next it remains to put x = π/2 as
As another integral representation of , we can get after integration of both sides of (49)
On one hand, for x = π, (53) gives
On the other hand, the same equality (53) for x = π/2 gives . Then
For the constant there are also different ways to receive its integral representations. One of them is based on the integration of both sides of (53) as
For x = π, (56) gives (. Admitting (54) we will have
Another integral representation of can be obtained by integration of both sides of (51) as
For x = π/2 and x = π, we get, respectively,
Further after integration of both sides of (56), we get
On one hand, if we put here x = π and admit (54), we will have
On the other hand, the same formula (60) for x = π/2 gives us . Then admitting (54) and (61), we obtain
Next, in order to receive another integral representation of , we must integrate both sides of (58). So we will have
Putting x = π/2, here, we get
Now after this preparatory work, we can go on the indicated procedure which leads us to the general recursive representations (43) and so complete the proof.
The previously stated procedure gives us the opportunity to obtain recursive formulas for the multiple integrals , , and in (4) for a given x.
First of all we will note that on the base of induction and with the help of the first formula in (45), (47), (51), (58), and (63), we can lay down the following.
Theorem 17. For the multiple singular integrals , the following recursive representations hold:
By analogy with the previous and by means of the second formula in (45), (49), (53), (56), and (60), one can get the following.
Theorem 18. For the multiple singular integrals , the following recursive representations hold:
Theorem 19. For the multiple singular integrals , the following recursive representations hold:
Theorem 20. The following recursive formulas hold:
The proof of this theorem requires to take integration from π/2 to x and then to make the substitution t = π/2 − x.
r | |||
---|---|---|---|
0 | 0.346573590279972654709 | 0.34657359027997265471 | |
1 | −1.831931188354438030 | −0.91596559417721901505 | 0.91596559417721901506 |
2 | −2.103599580529289999 | −1.31474973783080624966 | 0.78884984269848374979 |
3 | −1.326437390660483389 | −0.89924201634043412749 | 0.42719537432004926159 |
4 | −0.586164434174921923 | −0.41567176475313624651 | 0.17049266942178567636 |
5 | −0.200415775434410589 | −0.14636851588819525831 | 0.05404725954621533063 |
6 | −0.055999130148030908 | −0.04177075772178286763 | 0.01422837242624804042 |
7 | −0.013242890305882861 | −0.01003832077074076074 | 0.00320456953514210000 |
8 | −0.002716221784223860 | −0.00208540018388810697 | 0.00063082160033575329 |
9 | −0.000492033289602442 | −0.00038173093475665008 | 0.00011030235484579206 |
10 | −0.000079824623761109 | −0.00006247448634651347 | 0.00001735013741459518 |
11 | −0.000011727851308441 | −0.00000924763886476940 | 0.00000248021244367167 |
12 | −0.000001574609462951 | −0.00000124968150024699 | 0.00000032492796270360 |
r | |||
0 | 0.693147180559945309417 | ||
1 | 0 | 0 | 0 |
2 | −4.2071991610585799989 | −2.10359958052928999945 | 2.10359958052928999945 |
3 | −6.6086529882853881226 | −3.77637313616307892720 | 2.83227985212230919540 |
4 | −6.3627527878802461560 | −3.92286552530160912232 | 2.43988726257863703368 |
5 | −4.5591894893017946564 | −2.95428020294335768590 | 1.60490928635843697049 |
6 | −2.6255391709472096141 | −1.76271265891422894113 | 0.86282651203298067295 |
7 | −1.2684915655900274347 | −0.87472015815662857450 | 0.39377140743339886016 |
8 | −0.5287656648068309189 | −0.37237211738940254175 | 0.15639354741742837714 |
9 | −0.1940031559506448617 | −0.13897143291435930434 | 0.05503172303628555739 |
10 | −0.0635985732918145806 | −0.04620733330628432785 | 0.01739123998553025277 |
11 | −0.0188489390019113804 | −0.01385968931040814707 | 0.00498924969150323336 |
12 | −0.0050985327885974909 | −0.00378779048977775268 | 0.00131074229881973820 |
Remark 21. The equalities (49), (53), (56), and (60) outline a procedure for summing up the numerical series T2s+1 (s = 1,2, …) in (2). It leads us to the following.
Corollary 22. The following recursive representation holds:
The same procedure based on induction and preliminary multiple integration of both sides of (69) leads us to the next.
Corollary 23. The following recursive representation holds:
At the end we would like to note also that one can get many other representations (through multiple integrals) of the constants (r = 1,2, …) from Theorems 17–20 setting, in particular, x = π/2 or x = π, as it is made for the constants Kr.
If we, by definition, lay , then the equality (80) is valid for s = 0 too.
4. Some Notes on Numerical and Computer Implementations of the Derived Formulas
We will consider some aspects of numerical and symbolic calculations of the Favard constants Kr, singular integrals (4), and summation of series.
Theorem 24. For m ≥ 2 and any s > m, the following estimates for the truncation errors (82) hold:
Proof. By means of the inequalities (25), it is easy to obtain
Consequently, |S1,m| = O(π2m/(2m)!). In the same way for the second truncation sum, we have
By the details of the proof it follows that the obtained representations did not depend on s, for any m < s. The a priori estimates (83) can be used for calculation of Kr with a given numerical precision ε in order to decrease the number of addends in the sums for larger s at the condition m < s.
Remark 25. The error estimates, similar to (83), can be established for other recurrence representations in this paper too.
In Algorithm 1, we provide the simplest Mathematica code for exact symbolic and numerical calculation with optional 30 digits accuracy of the Favard constants Kr for r = 1,2, 3, …, m, based on recursive representations (7a) and (7b) for a given arbitrary integer m > 0. The obtained results are given in Table 1. We have to note that this code is not the most economic. It can be seen that the thrifty code will take about 2m2 + 8m or O(m2) arithmetic operations in (7a) and (7b).
The basic advantage of using formulas (7a) and (7b) is that they contain only finite number of terms (i.e., finite number of arithmetic operations) in comparison with the initial formula (r = 0,1, 2, …), which needs the calculation of the slowly convergent infinite sum. It must be also mentioned that in Mathematica, Maple, and other powerful mathematical software packages, the Favard constants are represented by sums of and related functions, which are calculated by the use of Euler-Maclaurin summation and functional equations. Near the critical strip they also use the Riemann-Siegel formula (see, e.g., [28, A.9.4]).
Finally, we will note that the direct numerical integration in (4) is very difficult. This way a big opportunity is given by Theorems 17, 18, and 19 (formulas (65), (67) and (70)) for effective numerical calculation of the classes of multiple singular integrals , and for any x. Their computation is reduced to find the finite number of the Favard constants for all v ≤ r and the calculation of one additional numerical sum. Numerical values for some of the singular integrals are presented in Table 2.
5. Concluding Remarks
As it became clear, there are many different ways and well-developed computer programs at present, for calculation of the significant constants in mathematics (in particular Favard constants) and for summation of important numerical series. Most of them are based on using of generalized functions as one can see in [2–5]. Nonetheless, we hope that our previously stated approach through integration of Fourier series appears to be more convenient and has its theoretical and practical meanings in the scope of applications, in particular for computing of the pointed special types of multiple singular integrals. The basic result with respect to multiple integrals reduces their calculation to finite number of numerical sums.
Acknowledgments
This paper is supported by the Bulgarian Ministry of Education, Youth and Science, Grant BG051PO001/3.3-05-0001 “Science and business,” financed under operational program “Human Resources Development” by the European Social Fund.