Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is also related to an older thread in MSE ("what is the half derivative of zeta at zero?") .

One of the possible steps in the problem of that thread was to evaluate the series

$$s_a=\eta^{(0.5)}(0) = \small{\sqrt{-\ln(1)}-\sqrt{-\ln(2)}+\sqrt{-\ln(3)}-\sqrt{-\ln(4)} \cdots \underset{\mathfrak E}{\approx}} - 0.347006596200 i$$ as the (regularized by Euler-summation $\mathfrak E$) value for the half-derivative of the alternating zeta (or "Dirichlet's eta").

Q: But how can I do the nonalternating series $$ s_p=\zeta^{(0.5)}(0)= \small{ \sqrt{-\ln(1)}+\sqrt{-\ln(2)}+\sqrt{-\ln(3)}+\sqrt{-\ln(4)}+ \cdots } \underset{\mathfrak ???}{\approx} ??? $$ $\qquad \qquad$ I don't see so far any possibility for instance in the sense of L. Euler's famous $\eta() \to \zeta() $ - conversion.


[update]: what I've additionally just done was to apply a procedure to find the/a formal power series for the problem of finite sums of consecutive terms. The procedure is that of the approximation of the Neumann-series of the Carleman-matrix for the function $f(x) = \sqrt{\ln(\exp(x^2)+1)}$ which is the iterative transfer function which produces the term of the series for index $n+1$ from the term at index $n$. The top-left of the heuristically approximated matrix $A$ is $$\small A_{0..1,0..16}=\begin{bmatrix} ?? & ?? \\ 0 & 1 \\ -1.00000000000 & -0.662055270527 \\ 0 & 0 \\ -0.500000000000 & -0.561866397242 \\ 0 & 0 \\ -0.166666666667 & -0.249581408503 \\ 0 & 0 \\ -0.0416666666667 & -0.0755503260124 \\ 0 & 0 \\ -0.00833333333333 & -0.0172091887343 \\ 0 & 0 \\ -0.00138888888889 & -0.00315760368955 \\ 0 & 0 \\ -0.000198412698413 & -0.000499047959470 \\ 0 & 0 \\ -0.0000248015873016 & -0.0000687607442729 \\ ... & ... \end{bmatrix} $$ Using the coefficients of the first column for a power series in x building the function $a_0(x)$ we get $$ a_0( \sqrt{\ln(n_1)})-a_0( \sqrt{\ln(n_2)} = n_2 - n_1 $$ which indicates the sum of the $f(x)^0$ which is just counting the terms.

Using the coefficients $c_k$ of the second column for a power series in $x$ building the function $a_1(x)$ we get the finite sum of the function at consecutive arguments: $$ a_1( \sqrt{\ln(n_1)})-a_1( \sqrt{\ln(n_2)}) = \sum_{k=1}^\infty (\sqrt{\ln(n_1)}^k - \sqrt{\ln(n_2)}^k )c_k = \sum_{k=n_1}^{n_2-1} \sqrt{\ln (k)} $$ which indicates the sum of the $f(x)$ which is the desired finite sums $s_p$ for the required terms.
However - I'm missing the first coefficient for the second power series. That should just conatin the representative value for the infinite sum from $n_1=1$ to $\infty$

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.