Continuous Nowhere Differentiable Multivariate Functions

Basic Information

• Paper ID: 2510.13061
• Title: Continuous Nowhere Differentiable Multivariate Functions
• Authors: Maria Girardi, Ralph Howard
• Classification: math.CA (Classical Analysis), math.FA (Functional Analysis)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13061v1

Abstract

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

Research Background and Motivation

1. Problem to be Addressed: This paper investigates the existence and universality of multivariate continuous nowhere differentiable functions. In the univariate case, it is known that continuous nowhere differentiable functions not only exist but are "typical" in a certain sense. This paper extends this result to the multivariate setting.
2. Importance of the Problem:
   • From the perspective of mathematical analysis, this is an important generalization of classical results
   • It reveals deep structural properties of multivariate function spaces
   • It provides new perspectives for understanding differentiability of functions
3. Limitations of Existing Methods:
   • The univariate result (Banach-Mazurkiewicz theorem) cannot be directly extended to the multivariate case
   • The concept of differentiability for multivariate functions is more complex, requiring new characterization methods
   • Simple component-wise constructions (such as $f(x_1,\ldots,x_d) = g_1(x_1) + \cdots + g_d(x_d)$), while nowhere differentiable, may be differentiable everywhere on certain submanifolds
4. Research Motivation: To establish the concept of "strongly nowhere differentiable" in the multivariate setting and prove the universality of such functions in function spaces.

Core Contributions

1. Introduction of the "Strongly Nowhere Differentiable" Concept: Characterization of multivariate function non-differentiability through test curves
2. Proof of the Main Theorem: In the Baire category sense, almost all continuous functions are strongly nowhere differentiable
3. Construction of Auxiliary Functions: Establishment of the existence of "exactly $C^{0,\alpha}$" functions
4. Provision of a Complete Theoretical Framework: Including rigorous definitions of core concepts such as test curves and strong nowhere differentiability

Methodology Details

Problem Formulation

Study the differentiability properties of multivariate continuous functions $f: U \to \mathbb{R}$ (where $U \subseteq \mathbb{R}^d$ is an open set), particularly establishing the concept of "strongly nowhere differentiable" and proving its universality.

Core Concepts and Definitions

1. Test Curve:
   • $C^1$ function $c: [a,b] \to \mathbb{R}^d$
   • Unit speed: $\|c'(s)\| = 1$ for all $s \in [a,b]$
   • $C^{1,\gamma}$ condition: there exists a constant $\rho$ such that $\|c'(s_2) - c'(s_1)\| \leq \rho|s_2 - s_1|^\gamma$
2. Strong Nowhere Differentiability: A function $f: U \to \mathbb{R}$ is strongly nowhere differentiable if and only if for every test curve $c: [a,b] \to U$, the composition $f \circ c$ is nowhere differentiable on $(a,b)$.
3. Exactly $C^{0,\alpha}$ Function: A function $f$ is exactly $C^{0,\alpha}$ at point $x_0$ if: $\limsup_{x \to x_0} \frac{|f(x) - f(x_0)|}{|x - x_0|^\alpha} < \infty$ and for any $\beta > \alpha$: $\limsup_{x \to x_0} \frac{|f(x) - f(x_0)|}{|x - x_0|^\beta} = \infty$

Construction Method

1. Auxiliary Function Construction:
   • Construction of exactly $C^{0,\alpha}$ functions $f_j: \mathbb{R} \to \mathbb{R}$
   • Using the Katzourakis sawtooth function method: $\Phi(x) = \sum_{k=0}^{\infty} b^{-k\alpha}\phi(b^k x)$ where $\phi(x) = \text{dist}(x, 2\mathbb{Z})$ is the sawtooth function
2. Multivariate Function Construction: For different $\alpha_1, \ldots, \alpha_d \in (\frac{1}{1+\gamma}, 1)$, define: $f(x_1, \ldots, x_d) = \sum_{j=1}^d f_j(x_j)$

Technical Innovations

1. Test Curve Method: Characterization of multivariate function differentiability through behavior restricted to special curves
2. Precise Control of Hölder Continuity: Utilization of exactly $C^{0,\alpha}$ conditions to ensure non-differentiability
3. Compactness Argument: Application of the Arzelà-Ascoli theorem to establish compactness of test curve sets
4. Baire Category Method: Transformation of the problem into proving that the set of "bad" functions is nowhere dense

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. Results are established through rigorous mathematical proofs.

Proof Strategy

1. Auxiliary Lemmas:
   • Proof of existence of exactly $C^{0,\alpha}$ functions (Theorem 2.3)
   • Establishment of properties of composite functions (Lemma 2.6)
   • Proof that sums preserve exactly $C^{0,\alpha}$ properties (Lemma 2.5)
2. Compactness Results:
   • Proof of compactness of test curve set $C_n^\gamma(U)$ (Lemma 3.2)
