CC BY
32
УДК 511.42
МЕТРИЧЕСКИЕ ОЦЕНКИ МАЛЫХ ЗНАМЕНАТЕЛЕЙ В НЕЛОКАЛЬНЫХ ЗАДАЧАХ СОПРЯЖЕНИЯ1
М.М. Сымотюк2, И.Я. Савка3
Установлены теоремы об оценках снизу малых знаменателей, возникающих при исследовании нелокальных задач сопряжения для одного уравнения смешанного параболо-гиперболического типа. Для доказательства оценок применен метрический подход.
Ключевые слова: уравнение смешанного типа; нелокальная задача сопряжения; лемма Бореля-Кантелли; мера Лебега.
1. Введение. В работах [1, 2] в прямоугольной области В = {(х,,) :0 < х < 1,-а< t < Ь}, а,Ь> 0 , для уравнения смешанного параболо-гиперболического типа
Г п, - и = 0, t > 0, Ьи = \ ' хх ' ' (1)
К - Пхх = 0 , < 0
рассмотрены следующие краевые задачи сопряжения с нелокальным условием, связывающем значения искомого решения (или значения производных решения по времени) на противоположных сторонах области.
Задача 1. Найти функцию и(х,,), удовлетворяющую условиям
и(х,,) е С1(В) П С2(В-) П Сх2,;(В+), (2)
Ьи(х,,) ° 0, (х,,) е В- и В+, (3)
п(0,,) = и(1,,) = 0, -а<, <Ь, (4)
и( х, -а) - и( х,Ь) = р( х), 0 < х < 1, (5)
где В = В П {, < 0}, В+ = В П {, > 0}, р(х) - достаточно гладкая функция, р(0) = р(1) = 0. Задача 2. Найти функцию и(х,,), удовлетворяющую условиям (2)-(4) и условию
и{(х,-а) -и{(х,Ь) = у(х), 0 < х < 1, (6)
где у(х) - достаточно гладкая функция, причем у(0) = у(1) = 0.
В работах [1, 2] доказано, что для единственности решения задачи 1 необходимо и достаточно, чтобы выполнялось условие
"к е N ЗаЬ (к) ° ео8(1а) + \ 8ш(1а) - ехр(-Д1) * 0 , Лк = рк . (7)
Если условие (7) выполнено, то задача 1 имеет единственное формальное решение, предста-вимое рядом
и (,, х) = 42 ^ ик (,) ът(якх), (9)
k =1
где
uk (t) = •
jkSa)b(k)exp(-1k2t), t < 0,
jab (k)(cos(1kt) - Ik sin(1kt)), t > 0,
1 Исследования частично поддержаны Государственным фондом фундаментальных исследований Украины (проект № 54.1/027).
2 Сымотюк Михаил Михайлович - старший научный сотрудник, Институт прикладных проблем механики и математики им. Я.С. Подстригача НАН Украины, Львов, Украина.
E-mail: quaternion@ukr.net
3 Савка Иван Ярославович - младший научный сотрудник, Институт прикладных проблем механики и математики им. Я. С. Подстригача НАН Украины, Львов, Украина; ассистент, Прикарпатский национальный университет им. В. Стефаныка, Ивано-Франковск, Украина.
E-mail: s-i@ukr.net
Сымотюк М.М., Савка И.Я.
Метрические оценки малых знаменателей в нелокальных задачах сопряжения
а jk, k е N, - коэффициенты Фурье функции j( x) по системе функций {V2sin(pkx): k е Nj. Если выполняется условие (7) и, кроме того, существуют такие постоянные c1 > 0, g е R, что для всех натуральных чисел k выполняется оценка
|cos(4a) + 1 sin(1ka) - exp(-ß42)|> c1k~g1, (10)
можно установить классическую сходимость решения задачи 1 в случае, когда j( x) - достаточно гладкая функция, а также его непрерывную зависимость от правой части условия (5).
В случае, когда выполняется условие
"k е N DaJ (k) ° sin(la) - 1k cos(1a) +1 exp(-ßl) Ф 0, ряд (9), коэффициенты uk (t), k е N, которого находятся по формуле
f^AXßik)exp(-l2t), t < 0,
УкККь (k)(cos(1kt) -1 sin(1t)), t > 0, где y/k , k е N, - коэффициенты Фурье функции y(x) по системе {л/2 sin(pkx): k е N} , определяет единственное формальное решение задачи 2. Вопрос о классической сходимости этого решения может быть сведен к вопросу о выполнении для всех k е N оценки
Uk (t) = <
| sin(1a) - 1k cos(1ka) +1 exp(-ßll) |> c2k
(11)
с некоторыми постоянными с2 > 0, у2 е М, не зависящими от к .
Таким образом, разрешимость задач 1, 2 тесно связана с вопросом о возможности выполнения оценок (10), (11). Отметим, что в [1, 2] доказано, что в случае, когда а является рациональным числом, существует такая постоянная с1 > 0 , что оценка (10) выполняется для произвольного фиксированного /3> 0 для всех к е N при у1 =0 . Оценка (11) выполняется с некоторой постоянной с2 > 0 для произвольного фиксированного /3> 0 для всех ке N при у2 =—1, если ае N или а = р / q, р, д е N, (р, д) = 1, q - нечетное, р / q й N.
В случае, когда a - иррациональное число, вопрос о выполнении неравенств (10), (11) остается открытым (см. с. 111 в [1]). Это обусловлено, в частности, тем, что для фиксированного /3> 0 выражение da /(к), ке N имеет нетривиальное множество нулей
а = -
1
1
, r.n . exp(-ß1i2) (-1)" arcsin —, _ +pn -gk
л/1+1?
gk = arcsin
1
V1+1F
n = 1,2,...,
а выражение Aa ß (k), k е N, - множество нулей
1
a = — 1
(-1)n+1 arcsin
1 exp(-ß1k2)
+ pn + w
(t)k = arcsin
1
n = 0,1,2,... .
Более того, можно доказать существование таких действительных чисел а, при которых выражения da^(к), Ла /(к) являются отличными от нуля для всех ке N, но принимают сколь
угодно малые значения для бесконечного количества натуральных чисел к , что свидетельствует о наличии проблемы малых знаменателей при исследовании сходимости ряда (9).
2. Формулировка основных результатов и вспомогательных утверждений. С помощью метрического подхода [3, 4] нами получены следующие результаты о выполнении оценок (10), (11) для иррациональных чисел а > 0.
Теорема А. Для произвольного фиксированного /3 > 0 для всех иррациональных (за исключением множества лебеговой меры нуль) чисел а> 0 существует такая постоянная с1 = с1 (а) > 0 , что оценка (10) выполняется для всех натуральных чисел к при у1 > 0 .
Отметим, что в работе [5] был анонсирован аналогичный (более слабый) результат с показателем у1 >1.
Математика
Теорема B. Для произвольного фиксированного />0 для всех иррациональных (за исключением множества лебеговой меры нуль) чисел a>0 существует такая постоянная c2 = c2(a) > 0, что оценка (11) выполняется для всех натуральных чисел к при g2 > 0.
Для доказательства теорем A, B будем использовать вспомогательные утверждения.
Лемма 1. Пусть {Ak }¥= - последовательность таких измеримых (относительно меры Лебега в R) подмножеств действительной оси, что
^ meas Ак < ¥.
к =1
Тогда мера Лебега в R множества точек, попадающих в бесконечное число множеств данной последовательности, равна нулю.
Лемма 1 известна в литературе как лемма Бореля-Кантелли; ее доказательство имеется, например, в [6].
Лемма 2. Пусть f е Cl(a,b). Если в каждой точке t е (a,b) выполняется неравенство
\f '(t)| >8, 8>0, (12)
то для произвольного e > 0
meas{t е (a, b):| f (t) |< e}< 2e/8.
Доказательство. Из условия леммы 2 следует, что функция f (t) является строго монотонной на (a,b). Поэтому множество {t е (a,b) :| f (t) |< e} либо пусто, либо есть некоторый интервал (Xh), a <X<h< b . В первом случае meas{t е (a, b) :| f (t) |< e} = 0 . Во втором случае, по теореме Лагранжа, найдется такая точка t0 е (X, Г), что f (r) - f (X) = f '(t0 )(h - X). Поскольку | f (X) |< e , | f (r) |< e , из последнего равенства и условия (12) получим
| X|= lf(Г)- f (X)| < 2e < 2e | f '(t0) | | f '(t0) | 8-
Таким образом, meas{t е (a,b) :| f (t) |< e} < 2e/8. Лемма доказана.
Отметим, что аналоги леммы 2 об оценках мер множеств {t е (a,b) :| f (t) |< e} в случае гладких функций f (t) с некоторой невырождающейся на (a, b) производной f (n)(t), а также их применения в теории диофантовых приближений содержатся в работах [3, 4, 7].
3. Доказательство теоремы A. Введем в рассмотрение функции
fk (a) = cos(la) +1 sin(la) - exp^/2), к е N, (13)
и множества
Ак(g) = {ае [a;b]: | fk(a)|<к~g}, ке N, 0< a <b <+™, считая значения //, a,b фиксированными числами. Обозначим через A(g) множество чисел, принадлежащих бесконечному числу множеств Ак (g), к е N .
Дифференцируя функцию fk (a), получим, что
fk '(a) = 12 cos(1a) -1 sin(1a), к е N. (14)
Умножив равенство (13) на 1к sin(1a), а равенство (14) - на cos(1a), а затем сложив полученные равенства, найдем, что
12 =( fk(a) + exp(-/42)sin(1ta) + fk '(a)cos(1ta).
Таким образом, в каждой точке aе [a;b] выполняется неравенство
1 < 2max j| fk (a) + exp(-/2)|,■ (15)
Легко проверить, что каждая из функций
g* (a) ° fk (a) + exp(-/12) - ^^ = 421¡ + 2 sm(4a - j), j = arctg, к е N,
л у к V к тк'^ тк 1 '
1 1 +1
Сымотюк М.М., Метрические оценки малых знаменателей
Савка И.Я. в нелокальных задачах сопряжения
g2k (a) ° fk (a) + exp(-b42) + ^^ = Vl + 2 cos(Äka -j), k e N,
A
может иметь на [a;b] не более, чем C1(a,b)Ak нулей, C1(a,b) = 2max{1;b - a} . В самом деле, количество нулей функции g1k (a) (соответственно, функции g2k (a)) не превышает количества тех целых чисел m1 (соответственно, тех целых чисел m2), для которых выполняется неравенство
pm1 +jk.UÍ Pm2 +j +p/2 a <-1-- < b (соответственно, неравенство a <-2-k-< b).
Обозначим через X(k),•••, Xm(k)(k), ke N все различные нули обеих функций g1k(a), g2k (a), принадлежащие промежутку (a;b). Будем считать, что точки X(k),—,Xm(k)(k) записаны в порядке возрастания: X1(k) < ••• < Xm(k)(k). Определим отрезки Ij(k) = [Xj(k);£j+1(k)], j = 0,1, — , m(k), Xo(k) = a , Xm(k)+1(k) = b , образующие разбиение отрезка [a;b], так что
m(k)
[a; b] = U Ij (k). Согласно определению, на каждом из отрезков Ij (k), j = 0,1, — , m(k) обе функ-
j=o
ции g1k (a), g2k (a) сохраняют знак, поэтому из неравенства (15) получим, что или
"ae I} (k) \fk '(a)| >X¡/2, (16)
или
"ae Ij(k) \fk(a) + exp(-bA2)| >\/2. (17)
Если на отрезке Ij (k) выполняется условие (16), то, применяя лемму 2, найдем, что для произвольного ge R имеет место оценка
meas(Ak(g) П I} (k)) < k-g-2, k e N. (18)
Если же на отрезке I j(k) выполняется условие (17), то ни одна точка этого отрезка не может принадлежать множеству Ak (g) при k > 2 и g > 0 . Действительно, если Ij (k) П Ak (g) , k > 2, g > 0, то существует точка a0, что одновременно выполняются неравенства
\fk(a) + exp(-bA2)| >A /2, fk(ao) < k-g,
из которых следует неравенство Ak /2 < k+1 < 2, противоречивое при k > 2 и g> 0 . Учитывая теперь очевидное равенство
m(k)
meas Ak (g) = £ meas (Ak (g) П Ij (k)),
j=0
а также то, что m(k) < 2C1(a,b)Ak, из оценки (18) получим
meas Ak(g) < C2(a,b)k-r-1, C2(a,b) = 16p"1C1(a,b), k > 2, g>0.
Таким образом, при g> 0 ряд £ meas Ak (g) является сходящимся. Тогда в силу леммы 1 ле-
k=1
бегова мера множества A(g) при g> 0 равна нулю. Множество M действительных a-нулей всех функций fk(a), ke N, не более чем счетно, поэтому имеет нулевую меру. Следовательно, meas A(g) \M = 0 . Для каждого ae A(g) существует такое число K(a), что оценка | fk(a) |> k~g выполняется для всех k > K (a), если, кроме того, ag M , то для всех натуральных k выполняется неравенство | fk (a)|> c(a)k~g, где c(a) = min {1, d (a)}, d (a) = min | fk (a)| kg > 0. Для за-
k <K (a)
вершения доказательства теоремы A остается отметить, что множество A(g) \ (M U Q) имеет нулевую меру (так как множество Q рациональных чисел счетно), а также то, что действительную
ось можно покрыть счетным числом отрезков: R = U[" -1;n].
n=1
Математика
Доказательство теоремы В аналогично приведенному выше доказательству теоремы А.
4. Дальнейшие обобщения. При исследовании многомерных (по пространственным переменным) аналогов задач 1, 2 возникают определители
SaJ(к) °cos(la) + 1 sin(la)-exp(-b2) *0 , l = pk? +... + k2p , к = (к,,...,kp)e Np, (19)
Dab(к) °sin(la) -1k cos(1a) + 1 exp(-ß12) * 0, 1k = pk,2 +... + k2p , к = (к,,.,kp)e Np. (20)
Представляется возможным доказать следующие гипотезы.
Гипотеза A. Для произвольного фиксированного ß>0 для всех иррациональных (за исключением множества лебеговой меры нуль) чисел a>0 существует такая постоянная c3 = c3(a) > 0, что для определителя (19) оценка
I da,ß (k )|> Сз(| kl | +. + |kp[T\ выполняется для всех векторов к = (кkp) e Np при g > p -1.
Гипотеза B. Для произвольного фиксированного ß>0 для всех иррациональных (за исключением множества лебеговой меры нуль) чисел a> 0 существует такая постоянная c4 = c4(a) > 0, что для определителя (20) оценка
!Daß(k )|> C4(|ki|+. + | kp |)-g4 ,
выполняется для всех векторов к = (к,,..., kp) e Np при g > p -1.
Литература
1. Юнусова, Г.Р. Нелокальные задачи для уравнения смешанного параболо-гиперболического типа // Г.Р. Юнусова / Вестн. СамГУ. Естественнонаучн. сер. - 2011. - № 8(89). - С. 108-117.
2. Сабитов, К.Б. Нелокальная задача для уравнения параболо-гиперболического типа в прямоугольной области // К.Б. Сабитов / Матем. заметки. - 2011. - Т. 89. - Вып. 4. - C. 596-602.
3. Пташник, Б.И. Некорректные граничные задачи для дифференциальных уравнений с частными производными / Б.И. Пташник. - Киев: Наук. думка, 1984. - 264 с.
4. Берник, В.И. Диофантовы приближения и размерность Хаусдорфа // В.И. Берник, Ю.В. Мельничук. - Минск: Наука и техника, 1988. - 144 с.
5. Симотюк, М.М. Ощнка малого знаменника задачi з нелокальною крайовою умовою для параболо-гiперболiчного рiвняння / М.М. Симотюк, 1.Я. Савка // Всеукрашська наукова конфе-ренщя «Сучасш проблеми теори ймовiрностей та математичного аналiзу». Тези доповщей (Во-рохта, 25 лютого - 3 березня 2013 р.). - С. 83-84. (на укр. языке)
6. Гихман, И.И. Теория вероятностей и математическая статистика / И.И. Гихман, А.В. Скороход, М.И. Ядренко - Киев: Вища школа, 1979. - 408 с.
7. 1льюв, В.С. Про константу в лемi Пяртлi / В.С. 1льюв, Т.В. Магеровська // Вюник На-щонального ушверситету «Львiвська полiтехнiка». Серiя «Фiзико-математичнi науки». - 2007. -№ 607. - С. 12-17. (на укр. языке)
Поступила в редакцию 14 июня 2013 г.
Сымотюк М.М., Савка И.Я.
Метрические оценки малых знаменателей в нелокальных задачах сопряжения
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2015, vol. 7, no. 3, pp. 48-53
METRIC ESTIMATES OF SMALL DENOMINATORS IN NONLOCAL BOUNDARY VALUE PROBLEMS
M.M. Symotyuk1, I.Y. Savka2
The metric estimates of small denominators at the analysis of nonlocal boundary value problems for a parabolic-hyperbolic equation are established. We use the metric approach to prove these estimates.
Keywords: equation of mixed type; nonlocal boundary value problem; Borel-Cantelli lemma; Lebesgue measure.
References
1. Yunusova, G.R. Vestnik of Samara State University. Natural Science Series. 2011. no. 8(89). pp. 108-117. (in Russ.).
2. Sabitov K.B. Nonlocal problem for a parabolic-hyperbolic equation in a rectangular domain. Mathematical Notes. 2011. Vol. 89. Issue 4. pp. 562-567. DOI: 10.4213/mzm8462
3. Ptashnik B.I. Nekorrektnye granichnye zadachi dlya differentsial'nykh uravneniy s chastnymi proizvodnymi (Invalid boundary value problems for differential equations with partial derivatives). Kiev, Nauk. dumka Publ., 1984. 264 p. (in Russ.).
4. Bernik V.I., Mel'nichuk Yu.V. Diophantine approximation andHausdorff dimension (Diofantovy priblizheniya i razmernost' Khausdorfa). Minsk, Nauka i tekhnika Publ., 1988. 144 p. (in Russ.).
5. Symotyuk M.M., Savka I.Ya. Assessment small denominator problem with nonlocal boundary condition for a parabolic-hyperbolic equations. Proceedings of the Ukrainian scientific conference "Modern problems of on-probability theory and mathematical analysis." Vorokhta, February 25 -March 3, 2013). pp. 83-84. (in Ukrainian).
6. Gikhman I.I., Skorokhod A.V., Yadrenko M.I. Teoriya veroyatnostey i matematicheskaya sta-tistika (Probability theory and mathematical statistics). Kiev, Vishcha shkola Publ., 1979. 408 p. (in Russ).
7. Ilkiv V.S., Maherovska T.V. Proceedings of the National University "Lviv Polytechnic". Series "Physics and mathematics". 2007. no. 607. pp. 12-17. (in Ukrainian).
Received 14 June 2013
1 Symotyuk Mikhail Mikhailovich is Senior Staff Scientist, Ya. S. Pidstryhach Institute for Applied Problems of Mechanics and Mathematics, NAS Ukraine, L'vov, Ukraine.
E-mail: quaternion@ukr.net
2 Savka Ivan Yaroslavovich is Junior Research Fellow, Ya. S. Pidstryhach Institute for Applied Problems of Mechanics and Mathematics, NAS Ukraine, L'vov, Ukraine; Assistant, Vasyl Stefanyk Precarpathian National University, Ivano-Frankivsk, Ukraine.
E-mail: s-i@ukr.net
