Bonsoir à tous,
Liée à mon poste précédent (mais pas de manière évidente du coup je fais un nouveau poste) voici une nouvelle question. Comme je l'ai dit dans mon précédent poste, je dois rendre ma thèse de master demain, et si je viens de tomber sur une erreur qui corrompt toute la thèse. Toute l'aide possible serait extrêmement appréciée.
Voici le problème:
Soit (prend donc des matrices pour value) et
Soit qui satisfait pour tout que
Autrement dit
et (appelons ça E1)
Maintenant j'aimerais résoudre l'équa diff suivante (un peu plus compliquée):
et , (appelons ça E2)
en écrivant si possible en fonction de .
Hélas je connais rien aux équa diff et comme je suis un manche, je me suis planté et et ne le réalise que maintenant.
Voici ce que j'ai fait:
1) j'ai pensé que la solution de E1 pouvait être donnée par
parce que si on dérive (en t), à tort, l'exponentielle COMME D'HABITUDE on obtient E1
2) faire une sorte de variation de la constante et conclure que
et encore une fois, j'ai utilisé à tort la (apparemment pas toujours vraie) propriété que
.
Je me souviens plus exactement d'où m'est venue cette idée, probablement de quelque chose en une dimension, mais je crois que ça s'appelle variation de la constante.
J'imagine que vous ça doit pas être totalement faux. Peut-être qu'il faudrait reformuler tout ça différemment. Enfin bon, si jamais quelqu'un a une idée (même juste une référence sur les EDP) je serais ravi de l'entendre.
Au cas où, je crois que mon problème est résolu. Pour ce que je fais, je n'ai pas besoin de la forme explicite de et seulement de son existence.
Merci quand même et bonne soirée!
2 remarques et une question :
.Tes notations sont trop lourdes et il manque des hypothèses .
.Qu'appelles tu " résoudre l'équa diff X = AX + b " ?
Ce que je peux dire :
Si A : [0 , +[ Md() et b : [0 , +[ d sont continues alors (CL) pour tout c d il existe une seule application dérivable X : [0 , +[ d telle que X(0) = c et X ' = AX + b .
Si A est constante on a une formule . Je n'en connaît pas sinon . Le problème vient de ce que l'algèbre Md() n'est pas commutative .
Si A arrive dans une sous-algèbre commutative de Md() alors peut-être ...
Salut Etniopal,
Alors d'abord merci pour ta réponse. En fait j'assume que et sont toutes deux continues.
En combinant des résultats que j'avais prouvé et un théorème d'existence de flot (un bouquin de Teschl sur les ODE que l'auteur a mis volontairement en ligne), je suis venu à bout de mon problème.
Si tu as des lectures concernant ces histoires d'algèbres commutatives et non-commutative ça m'intéresserait d'ailleurs.
Bonne journée!
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :