DIFFERENtIAl & DIFFERENCE EqUAtIONS ANd APPlICAtIONS
DIFFERENtIAl & DIFFERENCE EqUAtIONS ANd APPlICAtIONS
DIFFERENtIAl & DIFFERENCE EqUAtIONS ANd APPlICAtIONS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
AVERAGING DOMAINS: FROM EUCLIDEAN SPACES<br />
TO HOMOGENEOUS SPACES<br />
SUSAN G. STAPLES<br />
We explore the role of averaging domains from their earliest definition in Euclidean<br />
spaces and subsequent weighted forms of the definition to most recent results in homogeneous<br />
spaces. Various examples and applications of these domains, including Poincaré<br />
inequalities, are also discussed.<br />
Copyright © 2006 Susan G. Staples. This is an open access article distributed under the<br />
Creative Commons Attribution License, which permits unrestricted use, distribution,<br />
and reproduction in any medium, provided the original work is properly cited.<br />
1. Averaging domains in Euclidean spaces<br />
Averaging domains were first introduced by Staples [21] in order to answer a basic question<br />
on the definition of BMO functions in R n . Let us frame some of the relevant background<br />
and set notations. By Ω we mean a proper subdomain (i.e., open and connected)<br />
of R n . Recall that the BMO norm of a function u ∈ L 1 loc (Ω)isdefinedas<br />
∫<br />
1<br />
‖u‖ ∗ = sup ∣ ∣<br />
u − u B dx, (1.1)<br />
|B|<br />
B⊂Ω<br />
where B is any ball in Ω with Lebesgue measure |B|, u B = (1/|B|) ∫ B udx,anddx represents<br />
Lebesgue measure.<br />
It is a well-established fact that if the class of balls in Ω is replaced by the class of cubes<br />
in Ω, then the corresponding supremum defines an equivalent norm.<br />
A natural question arises: what types of domains D canreplaceballsandproducean<br />
equivalent norm? Here the supremum would be taken over all domains D ′ ⊂ Ω with D ′<br />
similar to D. The pursuit of the solution to this problem led in turn to the definition<br />
of L p -averaging domains. The case p = 1 of bounded L 1 -averaging domains provided<br />
precisely the class of domains which produce equivalent BMO norms.<br />
Definition 1.1. Let D be a domain in R n ,with|D| < ∞, andletp ≥ 1. It is said that D is<br />
an L p -averaging domain, if for some τ>1 the following holds:<br />
( ∫ 1<br />
|D|<br />
D<br />
B<br />
) ∣ ∣ 1/p ( ∫<br />
)<br />
u(x) − u D p 1<br />
dx ≤ C sup ∣ ∣ 1/p<br />
u(x) − u B p dx . (1.2)<br />
|B|<br />
τB⊂D<br />
Hindawi Publishing Corporation<br />
Proceedings of the Conference on Differential & Difference Equations and Applications, pp. 1041–1048<br />
B