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ı ):

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

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

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

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:

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

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 bir polinom işlevi f,

nerede

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

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

Bu, birinin oluşumlarını değiştirmesini sağlar tarafından yani, taşı n bir alt simgeden bir üst simgeye (umbral analizin temel işlemi). Örneğin, şimdi bunu kanıtlayabiliriz:

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 L1L2 ile tanımlanan doğrusal fonksiyonallerin

Ne zaman polinom dizileri sayı dizilerini görüntüleri olarak değiştirin yn 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

Notlar

  1. ^ E. T. Bell, "Blissard'ın Sembolik Yönteminin Tarihi, Mucitinin Hayatının Taslağıyla", American Mathematical Monthly 45: 7 (1938), s. 414–421.
  2. ^ Rota, G. C .; Kahaner, D .; Odlyzko, A. (1973). "Kombinatoryal teorinin temelleri üzerine. VIII. Sonlu operatör hesabı". Matematiksel Analiz ve Uygulamalar Dergisi. 42 (3): 684. doi:10.1016 / 0022-247X (73) 90172-8.
  3. ^ G.-C. Rota ve J. Shen, "Kümülantların Kombinatorikleri Üzerine", Kombinatoryal Teori Dergisi, Seri A, 91: 283–304, 2000.

Referanslar

Dış bağlantılar