2025-11-23T12:28:16.926535

HÃ¶lder regularity of the solutions of Fredholm integral equations on upper Ahlfors regular sets

Lanza_de_Cristoforis, Norman

We extend to the context of metric measured spaces, with a measure that satisfies upper Ahlfors growth conditions the validity of (generalized) HÃ¶lder continuity results for the solution of a Fredholm integral equation of the second kind. Here we note that upper Ahlfors growth conditions include also cases of nondoubling measures.

academic

Hölder regularity of the solutions of Fredholm integral equations on upper Ahlfors regular sets

基本信息

论文ID: 2510.08264
标题: Hölder regularity of the solutions of Fredholm integral equations on upper Ahlfors regular sets
作者: Massimo Lanza de Cristoforis, Manuel Norman
分类: math.AP (Analysis of PDEs), math.FA (Functional Analysis)
发表时间: 2025年10月（arXiv预印本）
所属机构: 意大利帕多瓦大学数学系
论文链接: https://arxiv.org/abs/2510.08264

摘要

本文将第二类Fredholm积分方程解的（广义）Hölder连续性结果扩展到度量测度空间的背景下，其中测度满足上Ahlfors增长条件。值得注意的是，上Ahlfors增长条件也包括非倍增测度的情况。

研究背景与动机

问题背景

经典理论的局限性: 传统的Fredholm积分方程理论主要在欧几里得空间或具有标准Lebesgue测度的可测集合上发展，这些设定通常要求测度满足倍增条件（doubling condition）。
实际应用需求: 在边界积分方程、流形上的积分方程等实际问题中，经常遇到不满足倍增条件的测度，例如尖点域（cusp domains）的边界测度。
理论缺口: 现有的Hölder正则性理论主要依赖于双边Ahlfors正则性条件，但这一条件过于严格，排除了许多重要的应用场景。

研究动机

本文旨在建立更一般的理论框架，仅需要上Ahlfors正则性条件（不需要下界估计），从而涵盖更广泛的应用场景，特别是包含非倍增测度的情况。

核心贡献

理论扩展: 将Fredholm积分方程解的Hölder正则性理论从经典的欧几里得空间扩展到一般的度量测度空间。
条件放宽: 仅需要上Ahlfors正则性条件，避免了传统理论中的倍增条件限制。
统一框架: 提供了一个统一的方法来处理各种几何设定，包括有界开集的边界、嵌入到欧几里得空间的流形等。
技术创新: 发展了新的技术工具来处理复合核（composite kernels）和势型核（potential type kernels）。

方法详解

基本设定

度量测度空间

设 $(M,d)$ 是度量空间， $Y \subseteq M$ 是子集， $\nu$ 是定义在 $Y$ 上的测度。

上Ahlfors正则性

$Y$ 关于 $X$ 是上 $\upsilon_Y$ -Ahlfors正则的，如果存在常数 $r_{X,Y,\upsilon_Y} \in ]0,+\infty]$ 和 $c_{X,Y,\upsilon_Y} \in ]0,+\infty[$ 使得： $\nu(B(x,r) \cap Y) \leq c_{X,Y,\upsilon_Y} r^{\upsilon_Y}$ 对所有 $x \in X$ 和 $r \in ]0, r_{X,Y,\upsilon_Y}[$ 成立。

势型核类

定义核类 $K_{s,X \times Y}$ ，包含连续函数 $K: (X \times Y) \setminus D_{X \times Y} \to \mathbb{C}$ ，满足： $\|K\|_{K_{s,X \times Y}} \equiv \sup_{(x,y) \in (X \times Y) \setminus D_{X \times Y}} |K(x,y)| d(x,y)^s < +\infty$

核心技术工具

复合核定理（Theorem 4.9）

对于 $K_l \in K_{s_l, Y \times Y}$ （ $l = 1,2$ ），在适当条件下，复合核： $K_3(x,y) = \int_Y K_1(x,t) K_2(t,y) d\nu(t)$ 具有良好的正则性和有界性。

积分不等式（Proposition 4.1）

对于上Ahlfors正则集 $Y$ ，建立了关键的积分估计： $\int_Y \frac{d\nu(y)}{d(x,y)^{s_1} d(y,z)^{s_2}} \leq c \cdot \text{(适当的增长函数)}$

Fredholm方程的正则性

连续性定理（Theorem 5.1）

设 $Y$ 是有界的上 $\upsilon_Y$ -Ahlfors正则集， $K \in K_{s,Y \times Y}$ （ $s \in [0,\upsilon_Y[$ ），如果 $g \in C_b^0(Y)$ 且 $\mu \in L_\nu^2(Y)$ 满足： $\mu - A[K,\mu] = g \quad \nu\text{-a.e. in } Y$ 则 $\mu \in C_b^0(Y)$ 。

Hölder正则性定理（Theorem 6.1）

在更强的假设下，如果 $g \in C_b^{0,\theta}(Y)$ ，则解 $\mu$ 具有广义Hölder连续性： $\mu \in C_b^{0,\max\{r^\theta, \varpi(r)\}}(Y)$ 其中 $\varpi(\cdot)$ 是由核的参数确定的函数。

技术创新点

1. 非倍增测度的处理

传统方法依赖倍增条件来控制积分估计
本文仅使用上界估计，通过精细的几何分析处理奇异积分

2. 复合核的新分析

发展了适用于一般度量空间的复合核理论
提供了不同参数组合下的完整分类（Theorem 4.26中的9种情况）

3. 广义Hölder空间

引入了 $C^{0,\omega(\cdot)}_b$ 空间，其中 $\omega(\cdot)$ 可以是更一般的连续模
包含了对数型连续模 $\omega_\theta(r) = r^\theta |\ln r|$

实验设置

本文是纯理论研究，不包含数值实验。所有结果都是通过严格的数学证明获得的。

应用示例（Example 6.4）

考虑 $\mathbb{R}^n$ 中有界开Lipschitz集 $\Omega$ 的边界 $\partial\Omega$ ，对于核： $K \in K_{(n-1)-\alpha, n-\alpha, 1}((\partial\Omega) \times (\partial\Omega))$ 如果 $g \in C_b^{0,\alpha}(\partial\Omega)$ ，则Fredholm方程的解满足：