I come across the statement in this paper, title "Garunkstis, R. and Laurincikas, A. (1996). On the Lerch zeta-function", pp. 342. It states that \begin{align*} \sum_{y<n\leq N} \frac{e^{2\pi i\lambda n}}{(n+u)^s} &= \frac{1}{(N+u)^{\sigma}}\color{red}{\sum_{y<n\leq N}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}} - \int_y^N \color{red}{\sum_{y<n\leq x}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}}\,d\frac{1}{(x+u)^{\sigma}}\\ &= \int_y^N \frac{e^{2\pi i\lambda v}}{(v+u)^s}\,dv+\frac{B_\lambda}{N^{\sigma}}+\color{blue}{\frac{B_{\lambda}}{\sigma}\frac{1}{y^{\sigma}}} \end{align*} using partial summation. However when I apply Abel's summation formula, I find that \begin{align*} \sum_{y<n\leq N} \frac{e^{2\pi i\lambda n}}{(n+u)^s} &= \sum_{y<n\leq N} \overbrace{\frac{e^{2\pi i\lambda n}}{(n+u)^{it}}}^{a_n} \overbrace{\frac{1}{(n+u)^{\sigma}}}^{\phi(n)}\\ &= \frac{1}{(N+u)^{\sigma}}\color{red}{\sum_{0\leq n\leq N}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}}-\frac{1}{(y+u)^{\sigma}}\color{red}{\sum_{0\leq n\leq y}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}} - \int_y^N \color{red}{\sum_{0\leq n\leq x}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}}\frac{-\sigma}{(x+u)^{\sigma+1}}\,dx\\ &=?\\ &= \frac{1}{(N+u)^{\sigma}}\color{red}{\sum_{y<n\leq N}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}} + \int_y^N \color{red}{\sum_{y<n\leq x}} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}}\frac{\sigma}{(x+u)^{\sigma+1}}\,dx\\ &= \frac{1}{(N+u)^{\sigma}}\bigg(\int_y^N \frac{e^{2\pi i\lambda x}}{(x+u)^{it}}\,dx+B_{\lambda}\bigg)+\int_y^N \bigg(\int_y^x \frac{e^{2\pi i\lambda v}}{(v+u)^{it}}\,dv+B_{\lambda}\bigg)\frac{\sigma}{(x+u)^{\sigma+1}}\,dx\\ &= \frac{1}{(N+u)^{\sigma}}\int_y^N \frac{e^{2\pi i\lambda x}}{(x+u)^{it}}\,dx+\frac{B_{\lambda}}{(N+u)^{\sigma}}\\ &\quad+ \int_{y}^N \frac{e^{2\pi i\lambda v}}{(v+u)^{it}} \int_v^N \frac{\sigma}{(x+u)^{\sigma+1}}\,dx\,dv+B_{\lambda}\int_y^N \frac{\sigma}{(x+u)^{\sigma+1}}\,dx\\ &= \frac{1}{(N+u)^{\sigma}}\int_y^N \frac{e^{2\pi i\lambda x}}{(x+u)^{it}}\,dx+\frac{B_{\lambda}}{(N+u)^{\sigma}}\\ &\quad+ \int_{y}^N \frac{e^{2\pi i\lambda v}}{(v+u)^{it}} \bigg(-\frac{1}{(N+u)^{\sigma}}+\frac{1}{(v+u)^{\sigma}}\bigg)\,dv+B_{\lambda}\bigg(-\frac{1}{(N+u)^{\sigma}}+\frac{1}{(y+u)^{\sigma}}\bigg)\\ &= \int_y^N \frac{e^{2\pi i\lambda v}}{(v+u)^s}\,dv+\frac{B_\lambda}{N^{\sigma}}+\color{blue}{\frac{B_{\lambda}}{y^{\sigma}}} \end{align*} here we have used the property in the paper, namely \begin{align*} \sum_{y<n\leq N} \frac{e^{2\pi i\lambda n}}{(n+u)^{it}}= \int_y^N \frac{e^{2\pi i\lambda x}}{(x+u)^{it}}\,dx+B_{\lambda} \end{align*} The question mark is on why the sum starts from $y+1$ instead of $0$? The second is on why the blue color part is different from the statement they give? A side note: The constant $B_{\lambda}$ is like a bound and could be written as $B_{\lambda}/(N+u)^{\sigma}=O(N^{-\sigma})$, hence I could absorb the negative sign previously, and $x$ and $v$ are just dummy variables. In that sense $\frac{B_{\lambda}}{\sigma}\frac{1}{y^{\sigma}}=O(y^{-\sigma})$ and will be the same as what I have. I would be appreciated if someone could help me with the missing $\color{red}{\text{red}}$ part and the missing $\color{blue}{\frac{1}{\sigma}}$. Thanks in advance!
2026-05-05 09:11:00.1777972260
Approximation of the Lerch zeta function
79 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in INTEGRATION
- How can I prove that $\int_0^{\frac{\pi}{2}}\frac{\ln(1+\cos(\alpha)\cos(x))}{\cos(x)}dx=\frac{1}{2}\left(\frac{\pi^2}{4}-\alpha^2\right)$?
- How to integrate $\int_{0}^{t}{\frac{\cos u}{\cosh^2 u}du}$?
- Show that $x\longmapsto \int_{\mathbb R^n}\frac{f(y)}{|x-y|^{n-\alpha }}dy$ is integrable.
- How to find the unit tangent vector of a curve in R^3
- multiplying the integrands in an inequality of integrals with same limits
- Closed form of integration
- Proving smoothness for a sequence of functions.
- Random variables in integrals, how to analyze?
- derive the expectation of exponential function $e^{-\left\Vert \mathbf{x} - V\mathbf{x}+\mathbf{a}\right\Vert^2}$ or its upper bound
- Which type of Riemann Sum is the most accurate?
Related Questions in SUMMATION
- Computing:$\sum_{n=0}^\infty\frac{3^n}{n!(n+3)}$
- Prove that $1+{1\over 1+{1\over 1+{1\over 1+{1\over 1+...}}}}=\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+...}}}}$
- Fourier series. Find the sum $\sum_{n=1}^\infty \frac{(-1)^{n+1}}{2n+1}$
- Sigma (sum) Problem
- How to prove the inequality $\frac{1}{n}+\frac{1}{n+1}+\cdots+\frac{1}{2n-1}\geq \log (2)$?
- Double-exponential sum (maybe it telescopes?)
- Simplify $\prod_{k=1}^{l} \sum_{r=d}^m {{m}\choose{r}} \left(N-k \right)^{r} k^{m-r+1}$
- Sum of two martingales
- How can we prove that $e^{-jωn}$ converges at $0$ while n -> infinity?
- Interesting inequalities
Related Questions in ASYMPTOTICS
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- How to find the asymptotic behaviour of $(y'')^2=y'+y$ as $x$ tends to $\infty$?
- Correct way to prove Big O statement
- Proving big theta notation?
- Asymptotics for partial sum of product of binomial coefficients
- Little oh notation
- Recurrence Relation for Towers of Hanoi
- proving sigma = BigTheta (BigΘ)
- What's wrong with the boundary condition of this $1$st order ODE?
- Every linearly-ordered real-parametrized family of asymptotic classes is nowhere dense?
Related Questions in SPECIAL-FUNCTIONS
- Generalized Fresnel Integration: $\int_{0}^ {\infty } \sin(x^n) dx $ and $\int_{0}^ {\infty } \cos(x^n) dx $
- Is there any exponential function that can approximate $\frac{1}{x}$?
- What can be said about the series $\sum_{n=1}^{\infty} \left[ \frac{1}{n} - \frac{1}{\sqrt{ n^2 + x^2 }} \right]$
- Branch of Math That Links Indicator Function and Expressability in a Ring
- Generating function of the sequence $\binom{2n}{n}^3H_n$
- Deriving $\sin(\pi s)=\pi s\prod_{n=1}^\infty (1-\frac{s^2}{n^2})$ without Hadamard Factorization
- quotients of Dedekind eta at irrational points on the boundary
- Sources for specific identities of spherical Bessel functions and spherical harmonics
- Need better resources and explanation to the Weierstrass functions
- Dilogarithmic fashion: the case $(p,q)=(3,4)$ of $\int_{0}^{1}\frac{\text{Li}_p(x)\,\text{Li}_q(x)}{x^2}\,dx$
Related Questions in ANALYTIC-NUMBER-THEORY
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Is there a trigonometric identity that implies the Riemann Hypothesis?
- question regarding nth prime related to Bertrands postulate.
- Alternating sequence of ascending power of 2
- Reference for proof of Landau's prime ideal theorem (English)
- Does converge $\sum_{n=2}^\infty\frac{1}{\varphi(p_n-2)-1+p_n}$, where $\varphi(n)$ is the Euler's totient function and $p_n$ the $n$th prime number?
- On the behaviour of $\frac{1}{N}\sum_{k=1}^N\frac{\pi(\varphi(k)+N)}{\varphi(\pi(k)+N)}$ as $N\to\infty$
- Analytic function to find k-almost primes from prime factorization
- Easy way to prove that the number of primes up to $n$ is $\Omega(n^{\epsilon})$
- Eisenstein Series, discriminant and cusp forms
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?