[논문 리뷰] Smooth extension of functions on non-separable Banach spaces

M. J. Sevilla, Luis Sánchez-González|arXiv (Cornell University)|2010. 02. 22.

Advanced Banach Space Theory인용 수 1

한 줄 요약

이 논문은 특정 비가산 바나흐 공간의 닫힌 부분공간에서 정의된 실수 값의 $C^1$-연속(또는 리프시츠) 함수가 전체 공간으로 $C^1$-연속으로 확장될 수 있는 조건을 규명한다. 핵심 결과는 $X$가 $c_0(\Gamma)$의 부분집합과 비등장 리프시츠 호메오멀피즘일 때, $X$의 닫힌 부분공간 $Y \subset X$에서 정의된 모든 $C^1$-연속 함수가 $X$ 위로 $C^1$-연속 함수로 확장되며, 이 경우 리프시츠 상수는 $X$에만 의존하는 일관된 상수에 의해 유지된다는 것이다.

ABSTRACT

Let us consider a Banach space $X$ with the property that every real-valued Lipschitz function $f$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$ with $\Lip(g)\le C \Lip(f)$ (with $C$ depending only on the space $X$). This is the case for a Banach space $X$ bi-Lipschitz homeomorphic to a subset of $c_0(\Gamma)$, for some set $\Gamma$, such that the coordinate functions of the homeomorphism are $C^1$-smooth. Then, we prove that for every closed subspace $Y\subset X$ and every $C^1$-smooth (Lipschitz) function $f:Y o\Real$, there is a $C^1$-smooth (Lipschitz, respectively) extension of $f$ to $X$. We also study $C^1$-smooth extensions of real-valued functions defined on closed subsets of $X$.

연구 동기 및 목표

• 비가산 바나흐 공간의 닫힌 부분공간에서 정의된 $C^1$-연속 함수와 리프시츠 함수를 전체 공간으로 확장하는 문제를 다룸.
• 이러한 부드러운 확장을 보장하는 바나흐 공간 $X$의 기하적 조건을 규명함.
• 원래 함수의 리프시츠 상수에 상대적인 확장 함수의 리프시츠 상수에 대한 균일한 통제를 확립함.
• 적절한 부드러움과 비등장 리프시츠 임베딩 조건 하에서 기존의 확장 결과를 가산에서 비가산 바나흐 공간으로 일반화함.
• $X$의 닫힌 부분집합에서 정의된 $C^1$-연속 함수의 확장을 연구함. 단지 부분공간이 아닌, 부분집합으로서의 경우도 포함함.

제안 방법

• 논문은 바나흐 공간 $X$가 어떤 인덱스 집합 $\Gamma$에 대해 $c_0(\Gamma)$의 부분집합과 비등장 리프시츠 호메오멀피즘임을 가정한다.
• $X$에서 $c_0(\Gamma)$로의 비등장 리프시츠 호메오멀피즘의 좌표 함수의 부드러움이 확장의 구성에 필수적이다.
• 핵심 기술 도구는 $X$ 위에서 리프시츠 함수를 리프시츠 상수가 제어 가능한 $C^1$-연속 함수로 균일하게 근사하는 것임.
• 확장은 부분공간 $Y \subset X$에서 함수를 $X$로 올리는 방식으로, 비등장 임베딩의 구조와 좌표 함수의 부드러움을 이용하여 구성된다.
• 비가산 설정에서의 비선형 함수해석학 및 부드러운 파artitions of unity 기법을 활용하여 확장의 $C^1$-연속성을 보장함.
• 증명은 $c_0(\Gamma)$가 $C^1$-연속 볼록 함수를 지닌다는 사실을 활용하며, 이는 확장 연산자를 구성하는 데 사용된다.

실험 결과

연구 질문

• RQ1 비가산 바나흐 공간 $X$에 대해 어떤 기하적 조건이 닫힌 부분공간 $Y \subset X$에서 정의된 모든 $C^1$-연속 함수가 $X$ 위로 $C^1$-연속 함수로 확장될 수 있도록 보장하는가?
• RQ2 확장된 함수의 리프시츠 상수가 원래 함수의 리프시츠 상수의 일관된 상수 배수로 유계일 수 있는가?
• RQ3 만약 $X$가 $c_0(\Gamma)$로의 비등장 임베딩을 가지며, 그 좌표 함수들이 $C^1$-연속이라면, 이는 부드러운 확장을 보장하는가?
• RQ4 부분공간 뿐 아니라 $X$의 닫힌 부분집합에서 정의된 함수에 대해서도 $C^1$-연속 확장을 구성할 수 있는가?
• RQ5 임베딩의 좌표 함수의 부드러움이 확장 연산자의 부드러움에 어떤 영향을 미치는가?

주요 결과

• 만약 바나흐 공간 $X$가 $c_0(\Gamma)$의 부분집합과 비등장 리프시츠 호메오멀피즘일 뿐 아니라, 그 좌표 함수들이 $C^1$-연속이라면, $X$의 닫힌 부분공간 $Y \subset X$에서 정의된 모든 $C^1$-연속 함수는 $X$ 위로 $C^1$-연속 함수로 확장된다.
• 확장 함수 $g$는 $\Lip(g) \leq C \Lip(f)$를 만족하며, 이때 $C$는 $X$에만 의존하므로 리프시츠 상수에 대한 균일한 통제가 보장된다.
• 모든 실수 값의 리프시츠 함수는 $X$ 위에서 리프시츠 상수가 제어 가능한 $C^1$-연속 함수로 균일하게 근사 가능하다.
• 확장의 구성은 $X$가 $c_0(\Gamma)$로의 비등장 임베딩에서 좌표 함수의 $C^1$-연속성에 의해 결정되며, 이는 핵심적인 조건이다.
• 부드러운 확장은 부분공간 뿐 아니라, 동일한 기하적 가정 하에 $X$의 닫힌 부분집합에서 정의된 함수에 대해서도 가능하다.
• 이 결과는 특정 기하적 및 부드러움 성질을 가진 비가산 바나흐 공간으로 고전적 확장 정리의 일반화를 이룬다.