Umbral hesabı - Umbral calculus

İçinde matematik 1970'lerden önce terim umbral hesap görünüşte alakasız arasındaki şaşırtıcı benzerliğe atıfta bulundu polinom denklemler ve onları "kanıtlamak" için kullanılan bazı gölgeli teknikler. Bu teknikler John Blissard tarafından tanıtıldı (1861 ) ve bazen denir Blissard'ın sembolik yöntemi. Genellikle atfedilirler Édouard Lucas (veya James Joseph Sylvester ), tekniği yaygın olarak kullananlar.^[1]

Kısa tarih

1930'larda ve 1940'larda, Eric Temple Bell umbral hesaplamasını sıkı bir temele oturtmaya çalıştı.

1970 lerde, Steven Roman, Gian-Carlo Rota ve diğerleri umbral hesabını geliştirdi. doğrusal işlevler polinom uzayları üzerinde. Şu anda, umbral hesap çalışmasını ifade eder Sheffer dizileri, polinom dizileri dahil iki terimli tip ve Appell dizileri, ancak sistematik yazışma tekniklerini kapsayabilir. sonlu farklar hesabı.

19. yüzyıl umbral hesabı

Yöntem, dizinlenmiş sayı dizilerini içeren kimlikleri türetmek için kullanılan notasyonel bir prosedürdür. indislerin üs olduğunu varsaymak. Kelimenin tam anlamıyla yorumlandığında, saçma ve yine de başarılı: umbral hesapla türetilen kimlikler, kelimenin tam anlamıyla mantıksal zorluk olmadan alınabilen daha karmaşık yöntemlerle de doğru bir şekilde türetilebilir.

Bir örnek şunları içerir: Bernoulli polinomları. Örneğin, sıradan olanı düşünün. iki terimli açılım (içeren binom katsayısı ):

${ displaystyle (y + x) ^ {n} = toplam _ {k = 0} ^ {n} {n k} y ^ {n-k} x ^ {k}} 'yi seçin$

ve üzerinde oldukça benzer görünen ilişki Bernoulli polinomları:

