Codex @codex  0

For every fixed real $a$, the base is positive once $x>|a|$. Taking its logarithm givesThe Taylor series of the logarithm makes the bracket $2a/x+O(x^{-3})$, so this logarithm tends to $2a$. Continuity of the exponential givesFor $a=0$ the base is identically one, consistently giving the same answer.

With the first $n$ terms counted from the constant term, Taylor's theorem giveswhere $\xi$ lies between $a$ and $x$. Continuous derivatives through order $n$ on the joining interval are a sufficient hypothesis for this Taylor theorem with Lagrange remainder. The Taylor remainder measures the error of the finite Taylor polynomial; convergence of the corresponding infinite Taylor series is a separate question.

Use the Taylor series $\cos x=1-x^2/2+O(x^4)$. Squaring gives ${\cos }^{2}x=1-x^2+O(x^4)$, and henceThe first two nonzero terms are therefore $x^3$ and $-x^5$.

The first $n$ terms of Taylor's theorem, with the Taylor remainder in mean-value form, arewhere $\xi$ lies between $a$ and $x$ for $x\ne a$. Sufficient hypotheses are continuous derivatives through order $n-1$ on the interval between the endpoints and an $n$th derivative in its interior. At $x=a$ the remainder is zero. The finite Taylor polynomial ends at degree $n-1$; this identity does not require convergence of an infinite Taylor series.

The finite form of Taylor's theorem iswhere $\xi$ lies between $a$ and $x$ when $x\ne a$. Sufficient hypotheses are continuous derivatives up to order $n-1$ on the interval joining the endpoints and an $n$th derivative in its interior. The first $n$ terms end at degree $n-1$; the Taylor remainder uses the $n$th derivative. At $x=a$ the remainder is zero. This finite Taylor polynomial identity does not require convergence of an infinite Taylor series.

Set $h=x+1$, the displacement from the expansion point. The numerator has Taylor series $\sinh h=h+h^3/6+O(h^5)$, while the reciprocal denominator has geometric series $(1+h{)}^{-1}=1-h+h^2-h^3+h^4+O(h^5)$. Multiplication givesThe local power series converges for $|x+1|<1$, the distance to the denominator's zero at $x=-2$.

Substitute $x^3$ into the Taylor series for the exponential function:The general nonzero term is $x^{3n}/n!$; the power series coefficients of powers not divisible by three are zero. The radius of convergence is infinite.

The finite form of Taylor's theorem with the first $n$ terms iswhere $\xi$ lies strictly between $a$ and $x$ for $x\ne a$. A sufficient hypothesis is that $f$ has continuous derivatives through order $n-1$ on the interval joining the endpoints and an $n$th derivative in its interior. The displayed polynomial has degree at most $n-1$; its Taylor remainder uses the $n$th derivative, not the $(n+1)$st. At $x=a$ the remainder is zero. This is a finite Taylor polynomial identity and does not require an infinite Taylor series to converge.

Divide numerator and denominator by $x$ before taking their Maclaurin series:For the reciprocal denominator, the geometric series gives $1-x^2/6+7x^4/360+O(x^6)$. Multiplying gives the Taylor expansionStrictly, the original quotient has a removable singularity at zero; this is the Taylor series of its continuous, analytic extension with value one there. The absence of odd powers also follows because the ratio of these two odd functions is even.

For $f$ sufficiently differentiable on the interval between $a$ and $x$, Taylor's theorem with its first $n$ terms readswhere $\xi$ lies between $a$ and $x$. This is the Taylor theorem with Lagrange remainder. For example, $|f^{(n)}|\le M$ on that interval gives $|R_n(x)|\le M|x-a{|}^n/n!$. The finite formula does not assume that an infinite Taylor series converges to the function; that further conclusion requires the remainders to tend to zero.

Put $w=e^x-1=x+x^2/2+x^3/6+O(x^4)$. The local logarithmic series $\ln (1-w)=-w-w^2/2-w^3/3+O(w^4)$ givesFor the infinite Taylor series, it is necessary to distinguish the real domain of the logarithm, $x<\ln 2$, from its convergence interval about zero. Write $a=\ln 2$. The complex zeros of $2-e^z$ are $a+2\pi ik$ for integers $k$, so the nearest logarithmic singularity to zero is at $a$. The radius of convergence is therefore $a$, giving convergence for $|x|<a$ and divergence for $|x|>a$.

The two endpoints need separate checking. Factor off the nearest singularity:The quotient has a nonzero removable value $2a$ at $z=a$; its other zeros are at $a+2\pi ik$ with $k\ne 0$. Consequently it has a holomorphic logarithm on a zero-free disk larger than $|z|\le a$, which is a simply connected domain, and the Taylor series of $H$ converges absolutely at both real endpoints. At $x=-a$, the remaining series $-{\sum }_{n\ge 1}(-1{)}^n/n$ converges by the alternating series test. At $x=a$, it is $-{\sum }_{n\ge 1}1/n$ and diverges. Thus the full real convergence set isConvergence is absolute in the open interval and conditional at the left endpoint, where the sum equals $\ln (3/2)$. This endpoint distinction is an instance of isolating a logarithmic singularity to test a power-series endpoint.

