Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #10 Nov 22 2023 22:25:09
%S 6,4,1,3,9,2,8,2,0,6,4,2,5,7,1,6,8,4,2,2,0,8,8,7,1,6,5,1,2,7,1,8,1,6,
%T 8,7,3,9,3,6,5,6,8,2,8,4,4,6,4,6,4,0,1,3,9,5,5,9,5,7,7,0,0,2,2,5,2,5,
%U 7,6,2,7,9,8,3,6,9,3,2,1,7,2,4,9,4,7
%N Maximum curvature of the curve (1 - 2^(1-x)) zeta(x) from 0 to 1.
%C The series Sum_{n >= 1} (-1)^(n+1)/n^x converges nonuniformly to (1 - 2^(1-x)) zeta(x) (0,1). This series can be described as an alternating version of the "p-series" when 0 < p < 1. Let f(x) = Sum_{n >= 1} (-1)^(n+1)/n^x and g(x) = (1 - 2^(1-x)) zeta(x). Then f(0+) = g(0) = 1/2 and f(1) = log(2), whereas g(1) is undefined. Also, f(1/2) = g(1/2) = A113024 = 0.604898643421... .
%e Maximum curvature = 0.0641392820642571684220887165127181687393..., which occurs at x = 0.6827548440370203586269... .
%t f[x_] := (1 - 2^(1 - x)) Zeta[x];
%t c[x_] := Abs[f''[x]]/(1 + f'[x]^2)^(3/2)
%t y = FindMaximum[{c[x], 0 < x < 1}, {x, 1/2}, WorkingPrecision -> 1000]
%t RealDigits[y][[1]][[1]]
%Y Cf. A113024, A367309, A367312.
%K nonn,cons
%O 0,1
%A _Clark Kimberling_ and _Peter J. C. Moses_, Nov 13 2023