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 matrix (mathemat ...
, a Hilbert matrix, introduced by , is a
square matrix In mathematics, a square matrix is a Matrix (mathematics), 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. Squ ...
with entries being the
unit fraction A unit fraction is a positive fraction with one as its numerator, 1/. It is the multiplicative inverse (reciprocal) of the denominator of the fraction, which must be a positive natural number. Examples are 1/1, 1/2, 1/3, 1/4, 1/5, etc. When a ...
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 entries can also be defined by 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\ ...
for powers of ''x''. It arises in the
least squares The method of least squares is a mathematical optimization technique that aims to determine the best fit function by minimizing the sum of the squares of the differences between the observed values and the predicted values of the model. The me ...
approximation of arbitrary functions by
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
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 inpu ...
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 t ...
. 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 inpu ...
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 (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the ...
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 () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations ...
and positive definite. The Hilbert matrix is also totally positive (meaning that the determinant of every
submatrix In mathematics, a matrix (: matrices) is a rectangular array or table of numbers, symbols, or expressions, with elements or entries arranged in rows and columns, which is used to represent a mathematical object or property of such an object. ...
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 rectangular matrix in which each ascending skew-diagonal from left to right is constant. For example, \qquad\begin a & b & c & d & e \\ b & c & d & e & ...
. It is also a specific example of a Cauchy matrix. The determinant can be expressed in closed form, as a special case of the Cauchy determinant. 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 th ...
), 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 asymptotic 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 ...
of the
factorial In mathematics, the factorial of a non-negative denoted is the Product (mathematics), 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 ...
, 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 special functions like the -function and the Barnes -function. The constant also appears in a number of sums and i ...
. 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. 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 rectangular matrix in which each ascending skew-diagonal from left to right is constant. For example, \qquad\begin a & b & c & d & e \\ b & c & d & e & ...
, 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.


References


Further reading

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