PDF d'une somme de variables dépendantes

8

Il s'agit d'une continuation directe de ma récente question . La chose que je veux vraiment obtenir est la distribution dea+d+(ad)2+4bc, où a,b,c,d sont uniformes [0,1]. Maintenant, la distribution de(ad)2+4bca été calculé avec succès dans le thread mentionné , et appelons-leh(x). La distribution de(ad)2+4bc est simplement h(x2)2x. La dernière étape serait de calculer la distribution de la somme desX=a+d et Y=(ad)2+4bcd'une manière similaire à la précédente , maisX et Y ne sont pas indépendants, et maintenant je suis coincé et je ne sais même pas par où commencer.

Il peut être utile de noter que (ad)2+4bc=(a+d)24(adbc) et dans ce dernier les composants sous la racine (c'est-à-dire, X2=(a+d)2 et W=4(adbc)) sont faciles à calculer. Ensuite, je suis intéressé par la distribution deX+X2+W, connaissant les distributions de X et X2+W.

Je ne vois aucun changement utile de variables. J'ai pensé à utiliser la probabilité conditionnelle, mais comment trouverf(X2+W|X)? Je suis peut-être trop en avance et je dois peut-être reculer de quelques pas.

Est-il même possible de calculer quelque chose comme ça?

La distribution résultante devrait ressembler à ceci: entrez la description de l'image ici

EDIT: La réponse acceptée donne la solution que je cherchais, cependant, je suis toujours curieux de savoir comment la dériver analytiquement. Je veux dire, dans ma question précédente, le CDF a été donné comme une intégrale:

04F(δy)g(y)dy

avec F et gdonné par des fonctions simples. Théoriquement, cela pourrait être intégré à l'aide d'un stylo et de papier. Bien sûr, utiliser un logiciel est naturel. Cependant, je suis toujours curieux de savoir comment donner une réponse sous forme fermée ici. la réponse des loups sonne une cloche, mais ... Une convolution de trois pdfs d'une fonction (relativement) compliquée?

corey979
la source

Réponses:

7

Retrouvez le pdf de: A+D+(AD)2+4BC,A,B,C,D sont iid Uniform(0,1)

Laisser U=4BC, où U a pdf: g(u)=14log(4u)for 0<u<4.

Cela réduit le problème de 4 à 3 variables aléatoires indépendantes. Ensuite, par indépendance, le pdf commun de(A,D,U) est f(a,d,u):

entrez la description de l'image ici

Laisser Z=A+D+(AD)2+4BC. Le cdf deZ est P(Z<z):

entrez la description de l'image ici

entrez la description de l'image ici

où j'utilise la Probfonction du package mathStatica pour Mathematica pour automatiser les nitty-gritties.

Le pdf de Z est simplement la dérivée de ce dernier wrt z, ce qui donne la solution:

entrez la description de l'image ici

Terminé.

Voici un tracé du pdf théorique exact de Z:

entrez la description de l'image ici

Chèque Monte Carlo

Le diagramme suivant compare une approximation empirique de Monte Carlo du pdf (bleu ondulé) au pdf théorique dérivé ci-dessus (en pointillés rouges). Semble bien.

entrez la description de l'image ici

Wolfies
la source
1
Soigné! Bien que je n'aie pas mathStatica, j'ai réussi à le faire directement dans Mathematica. Cela répond assez complètement à ma question, mais je suis toujours curieux de savoir comment le faire sans ordinateur, d'une manière similaire à ma question précédente. Là, whuber a donné l'intégrale de manière explicite et théorique qui pourrait être calculée en utilisant un stylo et du papier. Bien sûr, l'utilisation d'un logiciel est naturelle, mais comment dois-je procéder dans le cas actuel?
corey979
2
Abramowitz et Stegun? ;)
wolfies
1
Eh bien, vous connaissez les intégrales qui doivent être évaluées, il ne s'agit donc que de les évaluer. Avant, nous avions des systèmes d'algèbre informatique, face à des tâches d'intégration désagréables et délicates hors de l'ordinaire, on se dirigeait généralement vers des tableaux d'intégrales tels qu'Abramowitz et Stegun.
wolfies
3

Juste après avoir lu la réponse des loups, j'ai compris que je pouvais calculer la distribution finale dès le début sans toutes les étapes intermédiaires:

M[x_] := M[x] = Evaluate@FullSimplify@ Integrate[ Boole[a + d + Sqrt[(a - d)^2 + 4 b c] <= x], {a, 0, 1}, {b, 0, 1}, {c, 0, 1}, {d, 0, 1}] donne le CDF et

m[x_] := m[x] = Evaluate@FullSimplify@D[M[x], x] donne le PDF qui fonctionne parfaitement avec ma simulation:

entrez la description de l'image ici

Cela utilise directement l'approche d'une réponse à ma question précédente.

corey979
la source
Oui - cela fonctionne bien ici. Mais il est intéressant de noter que cela ne semble PAS fonctionner pour votre problème d'origine (plus simple). Autrement dit, Integrate[ Boole[(a-d)^2 + 4 b c < x], {a,0,1}, {b,0,1}, {c,0,1}, {d,0,1}]renvoie une intégrale non évaluée.
wolfies