Zolotarev Polynomials
   HOME

TheInfoList



OR:

In mathematics, Zolotarev polynomials are
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s used in
approximation theory In mathematics, approximation theory is concerned with how function (mathematics), functions can best be approximation, approximated with simpler functions, and with quantitative property, quantitatively characterization (mathematics), characteri ...
. They are sometimes used as an alternative to the
Chebyshev polynomials The Chebyshev polynomials are two sequences of polynomials related to the cosine and sine functions, notated as T_n(x) and U_n(x). They can be defined in several equivalent ways, one of which starts with trigonometric functions: The Chebyshe ...
where accuracy of approximation near the origin is of less importance. Zolotarev polynomials differ from the Chebyshev polynomials in that two of the coefficients are fixed in advance rather than allowed to take on any value. The Chebyshev polynomials of the first kind are a special case of Zolotarev polynomials. These polynomials were introduced by Russian mathematician
Yegor Ivanovich Zolotarev Yegor (Egor) Ivanovich Zolotarev (russian: Его́р Ива́нович Золотарёв) (31 March 1847, Saint Petersburg – 19 July 1878, Saint Petersburg) was a Russian mathematician. Biography Yegor was born as a son of Agafya Izoto ...
in 1868.


Definition and properties

Zolotarev polynomials of degree n in x are of the form : Z_n(x,\sigma) = x^n -\sigma x^ + \cdots + a_k x^k + \cdots + a_0 \ , where \sigma is a prescribed value for a_ and the a_k \in \mathbb R are otherwise chosen such that the deviation of Z_n(x) from zero is minimum in the interval 1,1/math>. A subset of Zolotarev polynomials can be expressed in terms of
Chebyshev polynomials The Chebyshev polynomials are two sequences of polynomials related to the cosine and sine functions, notated as T_n(x) and U_n(x). They can be defined in several equivalent ways, one of which starts with trigonometric functions: The Chebyshe ...
of the first kind, T_n(x). For : 0 \le \sigma \le \dfrac \tan^2 \dfrac then : Z_n(x,\sigma) = (1 + \sigma)^n T_n \left ( \frac \right ) \ . For values of \sigma greater than the maximum of this range, Zolotarev polynomials can be expressed in terms of
elliptic function In the mathematical field of complex analysis, elliptic functions are a special kind of meromorphic functions, that satisfy two periodicity conditions. They are named elliptic functions because they come from elliptic integrals. Originally those in ...
s. For \sigma=0, the Zolotarev polynomial is identical to the equivalent Chebyshev polynomial. For negative values of \sigma, the polynomial can be found from the polynomial of the positive value, : Z_n(x,-\sigma) = (-1)^n Z_n(-x,\sigma) \ . The Zolotarev polynomial can be expanded into a sum of Chebyshev polynomials using the relationship : Z_n(x) = \sum^n_ a_k T_k (x) \ .


In terms of Jacobi elliptic functions

The original solution to the approximation problem given by Zolotarev was in terms of
Jacobi elliptic functions In mathematics, the Jacobi elliptic functions are a set of basic elliptic functions. They are found in the description of the motion of a pendulum (see also pendulum (mathematics)), as well as in the design of electronic elliptic filters. While tri ...
. Zolotarev gave the general solution where the number of zeroes to the left of the peak value (q) in the interval 1,1/math> is not equal to the number of zeroes to the right of this peak (p). The degree of the polynomial is n=p+q. For many applications, p=q is used and then only n need be considered. The general Zolotarev polynomials are defined as :Z_n(x, \kappa) = \frac \left \left ( \dfrac \right )^n + \left ( \dfrac \right )^n \right /math> ::where :: u = F \left ( \left . \operatorname \left ( \left. v \right , \kappa \right ) \sqrt \right , \kappa \right ) :: v = \dfrac K(\kappa) :: H(\varphi) is the Jacobi eta function :: F(\varphi, \kappa) is the incomplete elliptic integral of the first kind :: K(\kappa) is the quarter-wave
complete elliptic integral of the first kind In integral calculus, an elliptic integral is one of a number of related functions defined as the value of certain integrals, which were first studied by Giulio Fagnano and Leonhard Euler (). Their name originates from their originally arising in ...
. That is, K(\kappa)=F \left ( \left . \frac \ \kappa \right) :: \kappa is the Jacobi
elliptic modulus In mathematics, the modular lambda function λ(τ)\lambda(\tau) is not a modular function (per the Wikipedia definition), but every modular function is a rational function in \lambda(\tau). Some authors use a non-equivalent definition of "modular f ...
:: \operatorname (\varphi, \kappa) is the Jacobi elliptic sine. The variation of the function within the interval 1,1is equiripple except for one peak which is larger than the rest. The position and width of this peak can be set independently. The position of the peak is given by : x_\text = 1 - 2 \operatorname ^2 (v, \kappa) + 2 \dfrac Z(v, \kappa) ::where :: \operatorname (\varphi, \kappa) is the
Jacobi elliptic cosine In mathematics, the Jacobi elliptic functions are a set of basic elliptic functions. They are found in the description of the motion of a pendulum (see also pendulum (mathematics)), as well as in the design of electronic elliptic filters. While ...
:: \operatorname (\varphi, \kappa) is the Jacobi delta amplitude :: Z(\varphi, \kappa) is the
Jacobi zeta function In mathematics, the Jacobi zeta function ''Z''(''u'') is the logarithmic derivative of the Jacobi theta function In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian ...
:: v is as defined above. The height of the peak is given by :Z_n(x_\text , \kappa) = \cosh 2n \bigl ( \sigma_\text Z(v, \kappa) - \varPi (\sigma_\text ,v, \kappa) \bigr ) ::where :: \varPi (\phi_1,\phi_2, \kappa) is the incomplete elliptic integral of the third kind :: \sigma_\text = F \left ( \left . \sin^ \left ( \dfrac \sqrt \dfrac \right ) \right , \kappa \right ) :: x_\mathrm L is the position on the left limb of the peak which is the same height as the equiripple peaks.


