[論文レビュー] Newtonian spaces based on quasi-Banach function lattices

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

Advanced Computational Techniques in Science and Engineering被引用数 1

ひとこと要約

本稿は、準バナッハ函数格子を用いて、抽象的な距離測度空間上のニュートン空間を導入し、第一順位のソボレフ型空間を一般化する。曲線モジュラスとソボレフ容量といった基礎的道具を確立し、ほとんどすべての曲線に沿ったニュートン関数の絶対連続性を証明し、測度および函数格子に弱い仮定を課した場合でも、ニュートン空間が準バナッハ空間として完備であることを示す。

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 およびオルリッチ空間を超えて、任意の準バナッハ函数格子へニュートン空間を一般化する。
• 弱上付き勾配と函数格子ノルムを用いた、距離測度空間における第一順位解析の統一的枠組みを構築する。
• この一般設定において、ニュートン関数の完備性と曲線に沿った絶対連続性を確立する。
• ニュートン空間における同値類の構造を明確にし、ほとんど everywhere 等価性と準 everywhere 等価性を区別する。

提案手法

• 弱上付き勾配が X に属する関数として、準バナッハ函数格子 X におけるニュートン空間 N^1X を定義する。
• 曲線モジュラスとソボレフ容量を用いて、弱上付き勾配の構造およびその最小代表元を分析する。
• 容量ゼロの例外集合を通じた一般化されたエゴロフ型議論を用いて収束を制御する。
• 準バナッハ構造と容量制御を用いて、ほとんど everywhere および準 everywhere に極限関数を構成することで、完備性を証明する。
• 折れ線路に沿った上付き勾配の有界性を用いて、曲線に沿った絶対連続性によるニュートン関数の特徴づけを行う。
• bN^1X（ほとんど everywhere 等価性）における同値類と N^1X（準 everywhere 等価性）における同値類を区別し、N^1X が「良い」代表元からなることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、抽象的な函数格子ノルムを用いて、L^p やオルリッチ空間を超えたニュートン空間を一般化できるか？
• RQ2 ニュートン空間における a.e. 等価性と quas.e. 等価性の正確な関係は何か？
• RQ3 ニュートン関数は、ほとんどすべての折れ線路に沿って絶対連続性を満たすか？
• RQ4 ニュートン空間は、準バナッハ函数格子ノルムのもとで完備か？
• RQ5 この一般設定において、エゴロフ型収束結果を確立できるか？

主な発見

• ニュートン関数は、ほとんどすべての折れ線路に沿って絶対連続であり、上付き勾配が曲線に沿った変動を制御する。
• 弱上付き勾配 g に対して、ノルム ∥u∥_{N^1X} = ∥u∥_X + ∥g∥_X におけるニュートン関数の空間 N^1X は、準バナッハ空間として完備である。
• ニュートン空間における同値類は a.e. 等価性よりも細かくなる：u ∈ N^1X であることと、u が ACC_X(P) に属し、N^1X に属する代表元と等価であることとは同値である。
• N^1X 内の収束列の部分列は、準 everywhere で点単位収束し、小さな容量を持つ集合を除いて一様収束する。
• N^1X 内の極限関数は、点単位極限と準 everywhere 等価であり、収束は容量ゼロの例外集合によって制御される。
• 極限関数の構成は、容量に基づく例外集合 F に依存し、CX(F) = 0 を満たすことで、q.e. 収束およびノルム収束が保証される。