Re: [math-fun] less lumpy fun function
Frede wrote: << I haven't been paying much attention to the discussion, so this stuff may well be hopelessly off-message --- in which case, apologies in advance. But some of the features here remind me of my investigation in 2004 into blending pairs of functions for graphics purposes. The problem boils down to finding a blending function f(x) such that [1] f(0) = 0, f(1) = 1; [2] (d^n/dx^n) f(x) = 0 at x = 0,1, for all integer n > 0; and f(x) has continuous derivatives of all orders n throughout the unit interval --- and for all x, as things turned out. In addition, it's desirable (in some sense) to minimise the growth of the derivatives with n. What may be relevant is that the eventual construction is everywhere non-analytic, and its effective numerical computation involves a completely unconventional (though efficient) algorithm. As usual, I never got around even to submitting it for publication --- but if anybody is interested, I'm happy to forward an account!
I am puzzled as to what question this function is the answer to. (There are certainly C^oo functions f satisfying [1] and [2] that fail to be real analytic only at x=0 and x=1.) --Dan ________________________________________________________________________________________ "Outside of a dog, a book is man's best friend. Inside of a dog, it's too dark to read." --Groucho Marx
I didn't want to get to involved in detail at this stage, since I'm not sure how relevant it might be. But the essence is in the rider, that "it's desirable (in some sense) to minimise the growth of the derivatives with n". As Dan points out, it's easy to take some sigmoid function such as tanh(y), then rescale both dimensions to get say f(x) = (1 + tanh(y))/2 with y = (x - 1/2)/(x(1-x) . But it runs straight into the "lumpiness" problem: rescaling introduces --- apparently inevitably --- wild oscillations in the higher derivatives near the endpoints. Other simplistic approaches based on polynomial or trigonometric approximants fall into the "top-hat" trap: the limit f(x) always turns out to be constant, except at x = 1/2 where there is a step of height unity. My suggestion is that problems of this nature demand an unconventional approach, involving the articulation and (numerical) solution of some functional equation. Fred Lunnon On 4/30/10, Dan Asimov <dasimov@earthlink.net> wrote:
Frede wrote:
<< I haven't been paying much attention to the discussion, so this stuff may well be hopelessly off-message --- in which case, apologies in advance. But some of the features here remind me of my investigation in 2004 into blending pairs of functions for graphics purposes.
The problem boils down to finding a blending function f(x) such that
[1] f(0) = 0, f(1) = 1;
[2] (d^n/dx^n) f(x) = 0 at x = 0,1, for all integer n > 0;
and f(x) has continuous derivatives of all orders n throughout the unit interval --- and for all x, as things turned out. In addition, it's desirable (in some sense) to minimise the growth of the derivatives with n.
What may be relevant is that the eventual construction is everywhere
non-analytic, and its effective numerical computation involves a completely unconventional (though efficient) algorithm. As usual, I never got around even to submitting it for publication --- but if anybody is interested, I'm happy to forward an account!
I am puzzled as to what question this function is the answer to. (There are certainly C^oo functions f satisfying [1] and [2] that fail to be real analytic only at x=0 and x=1.)
--Dan
________________________________________________________________________________________ "Outside of a dog, a book is man's best friend. Inside of a dog, it's too dark to read." --Groucho Marx
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com http://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
participants (2)
-
Dan Asimov -
Fred lunnon