 $$|\psi _m^{(\beta )}(x) - \sigma_{1 - 1/\beta }^{(\beta )}(m)x| = O \bigg( x^{1/2} \log^2 T + \frac{x^{1+\varepsilon}\log x}{T} + \frac{{x{{\log }^2}T}}{T} \bigg)$$ provided that $x$ is an integer. Taking $T = x^{1/2}$ leads to $$\begin{aligned}
\psi _m^{(\beta )}(x) & = \sigma_{1 - 1/\beta }^{(\beta )}(m)x + O({x^{1/2}}{\log ^2}{x} + x^{1/2+\varepsilon}\log x ) = \sigma_{1 - 1/\beta }^{(\beta )}(m)x + O({x^{1/2+\varepsilon}} )\end{aligned}$$

Proof of Theorem \[bartz11\]
============================

We now look at the contour integral $${\Upsilon ^{(\beta )}}(n,z) = \oint\nolimits_\Omega  {\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n)}}{{\zeta (s)}}{e^{sz}}ds}$$ taken around the path $\Omega = [-1/2,3/2,3/2+iT_n,-1/2+iT_n]$.

For the upper horizontal integral we have $$\begin{aligned}
  \bigg| {\int_{-1/2 + i{T_m}}^{3/2 + i{T_m}} {\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n)}}{{\zeta (s)}}{e^{sz}}ds} } \bigg| &\leqslant \int_{-1/2}^{\min(\beta,3/2)} {\bigg| {\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma  + i{T_m})}}} \bigg|d\sigma }  + \int_{\min(\beta,3/2)}^{3/2} {\bigg| {\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma  + i{T_m})}}} \bigg|d\sigma }  \nonumber \\
   &\ll T_m^{{c_1}}{n^{\beta
$ $ |\psi _ m^{(\beta) } (x) - \sigma_{1 - 1/\beta } ^{(\beta) } (m)x| = O \bigg (x^{1/2 } \log^2 T + \frac{x^{1+\varepsilon}\log x}{T } + \frac{{x{{\log } ^2}T}}{T } \bigg)$$ provided that $ x$ is an integer. Taking $ T = x^{1/2}$ lead to $ $ \begin{aligned } 
 \psi _ m^{(\beta) } (x) & = \sigma_{1 - 1/\beta } ^{(\beta) } (m)x + O({x^{1/2}}{\log ^2}{x } + x^{1/2+\varepsilon}\log x) = \sigma_{1 - 1/\beta } ^{(\beta) } (m)x + O({x^{1/2+\varepsilon } }) \end{aligned}$$ 

 validation of Theorem \[bartz11\ ] 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 We now look at the contour built-in $ $ { \Upsilon ^{(\beta) } } (n, z) = \oint\nolimits_\Omega   { \frac{{\sigma_{1 - s/\beta } ^{(\beta) } (n)}}{{\zeta (s)}}{e^{sz}}ds}$$ taken around the way $ \Omega = [ -1/2,3/2,3/2+iT_n,-1/2+iT_n]$. 

 For the upper horizontal integral we have $ $ \begin{aligned } 
   \bigg| { \int_{-1/2 + i{T_m}}^{3/2 + i{T_m } } { \frac{{\sigma_{1 - s/\beta } ^{(\beta) } (n)}}{{\zeta (s)}}{e^{sz}}ds } } \bigg| & \leqslant \int_{-1/2}^{\min(\beta,3/2) } { \bigg| { \frac{{\sigma_{1 - s/\beta } ^{(\beta) } (n){e^{sz}}}}{{\zeta (\sigma   + i{T_m }) } } } \bigg|d\sigma }   + \int_{\min(\beta,3/2)}^{3/2 } { \bigg| { \frac{{\sigma_{1 - s/\beta } ^{(\beta) } (n){e^{sz}}}}{{\zeta (\sigma   + i{T_m }) } } } \bigg|d\sigma }   \nonumber \\ 
    & \ll T_m^{{c_1}}{n^{\beta
 $$|\psl _m^{(\beta )}(x) - \sigma_{1 - 1/\beta }^{(\btta )}(m)x| = O \bigg( x^{1/2} \log^2 T + \hrac{x^{1+\vadepsilon}\uog x}{T} + \frac{{x{{\log }^2}T}}{T} \bigg)$$ protidee thau $x$ is an integer. Txking $T = q^{1/2}$ leads ti $$\bejin{aligned}
\psi _m^{(\bxfa )}(x) & = \sigma_{1 - 1/\neta }^{(\yeva )}(m)x + O({x^{1/2}}{\log ^2}{x} + x^{1/2+\varepsilmn}\log x ) = \sigmd_{1 - 1/\bzta }^{(\beta )}(m)x + O({x^{1/2+\varepsilon}} )\end{aligned}$$

[roof og Hheorem \[bartz11\]
============================

Wg now jook at the contour integral $${\Upsilon ^{(\bsta )}}(n,z) = \oint\nolimits_\Pmega  {\frac{{\sigma_{1 - s/\beta }^{(\beha )}(n)}}{{\xeta (s)}}{e^{sz}}ds}$$ taken wround the kzth $\Imega = [-1/2,3/2,3/2+iT_n,-1/2+iT_v]$.

For the ukpzr horizontzl integral we have $$\begin{alignea}
  \biyg| {\int_{-1/2 + i{T_m}}^{3/2 + u{T_m}} {\xrac{{\sigma_{1 - w/\beta }^{(\beta )}(n)}}{{\zeta (s)}}{e^{sz}}ds} } \tigg| &\leaslant \int_{-1/2}^{\min(\bcta,3/2)} {\bmgg| {\drac{{\sigma_{1 - s/\beta }^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma  + y{T_m})}}} \bigg|d\viyma }  + \int_{\min(\beta,3/2)}^{3/2} {\bigt| {\drac{{\shgma_{1 - s/\bdra }^{(\cetz )}(i){e^{sa}}}}{{\zeta (\digja  + i{T_m})}}} \bjgg|d\sigma }  \nonumber \\
   &\ll T_m^{{c_1}}{m^{\bqns
$$|\psi _m^{(\beta )}(x) - \sigma_{1 - 1/\beta = \bigg( x^{1/2} T + \frac{x^{1+\varepsilon}\log provided $x$ is an Taking $T = leads to $$\begin{aligned} \psi _m^{(\beta )}(x) = \sigma_{1 - 1/\beta }^{(\beta )}(m)x + O({x^{1/2}}{\log ^2}{x} + x^{1/2+\varepsilon}\log x ) \sigma_{1 - 1/\beta }^{(\beta )}(m)x + O({x^{1/2+\varepsilon}} )\end{aligned}$$ Proof of Theorem \[bartz11\] ============================ now at contour $${\Upsilon ^{(\beta )}}(n,z) = \oint\nolimits_\Omega {\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n)}}{{\zeta (s)}}{e^{sz}}ds}$$ taken around the path $\Omega [-1/2,3/2,3/2+iT_n,-1/2+iT_n]$. For the upper horizontal integral we have \bigg| {\int_{-1/2 + i{T_m}}^{3/2 i{T_m}} {\frac{{\sigma_{1 - s/\beta }^{(\beta (s)}}{e^{sz}}ds} \bigg| &\leqslant {\bigg| - }^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma i{T_m})}}} \bigg|d\sigma } + \int_{\min(\beta,3/2)}^{3/2} {\bigg| {\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma + i{T_m})}}} \bigg|d\sigma } \nonumber &\ll T_m^{{c_1}}{n^{\beta
 $$|\psi _m^{(\beta )}(x) - \sigma_{1 - 1/\beta }^{(\beta )}(m)x| = O \Bigg( x^{1/2} \log^2 T + \fRac{x^{1+\vArePsiLoN}\log X}{T} + \frAc{{x{{\log }^2}T}}{T} \bigg)$$ prOVideD that $x$ is an integer. TakinG $T = x^{1/2}$ leAdS To $$\beGIn{AlignEd}
\psi _m^{(\bETa )}(X) & = \SIgmA_{1 - 1/\bEtA }^{(\beTa )}(M)X + O({X^{1/2}}{\log ^2}{x} + X^{1/2+\vaRepsiloN}\log x ) = \sigma_{1 - 1/\BetA }^{(\bEta )}(m)x + O({x^{1/2+\varepSIlOn}} )\end{alignEd}$$

PRoof of TheoreM \[baRtz11\]
============================

We nOw LooK At the ConTour iNtegraL $${\upsiloN ^{(\beta )}}(n,z) = \oiNt\NOlimitS_\omega  {\frAC{{\SiGma_{1 - s/\Beta }^{(\beta )}(n)}}{{\zeta (s)}}{e^{sz}}DS}$$ tAKen around the paTh $\OmegA = [-1/2,3/2,3/2+it_N,-1/2+it_N]$.

for The Upper horizOnTal inTEgral we HAvE $$\BEGin{ALigned}
  \bigg| {\int_{-1/2 + I{T_m}}^{3/2 + i{T_m}} {\frac{{\sIGma_{1 - S/\beta }^{(\bEtA )}(n)}}{{\zETa (s)}}{e^{sz}}Ds} } \bigG| &\lEQslAnt \int_{-1/2}^{\min(\beTa,3/2)} {\biGg| {\frac{{\sigMa_{1 - s/\betA }^{(\Beta )}(n){e^{sZ}}}}{{\Zeta (\sigMa  + i{T_m})}}} \bIgg|D\siGma }  + \iNT_{\mIn(\BetA,3/2)}^{3/2} {\bIGg| {\fRAc{{\SigMA_{1 - s/\bEta }^{(\beta )}(n){E^{sZ}}}}{{\zEta (\siGma  + i{t_M})}}} \BIGg|d\sIgmA }  \nonUmber \\
   &\Ll T_m^{{c_1}}{n^{\beta
 $$|\psi _m^{(\beta )}(x)- \sigma_{ 1 - 1 /\b eta  } ^{(\ beta  )}(m)x| = O \ b igg(  x^{1/2} \log^2 T + \f rac{x ^{ 1 +\va r ep silon }\log x } {T } + \ fr ac {{x {{ \ lo g }^2 }T} }{T} \b igg)$$ pro vid ed  that $x$ is an  integer.Tak ing $T = x^{ 1/2 }$ lea ds  to $$\be gin {alig ned}
\ p si _m^ {(\beta ) }( x ) & =\ sigma_{ 1 -1/\b eta }^{(\beta )}( m )x + O({x^{1/2}}{ \log ^ 2} { x} +  x^ {1/ 2+\varepsi lo n}\lo g  x ) =\ si g m a _{1 - 1/\beta }^{ (\beta )}(m ) x +  O({x^ {1 /2+ \ vareps ilon} }) \en d{aligned}$ $

P roof of T heorem \[bartz 1 1\]
=== ====== === === ==== = == == === =Wen ow  lo o k a t the co nt ou r int egra l $ $ {\Up sil on ^ {(\be ta )}}(n,z) =  \o int\ n oli mits_ \Omeg a  { \f rac{{ \sigma _{1 -  s /\beta }^{(\bet a )} (n)}}{{\z eta  ( s)} }{ e^{sz } }ds}$$  ta ken  around  the pa t h $ \O m e g a= [-1/2,3/2,3/2+iT _n , - 1/ 2+iT_n]$ .

For th eu pper hor iz ont al i n t egral  weh av e $$\beg in{ali g ne d} 
  \big g|  {\int _{ -1/ 2 +  i{T_ m }}^{ 3/2 +i{T_m}}{\fra c {{\sigma_{1 -s /\beta }^{(\b e ta ) }( n )}}{ {\z eta (s)}}{e ^{sz } }ds}  } \ b ig g|& \leqs lant\i n t_ { -1/2}^{\min(\beta,3 /2 )} {\b igg|{\frac{{\sigm a_{1 - s/\ b e t a }^{(\b eta) }( n ){e^{sz}}}}{{\ zeta(\sigma  + i{T_m})} }} \b igg|d\si gma }  +\ i nt_{\min (\b eta ,3/ 2)} ^ { 3/ 2} {\bigg| {\ f r ac{{ \s igma_{1  -s/\beta  }^ {(\ bet a ) }( n){e^{sz} }}}{{\ze ta  ( \s ig ma + i{ T _m})}}}\b igg |d \si gma }  \nonu mber\\
 &\ l l T _m^{{c_ 1 }} { n ^{\b et a
 $$|\psi__m^{(\beta )}(x)_- \sigma_{1 - 1/\beta_}^{(\beta )}(m)x|_=_O \bigg(_x^{1/2}_\log^2 T +_\frac{x^{1+\varepsilon}\log x}{T} +_\frac{{x{{\log }^2}T}}{T} \bigg)$$ provided_that $x$ is_an_integer. Taking $T = x^{1/2}$ leads to $$\begin{aligned}
\psi _m^{(\beta )}(x) & = \sigma_{1 -_1/\beta_}^{(\beta )}(m)x_+_O({x^{1/2}}{\log_^2}{x} + x^{1/2+\varepsilon}\log x )_= \sigma_{1 - 1/\beta }^{(\beta_)}(m)x +_O({x^{1/2+\varepsilon}} )\end{aligned}$$

Proof of Theorem \[bartz11\]
============================

We now look at_the_contour integral $${\Upsilon_^{(\beta )}}(n,z) = \oint\nolimits_\Omega  {\frac{{\sigma_{1 - s/\beta }^{(\beta_)}(n)}}{{\zeta (s)}}{e^{sz}}ds}$$ taken around the path_$\Omega = [-1/2,3/2,3/2+iT_n,-1/2+iT_n]$.

For_the_upper_horizontal integral we have_$$\begin{aligned}
  \bigg| {\int_{-1/2 + i{T_m}}^{3/2_+ i{T_m}} {\frac{{\sigma_{1 - s/\beta }^{(\beta_)}(n)}}{{\zeta (s)}}{e^{sz}}ds} } \bigg| &\leqslant \int_{-1/2}^{\min(\beta,3/2)} {\bigg|_{\frac{{\sigma_{1 - s/\beta }^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma_ + i{T_m})}}} \bigg|d\sigma }_ +_\int_{\min(\beta,3/2)}^{3/2} {\bigg| {\frac{{\sigma_{1 - s/\beta_}^{(\beta )}(n){e^{sz}}}}{{\zeta (\sigma_ +_i{T_m})}}} \bigg|d\sigma }_ \nonumber \\
   &\ll_T_m^{{c_1}}{n^{\beta