NewScientist

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

Modérateurs : JeanN, Michel Quercia

Tri-proof
Messages : 14
Enregistré le : mar. juil. 31, 2018 9:51 am

Re: NewScientist

Message par Tri-proof » lun. sept. 24, 2018 2:06 pm

C'est à dire ? As-tu des liens à donner ?

rickyy
Messages : 352
Enregistré le : jeu. mai 27, 2010 4:31 pm

Re: NewScientist

Message par rickyy » lun. sept. 24, 2018 2:10 pm

Hmmm, pas sur. Il faut savoir que T est analytique sur C tout entier pour déduire cela, or T est seulement "weakly-analytic" (comme il dit).
Modifié en dernier par rickyy le lun. sept. 24, 2018 2:54 pm, modifié 1 fois.
MPSI-MP*, Hoche -> ENS Rennes, Maths -> Doctorat, chargé de TD à l'ENS Rennes. -> Prof.

darklol
Messages : 803
Enregistré le : dim. avr. 19, 2015 12:08 am

Re: NewScientist

Message par darklol » lun. sept. 24, 2018 2:19 pm

rickyy a écrit :
lun. sept. 24, 2018 2:10 pm
Hmmm, pas sur. Il faut savoir que T est analytique sur C tout entier pour déduire cela, or T est seulement "weakyl-analytic" (comme il dit).
T est polynomiale sur disons le disque fermé \( D(0,1) \) (qui est convexe compact), i.e. il existe un polynôme \( P_0 \) tel que \( \forall z \in D(0,1) \), \( T(z) = P_0(z) \). Maintenant soit \( x \in \mathbb{C} \) avec \( |x|>1 \). T est polynomiale sur le disque fermé \( D(0,2|x|) \) i.e. coïncide avec un polynôme \( Q \) sur ce même disque. Donc pour tout \( z \in D(0,1) \), \( P_0(z) = T(z) = Q(z) \) car \( D(0,1) \subseteq D(0,2|x|) \). Donc \( P_0 = Q \) car le disque unité est infini. En particulier comme \( x \in D(0,2|x|) \), \( T(x) = Q(x) = P_0(x) \). Conclusion: pour tout \( x \in \mathbb{C} \), \( T(x) = P_0(x) \).

Quand je passe trop de temps à lire des pseudo maths j’ai tendance à ne vite plus avoir les idées très claires mais là je crois bien que ce que j’ai écrit est vrai pour n’importe quelle fonction T polynomiale sur tout convexe compacte de C.
ENS Lyon
Ingénieur de recherche

rickyy
Messages : 352
Enregistré le : jeu. mai 27, 2010 4:31 pm

Re: NewScientist

Message par rickyy » lun. sept. 24, 2018 2:33 pm

darklol a écrit :
lun. sept. 24, 2018 2:19 pm
rickyy a écrit :
lun. sept. 24, 2018 2:10 pm
Hmmm, pas sur. Il faut savoir que T est analytique sur C tout entier pour déduire cela, or T est seulement "weakyl-analytic" (comme il dit).
T est polynomiale sur disons le disque fermé \( D(0,1) \) (qui est convexe compact), i.e. il existe un polynôme \( P_0 \) tel que \( \forall z \in D(0,1) \), \( T(z) = P_0(z) \). Maintenant soit \( x \in \mathbb{C} \) avec \( |x|>1 \). T est polynomiale sur le disque fermé \( D(0,2|x|) \) i.e. coïncide avec un polynôme \( Q \) sur ce même disque. Donc pour tout \( z \in D(0,1) \), \( P_0(z) = T(z) = Q(z) \) car \( D(0,1) \subseteq D(0,2|x|) \). Donc \( P_0 = Q \) car le disque unité est infini. En particulier comme \( x \in D(0,2|x|) \), \( T(x) = Q(x) = P_0(x) \). Conclusion: pour tout \( x \in \mathbb{C} \), \( T(x) = P_0(x) \).
Ca, je suis bien d'accord. La partie qui me trouble est comment passer de T faiblement-analytique à T est polynomiale sur K parce qu'il est compact convexe. Ça me parait étrange.
MPSI-MP*, Hoche -> ENS Rennes, Maths -> Doctorat, chargé de TD à l'ENS Rennes. -> Prof.

darklol
Messages : 803
Enregistré le : dim. avr. 19, 2015 12:08 am

Re: NewScientist

Message par darklol » lun. sept. 24, 2018 2:37 pm

Ah ça c’est pas moi qui le dit :) mais c’est marqué dans son papier et il s’en sert dans sa preuve donc si on lui enlève ça devient chaud
ENS Lyon
Ingénieur de recherche

rickyy
Messages : 352
Enregistré le : jeu. mai 27, 2010 4:31 pm

Re: NewScientist

Message par rickyy » lun. sept. 24, 2018 4:08 pm

darklol a écrit :
lun. sept. 24, 2018 2:37 pm
Ah ça c’est pas moi qui le dit :) mais c’est marqué dans son papier et il s’en sert dans sa preuve donc si on lui enlève ça devient chaud
J'ai pas dit le contraire :wink:
Mais je maintiens que cela me semble être une erreur grossière d'analyse complexe.
MPSI-MP*, Hoche -> ENS Rennes, Maths -> Doctorat, chargé de TD à l'ENS Rennes. -> Prof.

C.A.P.T.P
Messages : 332
Enregistré le : mar. août 16, 2016 12:45 am
Classe : M1 physique

Re: NewScientist

Message par C.A.P.T.P » lun. sept. 24, 2018 9:16 pm

A-t-on des nouvelles depuis hier ?
ENS Cachan - Paris Saclay

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

Re: NewScientist

Message par oty20 » lun. sept. 24, 2018 10:16 pm

Merci à tous pour vos très enrichissante contribution, apparemment beaucoup sont en train de vérifier la preuve au bureau, et il y a aussi beaucoup de scepticisme, c'est difficile de se faire un avis .....
-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 : Aucun utilisateur enregistré et 8 invités