CC BY
52
КРАТКИЕ СООБЩЕНИЯ
MSC 41A05
ПОВЕДЕНИЕ КОЭФФИЦИЕНТОВ УЗЛОВЫХ ФУНКЦИЙ, ПОСТРОЕННЫХ ИЗ РАВНОМЕРНЫХ СДВИГОВ ФУНКЦИЙ ГАУССА И ЛОРЕНЦА Л.А. Минин, С.М. Ситник, С.Н. Ушаков
Воронежский государственный университет,
Университетская пл., 1, Воронеж, 394000, Россия, e-mail: mininla@mail.ru;
Воронежский институт МВД России, пр. Патриотов 53, Воронеж, 394065, Россия, e-mail: mathsms@yandex.ru
Аннотация. В статье рассматриваются аппроксимации функций при помощи целочисленных сдвигов функций Гаусса и функций Лоренца. Исследованы свойства монотонности коэффициентов разложений по указанным системам, приведены результаты численных расчётов коэффициентов разложений.
Ключевые слова: функции Лоренца, функции Гаусса, интерполяция.
Рассмотрим задачу о приближении достаточно произвольной функции f (t) в виде ряда g(t) по системе целочисленных сдвигов функции Гаусса (квадратичной экспоненты с параметрами) или функции Лоренца. Рассматриваемые разложения имеют вид
к=<ж
g(t) = fk •F(t - k) ,
к=—<ж
где F(t) — некоторая функция, по целочисленным сдвигам которой производится разложение. Построенная функция должна совпадать с исходной во всех целых точках
g(m) = f (m), m € Z.
Известны три подхода к решению поставленной задачи. При первом подходе решение ищется с помощью специальных функций, а именно тета-функций Якоби [2]. Как показано в [1,3—4], несмотря на теоретическую ценность этого подхода, он не имеет вычислительных перспектив, так как связан с делением на чрезвычайно малые знаменатели. Другой подход разрабатывался в [1,4], он основан на применении дискретного преобразования Фурье (ДПФ). Третий приближённый метод предложен в [5-7] и основан на сведении задачи к решению конечных систем линейных уравнений.
При всей важности численных методов, для данного класса разложений имеется достаточное число аналитических задач, решения которых до сих пор не получены. Например, в работе [9] вычислены константы Рисса для систем функций Гаусса и Лоренца. В данной заметке исследуются свойства монотонности коэффициентов разложения.
Рассматриваются системы целочисленных сдвигов функции Гаусса F(t) = Ga (t) и функции Лоренца F(T) = Ls(t),
( t2 \ S2
Ga(t) = exp j , Ls(t) = -^—2 ,
с параметрами a > 0 и s > 0.
Задачу интерполяции для таких систем удобно решать с помощью узловой функции. Функция <p(t) называется узловой, если для нее выполнена система равенств
<p(m) = б0т , m € Z ,
где б0т — символ Кронекера. Узловую функцию построенную из сдвигов функции Гаусса обозначим через Ga (t), а из сдвигов функции Лоренца — через Ls(x):
ГО ОС
Ga(t) = ^^ dO,kGa(t — k) , Ls(t) = dL,kLs(t — k) ■
k=—ro k=—ro
Для коэффициентов dc,k известна формула [2],
л / л ^ ( к2 A / ivr ( (?' + 0.5)2^
dcAa)=од ■ ечч^)' 3s, ' I—j ’
где константа C (а) есть сумма ряда
г'!/ \ /л i\ ( (2r + 0.5)
С (о) = (4г + !) ' ехР (--------------^2-
Г = — ГО \
Формула для dc,k получается из разложения в ряд Фурье функции
ад'« = еч>Ы0'
где $3 (t; q) — третья тета-функция Якоби [8].
Заметим, что формула для ряда Фурье этой функции была известна ещё в 1903 году [8]. Правда, там в знаменателе стоит $4. Однако, эти функции легко получить друг из друга с помощью соотношения
$3(z,q) = $4(z, -q) ■
Численные результаты статьи [4] позволяют предположить, что коэффициенты dc,k зна-кочередуются и монотонно убывают по абсолютной величине с ростом номера |k|.
Теорема 1. Справедлива формула sign(dG,k(a)) = (-1)k.
Кратко опишем схему доказательства теоремы. Вначале показывается, что C(а) > 0. Это следует из цепочки равенств
1 / 1 \ го 3
С (о) = -i?i(0,g) =exp(-^J • П {l-exp(-^)}
' n=1
Следовательно, знак коэффициента совпадает со знаком выражения
(_1)|к| ^ (_1)г-|к| • ехр
г=|к|
(г + 0.5)2
2а2
В отличие от знакочередования, монотонное убывание |^о,к(а)| доказать для всех значений а и к не удалось (хотя сам факт, по-видимому, справедлив).
Теорема 2. Начиная с номера
к = тах | 1с^д \/і — д — 1 ,01
Я
коэффициенты йс к(&) монотонно убывают по абсолютной величине. Ключевой при доказательстве является формула
Ло,.
ОГ^Хи = д2к+1
д
(кцу
Ло,к+1 д-(к+1)2 Хк+і
Хк+1
1
где используется следующее обозначение
Хк =
^(_1)Г • д(г+0-5У
г=к
Коэффициенты Ль к для а = 0.5, а = 1.0 и а = 1.5
Коэффициенты Ль к для а = 2.0 и а = 3.0.
С7 0.5 1.0 1.5
Ль, 0 1.08273 1.73697 3.89172
Л-Ь,1 -0.20019 -0.78304 -2.49120
Ль,2 -0.01541 0.13838 0.93889
Ль, з -0.00966 -0.004310 -0.34861
Ль,4 -0.00531 0.00094 0.11382
Ль, 5 -0.00341 -0.00530 -0.04562
Ль,6 -0.00237 -0.00242 0.01205
Ль,7 -0.00174 -0.00207 -0.00714
оо 4" ■43 -0.00133 -0.00154 0.00028
Ль, 9 -0.00105 -0.00123 -0.00185
Ль,ю -0.00085 -0.00100 -0.00077
Ль,її -0.00070 -0.00082 -0.00090
Ль,12 -0.00059 -0.00069 -0.00067
Л'к СГ = 2.0 Л'к а = 3.0
Л'12 0.00103 Л26 1.20 • ю-5
Ліз -0.00137 Л27 3.00- ю-5
Л'14 -0.00015 Л28 -3.37 • ю-5
Л.1ъ -0.00061 Л29 -1.75 • ю-5
Ліч -0.00032 Лео -7.84 • 10“5
Ліг -0.00038 Леї -1.24 • 10-5
Л'18 -0.00029 Л'32 -8.65 • 10-5
Следствие. Для монотонного убывания 1йс к | с нулевого номера достаточно выполнения
л/б— 1
неравенства: д < —, что соответствует
\
а <
1п (
1.01933.
Обратимся к функции Лоренца. Для йь,к справедлива формула [9]
, П
7 / ч (_1)к яЬ(8п) [ cos(kt)
(1ьМ = -— п I
вп2
А(ві)
1
В таблицах приведены значения этих коэффициентов, вычисленные при различных значениях параметров. Поведение d^,k отличается от поведения d<G,k. Согласно таблице 1, знакоче-редование с какого-то момента прекращается. Таблица 2 показывает, что нет и монотонного убывания по абсолютному значению коэффициентов.
Следующая теорема показывает, что при малых значениях параметра s знакочередуемости нет вообще.
Теорема 3. Все коэффициенты db,k отрицательны, за исключением db,о, при выполнении неравенства
s< 1п(3 + 2л/2)/7г и 0.5611.
Литература
1. Zhuravlev M.V., Kiselev E.A., Minin L.A., Sitnik S.M. Jacobi theta-functions and systems of integral shifts of Gaussian functions // Journal of Mathematical Science, Springer. - 2011. -2(173). - P.131-140.
2. Maz’ya V., Schmidt G. Approximate approximations / Amer. Math. Soc. Mathematical Surveys and Monographs, 2007.
3. Минин Л.А., Ситник С.М. Неравенства для третьей тета-функции Якоби // Аналитические методы анализа и дифференциальных уравнений (АМАДЕ). Тезисы докладов международной конференции / Минск, 2009. - С.111.
4. Журавлев М.В., Минин Л.А., Ситник С.М. О вычислительных особенностях интерполяции с помощью целочисленных сдвигов гауссовых функций // Научные ведомости БелГУ. Математика, Физика. - 2009. - 13(68); 17/2. - P.89-99.
5. Ситник С.М., Тимашов А.С. Приложения экспоненциальной аппроксимации по целочисленным сдвигам функций Гаусса // Вестник Воронежского государственного университета инженерных технологий. - 2013. - 2 (56). - С.90-94.
6. Ситник С.М., Тимашов А.С. Расчёт конечномерной математической модели в задаче квадратичной экспоненциальной интерполяции // Научные ведомости БелГУ. Математика, Физика. - 2013. - 19(162), Вып.32. - С.184-186.
7. Тимашов А.С. Математическое моделирование и численный анализ в задачах квадратичной экспоненциальной интерполяции // Вестник Воронежского государственного технического университета. - 2013. - 9(4). - С.112-115.
8. Уиттекер Э., Ватсон Дж.Н. Курс современного Анализа. Часть вторая. Трансцендентные функции / М.: ГИФМЛ, 1963.
9. Kiselev E.A., Minin L.A., Novikov I.Ya., Sitnik S.M. On Evaluation of Riesz Constants for Systems of Shifted Gaussians // arXiv:1308.2649. - 2013. - 32 p.
PROPERTIES OF COEFFICIENTS OF NODE FUNCTIONS OF UNIFORM EXPANSIONS WITH INTEGER SHIFTS OF GAUSS AND LORENTZ FUNCTIONS L.A. Minin, S.M. Sitnik, S.N. Ushakov
Voronezh Institute of the Russian Ministry of Internal Affairs,
Patriotov Av. 53, Voronezh, 394065, Russia, e-mail: mathsms@yandex.ru
Abstract. Approximations of functions based on integer shifts of Gauss and Lorentz functions are studied. Monotonicity properties of coefficients of node functions are proved and numerically simulated.
Key words: Gauss’ functions, Lorentz’ functions, interpolation.
