Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Dérivation du déterminant

Posté par
monrow Posteur d'énigmes
15-07-08 à 17:36

Bonjour !

Une formule que je veux démontrer et où je veux vraiment pas me lancer dans une récurrence


Donc on suppose que les coefficients sont tous en fonction d'une variable x et s'écrivent alors 3$^\rm a_{ij}(x)

Je veux montrer que : 3$\rm \frac{d}{dx}\det A(x)=\Bigsum_{j=1}^n\det\[C_1(x),...,C_j'(x),...,C_n(x)\]

Une petite piste?

Merci

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 17:41

salut monrow

repasse par la définition en faisant un DL par exemple et en utilisant la n-linéarité (évalue A(x+h)).

Kaiser

Posté par
monrow Posteur d'énigmes
re : Dérivation du déterminant 15-07-08 à 18:00

Salut Kaiser (et toutes mes sincères félicitations )

\Large \det A(x+h)=\det(C_1(x+h),...,C_n(x+h))=\det(C_1(x)+hC_1'(x)+o(h),...,C_n(x)+hC_n'(x)+o(h))

Après je me suis vraiment embrouillé pour le développement en utilisant la multilinéarité :s

Posté par
1 Schumi 1
re : Dérivation du déterminant 15-07-08 à 18:18

Salut tout le monde

Ca serait pas plus simple de revenir à la (vilaine?!) définition avec la somme... C'est juste une idée, j'ai pas encore essayé.

Posté par
1 Schumi 1
re : Dérivation du déterminant 15-07-08 à 18:18

C'était une question...

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 18:20

pour t'aider imagine que tu en train de développer un produit de n termes. Tu vas avoir det(C1(x),...Cn(x)) et des termes multiplié par une puissance de h. Essaie de déterminer le terme en h^k.
Autre chose : au lieu d'écrire o(h), écris plutôt \Large{h\varepsilon_1 (h)}, \Large{h\varepsilon_2 (h)} etc..

Kaiser

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 18:26

Schumi > oui tu peux. Dans les deux cas, il faut montrer un résultat concernant la dérivée d'un "produit" de n fonctions.

Kaiser

Posté par
1 Schumi 1
re : Dérivation du déterminant 15-07-08 à 18:29

Kaiser >> Effectivement et ça marche il me semble. C'est une généralisation qu'on avait vu en cours (j'parle de la "formule").

Posté par
monrow Posteur d'énigmes
re : Dérivation du déterminant 15-07-08 à 18:32

Je pense qu'on a fait la dérivée d'un produit en cours mais jamais démontrée

\Large\(\Bigprod_{j=1}^nf_j\)'=\Bigsum_{i=1}^n{f_i}'\Bigprod_{i\neq j}f_j c'est ça?

Mais j'arrive toujours pas appliquer ce que tu dis Kaiser, j'ai bien compris le cocept mais ça m'embrouille tellement les calculs

Posté par
1 Schumi 1
re : Dérivation du déterminant 15-07-08 à 18:34

Récurrence bebête fréro

Pou être tout à fait honnête, j'ai pas vraiement compris ce que tu voulais dire.

Sinon fréro, applique directement cette "formule" à la vilaine formule qui calcule le déterminant en fonction des coefs.

Posté par
monrow Posteur d'énigmes
re : Dérivation du déterminant 15-07-08 à 18:41

oui mais là je vais pas utiliser la méthode de Kaiser

Posté par
1 Schumi 1
re : Dérivation du déterminant 15-07-08 à 18:43

Effectivement...

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 18:55

En fait, voilà comment je vois les choses :

\Large{\det(A(x+h))=\det(C_1(x+h),...C_n(x+h))=\det(C_1(x)+h(C_1'(x)+\varepsilon_1(h)),...C_n(x)+h(C_n'(x)+\varepsilon_n(h)))=\Bigsum_{k=0}^{n}f_k(x)h^k}

En pensant à un vrai produit (en remplaçant le produit par un déterminant), essaie d'identifier les \large{f_k}.

Kaiser

Posté par
monrow Posteur d'énigmes
re : Dérivation du déterminant 15-07-08 à 19:29

J'avoue que ces calculs me bloquent

Je sais bien que si f est une application multilinéaire, alors :

3$\rm f\(\Bigsum_{j_1=1}^na_{j_{1}}x_{j_1},\Bigsum_{j_2=1}^na_{j_2}x_{j_2},...,\Bigsum_{j_n=1}^na_{j_n}x_{j_n}\)=\Bigsum_{(j_1,j_2,...,j_n)\in|[1,n]|^n}a_{j_1}a_{j_2}...a_{j_n}f(x_1,...,x_n)

Ici par exemple:

3$\rm\det(A(x+h))=\det(C_1(x+h),...C_n(x+h))=\det(C_1(x)+h(C_1'(x)+\varepsilon_1(h)),...C_n(x)+h(C_n'(x)+\varepsilon_n(h)))=\Bigsum_{(j_1,j_2,...,j_n)\in|[1,2]|^n}??

Je sais que c'est facile mais j'ai tout perdu

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 20:20

En fait, on ne vas tout calculer, car ce que l'on veut c'est le terme en h. Pour avoir un terme en h^k, il faut prendre k termes du type \Large{h(C_i'(x)+\varepsilon_{i}(x)))} et les autres termes seront des C_i(x).

Si tu veux le calculer, tu ne devrais pas numéroter comme ça car on risque vraiment de perdre.

on va avoir que cette somme va être égale à :

\Large{\Bigsum_{k=0}^{n}f_k(x)h^k}


avec \large{f_{k}(x)=\Bigsum_{X\in \mathcal{P}_k}\det(B_{X,1}(x),...B_{X,n}(x))}

avec \Large{B_{X,i}(x)=C_i'(x)+\varepsilon_i(x)} si i appartient à X et C_i(x) sinon.

\Large{\mathcal{P}_k} désigne l'ensemble des parties à k éléments de l'ensembles {1,...n}

C'est, je pense simple à comprendre, mais un peu lourd à décrire théoriquement.


Kaiser

Posté par
monrow Posteur d'énigmes
re : Dérivation du déterminant 15-07-08 à 20:29

C'est pas si facile que ce que je pensais

Je pense avoir un petit peu compris ! Donc on fait quoi maintenant?

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 20:47

maintenant, on dit que pour k supérieur à 2, tous les termes en h^k sont des o(h) et il reste à déterminer le terme en h qui est exactement ce qui est recherché, en utilisant la formule de mon message précédent.

Kaiser

Posté par
monrow Posteur d'énigmes
re : Dérivation du déterminant 15-07-08 à 20:53

Ah Ok, je vois !

Merci Kaiser

Posté par
kaiser Moderateur
re : Dérivation du déterminant 15-07-08 à 20:55

Mais je t'en prie !

Kaiser



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 1675 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 !