probability-continuous.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Wed, 16 Mar 2016 14:00:04 +0200
changeset 4 5d6cec5fe095
child 6 9b4e31a03161
permissions -rw-r--r--
Probability density function. Continuous uniform random variable. Exponential random variables. Cumulative distribution functions.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     1
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     2
=============================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
 Continuous random variables
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
=============================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
.. contents::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
   :local:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     7
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     8
Probability density function
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
============================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
.. role:: def
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    12
   :class: def
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    13
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    14
:def:`Probability density function` (PDF) for continuous random variable
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    15
:math:`x` is function:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    16
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    17
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    18
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    19
   PDF(a ≤ X ≤ b) = P(a ≤ X ≤ b) = ∫_{a, b} f_X(x) dx
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    20
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    21
   f_X(x) ≥ 0
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    22
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    23
   ∫_{-∞, +∞} f_X(x) dx = 1
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    24
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    25
:math:`f_X(x)` funtion maps values :math:`x` from sample space to real numbers.
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    26
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    27
For continuous random variable:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    28
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    29
.. math:: P(X = a) = 0
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    30
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    31
Expectation
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    32
===========
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    33
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    34
:def:`Expectation` of continuous random variable is:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    35
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    36
.. math:: μ = E[X] = ∫_{-∞, +∞} x·f_X(x)·dx
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    37
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    38
Properties:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    39
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    40
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    41
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    42
   E[X + Y] = E[X] + E[Y]
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    43
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    44
   E[a·X] = a·E[X]
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    45
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    46
   E[a·X + b] = a·E[X] + b
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    47
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    48
Variance
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    49
========
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    50
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    51
:def:`Variance` of continuous random variable is:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    52
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    53
.. math:: var[X] = ∫_{-∞, +∞} (x-μ)²·f_X(x)·dx
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    54
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    55
Properties:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    56
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    57
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    58
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    59
   var[a·X + b] = a²·var[X]
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    60
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    61
   var[X] = E[X²] - E²[X]
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    62
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    63
Standard deviation
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    64
==================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    65
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    66
:def:`Standard deviation` of continuous random variable is:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    67
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    68
.. math:: σ_Χ = sqrt(var[X])
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    69
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    70
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    71
Continuous uniform random variable
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    72
==================================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    73
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    74
:def:`Continuous uniform random variable` is :math:`f_X(x)` that is non-zero
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    75
only on :math:`[a, b]` with :math:`f_X(x) = `1/(b-a)`.
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    76
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    77
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    78
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    79
   E[unif(a, b)] = (b+a)/2
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    80
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    81
   var[unif(a, b)] = (b-a)²/12
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    82
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    83
   σ = (b-a)/sqrt(12)
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    84
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    85
Proofs:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    86
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    87
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    88
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    89
   E[unif(a, b)] = ∫_{a, b} x·1/(b-a)·dx = x²/2/(b-a) |_{a, b} = (b²-a²)/(b-a)/2 = (b+a)/2
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    90
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    91
   E[unif²(a, b)] = ∫_{a, b} x²·1/(b-a)·dx = x³/3/(b-a) |_{a, b} = (b³-a³)/(b-a)/3 = (b²+b·a+a²)/3
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    92
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    93
   var[unif(a, b)] = E[unif²(a, b)] - E²[unif(a, b)] = (b²+b·a+a²)/3 - (b+a)²/4 = (b-a)²/12
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    94
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    95
.. note::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    96
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    97
   In maxima::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    98
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    99
     (%i4) factor((b^2+b*a+a^2)/3 - (a+b)^2/4);
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   100
                 2
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   101
          (b - a)
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   102
          --------
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   103
             12
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   104
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   105
Exponential random variables
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   106
============================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   107
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   108
:def:`Exponential random variables` with parameter :math:`λ` is:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   109
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   110
.. math:: f_X(x) = λ·exp(-λ·x)
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   111
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   112
for :math:`x ≥ 0`, and zero otherwise.
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   113
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   114
Properties:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   115
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   116
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   117
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   118
   E[exp(λ)] = 1/λ
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   119
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   120
   var[exp(λ)] = 1/λ²
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   121
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   122
Proof:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   123
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   124
.. math::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   125
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   126
  ∫_{-∞, +∞} f_X(x)·dx = ∫_{0, +∞} λ·exp(-λ·x)·dx = -exp(-λ·x) |_{0, +∞} = 1
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   127
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   128
  E[exp(λ)] = ∫_{0, +∞} x·λ·exp(-λ·x)·dx = 1/λ
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   129
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   130
  E[exp²(λ)] = ∫_{0, +∞} x²·λ·exp(-λ·x)·dx = 1/λ²
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   131
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   132
.. note::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   133
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   134
   From maxima::
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   135
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   136
    (%i15) assume(lambda>0);
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   137
    (%o15)                           [lambda > 0]
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   138
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   139
    (%i16) integrate(lambda*%e^(-lambda*x),x,0,inf);
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   140
    (%o16)                                 1
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   141
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   142
    (%i17) integrate(x*lambda*%e^(-lambda*x),x,0,inf);
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   143
                                          1
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   144
    (%o17)                              ------
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   145
                                        lambda
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   146
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   147
    (%i18) integrate(x^2*lambda*%e^(-lambda*x),x,0,inf);
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   148
                                           2
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   149
    (%o18)                              -------
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   150
                                              2
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   151
                                        lambda
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   152
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   153
Cumulative distribution functions
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   154
=================================
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   155
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   156
:def:`Cumulative distribution functions` of random variable :math:`X` is:
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   157
5d6cec5fe095 Probability density function. Continuous uniform random variable. Exponential
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   158
.. math:: F_X(x) = P(X ≤ x) = ∫_{-∞, x} f_X(t)·dt