First suppose . Differentiation under the integral sign, justified on compact positive parameter intervals by an integrable bound, gives
The first integral is . For , use the partial fraction decomposition
The standard inverse tangent antiderivatives then give
The same value holds at by continuity, or by direct integration. Hence the proposed first-order linear differential equation is valid on the positive parameter range:
Divide by to recognise a quotient rule derivative:
To fix , the value alone is insufficient, since every displayed solution tends to zero there. Instead consider
This limit follows from the dominated convergence theorem: for and , the logarithm's absolute value is bounded by ; for , it is at most . After division by , these are integrable. The limiting improper integral is absolutely convergent, and the substitution rule changes it into its own negative. Its value is therefore zero, giving . Thus
The question calls a real parameter, but this last formula and the proposed differential equation do not hold on the entire real axis. The defining integral is odd in , because its logarithm depends on . Applying the positive-parameter result to therefore gives the correct extension
with . In particular, for , the right-hand side of the differential equation must be ; for every the unified expression is . The logarithmic quadratic parameter integral therefore provides the requested identity on its valid range and the corrected answer elsewhere.
Under the usual regularity assumptions, the Leibniz integral rule is
There is a genuine domain problem in the following integral as printed in the PDF. Put
The point is a simple pole, with
For every , the lower endpoint is less than and the upper endpoint is greater than . The interval therefore crosses the pole. Since near , the two one-sided improper integrals diverge logarithmically, with opposite signs. Their divergences do not define an ordinary integral. Consequently the ordinary limit in the question is undefined as written: its underlying integral has no finite value for any .
A separately specified Cauchy principal value does exist for . Under that interpretation, differentiating a principal-value integral across a fixed simple pole gives
The first term is
and the second tends to zero because is bounded near . Thus the principal-value version has limit . The two conclusions are distinct: this regularised answer requires the additional principal-value convention, which the printed question does not state.
Let . Integrate the finite geometric series identity over :
The remainder has absolute value at most . Hence the partial sums converge, with
This proves both convergence and the value of the alternating harmonic series without substituting an endpoint into an unproved infinite power series. Its convergence is conditional because the corresponding harmonic series of absolute values diverges.
Expand the right-hand side in the orthonormal basis from part (b). Its coefficients are
Thus . If , then matrix multiplication gives . Matching coefficients fixes and , while is arbitrary. Consequently all solutions are
Geometrically, the solution set is an affine line in a vector space parallel to the kernel of . The zero eigenvalue makes the component in that direction invisible to ; the other two components are uniquely determined. The displayed particular solution is perpendicular to the kernel, so it is also the point of this line closest to the origin.
The vector is an eigenvector with eigenvalue . The complementary subspace of vectors with first two components equal is preserved by : a vector maps to . There, the eigenvalue equations reduce to the matrix , whose characteristic polynomial is . For , ; for , .
Normalising by the Euclidean norm, a complete orthonormal basis of eigenvectors is
Sign changes of any of these eigenvectors are equally valid. The eigenvalues also check part (a): their sum is and the sum of their squares is .
Adding the diagonal entries gives . Expansion along the first row gives . For the remaining trace, direct matrix multiplication gives
Thus . By multiplicativity of the determinant, . Altogether,
Let and . Integrating the trigonometric functions and differentiating in integration by parts gives, modulo constants,
Substitution yields and . Therefore
No division by was used, so this formula also applies at .
Let be the cumulative distribution function of . Normalisation of the proposed probability density function requires . The integrated cumulative distribution function on a bounded interval identity gives
For a direct symmetry proof, the continuous symmetric probability distribution satisfies . Hence
In particular is nonnegative and has total integral one over its stated support.
The expected value is zero, so the variance is . Symmetry gives
The polynomial term contributes . Two applications of integration by parts give
so its definite value on is . Therefore

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