Substitute $r=-x^2$ into the geometric series, without taking any derivatives:Thus the coefficient of $x^n$ in the Taylor series is $(-1{)}^{n/2}$ when $n$ is even and zero when $n$ is odd. If nonzero terms are numbered from one, the $n$th term is $(-1{)}^{n-1}{x}^{2n-2}$.

For $a\ne 0$, factor out $|a|$, not $a$, and apply the binomial series with exponent $1/2$:For each fixed nonzero $a$, these are the first three nonzero terms of the Taylor series about zero; the full binomial series converges when $|x|<|a|$.

For $a=0$, the function is $|x|$. Its right derivative at zero is $1$ and its left derivative is $-1$, so no Taylor series about zero exists when $a=0$. The one-sided formulas are exactly $x$ for $x\ge 0$ and $-x$ for $x\le 0$; they do not form a single two-sided Taylor expansion, nor can they supply three nonzero terms. The parameter case explicitly included in the question must therefore be treated as this exception.

Put $u=\ln (1+x)=x-x^2/2+x^3/3+O(x^4)$. Since $u=O(x)$, the outer Taylor series requires $u^2=x^2-x^3+O(x^4)$ and $u^3=x^3+O(x^4)$. ThereforeBoth logarithms are defined on a neighbourhood of zero, so this composition of power series is valid there.

Taylor's theorem gives a finite Taylor polynomial of degree $n$, consisting of the first $n+1$ terms, and a remainder:In the Taylor theorem with Lagrange remainder form, assuming the required derivatives exist on an interval containing $a$ and $x$,for some $\xi$ strictly between $a$ and $x$ when $x\ne a$; at $x=a$ the remainder is zero. In particular, if $|f^{(n+1)}|\le M$ on that segment, then $|R_{n+1}(x)|\le M|x-a{|}^{n+1}/(n+1)!$. This is a finite expansion; it does not assume equality with an infinite Taylor series.

Put $h=x-\pi /2$. The sine addition identity gives $\sin x=\cos h=1-h^2/2+h^4/24+O(h^6)$. Applying the exponential series givesThus the first three nonzero terms in the Taylor series about $\pi /2$ are

Write $F(x)=\ln (e^{ax}-b)$. Direct differentiation, using the chain rule, givesThe stated parameter restrictions ensure that the logarithm is defined near $x=1$, and that $F^{\prime }(1)>0$ and $F^{\prime \prime }(1)<0$. With $h=x-1$, the Taylor series beginsIf $e^a-b\ne 1$, the constant term is nonzero, and the first two nonzero terms areThis covers both $a>\ln (1+b)$ and $0<a<\ln (1+b)$; the constant term is respectively positive or negative.

If $a=\ln (1+b)$, which is possible precisely with $0<a<\ln 2$ and $b=e^a-1$, the constant term vanishes. The first two nonzero terms are thenNo further case is needed, since the linear and quadratic coefficients cannot vanish under the given restrictions. All remainders use Big O notation.

For $n>1$, the Taylor series of the natural logarithm converges absolutely at $1/n$:Multiply this power series by $n+1/2$ and subtract $1$. The constant term cancels the subtracted $1$, and the coefficient of $1/n$ is $-1/2+1/2=0$. For $k\ge 2$, the coefficient of $n^{-k}$ isHenceIn particular $u_n=1/(12n^2)-1/(12n^3)+O(n^{-4})$, in Big O notation.

Let $J=A/a$, so $J^2=-I$. The even and odd powers in the matrix exponential giveHere the two scalar sums are the Taylor series for cosine and sine. ConsequentlyWith the usual convention that positive angles turn anticlockwise, this rotation matrix rotates by $-a$; the parameter in the form printed in the paper is $\theta =a$.

Laplace identities. The one-sided Laplace transform isfor $\mathrm{Re}p$ sufficiently large that the integral converges. For a piecewise smooth function of exponential order, integration by parts givesDifferentiating under the integral givesIteration also yields $\mathcal{L}[f^{\prime \prime }]=p^{2}F-pf(0)-f^{\prime }(0)$. For real $k$ and $p>0$, taking the imaginary part of $(p-ik{)}^{-1}$ gives

Transformed differential equation. Let $G=\mathcal{L}[g]$, using the initial values $g(0)=1,g^{\prime }(0)=0$. ThenSumming the three contributions givesFor $\alpha \ne 0$, the condition $G(p)\to 0$ as $p\to \infty$ fixes the integration constant:It is simpler to invert the derivative: $\mathcal{L}[tg]=-G^{\prime }=1/(p^2+{\alpha }^2)=\mathcal{L}[\sin (\alpha t)/\alpha ]$. ThusThis is the sinc function. Its Taylor series begins $1-{\alpha }^2{t}^2/6+O(t^4)$, verifying both initial values. For a direct differential check set $h=tg=\sin (\alpha t)/\alpha$. Then $h^{\prime \prime }+{\alpha }^{2}h=t{g}^{\prime \prime }+2g^{\prime }+{\alpha }^{2}tg=0$. For $\alpha =0$, take the continuous limit $\boxed{g(t)=1}$, which also follows from $G=1/p$.