Orthogonal Franklin system and orthogonal system of finite functions in numerical methods of boundary problems solving

Abstract


Possibilities of classical trigonometric Fourier series are substantially limited in 2-D and 3-D boundary value problems. Boundary conditions of such problems for areas with curvilinear boundaries often fails when using the classical Fourier series. The solution of this problem is the use of orthogonal finite functions. However, orthogonal Haar basis functions are not continuous. The orthogonal Daubechies wavelets have compact supports, but is not written in analytical form and have low smoothness. Continuous finite Schauder-Faber functions are not orthogonal. Orthogonal Franklin continuous functions are not finite. The connection of the orthogonal Franklin functions with a sequence of grid groups of piecewise linear orthogonal finite basis functions (OFF) is established here. The Fourier-OFF series on the basis of such continuous OFF is formed. Such series allows to execute boundary conditions of Dirichlet’s type on curvilinear boundaries in integral performances of boundary value problems. A similar problem is connected with a satisfaction of Neumann boundary conditions and also is eliminated in the integral mixed performances of boundary value problems. Fourier-OFF series increases the effectiveness of mixed numerical methods for boundary value problems solving.

Full Text

Настоящая статья представляет собой расширенный вариант доклада [1], сделанного автором на Четвёртой международной конференции «Математическая физика и её приложения» (Россия, Самара, 25 августа - 1 сентября 2014). Применение классических рядов Фурье, связанных с тригонометрическими функциями, существенно ограничено в двумерных и трехмерных краевых задачах. Граничные условия Дирихле и Неймана часто не удается выполнить для областей с криволинейными границами при использовании тригонометрических рядов Фурье. Решение этой проблемы дает использование ортогональных базисных функций с компактными носителями. Однако ортогональные базисные функции Хаара [2] не являются непрерывными. Ортогональные вейвлеты Добеши [3] имеют компактные носители, но не записываются в аналитической форме и имеют низкую гладкость. Непрерывные финитные функции Фабера-Шаудера [4, 5] не являются ортогональными. Ортогональные непрерывные функции Франклина [6] не являются финитными. Исследования в области ортогональных рядов активно проводились ранее и проводятся в настоящее время [7-13]. Большое внимание при этом обращается на ортогональные ряды, связанные с финитными функциями. Здесь установлена связь ортонормированной системы функций Франклина с последовательностью сеточных наборов ортонормированных финитных функций [14], показывающая возможность формирования рядов Фурье на основе ортонормированных финитных функций [14], предназначенных для их эффективного использования в алгоритмах численных методов решения краевых задач математической физики. Сформирован ряд Фурье-ОФФ на основе таких непрерывных ОФФ, который позволяет выполнять граничные условия типа Дирихле на криволинейных границах в рамках интегральных постановок краевых задач. Аналогичная проблема, связанная с удовлетворением граничных условий типа Неймана, также устраняется при дополнительном использовании смешанных интегральных постановок краевых задач. Выявленная связь функций Франклина и последовательности сеточных наборов ОФФ обосновывает универсальность процедуры ортогонализации [14] систем сеточных базисных функций, предложенной в 1993 году в работах В. Л. Леонтьева. Эта процедура, в отличие от классических процедур ортогонализации Грама-Шмидта и продолжения функций на более длинный интервал, сохраняет свойство финитности базисных функций. Ортонормированная система функций Франклина (нефинитных функций) [6] - исторически первый пример ортонормированного базиса пространства непрерывных функций. Система была получена в результате ортогонализации базисных функций Фабера-Шаудера [4,5] с помощью процедуры Грама-Шмидта. Система функций Фабера-Шаудера представляет собой полную систему линейно независимых функций-шапочек, выборочно взятых из последовательности наборов сеточных финитных непрерывных кусочно-линейных функций-шапочек, причем каждый очередной набор таких функций порождается процедурой половинного деления предыдущей сетки на отрезке [0, 1]. Ортогонализация, также с помощью процедуры Грама-Шмидта, функций-шапочек типа функций Фабера-Шаудера, взятых только из одного полного сеточного набора N функций [14] на отдельной сетке, приводит в случае N = 5 к нефинитным ортонормированным функциям √ 2 3(1 - 4x), x ∈ [0, 1/4); F1 (x) = 0, x ∈ [1/4, 1];  2 3/7(12x - 1), x ∈ [0, 1/4); F2 (x) = 8 3/7(1 - 2x), x ∈ [1/4, 1/2);  0, x ∈ [1/2, 1];   -2 3/91(12x - 1), x ∈ [0, 1/4);   2 3/91(36x - 11), x ∈ [1/4, 1/2); F3 (x) =  14 3/91(3 - 4x), x ∈ [1/2, 3/4);   0, x ∈ [3/4, 1];  x ∈ [0, 1/4);  2 3/1261(12x - 1),   -2 3/1261(36x - 11), x ∈ [1/4, 1/2); F4 (x) =  2 3/1261(132x - 73), x ∈ [1/2, 3/4);   4 39/97(4 - 4x), x ∈ [3/4, 1]; √   -(12x - 1)/√ 679, x ∈ [0, 1/4);   679, x ∈ [1/4, 1/2); (36x - 11)/ √ F5 (x) =  -(132x - 73)/√ 679, x ∈ [1/2, 3/4);   (492x - 395)/ 679, x ∈ [3/4, 1]. Каждая из этих пяти нефинитных функций является линейной комбинацией первых пяти функций Франклина и так же, как и соответствующие им первые пять функций Франклина, является частью полной системы базисных функций. Таким образом, существует возможность формирования ортонормированных базисных функций не на базе системы Фабера-Шаудера, а на базе последовательности полных сеточных наборов линейно независимых финитных функций-шапочек, позволяющей проводить ортогонализацию не только на основе процедуры Грама-Шмидта. Иной метод ортогонализации таких сеточных наборов, сохраняющий свойство финитности, имеющееся у исходных функций-шапочек, представлен в [14] и связан с изменением каждой финитной функции-шапочки без нарушения свойств непрерывности и финитности функций. При сгущении сеток их бесконечной последовательности порождаются наборы ортогональных финитных функций, число которых растет при переходе от менее густой сетки к более густой. При этом каждый такой набор представляет собой базис в соответствующем N -мерном подпространстве, где базисом является набор N функций Франклина, число которых совпадает с числом указанных ортогональных финитных сеточных функций. Таким образом, установлена универсальность процедуры ортогонализации систем функций, предложенной в [14] и в статьях, опубликованных ранее. Ссылки на эти статьи даются в [14]. Таким образом, две классические процедуры ортогонализации систем функций: процедура Грама-Шмидта и продолжения на более длинный интервал, на основе данного исследования дополняются процедурой ортогонализации [14], отличающейся от названных классических процедур тем, что процедура ортогонализации [14] сохраняет свойство финитности функций, имеющее исключительно большое значение для вычислительной математики. Формирование обобщенного ряда Фурье на основе системы сеточных функций Франклина осуществляется обычным образом, поскольку в этой системе присутствуют функции, порождаемые всеми сетками на [0, 1]. Напротив, ряд Фурье, связанный с ортогональными финитными функциями, на основе изложенных результатов строится как предел последовательности частичных сумм, образованных последовательностями наборов ортонормированных систем финитных функций, полных в соответствующих конечномерных подпространствах и построенных на последовательности сгущающихся сеток. При этом при переходе от одной частичной суммы последовательности к другой частичная сумма полностью перестраивается. Применение названных базисных систем функций приводит к эффективным алгоритмам [15-18] смешанных численных методов исследования математических моделей - краевых или эволюционно-краевых задач. Эффективность таких алгоритмов определяется использованием смешанных вариационных постановок краевых задач или смешанных интегральных проекционных условий, поскольку в этих случаях ортогональность базисных функций на каждой отдельной сетке делает алгоритм численного метода существенно более рациональным и эффективным. Приближенное решение краевой задачи находится при проведении каждого отдельного расчета с помощью алгоритма смешанного вариационно-сеточного или смешанного проекционносеточного метода, реализованного на ЭВМ на одной конкретной сетке. Для уточнения решения сетка сгущается, на измененной более густой сетке также имеет место ортогональность сеточных финитных функций, приводящая после проведения дискретизации по пространственным переменным к системе ОДУ или к системе алгебраических уравнений в случае эллиптической задачи с более простыми структурами по сравнению с вариационно-сеточными или проекционно-сеточными методами, в которых используются неортогональные базисные функции. Так, в случае линейной эллиптической задачи после дискретизации образуется система линейных алгебраических уравнений с разреженной матрицей, которая во многих строках имеет ненулевые компоненты только на своей главной диагонали. Последнее свойство порождает рациональный алгоритм решения системы алгебраических уравнений, позволяющий сократить число вычислительных операций получения решения в несколько раз. Применение ортогональных финитных функций приводит также к новому интегральному преобразованию [19], по эффективности не уступающему интегральному вейвлет-преобразованию, а также к рациональной математической модели сил межатомного взаимодействия [20], позволяющей снизить число арифметических операций, затрачиваемых на решение задач о движении атомов углеродных нанотрубок.

About the authors

Victor L Leontiev

Ulyanovsk State University

Email: LeontievVL@ulsu.ru
42, L. Tolstoy st., Ulyanovsk, 432017, Russian Federation (Dr. Phys. & Math. Sci.; LeontievVL@ulsu.ru), Professor, Dept. of Information Security and Control Theory

References

  1. Леонтьев В. Л. Ортогональная система Франклина и ортогональная система финитных функций в численных методах решения краевых задач / Четвертая международная конференция «Математическая физика и ее приложения»: материалы конф.; ред. чл.корр. РАН И. В. Волович; д.ф.-м.н., проф. В. П. Радченко. Самара: СамГТУ, 2014. С. 228-229.
  2. Haar A. Zur Theorie der orthogonalen Funktionensysteme // Math. Ann., 1910. vol. 69, no. 3. pp. 331-371. doi: 10.1007/bf01456326.
  3. Daubechles I. Orthonormal Bases of Compactly Supported Wavelets // Commun. Pure Appl. Math., 1988. vol. 41, no. 7. pp. 909-996. doi: 10.1002/cpa.3160410705 ; Daubechles I. Orthonormal Bases of Compactly Supported Wavelets / Fundamental Papers in Wavelet Theory. Princeton: Princeton University Press, 2009. pp. 564-652. doi: 10.1515/9781400827268.564 doi: 10.1515/9781400827268.
  4. Faber G. Uber die Orthogonalfunktionen des Herrn Haar // Jahresbericht der Deutschen Mathematiker-Vereinigung, 1910. vol. 19. pp. 104-112.
  5. Shauder J. Eine Eigenschaft des Haarschen Orthogonalsystems // Math. Z., 1928. vol. 28, no. 1. pp. 317-320. doi: 10.1007/BF01181164.
  6. Franklin P. A set of continuous orthogonal functions // Math. Ann., 1928. vol. 100, no. 1. pp. 522-529. doi: 10.1007/bf01448860 ; Franklin P. A set of continuous orthogonal functions / Fundamental Papers in Wavelet Theory. Princeton: Princeton University Press, 2009. pp. 189-196. doi: 10.1515/9781400827268.189 doi: 10.1515/9781400827268.
  7. Ульянов П. Л. О рядах по системе Хаара // Докл. Акад. наук СССР, 1963. Т. 149, № 3. С. 532-534.
  8. Ульянов П. Л. О рядах по системе Хаара // Матем. сб., 1964. Т. 63(105), № 3. С. 356-391.
  9. Schipp F., Simon P. Investigation of Haar and Franklin series in Hardy spaces // Anal. Math., 1982. vol. 8, no. 1. pp. 47-56. doi: 10.1007/bf02073771.
  10. Геворкян Г. Г. Об абсолютной и безусловной сходимости рядов по системе Франклина // Матем. заметки, 1989. Т. 45, № 3. С. 30-42.
  11. Wojtaszczyk P., Woźniakowski K. Orthonormal polynomial bases in function spaces // Israel J. Math., 1991. vol. 75, no. 2/3. pp. 167-191. doi: 10.1007/bf02776023.
  12. Кашин Б. С., Саакян А. А. Ортогональные ряды. М.: АФЦ, 1999. 550 с.
  13. Chen W., Cai Z., Qi D. A New Class of Orthogonal Spline Moments and Its Application // J. Inf. Comput. Sci., 2013. vol. 10, no. 14. pp. 4563-4571. doi: 10.12733/jics20102141.
  14. Леонтьев В. Л. Ортогональные финитные функции и численные методы. Ульяновск: УлГУ, 2003. 178 с.
  15. Леонтьев В. Л. Вариационно-сеточный метод решения задач о собственных колебаниях упругих трехмерных тел, связанный с использованием ортогональных финитных функций // Изв. РАН. МТТ, 2002. № 3. С. 117-126.
  16. Леонтьев В. Л. Ортогональные сплайны и вариационно-сеточный метод // Матем. моделирование, 2002. Т. 14, № 3. С. 117-127.
  17. Леонтьев В. Л., Лукашанец Н. Ч. О сеточных базисах ортогональных финитных функций // Ж. вычисл. матем. и матем. физ., 1999. Т. 39, № 7. С. 1158-1168.
  18. Красильников А. Р., Леонтьев В. Л. О вариационно-сеточном методе теории пластин // Матем. моделирование, 2005. Т. 17, № 3. С. 23-34.
  19. Леонтьев В. Л., Риков Е. А. Интегральные преобразования, связанные с ортогональными финитными функциями, в задачах спектрального анализа сигналов // Матем. моделирование, 2006. Т. 18, № 7. С. 93-100.
  20. Леонтьев В. Л., Михайлов И. С. О построении потенциала взаимодействия атомов, основанном на ортогональных финитных функциях // Нано- и микросистемная техника, 2011. № 9. С. 48-50.

Statistics

Views

Abstract - 15

PDF (Russian) - 0

Cited-By


PlumX

Dimensions

Refbacks

  • There are currently no refbacks.

Copyright (c) 2015 Samara State Technical University

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies