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

연속 다변수 처처 미분불가능 함수

기본 정보

논문 ID: 2510.13061
제목: Continuous nowhere differentiable multivariate functions
저자: Maria Girardi, Ralph Howard
분류: math.CA (고전 해석학), math.FA (함수해석학)
발표 시간: 2025년 10월 15일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.13061v1

초록

$U$ 를 $\mathbb{R}^d$ 의 개집합이라 하자. 연속함수 $f: U \to \mathbb{R}$ 는 강처처 미분불가능(strongly nowhere differentiable)이다. 이는 모든 $\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}$ 위의 연속 실함수의 바나흐 공간(상한 노름 장착)이라 하자. 주정리: 베르 범주 정리의 의미에서, $C(\overline{U})$ 의 거의 모든 함수 $f$ 는 $U$ 위에서 강처처 미분불가능하다.

연구 배경 및 동기

해결할 문제: 본 논문은 다변수 연속 처처 미분불가능 함수의 존재성과 보편성 문제를 연구한다. 단변수 경우에는 연속 처처 미분불가능 함수가 존재할 뿐만 아니라 어떤 의미에서 "전형적"임이 알려져 있다. 본 논문은 이 결과를 다변수 경우로 확장한다.
문제의 중요성:
- 수학 해석학의 관점에서 고전 결과의 중요한 확장
- 다변수 함수 공간의 심층 구조 성질 규명
- 함수의 미분가능성 이해에 새로운 관점 제공
기존 방법의 한계:
- 단변수 결과(Banach-Mazurkiewicz 정리)는 다변수 경우로 직접 확장될 수 없음
- 다변수 함수의 미분가능성 개념이 더 복잡하여 새로운 특성화 방식 필요
- 단순한 성분함수 구성(예: $f(x_1,\ldots,x_d) = g_1(x_1) + \cdots + g_d(x_d)$ )은 처처 미분불가능하지만 특정 부분다양체 위에서는 처처 미분가능할 수 있음
연구 동기: 다변수 경우에서 "강처처 미분불가능" 개념을 확립하고 이러한 함수의 함수공간에서의 보편성을 증명하는 것.

핵심 기여

"강처처 미분불가능" 개념 도입: 시험 곡선을 통해 다변수 함수의 미분불가능성 특성화
주정리 증명: 베르 범주 의미에서 거의 모든 연속함수가 강처처 미분불가능함을 증명
구체적 보조함수 구성: "정확 $C^{0,\alpha}$ " 함수의 존재성 확립
완전한 이론 체계 제공: 시험 곡선, 강처처 미분불가능성 등 핵심 개념의 엄격한 정의

방법론 상세 설명

과제 정의

다변수 연속함수 $f: U \to \mathbb{R}$ ( $U \subseteq \mathbb{R}^d$ 는 개집합)의 미분가능성 성질, 특히 "강처처 미분불가능" 개념의 확립과 보편성 증명을 연구한다.

핵심 개념 및 정의

시험 곡선(Test Curve):
- $C^1$ 함수 $c: [a,b] \to \mathbb{R}^d$
- 단위속도: 모든 $s \in [a,b]$ 에 대해 $\|c'(s)\| = 1$
- $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)$

기술적 혁신점

시험 곡선 방법: 특수 곡선 위의 행동 제한을 통해 다변수 함수의 미분가능성 특성화
횔더 연속성의 정확한 제어: 정확 $C^{0,\alpha}$ 조건을 이용한 미분불가능성 보장
컴팩트성 논증: Arzelà-Ascoli 정리를 이용한 시험 곡선 집합의 컴팩트성 확립
베르 범주 방법: 문제를 "나쁜" 함수 집합이 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)$ (특정 립시츠 조건을 만족하는 함수 집합)는 닫혀있고 nowhere dense인 부분집합이다.