Doğrusal diferansiyel denklem - Linear differential equation - Wikipedia

İçinde matematik, bir doğrusal diferansiyel denklem bir diferansiyel denklem ile tanımlanan doğrusal polinom bilinmeyen fonksiyon ve türevlerinde, bu bir denklem şeklinde

nerede , ..., ve keyfi ayırt edilebilir fonksiyonlar doğrusal olması gerekmeyen ve bilinmeyen bir fonksiyonun ardışık türevleridir y değişkenin x.

Bu bir adi diferansiyel denklem (ODE). Doğrusal diferansiyel denklem aynı zamanda doğrusal olabilir kısmi diferansiyel denklem (PDE), bilinmeyen fonksiyon birkaç değişkene bağlıysa ve denklemde görünen türevler kısmi türevler.

Bir doğrusal diferansiyel denklem veya ilişkili homojen denklemlerin sabit katsayılara sahip olduğu bir doğrusal denklemler sistemi şu şekilde çözülebilir: dördün Bu, çözümlerin şu terimlerle ifade edilebileceği anlamına gelir: integraller. Bu aynı zamanda katsayıları sabit olmayan doğrusal bir denklem için de geçerlidir. Sabit olmayan katsayılara sahip iki veya daha yüksek mertebeden bir denklem, genel olarak, kareleme ile çözülemez. İkinci sipariş için, Kovacic'in algoritması integraller açısından çözüm olup olmadığına karar vermeyi ve varsa bunları hesaplamayı sağlar.

Doğrusal diferansiyel denklemlerin çözümleri polinom katsayılar denir holonomik fonksiyonlar. Bu sınıf fonksiyonlar, toplamlar, ürünler, farklılaşma, entegrasyon ve birçok olağan işlevi içerir ve özel fonksiyonlar gibi üstel fonksiyon, logaritma, sinüs, kosinüs, ters trigonometrik fonksiyonlar, hata fonksiyonu, Bessel fonksiyonları ve hipergeometrik fonksiyonlar. Tanımlayıcı diferansiyel denklem ve başlangıç ​​koşulları ile gösterimleri, algoritmik (bu fonksiyonlarda) çoğu işlemin yapılmasına izin verir. hesap hesaplama gibi ters türevler, limitler, asimptotik genişleme ve onaylanmış bir hata sınırı ile herhangi bir hassasiyette sayısal değerlendirme.

Temel terminoloji

En yüksek türetme sırası türevlenebilir bir denklemde görünen sipariş denklemin. Dönem b(x)bilinmeyen işleve ve türevlerine bağlı olmayan, bazen denir sabit terim denklemin (analoji ile cebirsel denklemler ), bu terim sabit olmayan bir fonksiyon olsa bile. Sabit terim sıfır fonksiyonu, sonra diferansiyel denklemin olduğu söylenir homojenolduğu gibi homojen polinom bilinmeyen fonksiyon ve türevlerinde. Doğrusal diferansiyel denklemde sabit terimin sıfır fonksiyonu ile değiştirilmesiyle elde edilen denklem, ilişkili homojen denklem. Diferansiyel denklemde sabit katsayılar Keşke sabit fonksiyonlar ilişkili homojen denklemde katsayılar olarak görünür.

Bir çözüm Diferansiyel denklemin, denklemi sağlayan bir fonksiyondur. homojen bir lineer diferansiyel denklemin çözümleri, vektör alanı. Normal durumda, bu vektör uzayının denklemin sırasına eşit sonlu bir boyutu vardır. Doğrusal diferansiyel denklemin tüm çözümleri, ilgili homojen denklemin herhangi bir çözümü belirli bir çözüme eklenerek bulunur.

Doğrusal diferansiyel operatör

Bir temel diferansiyel operatör düzenin ben herhangi birini eşleyen bir haritadır ayırt edilebilir işlev onun için bentürev veya birkaç değişken olması durumunda, bunlardan birine kısmi türevler düzenin ben. Genellikle belirtilir

bu durumuda tek değişkenli fonksiyonlar ve

fonksiyonları durumunda n değişkenler. Temel diferansiyel operatörler, kimlik eşleme olan sıra 0'ın türevini içerir.

Bir doğrusal diferansiyel operatör (bu makalede şu şekilde kısaltılmıştır: doğrusal operatör ya da sadece, Şebeke) bir doğrusal kombinasyon katsayı olarak türevlenebilir fonksiyonlara sahip temel diferansiyel operatörler. Tek değişkenli durumda, doğrusal bir operatör bu şekilde[1]

nerede türevlenebilir fonksiyonlardır ve negatif olmayan tamsayıdır n ... sipariş operatörün (eğer değil sıfır fonksiyonu ).

İzin Vermek L doğrusal diferansiyel operatör olabilir. Uygulaması L bir işleve f genellikle belirtilir Lf veya Lf(X)Değişkeni belirtmeniz gerekiyorsa (bu, çarpma ile karıştırılmamalıdır). Doğrusal diferansiyel operatör bir doğrusal operatör, toplamları toplamlarla ve çarpımı bir skaler aynı skalere göre ürüne.

İki doğrusal operatörün toplamı doğrusal bir operatör olduğu gibi, doğrusal bir operatörün türevlenebilir bir fonksiyonla çarpımı (solda) olduğundan, doğrusal diferansiyel operatörler bir vektör alanı üzerinde gerçek sayılar ya da Karışık sayılar (dikkate alınan işlevlerin niteliğine bağlı olarak). Ayrıca bir ücretsiz modül üzerinde yüzük türevlenebilir fonksiyonlar.

Operatörlerin dili, türevlenebilir denklemler için kompakt bir yazıma izin verir:

doğrusal bir diferansiyel operatördür, sonra denklem

yeniden yazılabilir

Bu gösterimin birkaç çeşidi olabilir; özellikle farklılaşma değişkeni açıkça görünebilir veya görünmeyebilir y ve denklemin sağ tarafı, örneğin veya

çekirdek doğrusal diferansiyel operatörün çekirdek doğrusal bir eşleme olarak, vektör alanı (homojen) diferansiyel denklemin çözümlerinin .

Sıradan bir diferansiyel sipariş operatörü durumunda n, Carathéodory'nin varoluş teoremi çok hafif koşullar altında çekirdeğin L boyutun vektör uzayıdır nve denklemin çözümleri forma sahip olmak

nerede keyfi sayılardır. Tipik olarak, Carathéodory teoreminin hipotezleri bir aralıkta karşılanır beneğer fonksiyonlar sürekli benve pozitif bir gerçek sayı var k öyle ki her biri için x içinde ben.

Sabit katsayılı homojen denklem

Homojen bir doğrusal diferansiyel denklem, sabit katsayılar eğer form varsa

nerede (gerçek veya karmaşık) sayılardır. Başka bir deyişle, sabit katsayılara sahip doğrusal bir operatör tarafından tanımlanmışsa sabit katsayılara sahiptir.

Sabit katsayılı bu diferansiyel denklemlerin çalışması, Leonhard Euler, kim tanıttı üstel fonksiyon denklemin benzersiz çözümü olan öyle ki . Bunu izler ntürevi dır-dir ve bu homojen doğrusal diferansiyel denklemlerin oldukça kolay çözülmesini sağlar.

İzin Vermek

sabit katsayılı homojen bir doğrusal diferansiyel denklem olabilir (yani gerçek veya karmaşık sayılardır).

Bu formdaki denklemin çözümlerini aramak sabitleri aramaya eşdeğerdir öyle ki

Faktoring (asla sıfır değildir), bunu gösterir kökü olmalı karakteristik polinom '

Diferansiyel denklemin sol tarafı olan karakteristik denklem

Bu köklerin hepsi olduğunda farklı, birinde var n Denklemin katsayıları gerçek olsa bile, mutlaka gerçek olmayan farklı çözümler. Doğrusal bağımsız, dikkate alarak Vandermonde belirleyici bu çözümlerin değerlerinin x = 0, ..., n – 1. Birlikte bir oluştururlar temel of vektör alanı Diferansiyel denklemin çözümleri (yani, diferansiyel operatörün çekirdeği).

Misal

karakteristik denkleme sahiptir

Bunda sıfırlar var ben, ben, ve 1 (çokluk 2). Çözüm temeli bu nedenle

Bu nedenle gerçek bir çözüm temeli

Karakteristik polinomun sadece sahip olduğu durumda basit kökler, önceki çözüm vektör uzayının tam bir temelini sağlar. Bu durumuda çoklu kökler bir temele sahip olmak için doğrusal olarak daha bağımsız çözümlere ihtiyaç vardır. Bunlar forma sahip

nerede k negatif olmayan bir tamsayıdır, çokluğun karakteristik polinomunun köküdür m, ve k < m. Bu işlevlerin çözüm olduğunu kanıtlamak için, eğer çokluğun karakteristik polinomunun köküdür mkarakteristik polinom şu şekilde çarpanlarına ayrılabilir: Bu nedenle, denklemin diferansiyel operatörünü uygulamak, ilk önce uygulama ile eşdeğerdir. m operatörün katları ve sonra sahip olan operatör P karakteristik polinom olarak. Tarafından üstel kayma teoremi,

ve böylece biri sıfır alır k + 1 uygulama

Tarafından cebirin temel teoremi, bir polinomun köklerinin çokluklarının toplamı, polinomun derecesine eşittir, yukarıdaki çözümlerin sayısı diferansiyel denklemin sırasına eşittir ve bu çözümler, çözümlerin vektör uzayının bir tabanını oluşturur.

Denklem katsayılarının gerçek olduğu yaygın durumda, genellikle aşağıdakilerden oluşan çözümlerin bir temeline sahip olmak daha uygundur gerçek değerli işlevler. Böyle bir dayanak, önceki temelden, eğer a + ib karakteristik polinomun köküdür, o zaman aib aynı çokluğun bir köküdür. Böylece gerçek bir temel elde edilir. Euler formülü ve değiştirme ve tarafından ve

İkinci dereceden kasa

İkinci mertebeden homojen bir doğrusal diferansiyel denklem yazılabilir

ve karakteristik polinomu

Eğer a ve b vardır gerçek Ayrımcıya bağlı olarak çözümler için üç durum vardır Her üç durumda da, genel çözüm iki keyfi sabite bağlıdır ve .

  • Eğer D > 0karakteristik polinomun iki farklı gerçek kökü vardır , ve . Bu durumda genel çözüm şudur:
  • Eğer D = 0karakteristik polinomun çift kökü vardır ve genel çözüm şudur:
  • Eğer D < 0karakteristik polinomun iki karmaşık eşlenik kökler ve genel çözüm şudur:
kullanılarak gerçek terimlerle yeniden yazılabilir Euler formülü gibi

Çözümü bulmak doyurucu ve biri yukarıdaki genel çözümün değerlerine eşittir 0 ve oradaki türevi ve sırasıyla. Bu, iki bilinmeyenli iki doğrusal denklemin doğrusal bir sistemiyle sonuçlanır. ve Bu sistemi çözmek sözde bir çözüm sağlar Cauchy sorunu değerlerinin bulunduğu 0 DEQ ve türevinin çözümü için belirtilmiştir.

Sabit katsayılı homojen olmayan denklem

Homojen olmayan bir düzen denklemi n sabit katsayılarla yazılabilir

nerede gerçek veya karmaşık sayılardır f verilen bir fonksiyondur x, ve y bilinmeyen işlevdir (basitlik uğruna, "(x)"aşağıda atlanacaktır).

Böyle bir denklemi çözmek için birkaç yöntem vardır. En iyi yöntem, işlevin doğasına bağlıdır f bu denklemi homojen yapmaz. Eğer f üstel ve sinüzoidal fonksiyonların doğrusal bir birleşimidir, sonra üstel yanıt formülü Kullanılabilir. Daha genel olarak, f formun işlevlerinin doğrusal birleşimidir , , ve , nerede n negatif olmayan bir tam sayıdır ve a bir sabit (her terimde aynı olması gerekmez), ardından belirsiz katsayılar yöntemi Kullanılabilir. Daha genel olarak, yok etme yöntemi ne zaman geçerlidir f homojen bir doğrusal diferansiyel denklemi karşılar, tipik olarak bir holonomik işlev.

En genel yöntem, sabitlerin değişimi burada sunulan.

İlişkili homojen denklemin genel çözümü

dır-dir

nerede çözümlerin vektör uzayının temelidir ve keyfi sabitlerdir. Sabitlerin değişim yöntemi, adını aşağıdaki fikirden alır. Düşünmek yerine sabitler olarak, yapmak için belirlenmesi gereken bilinmeyen işlevler olarak düşünülebilirler. y homojen olmayan denklemin çözümü. Bu amaçla, kısıtlamalar eklenir

ima eden (tarafından Ürün kuralı ve indüksiyon )

için ben = 1, ..., n – 1, ve

Orijinal denklemde değiştirme y ve türevlerini bu ifadelerle ve şu gerçeği kullanarak orijinal homojen denklemin çözümleridir, biri

Bu denklem ve yukarıdakiler ile 0 sol taraf bir sistem oluştururken n doğrusal denklemler katsayıları bilinen fonksiyonlardır (f, ybenve türevleri). Bu sistem herhangi bir yöntemle çözülebilir lineer Cebir. Hesaplanması ters türevler verir ve sonra

Antidürevler bir sabitin eklenmesine kadar tanımlandığından, homojen olmayan denklemin genel çözümünün, keyfi bir çözümün toplamı ve ilgili homojen denklemin genel çözümü olduğu yine keşfedilir.

Değişken katsayılı birinci dereceden denklem

Misal
Denklemi çözme

İlişkili homojen denklem verir

yani

Orijinal denklemi bu çözümlerden biriyle bölmek,

Yani

ve

Başlangıç ​​koşulu için

belirli bir çözüm elde edilir

Katsayısını böldükten sonra, 1. dereceden doğrusal adi diferansiyel denklemin genel formu , dır-dir:

Denklem homojen ise, yani g(x) = 0, yeniden yazılabilir ve entegre edilebilir:

nerede k keyfi sabit entegrasyon ve bir ters türevi nın-nin f. Böylece, homojen denklemin genel çözümü şöyledir:

nerede keyfi bir sabittir.

Genel homojen olmayan denklem için, kişi bunu şu şekilde çarpabilir: karşılıklı homojen denklemin bir çözümü.[2] Bu verir

Gibi Ürün kuralı denklemin yeniden yazılmasına izin verir

Böylece genel çözüm şudur:

nerede c sabit bir entegrasyondur ve .

Doğrusal diferansiyel denklem sistemi

Bir doğrusal diferansiyel denklem sistemi, birkaç bilinmeyen fonksiyonu içeren birkaç doğrusal diferansiyel denklemden oluşur. Genelde çalışma, bilinmeyen fonksiyonların sayısı denklemlerin sayısına eşit olacak şekilde sistemlerle sınırlandırılır.

Rasgele bir doğrusal adi diferansiyel denklem ve bu tür denklemlerden oluşan bir sistem, en yüksek dereceden türevler hariç tümü için değişkenler ekleyerek birinci dereceden bir doğrusal diferansiyel denklem sistemine dönüştürülebilir. Yani, eğer bir denklemde göründüğünde, bunların yerine yeni bilinmeyen fonksiyonlar gelebilir denklemleri karşılaması gereken ve için ben = 1, ..., k – 1.

Birinci dereceden doğrusal bir sistem n bilinmeyen işlevler ve n diferansiyel denklemler normalde bilinmeyen fonksiyonların türevleri için çözülebilir. Durum böyle değilse, bu bir diferansiyel cebirsel sistem ve bu farklı bir teori. Dolayısıyla burada ele alınan sistemler şu şekle sahiptir:

nerede ve fonksiyonlarıdır x. Matris gösteriminde bu sistem yazılabilir (göz ardı edilerek)(x)")

Çözme yöntemi, tek bir birinci dereceden doğrusal diferansiyel denklemlere benzer, ancak matris çarpımının değişmezliğinden kaynaklanan komplikasyonlara sahiptir.

İzin Vermek

Yukarıdaki matris denklemiyle ilişkili homojen denklem olabilir. Çözümleri bir vektör alanı boyut nve bu nedenle bir Kare matris fonksiyonların , kimin belirleyici sıfır işlevi değildir. Eğer n = 1veya Bir sabitlerin bir matrisidir veya daha genel olarak, eğer Bir türevlenebilir ve türevi ile işe gidip gelirse, U üstel bir ters türevi nın-nin Bir.[kaynak belirtilmeli ] Aslında, bu durumlarda,

Genel durumda, homojen denklem için kapalı formda bir çözüm yoktur ve biri a Sayısal yöntem veya gibi bir yaklaşım yöntemi Magnus genişlemesi.

Matrisi bilmek Uhomojen olmayan denklemin genel çözümü şöyledir:

sütun matrisi nerede keyfi sabit entegrasyon.

Başlangıç ​​koşulları şu şekilde verilirse

bu başlangıç ​​koşullarını karşılayan çözüm,

Değişken katsayılarla daha yüksek sıra

Değişken katsayıları olan birinci dereceden doğrusal bir sıradan denklem şu şekilde çözülebilir: dördün Bu, çözümlerin şu terimlerle ifade edilebileceği anlamına gelir: integraller. Bu, en az iki sipariş için geçerli değildir. Bu ana sonucudur Picard-Vessiot teorisi tarafından başlatılan Emile Picard ve Ernest Vessiot ve son gelişmelerinin adı verilenler diferansiyel Galois teorisi.

Quadrature ile çözmenin imkansızlığı ile karşılaştırılabilir. Abel-Ruffini teoremi, bu bir cebirsel denklem en az beşinci derece genel olarak radikallerle çözülemez. Bu benzetme, ispat yöntemlerine kadar uzanır ve diferansiyel Galois teorisi.

Cebirsel duruma benzer şekilde, teori hangi denklemlerin kareleme ile çözülebileceğine ve mümkünse bunları çözmeye izin verir. Bununla birlikte, her iki teori için de gerekli hesaplamalar, en güçlü bilgisayarlarla bile son derece zordur.

