17.03.2015 Views

DIFFERENtIAl & DIFFERENCE EqUAtIONS ANd APPlICAtIONS

DIFFERENtIAl & DIFFERENCE EqUAtIONS ANd APPlICAtIONS

DIFFERENtIAl & DIFFERENCE EqUAtIONS ANd APPlICAtIONS

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!