$C^n$ And Forcing: Reading a Recent Paper By Kunen While reading a recent paper by Kunen arxiv.org/abs/0912.3733, which deals with PFA and the existence of certain differentiable functions, (defined on all of $\mathbb{R}$) which map certain $\aleph_1$-dense subsets of $\mathbb{R}$ onto other $\aleph_1$-dense subsets of $\mathbb{R}$. The technical details aside, he was able to show:

Theorem 1.6 Assume PFA, and let $D,E,\subset \mathbb{R}$ be $\aleph_1$-dense. Then there exist exists an order preserving bijection $f:\mathbb{R} \rightarrow \mathbb{R}$, and $D^\ast \subseteq D$ such that $D^\ast$ is $\aleph_1$-dense, $f(D^\ast)=E$, 
  and 
  
  
*
  
*For all $x \in \mathbb{R}$, $f'(x)$ exists and $0\leq f'(x)\leq 2$
  
*$f'(d) = 0$ for all $d\in D^\ast$
  

It occurred to me that with a few modifications his method/forcing notion might be used to add other differentiable, or Lipschitz functions to some ground model. It follows that these new functions would in turn produce new $C^1$ functions, and so on. And in the end could result in new systems of differential equations, with absolutely strange behavior.
So my questions are the following:


*

*What is known about "messing with" the class of $C^n$ functions, via forcing?

*Are there other examples of more exotic forcing notions which add smoother functions?


Edit: took out weakly bit..
 A: 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.
A: 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.
