3
$\begingroup$

@Dark Malthorp got me started on Abel-Plana integral-equations for the MRB constant, here, and by trial and error, I got them concluded in a way that looks beautiful to me, and that includes equations for its integrated analog. But I would like to be able to present proof with them. Any help here?

Let $g(x) = x^{1/x}$.

$$\mathrm{CMRB} = \lim\limits_{N\to\infty}\sum\limits_{n=1}^{2N}(-1)^ng(n)=ℑ\lim\limits_{N\to\infty}\int\limits_{0}^{2N}\frac{g(1+it)}{\sinh(\pi t)}dt.$$

$$MKB=\lim\limits_{N\to\infty}\int\limits_1^{2N}e^{i\pi t}g(t)dt=(-i)\lim\limits_{N\to\infty}\int\limits_{0}^{2N}\frac{g(1+it)}{\exp(\pi t)}dt. $$

Here is some Mathematica code with results that justify them to me:

Clear[g]; g[x_] = x^(1/x); CMRB = N[NSum[(-1)^n (g[n] - 1), {n, 1, Infinity}, 
   Method -> "AlternatingSigns", WorkingPrecision -> 57], 30]

 (* 0.187859642462067120248517934054*)

  g[x_] = x^(1/x); CMRB -  NIntegrate[Im[g[1 + I t]/(Sinh[Pi t])], {t, 0, Infinity}, 
  WorkingPrecision -> 30]

 (* 0.*10^-31*)

  g[x_] = x^(1/x); Timing[ MKB = N[NIntegrate[Exp[I Pi t] (g[t]), {t, 1, Infinity}, 
     WorkingPrecision -> 57], 30] - I/Pi]

(*{0.03125, 
 0.070776039311528803539528021830 - 0.684000389437932129182744459993 I}*)

  g[x_] = x^(1/x); Timing[MKB - (N[NIntegrate[(-1)^t (g[t]), {t, 1, Infinity}, 
       WorkingPrecision -> 57, MaxRecursion -> 3500], 30] - I/Pi)] // Quiet

 (* {30.8438, 6.3*10^-29 - 6.00*10^-28 I}*)

  g[x_] = x^(1/x); Timing[ MKB -
    (-N[ I NIntegrate[(g[(1 + t I)])/( Exp[Pi t]), {t, 0, Infinity},  WorkingPrecision -> 57] + I/Pi, 30])]

(* {0.046875, 0.*10^-31 + 0.*10^-31 I}*)

g[x_] = x^(1/x); Timing[ MKB - (-N[
 I NIntegrate[Exp[I^2 Pi t] (g[1 + t I]), {t, 0, Infinity},  WorkingPrecision -> 57] + I/Pi, 30])]

(* {0.03125, 0.*10^-31 + 0.*10^-31 I}*)

Here in Wolfram Community is where I would like to post the proofs after I understand them.

I tried variations of the following Wikipedia article.

enter image description here

I looked at $$ g(x) = x^{1/x} \text{ and }f(x)=e^{i \pi x}(x^{1/x}-1). $$$$\text{Re(MKB)}=i\lim\limits_{N\to\infty}\int _0^{2 N}\frac{g (1-i t)-g (1+i t)}{2 e^{\text{$\pi $t}}}$$$$=ℑ \int_0^{\infty } \frac{f(1-i t)-f(1+i t)}{e^{2 \pi t}+1} \, dt=ℑ \int_0^{\infty } \frac{f(1+i t)+f(1-i t)}{e^{2 \pi t}-1} \, dt.$$$$CMRB=Re(MKB)+ℑ \int_0^{\infty } \frac{f (1-i t)-f (1+i t)}{\exp (2 \pi t)-1} \, dt.$$$$\text{ℑ} \text{(MKB)}=(-i)\lim\limits_{N\to\infty}\int\limits_0^{2N}\frac{g (1+i t)+g (1-i t)}{2 e^{\text{$\pi $t}}}.$$ The (often missing in the denominator and appearing in the numerator)"1" can come from the convergent $CMRB=\sum\limits_{n=1}^{\infty}(-1)^n(g(n)-1).$ Nonetheless, I can't quite make the proof work.

