Inscription / Connexion Nouveau Sujet

1 2 +


Niveau autre
Partager :

Polynômes de Legendre

Posté par
H_aldnoer
21-01-08 à 21:10

Bonsoir,
voici un nouvel exercice sur lequel je travaille.

Dans L^2_{\mathbb{C}}([-1,1],dt),
on considère le système constituté des classes de fonctions polynômiales (P_n)_{n\in\mathbb{N}}P_n(t)=\frac{d^n}{dt^n}(1-t^2)^n,  \forall n\in\mathbb{N}.
Vérifiez que les classes des P_n sont orthogonales deux à deux pour le produit scalaire dont dérive la norme de Minkowski ||\bar{f}||_2:=\sqrt{\Bigint_{[-1,1]}|f(t)|^2dt} sur ce \mathbb{C}-ev.
Par quelle constante c_n positive faut-il multiplier P_n pour que ||c_nP_n||_2=1

Déjà a-t-on bien que L^2_{\mathbb{C}}([-1,1],dt)=\mathcal{L}([-1,1],dt)/R avec R la relation d'équivalence fRg \Leftrightarrow f=g p.p. sur [-1,1].
Donc L^2_{\mathbb{C}}([-1,1],dt)=\{Cl(f)\}. On prend un représentant de cette classe, ie un élément de Cl(f) que l'on note \bar{f}

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:14

re H_aldnoer

oui c'est bien ça. (tu as oublié un 2 au dessus du L rond)
Alors, tu en es où dans cet exo.

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 21:22

donc je prends un représentant \bar{f} et un représentant \bar{g}.
on a <\bar{f},\bar{g}>:=\Bigint_{-1}^1f(t)g(t)dt ?

J'ai du mal à me fixer sur ce qu'est la classe de fonction ici.

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:27

oublie cet histoire de représentant : en général, on confond toujours une fonction et sa classe.

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 21:34

Le problème c'est que mon prof fait systématiquement la disctinction en cours (pour preuve, l'exercice proposé est un exercice qu'il a lui même rédigé!)

admettons que je pose f_n(t)=(1-t^2)n, alors P_n(t)=f_n^{(n)}(t).
que signifie que le système est constitué des classes de fonctions polynômiales ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:35

sinon, dans le produit scalaire, tu as oublié un détail : c'est l'intégrale de f(t) multiplié par le conjugué de g(t) (conjugaison complexe).

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 21:36

oui c'est vrai !
%3C\bar{f},\bar{g}%3E:=\Bigint_{-1}^1f(t)\bar{g(t)}dt

mais que sont f(t) et g(t) concrètement ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:40

c'est toujours le même problème : dans L² (L droit), ce sont des classes de fonctions mais on effectue toujours des calculs avec de vraie fonctions. Tu vas me dire alors "pourquoi on se prend la tête comme ". eh ben, tout simplement pour que la norme définie dans ton premier message soit une norme.
En effet, si l'intégrale d'une fonction mesurable positive est nulle, alors tout ce que l'on peut dire c'est que cette fonction est nulle presque partout.
Si f est une fonction mesurable, alors la classe de f c'est l'ensemble des fonction qui sont égales à f presque partout.

Mais encore une fois, on fait des calculs avec de vraies fonctions, on calcule l'intégrale de vraies fonctions.

Kaiser

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:42

message de 21h36 : f et g sont de vraies fonctions ici.
Plus précisément, si tu remplaces f par une fonction f1 qui est égale presque partout et g par une fonction g1 qui est égale presque partout à g, alors le résultat de l'intégrale reste inchangée.

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 21:43

Donc si un élément est dans L² droit, c'est un élément d'une classe de fonction : c'est donc un représentant pour cette classe de fonction modulo une certaine relation d'équivalence ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:47

non, ça c'est L² rond que tu es en train de décrire.
Pour résumer :

L² rond : ce sont les fonctions de carré intégrable
L² droit : ce sont les classes de fonctions de carrés intégrable modulo la relation "être égal presque partout"

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 21:53

Euh,

si je prend un élément dans L² droit, c'est un \bar{f} (ie un représentant)
si je prend un élément dans L² rond, c'est un f

?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 21:58

Citation :
si je prend un élément dans L² droit, c'est un \bar{f}


oui

Citation :
(ie un représentant)


euh ...non
un représentant, c'est avant tout une fonction.
par exemple, une fonction f (ie une vraie de vraie) est un représentant de la classe de fonction \Large{\bar{f}}, et plus généralement tout représentant de cette classe est une fonction g qui égal à f presque partout.

Citation :
si je prend un élément dans L² rond, c'est un f


oui, une fonction (ie une vraie de vraie)

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:07

Ok pour toi \bar{f}=Cl(f)=Classe(f) ?

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:08

enfin "pour toi" ...

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:09

toutafé ! (on fera quand même attention à la notation avec les barres : ne pas confondre avec la conjugaison complexe).

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:09

un f\in\bar{f}=Cl(f) est donc un représentant de cette classe pour la relation d'équivalence considérée.

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:09

oui, on s'est compris !

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:10

message de 22h09 : oui

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:11

ce dernier f est lui dans L² rond ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:13

oui

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:14

Ok!
Je n'arrive pas à traduire la première phrase de l'énoncé formellement.

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:21

Il faut montrer tout simplement que si n est différent de m, alors :

\Large{<\bar{P_{n}},\bar{P_{m}}>=0}

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:28

on calcule donc <\bar{P_n},\bar{P_m}>:=\Bigint_{-1}^1P_n(t)\bar{P_m(t)}dt
dans l'intégrale, on ne prend plus les classes de fonctions mais les vraies fonctions polynômiales ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:30

oui, on ne parle d'intégrale que pour des fonctions (ie des vraies de vraies).

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:34

J'ai pas vraiment d'idée pour le calcul de cet intégrale !
\Bigint_{-1}^1P_n(t)\bar{P_m(t)}dt=\Bigint_{-1}^1\frac{d^n}{dt^n}(1-t^2)^n\bar{\frac{d^m}{dt^m}(1-t^2)^m}dt

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:39

D'abord, tu peux te passer de la conjugaison : tout est réel.
Ensuite, essaie de faire une IPP et regarde ce que ça te donne.

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:54

Donc je pose :
f_n(t)=(1-t^2)^n
f_m(t)=(1-t^2)^m

alors P_n(t)=f_n^{(n)}(t)
et P_m(t)=f_m^{(m)}(t)

si u=P_n(t)=f_n^{(n)}(t) alors u'=P^'_n(t)=f_n^{(n+1)}(t)
si v'=P_m(t)=f_m^{(m)}(t) alors v=f_m^{(m-1)}(t)

donc \Bigint_{-1}^{1} f_n^{(n)}(t)f_m^{(m)}(t) dt=[f_n^{(n)}(t)f_m^{(m-1)}(t)]_{-1}^{1}-\Bigint_{-1}^{1} f_n^{(n+1)}(t)f_m^{(m-1)}(t) dt

est-ce correct ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:56

oui c'est correct.
Par la suite, pour simplifier, on va supposer que m < n.
Sinon, essaie de montrer que le crochet est nul.

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:57

On peut même écrire : \Bigint_{-1}^{1}%20f_n^{(n)}(t)f_m^{(m)}(t)%20dt=-\Bigint_{-1}^{1}%20f_n^{(n+1)}(t)f_m^{(m-1)}(t)%20dt

car les deux fonctions s'annulent en 1 et -1.

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 22:57

oui voila.
Je continue une intégration par partie ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 22:59

Citation :
car les deux fonctions s'annulent en 1 et -1.


Pourrais-tu être plus précis ? (c'est seulement l'une d'elle qui s'annule en 1 et -1)

Citation :
Je continue une intégration par partie ?


oui

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:06

ah oui, c'est une suite de fonction.
f_n(t)=(1-t^2)^n

qu'est-ce que f'_n(t) ?
on dérive par rapport à t ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:07

Ben, oui, on dérive par rapport à t.
Par rapport à quoi voulais -tu dériver ?

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:09

je trouve que f'_n(t)=-2nt(1-t^2)^{(n-1)}

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:13

euh, oui, mais là, si je te demande ce que vaut sa dérivée (m-1)ème de f_m, je ne pense pas que ça va être palpitant.

Alors, je te préviens : il va falloir faire des raisonnements avec les polynômes, les racines des polynômes et la notion d'ordre d'une racine.
Es-tu à l'aise avec ces notions ?

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:13

cela dépend de la parité de la dérivée ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:14

non, pas de la parité.

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:16

P_n(t) est un polynôme en t de degré 2n

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:17

oui.
quelles sont ses racines et quelle est leur multiplicité ?

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:20

on a 2 racines que sont +1 et -1.
pour la multiplicité il ne faut donc pas expliciter les polynômes dérivées ?

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:31

est-ce que 1 est de multiplicité 2n ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:31

oula, je me suis trompé, on efface tout et on recommence :

1) ce polynôme n'est pas de degré 2n : c'est la dérivée nième d'une polynôme de degré n donc son degré est égal à ...

2) en ce qui concerne \Large{f_n(t)=(1-t^{2})^{n}} : ses racines sont exactement -1 et 1. Question : quelle est la multiplicité de -1 et 1 dans ce polynôme ?

3) autre question : soit P un polynôme de degré m et a une racine de P de multiplicité k. Si q est un entier naturel compris entre 0 et k, quelle est la multilplicité de a dans la dérivée q-ième de P ?

4) utilise 3) pour déterminer la multiplicité de 1 et -1 dans le polynôme \Large{f_{n}^{(q)}(t)} si q est compris entre 0 et n.

Kaiser

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:32

Citation :
pour la multiplicité il ne faut donc pas expliciter les polynômes dérivées ?


surtout pas !

Citation :
est-ce que 1 est de multiplicité 2n ?


non

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:40

1/ pardon c'est pas P_n(t) qui est de degré 2n mais f_n(t). En revanche, P_n(t) est de degré au plus 2n-1.

2/ dans le polynôme f_n(t)=(1-t^2)^n=(1-t)^n(1+t)^n, on a que -1 et 1 sont de multiplicité n.

3/ je réfléchis

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:43

1) ben non : à chaque fois que tu dérives, tu abaisses le degré de 1, donc lorsque tu dérives n fois, tu réduis le degré de n, donc le degré de P_n vaut exactement n

2) oui

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:45

pour la trois, sans certitude, je dirais k-q ?

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:48

message de 23h45 : si c'est bien ça.

Posté par
kaiser Moderateur
re : Polynômes de Legendre 21-01-08 à 23:50

en fait, tu as une propriété du cours qui dit que a est une racine de multiplicité exactement q de P si et seulement si \Large{P^{(k)}(a)=0} pour tout k inférieur à q-1 et \Large{P^{(q)}(a)\neq0}

Kaiser

Posté par
H_aldnoer
re : Polynômes de Legendre 21-01-08 à 23:50

ok pour le 1).
donc 1 et -1 sont de multiplicités n-q dans f_{n}^{(q)}(t) ?

1 2 +




Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1674 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !