Liouvilles teoremi (konformal haritalamalar) - Liouvilles theorem (conformal mappings) - Wikipedia

İçinde matematik, Liouville teoremitarafından kanıtlandı Joseph Liouville içinde 1850, bir katılık hakkında teorem konformal eşlemeler içinde Öklid uzayı. Herhangi olduğunu belirtir pürüzsüz bir etki alanında konformal eşleme Rn, nerede n > 2, bir bileşimi olarak ifade edilebilir çeviriler, benzerlikler, ortogonal dönüşümler ve ters çevirmeler: onlar Möbius dönüşümleri (içinde n boyutları).[1][2] Bu teorem, olası uyumsal eşlemelerin çeşitliliğini ciddi şekilde sınırlar. R3 ve daha yüksek boyutlu uzaylar. Buna karşılık, konformal eşlemeler R2 çok daha karmaşık olabilir - örneğin, tümü basitçe bağlı düzlemsel alanlar uyumlu olarak eşdeğer tarafından Riemann haritalama teoremi.

Teoremin genelleştirmeleri, yalnızca zayıf şekilde ayırt edilebilir (Iwaniec ve Martin 2001, Bölüm 5). Böyle bir çalışmanın odak noktası doğrusal olmayan Cauchy – Riemann sistemi bu düzgün bir haritalama için gerekli ve yeterli bir koşuldur ƒ → Ω →Rn uyumlu olmak:

nerede Df ... Jacobian türevi, T ... matris devrik, ve ben kimlik matrisidir. Bu sistemin zayıf bir çözümü, bir unsur olarak tanımlanır ƒ of Sobolev alanı W1,n
loc
(Ω,Rn) negatif olmayan Jacobian belirleyici ile neredeyse heryerde, öyle ki Cauchy – Riemann sistemi Ω'nin neredeyse her noktasında tutuyor. Liouville'in teoremi, her zayıf çözümün (bu anlamda) bir Möbius dönüşümü olduğu, yani şu şekle sahip olduğu anlamına gelir.

nerede a,b vektörler Rn, α bir skalerdir, Bir bir rotasyon matrisidir ve ε = 0 veya 2. Eşdeğer olarak ifade edilirse, herhangi yarı konformal harita Öklid uzayındaki bir alanın aynı zamanda konformal olan bir Möbius dönüşümüdür. Bu eşdeğer ifade Sobolev alanını kullanmayı haklı çıkarır W1,n, dan beri ƒ ∈ W1,n
loc
(Ω,Rn) daha sonra geometrik uygunluk koşulundan ve Sobolev uzayının ACL karakterizasyonundan gelir. Ancak sonuç optimal değildir: eşit boyutlarda n = 2kteorem ayrıca yalnızca uzayda olduğu varsayılan çözümler için de geçerlidir. W1,k
loc
ve bu sonuç, Cauchy-Riemann sisteminin zayıf çözümlerinin W1,p herhangi p < k bunlar Möbius dönüşümleri değildir. Garip boyutlarda biliniyor ki W1,n optimal değildir, ancak net bir sonuç bilinmemektedir.

Benzer sertlik sonuçları (düz durumda) herhangi bir uyumlu manifold. Bir konformal izometrileri grubu nboyutlu konformal Riemann manifoldu her zaman tam uyumlu grup SO'nunkini aşamayan boyuta sahiptir (n+1,1). İki boyutun eşitliği, uyumlu manifold ile izometrik olduğunda tam olarak geçerlidir. nküre veya projektif uzay. Sonucun yerel versiyonları da şunları tutar: Lie cebiri nın-nin konformal öldürme alanları açık bir küme, konformal grubun boyutundan daha küçük veya ona eşit boyuta sahiptir, eşitlik ancak ve ancak açık küme yerel olarak uyumlu olarak düzse geçerlidir.

Notlar

  1. ^ P. Caraman, "Ju. G. Reshetnjak'ın Gözden Geçirilmesi (1967)" Liouville’in minimum düzenlilik hipotezleri altında uyumlu haritalama teoremi ", BAY0218544.
  2. ^ Philip Hartman (1947) Toplam Diferansiyel Denklem Sistemleri ve Liouville'in Konformal Haritalama Teoremi Amerikan Matematik Dergisi 69(2);329–332.

Referanslar