Des applications de Cesàro et/ou Abel et/ou Silverman–Toeplitz - Page 5 — Les-mathematiques.netThe most powerful custom community solution in the world
Pour la 7 que dites vous de cette tentative de généralisation.
Soient trois suites $a_{n},b_{n},c_{n}$ convergeant respectivement vers $a,b,c$. Alors on a $$\frac{2}{n(n+1)}\sum_{i_{1}+i_{2}+i_{3}=n}a_{i_{1}}b_{i_{2}}c_{i_{3}}\rightarrow abc$$
Pour l'échauffement 2 qui me va bien ce matin, si tu n'as toujours pas de preuve à pointer en voici une.
On a $nM(n)=\sum_{k=1}^{n}a_{k}$ et donc par différence on obtient $$(n+1)M(n+1)-nM(n)=a_{n+1}.$$ Soit $$\frac{a_{n+1}}{n}=M(n+1)-M(n)+\frac{M(n+1)}{n}.$$ D'après Cesàro comme $M_{n+1}-M_{n}\rightarrow0$ il en va de même de $\frac{1}{n}\sum_{k=1}^{n}\left(M_{k+1}-M_{k}\right)=\frac{M_{n+1}-M_1}{n}$ et donc $\frac{a_{n+1}}{n}\rightarrow0$ ce qui permet de conclure.
Enigme 29 Pour tout $k\geq1$ entier on a $f(k)=f\left(k-2\pi\left\lfloor \frac{k}{2\pi}\right\rfloor \right)=f\left(2\pi\left\{ \frac{k}{2\pi}\right\} \right)$, où $\left\{ .\right\}$ désigne la partie fractionnaire. Comme $2\pi$ est irrationnel la suite $2\pi\left\{ \frac{k}{2\pi}\right\}$ est équidistribuée sur $\left[0,2\pi\right]$ et on a du fait que $f$ soit Riemann intégrable (car continue). $$\frac{1}{n}\sum_{k=1}^{n}f(k)=\frac{1}{n}\sum_{k=1}^{n}f\left(2\pi\left\{ \frac{k}{2\pi}\right\} \right)\rightarrow\frac{1}{2\pi}\int_{0}^{2\pi}f(t)dt$$
Pour la 29, il y a une démonstration assez efficace avec les séries de Fourier.
Enfin, pour la 7 et ses généralisations, je propose le lemme : pour tous entiers $p,k$, le nombre de $p$-uplets d’entiers qui sont tous plus grands que $k$ et dont la somme fait $n$, divisé par le nombre de $p$-uplets d’entiers de somme $n$ est un $o(\frac{1}{n})$. Par conséquent, dans la plupart des termes de la somme du 7, tous les termes du produit sont assez loin dans les suites convergentes et donc valent presque leur limite.
@gebrane la 26 a l'air à ma portée si Calli ou Raoul me la laisse Pour la 32 que j'ai suggérée après avoir compulsé le livre de Knopp je peux donner un indice mais je ne sais pas comment utiliser l'oeil "révéler".
Enigme 7bis (suggérée par Boécien et gebrane) : Pour tout couple $(p,n)$ d'entiers naturels non nuls, on note $\Delta_p(n)$ l'ensemble des $p$-uplets d'entiers naturels non nuls dont la somme vaut $n$. Soit $p$ un entier, et soit $(a_{m,n})_{m \in \{1,\cdots,p\}, n \in \mathbb{N}^*}$ une famille de réels et supposons que pour tout $m \in \{1,\cdots,p\}$, $(a_{m,n})_{n}$ est convergente. Alors \[ \lim_{n\to \infty} \frac{1}{\vert \Delta_p(n) \vert} \sum_{(n_1,\cdots,n_p) \in \Delta_p(n)} \prod^p_{m=1} a_{m,n_m} = \prod^p_{m=1} \lim_{n\to \infty} a_{m,n}.\] -------------------------------------------------------------------- Solution. Notons, pour tout triplet $(p,k,n)$ d'entiers naturels non nuls, $\Delta^{> k}_p(n)$ le sous-ensemble de $\Delta_p(n)$ formé des $p$-uplets d'entiers tous strictement plus grands que $k$. Notons, pour tout triplet $(p,j,n)$ d'entiers naturels non nuls, notons $\Delta^{j}_p(n)$ le sous-ensemble de $\Delta_p(n)$ formé des $p$-uplets d'entiers, dont le premier vaut $j$. Lemme 1.
Pour tout triplet $(p,k_1,n)$ d'entiers naturels non nuls, $\vert \Delta_p(n) \vert = \begin{pmatrix}n-1\\p-1\\\end{pmatrix}$ et $\vert \Delta^{j}_p(n) \vert = \begin{pmatrix}n-1-j\\p-2\\\end{pmatrix}$.
Démo.
C'est le coup des bâtonnets !
Lemme 2.
On a, pour tout entier $k$ et tout entier $p$ tel que $p\geq 2$, \[\lim_{n \to \infty} \frac{\vert \Delta_p(n) \setminus \Delta^{> k}_p(n) \vert}{\vert \Delta_p(n) \vert} = 0.\]
Démo.
Soient $k$ et $p$ des entiers. Alors \[\Delta_p(n) \setminus \Delta^{> k}_p(n) \subset \bigcup^{p-1}_{i=0} \bigcup^{k}_{j=1} \sigma^i * \Delta^{j}_p(n),\]où on a noté $\sigma$ un $p$-cycle quelconque dans $\mathfrak{S}_p$. Ainsi, on a \[\begin{array}{rcl}\vert \Delta_p(n) \setminus \Delta^{>k}_p(n) \vert &\leq &\displaystyle p\sum^k_{j=1} \begin{pmatrix}n-1-j\\p-2\\\end{pmatrix}\\&\leq &\displaystyle pk\begin{pmatrix}n-2\\p-2\\\end{pmatrix},\\\end{array}\] d'où on déduit que \[\frac{\vert \Delta_p(n) \setminus \Delta^{> k}_p(n) \vert}{\vert \Delta_p(n) \vert} \leq p(p-1)k\frac{1}{n-1},\]ce qui suffit.
Solution de l'énigme.
Notons, pour tout $m$, $a_{m,\infty} := \lim_n a_{m,n}$. Soit $M$ un réel qui borne tout le monde. Alors \[\begin{array}{rcl}\vert a_{1,n}\cdots a_{p,n} - a_{1,\infty}\cdots a_{p,\infty} \vert &\leq &\vert a_{1,n}\cdots a_{p,n} - a_{1,n}a_{2,\infty}\cdots a_{p,\infty}\vert \\& &+ \vert a_{1,n}a_{2,\infty}\cdots a_{p,\infty} - a_{1,\infty}\cdots a_{p,\infty} \vert\\&\leq &M \vert a_{2,n}\cdots a_{p,n} - a_{2,\infty}\cdots a_{p,\infty} \vert \\& &+ M^{p-1} \vert a_{1,n} - a_{1,\infty} \vert\\&\stackrel{recurrence}{\leq} &M^{p-1} \sum^p_{m=1} \vert a_{m,n} - a_{m,\infty} \vert.\\\end{array}\] Soit $\epsilon >0$. Soit $k$ tel que pour tout $n > k$, et tout $m$, \[\vert a_{m,n} - a_{m,\infty} \vert \leq \frac{\epsilon}{2pM^{p-1}}.\] Alors, pour tout $p$-uplet $(n_1,\cdots,n_p)$ d'entiers naturels strictement plus grands que $k$, \[\vert a_{1,n_1}\cdots a_{p,n_p} - a_{1,\infty}\cdots a_{p,\infty} \vert < \frac{\epsilon}{2}.\] Ainsi, \[\begin{array}{rcl}\left\vert\frac{1}{\vert \Delta_p(n) \vert}\sum_{(n_1,\cdots,n_p) \in \Delta_p(n)} \prod^p_{m=1} a_{m,n_m} - \prod^p_{m=1} a_{m,\infty} \right\vert &\leq &\displaystyle \frac{1}{\vert \Delta_p(n) \vert} \sum_{(n_1,\cdots,n_p) \in \Delta_p(n)} \left\vert \prod^p_{m=1} a_{m,n_m} - \prod^p_{m=1} a_{m,\infty} \right\vert\\&= &\displaystyle \frac{1}{\vert \Delta_p(n)\vert} \sum_{(n_1,\cdots,n_p) \in \Delta^{>k}_p(n)} \cdots \\& &\displaystyle + \frac{1}{\vert \Delta_p(n)\vert} \sum_{(n_1,\cdots,n_p) \not \in \Delta^{>k}_p(n)} \cdots \\&\leq &\displaystyle \frac{\epsilon}{2} + \frac{\vert \Delta_p(n) \setminus \Delta^{>k}_p(n) \vert}{\vert \Delta_p(n)} 2M^p\\&= &\frac{\epsilon}{2} + o(1).\\\end{array}\]
Bravo Georges. Pour la 26 je crois avoir réussi mais la rédaction qui suit n'est sans doute pas top. Merci de me signaler les coquilles et autres bourdes.
On a pour rappel • $a_{n}$ positive décroissante • $0\leq a<1$ • $\ell>0$ Il faut montrer $n^{a}a_{n}\rightarrow\ell\Longleftrightarrow n^{a}\frac{A(n)}{n}\rightarrow\frac{\ell}{1-a}$ où $A(n)=a_1+..+a_n$. Sens $\Longrightarrow$ En notant $v_{k}=k^{-a}$ on a $0\leq a<1\Rightarrow \sum_{k=1}^{n}v_{k}\sim\frac{n^{1-a}}{1-a}\rightarrow\infty$. On peut donc appliquer Cesàro généralisé à $u_{n}=n^{a}a_{n}$ qui tend vers $\ell$ avec les poids $v_{k}$ ce qui donne $$\frac{1}{\sum_{k=1}^{n}v_{k}}\sum_{k=1}^{n}v_{k}u_{k}\rightarrow\ell\Longrightarrow n^{a}\frac{A(n)}{n}\rightarrow\frac{\ell}{1-a}$$Sens $\Longleftarrow$ Comme $a_{n}$ est décroissante et positive on a $a_{n}\rightarrow\ell'\geq0$. Si $a=0$ on a $\ell'=\ell$ et il faut montrer $$\frac{A(n)}{n}\rightarrow\ell\Rightarrow a_{n}\rightarrow\ell$$
Cette réciproque de Cesàro est vraie (voir énigme 10 où il suffit de remplacer $a_{n}$ par $-a_{n}$ pour avoir une suite croissante). On va donc supposer maintenant que $a>0$. Si $\ell'>0$ cela donne $A(n)\sim\ell'n\Longrightarrow n^{a}\frac{A(n)}{n}\sim\ell'n^{a}$ qui ne peut pas converger si $a>0$. On a donc nécessairement $a_{n}\rightarrow0$. Lemme Si $u_{n}>0$ décroit vers zéro et que $\sum_{k=1}^{n}u_{k}\sim n^{1-\alpha}\ \left(n\rightarrow\infty\right)$ avec $0<\alpha<1$ alors on a $u_{n}=O\left(n^{-\alpha}\right)$. Preuve du lemme On a comme $u_{n}$ décroit $u_{n}\leq\frac{1}{n}\sum_{k=1}^{n}u_{k}\sim n^{-\alpha}$ cqfd.
vu que $a_{n}$ est décroissante. En appliquant le lemme il vient $a_{n}=O\left(n^{-a}\right) $et on a donc$$w_{n}-w_{n-1}=O(n^{-1})$$Supposons alors que $w_{n}$ ne converge par vers $\ell$, en appliquant l'énigme 12 comme $\sum_{k=1}^{n}k^{-a}\rightarrow\infty$, on aurait aussi par Cesàro généralisé $\frac{1}{\sum_{k=1}^{n}k^{-a}}\sum_{k=1}^{n}k^{-a}w_{k}$ qui ne convergerait pas vers vers $\ell$. Or par hypothèse $n^{a-1}\sum_{k=1}^{n}a_{k}\rightarrow\frac{\ell}{1-a}$ contradiction.
Edit: la conclusion précédente ne marche pas avec 12 qui traite uniquement du Cesàro non généralisé (il faudrait voir du reste comment étendre ce théorème). Il est plus simple d'utiliser Toeplitz ici.
Pour le cas $0<a<1$ en notant • $w_{n}:=n^{a}a_{n}$ • $c(n,k)=(1-a)k^{-a}n^{a-1}$ on a • $c(n,k)\rightarrow0$ pour tout cas fixé • $\sum_{k=1}^{n}c(n,k)\sim1$ et donc est borné On peut donc appliquer Toepliz et comme par hypothèse $\sum_{k=1}^{n}w_{k}c(n,k)\rightarrow\ell$ on a $w_{n}$ qui converge vers $\ell$.
Edit 2: il faudrait montrer que $w_n$ converge pour conclure ainsi ce qui est tautologique!
@Georges Abitbol Titre : il se passe de belles choses dans ce fil.
Je n'ai pas pu m’empêcher de lire ta preuve ( je n'ai pas compris tout, mais ça avance)
. Le moins qu'on puisse dire pour ta formulation de l’énigme 7bis et ta preuve : bravo!. ta formulation et ta preuve vont restées gravées dans les mémoires .
As-tu passé par Ulm, ens ?
Merci pour ton intérêt pour ce fil, tu lui a donné une autre dimension.
Je vais partager les généralisations de l'énigme 7 en deux parties, une pour 3 suites ( facile pour gebrane et compagnies) et l'autre pour p suites)
Il faudrait que cette nouvelle énigme soit juste : soit $\left(u_{n}\right)$ une suite positive et $\left(x_{n}\right)$ une suite positive telle que $\sum_{k=1}^{n}x_{k}\rightarrow+\infty$. Supposons que $\frac{1}{\sum_{k=1}^{n}x_{k}}\sum_{k=1}^{n}x_{k}u_{k}\rightarrow\ell$. Soit $\left(y_{n}\right)$ une autre suite positive telle que $\sum_{k=1}^{n}y_{k}\rightarrow+\infty$. Peut-on dire que
Boécien La réciproque de la 26 est assez difficile si on a pas la bonne inspiration. Ici l'utilisation des limites sup et inf est fondamentale. On n'a pas besoin de démontrer la réciproque de l’énigme 12. Cette énigme vient d'une de mes discussions avec @Siméon. Pour te donner une inspiration regarde ce qu'a fait @raoul.S dans https://math.stackexchange.com/questions/3593028/with-asymptotic-formulas-for-partial-sum
On note $S_n = \sum_{k=1}^n u_k$. On suppose $S_n\sim \sqrt n$ et montrons que $ \sqrt{n} u_n\sim \frac12$. Soit $\epsilon>0$, notons $a_n = \lceil(1+\epsilon) n \rceil$ ( remarquons ( c'est très important) que $n<a_n$ car $n<(1+\epsilon)n$ et $a_n = \lceil(1+\epsilon) n \rceil$ entraine $(1+\epsilon) n\leq a_n$ ). Par décroissance de la suite $u$, on a $S_{a_n}-S_n= u_{n+1} + u_{n+2} + \cdots + u_{a_n} \leq (a_n-n) u_n \leq n\epsilon u_n$ donc $\epsilon u_n\geq \frac 1{n}(S_{a_n}-S_n)$, autrement dit $\sqrt n\epsilon u_n\geq \frac 1{\sqrt n}(S_{a_n}-S_n)=\sqrt{\frac{a_n}{ n}}\frac{S_{a_n}}{\sqrt{a_n}}-\frac{S_n}{\sqrt n}$. On passe à la limite inf ( Noter que $\frac{a_n}n\to 1+\epsilon$, $\frac{S_n}{\sqrt n}\to 1$ et $\frac{S_{a_n}}{\sqrt{a_n}}\to 1$)
Pour prouver que $\limsup \sqrt{n} u_n \leq \frac12.$
Soit $0<\epsilon<1$, notons $b_n = \lfloor(1-\epsilon) n \rfloor$ ( remarquons ( c'est très important) que $n>b_n$ car $n>(1-\epsilon)n$ et $b_n = \lfloor(1-\epsilon) n \rfloor$ entraine $(1-\epsilon) n\geq b_n$ ). Par décroissance de la suite $u$, on a $S_{n}-S_{b_n}= u_{b_n+1} + \cdots + u_n \geq (n-b_n) u_n \geq n\epsilon u_n$ , d'où $\displaystyle \frac{S_n}{\sqrt n}-\sqrt{\frac {b_n}n} \frac{S_{b_n}}{\sqrt{b_n}}\geq \sqrt n \epsilon u_n$. On passe à la limite Sup
$$1-\sqrt{1-\epsilon} \geq \epsilon \limsup \sqrt{n} u_n. $$ Divisons par $\epsilon$ et tendons $\epsilon \to 0$ $$\frac12 \geq \limsup \sqrt{n} u_n.$$
Bon j'ai essayé de rédiger la preuve de la 26. Attention aux coquilles !
Sens $\Longrightarrow$ En notant $v_{k}=k^{-\alpha}$ on a $0\leq \alpha<1\Rightarrow \sum_{k=1}^{n}v_{k}\sim\frac{n^{1-\alpha}}{1-\alpha}\rightarrow\infty$. On peut donc appliquer Cesàro généralisé à $u_{n}=n^{\alpha}a_{n}$ qui tend vers $\ell$ avec les poids $v_{k}$ ce qui donne $$\frac{1}{\sum_{k=1}^{n}v_{k}}\sum_{k=1}^{n}v_{k}u_{k}\rightarrow\ell\Longrightarrow
n^{\alpha}\frac{A(n)}{n}\rightarrow\frac{\ell}{1-\alpha}$$
L'autre sens plus compliqué
Soit $a_{n}$ décroissante positive, $0<\alpha<1$. Montrons que$$A(n)=\sum_{k=1}^{n}a_{k}\sim\frac{\ell}{1-\alpha}n^{1-\alpha}\Rightarrow n^{\alpha}a_{n}\rightarrow\ell$$Soit $u_{n}=\left\lfloor (1+\varepsilon)n\right\rfloor$ et $\varepsilon>0$ alors $u_{n}\leq(1+\varepsilon)n$ et $u_{n}\geq(1+\varepsilon)n-1$. Comme $a_{n}$ est décroissante on a$$a_{n+1}+a_{n+2}+...+a_{u_{n}}\leq a_{n}\left(u_{n}-n\right)\leq\varepsilon na_{n}$$ $\Rightarrow A(u_{n})-A(n)\leq a_{n}\left(u_{n}-n\right)\leq\varepsilon na_{n}$ $\Rightarrow\frac{A(u_{n})}{n^{1-\alpha}}-\frac{A(n)}{n^{1-\alpha}}\leq\varepsilon n^{\alpha}a_{n}$ $\Rightarrow\frac{u_{n}^{1-\alpha}}{n^{1-\alpha}}\frac{A(u_{n})}{u_{n}^{1-\alpha}}-\frac{A(n)}{n^{1-\alpha}}\leq\varepsilon n^{\alpha}a_{n}$$$\Rightarrow\liminf_{n\rightarrow\infty}n^{\alpha}a_{n}\geq\frac{\ell}{1-\alpha}\left(\frac{\left(1+\varepsilon\right)^{1-\alpha}-1}{\varepsilon}\right)\rightarrow_{\varepsilon\rightarrow0}\ell$$Dans l'autre sens $$a_{n+1}+a_{n+2}+...+a_{u_{n}}\geq a_{u_{n}}\left(u_{n}-n\right)\geq a_{u_{n}}\left((1+\varepsilon)n-1-n\right)$$$\Rightarrow A(u_{n})-A(n)\geq u_{n}a_{u_{n}}\left(\frac{\varepsilon n-1}{u_{n}}\right)$ $\Rightarrow\frac{A(u_{n})}{u_{n}^{1-\alpha}}-\frac{A(n)}{u_{n}^{1-\alpha}}\geq u_{n}^{\alpha}a_{u_{n}}\left(\frac{\varepsilon n-1}{u_{n}}\right)$ $\Rightarrow\frac{A(u_{n})}{u_{n}^{1-\alpha}}-\frac{n^{1-\alpha}}{u_{n}^{1-\alpha}}\frac{A(n)}{n^{1-\alpha}}\geq u_{n}^{\alpha}a_{u_{n}}\left(\frac{\varepsilon n-1}{u_{n}}\right)$ $\Rightarrow\limsup_{n\rightarrow\infty}u_{n}^{\alpha}a_{u_{n}}\frac{\varepsilon}{1+\varepsilon}\leq\frac{\ell}{1-\alpha}\left(1-\frac{1}{(1+\varepsilon)^{1-\alpha}}\right)$ Quand $\varepsilon\rightarrow0$ on a $\limsup_{n\rightarrow\infty}u_{n}^{\alpha}a_{u_{n}}\rightarrow\limsup_{n\rightarrow\infty}n^{\alpha}a_{n}$ et $\left(1+\varepsilon\right)\Bigg(\dfrac{1-\frac{1}{(1+\varepsilon)^{1-\alpha}}}{\varepsilon}\Bigg)\rightarrow1-\alpha$. On a donc montré$$\ell\leq\liminf_{n\rightarrow\infty}n^{\alpha}a_{n}\leq\limsup_{n\rightarrow\infty}n^{\alpha}a_{n}\leq\ell\Rightarrow\lim_{n\rightarrow\infty}n^{\alpha}a_{n}=\ell$$
Les choses les plus simples arrivant toujours à la fin je crois que j'ai trouvé une preuve plus élégante de la 26 sans recours aux liminf et limsup. J'ai un peu peur d'être ridicule si je me suis encore planté pour la poster. Elle est basée sur un lemme de Kloostermann que j'ai trouvé par hasard en cherchant une autre preuve de la 12 que celle de Calli. Mais tout ça c'est blanc bonnet et bonnet blanc, les epsilons se cachent dans les O.
Bon ok mais on ne se moque pas si une grosse boulette se trouve dans ce qui suit. A première vue c'est pas beaucoup plus simple mais je trouve ça plus élégant sans les liminf et limsup. Tout est basé sur lemme suivant assez facile à prouver et qu'il me semble utile de connaitre quand on trifouille des sommes.
Preuve alternative du sens le plus compliqué de la 26 (ne marche pas!)
Lemme de Kloosterman (1940) On a $$A(n+h)-A(n)=ha_{n}+\frac{h(h+1)}{2}v_{h,n}$$
où $v_{h,n}$ est un nombre compris entre le minimum et le maximum de l'ensemble $\left\{ a_{n}-a_{n-1},a_{n+1}-a_{n},...,a_{n+h}-a_{n+h-1}\right\}$ . Ainsi en prenant $h=\left\lfloor n^{\alpha}\right\rfloor$ on obtient$$A(n+\left\lfloor n^{\alpha}\right\rfloor )-A(n)=\left\lfloor n^{\alpha}\right\rfloor a_{n}+\frac{\left\lfloor n^{\alpha}\right\rfloor (\left\lfloor n^{\alpha}\right\rfloor +1)}{2}v_{\left\lfloor n^{\alpha}\right\rfloor ,n}$$ Il est facile de voir que $a_{n}\ll n^{-\alpha}$ (cf mon lemme quelques messages plus haut) d'où on tire, comme $0<\alpha<1$ et que $a$ est décroissante positive , $a_{n}-a_{n-1}\ll n^{-\alpha-1}\Rightarrow a_{n+i}-a_{n+i-1}\ll n^{-\alpha-1}\left(1+\frac{i}{n}\right)^{-\alpha-1}\ll n^{-\alpha-1}+in^{-\alpha-2}\ll n^{-\alpha-1}$ pour $i\leq\left\lfloor n^{\alpha}\right\rfloor$ donc $$A(n+\left\lfloor n^{\alpha}\right\rfloor )-A(n)=\left\lfloor n^{\alpha}\right\rfloor a_{n}+O\left(n^{\alpha-1}\right)$$ puis en faisant tendre $n$ vers l'infini on arrive à $$A(n+\left\lfloor n^{a}\right\rfloor )-A(n)-\left\lfloor n^{a}\right\rfloor a_{n}\rightarrow0$$ sachant que $A(n)\sim\frac{\ell}{1-\alpha}n^{1-\alpha}$ il vient ensuite$$\frac{\ell}{1-\alpha}\left((n+\left\lfloor n^{\alpha}\right\rfloor )^{1-\alpha}-n^{1-\alpha}\right)-\left\lfloor n^{\alpha}\right\rfloor a_{n}\rightarrow0$$ et finalement vu que $(n+\left\lfloor n^{\alpha}\right\rfloor )^{1-\alpha}-n^{1-\alpha}\rightarrow1-\alpha$ on conclue$$\ell-n^{\alpha}a_{n}\rightarrow0$$
sachant que $A(n)\sim\frac{\ell}{1-\alpha}n^{1-\alpha}$ il vient ensuite$$\frac{\ell}{1-\alpha}\left((n+\left\lfloor n^{\alpha}\right\rfloor )^{1-\alpha}-n^{1-\alpha}\right)-\left\lfloor n^{\alpha}\right\rfloor a_{n}\rightarrow0$$
Exemple si $u_n=n^2+n\sim n^2, v_n=n^2\sim n^2, w_n=n\sim n $ on a $u_n-v_n-w_n=0 \to 0$ mais $n^2-n^2-n\to -\infty$.
Ah oui, j'allais demander d'où vient le $a_n-a_{n-1}\ll n^{-\alpha-1}$. Je n'ai pas compris ce passage.
J'ai des doutes sur l'avant-dernier message de Boécien. A priori, on a juste $$\begin{eqnarray*} A(n+\left\lfloor n^{a}\right\rfloor )-A(n) &=& \frac\ell{1-\alpha}(n+\left\lfloor n^{a}\right\rfloor )^{1-\alpha}(1+o(1))- \frac\ell{1-\alpha}n^{1-\alpha}(1+o(1))\\ &=& \frac\ell{1-\alpha}\left((n+\left\lfloor n^{a}\right\rfloor )^{1-\alpha}- n^{1-\alpha}\right) +o(n^{1-\alpha}) \end{eqnarray*}$$ avec $n^{1-\alpha}\to\infty$ (donc trop grand, on voudrait un $o(1)$). Il faudrait mieux expliciter les petits $o$ pour être sûr que l'avant-dernier message de Boécien fonctionne. Car j'ai peur qu'on ait $\frac{A(n+\left\lfloor n^{a}\right\rfloor )}{A(n)}-1 = \frac{(n+\left\lfloor n^{a}\right\rfloor )^{1-\alpha}}{n^{1-\alpha}}-1 +o(\text{truc trop grand})$.
Je réponds à l'énigme n°32 (je reformule un peu l'énoncé) :
Soit $(a_{n} )\in \mathbb{R}^{\mathbb{N}}$ telle que la série entière $f:x\mapsto \sum\limits_{n=0}^\infty a_{n} x^{n}$ a un rayon de convergence au moins 1. On note $A_{n} = \sum\limits_{k=1}^n a_{k}$. Montrer que $$\liminf _{n\rightarrow \infty } \frac{1}{n+1} \sum_{k=0}^n A_{k} \leqslant \liminf _{x\rightarrow 1^{-}} f(x) \leqslant \limsup _{x\rightarrow 1^{-}} f(x) \leqslant \limsup _{n\rightarrow \infty } \frac{1}{n+1} \sum_{k=0}^n A_{k.}$$
L'énoncé d'origine supposait que la série $\sum a_{n}$ est convergente, mais ça m'a semblé être une erreur car c'est trop facile ainsi. En effet, dans ce cas $\liminf\limits _{n\rightarrow \infty } \frac{1}{n+1} \sum\limits_{k=0}^n A_{k} = \limsup\limits _{n\rightarrow \infty } \frac{1}{n+1} \sum\limits_{k=0}^n A_{k} =\sum\limits_{n=0}^\infty a_{n}$ par Cesàro, et parallèlement $f(x) \underset{x\rightarrow 1^{-}}{\longrightarrow} \sum\limits_{n=0}^\infty a_{n}$ d'après le théorème d'Abel. J'ai donc pris la liberté de retirer cette hypothèse.
Commençons par un lemme, généralisant le théorème de Silverman-Toeplitz.
Lemme : Soient $X$ un espace topologique et $x_{0} \in X$ (par exemple $X= \mathbb{N}\cup\{\infty\}$ et $x_{0} =\infty $). Soient $(u_{n} )\in \mathbb{R}^{\mathbb{N}}$ et $(c_{x,n} )\in \mathbb{R}^{X\times \mathbb{N}}$ tels que
@Calli C'est du haut vol. Bien vu pour l'énoncé. Pour ma preuve alternative de la 26 je sentais bien qu'il était trop tard pour faire des choses sérieuses On peut l'oublier. Cela dit le lemme de Kloosterman peut être utile et conduire quand même à une preuve alternative.
Réponses
$$\frac{2}{n(n+1)}\sum_{i_{1}+i_{2}+i_{3}=n}a_{i_{1}}b_{i_{2}}c_{i_{3}}\rightarrow abc$$
D'après Cesàro comme $M_{n+1}-M_{n}\rightarrow0$ il en va de même de $\frac{1}{n}\sum_{k=1}^{n}\left(M_{k+1}-M_{k}\right)=\frac{M_{n+1}-M_1}{n}$ et donc $\frac{a_{n+1}}{n}\rightarrow0$ ce qui permet de conclure.
Pour tout $k\geq1$ entier on a $f(k)=f\left(k-2\pi\left\lfloor \frac{k}{2\pi}\right\rfloor \right)=f\left(2\pi\left\{ \frac{k}{2\pi}\right\} \right)$, où $\left\{ .\right\}$ désigne la partie fractionnaire.
Comme $2\pi$ est irrationnel la suite $2\pi\left\{ \frac{k}{2\pi}\right\}$ est équidistribuée sur $\left[0,2\pi\right]$ et on a du fait que $f$ soit Riemann intégrable (car continue).
$$\frac{1}{n}\sum_{k=1}^{n}f(k)=\frac{1}{n}\sum_{k=1}^{n}f\left(2\pi\left\{ \frac{k}{2\pi}\right\} \right)\rightarrow\frac{1}{2\pi}\int_{0}^{2\pi}f(t)dt$$
Enfin, pour la 7 et ses généralisations, je propose le lemme : pour tous entiers $p,k$, le nombre de $p$-uplets d’entiers qui sont tous plus grands que $k$ et dont la somme fait $n$, divisé par le nombre de $p$-uplets d’entiers de somme $n$ est un $o(\frac{1}{n})$. Par conséquent, dans la plupart des termes de la somme du 7, tous les termes du produit sont assez loin dans les suites convergentes et donc valent presque leur limite.
Pour tout couple $(p,n)$ d'entiers naturels non nuls, on note $\Delta_p(n)$ l'ensemble des $p$-uplets d'entiers naturels non nuls dont la somme vaut $n$.
Soit $p$ un entier, et soit $(a_{m,n})_{m \in \{1,\cdots,p\}, n \in \mathbb{N}^*}$ une famille de réels et supposons que pour tout $m \in \{1,\cdots,p\}$, $(a_{m,n})_{n}$ est convergente.
Alors \[ \lim_{n\to \infty} \frac{1}{\vert \Delta_p(n) \vert} \sum_{(n_1,\cdots,n_p) \in \Delta_p(n)} \prod^p_{m=1} a_{m,n_m} = \prod^p_{m=1} \lim_{n\to \infty} a_{m,n}.\]
--------------------------------------------------------------------
Solution.
Notons, pour tout triplet $(p,k,n)$ d'entiers naturels non nuls, $\Delta^{> k}_p(n)$ le sous-ensemble de $\Delta_p(n)$ formé des $p$-uplets d'entiers tous strictement plus grands que $k$.
Notons, pour tout triplet $(p,j,n)$ d'entiers naturels non nuls, notons $\Delta^{j}_p(n)$ le sous-ensemble de $\Delta_p(n)$ formé des $p$-uplets d'entiers, dont le premier vaut $j$.
Lemme 1.
• $a_{n}$ positive décroissante
• $0\leq a<1$
• $\ell>0$
Il faut montrer $n^{a}a_{n}\rightarrow\ell\Longleftrightarrow n^{a}\frac{A(n)}{n}\rightarrow\frac{\ell}{1-a}$ où $A(n)=a_1+..+a_n$.
Sens $\Longrightarrow$
En notant $v_{k}=k^{-a}$ on a $0\leq a<1\Rightarrow \sum_{k=1}^{n}v_{k}\sim\frac{n^{1-a}}{1-a}\rightarrow\infty$.
On peut donc appliquer Cesàro généralisé à $u_{n}=n^{a}a_{n}$ qui tend vers $\ell$ avec les poids $v_{k}$ ce qui donne
$$\frac{1}{\sum_{k=1}^{n}v_{k}}\sum_{k=1}^{n}v_{k}u_{k}\rightarrow\ell\Longrightarrow n^{a}\frac{A(n)}{n}\rightarrow\frac{\ell}{1-a}$$Sens $\Longleftarrow$
Comme $a_{n}$ est décroissante et positive on a $a_{n}\rightarrow\ell'\geq0$.
Si $a=0$ on a $\ell'=\ell$ et il faut montrer
$$\frac{A(n)}{n}\rightarrow\ell\Rightarrow a_{n}\rightarrow\ell$$
On va donc supposer maintenant que $a>0$.
Si $\ell'>0$ cela donne $A(n)\sim\ell'n\Longrightarrow n^{a}\frac{A(n)}{n}\sim\ell'n^{a}$ qui ne peut pas converger si $a>0$.
On a donc nécessairement $a_{n}\rightarrow0$.
Lemme
Si $u_{n}>0$ décroit vers zéro et que $\sum_{k=1}^{n}u_{k}\sim n^{1-\alpha}\ \left(n\rightarrow\infty\right)$ avec $0<\alpha<1$ alors on a $u_{n}=O\left(n^{-\alpha}\right)$.
Preuve du lemme
On a comme $u_{n}$ décroit $u_{n}\leq\frac{1}{n}\sum_{k=1}^{n}u_{k}\sim n^{-\alpha}$ cqfd.
• $w_{n}:=n^{a}a_{n}$
• $c(n,k)=(1-a)k^{-a}n^{a-1}$
on a
• $c(n,k)\rightarrow0$ pour tout cas fixé
• $\sum_{k=1}^{n}c(n,k)\sim1$ et donc est borné
On peut donc appliquer Toepliz et comme par hypothèse $\sum_{k=1}^{n}w_{k}c(n,k)\rightarrow\ell$ on a $w_{n}$ qui converge vers $\ell$.
$S_{a_n}-S_n= u_{n+1} + u_{n+2} + \cdots + u_{a_n} \leq (a_n-n) u_n \leq n\epsilon u_n$ donc $\epsilon u_n\geq \frac 1{n}(S_{a_n}-S_n)$, autrement dit $\sqrt n\epsilon u_n\geq \frac 1{\sqrt n}(S_{a_n}-S_n)=\sqrt{\frac{a_n}{ n}}\frac{S_{a_n}}{\sqrt{a_n}}-\frac{S_n}{\sqrt n}$. On passe à la limite inf ( Noter que $\frac{a_n}n\to 1+\epsilon$, $\frac{S_n}{\sqrt n}\to 1$ et $\frac{S_{a_n}}{\sqrt{a_n}}\to 1$)
$$\sqrt{1+\epsilon} - 1 \leq \epsilon \liminf \sqrt{n} u_n.
$$
Divisons par $\epsilon$ et tendons $\epsilon \to 0$
$$\frac12 \leq \liminf \sqrt{n} u_n.$$
Par décroissance de la suite $u$, on a
$S_{n}-S_{b_n}= u_{b_n+1} + \cdots + u_n \geq (n-b_n) u_n \geq n\epsilon u_n$ , d'où $\displaystyle \frac{S_n}{\sqrt n}-\sqrt{\frac {b_n}n} \frac{S_{b_n}}{\sqrt{b_n}}\geq \sqrt n \epsilon u_n$. On passe à la limite Sup
$$1-\sqrt{1-\epsilon} \geq \epsilon \limsup \sqrt{n} u_n.
$$ Divisons par $\epsilon$ et tendons $\epsilon \to 0$
$$\frac12 \geq \limsup \sqrt{n} u_n.$$
En notant $v_{k}=k^{-\alpha}$ on a $0\leq \alpha<1\Rightarrow \sum_{k=1}^{n}v_{k}\sim\frac{n^{1-\alpha}}{1-\alpha}\rightarrow\infty$.
On peut donc appliquer Cesàro généralisé à $u_{n}=n^{\alpha}a_{n}$ qui tend vers $\ell$ avec les poids $v_{k}$ ce qui donne
$$\frac{1}{\sum_{k=1}^{n}v_{k}}\sum_{k=1}^{n}v_{k}u_{k}\rightarrow\ell\Longrightarrow n^{\alpha}\frac{A(n)}{n}\rightarrow\frac{\ell}{1-\alpha}$$
$\Rightarrow\frac{A(u_{n})}{n^{1-\alpha}}-\frac{A(n)}{n^{1-\alpha}}\leq\varepsilon n^{\alpha}a_{n}$
$\Rightarrow\frac{u_{n}^{1-\alpha}}{n^{1-\alpha}}\frac{A(u_{n})}{u_{n}^{1-\alpha}}-\frac{A(n)}{n^{1-\alpha}}\leq\varepsilon n^{\alpha}a_{n}$$$\Rightarrow\liminf_{n\rightarrow\infty}n^{\alpha}a_{n}\geq\frac{\ell}{1-\alpha}\left(\frac{\left(1+\varepsilon\right)^{1-\alpha}-1}{\varepsilon}\right)\rightarrow_{\varepsilon\rightarrow0}\ell$$Dans l'autre sens $$a_{n+1}+a_{n+2}+...+a_{u_{n}}\geq a_{u_{n}}\left(u_{n}-n\right)\geq a_{u_{n}}\left((1+\varepsilon)n-1-n\right)$$$\Rightarrow A(u_{n})-A(n)\geq u_{n}a_{u_{n}}\left(\frac{\varepsilon n-1}{u_{n}}\right)$
$\Rightarrow\frac{A(u_{n})}{u_{n}^{1-\alpha}}-\frac{A(n)}{u_{n}^{1-\alpha}}\geq u_{n}^{\alpha}a_{u_{n}}\left(\frac{\varepsilon n-1}{u_{n}}\right)$
$\Rightarrow\frac{A(u_{n})}{u_{n}^{1-\alpha}}-\frac{n^{1-\alpha}}{u_{n}^{1-\alpha}}\frac{A(n)}{n^{1-\alpha}}\geq u_{n}^{\alpha}a_{u_{n}}\left(\frac{\varepsilon n-1}{u_{n}}\right)$
$\Rightarrow\limsup_{n\rightarrow\infty}u_{n}^{\alpha}a_{u_{n}}\frac{\varepsilon}{1+\varepsilon}\leq\frac{\ell}{1-\alpha}\left(1-\frac{1}{(1+\varepsilon)^{1-\alpha}}\right)$
Quand $\varepsilon\rightarrow0$ on a $\limsup_{n\rightarrow\infty}u_{n}^{\alpha}a_{u_{n}}\rightarrow\limsup_{n\rightarrow\infty}n^{\alpha}a_{n}$ et $\left(1+\varepsilon\right)\Bigg(\dfrac{1-\frac{1}{(1+\varepsilon)^{1-\alpha}}}{\varepsilon}\Bigg)\rightarrow1-\alpha$. On a donc montré$$\ell\leq\liminf_{n\rightarrow\infty}n^{\alpha}a_{n}\leq\limsup_{n\rightarrow\infty}n^{\alpha}a_{n}\leq\ell\Rightarrow\lim_{n\rightarrow\infty}n^{\alpha}a_{n}=\ell$$
Ainsi en prenant $h=\left\lfloor n^{\alpha}\right\rfloor$ on obtient$$A(n+\left\lfloor n^{\alpha}\right\rfloor )-A(n)=\left\lfloor n^{\alpha}\right\rfloor a_{n}+\frac{\left\lfloor n^{\alpha}\right\rfloor (\left\lfloor n^{\alpha}\right\rfloor +1)}{2}v_{\left\lfloor n^{\alpha}\right\rfloor ,n}$$ Il est facile de voir que $a_{n}\ll n^{-\alpha}$ (cf mon lemme quelques messages plus haut) d'où on tire, comme $0<\alpha<1$ et que $a$ est décroissante positive , $a_{n}-a_{n-1}\ll n^{-\alpha-1}\Rightarrow a_{n+i}-a_{n+i-1}\ll n^{-\alpha-1}\left(1+\frac{i}{n}\right)^{-\alpha-1}\ll n^{-\alpha-1}+in^{-\alpha-2}\ll n^{-\alpha-1}$ pour $i\leq\left\lfloor n^{\alpha}\right\rfloor$ donc $$A(n+\left\lfloor n^{\alpha}\right\rfloor )-A(n)=\left\lfloor n^{\alpha}\right\rfloor a_{n}+O\left(n^{\alpha-1}\right)$$ puis en faisant tendre $n$ vers l'infini on arrive à
$$A(n+\left\lfloor n^{a}\right\rfloor )-A(n)-\left\lfloor n^{a}\right\rfloor a_{n}\rightarrow0$$
sachant que $A(n)\sim\frac{\ell}{1-\alpha}n^{1-\alpha}$ il vient ensuite$$\frac{\ell}{1-\alpha}\left((n+\left\lfloor n^{\alpha}\right\rfloor )^{1-\alpha}-n^{1-\alpha}\right)-\left\lfloor n^{\alpha}\right\rfloor a_{n}\rightarrow0$$ et finalement vu que $(n+\left\lfloor n^{\alpha}\right\rfloor )^{1-\alpha}-n^{1-\alpha}\rightarrow1-\alpha$ on conclue$$\ell-n^{\alpha}a_{n}\rightarrow0$$
$\sim\frac{\ell}{1-\alpha}n^{1-\alpha}\left(\left(1+\frac{\left\lfloor n^{\alpha}\right\rfloor }{n}\right)^{1-\alpha}-1\right)$
$\sim\frac{\ell}{1-\alpha}n^{1-\alpha}\left(\left(1+n^{\alpha-1}\right)^{1-\alpha}-1\right)$ $$\sim\frac{\ell}{1-\alpha}n^{1-\alpha}\left(1+(1-\alpha)n^{\alpha-1}-1\right)=\ell$$
J'ai des doutes sur l'avant-dernier message de Boécien. A priori, on a juste $$\begin{eqnarray*}
A(n+\left\lfloor n^{a}\right\rfloor )-A(n) &=& \frac\ell{1-\alpha}(n+\left\lfloor n^{a}\right\rfloor )^{1-\alpha}(1+o(1))- \frac\ell{1-\alpha}n^{1-\alpha}(1+o(1))\\
&=& \frac\ell{1-\alpha}\left((n+\left\lfloor n^{a}\right\rfloor )^{1-\alpha}- n^{1-\alpha}\right) +o(n^{1-\alpha})
\end{eqnarray*}$$ avec $n^{1-\alpha}\to\infty$ (donc trop grand, on voudrait un $o(1)$). Il faudrait mieux expliciter les petits $o$ pour être sûr que l'avant-dernier message de Boécien fonctionne. Car j'ai peur qu'on ait $\frac{A(n+\left\lfloor n^{a}\right\rfloor )}{A(n)}-1 = \frac{(n+\left\lfloor n^{a}\right\rfloor )^{1-\alpha}}{n^{1-\alpha}}-1 +o(\text{truc trop grand})$.
Commençons par un lemme, généralisant le théorème de Silverman-Toeplitz.
- $u_{n} \underset{n\rightarrow \infty }{\longrightarrow} \ell $
- $\forall n\in \mathbb{N}, \; c_{x,n} \underset{x\to x_0}{\longrightarrow} 0$
- $\exists M>0, \forall x\in X,\; \sum\limits_{n=0}^\infty |c_{x,n} | \leqslant M$
- $\sum\limits_{n=0}^\infty c_{x,n} \underset{x\to x_0}{\longrightarrow} 1$.
Alors$\sum\limits_{n=0}^\infty c_{x,n} u_n \underset{x\to x_0}{\longrightarrow} \ell $. (NB: J'utilise ici des limites épointées.)