Diferansiyel sistemler için entegrasyon koşulları - Integrability conditions for differential systems - Wikipedia

İçinde matematik bazı sistemler kısmi diferansiyel denklemler Temel geometrik ve cebirsel yapıları açısından, bir sistem açısından faydalı bir şekilde formüle edilmiştir. diferansiyel formlar. Buradaki fikir, farklı bir biçimin yolundan yararlanmaktır. kısıtlamalar bir altmanifold ve bu kısıtlamanın, dış türev. Bu, kesinliğe olası bir yaklaşımdır aşırı belirlenmiş sistemler örneğin dahil Gevşek çiftler nın-nin entegre edilebilir sistemler. Bir Pfaffian sistemi tarafından belirlenir 1-formlar tek başına, ancak teori diğer örnek türlerini içerir diferansiyel sistem. Ayrıntılı olarak açıklamak gerekirse, bir Pfaffian sistemi, pürüzsüz bir manifold üzerindeki bir 1-form kümesidir (bu, bulmak için 0'a eşittir) çözümler sisteme).

Farklı 1-formlardan oluşan bir koleksiyon verildiğinde bir boyutlu manifold , bir integral manifold her noktasında teğet uzayı olan daldırılmış (gömülü olması gerekmez) bir altmanifold her biri tarafından (geri çekilerek) yok edilir .

Bir maksimal integral manifold daldırılmış (gömülü olması gerekmez) bir alt manifolddur

öyle ki kısıtlama haritasının çekirdeği formlar üzerinde

tarafından kapsanıyor her noktada nın-nin . Ek olarak doğrusal olarak bağımsızdır, o zaman dır-dir ()-boyutlu.

Bir Pfaffian sistemi olduğu söyleniyor tamamen entegre edilebilir Eğer itiraf ediyor yapraklanma maksimal integral manifoldlar ile. (Foliasyonun olması gerekmediğini unutmayın. düzenli; yani, yapraklanmanın yaprakları gömülü altmanifoldlar olmayabilir.)

Bir entegre edilebilirlik koşulu bir koşuldur yeterince yüksek boyutlu integral altmanifoldlar olacağını garanti etmek.

Gerekli ve yeterli koşullar

İçin gerekli ve yeterli koşullar tam entegre edilebilirlik bir Pfaffian sisteminin Frobenius teoremi. Bir versiyon, ideal cebirsel olarak α koleksiyonuyla oluşturulurben halkanın içinde Ω (M) farklı şekilde kapalıdır, başka bir deyişle

sonra sistem kabul eder yapraklanma maksimal integral manifoldlar ile. (Tersi, tanımlardan bellidir.)

Entegre edilemeyen bir sistem örneği

Her Pfaffian sistemi, Frobenius anlamında tamamen entegre edilemez. Örneğin, aşağıdaki tek formu düşünün açık R3 − (0,0,0):

Eğer dθ kama çarpımının çarpıklığıyla elde edeceğimiz ideal içindeydi the

Ancak doğrudan bir hesaplama verir

standart cilt formunun sıfır olmayan katı olan R3. Bu nedenle, iki boyutlu yaprak yoktur ve sistem tamamen entegre edilemez.

Öte yandan, ile tanımlanan eğri için

daha sonra θ yukarıdaki gibi 0 olarak tanımlanır ve dolayısıyla eğrinin bir çözüm olduğu kolayca doğrulanabilir (yani integral eğri ) sıfır olmayan herhangi bir sabit için yukarıdaki Pfaffian sistemi için c.

Uygulama örnekleri

İçinde Riemann geometrisi, ortogonal bulma problemini düşünebiliriz çerçeve θbenyani, her noktada kotanjant uzayın temelini oluşturan 1-formlardan oluşan bir koleksiyon hangileri kapalı (dθben = 0, ben = 1, 2, ..., n). Tarafından Poincaré lemma, θben yerel olarak d formuna sahip olacakxben bazı işlevler için xben manifold üzerinde ve böylece açık bir alt kümesinin izometrisini sağlayın M açık bir alt kümesiyle Rn. Böyle bir manifold denir yerel olarak düz.

Bu sorun, çerçeve paketi nın-nin M. Diyelim ki böyle kapalı bir çerçevemiz var

Başka bir çerçevemiz olsaydı , bu durumda iki çerçeve, ortogonal bir dönüşümle ilişkilendirilir

Bağlantı 1-formu ise ωo zaman bizde

Diğer taraftan,

Fakat ... Maurer – Cartan formu için ortogonal grup. Bu nedenle yapısal denkleme uyar ve bu sadece eğrilik M: Frobenius teoreminin uygulanmasından sonra, bir manifold M'nin, ancak ve ancak eğriliği kaybolursa yerel olarak düz olduğu sonucuna varılır.

Genellemeler

Tek biçimli olması gerekmeyen diferansiyel sistemler üzerindeki bütünleştirilebilirlik koşullarına yönelik birçok genelleme vardır. Bunlardan en ünlüsü Cartan-Kähler teoremi, sadece için çalışan gerçek analitik diferansiyel sistemler ve Cartan-Kuranishi uzama teoremi. Görmek daha fazla okuma detaylar için. Newlander-Nirenberg teoremi neredeyse karmaşık bir yapı için bütünleşme koşullarını verir.

daha fazla okuma

  • Bryant, Chern, Gardner, Goldschmidt, Griffiths, Dış Diferansiyel Sistemleri, Matematik Bilimleri Araştırma Enstitüsü Yayınları, Springer-Verlag, ISBN  0-387-97411-3
  • Olver, P., Eşdeğerlik, Değişmezler ve Simetri, Cambridge, ISBN  0-521-47811-1
  • Ivey, T., Landsberg, J.M., Yeni Başlayanlar İçin Cartan: Hareketli Çerçeveler ve Dış Diferansiyel Sistemler aracılığıyla Diferansiyel Geometri, Amerikan Matematik Derneği ISBN  0-8218-3375-8
  • Dunajski, M., Solitons, Instantons ve Twistörler, Oxford University Press, ISBN  978-0-19-857063-9