Math 2.0

Numerical analysis Monte Carlo and quasi-Monte Carlo methods Theorem

Monte Carlo integration

Builds on Monte Carlo methodLebesgue measureContinuous uniform distributionIndependent and identically distributed random variablesVarianceStrong law of large numbersCentral limit theoremVariance of a sum of independent random variables

Statement

Let d≥1d \ge 1, let Ω⊆ℝd\Omega \subseteq \R^d be a measurable set with Lebesgue measure VV, 0<V<∞0 < V < \infty, and let f ⁣:Ω→ℝf \colon \Omega \to \R be integrable, with I=∫Ωf(x) dxI = \int_\Omega f(x)\, dx. Let X1,X2,…X_1, X_2, \ldots be independent and identically distributed random points with the uniform distribution on Ω\Omega, and let Qn=Vn∑i=1nf(Xi).Q_n = \frac{V}{n} \sum_{i=1}^{n} f(X_i). Then:

  1. 𝔼Qn=I\mathbb E Q_n = I for every n≥1n \ge 1;
  2. Qn→IQ_n \to I almost surely as n→∞n \to \infty;
  3. if moreover ∫Ωf2<∞\int_\Omega f^2 < \infty, then Var⁡Qn=V2σ2/n\operatorname{Var} Q_n = V^2 \sigma^2 / n, where σ2=Var⁡f(X1)=1V∫Ωf2−I2V2\sigma^2 = \operatorname{Var} f(X_1) = \frac{1}{V}\int_\Omega f^2 - \frac{I^2}{V^2};
  4. under the hypothesis of clause 3 and σ>0\sigma > 0, n (Qn−I)/(Vσ)\sqrt{n}\,(Q_n - I) / (V \sigma) converges in distribution to the standard normal distribution.

Remarks

The density of X1X_1 is 1/V1/V on Ω\Omega, so 𝔼[Vf(X1)]=∫Ωf\mathbb E[V f(X_1)] = \int_\Omega f; this gives clause 1. Clause 2 is the strong law of large numbers for the variables Vf(Xi)V f(X_i), and clause 4 is the central limit theorem. Clause 3 follows from the variance of a sum of independent random variables. So the root-mean-square error is Vσ/nV\sigma / \sqrt{n}; the rate n−1/2n^{-1/2} does not depend on the dimension dd or on the smoothness of ff. Example: for f(x)=x2f(x) = x^2 on Ω=[0,1]\Omega = [0, 1] one has I=1/3I = 1/3 and σ2=1/5−1/9=4/45\sigma^2 = 1/5 - 1/9 = 4/45, so with n=104n = 10^4 the standard error is about 0.0030.003. In practice σ\sigma is unknown and is replaced by the sample standard deviation, which gives approximate confidence intervals. Without square-integrability clause 3 fails, and the convergence in clause 2 may be much slower than n−1/2n^{-1/2}.

Going deeper

For a student

This is the basic Monte Carlo method applied to Y=Vf(X)Y = V f(X) with XX uniform. In low dimension and for smooth ff, classical quadrature rules converge much faster than n−1/2n^{-1/2}, so Monte Carlo is mainly useful when dd is large or ff is rough. Variance reduction techniques, such as importance sampling, control variates and stratification, keep the rate n−1/2n^{-1/2} but reduce the constant σ\sigma. Quasi-Monte Carlo methods replace the random points by deterministic low-discrepancy points. For functions of bounded variation in the sense of Hardy and Krause, they reach a rate close to n−1n^{-1}. Uniform sampling on Ω\Omega is often replaced by sampling from another density, which is the idea of importance sampling.

Reading path

To understand this page from the ground up, read these 102 pages in order. The foundations come first.

  1. Borel sigma-algebra concept
  2. Complex numbers object
  3. Construction of the reals from Cauchy sequences concept
  4. Continuous uniform distribution concept
  5. Element definition
  6. Euclidean space object
  7. Independent and identically distributed random variables concept
  8. Integers object
  9. Monte Carlo method concept
  10. Ordered field definition
  11. Outer measure concept
  12. Proposition concept
  13. Random experiment concept
  14. Rational numbers object
  15. Real numbers object
  16. Set bounded above definition
  17. Variance concept
  18. Euler's formula statement
  19. Set definition
  20. Lebesgue measure object
  21. Ring of integers statement
  22. Disjunction definition
  23. Implication definition
  24. Predicate definition
  25. Supremum definition
  26. Ordered pair definition
  27. Union definition
  28. Existential quantifier definition
  29. Universal quantifier definition
  30. Sample space definition
  31. The rationals form a field statement
  32. Completeness axiom statement
  33. Cartesian product definition
  34. Uniqueness quantifier definition
  35. Subset definition
  36. Existence of square roots of nonnegative reals statement
  37. The rationals form an ordered field statement
  38. Binary relation definition
  39. Universal set definition
  40. Power set definition
  41. Order on the reals definition
  42. Square root definition
  43. Function definition
  44. Complement definition
  45. Interval definition
  46. Injective function definition
  47. Indicator function definition
  48. Preimage of a set definition
  49. Sigma-algebra definition
  50. Countable set definition
  51. Event definition
  52. Borel sigma-algebra definition
  53. Probability axioms concept
  54. Probability measure definition
  55. Probability distribution definition
  56. Dirac measure definition
  57. Probability space definition
  58. Almost surely definition
  59. Conditional probability definition
  60. Monotonicity of probability statement
  61. Random variable definition
  62. Independence of two events definition
  63. Almost sure convergence definition
  64. Cumulative distribution function definition
  65. Discrete random variable definition
  66. Law of a random variable definition
  67. Random variable with a density definition
  68. Convergence in probability definition
  69. Mutual independence of events definition
  70. Independence of two random variables definition
  71. Joint probability distribution definition
  72. Convergence in distribution definition
  73. Probability mass function definition
  74. Expected value definition
  75. Probability density function definition
  76. Identically distributed random variables definition
  77. Independent sigma-algebras definition
  78. Marginal distribution definition
  79. Markov's inequality statement
  80. Variance definition
  81. Law of the unconscious statistician statement
  82. Linearity of expectation statement
  83. Density of the normal distribution definition
  84. Independence of random variables definition
  85. Independence means the joint law is the product of the marginals statement
  86. Characteristic function definition
  87. Standard deviation definition
  88. Covariance definition
  89. Normal distribution definition
  90. Expectation of a product of independent random variables statement
  91. Chebyshev's inequality statement
  92. The characteristic function determines the distribution statement
  93. Independent and identically distributed random variables definition
  94. Variance of a sum statement
  95. Independent random variables are uncorrelated statement
  96. Lévy's continuity theorem statement
  97. Law of large numbers concept
  98. Variance of a sum of independent random variables statement
  99. Central limit theorem statement
  100. Weak law of large numbers statement
  101. Strong law of large numbers statement
  102. Monte Carlo integration statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Monte_Carlo_integration
About this page
TagDAR3QJ5H7Y
URIm2://DAR3QJ5H7Y
Kindstatement, theorem
WritingW0 stub
MSC65C05, 65D30
StatusThis copy of the site has no build data. Run m2 status DAR3QJ5H7Y.
AboutMonte Carlo method
UsesMonte Carlo method, Lebesgue measure, Continuous uniform distribution, Independent and identically distributed random variables, Variance, Strong law of large numbers, Central limit theorem, Variance of a sum of independent random variables
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by