<p>To every log-concave function <i>f</i> one may associate a pair of measures <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((\mu _{f},\nu _{f})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <mi>f</mi> </msub> <mo>,</mo> <msub> <mi>ν</mi> <mi>f</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> which are the surface area measures of <i>f</i>. These are a functional extension of the classical surface area measure of a convex body, and measure how the integral <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\int f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>∫</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> changes under perturbations. The functional Minkowski problem then asks which pairs of measures can be obtained as the surface area measures of a log-concave function. In this work, we fully solve this problem. Furthermore, we prove that the surface area measures are continuous with respect to a suitable topology: If <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(f_{k}\rightarrow f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>k</mi> </msub> <mo stretchy="false">→</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\left( \mu _{f_{k}},\nu _{f_{k}}\right) \rightarrow \left( \mu _{f},\nu _{f}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <msub> <mi>μ</mi> <msub> <mi>f</mi> <mi>k</mi> </msub> </msub> <mo>,</mo> <msub> <mi>ν</mi> <msub> <mi>f</mi> <mi>k</mi> </msub> </msub> </mfenced> <mo stretchy="false">→</mo> <mfenced close=")" open="("> <msub> <mi>μ</mi> <mi>f</mi> </msub> <mo>,</mo> <msub> <mi>ν</mi> <mi>f</mi> </msub> </mfenced> </mrow> </math></EquationSource> </InlineEquation> in a corresponding sense. Finding the appropriate mode of convergence of the pairs <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\left( \mu _{f_{k}},\nu _{f_{k}}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <msub> <mi>μ</mi> <msub> <mi>f</mi> <mi>k</mi> </msub> </msub> <mo>,</mo> <msub> <mi>ν</mi> <msub> <mi>f</mi> <mi>k</mi> </msub> </msub> </mfenced> </math></EquationSource> </InlineEquation> sheds a new light on the construction of functional surface area measures. To prove this continuity theorem we associate to every convex function a new type of radial function, which seems to be an interesting construction on its own right. Finally, we prove that the solution to the functional Minkowski problem is continuous in the data, in the sense that if <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\left( \mu _{f_{k}},\nu _{f_{k}}\right) \rightarrow \left( \mu _{f},\nu _{f}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <msub> <mi>μ</mi> <msub> <mi>f</mi> <mi>k</mi> </msub> </msub> <mo>,</mo> <msub> <mi>ν</mi> <msub> <mi>f</mi> <mi>k</mi> </msub> </msub> </mfenced> <mo stretchy="false">→</mo> <mfenced close=")" open="("> <msub> <mi>μ</mi> <mi>f</mi> </msub> <mo>,</mo> <msub> <mi>ν</mi> <mi>f</mi> </msub> </mfenced> </mrow> </math></EquationSource> </InlineEquation> then <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f_{k}\rightarrow f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>k</mi> </msub> <mo stretchy="false">→</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> up to translations.</p>

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

On the functional Minkowski problem

  • Tomer Falah,
  • Liran Rotem

摘要

To every log-concave function f one may associate a pair of measures \((\mu _{f},\nu _{f})\) ( μ f , ν f ) which are the surface area measures of f. These are a functional extension of the classical surface area measure of a convex body, and measure how the integral \(\int f\) f changes under perturbations. The functional Minkowski problem then asks which pairs of measures can be obtained as the surface area measures of a log-concave function. In this work, we fully solve this problem. Furthermore, we prove that the surface area measures are continuous with respect to a suitable topology: If \(f_{k}\rightarrow f\) f k f , then \(\left( \mu _{f_{k}},\nu _{f_{k}}\right) \rightarrow \left( \mu _{f},\nu _{f}\right) \) μ f k , ν f k μ f , ν f in a corresponding sense. Finding the appropriate mode of convergence of the pairs \(\left( \mu _{f_{k}},\nu _{f_{k}}\right) \) μ f k , ν f k sheds a new light on the construction of functional surface area measures. To prove this continuity theorem we associate to every convex function a new type of radial function, which seems to be an interesting construction on its own right. Finally, we prove that the solution to the functional Minkowski problem is continuous in the data, in the sense that if \(\left( \mu _{f_{k}},\nu _{f_{k}}\right) \rightarrow \left( \mu _{f},\nu _{f}\right) \) μ f k , ν f k μ f , ν f then \(f_{k}\rightarrow f\) f k f up to translations.