84:
74:
53:
22:
301:. The version I have removed was a later attempt by Carifio24 to simplify the expression. However, he must have simplified incorrectly because the two equations give different results. At any rate, I don't think either of them are correct, because eta for a positive integer should always yield a positive value. If anyone knows the correct formula, please add it in!
422:) 00:53, 2 April 2011 (UTC). Say we use half-lines to group zeros, assuming RH. The eta function then has one infinity of zeros on the negative real axis, one infinity on the critical half-line above the real axis, a third on the critical half-line below the real axis, a fourth on the half-line {s | Re(s)=1, Im(s): -->
336:
Could we just enclose the proof of the relationship between the
Riemann zeta function and the Dirichlet eta function? It's a very simple proof, one that wouldn't take up much space. Furthermore, when the eta function is defined in the Dirichlet series expansion, couldn't the first couple terms of
413:
I don't think this is a good phrase, and if there is no objection I can rewrite the paragraph and rework sentences like "Thus the eta function has five countable infinities of zeros, while the zeta function has only three", which don't really make much sense. One problem is that if RH is true, the
385:
The proof above could go in a section labelled "Relation with the zeta function", and I will do that after finding a reference for it (Euler, Titchmarsh ?). But the emphasis should remain on the eta function itself since this page is about the
Dirichlet eta function, not the Riemann zeta function,
355:
1, eta(s)= 1 - 2^(-s) + 3^(-s) - 4^(-s) + ... = 1 + 2^(-s) + 3^(-s) + 4^(-s) + ... - 2( 2^(-s) + 4^(-s) + ...) = zeta(s) - 2^1*2^(-s)(1 + 2^(-s) + ... ) = ( 1 - 2^(1-s) ) zeta(s). This is an equation that holds true for alls complex values of s (even s=1) by analytic continuation. Note that the
394:) 23:40, 15 August 2010 (UTC) Found a reference in Henrici Applied Complex Analysis book, p. 295-6, which has a very good section on Dirichlet series. Henrici writes zeta(s) = odd(s) + even(s), eta(s) = odd(s) - even(s) and then deduces the relation, pointing out the case when 2^(1-s)=1.
356:
factor (1 - 2^(1-s)) is zero for s=1 and also for an infinity of points on the line Re(s)=1, s= 1 + 2 i Pi k/log(2), where the equation zeta(s) = eta(s) /(1-2^(1-s)) breaks down formally (a problem often unoticed, unfortunately).
672:
But to a mathematician, the word "analytic" *always* means finite. If a function has only poles at its singularities it would be called "meromorphic" (and can be viewed as a holomorphic function to the
Riemann sphere
352:
1. Then the
Dirichlet series for the zeta(s) function converges absolutely by the integral test, and we can reorder the terms at will without changing the sum. The same goes for the eta function, but only for Re(s):
529:
438:
That is an interesting and possibly useful concept to associate to an analytic function f: the smallest number of closed half-lines in the complex plane such that all zeroes of f lie in their union.
232:
140:
654:
It helps no one to include an illustration whose colors' meaning is described only in terms of some feature of some commercial product most readers surely have never heard of.
643:
615:
580:
701:
130:
696:
667:
However, in the equation η must be zero at all the points , where the denominator is zero, if the
Riemann zeta function is analytic and finite there.
207:
The
Dirichlet eta function can still be used to define zeta(s) at those values where s = 1 + 2Kπi, K ∊ ℤ - {0}, just by taking the limit of the ratio
316:
Okay, I think I've found the correct form for even positive integers. I've added it into the article, post here if there are any problems with it.
106:
346:
165:
1) The eta function has zeros on Re(s)=1, which do not show up very clearly on the color plot (which looks like a plot of zeta(s) instead).
372:
317:
302:
684:— immediately casts doubt over whether the writer means the same thing by "analytic" as what the reader understands that word to mean.
357:
236:
187:
97:
58:
458:
342:
33:
419:
376:
531:, it can't have any zeros where the zeta function doesn't. All its zeros should be in the line with real part
321:
306:
21:
428:
399:
391:
361:
338:
191:
552:
448:
262:
452:
39:
272:
my guess would be that n is an arbitrary number, and the algorithm is improved in the limit as n -: -->
83:
415:
228:
183:
371:
Yeah, that's the proof I'm talking about. Do we want to put it into the article, or create a link?
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
424:
395:
387:
89:
73:
52:
168:
2) The eta function cannot be used to define the zeta function at s=1+2*k*Pi*i, for k integer.
548:
628:
600:
565:
171:
If you agree with this, please edit the page, and if possible provide a clearer plot.
690:
423:
0}, and a fifth on {s | Re(s)=1, Im(s)<0}. Thanks for clearing out the ambiguity.
274:
162:
The factor 1-2^(1-s) is zero for s=1 AND also for s=1+2*k*Pi*i, k integer. So ...
556:
432:
403:
380:
365:
325:
310:
277:
265:
240:
195:
102:
79:
585:
have zeroes where the zeta runction doesn't, because 1 - 2 = 0 when s = s
255:
would it be possible to explain, what the "n" means in the
Borwein-formula?
337:
the series be given? It makes it much easier to get a feel of the series.
175:
645:
are not on the line Re(s) = 1/2, but instead on the line Re(s) = 1.
294:\eta(2n) = (-1)^{n+1}{{B_{2n}\pi^{2n}(4^{n} - 1)} \over {(2n)!}}.
15:
680:
So to add that the function is not only analytic — but also
288:
I removed a line from the bottom of the article stating:
524:{\displaystyle \eta (s)=\left(1-2^{1-s}\right)\zeta (s)}
298:
631:
603:
568:
461:
299:
originally posted a different version of the equation
176:
http://fr.wikipedia.org/Fonction_z%C3%AAta_de_Riemann
589:= 1 + 2πKi / ln(2), where K is any nonzero integer
447:
I think there is a mistake in this image. Since the
101:, a collaborative effort to improve the coverage of
637:
609:
574:
523:
291:The general form for even positive integers is:
174:The French Knowledge page is already corrected:
202:I definitely agree that the plot is not clear.
8:
386:avoiding too much repetition on Knowledge.
19:
226:
47:
630:
602:
567:
492:
460:
443:Mistake in dirichlet eta function image
284:General form for even positive integers
49:
233:2601:204:F181:9410:7461:ACCD:5996:7594
7:
593:, the zeta function has no pole at s
95:This article is within the scope of
354:1. Now, we can write for Re(s): -->
268:--Gotti 17:08, 7 August 2006 (UTC)
38:It is of interest to the following
621:) = 0 for |K| ∈ ℤ+. These zeroes s
14:
702:Low-priority mathematics articles
451:can be expressed in terms of the
115:Knowledge:WikiProject Mathematics
697:Start-Class mathematics articles
158:Two relatively minor corrections
118:Template:WikiProject Mathematics
82:
72:
51:
20:
662:One sentence reads as follows:
135:This article has been rated as
518:
512:
471:
465:
1:
404:07:07, 1 September 2010 (UTC)
278:01:14, 14 November 2006 (UTC)
109:and see a list of open tasks.
326:05:30, 22 October 2008 (UTC)
311:03:30, 22 October 2008 (UTC)
248:Parameter in Borwein formula
216:zeta(s) = eta(s) / (1 - 2)
196:02:25, 13 October 2009 (UTC)
332:Connection to Zeta Function
718:
557:00:51, 25 March 2014 (UTC)
266:17:07, 7 August 2006 (UTC)
433:19:54, 10 July 2012 (UTC)
381:09:34, 22 July 2010 (UTC)
366:18:32, 21 July 2010 (UTC)
347:17:08, 17 July 2010 (UTC)
241:00:44, 28 July 2024 (UTC)
134:
67:
46:
141:project's priority scale
414:claim is simply false.
351:Suppose that Re(s): -->
98:WikiProject Mathematics
650:Unhelpful illustration
639:
611:
576:
525:
449:dirichlet eta function
28:This article is rated
640:
638:{\displaystyle \eta }
612:
610:{\displaystyle \eta }
577:
575:{\displaystyle \eta }
526:
629:
601:
566:
459:
121:mathematics articles
635:
607:
572:
521:
409:Infinites of zeros
261:Gottfried Helms --
225:as s → 1 + 2Kπi.
90:Mathematics portal
34:content assessment
597:for K ≠ 0. Hence
339:My 2 Cents' Worth
243:
231:comment added by
186:comment added by
180:Jacques Gelinas
155:
154:
151:
150:
147:
146:
709:
658:Confusing phrase
644:
642:
641:
636:
616:
614:
613:
608:
581:
579:
578:
573:
546:
544:
543:
540:
537:
530:
528:
527:
522:
508:
504:
503:
502:
368:Jacques Gélinas
198:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
717:
716:
712:
711:
710:
708:
707:
706:
687:
686:
676:
660:
652:
627:
626:
624:
620:
599:
598:
596:
588:
564:
563:
541:
538:
535:
534:
532:
488:
481:
477:
457:
456:
445:
416:Gene Ward Smith
411:
334:
286:
250:
181:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
715:
713:
705:
704:
699:
689:
688:
674:
659:
656:
651:
648:
647:
646:
634:
622:
618:
606:
594:
586:
571:
520:
517:
514:
511:
507:
501:
498:
495:
491:
487:
484:
480:
476:
473:
470:
467:
464:
444:
441:
440:
439:
410:
407:
373:195.188.41.154
333:
330:
329:
328:
318:66.243.144.178
303:66.243.144.178
285:
282:
281:
280:
263:84.138.235.250
249:
246:
245:
244:
222:
221:
220:
219:
218:
217:
209:
208:
204:
203:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
714:
703:
700:
698:
695:
694:
692:
685:
683:
678:
670:
668:
663:
657:
655:
649:
632:
604:
592:
584:
569:
561:
560:
559:
558:
554:
550:
515:
509:
505:
499:
496:
493:
489:
485:
482:
478:
474:
468:
462:
454:
453:zeta function
450:
442:
437:
436:
435:
434:
430:
426:
425:Manifestement
421:
417:
408:
406:
405:
401:
397:
396:Manifestement
393:
389:
388:Manifestement
383:
382:
378:
374:
369:
367:
363:
359:
349:
348:
344:
340:
331:
327:
323:
319:
315:
314:
313:
312:
308:
304:
300:
295:
292:
289:
283:
279:
276:
271:
270:
269:
267:
264:
259:
256:
253:
247:
242:
238:
234:
230:
224:
223:
215:
214:
213:
212:
211:
210:
206:
205:
201:
200:
199:
197:
193:
189:
185:
178:
177:
172:
169:
166:
163:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
681:
679:
671:
666:
664:
661:
653:
590:
582:
549:Blackbombchu
446:
412:
384:
370:
358:76.67.47.220
350:
335:
296:
293:
290:
287:
260:
257:
254:
251:
227:— Preceding
179:
173:
170:
167:
164:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
188:76.67.50.57
182:—Preceding
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
691:Categories
297:Carifio24
273:infinity.
258:Thanks -
275:Scythe33
252:Hello-
229:unsigned
184:unsigned
675:ℂ ∪ {∞}
139:on the
682:finite
36:scale.
583:does
562:But
553:talk
429:talk
420:talk
400:talk
392:talk
377:talk
362:talk
343:talk
322:talk
307:talk
237:talk
192:talk
677:).
625:of
591:And
455:as
353:-->
131:Low
693::
669:"
633:η
617:(s
605:η
570:η
555:)
547:.
510:ζ
497:−
486:−
463:η
431:)
402:)
379:)
364:)
345:)
324:)
309:)
239:)
194:)
665:"
623:K
619:K
595:K
587:K
551:(
545:
542:2
539:/
536:1
533:
519:)
516:s
513:(
506:)
500:s
494:1
490:2
483:1
479:(
475:=
472:)
469:s
466:(
427:(
418:(
398:(
390:(
375:(
360:(
341:(
320:(
305:(
235:(
190:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.