Here on the Wolfram cloud is where I justified and summarized all my findings like I just posted above.

$\endgroup$
5
  • 1
    $\begingroup$ Try to transcribe the equations, it's useful for people searching in the future; an image, less so. $\endgroup$ Mar 28, 2021 at 4:45
  • $\begingroup$ Thank you. Shouldn't that $$ (-1)^N $$ be $$ (-1)^x? $$ I'll change that. $\endgroup$ Mar 28, 2021 at 4:49
  • $\begingroup$ Done. Thanks again! $\endgroup$ Mar 28, 2021 at 4:55
  • 1
    $\begingroup$ @MarvinRayBurns I would write for example $e^{\pi i x}$ or $e^{-\pi i x}$ instead. $(-1)^x$ is not well defined. $\endgroup$
    – Gary
    Mar 29, 2021 at 8:57
  • $\begingroup$ Write $\verb*\Im*$ for the imaginary part $\Im$ instead of I. See the MSE-MathJax Tutorial. $\endgroup$ Mar 29, 2021 at 22:57

1 Answer 1

1
+50
$\begingroup$

Here's the details on how I used the Abel-Plana formula: Let $f(x) = 1-(1+x)^{\frac1{1+x}}$. Then we have $$ C_{MRB} = \sum_{n=1}^\infty (-1)^n \left(n^{\frac1n}-1\right) =\sum_{n=0}^\infty (-1)^n \left(1-(n+1)^{\frac1{n+1}}\right)= \sum_{n=0}^\infty (-1)^nf(n) $$ To apply Abel-Plana, we need bounds on $f(z)$. It doesn't quite satisfy Wikipedia's assumptions, but actually it's pretty nice anyway, as $\lim_{x\rightarrow \infty} f(x+yi) = 0$ for all fixed $y$, and it is bounded in the right half-plane. Then we use the alternating series formulation of Abel-Plana:\begin{eqnarray} C_{MRB}&=&\sum_{n=0}^n(-1)^nf(n) = \frac12f(0)+i\int_0^\infty\frac{f(it)-f(-it)}{2\sinh(\pi t)}dt\\ &=&\frac12 \cdot 0 + i\int_0^\infty \frac{ 1-(1+i t)^{\frac1{1+it}} -1+(1-i t)^{\frac1{1-it}} }{2\sinh(\pi t)}dt\\ &=&i\int_0^\infty \frac{ -(1+i t)^{\frac1{1+it}} +(1-i t)^{\frac1{1-it}} }{2\sinh(\pi t)}dt \end{eqnarray} Because $(1+z)^{\frac1{1+z}}$ is holomorphic for $\Re z\ge 0$ and real valued for real $z$ we know that $f(\overline z) = \overline {f(z)}$. Because $\overline z - z= -2i(\Im z)$, this implies $$ C_{MRB} = \int_0^\infty \frac{\Im(1+it)^{\frac1{1+it}}}{\sinh(\pi t)}dt $$ Strictly speaking, we cannot pull the imaginary part out of the integral, as the function $\frac{(1+it)^{\frac1{1+it}}}{\sinh(\pi t)}$ has a pole at $0$ and thus its integral doesn't converge. The imaginary part, however, is bounded for $t\in(0,\infty)$.

$\endgroup$
4
  • 1
    $\begingroup$ I'm proud that I understood that a lot faster than the original!! That's how far I've come!! Thank you!!!!! $\endgroup$ Apr 2, 2021 at 14:37
  • $\begingroup$ Dark, Any Ideas on my second equation? I'm kinda proud of finding it! Thanks again! $\endgroup$ Apr 2, 2021 at 16:02
  • $\begingroup$ I'll think about it. It's certainly not obvious; I guess it's some careful application of residue theorem. $\endgroup$ Apr 2, 2021 at 17:54
  • $\begingroup$ It might be obvious, but I got it through trial and error starting with the Wikipedia article's first equation. $\endgroup$ Apr 3, 2021 at 1:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.