[论文解读] Newtonian spaces based on quasi-Banach function lattices

Lukáš Malý|arXiv (Cornell University)|Oct 4, 2012

Advanced Computational Techniques in Science and Engineering被引用 1

一句话总结

本文通过使用拟Banach函数格，将牛顿空间推广到抽象度量测度空间，以一般化一阶Sobolev型空间。它建立了诸如曲线模和Sobolev容量等基础工具，证明了牛顿函数沿几乎所有曲线的绝对连续性，并在测度和函数格的弱假设下，证明了牛顿空间作为拟Banach空间的完备性。

ABSTRACT

In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach function lattice. This approach gives rise to so-called Newtonian spaces. Tools such as moduli of curve families and Sobolev capacity are developed, which allows us to study basic properties of these spaces. The absolute continuity of Newtonian functions along curves and the completeness of Newtonian spaces in this general setting are established.

研究动机与目标

• 将牛顿空间从经典的L^p和Orlicz空间推广到任意拟Banach函数格。
• 通过弱上梯度和函数格范数，建立度量测度空间中一阶分析的统一框架。
• 在该一般设定下，建立牛顿函数的完备性和曲线上的绝对连续性。
• 澄清牛顿空间中等价类的结构，区分几乎处处相等与准处处相等。

提出的方法

• 将牛顿空间N^1X定义为属于拟Banach函数格X且其弱上梯度也属于X的函数。
• 使用曲线模和Sobolev容量分析弱上梯度及其最小代表的结构。
• 通过容量为零的例外集，采用广义的Egorov型论证来控制收敛性。
• 通过在几乎处处和准处处构造极限函数，利用拟Banach结构和容量控制，证明完备性。
• 通过沿可求长路径的上梯度有界性，刻画牛顿函数的曲线绝对连续性。
• 区分bN^1X（几乎处处相等）与N^1X（准处处相等）中的等价类，表明N^1X由‘良好’代表元构成。

实验结果

研究问题

• RQ1 如何使用抽象函数格范数将牛顿空间推广到L^p和Orlicz空间之外？
• RQ2 牛顿空间中几乎处处相等与准处处相等之间的确切关系是什么？
• RQ3 牛顿函数是否沿几乎所有可求长曲线满足绝对连续性？
• RQ4 牛顿空间在拟Banach函数格范数下是否完备？
• RQ5 在此一般设定下，能否建立类似Egorov的收敛结果？

主要发现

• 牛顿函数在几乎所有可求长曲线上绝对连续，且上梯度控制着沿曲线的变化。
• 牛顿函数空间N^1X在范数∥u∥_{N^1X} = ∥u∥_X + ∥g∥_X（其中g为弱上梯度）下作为拟Banach空间是完备的。
• 牛顿空间中的等价类比几乎处处相等更精细：当且仅当u ∈ ACC_X(P)且与N^1X中的某个代表元等价时，u ∈ N^1X。
• N^1X中收敛序列的子序列几乎处处准点收敛，且在小容量集合外一致收敛。
• N^1X中的极限函数准处处等于点态极限，且收敛性由容量为零的例外集控制。
• 极限函数的构造依赖于容量基例外集F，满足CX(F) = 0，从而保证准处处收敛和范数收敛。