Write . The two multivariate normal distribution probability density functions have ratio
Here is the Euclidean norm. Consequently the smallest rejection sampling envelope constant, and its acceptance probability, are
The supremum is attained at ; hence no smaller constant can dominate the ratio. Draw and an independent from the uniform distribution on . Accept when
otherwise repeat with fresh independent random variables. One can generate using a random vector with independent standard normal distribution coordinates.
For any measurable set , the joint acceptance probability is . Dividing by proves that the returned random vector has probability density function . The number of proposals has a geometric distribution on the positive integers, with expected value . When , every proposal is accepted.
An importance weight has expected value . From the ratio in (a),
The supplied normal distribution transform applies with quadratic coefficient , giving each factor . Thus
For , the base exceeds one because : importance weight variance increases exponentially with dimension. For , the importance weight is identically one and its variance is zero. This calculation concerns the importance weight, rather than the weighted integrand.
Stop rejection sampling when exactly target draws have been accepted. The total proposal count is a sum of independent waiting times with geometric distribution, equivalently a negative binomial distribution counting trials. Consequently
The accepted-sample Monte Carlo estimator then has the approximate precision from (a)(iii). The displayed proposal cost is an expected value, which need not be an integer. Spending this many proposals in advance does not ensure that target draws will have been accepted.
Draw independent and identically distributed random variables and use the importance weight . The importance sampling estimator is
The envelope supplies the support condition for importance sampling. Since , this is an unbiased estimator. Moreover, , so
Here . Subtracting the squared expected value and dividing by proves the bounded-weight importance-sampling moment bound in the requested form:
For the proposed joint probability density , define the acceptance indicator function
On the proposal's support the importance weight is . Therefore the requested augmented-space importance sampling estimator is
Its expected value is , provided . This is not the ordinary estimator from question 1. Taking the conditional expectation of this augmented estimator given all produces that ordinary estimator, because . This is the Rao-Blackwell identity for a fixed-denominator rejection estimator.
For the independent statistical sample, write the likelihood function and log-likelihood function as
The expected Fisher information in the whole statistical sample is
Under the regularity conditions that permit differentiation under the integral sign, the score function has expected value zero and
For an interior statistical parameter, assuming identifiability and , the regular asymptotic normality of a maximum likelihood estimator states
Thus the large-sample normal approximation is . The inverse information is the leading sampling variance approximation; the displayed convergence specifies its precise asymptotic meaning.
Under , each has expected value and variance . The central limit theorem therefore approximates
For the supplied data this standardized value is
Using the provided approximation , the lower-tail 5% rule rejects when . The observed is in this region, with approximate p-value . Reject at the 5% level in favor of the specified alternative . The unusually large geometric mean is consistent with the direction of that alternative. This is evidence in this comparison, not a proof that the parameter is exactly three.
Write and . Conditional independence of the next count given allows us to average its Poisson distribution over the posterior distribution:
This Poisson-gamma mixture is the posterior predictive distribution. In the stated negative binomial distribution convention its parameters are
Its expected value equals the posterior mean of , while its variance includes both conditional Poisson variation and uncertainty in .
The Itô formula for yields . Substituting into the expression for gives the pathwise identity
Consequently
Taking expected values proves
The random variable on the preceding line is bounded by one for , so its integrability is immediate.
The stopped representation from part (a)(ii) and the Itô isometry give the exact second-moment identity
The cross term with the initial value is zero because the stopped stochastic integral has zero mean. This is the useful finite-time computation; evaluating the remaining occupation integral explicitly is unnecessary for proving integrability of .
For ,
Combining the second-moment identity with part (i) yields
Let and use monotone convergence:
In particular almost surely, a conclusion obtained without assuming finite exit in the stopping argument.
One can also evaluate the limiting second moment exactly. At exit is either or , so
By bounded convergence theorem and part (i), . Therefore
The same bound also holds at every finite time, by applying to and taking expected values. It improves the preceding bound to if desired.
At the empty Markov chain state, only the constant-rate production chemical reaction is possible. Thus the first-passage time has an exponential distribution of rate :
Its expected value can be obtained by integrating this survival function, and its second moment by integrating times the survival function:
Consequently the requested expected value and variance are
The native PDF repeats in its list of independent noise terms, whereas its third stochastic differential equation uses . We use the intended three independent coordinate Brownian motions .
Put , and . Before the origin is reached, Itô's formula gives
The is the sum of three quadratic variation terms, each . The drift contribution is because the numerator is . The radial stochastic integral can be written using a scalar Brownian motion :
Thus is a squared Bessel process of dimension until it reaches zero. If this equation is taken globally with the usual nonnegative squared Bessel process continuation, taking expected values gives
The stochastic integral has zero expected value: stopping first at large levels bounds the integrands, yields a finite first moment for , and then makes finite, so the unrestricted integral is a square-integrable martingale.
Boundary qualification. The punctured domain in the question does not itself specify that continuation. The boundary classification of a Bessel process says that the origin is inaccessible from when , equivalently . In this parameter range the original stochastic differential equation is global in the stated domain and the boxed result holds as written.
For , we have : the origin is reached in finite time with probability one. One can also see accessibility directly from the radial generator of an SDE diffusion
For , the harmonic function is the probability of reaching zero before . Finite-time access follows by using the nonnegative function
in the stopped Itô formula; it bounds the expected value of the time to reach zero or . Letting gives almost sure finite hitting of zero. The coefficients of the original vector stochastic differential equation are undefined there, so its stated punctured-domain version has no prescribed long-time evolution in this range.
The natural continuing radial squared Bessel process gives , but stopping and holding the particle at the origin would give a different answer. Indeed, with the first hit of zero, Itô's formula for the stopped process gives
Since almost surely, dominated convergence applied to gives
Therefore is the usual continued-radial answer; for a boundary convention is necessary. It is not a uniquely defined limit for the punctured-domain model alone.
At the transverse coordinates are independent Brownian motions with diffusion coefficient . The cylinder is infinitely long, so the axial coordinate cannot affect its first contact time. By rotational invariance of Brownian motion, the mean first-passage time depends only on the transverse radius .
The Kolmogorov backward equation for a mean first-passage time is . Here , so the radial boundary value problem is
The absorbing boundary condition for a diffusion is imposed on the circular cross-section. At , the solution must extend smoothly over the axis. Multiplying by and integrating gives
Smoothness at the axis excludes the logarithm term, and fixes . Consequently
This also verifies the finiteness assumption behind the Kolmogorov backward equation. Let be the first contact time and apply the stopped Itô formula to the bounded nonnegative function just obtained. Its bounded derivatives on the disk make the stopped stochastic integral a martingale, giving
By monotone convergence, has finite expected value; continuity and dominated convergence then make the final term vanish as . Hence . In particular, the mean first-passage time is on the axis and tends to zero at the adsorbing wall.
Normalize the probability density function on :
For , the change of variables is , . Conservation of probability gives the transformed probability density function
It is a Rayleigh distribution with scale . Its derivative is , so it rises from zero, has one maximum, and then decays:
The expected value follows by putting :
Here , obtained from the Gaussian integral by integration by parts. In particular , and the mode changes under a nonlinear variable transformation because a density includes its Jacobian determinant.
Figure 1.
The square root of an exponential variable has a positive density mode
. Original dimensionless Rayleigh distribution with its mode and expected value marked. The density is measured per unit transformed variable, including the change-of-variable factor. Details.
For the binomial distribution, the binomial theorem gives
Differentiation of the probability generating function recovers the first expected value and second factorial moment:
Since , the variance is
Thus
The formulas also hold for and the degenerate choices , with derivatives read directly from the resulting polynomial.
For the discrete uniform distribution, each value has probability . Using the given finite sums,
Subtracting the square of the expected value gives the variance:
Hence
Independence of random variables factors the joint probability mass function as . Therefore
With finite expected values, these rearrangements are justified by absolute convergence: the analogous sum with absolute values equals . Thus
On , . A valid probability density function must integrate to one, so
Thus , which is positive and ensures nonnegativity. Its expected value is
Therefore
The probability density function is symmetric around , providing a second check on the expected value.
Differentiate the probability generating function to obtain
The first derivative is the expected value, and the second gives the factorial moment . Hence
In particular, .
Put . Given , its conditional expected value is and its conditional variance is , since is then fixed. The law of total expectation and law of total variance give
The two scores are dependent: the law of total covariance gives . Adding their two variances without that covariance term would give an incorrect total.