Jacobi eta function

The Jacobi eta function can be defined in terms of a Jacobi auxiliary theta function, : H(\varphi, \kappa) = \theta_1 (a, b) ::where, :: a = \frac :: b = \exp \left ( - \frac \right ) :: K'(\kappa) = K(\sqrt) \ .


Applications

The polynomials were introduced by
Yegor Ivanovich Zolotarev Yegor (Egor) Ivanovich Zolotarev (russian: Его́р Ива́нович Золотарёв) (31 March 1847, Saint Petersburg – 19 July 1878, Saint Petersburg) was a Russian mathematician. Biography Yegor was born as a son of Agafya Izoto ...
in 1868 as a means of uniformly approximating polynomials of degree x^ on the interval 1,1
Pafnuty Chebyshev Pafnuty Lvovich Chebyshev ( rus, Пафну́тий Льво́вич Чебышёв, p=pɐfˈnutʲɪj ˈlʲvovʲɪtɕ tɕɪbɨˈʂof) ( – ) was a Russian mathematician and considered to be the founding father of Russian mathematics. Chebyshe ...
had shown in 1858 that x^ could be approximated in this interval with a polynomial of degree at most n with an error of 2^. In 1868, Zolotarev showed that x^ - \sigma x^n could be approximated with a polynomial of degree at most n-1, two degrees lower. The error in Zolotarev's method is given by, : 2^ \left ( \dfrac \right )^ \ . The procedure was further developed by Naum Achieser in 1956. Zolotarev polynomials are used in the design of Achieser-Zolotarev filters. They were first used in this role in 1970 by Ralph Levy in the design of microwave
waveguide filter A waveguide filter is an electronic filter constructed with waveguide technology. Waveguides are hollow metal conduits inside which an electromagnetic wave may be transmitted. Filters are devices used to allow signals at some frequencies to pa ...
s. Achieser-Zolotarev filters are similar to
Chebyshev filter Chebyshev filters are analog or digital filters that have a steeper roll-off than Butterworth filters, and have either passband ripple (type I) or stopband ripple (type II). Chebyshev filters have the property that they minimize the error betw ...
s in that they have an equal ripple attenuation through the
passband A passband is the range of frequencies or wavelengths that can pass through a filter. For example, a radio receiver contains a bandpass filter to select the frequency of the desired radio signal out of all the radio waves picked up by its antenn ...
, except that the attenuation exceeds the preset ripple for the peak closest to the origin. Zolotarev polynomials can be used to synthesise the radiation patterns of linear
antenna array An antenna array (or array antenna) is a set of multiple connected antennas which work together as a single antenna, to transmit or receive radio waves. The individual antennas (called ''elements'') are usually connected to a single receiver ...
s, first suggested by D.A. McNamara in 1985. The work was based on the filter application with beam angle used as the variable instead of frequency. The Zolotarev beam pattern has equal-level sidelobes.Hansen, p.87


References


Bibliography

* Achieser, Naum, Hymnan, C.J. (trans), ''Theory of Approximation'', New York: Frederick Ungar Publishing, 1956. Dover reprint 2013 . * Beebe, Nelson H.F., ''The Mathematical-Function Computation Handbook'', Springer, 2017 . * Cameron, Richard J.; Kudsia, Chandra M.; Mansour, Raafat R., ''Microwave Filters for Communication Systems'', John Wiley & Sons, 2018 . * Hansen, Robert C., ''Phased Array Antennas'', Wiley, 2009 . * McNamara, D.A.
"Optimum monopulse linear array excitations using Zolotarev Polynomials"
''Electron'', vol. 21, iss. 16, pp. 681–682, August 1985. * Newman, D.J., Reddy, A.R.
x^n II"">"Rational approximations to x^n II"
''Canadian Journal of Mathematics'', vol. 32, no. 2, pp. 310–316, April 1980. * Pinkus, Allan, "Zolotarev polynomials", in, Hazewinkel, Michiel (ed), ''Encyclopaedia of Mathematics, Supplement III'', Springer Science & Business Media, 2001 . * Vlček, Miroslav, Unbehauen, Rolf
"Zolotarev polynomials and optimal FIR filters"
''IEEE Transactions on Signal Processing'', vol. 47 , iss. 3, pp. 717–730, March 1999
corrections
July 2000). * Zahradnik, Pavel; Vlček, Miroslav, "Analytical design of 2-D narrow bandstop FIR filters", pp. 56–63 in, ''Computational Science — ICCS 2004: Proceedings of the 4th International Conference'', Bubak, Marian; van Albada, Geert D.; Sloot, Peter M.A.; Dongarra, Jack (eds), Springer Science & Business Media, 2004 {{ISBN, 3540221298. Polynomials Approximation theory