Affine curvature: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Yaronmr
The equi-affine geometry is known to represent human movement (aka the two thirds power law).
en>Rjwilmsi
m Human Motor System: Journal cites, added 1 PMID using AWB (10331)
 
Line 1: Line 1:
In [[harmonic analysis]], a function of '''bounded mean oscillation''', also known as a '''BMO function''', is a real-valued function whose mean oscillation is bounded (finite). The space of functions of '''bounded mean oscillation''' ('''BMO'''), is a [[function space]] that, in some precise sense, plays the same role in the theory of [[Hardy space]]s ''H<sup>p</sup>'' that the space ''L''<sup>∞</sup> of [[Essential supremum|essentially bounded function]]s plays in the theory of [[Lp space|''L<sup>p</sup>''-spaces]]: it is also called '''John–Nirenberg space''', after [[Fritz John]] and [[Louis Nirenberg]] who introduced and studied it for the first time.
Botanist Earlywine from Fleurimont, enjoys to spend some time climbing, como [http://comoconseguirdinheiro.comoganhardinheiro101.com ganhar dinheiro] na internet and writing.  that covered planning to Proto-urban Site of Sarazm.
 
== Historical note ==
According to {{Harvtxt|Nirenberg|1985|p=703 and p. 707}},<ref>Aside with the collected papers of [[Fritz John]], a general reference for the theory of functions of bounded mean oscillation, with also many (short) historical notes, is the noted book by {{harvtxt|Stein|1993|loc=chapter IV}}.</ref> the space of functions of bounded mean oscillation was introduced by {{Harvtxt|John|1961|pp=410–411}} in connection with his studies of [[Map (mathematics)|mappings]] from a [[bounded set]] {{math|Ω}} belonging to '''R'''<sup>''n''</sup> into '''R'''<sup>''n''</sup> and the corresponding problems arising from [[Solid mechanics|elasticity theory]], precisely from the concept of [[Deformation (mechanics)#Strain|elastic strain]]: the basic notation was introduced in a closely following paper by {{harvtxt|John|Nirenberg|1961}},<ref>The paper {{harv|John|1961}} just precedes the paper {{harv|John|Nirenberg|1961}} in volume 14 of the [[Communications on Pure and Applied Mathematics]].</ref> where several properties of this function spaces were proved. The next important step in the development of the theory was the proof by [[Charles Fefferman]]<ref>[[Elias Stein]] credits only Fefferman for the discovery of this fact: see {{harv|Stein|1993|p=139}}.</ref> of the [[Duality (mathematics)|duality]] between '''BMO''' and the [[Hardy space]] ''H''<sup>1</sup>, in the noted paper {{Harvnb|Fefferman|Stein|1972}}: a constructive proof of this result, introducing new methods and starting a further development of the theory, was given by [[Akihito Uchiyama]].<ref>See his proof in the paper {{Harvnb|Uchiyama|1982}}.</ref>
 
== Definition ==
{{EquationRef|1|Definition 1.}} The '''mean oscillation''' of a [[locally integrable function]] ''u'' over a [[hypercube]]<ref>When ''n'' = 3 or ''n'' = 2, ''Q'' is respectively a [[cube]] or a [[Square (geometry)|square]], while when ''n'' = 1 the domain on integration is a [[Interval (mathematics)#Classification of intervals|bounded closed interval]].</ref> ''Q'' in '''R'''<sup>''n''</sup> is defined as the value of the following [[integral]]:
 
:<math> \frac{1}{|Q|}\int_{Q}|u(y)-u_Q|\,\mathrm{d}y</math>
 
where
*|''Q''| is the [[Volume (mathematics)|volume]] of ''Q'', i.e. its [[Lebesgue measure]]
*''u<sub>Q</sub>'' is the average value of ''u'' on the cube ''Q'', i.e.
 
::<math>u_Q=\frac{1}{|Q|}\int_{Q} u(y)\,\mathrm{d}y</math>.
 
{{EquationRef|2|Definition 2.}} A '''BMO function''' is a locally integrable function ''u'' whose mean oscillation [[supremum]], taken over the set of all [[cube]]s ''Q'' contained in '''R'''<sup>''n''</sup>, is finite.
 
'''Note 1'''. The supremum of the mean oscillation is called the '''BMO norm''' of ''u''.<ref>Since, as shown in the "''[[Bounded mean oscillation#BMO is a Banach space|Basic properties]]''" section, it is exactly a [[Norm (mathematics)|norm]].</ref> and is denoted by ||''u''||<sub>BMO</sub> (and in some instances it is also denoted ||''u''||<sub>∗</sub>).
 
'''Note 2'''. The use of [[cube]]s ''Q'' in '''R'''<sup>''n''</sup> as the [[Integration (mathematics)|integration]] [[Domain (mathematical analysis)|domains]] on which the {{EquationNote|1|mean oscillation}} is calculated, is not mandatory: {{harvtxt|Wiegerinck|2001}} uses [[Ball (mathematics)|balls]] instead and, as remarked by {{harvtxt|Stein|1993|p=140}}, in doing so a perfectly equivalent definition of [[function (mathematics)|functions]] of bounded mean oscillation arises.
 
===Notation===
 
*The universally adopted notation used for the set of BMO functions on a given domain {{math|Ω}} is '''BMO'''({{math|Ω}}): when {{math|Ω}}&nbsp;=&nbsp;'''R'''<sup>''n''</sup>, '''BMO'''('''R'''<sup>''n''</sup>) simply symbolized as '''BMO'''.
*The '''BMO norm''' of  a given BMO function ''u'' is denoted by ||''u''||<sub>BMO</sub>: in some instances, it is also denoted as ||''u''||<sub>∗</sub>.
 
== Basic properties ==
 
===BMO functions are locally ''p''–integrable===
BMO functions are locally ''L<sup>p</sup>'' if 0&nbsp;< ''p''&nbsp;< ∞, but need not be locally bounded.
 
=== BMO is a Banach space ===
[[Constant (mathematics)|Constant functions]] have zero mean oscillation, therefore functions differing for a constant ''c''&nbsp;>&nbsp;0 can share the same BMO norm value even if their difference is not zero [[almost everywhere]]. Therefore the function ||''u''||<sub>BMO</sub> is properly a norm on [[quotient space (linear algebra)|quotient space]] of BMO functions [[Modulo (jargon)|modulo]] the space of [[constant function]]s on the domain considered.
 
===Averages of adjacent cubes are comparable===
As the name suggests, the mean or average of a function in BMO does not oscillate very much when computing it over cubes close to each other in position and scale. Precisely, if ''Q'' and ''R'' are [[dyadic cubes]] such that their boundaries touch and the side length of ''Q'' is no less than one-half the side length of ''R'' (and viceversa), then
 
:<math> |f_{R}-f_{Q}|\leq C||f||_{BMO}</math>
 
where ''C'' > 0 is some universal constant. This property is, in fact, equivalent to ''f'' being in BMO, that is, if ''f'' is a locally integrable function such that |''f<sub>R</sub>''−''f<sub>Q</sub>''| ≤ ''C'' for all dyadic cubes ''Q'' and ''R'' adjacent in the sense described above, then ''f'' is in BMO and its BMO norm is proportional to the constant ''C''.
 
=== BMO is the dual vector space of ''H''<sup>1</sup> ===
{{harvtxt|Fefferman|1971}} showed that the BMO space is dual to ''H''<sup>1</sup>, the Hardy space with ''p''&nbsp;= 1.<ref>See the original paper by {{harvtxt|Fefferman|Stein|1972}}, or the paper by {{Harvtxt|Uchiyama|1982}} or the comprehensive [[monograph]] of {{Harvtxt|Stein|1993|p=142}} for a proof.</ref>  The pairing between ''f''&nbsp;&isin; ''H''<sup>1</sup> and ''g''&nbsp;∈ BMO is given by
:<math>(f,g)=\int_{\mathbb{R}^n}f(x)g(x) \, \mathrm{d}x</math>
though some care is needed in defining this integral, as it does not in general converge absolutely.
 
===The John–Nirenberg Inequality===
The '''John–Nirenberg Inequality''' is an estimate that governs how far a function of bounded mean oscillation may deviate from its average by a certain amount.
 
====Statement====
There are constants ''c''<sub>1</sub>, ''c''<sub>2</sub> > 0 such that whenever ''f''&nbsp;∈&nbsp;BMO('''R'''<sup>''n''</sup>), then for any cube ''Q'' in '''R'''<sup>''n''</sup>,
 
:<math> \left | \left \{x\in Q: |f-f_{Q}|>\lambda \right \} \right |\leq c_{1}\exp \left (-c_{2}\frac{\lambda}{\|f\|_{BMO}} \right )|Q|.</math>
 
Conversely, if this inequality holds over all [[cube]]s with some constant ''C'' in place of ||''f''||<sub>BMO</sub>, then ''f'' is in BMO with norm at most a constant times ''C''.
 
====A consequence: the distance in BMO to ''L<sup>∞</sup>''====
The John-Nirenberg inequality can actually give more information than just the BMO norm of a function. For a locally integrable function ''f'', let ''A''(''f'') be the infimal ''A''>0 for which
 
:<math>\sup_{Q\subseteq\mathbf{R}^{n}}\frac{1}{|Q|}\int_{Q}e^{\frac{|f-f_{Q}|}{A}}\mathrm{d}x<\infty.</math>
 
The John–Nirenberg inequality implies that ''A''(''f'')&nbsp;≤&nbsp;C||''f''||<sub>BMO</sub> for some universal constant ''C''. For an [[Lp space#Lp spaces|''L''<sup>∞</sup>]] function, however, the above inequality will hold for all ''A''>0. In other words, ''A''(''f'')=0 if ''f'' is in L<sup>∞</sup>. Hence the constant ''A''(''f'') gives us a way of measuring how far a function in BMO is from the subspace ''L''<sup>∞</sup>. This statement can be made more precise:<ref name="GarJon1" >See the paper {{Harvnb|Garnett|Jones|1978}} for the details.</ref> there is a constant ''C'', depending only on the [[Dimension (mathematics)|dimension]] ''n'', such that for any function ''f''&nbsp;∈&nbsp;BMO('''R'''<sup>''n''</sup>) the following two-sided inequality holds
 
:<math> \frac{1}{C}A(f)\leq \inf_{g\in L^{\infty}}||f-g||_{BMO}\leq CA(f).</math>
 
== Generalizations and extensions ==
 
=== The spaces BMOH and BMOA ===
 
When the [[Dimension (mathematics)|dimension]] of the ambient space is 1, the space BMO can be seen as a [[linear subspace]] of [[harmonic function]]s on the [[unit disk]] and plays a major role in the theory of [[Hardy spaces]]: by using {{EquationNote|2|definition 2}}, it is possible to define the BMO(''T'') space on the [[unit circle]] as the space of [[Function (mathematics)|functions]] ''f'' : ''T'' → '''R''' such that
 
:<math> \frac{1}{|I|}\int_{I}|f(y)-f_I|\,\mathrm{d}y < C <+\infty</math>
 
i.e. such that its {{EquationNote|1|mean oscillation}} over every arc I of the [[unit circle]]<ref>An arc in the [[unit circle]] ''T'' can be defined as the [[image (mathematics)|image]] of a [[interval (mathematics)|finite interval]] on the [[real line]] '''R''' under a [[continuous function]] whose [[codomain]] is ''T'' itself: a simpler, somewhat naive definition can be found in the entry "[[Arc (geometry)]]".</ref> is bounded. Here as before ''f<sub>I</sub>'' is the mean value of f over the arc I.
 
{{EquationRef|3|Definition 3.}} An Analytic function on the [[unit disk]] is said to belong to the '''Harmonic BMO''' or in the '''BMOH space''' if and only if it is the [[Poisson integral]] of a BMO(''T'') function. Therefore BMOH is the space of all functions ''u'' with the form:
 
:<math> u(a)=\frac{1}{2\pi}\int_{\mathbf{T}}\frac{1-|a|^2}{|a-e^{i\theta}|^2}f(e^{i\theta})\,\mathrm{d}\theta</math>
 
equipped with the norm:
 
:<math>\|u\|_{BMOH}=\sup _ {|a|<1}\left\{\frac{1}{2\pi}\int_{\mathbf{T}}\frac{1-|a|^2}{|a-e^{i\theta}|^2}|f(e^{i\theta})-u(a)|\,\mathrm{d}\theta\right\}</math>
 
The subspace of analytic functions belonging BMOH is called the '''Analytic BMO space''' or the '''BMOA space'''.
 
==== BMOA as the dual space of ''H''<sup>1</sup>(''D'') ====
[[Charles Fefferman]] in his original work proved that the real BMO space is dual to the real valued harmonic Hardy space on the upper [[Half-space (geometry)|half-space]] '''R'''<sup>''n''</sup> × (0, ∞].<ref>See the [[Bounded mean oscillation#BMO is the dual vector space of H1|section on Fefferman theorem]] of the present entry.</ref> In the theory of Complex and Harmonic analysis on the unit disk, his result is stated as follows.<ref>See for example {{harvtxt|Girela|pp=102–103}}.</ref> Let ''H<sup>p</sup>''(''D'') be the Analytic [[Hardy space]]  on the [[unit Disc]]. For ''p''&nbsp;= 1 we identify (''H''<sup>1</sup>)* with BMOA by pairing ''f'' ∈ ''H''<sup>1</sup>(''D'') and ''g''&nbsp;∈ BMOA using the ''anti-linear transformation'' ''T<sub>g</sub>''
 
:<math>T_g(f)=\lim_{r \rightarrow 1}\int_{-\pi}^{\pi}\bar{g}(e^{i\theta})f(re^{i\theta}) \, \mathrm{d}\theta</math>
 
Notice that although the limit always exists for an ''H''<sup>1</sup> function f and ''T<sub>g</sub>'' is an element of the dual space  (''H''<sup>1</sup>)*, since the transformation is ''anti-linear'', we don't have an isometric isomorphism between (''H''<sup>1</sup>)* and BMOA. However one can obtain an isometry if they consider a kind of ''space of conjugate BMOA functions''.
 
=== The space ''VMO'' ===
The space '''VMO''' of functions of '''vanishing mean oscillation''' is the closure in BMO of the continuous functions that vanish at infinity. It can also be defined as the space of functions whose "mean oscillations" on cubes ''Q'' are not only bounded, but also tend to zero uniformly as the radius of the cube ''Q'' tends to 0 or ∞.  The space VMO is a sort of Hardy space analogue of the space of continuous functions vanishing at infinity, and in particular the real valued harmonic Hardy space ''H''<sup>1</sup> is the dual of VMO.<ref>See reference {{harvnb|Stein|1993|p=180}}.</ref>
 
===Relation to the Hilbert transform===
A locally integrable function ''f'' on '''R''' is BMO if and only if it can be written as
 
:<math> f=f_1 + H f_2 + \alpha </math>
 
where ''f<sub>i</sub>'' ∈ ''L''<sup>∞</sup>, α is a constant and ''H'' is the [[Hilbert transform]].
 
The BMO norm is then equivalent to the infimum of <math> \|f_1\|_\infty + \|f_2\|_\infty</math> over all such representations.
 
Similarly ''f'' is VMO if and only if it can be represented in the above form with ''f<sub>i</sub>'' bounded uniformly continuous functions on '''R'''.<ref>{{harvnb|Garnett|2007}}</ref>
 
=== The Dyadic BMO space ===
Let ''Δ'' denote the set of [[dyadic cubes]] in '''R'''<sup>''n''</sup>. The space '''dyadic BMO''', written BMO<sub>d</sub> is the space of functions satisfying the same inequality as for BMO functions, only that the supremum is over all dyadic cubes. This supremum is sometimes denoted ''||•||<sub>BMO<sub>d</sub></sub>''.
 
This space properly contains BMO.  In particular, the function ''log(x)χ<sub>[0,∞)</sub>'' is a function that is in dyadic BMO but not in BMO. However, if a function ''f'' is such that ||''f''(•−''x'')||<sub>BMO<sub>d</sub></sub> ≤ ''C'' for all ''x'' in '''R'''<sup>''n''</sup> for some ''C'' > 0, then by the [[one-third trick]] ''f'' is also in BMO.
 
Although dyadic BMO is a much narrower class than BMO, many theorems that are true for BMO are much simpler to prove for dyadic BMO, and in some cases one can recover the original BMO theorems by proving them first in the special dyadic case.<ref name="GarJon2" >See the reference paper by {{Harvnb|Garnett|Jones|1982}} for a comprehensive development of these themes.</ref>
 
==Examples==
Examples of BMO functions include the following:
* All bounded (measurable) functions. If ''f'' is in L<sup>∞</sup>, then ||''f''||<sub>BMO</sub>≤2||f||<sub>∞</sub>:<ref name="S140">See reference {{harvnb|Stein|1993|p=140}}.</ref> however, the converse is not true as the following example shows.
* The function log(|''P''|) for any polynomial ''P'' that is not identically zero: in particular, this is true also for |''P''(''x'')|=|''x''|.<ref name="S140"/>
* If ''w'' is an [[Muckenhoupt weights|''A''<sub>∞</sub> weight]], then log(''w'') is BMO. Conversely, if ''f'' is BMO, then ''e''<sup>''δf''</sup> is an ''A''<sub>∞</sub> weight for δ>0 small enough: this fact is a consequence of the [[Bounded mean oscillation#The John–Nirenberg Inequality|John-Nirenberg Inequality]].<ref name="S197">See reference {{harvnb|Stein|1993|p=197}}.</ref>
 
==Notes==
{{reflist|29em}}
 
==Historical and bibliographical references==
*{{Citation
| last = Antman
| first = Stuart
| author-link =
| title = The influence of elasticity in analysis: modern developments
| journal = [[Bulletin of the American Mathematical Society]]
| volume = 9
| issue = 3
| pages = 267–291
| year = 1983
| doi = 10.1090/S0273-0979-1983-15185-6
| mr = 714990
| zbl = 0533.73001
}}. A historical paper about the fruitful interaction of [[elasticity theory]] and [[mathematical analysis]].
*{{Citation
| first = Carleson
| last = Lennart
| author-link = Lennart Carleson
| editor-last = Baslev
| editor-first = Erik
| contribution = BMO – 10 years' development
| contribution-url =
| title = 18th Scandinavian Congress of Mathematicians. Proceedings, 1980
| series = Progress in Mathematics
| volume = 11
| year = 1981
| pages = 3–21
| place = Boston–Basel–Stuttgart
| publisher = [[Birkhäuser Verlag]]
| url =
| isbn = 3-7643-3040-6
| mr = 0633348
| zbl = 0495.46021
}}.
*{{Citation
| first = Louis
| last = Nirenberg
| author-link = Louis Nirenberg
| editor-last = Moser
| editor-first = Jürgen
| editor-link = Jürgen Moser
| contribution = Commentary on [various papers]
| contribution-url =
| title = Fritz John: Collected Papers Volume 2
| series = Contemporary Mathematicians
| year = 1985
| pages = 703–710
| place = Boston–Basel–Stuttgart
| publisher = [[Birkhäuser Verlag]]
| url =
| doi =
| zbl = 0584.01025
| isbn= 0-8176-3265-4
}}
 
==References==
*{{citation
| first=C.
| last=Fefferman
| author-link=Charles Fefferman
| title=Characterizations of bounded mean oscillation
| journal= [[Bulletin of the American Mathematical Society]]
| volume= 77 
| year=1971
| pages= 587–588
| doi=  10.1090/S0002-9904-1971-12763-5
| mr= 0280994
| zbl= 0229.46051
| issue=4
}}.
*{{citation
| first=C.
| last= Fefferman
| author-link=Charles Fefferman
| first2=E.M.
| last2=Stein
| author2-link=Elias M. Stein
| title=H<sup>p</sup> spaces of several variables
| journal=[[Acta Mathematica]]
| volume= 129 
| year=1972
| pages=137–193
| doi=10.1007/BF02392215
| mr= 0447953
| zbl= 0257.46078
}}.
*{{springer
| id=H/h110090
| title=Hardy spaces
| first=G.B.
| last= Folland
| author-link=Gerald Folland
}}.
*{{citation
| last=Garnett
| first= John B.
| author-link = John B. Garnett
| title=Bounded analytic functions
| series=Graduate Texts in Mathematics
| volume= 236
| publisher=Springer
| year=2007
| origyear=1981
| edition= Revised 1st
| pages=xiv+459
| isbn=978-0-387-33621-3
| mr=2261424
| zbl=1106.30001
}}.
*{{Citation
  | last = Garnett
  | first = John. B
  | author-link = John B. Garnett
  | last2 = Jones
  | first2 = Peter W.
  | author2-link = Peter Jones (mathematician)
  | title = The distance in BMO to ''L<sup>∞</sup>''
  | journal = [[Annals of Mathematics]]
  | series = Second Series
  | volume = 108
  | issue = 2
  | pages = 373–393
  | year = 1978
  | jstor = 1971171
  | doi = 10.2307/1971171
  | mr = 0506992
  | zbl = 0358.26010
  | month = September
}}.
*{{Citation
  | last = Garnett
  | first = John. B
  | author-link = John B. Garnett
  | last2 = Jones
  | first2 = Peter W.
  | author2-link = Peter Jones (mathematician)
  | title = BMO from Dyadic BMO
  | journal = [[Pacific Journal of Mathematics]]
  | volume = 99
  | issue = 2
  | pages = 351–371
  | year = 1982
  | url = http://projecteuclid.org/euclid.pjm/1102734020
  | doi = 
  | mr = 0658065
  | zbl = 0516.46021
}}.
*{{citation
| last=Girela
| first= Daniel
| author-link=Daniel Girela
| editor-last = Aulaskari
| editor-first = Rauno
| editor2-last =
| editor2-first =
| contribution = Analytic functions of bounded mean oscillation
| contribution-url =
| title= Complex function spaces, Proceedings of the summer school, Mekrijärvi, Finland, August 30-September 3, 1999
| series=Univ. Joensuu Dept. Math. Rep. Ser.
| volume= 4
| place = [[Joensuu]]
| publisher= Joensuu University, Department of Mathematics
| year=2001
| pages= 61–170
| url=
| isbn=
| mr= 1820090
| zbl= 0981.30026
}}.
*{{citation
| first=F.
| last=John
| author-link=Fritz John
| title= Rotation and strain
| journal=[[Communications on Pure and Applied Mathematics]]
| volume= 14
| year=1961
| pages= 391–413
| mr= 0138225
| zbl= 0102.17404
| doi=10.1002/cpa.3160140316
| issue=3
}}.
*{{citation
| first=F.
| last=John
| author-link=Fritz John
| first2= L.
| last2= Nirenberg
| author2-link=Louis Nirenberg
| title= On functions of bounded mean oscillation
| journal=[[Communications on Pure and Applied Mathematics]]
| volume= 14
| year=1961
| pages= 415–426
| mr = 131498
| zbl= 0102.04302
| doi=10.1002/cpa.3160140317
| issue=3
}}.
*{{citation
| last=Stein
| first= Elias M.
| author-link=Elias M. Stein
| title=Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals
| series=Princeton Mathematical Series
| volume= 43
| publisher= [[Princeton University Press]]
| publication-place= Princeton, NJ,
| year=1993
| pages= xiv+695
| url=http://books.google.com/?id=ljcOSMK7t0EC&printsec=frontcover#v=onepage&q=
| isbn= 0-691-03216-5|oclc=27108521
| mr= 1232192
| zbl= 0821.42001
}}.
*{{Citation
| last = Uchiyama
| first = Akihito
| author-link = 
| title = A constructive proof of the Fefferman-Stein decomposition of BMO('''R'''<sup>''n''</sup>)
| journal = [[Acta Mathematica]]
| volume = 148
| pages = 215–241
| year = 1982
| doi = 10.1007/BF02392729
| mr = 0666111
| zbl = 0514.46018
}}.
*{{springer
| id=b/b110660
| title= BMO space
| first=J.
| last= Wiegerinck}}.
 
{{DEFAULTSORT:Bounded Mean Oscillation}}
[[Category:Function spaces]]
[[Category:Functional analysis|*]]
[[Category:Harmonic analysis|*]]

Latest revision as of 16:43, 28 July 2014

Botanist Earlywine from Fleurimont, enjoys to spend some time climbing, como ganhar dinheiro na internet and writing. that covered planning to Proto-urban Site of Sarazm.