Volume 3, 2020
|Number of page(s)||19|
|Section||Mathematics - Applied Mathematics|
|Published online||27 April 2020|
A survey on pseudo-Chebyshev functions
International Telematic University UniNettuno, Corso Vittorio Emanuele II, 39, 00186 Roma, Italy
* Corresponding author: firstname.lastname@example.org
Accepted: 11 February 2020
In recent articles, by using as a starting point the Grandi (Rhodonea) curves, sets of irrational functions, extending to the fractional degree the 1st, 2nd, 3rd and 4th kind Chebyshev polynomials have been introduced. Therefore, the resulting mathematical objects are called pseudo-Chebyshev functions. In this survey, the results obtained in the above articles are presented in a compact way, in order to make the topic accessible to a wider audience. Applications in the fields of weighted best approximation, roots of 2 × 2 non-singular matrices and Fourier series are derived.
Key words: Grandi curves / Pseudo-Chebyshev functions / Recurrence relations / Differential equations / Orthogonality properties
© P.E. Ricci, Published by EDP Sciences, 2020
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
In preceding articles, starting from Bernoulli’s spiral, in the complex form, we have highlithed the obvious connection between the first and second kind Chebyshev polynomials, and the Grandi (Rodhonea) curves.
As these curves exist even for rational index values, we have extended these Chebyshev polynomials to the case of fractional degree . The resulting functions are no more polynomials, but irrational functions that have been called pseudo-Chebyshev functions, because they satisfy many properties of the corresponding Chebyshev polynomials. Actually the irrationality of these functions is due to a constant factor which is multiplied by polynomials.
In subsequent articles [2, 3], recalling the third and fourth kind Chebyshev polynomials, and their connections to the preceding ones, as it is presented in , we have also introduced, for completeness, the corresponding pseudo-Chebyshev functions of the third and fourth kind. It has been shown that these families of functions satisfy the recursion and differential equations of the classical Chebyshev polynomials up to the change of the degree (from the integer to the fractional one). The particular case which seems to be the most important one, is when the degree is of the type k + 1/2, that is a half-integer, since in this case, the pseudo-Chebyshev functions satisfy even the orthogonality properties, in the interval (−1, 1), with respect to the same weights of the classical polynomials.
Spirals are described by polar equations and, in a recent work , has been highlithed the connection of the Bernoulli spiral, in complex form, with the Grandi (Rhodonea) curves and the Chebyshev polynomials.
Archimedes vs. Bernoulli spiral.
By changing the parameters a and b one gets different types of spirals.
The size of the spiral is determined by a, while the verse of rotation and how it is “narrow” depend on b.
Being a and b positive costants, there are some interesting cases. The most popular logarithmic spiral is the harmonic spiral, also called Fibonacci spiral, in which the distance between the spires is in harmonic progression, with ratio , that is, the “Golden ratio”.
The logarithmic spiral was discovered by René Descartes in 1638, and studied by Jakob Bernoulli (1654–1705).
It is a first example of a fractal. On J. Bernoulli’s tomb there is the sentence: Eadem Mutata Resurgo.
It is well known that the first kind Chebyshev polynomials  play an important role in Approximation theory, since their zeros constitute the nodes of optimal interpolation, because their choice minimizes the error of interpolation. They’re also the optimal nodes for the Gaussian quadrature rules.
The second kind Chebyshev polynomials can be used for representing the powers of a 2 × 2 non singular matrix . Extension of this polynomial falmily to the multivariate case has been considered for the powers of a r × r (r ≥ 3) non singular matrix (see [9, 10]).
Chebyshev polynomials are a particular case of the Jacobi polynomials , which are orthogonal in the interval [−1, 1] with respect to the weight . More precisely, the following equations hold:Therefore, properties of the Chebyshev polynomials could be deduced in the framework of hypergeometric functions. However, in this more general approach, the connection with trigonomeric functions disappears.
These were called by Gautschi  the third and fourth kind Chebyshev polynomials, and have been used in Numerical Analysis, mainly in the framework of quadrature rules.
The third and fourth kind Chebyshev polynomials have been used by many scholars (see e.g. [4, 13]), because they are useful in particular quadrature rules, when singularities of the integrating function occur only at one end of the considered interval, that is (+1 or −1) (see [14, 15]). They have been shown even to be useful for solving high odd-order boundary value problems with homogeneous or nonhomogeneous boundary conditions .
Vk (x), k = 1, 2, 3, 4. (1) Violet; (2) brown; (3) red; (4) blue.
Wk (x), k = 1, 2, 3, 4. (1) Violet; (2) brown; (3) red; (4) blue.
The orthogonality properties hold :(δ is the Kronecher delta).
One of the explicit advantages of Chebyshev polynomials of third and fourth kind is to estimate some definite integrals aswith the precision degree 2n − 1, by using the n interpolatory points , (k = 1, 2, …, n), in the interval [−1, 1] [13, 14].
Curves with polar equation: are equivalent to the preceding ones, up to a rotation of radians.
The Grandi roses display
n petals, if is odd,
2n petals, if is even.
By using equation (11) it is impossible to obtain, roses with () petals.
Roses with petals can be obtained by using the Bernoulli Lemniscate and its extensions. More precisely,
for n = 0, a two petals rose comes from the equation (the Bernoulli Lemniscate),
for n ≥ 1, a 4n + 2 petals rose comes from the equation .
Rhodonea cos(2θ) and cos(3θ).
Rodoneas and .
Rodoneas and .
In what follows, we consider the case of the half-integer degree, which seems to be the most interesting one, since the resulting pseudo-Chebyshev functions satisfy the orthogonality properties in the interval (−1, 1) with respect to the same weights of the corresponding Chebyshev polynomials.
Note that the above definition holds even for k + 1/2 < 0, taking into account the parity properties of the circular functions.
Put for shortness: and . Then, by using definition (12) and the addition formulas for the sine and cosine functions we find:and therefore:that is the same recursion of the classical Chebyshev polynomials:(13)
Put for shortness: and . Differentiating the second equation (12), we find:that isand differentiating again, it results:that is(19)and interchanging the roles of and we find that the same differential equation is satisfied by the .
In the considered case of half-integer degree, the pseudo-Chebyshev functions satisfy not only the recurrence relations and differential equations analogues to the classical ones, but even the orthogonality properties.
A few graphs of the functions are shown in Figure 8.
Tk+1/2(x), k = 1, 2, 3, 4. (1) Green; (2) red; (3) blue; (4) orange.
A few graphs of the functions are shown in Figure 9.
Uk+1/2(x), k = 1, 2, 3, 4. (1) Green; (2) red; (3) blue; (4) orange.
Proof. We prove only Theorem 12, since the proof of Theorem 13 is similar.
The results of this section are based on the excellent survey by Aghigh et al. . By using that article, it is possible to derive, in an almost trivial way, the links among the pseudo-Chebyshev functions and the third and fourth kind Chebyshev polynomials.
We recall here only the principal properties, without proofs. Proofs and other properties are reported in reference . In Figures 10 and 11, we show the graphs of the first few third and fourth kind pseudo-Chebyshev functions.
Vk+1/2(x), k = 1, 2, 3, 4, 5. (1) Grey; (2) red; (3) blue; (4) orange; (5) violet.
Wk+1/2(x), k = 1, 2, 3, 4, 5. (1) Red; (2) blue; (3) orange; (4) violet; (5) grey.
A few graphs of the functions are shown in Figure 10.
A few graphs of the functions are shown in Figure 11.
By equation (12), the zeros of the pseudo-Chebyshev functions and are given by(30)and the zeros of the pseudo-Chebyshev functions and are given by(31)furthermore, the functions always vanish at the end of the interval [−1, 1].
More technical properties as the Hypergeometric representations and the Rodrigues-type formulas are reported in .
Note that the first equation, in (29), extends the known nesting property verified by the first kind Chebyshev polynomials:(34)
This property, already considered in  for the first kind pseudo-Chebyshev functions, actually holds in general, as a consequence of the definition Tk(x) = cos(k arccos(x)). Note that this composition identity even holds for the first kind Chebyshev polynomials in several variables , as it was proven in .
The following theorems hold:
so that equation (38) follows.
The following theorems hold:
According to equation (10), put by definition:(41)
Proof. It is sufficient to use the addition formulas for the cosine and sine functions.
P.L. Chebyshev initiated his 40 years research on approximation with two articles, in connection with the mechanism theory: “Théorie des mécanismes connus sous le nom de parallelélogrammes” (1854) and “Sur les questions de minima qui se rattachent à la représentation approximative des fonctions” (1859) . The origin of these researches is to be found in his desire to improve J. Watt’s steam engine. In fact, the study of a mechanism that converts circular into linear motion, improving the results of Watt, has led him to new problems in approximation theory (the so-called uniform optimal approximation) whose solution makes use of the first kind Chebyshev polynomials.
The problem is posed in these terms:
A characteristic property of the best approximation is the “alternating property” (or “equioscillation property”), according to which the best approximation of the zero function attains its maximum absolute value, with alternating signs, at least at points of the given interval.
In what follows, we deal with a minimax property in [−1, 1] of the type:where is a weight function. The “alternating property” still characterizes the solution of the problem .
The minimax approximations to zero on [−1, 1], by monic polynomials of degree n, weighted by , is given by .
The minimax approximations to zero on , by monic polynomials of degree n, weighted by , is given by .
The second kind pseudo-Chebyshev functions can be used in order to find explicit formulas for the roots of a non-singular 2 × 2 complex matrix.
Let be such a matrix, and denote respectively by and the trace and the determinant of . Then in  the second kind Chebyshev polynomials have been used in order to prove the equation:(58)where n is an integer number and denotes the 2 × 2 identity matrix. Actually this equation still holds when n is replaced by 1/n, in the form:(59)
Obviously, as the roots in the preceding equation are multi-determined, we have 2n possible values for the n-th root of a 2 × 2 non-singular matrix.
For example, putting n = 2, we find the representation of the square root of in terms of second kind pseudo-Chebyshev functions:(60)and recalling the initial conditions (17), so thatwe recover the known equation:(61)since the roots of d have two (dependent) determinations. Therefore, we find, in total, four possible values for the square root of .
By using the results in  an extension to the roots of a 3 × 3 non-singular complex matrix could be obtained, provided that the matrix eigenvalues are explicitly known. However, the resulting formula is much more involved, and will be reported in another paper.
The Dirichlet kernel can be expressed in terms of the pseudo-Chebyshev functions.
By Carleson’s theorem , the above series converges in mean and even pointwise, up to a set of Lebesgue measure zero.
The growth of living organisms is often described by the Bernoulli’s logarithmic spiral, which is one of the first examples of fractals. The study of natural forms is commonly associated with mathematical entities like extensions of Lamé’s curves, Grandi’s roses, Bernoulli’s lemniscate, etc.
In this article it has been shown that innumerable plane forms can be described by means of polar equations that extend some of the above mentioned geometrical entities. Moreover, the consideration of Grandi’s roses in the case of fractional indexes gives rise, in a natural way, to mathematical functions that generalize to the case of fractional degree the classical Chebyshev polynomials. The resulting functions, called of pseudo-Chebyshev type, verify many properties of the corresponding polynomials and, in the case of half-integer degree, also the orthogonality properties.
Applications have been shown in the fields of weighted best approximation, roots of 2 × 2 non-singular matrices and Fourier series.
- Ricci PE (2018), Complex spirals and pseudo-Chebyshev polynomials of fractional degree. Symmetry 10, 671. [Google Scholar]
- Cesarano C, Ricci PE (2019), Orthogonality properties of the pseudo-Chebyshev functions (variations on a Chebyshev’s theme). Mathematics 7, 180. https://doi.org/10.3390/math7020180. [Google Scholar]
- Cesarano C, Pinelas S, Ricci PE (2019), The third and fourth kind pseudo-Chebyshev polynomials of half-integer degree. Symmetry 11, 274. https://doi.org/10.3390/sym11020274. [Google Scholar]
- Aghigh K, Masjed-Jamei M, Dehghan M (2008), A survey on third and fourth kind of Chebyshev polynomials and their applications. Appl Math Comput 199, 2–12. [Google Scholar]
- Heath TL (1897), The Works of Archimedes, Cambridge Univ. Press, Google Books. [Google Scholar]
- Archibald RC (1920), Notes on the logarithmic spiral, golden section and the Fibonacci series, in: J. Hambidge (Ed.), Dynamic symmetry, Yale Univ. Press, New Haven, pp. 16–18. [Google Scholar]
- Rivlin TJ (1974), The Chebyshev polynomials, J. Wiley and Sons, New York. [Google Scholar]
- Ricci PE (1974–1975), Alcune osservazioni sulle potenze delle matrici del secondo ordine e sui polinomi di Tchebycheff di seconda specie. Atti Accad Sci Torino 109, 405–410. [Google Scholar]
- Ricci PE (1976), Sulle potenze di una matrice. Rend Mat 9, 179–194. [Google Scholar]
- Ricci PE (1978), I polinomi di Tchebycheff in più variabili. Rend Mat 11, 295–327. [Google Scholar]
- Srivastava HM, Manocha HL (1984), A Treatise on Generating Functions, Halsted Press (Ellis Horwood Limited, Chichester), J. Wiley and Sons, New York, Chichester, Brisbane and Toronto. [Google Scholar]
- Gautschi W (1992), On mean convergence of extended Lagrange interpolation. J Comput Appl Math 43, 19–35. [Google Scholar]
- Doha EH, Abd-Elhameed WM, Alsuyuti M.M. (2015), On using third and fourth kinds Chebyshev polynomials for solving the integrated forms of high odd-order linear boundary value problems. J Egypt Math Soc 23, 397–405. [Google Scholar]
- Mason JC (1993), Chebyshev polynomials of the second, third and fourth kinds in approximation, indefinite integration, and integral transforms. J Comput Appl Math 49, 169–178. [Google Scholar]
- Mason JC, Handscomb DC (2003), Chebyshev Polynomials, Chapman and Hall, New York, NY, CRC, Boca Raton. [Google Scholar]
- Brandi P, Ricci PE (2019), Some properties of the pseudo-Chebyshev polynomials of half-integer degree. Tbilisi Math J 12, 111–121. [Google Scholar]
- Ricci PE (1986), Una proprietà iterativa dei polinomi di Chebyshev di prima specie in più variabili. Rend Mat Appl 6, 555–563. [Google Scholar]
- Butzer P, Jongmans F (1999), P.L. Chebyshev (1821–1894). A guide to his life and work. J Approx Theory 96, 111–138. [Google Scholar]
- Kirchberger P (1903), Űber Tschebyscheffsche Annäherungsmethoden (Diss., Gött. 1902). Math. Ann. 57, 509–540. [Google Scholar]
- Borel E (1905), Leçons sur les fonctions de variables réelles et les développements en série de polynomes, Gauthier-Villars, Paris. [Google Scholar]
- Carleson L (1966), On convergence and growth of partial sums of Fourier series. Acta Math 116, 135–157. [Google Scholar]
Vk+1/2(x), k = 1, 2, 3, 4, 5. (1) Grey; (2) red; (3) blue; (4) orange; (5) violet.
|In the text|
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.