3. Nowhere Dense Properties:
   • Proof that the set of "bad" functions $F_n^\gamma(U)$ is nowhere dense (Lemma 3.4)

Main Results

Main Theorem

Let $U$ be a bounded open set in $\mathbb{R}^d$ and $C(\overline{U})$ be the Banach space of continuous functions on $\overline{U}$. Then the set of strongly nowhere differentiable functions in $C(\overline{U})$ contains a dense $G_\delta$ subset.

Key Lemmas

1. Theorem 2.7: For $\gamma \in (0,1]$ and $\alpha_1, \ldots, \alpha_d \in (\frac{1}{1+\gamma}, 1)$, the constructed function $f(x_1, \ldots, x_d) = \sum_{j=1}^d f_j(x_j)$ satisfies: for any $C^{1,\gamma}$ test curve $c$, $f \circ c$ is nowhere differentiable.
2. Lemma 3.4: The set $F_n^\gamma(U)$ (functions satisfying certain Lipschitz conditions) is a closed nowhere dense subset.

Proof Outline

The proof employs the classical Baire category theorem method:

1. Express the set of functions with "bad" properties as a countable union of closed nowhere dense sets
2. Apply the Baire category theorem; its complement is a dense $G_\delta$ set
3. Prove through compactness arguments and proof by contradiction that each set is indeed nowhere dense

Related Work

Historical Development

1. 19th Century Pioneering Work:
   • Riemann's example: $R(x) = \sum_{n=1}^{\infty} n^{-2}\sin(\pi n^2 x)$
   • Weierstrass function: $W(x) = \sum_{n=1}^{\infty} a^n \cos(b^n \pi x)$
2. 20th Century Breakthrough (1930s):
   • Banach and Mazurkiewicz proved the universality of nowhere differentiable functions in the univariate case
3. Modern Developments:
   • Hardy's precise analysis of the Weierstrass function
   • Berezhnŏi and Katzourakis's construction of exactly Hölder functions

Innovations in This Paper

1. Conceptual Innovation: First introduction of the "strongly nowhere differentiable" concept
2. Methodological Innovation: Use of test curve method to handle the multivariate case
3. Technical Innovation: Combination of exactly Hölder continuity and Baire category method

Conclusions and Discussion

Main Conclusions

1. Existence: Strongly nowhere differentiable multivariate continuous functions exist
2. Universality: In the Baire category sense, such functions are "typical"
3. Characterization: Multivariate function non-differentiability can be effectively characterized through test curves

Limitations

1. Test Curve Restrictions: Requirement that curves be $C^{1,\gamma}$ prevents handling of all $C^1$ curves
2. Technical Assumptions: The technical condition $\alpha > \frac{1}{1+\gamma}$ is required
3. Construction Method: Concrete construction depends on the special separated-variables form

Future Directions

The paper proposes two important open problems:

1. Conjecture 4.1: Does there exist a continuous function whose restriction to any $C^1$ unit-speed curve is nowhere differentiable?
2. Conjecture 4.2: Are such functions typical in the Baire category sense?

In-Depth Evaluation

Strengths

1. Significant Theoretical Contribution: First extension of the classical Banach-Mazurkiewicz theorem to the multivariate case
2. Methodological Innovation: The test curve method provides a new tool for studying multivariate functions
3. Rigorous Proof: Technical treatment is meticulous and logic is clear
4. Clear Concepts: The definition of strong nowhere differentiability is natural and meaningful

Weaknesses

1. Technical Limitations: The $C^{1,\gamma}$ requirement on test curves limits the generality of results
2. Special Construction: Concrete examples depend on the special separated-variables form
3. Open Problems: The most natural conjecture (regarding all $C^1$ curves) remains unsolved

Impact

1. Theoretical Value: Provides important structural results for multivariate real analysis
2. Methodological Contribution: The test curve method may have applications in other problems
3. Inspirational Value: Provides clear directions for further research

Applicable Scenarios

1. Mathematical Analysis Research: Provides tools for understanding function space structures
2. Geometric Analysis: May have applications in studying function properties on manifolds
3. Harmonic Analysis: Related to function regularity theory

Technical Details Supplement

Key Inequalities

In proving properties of exactly $C^{0,\alpha}$ functions, the key estimate is: $|f(c(s)) - f(c(0))| \leq K|u(s) - u(0)|^\alpha \leq K\rho^\alpha |s|^{\alpha(1+\gamma)}$

where the condition $\alpha(1+\gamma) > 1$ ensures differentiability.

Compactness Argument

Using the Arzelà-Ascoli theorem, the key is to prove:

1. Uniform boundedness of the test curve set
2. Equicontinuity of derivatives (via Hölder condition)

This transforms the infinite-dimensional problem into a finite-dimensional compactness problem.

This paper makes important contributions to the field of multivariate real analysis. While there is room for technical improvement, its core ideas and methods possess significant theoretical value and inspirational significance.