First, the Fourier coefficients of the Fourier cosine series decay as , whereas those of the Fourier sine series are of order . In particular, the absolute convergence bound for the Fourier cosine series gives a uniform tail estimate
Thus its tail is absolutely controlled using fewer Fourier harmonics. The Fourier sine series does not have an absolutely summable sequence of Fourier coefficients.
Second, the even extension is continuous, so its Fourier cosine series converges uniformly on the closed interval and approximates the nonzero endpoint limits correctly. The odd periodic extension has jumps, producing the Gibbs phenomenon in its Fourier sine series near zero and . Every Fourier sine series partial sum is zero at both endpoints, so by approaching from inside one obtains
Hence the Fourier sine series approximation cannot converge uniformly even on the whole open interval, despite pointwise convergence at each interior point. The Fourier cosine series approximation has faster coefficient decay and avoids the persistent errors near the endpoints.
Set and . The required integrals follow from
Consequently the Fourier coefficients are
Thus the Fourier cosine series is
and its sum is everywhere on . The Fourier sine series is
and its sum is on and zero at the two endpoints. The open and filled circles in the sketches distinguish these endpoint limits from the actual values of the sum.
Figure 1.
The sums and finite partial sums of the Fourier cosine series and Fourier sine series for
. The upper panels show the exact sums on . The lower panels compare twelve-term partial sums with the exponential function: the Fourier sine series has zero endpoints and oscillations near its periodic extension's jumps. Details.
Under the stated piecewise smooth hypotheses, the Dirichlet convergence theorem for Fourier series gives the average of the two one-sided limits of the corresponding periodic extension. The even extension is continuous at both endpoints, so the Fourier cosine series converges to
The odd extension agrees with on , but its left and right limits are at zero and at the join . Therefore the Fourier sine series converges to
Indeed every partial sum of the Fourier sine series is already zero at both endpoints. The endpoint values agree with only when the corresponding boundary values vanish.
The Fourier cosine series on is
It is the Fourier series of the even extension to , repeated with period . The Fourier sine series is
It comes from the odd extension and its -periodic extension. These Fourier coefficient formulas follow by Fourier orthogonality, since every nonconstant sine or cosine has squared integral on , while the constant function has squared integral .
Parametrize the finite cylindrical surface patch by
The surface area element is . The seam has zero surface area, so it causes no overcounting. Therefore
Unrolling the unit circular cylinder preserves surface area, which explains the equality with the area under the hyperbolic cosine in the figure. The patch consists of the cylindrical surface alone; no flat base is included.
The velocity vector of the parametric curve is
Its speed is
where fixes the sign of the square root. Hence the arc length is
The coincidence of the endpoints does not duplicate any positive arc length.
For the given wrapped hyperbolic cosine curve,
so . The curve makes one full turn around the circular cylinder, descending from to and ascending to its initial point. Its two parameter endpoints coincide; their tangent vectors and do not agree, so the resulting closed curve has a corner there.
Figure 1.
The hyperbolic cosine curve wrapped around a unit circular cylinder, and the same surface unrolled
. The shaded finite patch extends from to . On the unrolled cylinder, its horizontal coordinate is ; the two vertical edges are identified. Details.
True. Two applications of Green's identities, or two integrations by parts, give
The biharmonic equation makes the left side zero, while the two clamped boundary conditions annihilate the boundary integral. Consequently
so . Apply the first of Green's identities once more with : because on the boundary, it gives . By path connectedness, is constant, and the zero boundary value implies . This argument assumes the classical differentiability needed for the displayed integrations by parts.
False. Take , the open unit ball, and . This is a nonzero harmonic function. On the unit sphere, the outward unit normal vector is , so
Thus the prescribed Robin boundary condition holds. Unlike the preceding case, Green's identities now give , which permits nonzero solutions of the differential equation.
True. The first of Green's identities and the Robin boundary condition give
Both integrands are nonnegative, so in and on the boundary. By path connectedness, is a constant function, and its boundary value makes that constant zero. Therefore .
False. The constant function is a harmonic function and has zero normal derivative on every smooth boundary, but it is nonzero in .
In fact, the first of Green's identities gives
Hence ; path connectedness makes constant throughout . Thus this homogeneous Neumann boundary condition determines a harmonic function only up to an additive constant.
Choose in the preceding product rule and apply the divergence theorem. Since , this gives the first of Green's identities:
Here is the outward normal derivative. Interchange and , then subtract. The gradient dot products cancel, yielding the second of Green's identities:
For example, with the needed extensions suffice for these applications of the divergence theorem.
Apply the product rule to each vector component and sum:
Thus the divergence of a scalar field times a vector field contains a divergence term and a dot product with the gradient of the scalar field.
For a continuously differentiable vector field on a neighborhood of the closure of , the divergence theorem states
Here is the outward unit normal vector; the right side is the outward flux through the boundary.
Use source spherical coordinates with radius , polar angle measured from the positive -axis, and azimuth . The lower half of the spherical shell has , , and . Its volume element is . At the observation point , , the separation is , so
The angular integral is elementary: put to obtain
We used since both are positive. Hence
Thus the axial potential of a uniform hemispherical shell, at every point of the positive -axis, is
There is no need to split into , , and : the observation point is outside the lower hemisphere in all three cases. As checks, as , and at large ,
The last factor is exactly the total mass of the lower half of the spherical shell.
Use source polar coordinates , on the semicircular disk, with and . Its surface area element is , and the separation from is . Thus
This Newtonian gravitational potential is half that of the full disk because the separation is independent of the polar angle. At large it approaches , with the correct total mass.
Write the observation point as with , reserving source coordinates for the integral. For the straight segment, and the separation is . Therefore its Newtonian gravitational potential is
Equivalently . At large it approaches , the Newtonian potential of a point mass with the segment's total mass.
For the surface, a source element has mass . Superposing its Newtonian gravitational potential gives the surface integral
Here is the source surface area element, the source position vector, and the gravitational constant. The same zero-at-infinity convention applies.
Use the convention that the Newtonian gravitational potential tends to zero at infinity and the gravitational field is . A source element of mass at position vector contributes , where is the gravitational constant. For the curve, , so
Here is arc length along the source curve; the expression is finite away from it. This normalization fixes the otherwise arbitrary additive constant.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact