Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Equations for Kneser sexp algorithm
(06/14/2011, 05:07 PM)bo198214 Wrote:
(06/14/2011, 03:00 PM)sheldonison Wrote: Its definitely a uniqueness criterion... any sexp(z) solution would either be the unique solution, with exponentially decaying to a constant as , or else if it is any other solution, than grows exponentially as .

That screams for a proof, does it?
For purposes of this proof, we assume we have two different real valued sexp solutions. It is assumed that the first sexp_a solution follows the uniqueness criteria, and then a proof is given that the second solution does not follow the uniqueness criteria.

The uniqueness criteria is that the 1-periodic function exponentially decays to a constant as , meaning that there all of the individual terms for n>=1 in exponentially decay as . It will be shown that does not decay to a constant as . So there cannot be two different solutions, where and which both decay to a constant as , and therefore, sexp_a(z) is a unique solution.

It can be trivially proven that terms of the form decay to zero as .

Since sexp_a and sexp_b are both real valued, then there exists another real valued 1-periodic function, linking sexp_b to sexp_a, which will be called .

Because is real valued at the real axis, it must be represented as a sum of this form, where at the real axis, the 2nd set of exponential summation terms are the complex conjugate of the first set of exponential summation terms, so that their sum is a real number. Any real valued 1-periodic function can be represented in this form.

For , there are two sets of exponential terms. Terms of the form decay to zero as , and likewise it can be trivally shown that terms of the form grow exponentially as . So, as , the behavior of is determined only by the terms .

The next step is to generate an equation for , by using the equation for sexp_b(z) in terms of sexp_a(z) and . Then substitute the equation for sexp_a(z) in terms of the superfunction, and take the inverse superfunction, which gives an equation .

Then substituting from the first equation into the second equation in place of (z) to get:

Then, notice that this equation can be compared to the other equation for sexp_b(z), which allows us to get an equation for .

Taking the inverse superfunction of both sides, results in this equation

So, now there is an equation for the 1-periodic in terms of the 1-periodic and . The properties of and can be used to prove that does not decay to a constant, but rather becomes a function whose amplitude grows arbitrarily large as , which means that sexp_b(z) does not meet the uniqueness criteria that defines sexp_a(z).

First of all, assume that at least some of the c_n terms (n>=1) in are non-zero. Otherwise theta_c(z) would be the identity, and sexp_b(z) would be equivalent to sexp_a(z).

Now, we go back to the equation for

We know that grows exponentially as since the terms in the 1-periodic function all grow exponentially. But what about ? We need to show that does not somehow cancel out the exponential growth of . We take advantage of the fact that as , where the amplitude of the 1-periodic terms all decay exponentially as . Where is large enough positive, then and . Where approaches the real axis, which happens when is negative enough, then the equations are less clear, since has a singularity at the real axis for integer values of z, so is not predictable when approaches the real axis. But the overall function, for some arbitrarily large value of , can be shown to have an arbitrarily large amplitude, tracking , as long as is sufficiently large. So cannot be converging arbitrarily closely to a constant as . That is to say, will cover the range of values for , as opposed to converging to a constant, as we would expect if were expressible in the same form as . Therefore, does not match the assumption, that sexp_b(z) as an alternative solution which also meets the uniqueness criteria.

It seems to me that the last paragraph is hard to follow, and that it probably needs to be rewritten and formalized. But, at the moment, I'm not quite sure how to do that. But at the very least, I think one can compare the complex somewhat unpredictable arbitrarily large amplitude non-converging behavior of as with the exponential decay of to a constant as , and see the contradiction in assuming that sexp_b(z) is an alternative solution which meets the uniqueness critera. Therefore, there aren't multiple solutions which meet the uniqueness criteria.
- Sheldon


Messages In This Thread
RE: Equations for Kneser sexp algorithm - by sheldonison - 06/19/2011, 03:14 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Arguments for the beta method not being Kneser's method JmsNxn 54 9,475 10/23/2021, 03:13 AM
Last Post: sheldonison
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 677 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 9,181 05/26/2021, 11:55 PM
Last Post: MphLee
  Alternative manners of expressing Kneser JmsNxn 1 1,047 03/19/2021, 01:02 AM
Last Post: JmsNxn
  Arbitrary Order Transfer Equations JmsNxn 0 743 03/16/2021, 08:45 PM
Last Post: JmsNxn
  Questions about Kneser... JmsNxn 2 1,398 02/16/2021, 12:46 AM
Last Post: JmsNxn
  New Quantum Algorithms (Carleman linearization) Finally Crack Nonlinear Equations Daniel 2 1,604 01/10/2021, 12:33 AM
Last Post: marraco
  Kneser method question tommy1729 9 10,395 02/11/2020, 01:26 AM
Last Post: sheldonison
  Moving between Abel's and Schroeder's Functional Equations Daniel 1 3,192 01/16/2020, 10:08 PM
Last Post: sheldonison
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 3,365 09/06/2016, 04:23 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)