Ivan Shishkin, Rye (1878)

Problems/Sequence and series

Une série convergeant vers tout réel

by Uettechat·
45
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
ReviewedReviewed by visitor
·
Français
FrançaisEnglish

Soit xR+x\in \mathbb{R}_{+}.
Existe-t-il une suite (αn)nN{0,1}N(\alpha_{n})_{n\in\mathbb{N^{*}}} \in \{0,1\}^{\mathbb{N^{*}}} vérifiant nNαnn=x\displaystyle\sum_{n\in\mathbb{N^{*}}}\frac{\alpha_{n}}{n}=x?

I solved itMark it doneAdd to my listKeep it in your list

Hints

1

Hint 1

Open this only if you want a small nudge before looking at the solutions.

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by visitor

Discussions0 useful votes

Soit x0x\geqslant 0. Définissons αn\alpha_n et SN=n=1Nαn/nS_N=\sum_{n=1}^{N}\alpha_n/n par récurrence, avec S0=0S_0=0 :
αn={1si Sn1+1nx,0sinon.\alpha_n=\begin{cases}1&\text{si } S_{n-1}+\dfrac1n\leqslant x,\\[2pt] 0&\text{sinon.}\end{cases}Par construction SNxS_N\leqslant x pour tout NN, et (SN)(S_N) est croissante : elle converge vers une limite LxL\leqslant x.

Supposons L<xL<x et posons ε=xL>0\varepsilon=x-L>0. Pour tout n>1/εn>1/\varepsilon, on a Sn1LS_{n-1}\leqslant L et 1n<ε\frac1n<\varepsilon, donc
Sn1+1n<L+ε=x,S_{n-1}+\frac1n<L+\varepsilon=x,ce qui force αn=1\alpha_n=1. Ainsi αn=1\alpha_n=1 pour tout nN0:=1/ε+1n\geqslant N_0:=\lfloor 1/\varepsilon\rfloor+1, et
SNn=N0N1nN+S_N\geqslant\sum_{n=N_0}^{N}\frac1n\xrightarrow[N\to\infty]{}+\inftypar divergence de la série harmonique, contradiction avec SNxS_N\leqslant x. Donc L=xL=x. \blacksquare

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.