Let be the Fourier partial sum through frequency . By orthogonality and the coefficient formulas,
Expanding the nonnegative squared L2 norm of the error gives the exact finite identity
For in the L2 space, completeness of the Fourier basis makes the left-hand side tend to zero. Dividing the resulting equality by proves Parseval's identity:
This argument uses convergence in L2 rather than an unqualified exchange of an infinite sum with the integral of its square. The function in part (c) is continuous and piecewise polynomial, so these hypotheses hold.
The analogous orthogonal projection onto the cosine terms gives
For , this means ; the actual constant in the Fourier series is because the constant function has squared norm .
Take the inner product of the Fourier series with . Fourier orthogonality eliminates the constant, all cosine terms, and all sine terms except the th. The remaining squared norm is
so
For a square-integrable function, the calculation is justified by taking inner products of finite Fourier partial sums and passing to their mean-square limit.
Here , so the same elimination forces . The first two linear equations would then require and simultaneously. Thus
There is no solution for any value of .
When , the third linear equation is times the second, so it adds no constraint. Take freely. The remaining linear equations are and . Solving gives the straight line of solutions
This exists for every real .
Adding three times the second linear equation to the third gives . Since , it follows that . The second linear equation then gives , and the first becomes . Thus the unique solution is
The assumption makes the denominator nonzero; is unrestricted.
Add the four outward fluxes:
For a check, . The divergence theorem gives the same result from
On , and the outward unit normal is . Its flux is
On , and the outward unit normal is . Hence
On , write over , , . The oriented surface element is , pointing away from the origin. Here , so . Thus
The unnormalized normal vector in the oriented surface element already incorporates the factor from the surface area; no additional factor is needed.
On the face , and the outward unit normal is . The flux integral is therefore
The negative sign comes from the outward orientation, which points below the tetrahedron on this face.
The characteristic roots are
Taking real linear combinations of the two complex exponential solutions yields
The coefficient is three here, as confirmed in the PDF; the OCR replaces it by an undefined symbol.
Since is an even function, is an odd function and its integral over the symmetric interval vanishes. Thus . Its variance is
Consequently
The standard deviation is approximately minute, or seconds.
The probability density function graph joins to to and is zero elsewhere, as shown in the right panel of the timing figure. Its area is
Thus the probability distribution is normalized.
Let be the finish-time offset from the start of its displayed minute. The elapsed time is , so . To obtain the stated density, use the intended model that and are independent random variables, both with the uniform distribution on .
Their joint probability density function is one on the unit square. Equivalently, the convolution of probability densities gives
The integrand is one exactly where and . The overlap has length for , length for , and zero otherwise. Therefore
This is a symmetric triangular distribution. The independence and finish-time uniformity are additional modelling assumptions: the two truncated clock readings alone do not imply them. For example, if then the elapsed time is exactly twenty-five minutes and , even though each endpoint offset is individually uniform.
The graph is a rectangle of height one over , with zero height elsewhere. Its unit area is the required normalization of the probability density function.
Figure 1.
Uniform endpoint uncertainty and triangular elapsed-time uncertainty
. Left: the uniform distribution of one endpoint offset. Right: the triangular distribution of the difference of two independent endpoint offsets. Shading marks the event . Details.
On the circular arc, and , so the line integral reduces to
This exact differential evaluation applies to the specified arc; for example its parametric equation is , . On the vertical segment , only contributes, giving . The whole path therefore gives
To answer the final conservativeness requirement, compute the curl:
It vanishes identically exactly when
On the simply connected whole space this condition is sufficient for a conservative vector field. Explicitly a vector-field potential is
Both path calculations then give , equal to by the fundamental theorem for line integrals. Equality of just these two path values would only force ; it is the curl calculation that establishes full path independence.

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