Équivalent d’une suite casse-tête
Réponses
-
Je me dis que comme il y an^2 termes dans la somme et une puissance $1/2n$, il suffit de regarder la taille maximale d'un terme de la somme.
-
D'ailleurs il me semble trouver un équivalent en $n$.
-
Bonsoir,
Ayant défini $\forall n \in \N^*, \forall i,j \in [\![1;n]\!], \quad F_n(i,j) = \binom n i\binom n j i^{n-j}j^{n-i} , \quad A_n= \sup\Big\{ F_n(i,j) \mid i,j \in [\![1;n]\!]\Big\},\:\: $ il ne m'a pas échappé qu'il "suffisait" de déterminer un équivalent de $A_n ^{1/2n}$, une tâche qui ne m' a pas paru être une sinécure.
Je pense néanmoins avoir méticuleusement établi , au prix de calculs particulièrement pénibles dont je m'abstiens de donner les détails, chacun des points suivants, qui conduisent à l'équivalent proposé par Etanche.: $\:\:X_n^{1/2n} \underset{n\to +\infty}\sim A_n^{1/2n} \underset{n\to +\infty}\sim \dfrac n {\mathrm e \log n}.$
$\bullet$ En étudiant sur $[1;n]^2$ la fonction $(x,y) \mapsto (n-y) \log x + (n-x) \log y,\:$ on montre d'abord que pour $n$ assez grand $(n>60$ convient) que le maximum de $ i^{n-j}j^{n-i} $ est atteint lorsque $i=j =x_n$ où $x_n (1+\log x_n) = n\:\:$.
Il vient; $\:x_n \underset{n\to +\infty}\sim \dfrac n{\log n}\:$ et avec l'équivalent de Stirling, on parvient à: $\:\: F_n(x_n,x_n) ^{1/2n}\underset{n\to +\infty}\sim \dfrac n{\mathrm e \log n}.$
Ainsi , il reste à prouver que tous les $F_n(i,j)$ sont dominés par $\dfrac n{\mathrm e \log n}.$
$\bullet$ Si $i \geqslant \dfrac n{\log\log n},\:$ j'ai considéré $\: f_a: x \mapsto (n-a) \log x + (n-x) \log a ,\quad M_a = \sup_{[1;n]} f_a.\:\:$
Alors l'examen du maximum de $f_a(M_a)$ pour $a \geqslant \dfrac n{\log\log n}$ m'a conduit à une majoration de$\left(i^{n-j}j^{n-i}\right) ^{1/2n}$ par un $\:\:o\left (\dfrac n{\mathrm e \log n} \right).$
D'autre part :$\:\:\:\exists K>0,\:\:\forall n \in \N^*, \forall i,j \in [\![1;n]\!],\:\:\:\left(\binom n i \binom n j\right) ^{1/2n} \leqslant \binom n{n/2} ^{1/n}\leqslant K.$
$\bullet$ Si $\:\:i,j < \dfrac n{\log\log n},\:\:$ alors $\left(i^{n-j} j^{n-i}\right) ^{1/2n}\leqslant \left(x_n^{n-x_n}\right) ^{1/n}\underset{n\to +\infty}\sim \dfrac n{\mathrm e \log n}\:\:$ et $\:\:\:\left(\binom n i \binom n j \right) ^{1/2n} $ est majoré par $ \binom n{ n/\log\log n} ^{1/n} $ qui tend vers $1$ quand $n$ tend vers $+\infty.$ -
J'avais en effet fait une erreur.
-
supp
-
@ Side
"La première étape" hélas ne suffit pas: (je me serais d'ailleurs bien passé des deux suivantes.)
Elle dit que $i^{n-j}j^{n-i} \leqslant \left(x_n^{n-x_n}\right) ^2, \qquad F_n(x_n,x_n)^{1/2n}\underset{n\to +\infty} \sim\dfrac n{\mathrm e \log n},\:\:\:$ mais ne dit pas que $F_n(i,j) \leqslant F_n(x_n,x_n).$
L'encadrement dont a besoin est $A_n\leqslant X_n\leqslant n^2A_n.$ -
supp
-
supp
-
C’est un merveilleux exercice pour un oral ENS ULM ou POLYTECHNIQUE année $ N \geq 2021$
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 4
4 Invités