[论文解读] A variant of continuous logic and applications to fixed point theory

Simon Cho|arXiv (Cornell University)|Oct 18, 2016

Stability and Controllability of Differential Equations被引用 4

一句话总结

本文提出连续逻辑的一种变体，通过引入广义线性概念来容纳不连续函数，使 Avigad-Iovino 的超积与稳定化方法可应用于泛函分析中，实现一致的稳定收敛。该框架将先前结果扩展至更广泛的不连续迭代类别，无需底层函数连续性即可获得一致收敛保证。

ABSTRACT

In aiming to apply to a broader class of examples the Avigad-Iovino ultraproducts and metastability approach to obtaining uniformity for convergence of sequences, we construct a framework using continuous logic that in particular is able to handle discontinuous functions in its domain of discourse. This setup weakens the usual continuity requirements for functions, but compensates for the loss of control by introducing a notion of linear that captures in a quite general way the situation of having geodesics between every pair of points, and has as a special case the vector space structure of Banach spaces. We use this to apply the Avigad-Iovino method to specific convergence results from functional analysis involving iterations of discontinuous functions, and so obtain uniform metastable convergence in those results.

研究动机与目标

• 将 Avigad-Iovino 的基于超积与稳定化的统一方法从连续函数扩展至包含不连续映射的场景。
• 通过引入广义线性概念，弱化连续逻辑中的标准连续性要求，以捕捉测地线类结构。
• 将此框架应用于涉及不连续算子迭代的泛函分析中具体收敛结果。
• 在传统连续性假设不成立的设定下，建立一致的稳定收敛。

提出的方法

• 开发一种连续逻辑的变体，通过引入广义线性概念来放松连续性约束，以捕捉点之间的测地线行为。
• 定义一种广义线性概念，推广向量空间结构，并适用于巴拿赫空间及更一般的度量空间。
• 利用超积将收敛性质从非一致设定转移到一致设定。
• 将稳定化框架应用于不连续函数的迭代序列，确保在稳定意义下实现一致收敛。
• 利用广义线性性在函数不连续时仍能保持对收敛性的控制。
• 将所得框架应用于泛函分析中的具体实例，推导出一致收敛结果。

实验结果

研究问题

• RQ1 Avigad-Iovino 基于超积与稳定化的统一方法能否扩展至涉及不连续函数的序列？
• RQ2 如何在保持对收敛行为控制的前提下，弱化连续逻辑中的连续性要求？
• RQ3 在不假设连续性的前提下，何种广义线性概念可捕捉任意度量空间中的测地线类结构？
• RQ4 在泛函分析中，对不连续算子的迭代能在多大程度上建立一致的稳定收敛？
• RQ5 新逻辑框架如何使原本需要连续性假设的收敛结果实现统一性？

主要发现

• 所提出的逻辑变体通过用广义线性条件替代标准连续性，成功处理了不连续函数。
• 该框架使超积与稳定化技术可应用于涉及不连续映射的收敛结果。
• 在以往标准连续性假设下无法处理的特定泛函分析迭代中，建立了统一的稳定收敛。
• 广义线性概念捕捉了巴拿赫空间及更一般度量空间的本质结构特征，包括测地线路径。
• 该方法即使在逐点收敛无法统一控制时，仍能提供稳定意义下的一致收敛保证。
• 该方法为在不依赖函数连续性的前提下系统推导收敛统一性提供了有效途径。