Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

A Unified Framework for Linear Dimensionality Reduction in L1

For a family of interpolation norms \({\| \cdot \|_{1,2,s}}\) on \({\mathbb{R}^{n}}\), we provide a distribution over random matrices \({\Phi_s \in \mathbb{R}^{m \times n}}\) parametrized by sparsity level s such that for a fixed set X of K points in \({\mathbb{R}^{n}}\), if \({m \geq C s \log(K)}\) then with high probability, \({\frac{1}{2}\| \varvec{x} \|_{1,2,s} \leq \| \Phi_s (\varvec{x}) \|_1 \leq 2 \| \varvec{x} \|_{1,2,s}}\) for all \({\varvec{x} \in X}\). Several existing results in the literature roughly reduce to special cases of this result at different values of s: For s = n, \({\| \varvec{x} \|_{1,2,n}\equiv \| \varvec{x} \|_{1}}\) and we recover that dimension reducing linear maps can preserve the ?₁-norm up to a distortion proportional to the dimension reduction factor, which is known to be the best possible such result. For s = 1, \({\| \varvec{x} \|_{1,2,1}\equiv \| \varvec{x} \|_{2}}\), and we recover an ?₂/?₁ variant of the Johnson–Lindenstrauss Lemma for Gaussian random matrices. Finally, if \({\varvec{x}}\) is s- sparse, then \({\| \varvec{x} \|_{1,2,s} = \| \varvec{x} \|_1}\) and we recover that s-sparse vectors in \({\ell_1^n}\) embed into \({\ell_1^{\mathcal{O}(s \log(n))}}\) via sparse random matrix constructions.     

On commutator of generalized Aluthge transformations and Fuglede–Putnam theorem

Let \(A=U|A|\) be the polar decomposition of A on a complex Hilbert space \({\mathscr {H}}\) and \(0<s,t\). Then \({\widetilde{A}}_{s, t}=|A|^sU|A|^t\) and \({\widetilde{A}}_{s, t}^{(*)}=|A^*|^sU|A^*|^t\) are called the generalized Aluthge transformation and generalized \(*\)-Aluthge transformation of A, respectively. A pair (A, B) of operators is said to have the Fuglede–Putnam property (breifly, the FP-property) if \(AX=XB\) implies \(A^*X=XB^*\) for every operator X. We prove that if (A, B) has the FP-property, then \(({\widetilde{A}}_{s, t},{\widetilde{B}}_{s, t})\) and \((({\widetilde{A}}_{s, t})^{*},({\widetilde{B}}_{s, t})^{*})\) has the FP-property for every \(s,t>0\) with \(s+t=1\). Also, we prove that \(({\widetilde{A}}_{s, t},{\widetilde{B}}_{s, t})\) has the FP-property if and only if \((({\widetilde{A}}_{s, t})^{*},({\widetilde{B}}_{s, t})^{*})\) has the FP-property, where A, B are invertible and \( 0 < s, t \) with \( s + t =1\). Moreover, we prove that if \(0 < s, t\) and \({\widetilde{A}}_{s, t}\) is positive and invertible, then \(\left\| {\widetilde{A}}_{s, t}X-X{\widetilde{A}}_{s, t}\right\| \le \left\| A\right\| ^{2t}\left\| ({\widetilde{A}}_{s, t})^{-1}\right\| \left\| X\right\| \) for every operator X. Also, if \( 0 <s, t\) and X is positive, then \(\left\| |{\widetilde{A}}_{s, t}|^{2r} X-X|{\widetilde{A}}_{s, t}|^{2r}\right\| \le \frac{1}{2}\left\| |A|\right\| ^{2r}\left\| X\right\| \) for every \(r>0\).     

Infinitesimal form boundedness and Trudinger’s subordination for the Schrödinger operator

We give explicit analytic criteria for two problems associated with the Schrödinger operator H=-Δ+Q on L²(? ⁿ ) where Q∈D’(? ⁿ ) is an arbitrary real- or complex-valued potential.

First, we obtain necessary and sufficient conditions on Q so that the quadratic form \(\langle{Q}\cdot,\ \cdot\rangle\) has zero relative bound with respect to the Laplacian. For Q∈L¹_loc(? ⁿ ), this property can be expressed in the form of the integral inequality:

$\left\vert\int_{\mathbb{R}^n} |u(x)|^2 Q(x) dx \right\vert\leq\epsilon\| \nabla u \|^2_{L^2(\mathbb{R}^n)} + C(\epsilon) \|u \|^2_{L^2(\mathbb{R}^n)}, \quad\forall u \in C^{\infty}_0(\mathbb{R}^n),$

for an arbitrarily small ε>0 and some C(ε)>0. One of the major steps here is the reduction to a similar inequality with nonnegative function \(|\nabla(1-\Delta)^{-1} Q|^2 + |(1-\Delta)^{-1} Q|\) in place of Q. This provides a complete solution to the infinitesimal form boundedness problem for the Schrödinger operator, and leads to new broad classes of admissible distributional potentials Q, which extend the usual L ^p and Kato classes, as well as those based on the well-known conditions of Fefferman–Phong and Chang–Wilson–Wolff.

Secondly, we characterize Trudinger’s subordination property where C(ε) in the above inequality is subject to the condition C(ε)≤cε^-β(β>0) as ε→+0. Such quadratic form inequalities can be understood entirely in the framework of Morrey–Campanato spaces, using mean oscillations of \(\nabla(1-\Delta)^{-1}Q\) and \((1-\Delta)^{-1}Q\) on balls or cubes. A version of this condition where ε∈(0,+∞) is equivalent to the multiplicative inequality:

$\left\vert\int_{\mathbb{R}^n} |u(x)|^2Q(x)dx\right\vert\leq{C}\|\nabla{u}\|^{2p}_{L^2(\mathbb{R}^n)}\|u\|^{2(1-p)}_{L^2(\mathbb{R}^n)},\quad\forall{u}\in{C}^\infty_0(\mathbb{R}^n),$

with \(p=\frac\beta{1 + \beta}\in(0,1)\). We show that this inequality holds if and only if \(\nabla\Delta^{-1} Q \in{BMO}(\mathbb{R}^n)\) if \(p=\frac{1}{2}\). For \(0 < p < \frac{1}{2}\), it is valid whenever \(\nabla\Delta^{-1}Q\) is Hölder-continuous of order 1-2p, or respectively lies in the Morrey space \(\mathcal{L}^{2,\lambda}\) with λ=n+2-4p if \(\frac{1}{2} < p < 1\). As a consequence, we characterize completely the class of those Q which satisfy an analogous multiplicative inequality of Nash’s type, with \(\|u\|_{L^1(\mathbb{R}^n)}\) in placeof \(\|u\|_{L^2(\mathbb{R}^n)}\).

These results are intimately connected with spectral theory and dynamics of the Schrödinger operator, and elliptic PDE theory.     

On stable Baire classes

We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps \({f : X\to Y}\) of the class \({\alpha}\) for wide classes of topological spaces. In particular, we prove that for a topological space X and a contractible space Y a map \({f : X \to Y}\) belongs to the nth stable Baire class if and only if there exist a sequence \({(f_k)_{k=1}^\infty}\) of continuous maps \({f_k : {X \to Y}}\) and a sequence \({(F_k)_{k=1}^\infty}\) of functionally ambiguous sets of the nth class in X such that \({f|_{F_k}=f_k|_{F_k}}\) for every k. Moreover, we show that every monotone function \({f : \mathbb{R} \to \mathbb{R}}\) is of the \({\alpha}\) th stable Baire class if and only if it belongs to the first stable Baire class.     

A New Family of Singular Integral Operators Whose $$L^2$$-Boundedness Implies Rectifiability

Let \(E \subset {\mathbb {C}}\) be a Borel set such that \(0<{\mathcal {H}}^1(E)<\infty \). David and Léger proved that the Cauchy kernel 1 / z (and even its coordinate parts \(\mathrm{Re\,}z/|z|^2\) and \(\mathrm{Im\,}z/|z|^2, z\in {\mathbb {C}}{\setminus }\{0\}\)) has the following property: the \(L^2({\mathcal {H}}^1\lfloor E)\)-boundedness of the corresponding singular integral operator implies that E is rectifiable. Recently Chousionis, Mateu, Prat and Tolsa extended this result to any kernel of the form \((\mathrm{Re\,}z)^{2n-1}/|z|^{2n}, n\in {\mathbb {N}}\). In this paper, we prove that the above-mentioned property holds for operators associated with the much wider class of the kernels \((\mathrm{Re\,}z)^{2N-1}/|z|^{2N}+t\cdot (\mathrm{Re\,}z)^{2n-1}/|z|^{2n}\), where n and N are positive integer numbers such that \(N\geqslant n\), and \(t\in {\mathbb {R}}{\setminus } (t_1,t_2)\) with \(t_1,t_2\) depending only on n and N.     

Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

Let \({L_{w}}{:=-w^{-1}{\rm div}(A\nabla)}\) be the degenerate elliptic operator on the Euclidean space \({{\mathbb{R}^{n}}}\), where w is a Muckenhoupt \({A_{2}({\mathbb{R}^{n}})}\) weight. In this article, the authors establish the Riesz transform characterization of the Hardy space \({H^{p}_{L_{w}}({\mathbb{R}}^{n})}\) associated with L_w, for \({w \in A_{q}({\mathbb{R}}^{n}) \cap RH_{\frac{n}{n-2}}({\mathbb{R}^{n}})}\) with \({n \geq 3}\), \({q \in [1,2]}\) and \({p \in (q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]}\) if, for some \({r \in (1,\,2]}\), \({{\{tL_w e^{-tL_w}\}}_{t\geq 0}}\) satisfies the weighted \({L^{r}-L^{2}}\) full off-diagonal estimates.     

A Characterization Theorem for the $$L^{2}$$-Discrepancy of Integer Points in Dilated Polygons

Let C be a convex d-dimensional body. If \(\rho \) is a large positive number, then the dilated body \(\rho C\) contains \(\rho ^{d}\left| C\right| +\mathcal {O}\left( \rho ^{d-1}\right) \) integer points, where \(\left| C\right| \) denotes the volume of C. The above error estimate \(\mathcal {O}\left( \rho ^{d-1}\right) \) can be improved in several cases. We are interested in the \(L^{2}\)-discrepancy \(D_{C}(\rho )\) of a copy of \(\rho C\) thrown at random in \(\mathbb {R}^{d}\). More precisely, we consider

Open image in new window

where \(\mathbb {T}^{d}=\) \(\mathbb {R}^{d}/\mathbb {Z}^{d}\) is the d-dimensional flat torus and \(SO\left( d\right) \) is the special orthogonal group of real orthogonal matrices of determinant 1. An argument of Kendall shows that \(D_{C}(\rho )\le c\ \rho ^{(d-1)/2}\). If C also satisfies the reverse inequality \(\ D_{C}(\rho )\ge c_{1} \ \rho ^{(d-1)/2}\), we say that C is \(L^{2}\) -regular. Parnovski and Sobolev proved that, if \(d>1\), a d-dimensional unit ball is \(L^{2} \)-regular if and only if \(d\not \equiv 1\ ({\text {mod}}4)\). In this paper we characterize the \(L^{2}\)-regular convex polygons. More precisely, we prove that a convex polygon is not \(L^{2}\)-regular if and only if it can be inscribed in a circle and it is symmetric about the centre.

     

Global well-posedness of 3-D density-dependent Navier-Stokes system with variable viscosity

Given initial data(ρ0, u0) satisfying 0 m ρ0≤ M, ρ0- 1 ∈ L2∩˙W1,r(R3) and u0 ∈˙H-2δ∩ H1(R3) for δ∈ ]1/4, 1/2[ and r ∈ ]6, 3/1- 2δ[, we prove that: there exists a small positive constant ε1,which depends on the norm of the initial data, so that the 3-D incompressible inhomogeneous Navier-Stokes system with variable viscosity has a unique global strong solution(ρ, u) whenever‖ u0‖ L2 ‖▽u0 ‖L2 ≤ε1 and ‖μ(ρ0)- 1‖ L∞≤ε0 for some uniform small constant ε0. Furthermore, with smoother initial data and viscosity coefficient, we can prove the propagation of the regularities for such strong solution.     

Solutions of perturbed Schrödinger equations with critical nonlinearity

We consider the perturbed Schrödinger equation

$\left\{\begin{array}{ll}{- \varepsilon ^2 \Delta u + V(x)u = P(x)|u|^{p - 2} u + k(x)|u|^{2* - 2} u} &; {\text{for}}\, x \in {\mathbb{R}}^N\\ \qquad \qquad \quad {u(x) \rightarrow 0} &; \text{as}\, {|x| \rightarrow \infty} \end{array} \right.$

where \(N\geq 3, \ 2^*=2N/(N-2)\) is the Sobolev critical exponent, \(p\in (2, 2^*)\) , P(x) and K(x) are bounded positive functions. Under proper conditions on V we show that it has at least one positive solution provided that \(\varepsilon\leq{\mathcal{E}}\) ; for any \(m\in{\mathbb{N}}\) , it has m pairs of solutions if \(\varepsilon\leq{\mathcal{E}}_{m}\) ; and suppose there exists an orthogonal involution \(\tau:{\mathbb{R}}^{N}\to{\mathbb{R}}^{N}\) such that V(x), P(x) and K(x) are τ -invariant, then it has at least one pair of solutions which change sign exactly once provided that \(\varepsilon\leq{\mathcal{E}}\) , where \({\mathcal{E}}\) and \({\mathcal{E}}_{m}\) are sufficiently small positive numbers. Moreover, these solutions \(u_\varepsilon\to 0\) in \(H^1({\mathbb{R}}^N)\) as \(\varepsilon\to 0\) .

     

Hecke algebras for {{\rm GL}_n} over local fields

We study the local Hecke algebra \({\mathcal{H}_{G}(K)}\) for \({G = {\rm GL}_{n}}\) and K a non-archimedean local field of characteristic zero. We show that for \({G = {\rm GL}_{2}}\) and any two such fields K and L, there is a Morita equivalence \({\mathcal{H}_{G}(K) \sim_{M} \mathcal{H}_{G}(L)}\), by using the Bernstein decomposition of the Hecke algebra and determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence. By contrast, we prove that for \({G = {\rm GL}_{n}}\), there is an algebra isomorphism \({\mathcal{H}_{G}(K) \cong \mathcal{H}_{G}(L)}\) which is an isometry for the induced \({L^1}\)-norm if and only if there is a field isomorphism \({K \cong L}\).     

Lp estimates for non-smooth bilinear Littlewood–Paley square functions on $${\mathbb{R}}$$

In this work, we study some non-smooth bilinear analogues of linear Littlewood–Paley square functions on the real line. We prove boundedness-properties in Lebesgue spaces for them. Let us consider the functions \({\phi_{n}}\) satisfying \({\widehat{\phi_n}(\xi)={\bf 1}_{[n,n+1]}(\xi)}\) and define the bilinear operator \({S_n(f,g)(x):=\int f(x+y)g(x-y) \phi_n(y) dy}\) . These bilinear operators are closely related to the bilinear Hilbert transforms. Then for exponents \({p,q,r'\in[2,\infty)}\) satisfying \({\frac{1}{p}+\frac{1}{q}=\frac{1}{r}}\) , we prove that

$\left\| \left( \sum_{n\in \mathbb{Z}}\left|S_n(f,g) \right|^2 \right)^{1/2}\right\|_{L^{r}(\mathbb{R})}\lesssim \|f\|_{L^p(\mathbb{R})}\|g\|_{L^q(\mathbb{R})}.$

     

Finite Gap Jacobi Matrices,III. Beyond the Szegő Class

Let \({\frak {e}}\subset {\mathbb {R}}\) be a finite union of ?+1 disjoint closed intervals, and denote by ω _j the harmonic measure of the j left-most bands. The frequency module for \({\frak {e}}\) is the set of all integral combinations of ω ₁,…,ω _? . Let \(\{\tilde{a}_{n}, \tilde{b}_{n}\}_{n=-\infty}^{\infty}\) be a point in the isospectral torus for \({\frak {e}}\) and \(\tilde{p}_{n}\) its orthogonal polynomials. Let \(\{a_{n},b_{n}\}_{n=1}^{\infty}\) be a half-line Jacobi matrix with \(a_{n} = \tilde{a}_{n} + \delta a_{n}\), \(b_{n} = \tilde{b}_{n} +\delta b_{n}\). Suppose

$\sum_{n=1}^\infty \lvert \delta a_n\rvert ^2 + \lvert \delta b_n\rvert ^2 <\infty $

and \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta a_{n}\), \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta b_{n}\) have finite limits as N→∞ for all ω in the frequency module. If, in addition, these partial sums grow at most subexponentially with respect to ω, then for z∈???, \(p_{n}(z)/\tilde{p}_{n}(z)\) has a limit as n→∞. Moreover, we show that there are non-Szeg? class J’s for which this holds.

     

{L^{p}} stability for the Boltzmann equation near vacuum

The paper is concerned with the uniform time stability in the Lebesgue space \({L^{p}(\mathbb{R}^{3} \times \mathbb{R}^{3})}\) of solutions to the Boltzmann equation near vacuum. Precisely, for the soft potential case \({-2 < \gamma < 0}\), there exists \(p_{\gamma} > 1\) such that the nonnegative solution with algebraic decay rate in x, v at infinity is stable with respect to small initial data uniformly in time in \({L^{p}}\) with \({1 \leq p < p_{\gamma}}\).     

The heat semigroup on sectorial domains,highly singular initial values and applications

We show that the heat semigroup is well defined on the Banach space \({\mathcal{X}_{m,\gamma} = \{ \psi:\Omega_m \to \mathbb{R} ;\; |x|^{\gamma +2m}(\prod_{i=1}^m x_i)^{-1}\psi(x) \in L^\infty(\Omega_m)\},}\) \({0 < \gamma < N}\), where \({\Omega_m=\{(x_1,\, x_2,\, \ldots,\, x_N) \in \mathbb{R}^{N};\; x_i > 0,\, 1\leq i\leq m\},}\) \({1\leq m\leq N}\). We then investigate the large time behavior of solutions of the heat equation \({u_{t}-\Delta u=0}\) for t > 0 and \({x \in \Omega_m.}\) Using certain notions from dynamical systems, we show that the large time behavior is related to the spatial asymptotic behavior of its initial value. Since the space \({\mathcal{X}_{m, \gamma}}\) contains highly singular initial data, which can be extended to all of \({\mathbb{R}^{N}}\) by antisymmetry, we also obtain new results on the complexity in the asymptotic behavior of solutions for the heat equation on the whole space.     

Symmetric Pairs and Self-Adjoint Extensions of Operators,with Applications to Energy Networks

We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator A on a Hilbert space \(\mathcal {H}\), by means of a symmetric pair of operators. A symmetric pair is comprised of densely defined operators \(J: \mathcal {H}_1 \rightarrow \mathcal {H}_2\) and \(K: \mathcal {H}_2 \rightarrow \mathcal {H}_1\) which are compatible in a certain sense. With the appropriate definitions of \(\mathcal {H}_1\) and J in terms of A and \(\mathcal {H}\), we show that \((\textit{JJ}^\star )^{-1}\) is the Friedrichs extension of A. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of A as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces \(\ell ^2(G)\) and \(\mathcal {H}_{\mathcal {E}}\) (the energy space).     

A Sharp Weak-Type $$(\infty ,\infty )$$ Inequality for the Hilbert Transform

The paper is devoted to sharp weak type \((\infty ,\infty )\) estimates for \({\mathcal {H}}^{\mathbb {T}}\) and \({\mathcal {H}}^{\mathbb {R}}\), the Hilbert transforms on the circle and real line, respectively. Specifically, it is proved that

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {T}}f\right\| _{W({\mathbb {T}})}\le \Vert f\Vert _{L^\infty ({\mathbb {T}})} \end{aligned}$$

and

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {R}}f\right\| _{W({\mathbb {R}})}\le \Vert f\Vert _{L^\infty ({\mathbb {R}})}, \end{aligned}$$

