The softplus function
is convex because
Part (b) therefore shows that every is convex. The absolute value function is convex, so is convex for every coordinate . Finally, part (a) says that a finite sum of convex functions is convex. Therefore
is convex. The second sum is the L1 norm regularizer.
Because is a linear map,
Hence composition of a convex function with an affine map is convex, and is convex.
For and , convexity gives
Taking the maximum over and then bounding each term by the corresponding endpoint maxima yields
Thus the finite pointwise maximum of convex functions is convex. Summing the original inequalities over proves that is convex as well.
The estimator is unbiased for because the independent random variables satisfy . Given , all placements of the successes are equally likely, so
Thus the Rao-Blackwellized estimator is
It is unbiased by the tower property. Since and , the event has positive probability, and conditionally on it takes both zero and one with positive probability. Hence , so the new estimator has strictly smaller variance.
The Rao-Blackwell theorem states that if is sufficient and is an estimator with finite variance, then
has the same expectation as and no larger variance; it preserves unbiasedness. The tower property of conditional expectation gives
The law of total variance gives
Sufficiency ensures that is a statistic whose definition does not depend on the unknown parameter. The inequality is strict exactly when the conditional variance is positive with positive probability.
A sufficient statistic is one for which the conditional distribution of the full sample given does not depend on . Take
For a binary sample with , its likelihood function is
which depends on the data only through . By the Fisher-Neyman factorization theorem, is sufficient. Equivalently, conditionally on , the sample is uniform over the binary vectors containing ones, independently of .
By part (a) and repeated use of the Strong Markov property, the probability of descending from to is
Starting from square 1 with £, heads moves to , whereas tails lands on square 3, loses £1, and moves to . Therefore the loss probability is
A random time is a stopping time when the event is determined by . The Strong Markov property says that, conditionally on and , the process is a fresh Markov chain started at , independent of the history before .
Use the state space , with absorbing. Observe the chain only when it is at square 2. From , the change in wealth by the next return to square 2 has distribution
Indeed, heads lands on square 3 and returns to square 2 after losing £1. After tails reaches square 4, the remaining two or three moves give the other cases.
For ,
Thus is a martingale for the embedded wealth random walk . Stopping when it first reaches or a large upper level and then letting that level tend to infinity gives
The upper-bound contribution vanishes because ; equivalently, this is the smaller probability solution of the first-step equation.
The normalized density is
For against , the sample likelihood ratio is
It is strictly decreasing in . Under , parts (a) and (b) give
If is the lower -quantile of this gamma distribution, the Neyman-Pearson lemma gives the most powerful size- critical region
For any fixed ,
is again strictly decreasing in the same statistic . Thus the same critical region is most powerful against every and is consequently a uniformly most powerful test of against .
The Neyman-Pearson lemma states that, for testing one simple hypothesis with density against another with density , a size- test that rejects for the largest values of the likelihood ratio is most powerful among all tests of size at most , with boundary randomization if needed.
For and ,
The distribution function is zero for , so this is exactly the distribution function of . Therefore
The moment-generating function of is
Independence makes the moment-generating function of the sum equal the product:
This is the moment-generating function of the gamma distribution , and moment-generating functions determine distributions in a neighbourhood of zero. Hence
Here
For , the Lipschitz bound on gives
so part (ii) applies with a constant independent of sufficiently small .
The exact solution has the Taylor expansion>
Meanwhile,
so one numerical step from is
The local error is therefore . Taking in part (ii) proves the required second-order global-error bound. This method is a two-stage Runge-Kutta method.
Let . Subtracting the exact one-step relation from the numerical method and applying the stated Lipschitz continuity gives
If , iteration yields the discrete Gronwall inequality
For ,
and
Consequently
The local truncation error is the error made by one numerical step started from the exact solution:
A one-step method has local order when uniformly for in each fixed bounded time interval.
The dyed particle satisfies the Lagrangian trajectory equations
For the proposed approximation, and
Also
The initial conditions hold, verifying
through order .
Over one period, the periodic terms return to their initial values while the secular term changes by . Hence the dyed particle has Stokes drift
to this order, despite the zero Eulerian mean velocity.
Both and have zero average over one period, so at every fixed point.
The material derivative gives the particle acceleration
Direct differentiation yields
Therefore the Eulerian time average at fixed is
For a velocity potential, . Writing gives
Its divergence is
Thus this potential flow is generally compressible.
Substituting the wire potential from part (b) into the flux formula from part (a) gives Neumann's mutual-inductance formula
Interchanging the two curves proves .
Parametrize the coaxial circles by
Then, with and ,
where . One angular integration contributes , so
Since , this is

There are unlisted articles, also show them or only show them.