Problems

Filters
Clear Filters

3 problems found

2025 Paper 2 Q4
D: 1500.0 B: 1500.0
proof by induction floor function integer part periodic function telescoping summation functional equation

Let \(\lfloor x \rfloor\) denote the largest integer that satisfies \(\lfloor x \rfloor \leq x\). For example, if \(x = -4.2\), then \(\lfloor x \rfloor = -5\).

  1. Show that, if \(n\) is an integer, then \(\lfloor x + n \rfloor = \lfloor x \rfloor + n\).
  2. Let \(n\) be a positive integer and define function \(f_n\) by \[f_n(x) = \lfloor x \rfloor + \left\lfloor x + \frac{1}{n} \right\rfloor + \left\lfloor x + \frac{2}{n} \right\rfloor + \ldots + \left\lfloor x + \frac{n-1}{n} \right\rfloor - \lfloor nx \rfloor\]
    1. Show that \(f_n\left(x + \frac{1}{n}\right) = f_n(x)\).
    2. Evaluate \(f_n(t)\) for \(0 \leq t < \frac{1}{n}\).
    3. Hence show that \(f_n(x) \equiv 0\).
    1. Show that \(\left\lfloor \frac{x}{2} \right\rfloor + \left\lfloor \frac{x+1}{2} \right\rfloor = \lfloor x \rfloor\).
    2. Hence, or otherwise, simplify \[\left\lfloor \frac{x+1}{2} \right\rfloor + \left\lfloor \frac{x+2}{2^2} \right\rfloor + \ldots + \left\lfloor \frac{x+2^k}{2^{k+1}} \right\rfloor + \ldots\]

Solution:

  1. Claim: If \(n \in \mathbb{Z}\) then \(\lfloor x + n \rfloor = \lfloor x \rfloor + n\) Proof: Since \(\lfloor x \rfloor \leq x\) then \(\lfloor x \rfloor + n \leq x + n\) and \(\lfloor x \rfloor + n \in \mathbb{Z}\) we must have that \(\lfloor x \rfloor +n \leq \lfloor x + n \rfloor\). However, since \(\lfloor x \rfloor + 1 > x\) we must also have that \(\lfloor x \rfloor + 1 + n > x + n\), therefore \(\lfloor x \rfloor + n\) is the largest integer less than \(x + n\) as required.
    1. Claim: \(f_n\left(x + \frac{1}{n}\right) = f_n(x)\) Proof: \begin{align*} f_n\left(x + \frac{1}{n}\right) &=\left \lfloor x+ \frac{1}{n} \right \rfloor + \left\lfloor x + \frac{1}{n}+ \frac{1}{n} \right\rfloor + \left\lfloor x+ \frac{1}{n} + \frac{2}{n} \right\rfloor + \ldots + \left\lfloor x+ \frac{1}{n} + \frac{n-1}{n} \right\rfloor - \left \lfloor n\left ( x + \frac{1}{n} \right) \right \rfloor \\ &= \left \lfloor x+ \frac{1}{n} \right \rfloor + \left\lfloor x + \frac{2}{n}\right\rfloor + \left\lfloor x+ \frac{3}{n} \right\rfloor + \ldots + \left\lfloor x+ \frac{n}{n} \right\rfloor - \left \lfloor nx + 1 \right \rfloor \\ &= \left \lfloor x+ \frac{1}{n} \right \rfloor + \left\lfloor x + \frac{2}{n}\right\rfloor + \left\lfloor x+ \frac{3}{n} \right\rfloor + \ldots + \left\lfloor x+ 1 \right\rfloor - \left \lfloor nx + 1 \right \rfloor \\ &= \left \lfloor x+ \frac{1}{n} \right \rfloor + \left\lfloor x + \frac{2}{n}\right\rfloor + \left\lfloor x+ \frac{3}{n} \right\rfloor + \ldots + \lfloor x \rfloor + 1 - \left ( \lfloor nx \rfloor + 1 \right) \\ &= \lfloor x \rfloor + \left\lfloor x + \frac{1}{n} \right\rfloor + \left\lfloor x + \frac{2}{n} \right\rfloor + \ldots + \left\lfloor x + \frac{n-1}{n} \right\rfloor - \lfloor nx \rfloor \\ &= f_n(x) \end{align*}
    2. Suppose \(0 \leq t < \frac1n\), then note that \(\left \lfloor t + \frac{k}{n} \right \rfloor = 0\) for \(0 \leq k \leq n - 1\) and \(\lfloor n t \rfloor = 0\) since \(nt < 1\)
    3. Since \(f_n(x)\) is zero on \([0, \tfrac1n)\) and periodic with period \(\tfrac1n\) it must be constantly zero
    1. Claim: \(\left\lfloor \frac{x}{2} \right\rfloor + \left\lfloor \frac{x+1}{2} \right\rfloor = \lfloor x \rfloor\) Proof: Suppose \(x = n + \epsilon\) where \(0 \leq \epsilon < 1\), ie \(n = \lfloor x \rfloor\), then consider two cases: Case 1: \(n = 2k\) \begin{align*} \left\lfloor \frac{x}{2} \right\rfloor + \left\lfloor \frac{x+1}{2} \right\rfloor &= \left\lfloor \frac{n + \epsilon}{2} \right\rfloor + \left\lfloor \frac{n + \epsilon+1}{2} \right\rfloor \\ &= \left\lfloor \frac{2k + \epsilon}{2} \right\rfloor + \left\lfloor \frac{2k + \epsilon+1}{2} \right\rfloor \\ &= k + \left\lfloor \frac{\epsilon}{2} \right\rfloor + k + \left\lfloor \frac{\epsilon+1}{2} \right\rfloor \\ &= 2k \\ &= n \end{align*} Case 2: \(n = 2k + 1\) \begin{align*} \left\lfloor \frac{x}{2} \right\rfloor + \left\lfloor \frac{x+1}{2} \right\rfloor &= \left\lfloor \frac{n + \epsilon}{2} \right\rfloor + \left\lfloor \frac{n + \epsilon+1}{2} \right\rfloor \\ &= \left\lfloor \frac{2k +1+ \epsilon}{2} \right\rfloor + \left\lfloor \frac{2k +1+ \epsilon+1}{2} \right\rfloor \\ &= k + \left\lfloor \frac{\epsilon+1}{2} \right\rfloor + k +1+ \left\lfloor \frac{\epsilon}{2} \right\rfloor \\ &= 2k +1\\ &= n \end{align*} as required.
    2. Since \(\left \lfloor \frac{x+1}{2} \right \rfloor = \lfloor x \rfloor - \lfloor \frac{x}{2} \rfloor\) and in general, \(\left \lfloor \frac{x+2^k}{2^{k+1}} \right \rfloor = \lfloor \frac{x}{2^k} \rfloor - \lfloor \frac{x}{2^{k+1}} \rfloor\) and so in general: \begin{align*} \sum_{k=0}^\infty \left \lfloor \frac{x+2^k}{2^{k+1}} \right \rfloor &= \sum_{k=0}^\infty \left ( \left \lfloor \frac{x}{2^k} \right \rfloor -\left \lfloor \frac{x}{2^{k+1}} \right \rfloor \right) \\ &= \lfloor x \rfloor \end{align*}