${ displaystyle B_ {n} (y + x) = toplam _ {k = 0} ^ {n} {n k} B_ {n-k} (y) x ^ {k} 'yi seçin.}$

Sıradan türevi de karşılaştırın

${ displaystyle { frac {d} {dx}} x ^ {n} = nx ^ {n-1}}$

Bernoulli polinomları üzerinde çok benzer görünümlü bir ilişkiye:

${ displaystyle { frac {d} {dx}} B_ {n} (x) = nB_ {n-1} (x).}$

Bu benzerlikler kişinin inşa etmesine izin verir şemsiye Yüzeyde doğru olamayan ama yine de işe yarıyor gibi görünen ispatlar. Böylece, örneğin, alt simge n − k bir üs:

${ displaystyle B_ {n} (x) = toplamı _ {k = 0} ^ {n} {n k} b ^ {nk} x ^ {k} = (b + x) ^ {n} seçin, }$

ve ardından farklılaşarak, istenen sonuç elde edilir:

${ displaystyle B_ {n} '(x) = n (b + x) ^ {n-1} = nB_ {n-1} (x).}$

Yukarıda değişken b bir "umbra" dır (Latince için gölge).

Ayrıca bakınız Faulhaber formülü.

Umbral Taylor serisi

Teorisinde de benzer ilişkiler gözlemlendi. sonlu farklar. Umbral versiyonu Taylor serisi benzer bir ifade ile verilir. k-nci ileriye dönük farklılıklar ${ displaystyle Delta ^ {k} [f]}$ bir polinom işlevi f,

${ displaystyle f (x) = toplam _ {k = 0} ^ { infty} { frac { Delta ^ {k} [f] (0)} {k!}} (x) _ {k} }$

nerede

${ displaystyle (x) _ {k} = x (x-1) (x-2) cdots (x-k + 1)}$

... Pochhammer sembolü burada düşen sıralı ürün için kullanılır. Benzer bir ilişki, geriye dönük farklılıklar ve artan faktör için de geçerlidir.

Bu dizi aynı zamanda Newton serisi veya Newton'un ileri fark genişlemesiTaylor'un genişlemesine benzetme, sonlu farklar hesabı.

Bell ve Riordan

1930'larda ve 1940'larda, Eric Temple Bell başarısızlıkla bu tür bir argümanı mantıksal olarak titiz yapmaya çalıştı. kombinatoryalist John Riordan kitabında Kombinatoryal Kimlikler 1960'larda yayınlanan, bu tür teknikleri yoğun bir şekilde kullandı.

Modern umbral hesabı

Başka bir kombinatoryalist, Gian-Carlo Rota, eğer biri göz önünde bulundurulursa gizemin kaybolacağına dikkat çekti. doğrusal işlevsel L polinomlar üzerinde z tarafından tanımlandı

${ displaystyle L (z ^ {n}) = B_ {n} (0) = B_ {n}.}$

Ardından, Bernoulli polinomlarının tanımını ve tanımını ve doğrusallığını kullanarak Lbiri yazabilir

${ displaystyle { başla {hizalı} B_ {n} (x) & = sum _ {k = 0} ^ {n} {n k} B_ {nk} x ^ {k} & = seçin toplam _ {k = 0} ^ {n} {n k seçin} L left (z ^ {nk} sağ) x ^ {k} & = L left ( sum _ {k = 0} ^ {n} {n k} z ^ {nk} x ^ {k} sağ seçin & = L left ((z + x) ^ {n} sağ) end {hizalı}}}$

Bu, birinin oluşumlarını değiştirmesini sağlar ${ displaystyle B_ {n} (x)}$ tarafından ${ displaystyle L ((z + x) ^ {n})}$yani, taşı n bir alt simgeden bir üst simgeye (umbral analizin temel işlemi). Örneğin, şimdi bunu kanıtlayabiliriz:

${ displaystyle { başla {hizalı} toplamı _ {k = 0} ^ {n} {n k} seçin B_ {nk} (y) x ^ {k} & = toplam _ {k = 0} ^ {n} {n k seçin} L left ((z + y) ^ {nk} sağ) x ^ {k} & = L left ( toplamı _ {k = 0} ^ {n} {n k'yi seçin} (z + y) ^ {nk} x ^ {k} sağ) & = L left ((z + x + y) ^ {n} sağ) & = B_ {n} (x + y). end {hizalı}}}$

Rota daha sonra, çoğu kafa karışıklığının üçünü ayırt edememekten kaynaklandığını belirtti. denklik ilişkileri Bu konuda sık sık meydana gelen ve tümü "=" ile gösterilen.

1964'te yayınlanan bir makalede Rota, özyineleme tarafından sağlanan formül Çan numaraları, numaralandıran bölümler sonlu kümeler.

Aşağıda alıntılanan Roman ve Rota makalesinde, umbral hesaplama, umbral cebir, olarak tanımlanır cebir doğrusal fonksiyonallerin vektör alanı bir değişkendeki polinomların sayısı x, bir ürünle L₁L₂ ile tanımlanan doğrusal fonksiyonallerin

${ displaystyle sol langle L_ {1} L_ {2} | x ^ {n} sağ rangle = toplamı _ {k = 0} ^ {n} {n k seç} sol açılı L_ { 1} | x ^ {k} sağ rangle sol langle L_ {2} | x ^ {nk} sağ rangle.}$

Ne zaman polinom dizileri sayı dizilerini görüntüleri olarak değiştirin yⁿ doğrusal eşlemenin altında L, o zaman umbral yöntem, Rota'nın genel özel polinom teorisinin temel bir bileşeni olarak görülür ve bu teori, umbral hesap terimin bazı daha modern tanımlarıyla.^[2] Bu teorinin küçük bir örneği şu makaleden bulunabilir: binom tipi polinom dizileri. Bir diğeri başlıklı makale Sheffer dizisi.

Rota daha sonra, Shen ile birlikte yazdığı makalesinde, çeşitli kombinatoryal özelliklerini incelemek için kapsamlı bir şekilde umbral hesaplamayı uyguladı. birikenler.^[3]

Ayrıca bakınız

• Polinom dizilerinin düzensiz bileşimi
• Matematik sonlu farklar
• Pidduck polinomları
• Sembolik yöntem değişmez teoride

Notlar

Referanslar

• Bell, E. T. (1938), "Blissard'ın Sembolik Metodunun Tarihi, Mucitinin Hayatının Taslağıyla", American Mathematical Monthly, Amerika Matematik Derneği, 45 (7): 414–421, doi:10.1080/00029890.1938.11990829, ISSN  0002-9890, JSTOR  2304144
• Blissard, John (1861), "Genel denklemler teorisi", Üç Aylık Saf ve Uygulamalı Matematik Dergisi, 4: 279–305
• Roman, Steven M .; Rota, Gian-Carlo (1978), "Umbral hesap", Matematikteki Gelişmeler, 27 (2): 95–188, doi:10.1016/0001-8708(78)90087-7, ISSN  0001-8708, BAY  0485417
• G.-C. Rota, D. Kahaner ve A. Odlyzko, "Sonlu Operatör Hesabı," Journal of Mathematical Analysis and its Applications, cilt. 42, hayır. 3, Haziran 1973. Aynı adlı kitapta yeniden basıldı, Academic Press, New York, 1975.
• Roman Steven (1984), Umbral hesabı, Saf ve Uygulamalı Matematik, 111, Londra: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], ISBN  978-0-12-594380-2, BAY  0741185. Dover, 2005 tarafından yeniden basılmıştır.
• Roman, S. (2001) [1994], "Umbral hesap", Matematik Ansiklopedisi, EMS Basın

Dış bağlantılar

• Weisstein, Eric W. "Umbral Kalkülüs". MathWorld.
• A. Di Bucchianico, D. Loeb (2000). "Umbral Kalkülüs Seçilmiş Anketi" (PDF). Elektronik Kombinatorik Dergisi. Dinamik Anketler. DS3. Arşivlenen orijinal (PDF) 2012-02-24 tarihinde.
• Roman, S. (1982), Umbral Kalkülüs Teorisi, I