# Bohr-Mollerup teoremi
Bohr-Mollerup teoremi, Matematiksel analizde adını Danimarkalı matematikçi Harald Bohr ve Johannes Mollerup'tan almıştır.
Bu teorem "x" > 0 için
Gama fonksiyonu'nun, karakterizasyonu'nu tanımlar. 
Γ(x)=∫_0^∞t^x-1 e^-t dt
"sade" fonksiyon "ƒ" için "x" > 0 açık aralığında ardı ardına üç özellik
  - f(1)=1, ve
  - f(x+1)=xf(x) for x gt 0, ve
  - f logaritmik konveksdir.
Bu teoremin seçkin açıklaması Artin'in kitabı "The Gamma Function"'un yeniden basımı bir AMS koleksiyonudur ve Artin tarafından kaleme alınmıştır.
İlk baskı Karmaşık Analiz içindeydi ve Bohr ve Mollerup'un izniyle basılmıştır.


## Kanıtı.
### Teoremin ifadesi.
 Γ(z) karşılayan tek fonksiyon f(z+1)=zf(z) ile log(f(z)) 
ve ayrıca f(1)=1 .için konvekstir.


### Kanıtı.
 Γ(x) yardımıyla, yukarıda kabul edilen özelliklere bağlı olarak kurulan fonksiyon
 Γ(x+1)=xΓ(x) ve log(Γ(x)) konvekstir ve
 Γ(1)=1 
Aslında Γ(x+1)=xΓ(x) gerçeğinden şunu kurabiliriz.
 Γ(x+n)=(x+n-1)(x+n-2)(x+n-3)…(x+1)xΓ(x)
ve bu sonuçtan hareketle
 Γ(1)=1 
ifadesi
 Γ(x+1)=xΓ(x) doğal sonucudur
bu özellikle tam sayılara uygulanarak aşağıdaki sonuca varabiliriz.
 Γ(n)=(n-1)! ise n∈ℕ 
ve eğer 
 Γ(x) yoksa... yani bizim bağıntımız 
 0 lt;x≤1 olmak üzere 
 Γ(x+n) 
 Γ(x) tüm x değerleri için aşağıdaki (x_1, f(x_1)) ve (x_2, f(x_2)) iki noktayı birleştiren doğrunun eğiminin hesabı x_1 lt;x_2 olmak üzere ℳ(x_1,x_2) monoton olarak arttığı için konveks fonksiyon ile onun doğal öngörüsüden dolayı log(Γ(x)) konveks olduğunu biliyoruz
 ℳ(n-1,n) amp;≤ℳ(n,n+x)≤ℳ(n,n+1) when 0 lt; x≤ 1
 log(Γ(n-1))-log(Γ(n))/(n-1)-n amp;≤log(Γ(n))-log(Γ(n+x))/n-(n+x)≤log(Γ(n))-log(Γ(n+1))/n-(n+1)
 log((n-2)!)-log((n-1)!)/-1 amp;≤log(Γ(n+x))-log((n-1)!)/x≤log(n!)-log((n-1)!)/1
 -log((n-2)!/(n-1)!) amp;≤log(Γ(n+x))-log((n-1)!)/x≤log(n!/(n-1)!)
 -log(1/(n-1)) amp;≤log(Γ(n+x))-log((n-1)!)/x≤log(n)
 x·log(n-1)+log((n-1)!) amp;≤log(Γ(n+x))≤
 x·log(n)+log((n-1)!)
 log((n-1)^x(n-1)!) amp;≤log(Γ(n+x))≤log(n^x(n-1)!)
Böyle bir limit varlığı veya yakınsama gibi çeşitli şeyleri kanıtlamak için ortak bir analiz tekniğidir.
Şimdi biz bu fonksiyonu geri çağırıyoruz ve her ikisi monoton artandır.
Bu, iki ifade arasında sıkışmış olan fonksiyon son satırından bellidir log() ve e^() . biz bu özelliği eşitsizlikte kullanırsak
devamla:
 (n-1)^x(n-1)! amp;≤Γ(n+x)≤ n^x(n-1)!
 (n-1)^x(n-1)! amp;≤ (x+n-1)(x+n-2)…(x+1)xΓ(x)≤ n^x(n-1)!
 (n-1)^x(n-1)!/(x+n-1)(x+n-2)…(x+1)x≤Γ(x) amp;≤n^x(n-1)!/(x+n-1)(x+n-2)…(x+1)x
 (n-1)^x(n-1)!/(x+n-1)(x+n-2)…(x+1)x amp;≤Γ(x)≤n^xn!/(x+n)(x+n-1)…(x+1)x(n+x/n)
Son satırı güçlü bir ifadedir.
Özelde, "bütün n değerler için" de geçerlidir.
 Γ(x) nın herhangi bir n değeri seçimi için sağ tarafta daha küçük ve aynı şekilde, Γ(x) nın herhangi bir n diğer tercihi için sol tarafta daha büyük olmasıdır. 
Her bir eşitsizlik yalnız bir durum ve bağımsız bir ifade olarak yorumlanabilir bir durumdur.
bu nedenle RHS ve LHS'yi farklı -n-değerleri için seçmekte özgürüz.
Özellikle, LHS için n+1 RHS için n seçiminde tutarsak.
 ((n+1)-1)^x((n+1)-1)!/(x+(n+1)-1)(x+(n+1)-2)…(x+1)x amp;≤Γ(x)≤n^xn!/(x+n)(x+n-1)…(x+1)x(n+x/n)
 n^xn!/(x+n)(x+n-1)…(x+1)x amp;≤Γ(x)≤n^xn!/(x+n)(x+n-1)…(x+1)x(n+x/n)
 n^xn!/(x+n)(x+n-1)…(x+1)x amp;≤Γ(x)
 Γ(x)(n/n+x) amp;≤n^xn!/(x+n)(x+n-1)…(x+1)x
Bu son iki ifadeyi birleştirirsek
 Γ(x)(n/n+x)≤n^xn!/(x+n)(x+n-1)…(x+1)x≤Γ(x)
şimdi n→∞ olarak alınırsa. 
 n/n+x→1 sağ yan eşitliğe giderken sol yan eşitsizliğe gider. 
 n^xn!/(x+n)(x+n-1)…(x+1)x devamlı sıkıştırılırsa, 
 lim_n→∞n^xn!/(x+n)(x+n-1)…(x+1)x ifadesinin tek anlamı olabilir,eşitlik Γ(x) 'ya gider. 
Bu ispat bağlamında lim_n→∞n^xn!/(x+n)(x+n-1)…(x+1)x Γ(x) 'ya ait belirtilen üç özellik idi.
Ayrıca kanıt Γ(x) için belirli bir ifade sağlar
Ve ispatın son kritik bölümünde bir dizinin limiti benzersiz olduğu hatırdan çıkarılmamalıdır
Bu demektir ki herhangi bir x∈(0,1] seçim için, sadece bir sayı 
 Γ(x) bulunabilir
Burada 
 Γ(x) fonksiyonun tüm özelliklerine sahip başka bir fonksiyon yoktur.
ispat sorusunun teorem varsayımı kalan diğer ucudur
 Γ(x) herkes için mantıklı x 
burada
 lim_n→∞n^xn!/(x+n)(x+n-1)…(x+1)x bulunmaktadır. 
Problem bizim ilk çift eşitsizliğimizdedir.
 ℳ(n-1,n)≤ℳ(n+x,n)≤ℳ(n+1,n)
 0 lt;x≤1 için kısıtlama konmuştur. öğleyse, monoton artan yapmak isteniyor, x gt;1 daha sonra eğer ℳ söyleniyorsa ℳ(n+1,n) lt;ℳ(n+x,n) ,olması isteniyorsa oluşturulan tüm kanıt eşitsizliğin çelişmesi üzerinedir
ama
 Γ(x+1) amp;=
 lim_n→∞x·(n^xn!/(x+n)(x+n-1)…(x+1)x)n/n+x+1
 Γ(x) amp;=(1/x)Γ(x+1)
dikkat edilmelidir.
ilk olarak gösterilen x 'ın bütün değerleri için Γ(x) 'ın buradaki limit tanımlıdır.