Alternierend verschobene zentrale Binomialsumme mit Cauchy-Gewichten

Meine Frage ist, wie kann man das zeigen

lim N 1 ( 2 N N ) k = 1 N ( 1 ) k ( 2 N N + k ) X 2 X 2 + π 2 k 2 = 1 2 ( X Sünde ( X ) 1 )


Ich finde die vorgeschlagene Identität schön, weil es sich anfühlt, als könnten wir uns die Anwesenheit der Fraktion ansehen X auf der linken Seite, für groß X , als Störung der Lehrbuchsumme alternierender Binomialkoeffizienten mit einer kleinen Umordnung.

Ich interessiere mich auch allgemein für Techniken zum Umgang mit alternierenden Summen verschobener zentraler Binomialsummen mit unterschiedlichen Gewichten, was zu meiner Frage bei MSE 2824529 führte.

Skbmoore hat unter 2827591 einen Beweis einer ordentlichen und nützlichen Identität gepostet (und Müde kommentierte einen raffinierten Beweis).

k = 1 N ( 1 ) k + 1 ( 2 N N + k ) k S = ( 2 N N ) Sünde ( π S / 2 ) 0 D X X S Sünde π X N ! 2 ( N + ich X ) ! ( N ich X ) ! .

Wahrscheinlich wird uns eine passende Modifikation dieser Formel die obige Asymptotik einbringen, aber ich bin nicht schlau genug, den Integranden zu modifizieren, um mir etwas Schönes an der Grenze von zu geben S bis Null.

Diese Frage betrifft die Sünde Produktformel
Sünde ( X ) = X k = 1 ( X 2 π 2 k 2 + 1 )
zur äquivalenten unendlichen Summation. Ich komme so weit, zu versuchen, es zu beweisen
1 2 ( 1 k = 1 N ( X 2 π 2 k 2 + 1 ) 1 ) = k = 1 N ( 1 ) k X 2 ( ich = 1 k ( ich + N + 1 ) ) ( π 2 k 2 + X 2 ) ( ich = 1 k ( ich + N ) )

Antworten (1)

Hier ein Ansatz:

Wir betrachten die folgende Summe im Grenzwert N (was wir mit bezeichnen S ) :

S N = 1 ( 2 N N ) k = 0 N ( 1 ) k ( 2 N N + k ) 1 X 2 + π 2 k 2

Wir teilen den Summierungsbereich bei einigen auf δ so dass 1 << δ << N zu bekommen S N = S 2 , N + S 1 , N und beobachte das k << N In [ 0 , δ ] also können wir das Binomial um klein erweitern k / N was bedeutet, dass

S 1 , N = k = 0 δ ( 1 ) k ( 1 + Ö ( k 2 / N 3 ) ) 1 X 2 + π 2 k 2
seit | k = 0 δ ( 1 ) k k 2 X 2 + π 2 k 2 | < k = 0 δ k 2 X 2 + π 2 k 2 < k = 0 δ 1 = δ wir können das binden Ö ( k 2 / N 3 ) Begriff wie folgt

S 1 , N = k = 0 δ ( 1 ) k 1 X 2 + π 2 k 2 + Ö ( δ / N 3 )
Wenn wir Grenzen nehmen, bekommen wir das S 1 , N nähert sich einer Konstante an, um später zu bestimmen

S 1 = k = 0 ( 1 ) k 1 X 2 + π 2 k 2 ( )

Als nächstes zeigen wir, dass die Schweifsumme S 2 , N gegen Null geht, so dass die betreffende Grenze tatsächlich durch gegeben ist ( ) . Beachten Sie dazu das weiter [ δ , N ] wir haben π k >> X so können wir den Bruch um groß erweitern k . Wir finden

S 2 , N = 1 ( 2 N N ) k = δ N ( 1 ) k ( 2 N N + k ) ( 1 π 2 k 2 + Ö ( 1 / k 4 ) )
da der Binomialkoeffizient ein Maximum bei hat k = 0 wir können gebunden ( 2 N N + k ) ( 2 N N ) 1 So

| S 2 , N | < 1 π 2 k = δ N 1 k 2 1 π 2 δ N D k k 2 1 π 2 δ
also wählen δ eine (langsam genug) ansteigende Folge von sein N das haben wir tatsächlich

S 2 = 0 ( )

Notiere dass der Ö ( 1 / k 4 ) verschwinden noch schneller und können daher ebenfalls vernachlässigt werden. Etwas setzen ( ) Und ( ) zusammen bekommen wir

S = S 1 = 1 2 X 2 + 1 2 Sünde ( X ) X

wo die letzte Gleichheit folgt aus dem Satz von Mittag-Leffler (oder der Produkterweiterung des Sinus)

Hübsch :). Könnten Sie kommentieren, warum Delta langsam steigen sollte? Langsam in Bezug auf was?
@Thomas so das δ ( N ) ebenso gut wie δ ( N ) / N 0 als N . Du kannst nehmen δ ( N ) = N Zum Beispiel..
@Thomas Diese Methode wird als asymptotisches Matching bezeichnet, falls Sie tiefer eintauchen möchten
Danke für die Antwort! Ich werde mich auch mehr mit asymptotischem Matching befassen. Ich bin gespannt, ob es auch für MSE 2824529 oder MSE 2825442 funktionieren würde. Diese Fragen sind bereits beantwortet, aber ich schätze neue Techniken.