Hilbert Matrix
   HOME

TheInfoList



OR:

In
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as: :a_1x_1+\cdots +a_nx_n=b, linear maps such as: :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrices. ...
, a Hilbert matrix, introduced by , is a
square matrix In mathematics, a square matrix is a matrix with the same number of rows and columns. An ''n''-by-''n'' matrix is known as a square matrix of order Any two square matrices of the same order can be added and multiplied. Square matrices are often ...
with entries being the
unit fraction A unit fraction is a rational number written as a fraction where the numerator is one and the denominator is a positive integer. A unit fraction is therefore the reciprocal of a positive integer, 1/''n''. Examples are 1/1, 1/2, 1/3, 1/4, 1/5, et ...
s : H_ = \frac. For example, this is the 5 × 5 Hilbert matrix: : H = \begin 1 & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \end. The Hilbert matrix can be regarded as derived from the integral : H_ = \int_0^1 x^ \, dx, that is, as a
Gramian matrix In linear algebra, the Gram matrix (or Gramian matrix, Gramian) of a set of vectors v_1,\dots, v_n in an inner product space is the Hermitian matrix of inner products, whose entries are given by the inner product G_ = \left\langle v_i, v_j \right\r ...
for powers of ''x''. It arises in the
least squares The method of least squares is a standard approach in regression analysis to approximate the solution of overdetermined systems (sets of equations in which there are more equations than unknowns) by minimizing the sum of the squares of the res ...
approximation of arbitrary functions by
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s. The Hilbert matrices are canonical examples of
ill-conditioned In numerical analysis, the condition number of a function measures how much the output value of the function can change for a small change in the input argument. This is used to measure how sensitive a function is to changes or errors in the input ...
matrices, being notoriously difficult to use in
numerical computation Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of numerical methods th ...
. For example, the 2-norm
condition number In numerical analysis, the condition number of a function measures how much the output value of the function can change for a small change in the input argument. This is used to measure how sensitive a function is to changes or errors in the input ...
of the matrix above is about 4.8.


Historical note

introduced the Hilbert matrix to study the following question in
approximation theory In mathematics, approximation theory is concerned with how function (mathematics), functions can best be approximation, approximated with simpler functions, and with quantitative property, quantitatively characterization (mathematics), characteri ...
: "Assume that , is a real interval. Is it then possible to find a non-zero polynomial ''P'' with integer coefficients, such that the integral :\int_^b P(x)^2 dx is smaller than any given bound ''ε'' > 0, taken arbitrarily small?" To answer this question, Hilbert derives an exact formula for the
determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
of the Hilbert matrices and investigates their asymptotics. He concludes that the answer to his question is positive if the length of the interval is smaller than 4.


Properties

The Hilbert matrix is
symmetric Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
and
positive definite In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular: * Positive-definite bilinear form * Positive-definite f ...
. The Hilbert matrix is also totally positive (meaning that the determinant of every
submatrix In mathematics, a matrix (plural matrices) is a rectangular array or table of numbers, symbols, or expressions, arranged in rows and columns, which is used to represent a mathematical object or a property of such an object. For example, \begin ...
is positive). The Hilbert matrix is an example of a
Hankel matrix In linear algebra, a Hankel matrix (or catalecticant matrix), named after Hermann Hankel, is a square matrix in which each ascending skew-diagonal from left to right is constant, e.g.: \qquad\begin a & b & c & d & e \\ b & c & d & e & f \\ c & d & ...
. It is also a specific example of a
Cauchy matrix In mathematics, a Cauchy matrix, named after Augustin-Louis Cauchy, is an ''m''×''n'' matrix with elements ''a'ij'' in the form : a_=;\quad x_i-y_j\neq 0,\quad 1 \le i \le m,\quad 1 \le j \le n where x_i and y_j are elements of a field \math ...
. The determinant can be expressed in closed form, as a special case of the
Cauchy determinant In mathematics, a Cauchy matrix, named after Augustin-Louis Cauchy, is an ''m''×''n'' matrix (mathematics), matrix with elements ''a'ij'' in the form : a_=;\quad x_i-y_j\neq 0,\quad 1 \le i \le m,\quad 1 \le j \le n where x_i and y_j are elem ...
. The determinant of the ''n'' × ''n'' Hilbert matrix is : \det(H) = \frac, where : c_n = \prod_^ i^ = \prod_^ i!. Hilbert already mentioned the curious fact that the determinant of the Hilbert matrix is the reciprocal of an integer (see sequence in the
OEIS The On-Line Encyclopedia of Integer Sequences (OEIS) is an online database of integer sequences. It was created and maintained by Neil Sloane while researching at AT&T Labs. He transferred the intellectual property and hosting of the OEIS to the ...
), which also follows from the identity : \frac = \frac = n! \cdot \prod_^ \binom. Using
Stirling's approximation In mathematics, Stirling's approximation (or Stirling's formula) is an approximation for factorials. It is a good approximation, leading to accurate results even for small values of n. It is named after James Stirling, though a related but less p ...
of the
factorial In mathematics, the factorial of a non-negative denoted is the product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial: \begin n! &= n \times (n-1) \times (n-2) \t ...
, one can establish the following asymptotic result: : \det(H) \sim a_n\, n^(2\pi)^n \,4^, where ''a''''n'' converges to the constant e^\, 2^\, A^ \approx 0.6450 as n \to \infty, where ''A'' is the
Glaisher–Kinkelin constant In mathematics, the Glaisher–Kinkelin constant or Glaisher's constant, typically denoted , is a mathematical constant, related to the -function and the Barnes -function. The constant appears in a number of sums and integrals, especially those ...
. The inverse of the Hilbert matrix can be expressed in closed form using
binomial coefficient In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the t ...
s; its entries are : (H^)_ = (-1)^(i + j - 1) \binom \binom \binom^2, where ''n'' is the order of the matrix. It follows that the entries of the inverse matrix are all integers, and that the signs form a checkerboard pattern, being positive on the
principal diagonal In linear algebra, the main diagonal (sometimes principal diagonal, primary diagonal, leading diagonal, major diagonal, or good diagonal) of a matrix A is the list of entries a_ where i = j. All off-diagonal elements are zero in a diagonal matrix. ...
. For example, : \begin 1 & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \\ \frac & \frac & \frac & \frac & \frac \end^ = \left[\begin 25 & -300 & 1050 & -1400 & 630 \\ -300 & 4800 & -18900 & 26880 & -12600 \\ 1050 & -18900 & 79380 & -117600 & 56700 \\ -1400 & 26880 & -117600 & 179200 & -88200 \\ 630 & -12600 & 56700 & -88200 & 44100 \end\right]. The condition number of the ''n'' × ''n'' Hilbert matrix grows as O\left(\left(1 + \sqrt\right)^/\sqrt\right).


Applications

The Method of moments (statistics), method of moments applied to polynomial distributions results in a
Hankel matrix In linear algebra, a Hankel matrix (or catalecticant matrix), named after Hermann Hankel, is a square matrix in which each ascending skew-diagonal from left to right is constant, e.g.: \qquad\begin a & b & c & d & e \\ b & c & d & e & f \\ c & d & ...
, which in the special case of approximating a probability distribution on the interval , 1results in a Hilbert matrix. This matrix needs to be inverted to obtain the weight parameters of the polynomial distribution approximation.J. Munkhammar, L. Mattsson, J. Rydén (2017
"Polynomial probability distribution estimation using the method of moments"
PLoS ONE 12(4): e0174573.


References


Further reading

*. Reprinted in * * * * {{Matrix classes Numerical linear algebra Approximation theory Matrices Determinants