Wasserstein penalization for time dependent measures











up vote
0
down vote

favorite












I have time dependant measures, say $mu: [0,T] rightarrow mathcal{M}(Omega)$ and I'm looking to define a penalization in this space that would measure the amount of displacement in space through time.



My first option is to consider the Wasserstein metric. The simplest example I can think of is that for two time measurements $0leq t_1<t_2 leq T$, the following penalization can be considered
$$ P_2(mu) = W_2(mu(t_1), mu(t_2))$$



More generally, I could consider for $0 = t_0 < ldots < t_n = T$
$$ P_n(mu) = frac{1}{N} sum_{i=0}^{n-1} W_2(mu(t_i), mu(t_{i+1}))$$



So my question is, what happens when the limit $lim_{nrightarrow infty} P_n(mu)$ is considered? Does it has any name I could search in the literature?










share|cite|improve this question


















  • 1




    You have to specify how you choose your partition to make this limit well-defined. Presumably you want that the mesh of the partition goes to zero, right? In this case, $n P_n(mu)$ converges to the length of $mu$ in the Wasserstein space. Thus $P_n(mu)$ converges to zero if $mu$ has finite length.
    – MaoWao
    Nov 14 at 10:17










  • Oh thanks, I didn't noticed that the closet the times are, the closer is it's wasserstein distance (It's obvious now). So indeed this converges to the arclength using the Wasserstein distance. Has this being studied somewhere?
    – pancho
    Nov 14 at 10:48















up vote
0
down vote

favorite












I have time dependant measures, say $mu: [0,T] rightarrow mathcal{M}(Omega)$ and I'm looking to define a penalization in this space that would measure the amount of displacement in space through time.



My first option is to consider the Wasserstein metric. The simplest example I can think of is that for two time measurements $0leq t_1<t_2 leq T$, the following penalization can be considered
$$ P_2(mu) = W_2(mu(t_1), mu(t_2))$$



More generally, I could consider for $0 = t_0 < ldots < t_n = T$
$$ P_n(mu) = frac{1}{N} sum_{i=0}^{n-1} W_2(mu(t_i), mu(t_{i+1}))$$



So my question is, what happens when the limit $lim_{nrightarrow infty} P_n(mu)$ is considered? Does it has any name I could search in the literature?










share|cite|improve this question


















  • 1




    You have to specify how you choose your partition to make this limit well-defined. Presumably you want that the mesh of the partition goes to zero, right? In this case, $n P_n(mu)$ converges to the length of $mu$ in the Wasserstein space. Thus $P_n(mu)$ converges to zero if $mu$ has finite length.
    – MaoWao
    Nov 14 at 10:17










  • Oh thanks, I didn't noticed that the closet the times are, the closer is it's wasserstein distance (It's obvious now). So indeed this converges to the arclength using the Wasserstein distance. Has this being studied somewhere?
    – pancho
    Nov 14 at 10:48













up vote
0
down vote

favorite









up vote
0
down vote

favorite











I have time dependant measures, say $mu: [0,T] rightarrow mathcal{M}(Omega)$ and I'm looking to define a penalization in this space that would measure the amount of displacement in space through time.



My first option is to consider the Wasserstein metric. The simplest example I can think of is that for two time measurements $0leq t_1<t_2 leq T$, the following penalization can be considered
$$ P_2(mu) = W_2(mu(t_1), mu(t_2))$$



More generally, I could consider for $0 = t_0 < ldots < t_n = T$
$$ P_n(mu) = frac{1}{N} sum_{i=0}^{n-1} W_2(mu(t_i), mu(t_{i+1}))$$



So my question is, what happens when the limit $lim_{nrightarrow infty} P_n(mu)$ is considered? Does it has any name I could search in the literature?










share|cite|improve this question













I have time dependant measures, say $mu: [0,T] rightarrow mathcal{M}(Omega)$ and I'm looking to define a penalization in this space that would measure the amount of displacement in space through time.



My first option is to consider the Wasserstein metric. The simplest example I can think of is that for two time measurements $0leq t_1<t_2 leq T$, the following penalization can be considered
$$ P_2(mu) = W_2(mu(t_1), mu(t_2))$$



More generally, I could consider for $0 = t_0 < ldots < t_n = T$
$$ P_n(mu) = frac{1}{N} sum_{i=0}^{n-1} W_2(mu(t_i), mu(t_{i+1}))$$



So my question is, what happens when the limit $lim_{nrightarrow infty} P_n(mu)$ is considered? Does it has any name I could search in the literature?







optimal-transport






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 13 at 9:59









pancho

517210




517210








  • 1




    You have to specify how you choose your partition to make this limit well-defined. Presumably you want that the mesh of the partition goes to zero, right? In this case, $n P_n(mu)$ converges to the length of $mu$ in the Wasserstein space. Thus $P_n(mu)$ converges to zero if $mu$ has finite length.
    – MaoWao
    Nov 14 at 10:17










  • Oh thanks, I didn't noticed that the closet the times are, the closer is it's wasserstein distance (It's obvious now). So indeed this converges to the arclength using the Wasserstein distance. Has this being studied somewhere?
    – pancho
    Nov 14 at 10:48














  • 1




    You have to specify how you choose your partition to make this limit well-defined. Presumably you want that the mesh of the partition goes to zero, right? In this case, $n P_n(mu)$ converges to the length of $mu$ in the Wasserstein space. Thus $P_n(mu)$ converges to zero if $mu$ has finite length.
    – MaoWao
    Nov 14 at 10:17










  • Oh thanks, I didn't noticed that the closet the times are, the closer is it's wasserstein distance (It's obvious now). So indeed this converges to the arclength using the Wasserstein distance. Has this being studied somewhere?
    – pancho
    Nov 14 at 10:48








1




1




You have to specify how you choose your partition to make this limit well-defined. Presumably you want that the mesh of the partition goes to zero, right? In this case, $n P_n(mu)$ converges to the length of $mu$ in the Wasserstein space. Thus $P_n(mu)$ converges to zero if $mu$ has finite length.
– MaoWao
Nov 14 at 10:17




You have to specify how you choose your partition to make this limit well-defined. Presumably you want that the mesh of the partition goes to zero, right? In this case, $n P_n(mu)$ converges to the length of $mu$ in the Wasserstein space. Thus $P_n(mu)$ converges to zero if $mu$ has finite length.
– MaoWao
Nov 14 at 10:17












Oh thanks, I didn't noticed that the closet the times are, the closer is it's wasserstein distance (It's obvious now). So indeed this converges to the arclength using the Wasserstein distance. Has this being studied somewhere?
– pancho
Nov 14 at 10:48




Oh thanks, I didn't noticed that the closet the times are, the closer is it's wasserstein distance (It's obvious now). So indeed this converges to the arclength using the Wasserstein distance. Has this being studied somewhere?
– pancho
Nov 14 at 10:48















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996547%2fwasserstein-penalization-for-time-dependent-measures%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996547%2fwasserstein-penalization-for-time-dependent-measures%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

How do I know what Microsoft account the skydrive app is syncing to?

When does type information flow backwards in C++?

Grease: Live!