Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
picturing method.
This picture represents my new method.

More later.

Maybe you already get it.



Attached Files Image(s)
The bottom side represents the real valued part of sexp*(x) where the domain is [0,3]. The range is thus [sexp*(0),sexp*(3)]. sexp*(x) is the ordinary sexp but with sexp(0) = 0.
We assume strictly rising here.

This part is estimated by a truncated real Taylor series with alternating signs.

Now the upper left side is then sexp*(ix).
the upper right side is exp^[3](sexp*(ix)) = sexp*(ix + 3).

The diagonal has lenght 3sqrt(2) and is computed by continuation of sexp*(ix) and taking sexp*((-1)^{1/4} x).

Now the red triangle has contour 0 ( because of cauchy's integral theorem ).
Therefore all sides are defined thus solvable.

Ofcourse we also require
On the bottom side :
sexp*(1) = 1 , sexp*(2) = e ,
On the diagonal side
sexp*(i+1) = exp(sexp*(i)) , sexp*(2i+2) = exp(exp(sexp*(2i))).

Now we can solve the equations and then pick one that satisfies sexp*(z+1) = exp(sexp*(z)).


Is that clear ?
Does everyone know what I mean ?


For those possibly confused ; the analyticity does not come from the contour integral being 0 , rather the opposite way. We have analyticity because of the truncated Taylor series estimate.
We need to be careful not to approximate a Taylor series that has a more limited region of convergeance then sexp*.

Our domain of analyticity should be larger than the figure and it should not have a natural boundary anywhere.


I was thinking about adding a uniqueness condition.
It is not clear what our initial guess should be , that is if we want to use an initial guess.
My idea about methods related to integrals is that if you based your estimate on method A , then finally the result is equivalent to method A.

Perhaps a generalization is favorable.

The idea is imho intresting but not yet mature.


An important concept is that the equations MUST also hold for :
sexp* ' (z)

This augments the number of equations.

If I am not mistaken by considering sexp* alone you get about N/sqrt(2) equations where N is the number of estimates on the bottom line.

by adding the requirement for the derivative you double the amount of equations so you get about sqrt(2) N equations.

The degree of the estimated truncated Taylor then has a degree somewhere between N / sqrt(2) - C and N sqrt(2) + C2 where the C's are constants.

This makes the idea more serious.

How to make the set of equations converging is another matter but it seems some kind of solvability , existance and uniqueness should be possible.

Btw convergance issues for systems of equations reminds me of an idea I had that my friend mick posted on MSE :

For those who are intrested.
Not sure if it helps here unless someone has a very general theory about convergance for systems of equations.


Ok to solve the underdetermined issue , I think it is rather better to use

sexp * ^ p (x).

Prime powers are better than derivatives.
The number of primes we solve for depends on the degree and the amount of estimates.
We might also use positive integers perhaps.

We can also solve the white triangle and/or the square to fight the underdetermined issue.

Combining these ideas makes me believe we can solve this.



Possibly Related Threads...
Thread Author Replies Views Last Post
  tommy beta method tommy1729 0 180 12/09/2021, 11:48 PM
Last Post: tommy1729
  Tommy's Gaussian method. tommy1729 24 5,277 11/11/2021, 12:58 AM
Last Post: JmsNxn
  The Generalized Gaussian Method (GGM) tommy1729 2 640 10/28/2021, 12:07 PM
Last Post: tommy1729
  Arguments for the beta method not being Kneser's method JmsNxn 54 9,390 10/23/2021, 03:13 AM
Last Post: sheldonison
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 666 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Why the beta-method is non-zero in the upper half plane JmsNxn 0 464 09/01/2021, 01:57 AM
Last Post: JmsNxn
  Improved infinite composition method tommy1729 5 1,547 07/10/2021, 04:07 AM
Last Post: JmsNxn
  A different approach to the base-change method JmsNxn 0 842 03/17/2021, 11:15 PM
Last Post: JmsNxn
  A support for Andy's (P.Walker's) slog-matrix-method Gottfried 4 5,041 03/08/2021, 07:13 PM
Last Post: JmsNxn
  Doubts on the domains of Nixon's method. MphLee 1 1,150 03/02/2021, 10:43 PM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)