Andreotti – Norguetův vzorec - Andreotti–Norguet formula - Wikipedia

The Andreotti – Norguetův vzorec, poprvé představen Aldo Andreotti a François Norguet  (1964, 1966 ),[1] je vyšší dimenzionální analog Cauchyho integrální vzorec za vyjádření deriváty a holomorfní funkce. Přesně tento vzorec vyjadřuje hodnotu parciální derivace ze všech multiindex objednat a holomorfní funkce několika proměnných,[2] v každém vnitřní bod daného ohraničený doména, jako hyperplošný integrál hodnot funkce na hranice samotné domény. V tomto ohledu je to analogické a zobecňuje Bochner – Martinelliho vzorec,[3] redukce na to, když je absolutní hodnota diferenciačního řádu multiindexu 0.[4] Když se uvažuje o funkcích n = 1 komplexní proměnné, redukuje se na obyčejný Cauchyův vzorec pro derivaci holomorfní funkce:[5] kdy n > 1, své integrální jádro nelze získat jednoduchou diferenciací Bochner – Martinelliho jádro.[6]

Historická poznámka

Vzorec Andreotti-Norguet byl poprvé publikován v oznámení o výzkumu (Andreotti a Norguet 1964, str. 780):[7] jeho úplný důkaz však byl publikován až později v příspěvku (Andreotti a Norguet 1966 207–208).[8] Další, odlišný důkaz vzorce byl dán Martinelli (1975).[9] V letech 1977 a 1978 Lev Aizenberg poskytl ještě další důkaz a zobecnění vzorce založeného na Cauchy – Fantappiè – Lerayovo jádro místo toho na Bochner – Martinelliho jádro.[10]

Andreotti-Norguetův integrální reprezentační vzorec

Zápis

Zápis přijatý v následujícím popisu vzorce integrálního vyjádření je ten, který používá Kytmanov (1995, str. 9) a podle Kytmanov & Myslivets (2010, str. 20): notace použité v původních pracích a v jiných odkazech, i když jsou ekvivalentní, se výrazně liší.[11] Přesně se předpokládá, že

Jádro Andreotti – Norguet

Definice 1. Pro každý multiindex α, jádro Andreotti – Norguet ωα (ζz) je následující diferenciální forma v ζ bidegree (nn − 1):

kde = (1, ..., 1) ∈ ℕn a

Integrální vzorec

Věta 1 (Andreotti a Norguet). Pro každou funkci F ∈ A(D), každý bod z ∈ D a každý multiindex α, platí následující vzorec integrální reprezentace

Viz také

Poznámky

  1. ^ Stručný historický náčrt naleznete v části „historická část "tohoto záznamu.
  2. ^ Parciální derivace holomorfní funkce několika komplexních proměnných jsou definovány jako parciální derivace vzhledem k ní komplex argumenty, tj. jako Wirtingerovy deriváty.
  3. ^ Viz (Aizenberg a Yuzhakov 1983, str. 38), Kytmanov (1995, str. 9), Kytmanov & Myslivets (2010, str. 20) a (Martinelli 1984, s. 152–153).
  4. ^ Jak bylo uvedeno v (Kytmanov 1995, str. 9) a (Kytmanov & Myslivets 2010, str. 20).
  5. ^ Jak poznamenal Aizenberg & Yuzhakov (1983, str. 38).
  6. ^ Viz poznámky od Aizenberg & Yuzhakov (1983, str. 38) a Martinelli (1984, str. 153, poznámka pod čarou (1)).
  7. ^ Jak správně uvedl Aizenberg a Yuzhakov (1983, str. 250, § 5) a Kytmanov (1995, str. 9). Martinelli (1984, str. 153, poznámka pod čarou (1)) uvádí pouze pozdější dílo (Andreotti a Norguet 1966 ), který však obsahuje úplný důkaz vzorce.
  8. ^ Viz (Martinelli 1984, str. 153, poznámka pod čarou (1)).
  9. ^ Podle Aizenberg & Yuzhakov (1983, str. 250, §5), Kytmanov (1995, str. 9), Kytmanov & Myslivets (2010, str. 20) a Martinelli (1984, str. 153, poznámka pod čarou (1)), který v tomto odkazu své výsledky nepopisuje, pouze je uvádí.
  10. ^ Viz (Aizenberg 1993, s. 289, § 13), (Aizenberg a Yuzhakov 1983, str. 250, § 5), odkazy citované v těchto zdrojích a stručné poznámky Kytmanov (1995, str. 9) a podle Kytmanov & Myslivets (2010, str. 20): každé z těchto děl poskytuje Aizenbergův důkaz.
  11. ^ Porovnejte například ty původní od Andreottiho a Norgueta (1964, str. 780, 1966, str. 207–208) a ty, které používá Aizenberg & Yuzhakov (1983, str. 38), také stručně popsané v odkazu (Aizenberg 1993, str. 58).

Reference