alt text http://i361.photobucket.com/albums/oo56/holotronix/math/interpolation.jpg

Let $[a,b)\subset\mathbb R$, and $F,G:[a,b)\to\mathbb R$ two decreasing piecewise linear functions so that $F(x)\leq G(x)$ for any $x\in[a,b)$. We assume that:

1. there is a number $k\in\mathbb N-\{0\}$ and a set of $k+1$ numbers $a=x_0\lt\ldots\lt x_k=b$ partitioning $[a,b)$ in $k$ intervals $[x_{j-1},x_j)$ on which the restrictions of $F$ and $G$ are linear.
2. the equalizer set $E=Eq(F,G):=\{x\in[a,b)|F(x)=G(x)\}$ is included in the set $\{x_0,x_1,\ldots,x_k\}$.
3. the restriction of $F$ to the set $E$ is strictly decreasing

Problem: Find a continuous family of functions $f_t:[a,b)\to\mathbb R$, $t\in[0,1]$ satisfying the conditions:

1. $f_t$ is smooth and strictly decreasing for any $t\in(0,1)$.
2. For any fixed $x\in[a,b)-E$, the application $\vartheta_x:[0,1]\to [F(x),G(x)]$, $\vartheta_x(t)=f_t(x)$ is a strictly increasing and bijective smooth function.

It is easy to see that from the condition 2 it follows that:

• if $0\leq s\lt t\leq 1$, then $f(s)\lt f(t)$ on $[a,b)-E$ (and of course $f(s)=f(t)=F=G$ on $E$).
• $f_0=F$ and $f_1=G$.

If possible, please also provide some references which can help solving this problem.