Журнал вычислительной математики и математической физики, 2020, T. 60, № 8, стр. 1329-1338
Неравенство харнака для эллиптического p(x)-лапласиана с трехфазным показателем p(x)
Ю. А. Алхутов 1, *, М. Д. Сурначёв 2, 3, **
1 ВлГУ им. А.Г. и Н.Г. Столетовых
600000 Владимир, ул. Горького, 87, Россия
2 ИПМ им. М.В. Келдыша РАН
125047 Москва, Миусская пл., 4, Россия
3 НИТУ МИСИС
119049 Москва, Ленинский пр-т, 4, Россия
* E-mail: yurij-alhutov@yandex.ru
** E-mail: peitsche@yandex.ru
Поступила в редакцию 19.11.2019
После доработки 15.12.2019
Принята к публикации 09.04.2020
Аннотация
Для эллиптического $p(x)$-лапласиана с трехфазным кусочно-постоянным показателем $p$ на плоскости со стыком трех фаз в точке доказано неравенство Харнака и установлена гёльдеровская непрерывность решения. Библ. 22.
В ограниченной области $D \subset {{\mathbb{R}}^{2}}$ рассмотрим уравнение
Предполагается, что область $D$ содержит начало координат и разделена осью абсцисс и положительной осью ординат на части
(1.2)
$\begin{gathered} {{D}^{{(1)}}} = D \cap {\text{\{ }}x\,:{{x}_{2}} < 0{\text{\} }}, \\ {{D}^{{(2)}}} = D \cap {\text{\{ }}x\,:{{x}_{1}} > 0,\;{{x}_{2}} > 0{\text{\} }},\quad {{D}^{{(3)}}} = D \cap {\text{\{ }}x\,:{{x}_{1}} < 0,\;{{x}_{2}} > 0{\text{\} }} \\ \end{gathered} $(1.3)
$\begin{gathered} p(x) = {{p}_{i}}\quad {\text{на}}\quad {{D}^{{(i)}}},\quad i = 1,\;2,\;3, \\ {\text{где}}\quad 1 < {{p}_{3}} < {{p}_{2}} < {{p}_{1}}. \\ \end{gathered} $Целью настоящей работы являются доказательство гёльдеровской непрерывности решений уравнения (1.1) и получение неравенства Харнака для неотрицательных решений.
Для определения решения рассматриваемого уравнения введем пространство Соболева–Орлича
Известно [3], [4], что для показателя, заданного (1.2), (1.3), гладкие функции плотны в $W(D)$: для любой $u \in W(D)$ найдется последовательность ${{u}_{j}} \in {{C}^{\infty }}(D) \cap W(D)$ так, что ${{u}_{j}} \to u$ в $W(D)$.
Под решением уравнения (1.1) будем понимать функцию $u \in W(D)$ такую, что интегральное тождество
(1.4)
$\int\limits_D {{{{\left| {\nabla u} \right|}}^{{p(x) - 2}}}} \nabla u \cdot \nabla \varphi dx = 0$1.2. История вопроса
Изучение задач с переменным показателем нелинейности было инициировано работами В.В. Жикова [1], [2], где для интегральных функционалов с переменным показателем вида
(1.5)
$F[u] = \int\limits_D {f(x,\nabla u)} dx,\quad {\text{где}}\quad f(x,\xi ) = \frac{{{{{\left| \xi \right|}}^{{p(x)}}}}}{{p(x)}} - b \cdot \xi ,$Таким образом, возникает неоднозначность понятия решения, неоднозначность в способе постановки краевой задачи. Возникает, по крайней мере, два типа решений – W-решения, соответствующие естественному энергетическому пространству, и H-решения, которые получаются замыканием множества гладких функций в этом пространстве. Более того, W-решения и H-решения имеют различные свойства. В частности, для примера Жикова минимизант по всему естественному энергетическому пространству с нулевым условием на границе круга будет разрывен, а минимизант того же функционала по замыканию гладких финитных функций в этом пространстве будет непрерывен по Гельдеру. Используя ту же конфигурацию показателя, можно привести пример, когда W-решение задачи Дирихле в круге для эллиптического $p(x)$-лапласиана с гладкой граничной функцией будет разрывно, а H-решение непрерывно.
В той же работе было отмечено, что в ситуации, когда граница раздела фаз имеет более простую структуру, $p(x) = {{p}_{1}}$ в ${\text{\{ }}{{x}_{2}} > 0{\text{\} }}$, $p(x) = {{p}_{1}}$ в ${\text{\{ }}{{x}_{2}} < 0{\text{\} }}$, эффект Лаврентьева отстутствует, гладкие функции плотны в соответствующем соболевском пространстве и неоднозначность в определениии краевой задачи отсутствует. Естественно, в качестве линии раздела фаз здесь может быть взята и достаточно гладкая гиперповерхность, лишь бы был ограниченный оператор продолжения функции, определенной на подобласти, соответствующей большему значению показателя, во всю область.
В работе [3] (см. также [4]) было найдено некоторое общее условие геометрического характера, гарантирующее плотность гладких функций в соболевском пространстве с переменным показателем: для каждого $x \in D$ существуют положительные числа $h(x)$, $r(x)$, и вектор $\xi (x)$ такие, что $B_{{r(x)}}^{x} + C(x) \subset D$, $C(x) = \bigcup\nolimits_{t \in (0,1)}^{} {B_{{th(x)}}^{{t\xi (x)}}} $, и $p(z) \leqslant p(z + y)$ для всех $z \in B_{{r(x)}}^{x}$, $y \in C(x)$. Здесь $B_{r}^{x}$ обозначает шар радиуса $r$ с центром в точке $x$. Для случая кусочно-постоянного показателя, принимающего два различных значения, где границей раздела фаз является гиперплоскость, это условие выполнено, а в ситуации примера Жикова оно не выполнено (нарушается в окрестности точки контакта четырех клеток).
Интересным примером, когда условие из [3] выполняется, является следующий: плоскость разделена тремя лучами, выходящими из начала координат, на три сектора ${{A}_{i}}$, и в каждом из этих секторов показатель принимает постоянное значение ${{p}_{i}} > 1$. Если ${{p}_{3}} < {{p}_{2}} < {{p}_{1}}$, то в качестве $C(x)$ можно выбрать сектор, являющийся пересечением сектора ${{A}_{1}}$ и полуплоскости, которая отделяется прямой, являющейся продолжением границы между ${{A}_{3}}$ и ${{A}_{2}}$, лежащей с той же стороны от этой прямой, что и сектор ${{A}_{2}}$. Конфигурация, рассматриваемая в настоящей работе, относится как раз к такому типу.
В работе [5] В.В. Жиков нашел аналитическое условие на показатель суммируемости (логарифмическое условие),
В работе [13] было установлено свойство гёльдеровости $p(x)$-гармонических функций при выполнении логарифмического условия на показатель $p$. В работе [14] было показано, что для гёльдеровской непрерывности $p(x)$-гармонической функции в точке ${{x}_{0}}$ достаточно выполнения логарифмического условия лишь в этой точке (то есть $\left| {p(x) - p({{x}_{0}})} \right| \leqslant k{{(ln{{\left| {x - {{x}_{0}}} \right|}^{{ - 1}}})}^{{ - 1}}}$, $x \in B_{r}^{{{{x}_{0}}}} \subset D$, $r \in (0,\;1{\text{/}}2)$), в работе [16] была показана непрерывность $p(x)$-гармонических функций в точке при ослабленном логарифмическом условии.
В работе [17] были рассмотрены локальные минимизанты функционала (1.5), где $b \equiv 0$, в области $D \subset {{\mathbb{R}}^{n}}$, где $p(x) = {{p}_{1}}$ в ${\text{\{ }}x = (x{\text{'}},{{x}_{n}}):x{\text{'}} \in {{\mathbb{R}}^{{n - 1}}},\;{{x}_{n}} > 0{\text{\} }}$, $p(x) = {{p}_{2}}$ в ${\text{\{ }}x = (x{\text{'}},{{x}_{n}}):x{\text{'}} \in {{\mathbb{R}}^{{n - 1}}},\;{{x}_{n}} < 0{\text{\} }}$, $D$ имеет непустое пересечение с гиперплоскостью $\Sigma = {\text{\{ }}{{x}_{n}} = 0{\text{\} }}$. Эти локальные минимизанты являются $p(x)$-гармоническими функциями. Было показано, что они непрерывны по Гёльдеру в $D$. В [15] это свойство было обобщено на случай показателя $p$, удовлетворяющего логарифмическому условию лишь в точке ${{x}_{0}} \in \Sigma $. При этом условии была показана гёльдеровская непрерывность $H$- и W-решений в точке ${{x}_{0}}$. В работе [18] для показателя из [17] было получено неравенство типа Харнака и показано отсутствие неравенства Харнака в классической форме. В [19] этот результат был обобщен на показатель, который в $D \cap {\text{\{ }}{{x}_{n}} > 0{\text{\} }}$ и $D \cap {\text{\{ }}{{x}_{n}} < 0{\text{\} }}$ удовлетворяет логарифмическому условию, и $p(x{\text{'}}, - {{x}_{n}}) \geqslant p(x{\text{'}},{{x}_{n}})$ для всех $x = (x{\text{'}},{{x}_{n}}) \subset D \cap {\text{\{ }}{{x}_{n}} > 0{\text{\} }}$, а в [20] аналогичные утверждения были получены в ситуации, когда логарифмическое условие выполнено лишь в рассматриваемой точке ${{x}_{0}} \in \Sigma $.
До настоящего времени исследования в области регулярности решений эллиптических и параболических уравнений велись либо для случая непрерывного показателя $p({\kern 1pt} \cdot {\kern 1pt} )$ (с логарифмическим модулем непрерывности или достаточно близким к таковому), или для двухфазного случая, где граница раздела фаз достаточно гладкая.
Более сложные геометрические конфигурации не исследовались, несмотря на то, что они представляют очевидный интерес для приложений. Настоящая работа является первым шагом в этой области.
1.3. Основные результаты
Введем нужные для формулировки основных теорем обозначения. Через ${{Q}_{R}}$ будем обозначать открытый квадрат с вершинами в точках $(R,0)$, $(0,R)$, $( - R,0)$, $(0, - R)$. Также для $i = 1,\;2,\;3$ положим $Q_{R}^{{(i)}} = {{Q}_{R}} \cap {{D}^{{(i)}}}$, ${{\tilde {Q}}_{R}} = {{Q}_{R}}{\backslash }\bar {Q}_{R}^{{(3)}}$. Пусть $T_{R}^{ - }$ – треугольник с вершинами в точках $(0, - R)$, $(R{\text{/}}2, - R{\text{/}}2)$, $( - R{\text{/}}2,R{\text{/}}2)$.
Основные результаты настоящей работы содержатся в следующих двух теоремах.
Теорема 1. Пусть $u$ – неотрицательное ограниченное решение уравнения (1.1) в ${{Q}_{{4R}}}$. Тогда
(1.6)
$\mathop {\operatorname{ess} \,sup}\limits_{T_{{2R}}^{ - }} u \leqslant C\mathop {\operatorname{ess} \inf }\limits_{{{Q}_{{2R}}}} \,(u + R),$Из этого утверждения вытекает гёльдеровская непрерывность решений рассматриваемого уравнения.
Теорема 2. Любое ограниченное решение уравнения (1.1) в $D$ непрерывно по Гёльдеру в области $D$.
В работах [18], [19] показано, что даже в случае двухфазного показателя из [17], что соответствует ${{p}_{2}} = {{p}_{3}} \ne {{p}_{1}}$, неравенство Харнака в классической форме невозможно, в частности, в неравенстве (1.6) нельзя $T_{{2R}}^{ - }$ заменить на ${{Q}_{{2R}}}$, и нельзя убрать дополнительное слагаемое $R$ в правой части.
Используя те же методы, что и при доказательстве теоремы 1, можно показать, что решения уравнения (1.1) будут локально ограниченными.
Далее через $C(p)$ будем обозначать различные положительные величины, которые зависят только от ${{p}_{1}}$, ${{p}_{2}}$, ${{p}_{3}}$. Для измеримого множества $E \subset {{\mathbb{R}}^{2}}$ и $f \in {{L}^{1}}(E)$ обозначим
2. ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 1
В этом разделе мы докажем теорему 1. Далее полагаем, что $0 < R < 1{\text{/}}4$, ${{Q}_{{4R}}} \subset D$, $w$ – неотрицательное решение уравнения (1.1), $w \leqslant M$ в ${{Q}_{{4R}}}$, и $u = w + R$.
2.1. Оценки степеней решения
Пусть $0 < r \leqslant R$, $\eta \in C_{0}^{\infty }({{Q}_{{4R}}})$, $0 \leqslant \eta \leqslant 1$. Выбирая в интегральном тождестве (1.4) пробную функцию $\varphi = {{u}^{\beta }}{{(\eta r)}^{{{{p}_{1}}}}}$, где $\beta < 1 - {{p}_{1}}$, будем иметь
(2.1)
$\int\limits_{Q_{{4R}}^{{(1)}}} {{{{(r\left| {\nabla u} \right|)}}^{{{{p}_{1}}}}}} {{u}^{{\beta - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + p(x) - 1}}}} {{r}^{{{{p}_{1}} - p(x)}}}{{(r\left| {\nabla \eta } \right|)}^{{p(x)}}}{{\eta }^{{{{p}_{1}} - p(x)}}}dx.$(2.2)
${{\int\limits_{Q_{{4R}}^{{(1)}}} {(r\left| {\nabla u} \right|)} }^{{{{p}_{i}}}}}{{u}^{{\beta + {{p}_{1}} - {{p}_{i}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}} ({{\eta }^{{{{p}_{1}}}}} + {{(r\left| {\nabla \eta } \right|)}^{{{{p}_{1}}}}})dx.$Для $x = ({{x}_{1}},{{x}_{2}})$ обозначим $\tilde {x} = ({{x}_{1}}, - {{x}_{2}})$, для функции $f$ обозначаем $\tilde {f}(x) = f(\widetilde x)$. Положим
и, предполагая, что ${{G}_{R}}$ не пусто, возьмем в (1.4) пробную функцию(2.3)
$\left| \gamma \right|{{\int\limits_{{{G}_{R}}} {\left| {\nabla u} \right|} }^{{p(x)}}}{{u}^{{\gamma - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant \left| \gamma \right|\int\limits_{{{G}_{R}}} {{{{\left| {\nabla u} \right|}}^{{p(x) - 1}}}\left| {\nabla \tilde {u}} \right|{{{\tilde {u}}}^{{\gamma - 1}}}} {{\eta }^{{{{p}_{1}}}}}dx + {{p}_{1}}\int\limits_{{{G}_{R}}} {{{{\left| {\nabla u} \right|}}^{{p(x) - 1}}}} \left| {\nabla \eta } \right|{{u}^{\gamma }}{{\eta }^{{{{p}_{1}} - 1}}}dx.$Оценим подынтегральные выражения в правой части (2.3) по наравенству Юнга, воспользуемся определением ${{G}_{R}}$ и тем, что $\gamma < 0$. Для $i = 2,\;3$ по неравенству Юнга имеем
(2.4)
${{\left| {\nabla u} \right|}^{{{{p}_{i}} - 1}}}\left| {\nabla \tilde {u}} \right|{{\tilde {u}}^{{\gamma - 1}}} \leqslant {{\varepsilon }_{1}}{{\left| {\nabla u} \right|}^{{{{p}_{i}}}}}{{\tilde {u}}^{{\gamma - 1}}} + \varepsilon _{1}^{{1 - {{p}_{i}}}}{{\left| {\nabla \tilde {u}} \right|}^{{{{p}_{i}}}}}{{\tilde {u}}^{{\gamma - 1}}} \leqslant {{\varepsilon }_{1}}{{\left| {\nabla u} \right|}^{{{{p}_{i}}}}}{{u}^{{\gamma - 1}}} + \varepsilon _{1}^{{1 - {{p}_{i}}}}{{\left| {\nabla \tilde {u}} \right|}^{{{{p}_{i}}}}}{{\tilde {u}}^{{\gamma - 1}}},$(2.5)
${{\left| {\nabla u} \right|}^{{{{p}_{i}} - 1}}}\left| {\nabla \eta } \right|{{u}^{\gamma }}{{\eta }^{{{{p}_{1}} - 1}}} \leqslant {{\varepsilon }_{2}}{{\left| {\nabla u} \right|}^{{{{p}_{i}}}}}{{u}^{{\gamma - 1}}}{{\eta }^{{{{p}_{1}}}}} + \varepsilon _{2}^{{1 - {{p}_{i}}}}{{\eta }^{{{{p}_{1}} - {{p}_{i}}}}}{{u}^{{\gamma + {{p}_{i}} - 1}}}{{\left| {\nabla \eta } \right|}^{{{{p}_{i}}}}}.$Учитывая соотношения (2.4), (2.5) в (2.3) и выбор срезающей функции $\eta $, после соответствующего выбора ${{\varepsilon }_{1}}$ и ${{\varepsilon }_{2}}$ найдем
(2.6)
$\int\limits_{{{G}_{R}}} {{{{\left| {\nabla u} \right|}}^{{p(x)}}}{{u}^{{\gamma - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} \leqslant C(p)\left( {\int\limits_{{{G}_{R}}} {{{{\left| {\nabla \tilde {u}} \right|}}^{{p(x)}}}{{{\tilde {u}}}^{{\gamma - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} + \int\limits_{{{G}_{R}}} {{{u}^{{\gamma + p(x) - 1}}}{{{\left| {\nabla \eta } \right|}}^{{p(x)}}}{{\eta }^{{{{p}_{1}} - p(x)}}}dx} } \right).$Выберем постоянную $\gamma $, положив
По неравенству Юнга получаемАналогично, поскольку $\tilde {u} \geqslant R \geqslant r$, то
Поэтому умножая (2.6) на ${{r}^{{{{p}_{2}}}}}$ получаем
(2.7)
$\begin{gathered} \int\limits_{{{G}_{R}} \cap Q_{{4R}}^{{(2)}}} {{{{(r\left| {\nabla u} \right|)}}^{{{{p}_{2}}}}}} {{u}^{{\beta + {{p}_{1}} - {{p}_{2}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant \\ \leqslant \;C(p)\left( {\int\limits_{{{G}_{R}}} {{{{(r\left| {\nabla \tilde {u}} \right|)}}^{{{{p}_{1}}}}}{{{\tilde {u}}}^{{\beta - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} + \int\limits_{{{G}_{R}}} {{{{\tilde {u}}}^{{\beta + {{p}_{1}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} + {{r}^{{{{p}_{2}}}}}\int\limits_{{{G}_{R}}} {{{u}^{{\gamma + p(x) - 1}}}{{{\left| {\nabla \eta } \right|}}^{{p(x)}}}{{\eta }^{{{{p}_{1}} - p(x)}}}dx} } \right). \\ \end{gathered} $(2.8)
$\int\limits_{{{G}_{R}} \cap Q_{{4R}}^{{(2)}}} {{{{(r\left| {\nabla u} \right|)}}^{{{{p}_{3}}}}}} {{u}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant C(p)\left( {\int\limits_{{{G}_{R}}} {{{{(r\left| {\nabla \tilde {u}} \right|)}}^{{{{p}_{1}}}}}{{{\tilde {u}}}^{{\beta - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} } \right. + \left. {\int\limits_{{{G}_{R}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\eta }^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \eta } \right|)}}^{{{{p}_{1}}}}})dx} } \right).$(2.9)
$\int\limits_{{{G}_{R}} \cap Q_{{4R}}^{{(2)}}} {{{{(r\left| {\nabla u} \right|)}}^{{{{p}_{3}}}}}} {{u}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\eta }^{{{{p}_{1}}}}} + {{\eta }^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \eta } \right|)}}^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \tilde {\eta }} \right|)}}^{{{{p}_{1}}}}})} dx.$Положим
(2.10)
$\int\limits_{\mathop {\widetilde Q}\nolimits_{4R} } {{{{(r\left| {\nabla {v}} \right|)}}^{{{{p}_{3}}}}}{{{v}}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\eta }^{{{{p}_{1}}}}} + {{\eta }^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \eta } \right|)}}^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \tilde {\eta }} \right|)}}^{{{{p}_{1}}}}})dx} .$На последнем шаге сделаем непрерывное кусочно-линейное преобразование из ${{\tilde {Q}}_{{4R}}}$ в ${{D}^{{(3)}}}$ с помощью симметричного переноса вдоль биссектрисы третьего квадранта относительно координатных осей. А именно, сопоставим каждой точке $x \in {{\tilde {Q}}_{{4R}}}$ точку $\hat {x} \in {{D}^{{(3)}}}$, симметричную точке $x$ относительно точки пересечения прямой, проходящей через точку $x$ параллельно биссектрисе квадранта ${\text{\{ }}{{x}_{1}} < 0,\;{{x}_{2}} > 0{\text{\} }}$, с границей этого квадранта. Если точка $x$ имеет координаты $({{x}_{1}},{{x}_{2}})$, то координаты $({{\hat {x}}_{1}},{{\hat {x}}_{2}})$ точки $\hat {x}$ задаются по правилу
Продолжим функцию ${v}$ из ${{E}_{{4R}}}$ в $Q_{{4R}}^{{(3)}}$: для $x \in Q_{{4R}}^{{(3)}}$ положим ${\hat {v}}(x) = {v}(\hat {x})$.
Рассмотрим теперь множество
Предполагая, что ${{\hat {G}}_{R}}$ не пусто, выберем в интегральном тождестве (1.4) пробную функцию(2.11)
$\begin{gathered} \left| {\beta + {{p}_{1}} - {{p}_{3}}} \right|\int\limits_{{{{\hat {G}}}_{R}}} {{{{\left| {\nabla u} \right|}}^{{{{p}_{3}}}}}{{u}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} \leqslant \left| {\beta + {{p}_{1}} - {{p}_{3}}} \right|\int\limits_{{{{\hat {G}}}_{R}}} {{{{\left| {\nabla u} \right|}}^{{{{p}_{3}} - 1}}}\left| {\nabla {\hat {v}}} \right|{{{{\hat {v}}}}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} + \\ + \;{{p}_{3}}{{\int\limits_{{{{\hat {G}}}_{R}}} {\left| {\nabla u} \right|} }^{{{{p}_{3}} - 1}}}\left| {\nabla \eta } \right|{{u}^{{\beta + {{p}_{1}} - {{p}_{3}}}}}{{\eta }^{{{{p}_{1}} - 1}}}dx. \\ \end{gathered} $Далее по неравенству Юнга и определению множества ${{\hat {G}}_{R}}$ имеем
(2.12)
$\int\limits_{{{{\hat {G}}}_{R}}} {{{{(r\left| {\nabla u} \right|)}}^{{{{p}_{3}}}}}} {{u}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant C(p)\left( {\int\limits_{{{{\hat {G}}}_{R}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}} ({{\eta }^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \eta } \right|)}}^{{{{p}_{1}}}}})dx + \int\limits_{{{{\hat {G}}}_{R}}} {{{{\left( {r\left| {\nabla {\hat {v}}} \right|} \right)}}^{{{{p}_{3}}}}}} {{{v}}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} \right).$Введем функцию $h$, положив
(2.13)
$\int\limits_{Q_{{4R}}^{{(3)}}} {{{{(r\left| {\nabla h} \right|)}}^{{{{p}_{3}}}}}{{h}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} \leqslant C(p)\left( {\int\limits_{Q_{{4R}}^{{(3)}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\eta }^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \eta } \right|)}}^{{{{p}_{1}}}}})dx} + \int\limits_{{{E}_{{4R}}}} {{{{(r\left| {\nabla {v}} \right|)}}^{{{{p}_{3}}}}}{{{v}}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}(\hat {x})dx} } \right).$(2.14)
$\int\limits_{{{E}_{{4R}}}} {{{{\left( {r\left| {\nabla {v}} \right|} \right)}}^{{{{p}_{3}}}}}{{{v}}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}(\hat {x})dx} \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\xi }^{{{{p}_{1}}}}} + \mathop {\widetilde \xi }\nolimits^{{{p}_{1}}} + {{{(r\left| {\nabla \xi } \right|)}}^{{{{p}_{1}}}}}} + {{(r\left| {\nabla \widetilde \xi } \right|)}^{{{{p}_{1}}}}})dx.$(2.15)
$\begin{gathered} \int\limits_{Q_{{4R}}^{{(3)}}} {{{{(r\left| {\nabla h} \right|)}}^{{{{p}_{3}}}}}} {{h}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx \leqslant C(p)\int\limits_{Q_{{4R}}^{{(3)}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\eta }^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \eta } \right|)}}^{{{{p}_{1}}}}})dx} + \\ + \;C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}({{\xi }^{{{{p}_{1}}}}} + \mathop {\widetilde \xi }\nolimits^{{{p}_{1}}} + {{{(r\left| {\nabla \xi } \right|)}}^{{{{p}_{1}}}}} + {{{(r\left| {\nabla \widetilde \xi } \right|)}}^{{{{p}_{1}}}}})dx.} \\ \end{gathered} $(2.16)
$\int\limits_{{{Q}_{{4R}}}} {{{{(r\left| {\nabla h} \right|)}}^{{{{p}_{3}}}}}{{h}^{{\beta + {{p}_{1}} - {{p}_{3}} - 1}}}{{\eta }^{{{{p}_{1}}}}}dx} \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{u}^{{\beta + {{p}_{1}} - 1}}}\Phi (r,\eta )dx,} $(2.17)
$\Phi (r,\eta ) = {{\xi }^{{{{p}_{1}}}}} + \mathop {\widetilde \xi }\nolimits^{{{p}_{1}}} + {{\eta }^{{{{p}_{1}}}}} + {{\tilde {\eta }}^{{{{p}_{1}}}}} + {{(r\left| {\nabla \xi } \right|)}^{{{{p}_{1}}}}} + {{(r\left| {\nabla \widetilde \xi } \right|)}^{{{{p}_{1}}}}} + {{(r\left| {\nabla \eta } \right|)}^{{{{p}_{1}}}}} + {{(r\left| {\nabla \tilde {\eta }} \right|)}^{{{{p}_{1}}}}}.$2.2. Мозеровская итерация
Пусть $\beta + {{p}_{1}} - 1 < 0$. Так как $h \leqslant u$ и $\beta + {{p}_{1}} - 1 \leqslant 0$, неравенство (2.16) влечет
(2.18)
$\int\limits_{{{Q}_{{4R}}}} {{{{\left( {r\left| {\nabla ({{h}^{{(\beta + {{p}_{1}} - 1)/{{p}_{3}}}}}{{\eta }^{{{{p}_{1}}/{{p}_{3}}}}})} \right|} \right)}}^{{{{p}_{3}}}}}dx} \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{h}^{{\beta + {{p}_{1}} - 1}}}\Phi (r,\eta )dx.} $(2.19)
$ - - {{\left( {\int\limits_{{{Q}_{{4R}}}} {{{{\left| \varphi \right|}}^{{2{{p}_{3}}}}}dx} } \right)}^{{1/2}}} \leqslant C({{p}_{3}})\int\limits_{{{Q}_{{4R}}}} {{{{\left( {R\left| {\nabla \varphi } \right|} \right)}}^{{{{p}_{3}}}}}} dx$Из (2.18), где $r = R$ и неравенства (2.19), в котором $\varphi = {{h}^{{(\beta + {{p}_{1}} - 1)/{{p}_{3}}}}}{{\eta }^{{{{p}_{1}}/{{p}_{3}}}}}$, имеем
(2.20)
$ - {{\left( {\int\limits_{{{Q}_{{4R}}}} {{{h}^{{2(\beta + {{p}_{1}} - 1)}}}{{\eta }^{{2{{p}_{1}}}}}dx} } \right)}^{{1/2}}} \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {{{h}^{{\beta + {{p}_{1}} - 1}}}\Phi (R,\eta )dx} .$Пусть $s \in (0,\;1)$. Для $j = 0,\;1,\;2,\; \ldots $ определим ${{R}_{j}} = 3sR + 3(1 - s){{2}^{{ - j}}}R$. В оценке (2.20) выберем $\beta = {{\beta }_{j}} = 1 - {{p}_{1}} - {{2}^{j}}q$, $q > 0$, $\eta = {{\eta }_{j}} \in C_{0}^{\infty }({{Q}_{{{{R}_{j}}}}})$ такую, что ${{\eta }_{j}} = 1$ в ${{Q}_{{{{R}_{{j + 1}}}}}}$, $0 \leqslant \eta \leqslant 1$, $\left| {\nabla {{a}_{j}}} \right| \leqslant {{(1 - s)}^{{ - 1}}}{{2}^{j}}{{R}^{{ - 1}}}$. Положим
2.3. Логарифмические оценки
Возьмем теперь $\beta = 1 - {{p}_{1}}$. Тогда оценка (2.16) принимает вид
(2.22)
$\int\limits_{{{Q}_{{4R}}}} {{{{\left( {r\left| {\nabla h} \right|} \right)}}^{{{{p}_{3}}}}}{{h}^{{ - {{p}_{3}}}}}{{\eta }^{{{{p}_{1}}}}}dx} \leqslant C(p)\int\limits_{{{Q}_{{4R}}}} {\Phi (r,\eta )dx} .$(2.23)
$\int\limits_{Q_{r}^{z}} {{{{(r\left| {\nabla h} \right|)}}^{{{{p}_{3}}}}}{{h}^{{ - {{p}_{3}}}}}dx} \leqslant C(p){{r}^{2}}.$(2.24)
$ - - \int\limits_{Q_{r}^{z}} {\left| {lnh - \mathop {\overline {(lnh)} }\nolimits_{z,r} } \right|dx} \leqslant C(p),\quad \mathop {\overline {(lnh)} }\nolimits_{z,r} = \int\limits_{Q_{r}^{z}} {lnhdx} .$2.4. Завершение доказательства
Совмещая оценки (2.25) и (2.21) для $s = 2{\text{/}}3$, пользуясь тем, что $h = u$ в $Q_{{3R}}^{{(1)}}$, и классическим неравенством Харнака для $p$-лапласиана с постоянным показателем ${{p}_{1}}$ в $Q_{{4R}}^{{(1)}}$ (см. [22]), имеем
3. ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 2
Из результатов [17] следует, что решение уравнения (1.1) непрерывно по Гёльдеру всюду в $D$ с универсальным показателем Гёльдера всюду, кроме начала координат. Докажем, что ограниченное решение уравнения (1.1) непрерывно по Гёльдеру в начале координат. Отсюда будет вытекать и гёльдеровская непрерывность решения во всей области $D$.
Пусть $u$ – ограниченное решение уравнения (1.1) в $D$, ${{Q}_{{4R}}} \subset D$ и
4. ЗАКЛЮЧЕНИЕ
В этой работе впервые исследован вопрос о неравенстве Харнака и гёльдеровской непрерывности для решений эллиптического $p(x)$-лапласиана с трехфазным кусочно-постоянным показателем $p$ в плоской области со стыком фаз в одной точке в случае, когда границей раздела фаз являются три луча, исходящие из начала координат. Ранее подобные результаты были известны, только когда показатель $p(x)$ является двухфазным и границей раздела фаз является прямая (или гиперплоскость в пространствах большей размерности). Полученный в настоящей работе результат непосредственно обобщается на многомерный случай, когда пространство разделено на три части: вначале гиперплоскостью, а затем одно из полупространств разделено гиперплоскостью, перпендикулярной первой.
Конфигурация (1.3), где ${{D}^{{(i)}}}$ заданы (1.2), выбрана для простоты изложения. В качестве ${{D}^{{(i)}}}$ можно взять секторы, разделяемые тремя лучами, выходящими из начала координат. В этом случае общая схема рассуждений останется той же, изменится лишь метод продолжения функции (операции $f \mapsto \tilde {f}$, $f \mapsto \hat {f}$ в доказательстве теоремы 1).
Список литературы
Жиков В.В. Вопросы сходимости, двойственности и усреднения для функционалов вариационного исчисления // Изв. АН СССР. Сер. матем. 1983. Т. 47. № 5. С. 961–995.
Жиков В.В. Усреднение нелинейных функционалов вариационного исчисления и теории упругости // Изв. АН СССР. Сер. матем. 1986. Т. 50. № 4. С. 675–711.
Edmunds D.E., Rakosnik J. Density of smooth functions in ${{W}^{{k,p}}}(\Omega )$ // Proc. Roy. Soc. London Ser. A. 1992. V. 437. P. 229–236.
Fan X., Wang S., Zhao D. Density of ${{C}^{\infty }}(\Omega )$ in ${{W}^{{1,p(x)}}}(\Omega )$ with discontinuous exponent $p(x)$ // Math. Nachr. 2006. V. 279. № 1–2. P. 142–149.
Zhikov V.V. On Lavrentiev’s Phenomenon // Russian J. Math. Phys. 1994. V. 3. № 2. P. 249–269.
Жиков В.В. О плотности гладких функций в пространстве Соболева-Орлича // Зап. научн. сем. ПОМИ. 2004. Т. 310. С. 67–81.
Жиков В.В. О вариационных задачах и нелинейных эллиптических уравнениях с нестандартными условиями роста // Проблемы математического анализа. 2011. Т. 54. С. 23–112.
Zhikov V. On variational problems and nonlinear elliptic equations with nonstandard growth conditions // J. Math. Sci. 2011. V. 173. № 5. P. 463–570.
Жиков В.В. О вариационных задачах и нелинейных эллиптических уравнениях с нестандартными условиями роста. Новосибирск: Тамара Рожковская, 2017.
Diening L., Harjulehto P., Hästö P., Růžička M. Lebesgue and Sobolev Spaces with Variable Exponents. Lect. Notes Math. 2017. Berlin: Springer, 2011.
Cruz-Uribe D., Fiorenza A. Variable Lebesgue Spaces. Foundations and Harmonic Analysis. Basel: Birkhäuser–Springer, 2013.
Kokilashvili V., Meshkii A., Rafeiro H., Samko S. Integral Operators in Non-Standard Function Spaces. Vol. 1: Variable Exponent Lebesgue and Amalgam Spaces. Vol. 2: Variable Exponent Hölder, Morrey–Campanato and Grand Spaces. Operator Theory: Advances and Applications 248, 249. Basel: Birkhäuser–Springer, 2016.
Алхутов Ю.А. Неравенство Харнака и гельдеровость решений нелинейных эллиптических уравнений с нестандартным условием роста // Дифференц. ур-ния. 1997. Т. 33. № 12. С. 1651–1660.
Крашенинникова О.А. О непрерывности в точке решений эллиптических уравнений с нестандартным условием роста // Тр. МИАН. 2002. Т. 236. С. 204–211.
Алхутов Ю.А. О гельдеровой непрерывности $p(x)$-гармонических функций // Матем. сб. 2005. Т. 196. № 2. С. 3–28.
Алхутов Ю.А., Крашенинникова О.А. О непрерывности решений эллиптических уравнений с переменным порядком нелинейности // Тр. МИАН. 2008. Т. 261. С. 7–15.
Acerbi E., Fusco N. A transmission problem in the calculus of variations // Calc. Var. Partial Differ. Equ. 1994. V. 2. № 1. P. 1–16.
Алхутов Ю.А., Сурначев М.Д. О неравенстве Харнака для эллиптического $(p,q)$-лапласиана // Докл. АН. 2016. Т. 470. № 6. С. 623–627.
Alkhutov Yu.A., Surnachev M.D. A Harnack inequality for a transmission problem with $p(x)$-Laplacian // Applicable Analysis. 2019. V. 98. № 1–2. P. 332–344.
Алхутов Ю.А., Сурначев М.Д. О неравенстве Харнака для $p(x)$-лапласиана с двухфазным показателем $p(x)$ // Труды семинара им. И.Г. Петровского. 2019. Вып. 32. С. 8–56.
Гилбарг Д., Трудингер Н. Эллиптические дифференциальные уравнения с частными производными второго порядка. Пер. с англ. М.: Наука, 1989.
Serrin J. Local behavior of solutions of quasi-linear equations // Acta Math. 1964. V. 111. P. 247–302.
Дополнительные материалы отсутствуют.
Инструменты
Журнал вычислительной математики и математической физики