Continuum sums -- a big problem and some interesting observations
#11
So my advice is to avoid confusion by using continous sum but not indefinite continous sum, but a continous sum with fixed lower limit which is defined unambiguiously.
#12
(10/10/2010, 08:02 AM)Ansus Wrote: So my advice is to avoid confusion by using continous sum but not indefinite continous sum, but a continous sum with fixed lower limit which is defined unambiguiously.

So, then we have

\( \sum_x f(x) \)

as definitely ambiguous and not well defined if \( f \) is not entire, even with Fourier sums, as powerful as they are, while

\( \sum_{n=n_0}^{x-1} f(n) \)

is not. The direction of the singularities is toward the right of a singularity in \( f \) if \( \Re(n_0) < \Re(S) \), where \( S \) is the singularity point, and to the left otherwise. And if \( \Re(n_0) = \Re(S) \), it goes in both directions, i.e. \( \frac{1}{2}\left(\psi(-x) + \psi(x+1)\right) \).

Thus, the laws

\( \sum_{n=a + \alpha}^{b + \alpha} f(n) = \sum_{n=a}^{b} f(n + \alpha) \)

and

\( F(b+1) - F(a) = \sum_{n=a}^{b} f(n) \),

where \( F(z) = \sum_{n=n_0}^{z-1} f(z) \) for some \( n_0 \), are only guaranteed to hold when all numbers \( a \), \( b \), and \( \alpha \) are integers, or \( f \) is entire.

Also, I made an interesting observation about the function

\( F(x) = \sum_{n=0}^{x-1} e^{-n^2} \),

a sort of sum-analogue of the error function. With the Fourier-based sum, it does not settle to a limit as \( x \rightarrow \infty \), but instead goes to a small 1-cyclic wobble about the limit of the discrete sum. Namely, \( F(1/2) = \frac{1}{2} \), and so

\( \lim_{n \rightarrow \infty} F\left(n + \frac{1}{2}\right) = \frac{1}{2} + \sum_{n=0}^{\infty} e^{-{\left(n + \frac{1}{2}\right)}^2} \ne \sum_{n=0}^{\infty} e^{-n^2} \).

The value 1/2 for the function at 1/2 can also be obtained from Faulhaber's formula when it is organized as a sum over the Bernoulli polynomials. I think the half-integers are the only other places than the integers where that formula converges.

The message here being, of course, that we can't necessarily expect continuum sums and discrete sums to behave in the same way, so the idea we may have to sacrifice some identities may not be a surprise.
#13
(10/11/2010, 10:36 AM)mike3 Wrote: a sort of sum-analogue of the error function. With the Fourier-based sum, it does not settle to a limit as \( x \rightarrow \infty \), but instead goes to a small 1-cyclic wobble about the limit of the discrete sum.

I believe in such cases the periodic component can be easily excluded (i.e. by requireing monotonous derivatives of higher orders). This is related to positive real axis. So to obtain the "natural solution" to the continous sum, just purify it of the periodic component on the positive real axis. Of course in any case the periodic component on the complex plane still will remain.

You can also use checks by other methods such as Mueller's formula (this formula is well-applicable to the function you presented as an example).

If
\( \lim_{x\to{+\infty}}f(x)=0 \)

then

\( \sum _x f(x)=\sum_{n=0}^\infty\left(f(n)-f(n+x)\right)+ C \)
#14
(10/11/2010, 11:33 AM)Ansus Wrote: I believe in such cases the periodic component can be easily excluded (i.e. by requireing monotonous derivatives of higher orders). This is related to positive real axis. So to obtain the "natural solution" to the continous sum, just purify it of the periodic component on the positive real axis. Of course in any case the periodic component on the complex plane still will remain.

You can also use checks by other methods such as Mueller's formula (this formula is well-applicable to the function you presented as an example).

If
\( \lim_{x\to{+\infty}}f(x)=0 \)

then

\( \sum _x f(x)=\sum_{n=0}^\infty\left(f(n)-f(n+x)\right)+ C \)

The problem with the Mueller formula, and part of the reason for the introduction of the Fourier continuum sum, is that it does not preserve analyticity.

Consider \( f(x) = \frac{\sin\left(x^2\right)}{x^2} \). If we apply Mueller's formula to this at the real axis we get a reals-only continuum sum that is not analytic anywhere, heck, it may not even be real-differentiable anywhere(!).

The Fourier method also preserves the result from Faulhaber's formula. Canceling the wobble would mean that we no longer have agreement with Faulhaber's formula.

#15
(10/11/2010, 11:46 PM)mike3 Wrote: Consider \( f(x) = \frac{\sin\left(x^2\right)}{x^2} \). If we apply Mueller's formula to this at the real axis we get a reals-only continuum sum that is not analytic anywhere, heck, it may not even be real-differentiable anywhere(!).

Why do you think this function should have good, analytic, differentiable continuous sum? I think it should not regardles of the method used. It is really bad function for continuous summation.
#16
(10/12/2010, 04:41 AM)Ansus Wrote: Why do you think this function should have good, analytic, differentiable continuous sum? I think it should not regardles of the method used. It is really bad function for continuous summation.

Why should it not? What makes a function "too bad" to have a continuum sum, other than that some proposed definition of continuum sum does not yield a continuum sum for it?
#17
(10/12/2010, 04:41 AM)Ansus Wrote: Why do you think this function should have good, analytic, differentiable continuous sum? I think it should not regardles of the method used. It is really bad function for continuous summation.

Why should it not? What makes a function "too bad" to have a continuum sum, other than that some proposed definition can't sum it?
#18
By the way, why do you think Mueller's formula will give non-analytic result here? I have just took a closer look to the function and I see no problem with continuous summation here.


Possibly Related Threads…
Thread Author Replies Views Last Post
  double functional equation , continuum sum and analytic continuation tommy1729 6 1,771 03/05/2023, 12:36 AM
Last Post: tommy1729
  How fast are these type of sums ? tommy1729 5 1,367 02/17/2023, 11:48 PM
Last Post: tommy1729
  Another way to continuum sum! JmsNxn 8 15,969 02/08/2023, 03:49 AM
Last Post: JmsNxn
  The semi-group iso problem and bounded derivatives tommy1729 3 1,202 12/07/2022, 09:26 PM
Last Post: tommy1729
  Very interesting topic Ansus 0 3,202 10/01/2019, 08:14 PM
Last Post: Ansus
  THE problem with dynamics tommy1729 1 5,849 04/04/2017, 10:52 PM
Last Post: tommy1729
  [sci.math] halting problem skeptic. tommy1729 0 3,998 05/30/2015, 09:24 PM
Last Post: tommy1729
  2015 Continuum sum conjecture tommy1729 3 8,839 05/26/2015, 12:24 PM
Last Post: tommy1729
  Problem with cauchy method ? tommy1729 0 4,338 02/16/2015, 01:51 AM
Last Post: tommy1729
  Further observations on fractional calc solution to tetration JmsNxn 13 31,099 06/05/2014, 08:54 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)