Abstract
The first part of this paper complements previous results on characterization of polynomials of least deviation from zero in Sobolev p-norm (\(1<p<\infty \)) for the case \(p=1\). Some relevant examples are indicated. The second part deals with the location of zeros of polynomials of least deviation in discrete Sobolev p-norm. The asymptotic distribution of zeros is established on general conditions. Under some order restriction in the discrete part, we prove that the n-th polynomial of least deviation has at least \(n-\mathbf {d}^*\) zeros on the convex hull of the support of the measure, where \(\mathbf {d}^*\) denotes the number of terms in the discrete part.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathbb {P}\) be the linear space of polynomials, \(\Vert \cdot \Vert \) be a norm defined on \(\mathbb {P}\) and \(\mathbb {P}^1_n\) be the subset of all polynomials of degree \(n \in \mathbb {Z}_+\) whose leading coefficient is equal to one (monic). A classic problem in analysis is the existence, uniqueness and characterization of the monic polynomial of degree \(n \in \mathbb {Z}_+\) with minimum deviation from zero with respect to the norm \(\Vert \cdot \Vert \), i.e., the polynomial \(P_n(z)=z^n+ \dots \) such that
A polynomial \(P_n \in \mathbb {P}^1_n\) that satisfies (1) is called polynomial of least deviation from zero with respect to \(\Vert \cdot \Vert \), for brevity, a n-th minimal (or extremal) polynomial with respect to \(\Vert \cdot \Vert \). This problem has its origin in the study carried out by P. L. Chebyshev on the decrease in the friction in the joints of the Watt parallelogram that converts the movement of the piston of the steam engine into wheel rotation. As a consequence, what we know today as Chebyshev polynomials were discovered (c.f. [3, Ch. 1]). It is well-known that Chebyshev monic polynomials of the first kind are minimal with respect to the uniform norm at \( [- 1,1] \) and that those of the second kind are minimal with respect to the usual norm at \(L^1[-1,1]\) (c.f. [5, §6.6] or [6, §3.3] ). Let us mention that these works constituted a starting point of the general theory of orthogonal polynomials. Today, minimal polynomials are of great interest in various areas such as approximation theory, potential theory, optimization of numerical algorithms, and signal processing.
Note that, any polynomial \(Q \in \mathbb {P}^1_n\) could be written as \(Q(z)=z^n-q(z)\) with \(q \in \mathbb {P}_{n-1}\). Let \(q_0\) be a fixed element of \(\mathbb {P}_{n-1}\) and define the associated subset
As \(\mathbb {A}_{n,0}\) is a compact subset of \(\mathbb {P}_{n-1}\), there exists \(q_1 \in \mathbb {P}_n\) such that \(\Vert x^n-q_1\Vert \le \Vert x^n-q\Vert \) for all \(q \in \mathbb {P}_{n-1}\), in virtue of the arbitrariness of \(q_0\). Hence, the existence of a minimal polynomial is guaranteed. However, the uniqueness of the minimal polynomial with respect to (2) is not always ensured, as we will show in some of our case studies.
Nevertheless, it is straightforward to prove that \(\mathbb {M}_n\) (the set of all monic minimal polynomials with respect to \(\Vert \cdot \Vert \) of degree n) is a convex set. Indeed, if \(Q_n, R_n \in \mathbb {M}_n\) and \(\lambda \in [0,1]\), then \(P_n(x)=\lambda Q_n+ (1-\lambda ) R_n(x)\) is also an element of \(\mathbb {M}_n\) since
In this paper, we are interested in the case in which the norm \(\Vert \cdot \Vert \) is as we define below. Let \(1\le p<\infty \) and consider the vector of measures \({\mu }= (\mu _0,\mu _1,\dots ,\mu _m)\), for \(m\in \mathbb {Z}_+\), where \(\mu _k\) is a positive finite Borel measure with \(\mathop {\hbox {supp}}\mu _k\subset \mathbb {R}\) and \(\mathbb {P}\subset L^1\left( \mu _k\right) \) for \(k=0,1,\dots ,m\). Denote by \(\Delta _k\) the convex hull of \(\mathop {\hbox {supp}}\mu _k\), that is, the smallest interval containing \(\mathop {\hbox {supp}}\mu _k\). Let \(f^{(k)}\) denote the k-th derivative of a function f. If \(\Delta _0\) contains infinite elements, the expression
defines a norm over \(\mathbb {P}\) known as the Sobolev p-norm and the vector of measures \({\mu }\) is called standard. If each measure \(\mu _k\), \(0\le k \le m\) satisfies \(\mu _k(\{x\})=0\) for all \(x \in \mathbb {R}\), we say that the vector of measures \({\mu }\) is continuous.
First, observe that for \(m=0\), this norm reduces to the usual \(L^p\left( \mu _0\right) \) norm. We will call n-th Sobolev minimal polynomial with respect to \(\Vert \cdot \Vert _{p,{\mu }}\), to any polynomial \(P_n \in \mathbb {P}^1_n\) that is a solution of the minimal problem (1).
For the norm (2) with \({\mu }\) standard, we consider two different cases:
- Continuous Sobolev norms,:
-
if \({\mu }\) is continuous.
- Discrete Sobolev norms,:
-
if for every \(k=1, \ldots , m\) the measure \(\mu _k\) is supported on a finite number of points.
It is said that a Sobolev p-norm is sequentially dominated if \(\mathop {\hbox {supp}}\mu _k\subset \mathop {\hbox {supp}}\mu _{k-1}\) and \( \hbox {d}\mu _k = f_{k-1}\hbox {d}\mu _{k-1}\) where \(f_{k-1} \in L_{\infty }(\mu _{k-1})\) and \(k = 1,\ldots ,m\). Furthermore, the norm (2) on \(\mathbb {P}\) is said to be essentially sequentially dominated, if there exists a sequentially dominated norm that is equivalent to (2). As usual, two norms \(\Vert \cdot \Vert _1\) and \(\Vert \cdot \Vert _2\) on a given normed space \(\mathbb {X}\) are said to be equivalent if there exist positive constants \(c_1,c_2\) such that \( c_1\Vert x\Vert \le \Vert x\Vert \le c_2\Vert x\Vert \) for all \(x\in \mathbb {X}\).
The notions of sequentially dominated norm and essentially sequentially dominated norm were introduced in [15, 20], respectively. Both notions are closely related to the uniform boundedness of the distance between the zeros of sequences of minimal polynomials and the support of the measures involved in (2). For more details on this aspect in the continuous case, we refer the reader to [11, 16] for \(p=2\), [17, 18] for \(1<p<\infty \) and [8, 9, 13] for \(p=2\) and measures with unbounded support.
Let \(N \in \mathbb {Z}_+\), \(\Omega =\{ c_1,\dots ,c_N\}\subset \mathbb {C}\), \(\{m_0,\dots ,m_N\} \subset \mathbb {Z}_+\) and \(m=\max \{m_0,\dots ,m_N\}\). In the discrete case, we will restrict our attention to Sobolev p-norm under the following assumptions:
-
\(\displaystyle \mu _0=\mu +\sum \nolimits _{j=1}^N A_{j,0}\delta _{c_j}\), where \( A_{j,0}\ge 0\), \(\mu \) is a finite positive Borel measure, \(\mathop {\hbox {supp}}{\mu } \subset \mathbb {R}\) with infinitely many points, \(\mathbb {P}\subset L^{1}(\mu )\) and \(\delta _{x}\) denotes the Dirac measure with mass one at the point x.
-
For \(k=1,\dots ,m\); \(\displaystyle \mu _k=\sum \nolimits _{j=1}^N A_{j,k}\delta _{c_j}\) where \(A_{j,k}\ge 0\), \(A_{j,m_j}>0\), and \(A_{j,k}=0\) if \(m_j<k\le m\).
We say that a discrete Sobolev p-norm is non-lacunary if \(A_{j,k}>0\) for all \(0\le k \le m_j\) and \(0 \le j \le N\). In any other case, we say that the discrete Sobolev p-norm is lacunary. Obviously, a discrete Sobolev p-norm is non-lacunary if and only if is sequentially dominated. A discrete Sobolev p-norm is essentially non-lacunary if it is equivalent to a non-lacunary norm.
It is known that the minimal polynomial in \(L^p(\mu _0)\) spaces (\(m=0\)) satisfies the following characterization (see [4, Sec.2.2 and Ex 7-h]). A monic polynomial \(P_n\) is the n-th minimal polynomial in \(L_p(\mu _0)\) if and only if
In [10, Th.4], the authors provide the following extension of this characterization to the Sobolev case when \(1<p<\infty \).
Theorem 1
Consider the Sobolev p-norm (2) for \(1<p<\infty \). Then, the monic polynomial \(P_n\) is the n-th Sobolev minimal polynomial if and only if
for every polynomial \(q\in \mathbb {P}_{n-1}\).
The results in this work complement previous ones in [10, §2]. There, for \( 1<p <\infty \), Theorem 1, Proposition 1, and Corollary 1 were proved.
The aim of Sect. 2 is to extend Theorem 1 to the case \(p=1\). In Theorem 2, we give a general sufficient condition for existence of a minimal polynomial with respect to (2) (\( 1\le p <\infty \)). For \(p=1\), this condition is not necessary, as we show in Examples 2 and 3. Furthermore, Example 1 shows that it does not guarantee uniqueness either. Theorem 3 establishes a necessary and sufficient condition under which (3) characterizes minimality with respect to (2) when \(p=1\).
The last two sections deal with discrete Sobolev norms. In Sect. 3, for essentially non-lacunary Sobolev norms, we give a sufficient condition for the uniform boundedness of the set of zeros of a sequence on minimal polynomials \(\{P_n\}\) (see Theorem 4). Moreover, the asymptotic distribution of zeros is established in Theorem 5. Finally, in Sect. 4, we introduce the notion of sequentially ordered Sobolev p-norm. Under this assumption, we prove Theorem 7, which generalizes several known results on the number of zeros of the n-th polynomial of least deviation inside the convex hull of the support of the measure \(\mu \).
2 Polynomials of Least Deviation from Zero When \(p=1\)
Let us first recall a basic property of the Sobolev norm (2). Let R be a monic polynomial with complex coefficients, and let us write \(R=R_1+iR_2\), where \(R_1\) and \(R_2\) are polynomials with real coefficients. Note that \(R_1\) is also a monic polynomial with the same degree of R and satisfying
Therefore, any n-th Sobolev minimal polynomial with respect to \(\Vert \cdot \Vert _{p,{\mu }}\) has real coefficients.
Proposition 1
([10, Prop. 1]) Let \(\Vert \cdot \Vert _{p,{\mu }}\) be the Sobolev-type norm defined by (2), with \(1<p< \infty \). Then, there exists a unique \(P_{n} \in \mathbb {P}^1_n\) such that \(\displaystyle \Vert P_{n}\Vert _{p,{\mu }}= \inf _{Q_n \in \mathbb {P}^1_{n}} \Vert Q_n\Vert _{p,{\mu }}.\)
Theorem 2
(Sufficient condition) Consider the Sobolev p-norm (2) for \(1\le p<\infty \), when \({\mu }=(\mu _0,\dots ,\mu _m)\) is a standard vector measure. If \(P_n \in \mathbb {P}^1_n\) is such that for all \(q\in \mathbb {P}_{n-1}\)
then \(P_n\) is a minimal polynomial with respect to \(\Vert \cdot \Vert _{p,{\mu }}\).
Proof
If \(1<p<\infty \) the proof is carried out as the proof of the sufficiency in [10, Th. 4], step by step.
Hence, in what follows, we consider \(p = 1\). Write \(P_n(z)= z^n-q_0(z)\) where \(q_0\in \mathbb {P}_{n-1}\), let \(q\in \mathbb {P}_{n-1}\) arbitrary and assume that (4) holds, then
and taking absolute value, we have
which is equivalent to the assertion of the theorem for \(p=1\). \(\square \)
In [10, Th. 4], it was proved that if \(1<p <\infty \), condition (4) is also necessary, i.e., Theorem 2 is a characterization of the extremality in this case.
With the same arguments as in [10, Cor. 1 and Cor. 2], we have the following corollary.
Corollary 1
Under the assumptions of Theorem 2, if \(P_n \in \mathbb {P}^1_n\) satisfies condition (4), then
-
1.
For all \(n\ge 1\), \(P_{n}\) has at least one zero of odd multiplicity on .
-
2.
For all \(n\ge 2\), \(P_{n}^{\prime }\) has at least one zero of odd multiplicity on .
where \(\mathbf {Co}\!\left( A \right) \) and denote the convex hull and the interior of a set A, respectively.
Observe that if \(p=1\), the condition (4) only depends on the sign of \(P_n\) and its derivatives on the support of the corresponding measure and not on the values of the polynomial itself. Consequently, unlike what happens in the case \(1<p<\infty \), if \(p=1\), we lose the uniqueness of the minimal polynomial, as can be seen in the following examples. Furthermore, in Example 2, we obtain a minimal polynomial that does not satisfy the condition (4).
Example 1
(Continuous case)
Consider the Sobolev norm associated with the vector of measures \({\mu }=(\nu |_{[-2,0]},\nu |_{[0,1]})\), where \(\nu |_{[a,b]}\) denotes the Lebesgue measure over the real interval [a.b],
Let \( P_{a,2}(x)=(x+1)(x-a)\), with \(a \in [ 0,1]\), a family of monic polynomials of degree 2. Note that
Then, from Theorem 2, the polynomials \( P_{a,2}\) with \(0 \le a \le 1\) are all minimal with respect to (5).
Furthermore, note that the minimal polynomials \(P_{a,2}(x)=(x+1)(x-a)\) for all \(0\le a \le 1\) are the convex combinations of the minimal polynomials \(x^2-1\) and \(x^2+x\).
Example 2
(Discrete case)
Consider the Sobolev norm associated with \({\mu }=(\nu |_{[-2,0]},\delta _{0})\), where \(\delta _{0}\) is the Dirac measure with mass one at \(x=0\),
Let \( P_{b,2}(x)=(x+1)(x-b)\), with \(b \in [ 0,1)\), a family of monic polynomials of degree 2. Note that
Then, from Theorem 2, the polynomials \( P_{b,2}\) with \(0\le b < 1\) are all minimal with respect to (6) and \(\Vert P_{b,2}\Vert _{1,{\mu }}=2\).
Furthermore, if \(b=1\), the polynomials \( P_{1,2}(x)=x^2-1\) is minimal and does not satisfy condition (4). Indeed,
If \(1<p<\infty \), from [10, Th. 4], we know that all minimal polynomials with respect to (2) (continuous or discrete case) satisfy the condition (4). But as seen in Example 2, this statement is not true when \(p=1\). It can even happen that there is no minimal polynomial satisfying (4).
Example 3
Consider the following discrete Sobolev norm,
Then, \(P_3(x)=x^3\) is the only third minimal Sobolev polynomial with respect to \(\Vert \cdot \Vert _{1,{\mu }}\) and does not satisfy the sufficient condition (4).
-
1.
Note that for every polynomial \(Q_n\), we have
$$\begin{aligned} \Vert (-1)^nQ_n(-x)\Vert _{1,{\mu }}= \int _{-1}^1 |Q_n(-x)|\hbox {d}x+|Q^{\prime }_n(0)|=\Vert Q_n\Vert _{1,{\mu }}. \end{aligned}$$ -
2.
Then, if \(S_n\) is a minimal polynomial of degree n, the monic polynomial \((-1)^nS_n(-x)\) is also extremal. From the convexity of the set of minimal polynomials,
$$\begin{aligned} P_n(x)=\frac{1}{2} S_n(x)+\frac{(-1)^n}{2}S_n(-x) \end{aligned}$$is an odd or even polynomial, according to the parity of n, and a monic minimal polynomial too.
-
3.
For \(n=3\), let \(P_3(x)= x^3+cx\) where \(c\in \mathbb {R}\) a monic odd polynomial and
$$\begin{aligned} F(c)=\Vert x^3+cx\Vert _{1,{\mu }} = \int _{-1}^1 |x^3+cx|\hbox {d}x + |c| = \left\{ \begin{array}{ll} -2c-\frac{1}{2}, &{}\quad c \le -1; \\ [.3em] c^{2}+\frac{1}{2}, &{} \quad -1<c<0;\\ [.3em] 2c+\frac{1}{2}, &{}\quad 0 \le c. \end{array}\right. \end{aligned}$$It is straightforward to see that the global minimum of F is attained at \(c=0\). Therefore, \(P_3(x)= x^3\) is a minimal polynomial.
-
4.
The polynomial \(P_3(x)= x^3\) does not satisfy (4). Indeed,
$$\begin{aligned} \langle P_3,x\rangle _{1,{\mu }}=\int _{-1}^1 x\, {\mathop {\hbox {sgn}}\!}\left( x^3 \right) \hbox {d}x=\int _{-1}^1 |x|\hbox {d}x=1\ne 0. \end{aligned}$$ -
5.
Finally, we will prove the uniqueness. As \(P_3 \in \mathbb {P}^1_3\) is the only odd minimal polynomial of degree 3, and that any minimal Sobolev polynomial \(S_3 \in \mathbb {P}^1_3\) is such that
$$\begin{aligned} x^3=\frac{1}{2}S_3(x)-\frac{1}{2}S_3(-x). \end{aligned}$$Since \(\displaystyle \Vert x^3\Vert _{1,{\mu }}= \frac{1}{2}\Vert S_3\Vert _{1,{\mu }}+\frac{1}{2}\Vert -S_3(-x)\Vert _{1,{\mu }}\), we get
$$\begin{aligned} 0 \ge \int _{-1}^{1}\left( |x^3|-\frac{1}{2}|S_3(x)|-\frac{1}{2}|S_3(-x)|\right) \hbox {d}x=&|S'_3(0)| \ge 0, \end{aligned}$$which implies that \(|x^3|=\frac{1}{2}|S_3(x)|+\frac{1}{2}|S_3(-x)|\) and \(|S_3'(0)|=0\). Consequently, \(S_3(0)=S_3'(0)=0\) and \(S_3\) takes the form \(S_3(x)=x^3+cx^2\), with \(c\in \mathbb {R}\). Since \(c\ne 0\), we arrive at the contradiction
$$\begin{aligned} \Vert S_3\Vert _{1,{\mu }}=\int _{-1}^1|x^3+cx^2|\hbox {d}x=\left\{ \begin{array}{ll} \frac{1}{2}+\frac{1}{6}\,c^4, &{}\quad |c|< 1; \\ [.3em] \frac{2}{3}|c|, &{}\quad |c| \ge 1. \end{array}\right. >\frac{1}{2}=\Vert x^3\Vert _{1,{\mu }}. \end{aligned}$$So, \(P_3(x)=x^3\) is the only minimal Sobolev polynomial of degree 3.
Note that in this example, we have obtained the only monic minimal polynomial of degree 3 with respect to (7), and it does not satisfy the sufficient condition. This is exclusive to the discrete case. If the vector measure \({\mu }\) is continuous, the sufficient condition (4) is also necessary.
Theorem 3
Let \({\mu }=(\mu _0,\mu _1,\dots ,\mu _m)\) be a continuous standard vector measure. Then, \(P_n\) is an n-th Sobolev minimal polynomial with respect to \(\Vert \cdot \Vert _{1,{\mu }}\) if and only if
Proof
From Theorem 2, it only remains to prove that the condition (8) is necessary for the extremality. Without loss of generality, we can assume that \(\deg {P_n}\ge m\), since if \(n<m\) we have
Suppose that \(P_n\in \mathbb {P}^1_n\) is a minimal polynomial with respect to \(\Vert \cdot \Vert _{1,{\mu }}\) and (8) does not hold. Then there exists \(h\in \mathbb {P}_{n-1}\) such that \(\langle P_n , h\rangle _{1,{\mu }}\ne 0\). Multiplying h by a constant, we can assume \(\langle P_n , h\rangle _{1,{\mu }}>0\), without loss of generality.
Let \(x_{k,1}<x_{k,2}<\dots <x_{k,n_k}\) be the zeros of \(P_n^{(k)}\) which lie on . For each \(\ell \in \mathbb {N}\) and \(k=0,\dots ,m\), denote
Note that \(\left\{ A_{k,\ell }\right\} _{\ell }\) is a sequence of compact subsets of , such that , where \(\Lambda _k=\{x_{k,1},x_{k,2},\dots ,x_{k,n_k}\}\). Let , so \(\displaystyle \lim _{\ell \rightarrow \infty }B_{k,\ell }= \Lambda _k\).
As \({\mu }\) is a vector of continuous measures, for every \(k=0,1,\dots ,m\), we have
Therefore,
Hence, for \(\ell _0 \in \mathbb {N}\) sufficiently large,
Since every set \(A_{k,\ell _0}\), \(k=0,1,\dots ,m\) is compact and \(\Lambda _k \cap A_{k,\ell _0}=\emptyset \), we get
From the compactness of \(A_{k,\ell _0}\), we also obtain that
is finite and positive. Then, we can choose \(\lambda >0\) such that \(\displaystyle 0<\lambda <\frac{\delta }{\delta _h}.\)
Therefore, for each \(k=0,1,\dots ,m\), we have \(\displaystyle |\lambda h^{(k)}(x)|<\delta \le |P_n^{(k)}(x)|\) for all \(x\in A_{k,\ell _0}\) and
Finally,
which is a contradiction with the extremality of \(P_n\). \(\square \)
3 Lacunary and Non-lacunary Discrete Sobolev Norms
Most of the formulas given here are known to the specialist, although precise references may be hard to find in the literature. Therefore, we include this section with full proofs for completeness, except when an exact reference is available.
Consider a finite positive Borel measure \(\mu \), being \(\mathop {\hbox {supp}}{\mu }\) a subset of the real line with infinitely many points such that \(\mathbb {P}\subset L^{1}(\mu )\). In the remainder, we assume that \(N \in \mathbb {Z}_+\), \(\Omega =\{ c_1,c_2,\dots ,c_N\}\subset \mathbb {R}\), \(\{m_0,m_1,\dots ,m_N\} \subset \mathbb {Z}_+\) and \(m=\max \{m_0,m_1,\dots ,m_N\}\). Let \({\mu }=(\mu _0,\mu _1,\dots ,\mu _m)\) be the standard vector measure. For each \( 1 \le p<\infty \), let us consider the general discrete Sobolev norm
where \(\Delta \) is the convex hull of the support of the measure \(\mu \). Notice that unlike (2), the representation (9) of \(\Vert \cdot \Vert _{p, {\mu }}\) is not unique, but depends on how many Dirac measures, of the discrete part of \(\mu _0\), are included in the measure \(\mu \). In general, the representation (9) is unique once the measure \(\mu \) is fixed, so this dependence will be omitted for brevity.
If there exists a constant M such that
we say that the multiplication operator is bounded on \(\mathbb {P}\) with respect to \(\Vert \cdot \Vert _{p,{\mu }}\). The close relation between (10) and the uniform boundedness of the set of zeros of sequences of minimal polynomials was established in [15]. Since then, several studies have been published on this subject.
Proposition 2
Assume that the discrete Sobolev norm (9) is non-lacunary and \(\Delta \) is bounded, then for each \(q \in \mathbb {P}\), we have
Proof
Notice that \((x q)^{(k)}=x q^{(k)}+k q^{(k-1)}, \quad k\in \mathbb {N}.\) Therefore,
\(\square \)
If \(\Vert \cdot \Vert _{p,{\mu }}\) is a lacunary Sobolev norm defined as in (9), we define the associated non-lacunary norm as \(\Vert \cdot \Vert _{p,{\mu }^*}\)
where \(\displaystyle A_{j,k}^*=\left\{ \begin{array}{ll} A_{j,k}, &{} \hbox {if } A_{j,k}>0 \text { or }m_j<k \le m; \\ 1, &{} \hbox {in other case}. \end{array} \right. \)
Proposition 3
Let \(\Vert \cdot \Vert _{p,{\mu }}\) be a lacunary Sobolev norm defined as in (9), with \(\varDelta \) bounded. Then, there exists a constant M such that \(\Vert x q\Vert _{p,{\mu }} \le M \Vert q\Vert _{p,{\mu }}\) for all \(q \in \mathbb {P}\) if and only if the lacunary norm (9) and the associated non-lacunary norm (11) are equivalents (i.e., \(\Vert \cdot \Vert _{p,{\mu }}\) is essentially non-lacunary).
Proof
Assume that a lacunary norm defined as in (9) is equivalent to its associated non-lacunary norm (11). From Proposition 2, it is straightforward that there exists a constant M such that \(\Vert x q\Vert _{p,{\mu }} \le M \Vert q\Vert _{p,{\mu }} \).
Now, suppose that the multiplication operator is bounded on \(\mathbb {P}\) with respect to the lacunary norm \(\Vert \cdot \Vert _{p,{\mu }}\), then there exist \(M>0\) : \(\Vert xq\Vert _{p,{\mu }}\le \Vert q\Vert _{p,{\mu }}\), \(q\in \mathbb {P}\). From (11), obviously \(\Vert q\Vert _{p,{\mu }} \le \Vert q\Vert _{p,{\mu }^*}\). Furthermore, from definition
where \(I_j=\{k: A_{j,k}=0 \text { and } 0\le k < m_j\}\). Therefore, the remainder of the proof is devoted to find a constant \(K^*\) such that
To achieve this purpose, it is sufficient to prove that for every j and \(0\le k < m_j\), there exists a constant \(K_{j,k}>0\) satisfying
In this case, taking \( \displaystyle K^{*} = \left( \sum _{j=1}^N \sum _{k\in I_j} K_{j,k}^p\right) ^{1/p}\), we get (12).
To prove the inequality (13), note that
where \(\displaystyle c^*= \max _{1\le j \le N}|c_j|\). If \(m_j-k=1\), and \(q\in \mathbb {P}\)
where \(\displaystyle K_{j,m_j-1}= \frac{M+|c^*|}{A_{j,m_j}} \ne 0\) and we get (13) for \(k= m_j-1\).
We now proceed by induction.
-
1.
\([m_j-k=\ell ]\) Assume that (13) holds for \(k=m_j-\ell \), i.e., there exists a constant \( K_{j,m_j-\ell }\ne 0\) such that
$$\begin{aligned} \left| q^{(m_j-\ell )}(c_j)\right| \le K_{j,m_j-\ell }\; \Vert q\Vert _{p,{\mu }}. \end{aligned}$$ -
2.
\([m_j-k=\ell +1]\) If \(k=m_j-\ell -1\), from (14) and the induction hypothesis
$$\begin{aligned} \left| q^{(m_j-\ell -1)}(c_j)\right| \le&\left| (xq)^{(m_j-\ell )}(c_j)\right| + |c^*| \left| q^{(m_j-\ell )}(c_j)\right| \\ \le&K_{j,m_j-\ell }\; \Vert xq\Vert _{p,{\mu }}+K_{j,m_j-\ell }\;|c^*| \, \Vert q\Vert _{p,{\mu }} \le K_{j,m_j-\ell -1}\;\Vert q\Vert _{p,{\mu }}, \end{aligned}$$
where \(K_{j,m_j-\ell -1}= (M+|c^*|) K_{j,m_j-\ell }\). \(\square \)
Theorem 4
If (9) is essentially non-lacunary, then the set of zeros of a minimal polynomial sequence is uniformly bounded.
Proof
Let (9) be an essentially non-lacunary Sobolev norm and (11) its associated non-lacunary Sobolev norm. From Proposition 3, there exist constants \(C_1,C_2>0\) such that \(C_1\,\Vert q\Vert _{p,{\mu }^*}\le \Vert q\Vert _{p,{\mu }} \le C_2\,\Vert q\Vert _{p,{\mu }^*}\) for all \(q \in \mathbb {P}\). Moreover, from Proposition 2, there exists another constant \(C_3>0\) such that \( \Vert z\,q\Vert _{p, {\mu }^*} \le C_3\,\Vert q\Vert _{p,{\mu }^*}\) .
If \(P_n\) is a minimal polynomial of degree n and \(P_n(z_0)=0\), there exists a monic polynomial q of degree \(n-1\) such that \(P_n(z)= (z-z_0)q(z)\). As \(P_n\) is minimal
Then,
which completes the proof. \(\square \)
3.1 Asymptotic Distribution of Zeros
To state the result on the zero distribution of minimal polynomials with respect to an essentially non-lacunary norm, we need to introduce some concepts and notations.
-
For any polynomial q of exact degree n, we denote \(\displaystyle \vartheta (q)= \dfrac{1}{n}\sum \nolimits _{j=1}^n\delta _{z_j},\) where \(z_1,\dots ,z_n\) are the zeros of q repeated according to their multiplicity. This is the so called normalized counting measure associated with q.
-
If \(\Delta =\mathop {\hbox {supp}}\mu \) is regular (a compact subset of the complex plane is said to be regular if the unbounded connected component of its complement is regular with respect to the Dirichlet problem), the measure \(\mu \in \mathbf {Reg}\) if and only if
$$\begin{aligned} \lim _{n\rightarrow \infty } \left( {\frac{\Vert q_n\Vert _{\Delta }}{\Vert q_n\Vert _{ p,\mu }}}\right) ^{1/n} = 1, \end{aligned}$$(15)for every sequence of polynomials \(\{q_n\}\), \(\deg {q_n}\le n\), \(q_n\not \equiv 0\) (cf. [21, Th 3.4.3]), where \(\Vert \cdot \Vert _{\mathscr {A}}\) denotes the supremum norm on \(\mathscr {A}\subset \mathbb {C}\).
-
Given a compact set \(\mathscr {A} \subset \mathbb {C}\), \(\mathrm {cap}\!\left( \mathscr {A} \right) \) denotes the logarithmic capacity of \(\mathscr {A}\), \(\omega _{\mathscr {A}}\) the equilibrium measure on \(\mathscr {A}\) and \(\displaystyle G_{\mathscr {A} }(z;\infty )\) the corresponding Green’s function with singularity at infinity (cf. [19, 21]).
-
Let \(T_n\) be the n-th monic minimal polynomial with respect to \(\Vert \cdot \Vert _{\Delta }\), i.e., the n-th Chebyshev polynomial with respecto to \(\Delta \). It is known that
$$\begin{aligned} \lim _{n\rightarrow \infty } \Vert T_n\Vert ^{1/n}_{\Delta }= \mathrm {cap}\!\left( \Delta \right) . \quad [19, \hbox {Cor. }5.5.5] \end{aligned}$$(16)
To determine the asymptotic distribution of zeros of sequences of minimal polynomials in this section, we need the following lemma.
Lemma 1
[15, Lemma 3] Let E be a compact regular subset of the complex plane and \(\displaystyle \lbrace q_n\rbrace \) a sequence of polynomials such that \(\deg {q_n}\le n\) and \(q_n\not \equiv 0\). Then, for all \(k\in \mathbb {Z}_{+}\),
The following theorem is the main result of this section and is valid for discrete Sobolev norms, whether lacunary or not. For \(p=2\), the theorem was proved in [15, Th. 5], and for continuous Sobolev norms in [17, Th. 2]. The scheme of the proof is quite similar to the previous ones.
Theorem 5
Consider a discrete Sobolev p-norm (9), such that \(\mu \in \mathbf {Reg}\) and \(\Delta \) is a bounded real interval. If \(\{P_n\}\) is the sequence of monic minimal polynomials with respect to (9), then for all \(j\ge 0\)
Proof
Firstly, the compact set \(\Delta \) has empty interior and connected complement, and under these conditions (see [2, Th. 2.1]), we have that (18) implies (19).
Let \(T_n\) be the n-th monic minimal polynomial with respect to \(\Vert \cdot \Vert _{\Delta }\), i.e., the n-th Chebyshev polynomial with respecto to \(\Delta \). From (16), it is straightforward to see that for all sequence \(\{ Q_n \}_{n\in \mathbb {Z}_+}\) of monic polynomials \(Q_n\) of degree n
If \( \rho (z)= \prod _{j=1}^N (z-c_j)^{m_j+1}\) and \(n\ge \mathbf {d}:=N+\sum _{j=1}^{N}\!m_j\), we get
From (15)–(16), \(\displaystyle {{\,\mathrm{\overline{lim}}\,}}_{n\rightarrow \infty }\Vert P_n\Vert ^{1/n}_{\Delta }\le \mathrm {cap}\!\left( \Delta \right) \). Therefore, as \(\Delta \) is a compact regular set, from (17), we have for every \(j \ge 0\)
Finally, from (20)–(21), we get (18). \(\square \)
If the norm (9) is essentially non-lacunary, from Theorem 4, we know that there exists a constant M such that
where \(\{P_n\}\) is a sequence of minimal polynomials with respect to (9) (\(\text{ deg }(P_n)=n\)). Under this consideration, we have the following asymptotic results.
Corollary 2
Assume that \(\{P_n\}\) is the sequence of minimal polynomials with respect to an essentially non-lacunary norm (9), where \(\Delta \) is regular and \(\mu \in \mathbf {Reg}\). Then, for all \(j\in \mathbf {Z}_+\)
-
1.
\(\displaystyle {{\,\mathrm{\overline{lim}}\,}}_{n\rightarrow \infty }\left| P_n^{(j)}(z)\right| ^{1/n}=\mathrm {cap}\!\left( \Delta \right) e^{G_{\Delta }(z;\infty )}, \) for every \(z\in \mathbb {C}\) except for a set of capacity zero,
-
2.
\(\displaystyle \lim \nolimits _{n\rightarrow \infty }\left| P_n^{(j)}(z)\right| ^{1/n}=\mathrm {cap}\!\left( \Delta \right) e^{G_{\Delta }(z;\infty )}\), uniformly on compact subsets of \(\Omega = \mathbb {C}{\setminus } D_M\).
-
3.
\(\displaystyle \lim \nolimits _{n\rightarrow \infty }\frac{P_n^{(j+1)}(z)}{nP_n^{(j)}(z)}=\int _{\Delta }\frac{d\omega _{\Delta }(x)}{z-x}\), uniformly on compact subsets of \(\Omega \).
Proof
From Proposition 3, it is sufficient to prove the corollary for non-lacunary norms. As it was commented for the case \(p=2\) in the last paragraph of [15], the proof here follows [17, Th. 6] point by point to get the desired result. \(\square \)
4 Sequentially Ordered Discrete Sobolev Norm
If the discrete Sobolev norm (9) is non-lacunary, it is easy to prove that the n-th minimal Sobolev polynomial has all its the zeros located on \(\Delta \), except a number of them equal to the amount of nonzero values \(A_{j,k}\) in the discrete part of (9); see Proposition 4. In this section, we extend this result to lacunary Sobolev norms when the discrete part of (9) satisfies certain order condition.
Fix \(1<p<\infty \) and a standard vector measure \({\mu }\) such that \(\Vert \cdot \Vert _{p,{\mu }}\) is a discrete Sobolev norm defined by (9) and satisfying for \(j=1,2,\dots ,N\). As in the previous section, consider the polynomial
of degree \( \mathbf {d}=N+\sum _{j=1}^{N}\!m_j\) and positive on (a, b). If \(n > \mathbf {d}\) and \(P_n\) is the n-th minimal polynomial with respect to (9), from Theorem 1
for every \(q\in \mathbb {P}_{n- \mathbf {d}-1}\). Hence, the polynomial \(P_n\) has at least \(n- \mathbf {d}\) changes of sign on , otherwise (22) lead us to a contradiction with
where q is the polynomial having a simple zero on each change of sign of \(P_n\) on (a, b). So, we have proved the following proposition, which is the extension of [12, Proposition 2.1] to the minimal case, \(1<p<\infty \).
Proposition 4
Let \(P_n\) be the n-th Sobolev minimal polynomial with respect to (9) (\(1<p<\infty \)), which satisfies for \(j=1,2,\dots ,N\), and \(n> \mathbf {d}\), then \(P_n\) has at least \((n- \mathbf {d})\) changes of sign on .
Proposition 4 can also be seen as a generalization of the zero location theorem for standard orthogonal polynomials (\(p=2\) and \(m=0\)). However, a result proved by M. G. Bruin already in 1993, see [7, Th. 4.1], seems to suggest that the number of zeros of \(P_n\) in does not depend only on the higher-order derivatives \(m_j\) of each point \(c_j\), but on the number of terms in the discrete part of (9)
where |A| denotes the cardinality of a set A.
This assumption became even stronger when the relative asymptotic of discrete Sobolev orthogonal polynomials [14, Theorem 4] was found. Finally, in [1], the authors proved it for the case when (9) has only one mass point (\(N=1\)).
Theorem 6
([1, Th. 2.2]) Let \(\mu \) be a standard measure such that . If \(P_n\) denotes the n-th Sobolev minimal polynomial with respect to
then \(P_n\) has at least \(n- \mathbf {d}^*\) changes of sign in .
The next examples show that this theorem is not longer true if we consider arbitrary mass point configurations with more than one point (i.e., \(N \ge 2\) in (9)), at least not for every value of n.
Example 4
(bounded case) Set
then
whose zeros are approximately \(\xi _{1}\approx 0.13 \), \(\xi _{2}\approx -5.62\), \(\xi _{3}\approx -1.26+1.56i\) and \(\xi _{4}\approx -1.26-1.56i\).
Example 5
(unbounded case) Set
then
whose zeros are approximately \(\xi _{1}\approx 0.78 \), \(\xi _{2}\approx -5.93\), \(\xi _{3}\approx 3.24+1.16i\) and \(\xi _{4}\approx 3.24-1.16i\).
Note that in both cases, three zeros of \(P_4\) are out of and two of them are non-real.
The first result treating the case \(N\ge 2\) in a general way is [12, Theorem 1]. Here, the authors give a result similar to Theorem 6 for \(N\ge 2\) in the case \(p=2\), and the discrete part of (9) satisfies certain order condition. The condition was called by the authors the sequentially order condition. Although the condition was enough for the purposes of the paper, it does not include the case of Theorem 6, when there is more than one order derivative at the same mass point \(c_j\). Following the same technique, we expand this condition a little bit more, in such a way that the case of Theorem 6 is included. We will remain calling it the sequentially order condition or we will simply say that the discrete Sobolev norm is sequentially ordered. The result is also generalized for the minimal case \(1<p<\infty \).
Definition 1
(Sequentially ordered Sobolev norm) We say that a discrete Sobolev norm \(\Vert \cdot \Vert _{p,{\mu }}\) defined by (9) is sequentially ordered if the conditions
We recall that \(\Delta _k:=\mathbf {Co}\!\left( \mathop {\hbox {supp}}{\mu _k} \right) \), so in the discrete case they can be rewritten as
Example 6
The following Sobolev discrete norms are sequentially ordered for any \(p\in [1,\infty )\) and a standard measure \(\mu \)
where \(A_{1,k}A_{2,k}=0\) for \(k=0,1,\dots ,\min \{\ell _1,\ell _2\}\).
Theorem 7
Let \({\mu }\) be a standard vector measure and \(1<p<\infty \). If \(\Vert \cdot \Vert _{p,{\mu }}\) is a sequentially ordered Sobolev norm written as (9), where \(\mu \) is taken in such a way , then \(P_n\) has at least \(n-\mathbf {d}^*\) changes of sign on .
It is worth noting that although the theorem is enunciated depending on which representation (9) of the Sobolev norm is considered, the definition of sequentially ordered Sobolev norm is independent of this representation. If what we are after is to locate the largest possible number of zeros, we should calculate \(\mathbf {d}^*\) in the theorem considering the representation (2), rather than (9). However, in this case, we would have the zeros located in the bigger set \(\Delta _0\supset \Delta \). Because of the assumption , this inclusion is strict except for the trivial case of (2) and (9) agree (\(\mu \equiv \mu _0\)).
Notice that both Examples 4 and 5 are not sequentially ordered. So, this order restriction in the discrete part seems to be optimal to have the most number of zeros simple and located on , at least for every value of n.
4.1 Proof of Theorem 7
Given a polynomial Q with real coefficients and a real set A, we introduce the following notations:
-
\(\mathbf {N}_{o}\!\left( Q;A\right) \) denotes the number of values on A where the polynomial Q vanishes, (i.e., zeros of Q on A without counting multiplicities).
-
\(\mathbf {N}_z\!\left( Q;A\right) \) denotes the total number of zeros (counting multiplicities) of Q on A.
The next lemma is an extension of [16, Lem. 2.1] and [12, Lem. 3.1].
Lemma 2
Let \(\{I_{k}\}_{k=0}^{m}\) be a set of intervals on the real line with \(m\in \mathbb {Z}_+\) and let Q be a polynomial with real coefficients of degree \(\ge m\). If
then
for every closed subinterval J of (both empty set and unitary sets are assumed to be intervals).
Proof
First, we are going to point out the following consequence of Rolle’s Theorem. If I is a real interval and J is a closed subinterval of , then
For \(m=0\) (24) trivially holds. We now proceed by induction on m. Suppose that we have \(m+1\) intervals \(\{I_i\}_{i=0}^{m}\) satisfying (23), and that (24) is true for the first m intervals \(\{I_{k}\}_{k=0}^{m-1}\). From (25), we obtain
\(\square \)
Corollary 3
Under the hypotheses of the above lemma, we have
for every J closed subinterval of . In particular for \(J=\emptyset \), we get
Definition 2
We say that a sequence of ordered pairs \(\{(r_i,\nu _i)\}_{i=1}^M \!\subset \mathbb {R}\times \mathbb {Z}_+\) is sequentially ordered, if \(\nu _1\le \nu _2 \le \cdots \le \nu _M\) and the set of intervals \( I_{k}=\mathbf {Co}\!\left( \{r_i:\nu _i=k\} \right) \), \(k=0,1,\dots , \nu _M, \) satisfy conditions (23).
Lemma 3
Let \(\{(r_i,\nu _i)\}_{i=1}^M\subset \mathbb {R}\times \mathbb {Z}_+\) be a sequence of M ordered pairs, then there exists a unique monic polynomial \(U_M\) of minimal degree (\(\le M\)), such that
Furthermore, if \(\{(r_i,\nu _i)\}_{i=1}^M\) is sequentially ordered, then the degree of \(U_M\) is \(\mathfrak {u}_{M}=\min \mathfrak {I}_{M}-1\), where
Proof
The existence of a non-identically zero polynomial with degree \(\le M\) satisfying (28) reduces to solving a homogeneous linear system of M equations with \(M+1\) unknowns (its coefficients). Thus, a non trivial solution always exists. In addition, if we suppose that there exist two different minimal monic polynomials \(U_M\) and \(\widetilde{U}_M\), then the polynomial \(\widehat{U}_M=U_M-\widetilde{U}_M\) is not identically zero, it satisfies (28), and \(\deg {\widehat{U}_M}<\deg {U_M}\). So, if we divide \(\widehat{U}_M\) by its leading coefficient, we reach a contradiction.
The rest of the proof runs by induction on the number of points M. For \(M=1\), the result follows taking
Suppose that for each sequentially ordered sequence of \(M-1\) ordered pairs, the corresponding minimal polynomial \(U_{M-1}\) has degree \(\mathfrak {u}_{M-1}\).
Let \(\{(r_i,\nu _i)\}_{i=1}^{M}\) be a sequentially ordered sequence of M ordered pairs. Obviously, \(\{(r_i,\nu _i)\}_{i=1}^{M-1}\) is a sequence of \(M-1\) ordered pairs which is sequentially ordered, \(\deg {U_{M}}\ge \deg {U_{M-1}}\), and from the induction hypothesis \(\deg {U_{M-1}}=\mathfrak {u}_{M-1}\). Now, we shall split the proof in two cases:
-
1.
If \(\mathfrak {u}_{M}=M\), then for all \(1\le i\le M\), we have \( \nu _i< i\), which yields
$$\begin{aligned} \deg {U_{M}}\ge \deg {U_{M-1}}=\mathfrak {u}_{M-1}=M-1 \ge \nu _{M}. \end{aligned}$$Since \(\{(r_i,\nu _i)\}_{i=1}^{M}\) is sequentially ordered, from (27), we get
$$\begin{aligned} M\le \sum _{i=0}^{\nu _{M}} \mathbf {N}_{o}\!\left( U_{M}^{(i)};I_i\right) \le \deg {U_{M}}, \end{aligned}$$which implies that \(\deg {U_{M}}=M=\mathfrak {u}_{M}\).
-
2.
If \(\mathfrak {u}_{M}\le M-1\), then there exists a minimal j (\(1\le j\le M\)), such that \(\nu _j\ge j\), and \( \nu _i< i\) for all \(1\le i\le j-1\). Therefore, \(\mathfrak {u}_{M}=j-1=\mathfrak {u}_{M-1}\). From the induction hypothesis,
$$\begin{aligned} \deg {U_{M-1}}=\mathfrak {u}_{M-1}=j-1\le \nu _j-1\le \nu _{M}-1, \end{aligned}$$which gives \(U^{(\nu _{M})}_{M-1}\equiv 0\). Hence, \(U_{M}\equiv U_{M-1}\) and, consequently, we get
$$\begin{aligned} \deg {U_{M}}=\deg {U_{M-1}}=\mathfrak {u}_{M-1}=\mathfrak {u}_{M}. \end{aligned}$$
\(\square \)
Note that in Lemma 3, the assumption of \(\{(r_i,\nu _i)\}_{i=1}^M\) being sequentially ordered is necessary for asserting that the polynomial \(U_M\) has degree \(\mathfrak {u}_{M}\). In fact, if we consider \(\{(-1,0),(1,0),(0,1)\}\), which is no sequentially ordered, we get \(U_3=x^2-1\) and \(\mathfrak {u}_{3}=3\ne \deg {U_3}\).
Proof of Theorem 7
Let \(\xi _1<\xi _2<\cdots <\xi _{\eta }\) be the points on where \(P_n\) changes sign and suppose that \(\eta <n-\mathbf {d}^*\). Since \(\Vert \cdot \Vert _{p,{\mu }}\) is sequentially ordered, the sequence of \(\mathbf {d}^*+\eta \) ordered pairs
is sequentially ordered. (We can assume without loss of generality that \(\nu _1\le \nu _2\le \cdots \le \nu _{\mathbf {d}^*+\eta }\).) Consequently, from Lemma 3, there exists a unique monic polynomial \(U_{\mathbf {d}^*+\eta }\) of minimal degree, such that
and \( \displaystyle \deg {U_{\mathbf {d}^*+\eta }}=\min \mathfrak {I}_{\mathbf {d}^*+\eta }-1\le \mathbf {d}^*+\eta ,\) where
Now, we need to consider the following two cases.
-
1.
If \(\deg {U_{\mathbf {d}^*+\eta }}=\mathbf {d}^*+\eta \), from (30), we get \(\deg {U_{\mathbf {d}^*+\eta }}=\mathbf {d}^*+\eta \ge \nu _{\eta +\mathbf {d}^*}+1\). Thus, taking \(I_i=\Delta _i\), \(i=0,1,\dots ,m\) and the closed interval in (26), we get
$$\begin{aligned} \mathbf {d}^*+\eta \le&\sum _{k=0}^{\nu _{\mathbf {d}^*+\eta }} \mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta }^{(k)};\Delta _k\right) \le \mathbf {N}_z\!\left( U_{\mathbf {d}^*+\eta };J\right) +\mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta };\Delta _0{\setminus } J\right) \\&+\sum _{k=1}^{\nu _{\mathbf {d}^*+\eta }} \mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta }^{(k)};\Delta _k\right) \le \deg {U_{\mathbf {d}^*+\eta }}=\mathbf {d}^*+\eta . \end{aligned}$$ -
2.
If \(\deg {U_{\mathbf {d}^*+\eta }}<\mathbf {d}^*+\eta \), from (30), there exists \(1\le j\le \mathbf {d}^*+\eta \) such that \(\deg {U_{\mathbf {d}^*+\eta }}=j-1\), \(\nu _{j}\ge j\) and \(\nu _i\le i-1\) for \(i=1,2,\dots ,j-1\). Hence,
$$\begin{aligned} \nu _{j-1}+1\le j-1=\deg {U_{\mathbf {d}^*+\eta }} \end{aligned}$$and, again, from (26), we have
$$\begin{aligned} j-1\le&\sum _{k=0}^{\nu _{j-1}} \mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta }^{(k)};\Delta _k\right) \le \mathbf {N}_z\!\left( U_{\mathbf {d}^*+\eta };J\right) +\mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta };\Delta _0{\setminus } J\right) \\&+\sum _{k=1}^{\nu _{j-1}} \mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta }^{(k)};\Delta _k\right) \le \deg {U_{\mathbf {d}^*+\eta }}=j-1. \end{aligned}$$
In both cases, we obtain that \(U_{\mathbf {d}^*+\eta }\) has no other zeros in \(\Delta _0\) than those given by construction and from \(\mathbf {N}_{o}\!\left( U_{\mathbf {d}^*+\eta };J\right) =\mathbf {N}_z\!\left( U_{\mathbf {d}^*+\eta };J\right) \) we obtain that all the zeros on are simple. Thus, in addition to (29), we get that \(P_nU_{\mathbf {d}^*+\eta }\) does not change sign on . So we have
Since \(\deg {U_{\mathbf {d}^*+\eta }}\le \mathbf {d}^*+\eta <n\), we arrive at a contradiction with Theorem 1. \(\square \)
References
Alfaro, M., López Lagomasino, G., Rezola, M.L.: Some properties of zeros of Sobolev-type orthogonal polynomials. J. Comput. Appl. Math. 69, 171–179 (1996)
Blatt, H.P., Saff, E.B., Simkani, M.: Jentzsch–Szegö type theorems for the zeros of best approximates. J. Lond. Math. Soc. 38, 192–204 (1988)
Bogatyrev, A.: Extremal Polynomials and Riemann Surfaces. Springer, Berlin (2012)
Borwein, P., Erdelyi, T.: Polynomials and Polynomial Inequalities. Graduate Texts in Mathematics, vol. 161. Springer, New York (1995)
Cheney, E.W.: Introduction to Approximation Theory. AMS Chelsea Pub, Providence (1982)
Davis, P.J.: Interpolation and Approximation. Dover Publ, New York (1975)
de Bruin, M.G.: A tool for locating zeros of orthogonal polynomials in Sobolev inner product spaces. J. Comput. Appl. Math. 49, 27–35 (1993)
Díaz, C., Orive, R., Pijeira, H.: Asymptotically extremal polynomials with respect to varying weights and application to Sobolev orthogonality. J. Math. Anal. Appl. 346, 480–488 (2008)
Díaz, C., Orive, R., Pijeira, H.: Zeros and logarithmic asymptotics of Sobolev orthogonal polynomials for exponential weights. J. Comput. Appl. Math. 233, 691–698 (2009)
Díaz, A., López Lagomasino, G., Pijeira, H.: Asymptotic zero distribution for a class of extremal polynomials. Bull. Math. Sci. 11, 950019-1-950019–18 (2021)
Duran, A., Saff, E.: Zero location for nonstandard orthogonal polynomials. J. Approx. Theory 113, 127–141 (2001)
Díaz, A., Pijeira, H., Pérez, I.: Rational approximation and Sobolev-type orthogonality. J. Approx. Theory 260, 105481-1-105481–19 (2020)
López Lagomasino, G., Marcellán, F., Pijeira, H.: Logarithmic asymptotics of contracted Sobolev extremal polynomials on the real line. J. Approx. Theory 143, 62–73 (2006)
López Lagomasino, G., Marcellán, F., Van Assche, W.: Relative asymptotics for orthogonal polynomials with respect to a discrete Sobolev inner product. Constr. Approx. 11, 107–137 (1995)
López Lagomasino, G., Pijeira, H.: Zero location and \(n\)-th root asymptotics of Sobolev orthogonal polynomials. J. Approx. Theory 99, 30–43 (1999)
López Lagomasino, G., Pijeira, H., Pérez, I.: Sobolev orthogonal polynomials in the complex plane. J. Comput. Appl. Math. 127, 219–230 (2001)
López Lagomasino, G., Pérez, I., Pijeira, H.: Asymptotics of extremal polynomials in the complex plane. J. Approx. Theory 137, 226–237 (2005)
Portilla, A., Quintana, Y., Rodríguez, J.M., Tourís, E.: Concerning asymptotic behavior for extremal polynomials associated to non-diagonal Sobolev norms. J. Funct. Spaces Appl. 2013, 1–13 (2013)
Ransford, T.: Potential Theory in the Complex Plane. Cambridge University Press, Cambridge (1995)
Rodríguez, J.M.: The multiplication operator in Sobolev spaces with respect to measures. J. Approx. Theory 109, 157–197 (2001)
Stahl, H., Totik, V.: General Orthogonal Polynomials. Cambridge Univ. Press, Cambridge (1992)
Acknowledgements
The research of H. Pijeira-Cabrera was partially supported by Ministry of Science, Innovation and Universities of Spain, under grant PGC2018-096504-B-C33.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding provided by Universidad Carlos III de Madrid thanks to the CRUE-CSIC 2021 agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Díaz-González, A., Pijeira-Cabrera, H. & Quintero-Roba, J. Polynomials of Least Deviation from Zero in Sobolev p-Norm. Bull. Malays. Math. Sci. Soc. 45, 889–912 (2022). https://doi.org/10.1007/s40840-021-01233-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-021-01233-5