НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ВЛОЖЕНИЯ ТЕОРЕМЫ

ВЛОЖЕНИЯ ТЕОРЕМЫ - теоремы, относящиеся к циклу вопросов, посвященных изучению неравенств между нормами одной и той же функции, принадлежащей к разным классам (нормированным пространствам). Обычно речь идет о двух классах и 1, где есть часть (1), и при этом выполняется неравенство для всех f ∈ , где С - константа, не зависящая от f, а ||⋅||, ||⋅||1 - нормы соответственно в , 1. При указанных условиях говорят, что имеет место вложение в 1 или, что вкладывается в 1, и пишут 1. Исследования, связанные с В. т., составляют раздел теории функций, но главные направления в них развиваются под влиянием краевых задач математической физики, в частности прямых вариационных методов. В связи с этим в течение последних трех десятилетий создана стройная теория вложений классов дифференцируемых функций многих переменных.

К числу задач, решаемых В. т., относятся, напр., следующие. Пусть известно, что функция f имеет частные производные порядка l, вообще говоря, обобщенные (см. Обобщенная производная), интегрируемые в р-й степени на данной области Ω n-мерного пространства Rn. Спрашивается: 1) какое гарантированное число непрерывных производных имеет эта функция на Ω? 2) если область Ω имеет достаточно гладкую границу Г, то можно ли в том или ином смысле определить след φ(х) функции f в точках х ∈ Г, т. е. предельные значения f(u), когда u приближается к x, и какими гарантированными дифференциальными свойствами обладает этот след? При этом часто надо знать эти свойства настолько точно, чтобы наличие таковых у функции φ, заданной на Г, влекло возможность продолжения φ с Г на Ω так, чтобы продолженная функция имела на Ω обобщенные производные порядка l, интегрируемые в р-й степени. Из фактов, приводимых ниже, будет видно, что указанные пределы (понимаемые в смысле сходимости почти всюду) определения следа φ функции f и продолжения φ могут сопровождаться неравенствами между нормами f на Ω и Г, к-рые и применяются в теории краевых задач.

Многомерная теория вложений классов дифференцируемых функций возникла в 30-х гг. 20 в. в работах С. Л. Соболева в связи с решением задач математич. физики. Ему принадлежат основные В. т. для классов Wlp(Ω) (Соболева пространств), играющих важную роль в анализе. Функция f(x) = f(x1, ..., xn) принадлежит Wlp(Ω), 1 ≤ р ≤ ∞, l = 0, 1, ..., если она определена на Ω и для нее конечна норма

(1)

где

(2)

и сумма распространена на всевозможные (обобщенные по Соболеву) частные производные

(3)

порядка |k| = 1.

Основная теорема С. Л. Соболева (с дополнениями В. И. Кондрашова и В. П. Ильина) для случая Ω = Rn:

при условиях 1 ≤ m ≤ n, 1 < р < q < ∞, 0 ≤ k = l - 1/p + m/q справедливо вложение

(4)

где [k] - целая часть k.

При m < n это означает, что функция f ∈ Wlp(Rn) имеет след (см. ниже) на любой координатной гиперплоскости Rm размерности m,

и

где С не зависит от f (см. [6], [7]).

Функция f, заданная на Rn, имеет след на Rm, где Rm есть m-мерное (координатное) подпространство точек x = (x1, ..., xm, x0m+1, ..., x0n) с фиксированными x0m+1, ..., x0n, если f можно видоизменить на нек-ром множестве n-мерной меры нуль так, чтобы для видоизмененной функции, к-рая снова обозначается через f, имело место

(5)

Если есть множество функций f, заданных на Rn, то задача описания свойств следов этих функций на подпространство Rm(1 ≤ m < n) наз. проблемой следов для класса .

Теорема (4) является окончательной в терминах классов Wlp(Ω). Дальнейшее ее улучшение возможно лишь путем введения новых классов.

В одномерном случае n = m = 1, где проблема следов не возникает, теорема (4) принадлежит Г. Харди и Дж. Литлвуду (G. Hardy, J. Littlewood).

Следующим этапом в развитии этой теории являются теоремы вложения С. М. Никольского для обобщенных гёльдеровых классов (см. Гёльдерово пространство) (H-классов). Эти классы образуют шкалу с непрерывно меняющимися параметрами, характеризующими гладкость функций. Они анизотропны в том смысле, что принадлежащие к ним функции обладают, вообще говоря, разными дифференциальными свойствами по разным направлениям. Пусть Ωη есть множество точек х ∈ Ω, удаленных от границы Ω больше чем на η > 0, и пусть r = (r1, ..., rn) - положительный вектор (rj > 0; j = 1, ..., n), rj = r*j + αj, r*j - целое и 0 < αj ≤ 1.

Функция принадлежит классу f ∈ Hrp(Ω), 1 ≤ р ≤ ∞, если f ∈ Lp(Ω) и для любого j = 1, ..., m существует обобщенная частная производная

(6)

удовлетворяющая неравенству

(7)

где Δ2jh - вторая разность функции по переменной xj с шагом h и M - константа, не зависящая от h.

Класс Hrp(Ω) образует банахово пространство, если ввести норму

где Мf - наименьшая константа М, при к-рой выполняются неравенства (7). Для r1 = ... = rn = r соответствующий (изотропный) класс обозначается через Hrp. При целом l класс Hlp близок к классу Соболева Wlp с точностью до ε > 0 в том смысле, что

(8)

Справедливы теоремы вложения (С. М. Никольский)

(9)

где 1 ≤ р ≤ q ≤ ∞, 1 ≤ m ≤ n, ρ = (ρ1, ..., ρm),

(10)

где

(см. [5]).

Теорема (9) является анизотропным аналогом теоремы (4), но имеет то преимущество, что верхние (векторные) индексы r, ρ фигурирующих в ней классов могут изменяться непрерывно. Кроме того, она полностью охватывает случаи р = 1, ∞. Однако при א = 0 она, в отличие от (4), неверна. В одном случае (n = m = 1) при r и ρ не целых она доказана Г. Харди и Дж. Литлвудом.

Частный случай теоремы (9) при р = q записан еще раз в виде вложения (10) с верхней стрелкой. Оно гласит: функция f ∈ Hrp(Rn) имеет след f|Rm = φ на Rm и при этом

(11)

где С не зависит от f. Но справедливо и обратное утверждение, выражаемое нижней стрелкой, к-рое надо понимать в следующем смысле: каждая определенная на Rm функция φ ∈ Hρp(Rm) может быть продолжена на все пространство Rn так, что полученная функция f(х) (со следом на Rm, равным φ) принадлежит к Hrp(Rn) и выполняется неравенство (обратное к (11)):

где С1 не зависит от φ.

Взаимно обратные вложения (10) полностью решают проблему следов для H-классов и при этом в терминах H-классов.

Теорема (9) носит транзитивный характер, заключающийся в том, что переход

(12)

от первого класса в цепи (12) ко второму, а затем от второго к третьему, где параметры ρ', ρ'' вычисляются по указанным в (9) формулам, может быть заменен одним переходом от первого класса к третьему при непосредственном вычислении ρ'' по тем же формулам.

В дальнейшем (см. далее [14]) была решена проблема следов для W-классов, вообще анизотропных. Это привело к введению нового семейства классов дифференцируемых функций многих переменных Br(Rn), зависящих от векторного параметра r и двух скалярных параметров р, θ, удовлетворяющих неравенствам 1 ≤ р, θ ≤ ∞. Во всей полноте это семейство определил О. В. Бесов, изучивший также его основные свойства.

Функция f принадлежит классу Wlp(Ω), где l = (l1, ..., ln) - целый вектор, если для нее имеет смысл конечная норма

(13)

Функция f принадлежит классу Br(Ω), где r = (r1, ..., rn) - произвольный, не обязательно целый вектор, 1 ≤ р ≤ ∞, 1 ≤ θ < ∞, rj > 0, если для нее конечна норма

где числа r*j и αj определены выше.

Естественно считать, что класс Br при 0=∞ совпадает с классом Hrp(Brp∞ = Hrp). Обычно пишут еще Brpθ вместо Br, когда r1 = ... = rn = r и Brp = Brpp, Brp = Brpp. Для любых указанных р, θ, r классы r суть банаховы пространства.

Теоремы вложения (9), (10) верны, если в них заменить H на В. Имеют место также взаимно обратные вложения

(14)

где r - целое, 1 < р < ∞, rM = (r1, ..., rm, 0, ..., 0), полностью решающие проблему следов для W-классов, что не мешает выполняться взаимно обратным вложениям, выраженным полностью на языке B-классов:

(15)

Классы Br2 соответствующие значениям параметров p = θ = 2, принято еще обозначать через Wr2(Br2 = Wr2). При р = 2 вложения (14) записываются еще и так

(16)

Естественными продолжениями W-классов являются классы, в определении к-рых фигурирует понятие дробной производной по Лиувиллю (см. Дробное интегрирование и дифференцирование).

Употребляя терминологию обобщенных функций, можно задать основной класс Λ функций так, что построенный над ним класс Λ' обобщенных функций будет обладать следующими свойствами: 1) Lp(Rn) ⊂ Λ' при любом конечном р ≥ 0; 2) при любом l > 0, не обязательно целом, имеет смысл операция

(17)

где ψ̃, ψ̂ означают соответственно прямое и обратное Фурье преобразование ψ ∈ Λ'; 3) если l - целое и функция f ∈ Lp(Rn) имеет обобщенную по Соболеву производную Dljf ∈ Lp(Rn), то для нее имеет место равенство (17).

При дробных l на бесконечно дифференцируемых финитных функциях операция (17) совпадает с операцией дробного дифференцирования по Лиувиллю. Естественно называть Dljf при нецелом l дробной производной от f порядка l по хj.

Если теперь задан произвольный вектор l = (l1, ..., ln), то можно ввести пространство Llp(Rn), 1 ≤ р < ∞, совпадающее с Wlp(Rn) при целых l, заменив в (13) W на L.

Если l = l1 = ... = ln, то положим Llp = Llp. Семейство классов Llp(Rn), l > 0, 1 ≤ р < ∞, может рассматриваться как естественное расширение семейства Wlp(Rn) на дробное l, «естественное» потому, что с точки зрения интересующего нас круга идей классы Llp обладают «всеми достоинствами и недостатками классов Wlp». Если в формуле (4) (где [k] можно заменить на k), или (8) (где l может быть дробным), или в (14), (16) (где r может быть дробным) заменить W на L, то они останутся верными. Верной также останется формула (9), если в ней заменить Н на L даже при более широком условии א ≥ 0, однако в предположении, что 1 < р < q < ∞.

В дальнейшем продолжается применение аппарата обобщенных функций, но теперь уже составляющих пространство S'. Для любого действительного числа ρ имеет смысл операция (Бесселя-Макдональда):

обладающая свойствами: J0f = f, Jr+ρ = JrJρ, J-2l = ((1-Δ)', l = 0, 1, ..., где - оператор Лапласа.

Изотропный класс Lρp = Lρp(Rn), 1 < р < ∞, может быть определен еще как совокупность функций f, представимых в виде f = Jρφ, где функции φ пробегают пространство Lp = Lp(Rn) (Lρp = Jρ(Lp)), при этом, с точностью до эквивалентности,

Это определение класса Lρp годится и для отрицательных ρ, но в этом случае Lρp есть совокупность, вообще говоря, обобщенных функций (Lρp ⊂ S'). В частности, L0p = Lp.

Операция Jρ может служить средством и для определения классов Вrp∞ = Нrp). Именно, будем называть обобщенную функцию f регулярной в смысле Lp или принадлежащей к S'p, если найдется такое ρ > 0, что Jρ ∈ Lp. Всякую функцию f ∈ Вr = Brpθ(Rn), 1 ≤ ρ, θ ≤ ∞, Brp∞ = Hrp, можно определить как регулярную в смысле Lp функцию, представимую рядом

слабо сходящимся к f (в смысле S'), где q0 имеет спектр (носитель q̃0) в Δ0, a qs при s ≥ 1 имеет спектр в Δs+1s-1 и

Δs = {x; |xj| ≤ 2s; j = 1, ..., n},

и при этом

В частности,

Это определение класса Brpθ автоматически распространяется на случай r ≤ 0, и тогда функции f, входящие в эти классы, будут, вообще говоря, обобщенными (f ∈ S'). При этом Jr(B0p) = Brp, -∞ < r < ∞.

Существуют и другие эквивалентные определения отрицательных классов Вrpθ, основанные на принципе интерполяции функциональных пространств. Приведенное определение носит конструктивный характер -каждый заданный параметрами r, р, θ класс определяется независимо, при этом можно конструктивно определить линейные операции, при помощи к-рых по данной функции f ∈ S'p определяется функция qs (экспоненциального типа 2s+1 при s ≥ 1 и типа 1 при s = 0).

Справедлива теорема вложения:

типа теоремы (4), но с n = m, верная при любом действительном r для Λ = L, 1 < р < q < ∞ или для Λ = В, 1 ≤ p < q < ∞, 1 ≤ θ < ∞ или для Λ = Н, 1 ≤ р < q ≤ ∞.

С другой стороны, при r - (n - m)/р = 0 произвольная функция f ∈ Λrp(Rn), вообще говоря, не имеет следа на Rm(m < n), если не налагать на нее дополнительных условий.

Выше были сформулированы В. т. для классов функций, определенных на всем n-мерном пространстве Rn (см. [5]). Но для приложений важно иметь подобные теоремы для возможно общих областей Ω ⊂ Rn. В настоящее время выяснена геометрия, структура областей Ω, для к-рых верны указанные теоремы вложения для W-, В- и H-классов, где надо заменить Rn, Rm соответственно на Ω, Rm ∩ Ω. Для изотропных классов Wrp(Ω), Brpθ(Ω) область Ω должна удовлетворять условию конуса или, что равносильно, граница ее должна удовлетворять локально условию Липшица. Для анизотропных же классов Wrp(Ω), Brp(Ω) область Ω должна удовлетворять условию r-рога или изогнутого конуса (конуса условие) и это условие является в известном смысле необходимым (см. [2]).

Для приложений важна еще проблема о следах на m-мерных многообразиях Sm.

Для изотропных классов W, Н, В эта проблема решена полностью (см. [2], [16]), если Sm достаточно много раз дифференцируемо при r = r1 = ... = rn, в (14), (15) u (16) можно заменить Rm на Sm, а в (19), кроме того, можно заменить Н на В. В случае кусочно гладких Sm этот вопрос тоже в ряде случаев решен до конца ([16], [22]), условия, решающие проблему, выражаются, с одной стороны, указанными выше взаимно обратными вложениями на отдельных гладких кусках Sm, а с другой- специальными дополнительными условиями на поведение функций соответствующих классов на стыках этих гладких кусков. Существенно продвинута также проблема следов для анизотропных классов ([9], [21]). Здесь возникают особые затруднения характеристики следа в точках Sm, касательные плоскости к к-рым параллельны осям координат.

Остановимся еще на одной задаче. Пусть функция

где Λrp означает один из рассмотренных выше классов. Спрашивается, какие она имеет частные смешанные производные Dkf и каковы их свойства? Положительный ответ на этот вопрос зависит от величины

Именно, если f ∈ Λrp то существует частная производная Dkf, принадлежащая к пространству Λאrp при условии, что א > 0. В случае же пространств Lrp это условие можно расширить, считая א ≥ 0 (см. [5]).

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

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

где K - заданная константа, а Λ - один из рассмотренных выше классов, можно выделить последовательность {fm} функций и указать такую функцию f0 с нормой

что какова бы ни была ограниченная область G ⊂ Rn и вектор ε > 0

(см. [5]). В этой формулировке Rn может быть заменено на область Ω, если она имеет достаточно хорошую границу. Выше были рассмотрены только характерные классы функций и связанные с ними теоремы вложения, наиболее часто встреяающиеся в приложениях. В современных исследованиях большое внимание [2] уделяется классам более общим, где роль исходных частных производных Dkf, Dpjf играют более или менее произвольные дифференциальные операторы.

Изучаются еще так наз. весовые классы, характерным примером к-рых является класс Wr(Ω), определяемый следующим образом. Пусть ρ(x) есть расстояние от точки x до границы Г области Ω ⊂ Rn. Функция f принадлежит к Wr(Ω), r > 0, 1 ≤ р < ∞, если для нее конечна норма (см. [4], [12])

где

Приведем только один результат. Пусть Гm - достаточно гладкая граница m измерений; тогда

если r + α - (n - m)/р > 0, α < (n - m)/р, 1 < р < ∞.

Пример. Использование В. т. полностью решает вопрос об условиях на граничную функцию, при к-рых применим Дирихле принцип. Именно, понимая частные производные в обобщенном смысле и считая для простоты, что поверхность Г (граница трехмерной области) ограничена и дважды дифференцируема, задаем на Ω функцию f0 ∈ W12(Ω). Для нее Дирихле интеграл D(f0) < ∞ и, кроме того, по В. т.

f0 имеет след на Г (факт существования следа у f0 устанавливался при помощи более грубых В. т.). Обозначив через класс функций f ∈ W12(Ω), имеющих тот же след на Г, что и f0, f|Г = f0|Г = φ, можно сформулировать принцип Дирихле следующим образом: минимум D(f) среди функций f ∈ достигается для единственной функции и к тому же гармонической на Ω. Из приведенной В. т. следует, что принцип Дирихле применим тогда и только тогда, когда класс не пуст, т. е. когда граничная функция φ ∈ B1/22(Г).

При обосновании принципа Дирихле сначала доказывается существование и единственность функции u ∈ , а также тот факт, что u есть обобщенное решение задачи Дирихле, а затем при помощи специального метода последовательно устанавливается, что обобщенное решение принадлежит классам Wl2(ω), где l = 2, 3,..., а ω ∈ Ω - произвольный замкнутый шар. В частности, из того факта, что u ∈ W42(ω), на основании В. т.

(см. [2] и [5]) при n = m = 3, р = 2, q = ∞, r1 = r2 = r3 = 4) заключаем, что функцию u можно видоизменить на множестве трехмерной меры нуль так, чтобы полученная функция была дважды непрерывно дифференцируема на Ω. После этого легко доказывается, что u - гармоническая.

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

Лит.: [1] Сб. дифференциальные уравнения с частными производными, М., 1970, с. 38-63; [2] Бесов О. В., Ильин В. П., Никольский С. М., Интегральные представления функций и теоремы вложения, М., 1974; [3] Буренков В. И., Теоремы вложения и продолжения для классов дифференцируемых функций многих переменных во всем пространстве, в кн.: Итоги науки. Математический анализ. 1965, М., 1966; [4] Никольский С. М., «Успехи матем. наук», 1961, т. 16, в. 5, с. 63-114; [5] его же, Приближение функций многих переменных и теоремы вложения, М., 1969; [6] Соболев С. Л., Некоторые применения функционального анализа в математической физике, Л., 1950: [7] его же, Введение в теорию кубатурных формул, М., 1974; [8] Бесов О. В., «Труды Матем. ин-та АН СССР», 1961, т. 60, с. 42-81; [9] Бугров Я. С., «Сиб. матем. ж.», 1964, т. 5, № 5, с. 1007-26; [10] Ильин В. П., «Докл. АН СССР», 1954, т. 96, № 5, с. 905-8; [11] Кондратов В. И., там же, 1945, т. 48, с. 563-6; [12] Кудрявцев Л. Д., «Труды Матем. ин-та АН СССР», 1959, т. 55, с. 1-182; [13] Лизоркин П. И., «Докл. АН СССР», 1960, т. 132, № 3, с. 514-17; [14] его же, «Матем. сб.», 1963, т. 60, в. 3, с. 325-53; [15] Никольский С. М., «Труды Матем. ин-та АН СССР», 1951, т. 38, с. 244-78; [16] его же, «Матем. сб.», 1953, т. 33, в. 2, с. 261-326; 1957, т. 43, в. 7, с. 127-44; [17] Соболев С. Л., «Докл. АН СССР», 1935, т. 3, № 7, с. 291-4; [18] его же, «Матем. сб.», 1936, т. 1, в. 1, с. 39-72; 1938, т. 4, в. 3, с. 471-97; [19] Слободецкий Л. Н., «Докл. АН СССР», 1958, т. 118, в. 2, с. 243-6; [20] Успенский С. В., «Труды Матем. ин-та АН СССР», 1961, т. 60, с. 282-303; [21] его же, «Докл. АН СССР», 1965, т. 164, № 4, с. 750-2; [22] Яковлев Г. Н., «Труды Матем. ин-та АН СССР», 1961, т. 60, с. 325-49; [23] Gagliardo Е., «Rend Semin. matem. in-ta di Padova», 1957, t. 27, p. 284-305; [24] Hardy G. H., Lilttlewood J. E., «Math. Z.», 1928, Bd 28, №4, S. 612-34; [25] Lions J. L., Magehes E., Problemes aux limites non homogénes et applications, P., 1968, v. 1-2.

С. M. Никольский.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru