2025-11-10T03:15:53.948913

How smooth are restrictions of Besov functions?

Brasseur

In a previous work, we showed that Besov spaces do not enjoy the restriction property unless $q\leq p$. Specifically, we proved that if $p<q$, then it is always possible to construct a function $f\in B_{p,q}^s(\mathbb{R}^N)$ such that $f(\cdot,y)\notin B_{p,q}^s(\mathbb{R}^d)$ for a.e. $y\in \mathbb{R}^{N-d}$, while this "pathology" does not happen if $q\leq p$. We showed that the partial maps belong, in fact, to the Besov space of generalised smoothness $B_{p,q}^{(s,Î¨)}(\mathbb{R}^d)$ provided the function $Î¨$ satisfies a simple summability condition involving $p$ and $q$. This short note completes the picture by showing that this characterisation is sharp.

academic

How smooth are restrictions of Besov functions?

基本信息

论文ID: 2509.07420
标题: How smooth are restrictions of Besov functions?
作者: Julien Brasseur
分类: math.FA (泛函分析), math.AP (偏微分方程分析), math.CA (经典分析)
发表时间: 2025年10月15日 (arXiv v3)
论文链接: https://arxiv.org/abs/2509.07420

摘要

本文完善了Besov空间限制性质的刻画。作者在先前工作中证明了当且仅当 $q \leq p$ 时，Besov空间才满足限制性质。具体地，当 $p < q$ 时，总是可以构造函数 $f \in B_{p,q}^s(\mathbb{R}^N)$ 使得 $f(\cdot,y) \notin B_{p,q}^s(\mathbb{R}^d)$ 对几乎所有 $y \in \mathbb{R}^{N-d}$ 成立。本文证明了部分映射实际上属于广义光滑度Besov空间 $B_{p,q}^{(s,\Psi)}(\mathbb{R}^d)$ ，前提是函数 $\Psi$ 满足涉及 $p$ 和 $q$ 的可和性条件。本文通过证明该刻画的尖锐性来完善这一图像。

研究背景与动机

问题的核心

本研究要解决的核心问题是：Besov函数的部分映射（限制）究竟具有多少光滑度？

问题的重要性

理论意义：Besov空间是调和分析和偏微分方程理论中的基础工具，其限制性质直接影响函数空间理论的发展
反直觉现象：大多数经典函数空间（如Sobolev空间、Triebel-Lizorkin空间）都满足限制性质，但Besov空间在某些参数条件下不满足，这一现象令人意外
参数 $q$ 的作用：通常参数 $q$ 在Besov空间性质中作用很小，但在限制性质中起关键作用

现有研究的局限性

作者在文献3中已经证明了：

当 $p < q$ 时，存在"病态"现象： $f \in B_{p,q}^s(\mathbb{R}^N)$ 但 $f(\cdot,y) \notin B_{p,\infty}^s(\mathbb{R}^d)$
当 $q \leq p$ 时，限制性质成立
部分映射属于广义光滑度空间 $B_{p,p}^{(s,\Psi)}(\mathbb{R}^d)$

但关键问题仍未解决：这种刻画是否尖锐？

核心贡献

完善了Besov空间限制性质的完整刻画：证明了定理1.1中的可和性条件(1.2)是必要且充分的
建立了尖锐性结果：证明了当 $\Psi$ 不满足条件(1.2)时，存在函数使得部分映射不属于 $B_{p,\infty}^{(s,\Psi)}(\mathbb{R}^d)$
提供了精确的临界条件：给出了"补偿限制性质"成立的充要条件
扩展了理论框架：将结果从可容许函数推广到缓变函数

方法详解

任务定义

研究Besov空间 $B_{p,q}^s(\mathbb{R}^N)$ 中函数 $f$ 的部分映射 $f(\cdot,y): \mathbb{R}^d \to \mathbb{R}$ 的光滑度，其中：

输入： $f \in B_{p,q}^s(\mathbb{R}^N)$ ，参数 $1 \leq d < N$ ， $0 < p < q \leq \infty$ ， $s > \sigma_p$
输出：部分映射 $f(\cdot,y)$ 所属的最优函数空间
约束： $\sigma_p = N(\frac{1}{p} - 1)_+$

核心理论框架

1. 广义光滑度Besov空间

定义2.3：对于缓变函数 $\Psi$ ，广义光滑度Besov空间 $B_{p,q}^{(s,\Psi)}(\mathbb{R}^N)$ 由满足以下条件的函数 $f \in L^p(\mathbb{R}^N)$ 组成：

$[f]_{B_{p,q}^{(s,\Psi)}(\mathbb{R}^N)} = \left(\int_0^1 \frac{\sup_{|h| \leq t} \|\Delta_h^M f\|_{L^p(\mathbb{R}^N)}^q}{\Psi(t)^q} \frac{dt}{t^{1+sq}}\right)^{1/q} < \infty$

2. 关键可和性条件

条件(1.2)： $\left(\sum_{j=0}^{\infty} \Psi(2^{-j})^{\kappa}\right)^{1/\kappa} < \infty$ ，其中 $\frac{1}{\kappa} = \frac{1}{p} - \frac{1}{q}$

主要定理

定理1.1（正向结果）

如果 $\Psi$ 满足条件(1.2)，则对任意 $f \in B_{p,q}^s(\mathbb{R}^N)$ ，有： $f(\cdot,y) \in B_{p,p}^{(s,\Psi)}(\mathbb{R}^d) \text{ for a.e. } y \in \mathbb{R}^{N-d}$

定理1.3（尖锐性结果）

如果 $\Psi$ 不满足条件(1.2)，则存在 $f \in B_{p,q}^s(\mathbb{R}^N)$ 使得： $f(\cdot,y) \notin B_{p,\infty}^{(s,\Psi)}(\mathbb{R}^d) \text{ for a.e. } y \in \mathbb{R}^{N-d}$