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).

#101 Re : Entraide (supérieur) » Comparaison de normes » 17-11-2021 09:09:01

Merci Fred, c'est limpide :)
Je reviendrai avec une rédaction complète.

#102 Re : Entraide (supérieur) » Comparaison de normes » 17-11-2021 08:50:18

Bonjour Fred, et merci.

J'essaie, à partir de la norme 4, de faire apparaître f'(x), afin d'obtenir une comparaison avec la norme 2.

#103 Entraide (supérieur) » Comparaison de normes » 15-11-2021 17:37:51

Thgues
Réponses : 7

Bonsoir,

On considère [tex]E=C^1([0;1],R)[/tex] et [tex]f\in E[/tex], puis [tex]||f||_1=sup_{x\in[0;1]}|f(x)|[/tex], [tex]||f||_2=sup_{x\in[0;1]}|f(x)|+sup_{x\in[0;1]}|f'(x)|[/tex], [tex]||f||_3=|f(0)|+sup_{x\in[0;1]}|f'(x)|[/tex] et enfin [tex]||f||_4=(\int_0^1 |f(x)|^2dx)^{\frac{1}{2}}[/tex].

On me demande de comparer deux à deux ces quatre normes.

Bon, déjà, [tex]||f||_1\le ||f||_2[/tex].
Je m'intéresse maintenant à [tex]||f||_4[/tex], et j'essaie de faire apparaître [tex]f'(x)[/tex].

Pour cela, je considère [tex]||f||_4^2[/tex] et par une IPP, je trouve que [tex]\int_0^1 f^2(x)dx=f^2(1)-2\int_0^1 xf(x)f'(x)dx[/tex] et donc [tex]|\int_0^1 f^2(x)dx|=f^2(1)+2\int_0^1 |f(x)||f'(x)|dx[/tex]

Bon je suppose que maintenant, il faut que je condière les cas où f est croissante, puis décroissante sur [tex][0;1][/tex].

Est-ce que je suis sur la bonne ou je rate quelque chose d'évident ?

Merci d'avance pour vos pistes.

#104 Re : Entraide (supérieur) » Centre du groupe linéaire » 12-11-2021 12:27:06

Bonjour Paco del Rey, et merci pour ton retour !

Alors, soit [tex]d[/tex] une droite.
Soit [tex]x[/tex] non nul et H un supplémentaire de la droite d engendrée par [tex]x[/tex].
Soit [tex]s[/tex] la symétrie par rapport à [tex]D=ker(s-Id)[/tex] de direction [tex]H[/tex].

Soit [tex]f[/tex] dans le centre de [tex]Gl(n,K)[/tex]. On a :

[tex]f(s(x))=s(f(x))[/tex] soit [tex]f(x)=s(f(x))[/tex]
Donc pour [tex]x\in D=ker(s-Id)[/tex], on a [tex]f(x)\in D=ker(s-Id)[/tex] et donc [tex]f[/tex] laisse stable les droites vectorielles.
Ainsi, [tex]f(x)[/tex] est dans [tex]D[/tex] et donc [tex]x[/tex] et [tex]f(x)[/tex] sont liés; il existe lambda scalaire tel que f(x)=\lambda \times x.

Bon, mais est-ce que [tex]\lambda[/tex] est indépendant de [tex]x[/tex] ?

#105 Entraide (supérieur) » Centre du groupe linéaire » 11-11-2021 12:15:55

Thgues
Réponses : 3

Bonjour,

Je souhaite montrer que le centre du groupe linéaire Gl(n,K) avec K=R ou C est l'ensemble des homotéthies.

Alors, je me souviens que les homotéthies laissent les droites invariantes.
Mon premier réflexe est donc de montrer qu'un élément du centre laisse les droites invariantes...

Pour décrire une telle droite, je peux prendre un point A et un vecteur directeur u, et donc écrire quelque chose comme : M=A+ku avec A et M décrits par des formes linéaires... Autrement dit, f(x)=g(x)+ku

Est-ce que tout cela a du sens ?

Merci beaucoup

#106 Re : Entraide (supérieur) » Ensembles C^k difféomorphes » 10-11-2021 18:04:46

Merci Fred.

Pour démontrer cela, je peux essayer d'expliciter directement la bijection réciproque, ou alors de montrer que [tex]f[/tex] est injective et surjective.
Je montre facilement que f est injective, puis surjective.
Quant au caractère [tex]C^k[/tex] de l'application f, à part dire qu'elle l'est en tant que somme d'applications qui le sont, y a-t-il quelque chose de plus profond à remarquer ?

#107 Re : Entraide (supérieur) » Ensembles C^k difféomorphes » 08-11-2021 10:27:44

Bonjour Fred,

Merci pour ton retour.
Dans le cours, on pose I=[0;1] inclus dans R. Et on dit alors que, pour tout k et n, le segment fermé AB d'extrèmes A, B dans [tex]R^n[/tex] est [tex]C^k[/tex]-difféomorphe à I.
Et c'est cette propriété que j'essaie de démontrer.

#108 Entraide (supérieur) » Ensembles C^k difféomorphes » 08-11-2021 07:43:19

Thgues
Réponses : 4

Bonjour cher forum,

On considère [tex]AB[/tex] le segment d'extrêmes A et B, avec A et B deux ouverts de [tex]R^n[/tex].
Je souhaite montrer que le segment AB est [tex]C^k[/tex]-difféomorphe à [0;1].

J'ai auparavant démontré que pour tous ouverts A et B de [tex]R^n[/tex], l'ensemble [tex]\cup_{a\in A, b\in B} I(a,b)[/tex], avec [tex]I(a,b)=\{ta+(1-t)b,t\in [0;1]\}[/tex], est un ouvert de [tex]R^n[/tex].

Je cherche donc maintenant une application [tex]f[/tex], de classe [tex]C^k[/tex], bijective, et dont l'application réciproque est [tex]C^k[/tex].

Je pense qu'il est plus simple de montrer que les ensembles [tex][0;1][/tex] et [tex]AB[/tex] sont [tex]C^k[/tex]-difféomorphes, dans ce sens.
Et dans ce cas, je peux poser l'application [tex]f : (a,b)\in A\times B \to t||a||+(1-t)||b||[/tex] avec [tex]t\in [0;1][/tex].

Est-ce que cela a du sens ?

Merci pour vos remarques.

#109 Entraide (supérieur) » Inégalité avec une norme 2 » 24-10-2021 11:22:57

Thgues
Réponses : 2

Bonjour,

Je considère E un espace vectoriel normé sur K, et a un élément de K.

Je considère également l'application qui à (x,y) élément de [tex]K^2[/tex] associe x+y.
On a alors :

[tex]||x_1+y_1-x_2-y_2||\le ||x_1-x_2||+||y_1-y_2||[/tex]

En travaillant avec la norme 2, d'ou vient le fait que [tex]||x_1-x_2||+||y_1-y_2||\le \sqrt{2} ||(x_1-x_2,y_1-y_2)||[/tex] ?

Merci d'avance !

#110 Re : Entraide (supérieur) » limites supérieure et inférieure » 29-09-2021 08:57:01

Merci énormément bridgslam, et navré pour ma réponse tardive.

Il y a également l'excellent pdf d'Etienne Mathéron sur la théorie de la mesure.

A bientôt

#111 Re : Entraide (supérieur) » limites supérieure et inférieure » 22-09-2021 15:31:34

Bonsoir Fred,

Je continue mes prérigrinations...

Toujours pour cette suite de nombres réels [tex](x_n)[/tex], on définit la limite sup par :

[tex]\lim sup(x_n)=\lim_{n\to +\infty} sup_{k\ge n}=inf_{n\in N} sup_{k\ge n} x_k[/tex]

