CC BY
36
МАТЕМАТИКА
www.volsu.ru
DOI: http://dx.doi.oгg/10.15688/j•volsu1.2015.1.1
УДК 517.951, 519.632 ББК 22.161, 22.19
ОЦЕНКА ПОГРЕШНОСТИ ВЫЧИСЛЕНИЯ ИНТЕГРАЛЬНЫХ ФУНКЦИОНАЛОВ С ПОМОЩЬЮ
___ о о ,
КУСОЧНО-ЛИНЕИНЫХ ФУНКЦИИ 1
Доктор физико-математических наук, заведующий кафедрой математического анализа и теории функций, Волгоградский государственный университет klyachin-aa@yandex.ru, matf@volsu.ru
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Аннотация. В настоящей работе вычисляется погрешность, с которой может быть подсчитан заданный интегральный функционал, если в качестве приближающих функций взять кусочно-линейную функцию над триангуляцией, построенной в области.
Ключевые слова: кусочно-линейная функция, аппроксимация функционала, триангуляция, степень погрешности, мелкость разбиения.
Клячин Алексей Александрович
Введение
Рассмотрим функционал, задаваемый интегралом
ю
о
сч
(1)
который определен для функций и € С*(П). Отметим, что уравнение Эйлера — Лагран ^ жа вариационной задачи для этого функционала имеет вид
к к ¡г к
ч
©
(2)
В случае, когда подынтегральное выражение С(х,и, Vu) = л/1 + |Уи|2, уравнением (2) является уравнение минимальной поверхности
^ Uxi 10
Другим примером является уравнение Пуассона Аи = f(х), которое соответствует функции С(х,и, V«) = IV«!2 + 2/(х)и(х).
В данной работе мы исследуем вопрос о степени аппроксимации функционала (1) кусочно-линейными функциями. К подобным задачам приводят вопросы сходимости вариационных методов ряда краевых задач [2;3;5]. Проблема заключается в том, что интеграл (1) должен быть вычислен с точностью не хуже чем 0(к2) при к ^ 0, где к — мелкость разбиения области на треугольники. Именно в этом случае удается показать равномерную сходимость кусочно-линейных решений. Однако производные непрерывно дифференцируемой функции приближаются производными кусочно-линейной функции с погрешностью первого порядка относительно диаметров треугольников триангуляции (см., например, [4]). Причем с повышением гладкости функции оценка не улучшается. И все-таки, как мы увидим ниже, нам удается показать, что значения интеграла (1) для функций из С2 приближаются с большей степенью точности, чем производные. Отметим также, что в работах [1;6] получены оценки погрешности вычисления площади поверхностей для триангуляции, построенной по прямоугольной сетке.
Дадим необходимые определения. Пусть задана многогранная ограниченная область О С И"". Рассмотрим произвольное разбиение этого многогранника на невырожденные тетраэдры Т\, Т2, ..., Т^ и пусть М\, М2, ..., Мт — все вершины этих тетраэдров. Будем предполагать, что ни одна из точек М^ не является внутренней точкой ни одной грани тэтраэдров. Через Г будем обозначать грани всех тетраэдров, I = 1, 2,...,Ь, а максимальный диаметр всех тетраэдров обозначим через к, то есть к = max ^атТд..
Для произвольного набора значений u\,u2,...,um определим кусочно-линейную функцию и : П ^ R так, что u(Mi) = Ui,i = 1,...,т и функция и(х) = р^х\ + ... + + Р^хп + bk на каждом тетраэдре Тк,к = 1,...,N. Данная функция будет непрерывной в Q ив каждом тетраэдре Тк определен ее градиент Vu = рк = const. Значение интеграла (1) для кусочно-линейной функции можно вычислить следующим образом
Для случая, когда С(х,и, V«) = С(у-и), можно обойтись без вычисления интеграла
1. Основные результаты
l<k<N
N
I (u) = I (p\...,pN ) = £ G(pk )v(Tk),
где v(Tk) — n-мерный объем тетраэдра Тк.
Так как векторы р1,...,ри однозначно определяются значениями и1,...,ит, то можем записать величину I (р\,...,р^) через переменные и = (и1, ...,ит). Действительно, значения переменных р1,...,рИ выражаются линейно через переменные и1,...,ит:
т
-к = У^ аи иг, к = 1,...,1\, I = 1,...,п.
Рк1 = Е ак иг, к =!,..., М, 1 = !,...,'
г=\
Числа акг однозначно определяются разбиением области О на тетраэдры Т 1,...,ТИ. Поэтому
I (и1,...,ит) = У^ С[У^акииг,...,^Гакпг иг) • и(Тк).
N / т т \
Е а[ Е aкlíuг,..., Е а-кг иг
к=1 \г=1 г=1 /
Пусть f € С2(О). Обозначим через fN кусочно-линейную функцию такую, что (Мг) = f (Мг),г = 1, 2,...,т. Пусть д1 = + — ). Следующее утверждение дает формулу определения погрешности приближенного вычисления функционала I(/).
Теорема 1. Предположим, что функция / € С2 (О) и fN — соответствующая кусочно-линейная функция. Тогда
N 1 п 1
1(1) — 1(П = Е/(I — ^)I \dtdx + {(/ — Г) Е (х,д\ Vgt)dtdS +
к=1Тк 0 эп г=1 0
к 1
+ Е [и — ^) Е (сь(х, ,V9t+) — (х,9-, V<f_№¿8, (3)
внутр. Г; Г г=1 0
где д\,д- — функция д1, рассматриваемая в двух тетраэдрах с общей гранью Г, причем д\ соответствует тому тетраэдру, для которого нормаль V является внешней.
Доказательство. Применяя формулу Гаусса — Остроградского, имеем
N Г
Iи) — I(Г) = Е / №, ^ V/) — с(х, ^, vfN)) =
N
£
к=1
N
£
к=1
к=1Тк
(/ — ^) ] Си(х,д\ Vgt)<И — Е(I — ^) I(Си(Х,д\ VgtЯ | ¿х \Тк \ 0 г=1 0
N „ п 1
+ Е/ V — ^) Е ^у (х, $, Vgt № =
к=1ЭТк г=1 0
(I — ^) I С'и(х,д\ Vgt № — Е а — ^) I (С'и (х,д\ Vgt ))'Хг Я | ¿х
1Тъ \ 0 г=1 0
+
+
N
+ Е /(/ - fN)£ щ\ ^ (х,д*, Vgt)dt+
к=1
an
i=l
+
(I - fN)E Ч \ (G't( (x>9\, - G'ü (x,g-, Vg-)dt
внутр. Г Г
i=l
где д+ ,дь_ — функции дь, рассматриваемые в тетраэдрах с общей гранью Г, причем д+ соответствует тому тетраэдру, для которого нормаль и является внешней. Таким образом, окончательно приходим к равенству
N
I (f )-I (fN ) = E (f -fN) Qtf ]dt+ E (f -fN )£ * Gl (x,9f, Vgt)dt +
k=l
Tk
гранич. ггГг
i=\
+ E (f - fN)J2 (Gi (x>9\, Vg\ - G'ü (x,g-, V- ))dt.
внутр. Гг ff
i=l
Применим доказанное равенство для оценки погрешности вычисления площади графика функции
I (/) = // ^/1+71 + Ж ^^
случае плоской области П С R2. Итак, пусть f Е С2(П). Положи
м
Mo = max Ц(х) |, Mi = max max | fXi (x) |, M2 = max max | fXiX (x) |.
Q i<j<2 Q i<i,j<2 Q
Тогда, так как в каждом треугольнике Тк градиент VfN постоянен, не сложно получить оценку
№
2 (1 + IW |2)^ - gl.gl,
Е
г,3=1
(1 + |V^|2)3/2
fx
< 24М?М2.
При этом мы учитываем, что |У/м| < М\. Далее ясно, что
1
Е'
г=1
ОXi
yrr|vT
dt
1.
Зафиксируем внутреннее ребро Г. Обозначим через Т+ и Т- треугольники, соприкасающиеся по этому ребру. Тогда на Гг выполнено Уд\ — Уд— = (V/м)|т+ — (V/м)|т_. Поэтому
Vg\
Vg-
л/1 + IV+12 V1 + IV-12
< 2\Vgt+ - Vg-I < 2I(VfN)|r+ - (V/w)|r_|.
cN\
1
1
1
1
1
в
Воспользуемся результатами работы [4]. Там показано, что градиенты функции fN и f удовлетворяют неравенству
1 /2
IV/ — VI" |< к(2 + ц =и1+-У1+^2 М , (4)
2 \ г ап I
где <^0 > 0 — минимальный острый угол в треугольниках триангуляции (если >^0 = ж/2, то считаем ^ =1). Тогда
(9*+к (д- к
VI + № I2 VI + 12
< 4к(2 + ц)М2.
Положим С1 = 4(2 + ^)М2. Применяя приведенные неравенства к равенству (3), получаем
II(^) — I(I)| < шах |^ — f Ц241О1М2М2 + |5О| + пС\к £ 1ГI],
внутр. Г;
где |О| — площадь фигуры О, а |5О| — ее периметр. Мы можем предположить, что
триангуляция обладает таким свойством, что найдется постоянная С2, независящая от
к, для которой |Г| к < С2. Таким образом, мы приходим к неравенству
внутр. Г;
(fN) — Iи)|< Сз шах — f I
где
С3 = 24|О|M2M2 + |Ш| + пС\С12.
;мулы хейлора, что |/
образом окончательно приходим к оценке
Далее не сложно доказать с помощью формулы Тейлора, что |/N — f | < 2М2к2. Таким
|/(Г) — I(I)|< 2М2Сзк2. (5)
Замечание. Пусть О = [а, Ь] х [с,в\ и а = х0 < х1 < • • • < хт = Ь, с = у0 < у1 < < • • • < ут = Л, где хг = а + г(Ь — а)/т, у^ = с + ](в, — с)/т. Тогда О разбивается на прямоугольники О^ = [хг,хг+1] х [у^,Уj+1], 0 < г < т — 1, 0 < ] < т — 1. Далее разделим каждый такой прямоугольник правой или левой диагональю. Тогда
_ 1
^0 = ъ/2, С12 =-Б((Ъ — а) + (й — с)) + И2 < Б (Б + Р/2),
т
где И = с)2 — длина диагонали прямоугольника, а Р = 2(Ь — а + й —
— с) — его периметр.
ПРИМЕЧАНИЕ
1 Работа выполнена при финансовой поддержке РФФИ, проект № 15-41-02517-р_по-волжье_а.
СПИСОК ЛИТЕРАТУРЫ
1. Гацунаев, М. А. Приближенное вычисление площади поверхности / М. А. Гацунаев // Материалы Научной сессии, г. Волгоград, 26-30 апр. 2010 г. Математика и информационные технологии. — 2010. — Вып. 6. — C. 66-70.
2. Канторович, Л. В. Приближенные методы высшего анализа / Л. В. Канторович. — М. : Наука, 1950. — 696 с.
3. Клячин, А. А. О равномерной сходимости кусочно-линейных решений уравнения минимальной поверхности / А. А. Клячин, М. А. Гацунаев // Уфим. мат. журн. — 2014. — № 6 (3). — C. 3-16.
4. Клячин, В. А. С 1-аппроксимация поверхностей уровня функций, заданных на нерегулярных сетках / В. А. Клячин, Е. А. Пабат // Сиб. журн. индустр. мат. — 2010. — № XIII (2). — C. 69-78.
5. Михлин, С. Г. Вариационные методы в математической физике / С. Г. Михлин. — М. : Наука, 1970. — 512 с.
6. Floater, M. S. Extrapolation methods for approximating arc length and surface area / M. S. Floater, A. F. Rasmussen, U. Reif // Numerical Algorithms. — 2007. — Vol. 44, iss. 3. — P. 235-248.
REFERENCES
1. Gatsunaev M.A. Priblizhennoe vychislenie ploshchadi poverkhnosti [Approximate calculation of the surface area]. Materialy Nauchnoy sessii, g. Volgograd, 26-30 apr. 2010 g. Matematika i informatsionnye tekhnologii, 2010, iss. 6, pp. 66-70.
2. Kantorovich L.V. Priblizhennye metody vysshego analiza [Approximate methods of higher analysis]. Moscow, Nauka Publ., 1950. 696 p.
3. Klyachin A.A., Gatsunaev M.A. O ravnomernoy skhodimosti kusochno-lineynykh resheniy uravneniya minimalnoy poverkhnosti [On uniform convergence of piecewise linear solutions of the minimal surface equation]. Ufim. mat. zhurn. [Ufa Mathematical Journal], 2014, no. 6 (3), pp. 3-16.
4. Klyachin V.A., Pabat E.A. C1 -approksimatsiya poverkhnostey urovnya funktsiy, zadannykh na neregulyarnykh setkakh [C1-approximation of the level surfaces of functions defined on irregular grids]. Sib. zhurn. industr. mat. [Journal of Applied and Industrial Mathematics], 2010, no. XIII (2), pp. 69-78.
5. Mikhlin S.G. Variatsionnye metody v matematicheskoy fizike [Variational methods in mathematical physics]. Moscow, Nauka Publ., 1970. 512 p.
6. Floater M.S., Rasmussen A.F., Reif U. Extrapolation methods for approximating arc length and surface area. Numerical Algorithms, 2007, vol. 44, iss. 3, pp. 235-248.
ERROR ESTIMATE CALCULATION OF INTEGRAL FUNCTIONALS USING PIECEWISE LINEAR FUNCTIONS
Doctor of Physical and Mathematical Sciences, Head of Department of Mathematical Analysis and Function Theory, Volgograd State University klyachin-aa@yandex.ru, matf@volsu.ru
Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation Abstract. Consider the functional given by the integral
defined for functions u e C C(Q). Note that the Euler — Lagrange equation of the variational problem for this functional has the form
Where G(x,u, Vu) = \J\ + |V«|2. Equation (2) is the equation of a minimal surface. Another example is the Poisson equation Au = f (x), which corresponds to the function G(x,u, Vu) = |V«|2 + 2f(x)u(x).
Next, we examine the question of the degree of approximation of the functional (1) by piecewise linear functions. For such problems lead the convergence of variational methods for some boundary value problems. Note that the derivatives of a continuously differentiable function approach derived piecewise linear function with an error of the first order with respect to the diameter of the triangles of the triangulation. We obtain that the value of the integral (1) for functions in C2 is possible to bring a greater degree of accuracy. Note also that in [1;6] estimates the error calculation of the surface triangulation, built on a rectangular grid.
Key words: piecewise linear functions, approximation of functional, triangulation, degree of error, fineness of partition.
Klyachin Alеksеy Ateksandrovich
(1)
Q[u] =Y1 (X,U' Vu)) 1; - G'"'(X,U' Vm) = 0
(2)
