Inégalité (série numérique)
Réponses
-
Oui. Il suffit de justifier que pour tout $a \geq 1$ et tout $x, y > 0$, on a $(x+y)^a \geq x^a + y^a$, ce qui est évident car $$(x+y)^a = (x+y)(x+y)^{a-1} = x(x+y)^{a-1} + y(x+y)^{a-1} \geq x^a + y^a.$$
-
Le cas $0 < p \leqslant 2$ me semble plus intéressant.
-
Merci infiniment à tous
-
Pour éviter les malentendus après relecture de mon message, je voulais dire la chose suivante :
A-t-on une inégalité similaire dans le cas $0 < p \leqslant 2$ ? Si non, quelle(s) hypothèse(s) ajouter à la suite $(s_n)$ pour obtenir un tel résultat ?
Je n'ai pas cherché, mais une réponse pourrait être donnée via l'inégalité de Hölder ou, mieux, l'inégalité de l'entropie. -
C'est juste la comparaison de $\|s\|_p$ avec $\|s\|_2$.
On sait que si la suite $s$ n'est pas nulle, il suffit de considérer la suite $t=\frac{s}{\|s\|_2}$ qui a le bon goût d'avoir des termes qui sont tous plus petits que $1$ en valeur absolue. -
C'est plutot simple. Si $\alpha =p/2\geq 1$ et $u_n=s_n^2$ alors
$$\sum u_n^{\alpha}\leq (\sum u_n)^{\alpha},\ \ (*)$$ dixit Poirot. Et pour repondre a noix de totos, l'inverse de (*) se produit : si $0<\beta<1$ et $v_n>0$ alors $$\sum v_n^{\beta}\geq (\sum v_n)^{\beta}$$ qui se voit en appliquant (*) a $\alpha=1/\beta$ et $u_n=v_n^{\beta}.$ -
Merci P.
Je connais bien cette inégalité, aussi je précise la question : déterminer une constante $C_p$ de sorte que
$$\sum_{n=1}^\infty s_n^p \leqslant C_p \left( \sum_{n=1}^\infty s_n^2 \right)^{p/2}$$
avec $0 < p < 2$ (on pourra au besoin ajouter des hypothèses sur la série de terme général $s_n^2$).
Je précise aussi qu'il y a certainement plusieurs réponses possibles, et que j'en ai au moins une. -
Si $s_n=1$ pour $n\leq N$ on ne va par trouver de $C_p$ tel que $N\leq C_pN^{p/2}$ pour tout $N?$
-
C'est exact : il faut évidemment assurer la convergence de la série de terme général $s_n^2$.
De plus, dans ce que j'ai trouvé, il faut une condition supplémentaire concernant les restes $\sum_{k > n} s_k^2$. -
La série de terme général $s_n=1$ si $n \leq N$ et $s_n=0$ si $n > N$ converge bien. Qu'attends-tu comme condition sur le reste ?
-
Par exemple l'existence d'un réel $\lambda > 0$ tel que, pour tout $n$, $\sum_{k > n} s_k^2 \leqslant \lambda s_n^2$.
Bref, l'inégalité de l'entropie (enfin, c'est comme ça que je l'appelle, il y a peut-être d'autres noms, mais je ne les connais pas), comme je l'ai dit plus haut. Mais il y a peut-être d'autres méthodes (peut-être voir du côté de Polya-Szegö). -
Je termine.
L'inégalité de l'entropie, utilisée avec la série de terme général $s_n^2$ supposée convergente, telle que $s_n \geqslant 0$ et telle qu'il existe $\lambda > 0$ tel que, pour tout $n \in \mathbb{N}$, on ait $\sum_{k > n} s_k^2 \leqslant \lambda s_n^2$, implique que, pour tout $0 < p \leqslant 2$
$$\sum_{n=0}^\infty s_n^p \leqslant \left( (\lambda+1)^{p/2} - \lambda^{p/2} \right)^{-1} \left( \sum_{n=0}^\infty s_n^2 \right)^{p/2}.$$
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres