Proof.
Let be sufficiently small. Let
(4.1) |
|
|
|
We set for a.a.Β and . Then it follows from (1.9) that
(4.2) |
|
|
|
for a.a.Β and . We shall show that
(4.3) |
|
|
|
for a.a.Β and .
From (1.8),
|
|
|
for all . Then, using (4.2) with , we have
|
|
|
for a.a.Β with and . It follows (4.3).
Furthermore, by (1.9), (2.5), and (4.2),
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
which implies for ,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for a.a.Β and .
From (1.8),
|
|
|
and
|
|
|
|
|
|
|
|
for .
This, in combination with (2.6) and Jensenβs inequality, further implies
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for a.a.Β and .
We now set
|
|
|
Then we can rewrite the above inequality as
|
|
|
|
for a.a.Β .
In the case of ,
note that .
It follows from LemmaΒ 2.10 with that
|
|
|
for all
and a.a.Β .
In the case of , similarly we have
|
|
|
for all
and a.a.Β .
This completes our proof.
β
Proof of TheoremΒ A in the case of .
By LemmaΒ 3.1 we can find a unique Radon measure
satisfying (3.2). Let and be such that
|
|
|
By LemmaΒ 3.1 there exists a unique nonnegative Radon measure on such that
|
|
|
for all and , where is as in (4.1).
This, together with LemmaΒ 4.1, implies that
|
|
|
for all .
Setting , then by LemmaΒ 2.2 (a) we see that
there exist a positive integer depending only on , , and and such that
|
|
|
This implies that
|
|
|
By the definition of , we obtain
|
|
|
for all .
This is the desired inequality. Thus, TheoremΒ A in the case of follows.
β
Proof.
Assume that problem (1.1) with (1.2) possesses a solution in , where .
We shall prove that .
Let . By (1.8) and (1.9) we find such that
|
|
|
for a.a.Β . Since is arbitrary, we see that .
Let .
By the integral by parts and (2.7) we have
|
|
|
Similarly, we have
|
|
|
Then
|
|
|
which implies (4.4). Then LemmaΒ 4.2 follows.
β
Proof of TheoremΒ A in the case of .
The proof follows the arguments in [IKO20, Theorem 1.2].
Let be a solution of problem (1.1) with (1.2) in , where .
From the proof in the case of , it is sufficient to show that initial data satisfies assertions (i)β(iii) in TheoremΒ A.
It follows from LemmaΒ 4.2 that satisfies (4.4).
Let .
In what follows, denote
|
|
|
Note that
|
|
|
Let
|
|
|
Set
|
|
|
Then and
|
|
|
Set
|
|
|
Since , for any , we can find such that
(4.5) |
|
|
|
For any , we set
|
|
|
and for any , we set
|
|
|
For the simplicity of notation, set
|
|
|
Note that
(4.6) |
|
|
|
for all and .
Then we shall calculate the derivatives of .
Since ,
by (4.5) we may assume that there exists such that and satisfy
(4.7) |
|
|
|
By (4.5) and (4.7) we have
(4.8) |
|
|
|
By (1.3), (4.6), and (4.8) we see that
(4.9) |
|
|
|
Substituting into (4.4), by (4.9) and HΓΆlderβs inequality, we obtain
(4.10) |
|
|
|
for all . On the other hand, it follows from (2.2) that
|
|
|
for all .
This, together with (4.10), implies that
(4.11) |
|
|
|
for all .
Let be a sufficiently small positive constant. For any , set
(4.12) |
|
|
|
Since is decreasing on and , for any with , we have
(4.13) |
|
|
|
Since if , by (4.12) and (4.13) we obtain
(4.14) |
|
|
|
Therefore, we deduce from (4.11), (4.12), and (4.14) that
|
|
|
for all . Therefore, we have
(4.15) |
|
|
|
Since
|
|
|
by (4.15) we obtain
|
|
|
Letting , we see that
(4.16) |
|
|
|
for all .
Let . Then the inequality (4.16) yields
|
|
|
for all and .
On the other hand, let .
Setting , then the inequality (4.16) yields
|
|
|
for all and .
Setting ,
similarly to the proof in the case of , we obtain
|
|
|
for all .
Thus, assertions (i)β(iii) in TheoremΒ A follow and the proof is complete.
β
Proof of TheoremΒ B.
Fix . Let be a solution of (1.1) in , where . Let and
. For each , we have
|
|
|
By the covering lemma in LemmaΒ 2.2 a family of balls for some index set such that
-
(i)
;
-
(ii)
for each ;
-
(iii)
for each and some universal constant .
This, together with TheoremΒ A and (1.8), implies that
(4.17) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Similarly, we have
(4.18) |
|
|
|
|
|
|
|
|
|
|
|
|
From these two above estimates (4.17) and (4.18), TheoremΒ A and LemmaΒ 3.1 we obtain
(4.19) |
|
|
|
for a.a.Β .
Let be such that
in , on , outside .
It follows from (4.19) that
(4.20) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for and a.a.Β . By LemmaΒ 3.2 and the fact that is continuous, we see that
(4.21) |
|
|
|
Furthermore, by LemmasΒ 3.1and 2.4 we have
(4.22) |
|
|
|
|
|
|
|
|
|
|
|
|
From (4.20), (4.21), and (4.22),
|
|
|
for .
This, in combination with (4.17) and (4.18), implies that
|
|
|
This and (1.10) yield that is a solution of problem (1.1) with (1.2) in . This completes our proof.
β