We establish asymptotics for Christoffel functions associated with multivariate orthogonal polynomials. The underlying measures are assumed to be regular on a suitable domain. In particular, this is true if they are positive a.e. on a compact set that admits analytic parametrization. As a consequence, we obtain asymptotics for Christoffel functions for measures on the ball and simplex under far more general conditions than previously known. As another consequence, we establish universality type limits in the bulk in a variety of settings.

Müntz-Legendre polynomials ${{L}_{n}}\left( \Lambda ;\,x \right)$ associated with a sequence $\Lambda \,=\,\left\{ {{\lambda }_{k}} \right\}$ are obtained by orthogonalizing the system $\left( {{x}^{{{\lambda }_{0}}}},{{x}^{{{\lambda }_{1}}}},{{x}^{{{\lambda }_{2}}}},... \right)$ in ${{L}_{2}}\left[ 0,1 \right]$ with respect to the Legendre weight. If the ${{\lambda }_{k}}\text{ }\!\!'\!\!\text{ s}$ are distinct, it is well known that ${{L}_{n}}\left( \Lambda ;\,x \right)$ has exactly $n$ zeros ${{l}_{n,n}}\,<\,{{l}_{n-1,n}}\,<\,\cdot \cdot \cdot \,<\,{{l}_{2,n}}\,<\,{{l}_{1,n}}$ on $\left( 0,1 \right)$.

First we prove the following global bound for the smallest zero,

$$\exp \left( -4\sum\limits_{j=0}^{n}{\frac{1}{2\text{ }\!\!\lambda\!\!\text{ j}\,\text{+}\,\text{1}}} \right)\,<\,{{l}_{n,n}}.$$

An important consequence is that if the associated Müntz space is non-dense in ${{L}_{2}}\left[ 0,1 \right]$, then

$$\underset{n}{\mathop{\inf }}\,\,{{x}_{n,n}}\,\ge \,\exp \,\left( -4\,\sum\limits_{j=0}^{\infty }{\frac{1}{2{{\text{ }\!\!\lambda\!\!\text{ }}_{j}}\,+\,1}} \right)\,>\,0,$$

so the elements ${{L}_{n}}\left( \Lambda ;\,x \right)$ have no zeros close to 0.

Furthermore, we determine the asymptotic behavior of the largest zeros; for $k$ fixed,

$$\underset{n\to \infty }{\mathop{\lim }}\,\,\left| \log \,{{l}_{k,n}} \right|\,\sum\limits_{j=0}^{n}{\left( 2{{\text{ }\!\!\lambda\!\!\text{ }}_{j}}\,+\,1 \right)}\,=\,{{\left( \frac{jk}{2} \right)}^{2}},$$

where ${{j}_{k}}$ denotes the $k$-th zero of the Bessel function ${{J}_{0}}.$

In the work presented below the classical subject of orthogonal polynomials on the unit circle is discussed in the matrix setting. An explicit matrix representation of the matrix valued orthogonal polynomials in terms of the moments of the measure is presented. Classical recurrence relations are revisited using the matrix representation of the polynomials. The matrix expressions for the kernel polynomials and the Christoffel–Darboux formulas are presented for the first time.

Several rather general sufficient conditions for the extrapolation of the calculus of generalized Dirac operators from L2 to Lp are established. As consequences, we obtain some embedding theorems, quadratic estimates and Littlewood–Paley theorems in terms of this calculus in Lebesgue spaces. Some further generalizations, utilised in Part II devoted to applications, which include the Kato square root model, are discussed. We use resolvent approach and show the irrelevance of the semigroup one. Auxiliary results include a high order counterpart of the Hilbert identity, the derivation of new forms of ‘off-diagonal’ estimates, and the study of the structure of the model in Lebesgue spaces and its interpolation properties. In particular, some coercivity conditions for forms in Banach spaces are used as a substitution of the ellipticity ones. Attention is devoted to the relations between the properties of perturbed and unperturbed generalized Dirac operators. We do not use any stability results.

We show that the operator-valued Marcinkiewicz and Mikhlin Fourier multiplier theorem are valid if and only if the underlying Banach space is isomorphic to a Hilbert space.

We obtain necessary and sufficient conditions for mean convergence of Lagrange interpolation at zeros of orthogonal polynomials for weights on [-1, 1], such as

$$w(x)\,=\,\exp \left( -{{\left( 1-{{x}^{2}} \right)}^{-\alpha }} \right),\,\alpha >0$$

or

$$w(x)=\exp \left( -{{\exp }_{k}}{{\left( 1-{{x}^{2}} \right)}^{-\alpha }} \right),k\ge 1,\alpha >0,$$

where ${{\exp }_{k}}=\exp \left( \exp \left( \cdot \cdot \cdot \exp (\,)\cdot \cdot \cdot \right) \right)$ denotes the $k$-th iterated exponential.

We discuss expansions of solutions of the generalized heat equation which have a singularity at zero in terms of two sequences of homogeneous solutions.

We prove that if u(x, t) is a solution of the one dimensional heat equation and if A u(x, t) is its Appell transform, then u(x, t) has the semi-group (Huygens) property in a domain D if and only if A u(x, t) has the semi-group property in a dual region. We apply this result to simplify and extend some results of Rosenbloom and Widder.