К свойствам средних значений решений дифференциальных уравнений Текст научной статьи по специальности «Математика»

УДК 517, 517.9

К СВОЙСТВАМ СРЕДНИХ ЗНАЧЕНИЙ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

В.З. МЕШКОВ, И.П. ПОЛОВИНКИН

Воронежский государственный университет e-mail: polovinkin@yandex.ru

В рамках символического подхода к формулам средних значений предложен способ получения новых формул среднего значения для гармонических функций.

Ключевые слова: теорема о среднем, гармонические функции, дифференциальные уравнения.

Введение

Настоящая работа посвящена формулам среднего значения для решений линейных уравнений в частных производных, прежде всего, для уравнения Лапласа. В разных разделах и прикладных задачах под понятиями "формула среднего", "теорема о среднем" часто подразумевают несколько разнородные факты. Так или иначе, многообразные результаты для различных типов уравнений объединяет то, что в них участвует среднее (возможно, с весом) достаточно гладкой функции по некоторому множеству, чаще всего по сфере.

Теоремы о среднем для эллиптических уравнений наиболее широко известны. Базовым для использования в приложениях является следующий классическая теорема о среднем (см., напр.,[1]), восходящая к Гауссу: для того, чтобы непрерывная в области П с Еп функция -ц(х) была гармонической в П, необходимо и достаточно, чтобы для всякой точки х € П и всякого значения г > 0, такого, что замыкание шара В(х, г) = {¿; £ EI": )£ - х\ < г} вложено в Д, ее значение в точке х равнялось среднему по границе шара (по шару). Этот факт обобщается на эллиптические уравнения второго порядка. В работах В.А. Ильина и Е.И. Моисеева (см. [2] - [7]) устанавливались формулы среднего для эллиптических операторов более общего вида. Эти формулы использовались авторами при изучении вопросов, связанных со спектральным разложением по собственным функциям эллиптических операторов. Кроме того, теорема о среднем указанного типа переносится и на римановы многообразия (см. [8], [11]).

1. Понятие сопровождающего распределения оператора

Следуя [9], будем через K обозначать пространство финитных основных функций переменных х = (х1г...,хп) Е через S - пространство Шварца быстро убывающих основных функций, через K'.S' - соответствующие двойственные пространства распределений.

Через / будем обозначать преобразование Фурье распределения / £ S. Этим же символом f(w) мы будем пользоваться и для обозначения преобразования Фурье

- Лапласа распределения f с компактным носителем, представляющего собой в этом случае целую аналитическую функцию комплексной переменной w £ Cf1(cM. [10]). Далее, пусть

Dj = —і — , j = 1..........................................n. D = Xа = х”1 ...x“"

Всюду далее в этой работе предполагается, что мультииндекс а имеет неотрицательные целые координаты. Через 5я(х0) мы обозначаем сферу в К", через |5„| - площадь поверхности единичной сферы в П87*. Через ¿"(д1 — д0) обозначается мера Дирака, сосредоточенная в точке х0, через - мера Дирака,

сосредоточенная на сфере 5д(.т0).

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

Пусть Роднородный многочлен порядка т. Рассмотрим уравнение

Определение 1. Распределение Ф с компактным носителем назовем сопровождающим уравнение (1.1), если для любого решения и (д ) £ С™ (Кп ) имеет место равенство

>,и) = 0.

(1.2)

Будем также в этом случае называть распределение Ф сопровождающим оператор Р(Р) или, короче, сопровождением оператора Р{Р) и уравнения (1.1).

Отметим сразу же, что для любого многочлена Р(Г>) существуют тривиальные сопровождающие распределения вида (}(р)Р(р)6(х — х0), где

— л'о) - мера Дирака, сосредоточенная в точке х0, (¡>(1)) - произвольный многочлен. Между тем теорема о среднем для бесконечно дифференцируемых решений эквивалентна существованию некоторого нетривиального сопровождающего распределения.

Пример 1. Для уравнения колебаний струны

д2и д2и

