Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#201 Re : Entraide (supérieur) » Probabilité : loi d'un vecteur » 08-05-2017 11:19:16

Bonjour,
Je ne sais pas si le terme "vecteur" est le plus adapté pour décrire $X_t$.
Dans un premier temps, je pense que le plus simple c'est de voir $X_t$ comme un élément de l'ensemble des états possibles $\{0,1\}^N$ dont le cardinal est $2^N$ et donc la loi de $X_t$ est $P(X_t=e)$ avec $e \in \{0,1\}^N$ (un peu comme on calculerais $P(Jet_t = Face)$ pour un jet d'une pièce).
On te demande donc de montrer que
$P(X_{n+1}=e \ |\ X_0=e_0, \cdots,X_{n-1}=e_{n-1}, X_n=f) = P(X_{n+1}=e \ |\ X_n=f)$ pour tout $e_0, \cdots,e_{n-1},e,f \in \{0,1\}^N$.

Je pense qu'il faut que tu utilises le critère fondamental $X_{n+1}=f(X_n,Y_{n+1})$ où $Y_n \in \{1,\cdots,N\}$ indique la particule qu'on échange à l'instant $n$ (on aurait : $X_{n+1}(i) = X_n(i)  \veebar 1_{\{Y_{n+1}=i\}}$ ou $\veebar$ indique le "ou" exclusif).

#202 Re : Entraide (supérieur) » groupe » 05-05-2017 13:29:57

Le cheminement est : supposons $f$ isomorphisme. $(1,1) \in Z/4Z \times Z/2Z$ est d'ordre 4, donc $f((1,1)) \in (Z/2Z)^3$ est d'ordre 4 (conservation de l'ordre par un isomorphisme) , contradiction car l'ordre maximal des éléments de $(Z/2Z)^3$ est 2.

#204 Re : Entraide (supérieur) » groupe » 04-05-2017 20:36:05

Bonsoir,
Moi, je n'ai pas compris le début du 1). D'où vient ce "alors $X=...$" pour un $X \in H$ (j'ai corrigé, tu as écris : soit $X\in G$).
D'autre part, tu écris que les matrices de $SL_2(\mathbb{R})$ sont triangulaires, pour moi, ce sont des matrices de déterminant $1$ non ?

Pour le 2), pareil que Roro. Les isomorphismes conservent l'ordre des éléments. Il faut montrer que ce n'est pas possible.

#205 Re : Entraide (supérieur) » Simplification d'une fonction à plusieurs variables » 01-05-2017 18:05:05

Bonjour,
Non, l'écriture $\dfrac{x^2+y^2}{\sqrt{x^2+y^2}}$ n'a pas de sens quand $(x,y)=(0,0)$.

#206 Re : Entraide (supérieur) » systèmes linéaires d'équations » 28-04-2017 17:04:55

La dernière équation est de la forme $\alpha z + \beta = 0$. Il est alors facile de discuter de ses solutions en fonction des valeurs de $\alpha$...

#207 Re : Entraide (supérieur) » systèmes linéaires d'équations » 28-04-2017 14:52:09

Bonjour,
Tu multiplies la deuxième équation par (c-a) et la troisième par (b-a) et tu fais la différence.
tu pourras ainsi éliminer y.

#208 Re : Entraide (supérieur) » serie numerique » 28-04-2017 09:39:18

Bonjour,
au contraire, ça change tout !
Si tu considères $S_n = \sum_{k=0}^n u_k$ avec $u_k \ge 0$, alors $S_n$ est croissante (on ajoute à chaque fois un terme positif).
Si $S_n$ est de plus bornée, alors elle converge.
Et si $S_n$ converge, alors $u_n$ converge vers $0$.

#209 Re : Entraide (supérieur) » Primitive » 19-04-2017 09:05:14

Merci Fred,
Je vais lire ça avec intérêt.

#210 Re : Entraide (supérieur) » Primitive » 18-04-2017 08:28:11

Bonjour Fred,
Question collatérale : Sais-tu s'il existe un moyen de montrer ce fait, a savoir, pour $f, f_1, \cdots, f_n \in C^\infty(\mathbb{R})$ (les $f_i$ étant les fonctions "usuelles"), $\forall P \in \mathbb{R}[X_1, \cdots, X_n], f \neq P(f_1, \cdots, f_n)$ où $f$ est une fonction donnée ($\displaystyle f(x)=\int_1^x \dfrac{e^t}{t}dt $ dans le cas présent) ?

#211 Re : Entraide (supérieur) » serie numerique » 15-04-2017 10:35:39

Bonjour,
Pour le critère d'Abel, c'est $A_n = \sum_{i=1}^n a_i$ qui doit être bornée et non $a_n$.
Sinon, on aurait pu appliquer ta méthode directement à $\dfrac{\sin(\cos(n))}{n}$, voire l'appliquer à $u_n=\dfrac{1}{n}$ !

#212 Re : Entraide (supérieur) » integrale à paramètre » 14-04-2017 11:44:59

Bonjour,
Attention, c'est plutôt $\displaystyle f(x)=\frac{1}{(e^x-x)}\int_{0}^{1}{\frac{e^{-ux^2(e^x-x)}}{\sqrt{u(1-u)}}}du$

Si $I\times J$ est un compact et que $h(x,t)$ est continue sur $I\times J$, alors $h(I\times J)$ est un compact et est donc bornée. Tu pourras donc borner $h(x,t)$ comme ça.

#213 Re : Entraide (supérieur) » Livre numérique théorie des distributions et des EDP » 13-04-2017 12:10:23

Bonjour,
Tu peux regarder sur le site de l'Ecole Polytechnique (ici)
Il y a un polycopié du cours, des exercices et des contrôles (avec corrigé). Je ne sais pas si c'est le niveau M1 par contre.

#214 Re : Entraide (supérieur) » integrale à paramètre » 13-04-2017 08:55:21

Bonjour,
Je te propose de faire le changement de variable suivant : $u = \dfrac{t}{e^x - x }$, ce qui te permet de réécrire le dénominateur sous la forme $(e^x - x)\sqrt{u(1-u)}$.

#215 Re : Entraide (supérieur) » integrale à paramètre » 11-04-2017 18:59:41

Non, ce n'est pas correct :
Tu ne peux pas majorer une fraction en majorant le dénominateur !
Tu dois minorer $u(x)$ si tu veux majorer $\dfrac{1}{\sqrt{t(u(x)-t)}}$

#216 Re : Entraide (supérieur) » integrale à paramètre » 10-04-2017 18:38:50

Bonsoir,
$[w,q]\times]0,M[$ n'est pas un compact de $\mathbb{R}^2$. Il est certes borné mais pas fermé.

#217 Re : Entraide (supérieur) » Espace de Banach » 09-04-2017 19:40:18

Bonsoir,
Dans la continuité simple, le $\eta$ dépend à la fois de $\epsilon$ et de $x$ : $\forall x,\forall\epsilon > 0 \exists \eta > 0\forall y, |y-x| < \eta \implies |f(y)-f(x)|<\epsilon$. ici j'ai écrit que la fonction était continue (simple) en tout point $x$.
Dans la continuité uniforme, $\eta$ dépend uniquement de $\epsilon$ : $\forall\epsilon > 0 \exists \eta > 0 \forall x\forall y, |y-x| < \eta \implies |f(y)-f(x)|<\epsilon$

#218 Re : Entraide (collège-lycée) » entrainement, inégalité » 08-04-2017 10:25:07

Là, je suis un peu perdu !
Est-ce que tu penses que tu as une démonstration ?
Si oui, je veux bien que tu la rédiges tranquillement et clairement, en mettant à chaque fois le point de départ et le point d'arrivé.

#219 Re : Entraide (supérieur) » Monte carlo avec échantillonnage stratifié » 08-04-2017 09:57:40

Bonjour,
La détermination de ces fameuses strates est plus de l'art que de la science !
Il faut tirer profit de la connaissance particulière qu'on a de la fonction à intégrer.
Dans mon cas, j'ai appliqué le MC au domaine de la finance, pour évaluer l'espérance d'instruments financier en fonction de paramètres de marché (Taux, volatilité, etc.). La connaissance du contrat (type : si le taux dépasse tel niveau, il se passe tel événement) permet d'identifier les zones où la fonction va beaucoup varier. A l'inverse, je pouvait également identifier les zones où la fonction avait un comportement très stable. Si on ne peut faire q'un million de tirages par exemple (pour des raisons de temps de calcul) en grande dimension, il vaut mieux concentrer les tirages dans les zones où il y a de l'information. 

Si maintenant on n'a aucune connaissance de la fonction à intégrer, cette technique n'est pas forcément très adaptée et il faut chercher d'autres techniques de réduction de variance (variables antithétiques, variable de contrôle ("control variates" en anglais), ...)

#220 Re : Entraide (collège-lycée) » entrainement, inégalité » 07-04-2017 13:23:12

Bonjour,
Je ne vois d'où vient la dernière inégalité (juste avant le *) : $\displaystyle \frac { 3 }{ 2 } \left( \frac { y }{ x } +\frac { z }{ y }  \right) \le \left( \frac { y }{ x } +\frac { z }{ y }  \right) +\frac { 2 }{ \frac { y }{ x } +\frac { z }{ y }  }$.

Si j'écris $\displaystyle a = \frac { y }{ x } +\frac { z }{ y }$, ça revient à dire $\displaystyle \frac { 3 }{ 2 } a \le a + \frac { 2 }{ a }$, soit encore $a \le 2$. Comme par ailleurs $\displaystyle \frac { y }{ x } \ge 1$ et $\displaystyle \frac { z }{ y } \ge 1$, alors $\displaystyle a = \frac { y }{ x } +\frac { z }{ y } \ge 2$, et donc $a=2$ !

Je n'ai pas non plus compris le lien avec la fin.

Une petite indication : Il faut remarquer que l'inégalité ne fait intervenir que des rapports, donc, si elle est vraie pour $z \ge y \ge x > 0$, alors elle le sera pour $az, ay$ et $ax$ ou $a$ est un réel strictement positif quelconque.

On peut donc se limiter aux cas où $x=1$. Ensuite, ça revient à étudier le signe d'un polynôme du second degré.

Bon W.E.

#221 Re : Entraide (supérieur) » Espace de Banach » 07-04-2017 13:02:26

C'est la même technique, comme $f_n$ sera uniformément continue, tu pourra trouver un $\eta$ tel que $\|x-y\|<\eta \implies \|f_n(x)-f_n(y)\| < \epsilon$. Les termes $\|f(x)-f_n(x)\|$ et $\|f(y)-f_n(y)\|$ sont contrôlés par la norme infinie pour tout $x,y$.

#222 Re : Entraide (supérieur) » Monte carlo avec échantillonnage stratifié » 06-04-2017 21:20:53

Bonsoir,
D'un point de vue strictement mathématique, n'importe quelle partition de l'ensemble d'intégration initial marche ($D = \bigcup D_i$ et $D_i \cap D_j = \emptyset$ pour $i \neq j$). Le choix va beaucoup dépendre de la fonction à intégrer. L'idée est que dans les zones où la fonction ne présente pas beaucoup de variabilité, on utilisera peu de points, et on tirera plus de points là où la fonction présente de l'information. Il n'y pas de recette générale (ou du moins je n'en connais pas).

Pour le calcul concret des $P(X \in D_i)$, la définition est précisément $\displaystyle P(X \in D_i) =   \int_{D_i} d\pi(x)$ où $\pi$ est la loi de probabilité du problème considéré (à savoir, l'approximation de $\displaystyle \int_D f d\pi(x)$). Dans le cas d'une loi uniforme sur $D$ (calcul de $\displaystyle \dfrac{1}{\mu(D)}\int_D f(x)d\mu(x)$ où $\mu$ est la mesure de Lebesgue), le calcul que tu présentes est correct : $P(X \in D_i) = \dfrac{\mu(D_i)}{\mu(D)}$  ($\mu([a,b])=b-a$ et $\mu([a,b]\times[c,d])=(b-a)(d-c)$, etc).

Je n'ai pas vraiment d'exemple à te proposer.

#223 Re : Entraide (supérieur) » Espace de Banach » 06-04-2017 17:24:11

Le point 3/ était erroné. Si tu le corriges, tu auras en effet montré que $f$ est bornée.

La continuité était démontrée dans le lien donné par Fred :
On se donne $\epsilon > 0$ quelconque.
On choisit $n$ fixé de manière à avoir $sup_{x\in X}||f_n(x)−f(x)||_E < \epsilon$
$f_n$ est continue en $x_0$, il existe donc $\eta$ tel que $\|x - x_0\| < \eta \implies \|f_n(x)-f_n(x_0)\| < \epsilon$
Ensuite, on écrit $f(x)-f(x_0) = (f(x)-f_n(x)) + (f_n(x)-f_n(x_0)) + (f_n(x_0)-f(x_0))$
Donc $\|f(x)-f(x_0)\| \le \|f(x)-f_n(x)\| + \|f_n(x)-f_n(x_0)\| + \|f_n(x_0)-f(x_0)\|$
Au total on aura $\|x - x_0\| < \eta \implies \|f(x)-f(x_0)\| < 3\epsilon$

#224 Re : Entraide (supérieur) » Espace de Banach » 05-04-2017 20:12:58

La séparation entre le point 2/ et 3/ n'a pas vraiment lieu d'être.
A un moment, dans le 2/, il faut juste remarquer qu'on obtient une majoration de $\|f\|$ et que donc $f \in B$. Ensuite, tu montre que $f$ est continue, donc $f \in C_b$.

Mon post #14 répondait à ta question sur la fermeture de $C_b$.

#225 Re : Entraide (supérieur) » Espace de Banach » 05-04-2017 18:48:27

Tu y étais presque au post #11
Tu sais que $\|a - b\| \ge \|a\| - \|b\|$ et aussi $\|a - b\| \ge \|b\| - \|a\|$ Si tu veux majorer $a$, il faut prendre la première inégalité et pour majorer $b$ la seconde.

Pied de page des forums