Exos sympas MP(*)
Re: Exos sympas MP(*)
Vous voulez un indice pour montrer qu'une fonction qui vérifie cette propriété est linéaire sur un voisinage de zéro?
SPOILER:
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Re: Exos sympas MP(*)
je me demandais surtout si @Bobbyjoe avait réfléchi au problème.
Magnifique @matmeca_mcf1 vous l'avez résolu en si peu de temps c'est stupéfiant, voici une proposition de solution:
Magnifique @matmeca_mcf1 vous l'avez résolu en si peu de temps c'est stupéfiant, voici une proposition de solution:
SPOILER:
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: Exos sympas MP(*)
Je ne l'ai pas résolu si vite que cela. On l'avait posé à quelqu'un à un oral d'Ulm en 1999. Il en a parlé à un autre candidat et quand je suis sorti de mon oral de la salle d'à côté, ce dernier m'a raconté l'exo. Je ne me rappelle plus combien de temps il m'avait fallu pour trouver la solution. Probablement une journée. Je ne l'aurais pas résolu le temps d'un oral.
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Re: Exos sympas MP(*)
Il est retombé en 2017
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: Exos sympas MP(*)
A dattier est ce que z=r.exp(it) puis on écrit DSE de f et permute intégrale et sygma
marche ?
marche ?
Re: Exos sympas MP(*)
Oui.
SPOILER:
Re: Exos sympas MP(*)
c. Non. Il suffit de prendre $ (a_i)_i $ non bornée.Dattier a écrit : ↑24 août 2018 16:19$ \text{ la série de terme générale réel } x_k \text{ absolument convergente }
\\S : \forall i\in\mathbb N^* , \sum\limits_{k\in\mathbb N^*\text{ ; } i|k}^\infty x_k=a_i
\\\text{a/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme a une solution ?}
\\\text{b/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme a une unique solution ?}
\\\text{c/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme n'a pas de solution ?} $
Je propose de rajouter bornée à la question c) étant donnée que l'application qui à $ (x_k)_k $ associe $ (a_i)_i $ envoie $ \ell^1(\mathbb{R}) $ dans $ \ell^\infty(\mathbb{R}) $.
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Re: Exos sympas MP(*)
Dattier a écrit : ↑24 août 2018 16:19Un autre :
$ \text{ la série de terme générale réel } x_k \text{ absolument convergente }
\\S : \forall i\in\mathbb N^* , \sum\limits_{k\in\mathbb N^*\text{ ; } i|k}^\infty x_k=a_i
\\\text{a/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme a une solution ?}
\\\text{b/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme a une unique solution ?}
\\\text{c/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme n'a pas de solution ?} $
d/ Existe-t-il une suite de réel $(a_i)_i$ bornée pour laquelle ce système n'a pas de solution ?
édit : pour ajouter la question proposé par matmeca
Très intéressant exo, j’espère ne pas me tromper voici ce qui me vient au premier abord pour la b) fixons $ i \in \mathbb{N}^{*} $ considérons les termes $ (x_{ip})_{p\geq 1} $ on pose $ y_{p}=x_{ip} $ la série $ \sum y_{p} $ est clairement absolument convergente, on sait qu'on enlevant un nombre fini de termes cela ne change pas la nature de la série, quitte à reindexer les termes sans perdre de généralité j’enlève $ y_{1} $ , comme le terme général de la série tend vers zero d’après ce lemme http://forum.prepas.org/viewtopic.php?f ... 87#p900587 que nous avons démontrer professeur @jeanN et moi,on peut trouver $ (e_{p}) \in \{-1,1\}^{\mathbb{N}} $ tel que $ S_{n}=\sum_{p=2}^{n} e_{p}y_{p} \to 0 $,
La série associé à $ (e_{p}y_{p})_{p\geq 2} $ reste clairement absolument convergente on pose $ y_{1}=a_{i} $, on a bien:
$ y_{1}+\lim_{n\to +\infty} S_{n}=a_{i} $
cette construction montre bien la non unicité de la solution, sauf erreur.
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: Exos sympas MP(*)
J ai du mal à comprendre on veut que la dernière égalité soit vraie pour tout i...oty20 a écrit : ↑27 août 2018 04:56Dattier a écrit : ↑24 août 2018 16:19Un autre :
$ \text{ la série de terme générale réel } x_k \text{ absolument convergente }
\\S : \forall i\in\mathbb N^* , \sum\limits_{k\in\mathbb N^*\text{ ; } i|k}^\infty x_k=a_i
\\\text{a/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme a une solution ?}
\\\text{b/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme a une unique solution ?}
\\\text{c/ Existe-t-il une suite de réel }(a_i)_i \text{ pour laquelle ce systéme n'a pas de solution ?} $
d/ Existe-t-il une suite de réel $(a_i)_i$ bornée pour laquelle ce système n'a pas de solution ?
édit : pour ajouter la question proposé par matmeca
Très intéressant exo, j’espère ne pas me tromper voici ce qui me vient au premier abord pour la b) fixons $ i \in \mathbb{N}^{*} $ considérons les termes $ (x_{ip})_{p\geq 1} $ on pose $ y_{p}=x_{ip} $ la série $ \sum y_{p} $ est clairement absolument convergente, on sait qu'on enlevant un nombre fini de termes cela ne change pas la nature de la série, quitte à reindexer les termes sans perdre de généralité j’enlève $ y_{1} $ , comme le terme général de la série tend vers zero d’après ce lemme http://forum.prepas.org/viewtopic.php?f ... 87#p900587 que nous avons démontrer professeur @jeanN et moi,on peut trouver $ (e_{p}) \in \{-1,1\}^{\mathbb{N}} $ tel que $ S_{n}=\sum_{p=2}^{n} e_{p}y_{p} \to 0 $,
La série associé à $ (e_{p}y_{p})_{p\geq 2} $ reste clairement absolument convergente on pose $ y_{1}=a_{i} $, on a bien:
$ y_{1}+\lim_{n\to +\infty} S_{n}=a_{i} $
cette construction montre bien la non unicité de la solution, sauf erreur.
Re: Exos sympas MP(*)
Bonjour, on partant d'une famille $ (x_{k}) $ pour chaque $ i $ je modifie les indices $ (x_{ip})_{p \geq 1} $
comme dans mon précédent poste,
la suite formé par la concaténation des termes modifiés vérifie pour tout i les égalités demandé.
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .