Conditioning on and using the moment-generating function of a unit exponential variable,
where the geometric series converges precisely when . This is the moment-generating function of an exponential variable of rate , so the geometric sum of exponential variables satisfies
For any rotation about the centre, satisfies the same equation and the same Dirichlet data because are rotationally invariant. Uniqueness from part (a) gives for every . Thus is constant on spheres and is a function of alone.
For a radial function in three dimensions, the radial Laplacian gives
Here regularity at zero selects
A further integration gives
whose apparent singularity is removable, with limit at zero. Since the nonconstant term has value at , the boundary condition gives . Therefore
The classification of isolated singularities can be stated through the Laurent expansion of about :
  • The singularity is removable when extends holomorphically to , equivalently when every negative-power Laurent coefficient is zero.
  • It is a pole of order when extends holomorphically to a function nonzero at . Equivalently, the Laurent series starts with a nonzero term and has no more negative power.
  • It is essential when it is neither removable nor a pole, equivalently when infinitely many negative-power coefficients are nonzero.
At every , the function has a simple pole. The exponential of a pole is an essential singularity, so
are essential singularities of .
These points accumulate at . Therefore no punctured neighbourhood of zero is a domain of holomorphy for the function: zero is a non-isolated singularity, specifically an accumulation point of essential singularities, rather than an isolated essential singularity. There are no other singularities in .
The power function of a statistical test for Test 1 is
Put . Test 2 rejects when
Using the two branches of the triangular distribution gives
Both functions equal at the least favourable null value .
A sufficient statistic is minimal sufficient if it is a function of every other sufficient statistic: whenever is sufficient, there is a function such that almost surely, up to the usual null-set qualification. Thus its level sets give the coarsest sufficient partition of the sample space. In a dominated family with positive densities, the likelihood-ratio criterion for minimal sufficiency says that is minimal sufficient when
If the urn contains green balls, it contains red balls: both update rules preserve the difference . Until absorption at , the green count is therefore a birth-death chain with
The function
is harmonic, since
Let and be the hitting times of and . The optional sampling theorem for a supermartingale, applied to the bounded stopped martingale , gives
Solving,
Letting , the events on the left increase to eventual termination. The harmonic hitting probability for the balanced-difference urn is therefore
Writing the velocity as gives
so the flow is incompressible. With the convention
a stream function is
The streamlines are its level sets. For , they are the hyperbolas
with separatrices and a saddle at the origin. For , they are concentric ellipses
traversed clockwise. This is the streamline classification of a planar linear saddle or centre.
The scalar vorticity is
Hence the flow is irrotational exactly when
Then , and a velocity potential is
The eigenvalue equation is
If , this forces for every , hence , so is not an eigenvalue. If , choose arbitrary values on representatives of the cosets of and extend by
This produces nonzero eigenfunctions. Choosing functions supported on distinct cosets gives infinitely many linearly independent eigenfunctions. Therefore
and every eigenspace is infinite-dimensional.
Direct expansion gives
which is symmetric in . Hence
Suppose a degree- polynomial were a sum of periodic functions,
Apply the commuting product . Every term on the right is killed by its corresponding factor, whereas for leading coefficient the mixed finite difference of a polynomial gives
This contradiction proves
A function is uniformly continuous if for every there is such that
for all .
Suppose uniformly and every is uniformly continuous. Given , choose such that
for every . Uniform continuity of supplies such that implies
The triangle inequality then gives . Thus the uniform limit theorem for uniformly continuous functions proves that is uniformly continuous.
Pointwise convergence is insufficient. On , the uniformly continuous functions converge pointwise to
which is discontinuous and therefore not uniformly continuous.
For a closed piecewise smooth curve avoiding , its winding number about is
The argument principle says that if a positively oriented closed curve bounds a domain , and a meromorphic function has no zeros or poles on , then
where zeros and poles are counted with multiplicity.
Suppose and are holomorphic on a neighbourhood of and
For , has no boundary zero, because a zero would imply . Its argument-principle count is integer-valued and continuous in , hence constant. Thus Rouché's theorem states that
Now let . Since on the unit circle, Rouché's theorem shows that and have the same number of zeros in the unit disc. The latter has the zero , so has at least one zero there. For any with , the same boundary inequality shows that has the same positive number of zeros as . Therefore
This is the unit-disc image from a boundary modulus lower bound.
Finally, take a sufficiently small positively oriented circle around zero. The residue
is the winding number of around zero, so . The pole is simple, hence its residue is nonzero and . For
we have
The second term cancels the complete principal part at zero, so the integer residue of a logarithmic derivative proves that has a removable singularity there.
Set . Periodicity and separation of variables give the angular modes , , and . The radial equation is
whose solutions are for ; the zero mode has solutions and . Thus a general real harmonic function on the annulus is
The boundary data contain only the cosine mode, so write
The condition at gives , and the condition at fixes . The Dirichlet problem on an annulus for one Fourier mode therefore has solution
Differentiability at means that there is a linear map such that
The partial derivatives are when the derivative exists; independently, they may be defined by the corresponding one-variable difference quotients.
Suppose the partial derivatives exist near and are continuous at . Apply the one-dimensional mean value theorem along the two coordinate segments from to . It gives intermediate points such that
Continuity of the partials makes the remainder after subtracting
equal to . Hence is differentiable and this is its derivative.
For the given function, writing , at we have
At the origin both partial derivatives are zero, since and tend to zero. Neither partial is continuous there: along its corresponding coordinate axis the cosine term oscillates without a limit. Nevertheless
so is differentiable at the origin with derivative zero. This illustrates that existence of partial derivatives does not imply their continuity.
The final assertion is false. Define
Again , so is differentiable at the origin and it is smooth elsewhere. But along the -axis,
is unbounded near zero, and similarly is unbounded. Thus both partial derivatives can be unbounded in every neighbourhood of a point even when the function is differentiable everywhere.
Let . The initial data turn the wave equation into
Using the Green function from part (ii) with gives
Since
we obtain the D'Alembert formula with initial velocity
If , then positivity and the arithmetic-geometric mean inequality give
Thus all iterates remain in .
Consider the strictly convex function
on . Since and , its Newton minimization step is
Its unique minimizer is .