For a nonzero separated solution , separation of variables gives . The zero Dirichlet boundary conditions force , , with integers ; the time factors are . Expanding the initial profile in this Fourier sine series requires only the two already displayed spatial modes. Thus
Both terms individually solve the heat equation, vanish at the endpoints and give the required initial profile at . The initial function is also on the bar; the later solution stays nonnegative and tends to zero as heat leaves through the fixed-temperature ends.
Use integration by parts with and , giving . The remaining integrand simplifies because :
The real formula is valid for every real number .
The region lies in the first quadrant, inside the unit circle and above the positive branch of . In polar coordinates, , so its radial bounds are . Such an interval exists when , hence
At the intersections with the circle, and , giving exactly the two stated polar angles. Their Cartesian coordinates are and the swapped pair.
Figure 1.
The first-quadrant region between a hyperbola and the unit-circle arc
. Original shaded integration region. The dashed rays pass through the two intersections, at polar angles and . Details.
The Jacobian determinant contributes , while . Thus the double integral is
Its antiderivative is . Evaluating the bounds gives
For the numerical vectors, and , proving noncoplanarity. The reciprocal basis is
Reciprocal dot products extract the coefficients of any vector in the original basis. Here , , and , so
Substitution in Cartesian components recovers .
The Taylor expansion about has coefficients given by the successive derivatives at :
When is times continuously differentiable on the interval between and , Taylor's theorem gives for an intermediate point . If the remainders tend to zero, this yields the infinite Taylor series . The three functions below are real analytic near zero after taking the continuous extension in part (i).
Use spherical polar coordinates with measured from the positive axis and around that axis:
The standard full-space ranges are , , . The factor is the absolute Jacobian determinant and gives the volume element.
The comparison test for series states that if for all sufficiently large , then convergence of implies convergence of ; conversely, divergence of implies divergence of . A summable bound on proves absolute convergence of .
For the ratio test, suppose the terms are eventually nonzero and exists. If , the series converges absolutely. If , including , the terms fail to tend to zero and the series diverges. If , the test is inconclusive. An eventually zero series converges separately. Convergence means that the sequence of partial sums has a finite limit; the terms tending to zero is only a necessary condition for a convergent series.

There are unlisted articles, also show them or only show them.