Ìiíiñòåðñòâî îñâiòè i íàóêè Óêðà¨íè

Ëüâiâñüêèé íàöiîíàëüíèé óíiâåðñèòåò iìåíi Iâàíà Ôðàíêà

Äîáóøîâñüêèé Ìàðêiÿí Ñòåïàíîâè÷

ÓÄÊ 517.53

Àñèìïòîòè÷íi âëàñòèâîñòi
iíòåãðàëà Ëàïëàñà-Ñòiëüòü¹ñà

01.01.01  ìàòåìàòè÷íèé àíàëiç

Àâòîðåôåðàò
äèñåðòàöi¨ íà çäîáóòòÿ íàóêîâîãî ñòóïåíÿ
êàíäèäàòà ôiçèêî-ìàòåìàòè÷íèõ íàóê
(äîêòîðà ôiëîñîôi¨)

Ëüâiâ  2018
Äèñåðòàöi¹þ ¹ ðóêîïèñ.

Ðîáîòà âèêîíàíà íà êàôåäði òåîði¨ ôóíêöié òà òåîði¨ éìîâiðíîñòåé

Ëüâiâñüêîãî íàöiîíàëüíîãî óíiâåðñèòåòó iìåíi Iâàíà Ôðàíêà

Ìiíiñòåðñòâà îñâiòè i íàóêè Óêðà¨íè.

Íàóêîâèé êåðiâíèê: äîêòîð ôiçèêî-ìàòåìàòè÷íèõ íàóê, ïðîôåñîð

Øåðåìåòà Ìèðîñëàâ Ìèêîëàéîâè÷,

çàâiäóâà÷ êàôåäðè òåîði¨ ôóíêöié òà òåîði¨ éìîâiðíîñòåé

Ëüâiâñüêîãî íàöiîíàëüíîãî óíiâåðñèòåòó iìåíi Iâàíà Ôðàíêà.

Îôiöiéíi îïîíåíòè: äîêòîð ôiçèêî-ìàòåìàòè÷íèõ íàóê, ïðîôåñîð

Âèííèöüêèé Áîãäàí Âàñèëüîâè÷,

çàâiäóâà÷ êàôåäðè ìàòåìàòèêè

Äðîãîáèöüêîãî ïåäàãîãi÷íîãî óíiâåðñèòåòó iìåíi Iâàíà Ôðàíêà.

êàíäèäàò ôiçèêî-ìàòåìàòè÷íèõ íàóê, äîöåíò

Ñàëî Òåòÿíà Ìèõàéëiâíà,

äîöåíò êàôåäðè âèùî¨ ìàòåìàòèêè

Íàöiîíàëüíîãî óíiâåðñèòåòó "Ëüâiâñüêà ïîëiòåõíiêà";

Çàõèñò âiäáóäåòüñÿ   2018 ð. î   ãîä.

íà çàñiäàííi ñïåöiàëiçîâàíî¨ â÷åíî¨ ðàäè Ä 35.051.18 ó Ëüâiâñüêîìó íàöiîíàëüíîìó óíiâåð-
ñèòåòi iìåíi Iâàíà Ôðàíêà çà àäðåñîþ: 79000, ì. Ëüâiâ, âóë. Óíiâåðñèòåòñüêà, 1, àóä.

Ç äèñåðòàöi¹þ ìîæíà îçíàéîìèòèñü ó Íàóêîâié áiáëiîòåöi Ëüâiâñüêîãî

íàöiîíàëüíîãî óíiâåðñèòåòó iìåíi Iâàíà Ôðàíêà çà àäðåñîþ:
ì. Ëüâiâ, âóë. Äðàãîìàíîâà, 5 òà íà ñàéòi: www.lnu.edu/research/scintic-council-on-thesis-
deference/phd-thesis

Àâòîðåôåðàò ðîçiñëàíèé   ìiñÿöÿ 2018 ð.

Â÷åíèé ñåêðåòàð ñïåöiàëiçîâàíî¨ â÷åíî¨ ðàäè À. ß. Õðèñòiÿíèí

 ÇÀÃÀËÜÍÀ ÕÀÐÀÊÒÅÐÈÑÒÈÊÀ ÐÎÁÎÒÈ

Àêòóàëüíiñòü òåìè. Ïî÷èíàþ÷è ç äðóãî¨ ïîëîâèíè XIX ñòîëiòòÿ, ïiñëÿ

ïîÿâè ôîðìóëè Êîøi-Àäàìàðà äëÿ çíàõîäæåííÿ ðàäióñà çáiæíîñòi ñòåïåíåâîãî
ðÿäó òà çíàìåíèòèõ ïðàöü Æ. Àäàìàðà, ïî÷àâ ðîçâèâàòèñü íîâèé íàïðÿì ó òå-
îði¨ ôóíêöi¨: äîñëiäæåííÿ àñèìïòîòè÷íèõ âëàñòèâîñòåé àíàëiòè÷íèõ ôóíêöié
ó çàëåæíîñòi âiä ïîâîäæåííÿ ¨õ òåéëîðîâèõ êîåôiöi¨íòiâ. Âåëè÷åçíèé âêëàä
ó ðîçâ'ÿçàííÿ öi¹¨ ïðîáëåìè âíåñëè íà ïî÷àòêó ìèíóëîãî ñòîëiòòÿ À. Âiìàí,
Æ. Âàëiðîí, Å. Áîðåëü, Ä. Ïîéà òà iíøi. Îòðèìàíi Æ. Àäàìàðîì ôîðìóëè
äëÿ çíàõîäæåííÿ ïîðÿäêó òà òèïó öiëî¨ ôóíêöi¨ óòî÷íþâàëèñü áàãàòüìà àâ-
òîðàìè (Å. Ëiíäåëüîô, Æ. Âàëiðîí, Ï. Áóòðó òà iíøi), ÿêi ââîäèëè óòî÷íåíi
ïîðÿäêè, êîëèâíi ïîðÿäêè òà ïîäiáíi äî íèõ. Ùîá îõîïèòè âèïàäêè íóëüîâîãî
òà íåñêií÷åííîãî ïîðÿäêó À. Øüîíãàãå, Ã.À. Ôðiäìàí òà iíøi âèêîðèñòîâó-
âàëè (p, q)  ëîãàðèôìi÷íi ïîðÿäêè òà ¨ì ïîäiáíi, à íàéçàãàëüíiøîþ ¹ øêàëà
çðîñòàííÿ, îçíà÷åíà óçàãàëüíåíèìè ïîðÿäêàìè Ì.Ì. Øåðåìåòè. Äëÿ àíàëiòè-
÷íèõ â îäèíè÷íîìó êðóçi ôóíêöié ïîäiáíà çàäà÷à ó òåðìiíàõ ïîðÿäêó i òèïó
ðîçâ'ÿçàíà Ô. Áîé¹ðìàíîì, Ì. Ôóäæiâàðîþ òà Í.Â. Ãîâîðîâèì, à ó òåðìiíàõ
óçàãàëüíåíèõ ïîðÿäêiâ  Ì.Ì. Øåðåìåòîþ.
Ñåðåäíüîþ ëàíêîþ ó äîñëiäæåííi çâ'ÿçêó ìiæ çðîñòàííÿì ìàêñèìóìó ìî-
äóëÿ öiëî¨ ÷è àíàëiòè÷íî¨ â îäèíè÷íîìó êðóçi ôóíêöi¨ òà ïîâîäæåííÿì ¨¨ òåé-
ëîðîâèõ êîåôiöi¹íòiâ ¹ ìàêñèìàëüíèé ÷ëåí ñòåïåíåâîãî ðîçâèíåííÿ öi¹¨ ôóí-
êöi¨. Îöiíêàì ìàêñèìóìó ìîäóëÿ öiëî¨ ôóíêöi¨ ÷åðåç ìàêñèìàëüíèé ÷ëåí òà
åêâiâàëåíòíîñòi ¨õ ëîãàðèôìiâ ïðèñâÿòèëè ñâî¨ ïðàöi Å. Áîðåëü, À. Âiìàí,
Æ. Âàëiðîí òà iíøi.
Áåçïîñåðåäíiì óçàãàëüíåííÿì ñòåïåíåâèõ ðÿäiâ ¹ ðÿäè Äiðiõëå ç íå-
âiä'¹ìíèìè çðîñòàþ÷èìè äî +∞ ïîêàçíèêàìè λn . Ðîëü ðÿäiâ Äiðiõëå
ó ìàòåìàòè÷íîìó àíàëiçi òà ñóìiæíèõ ðîçäiëàõ ñó÷àñíî¨ ìàòåìàòèêè
äîáðå âiäîìà, à ó äðóãié ïîëîâèíi ìèíóëîãî ñòîëiòòÿ iíòåðåñ äî íèõ çðiñ, çàâ-
äÿêè ïðàöÿì À.Ô. Ëåîíòü¹âà, Ì.Ì. Øåðåìåòè, ¨õ ó÷íiâ òà áàãàòüîõ iíøèõ
âiäîìèõ ìàòåìàòèêiâ.
Çàâäÿêè ìîæëèâîìó íàäçâè÷àéíîìó íàêîïè÷åííþ ïîñëiäîâíîñòi λn ðÿä
Äiðiõëå ìîæå áóòè çáiæíèì ó âñié êîìïëåêñíié ïëîùèíi i íå áóòè àá-
ñîëþòíî çáiæíèì â êîæíié òî÷öi öi¹¨ ïëîùèíè. Òîìó äîñëiäæåííþ çái-
æíîñòi ðÿäiâ Äiðiõëå ïðèñâÿòèëè ñâî¨ ïðàöi Å. Êàãåí, Â. Øíåå,
Æ. Âàëiðîí, Î.Ì. Ìóëÿâà òà iíøi.
Çðîñòàííÿ öiëèõ (àáñîëþòíî çáiæíèõ â C) ðÿäiâ Äiðiõëå ïåðåâàæíî õàðà-
êòåðèçóþòü R-ïîðÿäêîì òà R-òèïîì. Ùå ó 1928 ðîöi Æ. Ðiòò âêàçàâ ôîð-
ìóëè äëÿ çíàõîäæåííÿ öèõ âåëè÷èí ÷åðåç êîåôiöi¹íòè öiëîãî ðÿäó Äiðiõëå.
Ó âèïàäêó ðÿäiâ Äiðiõëå ç íóëüîâîþ àáñöèñîþ àáñîëþòíî¨ çáiæíîñòi çðîñòàí-
íÿ ôóíêöié çîáðàæåíèõ òàêèìè ðÿäàìè ó òåðìiíàõ ïîðÿäêó i òèïó âèâ÷àëè
Å. Äàãåíå òà Â.Ñ. Áîé÷óê, à ó òåðìiíàõ R-ïîðÿäêó òà R-òèïó âiäïîâiäíi ôîð-
ìóëè âêàçàëè À.Ì. Ãàéñií òà Ì.Ì. Øåðåìåòà i Ñ.I. Ôåäèíÿê. ßê i ó âèïàäêó

1
àíàëiòè÷íèõ ôóíêöié, çîáðàæåíèõ ñòåïåíåâèìè ðÿäàìè, äëÿ äîñëiäæåííÿ çðî-
ñòàííÿ àíàëiòè÷íèõ ôóíêöié, çàäàíèõ ðÿäàìè Äiðiõëå, áàãàòüìà ìàòåìàòèêà-
ìè âèêîðèñòîâóâàëèñü ðiçíi øêàëè çðîñòàííÿ, à íàéçàãàëüíiøèìè âèÿâèëèñü
óçàãàëüíåíi ïîðÿäêè. Çâ'ÿçîê ìiæ çðîñòàííÿì ôóíêöié, çîáðàæåíèõ ðÿäàìè
Äiðiõëå, òà ïîâîäæåííÿì êîåôiöi¹íòiâ öèõ ðÿäiâ ó òåðìiíàõ óçàãàëüíåíèõ ïî-
ðÿäêiâ âñòàíîâèëè ß.Ä. Ï'ÿíèëî òà Ì.Ì. Øåðåìåòà (äëÿ öiëèõ ðÿäiâ Äiðiõëå) i
Þ.Ì. Ãàëü òà Ì.Ì. Øåðåìåòà (äëÿ ðÿäiâ Äiðiõëå ç íóëüîâîþ àáñöèñîþ àáñî-
ëþòíî¨ çáiæíîñòi).
Çàïî÷àòêîâàíi íà ïî÷àòêó ìèíóëîãî ñòîëiòòÿ Ê. Ñóãiìóðîþ òà
Æ. Âàëiðîíîì äîñëiäæåííÿ îöiíîê ìàêñèìóìó ìîäóëÿ M (σ), íà âåðòèêàëü-
íié ïðÿìié ñóìè ðÿäó Äiðiõëå ÷åðåç ìàêñèìàëüíèé ÷ëåí µ(σ), ó çàëåæíî-
ñòi âiä íàêîïè÷åííÿ ïîêàçíèêiâ ïðîäîâæåíî ëüâiâñüêèìè ìàòåìàòèêàìè
Ì.Ì. Øåðåìåòîþ, Á.Â. Âèííèöüêèì, Î.Á. Ñêàñêiâèì, Ì.Â. Çàáîëîöüêèì,
ß.ß. Ïðèòóëîþ, Ñ.I. Ôåäèíÿêîì òà iíøèìè. Àíàëîãè òåîðåì Å. Áîðåëÿ òà
À. Âiìàíà ïðî åêâiâàëåíòíiñòü ëîãàðèôìiâ ìàêñèìóìó ìîäóëÿ i ìàêñèìàëü-
íîãî ÷ëåíà, à òàêîæ òåîðåì ïðî åêâiâàëåíòíiñòü ëîãàðèôìiâ öèõ âåëè÷èí òié
÷è iíøié îïóêëié ôóíêöi¨ îòðèìàëè Î.Á. Ñêàñêiâ, Ì.Ì. Øåðåìåòà òà ¨õ ó÷íi.
Îäåðæàíi íèìè ðåçóëüòàòè ìàþòü â îñíîâíîìó êðèòåðiàëüíèé õàðàêòåð.
Ùå â 1903 ð. Å. Ëiíäåëüîô âêàçàâ óìîâè íà òåéëîðîâi êîåôiöi¹íòè öiëî¨
ôóíêöi¨, çà ÿêèõ ¨õ ïîðÿäîê ðiâíèé íèæíüîìó ïîðÿäêó, à òèï ðiâíèé íèæíüî-
ìó òèïó. Äëÿ âèïàäêó öiëèõ ôóíêöié åêñïîíåíöiàëüíîãî òèïó öåé ðåçóëü-
òàò áóëî ïåðåâiäêðèòî Ì.Â. Ãîâîðîâèì i Í.Ì. ×åðíèõ1 . Ì.Â. Çàáîëîöüêèé i
Ì.Ì. Øåðåìåòà2 , óçàãàëüíþþ÷è òåîðåìó Ëiíäåëüîôà, çíàéøëè óìîâè íà êî-
åôiöi¹íòè i ïîêàçíèêè ðÿäó Äiðiõëå, çà ÿêèõ ln µ(σ, D) ∼ Φ(σ) ïðè σ → +∞,
äå Φ - çàäàíà íà (−∞, σà ) îïóêëà ôóíêöiÿ. Òðîõè ïiçíiøå Ì. Ì. Øåðåìåòà i
Î. Ì. Ñóìèê âêàçàëè óìîâè, çà ÿêèõ Φ1 (σ) ≤ ln µ(σ) ≤ Φ2 (σ), äå Φ1 (σ) i Φ2 (σ)
- çàäàíi îïóêëi ôóíêöi¨.
Äîñëiäæåííÿ çâ'çêó ìiæ M (σ), i µ(σ) ó òåðìiíàõ áàãàòî÷ëåííèõ àñèìïòî-
òèê ïðîäîâîæèëè Ë. Ë. Ëóãîâà 3 i Þ. Â. Ñòåöü 4 . Äëÿ öüîãî Þ. Â. Ñòåöü,
Ì. Ì. Øåðåìåòà i Î. Ì. Ñóìèê 5,6 äëÿ ðÿäiâ Äiðiõëå ç äîäàòíèìè êîåôiöi¹íòà-
ìè îòðèìàëè íîâi îöiíêè çâåðõó i çíèçó. Óçàãàëüíåííÿì òàêèõ ðÿäiâ Äiðiõëå ¹
1 Ãîâîðîâ Í.Â., ×åðíûõ Í.Ì. Î ïðèçíàêàõ ïîëíîé ðåãóëÿðíîñòè ðîñòà íåêîòîðûõ êëàññîâ öåëûõ ôóí-
êöèé ýêñïîíåíöèàëüíîãî òèïà, ïðåäñòàâëåííûõ èíòåãðàëàìè Áîðåëÿ, ðÿäàìè Íüþòîíà, Äèðèõëå è ñòå-
ïåííûìè ðÿäàìè // Äîêë. ÀÍ ÑÑÑÐ. - Ò. 249, N 6. - C. 1295-1299.
2 Çàáîëîöüêèé Ì.Â., Øåðåìåòà Ì.Ì. Óçàãàëüíåííÿ òåîðåìè Ëiíäåëüîôà // Óêð. ìàò. æóðí. - 1998. - Ò.
50, N 9 - Ñ. 1177-1192.
3 Øåðåìåòà M.M., Ëóãîâà Ë.Ë. Òðè÷ëåííà ñòåïåíåâà àñèìïòîòèêà ëîãàðèôìà ìàêñèìàëüíîãî ÷ëåíà
öiëîãî ðÿäó Äiðiõëå // Ìàò. Ñòóäi¨.-2006.- Ò.25, N 2. - Ñ. 149-168.
4 Ñòåöü Þ.Â., Øåðåìåòà M.M. Áàãàòî÷ëåííà ñòåïåíåâà àñèìïòîòèêà ëîãàðèôìà ìàêñèìàëüíîãî ÷ëåíà
àáñîëþòíî çáiæíîãî ó ïiâïëîùèíi ðÿäó Äiðiõëå // Âiñíèê Ëüâiâ. óíiâ., Ñåð. ìåõ.-ìàò.- 2015. - Âèï. 80. - Ñ.
145-160.
5 Sheremeta M.M., Stets Yu. V., Sumyk Î.Ì. Estimates of a sum of Dirichlet series // Ukr. Math. Bull. -
2013. - V. 10, N 2. - P. 234-253.
6 Sheremeta M.M., Stets Yu. V., Sumyk Î.Ì. Estimates of a sum of Dirichlet series // Journ. of Math. Sci.
- 2013. - V. 194, N 5. - P. 557-572.

2
 Z ∞
iíòåãðàëè Ëàïëàñà-Ñòiëòü¹ñà I(σ) = f (t)etσ dF (t), äå F  íåâiä'¹ìíà, íå-
0
ñïàäíà, íåîáìåæåíà i íåïåðåðâíà ñïðàâà íà [0, +∞) ôóíêöiÿ, à f  íåâiä'¹ìíà
ôóíêöiÿ. Òîìó àêòóàëüíèì ñòàëî îòðèìàííÿ äëÿ iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà
ðåçóëüòàòiâ ïîäiáíèõ äî íàâåäåíèõ â [5-6].
Ì.Ì. Øåðåìåòà 7 ,8 äîñëiäæóâàâ óìîâè, çà ÿêèõ ëîãàðèôì ìàêñèìàëüíî-
ãî ÷ëåíà öiëîãî ðÿäó Äiðiõëå ì๠çàãàëüíó äâî÷ëåííó àñèìïòîòèêó, òèïó
ln µ(σ, D) = Φ1 (σ)+(1+o(1))τ Φ2 (σ) ïðè σ → +∞, äå Φ1 ¹ îïóêëîþ ôóíêöi¹þ,
à Φ2 ¹ ïåâíèì ÷èíîì ïiäïîðÿäêîâàíà ôóíêöi¨ Φ1 , çâîäÿ÷è öþ çàäà÷ó äî ïîäi-
áíî¨ çàäà÷i äëÿ ôóíêöié, ñïðÿæåíèõ çà Þíãîì. Ïðè öüîìó âií ïîñòàâèâ äâà
ïèòàííÿ, ïîâ'ÿçàíi ç óìîâîþ âiäïîâiäíîãî òâåðäæåííÿ. Ïðèðîäíèìè ñòàëè âiä-
ïîâiäi íà ïîñòàâëåíi Ì. Ì. Øåðåìåòîþ ïèòàííÿ i ïåðåíåñåííÿ òà óçàãàëüíåííÿ
éîãî ðåçóëüòàòiâ íà iíòåãðàë Ëàïëàñà- Ñòiëüòü¹ñà.
Äëÿ öiëî¨ ôóíêöi¨ ïîðÿäêó % i íèæíüîãî ïîðÿäêó λ, çàäàíî¨ ëàêóíàðíèì
ñòåïåíåâèì ðÿäîì çi ñòåïåíÿìè λn Äæ. Óiòòåêåð äîâiâ, ùî λ ≤ %β, äå
β = lim (ln λn )/ ln λn+1 . Ë. Ñîíñ9 íàìàãàëàñÿ äîâåñòè, ùî äëÿ àíàëiòè÷íèõ
n→+∞
â îäèíè÷íîìó êðóçi ôóíêöié ïðàâèëüíà íåðiâíiñòü λ0 + 1 ≤ (%0 + 1)β, äå %0
- ïîðÿäîê i λ0 - íèæíié ïîðÿäîê. ßê âèÿâèëîñü, ìiðêóâàííÿ Ñîíñ áóëè ïî-
ìèëêîâèìè i ïðàâèëüíèì ¹ ïîâíèé àíàëîã íåðiâíîñòi Óiòòåêåðà λ0 ≤ %0 β .
Ï.Â. Ôiëåâè÷ i Ì.Ì. Øåðåìåòà 10 ïåðåíåñëè öi ðåçóëüòàòè íà öiëi ðÿäè Äiði-
õëå ñêií÷åííîãî R-ïîðÿäêó i àáñîëþòíî çáiæíi ðÿäè ëîãàðèôìi÷íîãî ïîðÿäêó.
Òîìó àêòóàëüíîþ ñòàëà ïðîáëåìà îòðèìàòè àíàëîãè íåðiâíîñòi Óiòòåêåðà äëÿ
iíòåãðàëó Ëàïëàñà- Ñòiëüòü¹ñà.
Çâ'ÿçîê ðîáîòè ç íàóêîâèìè ïðîãðàìàìè, ïëàíàìè, òåìàìè. Òåìà-
òèêà äèñåðòàöi¨ ïîâ'ÿçàíà ç íóêîâèìè äîñëiäæåííÿìè, ÿêi ïðîâîäÿòüñÿ â ãàëóçi
ìàòåìàòèêè ó Ëüâiâñüêîìó íàöiîíàëüíîìó óíiâåðñèòåòi iìåíi iâàíà Ôðàíêà.
Ìàòåðiàë äèñåðòàöi¨ ¹ ñêëàäîâîþ ÷àñòèíîþ äåðæáþäæåòíî¨ òåìè Ìã-145Ô
"Íîâi êîìïëåêñíî-éìîâiðíîñíi ìåòîäè äîñëiäæåííÿ àñèìïòîòè÷íèõ âëàñòèâî-
ñòåé àíàëiòè÷íèõ i ñóáãàðìîíiéíèõ ôóíêöié, çîáðàæåíèõ âèïàäêîâèìè ðÿäàìè
òà iíòåãðàëàìè"(íîìåð äåðæðå¹ñòðàöi¨ 0113 U 003051).
Ìåòà i çàâäàííÿ äîñëiäæåííÿ. Ìåòîþ äèñåðòàöiéíî¨ ïðàöi ¹ äîñëiäæå-
ííÿ àñèìïòîòè÷íèõ âëàñòèâîñòåé iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà.
Îá'¹êòîì äîñëiäæåííÿ ¹ iíòåãðàëè Ëàïëàñà-Ñòiëòü¹ñà.