имеет место следующее утверждение (теорема о среднем, или одномерный принцип Асгейрсона): для того, чтобы функция г((х.з7) Е С"(К2) являлась решением уравнения (1.3), необходимо и достаточно, чтобы для каждого прямоугольника, образованного прямыми х ±у = const, выполнялось равенство

где Mk = (*k,yk)(A' = 1,2,3,4) суть последовательно пронумерованные вершины этого прямоугольника.

В.З. Мешков. И.П. Половинкин. К свойствам средних... |ГГЯ 81

Подвергнув решение уравнения (1.3) более жесткому требованию 1 ) Е 1 :> ), нетрудно заметить, что необходимость равенства (1.4) эквивалентна утверждению о том, что распределение

П=у (-1Г ЩМ-МЛ (1.5)

где М = (х, у) Е К.2, является сопровождающим для уравнения (1.3).

Пример 2. Теорема о среднем для уравнения Лапласа имеет следующий вид: Для того, чтобы функция и £ С(1£п) являлась решением уравнения Лапласа

^ = ^=10=О.хбГ, (1.6)

необходимо и достаточно, чтобы для любого Я > 0 и для любой точки х0 Е имело место равенство

и(*о)=1—гп , > и(х) <¿5*, (1.7)

4 |5п |Я 5д(*о) 4 ' х у '

где - элемент площади поверхности сферы 5к(х0) с центром в точке х0 и радиусом й.

Отсюда непосредственно вытекает, что распределение

0-8)

является сопровождающим для оператора Лапласа Д.

Приведенных примеров достаточно, чтобы составить представление о предлагаемом здесь подходе к теоремам о среднем, связанном с сопровождающими распределениями, изучению которых мы уделим внимание ниже. Базовым результатом для нижеследующего повествования будет следующее утверждение, доказанное в [12].

Теорема 1. Для того, чтобы распределение Ф компактным носителем являлось сопровождающим уравнение (1.1), необходимо и достаточно, чтобы функция

VI» Є С” (1.9)

/>(№)' 4 ’

была целой аналитической.

2. О получении новых формул средних для гармонических функций.

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

Зададим некоторое сферически симметричное относительно заданной точки (без ограничения общности ее можно считать началом координат) распределение Е(х) с компактным носителем. Пусть - образ Фурье распределения 2(л). Наше предположение о сферической симметрии означает, что распределение 2(л) можно считать условно зависящим от г = \х\ =

■. В связи с этим мы будем пользоваться обозначением 2(г). Предположим также, что распределение 2(г) удовлетворяет условию четности по переменной г. В таком случае образ 2(¿о) представляет собой четную аналитическую функцию переменной

’п

■*=1

;■=... = * ^ ■: _ - ... -, которая может быть найдена с помощью применения к распределению Е(г) преобразования Ганкеля (см. [9]). Для этой функции мы будем использовать обозначение Е( ^). Разложим функцию 2(у) в степенной ряд:

£($) = а0 + £”=1

Теперь ясно, что целая аналитическая функция

делится нацело на £"2, то есть на символ оператора Лапласа. То, что функция Ф(у) представляет собой образ Фурье некоторого компактного распределения Ф(г), доказывается, как и при доказательстве теоремы 1. Впрочем, и без того ясно, что прообраз функции ФС?) будет иметь вид

Остается заметить, что

Таким образом, доказано следующее утверждение.

Теорема 2. Пусть распределение 3 (х) с компактным носителем удовлетворяет условиям сферической симметрии и четности по переменной

= - ■. = = ^ .. - . Тогда распределение

где

= 1)|

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

Пример 3.

Пусть

\х\2, если |х| < И.;

0, если |х| > к.

Тогда

п г-п _й '0

12 Б 2 'Г Г-

^2 _______г(

с1г

п:

где /у(г) - нормированная функция Бесселя первого рода порядка V, определенная формулой

■ ^ = ^ =

> + 1

(-1) тї2

‘т- 1 72тт<г^т + у+1 •

■) - гамма - функция Эйлера, /^С) - функция Бесселя первого рода порядка у,

Н

