Limites de la dérivée d'une fonction limitée en bande limitée

8

Soit une fonction avec des propriétés: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

Étant donné et quelle est la limite supérieure stricte pour la valeur absolue de la dérivée de la fonction?AB,|f(t)|,

Rien d'autre ne doit être supposé au sujet de que ce qui a été indiqué ci-dessus. La borne devrait tenir compte de cette incertitude.f(t)

Pour une sinusoïde d'amplitudeA et fréquence B, la valeur absolue maximale du dérivé est AB.Je me demande si c'est une limite supérieure, et dans ce cas aussi la limite supérieure stricte. Ou peut-être qu'une fonction non sinusoïdale a une pente plus raide.

Olli Niemitalo
la source
Avez - vous vérifié ce ?
Tendero
@Tendero merci. Là, l'énergie du signal est connue, plutôt que la valeur absolue de crête comme dans ma question.
Olli Niemitalo
1
Voir ma réponse pour la limite que vous recherchez. Il dit Plus généralement, un résultat dû à Bernstein dit que si la fréquence maximale dans un génériquex(t) délimité à l'intérieur [1,1] est f0, C'est, X(f)=0 pour |f|>f0, puis
max|dxdt|2πf0.
Dilip Sarwate
1
Sur la base de la version nette de l'inégalité de Bernstein, à partir des réponses liées de Dilip, de la réponse éditée de MBaz et de la littérature citée, est en effet la limite supérieure nette (je l'ai appelé serré signifiant la même chose) pour la valeur absolue maximale du dérivé, une pleine- échelle sinusoïdale exactement à la limite de la bande (non strictement autorisée par les contraintes que je donne) faisant de l'inégalité une égalité. AB
Olli Niemitalo

Réponses:

4

Vous serez intéressé par l'inégalité de Bernstein, dont j'ai entendu parler pour la première fois dans Lapidoth, A Foundation in Digital Communication (page 92).

Avec un signal bien élevé f(t)comme vous l'avez défini ci-dessus (en particulier, est intégrable et limité en bande à et ), puisf(t)BHzsup|f(t)|=A

|df(t)dt|2ABπ.

Notez que le résultat original de Bernstein a établi une limite de ; plus tard, cette limite a été resserrée à .4ABπ2ABπ


J'ai passé un peu de temps à lire la «série trigonométrique» de Zygmund; tout ce que je dirai, c'est que c'est le remède parfait pour ceux qui ont l'impression de connaître la trigonométrie. Une compréhension complète de la preuve dépasse mes compétences mathématiques, mais je pense que je peux souligner les points principaux.

Premièrement, ce que Zygmund appelle l'inégalité de Bernstein est un résultat plus limité. Étant donné le polynôme trigonométrique (avec réel ), alorsavec une inégalité stricte, sauf si est un monôme .

T(x)=ckejkx
x
maxx|T(x)|nmaxx|T(x)|
TAcos(nx+α)

Pour généraliser cela, nous avons besoin d'un résultat préliminaire. Considérons une fonction qui est dans et dans . ( est la classe de fonctions intégrales de type tout au plus - c'est l'un des endroits où mes mathématiques commencent à s'effilocher sur les bords. Ma compréhension est que c'est une manière mathématiquement rigoureuse de indiquant que a une bande passante .)FEπL2Eσσf=IFT{F}σ

Pour un tel nous avons la formule d'interpolation où est complexe et(Il s'agit du théorème 7.19.)F

F(z)=sin(πz)πF1(z),
z
F1(z)=F(0)+F(0)π+n=(1)nF(n)(1zn+1n).

Nous pouvons maintenant énoncer le théorème principal. Si:

  • F est dans avecEσσ>0
  • F est borné sur l'axe réel
  • M=sup|F(x)|pour de vraix

alors avec égalité possible ssi pour arbitraire . On suppose que (sinon on prend au lieu de .)

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

Pour le prouver, nous écrivons la dérivée de utilisant la formule d'interpolation ci-dessus:Avec nous obtenons ce qui impliqueF

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π.

Maintenant, nous avons besoin d'une petite astuce: prenez un arbitraire et définissez . Alors,x0G(z)=F(x0+z1/2)

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

(TODO: Montrez la preuve du cas d'égalité. Définissez .)

MBaz
la source
1
@OlliNiemitalo Comme indiqué dans la réponse de MattL, la sinusoïde sin(2πBt) a une dérivée maximale 2πB. Cela correspond à la limite de Bernstein, comme indiqué dans ma réponse ici sur dsp.SE (cité dans un commentaire sur votre question) et dans ma réponse sur math.SE que vous avez trouvée, avec égalité.
Dilip Sarwate
1
@OlliNiemitalo J'ai trouvé la preuve donnée par Pinksy ici (j'espère que ce lien fonctionne!). Il utilise définitivement4ABπ comme lié, pas 2ABπ.
MBaz
2
@MBaz Votre lien fonctionne vraiment! À la fin de la section 2.3.8, ils disent que la version la plus connue de l'inégalité de Bernstein a le facteur 2 au lieu de 4, ce qui est net, et que pour plus de détails, consulter Zygmund (1959) Vol. 2, p. 276. Je pense que c'est Zygmund, A. Série trigonométrique. 2e éd. Vol. II. Cambridge University Press, New York 1959.
Olli Niemitalo
2
RP Boas, Quelques théorèmes sur les transformées de Fourier et les intégrales trigonométriques conjuguées , Transactions de l'American Mathematical Society 40 (2), 287-308, 1936 cite les articles pertinents de Bernstein, Szegö et Zygmund, déjà avec la limite nette, pour autant que Je peux dire.
Olli Niemitalo
2
@OlliNiemitalo Excellent! J'avais manqué cette note à la fin de la section 2.3.8. Je mettrai à jour ma réponse. Aussi: ce livre de Zygmund est dans la bibliothèque de mon université, mais il n'est pas en ligne. Je vais le retirer demain et voir ce qu'il dit.
MBaz
2

En général, vous obtiendrez quelque chose comme ça, mais cela pourrait ne pas être serré:

|F(t)|=|12π-jωF(jω)e-jωtω|12π-|ω||F(jω)|ω=12π-ωcωc|ω||F(jω)|ω|ωc|2π-ωcωc|F(jω)|ω(1)=ωcπ0ωc|F(jω)|ω

La limite supérieure sur |F(t)| est bien sûr implicite dans |F(jω)|.

Pour une sinusoïde UNEpéché(ωct), (1) donne UNEωc comme limite supérieure, comme prévu.

Matt L.
la source
@Olli Niemitalo, j'avais dérivé le cas sinusoïdal Je pense que c'est le cas général que nous examinions. Merci Matt L.
MimSaad