Отметим, что
∇
ϕ
≤
Aδ
m
−
∇
m
ϕ ,
(9)
при
= 0
,
1
, . . . , m
,
m
∈
N
.
Из определения функции
F
следует (все производные в угловых
скобках
·|·
берутся по переменному
w
), что
F
(
z
) =
Φ
δ
(
w
−
z
)
|
ϕ
(
w
)
Lf
a
(
w
)
,
где
f
a
(
w
) =
f
(
w
)
−
f
(
a
)
. Отсюда получаем, что выражение
(
−
1)
n
F
(
z
)
−
ϕ
(
z
)
f
a
(
z
) =
L
(
ϕ
(
w
)
Φ
δ
(
w
−
z
))
|
f
a
(
w
)
−
ϕ
(
z
)
f
a
(
z
)
представляет собой сумму выражений вида
k ∂
σ
Φ
δ
(
w
−
z
)
|
∂
τ
ϕ
(
w
)
f
a
(
w
)
,
где
k
— постоянный коэффициент, а
2
-индексы
σ
и
τ
таковы, что
|
σ
| ≤
n
−
1
и
|
σ
|
+
|
τ
|
=
n
.
Пусть
z
∈
B
(
a, λδ
)
. Тогда
|
ϕ
(
z
)
f
a
(
z
)
| ≤
ω
(
δ
)
ϕ
≤
Aδ
n
∇
n
ϕ ω
(
δ
)
,
а величина
|
k ∂
σ
Φ
δ
(
w
−
z
)
|
∂
τ
ϕ
(
w
)
f
a
(
w
)
|
допускает следующую оцен-
ку (используются (3), (4) и (9) и учитывается вид фундаментального
решения
Φ
δ
, а также тот факт, что функции
E
и
P
однородные степени
n
−
2
):
|
∂
τ
ϕ
(
w
)
∂
σ
Φ
δ
(
w
−
z
)
|
f
a
(
w
)
| ≤
≤ ∇
|
τ
|
ϕ ω
(
δ
)
δ
n
−|
σ
|
max
z
∈
B
(0
,λ
)
B
(0
,
1)
|
∂
α
Φ
δ
(
w
−
z
)
|
dw
∧
dw
≤
Ak
(
λ
)
δ
n
∇
n
ϕ ω
(
δ
)
.
Таким образом, оценка (7) установлена.
Оценка (8) проверяется намного проще. Пусть
α
— произвольный
2
-индекс. Тогда из неравенства
B
(
a,δ
)
∂
τ
ϕ
(
w
)
∂
σ
(
w
−
a
)
α
dw
∧
dw
≤
Aδ
2
∇
|
τ
|
ϕ δ
|
α
|−|
σ
|
≤
Aδ
|
α
|
+2
∇
n
ϕ ,
справедливого для любых
2
-индексов
σ
и
τ
таких, что
|
σ
|
+
|
τ
|
=
n
и
|
σ
| ≤ |
α
|
, вытекает, что
α
!
|
c
α
(
F, a
)
|
=
|
ϕ
(
w
)
Lf
a
(
w
)
|
(
w
−
a
)
α
| ≤
Aδ
|
α
|
+2
ω
(
δ
)
∇
n
ϕ .
Доказательство теоремы 1.
Без ограничения общности предполо-
жим, что
f
имеет компактный носитель. Пусть
f
∈
C
0
(
R
2
)
∩ O
L
(
X
◦
)
.
До конца доказательства положим
ω
(
δ
) :=
ω
(
f, δ
)
,
δ >
0
. Выберем
число
R >
2
так, что Supp
f
∪
X
⊂
B
(0
, R/
2)
.
Для произвольного
δ
∈
(0
,
1)
рассмотрим стандартное
δ
-разбиение
единицы, т.е. для каждого 2-индекса
j
= (
j
1
, j
2
)
∈
Z
+
2
положим
a
j
:=
jδ
= (
j
1
δ, j
2
δ
)
и выберем функции
ϕ
j
∈
C
∞
0
(
B
(
a
j
, δ
))
так, что
0
≤
ϕ
j
≤
1
,
∇
k
ϕ
j
≤
Aδ
−
k
при
k
= 0
, . . . , n
и
j
∈
Z
+
2
ϕ
j
≡
1
.
10
ISSN 1812-3368. Вестник МГТУ им. Н.Э. Баумана. Сер. “Естественные науки”. 2012. № 3