1

0.0.1 Fungsi Maksimal pada SHT

p(.)
Dalam subsection ini kami menetapkan batasan operator M dalam Mq(.) (X).
yaitu, bertujuan untuk membuktikan pernyataan berikut.

Teorema 0.0.1 Biarkan (X, d, µ) menjadi SHT. Biarkan 1 < q− 6 q(.) 6

p(.) 6 p+ < ∞ dan biarkan p, q ∈ P log (X). Kemudian M dibatasi dalam
p(.)
Mq(.) (X).

Bukti 0.0.2 Biarkan r menjadi angka positif kecil. Representasikan f sebagai

f = f1 + f2 , dimana f1 = f χB(x,ār) , f2 = f − f1 ,dan ā = ct (ct (cs + 1) + 1).
Kita memiliki

1 1
(µ(B(x, r))) p(x) − q(x) kMf kLq(.) (B(x,r))
6 (µ(B(x, r)))1/p(x)−1/q(x) kMf1 kLq(.) (B(x,r))
+(µ(B(x, r)))1/p(x)−1/q(x) kMf2 kLq(.) (B(x,r))
:= I1 + I2 .

Dengan asumsi bahwa q ∈ P log (X) dan kondisi penggandaan,

I1 6 c(µ(B(x, r)))1/p(x)−1/q(x) kXB(x,ār) f kLq(.) (X) 6 ckf kM p(.) (X)

q(.)

Sekarang perhatikan untuk y ∈ B(x, r).

Z
1
Mf2 (y) 6 sup |f |dµ,
B,B⊃B(x,r) µB
B

karena B(x, r) ⊂ B(y, ct (cs + 1)r) ⊂ B(x, ār).

Maka dari itu oleh ketidaksetaraan Holder, Proposisi 13.81, dan sifat
dasar ruang Lebesgue eksponen variabel yang kita miliki
 
Z
1 q(.)
I2 6 c(µ(B(x, r)))1/p(x)−1/q(x)  sup |f |dµ kχB(x,r) (.)kL (X)
B,B⊃B(x,r) µB
B
1/p(x) −1
6 c(µ(B(x, r))) sup (µ(B)) kf kLq(.) B kχB kLq̀(.) (X)
B,B⊃B(x,r)
0
6 c(µ(B(x, r)))1/p(x) sup (µ(B))−1 (µB)1/(q− (B)) kf kLq(.) (B)
B,B⊃B(x,r)
1/p(x)−1/q(x)
6c sup (µ(B)) kf kLq(.) (B)
B,B⊃B(x,r)

6 c sup(µ(B))1/p(x0 )−1/q(x0 ) kf kLq(.) (B) 6 ckf kM p(.) (X)

B q(.)

dimana x0 adalah pusat dari B

p(.)
Sehingga kami menyimpulkan bahwa M dibatasi dalam Mq(.) (x)
2

0.0.2 Integral Singular

Misalkan k : X × X\ {(x, x) : x ∈ X} → R menjadi kernel Calderon-Zygmund
yang ditentukan pada ruang tipe homogen (X, d, µ), yaitu, k adalah kondisi
fungsi yang terukur memuaskan:
c
|k(x, y)| 6 , x, y ∈ X, x 6= y;
µB(x, d(x, y))
 
d(x2 , x1 ) 1
|k(x1 , y) − K(X2 , Y )| + |k(y, x1 ) − k(y, x2 )| 6 cw
d(x2 , y) µ(B(x2 , d(x2 , y)))

untuk semua x1 , x2 , dan y dengan d(x2 , y) > cd(x2 , x1 ),dimana w tanpa penu-
runan berfungsi
R1 pada (0, ∞) memenuhi ∆2 kondisi w(2t) 6 cw(t)(t > 0) dan
kondisi 0 (w(t)/t)dt < ∞.
Kami berasumsi bahwa untuk beberapa konstan s, 1 < s < ∞, dan se-
mua f ∈ Ls (X), membatasi
Z
(Kf )(x) = lim k(x, y)f (y)dµ(y),
ε→0
X\B(x,ε)

hampir ada dimana mana di X dan bahwa K dibatasi di Ls (X).

Teorema 0.0.3 Misalkan (X, d, µ) menjadi ruang RD. Biarkan 1 6 q− 6
q(.) 6 p(.) 6 p+ < ∞. Misalkan q, p ∈ P log (X). Lalu ada konstanta positif c
sehingga
kKf kM p(.) (X) 6 ckf kM p(.) , f ∈ D(X)
q(.) q(.)

∞
dimana D(X) adalah kelas fungsi di L (X) dengan dukungan sederhana.

Bukti 0.0.4 Kita ambil r > 0 dan mewakili f sebagai f1 + f2 , dimana f1 =

f χB(x,2ct r) , f2 = f − f1 . pertama amti bahwa jika y ∈ B(x, r) dan z ∈
X\B(x, 2ct r), maka µ(B(x, d(x, z))) 6 cµ(B(y, d(y, z))). Bahwasannya

d(x, z) 6 ct d(x, y) + ct d(y, z) 6 ct r + ct d(y, z) 6 d(x, z)/2 + ct d(y, z).

Oleh karena itu, d(x, z) 6 2ct d(y, z). Ini menyimpulkan

µ(B(x, d(x, z))) 6 cµ(B(x, d(y, z))).

Selanjutnya, jika t ∈ B(x, d(y, z)), lalu

d(y, t) 6 ct d(y, z) + ct d(z, t) 6 ct (d(y, z) + ct d(z, x) + ct d(x, t))

6 ct (d(y, z) + 2c2t cs d(y, z) + ct d(y, z)) = 2c2t (1 + cs ct )d(y, z).

Demikian,µ(B(x, d(y, z))) 6 cµ(B(y, d(y, z))). Sehingga

µ(B(x, d(x, z))) 6 c1 µ(B(x, d(y, z))) 6 c2 µ(B(y, d(y, z))).

Kita ambil bilangan bulat m sehingga bm ` cukup kecil, dimana b adalah kon-
stanta dari kondisi penggandaan untuk µ dan ` adalah diameter dari X.
 3

Sekarang dengan kondisi penggandaan terbalik dan ketidaksamaan yang

terakhir, untuk y ∈ B(x, r) kita memiliki
Z
|(Kf2 )(y)| 6 c |f (z)|µ(B(x, d(x, z)))−1 dµ(z)
X\B(x,2ct r)
Z
6 |f (z)|
X\B(x,2ct r)
 
Z
× (µ(B(x, d(x, t))))−2 dµ(t) dµ(z)
 

B(x,Am d(x,z))\B(x,Am−1 d(x,z))

 
Z Z
6 (µ(B(x, d(x, t))))−2  |f (z)|dµ(z) dµ(t)
 

X\B(x,Am−1 2ct r) B(x,A1−m d(x,t))

Z
6 (µB(x, d(x, t)))−1 f¯(x, t)dµ(t),
X\B(x,Am−1 2ct r)

dimana
Z
−1
f¯(x, t) := µ(B(x, A1−m d(x, t)))

|f (z)|dµ(z),
B(x,A1−m d(x,t))

dimana A adalah konstanta dari kondisi penggandaan terbalik dariµ,

Dengan kondisi q ∈ P log (X) dan kondisi penggandaan untuk µ

f¯(x, t) 6 (µ(B(x, A1−m d(x, t))))−1 kf kLq(.) (B(x,A1−m d(x,t)))

× kχB(x,A1−m d(x,t)) kLq0 (.) (X)
0 0
6 kf kM p(.) (B(x,A1−m d(x,t))) (µ(x, A1−m d(x, t)))−1/q (x)−1/p(x)+1/q (x)
p(.)

6 ckf kM p(.) (X) (µ(B(x, d(x, t))))−1/p(x) .

p(.)

oleh karena itu, Lemma menghasilkan 13.82

Z
|(Kf2 )(y)| 6 ckf kM p(.) (µ(B(x, d(x, t))))−1/p(x)−1 dµ(t)
p(.)
X\B(x,Am−1 2ct r)

6 cp kf kM p(.) (µ(B(x, r)))−1/p(x) .

p(.)

Selanjutnya, dengan ketimpangan terakhir, Proposisi 13.81, dan batasan

dari K dalam Lq(.) (X)(lihat Teorema 4.59 dan Proposisi 4.13 dari Volume 1),
4

kita memiliki

(µ(B(x, r)))1/p(x)−1/q(x) kKf kLq(.) (B(x,r))

6 (µ(B(x, r)))1/p(x)−1/q(x) kKf1 kLq(.) (B(x,r))
+ (µ(B(x, r)))1/p(x)−1/q(x) kKf2 kLq(.) (B(x,r))
6 (µ(B(x, r)))1/p(x)−1/q(x) kf kLq(.) (B(x,2ct r))
+ (µ(b(x, r)))1/p(x)−1/q(x) kKf2 kLq(.) (B(x,r))
6 ckf kM p(.) (X) + c(µ(B(x, r)))−1/q(x) kχB(x,r) kLq(.) (X) kf kM p(.) (X)
p(.) p(.)

6 ckf kM p(.) (X)

p(.)

0.0.3 Aplikasi untuk Integral Singular di Set Fraktal

Misalkan Γ ⊂ C menjadi kurva yang dapat diperbaiki yang terhubung dan
misalkan v menjadi ukuran panjang busur Γ. Kita ingat bahwa Γ reguler jika

v(D(z, r) ∩ Γ) 6 r

untuk setiap z ∈ Γ dan semua r > 0, dimana D(z, r) adalah disc dalam C
dengan pusat z dan jari jari r. Membalikkan ketimpangan

v(D(z, r) ∩ Γ) > cr

berlaku untuk semua z ∈ Γ dan r < `/2, dimana ` adalah diameter Γ. Jika
kita melengkapi Γ reguler melengkung dengan ukuruan v dan metrik Euclidan,
kemudian Γ menjadi SHT.
Kernel asosiasi dimana kita tertarik adalah
1
k(z, w) = .
z−w
Integral Cauchy Z
f (τ )
SΓ f (t) = dv(τ )
t−τ
Γ

adalah operator tunggal yang sesuai.

Kernel yang disebutkan diatas dalam kasus kurva biasa adalah kernel
Calderon-Zygmund. Seperti yang telah dibuktikan G. David[41], kondisi yang
diperlukan dan cukup untuk kelangsungan operator SΓ di Lτ (Γ), dimana r
adalah konstanta (1 < r < ∞), adalah bahwa Γ reguler.

Definisi 0.0.5 Misalkan 1 < q− 6 q(.) 6 p(.) 6 p+ < ∞. Kami mengatakan

p(.)
bahwa fungsi f dapat diintegrasikan secara lokal di Γ milik kelas Mp(.) (Γ) jika

kf kM p(.) (Γ) = sup (v(D(z, r) ∩ Γ))1/p(z)−1/q(z) kf kLq(.) (D(z,r)∩Γ) .

q(.) z∈Γ,0<r<`

Teorema 0.0.6 Mengimplikasikan pernyataan berikut.

0.1. VARIABEL EKSPONEN MORREY-CAMPANATO SPACES 5

Proposition 0.0.7 Biarkan Γ menjadi kurva reguler. Misalkan 1 < q− 6

q(z) 6 p(z) 6 p+ < ∞ untuk semua z ∈ Γ, bahwa ` < ∞, dan bahwa
p, q ∈ P log (Γ). Lalu ada a konstanta positif c sedemikian hingga terjadi

kSΓ f kM p(.) (Γ) 6 ckf kM p(.) (Γ) , f ∈ D(Γ),

q(.) q(.)

menahan.

Misalkan sekarang F menjadi himpunan bagian dari Rn yang merupakan

s-set 0 6 s 6 n di sense bahwa itu adalah ukuran Borel µ di Rn sedemikian
rupa sehingga

(i) sup pµ = F

(ii) ada konstanta positif c1 dan c2 sehingga untuk semua z ∈ F dan semua
r ∈ (0, 1),
c1 rs 6 µ(B(x, r) ∩ F ) 6 c2 rs .

Diketahui (lihat Triebel[230, Thm.3.4])bahwa µ setara dengan pembat-

asan ukuran Hausdorff Hs sampai F . Dengan demikian kita akan mengiden-
tifikasi µ dengan Hs |F .
Biarkan KF menjadi integral tunggal Calderon-Zygmund yang didefin-
isikan pada s-set F . Pernyataan berikutnya adalah konsekuensi dari Teo-
rema 13.84.

Proposition 0.0.8 Biarkan F menjadi s-set. Biarkan 1 < q− 6 q(x) 6

p(x) 6 p+ < ∞ untuk semua x ∈ F . Misalkan F dibatasi. Biarkan p, q ∈
P log (F ). Kemudian terdapat konstanta c positif sedemikian rupa sehingga

kKF f kM p(.) (F ) 6 ckf kM p(.) (F ) , f ∈ D(F )

q(.) q(.)

0.1 Variabel Eksponen Morrey-Campanato Spaces

Pada bagian ini kita mempelajari variabel eksponen ruang Campanato Lp(.),λ(.) (X),
dimana ruang yang mendasari X adalah ruang ukuran quasimetric; sebagian
besar hasil kami menduga bahwa X adalah tipe homogen.
Kami mulai dengan pernyataan penyematan untuk ruang seperti itu.
Lalu kami buktikan ruang variabel eksponen Campanati itu bertepatan, hingga
kesetaraan norma, dengan variabel ruang eksponen Morrey (ketika supx λ(x) <
1) dan dengan variabel eksponen ruang Holder (ketika inf x λ(x) > 1).
beberapa asumsi pada eksponen p dan λ adalah standar, yaitu, mereka
log-kontinu. Perhatikan kami memperkenalkan kondisi log dalam bentuk yang
lebih lemah dari biasanya untuk ukuran ruang quasimetric, lihat (13.138),
yang memungkinkan kita untuk merumuskan beberapa fakta untuk ruang non-
homogen.
6

0.1.1 Pendahuluan
Biarkan (X,d,µ) menjadi ukuran ruang quaimetri. Ingat bahwa ukuran µ
adalah lower Ahlfors α-regular, jika

µ(B(x, r)) > crα

dan upper Ahlfors β-regular, jika

µ(B(x, r)) 6 crβ ,

dimana α, β, c > 0 tidak bergantung pada x dan r dan diasumsikan bahwa

µ(B(x, R)\B(x, r)) > 0

untuk semua x ∈ X dan r, R dengan 0 < r < R < `.

Validitas kondisi penggandaan terbalik, mengikuti dari penggandaan kon-
disi dibawah batasan tertentu, diketahui. Kami memberikannya dalam formu-
lasi yang sesuai untuk tujuan kami, lihat, Grigor’yan dan Lau [83, hal. 13].

Lemma 0.1.1 Biarkan (X, d, µ) menjadi ruang tipe homogen. Jika (13.132)
valid, maka ukuran µ memenuhi kondisi penggandaan terbalik

µ(B(x, r))  r γ
6C (1)
µ(B(x, R)) R

untuk semua x ∈ X dan 0 < r 6 R < `, dimana C, γ > 0.

Remark 0.1.2 Perhatikan bahwa kondisi B(x, R)\B(x, r) 6= ∅, valid den-

gan asumsi (13.132), juga dipenuhi dengan asumsi bahwa X terubung dan
B(x, R)c 6= ∅, seperti yang ditunjukkan pada Grigor’yandan Lau [83, Prop.
3.3].

Perhatikan bahwa kondisi penggandaan terbalik (13.133) bersamaan den-

gan µ(X) < ∞ membuktikan bahwa ` < ∞ dan juga bahwa ukuran µ adalah
upper Ahlfors γ-regular.
Biarkan p menjadi fungsi terukur µ pada X. Kami sangat berasumsi itu

1 6 p− 6 p(x) 6 p+ < ∞, (2)

tapi terkadang mengakui kisarannya

1 6 p(x) 6 ∞.

Dalam kasus 1 6 p(x) < ∞, oleh Lp(.) (X) kami menunjukkan semua ruang
yang terukur µ fungsi f pada X dengan norma hingga
   
p(.) f
kf kp(.) = inf λ > 0 : I 61 ,
λ
0.1. VARIABEL EKSPONEN MORREY-CAMPANATO SPACES 7

dimana
 f (y) p(y)
  Z  
p(.) f
I :=  λ  dµ(y).
 
λ
X

Hubungan yang diketahui (0.4)-(0.5) antara modular dan norma tetap valid
pada ruang ukuran quasimetric. Kami menulis ulang nya dalam bentuk

kf k0p(.) 6 I p(.) (f ) 6 kf kσp(.) (3)

dimana p+ ,ifkf kp(.) 61 p− ,ifkf kp(.) 61

0= dan σ= (4)
p− ,ifkf kp(.) >1 p+ ,ifkf kp(.) >1

ketika p(.)tidak terikat, kita menggunakan bentuk

kf kLp(.) (X) := kf kLp(.) (X\X∞ ) + kf kL∞ (X∞ )

dimana X∞ := {x ∈ X : p(x) = ∞}.

dibawah ini kami menggunakan notasi
 
log Cp 1
P (X) = p ∈ P (x) : |p(x) − p(y)| 6 , d(x, y) 6 , x, y ∈ X ,
− ln d(x, y) 2
(5)
 
log A 1
Pµ (X) = p ∈ P (x) : |p(x) − p(y)| 6 , µB(x, d(x, y)) <
− ln µB(x, d(x, y)) 2
(6)

dan, untuk perbandingan kelas kelas ini merujuk pada kecocokan (0.17,),
(0.18).
Lemma 0.1.3 Misalkan (X, d, µ) menjadi ruang ukuran quasimetri dengan
ukuran terbatas dan p ∈ Pµlog (X). Lalu
p(x)
C −1 µ(B(x, r)) 6 (µ(B(x, r))) p(y) 6 Cµ(B(x, r)) (7)

untuk semua x, y ∈ X sedemikian hingga y ∈ B(x, r), dengan konstanta C > 1

tidak tergantung pada x, y, r.
Proof.Karena X memiliki ukuran terbatas dan p dibatasi dari bawah, maka
cukup untuk memeriksa (13.139) hanya untuk r, misalnya untuk r sehingga
µ(B(x, r)) < 21 . Hubungan (13.139) setara dengan
 
 p(x) − p(y) 
 ln[µ(B(x, r))] 6 ln C,
 p(y)
yang akan mengikuti kondisi p ∈ Pµlog (X) untuk semua r > d(x, y).
Lemma 0.1.4 Misalkan (X, d, µ) menjadi ruang ukuran quasimetri dengan
ukuran terbatas dan p ∈ Pµlog (X). Lalu
1
kχB(x,r) kLp(.) (X) ≈ (µ(B(x, r))) p(x) . (8)
8
1
Proof.Ketidaksetaraan kχB(x,r) kp(.) 6 C(µ(B(x, r))) p(x) sebelumnya terbukti
dibawah kondisi yang (X, d, µ) memiliki properti Ahlfors yang lebih rendah
dan p ∈ P log (X), lihat (0.19); bukti analisis menunjukkan bahwa itu juga valid
dibawah satu satunya asumsi bahwa p ∈ Pµlog (X). Perhatikan juga bahwa keti-
daksetaraan ini berlaku bahkan jika p(x) mungkin tidak terikat.
Untuk membuktikan ketidaksetaraan terbalik, dengan definsi bentuk yang
kita butuhkan untuk menunjukkan bahwa ada A > 0 sehingga
!
χB(x,r) (.)
Ip(.) 1 > 1.
A(µ(B(x, r))) p(x)
yang dengan mudah mengikuti dari (13.139) setelah mengintegrasikan lebih
dari X\X∞ ,estimasi berakhir X∞ sudah jelas.
Ruang variabel eksponen Morrey telah dipertimbangkan dalam Bagian
13.5.1. Dalam definisinya dibagian ini kami mengikuti definisi yang deberikan
pada bagian 13.1.3 untuk pengaturan Euclidean.
Untuk λ fungsi yang dapat diukur µ pada X dengan rentang [0,1], kami
mendefinisikan variabel eksponen Morrey space Lp(.),λ(.) (X) sebagai himpunan
dari semua fungsi yang dapat diitegrasikan f pada X seperti yang
Z
p(.),λ(.) 1
I (f ) := sup λ(x)
|f (y)|p(y) dµ(y) < ∞. (9)
x∈X,r>0 (µ(B(x, r)))
B(x,r)

Beberapa fakta dasar berikut untuk ruang Morrey dibuktikan dalam

Bagian 13.1.3 dalam pengaturan Euclidean, Namun beberapa fakta tersebut
tetap valid dalam quasimetris bebas mengukur ruang (buktinya tetap sama).
Bentuk dalam ruang Lp(.),λ(.) (X) dapat dinyatakan dalam dua bentuk,
   
p(.),λ(.) f
kf k1 = inf λ > 0 : I 61
λ
dan juga
λ(x)
kf k2 = sup (µ(B(x, r)))− p(.) f χB(x,r)

x∈X,r>0 p(.)

dan bertepatan untuk setiap f ∈ Lp(.),λ(.) (X), sehingga kita dapat mendefin-
isikan bentuk sebagai

kf kLp(.),λ(.) (X) := kf k1 = kf k2 .

seperti pada (13.12)-(13.13), kita memiliki

kf kθj 6 I p(.),λ(.) (f ) 6 kf kσj , j = 1, 2,

dimana θ dan σ didefinisikan serupa dengan (13.136).

Ketika X memiliki ukuran hingga dan p ∈ Pµlog (X), maka bentuk diatas
setara dengan bentuk
λ(x)
kf k∗Lp(.),λ(.) (X) = sup (µ(B(x, r)))− p(x) kf kLp(.) (B(x,r)) (10)
x∈X,r>0
0.1. VARIABEL EKSPONEN MORREY-CAMPANATO SPACES 9

Lemma berikut memperluas lemma 13.9 untuk ruang homogen, yang

dibuktikan dalam Kokilashvili dan Meskhi [127, Prop. 1.3], tetapi bukti anal-
isisnya dalam Almedia, Hasanov, dan Samko [7] dan Kokilashivili dan Meskhi
[127] menunjukkan bahwa peluasan ini berlaku seperti yang dirumuskan dibawah
asumsi dari Lemma 13.92.
Lemma 0.1.5 Misalkan (X, d, µ) menjadi ruang ukuran quasimetri dengan
ukuran terbatas, p, q ∈ Pµlog (X), 0 6 λ(x) 6 1, dan 0 6 v(x) 6 1. Misalkan
juga 1 6 p(x) 6 q(x) dan
1 − λ(x) 1 − v(x)
> .
p(x) q(x)
kemudian
Lq(.),v(.) (X) ,→ Lp(.),λ(.) (X) (11)
Dengan fE f (y)dµ(y) kami menunjukkan rata rata integral dari fungsi f .
1 R
yaitu fE f (y)dµ(y) = fE f (y)dµ(y).
µ(E) E
Berikut Diening inequality
 p(x)  
Z Z
|f (y)|dy  6 C 1 + |f (y)|p(y) dy  ,
   

B(x,r) B(x,r)
R
berlaku untuk eksponen log-kontinu p dan B(x,r) |f (y)|p(y) dy 6 1, sebagai
peran ketidaksamaan integral Jensen dalam analisis eksponen variabel. Dalam
lemma dibawah ini kami menetapkan bahwa ketidaksetaraan ini berlaku dalam
bentuk yang lebih umum dan didalam kerangka ruang ukuran quasimetrik.
Lemma 0.1.6 Misalkan (X, d, µ) menjadi ruang ukuran quaimetri dengan
ukuran terbatas kondisi memuaskan (13.132), biarkan 0 6 λ(x) 6 1, dan
biarkan p ∈ Pµlog (X) dan memuaskan (13.134). Kemudian
 p(z)  
Z Z
|f (y)|dµ(y) 6 C 1 + |f (y)|p(y) dµ(y) (12)
   

B(x,r) B(x,r)

untuk semua z ∈ B(x, r), dengan syarat kf kLp(.),λ(.) (X) 6 1

Proof. Perkiraan (13.144) jelas ketika µ(B(x, r)) > δ > 0, jadi kami hanya
mempertimbangkan x dan r yang µ(B(x, r)) 6 δ < 1, dimana δ akan dipilih
secara memadai. Misalkan
pr = pr (x) = inf p(t).
t∈B(x,r)

Kami menerapkan ketimpangan Holder dengan pr eksponen dan menda-

pat
 p(z)   p(z)
p r
Z Z
|f (y)|dµ(y) 6 |f (y)|pr dµ(y) .
   

B(x,r) B(x,r)
10

Sehingga
 p(z)   p(z)
p r
Z Z
1
|f (y)|dµ(y) 6 µ(B(x, r)) + |f (y)|pr dµ(y) .
   
 p(z)

B(x,r)
(µ(B(x, r))) pr
y∈B(x,r)|f (y)|>1

Sejak pr 6 p(y) untuk semua y ∈ B(x, r) dan p adalah fungsi yang dibatasi,
kita memperoleh berikut
 p(z)
1−λ(x)
Z  
p(z)
(λ(x)−1) (µ(B(x, r)))
|f (y)|dµ(y) 6 C(µ(B(x, r))) pr .
 
2

B(x,r)

Ekspresi didalam tanda kurung sebelah kanan kurang dari 1 untuk δ yang
cukup kecil, dan
 p(z)  
Z Z
p(z)
|f (y)|dµ(y) 6 C 1 + |f (y)|dµ(y) (µ(B(x, r)))(λ(x)−1)( pr −1)
   

B(x,r) B(x,r)

Tetap menunjukkan bahwa (µ(B(x, r)))pr −p(z) ≤ C < ∞ yang mudah dihitung
dalam banyak cara yang sama seperti dalam bukti Lemma 13.90, karena selalu
1
ada aξr ∈ B(x, r) sedemikian hingga |p(ξr ) − pr | < . Kemudian
| ln µ(B(x, r))|
kita miliki
|pr − p(z)|| ln µ(B(x, r))|
6 (|pr − p(ξr )| + |p(ξr ) − p(x)| + |p(x) − p(z)|) | ln µ(B(x, r))| 6 C.

0.1.2 Variabel Eksponen menurut Holder

Pada bagian ini kita berurusan dengan variabel eksponen menurut Holder
H α(.) (X), yang sudah dipertimbangkan dalam bagian 8.2 Volume 1 dalam
kasus Euclidean.
Misalkan α(x) menjadi fungsi nonnegatif bernilai riil terukur µ pada X.
Kita katakan bahwa fungsi terikat f di H α(.) (X) jika ada C > 0 sedemikian
hingga
|f (x) − f (y)| 6 C.d(x, y)max{α(x),α(y)}
untuk semua x, y ∈ X.H α(.) (X) adalah menurut Banach sehubung dengan
bentuk
kf kH α(.) (X) = kf kL∞ + [f ]α(.) ,
dimana
|f (x) − f (y)|
[f ]α(.) := sup .
x,y∈X d(x, y)max{α(x),α(y)}
Ingat bahwa
|f (x) − f (y)| |f (x) − f (y)|
[f ]α(.) ≈ sup α(X)
≈ sup α(y)
x,y∈X d(x, y) x,y∈X d(x, y)

dalam kasus dimana X terbatas.

0.1. VARIABEL EKSPONEN MORREY-CAMPANATO SPACES 11

0.1.3 Variabel Eksponen menurut Campanato

Pada aturan yang setara
Semisal λ menjadi fungsi yang dapat diukur µ pada X dengan rentang [0, ∞].
Kami mendefinisikan variabe; eksponen menurut Campanato Lp(.),λ(.) (X) se-
bagai himpunan semua fungsi yang dapat diintegrasikan f di X seperti itu
Z
p(.),λ(.) 1
I (f ) := sup λ(x)
|f (y) − fB(x,r) |p(y) dµ(y) < ∞, (13)
x∈X,r>0 (µ(B(x, r)))
B(x,r)

dimana fB(x,r) adalah rata rata integral dari f di B(x, r).

Kami memberikan ruang variabel Campanato dengan smei-aturan
   
p(.) p(.),λ(.) f
1 bf cλ(.) := inf η > 0 : I 61 (14)
η

dan
λ(x)

p(.) − p(.)
2 bf cλ(.) := sup (µ(B(x, r))) (f − fB(x,r) )χB(x,r) (15)

x∈X,r>0 Lp(.) (X)

Ketika tidak kebingungan, kita cukup menulis [f ]1 dan [f ]2 untuk menghi-

dari,sebanyak mungkin, notasi yang rumit.
Seperti dalam kasus metode variabel Lebesque, kami memeliki beberapa
hubungan antara fungsional (13.145) dan semi-norm (13.146) dan (13.147).

Lemma 0.1.7 Misalkan (X, d, µ) menjadi ukuran ruang quasemetrik. untuk

setiap fungsi f ∈ Lp(.),λ(.) (X),

[f ]θi 6 I p(.),λ(.) (f ) 6 [f ]σi , i = 1, 2, (16)

dimana p+ ,if[f ]i 61, p− ,if[f ]i 61,

θ= σ=
p− ,if[f ]i >1, p+ ,if[f ]i >1.

Proof.Misalkan

 f (y) − fB(x,r) p(y)

Z  
1
Fx,r (η) =   dµ(y). (17)
(µ(B(x, r)))λ(x)  η 
B(x,r)

Kami menulis bahwa, untuk menyempurnakan (x, r) ∈ X ×(0, `), fungsi Fx,r (η)
adalah kontinu dan menurun dalam η ∈ (0, ∞).
Kita memiliki
sup Fx,r (1) = I p(.),λ(.) (f ), (18)
x∈X,r>0

dan dengan definisi dari semi norm [f ]1 , kami mendapatkan

sup Fx,r ([F ]1 ) = 1. (19)

x∈X,r>0
12

Relasi (13.148) dengan i = 1 mengikuti (13.150)-(13.151) dan monotonicity

dari Fx,r (η).
Untuk kasus i = 2, kami mendefinisikan
λ(x)
 
− p(x)
φx,r (.) := (µ(B(x, r))) f (.) − fB̃(x,r) χB̃(x,r) (.)

dan dengan (13.135)-(13.136) kita memiliki

p p
−
kφx,r (.)kp(.) 6 I p(.) (φx,r (.)) 6 kφx,r (.)kp(.)
+
, jika kφx,r (.)kp(.) > 1

dan serupa untuk kasus kφx,r (.)kp(.) 6 1. Ambil supremum dengan masing
masing x dan r, kita mendapat yang kita inginkan.
Lemma 0.1.8 Misalkan (X, d, µ) menjadi ukuran ruang quasimetrik. Untuk
f ∈ Lp(.),λ(.) (X) berpegang [f ]1 = [f ]2 .
Proof. Kita memiliki
[f ]2 = sup {µx,r > 0 : Fx,r (µx,r ) = 1}
x∈X,r>0

dimana Fx,r (.) adalah definisi fungsi dalam (13.149).

Karena Fµx,r = 1 dan Fx,r ([f ]1 ) 6 1, yang mengikuti (13.151), kita men-
dapatkan, berkat monotinitasnya Fx,r (η) di η, bahwa [f ]2 6 [f ]1 .
Ketidaksetaraan lainnya mengikuti catatan itu, oleh (13.148), kita memi-
liki  p−
p+
[f ]2 if [f ]1 6 1,



[f ]1 6 [f ]2 if [f ]1 >, [f ]2 6 1,
 p+

[f ] p− if [f ] > 1, [f ] > 1,

2 1 2
 
f f
dan mengganti f dengan , kita mendapatkan 6 1, yang meberikan
[f ]2 [f ]2 1
ketimpangan berlawanan,sedemikian hingga selesai buktinya.
Definisi 0.1.9 Variabel eksponen ruang Campanato Lp(.),λ(.) (X) akan menjadi
aturan
p(.)
kf kLp(.),λ(.) (X) :=1 bf cλ(.) + kf kL1 (X) . (20)
Karena semi-aturan [.]1 dan [.]2 bersamaan, kita dapat menggunakan [f ]2 atau
[f ]1 dalam (13.152).
Kita juga dapat memperkenalkan semi-aturan Campanato dalam for-
mulir λ(x)
= sup (µ(B(x, r)))− p(x) kf − fB(x,r) kLp(.) (B(x,r)) .
p(.)
∗ bf cλ(.) (21)
x∈X,r>0