View
2018 Paper 3 Q8
D: 1700.0 B: 1516.0
integration Taylor series fractional part substitution partial fractions series manipulation periodic function floor function

In this question, you should ignore issues of convergence.

  1. Let \[ I = \int_0^1 \frac{\f(x^{-1}) } {1+x} \, \d x \,, \] where \(\f(x)\) is a function for which the integral exists. Show that \[ I = \sum_{n=1}^\infty \int_n^{n+1} \frac{\f(y) } {y(1+y)}\, \d y \] and deduce that, if \(\f(x) = \f(x+1)\) for all \(x\), then \[ I= \int_0^1 \frac{\f(x)} {1+x} \, \d x \,. \]
  2. The {\em fractional part}, \(\{x\}\), of a real number \(x\) is defined to be \(x-\lfloor x\rfloor\) where \(\lfloor x \rfloor\) is the largest integer less than or equal to \(x\). For example \(\{3.2\} = 0.2\) and \(\{3\}=0\,\). Use the result of part (i) to evaluate \[ \displaystyle \int _0^1 \frac { \{x^{-1}\}}{1+x}\, \d x \text{ and } \displaystyle \int _0^1 \frac { \{2x^{-1}\}}{1+x}\, \d x \,. \]
  3. (Bonus) Use the same method to evaluate \[ \int_0^1 \frac {x\{x^{-1}\}}{1-x^2} \, \d x \,. \]
  4. (Bonus - harder) Use the same method to evaluate \[ \int_0^1 \frac {x^2\{x^{-1}\}}{1-x^2} \, \d x \,. \]

