2025-11-14T14:58:11.630519

Continuous nowhere differentiable multivariate functions

Girardi, Howard

Let $U$ be an open set in $\mathbb{R}^d$. A continuous function $f\colon U \to \mathbb{R}$ is strongly nowhere differentiable if and only if for each $Î³\in(0,1]$ and for each unit speed $C^{1,Î³}$ curve $c\colon [a,b] \to U$, the composition $f\circ c \colon [a,b] \to \mathbb{R}$ is nowhere differentiable on $(a,b)$. For bounded $U$, let $\overline U$ be the closure of $U$ and $C(\overline U)$ be the Banach space of continuous real-valued functions on $\overline U$ with the sup norm. Theorem. In the sense of the Baire category theorem, almost every $f\in C(\overline U)$ is strongly nowhere differentiable on $U$.

academic

Continuous nowhere differentiable multivariate functions

基本信息

论文ID: 2510.13061
标题: Continuous nowhere differentiable multivariate functions
作者: Maria Girardi, Ralph Howard
分类: math.CA (Classical Analysis), math.FA (Functional Analysis)
发表时间: October 15, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.13061v1

摘要

设 $U$ 是 $\mathbb{R}^d$ 中的开集。连续函数 $f: U \to \mathbb{R}$ 是强处处不可微的，当且仅当对于每个 $\gamma \in (0,1]$ 和每个单位速度 $C^{1,\gamma}$ 曲线 $c: [a,b] \to U$ ，复合函数 $f \circ c: [a,b] \to \mathbb{R}$ 在 $(a,b)$ 上处处不可微。对于有界的 $U$ ，设 $\overline{U}$ 为 $U$ 的闭包， $C(\overline{U})$ 为 $\overline{U}$ 上连续实值函数的Banach空间（配备上确界范数）。主定理：在Baire范畴定理的意义下， $C(\overline{U})$ 中几乎每个函数 $f$ 在 $U$ 上都是强处处不可微的。

研究背景与动机

要解决的问题：本文研究多变量连续处处不可微函数的存在性和普遍性问题。在单变量情形中，已知连续处处不可微函数不仅存在，而且在某种意义下是"典型的"。本文将这一结果推广到多变量情形。
问题的重要性：
- 从数学分析的角度，这是对经典结果的重要推广
- 揭示了多变量函数空间的深层结构性质
- 为理解函数的可微性提供了新的视角
现有方法的局限性：
- 单变量的结果（Banach-Mazurkiewicz定理）不能直接推广到多变量情形
- 多变量函数的可微性概念更加复杂，需要新的刻画方式
- 简单的分量函数构造（如 $f(x_1,\ldots,x_d) = g_1(x_1) + \cdots + g_d(x_d)$ ）虽然处处不可微，但在某些子流形上可能处处可微
研究动机：建立多变量情形下的"强处处不可微"概念，并证明这样的函数在函数空间中的普遍性。

核心贡献

引入了"强处处不可微"的概念：通过测试曲线来刻画多变量函数的不可微性
证明了主定理：在Baire范畴意义下，几乎所有连续函数都是强处处不可微的
构造了具体的辅助函数：建立了"精确 $C^{0,\alpha}$ "函数的存在性
提供了完整的理论框架：包括测试曲线、强处处不可微性等核心概念的严格定义

方法详解

任务定义

研究多变量连续函数 $f: U \to \mathbb{R}$ （其中 $U \subseteq \mathbb{R}^d$ 是开集）的可微性质，特别是建立"强处处不可微"的概念并证明其普遍性。

核心概念与定义

测试曲线（Test Curve）：
- $C^1$ 函数 $c: [a,b] \to \mathbb{R}^d$
- 单位速度： $\|c'(s)\| = 1$ 对所有 $s \in [a,b]$
- $C^{1,\gamma}$ 条件：存在常数 $\rho$ 使得 $\|c'(s_2) - c'(s_1)\| \leq \rho|s_2 - s_1|^\gamma$
强处处不可微性：函数 $f: U \to \mathbb{R}$ 是强处处不可微的，当且仅当对于每个测试曲线 $c: [a,b] \to U$ ，复合函数 $f \circ c$ 在 $(a,b)$ 上处处不可微。
精确 $C^{0,\alpha}$ 函数：函数 $f$ 在点 $x_0$ 处是精确 $C^{0,\alpha}$ 的，如果： $\limsup_{x \to x_0} \frac{|f(x) - f(x_0)|}{|x - x_0|^\alpha} < \infty$ 且对任何 $\beta > \alpha$ ： $\limsup_{x \to x_0} \frac{|f(x) - f(x_0)|}{|x - x_0|^\beta} = \infty$

构造方法

辅助函数构造：
- 构造精确 $C^{0,\alpha}$ 函数 $f_j: \mathbb{R} \to \mathbb{R}$
- 使用Katzourakis的锯齿函数方法： $\Phi(x) = \sum_{k=0}^{\infty} b^{-k\alpha}\phi(b^k x)$ 其中 $\phi(x) = \text{dist}(x, 2\mathbb{Z})$ 是锯齿函数
多变量函数构造：对于不同的 $\alpha_1, \ldots, \alpha_d \in (\frac{1}{1+\gamma}, 1)$ ，定义： $f(x_1, \ldots, x_d) = \sum_{j=1}^d f_j(x_j)$

技术创新点

测试曲线方法：通过限制在特殊曲线上的行为来刻画多变量函数的可微性
Hölder连续性的精确控制：利用精确 $C^{0,\alpha}$ 条件确保不可微性
紧致性论证：利用Arzelà-Ascoli定理建立测试曲线集合的紧致性
Baire范畴方法：将问题转化为证明"坏"函数集合为nowhere dense

实验设置

本文为纯理论数学论文，不涉及数值实验，主要通过严格的数学证明来建立结果。

证明策略

辅助引理：
- 证明精确 $C^{0,\alpha}$ 函数的存在性（定理2.3）
- 建立复合函数的性质（引理2.6）
- 证明和函数保持精确 $C^{0,\alpha}$ 性质（引理2.5）
紧致性结果：
- 证明测试曲线集合 $C_n^\gamma(U)$ 的紧致性（引理3.2）
Nowhere dense性质：
- 证明"坏"函数集合 $F_n^\gamma(U)$ 是nowhere dense的（引理3.4）

定理2.7：对于 $\gamma \in (0,1]$ 和 $\alpha_1, \ldots, \alpha_d \in (\frac{1}{1+\gamma}, 1)$ ，构造的函数 $f(x_1, \ldots, x_d) = \sum_{j=1}^d f_j(x_j)$ 满足：对任何 $C^{1,\gamma}$ 测试曲线 $c$ ， $f \circ c$ 处处不可微。
引理3.4：集合 $F_n^\gamma(U)$ （满足某种Lipschitz条件的函数集合）是闭的nowhere dense子集。