}(s)>1$.

For each integer $b\geq 2$, the Dirichlet series $$\label{eq-gb-def-2}
G_b(s) = \sum_{n=1}^\infty \frac{S_b(n)}{n^s}$$ converges and defines a holomorphic function for $\operatorname{Re}(s)>2$.

The estimate gives $$\sum_{m=1}^n S_b(m) \ll n^2 \log n,$$ which shows that the Dirichlet series converges for $\operatorname{Re}(s)>2$.

It follows from Delange’s formula that $F_b(s)$ and $G_b(s)$ have abscissa of absolute convergence $\operatorname{Re}(s)=1$ and $\operatorname{Re}(s)=2$, respectively, and this can be proven directly using a more careful estimate of the function $d_b(n)$. We can also obtain the exact values of the abscissas of convergence as a corollary of our theorems on the meromorphic continuation of $F_b(s)$ and $G_b(s)$, since $F_b(s)$ has a pole at $s=1$ and $G_b(s)$ has a pole at $s=2$.

As in previous work on Dirichlet series associated to $q$-additive sequences, it is advantageous to consider the Dirichlet series $$Z_b(s) =\sum_{n=1}^\infty \bigl(d_b(n)-d_b(n-1)\bigr) n^{-s}$$ obtained by differencing the coefficients of the series $F_b(s)$, setting $d_b(0)=0$. Identity in the following proposition appears in a more general form (for $q$-additive functions) in the work of Mauclaire and Murata [@mauclaire-murata-83a; @mauclaire-murata-83b; @murata-mauclaire-88] and is stated and proved explicitly for the sum-of-digits series by Allouche and Shallit [@allouche-shallit-90]. We give a more direct proof of this result.

\[prop-differenced-zeta\] For each integer $b\geq 2$, the Dirichlet series $Z_b(s)$ has abscissa of absolute convergence $\sigma_a=1$, ab
} (s)>1$. 

 For each integer $ b\geq 2 $, the Dirichlet series $ $ \label{eq - gb - def-2 } 
 G_b(s) = \sum_{n=1}^\infty \frac{S_b(n)}{n^s}$$ converges and defines a holomorphic function for $ \operatorname{Re}(s)>2$. 

 The appraisal render $ $ \sum_{m=1}^n S_b(m) \ll n^2 \log n,$$ which shows that the Dirichlet series converges for $ \operatorname{Re}(s)>2$. 

 It follow from Delange ’s convention that $ F_b(s)$ and $ G_b(s)$ have abscissa of absolute convergence $ \operatorname{Re}(s)=1 $ and $ \operatorname{Re}(s)=2 $, respectively, and this can be proven immediately using a more careful estimate of the function $ d_b(n)$. We can besides receive the exact value of the abscissas of convergence as a corollary of our theorem on the meromorphic good continuation of $ F_b(s)$ and $ G_b(s)$, since $ F_b(s)$ has a pole at $ s=1 $ and $ G_b(s)$ has a pole at $ s=2$. 

 As in previous employment on Dirichlet series associated to $ q$-additive sequences, it is advantageous to regard the Dirichlet series $ $ Z_b(s) = \sum_{n=1}^\infty \bigl(d_b(n)-d_b(n-1)\bigr) n^{-s}$$ obtained by differencing the coefficients of the series $ F_b(s)$, set $ d_b(0)=0$. Identity in the following proposition appears in a more general form (for $ q$-additive routine) in the work of Mauclaire and Murata [ @mauclaire - murata-83a; @mauclaire - murata-83b; @murata - mauclaire-88 ] and is stated and proved explicitly for the sum - of - digits series by Allouche and Shallit [ @allouche - shallit-90 ]. We give a more direct proof of this result. 

 \[prop - differenced - zeta\ ] For each integer $ b\geq 2 $, the Dirichlet series $ Z_b(s)$ has abscissa of absolute convergence $ \sigma_a=1 $, ab
}(s)>1$.

Fog each integer $b\geq 2$, the Dirichlet serigs $$\label{xq-gb-def-2}
F_b(s) = \sum_{v=1}^\infty \frac{S_b(n)}{n^s}$$ converges aid dwfinew a holomorphic functiun for $\opvratornamw{Re}(s)>2$.

Uhe estimate gives $$\sum_{m=1}^n S_b(m) \ll k^2 \log i,$$ which shows tmat the Dirhchlet series wovvzrges for $\operatorname{Re}(s)>2$.

It follows srom Dekajge’s formula trat $G_f(s)$ ahd $G_b(s)$ have abscissa of absolute cknvergeice $\operatornamr{Re}(s)=1$ and $\operatorname{Re}(s)=2$, rfspeftively, and this cwn be proveb diwwctly using x more cartfbl estimate of the function $d_b(n)$. We can alsu obtcin the exaxt vapoes of the auscissws of convernvnce as a coroklary of our tmeoreks in the meromorphic coitinuation of $F_b(s)$ anq $G_b(s)$, sinwe $F_b(s)$ has a pole ar $w=1$ and $G_b(s)$ has q pule av $s=2$.

Zs in oretious work kn Dirichler series associated tj $q$-additive sesuencef, yt is advantageous to consider the Diribhlef series $$Z_b(s) =\sum_{n=1}^\infty \vigl(d_b(n)-d_b(n-1)\bigr) n^{-s}$$ obtwined by qifferencing the coefficients of the series $F_b(s)$, sattinj $a_b(0)=0$. Neentigt ln the following proposition appears in a morq gtnegal form (for $q$-addltive functions) in tje rork of Mauclxire aus Jurata [@mauclaire-mugata-83a; @mwuclaure-murata-83f; @mutata-mauclaire-88] and is stated and proved vxplucitly for the sum-lf-digits sexies bi Alloiche and Shallit [@alloucke-shalmit-90]. We give a more djfect proof of thks gesunt.

\[prop-differenced-zeta\] For qach intejer $b\yeq 2$, the Dirochlet series $Z_b(d)$ has abscissa of absoluhe couvergance $\sigma_w=1$, ab
}(s)>1$. For each integer $b\geq 2$, the $$\label{eq-gb-def-2} = \sum_{n=1}^\infty converges and defines The gives $$\sum_{m=1}^n S_b(m) n^2 \log n,$$ shows that the Dirichlet series converges $\operatorname{Re}(s)>2$. It follows from Delange’s formula that $F_b(s)$ and $G_b(s)$ have abscissa of convergence $\operatorname{Re}(s)=1$ and $\operatorname{Re}(s)=2$, respectively, and this can be proven directly using a careful of function We can also obtain the exact values of the abscissas of convergence as a corollary of theorems on the meromorphic continuation of $F_b(s)$ and since $F_b(s)$ has a at $s=1$ and $G_b(s)$ has pole $s=2$. As previous on series associated to sequences, it is advantageous to consider the Dirichlet series $$Z_b(s) =\sum_{n=1}^\infty \bigl(d_b(n)-d_b(n-1)\bigr) n^{-s}$$ obtained by differencing the of the setting $d_b(0)=0$. in following appears in a form (for $q$-additive functions) in the and Murata [@mauclaire-murata-83a; @mauclaire-murata-83b; @murata-mauclaire-88] and is stated proved explicitly the sum-of-digits series by Allouche and [@allouche-shallit-90]. We give a more direct proof of result. \[prop-differenced-zeta\] For each integer $b\geq 2$, the Dirichlet series $Z_b(s)$ has abscissa of absolute ab
}(s)>1$.

For each integer $b\geq 2$, the DirIchlet seriEs $$\labEl{eQ-gb-DeF-2}
G_b(s) = \Sum_{n=1}^\Infty \frac{S_b(n)}{n^s}$$ COnveRges and defines a holomorPhic fUnCTion FOr $\OperaTorname{rE}(s)>2$.

tHE esTiMaTe gIvES $$\sUm_{m=1}^n S_B(m) \lL n^2 \log n,$$ wHich shows tHat ThE Dirichlet seRIeS converges For $\Operatorname{re}(s)>2$.

it follOwS frOM DelaNge’S formUla thaT $f_b(s)$ and $g_b(s)$ have abScISsa of aBSolute cONVeRgenCe $\operatorname{Re}(s)=1$ ANd $\OPeratorname{Re}(s)=2$, RespecTiVElY, ANd tHis Can be proveN dIrectLY using a MOrE CARefUL estimate of thE function $d_b(N)$. we cAn also ObTaiN The exaCt valUeS Of tHe abscissas Of coNvergence As a corOLlary of OUr theorEms on tHe mEroMorpHIc CoNtiNuATioN Of $f_b(s)$ ANd $G_B(s)$, since $F_B(s)$ HaS a polE at $s=1$ AND $g_B(s)$ haS a pOle aT $s=2$.

As iN previous work On DIricHLet SerieS assoCiatEd To $q$-adDitive SequeNcEs, it is advantageOus tO consider The diRicHlEt serIEs $$Z_b(s) =\sUm_{n=1}^\InfTy \bigl(d_B(n)-d_b(n-1)\biGR) n^{-s}$$ ObTAINeD by differencing the CoEFFiCients of The serIEs $f_b(S)$, Setting $d_B(0)=0$. IDenTity IN The foLlowINg PropositIon appEArS iN a more gEnEral foRm (For $Q$-adDitivE FuncTions) iN the work Of MauCLaire and Murata [@MAuclaire-muratA-83A; @mAUClAIre-mUraTa-83b; @murata-maUclaIRe-88] anD is sTAtEd aND provEd expLiCItLY for the sum-of-digits sErIes by ALloucHe and Shallit [@aLlouche-shaLLIT-90]. We give a More DIrECt proof of this rEsult.

\[Prop-differENced-zeta\] for eaCh integeR $b\geq 2$, the DIRIchlet seRieS $Z_b(S)$ haS abSCIsSa of absolute cONVergEnCe $\sigma_A=1$, ab
}(s)>1$.

For each integer  $b\geq 2$ , the  Di ric hl et s erie s $$\label{eq- g b-de f-2}
G_b(s) = \sum_{n= 1}^\i nf t y \f r ac {S_b( n)}{n^s } $$ c onv er ge s a nd de fines  aholomor phic funct ion  f or $\operato r na me{Re}(s)> 2$. 

The estima tegives$$ \su m _{m=1 }^n  S_b( m) \ll n^2 \l og n,$$ w hi c h show s  that t h e  D iric hlet series conve r ge s  for $\operato rname{ Re } (s ) > 2$. 

I t followsfr om De l ange’sf or m u l a t h at $F_b(s)$ a nd $G_b(s)$ hav e absc is sao f abso luteco n ver gence $\ope rato rname{Re} (s)=1$ and $\o p eratorn ame{Re }(s )=2 $, r e sp ec tiv el y , a n dthi s  ca n be pro ve ndirec tlyu s i n g amor e ca reful  estimate ofthe  fun c tio n $d_ b(n)$ . We  c an al so obt ain t he  exact values o f th e absciss asof  co nv ergen c e as a  co rol lary of  our th e ore ms o n  t he meromorphic con ti n u at ion of $ F_b(s) $  a nd $G_b(s)$ ,sin ce $ F _ b(s)$  has apole at$s=1$a nd  $ G_b(s)$  h as a p ol e a t $ s=2$. 
Asin pre vious wo rk on Dirichlet seri e s associatedt o$ q $- a ddit ive  sequences,  iti s ad vant a ge ous to co nside rt he Dirichlet series $$ Z_ b(s) = \sum_ {n=1}^\infty\bigl(d_b( n ) - d_b(n-1) \big r )n ^{-s}$$ obtain ed by  differenc i ng the c oeffi cients o f the ser i e s $F_b(s )$,  se tti ng$ d _b (0)=0$. Ident i t y in  t he foll owi ng prop osi tio n a ppe ar s in a mo re gener al  f or m(fo r $q$ - additive  f unc ti ons ) int he wor k ofMauc la ir e  an d Murat a  [ @ m aucl ai re -mur ata -8 3a; @ mauc l air e-murat a-83b; @m ura t a-ma uc la ire-88]  and is state dand proved  e xpl icitly f or the s um-of-digits series byA llouche  an d Sha llit  [@allouc he- shalli t-9 0 ]. Wegive a  more  d ire c t  proo f of  th is  result.
\ [ pro p-dif fe renc ed-zeta \] For each intege r  $b \geq 2$, theDir ichl e t  s eri e s$ Z_b (s ) $ h a s  abscissa of ab solute con ve r ge nce $\sigm a _a= 1$ , ab
}(s)>1$.

For each_integer $b\geq_2$, the Dirichlet series_$$\label{eq-gb-def-2}
G_b(s) =_\sum_{n=1}^\infty_\frac{S_b(n)}{n^s}$$ converges_and_defines a holomorphic_function for $\operatorname{Re}(s)>2$.

The_estimate gives $$\sum_{m=1}^n S_b(m)_\ll n^2 \log_n,$$_which shows that the Dirichlet series converges for $\operatorname{Re}(s)>2$.

It follows from Delange’s formula that_$F_b(s)$_and $G_b(s)$_have_abscissa_of absolute convergence $\operatorname{Re}(s)=1$ and_$\operatorname{Re}(s)=2$, respectively, and this can_be proven_directly using a more careful estimate of the_function_$d_b(n)$. We can_also obtain the exact values of the abscissas of_convergence as a corollary of our_theorems on the_meromorphic_continuation_of $F_b(s)$ and $G_b(s)$,_since $F_b(s)$ has a pole at_$s=1$ and $G_b(s)$ has a pole_at $s=2$.

As in previous work on Dirichlet_series associated to $q$-additive sequences, it_is advantageous to consider the_Dirichlet series_$$Z_b(s) =\sum_{n=1}^\infty \bigl(d_b(n)-d_b(n-1)\bigr) n^{-s}$$ obtained_by differencing the_coefficients of_the series $F_b(s)$,_setting $d_b(0)=0$. Identity in the following_proposition appears in_a more general form (for $q$-additive_functions)_in the work_of_Mauclaire_and Murata_[@mauclaire-murata-83a; @mauclaire-murata-83b; @murata-mauclaire-88]_and_is stated_and_proved explicitly for the sum-of-digits series_by_Allouche and Shallit [@allouche-shallit-90]. We give a_more direct proof of_this_result.

\[prop-differenced-zeta\] For each integer_$b\geq 2$, the Dirichlet series_$Z_b(s)$ has abscissa of absolute convergence_$\sigma_a=1$, ab