First suppose . Differentiation under the integral sign, justified on compact positive parameter intervals by an integrable bound, givesThe first integral is . For , use the partial fraction decompositionThe standard inverse tangent antiderivatives then giveThe 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 considerThis 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 . ThusThe 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 extensionwith . 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.
Articles by others on the same topic
There are currently no matching articles.