Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 1994 / Problems / Day 2, P12

IMC 1994 · Day 2 · P12

sequences & seriesworth 22 pts

Find lim⁡N→∞ln⁡2NN∑k=2N−21ln⁡k⋅ln⁡(N−k).\lim_{N \to \infty} \frac{\ln^2 N}{N} \sum_{k=2}^{N-2} \frac{1}{\ln k \cdot \ln (N-k)}. Note that ln⁡\ln denotes the natural logarithm.

Solution (official)

Obviously AN=ln⁡2NN∑k=2N−21ln⁡k⋅ln⁡(N−k)≥ln⁡2NN⋅N−3ln⁡2N=1−3N.(1)\tag{1} A_N = \frac{\ln^2 N}{N} \sum_{k=2}^{N-2} \frac{1}{\ln k \cdot \ln (N-k)} \ge \frac{\ln^2 N}{N} \cdot \frac{N-3}{\ln^2 N} = 1 - \frac{3}{N}. Take MM, 2≤M<N/22 \le M < N/2. Then using that 1ln⁡k⋅ln⁡(N−k)\dfrac{1}{\ln k \cdot \ln (N-k)} is decreasing in [2,N/2][2, N/2] and the symmetry with respect to N/2N/2 one get AN=ln⁡2NN{∑k=2M+∑k=M+1N−M−1+∑k=N−MN−2}1ln⁡k⋅ln⁡(N−k)≤≤ln⁡2NN{2M−1ln⁡2⋅ln⁡(N−2)+N−2M−1ln⁡M⋅ln⁡(N−M)}≤≤2ln⁡2⋅Mln⁡NN+(1−2MN)ln⁡Nln⁡M+O(1ln⁡N).\begin{align*} A_N &= \frac{\ln^2 N}{N} \left\{ \sum_{k=2}^{M} + \sum_{k=M+1}^{N-M-1} + \sum_{k=N-M}^{N-2} \right\} \frac{1}{\ln k \cdot \ln (N-k)} \le \\ &\le \frac{\ln^2 N}{N} \left\{ 2 \frac{M-1}{\ln 2 \cdot \ln (N-2)} + \frac{N - 2M - 1}{\ln M \cdot \ln (N-M)} \right\} \le \\ &\le \frac{2}{\ln 2} \cdot \frac{M \ln N}{N} + \left( 1 - \frac{2M}{N} \right) \frac{\ln N}{\ln M} + O \left( \frac{1}{\ln N} \right). \end{align*} Choose M=[Nln⁡2N]+1M = \left[ \dfrac{N}{\ln^2 N} \right] + 1 to get AN≤(1−2Nln⁡2N)ln⁡Nln⁡N−2ln⁡ln⁡N+O(1ln⁡N)≤1+O(ln⁡ln⁡Nln⁡N).(2)\tag{2} A_N \le \left( 1 - \frac{2}{N \ln^2 N} \right) \frac{\ln N}{\ln N - 2 \ln\ln N} + O \left( \frac{1}{\ln N} \right) \le 1 + O \left( \frac{\ln\ln N}{\ln N} \right). Estimates (1) and (2) give lim⁡N→∞ln⁡2NN∑k=2N−21ln⁡k⋅ln⁡(N−k)=1.\lim_{N \to \infty} \frac{\ln^2 N}{N} \sum_{k=2}^{N-2} \frac{1}{\ln k \cdot \ln (N-k)} = 1.

Similar problems