For , the product rule and chain rule give
The positive exponential factor makes increasing for and decreasing for . Its only interior stationary point is therefore a maximum at . Checking it together with both endpoints,
Consequently
Checking the endpoints is necessary for extrema on a closed interval.
Where , divide by it to obtain . The integrating factor is , and the product rule gives
The initial condition gives . Hence
The simplified expression has a differentiable extension through , with . Direct substitution verifies the original undivided differential equation there as well: its left side is . Thus the maximal interval containing on which this solution is finite is ; the apparent exclusion of arose only from division by . This is continuation through a zero of the leading ODE coefficient.
Apply the product rule and the chain rule once more to each expression in part (i). The second derivative chain rule gives
and
For example, the coefficient of in the mixed partial derivative is , while the final term is . The symmetry is used in combining the mixed terms under the usual twice-continuously-differentiable interpretation.
The product rule gives
For , the derivative is positive before and negative after . Also and as . Thus the global maximum on the requested range is
For this first-order linear differential equation, an integrating factor on an interval avoiding zeros of is . The product rule then gives
The initial condition gives , hence . Thus
The displayed interval is the maximal one containing the specified initial point, since the coefficient is undefined at its endpoints.
Let . The product rule and the chain rule give the partial derivatives
Hence the terms containing cancel:
This also follows from the Euler theorem for homogeneous functions, because for .
The Pythagorean theorem gives . Taking a total differential gives , so
The area of the right triangle is , so the product rule gives and
The prescribed small changes therefore give : the area decreases by approximately . For comparison, retaining the product of the two finite percentage changes gives , an exact decrease of ; the total differential retains only the first-order terms.
Holding fixed when taking the antiderivative with respect to gives
Use the product rule and the chain rule to differentiate this explicit expression:
This agrees term by term with part (i).
For , the product rule for the curl gives
Since , this is not identically zero on . A gradient field has zero curl, so no scalar potential exists for on the whole space.
For the radial vector field , observe that
Thus all vector-field potentials are
These are smooth everywhere, including the origin. Any two differ by a constant because their gradient difference vanishes on the connected whole space.
Where , the separable differential equation is . Separating and taking antiderivatives gives , for nonzero . Including the zero solution, the explicit general solution is
on any interval with . It can also be obtained without dividing by : the product rule gives .
A nonzero solution cannot extend through a zero of . If a differentiable solution is required on an interval containing such a zero, the original equation there requires , and the only such solution across that zero is .
The differential operator on the left is , where . Its repeated characteristic root suggests writing . By the product rule,
so the ordinary differential equation reduces to . Two antiderivatives give
The boundary conditions imply and , hence and . Therefore
The calculation of verifies the ordinary differential equation, and the bracket takes the values one and zero at the two endpoints. These boundary conditions determine both constants uniquely.
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.
Put and . All vector fields and their spatial partial derivatives below are evaluated at . The product rule for a dot product gives
Because the vector field has no explicit time dependence, the multivariable chain rule gives , where the Jacobian matrix has entries . Consequently
The first term measures the change of the curl sampled as the point moves; the second measures the change in the velocity vector used in the dot product.
To give the result explicitly in , define the directional derivative operator . Since
the same expression is
For example ; the other two terms expand in the same way. Thus only the first and second spatial partial derivatives of , together with the velocity and acceleration of the parametric curve, occur.
Green identity. With the outward unit normal, the product rule gives . Integrating over and applying the divergence theorem yields Green's first identity:
Uniqueness for nonzero mass. Suppose two real solutions have the same prescribed boundary data, and let be their difference. The spatial equation called the Klein-Gordon equation in the question is the modified Helmholtz equation, so . With , Green's first identity becomes
For identical Dirichlet boundary conditions, on ; for identical Neumann boundary conditions, there. Either makes the right-hand side zero. When is real and nonzero, both integrands on the left are nonnegative, forcing . Thus
This is the required uniqueness assertion; existence is understood for admissible smooth data on a suitable bounded region. Complex-valued solutions obey the same result by treating their real and imaginary parts separately.
Zero mass. For , the argument gives , hence on the connected region. Dirichlet boundary conditions still force , but Neumann boundary conditions leave an arbitrary additive constant:
The prescribed normal data in the zero-mass case must also satisfy , by the divergence theorem. For nonzero , that flux can instead equal .
Energy minimization. Let for the two functions in the last part. They share their boundary values, so on . Since is a harmonic function, Green's first identity gives
Expand the square in the Dirichlet energy of :
The cross term vanishes, so
Equality requires to be constant, and the shared boundary values then make it zero. This is the Dirichlet principle: among functions with fixed boundary values, the harmonic function minimizes Dirichlet energy.
Integral identity and representation. Define and take to be the outward unit normal. The product rule gives
The terms cancel. Integrating and applying the divergence theorem proves the Helmholtz equation version of Green's second identity:
Choose the Dirichlet Green function with the sign convention
where is the three-dimensional Dirac delta. Substitute , use , and evaluate the Dirac delta integral. The boundary term containing vanishes and on , leaving
Hence
The choice of sign in the Green function equation matters: it fixes both the source normalization and these signs. For a bounded region this construction presumes that the chosen is not a Dirichlet eigenvalue of ; at such an eigenvalue a Green inverse for arbitrary data does not exist.
Infinite space. Put . Away from the source, spherical symmetry reduces the Helmholtz equation to
For its general radial solution is
Integrate over a ball of radius about the source. The divergence theorem yields
Since , the volume term is and the flux tends to . Therefore , while remains free:
The term extends regularly through the source and solves the homogeneous Helmholtz equation, so it cannot change the unit Dirac delta normalization. A condition at infinity is needed to select it. For example, with time dependence , the outgoing Green function for the three-dimensional Helmholtz equation is , corresponding to .
Zero wavenumber. For fixed finite , as , and
This is the decaying Green function of the Laplacian. Directly at , the general radial solution is ; source normalization fixes , and decay at infinity removes . If the free parameter depends on as , the limit instead includes that arbitrary homogeneous constant. Thus the usual Laplace limit holds for a fixed parameter, or after a suitable condition at infinity has been selected.
For the curl of a cross product, the Cartesian contraction is
The product rule then gives
For the fluid equation, replace the advective term by using the preceding identity. Take its curl. Both gradient terms have zero curl, while and incompressibility gives . The vorticity equation is consequently
The left side is the material derivative of vorticity; the right is vortex stretching. It follows here because the given force per mass is a gradient, in addition to the flow being inviscid and incompressible.
The product rule gives and . Substituting in the Schrödinger equation cancels the and constant terms, leaving the Hermite differential equation
For , matching coefficients gives
The power series solutions of the Hermite differential equation split into independent even and odd series. With initial data and , respectively, their first three terms are
Each nonterminating parity series has infinite radius of convergence: the ratio of successive terms of that parity has magnitude asymptotic to . Their initial data prove linear independence. If a coefficient shown vanishes at a special parameter, the recurrence supplies the terminating series instead.
A nonzero polynomial solution of degree requires , by its highest-degree term, and the recurrence then terminates the matching parity. Thus all possible values are . Up to nonzero scalar multiples, the degree-at-most-three solutions are the Hermite polynomials