Grenzen der Ableitung einer begrenzten bandbegrenzten Funktion

8

Sei eine Funktion mit Eigenschaften:f(t)

tRt is in realsf(t)R for all tf(t) is in reals|f(t)|<A for all tabsolute value of f(t) is bounded above by Af(t) eiωt dt=0 for all |ω|Bf(t) is band-limited by frequency B in radians

Gegeben und B , was ist die enge obere Schranke für | f ' ( t ) | , der absolute Wert der Ableitung der Funktion?AB,|f(t)|,

Über ist nichts anderes anzunehmen als das oben Gesagte. Die Grenze sollte diese Unsicherheit berücksichtigen.f(t)

Für eine Sinuskurve mit der Amplitude und der Frequenz B , ist der maximale Absolutwert der Ableitung A B . Ich frage mich, ob dies eine Obergrenze ist und in diesem Fall auch die enge Obergrenze. Oder vielleicht hat eine nicht sinusförmige Funktion eine steilere Steigung.AB,AB.

Olli Niemitalo
quelle
Haben Sie überprüft das ?
Tendero
@ Teno danke. Dort ist eher die Signalenergie bekannt als der absolute Spitzenwert wie in meiner Frage.
Olli Niemitalo
1
Siehe meine Antwort für die Grenze, die Sie suchen. Allgemeiner heißt es in einem Ergebnis von Bernstein, dass wenn die maximale Frequenz in einem generischen das innerhalb von [ - 1 , 1 ] begrenzt ist, f 0 ist, dh X ( f ) = 0 für | f | > f 0 , dann max | d xx(t)[1,1]f0X(f)=0|f|>f0
max|dxdt|2πf0.
Dilip Sarwate
1
Basierend auf der scharfen Version von Bernsteins Ungleichung, aus Dilips verknüpften Antworten, MBaz 'bearbeiteter Antwort und der zitierten Literatur, ist in der Tat die scharfe (ich nannte es eng, was dasselbe bedeutet) Obergrenze für den maximalen absoluten Wert der Ableitung, eine vollständige -skalierte Sinuskurve genau an der Bandgrenze (nicht streng erlaubt durch die von mir angegebenen Einschränkungen), wodurch die Ungleichung zu einer Gleichheit wird. AB
Olli Niemitalo

Antworten:

4

Sie werden an Bernsteins Ungleichheit interessiert sein, die ich zum ersten Mal in Lapidoth, einer Stiftung für digitale Kommunikation (Seite 92), kennengelernt habe .

Mit einem gut verhaltenen Signal f(t) wie Sie es oben definiert haben (insbesondere ist f(t) integrierbar und bandbegrenzt auf BHz undsup|f(t)|=A ), dann

|df(t)dt|2ABπ.

Beachten Sie, dass das ursprüngliche Ergebnis von Bernstein eine Grenze von 4ABπ festlegte ; später wurde diese Grenze auf 2ABπ festgezogen .


Ich habe einige Zeit damit verbracht, Zygmunds "Trigonometric Series" zu lesen. Ich werde nur sagen, dass es das perfekte Mittel für diejenigen ist, die den Eindruck haben, Trigonometrie zu kennen. Ein vollständiges Verständnis des Beweises liegt außerhalb meiner mathematischen Fähigkeiten, aber ich denke, ich kann die Hauptpunkte hervorheben.

Erstens ist das, was Zygmund Bernsteins Ungleichung nennt, ein begrenzteres Ergebnis. In Anbetracht das trigonometrische Polynom

T(x)=ckejkx
(mit echten x ), dann
maxx|T(x)|nmaxx|T(x)|
mit strikter Ungleichung, es sei denn, T ist ein Monom Acos(nx+α) .

Um dies zu verallgemeinern, benötigen wir ein vorläufiges Ergebnis. Betrachten Sie eine Funktion F in Eπ und in L2 . ( Eσ ist höchstens die Klasse der Integralfunktionen vom Typ σ - dies ist einer der Orte, an denen meine Mathematik an den Rändern zu zerfransen beginnt. Mein Verständnis ist, dass dies eine mathematisch strenge Methode ist, um zu sagen, dass f=IFT{F} hat Bandbreite σ .)

Für jedes solche F wir die Interpolationsformel

F(z)=sin(πz)πF1(z),
wobeizkomplex ist und
F1(z)=F(0)+F(0)π+n=(1)nF(n)(1zn+1n).
(Dies ist Satz 7.19.)

Nun können wir den Hauptsatz aufstellen. Wenn:

  • F ist inEσ mitσ>0
  • F
  • M=sup|F(x)|x

|F(x)|σM
F(z)=aejσz+bejσxa,bσ=πF(zπ/σ)F(z)

F

F(x)=F1(x)cos(πx)+sin(πx)πn=(1)nF(n)(xn)2.
x=1/2
F(1/2)=4πn=(1)nF(n)(2n1)2
|F(1/2)|4πn=1(2n1)2=4Mπ24π=Mπ.

x0G(z)=F(x0+z1/2)

|F(x0)|=|G(1/2)|Mπ.

MBaz
quelle
1
sin(2πBt)2πB
1
4ABπ2ABπ
2
@ MBaz Dein Link funktioniert in der Tat! Am Ende des Abschnitts 2.3.8 heißt es, dass die bekannteste Version von Bernsteins Ungleichung den Faktor 2 anstelle von 4 hat, was scharf ist, und dass für Einzelheiten Zygmund (1959) Vol. 2, p. 276. Ich denke, das ist Zygmund, A. Trigonometrische Reihe. 2nd ed. Vol. II. Cambridge University Press, New York 1959.
Olli Niemitalo
2
RP Boas, Einige Sätze über Fourier-Transformationen und konjugierte trigonometrische Integrale , Transactions of the American Mathematical Society 40 (2), 287-308, 1936, zitiert die relevanten Artikel von Bernstein, Szegö und Zygmund, bereits mit der scharfen Grenze, soweit Ich kann sagen.
Olli Niemitalo
2
@OlliNiemitalo Ausgezeichnet! Ich hatte diese Notiz am Ende von Abschnitt 2.3.8 verpasst. Ich werde meine Antwort aktualisieren. Außerdem: Das Buch von Zygmund befindet sich in der Bibliothek meiner Universität, ist aber nicht online. Ich werde es morgen herausnehmen und sehen, was es sagt.
MBaz
2

Im Allgemeinen würden Sie so etwas bekommen, aber es könnte nicht eng sein:

|f(t)|=|12πjωF(jω)ejωtdω|12π|ω||F(jω)|dω=12πωcωc|ω||F(jω)|dω|ωc|2πωcωc|F(jω)|dω(1)=ωcπ0ωc|F(jω)|dω

|f(t)||F(jω)|.

Asin(ωct)(1)Aωc

Matt L.
quelle
@Olli Niemitalo, ich hatte den Sinusfall abgeleitet. Ich denke, dies ist der allgemeine Fall, den wir uns angesehen haben. Vielen Dank Matt L.
MimSaad