У математиці ознаки Діні та Діні–Ліпшіца є високоточними, вони використовуються для доведення збіжності ряду Фур’є в заданій точці. Ознаки названі на честь Уліса Діні та Рудольфа Ліпшіца.
Означення
Нехай — функція, що задана на відрізку , — деяка точка та — додатне число. Визначимо локальний модуль неперервності в точці як
Зауважимо, що розглядається як періодична функція; наприклад, якщо i , тоді вважаємо, що .
Глобальний модуль неперервності (або просто [en]) визначається як
За допомогою цих визначень можемо сформулювати основний результат:
- Теорема (ознака Діні): Нехай у точці функція задовольняє умову
- Тоді ряд Фур’є функції у точці збігається до функції
Наприклад, теорема справедлива при , але несправедлива при .
- Теорема (ознака Діні–Ліпшіца): Нехай функція задовольняє умову
- Тоді ряд Фур’є функції рівномірно збігається до .
Зокрема, будь-яка функція з класу Гельдера задовольняє ознаку Діні–Ліпшіца.
Точність
Обидві ознаки є найкращими у своєму роді. Для ознаки Діні–Ліпшіца можна побудувати функцію з модулем неперервності, що задовольняє ознаку з точністю асимптотичної оцінки замість , тобто
i ряд Фур’є функції розходиться. Для ознаки Діні, твердження щодо точності є трошки довшим: для будь-якої функції такої, що
існує така функція , що
i ряд Фур’є функції розходиться у точці .
Модифікована ознака Діні
Справедлива також модифікація ознаки Діні на випадок, коли функція має розрив у точці , але тим не менш, її звуження на проміжках та можуть бути продовженими до функції, що задовольняють ознаку Діні.
Нехай , — деякі числа. Покладемо для
Якщо числа , та функція такі, що
то ряд Фур’є функції у точці збігається до .
Приклад застосування ознаки Діні: сума обернених квадратів
Розглянемо періодичне продовження функції з проміжку :
де фігурні дужки позначають дробову частину числа. Нескладно знайти розклад цієї функції в ряд Фур’є:
Підставляючи та , i користуючись для обґрунтування точкової збіжності відповідно звичайною та модифікованою ознакою Діні, отримаємо наступні рівності:
та
Див. також
Примітки
Джерела
- Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2024. — 2200+ с.(укр.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U matematici oznaki Dini ta Dini Lipshica ye visokotochnimi voni vikoristovuyutsya dlya dovedennya zbizhnosti ryadu Fur ye v zadanij tochci Oznaki nazvani na chest Ulisa Dini ta Rudolfa Lipshica OznachennyaNehaj f displaystyle f funkciya sho zadana na vidrizku 0 2 p displaystyle 0 2 pi t displaystyle t deyaka tochka ta d displaystyle delta dodatne chislo Viznachimo lokalnij modul neperervnosti v tochci t displaystyle t yak w f d t max e d f t f t e displaystyle left right omega f delta t max varepsilon leq delta f t f t varepsilon Zauvazhimo sho f displaystyle f rozglyadayetsya yak periodichna funkciya napriklad yaksho t 0 displaystyle t 0 i e lt 0 displaystyle varepsilon lt 0 todi vvazhayemo sho f e f 2 p e displaystyle f varepsilon f 2 pi varepsilon Globalnij modul neperervnosti abo prosto en viznachayetsya yak w f d max t w f d t displaystyle omega f delta max t omega f delta t Za dopomogoyu cih viznachen mozhemo sformulyuvati osnovnij rezultat Teorema oznaka Dini Nehaj u tochci t displaystyle t funkciya f displaystyle f zadovolnyaye umovu 0 p 1 d w f d t d d lt displaystyle int 0 pi frac 1 delta omega f delta t mathrm d delta lt infty dd Todi ryad Fur ye funkciyi f displaystyle f u tochci t displaystyle t zbigayetsya do funkciyi f t displaystyle f t Napriklad teorema spravedliva pri w f log 2 1 d displaystyle omega f log 2 left frac 1 delta right ale nespravedliva pri w f log 1 1 d displaystyle omega f log 1 left frac 1 delta right Teorema oznaka Dini Lipshica Nehaj funkciya f displaystyle f zadovolnyaye umovuw f d o log 1 d 1 displaystyle omega f delta o left log frac 1 delta right 1 dd Todi ryad Fur ye funkciyi f displaystyle f rivnomirno zbigayetsya do f displaystyle f Zokrema bud yaka funkciya z klasu Geldera zadovolnyaye oznaku Dini Lipshica TochnistObidvi oznaki ye najkrashimi u svoyemu rodi Dlya oznaki Dini Lipshica mozhna pobuduvati funkciyu z modulem neperervnosti sho zadovolnyaye oznaku z tochnistyu asimptotichnoyi ocinki O displaystyle O zamist o displaystyle o tobto w f d O log 1 d 1 displaystyle omega f delta O left log frac 1 delta right 1 i ryad Fur ye funkciyi f displaystyle f rozhoditsya Dlya oznaki Dini tverdzhennya shodo tochnosti ye troshki dovshim dlya bud yakoyi funkciyi d displaystyle delta takoyi sho 0 p 1 d W d d d displaystyle int 0 pi frac 1 delta Omega delta mathrm d delta infty isnuye taka funkciya f displaystyle f sho w f d 0 lt W d displaystyle omega f delta 0 lt Omega delta i ryad Fur ye funkciyi f displaystyle f rozhoditsya u tochci 0 displaystyle 0 Modifikovana oznaka DiniSpravedliva takozh modifikaciya oznaki Dini na vipadok koli funkciya f displaystyle f maye rozriv u tochci t displaystyle t ale tim ne mensh yiyi zvuzhennya na promizhkah t e t displaystyle t varepsilon t ta t t e displaystyle t t varepsilon mozhut buti prodovzhenimi do funkciyi sho zadovolnyayut oznaku Dini Nehaj f displaystyle f f displaystyle f deyaki chisla Poklademo dlya d gt 0 displaystyle delta gt 0 w f f t d sup s t t d f s f displaystyle omega f f t delta sup limits s in t t delta f s f w f f t d sup s t d t f s f displaystyle omega f f t delta sup limits s in t delta t f s f Yaksho chisla f displaystyle f f displaystyle f ta funkciya f displaystyle f taki sho 0 w f f t d d d d lt 0 w f f t d d d d lt displaystyle begin aligned amp int limits 0 limits frac omega f f t delta d delta delta lt infty amp int limits 0 limits frac omega f f t delta d delta delta lt infty end aligned to ryad Fur ye funkciyi f displaystyle f u tochci t displaystyle t zbigayetsya do f f 2 displaystyle frac f f 2 Priklad zastosuvannya oznaki Dini suma obernenih kvadrativRozglyanemo periodichne prodovzhennya funkciyi x 2 displaystyle x 2 z promizhku p p displaystyle pi pi f x p x p 2 displaystyle f x left pi left frac x pi right right 2 de figurni duzhki poznachayut drobovu chastinu chisla Neskladno znajti rozklad ciyeyi funkciyi v ryad Fur ye f x p 2 3 4 n 1 1 n n 2 cos n x displaystyle f x sim frac pi 2 3 4 sum limits n 1 infty frac 1 n n 2 cos nx Pidstavlyayuchi x 0 displaystyle x 0 ta x p displaystyle x pi i koristuyuchis dlya obgruntuvannya tochkovoyi zbizhnosti vidpovidno zvichajnoyu ta modifikovanoyu oznakoyu Dini otrimayemo nastupni rivnosti n 1 1 n 1 n 2 p 2 12 displaystyle sum limits n 1 infty frac 1 n 1 n 2 frac pi 2 12 ta n 1 1 n 2 p 2 6 displaystyle sum limits n 1 infty frac 1 n 2 frac pi 2 6 Div takozhZbizhnist ryadu Fur ye en Kriterij Dini Oznaka porivnyannya Kriterij Koshi Radikalna oznaka Koshi Integralna oznaka zbizhnosti Oznaka D Alambera Teleskopichna oznaka Znakoperemizhnij ryad Oznaka VeyershtrasaPrimitkiDzherelaGrigorij Mihajlovich Fihtengolc Kurs diferencialnogo ta integralnogo chislennya 2024 2200 s ukr