Carlsons teoremi - Carlsons theorem - Wikipedia

İçinde matematik, alanında karmaşık analiz, Carlson teoremi bir benzersizlik teoremi tarafından keşfedildi Fritz David Carlson. Gayri resmi olarak, sonsuzda çok hızlı büyümeyen iki farklı analitik fonksiyonun tamsayılarla çakışamayacağını belirtir. Teorem şu kaynaktan elde edilebilir: Phragmén – Lindelöf teoremi, kendisi de bir uzantısıdır maksimum modül teoremi.

Carlson'un teoremi, tipik olarak bir nesnenin benzersizliğini savunmak için kullanılır. Newton serisi genişleme. Carlson teoremi diğer açılımlar için genelleştirilmiş analoglara sahiptir.

Beyan

Varsayalım ki f aşağıdaki üç koşulu karşılar: ilk iki koşul, f sonsuzda, üçüncü ise şunu belirtir: f negatif olmayan tam sayılarda kaybolur.

bazı gerçek değerler için C, τ.
  • Var c < π öyle ki
  • f(n) = 0 negatif olmayan herhangi bir tam sayı için n.

Sonra f özdeş sıfırdır.

Keskinlik

İlk koşul

İlk koşul gevşetilebilir: bunu varsaymak yeterlidir f analitiktir Yeniden z > 0, sürekli Yeniden z ≥ 0ve tatmin eder

bazı gerçek değerler için C, τ.

İkinci koşul

İkinci koşulun keskin olduğunu görmek için işlevi düşünün f(z) = günah (πz). Tam sayılarda kaybolur; ancak, hayali eksende katlanarak büyür ve büyüme oranı c = πve aslında aynı sıfır değildir.

Üçüncü koşul

Nedeniyle bir sonuç Rubel (1956), durumu rahatlatır f tamsayılarda yok olur. Yani Rubel, teoremin sonucunun, eğer f bir alt kümede kaybolur Bir ⊂ {0, 1, 2, …} nın-nin üst yoğunluk 1, yani

Bu koşul keskindir, yani teoremin kümeler için başarısız olduğu anlamına gelir. Bir 1'den küçük üst yoğunlukta.

Başvurular

Varsayalım f(z) tümü sonlu olan bir fonksiyondur ileriye dönük farklılıklar . Düşünün o zaman Newton serisi

ile ... binom katsayısı ve ... n-nci ileri fark. Yapım gereği, o zaman buna sahip f(k) = g(k) negatif olmayan tüm tamsayılar için k, böylece fark h(k) = f(k) − g(k) = 0. Bu, Carlson teoreminin koşullarından biridir; Eğer h diğerlerine itaat ederse h özdeş olarak sıfırdır ve için sonlu farklar f Newton serisini benzersiz bir şekilde belirler. Yani, bir Newton serisi için f vardır ve fark Carlson koşullarını karşılarsa f benzersiz.

Ayrıca bakınız

Referanslar

  • F. Carlson, Sur une classe de séries de Taylor, (1914) Tez, Uppsala, İsveç, 1914.
  • Riesz, M. (1920). "Sur le principe de Phragmén – Lindelöf". Cambridge Philosophical Society'nin Bildirileri. 20: 205–107., kor 21(1921) s. 6.
  • Hardy, G.H. (1920). "F. Carlson ve S. Wigert'in iki teoremi hakkında" (PDF). Acta Mathematica. 42: 327–339. doi:10.1007 / bf02404414.
  • E.C. Titchmarsh, Fonksiyonlar Teorisi (2. Baskı) (1939) Oxford University Press (Bkz.Bölüm 5.81)
  • R.P. Boas, Jr., Tüm fonksiyonlar, (1954) Academic Press, New York.
  • DeMar, R. (1962). "Üstel tipte enterpolasyon işlevlerinin varlığı". Trans. Amer. Matematik. Soc. 105 (3): 359–371. doi:10.1090 / s0002-9947-1962-0141920-6.
  • DeMar, R. (1963). "Kaybolan Merkezi Farklılıklar". Proc. Amer. Matematik. Soc. 14: 64–67. doi:10.1090 / s0002-9939-1963-0143907-2.
  • Rubel, L. A. (1956), "Tüm fonksiyonlar üzerindeki Carlson teoremi için gerekli ve yeterli koşullar", Trans. Amer. Matematik. Soc., 83 (2): 417–429, doi:10.1090 / s0002-9947-1956-0081944-8, JSTOR  1992882, BAY  0081944, PMC  528143, PMID  16578453