Produit scalaire et dérivées partielles

Exercice (oral Centrale/Supélec)

Soit {N} fixé dans {\mathbb{N}}.
Pour {k\in\mathbb{N}}, on pose : {\displaystyle\varphi_k(X)=\dfrac1{k!}\prod_{i=0}^{k-1}(X-i)}
Pour {n\in\llbracket 0,N\rrbracket}, soit :{P_n(X)=\displaystyle\sum_{k=0}^n(-1)^k\varphi_k(X)\varphi_{n-k}(N-X)}Visiblement, {\deg(P_{n})\le n\le N}.

On munit {\mathbb{R}_{N}[X]} du produit scalaire : {(A\mid B)=\displaystyle\sum_{j=0}^{N}\dbinom{N}{j}P(j)Q(j)}L’objectif est de montrer que {(P_{0},\ldots,P_{N})} forment une base orthogonale de {\mathbb{R}_{N}[X]}.

Question 1
On convient que {\displaystyle\dbinom{n}{k}=0\;} si {k>n}.
Montrer que : {\forall\, (n,k)\in\mathbb{N}^{2},\varphi_{k}(n)=\displaystyle\dbinom{n}{k}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Pour {0\le j\le N}, et {(u,v)} dans {\mathbb{R}^{2}}, on pose :{f_j(u)\!=\!\!\displaystyle\sum_{n=0}^N\!P_n(j)u^n\;\text{et}\;F(u,v) \!=\!\!\displaystyle\sum_{j=0}^N\!\dbinom Nj f_j(u)f_j(v)}
Question 2
Montrer que {f_{j}(u)=(1-u)^{j}(1+u)^{N-j}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 3
En déduire : {F(u,v)=2^{N}(1+uv)^{N}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Soient {a,b} des entiers de {\{0,\ldots,N\}}.

Question 4
Si {a\ne b}, montrer que {\displaystyle{\partial^{a+b}F \over \partial u^a\partial v^b}(0,0)=0}.

Si {a=b}, montrer : {\displaystyle{\partial^{2a}F \over \partial u^a\partial v^a}(0,0)=2^{N}\dfrac{N!\,a!}{(N-a)!}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question 5
Déduire de ce qui précède que {(P_{k})_{0\le k\le N}} est une base orthogonale de {\mathbb{R}_{N}[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :