0
$\begingroup$

I am looking for a homotopy between $y=x$ to $y = {\rm step}(x-1)$ (to the limit; a very steep sigmoid is also ok). More formally, I look for a family $$y_\epsilon \in C^1(A,A)$$ where $$A = [0,\infty)$$ $$\epsilon \in [0, 1)$$ such that $$y_0 = y$$ $$\lim_{\epsilon \rightarrow 1} y_\epsilon = {\rm step}(x-1)$$ Any hint is appreciated.

  • 0
    What is $\mathrm{step}(x)$ supposed to be, the unit step function? In which case, formulae 17-27 [here](http://mathworld.wolfram.com/HeavisideStepFunction.html) might be useful.2012-05-07
  • 0
    It might help if you provided some context. Also, echoing @J.M., what is the value of step(0)?2012-05-07
  • 0
    Thanks for your replies! @J.M.: Yes, step(x) is unit step function. I've check the link but it hasn't helped me yet. In most of the formulas there (still checking some), the limit for $ t \rightarrow 0 $ ($\epsilon \rightarrow 1 $ in my notation) is $y=0.5$, and not $y=x$. I've tried to fix this adding some linear term, but I've realized there is an additional property I'd like to be satisfied: $y_\epsilon (0) = 0 $ for any $\epsilon$2012-05-07
  • 0
    @copper.hat: In several optimal control problems, the optimal control $y$ is function of a costate $x\ge 0$. In bang-bang solutions, $y(x)$ is a step function, with $y(x) = 0$ for $x\in[0,1)$, and $y(x) = 1$ for $x\in [1,\infty)$. In minimum-effort solutions, $y(x) = x$. I am looking for a family of $C^1$ functions that can help my code transition between one case and the other (I need differentiability to use numerical continuation methods). Stefano2012-05-07
  • 0
    I don't follow, but am curious. When you change the cost function from, say, min. effort to min. time, the solution will change, typically from something smooth to some extreme value control. But surely that should happen by changing the cost, not by how you represent the solution 'vector'?2012-05-07
  • 0
    @copper.hat: You can equivalently think of a homotopy of cost function $J_\epsilon$, with solutions $y_\epsilon$. But it's easier to think directly in terms of $y_\epsilon$.2012-05-07

1 Answers 1