Multiple orthogonal polynomials

Last updated June 28, 2023

In mathematics, the multiple orthogonal polynomials (MOPs) are orthogonal polynomials in one variable that are orthogonal with respect to a finite family of measures. The polynomials are divided into two classes named type 1 and type 2.^[1]

Multiple orthogonal polynomials

Consider a multiindex ${\vec {n}}=(n_{1},\dots ,n_{r})\in \mathbb {N} ^{r}$ and $r$ positive measures $\mu _{1},\dots ,\mu _{r}$ over the reals. As usual $|{\vec {n}}|:=n_{1}+n_{2}+\cdots +n_{r}$ .

MOP of type 1

Polynomials $A_{{\vec {n}},j}$ for $j=1,2,\dots ,r$ are of type 1 if the $j$ -th polynomial $A_{{\vec {n}},j}$ has at most degree $n_{j}-1$ such that

\sum \limits _{j=1}^{r}\int _{\mathbb {R} }x^{k}A_{{\vec {n}},j}d\mu _{j}(x)=0,\qquad k=0,1,2,\dots ,|{\vec {n}}|-2,

and

\sum \limits _{j=1}^{r}\int _{\mathbb {R} }x^{|{\vec {n}}|-1}A_{{\vec {n}},j}d\mu _{j}(x)=1.

^[2]

Explanation

This defines a system of $|{\vec {n}}|$ equations for the $|{\vec {n}}|$ coefficients of the polynomials $A_{{\vec {n}},1},A_{{\vec {n}},2},\dots ,A_{{\vec {n}},r}$ .

MOP of type 2

A monic polynomial $P_{\vec {n}}(x)$ is of type 2 if it has degree $|{\vec {n}}|$ such that

\int _{\mathbb {R} }P_{\vec {n}}(x)x^{k}d\mu _{j}(x)=0,\qquad k=0,1,2,\dots ,n_{j}-1,\qquad j=1,\dots ,r.

^[2]

Explanation

If we write $j=1,\dots ,r$ out, we get the following definition

\int _{\mathbb {R} }P_{\vec {n}}(x)x^{k}d\mu _{1}(x)=0,\qquad k=0,1,2,\dots ,n_{1}-1

\int _{\mathbb {R} }P_{\vec {n}}(x)x^{k}d\mu _{2}(x)=0,\qquad k=0,1,2,\dots ,n_{2}-1

\vdots

\int _{\mathbb {R} }P_{\vec {n}}(x)x^{k}d\mu _{r}(x)=0,\qquad k=0,1,2,\dots ,n_{r}-1

Literature

Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press. pp. 607–647. ISBN 9781107325982.
López-Lagomasino, G. (2021). An Introduction to Multiple Orthogonal Polynomials and Hermite-Padé Approximation. In: Marcellán, F., Huertas, E.J. (eds) Orthogonal Polynomials: Current Trends and Applications. SEMA SIMAI Springer Series, vol 22. Springer, Cham. https://doi.org/10.1007/978-3-030-56190-1_9

Related Research Articles

In mathematical physics and mathematics, the Pauli matrices are a set of three $2 \times 2$ complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

Noether's theorem or Noether's first theorem states that every differentiable symmetry of the action of a physical system with conservative forces has a corresponding conservation law. The theorem was proven by mathematician Emmy Noether in 1915 and published in 1918. The action of a physical system is the integral over time of a Lagrangian function, from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries over physical space.

In mathematical analysis, Hölder's inequality, named after Otto Hölder, is a fundamental inequality between integrals and an indispensable tool for the study of $L p$ spaces.

In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite dimension is a basis for $whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, the standard basis for a Euclidean space is an orthonormal basis, where the relevant inner product is the dot product of vectors. The image of the standard basis under a rotation or reflection is also orthonormal, and every orthonormal basis for arises in this fashion.$

In physical science and mathematics, the Legendre functions $P λ$ , $Q λ$ and associated Legendre functions $P μ λ$ , $Q μ λ$ , and Legendre functions of the second kind, $Q n$ , are all solutions of Legendre's differential equation. The Legendre polynomials and the associated Legendre polynomials are also solutions of the differential equation in special cases, which, by virtue of being polynomials, have a large number of additional properties, mathematical structure, and applications. For these polynomial solutions, see the separate Wikipedia articles.

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

In the calculus of variations and classical mechanics, the Euler–Lagrange equations are a system of second-order ordinary differential equations whose solutions are stationary points of the given action functional. The equations were discovered in the 1750s by Swiss mathematician Leonhard Euler and Italian mathematician Joseph-Louis Lagrange.

In mathematics, the classical orthogonal polynomials are the most widely used orthogonal polynomials: the Hermite polynomials, Laguerre polynomials, Jacobi polynomials.

<span class="mw-page-title-main">Linking number</span> Numerical invariant that describes the linking of two closed curves in three-dimensional space

In mathematics, the linking number is a numerical invariant that describes the linking of two closed curves in three-dimensional space. Intuitively, the linking number represents the number of times that each curve winds around the other. In Euclidean space, the linking number is always an integer, but may be positive or negative depending on the orientation of the two curves.

<span class="mw-page-title-main">Daubechies wavelet</span> Orthogonal wavelets

