2
$\begingroup$

It is possible to approximate a function $f$ on $[0,2\pi]$ by a continuous function whose derivative is zero almost everywhere (as can be seen here : https://math.stackexchange.com/questions/67334/approximating-a-continuous-function-by-one-with-zero-derivative).

My question is as follows: knowing that $\|\cdot\|_\infty \leq \|\cdot\|_{A(\mathbb{T})}$, is it possible to strenghten this result ? i.e. is it possible to approximate $f$ in the $\|\cdot\|_{A(\mathbb{T})}$ norm by a continuous function whose derivative is zero almost everywhere ?

Here $\widehat{h}(n)$ denotes the $n$-th Fourier coefficient of $h$ and $$ \|h\|_{A(\mathbb{T})} :=~ \sum\limits_{n \in \mathbb{Z}}|\widehat{h}(n)|.$$

$\endgroup$
1

1 Answer 1

1
$\begingroup$

I suspect that it's not possible to approximate continuous functions by singular functions (continuous functions with 0 derivative a.e.) in $A(\mathbb{T})$. I definitely can't prove this, but I'll give some reasons below why it seems unlikely.

Heuristically, I would expect that the lack of smoothness of (non-constant) singular functions would lead to only weak decay of the Fourier coefficients. I might even hazard a guess that most non-constant singular functions aren't in $A(\mathbb{T})$ at all.

To go a little further in this direction, let's let $f$ be a non-constant singular function on $[0, 2 \pi]$, and let $\mu$ be the measure that integrates to $f$, i.e. $f(x) = \int_{0}^{x} d\mu(y)$. Then $$ \hat{f}(\xi) = \int_{0}^{2 \pi} e^{-i \xi x} f(x) \, dx = \frac{e^{-i \xi} (f(0) - f(2 \pi))}{i \xi} + \frac{\hat{\mu}(\xi)}{i \xi}. $$

The first term on the right is really what we're up against: if it dominates, the Fourier coefficients of $f$ don't decay fast enough to be summable. This means we can't even afford that $\hat{\mu}(\xi) \to 0$ as $|\xi| \to \infty$. (Note that if $f(0) = f(2 \pi)$ then the first term vanishes, and we may be okay for $A(\mathbb{T})$. But such functions won't, I think, help us to construct approximations of arbitrary continuous functions, since generally we would need to piece together up-and-down movements.)

But at this point, making widely applicable statements about $\hat{\mu}$ gets fuzzier, from what I can tell. If $\mu$ is a Cantor measure, it appears that $\hat{\mu}$ typically has some positive decay rate, although for certain dissection ratios there may not be decay. (See Fourier decay rate of Cantor measures.) Perhaps the non-decay situation would an avenue to explore if you think the approximation in $A(\mathbb{T})$ ought to be possible.

Beyond that, we're wading into the territory of measures that are continuous and singular with respect to Lebesgue measure, but in some sense not fractal-y. (Well, I suppose there are variants of fractal measures beyond the basic Cantor measures discussed above; that would be an intermediate area to check out.) I'm not even sure how to make that more precise, so I've run out of steam.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .