Répondre à la discussion
Affichage des résultats 1 à 12 sur 12

Une matrice de Sn++...



  1. #1
    Gpadide

    Une matrice de Sn++...


    ------

    Bonjour,

    soit (a1,...,an) n réels. On considere la matrice :

    S=s_ij = ai quand i<j
    s_ij = aj quand i>j
    s_ii = ai

    (Désolé mais c'est un peu galere a tracer en Tex)

    On me demande de montrer que S est définie positive ssi :

    0<a1<...< an

    J'ai développé le produit t(X)SX avec les coefficients, séparé en 2 sommes indicées par i>j et i<j mais la je trouve pas gd chose...
    Auriez vous une idée ?
    Merci.

    -----

  2. Publicité
  3. #2
    ericcc

    Re : Une matrice de Sn++...

    Par récurrence, en utilisant le critère de Sylvester.

  4. #3
    Taar

    Re : Une matrice de Sn++...

    Salut.

    Je crois que l'idée d'écrire la forme quadratique est bonne.

     Cliquez pour afficher

    Taar.

  5. #4
    Gpadide

    Re : Une matrice de Sn++...

    Pouvez vous détailler un peu svp ? Je ne connais pas le critere de sylvester et je ne vois pas ou mene la méthode de Taar...

  6. A voir en vidéo sur Futura
  7. #5
    Taar

    Re : Une matrice de Sn++...

    Citation Envoyé par Gpadide Voir le message
    Pouvez vous détailler un peu svp ? Je ne connais pas le critere de sylvester et je ne vois pas ou mene la méthode de Taar...
    Bon je te le fais en dim 2.



    Ce qui donne :


    Quand à Sylvester, je connais un peu mais je ne sais pas si ça permet d'obtenir une CNS. Attendons le retour d'ericcc.

    Taar.

  8. #6
    Gpadide

    Re : Une matrice de Sn++...

    Ok je vois l'ambiance, mais c'est rédigeable par récurrence ? Car la ca marche bien parce que tu utilises une identité remarquable pour le carré mais sinon...

  9. Publicité
  10. #7
    Taar

    Re : Une matrice de Sn++...

    Ça m'a l'air de marcher tout seul en toute dimension...



    Taar.

  11. #8
    Taar

    Re : Une matrice de Sn++...

    Sinon tu peux écrire :



    D'où




  12. #9
    homotopie

    Re : Une matrice de Sn++...

    Citation Envoyé par Taar Voir le message
    Sinon tu peux écrire :



    D'où



    Joli.

  13. #10
    ericcc

    Re : Une matrice de Sn++...

    Pour la démo par récurrence : le critère de Sylvester dit que le déterminant de toutes les matrices carrées ayant le coin en haut à gauche fixe doit être positif. La matrice composée de la première rangée et première colonne (a1 ici), puis les deux premières (diagonale a1 a2) etc...
    Appelons Dn le déterminant de la n-ième matrice. On vérifie que c'est vrai à l'ordre 1 : a1>0. On suppose la propriété vraie à l'ordre n-1, et Dn-1 positif.
    Calculons Dn en soustrayant l'avant dernière colonne de la dernière, et en développant par rapport à la dernière colonne. On trouve Dn=(an-an-1)Dn-1.
    La CNS pour que Dn soit positif est donc que an>an-1

  14. #11
    ericcc

    Re : Une matrice de Sn++...

    Pour les puristes, il n'y a pas besoin de récurrence. On a vu que Dn=(an-an-1)Dn-1.
    Or le critère de Sylvester dit que TOUS les Dn doivent être positifs. D1 donne a1>0, D2 donne donc a2>a1, et ainsi de suite jusque Dn.

  15. #12
    homotopie

    Re : Une matrice de Sn++...

    Citation Envoyé par ericcc Voir le message
    Pour la démo par récurrence : le critère de Sylvester dit que le déterminant de toutes les matrices carrées ayant le coin en haut à gauche fixe doit être positif. La matrice composée de la première rangée et première colonne (a1 ici), puis les deux premières (diagonale a1 a2) etc...
    Appelons Dn le déterminant de la n-ième matrice. On vérifie que c'est vrai à l'ordre 1 : a1>0. On suppose la propriété vraie à l'ordre n-1, et Dn-1 positif.
    Calculons Dn en soustrayant l'avant dernière colonne de la dernière, et en développant par rapport à la dernière colonne. On trouve Dn=(an-an-1)Dn-1.
    La CNS pour que Dn soit positif est donc que an>an-1
    C'est plus simple et élégant que je ne pensais.

  16. Publicité

Discussions similaires

  1. Transformer une image en une matrice
    Par mamachfreeride dans le forum Logiciel - Software - Open Source
    Réponses: 3
    Dernier message: 13/06/2007, 21h08
  2. Trouver une matrice qui annule une autre
    Par nams2590 dans le forum Mathématiques du supérieur
    Réponses: 12
    Dernier message: 30/03/2007, 20h41
  3. une matrice de matrice...(?!)
    Par Dark Nemo dans le forum Mathématiques du supérieur
    Réponses: 8
    Dernier message: 27/03/2007, 18h59
  4. Encore une petite matrice
    Par Astroide dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 15/03/2007, 17h55
  5. Effacer une colonne dans une matrice sous Matlab
    Par jdeboer dans le forum Logiciel - Software - Open Source
    Réponses: 1
    Dernier message: 10/01/2005, 18h21