HOME

TheInfoList



OR:

A van der Corput sequence is an example of the simplest one-dimensional
low-discrepancy sequence In mathematics, a low-discrepancy sequence is a sequence with the property that for all values of ''N'', its subsequence ''x''1, ..., ''x'N'' has a low discrepancy. Roughly speaking, the discrepancy of a sequence is low if the proportion of poi ...
over the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analys ...
; it was first described in 1935 by the
Dutch Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People E ...
mathematician J. G. van der Corput. It is constructed by reversing the base-''n'' representation of the sequence of
natural number In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called '' cardinal ...
s (1, 2, 3, …). The b-ary representation of the positive integer n \geq 1 is n ~=~ \sum_^ d_k(n) b^k ~=~ d_0(n) b^0 + \cdots + d_(n) b^, where b is the base in which the number n is represented, and 0 \leq d_k(n) < b; that is, the k-th digit in the b-ary expansion of n. The n-th number in the van der Corput sequence is g_b(n) ~=~ \sum_^ d_k(n) b^ ~=~ d_0(n) b^ + \cdots + d_(n) b^.


Examples

For example, to get the decimal van der Corput sequence, we start by dividing the numbers 1 to 9 in tenths (x/10), then we change the denominator to 100 to begin dividing in hundredths (x/100). In terms of numerator, we begin with all two-digit numbers from 10 to 99, but in backwards order of digits. Consequently, we will get the numerators grouped by the end digit. Firstly, all two-digit numerators that end with 1, so the next numerators are 01, 11, 21, 31, 41, 51, 61, 71, 81, 91. Then the numerators ending with 2, so they are 02, 12, 22, 32, 42, 52, 62, 72, 82, 92. And after that, the numerators ending in 3: 03, 13, 23 and so on... Thus, the sequence begins \left\, or in decimal representation: :0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.01, 0.11, 0.21, 0.31, 0.41, 0.51, 0.61, 0.71, 0.81, 0.91, 0.02, 0.12, 0.22, 0.32, …, The same can be done for the
binary numeral system A binary number is a number expressed in the base-2 numeral system or binary numeral system, a method of mathematical expression which uses only two symbols: typically "0" ( zero) and "1" (one). The base-2 numeral system is a positional notatio ...
, and the binary van der Corput sequence is :0.12, 0.012, 0.112, 0.0012, 0.1012, 0.0112, 0.1112, 0.00012, 0.10012, 0.01012, 0.11012, 0.00112, 0.10112, 0.01112, 0.11112, … or, equivalently, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \tfrac, \ldots. The elements of the van der Corput sequence (in any base) form a
dense set In topology and related areas of mathematics, a subset ''A'' of a topological space ''X'' is said to be dense in ''X'' if every point of ''X'' either belongs to ''A'' or else is arbitrarily "close" to a member of ''A'' — for instance, the ...
in the unit interval; that is, for any real number in
, 1 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
/math>, there exists a
subsequence In mathematics, a subsequence of a given sequence is a sequence that can be derived from the given sequence by deleting some or no elements without changing the order of the remaining elements. For example, the sequence \langle A,B,D \rangle is ...
of the van der Corput sequence that converges to that number. They are also
equidistributed In mathematics, a sequence (''s''1, ''s''2, ''s''3, ...) of real numbers is said to be equidistributed, or uniformly distributed, if the proportion of terms falling in a subinterval is proportional to the length of that subinterval. Such sequences ...
over the unit interval.


C implementation

double corput(int n, int base)


See also

* * * , a natural generalization of the van der Corput sequence to higher dimensions


References

* * {{citation , last1=Kuipers , first1=L. , last2= Niederreiter , first2=H. , author2-link = Harald Niederreiter , title = Uniform distribution of sequences , publisher=
Dover Publications Dover Publications, also known as Dover Books, is an American book publisher founded in 1941 by Hayward and Blanche Cirker. It primarily reissues books that are out of print from their original publishers. These are often, but not always, books ...
, year=2005 , orig-year=1974 , isbn=0-486-45019-8 , page=129,158 , zbl=0281.10001


External links


Van der Corput sequence
at
MathWorld ''MathWorld'' is an online mathematics reference work, created and largely written by Eric W. Weisstein. It is sponsored by and licensed to Wolfram Research, Inc. and was partially funded by the National Science Foundation's National Science ...
Diophantine approximation Low-discrepancy sequences Sequences and series