ВУЗ:
Составители:
Рубрика:
106 Пространства Соболева дробного порядка
Лемма 4.8. Пусть f — вещественная функция, определенная на
[0, ∞), и пусть
g(t) =
1
t
t
Z
0
f(s)ds.
Если 1 6 p < ∞, θ = 1 /p + ν < 1, то
∞
Z
0
t
νp
|g(t)|
p
dt 6
1
(1 −θ)
p
∞
Z
0
t
νp
|f(t)|
p
dt.
Теорема 4.3. Если 1 6 p < ∞, 0 < 1/p + ν < 1, то пространство
T = T (p, ν; D(Λ), B) совпадает с пространством T
0
, и нормы k ·k
T
и
k · k
T
0
эквивалентны.
Доказательство. Пусть u ∈ T, и f ∈ W такова, что f(0) = u, и f
как функция из (0, ∞) в D(Λ) бесконечно дифференцируема. Положим
h(t) = f
0
(t) − Λf(t). Если 0 < ε 6 t, то по теореме 4.1
f(t) = G(t − ε)f(ε) +
t
Z
ε
G(t − ε)h(τ)dτ.
Следовательно,
G(t − ε)f(ε) −f(ε) =
t
Z
ε
f
0
(τ)dτ −
t
Z
ε
G(t − τ)h(τ)dτ.
Переходя к пределу по ε → 0+, получим
G(t)f(0) −f(0) =
t
Z
0
f
0
(τ)dτ −
t
Z
0
G(t − τ)h(τ)dτ.
По лемме 4.3 последнее равенство останется справедливым и для всех
f ∈ W . Таким образом, для u ∈ T и f ∈ W
u
имеем
G(t)u − u =
t
Z
0
f
0
(τ)dτ −
t
Z
0
G(t − τ)h(τ)dτ, h(τ) = f
0
(τ) −Λf(τ).
106 Пространства Соболева дробного порядка Лемма 4.8. Пусть f — вещественная функция, определенная на [0, ∞), и пусть Zt 1 g(t) = f (s)ds. t 0 Если 1 6 p < ∞, θ = 1/p + ν < 1, то Z∞ Z∞ 1 tνp |g(t)|p dt 6 tνp |f (t)|p dt. (1 − θ)p 0 0 Теорема 4.3. Если 1 6 p < ∞, 0 < 1/p + ν < 1, то пространство T = T (p, ν; D(Λ), B) совпадает с пространством T 0 , и нормы k · kT и k · kT 0 эквивалентны. Доказательство. Пусть u ∈ T , и f ∈ W такова, что f (0) = u, и f как функция из (0, ∞) в D(Λ) бесконечно дифференцируема. Положим h(t) = f 0 (t) − Λf (t). Если 0 < ε 6 t, то по теореме 4.1 Zt f (t) = G(t − ε)f (ε) + G(t − ε)h(τ )dτ. ε Следовательно, Zt Zt G(t − ε)f (ε) − f (ε) = f 0 (τ )dτ − G(t − τ )h(τ )dτ. ε ε Переходя к пределу по ε → 0+, получим Zt Zt G(t)f (0) − f (0) = f 0 (τ )dτ − G(t − τ )h(τ )dτ. 0 0 По лемме 4.3 последнее равенство останется справедливым и для всех f ∈ W . Таким образом, для u ∈ T и f ∈ Wu имеем Zt Zt G(t)u − u = f 0 (τ )dτ − G(t − τ )h(τ )dτ, h(τ ) = f 0 (τ ) − Λf (τ ). 0 0
Страницы
- « первая
- ‹ предыдущая
- …
- 102
- 103
- 104
- 105
- 106
- …
- следующая ›
- последняя »