The numerator is the derivative of the denominator. Using the chain rule in reverse gives the antiderivative
The absolute value makes this real on every interval where the denominator is nonzero. The integration constant may be chosen independently on the intervals separated by .
The integrating factor is , giving . The required antiderivative is
After dividing by , the general solution is the oscillatory term plus . The initial condition fixes , so
The real, nonzero parameters ensure ; direct substitution verifies both the equation and .
For period , use the Fourier series convention
The Fourier coefficients have prefactor on . First, . For the useful antiderivatives are
At the endpoints and , so
Consequently, on ,
The Dirichlet-Jordan convergence theorem justifies equality at every point of continuity of the periodic extension. At odd integers the extension has a jump discontinuity between and , so the series converges to their average , regardless of any assigned endpoint value. This is the case of the Fourier series of a periodically extended exponential.
The chain rule identifies an antiderivative directly:
The upper limit in the PDF is . By the fundamental theorem of calculus, the required integral is
First write the forcing as . An integrating factor for the linear ordinary differential equation is , giving
Set inside the antiderivative. Then
The initial value forces , hence
The resulting expression is explicit and valid for all real ; the substitution does not impose a global monotonicity condition on when verifying an antiderivative.
Use the real antiderivative , valid on either half-line away from zero:
The negative answer is consistent with a negative integrand and increasing integration limits.
The fundamental theorem of calculus states that integrating a continuous function from a fixed lower endpoint produces an antiderivative. More precisely, if is continuous at the interior point , then
Indeed, the difference quotient is the average of over the short interval from to , which tends to by continuity. The accompanying evaluation rule is whenever on the interval.
The integrand and both limits depend on , so use the Leibniz integral rule. The upper and lower endpoint contributions and the interior derivative give
For , an antiderivative in is . Evaluating it and collecting terms gives
At the original Leibniz expression has zero endpoint terms and an integral over a zero-length interval, giving . The displayed quotient has a removable singularity and the same limiting value.
For , split the interval into equal widths . Since increases on this interval, the left and right rectangles give lower and upper Riemann sums:
Using the finite sum of squares,
The rectangle bounds differ by . The squeeze theorem therefore gives, directly from elementary areas,
For the result is zero. If negative is allowed, reverse the integration limits and use the reflection ; the same signed formula holds. No antiderivative is needed for this first-principles calculation.
Complete the square in the denominator and split the numerator into a multiple of its derivative plus a constant:
Thus
The natural logarithm needs no absolute-value correction because its quadratic argument is strictly positive for every real . The second term is an inverse tangent antiderivative.
For the indefinite integral, substitute , so . An integration by parts then gives
For the definite integral, the original PDF's upper limit is , so the corresponding upper value of is . Therefore
Both requested integrals are thus evaluated with the same antiderivative.
The derivative of is . The chain rule therefore gives
The antiderivative applies on any interval containing no zero of .
A probability density function must be nonnegative. The printed condition is therefore too weak: for the given prefactor makes the function negative everywhere. The location-scale form of the logistic distribution requires , which is assumed in the remaining parts.
Set , so . The normalization of a probability distribution follows from the antiderivative of the squared hyperbolic secant:
For completeness, the same expression with integrates to , since the transformed limits reverse. If a signed scale were desired, replacing its prefactor by would give a valid density, but that is a correction to the printed formula.
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 then
More generally, iteration gives , using the double factorial with .
On the negative half-line, an antiderivative of is . The fundamental theorem of calculus therefore gives
The negative sign agrees with the negative integrand throughout the interval.
Reverse the order in the nonnegative double integral, using and . For , an antiderivative in is . Thus
Let denote the requested improper integral. Its numerator is near zero, so its apparent singularity is removable; it also decays at infinity. We may therefore separate the preceding expression into the convergent integrals
It follows that
The two terms divided separately by would each have a divergent integral at zero; the cancellation in their difference is essential.
Use integration by parts with and . This gives the antiderivative
Evaluating at the two bounds, with , yields
For period two, the Fourier series convention is
Since is an even function, every is zero. Also . For , an antiderivative useful for the cosine coefficient is
Evaluation at gives . Thus
The periodic extension is continuous at , so its Fourier series converges to there. Since ,
Therefore , with giving the same expression because only occurs. This is the case of Fourier series of periodic hyperbolic sine and cosine.
On an interval excluding , an integrating factor for this first-order linear differential equation is . Multiplying through gives
An antiderivative then gives , so
The constant is arbitrary on each connected interval of the domain; the original differential equation is undefined at zero.