_ 2ТГ- (п гп-1(

г2) ¿г = |5„|

211’

п2+1п

Отсюда следует, что распределение вида

- .Vі

2>11;

п‘ + 2п

является сопровождением оператора Лапласа. Следовательно, имеет место формула среднего для гармонической функции вида

|5И

п-+2п

и (х<

Л.

ї-лсі |<Л

- г2 >00 ЛX.

3 Замечания об обращении теорем о среднем

Относительно обращения теорем о среднем можно заметить следующее. Пусть имеется некоторое семейство сопровождений оператора Р(й), зависящих от точки л® £ 1* и от некоторого параметра [I £ А. Обозначим через Ф.; л,(о) (х) сопровождение из этого семейства. Относительно множества Л мы будем предполагать, что имеет смысл предельный переход по этому множеству при ц —* ¡¿0, где - предельная точка множества А.

Теорема 3. Пусть функция и|

е с-

для каждого сопровождения

■: удовлетворяет соотношению

¡Л..Л ■ ■

= 0,

причем семейство сопровождений (х), £ [&п, {л £ Л удовлетворяет

условию

Иш Ф^ д-(о)(х) = Р(0)5(х - х(0)).

Тогда функция и(х) является решением уравнения

Доказательство. Из теоремы 1 следует, что Ф.( Л(о, (х) = Р(В)ф х(р, (л), где

- некоторое распределение с компактным носителем. Поэтому из условий теоремы получим:

Переходя к пределу при ц —*■ /iQ в этом равенстве, получим В силу произвольности точки х117 Е теорема доказана.

Список литературы

1. Гилбарг Д., Трудингер П. Эллиптические дифференциальные уравнения с частными производными второго порядка. - М.: Наука, 1989. - 464с.

2. Ильин В.А. О рядах Фурье по фундаментальным системам функций оператора Бельтрами // Дифференциальные уравнения. - 1969. - Т. 5, N 11. - С. 1940 - 1978.

3. Ильин В.А. Некоторые свойства регулярного решения уравнения Гельмгольца в плоской области // Математич. заметки. - 1974. - Т. 15, N 6. - С. 885 - 890.

4. Ильин В.А., Моисеев Е.И. Об одном обобщении формулы среднего значения для регулярного решения уравнения Шредингера. - ИПМ АН СССР, 1977. - С. 157 - 166.

5. Ильин В.А., Моисеев Е.И. Формула среднего значения для присоединенных функций оператора Лапласа // Дифференциальные уравнения. - 1981. - Т. 17, N 10. - C. 1908 - 1910.

6. Моисеев Е.И. Формула среднего для собственных функций эллиптического самосопряженного оператора второго порядка // Докл.АН СССР. - 1971. - Т. 197, N 3. - с. 524 - 525.

7. Моисеев Е.И. Асимптотическая формула среднего значения для регулярного решения дифференциального уравнения // Дифференциальные уравнения. - 1980. - Т. 16, N 5. - С. 827 - 844.

8. Хелгасон С. Дифференциальная геометрия и симметрические пространства. - М.: Мир, 1964. -534 с.

9. Гельфанд И.М., Шилов Г.Е. Обобщенные функции и действия над ними. - М.: Государственное издательство физико - математической литературы, 1958. - 440 с.

10. Хермандер Л. Анализ линейных дифференциальных операторов с частными производными. Т.1. - М.: Мир, 1986. - 464 с.

11. Иванов Л. А., Половинкин И. П. О некоторых свойствах оператора Бельтрами в римановой метрике //Доклады Академии наук РФ. - 1999, - Т. 365, N 3. - С. 306 - 309.

12. Мешков В.З., Половинкин И.П. К свойствам решений линейных уравнений в частных производных // Черноземный альманах научных исследований. Серия "Фундаментальная математика". - 2007. - Вып. 1 (5). - С. 3 - 11.

ABOUT PROPERTIES OF MEAN VALUES OF SOLUTIONS TO DIFFERENTIAL EQUATIONS

V.Z. MESHKOV, I.P. POLOVINKIN

Voronezh State University e-mail: polovinkin@yandex.ru

We derive new mean value theorems for harmonic functions by a symbolic method based on distribution theory.

Keywords: mean value theorem, harmonic functions, distribution theory,differential equations.