The equation as printed requires ; its sign does not affect the result. Seek separated solutions . Substitution into the wave equation gives
The Neumann boundary conditions impose . Multiplying the spatial equation by and integration by parts gives , so nontrivial spatial eigenfunctions require .
For , is constant and . For , . The first boundary condition gives , and the second gives . Thus is a positive integer and the spatial eigenfunctions are . Their time dependence is . By superposition,
The zero initial velocity sets . The trigonometric identity gives the initial profile , so only the constant mode and the first cosine mode occur. Hence
Its spatial derivative is , which vanishes at both boundaries, and its time derivative vanishes initially. Thus it satisfies all the required data.
For the two travelling profiles, the initial conditions imply
Since , is constant. One may therefore choose
where the constants cancel in the sum. The D'Alembert formula then gives
This agrees exactly with the restricted-domain solution from part (b). The whole-line cosine profile already has zero spatial derivative at both and for every time, so its restriction satisfies the Neumann boundary conditions without further modification.
With , nonnegativity of the probability density function at both and requires
This is equivalent to . The derivative
shows that this infimum occurs at . Therefore the necessary and sufficient restriction is
Sufficiency follows from the same decreasing-ratio argument at every interior point. The endpoint values of are allowed: the probability density function merely vanishes at one endpoint.
For the given differential form, set and . Their partial derivatives satisfy
In fact an explicit potential is
since and . Thus the differential form is an exact differential form on all of .
Replacing by suggests the potential
Direct differentiation verifies that is exactly the left-hand side of the required ordinary differential equation. This direct verification remains valid even for negative ; it does not require a real square root . Therefore
The initial condition gives . Solving this quadratic equation in and selecting the branch that has gives
The second expression also defines the removable value . The maximal open interval containing on which this is a differentiable real solution is
At either endpoint the square root vanishes and , while , so the original ordinary differential equation cannot hold there with a finite derivative.
Cancellation of the factorials in the consecutive ratio gives
Set . The derivative of the natural logarithm at gives . Therefore
Thus the necessary condition from the term test for divergence is satisfied. On its own it does not prove that converges.
For the requested parameter value , the function graph has two branches, symmetric about the vertical axis because is an even function. Its derivatives are
The stationary points are , both local minima and also the lowest points of their respective branches. The function tends to as , so is a vertical asymptote; it also tends to as . The negative branch decreases to and then rises towards the vertical asymptote; the positive branch falls from the vertical asymptote to and then rises.
Figure 1.
Two branches and minima of the function in Question 4 for
. Details.
The derivative of the tangent is , and the order of the endpoints must be retained. Thus the definite integral is
Differentiate , retaining the derivative of the prefactor. The product rule and multivariable chain rule give
Using , this becomes
The last term is essential because the coordinate change is nonlinear.
Use the given Cartesian coordinates and integrate with respect to first. Since is the derivative of , the double integral becomes
A direct antiderivative avoids any issue with the nonmonotonicity of on this interval:
The sign changes in make this cancellation possible even though is positive.
Differentiate the flux:
On , is strictly increasing. Its limiting endpoint values are and , and . It has horizontal limiting tangents at the endpoints, curves upward for , curves downward for , and has an inflection point at zero.
The derivative graph is a downward-opening parabola, approaching zero at both endpoints and attaining its maximum at .
Figure 1.
Flux through the truncated unit sphere and its derivative
. Both curves are scaled by . Endpoint circles show limiting values because the prescribed truncation parameter lies in . The flux increases from zero to , while its derivative is largest at the equator. Details.
Use the two pieces of the surface integral directly; this avoids introducing an unnecessary second derivative of . On the unit sphere, and . A spherical band between heights and has area , so the curved flux is
by the fundamental theorem of calculus. On the horizontal top disk, and the area is . Thus
As usual for these surface integrals, the first derivative is assumed sufficiently integrable for the displayed fundamental theorem of calculus evaluation; a continuous first derivative suffices. Mere pointwise differentiability without such an integrability assumption need not make an ordinary flux integral exist.
The function is differentiable at if there exists a finite real number such that
Then . The puncture makes the difference quotient defined; requiring a finite real distinguishes an ordinary derivative from an infinite slope.
The difference quotient at zero is
For , its absolute value is at most . Given , set . Then makes the difference quotient have absolute value below . Thus .
Conversely, along the second sequence the difference quotient is exactly zero. Any finite derivative would consequently have to be zero. Along the first positive sequence, however, the difference quotient equals . It is one for and tends to for . In both cases it stays outside the neighbourhood of zero for arbitrarily small positive increments. Thus no finite derivative exists. We obtain
In particular, gives continuity without differentiability.
Write . The inverse coordinate formulas and are valid because . The multivariable chain rule gives
Applying these operators twice and using the symmetry of second derivatives,
Thus the wave equation is equivalent to
For each fixed , the partial derivative has zero derivative with respect to , so it is a function of alone. Taking an antiderivative in gives , where the integration constant may depend on . Hence
Conversely, direct partial differentiation verifies the wave equation for every twice differentiable pair . The two terms describe profiles moving left and right respectively at wave speed along the characteristic lines for the one-dimensional wave equation.