Complete the square in the denominator and split the numerator into a multiple of its derivative plus a constant:ThusThe 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.
On any interval where , the chain rule gives . Differentiating again,The domain condition is necessary because the real natural logarithm requires a positive argument.
Expand the natural logarithm and reciprocal separately:Multiplication gives the first three nonzero terms of the Maclaurin series:The local expansions converge for .
For , the principal inverse tangent satisfies : the two positive acute angles are complementary. Taking therefore makes the argument of the natural logarithm equal to . The requested value is .
For the natural logarithm, , , , and . The quadratic Taylor polynomial therefore givesThe Taylor remainder is with . It is positive, so the approximation is an underestimate. Moreover,Thus is a valid upper bound on the absolute error.
Take in the substitution rule, so . The transformed integral isThe two terms follow from the derivatives of the natural logarithm and the inverse tangent. Returning to gives the antiderivative
For the natural logarithm, . The chord slope is . Hence the mean value theorem point satisfies , givingIt lies strictly between one and two. For example, lies strictly between and one.
The chord through the endpoints is the straight line . At , the tangent line isThese two straight lines have the same slope, as required by the mean value theorem. Since , the natural logarithm is a concave function: its graph lies above the chord and below this tangent line.
The mean value theorem for the logarithm on the interval from one to two
. The chord and the tangent line at are parallel. The marked point lies on the graph of the natural logarithm. Details.Cancellation of the factorials in the consecutive ratio givesSet . The derivative of the natural logarithm at gives . ThereforeThus the necessary condition from the term test for divergence is satisfied. On its own it does not prove that converges.
For , the Taylor series of the natural logarithm converges absolutely at :Multiply this power series by and subtract . The constant term cancels the subtracted , and the coefficient of is . For , the coefficient of isHenceIn particular , in Big O notation.
For a piecewise continuous function of exponential order on , its unilateral Laplace transform isThe Bromwich inversion formula, at a point of continuity, isThe Bromwich contour is a straight vertical line, traversed upwards, with to the right of the abscissa of convergence and hence of all singularities of the transform. Under the usual piecewise smoothness assumptions, at a jump the symmetric inversion limit gives the mean of the two one-sided values.
In the transform in the question, put . Then andThus the restricted Mellin transform on the unit interval is the Laplace transform of . Apply the Bromwich inversion formula with , where , to obtainHere lies in the convergence half-plane of . At a discontinuity this formula has the same mean-value interpretation. The real natural logarithm defines unambiguously.
Take the natural logarithm of the exponential decay model. To keep the logarithm dimensionless, choose the reference rate and defineThen . With time measured in picoseconds, the slope has units and the intercept is dimensionless. A straight-line linear regression in these variables therefore estimates the inverse mean lifetime and logarithmic normalization.
Write , with the natural logarithm. The likelihood function and log-likelihood function areThe score function is and the second derivative is . Thus the log-likelihood function is strictly concave, its stationary point is the unique global maximum, and the maximum-likelihood estimator isThe one-observation Fisher information is . The support of a probability distribution here is independent of , so the regular asymptotic normality of a maximum likelihood estimator givesThere is also a direct check: has an exponential distribution with rate , since for . Its mean and variance are and . Apply the central limit theorem to and the delta method to to obtain the same result.
A likelihood-ratio test rejects for small . The derivative of the natural logarithm of its variable factor isThus increases up to and decreases thereafter, tending to zero at both endpoints. Every nontrivial lower level set of therefore consists of two tails. For a prescribed test size , the exact critical region isWriting for the cumulative distribution function of the beta distribution with parameters , the required two equations areThe first makes both cutoffs have the same likelihood ratio; the second calibrates the null hypothesis rejection probability. Equivalently, the second left-hand side isAs the common likelihood ratio threshold increases from zero to one, this probability increases continuously and strictly from zero to one; hence the equations determine unique cutoffs. The two tail probabilities need not each equal when . Exact calibration holds for every common rate because the given null distribution of is independent of that rate. Boundary equalities have zero probability.
Put , , and . The two independent statistical samples give the joint likelihood functionThe unrestricted maximum-likelihood estimators are and . Under the null hypothesis, the common statistical parameter has log-likelihood function , maximized at . With the likelihood ratio defined as the null maximum divided by the unrestricted maximum,The statistic in the paper is , since both original sums of natural logarithms are negative. HenceIt has maximum one at , corresponding to equal fitted rates. This is the likelihood-ratio test for equality of beta shape parameters.
For functions , big O notation meansUsing the natural logarithm and exponential function, . Since , for every we have . The witnesses therefore prove
For natural logarithms and sufficiently large , take the logarithm of the positive expression:Set . Then . The exponential function grows faster than : for example, its power series gives for , so . In particular, eventually . Exponentiating yieldsFor logarithms to a fixed base , the natural logarithm of the left side is , still smaller than eventually. The big O notation conclusion is therefore independent of that base choice.
Use natural logarithms; the same argument works for any fixed base greater than . The function is increasing for , since its derivative is . With natural logs the sole negative summand is at . Put .
For all sufficiently large with , monotonicity and the triangle inequality giveThese are fixed constants and an eventual bound, provingFor another fixed logarithm base there are still only finitely many negative initial terms, which are absorbed in .
Both injective and surjective. The natural logarithm is strictly increasing on the positive real numbers, so it is injective. For every , satisfies ; hence the function is surjective, with the exponential function as its inverse function.
True. The logarithm identity givesFor , , so . By monotonicity of the natural logarithm, the expression lies between and . It is therefore in Big O notation.
