Question 1 · transformed sequence and boundary series
Throughout this question, distinguish convergence of the positive series, convergence of the alternating series, and convergence of the associated complex power series. Any use of a convergence test must include its hypotheses, and every boundary point requested in the question must be treated separately.
Write enough reasoning for an independent reader to verify every transition. Equivalent methods are acceptable, but all requested cases and final conclusions must be explicit.
(a) For \(n\ge1\), define \(a_n=\arctan(n+5)-\arctan(n+1)\). Give a proof that \(a_n>0\), show that \(a_n\to0\), and prove directly that \(n^2a_n\to4\). (5 marks)
(b) Investigate the convergence of \(\sum_{n\ge1}a_n\) using a valid partial-sum or comparison argument. (3 marks)
(c) Investigate the convergence of \(\sum_{n\ge1}(-1)^{n-1}a_n\), and give an explicit condition on N making its truncation error below \(10^{-4}\). (5 marks)
(d) For \(F(z)=\sum_{n\ge1}a_nz^n\), work out the radius of convergence and investigate separately z=1, z=-1 and \(z=e^{i\theta}\), \(0<\theta<2\pi\). (7 marks)
**[Total: 20 marks]**
Worked solution and marking guidance
**(a)** a_n=\int_{n+1}^{n+5}\frac{dt}{1+t^2}>0. This proves positivity and, by the
displayed denominator/integral estimate, \(a_n\to0\). Moreover
\[
n^2a_n=\int_1^5\frac{n^2}{1+(n+s)^2}\,ds\to4.
\]
The same bounds give an explicit \(N(\varepsilon)\), so this is an
\(\varepsilon\)-\(N\) proof rather than a decimal approximation.
**(b)** For the partial sums,
\[
S_N=\sum_{j=N+2}^{N+5}\arctan j-\sum_{j=2}^{5}\arctan j\longrightarrow2\pi-\sum_{j=2}^{5}\arctan j.
\]
Thus the positive series **converges**. Equivalently, limit
comparison with \(a_n\sim4/n^2\) gives the same conclusion.
**(c)** The positive terms decrease to zero. Hence the alternating
series converges absolutely. Its remainder satisfies
\[
|S-S_N|\le a_{N+1},\qquad a_{N+1}\le\frac4{1+(N+2)^2}<10^{-4}; N\ge199\text{ is sufficient}.
\]
**(d)** Polynomial decay of the coefficients gives
\(\limsup |a_n|^{1/n}=1\), hence the radius is \(R=1\).
Because \(\sum a_n\) converges, the power series is absolutely convergent at every point of \(|z|=1\), including \(z=1\), \(z=-1\), and every \(e^{i\theta}\).
Question 2 · density, compact extension and oscillation
Write enough reasoning for an independent reader to verify every transition. Equivalent methods are acceptable, but all requested cases and final conclusions must be explicit.
(a) For \(f:[0,6]\to\mathbb R\) be continuous and suppose \(f(q)=q^2-3q+2\) for every rational \(q\in[0,6]\). Give a proof that that \(f(x)=x^2-3x+2\) for every real x in the interval. (5 marks)
(b) For \(g:(0,6)\to\mathbb R\) be continuous and suppose both finite one-sided endpoint limits exist. Construct a closed-interval extension, prove endpoint continuity and deduce uniform continuity of g. (7 marks)
(c) For \(h(x)=\sin(1/x^2)\) on (0,1), prove continuity and boundedness but disprove uniform continuity using two explicit sequences. The distance of the inputs must tend to zero while the outputs remain separated by a fixed amount. (6 marks)
(d) State a sharp standard hypothesis on the domain that turns continuity into uniform continuity, and name the theorem. (2 marks)
**[Total: 20 marks]**
Worked solution and marking guidance
**(a)** Fix \(x\in[0,6]\). Choose rationals \(q_n\to x\).
Continuity gives
\[
f(x)=\lim f(q_n)=\lim\bigl(q_n^2-3q_n+2\bigr)
=x^2-3x+2.
\]
**(b)** Let \(L_0=\lim_{x\to0^+}g(x)\) and
\(L_6=\lim_{x\to6^-}g(x)\). Define the extension by
\(G(0)=L_0\), \(G(6)=L_6\), and \(G=g\) inside.
The definitions of the one-sided limits prove endpoint continuity.
Thus \(G\) is continuous on compact \([0,6]\), so Heine-Cantor
makes \(G\), and therefore \(g\), uniformly continuous.
**(c)** The function is continuous and bounded by 1. Put
\[
x_n=(\pi/2+2\pi n)^{-1/2},\qquad
y_n=(3\pi/2+2\pi n)^{-1/2}.
\]
Then \(x_n,y_n\to0\), \(|x_n-y_n|\to0\), but
\(h(x_n)=1\) and \(h(y_n)=-1\). This contradicts uniform continuity.
**(d)** A continuous function on a compact metric domain is uniformly
continuous (Heine-Cantor theorem).
Question 3 · theorem hypotheses and decisive counterexamples
Treat the statements in the first part independently. A bare true/false answer earns no credit: for a true statement give a complete proof, while for a false statement specify all functions, domains and parameter values in a counterexample and verify that they satisfy the stated hypotheses. In the theorem-statement parts, write every quantifier and regularity assumption needed for the version you use; naming a theorem without its hypotheses is not a complete answer.
Write enough reasoning for an independent reader to verify every transition. Equivalent methods are acceptable, but all requested cases and final conclusions must be explicit.
(a) For each statement, decide true or false and give a proof or a fully specified counterexample: (i) every bounded function with finitely many discontinuities is Darboux integrable; (ii) the sum of two convex functions is convex; (iii) every continuous function on an open bounded interval is uniformly continuous. (9 marks)
(b) State the definition of Darboux integrability using infima, suprema, lower sums, upper sums and the complete epsilon quantifiers. (4 marks)
(c) State Taylor's theorem of order n with integral remainder and all regularity assumptions. (4 marks)
(d) State one valid version of L'Hôpital's rule, including the indeterminate forms and every essential hypothesis. (3 marks)
**[Total: 20 marks]**
Worked solution and marking guidance
**(a)** The answers are **True, True, False**.
(i) True: a bounded function with finitely many discontinuities is Darboux integrable by isolating those points in intervals of arbitrarily small total length. (ii) True: add the two convexity inequalities. (iii) False: \(f(x)=1/x\) is continuous on (0,1) but not uniformly continuous.
**(b)–(d)**
For a partition \(P:a=x_0<\cdots<x_m=b\), put
\[
m_i=\inf_{[x_{i-1},x_i]}f,\quad M_i=\sup_{[x_{i-1},x_i]}f,
\quad L(f,P)=\sum m_i\Delta x_i,\quad U(f,P)=\sum M_i\Delta x_i.
\]
A bounded \(f\) is Darboux integrable iff
\(\sup_P L(f,P)=\inf_P U(f,P)\), equivalently iff for every
\(\varepsilon>0\) there is a partition \(P\) with
\(U(f,P)-L(f,P)<\varepsilon\).
If \(f^{(n)}\) is absolutely continuous (continuous
\(f^{(n+1)}\) is sufficient), then
\[
f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+
\frac1{n!}\int_a^x(x-t)^n f^{(n+1)}(t)\,dt.
\]
One standard L'Hopital form assumes differentiability on a punctured
interval, \(g'\ne0\), a \(0/0\) or \(\infty/\infty\) form, and an
existing limit of \(f'/g'\); under the standard endpoint hypotheses
the quotient has the same limit.
Question 4 · convex functions and decay at infinity
Monotonicity and limit conclusions must be derived from the sign of the second derivative and boundedness; do not assume in advance that the first derivative has a limit.
Write enough reasoning for an independent reader to verify every transition. Equivalent methods are acceptable, but all requested cases and final conclusions must be explicit.
(a) For \(f:[0,\infty)\to\mathbb R\) be continuous, twice differentiable on (0,∞), bounded, and satisfy \(f''(x)\ge0\). Give a proof that that f is non-increasing. (3 marks)
(b) With \(\ell=\inf_{x\ge0}f(x)\), prove directly from the definition of the extremum that \(f(x)\to\ell\) as x→∞. (4 marks)
(c) Give a proof that \(f'(x)\to0\), explicitly ruling out every non-zero candidate limit. (4 marks)
(d) Give a proof that \(4x f'(x)\le f(5x)-f(x)\le 4x f'(5x)\) and use it to show \(x f'(x)\to0\). (6 marks)
(e) Give a convex example showing which conclusion can fail when boundedness is removed. (3 marks)
**[Total: 20 marks]**
Worked solution and marking guidance
**(a)** Since \(f''\) has the stated sign, \(f'\) is
non-decreasing. The supporting
line inequality
\[
f(y)\ge f(x)+f'(x)(y-x)
\]
and boundedness rule out a derivative with the wrong strict sign.
Therefore \(f'\le0\) and \(f\) is non-increasing.
**(b)** With \(\ell=\inf f\), choose a point whose function value is
within \(\varepsilon\) of \(\ell\). Monotonicity traps every later
value between that value and \(\ell\), so \(f(x)\to\ell\).
**(c)** Monotonicity of \(f'\) gives a one-sided limit. The sign from
(a) and boundedness rule out every non-zero limit: integrating a
strictly positive or negative tail bound would make \(f\) unbounded.
Hence \(f'(x)\to0\).
**(d)** Monotonicity of \(f'\) on \([x,5x]\) and integration
give
\[
4x f'(x)\le f(5x)-f(x)\le 4x f'(5x).
\]
The middle increment tends to zero by (b). Applying the same estimate
on a rescaled preceding interval traps \(xf'(x)\) between 0 and a
vanishing function increment, so \(xf'(x)\to0\).
**(e)** Without boundedness, \(f(x)=x\) is convex but has a
non-zero constant derivative; the monotonicity conclusion in (a) and
the derivative/asymptotic conclusions can fail.