une th eorie continue pour le tra c congestionn e : …...logo plan mod eles discrets mod eles...
TRANSCRIPT
![Page 1: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/1.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Une theorie continue pour le trafic congestionne :modeles, equilibre, numerique et regularite.
Filippo Santambrogio
Universite Paris-Dauphine,[email protected]
Seminaire de Mathematiques AppliqueesCollege de France
15 mai
Filippo Santambrogio Trafic Congestionne
![Page 2: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/2.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 3: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/3.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 4: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/4.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 5: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/5.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 6: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/6.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 7: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/7.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 8: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/8.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 9: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/9.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 10: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/10.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 11: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/11.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 12: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/12.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
1 Modeles discrets pour le trafic congestionneEquilibres de Nash - WardropOptimisation convexe
2 Modeles continus (avec G. Carlier et C. Jimenez)Intensite de traficEquilibre et transport optimalFinitude de l’energie
3 Equivalence avec un probleme sous contrainte de divergence (avec L.Brasco et G. Carlier)
Intensite de trafic vectorielle et scalaireIdees heuristiquesFlots plus ou moins reguliersEDP elliptiques tres degenerees
4 Probleme dual et simulations numeriques (avec F. Benmansour, G.Carlier et G. Peyre)
DualiteDiscretisation par Fast MarchingDeriver par rapport a la metriqueConvergencesSimulations
Filippo Santambrogio Trafic Congestionne
![Page 13: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/13.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 14: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/14.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 15: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/15.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 16: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/16.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 17: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/17.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 18: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/18.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 19: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/19.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 20: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/20.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 21: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/21.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
L’idee
Supposons que deux routes menent d’une meme ville a une autre : l’uneest une autoroute toute droite, l’autre un chemin campagnard plus long.Si tout le monde choisis la premiere, elle sera bientot remplie et doncmoins efficace que l’autre. Au lendemain, tout le monde changera d’aviset empruntera l’autre. Et ca sera encore pire !Y a-t-il un equilibre ?Est-ce que l’equilibre garantit le moindre temps de parcours (moyen ?).
Filippo Santambrogio Trafic Congestionne
![Page 22: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/22.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 23: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/23.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 24: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/24.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 25: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/25.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 26: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/26.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 27: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/27.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 28: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/28.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Ingredients
Un graphe fini avec des arretes e ∈ E , un ensemble S de sources etD de destinations,
l’ensemble C (s, d) = σ de s a d des chemins possibles de s a d ,
une demande γ(s, d) qui donne la quantite de gens qui se rendentde s ∈ S a d ∈ D,
une strategie de repartition inconnue (c’est ca qu’on cherche)q = (qσ)σ telle que
∑σ∈C(s,d) qσ = γ(s, d),
une intensite de trafic qui en decoule (et qui depend de q)iq = (iq(e))e donnee par iq(e) =
∑e∈σ qσ,
une fonction croissante g : R+ → R+ telle que g(iq(e)) modelise lecout de l’arrete e, si soumis a congestion,
le cout de chaque chemin σ, donne parc(σ) =
∑e∈σ g(iq(e)) long(e).
Filippo Santambrogio Trafic Congestionne
![Page 29: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/29.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equilibries de Wardrop
La strategie globale q represente la distribution des choix des voyageurs.Imposer un equilibre de Nash (personne ne veut changer d’avis si lesautres ne changent pas) donne lieu a la condition :
σ ∈ C (s, d), qσ > 0⇒ c(σ) = minc(σ) : σ ∈ C (s, d).
Cette condition est bien connue sous le nom d’equilibre de Wardrop.L’existence d’au moins un equilibre vient du principe variationnelsuivant.
Filippo Santambrogio Trafic Congestionne
![Page 30: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/30.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equilibries de Wardrop
La strategie globale q represente la distribution des choix des voyageurs.Imposer un equilibre de Nash (personne ne veut changer d’avis si lesautres ne changent pas) donne lieu a la condition :
σ ∈ C (s, d), qσ > 0⇒ c(σ) = minc(σ) : σ ∈ C (s, d).
Cette condition est bien connue sous le nom d’equilibre de Wardrop.L’existence d’au moins un equilibre vient du principe variationnelsuivant.
Filippo Santambrogio Trafic Congestionne
![Page 31: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/31.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equilibries de Wardrop
La strategie globale q represente la distribution des choix des voyageurs.Imposer un equilibre de Nash (personne ne veut changer d’avis si lesautres ne changent pas) donne lieu a la condition :
σ ∈ C (s, d), qσ > 0⇒ c(σ) = minc(σ) : σ ∈ C (s, d).
Cette condition est bien connue sous le nom d’equilibre de Wardrop.L’existence d’au moins un equilibre vient du principe variationnelsuivant.
Filippo Santambrogio Trafic Congestionne
![Page 32: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/32.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Principe Variationnel
Optimiser un cout global de congestion signifie minimiser une quantite∑e H(iq(e)) long(e) (H : R+ → R+ etant une fonction croissante : par
exemple, avec H(t) = tg(t) on trouve le cout total pour tous lesvoyageurs) parmi toutes les strategies possibles q.Conditions d’optimalite : si q est optimal, alors il est un equilibre deWardrop pour g = H ′.Pour trouver un equilibre de Wardrop il est suffisant resoudre unprobleme d’optimisation convexe (ou H sera une primitive de g).Sauf si g(t) = tp, ce probleme ne correspond pas a minimiser le couttotal des voyageurs !
Filippo Santambrogio Trafic Congestionne
![Page 33: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/33.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Principe Variationnel
Optimiser un cout global de congestion signifie minimiser une quantite∑e H(iq(e)) long(e) (H : R+ → R+ etant une fonction croissante : par
exemple, avec H(t) = tg(t) on trouve le cout total pour tous lesvoyageurs) parmi toutes les strategies possibles q.Conditions d’optimalite : si q est optimal, alors il est un equilibre deWardrop pour g = H ′.Pour trouver un equilibre de Wardrop il est suffisant resoudre unprobleme d’optimisation convexe (ou H sera une primitive de g).Sauf si g(t) = tp, ce probleme ne correspond pas a minimiser le couttotal des voyageurs !
Filippo Santambrogio Trafic Congestionne
![Page 34: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/34.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Principe Variationnel
Optimiser un cout global de congestion signifie minimiser une quantite∑e H(iq(e)) long(e) (H : R+ → R+ etant une fonction croissante : par
exemple, avec H(t) = tg(t) on trouve le cout total pour tous lesvoyageurs) parmi toutes les strategies possibles q.Conditions d’optimalite : si q est optimal, alors il est un equilibre deWardrop pour g = H ′.Pour trouver un equilibre de Wardrop il est suffisant resoudre unprobleme d’optimisation convexe (ou H sera une primitive de g).Sauf si g(t) = tp, ce probleme ne correspond pas a minimiser le couttotal des voyageurs !
Filippo Santambrogio Trafic Congestionne
![Page 35: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/35.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Formulation avec les mesures
Dans un domaine Ω ⊂ Rn la demande est representee par des probasγ ∈ P(Ω× Ω). On se donne un ensemble Γ ⊂ P(Ω× Ω) de demandesadmissibles : typiquement Γ = γ ou
Γ = Π(µ, ν) = γ ∈ P(Ω× Ω) : (πX )]γ = µ, (πY )]γ = ν.
Posons aussi
C = chemins Lipschitz σ : [0, 1]→ ΩC (s, d) = σ ∈ C : σ(0) = s,, σ(1) = d.
On cherche une proba Q ∈ P(C ) telle que (π0,1)]Q ∈ Γ : elle peuts’exprimer comme Q = Qs,d ⊗ γ avec Qs,d ∈ P(C (s, d)).On veut definir une intensite de trafic iQ ∈M+(Ω) telle que
iQ(A) = “combien ” le mouvement se deroule en A . . .
Filippo Santambrogio Trafic Congestionne
![Page 36: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/36.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Formulation avec les mesures
Dans un domaine Ω ⊂ Rn la demande est representee par des probasγ ∈ P(Ω× Ω). On se donne un ensemble Γ ⊂ P(Ω× Ω) de demandesadmissibles : typiquement Γ = γ ou
Γ = Π(µ, ν) = γ ∈ P(Ω× Ω) : (πX )]γ = µ, (πY )]γ = ν.
Posons aussi
C = chemins Lipschitz σ : [0, 1]→ ΩC (s, d) = σ ∈ C : σ(0) = s,, σ(1) = d.
On cherche une proba Q ∈ P(C ) telle que (π0,1)]Q ∈ Γ : elle peuts’exprimer comme Q = Qs,d ⊗ γ avec Qs,d ∈ P(C (s, d)).On veut definir une intensite de trafic iQ ∈M+(Ω) telle que
iQ(A) = “combien ” le mouvement se deroule en A . . .
Filippo Santambrogio Trafic Congestionne
![Page 37: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/37.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Formulation avec les mesures
Dans un domaine Ω ⊂ Rn la demande est representee par des probasγ ∈ P(Ω× Ω). On se donne un ensemble Γ ⊂ P(Ω× Ω) de demandesadmissibles : typiquement Γ = γ ou
Γ = Π(µ, ν) = γ ∈ P(Ω× Ω) : (πX )]γ = µ, (πY )]γ = ν.
Posons aussi
C = chemins Lipschitz σ : [0, 1]→ ΩC (s, d) = σ ∈ C : σ(0) = s,, σ(1) = d.
On cherche une proba Q ∈ P(C ) telle que (π0,1)]Q ∈ Γ : elle peuts’exprimer comme Q = Qs,d ⊗ γ avec Qs,d ∈ P(C (s, d)).On veut definir une intensite de trafic iQ ∈M+(Ω) telle que
iQ(A) = “combien ” le mouvement se deroule en A . . .
Filippo Santambrogio Trafic Congestionne
![Page 38: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/38.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Formulation avec les mesures
Dans un domaine Ω ⊂ Rn la demande est representee par des probasγ ∈ P(Ω× Ω). On se donne un ensemble Γ ⊂ P(Ω× Ω) de demandesadmissibles : typiquement Γ = γ ou
Γ = Π(µ, ν) = γ ∈ P(Ω× Ω) : (πX )]γ = µ, (πY )]γ = ν.
Posons aussi
C = chemins Lipschitz σ : [0, 1]→ ΩC (s, d) = σ ∈ C : σ(0) = s,, σ(1) = d.
On cherche une proba Q ∈ P(C ) telle que (π0,1)]Q ∈ Γ : elle peuts’exprimer comme Q = Qs,d ⊗ γ avec Qs,d ∈ P(C (s, d)).On veut definir une intensite de trafic iQ ∈M+(Ω) telle que
iQ(A) = “combien ” le mouvement se deroule en A . . .
Filippo Santambrogio Trafic Congestionne
![Page 39: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/39.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Formulation avec les mesures
Dans un domaine Ω ⊂ Rn la demande est representee par des probasγ ∈ P(Ω× Ω). On se donne un ensemble Γ ⊂ P(Ω× Ω) de demandesadmissibles : typiquement Γ = γ ou
Γ = Π(µ, ν) = γ ∈ P(Ω× Ω) : (πX )]γ = µ, (πY )]γ = ν.
Posons aussi
C = chemins Lipschitz σ : [0, 1]→ ΩC (s, d) = σ ∈ C : σ(0) = s,, σ(1) = d.
On cherche une proba Q ∈ P(C ) telle que (π0,1)]Q ∈ Γ : elle peuts’exprimer comme Q = Qs,d ⊗ γ avec Qs,d ∈ P(C (s, d)).On veut definir une intensite de trafic iQ ∈M+(Ω) telle que
iQ(A) = “combien ” le mouvement se deroule en A . . .
Filippo Santambrogio Trafic Congestionne
![Page 40: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/40.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Intensite de trafic et congestion totale
Pour φ ∈ C 0(Ω) et σ ∈ C posons
Lφ(σ) =
∫ 1
0
φ(σ(t))|σ′(t)|dt.
Definissons iQ par
< iQ , φ >=
∫C
Lφ(σ)Q(dσ).
(P) : Optimisation : on minimise la fonctionnelle convexe
F (iQ) =
∫H(iq(x))dx si iq << Ln,
+∞ sinon
parmi toutes les strategies possibles Q, H etant une fonction convexe,croissante et surlineaire. Typiquement H(t) = tp (car c’est simple) ouH(t) = t + tp (plus raisonnable).
Filippo Santambrogio Trafic Congestionne
![Page 41: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/41.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Intensite de trafic et congestion totale
Pour φ ∈ C 0(Ω) et σ ∈ C posons
Lφ(σ) =
∫ 1
0
φ(σ(t))|σ′(t)|dt.
Definissons iQ par
< iQ , φ >=
∫C
Lφ(σ)Q(dσ).
(P) : Optimisation : on minimise la fonctionnelle convexe
F (iQ) =
∫H(iq(x))dx si iq << Ln,
+∞ sinon
parmi toutes les strategies possibles Q, H etant une fonction convexe,croissante et surlineaire. Typiquement H(t) = tp (car c’est simple) ouH(t) = t + tp (plus raisonnable).
Filippo Santambrogio Trafic Congestionne
![Page 42: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/42.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Intensite de trafic et congestion totale
Pour φ ∈ C 0(Ω) et σ ∈ C posons
Lφ(σ) =
∫ 1
0
φ(σ(t))|σ′(t)|dt.
Definissons iQ par
< iQ , φ >=
∫C
Lφ(σ)Q(dσ).
(P) : Optimisation : on minimise la fonctionnelle convexe
F (iQ) =
∫H(iq(x))dx si iq << Ln,
+∞ sinon
parmi toutes les strategies possibles Q, H etant une fonction convexe,croissante et surlineaire. Typiquement H(t) = tp (car c’est simple) ouH(t) = t + tp (plus raisonnable).
Filippo Santambrogio Trafic Congestionne
![Page 43: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/43.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 44: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/44.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 45: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/45.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 46: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/46.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 47: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/47.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 48: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/48.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 49: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/49.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Conditions d’optimalite
Soit Q = Qs,d ⊗ γ un minimiseur et ξ = H ′(iQ). Pour ξ ≥ 0 posons
cξ(s, d) = infσ∈C(s,d)
Lξ(σ)
(c’est en fait la metrique Riemanienne engendree par ξ).
γ minimise∫
cξdγ sous la contrainte γ ∈ Γ,
Q−p.p. Lξ(σ) = cξ(σ(0), σ(1)).
Donc γ resout un problem de transport (Kantorovitch) et presquetout chemin est geodesique (c’est donc un equilibre de Wardrop avecg = H ′).Probleme : ξ n’est pas du tout regulier, il est Lp′
.Solutions : travailler dur pour definir cξ pour ξ ∈ Lp′
ou bien prouver dela regularite. . .
Filippo Santambrogio Trafic Congestionne
![Page 50: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/50.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Finitude du minimum
Pour applique la theorie, on veut min F (iQ) < +∞.
si Γ = Π(µ, ν), alors on peut prendre Q optimal pour le probleme deMonge et appliquer les resultats de De Pascale - Pratelli pour avoirdes estimations Lp sur la densite de transport ;
si Γ = γ et µ = ν = Ln on peut utiliser la mecanique des fluidesincompressibles et trouver un Q concentre sur des courbesL−Lipschitz avec (πt)]Q = µ, ce qui donne iQ ∈ L∞ (et, encomposant avec des diffeos, on arrive jusqu’a µ, ν ∈ Lp) ;
si Γ = γ et µ et ν sont discretes on peut faire a la main un Q telque iQ(x) ≈ |x − xi |−1 pres des atomes xi , ce qui donne iQ ∈ Lp
pour p < n.
Filippo Santambrogio Trafic Congestionne
![Page 51: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/51.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Finitude du minimum
Pour applique la theorie, on veut min F (iQ) < +∞.
si Γ = Π(µ, ν), alors on peut prendre Q optimal pour le probleme deMonge et appliquer les resultats de De Pascale - Pratelli pour avoirdes estimations Lp sur la densite de transport ;
si Γ = γ et µ = ν = Ln on peut utiliser la mecanique des fluidesincompressibles et trouver un Q concentre sur des courbesL−Lipschitz avec (πt)]Q = µ, ce qui donne iQ ∈ L∞ (et, encomposant avec des diffeos, on arrive jusqu’a µ, ν ∈ Lp) ;
si Γ = γ et µ et ν sont discretes on peut faire a la main un Q telque iQ(x) ≈ |x − xi |−1 pres des atomes xi , ce qui donne iQ ∈ Lp
pour p < n.
Filippo Santambrogio Trafic Congestionne
![Page 52: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/52.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Finitude du minimum
Pour applique la theorie, on veut min F (iQ) < +∞.
si Γ = Π(µ, ν), alors on peut prendre Q optimal pour le probleme deMonge et appliquer les resultats de De Pascale - Pratelli pour avoirdes estimations Lp sur la densite de transport ;
si Γ = γ et µ = ν = Ln on peut utiliser la mecanique des fluidesincompressibles et trouver un Q concentre sur des courbesL−Lipschitz avec (πt)]Q = µ, ce qui donne iQ ∈ L∞ (et, encomposant avec des diffeos, on arrive jusqu’a µ, ν ∈ Lp) ;
si Γ = γ et µ et ν sont discretes on peut faire a la main un Q telque iQ(x) ≈ |x − xi |−1 pres des atomes xi , ce qui donne iQ ∈ Lp
pour p < n.
Filippo Santambrogio Trafic Congestionne
![Page 53: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/53.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Finitude du minimum
Pour applique la theorie, on veut min F (iQ) < +∞.
si Γ = Π(µ, ν), alors on peut prendre Q optimal pour le probleme deMonge et appliquer les resultats de De Pascale - Pratelli pour avoirdes estimations Lp sur la densite de transport ;
si Γ = γ et µ = ν = Ln on peut utiliser la mecanique des fluidesincompressibles et trouver un Q concentre sur des courbesL−Lipschitz avec (πt)]Q = µ, ce qui donne iQ ∈ L∞ (et, encomposant avec des diffeos, on arrive jusqu’a µ, ν ∈ Lp) ;
si Γ = γ et µ et ν sont discretes on peut faire a la main un Q telque iQ(x) ≈ |x − xi |−1 pres des atomes xi , ce qui donne iQ ∈ Lp
pour p < n.
Filippo Santambrogio Trafic Congestionne
![Page 54: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/54.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Applications
Ou utiliser un modele continu plutot que des reseaux ?Dans le mouvement des foules et des pietons, par exemple.En tant que limite a grande echelle des modeles pour les vehicules.
G. Carlier, C. Jimenez , F. Santambrogio, Optimal transportation with traffic
congestion and Wardrop equilibria, SIAM Journal on Control and Opt. 47 (3) :
1330–1350, 2008.
Filippo Santambrogio Trafic Congestionne
![Page 55: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/55.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Applications
Ou utiliser un modele continu plutot que des reseaux ?Dans le mouvement des foules et des pietons, par exemple.En tant que limite a grande echelle des modeles pour les vehicules.
G. Carlier, C. Jimenez , F. Santambrogio, Optimal transportation with traffic
congestion and Wardrop equilibria, SIAM Journal on Control and Opt. 47 (3) :
1330–1350, 2008.
Filippo Santambrogio Trafic Congestionne
![Page 56: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/56.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Applications
Ou utiliser un modele continu plutot que des reseaux ?Dans le mouvement des foules et des pietons, par exemple.En tant que limite a grande echelle des modeles pour les vehicules.
G. Carlier, C. Jimenez , F. Santambrogio, Optimal transportation with traffic
congestion and Wardrop equilibria, SIAM Journal on Control and Opt. 47 (3) :
1330–1350, 2008.
Filippo Santambrogio Trafic Congestionne
![Page 57: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/57.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Applications
Ou utiliser un modele continu plutot que des reseaux ?Dans le mouvement des foules et des pietons, par exemple.En tant que limite a grande echelle des modeles pour les vehicules.
G. Carlier, C. Jimenez , F. Santambrogio, Optimal transportation with traffic
congestion and Wardrop equilibria, SIAM Journal on Control and Opt. 47 (3) :
1330–1350, 2008.
Filippo Santambrogio Trafic Congestionne
![Page 58: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/58.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Applications
Ou utiliser un modele continu plutot que des reseaux ?Dans le mouvement des foules et des pietons, par exemple.En tant que limite a grande echelle des modeles pour les vehicules.
G. Carlier, C. Jimenez , F. Santambrogio, Optimal transportation with traffic
congestion and Wardrop equilibria, SIAM Journal on Control and Opt. 47 (3) :
1330–1350, 2008.
Filippo Santambrogio Trafic Congestionne
![Page 59: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/59.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 60: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/60.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 61: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/61.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 62: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/62.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 63: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/63.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 64: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/64.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 65: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/65.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 66: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/66.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Probleme vectoriel
Definissons une espece d’intensite de trafic vectorielle : soit λq ∈Mn(Ω)donnee par
< λQ , φ >=
∫C
(∫ 1
0
φ(σ(t)) · σ′(t) dt
)Q(dσ)
pour tout φ ∈ C 0(Ω; Rn).On peut verifier ∇ ·λQ = (π0)#Q − (π1)#Q = µ− ν. De plus, |λQ | ≤ iQ .Question : peut-on remplacer iQ avec |λQ | ? peut-on minimiser parmitous les λ ∈Mn(Ω) avec ∇ · λ = µ− ν ?Soit H(z) = H(|z |) : on considere
(PV ) : min
∫H(λ) : ∇ · λ = µ− ν.
Attention : ceci marche pour Γ = Π(µ, ν) seulement.
Filippo Santambrogio Trafic Congestionne
![Page 67: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/67.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equivalence
Evidemment on a (PV ) ≤ (P). Prenons λ un minimiseur de (PV ) etconstruisons un Q tel que iQ ≤ |λ|.Idee formelle : pour tout x ∈ Ω resoudre
σ′x(t) = λ(σx (t))(1−t)µ(σx (t))+tν(σx (t))
σx(0) = x .
Soit T : Ω→ C l’application x 7→ σx . La mesure Q = T#µ satisfait(πt)#Q = µt := (1− t)µ+ tν (comme dans Evans-Gangbo). De plus
∫φdiQ =
∫ ∫ 1
0
φ(σx(t))|σ′x(t)| dt dµ =
∫ 1
0
dt
∫φ(σx(t))
|λ(σx(t))|µt(σx(t))
dµ
=
∫ 1
0
dt
∫φ|λ|µt
dµt =
∫φ|λ|.
Filippo Santambrogio Trafic Congestionne
![Page 68: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/68.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equivalence
Evidemment on a (PV ) ≤ (P). Prenons λ un minimiseur de (PV ) etconstruisons un Q tel que iQ ≤ |λ|.Idee formelle : pour tout x ∈ Ω resoudre
σ′x(t) = λ(σx (t))(1−t)µ(σx (t))+tν(σx (t))
σx(0) = x .
Soit T : Ω→ C l’application x 7→ σx . La mesure Q = T#µ satisfait(πt)#Q = µt := (1− t)µ+ tν (comme dans Evans-Gangbo). De plus
∫φdiQ =
∫ ∫ 1
0
φ(σx(t))|σ′x(t)| dt dµ =
∫ 1
0
dt
∫φ(σx(t))
|λ(σx(t))|µt(σx(t))
dµ
=
∫ 1
0
dt
∫φ|λ|µt
dµt =
∫φ|λ|.
Filippo Santambrogio Trafic Congestionne
![Page 69: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/69.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equivalence
Evidemment on a (PV ) ≤ (P). Prenons λ un minimiseur de (PV ) etconstruisons un Q tel que iQ ≤ |λ|.Idee formelle : pour tout x ∈ Ω resoudre
σ′x(t) = λ(σx (t))(1−t)µ(σx (t))+tν(σx (t))
σx(0) = x .
Soit T : Ω→ C l’application x 7→ σx . La mesure Q = T#µ satisfait(πt)#Q = µt := (1− t)µ+ tν (comme dans Evans-Gangbo). De plus
∫φdiQ =
∫ ∫ 1
0
φ(σx(t))|σ′x(t)| dt dµ =
∫ 1
0
dt
∫φ(σx(t))
|λ(σx(t))|µt(σx(t))
dµ
=
∫ 1
0
dt
∫φ|λ|µt
dµt =
∫φ|λ|.
Filippo Santambrogio Trafic Congestionne
![Page 70: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/70.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equivalence
Evidemment on a (PV ) ≤ (P). Prenons λ un minimiseur de (PV ) etconstruisons un Q tel que iQ ≤ |λ|.Idee formelle : pour tout x ∈ Ω resoudre
σ′x(t) = λ(σx (t))(1−t)µ(σx (t))+tν(σx (t))
σx(0) = x .
Soit T : Ω→ C l’application x 7→ σx . La mesure Q = T#µ satisfait(πt)#Q = µt := (1− t)µ+ tν (comme dans Evans-Gangbo). De plus
∫φdiQ =
∫ ∫ 1
0
φ(σx(t))|σ′x(t)| dt dµ =
∫ 1
0
dt
∫φ(σx(t))
|λ(σx(t))|µt(σx(t))
dµ
=
∫ 1
0
dt
∫φ|λ|µt
dµt =
∫φ|λ|.
Filippo Santambrogio Trafic Congestionne
![Page 71: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/71.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equivalence
Evidemment on a (PV ) ≤ (P). Prenons λ un minimiseur de (PV ) etconstruisons un Q tel que iQ ≤ |λ|.Idee formelle : pour tout x ∈ Ω resoudre
σ′x(t) = λ(σx (t))(1−t)µ(σx (t))+tν(σx (t))
σx(0) = x .
Soit T : Ω→ C l’application x 7→ σx . La mesure Q = T#µ satisfait(πt)#Q = µt := (1− t)µ+ tν (comme dans Evans-Gangbo). De plus
∫φdiQ =
∫ ∫ 1
0
φ(σx(t))|σ′x(t)| dt dµ =
∫ 1
0
dt
∫φ(σx(t))
|λ(σx(t))|µt(σx(t))
dµ
=
∫ 1
0
dt
∫φ|λ|µt
dµt =
∫φ|λ|.
Filippo Santambrogio Trafic Congestionne
![Page 72: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/72.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Equivalence
Evidemment on a (PV ) ≤ (P). Prenons λ un minimiseur de (PV ) etconstruisons un Q tel que iQ ≤ |λ|.Idee formelle : pour tout x ∈ Ω resoudre
σ′x(t) = λ(σx (t))(1−t)µ(σx (t))+tν(σx (t))
σx(0) = x .
Soit T : Ω→ C l’application x 7→ σx . La mesure Q = T#µ satisfait(πt)#Q = µt := (1− t)µ+ tν (comme dans Evans-Gangbo). De plus
∫φdiQ =
∫ ∫ 1
0
φ(σx(t))|σ′x(t)| dt dµ =
∫ 1
0
dt
∫φ(σx(t))
|λ(σx(t))|µt(σx(t))
dµ
=
∫ 1
0
dt
∫φ|λ|µt
dµt =
∫φ|λ|.
Filippo Santambrogio Trafic Congestionne
![Page 73: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/73.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 74: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/74.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 75: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/75.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 76: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/76.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 77: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/77.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 78: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/78.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 79: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/79.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 80: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/80.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 81: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/81.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 82: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/82.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 83: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/83.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 84: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/84.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 85: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/85.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Besoin de regularite
Tout marcherait si λ/µt etait Lipschitz.λ satisfait ∇H(λ) = ∇u (perturbations a divergence nulle).
λ = H∗(∇u); ∇ · ∇H∗(∇u) = µ− ν.
Si H(t) = t2 : regularite elliptique standard !Si H(t) = tp : p′−Laplacien !Et si H(t) = t + tp ? Dans ce cas H∗(z) = 0 pour tout z ∈ B1.Moins que Lipschitz peut suffir ? oui, on peut se contenter de la theoriede DiPerna Lions. Il faut λ/µt ∈W 1,1 et ∇ ·
(λ/µt
)∈ L∞.
A cause de ∇ ·(λ/µt
)= ∇ · λ/µt − λ · ∇µt/µ
2t on suppose µ, ν ≥ c > 0
et µ, ν Lipschitz.
Filippo Santambrogio Trafic Congestionne
![Page 86: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/86.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 87: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/87.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 88: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/88.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 89: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/89.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 90: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/90.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 91: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/91.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 92: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/92.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 93: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/93.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 94: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/94.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 95: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/95.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 96: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/96.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 97: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/97.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Voila
Regularite pour une equation tres degeneree :
∇ · G (∇u) = f
avec G (z) = (|z | − 1)p′−1+
z|z| et f ∈W 1,p : G (∇u) ∈W 1,2 ∩ L∞. Pour la
preuve : adaption des methodes des increments pour le p−Laplacien.L. Brasco, G. Carlier, F. Santambrogio, Congested traffic dynamics, weak flows
and very degenerate elliptic equations, J. Math. Pures et Appl., to appear.
∇ · G (∇u) = f
avec G = ∇H, D2H(z) ≥ cδIn pour tout z /∈ B1+δ, f ∈ L2+ε , n = 2 :G (∇u) ∈W 1,2 ⇒ g(∇u) ∈ C 0 pour tout g ∈ C 0(R2) avec g = 0 sur B1.F. Santambrogio, V. Vespri, Continuity in two dimensions for a very degenerate
elliptic equation, en preparation.
Filippo Santambrogio Trafic Congestionne
![Page 98: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/98.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Le probleme dual
(P) = minQ admissible
∫Ω
H(iQ);
(D) = maxξ≥0−∫
H∗(ξ) +
(minγ∈Γ
∫cξdγ
).
Si Γ = Π(µ, ν) alors minγ∈Γ
∫cξdγ = Wcξ
(µ, ν) est la valeur d’unprobleme de trasnport. Si Γ = γ on a evidemment(D) = maxξ≥0−
∫H∗(ξ) +
∫cξdγ.
Dualite : (P) = (D).
Remarque : (DV ) = maxu
∫uf −
∫H∗(∇u); et, si Γ = Π(µ, ν),
(D) = maxu,ξ : |∇u|≤ξ∫
uf −∫
H∗(ξ).
Filippo Santambrogio Trafic Congestionne
![Page 99: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/99.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Le probleme dual
(P) = minQ admissible
∫Ω
H(iQ);
(D) = maxξ≥0−∫
H∗(ξ) +
(minγ∈Γ
∫cξdγ
).
Si Γ = Π(µ, ν) alors minγ∈Γ
∫cξdγ = Wcξ
(µ, ν) est la valeur d’unprobleme de trasnport. Si Γ = γ on a evidemment(D) = maxξ≥0−
∫H∗(ξ) +
∫cξdγ.
Dualite : (P) = (D).
Remarque : (DV ) = maxu
∫uf −
∫H∗(∇u); et, si Γ = Π(µ, ν),
(D) = maxu,ξ : |∇u|≤ξ∫
uf −∫
H∗(ξ).
Filippo Santambrogio Trafic Congestionne
![Page 100: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/100.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Le probleme dual
(P) = minQ admissible
∫Ω
H(iQ);
(D) = maxξ≥0−∫
H∗(ξ) +
(minγ∈Γ
∫cξdγ
).
Si Γ = Π(µ, ν) alors minγ∈Γ
∫cξdγ = Wcξ
(µ, ν) est la valeur d’unprobleme de trasnport. Si Γ = γ on a evidemment(D) = maxξ≥0−
∫H∗(ξ) +
∫cξdγ.
Dualite : (P) = (D).
Remarque : (DV ) = maxu
∫uf −
∫H∗(∇u); et, si Γ = Π(µ, ν),
(D) = maxu,ξ : |∇u|≤ξ∫
uf −∫
H∗(ξ).
Filippo Santambrogio Trafic Congestionne
![Page 101: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/101.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Le probleme dual
(P) = minQ admissible
∫Ω
H(iQ);
(D) = maxξ≥0−∫
H∗(ξ) +
(minγ∈Γ
∫cξdγ
).
Si Γ = Π(µ, ν) alors minγ∈Γ
∫cξdγ = Wcξ
(µ, ν) est la valeur d’unprobleme de trasnport. Si Γ = γ on a evidemment(D) = maxξ≥0−
∫H∗(ξ) +
∫cξdγ.
Dualite : (P) = (D).
Remarque : (DV ) = maxu
∫uf −
∫H∗(∇u); et, si Γ = Π(µ, ν),
(D) = maxu,ξ : |∇u|≤ξ∫
uf −∫
H∗(ξ).
Filippo Santambrogio Trafic Congestionne
![Page 102: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/102.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Le probleme dual
(P) = minQ admissible
∫Ω
H(iQ);
(D) = maxξ≥0−∫
H∗(ξ) +
(minγ∈Γ
∫cξdγ
).
Si Γ = Π(µ, ν) alors minγ∈Γ
∫cξdγ = Wcξ
(µ, ν) est la valeur d’unprobleme de trasnport. Si Γ = γ on a evidemment(D) = maxξ≥0−
∫H∗(ξ) +
∫cξdγ.
Dualite : (P) = (D).
Remarque : (DV ) = maxu
∫uf −
∫H∗(∇u); et, si Γ = Π(µ, ν),
(D) = maxu,ξ : |∇u|≤ξ∫
uf −∫
H∗(ξ).
Filippo Santambrogio Trafic Congestionne
![Page 103: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/103.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Le probleme dual
(P) = minQ admissible
∫Ω
H(iQ);
(D) = maxξ≥0−∫
H∗(ξ) +
(minγ∈Γ
∫cξdγ
).
Si Γ = Π(µ, ν) alors minγ∈Γ
∫cξdγ = Wcξ
(µ, ν) est la valeur d’unprobleme de trasnport. Si Γ = γ on a evidemment(D) = maxξ≥0−
∫H∗(ξ) +
∫cξdγ.
Dualite : (P) = (D).
Remarque : (DV ) = maxu
∫uf −
∫H∗(∇u); et, si Γ = Π(µ, ν),
(D) = maxu,ξ : |∇u|≤ξ∫
uf −∫
H∗(ξ).
Filippo Santambrogio Trafic Congestionne
![Page 104: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/104.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 105: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/105.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 106: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/106.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 107: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/107.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 108: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/108.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 109: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/109.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 110: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/110.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 111: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/111.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 112: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/112.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Dualite et numerique
Dans le cas discret (reseaux) le probleme dual est souvent analyse plutotque le primal. D’un ξ optimal on peut retrouver la densite de trafic parH ′(iQ) = ξ.Le probleme dual demande le calcul des distances geodesiques selon ξ,(solution de viscosite de |∇U| = ξ).Calcul numerique par Fast Marching Method : resolution du systeme
(DxU)2i,j + (DyU)2
i,j = h2(ξi,j)2,
(DxU)i,j := max(Ui,j − Ui−1,j), (Ui,j − Ui+1,j), 0/h,(DyU)i,j := max(Ui,j − Ui,j−1), (Ui,j − Ui,j+1), 0/h.
F. Benmansour, G. Carlier, G. Peyre, F. Santambrogio,Numerical Approximation of Continuous Traffic Congestion Equilibria, Net.Het. Media, a paraıtre.
Derivatives with respect to metrics and applications : Subgradient Marching
Algorithm, soumisFilippo Santambrogio Trafic Congestionne
![Page 113: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/113.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 114: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/114.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 115: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/115.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 116: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/116.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 117: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/117.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 118: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/118.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 119: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/119.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 120: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/120.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 121: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/121.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 122: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/122.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 123: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/123.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Calcul du sous-gradient par FMM
On veut calculer Ux0,ξ(y) et puis laisser ξ varier. Dans le cas continu, si ξest remplace par ξ + εh, on a
d
dεUx0,ξ+εh(y) =
∫ 1
0
h(σx0,y (t))|σ′x0,y (t)| dt
le long d’une geodesique σx0,y (par rapport a ξ).Ici en tout point y on peut ecrire
soit (U(y)−U(y1))2+(U(y)−U(y2))2 = ξ2(y) soit U(y)−U(y1) = hξ(y),
Pour un ou deux parents y1, y2. Si ξ varie on a soit
δU(y) =2h2ξ(y)δξ(y) + δU(y1)(U(y)− U(y1)) + δU(y2)(U(y)− U(y2))
2U(y)− U(y1)− U(y2)
soit δU(y) = hδξ(y) + δU(y1). On peut donc calculer ∇ξU(y) demaniere recursive, dans le meme cycle du FMM.
Filippo Santambrogio Trafic Congestionne
![Page 124: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/124.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 125: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/125.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 126: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/126.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 127: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/127.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 128: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/128.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 129: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/129.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 130: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/130.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 131: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/131.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 132: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/132.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Convergences
On utilise un algorithme de sous-gradient sur une discretisation duprobleme dual. La convergence vers le minimiseur est assure par deshypotheses standard sur les pas ρ.
ξ(1) = 1; ξ(k+1) = max0, ξ(k) − ρkw(k)
ou (w (k))i,j = (H∗)′(ξ(k)i,j ) + (v (k))i,j ∈ ∂J(ξ(k))
etv (k) appartient au sous-differentiel de la partie avec UEt la convergence quand le pas de la grille h→ 0 ? Nous prouvonsΓ-convergence a la De Giorgi.Ingredient principaux : si ξ ∈ C 0 le FMM donne une approximation deUξ ; si ξh ξ dans Lp (fonctions constantes sur les cellules de la grille),et Uh sont les solutions calculees par le FMM, alors
lim suph→0
Uh(y) ≤ Uξ(y),
ou Uξ est la solution de |∇U| = ξ (a definir, car ξ n’est que Lp).Filippo Santambrogio Trafic Congestionne
![Page 133: Une th eorie continue pour le tra c congestionn e : …...logo Plan Mod eles Discrets Mod eles Continus Divergence Fix ee Dualit e et discretisation 1 Mod eles discrets pour le tra](https://reader030.vdocuments.net/reader030/viewer/2022040302/5e8442726029362281757977/html5/thumbnails/133.jpg)
logo
PlanModeles Discrets
Modeles ContinusDivergence Fixee
Dualite et discretisation
Et maintenant . . .. . .resultats numeriques
Filippo Santambrogio Trafic Congestionne