Liouvilles teoremi (diferansiyel cebir) - Liouvilles theorem (differential algebra) - Wikipedia

İçinde matematik, Liouville teoremi, başlangıçta tarafından formüle edilmiştir Joseph Liouville 1833'ten 1841'e,[1][2][3] önemli bir kısıtlama koyar ters türevler bu temel fonksiyonlar olarak ifade edilebilir.

Belirli türlerin ters türevleri temel fonksiyonlar kendileri temel işlevler olarak ifade edilemez. Böyle bir işlevin standart bir örneği ters türevi (bir sabitin çarpanıyla) hata fonksiyonu, tanıdık İstatistik. Diğer örnekler, işlevleri içerir ve .

Liouville'in teoremi, eğer varsa, temel ters türevlerin aynı şekilde olması gerektiğini belirtir. diferansiyel alan fonksiyon olarak artı muhtemelen sonlu sayıda logaritma.

Tanımlar

Herhangi bir diferansiyel alan için Fbir alt alan var

Con (F) = {f içinde F | Df = 0},

aradı sabitler nın-nin F. İki farklı alan verildiğinde F ve G, G denir logaritmik uzantı nın-nin F Eğer G bir basit transandantal uzantı nın-nin F (yani G = F(t) bazı transandantal t) öyle ki

Dt = Ds/s bazı s içinde F.

Bu bir logaritmik türev. Sezgisel olarak aklınıza t olarak logaritma bazı unsurlardan s nın-nin F, bu durumda, bu durum olağan duruma benzer zincir kuralı. Ancak, F benzersiz bir logaritma ile donatılması gerekmez; birçok "logaritma benzeri" uzantıya F. Benzer şekilde, bir üstel uzantı tatmin eden basit bir aşkınsal uzantıdır

Dt = t Ds.

Yukarıdaki uyarı göz önünde bulundurularak, bu unsur bir elementin üssü olarak düşünülebilir. s nın-nin F. En sonunda, G denir temel diferansiyel uzatma nın-nin F sonlu bir alt alan zinciri varsa F -e G zincirdeki her uzantı cebirsel, logaritmik veya üsteldir.

Temel teorem

Varsayalım F ve G Con ile diferansiyel alanlardır (F) = Con (G), ve şu G temel bir diferansiyel uzantısıdır F. İzin Vermek a içinde olmak F, y G olarak ve varsayalım Dy = a (kelimelerle varsayalım ki G ters türevi içerir a). Sonra var c1, ..., cn Con'da (F), sen1, ..., senn, v içinde F öyle ki

Başka bir deyişle, "temel ters türevlere" sahip olan yegane işlevler (yani, en kötü durumda, temel bir diferansiyel genişlemede yaşayan ters türevler) F) bu forma sahip olanlardır. Bu nedenle, sezgisel bir düzeyde teorem, tek temel ters türevin "basit" işlevler artı "basit" işlevlerin sonlu sayıda logaritması olduğunu belirtir.

Liouville teoreminin bir kanıtı Geddes ve diğerleri, bölüm 12.4'te bulunabilir.

Örnekler

Örnek olarak alan C(x) nın-nin rasyonel işlevler tek bir değişkende standart tarafından verilen bir türev vardır türev bu değişkene göre. Bu alanın sabitleri yalnızca Karışık sayılar C.

İşlev var olan C(x), içinde ters türevi yoktur C(x). Antidürevleri lnx + C logaritmik uzantıda var mı C(x, lnx).

Aynı şekilde, işlev ters türevi yoktur C(x). Antidürevleri bronz−1(x) + C (görünüşe göre) rasyonel fonksiyonların toplamları ve rasyonel fonksiyonların logaritmaları olmadıklarından, teoremin gereksinimlerini karşılamıyor gibi görünmektedir. Bununla birlikte, bir hesaplama Euler formülü aslında ters türevlerin istenen şekilde (rasyonel fonksiyonların logaritmaları olarak) yazılabileceğini göstermektedir.

Diferansiyel Galois teorisi ile ilişki

Liouville teoremi bazen teorem olarak sunulur diferansiyel Galois teorisi ama bu kesinlikle doğru değil. Teorem, Galois teorisi kullanılmadan kanıtlanabilir. Ayrıca, basit bir ters türevin Galois grubu ya önemsizdir (eğer onu ifade etmek için alan uzantısı gerekmiyorsa) ya da basitçe sabitlerin toplamsal grubudur (entegrasyon sabitine karşılık gelir). Bu nedenle, bir ters türevin diferansiyel Galois grubu, Liouville teoreminin ana koşulu olan temel fonksiyonlar kullanılarak ifade edilip edilemeyeceğini belirlemek için yeterli bilgiyi kodlamaz.

Ayrıca bakınız

Notlar

Referanslar

Dış bağlantılar