-1
$\begingroup$

I am self studying a research paper in analytic number theory (Ball and Rivoal - Irrationalité d’une infinité de valeurs de la fonction zêta aux entiers impairs) and I am unable to think about an argument in 1 of it's lemma.

The paper is in French but I am adding images of formulas references only. Rest of text which could be useful I will write. (For more details see 7th page, logical p. 199, of research paper.)

equation (8) of linked paper

auxiliary results

Assume $\tilde S(z)$ to be RHS of equation 8.

Assume that it has been proved $\tilde S(z)$ is continuous on $E$ and it has also been proved that $S_n(z)$ is continuous on $E$ where $E =\{z \in \mathbb C : \lvert z\rvert \geq1\}$. Also, $a$, $b$, $n$ are integers and $1\leq b \leq a$ and $1 \leq r < a/2$.

I am not able to think why they must be equal on the given domain. On one side is an infinite series and on other side an integral with some other terms.

Can someone please help, I have no clue regarding this and no further explanation has been given in the research paper.

$\endgroup$
5
  • $\begingroup$ I did some light editing. You mention supposing that $S_n'(z)$ is equal to the right-hand side of (8), but (8) is an equation involving $S_n(z)$, not $S_n'(z)$. Is that really what you meant? $\endgroup$
    – LSpice
    Apr 7, 2020 at 12:56
  • $\begingroup$ @Lspice I wrote Tilde (~) over S(z) as S'(z) as I didn't knew how to write ~ over S(z) in math Jax. $\endgroup$
    – Arnold
    Apr 16, 2020 at 8:34
  • $\begingroup$ Same as in TeX: $\tilde S(z)$ \tilde S(z). $\endgroup$
    – LSpice
    Apr 16, 2020 at 10:02
  • $\begingroup$ @Gaussian has already answered it. $\endgroup$
    – LSpice
    Apr 16, 2020 at 12:55
  • 1
    $\begingroup$ This question already has an accepted answer; why have you bumped it with an edit? $\endgroup$
    – Yemon Choi
    Jan 6 at 0:44

1 Answer 1

1
$\begingroup$

Since I can't make comment, let me write this as an answer. You know that the LHS and the RHS are continuous on $|z|\geq1$, so to prove that they are equal on $E$, it is enough to show that they are equal on $|z|>1$.

Actually, the condition $|z|>1$ helps you writing the integrand of $I_n(z)$ as a power series, the variable of which is $z$: then, you will have to check that you can switch the integral and the sum... and you'll have to check that this is equal to the power series defining $S_n(z)$.

$\endgroup$
4
  • $\begingroup$ can you please write a detailed answer on how it will be actually done!! $\endgroup$
    – Arnold
    Apr 16, 2020 at 12:19
  • 6
    $\begingroup$ @Dxdxdade: I don't think MO is meant for people to do your work. $\endgroup$
    – DamienC
    Apr 16, 2020 at 13:52
  • $\begingroup$ @DamienC , it ok I was already thinking of trying it myself once again and then if I have any questions I will ask to Gaussian. $\endgroup$
    – Arnold
    Apr 16, 2020 at 13:54
  • $\begingroup$ @Gaussian , why condition |z|>1 allows to write integrand of $I_n(z) $ as power series? $\endgroup$
    – Arnold
    Apr 16, 2020 at 17:01

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.