1
$\begingroup$

What must be $F$ there where $0=F(1,x,0)=F(x-0,x,z)=F(x-1,x,z)=F(x-2,x,z)=F(x-3,x,z)=$ $\dots$ $=f(x-z-1,x,z)=0$?

Define $F$ in the domain where a continuous function exists that behaves so for $x\geqslant z\geqslant 0$. Other behavior of the function can be anything.

However, constructing $F$ it appears there are infinitely many different such functions. They seem to factor through some series of variable transforms applied to a limit object in the system. The set from which the transforms are selected seems to be finite and short, but how can this be proved?

EDIT: B. K-H suggests basically $F(a,x,z,)=\frac{\int_{\,0}^{\,_\infty}\frac{\;y^{x-a}}{e^y}\cdot dy}{\int_{\,0}^{\,_\infty}\frac{\;y^{x-a-z}}{e^y}\cdot dy}$. Variations thereof can be made and work.

Also work various functions based on well known distribution methods, the steplike behavior of limits of differences of complex logarithms and using these to weight output and appropriately shift input of a periodic function where logically necessary.

Are there any other basic methods of constructing functions with the above behavior?

$\endgroup$
5
  • $\begingroup$ I'm surprised that after a whole day this question remains uncommented, and no downvote... $\endgroup$
    – WhatsUp
    Jul 23, 2015 at 12:31
  • 5
    $\begingroup$ Ignoring the difficulty for a moment, does this question make sense to anyone? While MO has many questions whose [mathematical] vocabulary I don't recognize, here I know the words but they don't seem to fit together. $\endgroup$
    – Noah Stein
    Jul 23, 2015 at 14:34
  • $\begingroup$ What does the kernel of a function at a point mean? $\endgroup$
    – Noah Stein
    Jul 23, 2015 at 21:21
  • $\begingroup$ So the question has been rephrased. The original was in curried form. $\endgroup$ Jul 25, 2015 at 6:35
  • 1
    $\begingroup$ Try $ F (a, x, z)=(x-a)!/(x-a-z)! $ or something like that, using factorials. $\endgroup$ Jul 25, 2015 at 7:11

0