Ïðåäìåòîì äîñëiäæåííÿ ¹ àñèìïòîòè÷íå ïîâîäæåííÿ iíòåãðàëó Ëàïëàñà-

Ñòiëòü¹ñà.
7 Sheremeta M.M. Estimates of the maximal term of entire Dirichlet series in terms of two-member asymptoti-
cs // Mat. Stud. - 2000. - V.14, N 2. - P. 159-164.
8 Sheremeta M.M. Two-member asymptotics of Young conjugated functions and problems of behaviour of
positive sequences // Mat. Stud. - 2000. - V.14, N 2. - P. 217-220.
9 Sons L.R. Regularity of growth and gaps // J. Math. Anal.Appl. - 1968. - V. 24. - P. 296-306.
10 Ôiëåâè÷ Ï.Â., Øåðåìåòà M.M. Ïðî îäíó òåîðåìó Ë. Ñîíñ i àñèìïòîòè÷íå ïîâîäæåííÿ ðÿäiâ Äiðiõëå
// Óêð. ìàò. âiñíèê. - 2006. - Ò. 3, N. 2. - Ñ. 187-208.

3
 Îñíîâíi íàóêîâi ðåçóëüòàòè, ùî âèíîñÿòüñÿ íà çàõèñò:
1) äëÿ iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà ç äîâiëüíîþ àáñöèñîþ çáiæíîñòi íî-
âi îöiíêè çâåðõó òà çíèçó i çàñòîñóâàííÿ îäåðæàíèõ îöiíîê äî âñòàíîâëåííÿ
çâ'ÿçêó ìiæ çðîñòàííÿì ëîãàðèôìiâ iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà òà ìàêñèìó-
ìó éîãî ïiäiíòåãðàëüíîãî âèðàçó;
2) ó òåðìiíàõ çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè âñòàíîâëåííÿ çâ'ÿçêó ìiæ
ïîâîäæåííÿì ñïðÿæåíèõ çà Þíãîì ôóíêöié i çàñòîñóâàííÿ îòðèìàíèõ ðåçóëü-
òàòiâ äî äîñëiäæåííÿ çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè iíòåãðàëiâ Ëàïëàñà-
Ñòiëòü¹ñà;
3) äëÿ iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà àíàëîã òåîðåìè Óiòòåêåðà ïðî ïîðÿäîê
i íèæíié ïîðÿäîê öiëî¨ ôóíêöi¨, çîáðàæåíî¨ ëàêóíàðíèì ñòåïåíåâèì ðÿäîì;
Ìåòîäè äîñëiäæåííÿ. Äëÿ ðîçâ'ÿçàííÿ ïîñòàâëåíèõ çàäà÷ âèêîðèñòîâó-
þòüñÿ ìåòîäè ìàòåìàòè÷íîãî àíàëiçó òà ðåçóëüòàòè ïðàöü Ì.Ì. Øåðåìåòè,
Î.Á. Ñêàñêiâà, Ï.Â. Ôiëåâè÷à, Î.Ì. Ñóìèê i Þ.Â. Ñòåöü.
Íàóêîâà íîâèçíà îäåðæàíèõ ðåçóëüòàòiâ. Óñi ðåçóëüòàòè îòðèìàíi â
äèñåðòàöiéíié ðîáîòi ¹ íîâèìè òà îðèãiíàëüíèìè. Ó ðîáîòi âïåðøå:
1) äëÿ iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà ç äîâiëüíîþ àáñöèñîþ çáiæíîñòi îòðè-
ìàíî íîâi îöiíêè çâåðõó òà çíèçó i âñòàíîâëåíî çâ'ÿçîê ìiæ çðîñòàííÿì ëî-
ãàðèôìiâ iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà òà ìàêñèìóìó éîãî ïiäiíòåãðàëüíîãî
âèðàçó;
2) ó òåðìiíàõ çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè âñòàíîâëåíî çâ'ÿçîê ìiæ
ïîâîäæåííÿì ñïðÿæåíèõ çà Þíãîì ôóíêöié i äîñëiäæåíî çàãàëüíó äâî÷ëåííó
àñèìïòîòèêó iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà;
3) äëÿ iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà îòðèìàíî àíàëîãè òåîðåìè Óiòòåêåðà
ïðî ïîðÿäîê i íèæíié ïîðÿäîê öiëî¨ ôóíêöi¨, çîáðàæåíî¨ ëàêóíàðíèì ñòåïåíå-
âèì ðÿäîì;
4) ïîêàçàíî, ùî âiäîìi ôîðìóëè äëÿ çíàõîäæåííÿ àáñöèñè çáiæíîñòi iíòå-
ãðàëó Ëàïëàñà-Ñòiëòü¹ñà ìîæíà äîâåñòè çâåäåííÿì éîãî äî ðÿäó Äiðiõëå.
Ïðàêòè÷íå çíà÷åííÿ îòðèìàíèõ ðåçóëüòàòiâ. Ðåçóëüòàòè äèñåðòaöi¨
ìàþòü òåîðåòè÷íèé õàðàêòåð i ¹ ïåâíèì âíåñêîì â òåîðiþ ôóíêöié. Âîíè ìî-
æóòü áóòè âèêîðèñòàíi â ìàòåìàòè÷íîìó àíàëiçi, êîìïëåêñíîìó àíàëiçi òà ñó-
ìiæíèõ ãàëóçÿõ ìàòåìàòèêè.
Îñîáèñòèé âíåñîê çäîáóâà÷à. Âñi ðåçóëüòàòè äèñåðòàöiéíî¨ ðîáîòè îòðè-
ìàíi ¨¨ àâòîðîì ñàìîñòiéíî.
Ó ñïiëüíèõ ç Ì. Ì. Øåðåìåòîþ ïóáëiêàöiÿõ ñïiâàâòîðó íàëåæèòü ïîñòàíîâ-
êè çàäà÷ òà çàãàëüíå îáãîâîðåííÿ îòðèìàíèõ ðåçóëüòàòiâ.
Àïðîáàöiÿ ðåçóëüòàòiâ äèñåðòàöi¨.

Îñíîâíi ðåçóëüòàòè äèñåðòàöi¨ äîïîâiäàëèñü òà îáãîâîðþâàëèñü íà òàêèõ

íàóêîâèõ êîíôåðåíöiÿõ :

4
  ìiæíàðîäíà íàóêîâà êîíôåðåíöiÿ: "Tarapov Readings". (Õàðêiâ, Áåðåçåíü
1  15, 2016);
 ìiæíàðîäíà íàóêîâà êîíôåðåíöiÿ: "Complex Analysis and related topics".
(Ëüâiâ, Òðàâåíü 30 - ×åðâåíü 4, 2016);
 âñåóêðà¨íñüêié íàóêîâié êîíôåðåíöi¨: "Ñó÷àñíi ïðîáëåìè òåîði¨ éìîâiðíî-
ñòåé òà ìàòåìàòè÷íîãî àíàëiçó". (ñìò. Âîðîõòà, Iâàíî-Ôðàíêiâñüêà îáë,
Ëþòèé 22 - 25, 2017);
 íàóêîâà êîíôåðåíöiÿ: "International Conference of young Mathematicians".
(Êè¨â, ×åðâåíü 7 - 10, 2017);
 ÕII-òà ëiòíÿ øêîëà "Àëãåáðà, òîïîëîãiÿ, àíàëiç". (ñ. Êîëî÷àâà, Çàêàðïàò-
ñüêà îáë., Ëèïåíü 10 - 23, 2017);
 ìiæíàðîäíà íàóêîâà êîíôåðåíöiÿ:: "International Conference dedicated to
125-th anniversary of Stefan Banach". (Ëüâiâ, Âåðåñåíü 18 - 23, 2017);
 ìiæíàðîäíà íàóêîâà êîíôåðåíöiÿ: "International Conference on Complex
analysis, Potential theory and Applications". (Dublin, June 11 - 15, 2018).

Äîïîâiäàëèñÿ íà ñåìiíàðàõ:

 Ëüâiâñüêèé ìiæâóçiâñüêèé ñåìiíàð ç òåîði¨ àíàëiòè÷íèõ ôóíêöié (Ëüâiâ,

êåðiâíèê ïðîô. Ñêàñêiâ Î. Á.)
 ç òåîði¨ àíàëiòè÷íèõ ôóíêöié (Äðîãîáè÷,êåðiâíèê  ïðîô. Á. Â. Âèííè-
öüêèé)

Ïóáëiêàöi¨.

Îñíîâíi ðåçóëüòàòè äèñåðòàöiéíî¨ ðîáîòè îïóáëiêîâàíî â 12 íàóêîâèõ ïó-

