Exos sympas MP(*)

Un problème, une question, un nouveau théorème ?

Modérateurs : JeanN, Michel Quercia

artslidd
Messages : 28
Enregistré le : sam. août 15, 2015 9:58 pm

Re: Exos sympas MP(*)

Message par artslidd » lun. sept. 03, 2018 2:13 pm

Petit exercice pour V@J que mon prof de spé ne savait pas faire :shock:

Déterminer toutes les fonctions continues de R dans R telles que, $ \forall x \in R, \int_0^1 \frac{f(x+t)-f(x)}{t²}dt $ converge
2015/2016 MPSI Jean Perrin
2016/2017 MP * Lycée du Parc

"Parfois ce sont les personnes que l'on imagine capable de rien qui font des choses que personne n'auraient imaginé"
Le bon vieil Alan

JeanN
Messages : 5304
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Exos sympas MP(*)

Message par JeanN » lun. sept. 03, 2018 3:37 pm

À mon avis ça ne posera aucun problème à v@j et la solution est dans la rms (numéro 3 de 2016-2017 je crois)
Professeur de maths MPSI Lycée Sainte-Geneviève

Simon Billouet
Messages : 138
Enregistré le : mer. avr. 18, 2018 7:17 pm
Classe : MPSI

Re: Exos sympas MP(*)

Message par Simon Billouet » lun. sept. 03, 2018 4:28 pm

JeanN a écrit :
lun. sept. 03, 2018 3:37 pm
À mon avis ça ne posera aucun problème à v@j et la solution est dans la rms (numéro 3 de 2016-2017 je crois)
Le correcteur est fameux ! ;)
Professeur de mathématiques (MPSI) au lycée Vaugelas ( http://cpgevaugelas.free.fr )

matmeca_mcf1
Messages : 1402
Enregistré le : mar. févr. 13, 2018 10:22 am

Re: Exos sympas MP(*)

Message par matmeca_mcf1 » lun. sept. 03, 2018 5:00 pm


Petit exercice pour V@J que mon prof de spé ne savait pas faire :shock:

Déterminer toutes les fonctions continues de R dans R telles que, $ \forall x \in R, \int_0^1 \frac{f(x+t)-f(x)}{t²}dt $ converge.


Je n'ai pas regardé la solution de la RMS. Mais voici ma solution. C'est probablement la même que celle du RMS car c'est un cheminement assez naturel. Voici ma solution sous forme d''exercice guidé:
SPOILER:
  1. Soit $ x<y $ deux réels. Soit $ \varepsilon>0 $. On pose
    $$
    \begin{aligned}
    A&:=\{u\text{ tq $x\leq u\leq y$ et tq $\lvert f(u)-f(x)\rvert\leq \varepsilon \lvert u-x\rvert$}\},\\
    \theta&:= \sup\limits_{u\in A}(u).
    \end{aligned}
    $$
    1. Montrez que $ \theta $ appartient à $ A $.
    2. Montrez que $ \theta=y $.
  2. En déduire que pour tout réels $ x,y $, $ f(x)=f(y) $.
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP)
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.

JeanN
Messages : 5304
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Exos sympas MP(*)

Message par JeanN » lun. sept. 03, 2018 6:52 pm

Simon Billouet a écrit :
lun. sept. 03, 2018 4:28 pm
JeanN a écrit :
lun. sept. 03, 2018 3:37 pm
À mon avis ça ne posera aucun problème à v@j et la solution est dans la rms (numéro 3 de 2016-2017 je crois)
Le correcteur est fameux ! ;)
Ah oui :)
Professeur de maths MPSI Lycée Sainte-Geneviève

Avatar du membre
oty20
Messages : 744
Enregistré le : dim. avr. 30, 2017 1:48 am

Re: Exos sympas MP(*)

Message par oty20 » mar. sept. 04, 2018 3:29 am

@jeanN qu'elle est la motivation derrière votre construction ?
Modifié en dernier par oty20 le mar. sept. 04, 2018 2:54 pm, modifié 1 fois.
-sup: public -> Spé:chez moi.
-2018-??? Ecole Central Casablanca.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' all within the four seas are brothers .

JeanN
Messages : 5304
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Exos sympas MP(*)

Message par JeanN » mar. sept. 04, 2018 11:37 am

Des figures je crois
Professeur de maths MPSI Lycée Sainte-Geneviève

Avatar du membre
oty20
Messages : 744
Enregistré le : dim. avr. 30, 2017 1:48 am

Re: Exos sympas MP(*)

Message par oty20 » mar. sept. 04, 2018 3:16 pm

Merci beaucoup, c'est super intéressant pourriez- vous si c'est possible les restituées ?
-sup: public -> Spé:chez moi.
-2018-??? Ecole Central Casablanca.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' all within the four seas are brothers .

JeanN
Messages : 5304
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Exos sympas MP(*)

Message par JeanN » mar. sept. 04, 2018 4:49 pm

oty20 a écrit :
mar. sept. 04, 2018 3:16 pm
Merci beaucoup, c'est super intéressant pourriez- vous si c'est possible les restituer ?

Non : je jette mes brouillons. Par contre, si tu suis la solution, tu devrais pouvoir les refaire.
Professeur de maths MPSI Lycée Sainte-Geneviève

Avatar du membre
oty20
Messages : 744
Enregistré le : dim. avr. 30, 2017 1:48 am

Re: Exos sympas MP(*)

Message par oty20 » sam. sept. 15, 2018 8:32 am

matmeca_mcf1 a écrit :
lun. sept. 03, 2018 5:00 pm

Je n'ai pas regardé la solution de la RMS. Mais voici ma solution. C'est probablement la même que celle du RMS car c'est un cheminement assez naturel. Voici ma solution sous forme d''exercice guid....
oui effectivement c'est plus naturel d’évaluer le numérateur par rapport à la partie dominante du dénominateur.


Soit $ x_0\in \mathbf{R} $. Fixons $ \varepsilon>0. $ Étudions l’ensemble $ U_{x_0}:= \{x\in\mathbf{R}\mid x>x_0, |f(x)-f(x_0)|<\varepsilon (x-x_0)\} $. Comme $ f $ est continue, $ U_{x_0} $ est un ouvert. Par ailleurs ,Il est dense autour $ x_0 $, c'est-à-dire on peut trouver des points de $ U_{x_0} $ aussi proche que l'on souhaite de $ x_0 $
Preuve: En effet, supposons qu'il existe un intervalle $ [x_0,x_1[ $ qui ne contient aucun points de $ U_{x_0} $.
Alors $ f(t)-f(x_0) $ à un signe constant dans $ ]x_0,x_1[ $, supposons sans perdre de généralité qu'il est positive. Alors:
$ \int\limits_0^{x_1} \frac{f(x+t)-f(x)}{t^{2}}\, dt\geq \displaystyle{ \int\limits_0^{x_1}\frac{\varepsilon}{t}\,dt} $
Ce qui conduit clairement à une contradiction car le membre de droite diverge .


Étudions maintenant la densité $ U_{x_0} $ dans $ ]x_0,\infty[ $. Raisonnons par l'absurde , en supposant qu'il existe un intervalle ouvert $ ]c,d[, c>x_0 $ qui ne contient aucun point de $ U_{x_0} $. Considérons $ c':=\sup\limits_{x<d} U_{x_0} $. Alors $ c'\leq c $ et $ |f(c')-f(x_0)|\leq \varepsilon (c'-x_0) $ (par continuité de $ f $ ).
On regarde $ U_{c'} $. Comme il est dense autour de $ c' $,on peut trouver $ c''\,,\,c''\in (c',d) $ tel que $ |f(c'')-f(c')|< \varepsilon (c''-c') $. Ainsi:
$ |f(c'')-f(x_0)|\leq |f(c')-f(x_0)|+|f(c'')-f(c')|<\varepsilon (c''-x_0) $
Par suite $ c''\in U_{x_0} $, ce qui fournit une contradiction en vue la définition $ c' $.

Finalement , puisque $ U_{x_0} $ est dense dans $ ]x_0,\infty[ $, Pour tout $ x>x_0 $ on a:
$ |f(x)-f(x_0)| \leq \varepsilon(x-x_0) $.
$ \varepsilon>0 $ étant choisi arbitrairement, cela force $ f(x)=f(x_0) $, et cela pour tout réel $ x_{0} $
-sup: public -> Spé:chez moi.
-2018-??? Ecole Central Casablanca.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' all within the four seas are brothers .

Avatar du membre
oty20
Messages : 744
Enregistré le : dim. avr. 30, 2017 1:48 am

Re: Exos sympas MP(*)

Message par oty20 » sam. sept. 15, 2018 3:48 pm

une petite merveille:


Soit $ f:[0,1] \to \mathbb{C} $ continue par morceaux , Montrer que :

$ \frac{1}{\phi(n)}~~ \sum_{~~\{1\leq k \leq n ,~~ pgcd(n,k)=1\}~~}~~ f(\frac{k}{n}) \to \int_{0}^{1} f(t) dt $.


avec $ \phi $ l'indicatrice d'Euler.
-sup: public -> Spé:chez moi.
-2018-??? Ecole Central Casablanca.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' all within the four seas are brothers .

Avatar du membre
Dattier
Messages : 1161
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: Exos sympas MP(*)

Message par Dattier » sam. sept. 15, 2018 5:19 pm

Bonjour,

@Oty : Mes Félicitations pour centrale

Pour l'exo que tu proposes : https://fr.wikipedia.org/wiki/Somme_de_ ... plications

à noter que $\phi(n)=\text{card}(\{1\leq k \leq n \text{ ; } \text{pgcd}(n,k)=1\})$

Bonne journée.

Avatar du membre
oty20
Messages : 744
Enregistré le : dim. avr. 30, 2017 1:48 am

Re: Exos sympas MP(*)

Message par oty20 » sam. sept. 15, 2018 6:23 pm

@Dattier: Merci infiniment.

je ne pense pas que cela soit si direct... pourriez vous expliciter la subdivision ?

Petit indice :
SPOILER:
penser à l’équipartition
-sup: public -> Spé:chez moi.
-2018-??? Ecole Central Casablanca.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' all within the four seas are brothers .

Avatar du membre
Dattier
Messages : 1161
Enregistré le : ven. juil. 07, 2017 10:08 pm
Contact :

Re: Exos sympas MP(*)

Message par Dattier » sam. sept. 15, 2018 7:33 pm

Si $ A=\{1\leq k \leq n \text{ ; } \text{pgcd}(n,k)=1\}=\{a_1,...,a_m\} $ avec $a_i<a_{i+1}$.

a/ Montrons que $\forall 1 \leq i\leq m-1, |a_i-a_{i+1}|\leq \epsilon (n) $
Soit $a \in A,a<a_m$, on note $n=p_1\times ...\times p_t^{\alpha_t}$ avec $p_1=1,\alpha_1=1$ et les $p_i$ disctincts premier.
a-1/Montrons que $\exists e \in \{1,2\}, a+p_1\times ...\times p_{t-1}\times e \in A $
on a $a$ premier avec $n$
cas 1 : $a+p_1...p_{t-1}$ premier avec $p_t$ alors e=1
cas 2 : $a+p_1...p_{t-1}$ divise $p_t$, alors $(a+p_1...p_{t-1})+p_1...p_{t-1}$ ne divise pas $p_t$ alors $e=2$
Fin a-1/
Donc $\epsilon(n)= 2 p_1...p_{t-1}$
Fin a/

Comme $ \lim \dfrac{\epsilon(n)}{n}=0$ ceci achève l'explication.

Avatar du membre
oty20
Messages : 744
Enregistré le : dim. avr. 30, 2017 1:48 am

Re: Exos sympas MP(*)

Message par oty20 » sam. sept. 15, 2018 8:17 pm

Avec vos notations voici quelques remarques :

-Ici $ t_{i}=\frac{a_{i}}{n} \notin [a_{i},a_{i+1}] $

-On divise par $ m=\phi(n) $ et non pas par $ n $, pourquoi évaluer la limite de $ \frac{e(n)}{n} $ ?

- Est ce que $ S=\sum_{i=1}^{m} (a_{i+1}-a_{i}) f(t_{i})=\frac{1}{m} \sum_{i=1}^{m} f(t_{i}) $ ?
-sup: public -> Spé:chez moi.
-2018-??? Ecole Central Casablanca.

''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' all within the four seas are brothers .

Répondre

Qui est en ligne

Utilisateurs parcourant ce forum : Styx92 et 6 invités