The Daubechies wavelets, based on the work of Ingrid Daubechies, are a family of orthogonal wavelets defining a discrete wavelet transform and characterized by a maximal number of vanishing moments for some given support. With each wavelet type of this class, there is a scaling function which generates an orthogonal multiresolution analysis.

In statistics and information theory, a maximum entropy probability distribution has entropy that is at least as great as that of all other members of a specified class of probability distributions. According to the principle of maximum entropy, if nothing is known about a distribution except that it belongs to a certain class, then the distribution with the largest entropy should be chosen as the least-informative default. The motivation is twofold: first, maximizing entropy minimizes the amount of prior information built into the distribution; second, many physical systems tend to move towards maximal entropy configurations over time.

In mathematics, in the field of functional analysis, the Cotlar–Stein almost orthogonality lemma is named after mathematicians Mischa Cotlar and Elias Stein. It may be used to obtain information on the operator norm on an operator, acting from one Hilbert space into another when the operator can be decomposed into almost orthogonal pieces. The original version of this lemma (for self-adjoint and mutually commuting operators) was proved by Mischa Cotlar in 1955 and allowed him to conclude that the Hilbert transform is a continuous linear operator in $without using the Fourier transform. A more general version was proved by Elias Stein.$

In mathematics, Macdonald polynomialsP_λ(x; t,q) are a family of orthogonal symmetric polynomials in several variables, introduced by Macdonald in 1987. He later introduced a non-symmetric generalization in 1995. Macdonald originally associated his polynomials with weights λ of finite root systems and used just one variable t, but later realized that it is more natural to associate them with affine root systems rather than finite root systems, in which case the variable t can be replaced by several different variables t=(t₁,...,t_k), one for each of the k orbits of roots in the affine root system. The Macdonald polynomials are polynomials in n variables x=(x₁,...,x_n), where n is the rank of the affine root system. They generalize many other families of orthogonal polynomials, such as Jack polynomials and Hall–Littlewood polynomials and Askey–Wilson polynomials, which in turn include most of the named 1-variable orthogonal polynomials as special cases. Koornwinder polynomials are Macdonald polynomials of certain non-reduced root systems. They have deep relationships with affine Hecke algebras and Hilbert schemes, which were used to prove several conjectures made by Macdonald about them.

In mathematics, the secondary measure associated with a measure of positive density ρ when there is one, is a measure of positive density μ, turning the secondary polynomials associated with the orthogonal polynomials for ρ into an orthogonal system.

In mathematics, the Christoffel–Darboux theorem is an identity for a sequence of orthogonal polynomials, introduced by Elwin Bruno Christoffel (1858) and Jean Gaston Darboux (1878). It states that

Stochastic portfolio theory (SPT) is a mathematical theory for analyzing stock market structure and portfolio behavior introduced by E. Robert Fernholz in 2002. It is descriptive as opposed to normative, and is consistent with the observed behavior of actual markets. Normative assumptions, which serve as a basis for earlier theories like modern portfolio theory (MPT) and the capital asset pricing model (CAPM), are absent from SPT.

Attempts have been made to describe gauge theories in terms of extended objects such as Wilson loops and holonomies. The loop representation is a quantum hamiltonian representation of gauge theories in terms of loops. The aim of the loop representation in the context of Yang–Mills theories is to avoid the redundancy introduced by Gauss gauge symmetries allowing to work directly in the space of physical states. The idea is well known in the context of lattice Yang–Mills theory. Attempts to explore the continuous loop representation was made by Gambini and Trias for canonical Yang–Mills theory, however there were difficulties as they represented singular objects. As we shall see the loop formalism goes far beyond a simple gauge invariant description, in fact it is the natural geometrical framework to treat gauge theories and quantum gravity in terms of their fundamental physical excitations.

<span class="mw-page-title-main">Representations of classical Lie groups</span>

In mathematics, the finite-dimensional representations of the complex classical Lie groups $,,,,, can be constructed using the general representation theory of semisimple Lie algebras. The groups,, are indeed simple Lie groups, and their finite-dimensional representations coincide with those of their maximal compact subgroups, respectively,, . In the classification of simple Lie algebras, the corresponding algebras are$

The Korkine–Zolotarev (KZ) lattice basis reduction algorithm or Hermite–Korkine–Zolotarev (HKZ) algorithm is a lattice reduction algorithm.

In mathematics, Sobolev orthogonal polynomials are orthogonal polynomials with respect to a Sobolev inner product, i.e. an inner product with derivatives.

References

↑ López-Lagomasino, G. (2021). An Introduction to Multiple Orthogonal Polynomials and Hermite-Padé Approximation. In: Marcellán, F., Huertas, E.J. (eds) Orthogonal Polynomials: Current Trends and Applications. SEMA SIMAI Springer Series, vol 22. Springer, Cham. https://doi.org/10.1007/978-3-030-56190-1_9
1 2 Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press. pp. 607–608. ISBN 9781107325982.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] López-Lagomasino, G. (2021). An Introduction to Multiple Orthogonal Polynomials and Hermite-Padé Approximation. In: Marcellán, F., Huertas, E.J. (eds) Orthogonal Polynomials: Current Trends and Applications. SEMA SIMAI Springer Series, vol 22. Springer, Cham. https://doi.org/10.1007/978-3-030-56190-1_9

[Ismail-2] 1 2 Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press. pp. 607–608. ISBN 9781107325982.

[1]

[2]

Multiple orthogonal polynomials

Contents