$C^n$ And Forcing: Reading a Recent Paper By Kunen
Perhaps you could clarify what kind of strange behavior you are seeking? In terms of ordinary behavior, there are a few easy observations:
Any forcing notion that adds a new real number will add many new $C^\infty$ functions, such as new lines and polynomials.
If a forcing notion does not add a new real number, then it cannot add any new continuous functions on $\mathbb{R}$, since every such function is determined by a countable list of data: the rational approximations to its value on the rationals.
The question of whether a given function is $C^n$ or not cannot be affected by forcing, by the Shoenfield absoluteness theorem.
Michael, why do you say that Kunen's result is about weakly differentiable functions?
This seems to talk about functions that are plainly differentiable on all of $\mathbb R$.
Or do you mean they are differentiable on $D^*$?
Adding either $C^1$-functions or Lipschitz functions by forcing seems to be nontrivial.
I have been interested in the question of how many continuous, Lipschitz, or $C^n$-functions
are needed so that the functions together with their inverses (as relations) cover all of
$\mathbb R^2$. In the Sacks model there is a family of $\aleph_1$ $C^1$-functions so that
the functions and their inverses cover all of $\mathbb R^2$ (this is due to Steprans).
The same is true for Lipschitz functions.
You can use ccc forcing to add a "small" family of continuous functions that covers
$\mathbb R^2$ in the above sense. However, the argument fails for Lipschitz and for
$C^1$-functions.
Kubis and Vejnar showed that one can force a countable family of Lipschitz functions
on the Cantor set such that the functions and their inverses cover an uncountable square.
An absoluteness argument now shows that already in the ground model some uncountable square is covered by countably many Lipschitz functions.
So in some sense, the Kubis-Vejnar forcing does not give you anything new.
On the negative side, $\mathbb R^2$ cannot be covered by less than continuum many functions that are twice differentiable. This seems to indicate that adding twice differentiable functions with interesting properties by forcing is difficult.