Все выпуски

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

Получено альтернативное представление для невязки, представляющее собой положительно определенную квадратичную форму от новых конечных разностей, заданных на границе. Элементы матрицы формы выражаются через многочлены Чебышёва, матрица обратима и такова, что обратная матрица имеет трехдиагональный вид. Эта особенность позволяет получить для спектра матрицы верхние и нижние оценки, не зависящие от размерности N. Данное обстоятельство позволяет провести исследование на качество аппроксимации для разных размерностей N и весовых коэффициентов ω∈[-1,1]. Показано, что наилучшее приближение дает параметр ω=0, а невязка стремится к нулю с ростом N.

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

Получено альтернативное представление для невязки, представляющее собой сумму двух положительно определенных квадратичных форм от новых конечных разностей, заданных на границе. Матрица первой формы имеет второй порядок и очевидный спектр. Элементы второй матрицы порядка N + 1 выражаются через многочлены Чебышева, матрица обратима и такова, что обратная матрица имеет трехдиагональный вид. Эта особенность позволяет получить для спектра матрицы верхние и нижние оценки, не зависящие от размерности N. Данное обстоятельство позволяет провести исследование на качество аппроксимации для разных размерностей N и весовых коэффициентов ω ∈ [−1, 1]. Показано, что наилучшее приближение дает параметр ω = 0, а невязка стремится к нулю с ростом N.

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