Функция, представляющая функционал погрешности кубатурной формулы в пространстве Соболева Текст научной статьи по специальности «Математика»

УДК 517.988.8

ФУНКЦИЯ, ПРЕДСТАВЛЯЮЩАЯ ФУНКЦИОНАЛ ПОГРЕШНОСТИ КУБАТУРНОЙ ФОРМУЛЫ В ПРОСТРАНСТВЕ СОБОЛЕВА

И.В. Корытов

Томский политехнический университет E-mail: korytov@tpu.ru

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

Ключевые слова:

Кубатурная формула; функционал погрешности; негильбертово пространство; представление функционала; локально суммируемая функция.

Key words:

Cubature formula; error functional; non-Hilbert space; representation of functional; locally summable function.

Введение

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

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

В.И. Половинкина, Ц.Б. Шойнжурова [1-6].

С.Л. Соболев выполнил построение представления функционала погрешности кубатурной формулы для пространства Ь2т) - факторизации по множеству полиномов степени не выше т пространства функций, суммируемых вместе со всеми производными в степени 2. Пространство благодаря показателю р=2 является гильбертовым, и функция, реализующая в нем функционал, принадлежит тому же пространству, что и функция, на которой данный функционал строится. Первые публикации на эту тему в настоящее время доступны в издании [1].

В.И. Половинкин занимался исследованием этого вопроса в пространстве с произвольным показателем суммируемости Ьр{т), 1<р<да. Показатель рф2 переводит пространство Соболева и его факторизацию в статус негильбертовых. Реализующая представление функция в таком случае принадлежит пространству с сопряженным показателем суммируемости Ь11т), 1/р+1/#=1. Некоторые из результатов приведены в работах [3-5]. Во всех упомянутых выше исследованиях дифференциальное уравнение было полигармоническим Ат=1, и его фундаментальное решение, дифференциальные свойства, а также оценки производных в окрестности начала координат и на бесконечности описаны в [2].

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

го уравнения было известным. Ц.Б. Шойнжуров получил представление функционала в пространстве Соболева, введя норму, построенную на преобразовании Фурье известного фундаментального решения [6]. Таким образом, построенный на интегральном преобразовании оператор, указывающий наличие в составе нормы производных основной функции заданных порядков, является псевдо-дифференциальным.

В данной работе в отличие от [6] норма определена таким образом, что при ее построении не используются псевдодифференциальные операторы.

Исходные положения

Основные функции ф(х) нескольких действительных переменных хт=(х1,...,хп) образуют пространство Соболева Wp{m)(Rn) с нормой

Ч К )|| =

N

и(т)‘

I т

= 1 Г V-

т!

К *=о к!(т - к)! ^ а!

і/р

(1)

Функционал погрешности кубатурной формулы

{/,ф) = \{ха <х) -2сЖх - х< к))\у(х)к

Яп ^ к = 0 *

является финитным: Зг>0:яирр^сВ(а,г). Здесь В(а,г) - шар с центром аеЯп и радиусом г; ск - коэффициенты и х(к) - узлы кубатурной формулы; 5(х) - дельта-функция Дирака. Область интегрирования ограничена ЯсВ(а,г) и представлена в функционале характеристической функцией

Г1, х еЯ,

Хя <х) = \п

[0, х £О.

На параметры пространства Wpim)(Rn) накладываются ограничения

рт > п, 1 < р <да, 1/ р +1/ # = 1. (2)

Первое из них обеспечивает вложение пространства Соболева с нормой (1) в пространство непрерывных функций, второе - равномерную выпуклость единичной сферы.

Локальная суммируемость функций предполагает суммируемость на любом подмножестве О* ограниченного множества QcRn. Известно [7], что всякая глобально суммируемая в Я функция является также и локально суммируемой. Сказанное верно и в случае, если область глобальной суммируемости расширяется до Rn.

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

ние может быть неизвестным за пределами этой области. В таком случае утверждения, доказанные в данной работе, будут верными и для таких функций, если рассматривать их как совпадающие на области интегрирования с функциями, определенными на Rn и принадлежащими Wp(m)(Rn) с минимальной нормой (1).

Существование представляющей функции

В данном пункте будет показано, что представление функционала существует и реализуется некоторой функцией, локально суммируемой в степени q вместе со всеми своими частными производными.

Теорема 1. Существует функция /еWiim)(Rn), реализующая на произвольной функции /еWp{m)(Rn) с нормой (1) при условиях (2) данный линейный функционал в виде

т т] 1г\

(1 >*)= Л,,< •,I-гЪа/В>Л. (3)

д'*=0 к,(т - к), а,

Норма функционала при этом равна норме функции // ||г|Wp(m)*(R„)||=||/Wi(m)(R„)||.

Доказательство. Последовательное применение неравенств Гельдера к выражению (3)

( \1/5

м<>/Г«ч «

I т

"О.:

т!

■X — I £>| Рск

і/р

,'к=0 к ,(т - к), |а|=к а,' приводит к оценке

|(/,ф|/|т)<я )||\\v\wpт)<Д )||,

что означает, во-первых, ограниченность функционала, во-вторых, необходимость принадлежности функции / пространству Wi(m)(Rn), откуда

>(«,

З <|И Ит'(«, )|-

Далее, поскольку правая часть неравенства не зависит от функций (pеWpim)(Rn), и неравенство верно для всех таких функций, то

Бцр

N^0

<^1 Ит)(й- ^

что согласно определению нормы функционала дает

||/|^<т)* < Яп )|| <|/| )||. (4)

Для построения обратного неравенства предположим существование функции 0, удовлетворяющей равенствам

|1/( р-і)

Бав = \Оащ бі§пВау, У|а < т.

(5)

Функционал, формально построенный на такой функции, будет равен

m

т= jx

X —1 DayDa6dx -

m

- jx

lk=0 k!(m - к)!\а=к а

» \ к! а I а |1/(Р—1) а

X— D у |D у sign D уdx -

к!(m - к)!|Opk а!

m

-JX

"0 к!(m - к)!а-к а!

V к! In а II Г>а |1/( Р—1) J X— D у D у dx -

m

jX

m!

'V к! In а

X тгD у

I p/(p-i)

к!(m - к)!а-к а!

dx -

-JX

Я,к=0 m к

m!

X-71D>|qdx = ||y|Wq(m>(R)||q. (6)

Ri=0 к!(m - к)!^ а!

Согласно (5)

I IP-1 i i

D>- |D“0| signD“0, У\а\< m.

Известно [2], что для любой feLp, 1<p<<», 1/p+1/q=1, функция |/lp-1sign/eLq.

Так как уeW^(m), то DyeLq, следовательно, DcieeLp, а<т, и 0eWp(m).

Таким образом, для нормы функции в, в предположении, что эта функция существует, верно равенство

ew < R )1' = j X X £

- Гу m! у к\_

к-о к!(m - к)!|^-к а!

!

X —IDа e\Pdx -

|1/( р-1)

D а у sign D а у

dx -

-

m!

v к! I г, а I р/(р-1) ,

IX X — D у dx —

I к-о к!(m - к)!|а ^ а!1 1

— |у| Wq(m)(R )||q .

(7)

A m)H

' Р

(Rn )||

m )( R

Kl,e)l

(m)

(Rn )|

Wq(m)(Rn )

|/| ^<т)<Яп )||5

Получилось неравенство, обратное к (4), следовательно,

\Щт)* < Яп )|| = |/| ^<т )< я, )||.

Теорема доказана.

Единственность представляющей функции

Теорема 2. Функция, реализующая представление (3) в условиях теоремы 1, единственна в пространстве обобщенных функций и имеет вид

/ = О * /, (8)

где О - фундаментальное решение дифференциального оператора с постоянными коэффициентами

X-

m!

_(-1)к X к1D2а. к—0 к!(m - к)!( fa а!

Доказательство. Интегрирование по частям представления (3)

m

<'. W-jX

m!

к!

(-1)к X— D2a усрск

Кпк-о к!(m - к)! \а—к а!

Далее будем рассматривать интегралы из (7), т. е. р и i степени (р>1 и i>1, 1/р+1^=1) норм функций в основных пространствах как нелинейные функционалы, заданные на этих пространствах

Р</) =|/К<т)<Яп )||' , О<g) = |* ^ )<Яп )|[ .

Покажем, что для непрерывного ограниченного функционала существует функция, для которой выполняются соотношения (5)-(7) при всех значениях мультииндекса.

Пусть /к - последовательность функций из пространства Wp(m)(Rn), сходящаяся по норме к функции /, т. е. |/к-/||^0, к^да. Тогда из неравенства Минковского в аксиомах нормы следует

// ||/к||р-||/1|р|<|1/к“./1|р^0, к^да, что означает непрерывность функционала ¥(/). Его ограниченность следует из конечности нормы. Из сказанного видно, что равенство функционалов равносильно равенству функций, на которых они определены.

Далее из оценки функционала

|(/,0>|< |/|^(т)*)|| \0\wf ЧЯп )|| с учетом (6) и (7) следует

приводит к дифференциальному уравнению в обобщенных функциях

X-----т----<-1)к X — Ъ2 а / = /.

х к,<т - к),< ),х а,

Оператор уравнения линеен и имеет постоянные коэффициенты. Согласно [8] решение такого уравнения единственно в пространстве обобщенных функций и равно свертке его фундаментального решения с правой частью, что доказывает утверждение теоремы.

Фундаментальное решение определяется из уравнения

X

m!

^ -<-1)к X — Ъ2 а О = 8,

к,<т - к),< )|х а, ,

к обеим частям которого применено преобразование Фурье

X

m!

к!

(-1)к X :(-2^/z)2а F[G] - F[5],

к-о к!(m - к)! а-к а!

что после цепочки упрощений левой части

X-

m!

! |2 ^

!|£|2^/ZjI I F[G] - 1.

к-о к !(m - к).

(1 + |2rcz|2) mF [ G ] - 1 приводит к выражению

G - F-1[(1 + |2^z|2)-m].

Результат обратного преобразования Фурье полученного выражения известен и приведен в [9]. Подставив значение показателя т, сохраняя обозначения и учитывая, что аргументом искомой

функции выступает N = л х2’ получим фунда-

7=1

ментальное решение в виде

С(х) = ^ (|х|) =

к

А х1)

2т-1 Г (т) х'

В выражении присутствуют специальные функции: Кг(г) - функция Макдональда и Г(г) -гамма-функция.

Из теоремы следует, что искомая функция единственна как обобщенная функция, и, что если она будет регулярной, то будет единственной и в классе локально суммируемых функций.

Локальная суммируемость представляющей

функции

Теорема 3. Функция (8) в условиях (2) принадлежит пространству Wiim)(Rn) с нормой вида (1).

Доказательство. Для доказательства требуется установить суммируемость в степени q частных производных всех порядков | а|<т свертки (8). Вначале докажем это утверждение для производных функции О2т.

На основании оценок [9]

Ра 02\ < Се

-|х| |х|(2т-,-1)/2

х > 1,

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

Оценка внутри единичного шара разбивается на три случая.

При п-2т+|а|=0 и четном | а| несобственный интеграл от оценивающей функции

|Ъ аО2т\ < С<1 - 1п|х|), |х| < 1,

сходится.

При n-2m+|а|<0 интеграл от оценки

|Ъ аО2т| < С, |х| < 1,

является собственным.

При п-2т+| а|=0 и п-2т+| а|>0 несобственный интеграл от оценки

1

нечетном | а| или

возведенной в степень д

- 2т+| а\ ’

х < 1,

1

^х,

< С Г ,

|х| <1 х <1 |х|

сводится к однократному путем перехода к сферическим координатам

1

-2т +|а

1

і (, - 2т + |я | )? -, + 1

Ф. (9)

Здесь в константу К перешли все повторно взятые интегралы от тригонометрических множителей. Несобственный интеграл от неограниченной функции одной переменной сходится на указанном интервале при (п-2т+| а|) q-n+1<1.

Учитывая, что q =

Р -1

получаем сходимость

интеграла, оценивающего каждую производную при условии р(2т-| а|)>п. Следовательно, интегралы от производных наивысшего порядка функции О2т оцениваются сходящимся несобственным интегралом при рт>п.

Для установления суммируемости свертки используется ограниченность линейного функционала в ^ [2]

* / К (К,

= Л Ъ а О2т * /|?^х < М ЛЪа О^Л. я

Таким образом, для всех | а|<т интегралы от производных свертки, возведенных в степень q, сходятся прирт>п, следовательно ЛаО2т*1еЬ^п),

| а|<т, и О2m*lеW^m)(Rn), т. е. свертка и ее производные всех порядков локально суммируемы в степени q.

Теорема доказана.

Заключение

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

х

СПИСОК ЛИТЕРАТУРЫ

1. Соболев С.Л. Избранные труды. Т. 1. Уравнения математической физики. Вычислительная математика и кубатурные формулы. - Новосибирск: Изд-во Ин-та математики, Филиал «Гео» СО РАН, 2003. - 692 с.

2. Соболев С.Л. Введение в теорию кубатурных формул. - М.: Наука, 1974. - 707 с.

3. Половинкин В.И. Реализация линейных функционалов из ^‘*(0) // Сибирский математический журнал. - 1995. -Т. 36.- №1. - С. 156-158.

4. Половинкин В.И. Реализация функционалов на пространствах 1"(Е„) // Сибирский математический журнал. - 1997. -Т. 38.- №1. - С. 166-172.

5. Половинкин В.И. Формула для функций, реализующих функционалы // Сибирский математический журнал. - 2001. -Т. 42. - №4. - С. 920-925.

6. Шойнжуров Ц.Б. Теория кубатурных формул в функциональных пространствах с нормой, зависящей от функции и ее производных: дис. ... д-ра физ.-мат. наук. - Улан-Удэ, 1977. - 235 с.

7. Соболев С.Л. Некоторые применения функционального анализа в математической физике. - М.: Наука, 1988. - 336 с.

8. Владимиров В.С. Уравнения математической физики. - М.: Наука, 1988. - 512 с.

9. Никольский С.М. Приближение функций многих переменных и теоремы вложения. - М.: Наука, 1977. - 456 с.

Поступила 23.05.2013 г.

УДК 519.87

О ПОСТРОЕНИИ МНОГОМЕРНЫХ ЦИРКУЛЯНТНЫХ ГРАФОВ ДИАМЕТРА ДВА

Э.А. Монахова

Институт вычислительной математики и математической геофизики СО РАН, г. Новосибирск

E-mail: emilia@rav.sscc.ru

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

Ключевые слова:

Неориентированные циркулянтные сети, графы Кэли абелевых групп, циркулянтные графы диаметра два, нижние оценки достижимого числа вершин.

Key words:

Undirected circulant networks, Abelian Cayley graphs, circulant graphs of diameter two, lower bounds of a number of nodes.

Введение

Пусть в1,в2,.,вк, п - целые числа такие, что 1<81<82<...<8к<п, и пусть 5={81,82,.,8к). Неориентированный граф С(п;Б) с множествами вершин 7={0,1,...,п-1} и ребер Е^^^у.^-з^з^тод.п), 1=1,к} называется циркулянтным, числа из множества 5 - образующими, к - размерностью, п - порядком графа. В к-мерном циркулянте степень вершин v=2k, за исключением тех случаев, когда образующая представляет собой циклическую подгруппу порядка два.

Циркулянтные графы (сети) являются графами Кэли абелевых групп и находят широкое применение при построении и анализе топологий сетей и мультипроцессорных систем, в теории кодирования, распределенных вычислениях, моделировании химических реакций [1-7].

Диаметром графа О называется

ё <О) = тах ё </, у),

У еК

где й(1,]) - длина кратчайшего пути из вершины I в вершину ] графа О.

Пусть АС(„,й) означает наибольший возможный порядок графа Кэли абелевой группы степени

V и диаметра й. В последнее время границы АС(„,й)интенсивно изучаются (обзор в [8]). Исследование циркулянтных графов как важного класса графов Кэли абелевых групп вносит существенный вклад при поиске нижних границ АС(„,й). Так, для степеней 4 и 6 получены точные значения АС(4,й)=2й2+2й+1 и АС(6,й) (обзор в [3]), для степени 8 также найдены хорошие оценки для АС(8,й) [9]. В работах [3, 10, 11] улучшены нижние оценки функции АС(„,й) для любых четных степеней V и диаметров й>„/2>3 [10], й>„/2+[_„/8] и v>8 [3], в [11] - на основе получения семейств экстремальных графов Кэли абелевых групп и при условии й>[_„/4_|. Удивительно, но с другой стороны спектра, для графов Кэли абелевых групп диаметра два, трудности в получении нижних оценок функции АС(„,2) крайне сложны, а циркулянты диаметра два вообще еще не исследовались. Данная работа - первое исследование функции АС(„,2) для класса циркулянтов.

Известно, что для четных степеней v=2k

ЛСО,2) < V2/2 + V +1 = 2к2 + 2к +1.

С другой стороны, из построения графа Кэли для Ж(„+2)/дхЖ-(„+2)/2| с множеством образующих, со-