where \(W({\mathbb {T}})\) and \(W({\mathbb {R}})\) stand for the weak-\(L^\infty \) spaces introduced by Bennett, DeVore and Sharpley. In both estimates, the constant \(1\) on the right is shown to be the best possible.

     

The convolution algebra

For L a complete lattice L and \(\mathfrak {X}=(X,(R_i)_I)\) a relational structure, we introduce the convolution algebra \(L^{\mathfrak {X}}\). This algebra consists of the lattice \(L^X\) equipped with an additional \(n_i\)-ary operation \(f_i\) for each \(n_i+1\)-ary relation \(R_i\) of \(\mathfrak {X}\). For \(\alpha _1,\ldots ,\alpha _{n_i}\in L^X\) and \(x\in X\) we set \(f_i(\alpha _1,\ldots ,\alpha _{n_i})(x)=\bigvee \{\alpha _1(x_1)\wedge \cdots \wedge \alpha _{n_i}(x_{n_i}):(x_1,\ldots ,x_{n_i},x)\in R_i\}\). For the 2-element lattice 2, \(2^\mathfrak {X}\) is the reduct of the familiar complex algebra \(\mathfrak {X}^+\) obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When L is the reduct of a complete Heyting algebra, the operations of \(L^\mathfrak {X}\) are completely additive in each coordinate and \(L^\mathfrak {X}\) is in the variety generated by \(2^\mathfrak {X}\). Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.     

Supplement to Hölder’s inequality. II

Suppose that m ≥ 2, numbers p ₁, …, p _m ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + \cdots + \frac{1}{{{p_m}}} < 1\), and functions \({\gamma _1} \in {L^{{p_1}}}\left( {{?^1}} \right), \cdots ,{\gamma _m} \in {L^{{p_m}}}\left( {{?^1}} \right)\) are given. It is proved that if the set of “resonance” points of each of these functions is nonempty and the “nonresonance” condition holds (both notions were defined by the author for functions in L ^p (?¹), p ∈ (1, +∞]), then \(\mathop {\sup }\limits_{a,b \in {R^1}} \left| {\mathop \smallint \limits_a^b \prod\limits_{k = 1}^m {[{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)]} d\tau } \right| \leqslant C\prod\limits_{k = 1}^m {{{\left\| {{\gamma _k} + \Delta {\gamma _k}} \right\|}_{L_{ak}^{pk}\left( {{R^1}} \right)}}} \) where the constant C > 0 is independent of the functions \(\Delta {\gamma _k} \in L_{ak}^{pk}\left( {{?^1}} \right)\) and \(L_{ak}^{pk}\left( {{?^1}} \right) \subset {L^{pk}}\left( {{?^1}} \right)\), 1 ≤ k ≤ m, are special normed spaces. A condition for the integral over ?¹ of a product of functions to be bounded is also given.     

Interlacing of zeros of Gegenbauer polynomials of non-consecutive degree from different sequences

A theorem due to Stieltjes’ states that if \({\{p_n\}_{n=0}^\infty}\) is any orthogonal sequence then, between any two consecutive zeros of p _k , there is at least one zero of p _n whenever k < n, a property called Stieltjes interlacing. We show that Stieltjes interlacing extends to the zeros of Gegenbauer polynomials \({C_{n+1}^{\lambda}}\) and \({C_{n-1}^{\lambda+t}}\), \({\lambda > -\frac 12}\), if 0 < t ≤ k + 1, and also to the zeros of \({C_{n+1}^{\lambda}}\) and \({C_{n-2}^{\lambda +k}}\) if \({k\in\{1,2,3\}}\). More generally, we prove that Stieltjes interlacing holds between the zeros of the kth derivative of \({C_{n}^{\lambda}}\) and the zeros of \({C_{n+1}^{\lambda}}\), \({k\in\{1,2,\dots,n-1\}}\) and we derive associated polynomials that play an analogous role to the de Boor–Saff polynomials in completing the interlacing process of the zeros.