Welcome to MathOverflow

Question

11

6

Let X=$C^{\alpha}(\Omega,\mathbb{R})$ be space of Hölder continuous functions. What is its dual?

edited May 29 at 14:57

Pietro Majer
19.7k●1●24●69

asked Apr 10 2012 at 9:36

warsaga
253●1●7

4

I assume rather than "what is its dual", you meant to ask "is there a common function space $Y$ that can be identified with the dual of $X$ and what is the corresponding map $Y\to X^*$?" Otherwise the dual of $X$ is just $X^*$... – Willie Wong Apr 10 2012 at 12:13

1

Probably some info here ... ams.org/journals/proc/1976-057-02/… – Gerald Edgar Apr 10 2012 at 14:32

2

On a discrete space such as the integers, X is just $\ell^\infty$, so at a bare minimum one is going to get all the axiom of choice-related pathologies that the space $(\ell^\infty)^*$ has. – Terry Tao Apr 11 2012 at 15:42

And in fact, for any infinite $\Omega$ a fortiori. – Pietro Majer Apr 11 2012 at 17:13

Pietro Majer · Accepted Answer · 2012-04-11 09:54:05Z UTC

Just a few words about how to get a representation for the dual, since the details on this topic are certainly treated in the literature.

To fix notations, assume e.g. $\Omega\subset\mathbb{R}^n$ be an open neighborhood of $0$ , let $\Delta_\Omega\subset\Omega\times\Omega$ denote the diagonal, and $\tilde\Omega:=(\Omega\times\Omega)\setminus\Delta_\Omega\subset \mathbb{R}^{2n}$.

Let $$\|u\|_\alpha:= |u(0)| + \sup _ {(x,y)\in\tilde\Omega}\frac{|u(x)-u(y)|} {|x-y|^\alpha}$$ be the usual $C^\alpha$ norm.

We have therefore an isometric linear embedding $$j: C^ \alpha(\Omega) \to \mathbb{R}\times C^0_b(\tilde\Omega )$$ mapping $u\in C^ \alpha(\Omega)$ to the pair $\left( u(0), \frac{u(x)-u(y)} {|x-y| ^ \alpha} \right)$. This presents $C^ \alpha(\Omega)$ as a product of $\mathbb{R}$ and a subspace of the space of bounded continuous functions on the open set $\tilde\Omega$, the dual of which has a well-studied representation.

Lastly, recall that as a general fact, the dual of a product of two Banach spaces, endowed with the sum-norm, is the product of the duals, with their max-norm; and that the dual of a subspace $Y$ of a Banach space $X$, is isometrically the quotient of the dual over the annichilator: $Y^* \sim X^*/Y^{\perp}$.

edit. Of course if the uniqueness of representation is not relevant for you, you may skip the quotient. Thus, linear functionals $\phi$ on $C^0_b(\tilde\Omega)$, produce all continuous linear functionals on $C^\alpha(\Omega)$ via
$$\left\langle \phi, \frac{u(x)}{|x-y|^\alpha}\right\rangle\ ,$$ for $u\in C^\alpha(\Omega)$.

Piero D'Ancona · Answer 2 · 2012-04-10 17:45:59Z UTC

12

Your question can be interpreted in several ways, but I guess you are asking "is it a known space, or just some weird new Banach space?"

If $\Omega=R^n$ and $s$ is noninteger, the dual of $C^s$ is known in the above sense (almost). Indeed, one can identify $C^s$ with the Besov space $B^s_{\infty,\infty}$, and duals of Besov spaces are well studied. The precise result is: denote with $\dot C^s$ the closure of the Schwartz space of rapidly decreasing functions in $C^s$, then $(\dot C^s)'=B_{1,1}^{-s}$. I bet similar results should be true also on more general open sets $\Omega$ but I'm not sure. A good starting point are Triebel's books (Theory of Function Spaces I, II and III).

answered Apr 10 2012 at 17:45

Piero D'Ancona
3,657●1●6●18

Good point Piero, even if $\dot C^s$ is quite smaller than $C^s$... – Pietro Majer Apr 11 2012 at 10:12

Sure. Maybe on bounded sets the result is even better, I do not know how much the boundary messes up things – Piero D'Ancona Apr 11 2012 at 10:57

Let's stay on $\mathbb{R}^n$. For a function in the Schwartz space, $|u(x)−u(y)|/|x-y|^\alpha=o(1)$ as $|x−y|\to0$, and $u(x)=o(1)$ as $|x|\to\infty$. If I'm not wrong, this defines a closed separable subspace $C^\alpha_0$ of $C^\alpha$, thus including $\dot C ^\alpha$ (or maybe coinciding?). Do you agree? And this $C^\alpha_0$ is essentially a space of continuous functions on a compact space... – Pietro Majer Apr 11 2012 at 11:27

It should coincide. As to your last remark, define "essentially" – Piero D'Ancona Apr 11 2012 at 12:58

2

Yes. But what I'm saying is just that the dual of the whole $X:=C^\alpha(\mathbb{R}^n)$ is more complicated. A couple of examples: if $a_k\neq b_k$ and $c_k$ are given sequences in $\mathbb{R}^n$ with $|a_k-b_k|\to0$ and $|c_k|\to\infty$, and $L$ is a Banach limit, $u\mapsto L (u(a_k) -u(b_k))/|a_k -b_k|$ and $u\mapsto L (u(c_k))$ are linear functionals on $X$ (both vanishing on $C^\alpha_0$). – Pietro Majer Apr 11 2012 at 15:15

show 2 more comments

Dual of the space of Hölder continuous functions?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.