Semi-aturan ∗[f ] dan [f ]2 setara ketika X memiliki ukuran hingga dan p ∈

Pµlog (X). Sejalan dengan itu, kita juga dapat menggunakan aturan
p(.)
kf kLp(.),λ(.) (X) :=1 bf cλ(.) + kf kL1 (X) . (22)

tidak membedakan antara (13.152) dan (13.154) ketika p ∈ Pµlog (X).

0.1. VARIABEL EKSPONEN MORREY-CAMPANATO SPACES 13

0.1.4 Teorema Embedding

Teorema 0.1.10 Misalkan (X, d, µ) menjadi ruang ukuran quasimetri dengan
ukuran hingga dan λ dan v menjadi fungsi teirkat nonnegatif. Jika p, q ∈
Pµlog (X), 1 6 p(x) 6 q(x) 6 q+ < ∞, dan

1 − λ(x) 1 − v(x)
> , (23)
p(x) q(x)

kemudian
Lq(.),v(.) (X) ,→ Lp(.),λ(.) (X). (24)

Proof. Kita hanya membutuhkan untuk bukti bahwa I p(.),λ(.) (f ) 6 C dengan

C > 0 tidak tergantung pada f , sedangakan I q(.),v(x) (f ) 6 1, atau setara
q(.)
dengan 1 bf cv(.) 6 1 ketidaksetaraan dengan eksponen p1 (.) = q(.)/p(.),
Z
|f (y) − fB(x,r) |p(y) dµ(y) (25)
B(x,r)

6 CkχB(x,r) kp1 (.) k(f (.) − fB(x,r) )p(.) χB(x,r) kp1 (.) . (26)
| {z }
Ψx,r (f )

Denggan lemma 13.91, kita memiliki

p(x)
kχB(x,r) kp1 (.) 6 C(µ(B(x, r)))1− q(x) . (27)

Untuk aturan lain, kita memiliki perkiraan

 

 Z 

q(y)
q(y) − p(y)
Ψx,r (f ) = inf η > 0 : |f (y) − fB(x,r) | η dµ(y) 6 1 (28)

 

B(x,r)
p(x)
6 Ap+ (µ(B(x, r)))v(x) q(x) (29)

dimana A > 1 adalah konstanta (tidak tegantung pada x, y dan r) dari keti-
daksamaan
v(x) v(x)p(x) v(x)
A−1 (µ(B(x, r))) q(y) 6 (µ(B(x, r))) q(x)p(y) 6 A(µ(B(x, r))) q(y)

diperoleh dengan cara sama untuk (13.139).

Menggunakan (13.158) dan (13.159) di (13.157), kita medapatkan
Z
p(x)
(µ(B(x, r)))−λ(x)
|f (y) − fB(x,r) |p(y) dµ 6 C(µ(B(x, r))) q(x) (v(x)−1)+1−λ(x)
B(x,r)

yang mengingat (13.155) memberi (13.156).

14

0.1.5 Kebenaran Variabel Eksponen menurut Campanato

dengan Variabel Eksponen menurut Morrey dalam
Kasus λ+ < 1
Kita mulai dengan lemma berikut. Ingat bahwa modulars I p(.),λ(.) (f ) dan
I p(.),λ(.) (f ) diperkenalkan pada (13.145) dan (13.141).
Lemma 0.1.11 Misalkan (X, dmµ) menjadi ruang ukur quasimetri dengan
ukuran terbatas, misalkan p ∈ Pµlog (X) dan menggunakan (13.134), dan mis-
alkan 0 6 λ(x) 6 1. Untuk f ∈ Lp(.),λ(.) (X) dengan I p(.).λ(.) (f ) 6 1,
 
p(.),λ(.) p(.),λ(.) 1−λ(x)
I (f ) 6 C I (f ) + sup (µ(B(x, r))) , (30)
x∈X,r>0

dimana C tidak tergantung pada f dan C,

Proof. Kita memiliki
Z
p(.),λ(.) 1
I (f ) = sup λ(c)
|f (y) − fB(x,r) |p(y) dµ(y).
x∈X,r>0 (µ(B(x, r)))
B(x,r)

Karenanya, dengan ketimpangan (a + b)p 6 2p−1 (ap + bp ),

I p(.),λ(.) (f )
  p(y) 
−1
  Z  
2p+
Z 
    
p(y)
sup |f (y)| + |f (ξ)|dµ(ξ) dµ(y).
 
λ(x)
x∈X,r>0 (µ(B(x, r))) 
    
B(x,r)  B(x,r)  

Dalam pengertian kedua kita menggunakan ketimpangan Diening (13.144),

yang mungkin sejak I p(.),λ(.) (f ) 6 1 hasil kf kLp(.),λ(.) (X) 6 1.
Sebagai hasilnya, kita mendapat
 
Z
1
I p(.),λ(.) (f ) 6 C sup  |f (y)|p(y) dµ(y) + (µ(B(x, r)))1−λ(x) 
 
(µ(B(x, r)))λ(x)
x∈X,r>0
B(x,r)

dari mengikuti (13.160).

Corollary 0.1.12 Misalkan (X, d, µ) menjadi ruang ukur quasimetrik dengan
ukuran terbatas, misalkan p Pµlog (X), dan menggunakan (13.134) dan 0 6
λ(x) 6 1. Kemudian
Lp(.),λ(.) (X) ,→ Lp(.),λ(.) (X).
Proof.Cukup untuk membuktikan bahwa kf kLp(.),λ(.) (X) := kf kL1 + [f ]1 6 C
untuk semua fungsi f dengan kf kLp(.),λ(.) (X) 6 1. Dengan memberi (13.143),
ketidaksamaan kf kL1 6 Ckf kLp(.),λ(.) (X) mengikuti dari (13.143), dan estmasi
dari aturan [f ]1 mengikuti dari (13.160).
Untuk membuktikan yang lain, kita akan membutuhkan beberapa lemma.
0.1. VARIABEL EKSPONEN MORREY-CAMPANATO SPACES 15

Lemma 0.1.13 Misalkan (X, d, µ) menjadi ruang ukur quasimetrik dengan

ukuran terbatas. Kemudian terdapat sebuah konstanta C sehingga menjadi
1
(µ(B(x, ρ)))λ(x) + (µ(B(x, σ)))λ(x)
  p(x)
|fB(x,ρ) − fB(x,σ) | 6 C kf k∗Lp(.),λ(.) (X) ,
µ(B(x, σ))
(31)
untuk semua x ∈ X dan 0 < σ < ρ < `.

Proof. Dengan Lemma 13.91,

kf(x,ρ) − fB(x,σ) kLp(.) (B(x,σ)) = |fB(x,ρ) − fB(x,σ) |k̇χB(x,σ) kLp(.) (X)

1
> c|fB(x,ρ) − fB(x,σ) |(µ(B(x, σ))) p(x) .

Karenanya
c
|fB(x,ρ) − fB(x,σ) | 6 1 kfB(x,ρ) − fB(x,σ) kLp(.) (B(x,σ))
(µ(B(x, σ))) p(x)
c

6 1 kf − fB(x,σ) kLp(.) (B(x,σ)) + kf − fB(x,ρ) kLp(.) (B(x,ρ)) .
(µ(B(x, σ))) p(x)

Kemudian dengan (13.153) kita sampai di (13.161).

Lemma 0.1.14 Biarkan (X, d, µ) menjadi ruang tipe homogen dengaan uku-
ran terbatas dan λ menjadi menjadi fungsi bernilai riil nonnegatif dengan
λ+ < 1. Lalu terdapat konstanta C = C(p, λ, D) sedemikian rupa sehingga
m−1
λ(x)−1 X 1−λ(x)
|fB(x,r) − fB(x,r/2m ) | 6 Ckf k∗Lp(.),λ(.) (X) (µ(B(x, r))) p(x) DkN p(x) (32)
k=0

untuk semua (x, r) ∈ X × (0, `), dimana D adalah konstanta dari dari kondisi
penggandaan dan N = log2 D.