Menu Close

Bases-on-suggestion-from-Filup-and-some-discussion-on-that-I-am-suggesting-that-we-sequence-series-and-related-function-as-a-topic-for-this-month-x-n-1-n-x-x-R-x-gt-1-Show-that-x-




Question Number 2675 by prakash jain last updated on 24/Nov/15
Bases on suggestion from Filup and some  discussion on that I am suggesting that we  sequence, series and related function as a  topic for this month.  ζ(x)=Σ_(n=1) ^∞ n^(−x) , x∈R, x>1  Show that  ζ(x)=(1/(Γ(x)))∫_0 ^∞  (t^(x−1) /(e^t −1))dt
BasesonsuggestionfromFilupandsomediscussiononthatIamsuggestingthatwesequence,seriesandrelatedfunctionasatopicforthismonth.ζ(x)=n=1nx,xR,x>1Showthatζ(x)=1Γ(x)0tx1et1dt
Commented by prakash jain last updated on 24/Nov/15
ζ−Riemann zeta function  Γ−Gamma function  These 2 functions were mentioned as part  of some of the questions earlier.  For this question only consider real numbers  although the functions are defined for  complex numbers as well.
ζRiemannzetafunctionΓGammafunctionThese2functionswerementionedaspartofsomeofthequestionsearlier.Forthisquestiononlyconsiderrealnumbersalthoughthefunctionsaredefinedforcomplexnumbersaswell.
Commented by Rasheed Soomro last updated on 24/Nov/15
I have only heard the names of reimann zeta and  gamma functions! Anyway no harm in trying!  By the way who will be the judge?
Ihaveonlyheardthenamesofreimannzetaandgammafunctions!Anywaynoharmintrying!Bythewaywhowillbethejudge?
Commented by prakash jain last updated on 24/Nov/15
This question was not meant to be a  challenge just learning details of a few  things that got mentioned earlier.
Thisquestionwasnotmeanttobeachallengejustlearningdetailsofafewthingsthatgotmentionedearlier.
Commented by prakash jain last updated on 24/Nov/15
123456 is most knowledgeable among us.  (s)he will post the challenge at some point  and judge us.    In any case regular Q and A continues as  usual from everyone.
123456ismostknowledgeableamongus.(s)hewillpostthechallengeatsomepointandjudgeus.InanycaseregularQandAcontinuesasusualfromeveryone.
Commented by Yozzi last updated on 24/Nov/15
Cool.
Cool.
Commented by Yozzi last updated on 24/Nov/15
Is it dx or dt in the expression ∫_0 ^∞ (t^(x−1) /(e^t −1))dx?
Isitdxordtintheexpression0tx1et1dx?
Commented by prakash jain last updated on 24/Nov/15
dt corrected.
dtcorrected.
Commented by 123456 last updated on 01/Dec/15
24/12
24/12
Answered by Yozzi last updated on 24/Nov/15
(t^(x−1) /(e^t −1))=((t^(x−1) e^(−t) )/(1−e^(−t) ))  For t>0,  ∣e^(−t) ∣<1. (1/(1−e^(−t) )) is the the  sum of an infinite G.P with first term  1 and common ratio e^(−t) .  ∴ (1/(1−e^(−t) ))=1+e^(−t) +e^(−2t) +e^(−3t) +...  ∴((t^(x−1) e^(−t) )/(1−e^(−t) ))=t^(x−1) e^(−t) +t^(x−1) e^(−2t) +t^(x−1) e^(−3t) +...  ((t^(x−1) e^(−t) )/(1−e^(−t) ))=Σ_(r=1) ^∞ t^(x−1) e^(−rt)   Let I=∫_0 ^∞ (t^(x−1) /(e^t −1))dt=∫_0 ^∞ (Σ_(r=1) ^∞ t^(x−1) e^(−rt) )dt  I=Σ_(r=1) ^∞ (∫_0 ^∞ t^(x−1) e^(−rt) dt)  let u=rt⇒t=(1/r)u⇒(1/r)du=dt  At t=0,u=0. As t→∞, u→∞ for r>0.  ∴t^(x−1) =r^(1−x) u^(x−1)   ∴∫_0 ^∞ t^(x−1) e^(−rt) dt=∫_0 ^∞ r^(1−x) u^(x−1) e^(−u) ×(1/r)du                                =r^(−x) ∫_0 ^∞ u^(x−1) e^(−u) du  The gamma function Γ(x) defined  for x>0 is expressible as                      Γ(x)=∫_0 ^∞ t^(x−1) e^(−t) dt.  ∴∫_0 ^∞ t^(x−1) e^(−rt) dt=r^(−x) Γ(x)  ∴I=Γ(x)×Σ_(r=1) ^∞ r^(−x)   But, ζ(x)=Σ_(r=1) ^∞ r^(−x)   ,x∈R,x>1.  ∴I=Γ(x)ζ(x)⇒ζ(x)=(1/(Γ(x)))∫_0 ^∞ (t^(x−1) /(e^t −1))dt
tx1et1=tx1et1etFort>0,et∣<1.11etisthethesumofaninfiniteG.Pwithfirstterm1andcommonratioet.11et=1+et+e2t+e3t+tx1et1et=tx1et+tx1e2t+tx1e3t+tx1et1et=r=1tx1ertLetI=0tx1et1dt=0(r=1tx1ert)dtI=r=1(0tx1ertdt)letu=rtt=1ru1rdu=dtAtt=0,u=0.Ast,uforr>0.tx1=r1xux10tx1ertdt=0r1xux1eu×1rdu=rx0ux1euduThegammafunctionΓ(x)definedforx>0isexpressibleasΓ(x)=0tx1etdt.0tx1ertdt=rxΓ(x)I=Γ(x)×r=1rxBut,ζ(x)=r=1rx,xR,x>1.I=Γ(x)ζ(x)ζ(x)=1Γ(x)0tx1et1dt
Commented by 123456 last updated on 24/Nov/15
nice
nice
Commented by Filup last updated on 25/Nov/15
Awesome! I had no idea how to do this  one! So simple!
Awesome!Ihadnoideahowtodothisone!Sosimple!
Commented by Rasheed Soomro last updated on 25/Nov/15
2nd line:  For t>0,  ∣e^(−t) ∣_(−) <1. (1/(1−e^(−t) )) is the the  Couldn′t we write e^(−t)  instead of ∣e^(−t) ∣  Or there is any specific reason for this?
2ndline:Fort>0,et<1.11etisthetheCouldntwewriteetinsteadofetOrthereisanyspecificreasonforthis?
Commented by Yozzi last updated on 25/Nov/15
It′s written like that to specifically  indicate that the convergence  condition for an infinite geometric  series is satisfied. So expressions  of the form                                (c/(1−dx))    represent the sum of an infinite   geometric series under the condition  that ∣dx∣<1⇒∣x∣<1/d  (d≠0). The  series is then deduced to be of the form  cΣ_(n=1) ^∞ (dx)^(n−1) =c{1+dx+d^2 x^2 +d^3 x^3 +...}                           =c+cdx+cd^2 x^2 +cd^3 x^3 +...  If dx=0 because d=0 or x=0  we get (c/(1−dx))=(c/(1−0))=c which is equal  to cΣ_(n=1) ^∞ 0^(n−1) =c{1+0+0+0+...}=c.
Itswrittenlikethattospecificallyindicatethattheconvergenceconditionforaninfinitegeometricseriesissatisfied.Soexpressionsoftheformc1dxrepresentthesumofaninfinitegeometricseriesundertheconditionthatdx∣<1⇒∣x∣<1/d(d0).Theseriesisthendeducedtobeoftheformcn=1(dx)n1=c{1+dx+d2x2+d3x3+}=c+cdx+cd2x2+cd3x3+Ifdx=0becaused=0orx=0wegetc1dx=c10=cwhichisequaltocn=10n1=c{1+0+0+0+}=c.
Commented by Rasheed Soomro last updated on 25/Nov/15
Th^a nkS
ThankS

Leave a Reply

Your email address will not be published. Required fields are marked *