Gamma fonksiyonu,
x>0 için şu üç özelliği sağlamaktadır.
-
x⋅Γ(x)=Γ(x+1);
-
Γ(1)=1;
-
logΓ fonksiyonu içbükey (convex).
Bohr-Mollerup teoremi bu üç özelliğin Γ fonksiyonunu belirlediğini söyler. Yani bu üç özelliğe sahip bir tek fonksiyon olabilir o da Γ fonksiyonudur.
Soru şu: Buna benzer başka teoremler nelerdir? Bilinen meşhur fonksiyonları karakterize eden özellikler nelerdir? Elbette yeterince bilgi verildiği zaman (atıyorum bütün görüntüler) fonksiyon tek türlü belirlenir. Sorum elbette makul derecede az bilgiyle belirlenmeye dair. Örnek olarak şunları sıralayabilirim.
-
Sinüs ve kosinüs fonksiyonlarını belirleyen özellikler nelerdir?
-
Zeta fonksiyonunu belirleyen özellikler nelerdir (mümkün olduğunca az)?
Ya da farklı uzaylar üzerindeki fonksiyonlar için de aynı sorular sorulabilir.
-
Fourier dönüşümünü belirleyen/karakterize eden özellikler nelerdir?
-
Mellin dönüşümünü belirleyen/karakterize eden özellikler nelerdir?
Son iki soru için şunu not etmek istiyorum. Bohr-Mollerup teoreminin ispatında görülebileceği gibi log fonksiyonunun tanımı bir anlam ifade etmiyor, önemli olan fonksiyonun monoton artan olması. O sayede log'dan kurtulup, içbükeylikten faydalanarak fonksiyon için eşitsizlik elde ediliyor. Yani log yerine başka bir monoton artan g fonksiyonu alıp teoreminin üçüncü şartı g∘Γ fonksiyonu içbükeydir ile değiştirilse teorem yine doğru kalacak ve üstelik log ve g ile elde edilen fonksiyonlar da aynı olacak. Bu son paragrafa başlarken elde edilecek fonksiyonlar farklı olacak sandım bir an ve Fourier ve Mellin dönüşümleri için log fonksiyonununu Γ fonksiyonu için oynadığı rolü oynayan bir fonksiyon varsa, o fonksiyon değiştirilerek "farklı Fourier dönüşümleri" elde edilir mi, edilirse öyle yapılan bir analiz var mı diyecektim. Ama gördüm ki, öyle değilmiş. Neyse, sorunun asıl kısmı baki.