Abstract
Weighted Sobolev spaces play a main role in the study of Sobolev orthogonal polynomials. The aim of this paper is to prove several important properties of weighted Sobolev spaces: separability, reflexivity, uniform convexity, duality and Markov-type inequalities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let us consider \(1\le p< \infty \) and \(k+1\) measures \(\mu =(\mu _0,\ldots ,\mu _k)\) in \(\mathbb {R}\). We define the Sobolev norm
for appropriate functions f (e.g., polynomials if \(\mu _0,\ldots ,\mu _k\) have compact support). The Sobolev space associated to this norm (see the precise definition in Sect. 3) has been very useful in Approximation Theory, but the basic properties of these Sobolev spaces have not been studied so far. The aim of this paper is to prove several important properties of weighted Sobolev spaces: separability, reflexivity, uniform convexity, duality and Markov-type inequalities.
Given a norm on the linear space \(\mathbb {P}\) of polynomials with real coefficients, the so-called Markov-type inequalities are estimates connecting the norm of derivatives of a polynomial with the norm of the polynomial itself. These inequalities are interesting by themselves and play a fundamental role in the proof of many inverse theorems in polynomial approximation theory (cf. [25, 29] and the references therein).
It is well known that for every polynomial P of degree at most n, the Markov inequality
holds and it is optimal since you have equality for the Chebyshev polynomials of the first kind.
The above inequality has been extended to the p norm (\(p\ge 1\)) in [15]. For every polynomial P of degree at most n their result reads
where the value of C(n, p) is explicitly given in terms of p and n. Indeed, you have a bound \(C(n,p) \le 6e ^{1+ 1/e}\) for \(n>0\) and \(p\ge 1\). In [12] admissible values for C(n, p) and some computational results for \(p=2\) are deduced. Notice that for any \(p>1\) and every polynomial P of degree at most n
where C is explicitly given and it is less than the constant C(n, p) in [15].
On the other hand, using matrix analysis, in [8] it is proved that the exact value of C(n, 2) is the greatest singular value of the matrix \(A_{n}=[a_{j,k}]_{0\le j\le n-1, 0\le k\le n}\), where \(a_{j,k}= \int _{-1}^{1} p'_{j}(x) p_{k} (x) dx\) and \(\{p_{n}\}_{n=0}^{\infty }\) is the sequence of orthonormal Legendre polynomials. A simple proof of this result, with an interpretation of the sharp constant C(n, 2) as the largest positive zero of a polynomial as well as an explicit expression of the extremal polynomial (the polynomial such that the inequality becomes an equality) in the \(L^{2}\)-Markov inequality appears in [16].
If you consider weighted \(L^{2}\)-spaces, the problem becomes more difficult. For instance, let \(\Vert \,\cdot \,\Vert _{L^{2}((a,b), w)}\) be a weighted \(L^{2}\)-norm on \(\mathbb {P}\), given by
where w is an integrable function on (a, b), \(-\infty \le a<b\le \infty \), such that \(w> 0\) a.e. on (a, b) and all moments
are finite. It is clear that there exists a constant \(\gamma _{n}= \gamma _{n}(a,b,w)\) such that
where \(\mathbb {P}_{n}\) is the space of polynomials with real coefficients of degree at most n. Indeed, the sharp constant is the greatest singular value of the matrix \(B_{n}= [b_{j,k}]_{0\le j\le n-1,0\le k\le n}\), where \(b_{j,k}= \int _{-1}^{1} p'_{j}(x) p_{k} (x) w(x)dx\) and \(\{p_{n}\}_{n=0}^{\infty }\) is the orthonormal polynomial system with respect to the positive measure w(x)dx. Thus, from a computational point of view you need to find the connection coefficients between the sequences \(\{p'_{n}\}_{n=0}^{\infty }\) and \(\{p_{n}\}_{n=0}^{\infty }\) in order to proceed with the computation of the matrix, and in a second step, to find the greatest singular value of the matrix \(B_{n}.\) Notice that for classical weights (Jacobi, Laguerre and Hermite), such connection coefficients can be found in a simple way.
Mirsky [27] showed that the best constant \(\gamma _{n}^{*}:= \sup _{P\in \mathbb {P}_{n}}\{||P^{\prime }||_{L^{2}((a,b), w)}:||P||_{L^{2}((a,b), w)}=1 \} \) in (1.1) satisfies
Notice that the main interest of the above result is however qualitative, since the bound specified by (1.2) can be very crude. In fact, when \(w(x)= e^{-x^{2}}\) on \((-\infty ,\infty )\), the estimate (1.2) becomes
The contrast between this estimate and the classic result of Schmidt [40], which establishes \(\gamma _{n}^{*}=\sqrt{2n}\), is evident.
Also, when we consider the weighted \(L^{2}\)-norm associated with the Laguerre weight \(w(x):= x^\alpha e^{-x}\) in \([0,\infty )\), with \(a-1\), the results in [3] give the following inequality
Notice that the nature of the extremal problems associated to the inequalities (1.1) and (1.3) is different, since in the first case the constant on the right-hand side of (1.1) depends on n, while in the second one the multiplicative constant \(C_\alpha \) on the right-hand side of (1.3) is independent of n.
There exist a lot of results on Markov-type inequalities (see, e.g. [10, 11, 25], and the references therein). In connection with the research in the field of the weighted approximation by polynomials, Markov-type inequalities have been proved for various weights, norms, sets over which the norm is taken (see, e.g. [24] and the references therein) and more recently, the study of asymptotic behavior of the sharp constant involved in some kind of these inequalities have been done in [3] for Hermite, Laguerre and Gegenbauer weights and in [4] for Jacobi weights with parameters satisfying some constraints.
On the other hand, a similar problem connected with the Markov–Bernstein inequality has been analyzed in [13] when you try to determine the sharp constant C(n, m; w) such that
Here w is a classical weight satisfying a Pearson equation \((A(x)w(x))'= B(x) w(x)\) and A, B are polynomials of degree at most 2 and 1, respectively.
An analogue of the Markov–Bernstein inequality for linear operators T from \(\mathbb {P}_{n}\) into \(\mathbb {P}\) has been studied in [18] in terms of singular values of matrices. Some illustrative examples when T is either the derivative or the difference operator and you deal with some classical weights (Laguerre, Gegenbauer in the first case, Charlier, Meixner in the second one) are shown. Another recent application of Markov–Bernstein-type inequalities can be found in [5].
With these ideas in mind, one of the authors of the present paper posed in 2008 during a conference on Constructive Theory of Functions held in Campos do Jordão, Brazil, the following problem: Find the analogous of Markov-type inequalities in the setting of weighted Sobolev spaces. A partial answer of this problem was given in [29], considering an extremal problem with similar conditions to those given by Mirsky, and following the scheme of Kwon and Lee [18], mainly.
Our main aim is the study of several properties involving inequalities in weighted Sobolev spaces.
The first part of this paper is devoted to provide some Markov–Bernstein-type inequalities based on the adequate use of inequalities of kind (1.3) [3, 10, 40], in the setting of weighted Sobolev spaces, when the considered weights are generalized classical weights.
In the second part we study other basic facts about Sobolev spaces with respect to measures: separability, reflexivity, uniform convexity and duality, which to the best of our knowledge are not available in the current literature. In order to obtain these properties we work with other inequalities on weighted Sobolev spaces (e.g., Muckenhoupt inequality).
These Sobolev spaces appear in a natural way and are a very useful tool when we study the asymptotic behavior of Sobolev orthogonal polynomials (see [7, 19,20,21, 33,34,35, 37, 39]). In particular, the completeness of these spaces has been shown very useful; it is a remarkable fact that it took 6 years to prove this natural property (see [2, 36, 37, 39]).
The outline of the paper is as follows. The first part of Sect. 2 provides some short background about Markov-type inequalities in \(L^2\) spaces with classical weights and the second one deals with a Markov-type inequality corresponding to each weighted Sobolev norm with respect to these classical weights and to some generalized weights (see Theorem 2.1). Section 3 contains definitions and a discussion about the appropriate vector measures which we will need in order to get completeness of our Sobolev spaces with respect to measures. Finally, Sect. 4 contains some basic results on Sobolev spaces with respect to the vector measures defined in the previous section (see Theorems 4.2 and 4.3): separability, reflexivity, uniform convexity and duality.
2 Markov-type inequalities in Sobolev spaces with weights
The following proposition summarizes the Markov-type inequalities in \(L^2\) spaces with classical weights, which will be used in the sequel. Recall that we denote by \(\mathbb {P}_n\) the linear space of polynomials with real coefficients and degree less than or equal to n.
Proposition 2.1
The following inequalities are satisfied.
-
(1)
Laguerre case [3] (see also [9]):
$$\begin{aligned} \left\| P'\right\| _{L^2(w)} \le C_\alpha n\, \Vert P\Vert _{L^2(w)}, \end{aligned}$$where \(w(x):= x^\alpha e^{-x}\) in \([0,\infty )\), \(\alpha >-1\) and \(P \in \mathbb {P}_n\).
-
(2)
Generalized Hermite case [10, 40]:
$$\begin{aligned} \left\| P'\right\| _{L^2(w)} \le \sqrt{2n}\; \Vert P\Vert _{L^2(w)}, \end{aligned}$$where \(w(x):= |x|^{\alpha } e^{-x^2}\) in \(\mathbb {R}\), \(\alpha \ge 0\) and \(P \in \mathbb {P}_n\).
-
(3)
Jacobi case [11]:
$$\begin{aligned} \left\| P'\right\| _{L^2(w)} \le C_{\alpha ,\beta }\, n^2\, \Vert P\Vert _{L^2(w)}, \end{aligned}$$where \(w(x):= (1-x)^{\alpha } (1+x)^{\beta }\) in \([-1,1]\), \(\alpha ,\beta >-1\) and \(P \in \mathbb {P}_n\).
The multiplicative constants \(C_{\alpha }\) and \(C_{\alpha ,\beta } \) are independent of n.
Remark 2.1
The results in [3] and [11] are different from (1) and (3) in Proposition 2.1. However, one can deduce Proposition 2.1 from these results.
For instance, by [3] we know that if
for \(w(x):= x^\alpha e^{-x}\) in \([0,\infty )\) and \(\alpha >-1\), then there exists a positive constant \(k_\alpha \) such that
Hence, for each fixed \(\alpha >-1\),
for every \(P \in \mathbb {P}_n\). Also, this inequality can be deduced from [9].
By [11] we know that if
for \(w(x):= (1-x)^{\alpha } (1+x)^{\beta }\) in \([-1,1]\) and \(\alpha ,\beta >-1\), then
Hence, for each fixed \(\alpha ,\beta >-1\),
for every \(P \in \mathbb {P}_n\).
We are interested in obtaining bounds such as a constant (independent of n) multiplied by a power of n.
In Theorem 2.1 below we extend these results to the context of weighted Sobolev spaces. We want to remark that the proof provides explicit expressions for the involved constants.
Theorem 2.1
The following inequalities are satisfied.
-
(1)
Laguerre–Sobolev case:
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)} \le C_\alpha n\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$where \(w(x):= x^\alpha e^{-x}\) in \([0,\infty )\), \(\alpha >-1\), \(\lambda _1,\ldots ,\lambda _k \ge 0\), \(P \in \mathbb {P}_n\) and \(C_\alpha \) is the same constant as in Proposition 2.1 (1).
-
(2)
Generalized Hermite–Sobolev case:
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)} \le \sqrt{2n}\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$where \(w(x):= |x|^{\alpha } e^{-x^2}\) in \(\mathbb {R}\), \(\alpha \ge 0\), \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\).
-
(3)
Jacobi–Sobolev case:
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)} \le C_{\alpha ,\beta }\, n^2\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$where \(w(x):= (1-x)^{\alpha } (1+x)^{\beta }\) in \([-1,1]\), \(\alpha ,\beta >-1\), \(\lambda _1,\ldots ,\lambda _k \ge 0\), \(P \in \mathbb {P}_n\) and \(C_{\alpha ,\beta }\) is the constant in Proposition 2.1 (3).
-
(4)
Let us consider the generalized Jacobi weight \(w(x):= h(x) \Pi _{j=1}^{r} |x-c_j|^{\gamma _j}\) in [a, b] with \(c_1,\ldots , c_r \in \mathbb {R}\), \(\gamma _1, \cdots , \gamma _r\in \mathbb {R}\), \(\gamma _j > -1\) when \(c_j \in [a,b]\), and h a measurable function satisfying \(0<m\le h \le M\) in [a, b] for some constants m, M. Then we have
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}\le & {} C_1(a,b,c_1, \ldots , c_{r}, \gamma _1, \ldots , \gamma _{r},m,M)\,\\&\times n^2\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\).
-
(5)
Consider now the generalized Laguerre weight \(w(x):= h(x) \Pi _{j=1}^{r} |x-c_j|^{\gamma _j} e^{-x}\) in \([0,\infty )\) with \(c_1<\cdots < c_r\), \(c_r \ge 0\), \(\gamma _1, \ldots , \gamma _r\in \mathbb {R}\), \(\gamma _j > -1\) when \(c_j \ge 0\), and h a measurable function satisfying \(0<m\le h \le M\) in \([0,\infty )\) for some constants m, M.
-
(5.1)
If \(\sum _{j=1}^{r-1} \gamma _j=0\), then
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}\le & {} C_{2}(c_1, \ldots , c_{r}, \gamma _1, \ldots , \gamma _{r},m,M)\, \\&\times n^2\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\).
-
(5.2)
Assume that \(c_1<\cdots < c_r\) and \(\sum _{j=1}^{r} \gamma _j > -1\). Let \(r_0:=\min \{1\le j \le r\,|\, c_j\ge 0 \}\), \(\gamma _{r_0-1}':=\gamma _{r+1}':=0\) and \(\gamma _{j}':=\gamma _{j}\) for every \(r_0 \le j \le r\). Assume that \(\max \{\gamma _j',\gamma _{j+1}'\} \ge -1/2\) for every \(r_0-1 \le j \le r\). Then we have
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}\le & {} C_{2}'(c_1, \ldots , c_{r}, \gamma _1, \ldots , \gamma _{r},m,M)\,\\&\times n^{a'}\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\), where
$$\begin{aligned} a':= \max \Big \{ 2\,,\,\frac{b'+2}{2}\, \Big \} , \quad b':= \max _{r_0-1\le j \le r} \big (\gamma _j'+\gamma _{j+1}'+|\gamma _j'-\gamma _{j+1}'| + 2 \big ) .\end{aligned}$$ -
(5.1)
-
(6)
Let us consider the generalized Hermite weight \(w(x):= h(x) \Pi _{j=1}^{r} |x-c_j|^{\gamma _j} e^{-x^2}\) in \(\mathbb {R}\) with \(c_1<\cdots < c_r\), \(\gamma _1, \ldots , \gamma _r > -1\) with \(\sum _{j=1}^r \gamma _j \ge 0\) and h a measurable function satisfying \(0<m\le h \le M\) in \(\mathbb {R}\) for some constants m, M. Define \(\gamma _0:=\gamma _{r+1}:=0\) and assume that \(\max \{\gamma _j,\gamma _{j+1}\} \ge -1/2\) for every \(0 \le j \le r\). Then we have
$$\begin{aligned} \Vert P'\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}\le & {} C_3(c_1, \ldots , c_{r}, \gamma _1, \ldots , \gamma _{r},m,M)\, \\&\times n^a\, \Vert P\Vert _{W^{k,2}(w,\lambda _1w,\ldots ,\lambda _k w)}, \end{aligned}$$for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\), where
$$\begin{aligned} a:= \max \Big \{ 2\,,\,\frac{b+1}{2}\, \Big \} , \quad b:= \max _{0\le j \le r} \big (\gamma _j+\gamma _{j+1}+|\gamma _j-\gamma _{j+1}| + 2 \big ) . \end{aligned}$$
In each case the multiplicative constants depend just on the specified parameters (in particular, they do not depend on n).
Remark 2.2
Note that (4), (5), and (6) are new results in the classical (non-Sobolev) context (taking \(\lambda _1=\cdots =\lambda _k = 0\)). In (5.2), there is no hypothesis on \(\sum _{j=1}^{r-1} \gamma _j\).
Remark 2.3
In the inequalities in (1), (2), (3), (4) and (5.1) appear powers of n with exponent at most 2. One could expect to obtain the power \(n^2\) in (5.2) and (6) (we will need to bound in the proof some norms in compact intervals with Jacobi weights, and then in those computations the exponent 2 comes up). This is the case if \(b'\le 2\) and \(b\le 3\), respectively. Otherwise, the argument in the proof gives exponents \(a'\) and a, respectively. These exponents appear as a consequence of Lupaş’ inequality [22], but we need it (or some similar inequality) in order to obtain, for every \(P \in \mathbb {P}_n\),
If \(\alpha \le 0\) and \(\beta \le 0\), then we obtain this inequality with a constant independent of n (note that we have the continuous inclusion \(L^{2}([-1,1], (1-x)^{\alpha } (1+x)^{\beta }dx) \subseteq L^{2}([-1,1], dx)\) since \(\inf _{x\in (-1,1)} (1-x)^{\alpha } (1+x)^{\beta } > 0\)). However, if \(\alpha >0\) or \(\beta >0\), then it is clear that \(K_n(\alpha ,\beta )\) must grow with n, since the difference \(L^{2}([-1,1], (1-x)^{\alpha } (1+x)^{\beta }dx) {\setminus } L^{2}([-1,1], dx)\) is non-empty.
Proof
First of all, note that if the inequality
holds for every polynomial \(P \in \mathbb {P}_n\) and some fixed weight w, then we have
for every polynomial \(P \in \mathbb {P}_n\) and every \(\lambda \ge 0\). Consequently, for the weighted Sobolev norm on \(\mathbb {P}\)
we have
for every polynomial \(P \in \mathbb {P}_n\) and every \(\lambda _1,\ldots ,\lambda _k \ge 0\).
Thus, (1), (2) and (3) hold.
In order to prove (4), note that, for each \(a_1 < a_2\), by using Proposition 2.1 (3) and the affine transformation
(which maps \([a_1,a_2]\) onto \([-1,1]\)), we obtain
for the weight \(w(x):= (a_2-x)^{\alpha } (x-a_1)^{\beta }\) in \([a_1,a_2]\) and every polynomial \(P \in \mathbb {P}_n\).
Without loss of generality we can assume that \(a\le c_1<\cdots < c_{r} \le b\), since otherwise we can consider
If we define \(c_0:=a\), \(c_{r+1}:=b\) and \(\gamma _0:=\gamma _{r+1}:=0\), then we can write \(w(x)= h(x) \Pi _{j=0}^{r+1} |x-c_j|^{\gamma _j}\). Denote by \(h_j\) the function
for \(0\le j \le r\). It is clear that there exist positive constants \(m_j,M_j\) (depending just on \(m,M,c_1, \ldots , c_{j-1},c_{j+2}, \ldots , c_{r}, \gamma _1, \ldots , \gamma _{j-1},\gamma _{j+2}, \ldots , \gamma _{r}\)), with \(m_j\le h_j(x) \le M_j\) for every \(x \in [c_j,c_{j+1}]\).
Hence, for \(P \in \mathbb {P}_n\), we have
Next, “pasting” several times this last inequality in each subinterval \([c_{j},c_{j+1}]\subseteq [a,b]\), \(0\le j\le r\), we obtain
for every polynomial \(P \in \mathbb {P}_n\), with
Hence, we obtain the case (4) by applying (2.2).
Similarly, for the case (5.1) we can write
where \(H_1(x):= h(x) e^{-x}\) satisfies \(0< m\,e^{-c_r} \le H_1 \le M\) in \([0,c_r]\). Then the case (4) provides a constant \(\hat{C}_1\), which just depends on the appropriate parameters, with
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\).
Proposition 2.1 (1) gives
where \(w_1(x):= x^\alpha e^{-x}\) in \([0,\infty )\), \(\alpha >-1\) and \(P \in \mathbb {P}_n\). Hence, replacing x by \(x-c\), we obtain with the same constant \(C_\alpha \)
for every \(c\ge 0\) and \(P \in \mathbb {P}_n\). Now, if \(w_2(x):=(x-c)^\alpha e^{-x}\), then the previous inequality implies
for every \(c\ge 0\) and \(P \in \mathbb {P}_n\), and (2.2) gives
for every \(c\ge 0\), \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\).
We can write now
where \(H_2(x):= h(x) \Pi _{j=1}^{r-1} |x-c_j|^{\gamma _j}\) and there exist constants \(m_2,M_2\) with \(0< m_2 \le H_2 \le M_2\) in \([c_r,\infty )\), since \(\sum _{j=1}^{r-1} \gamma _j=0\). Thus,
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\).
If we define \(\hat{C}_2:=\sqrt{\hat{C}_1^2+ C_{\gamma _r}^2 M_2/m_2}\;\), then (2.3) and (2.4) give
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and \(P \in \mathbb {P}_n\).
Let us prove now (5.2). Define \(A:=1+c_r\). We can write
where \(H_3(x):= h(x) e^{-x}\) satisfies \(0< m\,e^{-A} \le H_3 \le M\) in [0, A]. Then the case (4) provides a constant \(C_1\), which just depends on the appropriate parameters, with
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\).
Proposition 2.1 (1) gives a constant \(C_s\) with
where \(w_3(x):= x^s e^{-x}\), \(s:= \sum _{j=1}^{r} \gamma _j > -1\) and \(P \in \mathbb {P}_n\).
We can write now
where \(H_4(x):= h(x) x^{-s} \Pi _{j=1}^{r} |x-c_j|^{\gamma _j}\), and there exist constants \(m_4,M_4\) with \(0< m_4 \le H_4 \le M_4\) in \([A,\infty )\), since \(s= \sum _{j=1}^{r} \gamma _j\). Thus,
for every \(P \in \mathbb {P}_n\).
Using Lupaş’ inequality [22] (see also [26, p. 594]):
for every \(P \in \mathbb {P}_n\), where \(q=\max (\alpha ,\beta )\ge -1/2\) and \(q'=\min (\alpha ,\beta )\), we obtain that
Now, taking into account that
we get
Consequently, there exists a constant \(k_1\), which just depends on \(\alpha \) and \(\beta \), such that
where \(v(\alpha ,\beta )= \alpha +\beta + |\alpha -\beta |+2\) and \(P \in \mathbb {P}_n\).
Recall that \(\max \{\gamma _j',\gamma _{j+1}'\} \ge -1/2\) for every \(r_0-1 \le j \le r\) and
Therefore, a similar argument to the one in the proof of (4) gives
for every polynomial \(P \in \mathbb {P}_n\) and some constant \(k_2\) which just depends on \(c_{r_0},\ldots , c_r, \gamma _{r_0}, \ldots , \gamma _r\). Thus,
for every polynomial \(P \in \mathbb {P}_n\) and some constant \(k_3\) which just depends on \(c_{1},\ldots , c_r, \gamma _{1}, \ldots , \gamma _r\).
Hence,
for every polynomial \(P \in \mathbb {P}_n\).
This inequality and (2.6) give
for every polynomial \(P \in \mathbb {P}_n\), where
Hence,
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\), and (2.5) allows to deduce
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\). If we define
and we recall that
then
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\).
Finally, let us show (6). Define \(B:=1+\max \{|c_1|,|c_r|\}\). We can write
where \(H_5(x):= h(x) e^{-x^2}\) satisfies \(0< m\,e^{-B^2} \le H_5 \le M\) in \([-B,B]\). Then the case (4) provides a constant \(C_1\), which just depends on the appropriate parameters, with
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\).
Proposition 2.1 (2) gives
where \(w_4(x):= |x|^\alpha e^{-x^2}\), \(\alpha := \sum _{j=1}^{r} \gamma _j \ge 0\) and \(P \in \mathbb {P}_n\).
We can write now
where \(H_6(x):= h(x) |x|^{-\alpha } \Pi _{j=1}^{r} |x-c_j|^{\gamma _j}\), and there exist constants \(m_6,M_6\) with \(0< m_6 \le H_6 \le M_6\) in \((-\infty ,-B]\cup [B,\infty )\), since \(\alpha = \sum _{j=1}^{r} \gamma _j\). Thus,
for every \(P \in \mathbb {P}_n\).
Since \(\max \{\gamma _j,\gamma _{j+1}\} \ge -1/2\) for every \(0 \le j \le r\) and \(b:= \max _{0\le j \le r} \big (\gamma _j+\gamma _{j+1}+|\gamma _j-\gamma _{j+1}| + 2 \big )\), the argument in the proof of (5.2), using Lupaş’ inequality, gives
for every polynomial \(P \in \mathbb {P}_n\) and some constant \(k_6\) which just depends on \(c_1,\ldots , c_r, \gamma _1, \ldots , \gamma _r\).
Hence,
for every polynomial \(P \in \mathbb {P}_n\).
This inequality and (2.8) give
for every polynomial \(P \in \mathbb {P}_n\), where
Hence,
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\), and (2.7) allows to deduce
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\). If we define
and we recall that
then
for every \(\lambda _1,\ldots ,\lambda _k \ge 0\) and every polynomial \(P \in \mathbb {P}_n\). \(\square \)
3 Sobolev spaces with respect to measures
In this section we recall the definition of Sobolev spaces with respect to measures introduced in [36,37,38].
Definition 3.1
Given \(1\le p < \infty \) and a set A which is a union of intervals in \(\mathbb {R}\), we denote by \(B_p(A)\) the set of weights w such that \(w^{-1}\in L_{loc}^{1/(p-1)} (A)\) (if \(p=1\), then \(1/(p-1)=\infty \)).
It is possible to construct a similar theory with \(p=\infty \). We refer to [2, 30,31,32] for the case \(p=\infty \).
If \(A=\mathbb {R}\), then \(B_p(\mathbb {R})\) contains, as a very particular case, the classical \(A_p(\mathbb {R})\) weights appearing in Harmonic Analysis. The classes \(B_p(\Omega )\), with \(\Omega \subseteq \mathbb {R}^n\), have been used in other definitions of weighted Sobolev spaces in \(\mathbb {R}^n\) in [17].
We consider vector measures \(\mu =(\mu _0, \ldots , \mu _k)\) in the definition of our Sobolev space in \(\mathbb {R}\). We assume that each \(\mu _j\) is \(\sigma \)-finite; hence, by Radon–Nikodym’s Theorem, we have the decomposition \(d\mu _j= d(\mu _j)_s + w_j ds\), where \((\mu _j)_s\) is singular with respect to Lebesgue measure and \(w_j\) is a non-negative Lebesgue measurable function.
In [17], Kufner and Opic define the following sets:
Definition 3.2
Let us consider \(1\le p < \infty \) and a vector measure \(\mu = (\mu _0, \ldots , \mu _k)\). For \(0\le j \le k\) we define the open set
Note that we always have \(w_j \in B_p(\Omega _j)\) for any \(0\le j \le k\). In fact, \(\Omega _j\) is the largest open set U with \(w_j\in B_p(U)\). It is easy to check that if \(f^{(j)} \in L^p(\Omega _j,w_j),\) \(1\le j \le k \), then \(f^{(j)} \in L^1_{loc}(\Omega _j)\) and, therefore, \(f^{(j-1)} \in AC_{loc}(\Omega _j)\), i.e., \(f^{(j-1)}\) is a locally absolutely continuous function in \(\Omega _j\).
Since the precise definition of Sobolev space requires some technical concepts (see Definition 3.8), we would like to introduce here a heuristic definition of Sobolev space and an example which will help us to understand the technical process that we will follow in order to reach Definition 3.8.
Definition 3.3
(Heuristic definition) Let us consider \(1\le p< \infty \) and a p-admissible vector measure \(\mu =(\mu _0,\ldots ,\mu _k)\) in \(\mathbb {R}\). We define the Sobolev space \(W^{k,p}(\mu )=W^{k,p}(\Delta ,\mu )\), with \(\Delta :=\cup _{j=0}^k {\mathrm{supp}}(\mu _j)\), as the space of equivalence classes of
with respect to the seminorm \(\Vert \cdot \Vert _{W^{k,p}(\Delta ,\mu )}\).
These pasting conditions are natural: a function must be as regular as possible. In a first step, we check if the functions and their derivatives are absolutely continuous up to the boundary (this fact holds in the following example), and then we join the contiguous intervals:
Example
\(\mu _0:=\delta _0\), \(\mu _1:=0\), \(d\mu _2:=\chi _{{}_{\scriptstyle [-1,0]}}(x) dx\) and \(d\mu _3:=\chi _{{}_{\scriptstyle [0,1]}}(x) dx\), where \(\chi _{_{A}}\) denotes the characteristic function of the set A.
Since \(\Omega _1=\emptyset \), \(\Omega _2=(-1,0)\) and \(\Omega _3=(0,1)\), \(W^{3,p}(\mu )\) is the space of equivalence classes of
In the current case, since f and \(f'\) are absolutely continuous in \([-1,0]\) and in [0, 1], we require that both are absolutely continuous in \([-1,1]\).
These heuristic concepts can be formalized as follows:
Definition 3.4
Let us consider \(1\le p<\infty \) and \(\mu ,\nu \) measures in [a, b]. We define
where we use the convention \(0\cdot \infty =0\).
Muckenhoupt inequality (See [28], [23, p. 44], [2, Theorem 3.1]). Let us consider \(1\le p<\infty \) and \(\mu _0,\mu _1\) measures in [a, b]. Then:
-
(1)
There exists a real number c such that
$$\begin{aligned} \left\| \int _{x}^{b} g(t)\,dt \right\| _{L^p((a,b],\mu _0)}\le c\, \big \Vert g\big \Vert _{L^p((a,b],\mu _1)} \end{aligned}$$for any measurable function g in [a, b], if and only if \(\Lambda _{p,[a,b]}^+ (\mu _0, \mu _1)<\infty \).
-
(2)
There exists a positive constant c such that
$$\begin{aligned} \left\| \int _{a}^x g(t)\,dt \right\| _{L^p([a,b),\mu _0)}\le c\, \big \Vert g\big \Vert _{L^p([a,b),\mu _1)} \end{aligned}$$for any measurable function g in [a, b], if and only if \(\Lambda _{p,[a,b]}^- (\mu _0, \mu _1)<\infty \).
Definition 3.5
Let us consider \(1\le p<\infty \). A vector measure \(\overline{\mu }=(\overline{\mu }_0,\ldots ,\overline{\mu }_k)\) is a right completion of a vector measure \(\mu =(\mu _0,\ldots ,\mu _k)\) in \(\mathbb {R}\) with respect to a in a right neighborhood [a, b], if \(\overline{\mu }_k=\mu _k\) in [a, b], \(\overline{\mu }_j=\mu _j\) in the complement of (a, b] and
where \(\tilde{\mu }_{j}\) is any measure satisfying \(\tilde{\mu }_j((a,b])<\infty \) and \(\Lambda _{p, [a,b]}^+ (\tilde{\mu }_j,\overline{\mu }_{j+1})<\infty \).
Muckenhoupt inequality guarantees that if \(f^{(j)}\in L^p(\mu _j)\) and \(f^{(j+1)}\in L^p(\overline{\mu }_{j+1})\), then \(f^{(j)}\in L^p(\overline{\mu }_j)\) (see some examples of completions in [2, 36]).
Remark 3.1
We can define a left completion of \(\mu \) with respect to a in a similar way.
Definition 3.6
For \(1\le p< \infty \) and a vector measure \(\mu \) in \(\mathbb {R}\), we say that a point a is right j-regular (respectively, left j-regular), if there exist a right completion \(\overline{\mu }\) (respectively, left completion) of \(\mu \) in [a, b] and \(j<i\le k\) such that \(\overline{w}_{i}\in B_p ([a,b])\) (respectively, \(B_p([b,a]))\). Also, we say that a point \(a\in \gamma \) is j-regular, if it is right and left j-regular.
Remark 3.2
- 1.:
-
A point a is right j-regular (respectively, left j-regular), if at least one of the following properties holds:
- (a):
-
There exist a right (respectively, left) neighborhood [a, b] (respectively, [b, a]) and \(j<i\le k\) such that \(w_{i} \in B_p ([a,b])\) (respectively, \(B_p([b,a]))\). Here we have chosen \(\tilde{w}_j=0\).
- (b):
-
There exist a right (respectively, left) neighborhood [a, b] (respectively, [b, a]) and \(j<i\le k\), \(\alpha >0\), \(\delta < (i-j)p-1\), such that \(w_{i}(x) \ge \alpha \, |x-a|^\delta \), for almost every \(x\in [a,b]\) (respectively, [b, a]). See Lemma 3.4 in [36].
- 2.:
-
If a is right j-regular (respectively, left), then it is also right i-regular (respectively, left) for each \(0\le i \le j\).
When we use this definition we think of a point \(\{t\}\) as the union of two half-points \(\{t^+\}\) and \(\{t^-\}\). With this convention, each one of the following sets
has two connected components, and the set
is connected.
We use this convention in order to study the sets of continuity of functions: we want that if \(f\in C(A)\) and \(f\in C(B)\), where A and B are union of intervals, then \(f\in C(A\cup B)\). With the usual definition of continuity, if \(f\in C([a,b))\cap C([b,c])\) then we do not have \(f\in C([a,c])\). Of course, we have \(f\in C([a,c])\) if and only if \(f\in C([a,b^-])\cap C([b^+,c])\), where by definition, \(C([b^+,c])=C([b,c])\) and \(C([a,b^-])=C([a,b])\). This idea can be formalized with a suitable topological space.
Let us introduce some more notation. We denote by \(\Omega ^{(j)}\) the set of j-regular points or half-points, i.e., \(x\in \Omega ^{(j)}\) if and only if x is j-regular, we say that \(x^+ \in \Omega ^{(j)}\) if and only if x is right j-regular, and we say that \(x^- \in \Omega ^{(j)}\) if and only if x is left j-regular. Obviously, \(\Omega ^{(k)}=\emptyset \) and \(\Omega _{j+1}\cup \cdots \cup \Omega _k\subseteq \Omega ^{(j)}\). Note that \(\Omega ^{(j)}\) depends on p.
Intuitively, \(\Omega ^{(j)}\) is the set of “good” points at the level j for the vector weight \((w_0,\ldots , w_k)\): every function f in the Sobolev space must verify that \(f^{(j)}\) is continuous in \(\Omega ^{(j)}\).
Let us present now the class of measures that we use in the definition of Sobolev space.
Definition 3.7
We say that the vector measure \(\mu =(\mu _0,\ldots ,\mu _k)\) in \(\mathbb {R}\) is p-admissible if \(\mu _j\) is \(\sigma \)-finite and \(\mu _j^*(\mathbb {R}{\setminus } \Omega ^{(j)})=0\), for \(1\le j < k\), and \(\mu _k^* \equiv 0\), where \(d\mu _j^* := d\mu _j - w_j \chi _{_{\Omega _{j}}} dx\) and \(\chi _{_{A}}\) denotes the characteristic function of the set A (then \(d\mu _k= w_k \chi _{_{\Omega _{k}}} dx\)).
Remark 3.3
- 1.:
-
The hypothesis of p-admissibility is natural. It would not be reasonable to consider Dirac’s deltas in \(\mu _j\) in the points where \(f^{(j)}\) is not continuous.
- 2.:
-
Note that there is not any restriction on \(\mu _0\).
- 3.:
-
Every absolutely continuous measure \(w=(w_0, \ldots , w_k)\) with \(w_j=0\) a.e. in \(\mathbb {R}{\setminus } \Omega _j\) for every \(1\le j \le k\), is p-admissible (since then \(\mu _j^*=0\)). It is possible to find a weight w which does not satisfy this condition, but it is a hard task.
- 4.:
-
\((\mu _j)_s \le \mu _j^*\), and the equality usually holds.
Definition 3.8
Let us consider \(1\le p< \infty \) and a p-admissible vector measure \(\mu =(\mu _0,\ldots ,\mu _k)\) in \(\mathbb {R}\). We define the Sobolev space \(W^{k,p}(\mu )=W^{k,p}(\Delta ,\mu )\), with \(\Delta :=\cup _{j=0}^k {\mathrm{supp}}(\mu _j)\), as the space of equivalence classes of
with respect to the seminorm \(\Vert \cdot \Vert _{W^{k,p}(\Delta ,\mu )}\).
4 Basic results on Sobolev spaces with respect to measures
This definition of Sobolev space is very technical, but it has interesting properties: we know explicitly how are the functions in \(W^{k,p}(\Delta ,\mu )\) (this is not the case if we define the Sobolev space as the closure of some space of smooth functions, as in [19,20,21]); if \(\Delta \) is a compact set and \(\mu \) is a finite measure, then in many cases, \(W^{k,p}(\Delta ,\mu )\) is equal to the closure of the space of polynomials (see [2, Theorem 6.1]). Furthermore, we have powerful tools in \(W^{k,p}(\Delta ,\mu )\) (see [2, 36, 37, 39]).
In [39, Theorem 4.2] appears the following main result in the theory (in fact, this result in [39] holds for measures defined in any curve in the complex plane instead of \(\mathbb {R}\)).
Theorem 4.1
Let us consider \(1\le p < \infty \) and a p-admissible vector measure \(\mu =(\mu _0,\ldots ,\mu _k)\). Then the Sobolev space \(W^{k,p}(\Delta ,\mu )\) is a Banach space.
We want to remark that the proof of Theorem 4.1 is very long and technical: the paper [36] is mainly devoted to prove a weak version of Theorem 4.1, and using this version, [39] provides a very technical proof of the general case. Note that it took 6 years to prove this natural property of Sobolev spaces with respect to measures.
For each \(1\le p<\infty \) and p-admissible vector measure \(\mu \) in \(\mathbb {R}\), consider the Banach space \(\prod _{j=0}^k L^{p}(\Delta ,\mu _j)\) with the norm
for every \(f=(f_0,f_1,\ldots ,f_k)\in \prod _{j=0}^k L^{p}(\Delta ,\mu _j)\).
Definition 4.1
For each \(1\le p<\infty \) we denote by q the conjugate or dual exponent of p, i.e., \(1/p+1/q=1\). Consider a p-admissible vector measure \(\mu \). If \(f\in \prod _{j=0}^k L^{p}(\Delta ,\mu _j)\) and \(g\in \prod _{j=0}^k L^{q}(\Delta ,\mu _j)\), we define the product (f, g) as
Let us consider the projection \(P:\,W^{k,p}(\Delta ,\mu )\longrightarrow \prod _{j=0}^k L^{p}(\Delta ,\mu _j)\), given by \(Pf=(f,f',\ldots ,f^{(k)})\).
Theorem 4.2
Let \(1\le p<\infty \) and \(\mu \) a p-admissible vector measure. Then \(W^{k,p}(\Delta ,\mu )\) is separable. Furthermore, if \(1< p<\infty \), then it is reflexive and uniformly convex.
Proof
The map P is an isometric embedding of \(W^{k,p}(\Delta ,\mu )\) onto \(W:=P(W^{k,p}(\Delta ,\mu ))\). Then W is a closed subspace since \(\prod _{j=0}^k L^{p}(\Delta ,\mu _j)\) and \(W^{k,p}(\Delta ,\mu )\) are Banach spaces by Theorem 4.1.
If \(1\le p<\infty \), then each \(L^{p}(\Delta ,\mu _j)\) is separable; furthermore, if \(1< p<\infty \), then it is reflexive and uniformly convex. Then \(\prod _{j=0}^k L^{p}(\Delta ,\mu _j)\) is separable (and reflexive and uniformly convex if \(1< p<\infty \)) by [1, p. 8].
Since W is closed and \(\prod _{j=0}^k L^{p}(\Delta ,\mu _j)\) is separable, W is separable; furthermore, if \(1< p<\infty \), then W is reflexive and uniformly convex since \(\prod _{j=0}^k L^{p}(\Delta ,\mu _j)\) is reflexive and uniformly convex (see [1, p. 7], [14]). Since W and \(W^{k,p}(\Delta ,\mu )\) are isometric, \(W^{k,p}(\Delta ,\mu )\) also has these properties.
Theorem 4.3
Let \(1\le p<\infty \), q the dual exponent of p, and \(\mu \) a p-admissible vector measure. Consider the canonical map \(J:\,\prod _{j=0}^k L^{q}(\Delta ,\mu _j) \longrightarrow (W^{k,p}(\Delta ,\mu ))'\) defined by \(J(v)=(\cdot ,v)\), i.e., \(\big (J(v)\big )(f)=(Pf,v)\). Then giving any \(T \in (W^{k,p}(\Delta ,\mu ))'\) there exists \(v \in \prod _{j=0}^k L^{q}(\Delta ,\mu _j)\) with
Furthermore, if \(1< p<\infty \), then there exists a unique \(v \in \prod _{j=0}^k L^{q}(\Delta ,\mu _j)\) verifying (4.1).
Proof
First of all we will prove that J is, in fact, a map \(J:\,\prod _{j=0}^k L^{q}(\Delta ,\mu _j) \longrightarrow (W^{k,p}(\Delta ,\mu ))'\). Given \(v \in \prod _{j=0}^k L^{q}(\Delta ,\mu _j)\), consider J(v). Then continuous and discrete Hölder’s inequalities give
Hence,
Thus we have proved that \(J:\,\prod _{j=0}^k L^{q}(\Delta ,\mu _j) \longrightarrow (W^{k,p}(\Delta ,\mu ))'\). Let us prove now that J is onto.
Consider \(T \in (W^{k,p}(\Delta ,\mu ))'\). The map P is an isometric isomorphism of \(W^{k,p}(\Delta ,\mu )\) onto \(W:=P(W^{k,p}(\Delta ,\mu ))\). Then \(T\circ P^{-1} \in W'\) and
Since W is a subspace of \(\prod _{j=0}^k L^{p}(\Delta ,\mu _j)\), by Hahn–Banach Theorem there exists
with
Therefore, there exists \(v \in \prod _{j=0}^k L^{q}(\Delta ,\mu _j)\) with \(v \simeq T_0\), i.e.,
and
Hence,
\(T=J(v)\) and J is onto.
If \(1<p<\infty \), let us consider the set \(U:=\{u \in \prod _{j=0}^k L^{q}(\Delta ,\mu _j) \, : \,\, T=J(u)\}\). Note that (4.2) and (4.3) give
It is easy to check that U is a closed convex set in \(\prod _{j=0}^k L^{q}(\Delta ,\mu _j)\). Since \(\prod _{j=0}^k L^{q}(\Delta ,\mu _j)\) is uniformly convex, this minimum is attained at a unique \(u_0\in U\) (see, e.g., [6, p. 22]), and (4.3) gives \(u_0=v\).
References
Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)
Alvarez, V., Pestana, D., Rodríguez, J.M., Romera, E.: Weighted Sobolev spaces on curves. J. Approx. Theory 119, 41–85 (2002)
Aptekarev, A.I., Draux, A., Kalyagin, V.A.: On the asymptotics of sharp constants in Markov–Bernstein inequalities in integral metrics with classical weight. Commun. Moscow Math. Soc. 55, 163–165 (2000)
Aptekarev, A.I., Draux, A., Kalyagin, V.A., Tulyakov, D.: Asymptotics of sharp constants of Markov–Bernstein inequalities in integral norm with Jacobi weight. Proc. Am. Math. Soc. 143, 3847–3862 (2015)
Bun, M., Thaler, J.: Dual lower bounds for approximate degree and Markov–Bernstein inequalities. In: Automata, languages, and programming. Part I, pp. 303–314, Lecture Notes in Comput. Sci., 7965, Springer, Heidelberg (2013)
Cheney, E.W.: Introduction to Approximation Theory, 2nd edn. AMS Chelsea Publishing, Providence, RI (1982)
Colorado, E., Pestana, D., Rodríguez, J.M., Romera, E.: Muckenhoupt inequality with three measures and Sobolev orthogonal polynomials. J. Math. Anal. Appl. 407, 369–386 (2013)
Dörfler, P.: New inequalities of Markov type. SIAM J. Math. Anal. 18, 490–494 (1987)
Draux, A., Elhami, C.: On the positivity of some bilinear functionals in Sobolev spaces. J. Comput. Appl. Math. 106, 203–243 (1999)
Draux, A., Kalyagin, V.A.: Markov–Bernstein inequalities for generalized Hermite weight. East J. Approx. 12, 1–24 (2006)
Draux, A., Moalla, B., Sadik, M.: Generalized qd algorithm and Markov–Bernstein inequalities for Jacobi weight. Numer. Algorithms 51, 429–447 (2009)
Goetgheluck, P.: On the Markov inequality in \(L^{p}\)-spaces. J. Approx. Theory 62, 197–205 (1990)
Guessab, A., Milovanovic, G.V.: Weighted \(L^{2}\)-analogues of Bernstein’s inequality and classical orthogonal polynomials. J. Math. Anal. Appl. 182, 244–249 (1994)
Hanner, O.: On the uniform convexity of \(L^p\) and \(l^p\). Arkiv Mat. 3, 239–244 (1956)
Hille, E., Szegő, G., Tamarkin, J.D.: On some generalization of a theorem of A. Markoff. Duke Math. J. 3, 729–739 (1937)
Kroó, A.: On the exact constant in the \(L_{2}\) Markov inequality. J. Approx. Theory 151, 208–211 (2008)
Kufner, A., Opic, B.: How to define reasonably weighted Sobolev Spaces. Commun. Math. Univ. Carol. 25(3), 537–554 (1984)
Kwon, K.H., Lee, D.W.: Markov–Bernstein type inequalities for polynomials. Bull. Korean Math. Soc. 36, 63–78 (1999)
López, G., Pijeira, H., Pérez, I.: Izquierdo, Sobolev orthogonal polynomials in the complex plane. J. Comput. Appl. Math. 127, 219–230 (2001)
López Lagomasino, G., Pérez Izquierdo, I., Pijeira, H.: Asymptoticof extremal polynomials in the complex plane. J. Approx. Theory 137, 226–237 (2005)
López Lagomasino, G., Pijeira, H.: Zero location and \(n\)-th root asymptotics of Sobolev orthogonal polynomials. J. Approx. Theory 99, 30–43 (1999)
Lupaş, A.: An inequality for polynomials. Univ. Beogr. Publ. Elektrotehn. Fak. Ser. Mat. Fiz. 461–497, 241–243 (1974)
Maz’ja, V.G.: Sobolev Spaces. Springer, New York (1985)
Milev, L., Naidenov, N.: Exact Markov inequalities for the Hermite and Laguerre weights. J. Approx. Theory 138, 87–96 (2006)
Milovanović, G.V.: Extremal problems and inequalities of Markov–Bernstein type for polynomials. In: Rassias, T.M., Srivastava, H.M. (eds.) Analytic and Geometric Inequalities and Applications, Mathematics and Its Applications, vol. 478, pp. 245–264. Springer, Berlin (1999)
Milovanović, G.V., Mitrinović, D.S., Rassias, ThM: Topics in Polynomials: Extremal Problems, Inequalities, Zeros. World Scientific, Singapore (1994)
Mirsky, L.: An inequality of the Markov–Bernstein type for polynomials. SIAM J. Math. Anal. 14, 1004–1008 (1983)
Muckenhoupt, B.: Hardy’s inequality with weights. Stud. Math. 44, 31–38 (1972)
Pérez, D., Quintana, Y.: Some Markov–Bernstein type inequalities and certain class of Sobolev polynomials. J. Adv. Math. Stud. 4, 85–100 (2011)
Portilla, A., Quintana, Y., Rodríguez, J.M., Tourís, E.: Weierstrass’ Theorem with weights. J. Approx. Theory 127, 83–107 (2004)
Portilla, A., Quintana, Y., Rodríguez, J.M., Tourís, E.: Zero location and asymptotic behavior for extremal polynomials with non-diagonal Sobolev norms. J. Approx. Theory 162, 2225–2242 (2010)
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, 11 (2013). Article ID 628031
Rodríguez, J.M.: The multiplication operator in Sobolev spaces with respect to measures. J. Approx. Theory 109, 157–197 (2001)
Rodríguez, J.M.: A simple characterization of weighted Sobolev spaces with bounded multiplication operator. J. Approx. Theory 153, 53–72 (2008)
Rodríguez, J.M.: Zeros of Sobolev orthogonal polynomials via Muckenhoupt inequality with three measures. Acta Appl. Math. 142, 9–37 (2016)
Rodríguez, J.M., Alvarez, V., Romera, E., Pestana, D.: Generalized weighted Sobolev spaces and applications to Sobolev orthogonal polynomials I. Acta Appl. Math. 80, 273–308 (2004)
Rodríguez, J.M., Alvarez, V., Romera, E., Pestana, D.: Generalized weighted Sobolev spaces and applications to Sobolev orthogonal polynomials II. Approx. Theory Appl. 18(2), 1–32 (2002)
Rodríguez, J.M., Alvarez, V., Romera, E., Pestana, D.: Generalized weighted Sobolev spaces and applications to Sobolev orthogonal polynomials: a survey. Electr. Trans. Numer. Anal. 24, 88–93 (2006)
Rodríguez, J.M., Sigarreta, J.M.: Sobolev spaces with respect to measures in curves and zeros of Sobolev orthogonal polynomials. Acta Appl. Math. 104, 325–353 (2008)
Schmidt, E.: Über die nebst ihren Ableitungen orthogonalen Polynomensysteme und das zugehörige Extremum. Math. Ann. 119, 165–204 (1944)
Acknowledgements
The authors thank the referees for their deep revision of the manuscript. Their comments and suggestions have contributed to improve substantially the presentation of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Francisco Marcellán: Supported in part by two Grants from Ministerio de Economía y Competitividad (MTM2012-36732-C03-01 and MTM2015-65888-C4-2-P), Spain. Yamilet Quintana: Supported in part by a Grant from Ministerio de Economía y Competitividad (MTM2012-36732-C03-01), Spain. José M. Rodríguez: Supported in part by three Grants from Ministerio de Economía y Competititvidad, Agencia Estatal de Investigacin (AEI) and Fondo Europeo de Desarrollo Regional (FEDER) (MTM2013-46374-P, MTM2016-78227-C2-1-P and MTM2015-69323-REDT), Spain, and a Grant from CONACYT (FOMIX-CONACyT-UAGro 249818), México.
Rights and permissions
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.
About this article
Cite this article
Marcellán, F., Quintana, Y. & Rodríguez, J.M. Weighted Sobolev spaces: Markov-type inequalities and duality. Bull. Math. Sci. 8, 233–256 (2018). https://doi.org/10.1007/s13373-017-0104-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-017-0104-y