Analitik işlev - Analytic function - Wikipedia

İçinde matematik, bir analitik fonksiyon bir işlevi yerel olarak bir yakınsak güç serisi. İkisi de var gerçek analitik fonksiyonlar ve karmaşık analitik fonksiyonlar. Her türün işlevi sonsuz derecede türevlenebilir ancak karmaşık analitik fonksiyonlar, genellikle gerçek analitik fonksiyonlar için geçerli olmayan özellikler sergiler. Bir işlev analitiktir ancak ve ancak Taylor serisi hakkında x0 bazılarında işleve yakınlaşır Semt her biri için x0 onun içinde alan adı.

Tanımlar

Resmen, bir işlev dır-dir gerçek analitik bir açık küme içinde gerçek çizgi eğer varsa biri yazabilir

katsayıların gerçek sayılardır ve dizi dır-dir yakınsak -e için bir mahallede .

Alternatif olarak, bir analitik işlev bir sonsuz türevlenebilir fonksiyon öyle ki Taylor serisi Herhangi bir noktada kendi alanında

yakınsamak için bir mahallede noktasal.[a] Belirli bir kümedeki tüm gerçek analitik fonksiyonlar kümesi genellikle şu şekilde gösterilir: .

Bir işlev gerçek çizginin bazı alt kümelerinde tanımlanan bir noktada gerçek analitik olduğu söylenir mahalle varsa nın-nin hangisinde gerçek analitiktir.

A'nın tanımı karmaşık analitik fonksiyon Yukarıdaki tanımlarda "gerçek", "karmaşık" ve "gerçek çizgi" "karmaşık düzlem" ile değiştirilerek elde edilir. Bir fonksiyon karmaşık analitiktir ancak ve ancak holomorf yani karmaşık türevlenebilir. Bu nedenle, "holomorfik" ve "analitik" terimleri genellikle bu tür işlevler için birbirinin yerine kullanılır.[1]

Örnekler

Analitik fonksiyonların tipik örnekleri şunlardır:

Analitik olmayan tipik fonksiyon örnekleri şunlardır:

  • mutlak değer gerçek sayılar veya karmaşık sayılar kümesi üzerinde tanımlandığında işlev her yerde analitik değildir, çünkü 0'da türevlenebilir değildir. Parçalı tanımlanmış işlevler (farklı bölgelerde farklı formüllerle verilen işlevler) tipik olarak parçaların buluştuğu yerde analitik değildir.
  • karmaşık eşlenik işlevi z → z* karmaşık bir analitik değildir, ancak gerçek çizgiyle sınırlandırılması özdeşlik işlevi ve dolayısıyla gerçek analitiktir ve bir işlev olarak gerçek analitiktir. -e .
  • Diğer analitik olmayan pürüzsüz fonksiyonlar ve özellikle herhangi bir düzgün işlev kompakt destekli, yani , üzerinde analitik olamaz .[2]

Alternatif karakterizasyonlar

Aşağıdaki koşullar denktir:

1. açık bir sette gerçek analitiktir .

2. Karmaşık bir analitik uzantısı vardır açık bir sete içeren .

3. gerçekten pürüzsüz ve her şey için kompakt küme sabit var öyle ki her biri için ve negatif olmayan her tam sayı aşağıdaki sınırlandırmalar[3]

Karmaşık analitik fonksiyonlar tam olarak eşdeğerdir holomorf fonksiyonlar ve dolayısıyla çok daha kolay karakterize edilir.

Birkaç değişkene sahip bir analitik fonksiyon durumunda (aşağıya bakınız), gerçek analitiklik, Fourier – Bros – Iagolnitzer dönüşümü.

Çok değişkenli durumda, gerçek analitik fonksiyonlar üçüncü karakterizasyonun doğrudan bir genellemesini sağlar.[4] İzin Vermek açık bir set ol ve izin ver .

Sonra gerçek analitik ancak ve ancak ve her kompakt için sabit var öyle ki her çoklu indeks için aşağıdaki sınırlandırmalar[5]

Analitik fonksiyonların özellikleri

  • Toplamlar, ürünler ve kompozisyonlar Analitik fonksiyonlar analitiktir.
  • karşılıklı Hiçbir yerde sıfır olmayan bir analitik fonksiyonun, tersinir analitik fonksiyonun tersi gibi analitik değildir. türev hiçbir yerde sıfır değil. (Ayrıca bkz. Lagrange inversiyon teoremi.)
  • Herhangi bir analitik fonksiyon pürüzsüz yani sonsuz derecede farklılaştırılabilir. Gerçek işlevler için tersi doğru değildir; aslında, bir anlamda, gerçek analitik işlevler, tüm gerçek sonsuz derecede türevlenebilir işlevlere kıyasla seyrektir. Karmaşık sayılar için, tersi geçerlidir ve aslında türevlenebilir herhangi bir işlev bir Zamanlar açık bir küme, bu küme üzerinde analitiktir (aşağıdaki "analitiklik ve türevlenebilirlik" bölümüne bakın).
  • Herhangi açık küme Ω ⊆C, set Bir(Ω) tüm analitik fonksiyonların sen : Ω →C bir Fréchet alanı kompakt kümelerdeki düzgün yakınsama ile ilgili olarak. Kompakt analitik fonksiyon kümelerindeki tek tip sınırların analitik olması gerçeği, Morera teoremi. Set hepsinden sınırlı analitik fonksiyonlar üstünlük normu bir Banach alanı.

Bir polinom, sıfır polinom olmadığı sürece çok fazla noktada sıfır olamaz (daha doğrusu, sıfırların sayısı en fazla polinomun derecesidir). Analitik işlevler için benzer ancak daha zayıf bir ifade geçerlidir. Bir analitik fonksiyonun sıfır kümesinin ƒ bir birikim noktası içinde alan adı, ardından her yerde sıfırdır bağlı bileşen birikim noktasını içeren. Başka bir deyişle, if (rn) bir sıra ƒ (rn) = 0 hepsi için n ve bu sıra yakınsak Bir noktaya r alanında D, sonra ƒ, bağlı bileşeninde aynı sıfırdır D kapsamak r. Bu, Kalıcılık İlkesi.

Ayrıca, bir analitik fonksiyonun bir noktadaki tüm türevleri sıfırsa, fonksiyon karşılık gelen bağlı bileşen üzerinde sabittir.

Bu ifadeler, analitik fonksiyonların daha fazla özgürlük derecesi polinomlardan daha katıdırlar.

Analitiklik ve farklılaşabilirlik

Yukarıda belirtildiği gibi, herhangi bir analitik fonksiyon (gerçek veya karmaşık) sonsuz derecede türevlenebilirdir (aynı zamanda pürüzsüz veya C). (Bu farklılaştırılabilirliğin gerçek değişkenler anlamında olduğuna dikkat edin; aşağıda karmaşık türevleri karşılaştırın.) Analitik olmayan pürüzsüz gerçek fonksiyonlar vardır: bkz. analitik olmayan düzgün işlev. Aslında bu tür birçok işlev vardır.

Karmaşık analitik fonksiyonlar ve karmaşık türevler düşünüldüğünde durum oldukça farklıdır. Kanıtlanabilir ki açık bir kümede türevlenebilir (karmaşık anlamda) herhangi bir karmaşık işlev analitiktir. Sonuç olarak karmaşık analiz, dönem analitik fonksiyon ile eş anlamlıdır holomorfik fonksiyon.

Gerçek ve karmaşık analitik fonksiyonlar

Gerçek ve karmaşık analitik fonksiyonların önemli farklılıkları vardır (fark edilebilirlik ile olan farklı ilişkilerinden bile fark edilebilir). Karmaşık işlevlerin analitikliği, daha kısıtlayıcı gerekli koşullara sahip olduğundan ve karmaşık analitik işlevlerin gerçek zamanlı emsallerinden daha fazla yapıya sahip olduğundan daha kısıtlayıcı bir özelliktir.[6]

Göre Liouville teoremi tüm karmaşık düzlemde tanımlanan herhangi bir sınırlı karmaşık analitik fonksiyon sabittir. Karmaşık düzlemin gerçek doğruyla değiştirildiği gerçek analitik fonksiyonlar için karşılık gelen ifade açıkça yanlıştır; bu şununla gösterilmiştir:

Ayrıca, karmaşık bir analitik fonksiyon açık bir top bir noktanın etrafında x0, güç serisi genişlemesi x0 açık topun tamamında yakınsak (holomorf fonksiyonlar analitiktir ). Gerçek analitik fonksiyonlar için bu ifade (açık top, açık Aralık açık yerine gerçek hattın disk karmaşık düzlem) genel olarak doğru değildir; yukarıdaki örneğin işlevi bir örnek verir x0 = 0 ve 1'den büyük yarıçaplı bir top, çünkü güç serisi 1 − x2 + x4x6... sapmalar için |x| > 1.

Bazılarında herhangi bir gerçek analitik işlev açık küme gerçek doğru üzerinde, karmaşık düzlemin bazı açık kümelerinde karmaşık bir analitik fonksiyona genişletilebilir. Bununla birlikte, tüm gerçek çizgi üzerinde tanımlanan her gerçek analitik işlev, tüm karmaşık düzlemde tanımlanan karmaşık bir işleve genişletilemez. Ƒ (x) yukarıdaki paragrafta tanımlanan bir karşı örnektir, çünkü x = ±ben. Bu, Taylor serisinin neden ƒ (x) için sapmalar |x| > 1, yani yakınsama yarıçapı 1'dir çünkü karmaşık işlevin bir kutup değerlendirme noktası 0'dan 1 uzaklıkta ve değerlendirme noktası çevresinde yarıçap 1 olan açık disk içinde başka kutup yok.

Çeşitli değişkenlerin analitik fonksiyonları

Bu değişkenlerdeki kuvvet serileri aracılığıyla çeşitli değişkenlerde analitik fonksiyonlar tanımlanabilir (bkz. güç serisi ). Birkaç değişkenin analitik fonksiyonları, bir değişkenin analitik fonksiyonlarıyla aynı özelliklere sahiptir. Bununla birlikte, özellikle karmaşık analitik fonksiyonlar için, yeni ve ilginç fenomenler 2 veya daha fazla karmaşık boyutta ortaya çıkar:

  • Birden fazla değişkende sıfır karmaşık analitik fonksiyon kümesi asla ayrık. Bu kanıtlanabilir Hartogs'un genişleme teoremi.
  • Holomorfi alanları tek değerli işlevler için rastgele (bağlantılı) açık kümelerden oluşur. Bununla birlikte, birkaç karmaşık değişkende, yalnızca bazı bağlantılı açık kümeler holomorfinin alanlarıdır. Holomorfi alanlarının karakterizasyonu, sözde konveksite.

Ayrıca bakınız

Notlar

  1. ^ Bu ima eder tekdüze yakınsama yanı sıra (muhtemelen daha küçük) bir mahallede .
  1. ^ Churchill; Kahverengi; Verhey (1948). Karmaşık Değişkenler ve Uygulamalar. McGraw-Hill. s.46. ISBN  0-07-010855-2. Bir işlev f karmaşık değişkenin z dır-dir analitik noktada z0 türevi sadece mevcut değilse z ama her noktada z bazı mahallelerde z0. Bir bölgede analitiktir R her noktada analitik ise R. Dönem holomorf literatürde de analitikliği ifade eder
  2. ^ Strichartz, Robert S. (1994). Dağıtım teorisi ve Fourier dönüşümleri için bir rehber. Boca Raton: CRC Basın. ISBN  0-8493-8273-4. OCLC  28890674.
  3. ^ Krantz & Parks 2002, s. 15.
  4. ^ Komatsu, Hikosaburo (1960). "Gerçek analitik fonksiyonların bir karakterizasyonu". Japonya Akademisi Tutanakları. 36 (3): 90–93. doi:10.3792 / pja / 1195524081. ISSN  0021-4280.
  5. ^ "Gevrey sınıfı - Matematik Ansiklopedisi". encyclopediaofmath.org. Alındı 2020-08-30.
  6. ^ Krantz & Parks 2002.

Referanslar

Dış bağlantılar