Use differentiation under the integral sign, justified by the integrable bound . This givesIntegration by parts makes the boundary term vanish: sine vanishes at zero and the Gaussian tends to zero at infinity. ThereforeThe integrating factor makes , so . At , the given half-line Gaussian integral fixes . ThusThis 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 givesThus
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 givesDivide 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 obeysThis 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 haveThe endpoint law gives . Since would also force the cosine to vanish, it can be divided out for a nonzero mode. Using givesFor 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 givesAt 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, soAt , 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 givesFor the definite integral, the original PDF's upper limit is , so the corresponding upper value of is . ThereforeBoth requested integrals are thus evaluated with the same antiderivative.
For , evaluate the improper integral directly:For , use integration by parts with and . Then andThe 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 giveHenceThis 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 thenMore 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 , givesExpand 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 yieldsThe 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 givesThis is the positive-integer case of the Gamma function identity .
The expected value follows by integration by parts:The same result follows from symmetry of the probability density function about .
The height is constant along each circular ring, whose area element after angular integration is . The volume integral in cylindrical coordinates is thereforeHere . Using integration by parts, . HenceThe 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 , soUse partial fraction decomposition . ThereforeThe 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 isThe starting value is . Successive applications give and , followed by
Use integration by parts with and . This gives the antiderivativeEvaluating 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 givesConsequentlyThe 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.
Use integration by parts with and . Since , this yieldsAs an identity between indefinite integrals, the formula is understood up to an additive constant.