Solution:

  1. \begin{align*} && I &= \int_0^1 \frac{f(x^{-1})}{1+x} \d x \\ u = x^{-1}, \d u = -x^{-2} \d x: &&&= \int_{\infty}^1 \frac{f(u)}{1+\frac{1}{u}} \frac{-1}{u^2} \d u \\ &&&= \int_1^{\infty} \frac{f(u)}{u(1+u)} \d u \\ &&&= \sum_{n=1}^{\infty} \int_n^{n+1} \frac{f(u)}{u(u+1)} \d u \\ \\ \text{if} f(x) = f(x+1)\, \forall x && &=\sum_{n=1}^{\infty} \int_{0}^1 \frac{f(x+n)}{(x+n)(x+n+1)} \d x \\ &&&= \sum_{n=1}^\infty \int_0^1 \frac{f(x)}{(x+n)(x+n+1)} \d x \\ &&&= \int_0^1 f(x) \l \sum_{n=1}^{\infty} \frac{1}{(x+n)(x+n+1)}\r \d x \\ &&&= \int_0^1 f(x) \l \sum_{n=1}^{\infty} \l \frac{1}{x+n} - \frac{1}{x+n+1} \r\r \d x \\ &&&= \int_0^1 f(x) \l \frac{1}{x+1} \r \d x \\ &&&= \int_0^1\frac{f(x)}{x+1} \d x \\ \end{align*}
  2. Since the fractional part is periodic with period \(1\), we can say \begin{align*} && \int_0^1 \frac{\{ x^{-1} \} }{1+x} \d x &= \int_0^1 \frac{\{ x\}}{x+1} \d x \\ &&&= \int_0^1 \frac{x}{x+1} \d x \\ &&&= \int_0^1 1-\frac{1}{x+1} \d x \\ &&&= [x - \ln (1+x) ]_0^1 \\ &&&= 1 - \ln 2 \end{align*} \begin{align*} && \int_0^1 \frac{\{ 2x^{-1}\}}{1+x} \d x &= \int_0^1 \frac{\{2x\}}{x+1} \d x \\ &&&= \int_0^{1/2} \frac{2x}{x+1} \d x +\int_{1/2}^{1} \frac{2x-1}{x+1} \d x \\ &&&= 2\int_0^1 \frac{x}{x+1} \d x + \int_{1/2}^1 \frac{-1}{x+1} \d x \\ &&&= 2 - 2\ln 2 - \l \ln 2 - \ln \tfrac32 \r \\ &&&= 2 - 4 \ln 2 + \ln 3 \\ &&&= 2 + \ln \tfrac {3}{16} \end{align*}
  3. \begin{align*} && \int_0^1 \frac{x \{ x^{-1} \} }{1-x^2} \d x &= \frac12 \l \int_0^1 \frac{ \{ x^{-1} \}}{1-x} - \frac{\{x^{-1} \}}{1+x} \d x\r \end{align*} Consider for \(f\) periodic with period \(1\) \begin{align*} \int_0^1 \frac{f(x^{-1})}{1-x} \d x &= \int_1^{\infty} \frac{f(u)}{u(u-1)} \d u \\ &= \sum_{n=1}^{\infty}\int_{n}^{n+1} \frac{f(u)}{u(u-1)} \d u \\ &= \sum_{n=1}^{\infty}\int_{0}^{1} \frac{f(u)}{(u+n)(u+n-1)} \d u \\ &= \int_{0}^{1} \sum_{n=1}^{\infty}\frac{f(u)}{(u+n)(u+n-1)} \d u \\ &= \int_{0}^{1} f(u) \sum_{n=1}^{\infty}\l\frac{1}{u+n-1} - \frac{1}{u+n} \r\d u \\ &= \int_0^1 \frac{f(u)}{u} \d u \end{align*} So we have \begin{align*} && \int_0^1 \frac{x \{ x^{-1} \} }{1-x^2} \d x &= \frac12 \l \int_0^1 \frac{ \{ x^{-1} \}}{1-x} - \frac{\{x^{-1} \}}{1+x} \d x \r \\ &&&= \frac12 \int_0^1 \frac{\{ x \}}{x} \d x - \frac12 (1 - \ln 2) \\ &&&= \frac12 - \frac12 + \frac12 \ln 2 \\ &&&= \frac12 \ln 2 \end{align*}

View
2001 Paper 2 Q8
D: 1600.0 B: 1488.2
differential equation first order periodic function integrating factor proof by induction sequences convergence antiderivative

The function \(\f\) satisfies \(\f(x+1)= \f(x)\) and \(\f(x)>0\) for all \(x\).

  1. Give an example of such a function.
  2. The function \(\F\) satisfies \[ \frac{\d \F}{\d x} =\f(x) \] and \(\F(0)=0\). Show that \(\F(n) = n\F(1)\), for any positive integer \(n\).
  3. Let \(y\) be the solution of the differential equation \[ \frac{\d y}{\d x} +\f(x) y=0 \] that satisfies \(y=1\) when \(x=0\). Show that \(y(n) \to 0\) as \(n\to\infty\), where \(n= 1,\,2,\, 3,\, \ldots\)

Solution:

  1. \(f(x) = \lfloor x \rfloor+1\)
  2. Clearly \(\displaystyle F(x) = \int_0^x f(t) \d t\), in particular: \begin{align*} && F(n) &= \int_0^n f(t) \d t \\ &&&= \sum_{i=1}^n \int_{i-1}^i f(t) \d t \\ &&&= \sum_{i=1}^n \int_{0}^1 f(t-i+1) \d t \\ &&&= \sum_{i=1}^n \int_{0}^1 f(t) \d t \\ &&&= n \int_{0}^1 f(t) \d t\\ &&&= n F(1) \end{align*}
  3. \(\,\) \begin{align*} && 0 &= \frac{\d y}{\d x} +f(x) y \\ \Rightarrow && \int -f(x) \d x &= \int \frac1y \d y\\ \Rightarrow && -F(x) & = \ln y + C \\ x=0,y=1: && C &= -F(0) \\ \Rightarrow && y &= \exp(F(0)-F(x)) \end{align*} Well this \(F(0)-F(x)\) is equivalent to \(-F(x)\) where \(F(0) = 0\), in particular \(F(n) = nF(1)\), so \(y(n) = e^{-nF(1)}\) which tends to zero as long as \(F(1) > 0\), but since \(f(x) > 0\) for all \(x\) this must be true.

View