УДК 621.371
ПРИМЕНЕНИЕ ПОЛИНОМОВ ПРИ АППРОКСИМАЦИИ ФУНКЦИОНАЛЬНЫХ ЗАВИСИМОСТЕЙ В ЦОС
Жиганов Сергей Николаевич
кандидат технических наук, доцент, доцент кафедры «Радиотехника»
Муромского института (филиала) ФГБОУ ВО «Владимирский государственный университет
имени А.Г. и Н.Г. Столетовых»1.
Михеев Кирилл Валерьевич
кандидат технических наук, ведущий инженер АО «Муромский завод радиоизмерительных приборов»2.
Жиганова Елена Александровна
кандидат технических наук, доцент, доцент кафедры «Радиотехника»
Муромского института (филиала) ФГБОУ ВО «Владимирский государственный университет
имени А.Г. и Н.Г. Столетовых»1.
Ракитин Алексей Валерьевич
кандидат технических наук, доцент, доцент кафедры «Радиотехника»
Муромского института (филиала) ФГБОУ ВО «Владимирский государственный университет
имени А.Г. и Н.Г. Столетовых»1.
E-mail: s_zh_72@mail.ru.
1Адрес: 602264, Российская Федерация, Владимирская обл., г. Муром, ул. Орловская, д. 23. 1 Адрес: 602267, Российская Федерация, Владимирская обл., г. Муром, Карачаровское шоссе, д. 2.
Аннотация: Один из основных методов представления функциональных зависимостей в современных вычислительных устройствах основан на применении различных полиномов различных степеней. В работе получены коэффициенты полиномиальной функции до 9 степени, использующие многочлены Чебы-шева первого и второго рода, многочлены Лежандра, Гегенбауэра и Якоби. Рассчитаны значения максимальных отклонений аппроксимирующей функции от аппроксимируемой на интервале значений на примере функции вычисления квадратного корня, а так же рассчитаны значения площади ошибок.
Ключевые слова: Полиномиальные функции, многочлены Лежандра, Чебышева первого и второго рода, Гегенбауэра и Якоби.
Введение
Современные цифровые процессоры реализуют на аппаратном уровне только простые арифметические и логические операции, и для вычисления более сложных функций, таких как sinx, ^х, Vх и т.д., используются различные методы и вычислительные алгоритмы аппроксимации. Применительно к вычислительной технике, эти выражения должны состоять (непосредственно или в своем разложении) из понятных процессору элементарных арифметических операций.
При воспроизведении функциональных зависимостей широкое применение нашёл полиномиальный метод аппроксимации, кото-
рый используется во многих научных и прикладных технических задачах: от приближения стандартных математических функций в современных специализированных микропроцессорах до реализации градуировочных характеристик при воспроизведении рабочих эталонов, калибровке датчиков и измерительных систем. Так, например, трудоёмкие операции получения эталонных значений априорно неизвестных функциональных зависимостей чаще всего завершаются аппроксимацией с заданной точностью полиномами различной степени [1-5]. Повсеместное распространение полиномиального метода обусловлено его простотой, наглядной геометрической интерпретацией, а главное - низкими
Таблица 1. Ортогональные многочлены
Название многочлена Весовая функция ы(х)
Чебышева I рода 1 V1-х2
Чебышева II рода V1-х2
Лежандра 1
Гегенбауэра (1 — х2У~1/2
Якоби (1—х)а(1+хУ
вычислительными затратами при расчёте значений функции /(х) с помощью полинома вида
= ш
к=0
где а0,а1,...,ап - некоторые константы.
При использовании схемы Горнера выражение (1) преобразуют к виду:
Фп(х) = а0 + агх+... +апхп = = (((апх + ап_1)х + ап_2)х+... + а0(2)
Вычислительная сложность расчёта полинома степени п составляет 2п операций: п умножений и п сложений (п(х) + п(+)). Кроме того в памяти необходимо хранить п + 1 константу а0,а1,...,ап и запрашивать их при вычислении полинома.
Существуют различные методы поиска коэффициентов полинома (1) - это классический подход, основанный на разложении функции в ряд Тейлора (анализ точности аппроксимации функций применительно к ЦОС можно найти в [2]), ставший распространенным метод аппроксимации, основанный на применении полиномов Чебышева, особенно полиномов наилучшего приближения Чебышева, когда все п + 2 экстремальных значения погрешностей 8г, I Е 0,1, ...,п + 1 на интервале аппроксимации х Е [а, Ь] поочередно меняют знак и равны между собой по абсолютной величине [2], и другие малоизвестные и мало применяемые на практике полиномы [6].
Целью данной работы является сравнительный анализ точности аппроксимации функциональных зависимостей при использовании ряда полиномов степени п на примере функции
вычисления квадратного корня на интервале значений от 0 до 1.
Разложение функций по ортогональным многочленам
В работе [6] показано, что для ортогональных
многочленов ^(х) на отрезке [а; Ь] с весовой
функцией ы(х) при тФп должно выполнятся
следующее условие ь
| /тМ/пМ ^(Х)йх = 0. (3)
а
Из соотношения (3) видно, что можно придумать большое количество ортогональных функций при соответствующем подборе весовых функций ы(х). В работе [6] приведены ортогональные многочлены на интервале [-1; 1] и соответствующих им весовые функций ы(х). В таблице 1 показаны эти многочлены.
Из таблицы 1 видно, что из весовой функции ы(х) = (1 — х)а(1 + х)@, соответствующей многочленам Якоби, получаются остальные перечисленные в таблице ортогональные многочлены при определённых значениях а и р. Так многочлены Гегенбауэра являются частным случаем многочлена Якоби при а = Р = А — 1/2, многочлены Лежандра получаются из многочлена Якоби при а = Р = 0, многочлены Чебышева первого рода при а = Р = —1/4, а второго рода при а = Р = 1/4. Рассмотрим применение этих полиномов при аппроксимации функции /(х) = 4х.
Многочлены Чебышева
Из всех многочленов, перечисленных в таблице 1 наиболее широко известными и применяемыми в практике ЦОС являются многочлены Чебышева. Многочлен Чебышева первого рода, удовлетворяющий (3) с весовой функцией ы(х) = ^ 2 определяется рекуррентным
уравнением вида
Тп+1(х) = 2хТп(х) — Тп_1(х) (4) при Т0(х) = 1 и Тг(х) = х.
На рис. 1 а) приведены графики первых десяти полиномов Чебышева первого рода на интервале [-1; 1].
Как видно из рис. 1, при любом значении п на интервале значений хе[-1; 1] функция Тп(х) центрирована относительно нуля, является либо чётной, либо нечётной (согласно п). Экстремумы функции Тп(х) поочередно меняют знак и равны между собой по абсолютной величине единице.
Многочлены Чебышева второго рода ип(х) могут быть определены на интервале значений хе [-1; 1] с помощью рекуррентного соотношения
ип+1(х) = 2хип(х) - ип_1(х) (5) при и0(х) = 1 и и±(х) = 2х.
На рис. 1 б) приведены графики изменения первых десяти полиномов Чебышева второго рода. Как видно из рис. 1 б) полиномы Чебы-шева второго рода, в отличие от предыдущих полиномов, на краях интервала принимают значения большие единицы, хотя как и полиномы первого рода центрированы относительно нуля и являются чётными или нечётными функциями.
Для нахождения коэффициентов ряда Че-бышева первого рода нужно воспользоваться соотношением (3) при а = -1, Ь = 1 и ы(х) = , получаем
/
Тт(х)Тп(х)
0,т Ф п,
I п
VT-.
dx = = п > 0, (6)
_1 Уп,т = п = 0.
Если записать ряд Чебышева для функции /(х) в виде
Ф(х) = у + с1Т1(х) + с2Т2(х) + (7)
т (х)
умножить обе части равенства (7) на ,п „,
проинтегрировать ряд почленно по отрезку [-1; 1] и воспользоваться (6), то получим выражение для нахождения коэффициентов ряда (7)
, =2 Г: 'п П J
-1
2 ff(x)Tn(x) Л—х*
dx,n = 0,1,2,... (8)
Для полиномов Чебышева второго рода коэффициенты ряда (7) находятся из выражения
■п=^ j f(x)Un(x)^1-x2dx,n = 0,1,2,
(9)
Рассмотрим разложение функции /(х) =
на интервале значений [0, 1] с использованием полиномов Чебышева первого и второго рода до 9 порядка. Точность аппроксимации функции будем оценивать двумя методами - по величине максимальной ошибки на интервале аппроксимации и величине площади под кривой ошибки [7].
Таблица 2
Порядок полинома 0 1 2 3 4 5 6 7 8 9
8+ 0,363 0,082 0,046 0,032 0,025 0,02 0,017 0,015 0,013 0,012
8- 0,637 0,212 0,127 0,091 0,071 0,058 0,049 0,042 0,037 0,034
с °ош 0,03 0,05 0,022 0,012 7,98-103 5,56-103 4,08-103 3,13103 2,47-10-3 2-103
Таблица 3
Порядок полинома 0 1 2 3 4 5 6 7 8 9
8+ 0,321 0,031 0,03 0,01 0,011 0,0065 0,0058 0,0048 0,0042 0,0038
8- 0,679 0,291 0,194 0,107 0,119 0,1 0,086 0,076 0,068 0,0085
с °ош 0,196 0,034 0,013 6,3-103 3,6-10-3 2,2-10-3 1,6-103 1,1-103 8,1-104 6,2-10-4
Поскольку интервал аппроксимации функций отличается от интервала разложения полиномов Чебышева [-1; 1], то для приведения отрезка определения функции [а; Ь] к стандартному [-1; 1] воспользуемся заменой переменной вида
а + Ъ Ь — а t = —~--I--~— X,
2 - 2 - 1<х<1. (10)
В таблице 2 приведены значения максимальных отклонений аппроксимирующей функции от эталонной на интервале от 0 до 1 положительные 8+ и отрицательные 8_. Четвёртой строкой в таблице 2 приведены значения полученной площади ошибки на интервале [0; 1].
В таблице 3 приведены значения максимальных отклонений аппроксимирующей функции от /(х) = ^ от на интервале от 0 до 1 для полиномов Чебышева второго рода.
На рис. 2 приведены графики ошибок аппроксимации при использовании полиномов Чебышева 9 степени первого рода (точечная кривая) и второго рода (сплошная кривая). Как видно из рис. 2 кривые ошибок носят колебательный характер на интервале аппроксимации относительно нулевого значения, причём значения максимальных отклонений разные и полученные кривые существенно отличаются от кривой ошибок, соответствующей полиному наилучшего приближения Чебышева [2]. Т.е. использование полиномов (4) при аппроксима-
ции функции не обеспечивает максимально достижимой точности аппроксимации. Кроме этого, из сравнения кривых рис. 2 видно, что точность аппроксимации функции при использовании полиномов второго рода выше, чем при использовании полиномов первого рода.
Из таблиц 2 и 3 видно, что увеличение степени полинома максимальные отклонения ошибок аппроксимации уменьшаются, так же уменьшаются значения площади под кривой ошибок. Из сравнения значений таблиц 2 и 3 видно, что точность аппроксимации функции при использовании полиномов 2-го рода выше чем при использовании полиномов Чебышева 1-го рода.
Многочлены Лежандра
Для этих многочленов при п > 1 справедлива следующая рекуррентная формула вида [5] 2п + 1
Рп+гМ =-:~гхРп(х) —
п
п + 1
п + 1
Рп-1(х),
(11)
при этом первые две функции как и в случае полиномов Чебышева первого рода равны Р0(х) = 1 и Рг(х) = X.
На рис. 3 приведены графики полиномов Лежандра до 9 порядка при х е [_1; 1].
Из сравнения рис. 1 а) и рис. 3 видно, что характер изменения функций одинаковый, но если полиномы Чебышева при хе[-1; 1] изменяются от -1 до 1, то диапазон изменения по-
Рис. 2. Графики ошибок аппроксимации функции f(x) = ^ при использовании полиномов Чебышева 1-го рода (точечная кривая) и 2-го рода (сплошная кривая) девятого порядка
линомов Лежандра меньше внутри интервала значений х.
Как видно из таблицы 1 весовая функция для многочлена Лежандра равна единице, то расчёт коэффициентов для функции (7) проводим по соотношению
2п + 1
2
■ |/(х)Рп(х)йх,п = 0,1,2,... (12)
-1
Рассмотрим разложение функции корня /(х) = V* на интервале значений [0, 1] с использованием многочленов Лежандра до 9 порядка. В таблице 4 приведены значения максимальных отклонений от эталонной функции и значения полученной площади ошибки для
полиномов разных порядков.
Из сравнения значений таблиц 2, 3 и 4 видно, что при использовании полиномов Лежандра точность аппроксимации функции выше, чем при использовании полиномов Чебы-шева первого рода, но ниже чем у полиномов второго рода.
Многочлены Гегенбауэра
Для этих многочленов при п > 2 справедлива следующая рекуррентная формула
С^\х) = - [2х(п + Л - 1)С^{(х) -
-(п-2Л-2)С^2(х)] (13)
при первых двух функциях С^\х) = 1 и
С(1Х)(х) = 2Лх.
Из таблицы 1 видно, что при Л = 0 полиномы Гегенбауэра переходят в полиномы Чебышева первого рода, при Л = 1 - второго рода, а при Л = 1/2 в полиномы Лежандра. В случае полиномов Гегенбауэра коэффициенты ряда (7) вычисляются по формуле 21~2ЛпГ(п + 2Л)
Г = _ V
Сп п\(п + А)[Г(Х)]2*
1
I /(х)С„л)(х)(1 - х2)л~1/2ах, -1
п = 0,1,2,..., (14)
х
Таблица 4
Порядок полинома 0 1 2 3 4 5 6 7 8 9
8+ 0,333 0,046 0,029 0,017 0,013 0,011 9,1-103 7,9-10-3 6,94-103 6,3-103
8- 0,637 0,267 0,171 0,127 0,097 0,062 0,043 0,063 0,056 0,05
Сош 0,198 0,037 0,015 7,65-10-3 4,6-103 3,04-103 2,12-103 1,58-103 1,18-103 9,1-104
Таблица 5
Порядок полинома 0 1 2 3 4 5 6 7 8 9
8+ 0,305 0,013 0,03 2,97-10-3 0,012 1,6-103 4,29-103 1,11-103 1,6-103 1,7-104
8- 0,695 0,324 0,229 0,181 0,151 0,13 0,114 0,102 0,092 0,084
с ош 0,195 0,034 0,013 6,51-103 3,75-10-3 2,36-103 1,6-103 9,3-108 7,32-104 5,3-104
где Г(Л) - гамма функция.
Графики первых десяти многочленов Геге-нбауэра при X = 1/4 приведены на рис. 4 а), при X = 3 на рис. 4 б).
Из рис. 4 видно, что при X < 1 полиномы на интервале [-1; 1] принимают значения меньше единицы, причём чем меньше X тем меньше размах изменения полиномов на интервале [-1; 1]. При Х> 1 значения диапазон изменения значений полиномов возрастают, причем, чем больше значение Я, тем больше этот диапазон, кроме этого на краях интервала значения полиномов выше второго порядка уходят в бесконечность.
Рассмотрим аппроксимацию функции корня при помощи многочленов Гегенбауэра. В таблице 5 приведены ошибки аппроксимации при X = 2. На рис. 5 приведены графики изменения
площади ошибок при использовании полиномов 7 (сплошная кривая) и 9 (штриховая кривая) степени в зависимости от изменения X.
Из рис. 5 видно, что оптимальное значение коэффициента Я, обеспечивающее наименьшее значение ошибок аппроксимации, находится в диапазоне между 1,5 и 2.
Из сравнения значений таблиц 5 и 4 видно, что использование многочленов Гегенбауэра при X = 2 обеспечивает наименьшие ошибки аппроксимации из всех рассмотренных выше полиномов.
Многочлены Якоби
Многочлен Якоби определяется формулой (—1)п
р£а'Ю(х) — х)-(1 + х)-Р х
х^[(1 — х)а+п(1 + хУ+п]. (15)
0,25 1 1,5 2 3
Рис. 5. Графики изменения £ош от X для функции корня при использовании полиномов 7-й (сплошная кривая) и 9-й (штриховая кривая) степени
Многочлены Якоби (15) ортогональны на отрезке [-1; 1] с весом ы(х) = (1 - х)а(1 +
+х)Р.
Весовая функция, с помощью которой получаются многочлены Якоби зависит от двух параметров а > -1 и @ > -1. Если а = Р, то получаются многочлены Гегенбауэра, рассмотренные выше. На рис. 6 а) приведены многочлены Якоби на интервале значений [-1; 1] при а = 4 и @ = -3/4, а на рис. 6 б) при а = -3/4, а Р = 4. Из рисунков видно,
что многочлены являются несимметричными функциями относительно середины интервала.
В таблице 6 приведены значения ошибок аппроксимации функции корня при а = 4 и различных значения @ для полиномов 7-го и 9-го порядков, а в таблице 7 аналогичные результаты, но при Р = 4 и различных значениях а.
На рис. 7 и рис. 8 приведены графики изменения £ош в зависимости от /3 и а соответственно при использовании полинома 7-й сте-
Таблица 7
Таблица 6
а = 4
Порядок полинома 7
3 -1/2 0 1/2 1 1,5 2 3 4
8+ 0,76 0,024 9,5-10-3 4,3-103 2,1-103 1,5-10-3 8,2-10-4 5-104
8- 3,71 1,14 0,435 0,189 0,091 0,047 0,015 0,112
Сош 0,176 0,052 0,02 8,5-10-3 4,3-103 2,5-10-3 1,5-103 1,41-10-3
Порядок полинома 9
3 -1/2 0 1/2 1 1,5 2 3 4
8+ 0,11 0,031 0,011 4,4-10-3 2-103 1,2-10-3 6,3-104 3,7-10-4
8- 5,8 1,6 0,55 0,216 0,094 0,044 0,012 0,093
Сош 0,118 0,05 0,017 6,6-10-3 3-103 1,6-103 8,6-10-4 8,1-104
3 II 4
Порядок полинома 7
а -1/2 0 1/2 1 1,5 2 3 4
8+ 4,3-10-4 4,8-10-4 4,9-10-4 4,1-104 4,7-10-4 4,8-10-4 4,9-10-4 5-104
8- 0,131 0,128 0,125 0,123 0,121 0,119 0,115 0,112
с ош 2-103 1,8-10-3 1,7-10-3 1,65-10-3 1,6-103 1,5-103 1,45-10-3 1,41-10-3
Порядок полинома 9
а -1/2 0 1/2 1 1,5 2 3 4
8+ 4,6-10-4 3,8-10-4 3,6-10-4 3,5-10-4 3,4-10-4 3,2-10-4 2,8-10-4 3,7-10-4
8- 0,107 0,105 0,104 0,102 0,1 0,099 0,096 0,093
с ош 1,1-103 10-3 9,9-10-4 9,4-10-4 9-104 8,7-10-4 8,2-10-4 8,1-104
пени (сплошная кривая) и 9-й степени (пунктирная кривая).
Из значений таблиц 6 и 7, а так же рис. 7 и 8 видно, что в случае если у многочленов Якоби а ^Р, то точность аппроксимации хуже, чем в противном случае, причем случай, когда а > Р сильнее влияет на точность аппроксимации, по сравнению со случаем, когда а < Р. При а > Р аппроксимирующая кривая существенно отличается в районе правого края интервала аппроксимации от исходной функциональной зависимости, обратная ситуация не столь катастрофически влияет на точность аппроксимации, что наглядно видно из сравнения рис. 7 и рис. 8. Крайнее правое значение у соответствующих одинаковое на обоих рисунках, а крайнее левое отличается почти на два порядка рис. 7 и менее чем в два раза на рис. 8.
Выводы
Полученные результаты показали следующее:
1. Полиномиальные методы аппроксимации позволяют получить практически любую точность представления функции, заданной аналитически на определённом интервале значений;
2. Многочлены Якоби обладают максимальным числом степеней свободы при выборе коэффициентов полинома, поскольку зависят от двух параметров а и причём, как показали результаты расчётов случай, когда а < Р более предпочтителен для расчётов коэффициентов полинома, поскольку различие между параметрами не столь сильно влияет на точность аппроксимации, однако при использовании этих многочленов возникает необходимость в нормировке коэффициентов полинома и кроме того аналитические расчёты интегралов для более сложных функций наталкиваются на се-
-0,5
0,01
0,001
рьёзные сложности, что приводит к использованию численных методов решения, привнося дополнительные погрешности;
3. Наилучшие результаты аппроксимации показали полиномы Гегенбауэра, которые получаются из полиномов Якоби при а = Р = Х - 1/2, при этом максимальная точность аппроксимации получается при X Е [1,5; 2], однако многочлены Гегенбауэра зависят только от одного параметра, что ограничивает общее количество их возможных вариантов и, как в случае многочленов Якоби, появляются те же самые сложности при расчётах коэффициентов полиномом;
4. Полиномы Чебышева первого и второго рода могут обеспечить достаточно высокие показатели эффективности, причем точность аппроксимации полиномов Че-бышева второго рода выше чем первого, однако эти полиномы получаются только для двух конкретных весовых функций и других значений полиномов не существует, кроме того в ряде случает, так же приходится использовать численные методы для расчёта коэффициентов полиномов;
5. Самыми простыми для расчёта коэффициентов, но обладающие наихудшими точностными характеристиками обладают многочлены Ле-жандра, точность аппроксимации при помощи этих полиномов несколько выше, чем при разложении в ряд Тейлора, но хуже, чем у всех рассмотренных полиномов;
6. Все рассмотренные подходы к получению
0,50
1,5
Рис. 7. Графики изменения £ош от / для функции корня при использовании полиномов Якоби 7-й (сплошная кривая) и 9-й (штриховая кривая) степени
0,003 0,0025 0,002 < 0,0015 0,001 0,0005 п
* — — < ь— _ .
-0,5 0 0,50 1 1,5 2 3 4
Рис. 8. Графики изменения £ош от а для функции корня при использовании полиномов Якоби 7-й (сплошная кривая) и 9-й (штриховая кривая) степени
полиномиальных функций обладают общим недостатком - они не соответствуют полиному наилучшего приближения, когда максимальные отклонения от истинного значения одинаковы на всем интервале аппроксимации функции.
Работа выполнена при поддержке гранта РФФИ № 18-37-00077 и конкурса инновационных проектов Владимирской области «УМ-НИК-2018».
Литература
1. Байков В.Д., Смолов В.Б. Аппаратурная реализация элементарных функций в ЦВМ. Л.: Изд-во Ленингр. ун-та, 1975. 96 с.
2. Chekushkin V.V., Zhiganov S.N. Computational methods in optimization of engineering problems // Raleigh, North Carolina, USA: Open Science Publishing, 2018. 202 p.
3. Пантелеев И.В., Чекушкин В.В. Совершенствование полиномиальных методов воспроизведения тригонометрических функций в информационно-вычислительных системах // Радиотехнические и телекоммуникационные системы. 2013. № 1. С. 53-59.
4. Чекушкин В.В., Михеев К.В. Быстродействующие алгоритмы поиска полиномов наилучшего приближения для воспроизведения функциональ-
Поступила 21 января 2020 г.
ных зависимостей в информационно-измерительных системах // Измерительная техника. 2016. № 4. С. 7-10.
5. Данилин С.Н., Щаников С.А., Борданов И.А., Зуев А.Д., Пантюхин Д.В., Пантелеев С.В. Состояние исследований в области инженерного проектирования и производства нейрокомпьютеров // Алгоритмы, методы и системы обработки данных [электронный ресурс]. 2019. № 1 (39). Режим доступа: http://files.amisod.ru/mediacontent/vipuski/2019/1/ami sod-2019-01-3 9-danilin-and-other.pdf
6. Прасолов В.В. Многочлены. 4-е изд., исправленное. М.: МЦНМО, 2014. 336 с.
7. Жиганов С.Н., Михеев К.В. Поиск полиномов Чебышева, обеспечивающих минимизацию площади ошибок // Методы и устройства передачи и обработки информации. 2018. Вып. 20. С. 100-102.
English
POLYNOMIALS' APPLICATION IN APPROXIMATION OF FUNCTIONAL DEPENDENCIES IN DSP
Sergey Nikolayevich Zhiganov - Candidate of Engineering Sciences, Associate Professor, Radio Engineering Department, Murom Institute (Branch) Federal State Budgetary Educational Institution of Higher Professional Education "Vladimir State University named after A.G. and N.G. Stoletov"1.
Kirill Valeryevich Mikheyev - Candidate of Engineering Sciences, Lead Engineer, JSC "Murom Plant of Radio Measuring Instruments"2.
Elena Aleksandrovna Zhiganova - Candidate of Engineering Sciences, Associate Professor, Radio Engineering Department, Murom Institute (Branch) Federal State Budgetary Educational Institution of Higher Professional Education "Vladimir State University named after A.G. and N.G. Stoletov"1.
Alexey Valeryevich Rakitin - Candidate of Engineering Sciences, Associate Professor, Radio Engineering Department, Murom Institute (Branch) Federal State Budgetary Educational Institution of Higher Professional Education "Vladimir State University named after A.G. and N.G. Stoletov"1.
E-mail: s_zh_72@mail.ru.
1Address: 602254, Russian Federation, Vladimir region, Murom, Orlovskaya street, 23.
2Address: 602267, Russian Federation, Vladimir region, Murom, Karacharovskoe highway, 2.
Abstract: Today's digital processors implement only simple arithmetic and logic operations at hardware level, and various techniques and computational algorithms of approximation are used to calculate more complex functions. As far as computing machinery is concerned, these expressions should consist (directly or in their decomposition) of processor-understandable elementary arithmetic operations. Polynomial approximation method has found wide application in reproduction of functional dependencies, which is used for many scientific and applied technical tasks: from approximation of standard mathematical functions in current specific-purpose microprocessors and inclusive to implementation of calibration curves in reproduction of working standards, gauge and measurement systems' calibration. For example, labour-consuming operations of obtaining standard values of a priori unknown functional dependencies mostly conclude by approximation with given accuracy by polynomials of varying degrees. There are various methods to search polynomial coefficients - this is a classical approach based on expansion of a function in Taylor's series, which has become a common method of approximation, based on applying Chebyshev polynomials, especially those of Chebyshev's polynomials of best approximation, when all extreme values of errors on approximation interval alternately change the sign and are equal to each other in absolute magnitude, and other lesser-known and practically of little use polyno-
mials. The research work enabled to obtain coefficients of polynomial function to the 9th degree, using Cheby-shev first and second-order polynomials and polynomials of Legendre, Gegenbauer and of Jacobi. Maximum deviation values of approximation function from the approximated one on the interval of values are calculated using the example of square root calculation function, as well as error area values are calculated. Performed research has shown that polynomial approximation methods enable to obtain almost any accuracy of function representation specified analytically on the definite interval of values. The best approximation results from all reviewed ones were demonstrated by Gegenbauer polynomials. However, all the examined approaches to obtain polynomial functions have a shared fault - they do not correspond to polynomial of best approximation, when maximum deviations from true value are the same throughout function approximation interval.
Keywords: polynomial functions, polynomials of Legendre, the first and second-order polynomials of Cheby-shev, polynomials of Gegenbauer and Jacobi.
The research work was fulfilled with the assistance of RFBR grant No. 18-37-00077 and Innovative project initiative "UMNIK-2018" of Vladimirskaya oblast.
References
1. Baykov V.D., Smolov V.B. Hardware implementation of elementary functions in computers. Leningrad: Leningrad University Publishing, 1975. 96 p.
2. Chekushkin V.V., Zhiganov S.N. Computational methods in optimization of engineering problems. Raleigh, North Carolina, USA: Open Science Publishing, 2018. 202 p.
3. Panteleev I. V., Chekushkin V. V. Perfecting polynomial methods for reproducing trigonometric functions in information and computing systems. Radio and Telecommunications Systems. 2013. No. 1. Pp. 53-59.
4. Chekushkin V.V., Mikheev K.V. Fast-acting algorithms for searching for the best approximation polynomials for reproducing functional dependencies in information and measurement systems. Measurement techniques. 2016. No. 4. Pp. 7-10.
5. Danilin S.N., Shchanikov S.A., Bordanov I.A., Zuev A.D., Pantyukhin D. V., Panteleev S. V. State of research in the field of engineering design and production of neurocomputers. Algorhythms, methods and systems of data processing [electronic source]. 2019. No. 1 (39). URL: http://files.amisod.ru/mediacontent/vipuski/2019/1/amisod-2019-01 -3 9-danilin-and-other.pdf
6. Prasolov V. V. Polynomials. 4th ed., corrected. Moscow: MTsNMO, 2014. 336 p.
7. Zhiganov S.N., Mikheev K. V. Search for Chebyshev polynomials that ensure the minimization of error areas. Metody i ustrojstva peredachi i obrabotki informacii. 2018. Vol. 20. Pp. 100-102.