Sobolev orthogonal polynomials

Last updated March 21, 2024

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

Definition

Let $\mu _{0},\mu _{1},\dots ,\mu _{n}$ be positive Borel measures on $\mathbb {R}$ with finite moments. Consider the inner product

\langle p_{r},p_{s}\rangle _{W^{n,2}}=\int _{\mathbb {R} }p_{r}(x)p_{s}(x)\;\mathrm {d} \mu _{0}+\sum \limits _{k=1}^{n}\int _{\mathbb {R} }p_{r}^{(k)}(x)p_{s}^{(k)}(x)\;\mathrm {d} \mu _{k}

and let $W^{n,2}$ be the corresponding Sobolev space. The Sobolev orthogonal polynomials $\{p_{n}\}_{n\geq 0}$ are defined as

\langle p_{n},p_{s}\rangle _{W^{n,2}}=c_{n}\delta _{n,s}

where $\delta _{n,s}$ denotes the Kronecker delta. One says that these polynomials are sobolev orthogonal.^[1]

Explanation

Classical orthogonal polynomials are Sobolev orthogonal polynomials, since their derivatives are also orthogonal polynomials.
Sobolev orthogonal polynomials in general are no longer commutative in the multiplication operator with respect to the inner product, i.e.

\langle xp_{n},p_{s}\rangle _{W^{n,2}}\neq \langle p_{n},xp_{s}\rangle _{W^{n,2}}

Consequently neither Favard's theorem, the three term recurrence or the Christoffel-Darboux formula hold. There exist however other recursion formulas for certain types of measures.

There exist a lot of literature for the case $n=1$ .

Literature

Marcellán, Francisco; Xu, Yuan (2015). "On Sobolev orthogonal polynomials". Expositiones Mathematicae. 33 (3): 308–352. arXiv: 1403.6249 .
Marcellán, Francisco; Moreno-Balcázar, Juan (2017). "WHAT IS... a Sobolev Orthogonal Polynomial?". Notices of the American Mathematical Society. 64: 873–875. doi: 10.1090/noti1562 .

Related Research Articles

<span class="mw-page-title-main">Inner product space</span> Generalization of the dot product; used to define Hilbert spaces

In mathematics, an inner product space is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in $. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or scalar product of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces . The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.$

The Cauchy–Schwarz inequality is an upper bound on the inner product between two vectors in an inner product space in terms of the product of the vector norms. It is considered one of the most important and widely used inequalities in mathematics.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.

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 mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function.

In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

In probability theory and statistics, the cumulants $κ n$ of a probability distribution are a set of quantities that provide an alternative to the moments of the distribution. Any two probability distributions whose moments are identical will have identical cumulants as well, and vice versa.

A conformal field theory (CFT) is a quantum field theory that is invariant under conformal transformations. In two dimensions, there is an infinite-dimensional algebra of local conformal transformations, and conformal field theories can sometimes be exactly solved or classified.

In mathematics, the Riesz–Fischer theorem in real analysis is any of a number of closely related results concerning the properties of the space L² of square integrable functions. The theorem was proven independently in 1907 by Frigyes Riesz and Ernst Sigismund Fischer.

In physics, a sigma model is a field theory that describes the field as a point particle confined to move on a fixed manifold. This manifold can be taken to be any Riemannian manifold, although it is most commonly taken to be either a Lie group or a symmetric space. The model may or may not be quantized. An example of the non-quantized version is the Skyrme model; it cannot be quantized due to non-linearities of power greater than 4. In general, sigma models admit (classical) topological soliton solutions, for example, the Skyrmion for the Skyrme model. When the sigma field is coupled to a gauge field, the resulting model is described by Ginzburg–Landau theory. This article is primarily devoted to the classical field theory of the sigma model; the corresponding quantized theory is presented in the article titled "non-linear sigma model".

In linear algebra, a frame of an inner product space is a generalization of a basis of a vector space to sets that may be linearly dependent. In the terminology of signal processing, a frame provides a redundant, stable way of representing a signal. Frames are used in error detection and correction and the design and analysis of filter banks and more generally in applied mathematics, computer science, and engineering.

In quantum mechanics, the position operator is the operator that corresponds to the position observable of a particle.

In linear algebra, the Householder operator is defined as follows. Let $be a finite-dimensional inner product space with inner product and unit vector . Then$

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 Skorokhod integral, also named Hitsuda–Skorokhod integral, often denoted $, is an operator of great importance in the theory of stochastic processes. It is named after the Ukrainian mathematician Anatoliy Skorokhod and Japanese mathematician Masuyuki Hitsuda. Part of its importance is that it unifies several concepts:$

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonal to each other under some inner product.

In probability theory, a branch of mathematics, white noise analysis, otherwise known as Hida calculus, is a framework for infinite-dimensional and stochastic calculus, based on the Gaussian white noise probability space, to be compared with Malliavin calculus based on the Wiener process. It was initiated by Takeyuki Hida in his 1975 Carleton Mathematical Lecture Notes.

In mathematics, especially representation theory and combinatorics, a Frobenius characteristic map is an isometric isomorphism between the ring of characters of symmetric groups and the ring of symmetric functions. It builds a bridge between representation theory of the symmetric groups and algebraic combinatorics. This map makes it possible to study representation problems with help of symmetric functions and vice versa. This map is named after German mathematician Ferdinand Georg Frobenius.

References

↑ Marcellán, Francisco; Moreno-Balcázar, Juan (2017). "WHAT IS... a Sobolev Orthogonal Polynomial?". Notices of the American Mathematical Society. 64: 873–875. doi: 10.1090/noti1562 .

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] Marcellán, Francisco; Moreno-Balcázar, Juan (2017). "WHAT IS... a Sobolev Orthogonal Polynomial?". Notices of the American Mathematical Society. 64: 873–875. doi: 10.1090/noti1562 .

[1]