áëiêàöiÿõ, ç ÿêèõ 5 à ñàìå 5 ñòàòòÿõ([1-5])  ó ôàõîâèõ âèäàííÿõ iç ïåðåëiêó,
çàòâåðäæåíîãî Ìiíiñòåðñòâîì îñâiòè i íàóêè Óêðà¨íè (1 [2] - áåç ñïiâàâòîðiâ),
3 ([1,4,5])  ó íàóêîâèõ ôàõîâèõ âèäàííÿõ, ÿêi âêëþ÷åíî äî ìiæíàðîäíî¨ íà-
óêîìåòðè÷íî¨ áàçè äàíèõ "Scopus") 5([6,7,9,11,12]) òåçàõ ìiæíàðîäíèõ êîíôå-
ðåíöié, 1 ([8]) òåçàõ âñåóêðà¨íñüêî¨ êîíôåðåíöi¨ òà 1([10]) òåçàõ ëiòíüî¨ øêîëè.
Ñòðóêòóðà i îáñÿã äèñåðòàöi¨ Äèñåðòàöiÿ ñêëàäà¹òüñÿ ç àíîòàöi¨ (óêðà-
¨íñüêîþ òà àíãëiéñüêîþ ìîâàìè), ïåðåëiêó îñíîâíèõ ïîçíà÷åíü, âñòóïó, 3-îõ
ðîçäiëiâ, âèñíîâêiâ òà ñïèñêó ëiòåðàòóðè. Çàãàëüíèé îáñÿã ðîáîòè  131 ñòîði-
íîê, îáñÿã ñïèñêó âèêîðèñòàíèõ äæåðåë íàëi÷ó¹ 72 íàéìåíóâàííÿ i çàéì๠6
ñòîðiíîê.
ÎÑÍÎÂÍÈÉ ÇÌIÑÒ ÐÎÁÎÒÈ

5
 Ó âñòóïi îáãðóíòîâàíî àêòóàëüíiñòü òåìè äîñëiäæåííÿ, âêàçàíi ìåòà, çàâ-
äàííÿ òà ìåòîäè äîñëiäæåíü, ïiäêðåñëåíî íàóêîâó íîâèçíó îòðèìàíèõ ðåçóëü-
òàòiâ, íàâåäåíî ôîðìè àïðîáàöi¨ îäåðæàíèõ ðåçóëüòàòiâ, îïèñàíî îñîáèñòèé
âíåñîê çäîáóâà÷à, êiëüêiñòü ïóáëiêàöié, ñòðóêòóðó òà îáñÿã äèñåðòàöi¨. À òàêîæ
ïðîâåäåíî îãëÿä ëiòåðàòóðè çà òåìàòèêîþ äèñåðòàöi¨ i ïîäàíî îãëÿä îñíîâíèõ
ðåçóëüòàòiâ, çðîáëåíî àíàëiç ëiòåðàòóðíèõ äæåðåë, íàâåäåíî íåîáõiäíi îçíà-
÷åííÿ òà òåîðåìè, ïîâ'ÿçàíi ç òåìàòèêîþ äîñëiäæåíü i âèñâiòëåíî ïåðåäóìîâè
âèáîðó òåìàòèêè äèñåðòàöi¨.
Ïåðøèé ðîçäië "Îöiíêè iíòåãðàëiâ Ëàïëàñà-Ñòiëüòü¹ñà"äèñåðòàöi¨ ïðè-
ñâÿ÷åíèé îöiíêàì iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà çíèçó i çâåðõó ç íàñòóïíèì
çàñòîñóâàííÿì ¨õ äî äîñëiäæåííÿ çâ'ÿçêó ìiæ çðîñòàííÿì öüîãî iíòåãðà-
ëó i ìàêñèìóìîì éîãî ïiäiíòåãðàëüíîãî âèðàçó. Íåõàé V - êëàñ íåâiä'¹ì-
íèõ íåñïàäíèõ íåîáìåæåíèõ íåïåðåðâíèõ ñïðàâà íà [0, +∞) ôóíêöié F , à
f - íåâiä'¹ìíà
Z ôóíêöiÿ. Iíòåãðàëîì Ëàïëàñà-Ñòiëòü¹ñà íàçèâà¹òüñÿ iíòå-
11

∞
ãðàë I(σ) = f (x)exσ dF (x), ìàñêñèìóì ïiäiíòåãðàëüíîãî âèðàçó ôóíêöiÿ
0
µ(σ, I) = sup{f (x)exσ : x ≥ 0}, σ ∈ R, ÷åðåç σµ ïîçíà÷åìî àáñöèñó iñíóâàííÿ
µ(σ, I), i íåõàé LSA (F ) êëàñ iíòåãðàëiâ I(σ) òàêèõ, ùî σ = A ∈ (−∞, +∞). ç

×åðåç Ω(A) ïîçíà÷èìî êëàñ äîäàòíèõ íåîáìåæåíèõ íà (−∞, A) ôóíêöié Φ

òàêèõ, ùî ïîõiäíà Φ0 ¹ äîäàòíîþ íåïåðåðâíî äèôåðåíöiéîâíîþ i çðîñòàþ÷îþ
äî +∞ íà (−∞, A).
Ó ïiäðîçäiëi 1.1 îòðèìàíî îöiíêè ln I(σ) çâåðõó. Îñíîâíèì ðåçóëüòàòîì ïiä-
ðîçäiëó ¹ òàêà òåîðåìà.
Òåîðåìà 1.1. Íåõàé A = +∞ àáî A = 0, I ∈ LSA (F ), Φ ∈ Ω(A) i
Φ0 (σ) = O(Φ0 (Ψ(σ))) ïðè σ ↑ A.
Ïðèïóñòèìî, γ : [0, +∞) → [0, +∞) - òàêà íåïåðåðâíà ôóí-
ùî
êöiÿ, ùî γ(x) ↑ +∞ ïðè x → +∞, γ(x)/x íåçðîñò๠íà [x0 , +∞) i
γ(x) = O(Φ(Ψ(ϕ(x)))) ïðè x → +∞.
ßêùî ln f (x) ≤ −xΨ(ϕ(x)), x ≥ x0 , i

ln F (x)
lim = 0, (1.4)
x→+∞ γ(x)

òî
ln I(σ) − Φ(σ)
lim ≤ 0.
σ↑A γ(Φ0 (σ))

Ïîäiáíi äî òåîðåìè 1.1 òâåðäæåííÿ äîâåäåíî , êîëè Φ ∈ Ω(+∞) àáî ìà¹

ñòåïåíåâå çðîñòàííÿ àáî Φ(σ) = σα(σ), äå α - ïîâiëüíî çðîñòàþ÷à ôóíêöiÿ, à
òàêîæ êîëè Φ ∈ Ω(0) i çðîñò๠ïîâiëüíiøå, íiæ ñòåïåíåâà.
11 Sheremeta M.M. Asymptotical behaviour of Laplace-Stiltjes integrals - Lviv: VNTL Publishers, 2010. - P.
211.

6
 Çàóâàæèìî, ùî ó âèïàäêó A = +∞ óìîâà Φ0 (σ) = O(Φ0 (Ψ(σ))
(σ ↑ A) íå ¹ îáìåæåííÿì íà øâèäêiñòü çðîñòàííÿ ôóíêöi¨ Φ. Íàïðèêëàä,
öþ óìîâó çàäîâîëüíÿþòü ôóíêöi¨ Φ(σ) = σ ln σ (σ ≥ σ0 ), Φ(σ) = σ p
(σ ≥ σ0 ) ç p > 1 i Φ(σ) = expk σ ç k ∈ N, äå exp1 x = ex i
expk x = expk−1 ex . Ó âèïàäêó, êîëè A = 0 i Φ(σ) = B(1/|σ|) äëÿ σ < 0
íàâåäåíà âèùå óìîâà âêàçó¹ íà òå, ùî B íå ìîæå çðîñòàòè ïîâiëüíiøå, íiæ
ñòåïåíåâà ôóíêöiÿ (íàïðèêëàä, ôóíêöiÿ B(x) = ln x (x ≥ e) íå çàäîâîëüíÿ¹
öþ óìîâó).
Ó ïiäðîçäiëi 1.2 îòðèìàíî îöiíêè iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà çíè-
çó. Íåõàé, γ : [0, +∞) → [0, +∞) - òàêà íåïåðåðâíà ôóíêöiÿ, ùî
γ(x) ↑ +∞ ïðè x → +∞. Äëÿ q ∈ (0, 1) i x ≥ γ(0) + 1, îçíà÷èìî
1 −1
∆γ (x; q) = (γ (x) − γ −1 (x − e−qx )) i áóäåìî ââàæàòè, ùî F ∈ V (l) ÿêùî
x
ÿêùî F ∈ V i F (x) − F (x − 0) ≤ l < +∞ äëÿ âñiõ x ≥ 0.
Òåîðåìà 1.5. Íåõàé F ∈ V (l), Φ ∈ Ω(+∞), I ∈ LS+∞ (F ) i
ln f (x) ≥ −xΨ(ϕ(x)), x ≥ x0 . Ïðèïóñòèìî, ùî íåâiä'¹ìíà íåïåðåðâíà
ln F (x)
çðîñòàþ÷à äî +∞ íà [0, +∞) ôóíêöiÿ γ òàêà, ùî lim > 1 i
x→+∞ γ(x)
∆γ (x; q)ϕ(γ −1 (x)) → 0, x → +∞ äëÿ äåÿêîãî q ∈ (0, 1). Òîäi

ln I(σ) − Φ(σ)
lim ≥ 1 − q > 0.
σ→+∞ γ(Φ0 (σ))

Òåîðåìà 1.6. Íåõàé F ∈ V (l), Φ ∈ Ω(0), I ∈ LS0 (F ) i âèêîíó¹òüñÿ óìî-

âà ln f (x) ≥ −xΨ(ϕ(x)), äëÿ x ≥ x0 .. Ïðèïóñòèìî, ùî γ - íåâiä'¹ìíà íå-
ïåðåðâíà çðîñòàþ÷à äî +∞ íà [0, +∞) ôóíêöiÿ òàêà, ùî âèêîíó¹òüñÿ
ln F (x)
lim > 1 i ∆γ (x; q) = O(1) ïðè x → +∞, äëÿ äåÿêîãî q ∈ (0, 1).
x→+∞ γ(x)
Òîäi
ln I(σ) − Φ(σ)
lim ≥ 1 − q > 0.
σ↑0 γ(Φ0 (σ))

Âèêîðèñòîâóþ÷è òåîðåìè 1.1, 1.2, 1.5 i 1.6, ó ïiäðîçäiëi 1.3 äîñëiäæåíî çâ'çîê
ìiæ çðîñòàííÿì ln I(σ) i ln µ(σ, I). Íàïðèêëàä, íàâåäåíî òàêi òâåðäæåííÿ.
Òâåðäæåííÿ 1.1. Íåõàé F ∈ V , Φ ∈ Ω(+∞) i γ : [0, +∞) → [0, +∞) - òàêà
íåïåðåðâíà ôóíêöiÿ, ùî γ(x) ↑ +∞ ïðè x → +∞.
ßêùî Φ0 (σ) = O(Φ0 (Ψ(σ)) ïðè σ → +∞, ôóíêöiÿ γ(x)/x íåçðîñòà-
þ÷à íà [x0 , +∞) i γ(x) = O(Φ(Ψ(ϕ(x))) ïðè x → +∞, òî óìîâà (1.4)
¹ äîñòàòíüîþ, à ÿêùî F ∈ V (l), ôóíêöiÿ γ íåïåðåðâíî äèôåðåöiéîâíà
0
íà [0, +∞), ln (1/γ (x)) = o(γ(x)) i ln ϕ(x) = o(γ(x)) ïðè x → +∞,
òî óìîâà (1.4) ¹ íåîáõiäíîþ äëÿ òîãî, ùîá äëÿ êîæíîãî iíòåãðàëó I ∈

7
LS+∞ (F ) ç íåðiâíîñòi ln µ(σ, I) ≤ Φ(σ), äëÿ σ ≥ σ0 , âèïëèâàëà íåðiâíiñòü
ln I(σ) ≤ Φ(σ) + o(γ(Φ0 (σ)), ïðè σ → +∞.
Ç iíøîãî áîêó, ÿêùî ôóíêöiÿ f ì๠ðåãóëÿðíó çìiíó âiäíîñíî F ,
òî ç íåðiâíîñòi ln I(σ) ≤ Φ(σ), äëÿ σ ≥ σ0 , âèïëèâ๠íåðiâíiñòü
ln µ(σ, I) ≤ Φ(σ) + O(σ), ïðè σ → +∞.
Òâåðäæåííÿ 1.7. Íåõàé F ∈ V , Φ ∈ Ω(0), à γ : [0, +∞) → [0, +∞) - íåïå-
0 0
ðåðâíà ôóíêöiÿ òàêà, ùî γ(x) ↑ +∞ ïðè x → +∞. ßêùî Φ (σ) = O(Φ (Ψ(σ)))
ïðè σ ↑ 0, ôóíêöiÿ γ(x)/x íåçðîñòàþ÷à íà [x0 , +∞) i γ(x) = O(Φ(Ψ(ϕ(x))))
ïðè x → +∞, òî óìîâà (1.4) ¹ äîñòàòíüîþ, à ÿêùî F ∈ V (l), ôóíêöiÿ γ
0
íåïåðåðâíî äèôåðåíöiéîâíà íà [0, +∞) i ln γ (x) = o(γ(x)) ïðè x → +∞,
òî óìîâà (1.4) ¹ íåîáõiäíîþ äëÿ òîãî, ùîá äëÿ êîæíîãî iíòåãðàëó I ∈
LS0 (F ) ç íåðiâíîñòi ln µ(σ, I) ≤ Φ(σ), äëÿ σ ∈ [σ0 , 0), âèïëèâàëà íåðiâíiñòü
ln I(σ) ≤ Φ(σ) + o(γ(Φ0 (σ))), ïðè σ ↑ 0. Ç iíøîãî áîêó, ÿêùî ôóíêöiÿ f ìà¹
ðåãóëÿðíó çìiíó âiäíîñíî F , òî ç íåðiâíîñòi ln I(σ) ≤ Φ(σ), äëÿ σ ∈ [σ0 , 0),
âèïëèâ๠íåðiâíiñòü ln µ(σ, I) ≤ Φ(σ) + O(1), ïðè σ ↑ 0.

Êðiì öüîãî òóò áóäå íàâåäåíî óìîâè íà ôóíêöi¨ Φ ∈ Ω i γ , çà âèêîíàí-

íÿ ÿêèõ óìîâà (1.4)¹ äîñòàòíüîþ äëÿ òîãî, ùîá àñèìïòîòè÷íi ðiâíîñòi áóëè
ln I(σ) = (1 + o(1))Φ(σ), σ ↑ 0, i ln µ(σ, I) = (1 + o(1))Φ(σ) ïðè σ ↑ 0 áóëè
ðiâíîñèëüíèìè, äå àáî A = 0, àáî A = +∞.
Äðóãèé ðîçäië "Çàãàëüíà äâî÷ëåííà àñèìïòîòèêà"ñêëàäà¹òüñÿ ç äâîõ ïiä-
ðîçäiëiâ.  ïåðøîìó ç íèõ ó òåðìiíàõ çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè äîñëi-
äæåíî ìîæëèâå çðîñòàííÿ ôóíêöi¨ Q(σ) = sup{P (x) + xσ : x ≥ 0}, ñïðÿæåíî¨
çà Þíãîì ç äîâiëüíîþ âiäìiííîþ âiä +∞ ôóíêöiþ P, âiäìiííîþ âiä +∞, à â
äðóãîìó ïiäðîçäiëi îòðèìàíèé ðåçóëüòàò çàñòîñîâàíî äî çàãàëüíî¨ äâî÷ëåííî¨
àñèìïòîòèêè iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà.
Äëÿ 0 < a < b < +∞ i Φ ∈ Ω(A) ïðèéìåìî
Z b  Z b 
ab Φ(ϕ(t)) 1
G1 (a, b, Φ) = dt, G2 (a, b, Φ) = Φ ϕ(t) dt ,
b−a a t2 b−a a
i íåõàé L0 - êëàñ äîäàòíèõ íåïåðåðâíî äèôåðåíöiéîâíèõ íà (0, +∞) ôóíêöié l
òàêèõ, ùî xl0 (x) = O(l(x)) ïðè x → +∞. ßê â ñòàòòÿõ Ì. Ì. Øåðåìåòè7,8
âêàçàíî ùî äîäàòíà äâi÷i íåïåðåðâíî äèôåðåíöiéîâíà íà (−∞, +∞) ôóí-
êöiÿ Φ2 ¹ ïiäïîðÿäêîâàíîþ ôóíêöi¨ Φ1 ∈ Ω(+∞), ÿêùî Φ002 (σ) = o(Φ001 (σ)),
Φ02 (σ) = o(σΦ001 (σ)) ïðè σ → +∞ i Φ02 (ϕ1 ) ∈ L0 . Ì. Ì. Øåðåìåòà îòðèìàâ
òàêèé ðåçóëüòàò.
0 0
Òâåðäæåííÿ 2.0 Íåõàé Φ1 ∈ Ω(+∞), ϕ1 ∈ L , ôóíêöiÿ Φ2 ïiäïîðÿäêîâàíà
ôóíêöi¨ Φ1 , τ ∈ R \ {0}, i âèêîíóþòüñÿ óìîâè
  0 
Φ (σ)
Φ0j σ + O 2
00 = (1 + o(1))Φ0j (σ) (σ → +∞), j = 1 2.
Φ1 (σ)
Ïðèïóñòèìî, ùî ç óìîâè

G2 (tn , tn+1 , Φ1 ) − G1 (tn , tn+1 , Φ1 ) = o(Φ2 (ϕ1 (tn ))), n → ∞, (2.2)

8
âèïëèâ๠àñèìïòîòè÷íà ðiâíiñòü

tn+1 = (1 + o(1))tn , n → ∞. (2.3)

Ïðèéìåìî

tn+1
Φ2 (ϕ1 (tn+1 )) − Φ2 (ϕ1 (tn+1 ))
Z
1
κn (Φ1 ) = ϕ1 (t)dt, ξn =
tn+1 − tn tn tn+1 − tn
i ïðèïóñòèìî, ùî

ξn Φ01 (κn (Φ01 ) + O(ξn )) = o(G2 (tn , tn+1 , Φ1 )), n → ∞, (2.6)

i
Φ2 (κn (Φ01 ) + O(ξn )) = o(G2 (tn , tn+1 , Φ1 )), n → ∞. (2.7)
Òîäi äëÿ òîãî, ùîá

Q(σ) = Φ1 (σ) + (1 + o(1))τ Φ1 (σ), σ → +∞,

íåîáõiäíî i äîñèòü, ùîá äëÿ êîæíîãî ε > 0:
1) iñíóâàëî t0 = t0 (ε) òàêå, ùî äëÿ âñiõ t ≥ t0

P (t) ≤ −tΨ1 (ϕ1 (t)) + (τ + ε)Φ2 (ϕ1 (t));

2) iñíóâàëà çðîñòàþ÷à äî +∞ ïîñëiäîâíiñòü (tn ) òàêà, ùî

P (tn ) ≥ −tn Ψ1 (ϕ1 (tn )) + (τ − ε))Φ2 (ϕ1 (tn )), n → +∞,

i âèêîíó¹òüñÿ ñïiââiäíîøåííÿ (2.2).

Êðiì öüîãî âiíïîñòàâèâ òàêi ïèòàííÿ:

1) äëÿ ÿêèõ ôóíêöi¨ Φ1 ∈ Ω(+∞) i ïiäïîðÿäêîâàíié ¨¨ ôóíêöi¨ Φ2 ñïiââiäíî-

øåííÿ (2.6) i (2.7) âèêîíóþòüñÿ äëÿ êîæíî¨ ïîñëiäîâíîñòi (tn ) ↑ +∞?
2) äëÿ ÿêèõ ôóíêöié Φ1 ∈ Ω(+∞) i Φ2 ç óìîâè (2.2) âèïëèâ๠ñïiââiäíîøå-
ííÿ (2.3)?

Âiäïîâiäü íà ïåðøå ïèòàííÿ ìiñòèòüñÿ ó íàñòóïíîìó òâåðäæåííi.

Òâåðäæåííÿ 2.1. Íåõàé àáî A = +∞, Φ1 ∈ Ω(A) i Φ2 - äîäà-
A = 0, àáî
òíà, äâi÷i íåïåðåðâíî äèôåðåíöiéîâíà i çðîñòàþ÷à äî +∞ íà (−∞, A) ôóí-
0 00 0
êöiÿ. Ïðèïóñòèìî, ùî Φ2 (σ) = o(σΦ1 (σ)), σΦ1 ((1 + o(1))σ) = O(Φ1 (σ)) i
Φ2 ((1 + o(1))σ) = o(Φ1 (σ)) ïðè σ ↑ A. Òîäi ñïiââiäíîøåííÿ (2.6) i (2.7) âèêî-
íóþòüñÿ äëÿ êîæíî¨ ïîñëiäîâíîñòi (tn ) ↑ +∞.

9
 Ùîá äàòè âiäïîâiäü íà äðóãå ïèòàííÿ, ÷åðåç Ω∗ (A) ïîçíà÷èìî êëàñ ôóíêöié
Φ ∈ Ω(A) òàêèõ, ùî ç G2 (tn , tn+1 , Φ1 ) = (1 + o(1))G1 (tn , tn+1 , Φ1 ), n → ∞
âèïëèâ๠(2.3). Òîäi ïðàâèëüíå íàñòóïíå òâåðäæåííÿ.
Òâåðäæåííÿ 2.3. Íåõàé àáî A = 0, àáî A = +∞, Φ1 ∈ Ω∗ (A) i Φ2 - äîäàòíà,
äâi÷i íåïåðåðâíî äèôåðåíöiéîâíà i çðîñòàþ÷à äî +∞ íà (−∞, A) ôóíêöiÿ òà-
êà, ùî Φ2 (σ) = o(Φ1 (σ)) ïðè σ ↑ A. Òîäi ç (2.2) âèïëèâ๠(2.3).

Ó ïiäðîçäiëi 2.0 òâåðäæåííÿ ïåðåíåñíî ç îäíîãî áîêó, íà âèïàäîê äîâiëüíîãî

A ∈ (−∞, +∞], à ç iíøîãî áîêó, íà âèïàäîê ñëàáêî¨ ïiäïîðÿäêîâàíîñòi ôóíêöi¨
Φ2 ôóíêöi¨ Φ1 .

Íåõàé A ∈ (−∞, +∞] i Φ1 ∈ Ω(A). Áóäåìî ãîâîðèòè, ùî äîäàòíà äâi÷i íåïå-

ðåðâíî äèôåðåíöiéîâíà íà (−∞, A) ôóíêöiÿ Φ2 ñëàáî ïiäïîðÿäêîâàíà ôóíêöi¨
Φ1 , ÿêùî Φ002 (σ) = o(Φ001 (σ)) ïðè σ ↑ A i Φ02 (ϕ1 ) ∈ L0 .
Íåõàé τ ∈ R \ {0} i àáî A = 0, àáî A = +∞. Ïðèïóñòèìî, ùî Φ1 ∈
Ω(A), ϕ01 ∈ L0 i ôóíêöiÿ Φ2 ñëàáî ïiäïîðÿäêîâàíà ôóíêöi¨ Φ1 . Îñêiëüêè
Φ002 (σ) = o(Φ001 (σ)) ïðè σ ↑ A, òî iñíó¹ ôóíêöiÿ Φ ∈ Ω(A) òàêà, ùî
Φ(σ) = Φ1 (σ) + τ Φ2 (σ), σ ∈ [σ0 (τ ), A). (2.12)

Âèêîðèñòîâóþ÷è ðåçóëüòàòè ïiäðîçäiëó 2.1, ó ïiäðîçäiëi 2.2 ó òåðìiíàõ

çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè âêàçàíî ìîæëèâå çðîñòàííÿ iíòåãðàëà
Ëàïëñà-Ñòiëüòü¹ñà I(σ). Îñíîâíèìè òóò ¹ òàêi òåîðåìè.
Òåîðåìà 2.4. Íåõàé τ ∈ R \ {0}, F ∈ V (l) i ôóíêöiÿ
∗ 0 0
Φ1 ∈ Ω (+∞) ¹ òàêîþ, ùî ϕ 1 ∈ L , Φ1 (σ + o(1))  = O(Φ1 (σ)) i âè-
0 (1 + o(1))Φ1 (σ)
êîíó¹òüñÿ óìîâà Φ1 (σ) = O Φ01 σ − ïðè σ → +∞.
Φ01 (σ))
Ïðèïóñòèìî, ùî ñëàáî ïiäïîðÿäêîâàíà ôóíêöi¨ Φ1 ôóíêöiÿ Φ2 çàäîâîëü-
0
íÿ¹ óìîâè Φ2 (σ) = o(σΦ001 (σ)), Φ2 (σ) = O(Φ1 (Ψ1 (σ))), ln Φ001 (σ) =
= o(Φ2 (σ)), σ = o(Φ2 (σ)) ïðè σ → +∞ i Φ2 (σ)/Φ01 (σ) & 0 ïðè
σ0 ≤ σ → +∞. Ïðèïóñòèìî òàêîæ, ùî àáî σΦ01 (σ) = O(Φ1 (σ)), àáî
Φ02 (σ) = o(Φ001 (σ)) i Φ01 (σ) = O(Φ1 (σ)) ïðè σ → +∞, ôóíêöiÿ f ì๠ðåãó-
ln F (x)
ëÿðíó çìiíó âiäíîñíî F i âèêîíó¹òüñÿ óìîâà lim = 0.
x→+∞ Φ2 (ϕ(x))
Òîäi äëÿ òîãî, ùîá äëÿ êîæíîãî iíòåãðàëó I ∈ LS+∞ (F ) áóëà ïðàâèëüíîþ
àñèìïòîòè÷íà ðiâíiñòü ln I(σ) = Φ1 (σ) + τ (1 + o(1))Φ2 (σ), ïðè σ → +∞,
íåîáõiäíî i äîñèòü ùî äëÿ êîæíîãî ε > 0 âèêîíóâàëèñü óìîâè:
1) iñíóâàëî ÷èñëî t0 = t0 (ε) òàêå, ùî äëÿ âñiõ t ≥ t0

ln f (t) ≤ −tΨ1 (ϕ1 (t)) + (τ + ε)Φ2 (ϕ1 (t));

2) iñíóâàëà çðîñòàþ÷à äî +∞ ïîñëiäîâíiñòü (tn ) òàêà, ùî

ln f (tn ) ≥ −tn Ψ1 (ϕ1 (tn )) + (τ − ε))Φ2 (ϕ1 (tn )), n → +∞,

10
 G2 (tn , tn+1 , Φ1 ) − G1 (tn , tn+1 , Φ1 )
lim = 0.
n→∞ Φ2 (ϕ1 (tn ))

Òåîðåìà 2.5. Íåõàé A = 0, τ ∈ R \ {0}, F ∈ V (l) i ôóíêöiÿ Φ1 ∈ Ω∗ (0) ¹

0 0
òàêîþ, ùî ϕ1 ∈L i âèêîíó¹òüñÿ óìîâà

  
(1 + o(1))Φ 1 (σ)
Φ01 (σ) = O Φ01 σ − 0 , σ ↑ 0.
Φ1 (σ)

Ïðèïóñòèìî, ùî cëàáî ïiäïîðÿäêîâàíà ôóíêöi¨ Φ1 ôóíêöiÿ Φ2 çàäîâîëüíÿ¹

0
óìîâè Φ2 (σ) = o(σΦ001 (σ)) i ln Φ001 (σ) σ↑0i
= o(Φ2 (σ)) ïðè

  
(1 + o(1))Φ1 (σ)
Φ2 (σ) = O Φ1 σ − , σ ↑ 0.
Φ01 (σ)

Ïðèïóñòèìî òàêîæ, ùî ôóíêöiÿ f ì๠ðåãóëÿðíó çìiíó âiäíîñíî F i âèêî-

ln F (x)
íó¹òüñÿ óìîâà lim = 0.
x→+∞ Φ2 (ϕ(x))
Òîäi äëÿ òîãî, ùîá äëÿ êîæíîãî iíòåãðàëó I ∈ LS0 (F ) áóëà ïðàâèëüíîþ àñèì-
ïòîòè÷íà ðiâíiñòü

ln I(σ) = Φ1 (σ) + τ (1 + o(1))Φ2 (σ), σ ↑ 0.

íåîáõiäíî i äîñèòü ùî äëÿ êîæíîãî ε > 0 âèêîíóâàëèñü óìîâè 1) i 2) òåîðåìè
2.4.

Ðîçäië 3 ñêëàäà¹òüñÿ ç òðüîõ ïiäðîçäiëiâ. Ó ïåðøîìó ç íèõ äëÿ ìàêñèìóìó

ïiäiíòåãðàëüíîãî âèðàçó µ(σ, I) iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà I(σ) i ôóíêöi¨
Φ(σ) ∈ Ω(A) ç îöiíêè ln µ(σ, I) ≤ Φ(σ) çà ïåâíèõ óìîâ íà Φ îòðèìàíî îöiíêè
çâåðõó âåëè÷èí
ln ln µ(σ, I) ln µ(σ, I)
lim , lim .
σ↑A ln Φ(σ) σ↑A Φ(σ)
Äëÿ öüîãî ÷åðåç L ïîçíà÷åíî êëàñ äîäàòíèõ íåïåðåðâíèõ çðîñòàþ÷èõ äî +∞
íà (x0 , +∞) ôóíêöié α. Áóäåìî ãîâîðèòè, ùî α ∈ L0 , ÿêùî α ∈ L i
α((1 + o(1))x) = (1 + o(1))α(x) ïðè x → +∞. Íàðåøòi, α ∈ Lïç , ÿêùî α ∈ L
i α(cx) = (1 + o(1))α(x) ïðè x → +∞ äëÿ êîæíîãî c ∈ (0, +∞), òîáòî α 
ïîâiëüíî çðîñòàþ÷à ôóíêöiÿ.
Ó ïiäðîçäiëi 3.1 äîâåäåíî äâi òåîðåìè ïðî îöiíêè âêàçàíèõ âåëè÷èíè. Íàâå-
äåìî îäíó ç íèõ, ÿêà ñòîñó¹òüñÿ âèïàäêó σµ = +∞.
Òåîðåìà 3.1. Íåõàé σµ = +∞, Φ ∈ Ω(+∞), ln µ(σ, I) ≤ Φ(σ) äëÿ âñiõ
σ ≥ σ0 , X = (xk ) - çðîñòàþ÷à äî +∞ ïîñëiäîâíiñòü äîäàòíèõ ÷èñåë, à f -
íåçðîñòàþ÷à äîäàòíà ôóíêöiÿ. Ïðèïóñòèìî ùî âèêîíó¹òüñÿ îäíà ç óìîâ:

11
 1) ln f (xk ) − ln f (xk+1 ) = O(1) ïðè k → ∞,
2) ln f (xk ) = (1 + o(1)) ln f (xk+1 ) ïðè k → ∞ i Φ ∈ L0 ,
3) xk+1 − xk ≤ H < +∞ äëÿ âñiõ k ≥ 0,
4) xk+1 = (1 + o(1))xk as k → ∞ i Φ ∈ L0 ,

Òîäi
ln µ(σ, I) G1 (xk , xk+1 , Φ)
lim ≤ lim .
σ→+∞ Φ(σ) k→∞ G2 (xk , xk+1 , Φ)

2) ÿêùî

Φ(σ)Φ00 (σ)
 
ln σ + − 1 ln Φ(σ) ≥ q > −∞, σ ≥ σ0 ,
(Φ0 (σ))2
i âèêîíó¹òüñÿ îäíà ç óìîâ

1) ln f (xk ) − ln f (xk+1 ) = O(1) ïðè k → ∞,

2) ln f (xk ) = (1 + o(1)) ln f (xk+1 ) ïðè k → ∞ i ln Φ ∈ L0 ,
3) ln f (xk ) ≤ a ln f (xk+1 ) (0 < a < 1) i ln Φ ∈ Lïç ,
4) xk+1 − xk ≤ H < +∞ äëÿ âñiõ k ≥ 0,
5) xk+1 = (1 + o(1))xk ïðè k → ∞ i Φ ∈ L0 ,
6) xk+1 ≤ bxk ) (b > 1) ïðè k → ∞ i ln Φ ∈ Lïç .

Òîäi
ln ln µ(σ, I) ln G1 (xk , xk+1 , Φ)
lim ≤ lim .
σ→+∞ ln Φ(σ) k→∞ ln G2 (x k , xk+1 , Φ)
Ïîäiáíà òåîðåìà ¹ ïðàâèëüíîþ, êîëè σµ = 0.
Ó ïiäðîçäiëi 3.2 äîâåäåíî àíàëîãè òåîðåìè Óiòòåêåðà.
Íàéâæèâàíiøèìè õàðàêòåðèñòèêàìè çðîñòàííÿ iíòåãðàëiâ ç êëàñó
I ∈ LS∞ (F ) ¹ R-ïîðÿäîê %R [I], íèæíié R-ïîðÿäîê λR [I] i
(ÿêùî %R [I] ∈ (0, +∞)) R-òèï TR [I], íèæíié R-òèï tR [I], îçíà÷åíî ôîð-
ìóëàìè
ln ln I(σ) ln ln I(σ)
%R [I] = lim , λR [I] = lim ,
σ→+∞ σ σ→+∞ σ
ln I(σ) ln I(σ)
TR [I] = lim , tR [I] = lim .
σ→+∞ exp{σ%R [I]} σ→+∞ exp{σ%R [I]}

12
Òåîðåìà 3.3. Íåõàé F ∈ V , σµ = +∞ i X = (xk ) - çðîñòàþ÷à äî +∞ ïîñëi-
äîâíiñòü äîäàòíèõ ÷èñåë. Ïðèïóñòèìî, ùî äîäàòíà íåçðîñòàþ÷à ôóíêöiÿ f
ì๠ðåãóëÿðíó çìiíó âiäíîñíî F.
ßêùî ln F (x)) = O(x) ïðè x → +∞ i ln f (xk ) = (1 + o(1)) ln f (xk+1 ) ïðè
k → ∞, òî
ln xk
λR [I] ≤ β%R [I], β = lim .
k→∞ ln xk+1

ßêùî ln F (x)) = o(x) ïðè x → +∞ i ln f (xk )−ln f (xk+1 ) = O(1) ïðè k → ∞,

òî  
γ γ ln γ 1 xk
tR [I] ≤ TR [I] exp 1 + ln , γ = lim .
1−γ 1−γ γ k→∞ xk+1
Ïîäiáíà òåîðåìà ¹ ïðàâèëüíîþ, êîëè σµ = 0
 îñòàííüîìó ïiäðîçäiëi ïîêàçàíî, ÿê òåðäæåííÿ 0.1 i 0.2 ïðî àáñöèñó çái-
æíîñòi iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà ìîæíà äîâåñòè, çâiâøè iíòåãðàë äî ðÿäó
Äiðiõëå.
ÂÈÑÍÎÂÊÈ

Z∞
Äëÿ iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà I(σ) = f (x)exσ dF (x) (σ ∈ R) ç
0
äîâiëüíîþ àáñöèñîþ çáiæíîñòi A ∈ (−∞, +∞], äå f - íåâiä'¹ìíà íà [0, +∞)
ôóíêöiÿ, à ôóíêöiÿ F íåâiä'¹ìíà íåñïàäíà íåîáìåæåíà i íåïåðåðâíà ñïðà-
âà íà [0, +∞), çíàéäåìî îöiíêè çíèçó i çâåðõó â çàëåæíîñòi âiä àñèìïòîòè-
÷íîãî ïîâîäæåííÿ ôóíêöié f i F . Îòðèìàíi îöiíêè çàñòîñîâàíî äî âñòàíîâ-
ëåííÿ çâ'ÿçêó ìiæ çðîñòàííÿì iíòåãðàëó I(σ) i ìàêñèìóìó ïiäiíòåãðàëüíîãî
âèðàçó µ(σ, I) = sup{f (x)exσ : x ≥ 0}. Çîêðåìà, äëÿ ïåâíî¨ äîäàòíî¨ îïó-
êëî¨ çðîñòàþ÷î¨ äî +∞ íà (−∞, A) ôóíêöi¨ Φ âêàçàíî óìîâó íà F , çà ÿêî¨
ïðè σ ↑ A ¹ åêâiâàëåòíèìè àñèìïòîòè÷íi ðiâíîñòi ln I(σ) = (1 + o(1))Φ(σ) i
ln µ(σ, I) = (1 + o(1))Φ(σ).
Âñòàíîâëåíî óìîâè íà ôóíêöiþ P , çà ÿêèõ äëÿ ñïðÿæåíî¨ çà Þíãîì
ôóíêöi¨ Q(σ) = sup{P (x) + xσ : x ≥ 0} ïðàâèëüíi äâî÷ëåííi àñèì-
ïòîòè÷íi íåðiâíiñòü Q(σ) ≤ Φ1 (σ) + (1 + o(1))τ Φ2 (σ), σ ↑ A, i ðiâíiñòü
Q(σ) = Φ1 (σ) + (1 + o(1))τ Φ2 (σ), σ ↑ A, äëÿ âèïàäêiâ A = +∞ i A = 0,
äå τ ∈ R \ {0}, Φ1 ¹ îïóêëîþ çðîñòàþ÷îþ äî +∞ íà (−∞, A) ôóíêöi¹þ, à
ôóíêöiÿ Φ2 ïåâíèì ÷èíîì ïiäïîðÿäêîâàíà ôóíêöi¨ Φ1 . Âèêîðèñòîâóþ÷è öi ðå-
çóëüòàòè òà îöiíêè iíòåãðàëó I(σ), çíàéäåíî óìîâè íà ôóíêöiþ f , çà ÿêèõ òàêi
æ äâî÷ëåííi àñèìïòîòè÷íi íåðiâíiñòü òà ðiâíiñòü ¹ ïðàâèëüíèìè äëÿ ëîãàðè-
ôìiâ ìàêñèìóìó ïiäiíòåãðàëüíîãî âèðàçó µ(σ, I) òà iíòåãðàëó I(σ). Îòðèìàíi
ðåçóëüòàòè ìàþòü â îñíîâíîìó êðèòåðiàëüíèé õàðàêòåð.

13
 Äëÿ ìàêñèìóìó ïiäiíòåãðàëüíîãî âèðàçó µ(σ, I) iíòåãðàëó Ëàïëàñà-
Ñòiëòü¹ñà I(σ) i äîäàòíî¨ îïóêëî¨ çðîñòàþ÷î¨ äî +∞ íà (−∞, A) ôóí-
êöi¨ Φ çà óìîâì ln µ(σ, I) ≤ Φ(σ) îòðèìàíî îöiíêè çâåðõó äëÿ âåëè÷èí
lim(ln µ(σ, I))/Φ(σ) i lim(ln ln µ(σ, I))/ ln Φ(σ). Çàñòîñîâóþ÷è öi îöiíêè, äëÿ
σ↑A σ↑A
iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà îòðèìàíî àíàëîãè òåîðåìè Óiòòåêåðà ïðî ïîðÿ-
äîê i íèæíié ïîðÿäîê öiëî¨ ôóíêöi¨, çîáðàæåíî¨ ëàêóíàðíèì ñòåïåíåâèì ðÿ-
äîì. Íàïðèêëàä, äîâåäåíî, ùî ÿêùî iíòåãðàë Ëàïëàñà-Ñòiëòü¹ñà çáiæíèé äëÿ
âñiõ σ , ôóíêöiÿ f ì๠ðåãóëÿðíó çìiíó âiäíîñíî F , à X = (xk ) - çðîñòà-
þ÷à äî +∞ ïîñëiäîâíiñòü äîäàòíèõ ÷èñåë, òî çà óìîâ ln F (x) = O(x) ïðè
x → +∞ i ln f (xk ) = (1 + o(1)) ln f (xk+1 ) ïðè k → ∞ ïðàâèëüíà íåðiâíiñòü
Óiòòåêåðà λR [I] ≤ %R [I] lim (ln xk )/(ln xk+1 ), äå %R [I] = lim (ln ln I(σ))/σ i
k→∞ σ→+∞
λR [I] = lim (ln ln I(σ))/σ .
σ→+∞
Ïîêàçàíî, ÿê ìîæíà îòðèìàòè ôîðìóëó äëÿ çíàõîäæåííÿ àáñöèñè çáiæíîñòi
iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà çâåäåííÿì éîãî äî ðÿäó Äiðiõëå.
Îòðèìàíi â äèñåðòàöi¨ ðåçóëüòàòè ìîæóòü çíàéòè ñâî¨ çàñòîñóâàííÿ â ìàòå-
ìàòè÷íîìó i êîìïëåêñíîìó àíàëiçàõ, â òåîði¨ iíòåãðàëüíèõ ðiâíÿíü òà iíøèõ
ñóìiæíèõ îáëàñòÿõ ìàòåìàòèêè. Íà íèõ ñëiä çâåðíóòè óâàãó ìàòåìàòèêiâ ç
Êè¨âñüêîãî, Õàðêiâñüêîãî, ×åðíiâåöüêîãî, Ïðèêàðïàòñüêîãî i Ëüâiâñüêîãî íà-
öiîíàëüíèõ óíiâåðñèòåòiâ, Äðîãîáèöüêîãî ïåäàãîãi÷íîãî óíiâåðñèòåòó òà iíøèõ
âóçiâ Óêðà¨íè.
Îñíîâíi ðåçóëüòàòè äèñåðòàöi¨ ¹ íîâèìè i íîñÿòü çàâåðøåíèé õàðàêòåð.
Äîñòîâiðíiñòü ðåçóëüòàòiâ äèñåðòàöi¨ ïiäòâåðäæó¹òüñÿ ÷iòêèìè òà äåòàëüíi-
øèìè äîâåäåííÿìè, à òàêîæ òèì, ùî âîíè îïóáëiêîâàíi ó ôàõîâèõ æóðíàëàõ i
áóëè îïðèëþäíåíi íà áàãàòüîõ ìiæíàðîäíèõ òà âñåóêðà¨íñüêèõ íàóêîâèõ êîí-
ôåðåíöiÿõ i ñïåöiàëiçîâàíèõ íàóêîâèõ ñåìiíàðàõ.

ÑÏÈÑÎÊ ÎÏÓÁËIÊÎÂÀÍÈÕ ÏÐÀÖÜ ÇÀ ÒÅÌÎÞ

ÄÈÑÅÐÒÀÖIˆ

1) Äîáóøîâñüêèé Ì.Ñ., Øåðåìåòà M.Ì. Îöiíêè iíòåãðàëiâ

Ëàïëàñà-Ñòiëòü¹ñà. - Óêð. ìàò. æóðí. - 2016. - Ò. 68, N 11. - C. 1467-1482.
2) Äîáóøîâñüêèé Ì.Ñ. Çàóâàæåííÿ äî çáiæíîñòi iíòåãðàëiâ Ëàïëàñà-
Ñòiëòü¹ñà. - Âiñíèê. Ëüâiâ. óí-òó. Ñåðiÿ ìåõ-ìàò. - 2016. - Âèïóñê. 81. -
Ñ. 117-120.
3) Dobushovskyy M.S., Sheremeta M.M. Analogues of Whittaker's theorem for
Laplace-Stieltjes integrals. - Carpatian Math. Publ. - 2016. - V. 8, N 2.- P.
1-12

14
 4) Dobushovskyy M.S.,Sheremeta M.M. On the two-member asymptotic of
Young comjugated functions. - Mat. Stud. - 2016. - 46. - P. 178-188.
5) Dobushovskyy M.S.,Sheremeta M.M. Two-member asymptotic of Laplace-
Stieltjes integrals. - Mat. Stud. - 2017. - 48. - p. 3-9.
6) Äîáóøîâñüêèé Ì.Ñ., Øåðåìåòà M.Ì. Îöiíêè iíòåãðàëiâ
Ëàïëàñà-Ñòiëòü¹ñà.  òåçàõ íàóêîâî¨ êîíôåðåíöi¨: "Tarapov Readings".
(Õàðêiâ, Áåðåçåíü 1  15, 2016).
7) Dobushovskyy M.S.,Sheremeta M.M. A remark to convergence of Laplace-
Stieltjes integrals.  òåçàõ íàóêîâî¨ êîíôåðåíöi¨: "Complex Analysis and
related topics". (Ëüâiâ, Òðàâåíü 30 - ×åðâåíü 4, 2016).
8) Äîáóøîâñüêèé Ì.Ñ., Øåðåìåòà M.Ì. Îöiíêè iíòåãðàëiâ
Ëàïëàñà-Ñòiëòü¹ñà.  òåçàõ íàóêîâî¨ êîíôåðåíöi¨: "Ñó÷àñíi ïðîáëå-
ìè òåîði¨ éìîâiðíîñòåé òà ìàòåìàòè÷íîãî àíàëiçó". (ñìò. Âîðîõòà,
Iâàíî-Ôðàíêiâñüêà îáë, Ëþòèé 22 - 25, 2017).
9) Dobushovskyy M.S.,Sheremeta M.M. Two-member asymptotic of Laplace-
Stieltjes integrals.  òåçàõ íàóêîâî¨ êîíôåðåíöi¨: "International Conference
of young Mathematicians". (Êè¨â, ×åðâåíü 7 - 10, 2017).
10) Äîáóøîâñüêèé Ì.Ñ., Øåðåìåòà M.Ì. Àñèìïòîòèêà iíòåãðàëiâ Ëàïëàñà-
Ñòiëòü¹ñà.  òåçàõ ÕII-òà ëiòíüî¨ øêîëè "Àëãåáðà, òîïîëîãiÿ, àíàëiç". (ñ.
Êîëî÷àâà, Çàêàðïàòñüêà îáë., Ëèïåíü 10 - 23, 2017).
11) Dobushovskyy M.S.,Sheremeta M.M. Analogues of Whittaker's theorem for
Laplace-Stieltjes integrals.  òåçàõ íàóêîâî¨ êîíôåðåíöi¨: "International
Conference dedicated to 125-th anniversary of Stefan Banach". (Ëüâiâ, Âåðå-
ñåíü 18 - 23, 2017).
12) Dobushovskyy M.S.,Sheremeta M.M. Analogues of Whittaker's theorem for
Laplace-Stieltjes integrals.  òåçàõ íàóêîâî¨ êîíôåðåíöi¨: "International
Conference on Complex analysis, Potential theory and Applications". (Dublin,
June 11 - 15, 2018).

ÀÍÎÒÀÖIß

Äîáóøîâñüêèé Ì. Ñ. Àñèìïòîòè÷íi âëàñòèâîñòi iíòåãðàëà Ëàïëàñà-

Ñòiëüòü¹ñà  Íà ïðàâàõ ðóêîïèñó.
Äèñåðòàöiÿ íà çäîáóòòÿ íàóêîâîãî ñòóïåíÿ êàíäèäàòà ôiçèêî-ìàòåìàòè÷íèõ
íàóê (äîêòîðà ôiëîñîôi¨) çà ñïåöiàëüíiñòþ 01.01.01  ìàòåìàòè÷íèé àíàëiç. 
Ëüâiâñüêèé íàöiîíàëüíèé óíiâåðñèòåò iìåíi Iâàíà Ôðàíêà, Ëüâiâ, 2018.

15
  ðîáîòi äëÿ iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà ç äîâiëüíîþ àáñöèñîþ çáiæíîñòi
îòðèìàíî íîâi îöiíêè çâåðõó òà çíèçó i îäåðæàíi îöiíêè çàñòîñîâàíî äî âñòà-
íîâëåííÿ çâ'ÿçêó ìiæ çðîñòàííÿì ëîãàðèôìiâ iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà òà
ìàêñèìóìó éîãî ïiäiíòåãðàëüíîãî âèðàçó.
Ó òåðìiíàõ çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè âñòàíîâëåíèé çâ'ÿçîê ìiæ
ïîâîäæåííÿì ñïðÿæåíèõ çà Þíãîì ôóíêöié i îòðèìàíi ðåçóëüòàòè çàñòîñî-
âàíî äëÿ äîñëiäæåííÿ çàãàëüíî¨ äâî÷ëåííî¨ àñèìïòîòèêè iíòåãðàëiâ Ëàïëàñà-
Ñòiëòü¹ñà.
Äëÿ iíòåãðàëiâ Ëàïëàñà-Ñòiëòü¹ñà îòðèìàíî àíàëîãè òåîðåìè Óiòòåêåðà ïðî
ïîðÿäîê i íèæíié ïîðÿäîê öiëî¨ ôóíêöi¨, çîáðàæåíî¨ ëàêóíàðíèì ñòåïåíåâèì
ðÿäîì.
Ïîêàçàíî, ÿê ìîæíà îòðèìàòè ôîðìóëó äëÿ çíàõîäæåííÿ àáñöèñè çáiæíîñòi
iíòåãðàëó Ëàïëàñà-Ñòiëòü¹ñà çâåäåííÿì éîãî äî ðÿäó Äiðiõëå.
Êëþ÷îâi ñëîâà: iíòåãðàë Ëàïëàñà-Ñòiëòü¹ñà, àáñöèñà çáiæíîñòi, ìàêñè-
ìóì ïiäiíòåãðàëüíîãî ôóíêöi¨, äâî÷ëåííà àñèìïòîòèêà, íåðiâíiñòü Óiòòåêåðà,
ðÿä Äiðiõëå.

ABSTRACT

Dobushovskyy. M. S. Asymptotical properties of the Laplace-Stieltjes

integral.  On the rights of manuscript.
PhD Thesis for a degree in physics and mathematics, speciality 01.01.01
¾Mathematical Analysis¿.  Ivan Franko National University of Lviv, Lviv, 2018.
In this PhD thesis Laplace-Stieltjes integrals with an arbitrary abscissa of the
convergence,new the lower and upper estimates are obtained. The accumulated
results are used to deduce the relationships between the growth of the integral and
the maximum of the integrand.
In the terms of two-member asymptotic it is shown a connection between the
behavior of Young conjugated functions and used the results for studying two-
member asymptotic of Laplace-Stieltjes integral.
For the Laplace-Stieltjes integrals analogues of the Whittaker theorem of order
and the lower order of an entire function presented by lacunar series are obtained
.
We obtain formulas to nd the abscissa of the convergence of the Laplace-
Stieltjes integral.

Key words: Laplace-Stieltjes integral, abscissa of convergence, maximum of

integrand, two-member asymptotic, Whittaker's inequality, Dirichlet series.
ÀÍÍÎÒÀÖÈß

16
 Äîáóøîâñêèé Ì. Àñèìïòîòè÷åñêèå ñâîéñòâà èíòåãðàëà Ëàïëàñà-
Ñ.
Ñòèëüòüåñà  Íà ïðàâàõ ðóêîïèñè.
Äèññåðòàöèÿ íà ñîèñêàíèå ó÷åíîé ñòåïåíè êàíäèäàòà ôèçèêî-
ìàòåìàòè÷åñêèõ íàóê ïî ñïåöèàëüíîñòè 01.01.01  ìàòåìàòè÷åñêèé àíàëèç. 
Ëüâîâñêèé íàöèîíàëüíûé óíèâåðñèòåò èìåíè Èâàíà Ôðàíêî, Ëüâîâ, 2018.
Äèññåðòàöèÿ ïîñâÿùåíà èññëåäîâàíèþ àñèìïòîòè÷åñêèõ ñâîéñòâ èíòåãðàëà
Ëàïëàñà-Ñòèëüòüåñà.
 ïåðâîì ðàçäåëå äëÿ èíòåãðàëîâ Ëàïëàñà-Ñòèëòüåñà ñ ïðîèçâîëüíîé àá-
ñöèññîé ñõîäèìîñòè íàéäåíû íîâûå îöåíêè ñâåðõó è ñíèçó, êîòîðûå ïðèìåíåíû
ê óñòàíîâëåíèþ ñâÿçè ìåæäó ðîñòîì èíòåãðàëà è ìàêñèìóìîì ïîäèíòåãðàëü-
íîãî âûðàæåíèÿ.
Âî âòîðîì ðàçäåëå â âûðàæåíèÿõ îáùåé äâóõ÷ëåííîé àñèìïòîòèêè óñòàíîâ-
ëåíà ñâÿçü ìåæäó ïîâåäåíèåì ñîïðÿæåííûõ çà Þíãîì ôóíêöèé è ïîëó÷åííûå
ðåçóëüòàòû ïðèìåíåíû ê èññëåäîâàíèþ îáîáùåííîé äâóõ÷ëåííîé àñèìïòîòèêè
èíòåãðàëîâ Ëàïëàñà-Ñòèëòüåñà.
 òðåòüåì ðàçäåëå äëÿ èíòåãðàëîâ Ëàïëàñà-Ñòèëòüåñà ïîëó÷åíû àíàëîãè
òåîðåìû Óèòòåêåðà î ïîðÿäêå è íèæíåì ïîðÿäêå öåëîé ôóíêöèè, ïðåäñòàâëåí-
íîé ëàêóíàðíûì ðÿäîì. Ïîêàçàíî êàê ìîæíî ïîëó÷èòü ôîðìóëû äëÿ îïðåäå-
ëåíèÿ àáñöèññû ñõîäèìîñòè èíòåãðàëà Ëàïëàñà-Ñòèëòüåñà ïðåîáðîçàâàâ åãî ê
ðÿäàì Äèðèõëå.
Êëþ÷åâûå ñëîâà: èíòåãðàë Ëàïëàñà-Ñòèëòüåñà, àáñöèññà ñõîäèìîñòè, ìà-
êñèìóì ïîäèíòåãðàëüíîé ôóíêöèè, äâóõ÷ëåííàÿ àñèìïòîòèêà, íåðàâåíñòâî
Óèòòåêåðà, ðÿä Äèðèõëå.

Ïiäïèñàíî äî äðóêó ??.??.2018 ð. Ôîðìàò 60 × 90/16.

Ïàïið îôñåòíèé. Óìîâí. äðóê. àðê. 1,25. Òèðàæ 100. Çàì. 

Ëüâiâñüêèé íàöiîíàëüíèé óíiâåðñèòåò iìåíi Iâàíà Ôðàíêà,

âóë. Óíiâåðñèòåòñüêà, 1, ì. Ëüâiâ, 79000. Ñâiäîöòâî ïðî âíåñåííÿ ñóá'¹êòà âèäàâíè÷î¨ ñïðàâè

äî Äåðæàâíîãî ðå¹ñòðó âèäàâöiâ, âèãîòiâíèêiâ i ðîçïîâñþäæóâà÷iâ âèäàâíè÷î¨ ïðîäóêöi¨.

Ñåðiÿ ÄÊ 3059 âiä 13.12.2007 ð.

17