Intégrale multiple
dans Analyse
Bonjour
Peut-on définir et si oui calculer pour $n$ entier non nul l'intégrale $$
\int_{[0,1]^n}^{} \ln \Big|\frac{1}{n} \sum_{i=1}^{n} x_i -\frac{1}{2}\Big| dx_1 \cdots dx_n \quad ?$$
Peut-on définir et si oui calculer pour $n$ entier non nul l'intégrale $$
\int_{[0,1]^n}^{} \ln \Big|\frac{1}{n} \sum_{i=1}^{n} x_i -\frac{1}{2}\Big| dx_1 \cdots dx_n \quad ?$$
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Que trouves-tu pour $n=1$ ?
La coupure en plein milieu, je sais que ce n'est pas bien mais ça semble se gérer pour $n=1$, $n=2$ donc peut-être après...
On peut trouver une série généralisée.
On sort le $1/2$, puis on enlève la valeur absolue, puis on développe en série puis formule de Newton généralisée, puis inversion justifiée somme intégrale puis intégration.
I_n=-\frac{n^n}{n! 2^{n-1}} \sum_{k=1}^{n} \frac{1}{k} -\ln 2.
$$ Ce n'est pas le comportement asymptotique que j'espérais...
J'aimerais bien vérifier numériquement avec l'expression d'origine mais je ne sais pas trop comment m'y prendre.
Je reprendrai le calcul plus tard.
On a $\ln|{A \over n} -\frac12| = \ln(\frac12 |1-{2A \over n} | = -\ln 2 - \ln|1-{2A \over n} |$ avec $A = \sum_{k=1}^n x_k.$
il faut ensuite éliminer la valeur absolue et donc scinder en deux le domaine...
Ce qui m'intéresse vraiment, c'est le comportement asymptotique pour $n\to \infty$.
Cette dernière expression me semble délicate à manier.
I_n=-\ln 2 -\sum_{k=1}^{\infty} \frac{2^{k+1}}{k n^k} \int_{\sum\limits_{i=1}^{n} x_i <\frac n2}^{} \Big(\sum_{i=1}^{n} x_i\Big)^k dx_1 \ldots dx_n .
$$ Je n'ai pas une intégrale multiple sympathique dans le symbole somme.
Comment as-tu fait ton calcul ?
As-tu correctement scindé en deux le domaine d'intégration : une partie pour l'argument de la valeur absolue positive et l'autre partie pour négative ?
J'ai fait une erreur de calcul.
Mais si tu rajoutes l'autre partie, c'est mon idée de calcul. On a aussi la symétrie $x \leadsto 1-x$ du domaine d'intégration à exploiter (si ça apporte une simplification).
Autre idée : as-tu essayé un changement de variables ?
$\displaystyle u=x,\ v=x+y,\ w=x+y+z$ et $\displaystyle \iiint \ln|(x+y+z)/3-1/2| dxdydz = \int_0^1 du \int_{u}^2 dv \int_{u+v}^3 dw \ln|w/3-1/2|$ et l'intégrale se calcule bien même si c'est très pénible à cause des signes.
Mais après, je coince, j'ai essayé divers changement de variables (dont celui que tu proposes) mais c'est très vite très très moche (des bornes avec des min à gérer).
Je pense qu'il y a de la symétrie que je n'exploite pas comme il faut et qui permet de faire le calcul de manière élégante.
C'est indémerdable de cette façon. La restriction du domaine d'intégration à $\displaystyle \sum_{k=1}^n x_k <n/2$ rend l'intégration impossible. Tu as dit que tu cherches un comportement asymptotique.
Essaie une autre idée : $\displaystyle I_n(a) = \int_{[0,1]^n} dx_1\cdots dx_n \ln\Big|\frac1n \sum_{k=1}^n x_k +a\Big|$,
dérive par rapport à $a$ (la valeur absolue saute), puis série, puis binôme généralisé. Puis intégration terme à terme par rapport à $a.$
Il faudra ensuite trouver $I_n(-1)$ qui a le bon goût de faire sauter la valeur absolue.
Cette idée, si elle aboutit, contourne le problème de la valeur absolue.
Dans le temps passé, vous aimiez ce genre d’intégrales
Est-ce qu'il y a un raisonnement de probabilistes de ce problème ?
Où alors une simulation numérique pour le comportement asymptotique ?
Un calcul physicien (donc faux) donne $\displaystyle I_n = -\ln 2 - {1 \over 24} {1 \over n^2} + o(1/n^2)$...
$$ \log | \sqrt{12 n} \Delta_n| \rightsquigarrow \log |U|$$
mais pour passer en espérance, ça coince, non ?
Évidemment $x\mapsto f(x)=\log|x|$ n'est ni continue ni nulle à l'infini, mais ça donne une idée.
Mais ça n'a pas l'air de s'arranger sans ...