Assume , so the squared-error integral is finite. Write
At a minimum, differentiating with respect to each coefficient gives
By Fourier orthogonality, the constant has squared norm , each nonconstant cosine has squared norm , and all distinct modes are orthogonal. Thus
These are exactly the Fourier coefficients of the Fourier cosine series of the even function. To check that the stationary choice is a unique global minimum, perturb the coefficients by . The residual is orthogonal to every fitted mode, so the cross terms vanish and
with equality only when every perturbation is zero. The truncated series is the orthogonal projection onto a finite-dimensional subspace spanned by the constant and the first cosine modes.
For the heat equation , separation of variables with homogeneous Neumann boundary condition at both ends gives spatial modes and decay factors . The mode is constant and does not decay.
The initial profile already contains only two such modes:
Evolving each mode therefore yields
The endpoint derivatives vanish, and substitution checks both the equation and the initial profile. The spatial integral remains : no heat escapes through insulated ends, so the limiting uniform temperature is .
Figure 1.
Insulated and zero-temperature endpoints evolve the same initial heat profile differently
. Original mode calculations. Both panels start from the same squared sine. Insulated endpoints conserve the mean temperature and approach ; zero-temperature endpoints remove heat and the profile decays to zero. Times are expressed as . Details.
For , the change of variables reduces the integral to the given Gaussian integral:
For , the integrand is an integrable odd function, so its contributions from the two half-lines cancel:
The condition ensures convergence in both cases.
With held fixed, the inner antiderivative gives
The remaining integral is therefore
The stated bounds depend on , so must be held fixed while the integral over is performed. The intended iterated integral is
The original PDF places the two sets of bounds beside the opposite integral signs relative to the printed . That placement cannot be read literally as a conventional nested integral; the dependence of the lower bound on , and the explicit instruction to integrate over first, specify the intended region unambiguously.
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.
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.
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.
For , the vector field is . On the cone,
The first term has zero integral by symmetry. Using polar coordinates for the remaining double integral gives
On the paraboloid ,
Again the term cancels by symmetry, giving
Therefore direct surface integral yields
No separate disk at is included: that rim joins the two surfaces and is not an additional face of the closed boundary.
Apply integration by parts with and . Since and ,
The original PDF specifies this integral; the local OCR replaces the entire question by unrelated text.
The Fourier coefficients follow by multiplying the expansion by , by the appropriate cosine, or by the appropriate sine, then using orthogonality. In the convention with constant term ,
The factor comes from the squared norms of the nonconstant sine and cosine functions: the integral of each square over is . The constant function has squared norm .
On the first segment, parameterize , . The dot products with are
Their line integrals are one and , respectively.
On the second segment take , with tangent vector . The corresponding integrands are and , whose integrals are and . Adding the segments yields
Assume and abbreviate
The integral of the nonnegative square expands to for every real . If , completing the square, or choosing , gives . Hence the Cauchy-Schwarz inequality is
If , continuity and nonnegativity imply throughout the interval, so the same inequality is immediate.
When , equality holds exactly when . The integrand is continuous and nonnegative, so it must vanish everywhere, giving . Including the case of a zero function, equality is equivalent to linear dependence of and as elements of the real vector space of continuous functions on the interval.
Equality in the Cauchy-Schwarz inequality requires for one constant . Thus and
This is solid-body rotation. At fixed , the constant is . The value at the single axis point does not affect the integrals; if is continuous, it has the same constant value there as well.
The fundamental theorem of calculus gives , so the graph is strictly increasing. Its second derivative is : it curves upward for and downward for , with an inflection point at zero.
By the Gaussian integral and the evenness of its integrand,
Thus the only axis intersection is ; there is no finite -axis intersection because the integral is strictly positive for every finite . The error function gives .
Figure 1.
The increasing integral of a Gaussian
. The graph has its only axis intersection and its inflection point at . The horizontal lines at zero and are asymptotes. Details.
Take in the substitution rule, so . The transformed integral is
The two terms follow from the derivatives of the natural logarithm and the inverse tangent. Returning to gives the antiderivative