Приложения экспоненциальной аппроксимации по целочисленным сдвигам функций Гаусса Текст научной статьи по специальности «Математика»

(RecmHU-KjBcpyWHt, №2, 2П1.1

УДК 517.518.85

Доцент С.М. Ситник, адъюнкт A.C. Тимашов

(Воронеж. инст. МВД) кафедра высшей математики

Приложения экспоненциальной аппроксимации по целочисленным сдвигам функций Гаусса

В статье рассматриваются аппроксимации функций при помощи целочисленных сдвигов функций Гаусса - квадратичных экспонент. Предложен метод нахождения узловой функции для данной задачи интерполяции, основанный на решениях усечённых систем линейных уравнений. Найдена явная формула для определителя рассматриваемой системы, доказана однозначная разрешимость системы. Проведено сравнение данного метода с известными ранее, кратко намечены приложения полученных результатов в теории сигналов.

In this paper we consider approximations of functions using integer shifts of Gaussians -quadratic exponentials. A method is proposed to find coefficients of node functions by solving linear systems of equations. The explicit formula for the determinant of the system is found, based on it solvability of linear system under consideration is proved and uniqueness of its solution. We compare results with known ones and briefly indicate applications to signal theory.

Ключевые слова: интерполяция, функции Гаусса, узловые функции, тета-функции Яко-би, сигналы.

Рассмотрим задачу о приближении достаточно произвольной функции в виде ряда по системе целочисленных сдвигов функции Гаусса (квадратичной экспоненты с параметрами). Для численного анализа и приложений основную роль играют приближения данного типа конечными суммами, которые возникают при усечении соответствующих рядов. Исследованию таких конечных приближений и посвящена данная работа. История вопроса, основные результаты и многочисленные приложения представлены в источниках [1-8].

Более точно будет исследована следующая основная задача.

Задача. Рассмотрим произвольную функцию f(x), заданную на всей оси х 6 М и некоторый параметр s > 0, который в приложениях играет роль дисперсии. Будем искать интерполирующую функцию f(x), также определенную на всей оси х 6 М, которая представляется в виде ряда по целочисленным сдвигам функции Гаусса:

ОТ

Z(x-k)2

fke~ ^ (1)

и совпадает с исходной функцией во всех целых точках:

f(m) = f(m), те Ж. (2)

© Ситник С.М., Тимашов А.С., 2013

Известны два подхода к решению поставленной задачи. При первом подходе решение ищется с помощью специальных функций, а именно тета-функций Якоби [1-2]. Как показано в [6-8], несмотря на теоретическую ценность этого подхода, он не имеет вычислительных перспектив, так как связан с делением на чрезвычайно малые знаменатели. Другой подход разрабатывался в [3-5], он основан на применении дискретного преобразования Фурье (ДПФ). Такой подход имеет определённую вычислительную ценность, но она достигается ценой существенного усложнения алгоритма. Поэтому в настоящей работе предлагается наиболее простой прямой метод решения поставленной задачи, основанный на сведении её к решению конечных систем линейных уравнений.

Существенным препятствием для развития этого метода являлось отсутствие результатов по доказательству однозначной разрешимости соответствующих систем ли -нейных уравнений. В настоящей работе получены результаты, устанавливающие требуемую однозначную разрешимость линейных систем. Эти результаты являются теоретическим обоснованием для разработки практических численных алгоритмов, избавленных от необходимости работы со специальными функциями или ДПФ.

<ЪестнипФТУЖЛС, №2, 2013L

Для дальнейшего изложения введём удобное обозначение для квадратичной экспоненты:

(х-к)2

e(s, х, к) = е 2s2 .

(3)

Решение поставленной задачи сводится к нахождению последовательности неизвестных коэффициентов Д из (1). Для этого, следуя стандартной схеме решения задач интерполяции, необходимо построить узловые функции для каждого узла интерполяции х = т, т 6 %. В нашем случае достаточно построить одну базисную узловую функцию для узла при х = 0, которую мы будем искать в виде:

G(s, х) = ^ gke(s, х, к).

(4)

fc = -ra

Из (2) следует, что эта базисная узловая функция должна удовлетворять основному условию при всех т ЕЖ:

G(s,m)= ^ gke(s,m,k)

к=-со

(5)

S-mO

где sm0 есть символ Кронекера, (i, т = 0

Sm0 = 10, т * 0' Предположим, что такая функция G(s, х), удовлетворяющая условию (5), уже найдена. Тогда нетрудно вычислить формальное решение поставленной задачи. Действительно, функция:

Gi (s, х) = G(s, х — l) является узловой функцией узла при х = I, так как:

Gt(s, х) = G(s, х — l) = sml, тогда решением задачи будет, очевидно, функция:

f(x) = ^ f(l)Gl(s, х)

(6)

так как при х = т от суммы (6) остается только одно слагаемое:

¡(т)Ст(5, т) = f(m) ■ 1 = ¡(т).

Чтобы перейти от представления решения в виде (6) к искомому представлению в виде (1), выполним необходимую подстановку. В результате получим с учетом (4):

f(x) = ^ f(l)Gl(s,х) = ^ f(l)G(s,х-1)

¿=—ОТ ¿ = — от

оо оо

= ^ f(l) ^ 9ke(s, х-l, к)

¿ = — ОТ 1 = — Ж

оо от _

(x-l-k,)1

f(i) L gke~ .

i = — I — — oo

Введем новый индекс суммирования j = I + к вместо I = j — к и формально поменяем порядок суммирования. Тогда получим:

оо оо

(x-j)2

Zv (X-J,

¿ f(j-k)gke~ 2S*

: — ОТ

ОТ ОТ

= I (

У = — ОТ fc= — OT

(6)

¿ = — от ¿ = — от

(х-])2 - к)дк)е 23*

ОТ

= ^ ^еи, х,]),

где искомые коэффициенты разложения представляются в виде (после подстановки индексов ] ^ к, чтобы согласовать результат с (1)):

fk ^ f(k~])gj

(7)

j=-

где /(т) - значения заданной функции в целых точках, а д- коэффициенты разложения базисной узловой функции (4).

Мы получили, что решением задачи 1, определяемой условиями (1)-(2), формально является ряд (6), коэффициенты которого находятся по формуле (8).

Таким образом, решение задачи 1 по существу сводится к нахождению коэффициентов разложения базисной узловой функции (4), которые должны удовлетворять условиям (5).

Упростим систему уравнений:

от

(т-к)2

дке 2*2 = зт0,те Ж. (8)

I

к=-х>

Для этого введем новую переменную

i

Получим:

q = е 2s2.

^ gkq(m~k)2 = sm0,тех.

к = -х>

<ЪестнипФТУЖЛС, №2, 2013L

Для численного решения необходимо рассмотреть конечномерные усечения полученной бесконечной системы уравнений. Рассмотрим такую систему уравнений при —п <к<пи — п<т<п. Она имеет вид:

п

^ 9кЧ(т~к)2 = ^то , -п<т<п.

к=-п

Рассмотрим вопрос, как связаны решения системы (8) с решением «урезанной системы»:

(т-к)2

дке 2*2 = 5т0, тЕХ. (9)

I

к=0

в которой индексы вместо целых заменяются на неотрицательные целые числа. Приведем ряд свойств полученных систем бесконечных уравнений (8)-(9). Для этого вводим обозначение:

(т-к)2

Рт,к = е 252 = е(5, х, к), а также обозначения для последовательностей, переставленных в обратном порядке: с = (...,с_2, с_1, с0, с-^, с2, ■■■),

С = (..., С2, С]_, С0, С_1, С_2,..>)

Oчeвиднo, что рт,т = 1 = ртЛ.

Утверждение 1. Если последовательность дт , т£2 является решением системы (8), то последовательность ск = 9к+9~к ,кЕЖ является решением системы (9). (Сложить уравнения при т = ±у ,/ £ М).

Утверждение 2. Если последовательность д является решением системы (9), то и обратная последовательность д также является решением той же системы (9). (Уравнения с т - ±у переходят друг в друга, а уравнение с т = 0 не меняется). Понятно, что с = с тогда и только тогда, когда выполнено условие ск = с_к, к е Ж (или к е М0). Поэтому справедливо следующее следствие.

Следствие. Если система (9) имеет несимметричное решение д, то для нее существует более одного решения (это д и д). При этом вопрос, всегда ли дк = д_к и реализуется ли неединственность на самом деле, остается открытым.

Утверждение 3. Если система (9) имеет (ненулевое) решение с = (с0, с1, с2,...), то система (8) имеет решение вида д = (... ,0,0, с0, с1, с2,...), то есть: (0, к <0 9к - [ск,к>0.

Следствие. Если «урезанная» система (9) имеет решение, то система (8) теряет свойство

единственности, у нее есть как минимум два решения (это д и д, они разные, т.к. система (9) не имеет нулевого решения).

Таким образом, вопрос о соотношениях между решениями систем (8) и (9) является достаточно сложным.

Это система из 2п + 1 линейного уравнения с квадратной матрицей специального "крестообразного" вида.

Например, при п= 2: в матричном виде она будет выглядеть следующим образом:

Л4 ч2 ч~2 ч~А

[ ч ч-1 ч~2

1 11 1 1

Л2 ч-1 ч ч2

V ч~2 ч2 ч4

ч

/

(вЛ

91 9о 9-1 \3-2/

Получилась система пяти линейных уравнений с матрицей специального вида.

В работе получены теоретические результаты, касающиеся корректной разрешимости основной системы линейных уравнений для конечномерного приближения бесконечной системы, а также проведён достаточно существенный объём компьютерных вычислений.

Приведём список основных полученных результатов (смотритакже [9-10]).

1. Доказана следующая ниже теорема.

Теорема. Для главного определителя системы (9) справедлива формула:

= аеЬ(Мь) =

1

■(^"О™ (д2

М(М + 1)(2М + 1)

Ч 3

-О™"1......(ц™ -1)\

2. Следствие. Система линейных уравнений (9) однозначно разрешима при любых 5 >0.

Действительно, при допустимых рассматриваемых 8> 0 очевидно, что 0< д < 1, поэтому главный определитель системы, как следует из приведённой выше формулы, отличен от нуля.

Таким образом, доказано, что при всех допустимых значениях параметров д, 5 исследуемые конечномерные системы линейных уравнений имеют единственное решение.

3. Проведено компьютерное исследование решений исследуемых конечномерных систем линейных уравнений численными методами при помощи математического пакета

(RecmHU-KjBcpyWHt, №2, 2П1.1

MATHEMATICA при широком наборе управляющих параметров q, s.

4. Численно показано, что при увеличении размерности приближающих систем их решения стремятся к предельным значениям, которые следует принять за решение исходной бесконечной системы уравнений.

В качестве приложения полученных результатов рассмотрены разложения методом экспоненциальной интерполяции стандартных электрических сигналов и использование указанных разложений в теории фильтрации.

5. Рассмотрено разложение указанным методом по целочисленным сдвигам функции Гаусса основного набора стандартных электрических сигналов: переключения режимов, кусочно-постоянных, прямоугольных, треугольных, сложной формы, включая различные нерегулярные меандры. Выведен большой объём графиков для аппроксимаций этих сигналов, проанализированы ошибки приближений, вычислены количественные характеристики ошибок, среднеквадратичные и равномерные.

Рассмотрены приложения полученных теоретических и численных результатов к теории фильтрации электрических сигналов. Произведён численный расчёт и анализ погрешности для реализации фильтров, близких к идеальным. Для этого реализации фильтров как свёрток с исследованными ранее стандартными сигналами смоделированы с использованием приближений сигналов целочисленными сдвигами функций Гаусса.

ЛИТЕРАТУРА

1 Lanzara, F. Approximate approximations from scattered data [Text] / F. Lanzara, V.Maz'ya, G. Schmidt // Journal of approximation theory. -2007.-№145. - P. 141-170.

2 Maz'ya, V. Approximate approximations [Text] / V. Maz'ya, G. Schmidt. - Sweden: University of Linköping, 2007 - 350 P.

3 Zhuravlev, M. V. Jacobi theta-fUnctions and systems of integral shifts of Gaussian functions [Text] / M. V. Zhuravlev, E. A. Kiselev, L. A. Minin et al // Journal of Mathematical Sciences, Springer.-2011. - V. - 173. - № 2. - P. 231-241.

4 Журавлёв, M. В. Тета--функции Якоби и системы целочисленных сдвигов функций Гаусса [Текст] / М. В. Журавлев, Е. А. Киселёв, Л. А. Минин и др. // Современная матема-

тика и её приложения. Уравнения в частных производных. - 2010. - Т. 67. - С. 107-116.

5 Минин, Л. А. О вычислительных особенностях интерполяции с помощью целочисленных сдвигов гауссовых функций [Текст] / Л. А. Минин, С. М. Ситник, М. В. Журавлев // Научные ведомости Белгородского государственного университета. - 2009.- № 13 (68), Выпуск 17/2. - С. 89-99.

6 Минин, Л. А. О неравенствах для тета-функций Якоби [Текст] / Л. А. Минин, С. М. Ситник // Чернозёмный альманах научных исследований. Серия "Фундаментальная математика".- 2009.- № 1 (8).- С. 234-311.

7 Минин, Л. А. Неравенства для третьей тета-функции Якоби [Текст] /Л. А. Минин, С. М. Ситник // Аналитические методы анализа и дифференциальных уравнений (АМА-ДЕ).Тезисы докладов международной конференции, Минск, Беларусь. - 2009.- С. 111.

8 Минин, Л. А. О неравенствах для тета-функций Якоби [Текст] / Л. А. Минин, С. М. Ситник // Труды участников международной школы-семинара по геометрии и анализу памяти Н.В. Ефимова. Абрау-Дюрсо, Ростов-на-Дону, Южный Федеральный университет. - 2008.- С. 124-126.

9 Тимашов, А. С. О вычислении характеристик сигналов при их разложении по функциям Гаусса [Текст] / А. С. Тимашов // Сборник материалов Всероссийской научно—практической конференции "Актуальные вопросы эксплуатации систем охраны и защищённых телекоммуникационных систем", Воронеж, Воронежский институт МВД. - 2011. - С. 260-261.

10 Тимашов, А. С. О решении систем уравнений, определяющих коэффициенты разложения по целочисленным сдвигам функций Гаусса [Текст] / А. С. Тимашов // Труды восьмой Всероссийской научной конференции с международным участием «Математическое моделирование и краевые задачи», посвящён-ной 75-летию Ю. П. Самарина (ММиКЗ)., Самара.- 2011. - С. 234-236.

REFERENCES

1 Lanzara, F. Approximate approximations from scattered data [Text] / F. Lanzara, V. Maz'ya, G. Schmidt // Journal of approximation theory. - 2007.-№145. - P. 141-170.

2 Maz'ya, V. Approximate approximations [Text] / V. Maz'ya, G. Schmidt. - Sweden: University of Linköping, 2007 - 350 P.

<becmHUKjBTyWïïï, №2, 2013

3 Zhuravlev, M. V. Jacobi theta-functions and systems of integral shifts of Gaussian functions [Text] / M. V. Zhuravlev, E. A. Kiselev, L. A. Minin et al // Journal of Mathematical Sciences, Springer.- 2011. - V. - 173. - № 2. - P. 231-241.

4 Zhuravlev, M. V. Jacobi theta-functions and systems of integer translates of Gaussian functions [Text] / M. V. Zhuravlev, E. A. Kiselev, L. A. Minin et al // Contemporary mathematics and its applications. Partial differential equations. - 2010. - T. 67. - P. 107-116.

5 Minin, L. A. On the computational features of interpolation using integer shifts of Gaussian functions [Text] / L. A. Minin, S. M. Sytnyk, M. V. Zhuravlev // Scientific statement of the Belgorod State University. - 2009. -№ 13 (68) Issue 17/2. - P. 89-99.

6 Minin, L. A. Inequalities for Jacobi theta functions [Text] / L. A. Minin, S. M. Sytnyk // Black earth almanac research. A series of "Fundamental mathematics." - 2009. - № 1 (8.) - P. 234-311.

7 Minin, L. A. Inequalities for the third Jacobi theta functions [Text] / L. A. Minin, S. M. Sytnyk // Analytical Methods of analysis and differential equations (AMADE). Proceedings of the International Conference, Minsk, Belarus. - 2009. - P. 111.

8 Minin, L. A. Inequalities for Jacobi theta functions [Text] / L. A. Minin, S. M. Sytnyk // Proceedings of the participants of the International school on geometry and analysis in memory of N. V. Efimov, Abrau-Durso, Rostov-na-Donu, Southern Federal University. - 2008. - P. 124-126.

9 Timashov, A. S. Calculation of the characteristics of the signals at their expansion in the Gaussian function [Text] / A. S. Timashov // Proceedings of the All-Russia scientific - practical conference "Actual problems of operating systems and secure communication systems", Voronezh, Voronezh Institute of the Ministry of Internal Affairs. - 2011. - P. 260-261.

10 Timashov, A. S. Solution of systems of equations that determine the coefficients of expansion in integer shifts of Gaussian functions [Text] / A. S. Timashov // Proceedings of the Eighth All-Russian scientific conference with international participation "Mathematical modeling and boundary value problems", on the 75-anniversary of U. P. Samarin (MMBVP), Samara. - 2011. - P. 234-236.