Use differentiation under the integral sign, justified by the integrable bound . This gives
Integration by parts makes the boundary term vanish: sine vanishes at zero and the Gaussian tends to zero at infinity. Therefore
The integrating factor makes , so . At , the given half-line Gaussian integral fixes . Thus
This is the even cosine-transform form of the Fourier transform of a Gaussian.
Set , so . The real domain is , ensuring . The integration by substitution followed by integration by parts gives
Thus
For a short string element of length , the small-slope approximation makes the upward components of tension at its two ends and . Its mass is . Newton's second law gives
Divide by and take the limit to obtain the wave equation on a string,
Here is linear mass density, and the derivation assumes small transverse slopes, uniform tension, and a flexible string.
At the right endpoint the string pulls the ring toward the interior. Its vertical force is therefore to first order; the frictionless wire supplies no vertical force. The ring obeys
This is the dynamic endpoint law for a string with an endpoint mass.
For a separated oscillatory solution, write with and . The fixed left end removes the spatial cosine, so the nonzero normal modes have
The endpoint law gives . Since would also force the cosine to vanish, it can be divided out for a nonzero mode. Using gives
For physical , these give all positive modal frequencies. There is no nonzero static linear mode: the left value and right slope conditions would force it to vanish. Positivity also follows by integration by parts from
For , the right endpoint is free, with the Neumann boundary condition . At , the allowed wave numbers are , , and . Zero initial displacement removes every cosine-in-time coefficient. The initial velocity contains only the modes and , each with coefficient one. Dividing those velocity coefficients by their angular frequencies gives
At each term vanishes, at each spatial derivative vanishes, and at the displacement and its time derivative reproduce the two initial conditions.
First apply integration by parts with and :
For , integrate the remaining integral by parts once more. Its boundary term is zero, so
At , direct integration gives , agreeing with the same formula; the coefficient of vanishes and that integral is finite. Now follow the odd chain:
This is the sine-weighted power integral recurrence.
For the indefinite integral, substitute , so . An integration by parts then gives
For the definite integral, the original PDF's upper limit is , so the corresponding upper value of is . Therefore
Both requested integrals are thus evaluated with the same antiderivative.
Parametrize the diagonal by for . Then
The second expression is , immediately giving . The first differs from it by . Two applications of integration by parts give
Hence
The changed value for explicitly demonstrates path dependence, while gives the same endpoint-dependent result.
For , evaluate the improper integral directly:
For , use integration by parts with and . Then and
The boundary term vanishes: at zero , while at infinity its power is . The restriction belongs to this recurrence step; the separate base case must not be replaced by a formal zero times a divergent .
Apart from its endpoint convention, the ramp is odd, so its constant and cosine Fourier coefficients vanish. For the sine coefficient, evenness of the integrand and integration by parts give
Hence
This is the Fourier series of a periodic sawtooth. At the periodic jump, the series sums to zero rather than the assigned endpoint value ; changing a value at one endpoint does not change the coefficients.
Use integration by parts in , writing the integrand as . Since an antiderivative of is ,
The boundary term vanishes because the Gaussian exponential function decays faster than any fixed power. These improper integrals are absolutely convergent, justifying the limiting integration by parts.
Starting from the permitted Gaussian integral , the Gaussian moment recurrence gives and then
More generally, iteration gives , using the double factorial with .
Height above the surface is . Integrate the density over all exterior spherical shells:
Repeated integration by parts, or the substitution , gives
Expand and use these moments to obtain the mass of an exponential spherical atmosphere:
For , the leading term is surface area times column mass ; the other terms retain the finite-curvature corrections.
For , integration by parts with and yields
The boundary term vanishes at zero because , and at infinity because exponential decay dominates every fixed power. The initial improper integral is . Iterating the recurrence relation therefore gives
This is the positive-integer case of the Gamma function identity .
The height is constant along each circular ring, whose area element after angular integration is . The volume integral in cylindrical coordinates is therefore
Here . Using integration by parts, . Hence
The dimensionless coefficient is positive, and the cube root of a volume has the required physical dimension of length.
For integration by parts, take and . Then and , so
Use partial fraction decomposition . Therefore
The constant of integration may be chosen independently on the positive and negative intervals.
Two applications of integration by parts lower the exponent by two. First, the sine boundary term vanishes:
For , integrate the last expression once more:
Thus the recurrence relation is
The starting value is . Successive applications give and , followed by
Use integration by parts with and . This gives the antiderivative
Evaluating at the two bounds, with , yields
On the open interval, . It is an odd function there, so its constant and cosine coefficients vanish; assigned values at the endpoints do not affect these integrals. For its sine coefficient, integration by parts gives
Consequently
The endpoint qualification matters. The periodic has a jump discontinuity at every odd integer, with one-sided limits . By the Dirichlet-Jordan convergence theorem, the Fourier series converges to their average, zero, there, not to the assigned value . The integration by parts argument also avoids assuming unrestricted termwise differentiation of the first series.