Pourquoi demander que la limite du plus petit des majorants des termes de la suite [tex]x_n[/tex] soit égale au plus grand des minorants du plus petit des majorants des termes de la suite [tex]x_n[/tex] ?
Je m'y perds.

Merci d'avance pour les explications.

#113 Entraide (supérieur) » limites supérieure et inférieure » 20-09-2021 12:23:49

Thgues
Réponses : 6

Bonjour,

J'essaie de me remettre à la théorie de la mesure, et j'essaie notamment de comprendre en profondeur toutes les notions de base.

Première difficulté : les limites inf et sup

On définit donc [tex]U_n=(u_k,k\ge n)[/tex] avec [tex](u_n)[/tex] une suite bornée, et on pose [tex]v_n=inf(U_n)[/tex] et [tex]w_n=sup(U_n)[/tex].

Je conçois aisément que pour tout [tex]n\ge 0[/tex], [tex]U_{n+1}=(u_{n+1},u_{n+2},u_{n+3},...)[/tex] est inclus dans [tex]U_n=(u_{n},u_{n+1},u_{n+2},...)[/tex], mais pourquoi cela entraîne-t-il que [tex]inf U_n \le inf U_{n+1}[/tex] ?

Comment le comprendre ?

Merci d'avance !

#114 Re : Entraide (supérieur) » Caractère C infini d'une série » 19-07-2021 14:26:24

Bonjour Paco,

Effectivement, et on a donc bien la convergence normale...

Merci !

#115 Entraide (supérieur) » Caractère C infini d'une série » 19-07-2021 10:12:57

Thgues
Réponses : 2

Bonjour tout le monde,

Soit [tex]\alpha\in[/tex] R.
On s'intéresse à la fonction [tex]\phi_{\alpha}[/tex] définie sur R par [tex]\phi_{\alpha}(x)=\frac{1}{1+\alpha^2x^2}[/tex].

On a montré que [tex]\forall x\in R, |\phi^{(p)}_{\alpha}(x)|\le \frac{p!}{|x|^{p+1}}[/tex].

On considère ensuite la suite définie de fonctions [tex](u_n)_{n\in N}[/tex] définie sur R par :  [tex]u_{n}(x)=\frac{a_nx^n}{1+n!a_n^2x^2}[/tex], pour tout [tex]x\in [/tex] avec [tex](a_n)_{n\in N}[/tex] une suite réelle.

On pose [tex]\alpha_n=\sqrt{n!}a_n[/tex].

On montre que pour tout entier [tex]n\ge 0[/tex] et tout entier [tex]p \ge n[/tex] et tout réel [tex]x[/tex], que :

[tex]u_n^{(p)}(x)=a_n\sum_{k=0}^p \binom{p}{k}\frac{n!}{(n-k)!}x^{n-k}\phi_{\alpha_n}^{(p-k)}(x)[/tex].

On montre, de plus, que pour tout entier [tex]p[/tex] entre [tex]0[/tex] et [tex]n-1[/tex] et tout réel [tex]x[/tex], on a: 

[tex]|u_n^{(p)}(x)|\le \frac{|x|^{n-p-1}}{\sqrt{n!}}p!2^n[/tex]

On demande d'en déduire que la fonction [tex]U=\sum_{n=0}^{+\infty} u_n[/tex] est indéfiniment dérivable sur R.

J'essaie donc d'appliquer le théorème de dérivation sous le signe [tex]\sum[/tex], mais je bloque sur la convergence uniforme de la série [tex]\sum_{n\ge 0} u_n^{(p)}[/tex].
J'ai tenté de montré une hypothétique convergence normale sur tout compact [tex][-A;A][/tex] de R, mais je ne vois pas comment utiliser la majoration précédente pour prouver cette convergence.
Il me semble en effet que l'on ne peut pas invoquer une comparaison avec une somme de Riemman, à cause du terme exponentielle [tex]2^n[/tex], qui fait exposer le majorant...

Est-ce que je manque quelque chose d'évident ?

Merci d'avance de vos aiguillages !

#116 Re : Entraide (supérieur) » Intégrale du sinus cardinal Intégrale de Dirichlet » 18-07-2021 15:17:17

Merci Paco.

Oui, j'ai bien conscience de l'objectif d'un concours.
En composition, on n'a pas le temps de prendre du recul sur le sujet.
Ce qui me rassure, c'est que la plupart du temps, lorsque je bloque, c'est dû à une erreur de calcul, et non pas à une faiblesse dans la compréhension.
Si cela t'intéresse, il s'agit du sujet CCP INP 2020.

Merci encore !

#117 Entraide (supérieur) » Intégrale du sinus cardinal Intégrale de Dirichlet » 16-07-2021 18:49:32

Thgues
Réponses : 2

Bonjour,

Encore une question... J'espère que l'on est pas limité par le nombre de questions, car je risque d'en avoir pas mal dans les prochains mois ^^

Soit [tex]x\in ]0;+\infty[[/tex].

On pose [tex]F(x)=\int_0^{+\infty} \frac{sin(t)}{t}e^{-tx}dt[/tex], [tex]G(x)=\int_0^{+\infty} e^{-tx}sin(t)dt[/tex] et [tex]H(x)=\int_0^{+\infty} cos(t)e^{-tx}dt[/tex].

J'ai démontré que les fonctions étaient bien définies sur [tex]]0;+\infty[[/tex], et que [tex]\lim_{x\to +\infty} F(x)=0[/tex].

Par ailleurs, [tex]G(x)=\frac{1}{x^2+1}[/tex] et [tex]H(x)=\frac{x}{x^2+1}[/tex], et [tex]F'(x)=-G(x)[/tex].

Ainsi, avec les propriétés précédentes, on en déduit que [tex]F(x)=-arctan(x)+K[/tex] avec [tex]K[/tex] un réel.
Or, par passage à la limite, on obtient que [tex]K=\frac{\pi}{2}[/tex].
Finalement, [tex]F(x)=-arctan(x)+\frac{\pi}{2}[/tex], et [tex]F(1)=\frac{pi}{4}[/tex].

Questions

1) Pourquoi demande-t-on de calculer [tex]F(1)=\int_0^{+\infty} \frac{sin(t)}{t}e^{-t}dt[/tex] ?

2) On demande également de calculer [tex]\int_0^{+\infty} e^{-tx}cos(\alpha t)dt[/tex]. Pourquoi ? Est-ce que cela permet de calculer [tex]F(x)[/tex] ?
Pour info, j'ai trouvé que [tex]\int_0^{+\infty} e^{-tx}cos(\alpha t)dt=H(\frac{x}{\alpha})[/tex] ...

Merci !

#118 Re : Entraide (supérieur) » Formule de Viète à l'aide d'une somme de Riemann » 16-07-2021 12:17:12

Bonjour Paco,

Effectivement, on prendra la limite en [tex]+\infty[/tex] de cette somme, et comme la borne supérieure de signe somme tend vers [tex]+\infty[/tex], c'est bon.

Merci Paco.

#119 Entraide (supérieur) » Formule de Viète à l'aide d'une somme de Riemann » 16-07-2021 09:42:00

Thgues
Réponses : 2

Bonjour tout le monde,

Je travaille sur le sujet de CCP INP 2020, qui traite de la fonction sinus cardinal pour la partie analyse.

On propose, sur des considérations autour de la formule de Viète, de calculer, à l'aide d'une somme de Riemann, la quantité suivante :

[tex]\lim\limits_{n\to +\infty} 2^{n+1} \sum\limits_{k=0}^{2^{n-1}} \frac{1}{4k^2+2^{2n}}[/tex]

Je n'ai jamais compris, et donc su, calculer des sommes où l'une des bornes n'est pas une expression "simple" telle que [tex]n[/tex] ou encore [tex]n+1[/tex].

J'ai donc naturellement tout divisé par [tex]n^2[/tex], mais reste le [tex]2^{n-1}[/tex].

Comment le gérer ?

Merci d'avance pour vos idées et explications.

MERCI YOSHI pour la mise en forme !

#120 Re : Entraide (supérieur) » Dérivabilité d'une série » 15-07-2021 14:27:44

Rebonjour Paco del Rey,

Il me semble difficile, même avec le bon reste, de prouver la convergence uniforme.
J'essaye donc de montrer la convergence normale sur tout segment [tex][-R,R][/tex] inclus dans [tex]]-1,1[[/tex].

Par exemple, [tex]|nx^{n-1}|\le n\times R^{n-1}[/tex] et [tex]n\times R^{n-1}=o(\frac{1}{n^2})[/tex] en l'infini, car R est strictement plus petit que 1.
Puis on conclut quant à la convergence normale.
Est-ce correct ?

#121 Re : Entraide (supérieur) » Dérivabilité d'une série » 15-07-2021 12:50:56

Bonjour Paco, et merci pour ta réponse.

Mais bien sûr, l'expression du reste n'est pas correcte, d'où le blocage !
Et puis oui, je peux conclure par saturation.

Merci beaucoup Paco del Rey.

#122 Entraide (supérieur) » Dérivabilité d'une série » 15-07-2021 10:59:24

Thgues
Réponses : 5

Salut, et bonjour tout le monde !

Je cherche à démontrer que la série géométrique [tex]\sum_{n\ge 1} x^n[/tex] est dérivable terme à terme, pour tout [tex]x\in ]-1;1[[/tex], sans passer par les théorèmes sur les séries entière.
Pour cela, je cherche donc à appliquer le théorème de dérivation terme à terme d'une série de fonctions.

Le point me posant problème est celui de la convergence uniforme de [tex]\sum_{n\ge 1} nx^{n-1}[/tex] sur [tex]]-1;1[[/tex].
J'essaye donc de montrer que la suite des restes d'ordre n, définie par [tex]R_n=\sum_{k=n+1}^{+\infty} kx^{k-1}[/tex] converge uniformément vers la fonction nulle sur [tex]]-1;1[[/tex].

Or, [tex]\sum_{k=n+1}^{+\infty} kx^{k-1}=\frac{1}{(x-1)}^2[/tex], mais [tex]\sup_{x\in ]-1;1[} |R_n|=+\infty[/tex] et donc la suite [tex](R_n)[/tex] ne converge pas uniformément sur [tex]]-1;1[[/tex].

Où est mon erreur ?

Merci d'avance de votre aide !

#124 Entraide (supérieur) » Rayon de convergence d'une série entière » 13-07-2021 13:08:35

Thgues
Réponses : 2

Bonjour,

On s'intéresse à la fonction [tex]f_a[/tex] qui à x associe [tex]\sum_{n\ge 1} \frac{x^n}{n^a}[/tex] avec [tex]a[/tex] un réel quelconque.

Je ne comprends la différence entre ces deux questions.

1) Déterminer le rayon de convergence [tex]R[/tex] commun aux séries entières définissant les fonctions [tex]f_{a}[/tex].
R=1 d'après le critère de d'Alembert, et ce indépendamment de la valeur de a. Je continue avec ce résultat dans mon raisonnement concernant la question suivante.

2) Déterminer suivant les valeurs de [tex]a[/tex] le domaine de définition de la fonction [tex]f_a[/tex].
Je ne comprends pas. On a montré que la série entière convergeait dans ]-1;1[ peu importe la valeur de a.

Pourriez-vous m'éclairer sur ce point ?

Merci d'avance.

Pied de page des forums