Bununla birlikte, rasyonel katsayılara sahip ikinci derece durumu tamamen çözüldü. Kovacic'in algoritması.

Cauchy – Euler denklemi

Cauchy – Euler denklemleri açıkça çözülebilen değişken katsayıları olan herhangi bir sıradaki denklem örnekleridir. Bunlar formun denklemleridir

nerede sabit katsayılardır.

Holonomik fonksiyonlar

Bir holonomik işlev, ayrıca denir D-sonlu fonksiyon, polinom katsayılı homojen bir doğrusal diferansiyel denklemin çözümü olan bir fonksiyondur.

Matematikte yaygın olarak ele alınan işlevlerin çoğu, holonomik veya holonomik işlevlerin bölümleridir. Aslında, holonomik işlevler şunları içerir: polinomlar, cebirsel fonksiyonlar, logaritma, üstel fonksiyon, sinüs, kosinüs, hiperbolik sinüs, hiperbolik kosinüs, ters trigonometrik ve ters hiperbolik fonksiyonlar ve birçok özel fonksiyonlar gibi Bessel fonksiyonları ve hipergeometrik fonksiyonlar.

Holonomik fonksiyonların birkaç kapanış özellikleri; özellikle meblağlar, ürünler, türev ve integraller Holonomik fonksiyonların sayısı holonomiktir. Dahası, bu kapatma özellikleri, olması anlamında etkilidir. algoritmalar girdinin diferansiyel denklemlerini bilerek, bu işlemlerden herhangi birinin sonucunun diferansiyel denklemini hesaplamak için.[3]

Holonomik fonksiyon kavramının kullanışlılığı, Zeilberger teoreminin sonucudur.[3]

Bir holonomik dizi bir dizi tarafından oluşturulabilen bir sayı dizisidir Tekrarlama ilişkisi polinom katsayıları ile. Katsayıları Taylor serisi holonomik bir fonksiyon noktasında bir holonomik sıra oluşturur. Tersine, eğer bir katsayıların sırası güç serisi holonomik ise, seri bir holonomik işlevi tanımlar (hatta yakınsama yarıçapı sıfırdır). Her iki dönüşüm için, yani diferansiyel denklemden tekrarlama ilişkisini hesaplamak için verimli algoritmalar vardır ve tersine. [3]

Buradan, eğer biri (bir bilgisayarda) holonomik fonksiyonları, diferansiyel denklemleri ve başlangıç ​​koşullarını tanımlayarak temsil ederse, çoğu hesap işlemler bu işlevler üzerinde otomatik olarak yapılabilir, örneğin türev, belirsiz ve kesin integral Taylor serisinin hızlı hesaplanması (katsayıları üzerindeki yineleme ilişkisi sayesinde), yaklaşıklık hatasının onaylı sınırı ile yüksek hassasiyette değerlendirme, limitler, yerelleştirme tekillikler, asimptotik davranış sonsuz ve yakın tekillikler, kimliklerin kanıtı vb.[4]

Ayrıca bakınız

Referanslar

  1. ^ Gershenfeld 1999, s. 9
  2. ^ Motivasyon: Benzetme olarak kareyi tamamlamak denklemi şöyle yazıyoruz ve sol tarafı bir türev haline getirecek şekilde değiştirmeye çalışın. Özellikle, bir "bütünleştirici faktör" arıyoruz Öyle ki onunla çarpmak sol tarafı şunun türevine eşit yapar , yani . Bu şu anlama gelir , Böylece metinde olduğu gibi.
  3. ^ a b c Zeilberger, Doron. Özel işlev kimliklerine holonomik sistem yaklaşımı. Hesaplamalı ve uygulamalı matematik dergisi. 32,3 (1990): 321-368
  4. ^ Benoit, A., Chyzak, F., Darrasse, A., Gerhold, S., Mezzarobba, M. ve Salvy, B. (2010, Eylül). Matematiksel fonksiyonların dinamik sözlüğü (DDMF). International Congress on Mathematical Software (s. 35-41). Springer, Berlin, Heidelberg.
  • Birkhoff, Garrett & Rota, Gian-Carlo (1978), Sıradan Diferansiyel Denklemler, New York: John Wiley and Sons, Inc., ISBN  0-471-07411-X
  • Neil (1999), Gershenfeld, Matematiksel Modellemenin Doğası, Cambridge, İngiltere.: Cambridge University Press, ISBN  978-0-521-57095-4
  • Robinson, James C. (2004), Sıradan Diferansiyel Denklemlere Giriş, Cambridge, İngiltere.: Cambridge University Press, ISBN  0-521-82650-0

Dış bağlantılar