<p>This paper deals with a variant of the optimal transportation problem. Given <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(f \in L^1( \mathbb {R}^d, [0,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo>,</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and a cost function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(c \in C(\mathbb {R}^d \times \mathbb {R}^d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>∈</mo> <mi>C</mi> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the form <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(c(x,y)=k(y-x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>k</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo>-</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we minimise <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\( \smallint c \,d\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo largeop="false">∫</mo> <mi>c</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>γ</mi> </mrow> </math></EquationSource> </InlineEquation> among transport plans <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> whose first marginal is <i>f</i> and whose second marginal is not prescribed but constrained to be smaller than <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(1-f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>-</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>. Denoting by <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Upsilon (f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Υ</mi> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the infimum of this problem, we then consider the maximisation problem <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="156" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sup \{\Upsilon (f): \, \smallint f = m \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">sup</mo> <mo stretchy="false">{</mo> <mi mathvariant="normal">Υ</mi> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> <mo>:</mo> <mspace width="0.166667em" /> <mo largeop="false">∫</mo> <mi>f</mi> <mo>=</mo> <mi>m</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2900_Article_IEq9.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(m &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is given. We prove that maximisers exist under general assumptions on <i>k</i>, and that for <i>k</i> radial, increasing and coercive these maximisers are the characteristic functions of the balls of volume&#xa0;<i>m</i>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

An exterior optimal transport problem

  • Jules Candau-Tilh,
  • Michael Goldman,
  • Benoit Merlet

摘要

This paper deals with a variant of the optimal transportation problem. Given \(f \in L^1( \mathbb {R}^d, [0,1])\) f L 1 ( R d , [ 0 , 1 ] ) and a cost function \(c \in C(\mathbb {R}^d \times \mathbb {R}^d)\) c C ( R d × R d ) of the form \(c(x,y)=k(y-x)\) c ( x , y ) = k ( y - x ) , we minimise \( \smallint c \,d\gamma \) c d γ among transport plans \(\gamma \) γ whose first marginal is f and whose second marginal is not prescribed but constrained to be smaller than \(1-f\) 1 - f . Denoting by \(\Upsilon (f)\) Υ ( f ) the infimum of this problem, we then consider the maximisation problem \(\sup \{\Upsilon (f): \, \smallint f = m \}\) sup { Υ ( f ) : f = m } where \(m > 0\) m > 0 is given. We prove that maximisers exist under general assumptions on k, and that for k radial, increasing and coercive these maximisers are the characteristic functions of the balls of volume m.