Научная статья на тему 'Нижняя оценка константы Харди для произвольной области в ℝ n'

Нижняя оценка константы Харди для произвольной области в ℝ n Текст научной статьи по специальности «Математика»

CC BY
117
15
Читать
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОНСТАНТА ХАРДИ / НИЖНИЕ ОЦЕНКИ / НЕРАВЕНСТВА ХАРДИ / ВАРИАЦИОННЫЕ НЕРАВЕНСТВА / HARDY CONSTANT / LOWER BOUNDS / HARDY INEQUALITIES / VARIATIONAL INEQUALITIES

Аннотация научной статьи по математике, автор научной работы — Шафигуллин Ильнар Касыймович

Рассмотрена гипотеза Е.Б. Дэвиса о равномерной нижней оценке константы Харди. Приведены известные на данный момент контрпримеры, которые опровергают данную гипотезу в размерностях выше или равных 4. В работе получены отличные от нуля нижние оценки константы Харди. Данные оценки являются точными по порядку, при n → ∞, где n размерность пространства. Более того, оценки не зависят от свойств рассматриваемой области и справедливы для любых областей, не совпадающих со всем пространством. В доказательстве основной теоремы используется сведение многомерного случая к одномерному путем подбора специальных классов функций. В результате рассматриваемые неравенства сводятся к хорошо известному неравенству Пуанкаре.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
Предварительный просмотр
i Надоели баннеры? Вы всегда можете отключить рекламу.

Lower bound for the Hardy constant for an arbitrary domain in ℝn

In the paper we consider the conjecture by E.B. Davies on an uniform lower bound for the Hardy constant. We provide the known counterexamples rebutting this conjecture for the dimension 4 and higher. In the work we obtain non-zero lower bounds for the Hardy constants. These estimates are order sharp as n → +∞, where n is the space dimension. Moreover, these estimates are independent of the properties of the considered domains and are true for all domains not coinciding with the entire space. In the proof of the main theorem we reduce the multidimensional case to the one-dimensional case by choosing special classes of functions. As a result, the considered inequalities are reduced to the well-known Poincarщ inequality.

Текст научной работы на тему «Нижняя оценка константы Харди для произвольной области в ℝ n»

ISSN 2074-1863 Уфимский математический журнал. Том 9. № 2 (2017). С. 104-111.

УДК 517.5 517.9

НИЖНЯЯ ОЦЕНКА КОНСТАНТЫ ХАРДИ ДЛЯ ПРОИЗВОЛЬНОЙ ОБЛАСТИ В Rn

И.К. ШАФИГУЛЛИН

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

Ключевые слова: константа Харди, нижние оценки, неравенства Харди, вариационные неравенства.

Mathematics Subject Classification: 26D15

1. Введение

Пусть область П С Кга, П = Кга, Через 8(х) обозначим расстояние до границы области, а именно:

5(х) = т£ \х — у\. к 1 Уедп 1 У|

С учетом введенных определений рассмотрим неравенство типа Харди

Г и Н12

52(х)

dx < сп(Q) \Vf(х)\2 dx V/ е СКП), (1.1)

где С1(П) — множество непрерывно дифференцируемых функций с компактным носителем на Q, a cn(Q) — наименьшая из постоянных, возможных в этом неравенстве для заданной области Q = Rra,

Через сп обозначим наибольшую величину, которая ограничивает снизу константу Харди в приведенном выше неравенстве, а именно:

г IfWl2 Ат J ¿2(x) UX

cn = inf cn(Q) = inf sup n

QcRn,n=Rn ПУ ' QcRn,n=Rn feCi(n)J£0 f Vf (x)\2 dx

0 (

П

I.K. Shafigullin, Lower bound for the Hardy constant for an arbitrary domain in R". © Шафигуллин И.К. 2017.

Работа выполнена при поддержке Российского фонда фундаментальных исследований (Грант РФФИ № 14-01-00751).

Поступила 19 мая 2016 г.

Очевидно, что сп > 0, Оценкой данной величины занимались многие математики. Наиболее полно изучены одномерные неравенства типа Харди, Так, например, хорошо известно, что при п = 1 из классических результатов Харди следует, что

Более того, им было показано, что константа является недостижимой, то есть не существует экстремальной функции $ ф 0, для которой интегральное неравенство превращалось бы в равенство с константой с1 = 4,

Следует отметить, что исследование одномерных неравенств типа Харди охватывает гораздо больше вопросов, нежели оценка величины с\. Серьезный вклад в развитие тематики внесли работы В,Г, Мазьи [1], Дж, Таленти [2], Дж, Томаселли [3], А, Куфнера и Л.Э, Персона [4], К).А. Дубинекий [5], Д.В. Прохоров и В,Д. Степанов [6], Ф.Г. Авхадиева и К,-И,Вире [7] и многих других математиков. Результаты получены как для различных весовых функций, так и для неравенств с большим количеством слагаемых. Большое внимание в исследованиях уделено точности констант.

Исследование одномерных неравенств типа Харди продолжается до сих пор. Однако, при этом в последние 30 лет существенно больше внимания стало уделяться их многомерным аналогам. Теория многомерных неравенств типа Харди содержит большое количество нерешенных вопросов. Так, вопрос с оценкой величины сп для неравенств в п-мерном пространстве при п > 2 не решен до сих пор. На сегодняшний день исследователям не удалось получить равномерных оценок этой константы для произвольных областей. Однако исследованы широкие классы областей, для которых получены нижние оценки константы Харди, Так, например, показано, что для любой выпуклой области также выполняется равенство:

Этот факт был доказан несколькими математиками с использованием различных технических приемов. Одно из наиболее простых доказательств приведено в статье [8], см, также

Кроме того, сп(П) > 0 для любой ограниченной области с локально липшицевой границей [см., например, [13]]. Однако остается неясной положительность величины т£п сп(П), даже если инфимум берется в классе областей с локально липшицевыми границами,

Е.Б, Дэвие, при исследовании нижних оценок констант Харди, применял иной подход, а именно: он показал, что константа Харди имеет локально-геометрическую природу и, при оценке константы снизу, необязательно знать структуру всей области, а достаточно знать локальное строение границы вблизи одной граничной точки [9]. Таким образом, был получен результат, что если граница области П С К"" обладает хотя бы одной регулярной по Дэвису граничной точкой, то выполняется неравенство:

С определением регулярной по Дэвису точки можно ознакомиться в его работе [9]. В результате он получил, что для достаточно широкого класса областей, объемлющего известные результаты, искомая величина не может быть менее 4, В 1997 г, он выдвинул гипотезу, что константа сп(П) должна быть больше или равна 4 для любой области без каких-либо ограничений на нее, так же, как и в случае п = 1. При п = 2 и п = 3до сих пор не известен ни один контрпример, опровергающий эту гипотезу. Однако при п > 4 пример существует [см., например, [7], [8]]. Известно неравенство:

С1 = 4.

Сп(П) = 4.

с„(П) > 4.

С учетом того, что для П = Кга\{0} расстояние до границы области будет выражаться в виде сЦв^я, 5П) = 6(х) = |ж|, мы можем переписать это неравенство в следующем виде

/ ^ ^ " / 1У/(Ж)'2 ^ У/ 6 ^ п п

А это значит, что при п > 4 будет выполняться неравенство:

4

с„ <7--Г2 < 4.

(п — 2)2

Таким образом, гипотеза Е.Б. Дэвиса оказывается неверной для п > 4,

В данной работе рассматриваются нижние оценки констант Харди, С нашими результатами для верхних оценок можно ознакомиться в работах [14], [15], [16],

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

2. Постановка задачи и основные результаты

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

Теорема 2.1. Константа сп удовлетворяет неравенству:

г \fWI2 Иг ini sup r >

QcR",J=R" feCi(J)Jt0$ !W(x)\2 dx 5(8 + n(n + 1)n2)'

y0

J

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

П

3х0 6 П,г0 > 0 | В(х0,г0) С П и дВ(х0,г0) р| дП = 0.

Произвольным образом выберем одну из граничных точек, лежащих на пересечении границ шара В(х0, Го) и области П. Для определенности обозначим ее через а, т.е.

а 6 дВ(хо,Го) р| дП.

Можно показать, что константа в неравенствах типа Харди является инвариантом конформных линейных преобразований, а значит, мы можем без ограничения общности взять

ж0 = 0, го = 1,а = (1, 0,..., 0) е Rra

Перейдем к сферической системе координат:

'Х1 = г СО$(^п-1), Х2 = г $т(^п-1) соъ(^п-2),

Хп-1 = Г sin(^n-i) SÍn(^ra-2) . . . sin(^2) cos(^i), KXn = Г SÍn(^ra-i)sÍn(^ra-2) . . . sin(^2)sin(^i),

где

r e R, r > 0; ^i e [0, 2n),<pk e [0,п],к = 2,n - 1.

Якобиан такого преобразования координат равен

rn-1 sinra-2(^ra-i) sinra-3(^ra_2)... sin ^2.

Введенный нами шар В (0,1) в сферических координатах будет задаваться следующим образом:

ж e Rn | г e [0, l),^i e [0,2п),^к e [0,n],k = 2, п - 1. Координаты нашей точки а во вновь введенной системе координат будут

г = 1,<рп-1 = 0,^1 е [0, 2ж),^к е [0, ж], к = 2,п - 2.

Нам необходимо оценить константу Харди снизу, а это значит, что нам достаточно доказать это утверждение на более узком классе функций, нежели рассматриваемый изначально класс С(1(П). Для этого введем в рассмотрение область

Аа,Р = {х е П|г е (р, 1),^п-1 е (0,а),ф1 е [0,2ж),^к е [0,ж],к = 2,п - 2},

где р е (0,1),а е (0, |), Очевидно, что Аа,р С В С П.

Для дальнейшего исследования нам будет важно понимать, как выглядит граница области Аа,р, запишем ее в явном виде:

х е Rn | г = р, (рп-1 е [0,а), е [0, 2^),^ е [0,^),г = 2,п - 2, х е Rn | г = 1, ^га-1 е [0,а), е [0, е [0,^),г = 2,п - 2, х е Rn | рп-1 = а, г е (р, 1), е [0,2ж),^г е [0,^), % = 2,п - 2.

Выделим области Аа следующим образом — среди всех областей Аа,р рассмотрим только те, которые удовлетворяют условиям 1 - р = 2аиа< Можно показать, что для любой точки из Аа С П будут выполняться следующие неравенства:

8(х) > 1 - г, 62(х) < (1 - г)2 + а2, Ух е

где г — радиус-вектор рассматриваемой точки; а 8(х) — расстояние до границы области П.

Теперь рассмотрим функции $ е С^П), которые обладают компактным носителем, содержащимся в Аа, и, при этом, задаются в виде произведения двух функций одной переменной:

/о (г, ^1,..., рп-1) = и(г)ь(рп-1).

Для простоты понимания обозначим функции такого вида через /о и запишем исходное неравенство для таких функций

Г 1Л ™ ,2

ó2(x)

dx < сп(П) |V/012dx Vf0 e Ci(Aa).

Теперь перейдем к сферическим координатам и используем то, что носитель нашей функции полностью содержится в Аа

Г 12

~0Гr'n-1 sinra-2(^„-i) sinra-3(^ra-2)... sin ^2 dr- dpi... dtpn_i <

Aa

< cn(ü) j |V/o|2rra-1 sinra-2(^ra-i) sinra-3(^ra_2)... sin ^2 dr dipi... difn-i

Aa

V/o e СКА*).

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

|V/oi-2 = (f )2 + ¿ (^)'■

Применим это соотношение к последнему неравенству,

а 1

1 fv2(^n_i)sinn_2(^n_i) [ .f2 dr Q <

где

сп(П) J KTn_i> j (i _ r)2 +

o Р

a i

< í v2(<^_i)sinra_2( Vn_i) í u'2(r)rn-idrQ+

+ v'2(^_i)sinra_2( tpn_i) u2(r)rn_3dr Q,

ж 2ж

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

^n— 3/

Q = J sin™ (<Pn_2) dlfn_2 ...J sin((^2) d<P2 J dtpi. 0 0 0

Q

Нам необходимо оценить интеграл от v'2(ф) через интеграл от v2 ( <р), тогда мы сможем сократить на этот интеграл и свести все к хорошо изученному случаю интегрального неравенства для функций одной переменной. Эту оценку проведем в 2 этапа.

Первый этап, рассмотрим функцию w0( ipn_i) = о _ ^n_i. Теперь оцепим соотношение, которое в дальнейшем поможет нам осуществить требуемые оценки:

¡v02( ípn_i)sinn 2( ípn_i) d(pn_i

L(o) =

/w0( tpn_i)sinn 2( ípn_i)dípn_i

Отдельно рассмотрим числитель и знаменатель этой дроби. Воспользуемся известной оценкой для функции sin ж

sin о

-х < sin ж < х Vx e [0, о I.

о

i

а

ж

Теперь мы можем рассмотреть числитель искомого соотношения и оценить его сверху:

а

J v0 ( tpn-1) sin™ ( 1) dpn-1 = J sin™ ( 1) dpn-1 < o o

r an~1

< fn-\dpn-1 =-

I n- 1

o

Знаменатель нашей дроби оценим снизу:

v0(pn-1) sin™ 2( ipn_ 1) dpn-1 = / (a -<pn-1)2 sin™ 2(<pn-1) dpn-1 >

^ sin™ 2(a) f n_2 2

> 2 Vi- 1(a -pn-1)2 dpn_ 1

/sina\n 2 f 2 „_2 „_ 1 „ /sina\n 2 2an+1

= Ja^z 1- 2a%: 1+ 11 = rnr) п(П +-i)(B -1)

0

Таким образом, мы можем оценить нашу функцию L(a) следующим образом

L(a) < ^n+iin Г"2 = (a),

v ; < 2a2 Vsin a) 2a2 v

где lim К (а) = 1.

Теперь перейдем ко второму этапу, С учетом вида функции v0 ( pn-1) можно сделать вывод, что мы можем приблизить ее по норме L2(sinn~2(pn-1)) функциями вида v1(ipn-1), которые бы обращалась в ноль в некоторой окрестности точки а, а также производные которых в точке 0 были бы равны 0, Для таких функций будет справедливо неравенство.

v'l sin™-2( pn_ 1) dpn. 1 < ¡Kn(n2±2 1) К (a) ± ej J v2 sin™" 2(pn_ 1) dpn. 1. (2.1) oo

Теперь вернемся к основной идее доказательства и еще более сузим рассматриваемый класс функций и вместо /0 будем рассматривать функции

/:(г, ф1,..., фп-1) = и(г) Уг(срп-1).

Тогда исходное неравенство для функций вида /1 сведется к следующему одномерному неравенству:

1 1

1 Г и2(г) гп~1 , ^ _ 1

cn(Q)J (1 - г)2 ± a2

р р

dr< u'2 (г) гп 1 d г±

1

±(n(L± 1)К(a)±^ Ju2(r)rn~3dr Vu e Clip, 1).

a

a

a

a

a

Воспользуемся тем, что переменная г меняется в пределах [р, 1] и проведем замену переменных 1 — г = а(1 — t). В результате получим:

1 1 РП-1 Г Z2(t) 1 [ J2,

а2cn(Q) J (1 — t)2 + 1 " а2

11

dt z,2(t)dt+

i

+ (U(U2+21) К(а)+£) j ^(^d* V^GCo1(—1,1).

-1

Теперь устремим а к нулю, при этом р стремится к единице, и поэтому 1 1 1

(Г—?+ТЛ + »■

-1 -1 -1

Заметим, что в интеграле в левой части неравенства исчезла сингулярность. Оценим знаменатель в подынтегральной функции с учетом очевидного неравенства (1 — ¿)2 + 1 < 5 при [—1,1], Будем иметь

1 1

(бШ — U(Ufil) iz2(t)dt< fz'2(t)dt yzeC1(—1,1).

А это уже известное одномерное неравенство Пуанкаре, и константа снизу ограничена через ^ ■ Что и дает искомую оценку

сп(П) >

5(8 + п(п +1)тт2)'

Таким образом, мы получили, что константа Харди равномерно ограничена снизу для

любой области, т.е.

2

сп = inf cn(Q) > 11

пскп,п=ки 5(8 + п(п +1)^2)'

Теорема доказана полностью,

В завершении статьи хочется выразить благодарность своему научному руководителю, профессору Фарту Габидиновичу Авхадиеву за внимание к работе и ценные замечания.

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

1. V.G. Maz'va Sobolev Spaces. Springer-Verlag, Berlin, New York, 1985.

2. G. Talenti Osservazione sopra una classe di disuguaglianze // Rend. Semin. mat. efis. Milano. 1969. V. 39. P. 171-185.

3. G. Tomaselli A class of inequalities // Boll. Unione mat. ital. 1969. Ser. 4. No 6. P. 622-631.

4. A. Kufner, L.-E. Persson Weighted inequalities of Hardy type. World Scientific Pub Co Inc., 2003, P. 376.

5. Дубинский Ю.А. Об одном, неравенстве типа Харди и его приложениях. Теория функций и дифференциальные уравнения, Сборник статей. К 105-летию со дня рождения академика Сергея Михайловича Никольского, Тр МИ АН. 269. МАИК, М. 2010. С. 112-132.

6. Прохоров Д.В., Степанов В.Д. О весовых неравенствах Харди в смешанных нормах. Теория функций и уравнения математической физики, Сборник статей. К 90-летию со дня рождения члена-корреспондента РАН Льва Дмитриевича Кудрявцева, Тр. МИЛИ. 283. МАИК, М. 2013. С. 155-170.

7. F.G. Avkhadiev, K.-J. Wirths Unified Poincare and Hardy inequalities with sharp constants for convex domains // Z. Angew. Math. Mech. 2007. V. 87. No. 8-9. P. 632-642.

8. M. Marcus, V.J. Mizel, Y. Pinchover On the best constants for Hardy's inequality in Rn // Trans. Amer. Math. Soc. 1998. V. 350. P. 3237-3250.

9. E.B. Davies The Hardy constant // Quart. J. Math. Oxford (2) 1995. V. 46:4. P. 417-431.

10. T. Matskewich, P.E. Sobolevskii The best possible constant in a generalized Hardy's inequality for convex domains in Rra // Nonlinear Anal. 1997. V. 28. No 9. P. 1601-1610.

11. H. Brezis, M. Marcus Hardy's inequality revisited // Ann. Scuola Norm. Sup. Pisa CI. Sci. (4). 1997. V. 25. No. 1-2. P. 217-237.

12. M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, A. Laptev A geometrical version of Hardy's inequality // J. Funct. Anal. 2002. V. 189. No. 2. P. 539-548.

13. V. Opic, A. Kufner Hardy-type Inequalities // Pitman Research Notes in Math. 1990. V. 219.

14. Авхадиев Ф.Г., Шафигуллин И.К. Точные оценки констант Харди для областей со специальными граничными свойствами // Известия вузов. Матем. 2014. № 2. С. 69-73.

15. Авхадиев Ф.Г., Шафигуллин И.К. Оценки констант Харди при т,рубчатом, расширении множеств и в областях с конечным,и граничным,и, моментами // Математические труды. 2013. Том 16. № 2. С. 3-12.

16. Авхадиев Ф.Г., Насибуллин Р.Г., Шафигуллин И.К. Неравенства типа, Харди, со степенным,и, и логарифмическими весам,и, в областях евклидова пространства // Известия вузов. Матем. 2011. № 9. С. 90-94.

Ильнар Каеыймович Шафигуллин,

Казанский (Приволжский) федеральный университет,

ул. Кремлевская, 35,

420008, г. Казань, Россия

E-mail: shaf igullin. ik@gmail. com

i Надоели баннеры? Вы всегда можете отключить рекламу.