摘要 Abstract
设 $ X $ 是一个具有基点 $ 0 $ 的度量空间,令 $ \mathrm{Lip}_0(X) $ 表示所有满足 $ f(0)=0 $ 的利普希茨函数 $ f:X\longrightarrow \mathbb{R} $ 构成的巴拿赫空间。给定 $ X^2 $ 中的一组点 $ \left((x_i,y_i)\right)_{i\in I} $,其中对所有 $ i\in I $ 都有 $ x_i\neq y_i $,我们研究如下插值问题:对于每个有界集 $ \left(\alpha_i\right)_{i\in I} $ 在 $ \mathbb{R} $ 中,方程组 $$ \frac{f(x_i)-f(y_i)}{d(x_i,y_i)}=\alpha_i\qquad (i\in I) $$ 何时能由某个函数 $ f\in\mathrm{Lip}_0(X) $ 实现?我们的方法涉及在 $ \mathrm{Lip}_0(X) $ 中为 $ \left((x_i,y_i)\right)_{i\in I} $ 定义的贝尔廷集合的概念,该概念在所谓的运输问题中已被证明是有用的。
Let $X$ be a metric space with a base point $0$, and let $\mathrm{Lip}_0(X)$ be the Banach space of all Lipschitz functions $f:X\longrightarrow \mathbb R$ such that $f(0)=0$. Given a set of points $\left((x_i,y_i)\right)_{i\in I}$ in $X^2$ with $x_i\neq y_i$ for all $i\in I$, we study the following interpolation problem: when for each bounded set $\left(\alpha_i\right)_{i\in I}$ in $\mathbb{R}$ the algorithm $$ \frac{f(x_i)-f(y_i)}{d(x_i,y_i)}=\alpha_i\qquad (i\in I) $$ can be implemented by a function $f\in\mathrm{Lip}_0(X)$? Our approach involves the concept of a Beurling set of functions in $\mathrm{Lip}_0(X)$ for $\left((x_i,y_i)\right)_{i\in I}$ which has shown to be useful in the so-called transportation problem.