Simultaneous approximation and interpolation of increasing functions by increasing entire functions

We prove that, under suitable assumptions, an isomorphism g of dense subsets A,B of the real line can be taken to approximate a given increasing Cⁿ surjection f with the derivatives of g agreeing with those of f on a closed discrete set. For example, we have the following theorem. Let be a nondecreasing Cⁿ surjection. Let be a positive continuous function. Let be a closed discrete set on which f is strictly increasing. Let each of {A_i}, {B_i} be a sequence of pairwise disjoint countable dense subsets of such that for each and xE we have xA_i if and only if f(x)B_i. Then there is an entire function such that and the following properties hold.

(a) For all , Dg(x)>0.

(b) For k=0,…,n and all , |D^kf(x)−D^kg(x)|<ε(x).

(c) For k=0,…,n and all xE, D^kf(x)=D^kg(x).

(d) For each , gA_i]=B_i.

This provides a version for increasing functions of a theorem of Hoischen. In earlier work, we proved that it is consistent that a similar theorem, omitting clause (c), holds when the sets A_i,B_i are of cardinality ₁ and have second category intersection with every interval. (See the introduction for the exact statement.) In this paper, we show how to incorporate clause (c) into the statement of the earlier theorem.

Keywords: Order-isomorphism; Second category; Entire function; Oracle-cc forcing; Complex approximation; Interpolation; Hoischen's theorem