- Rising sun lemma
In
mathematical analysis , the rising sun lemma is alemma due toFrigyes Riesz , used in the proof of theHardy-Littlewood maximal theorem . The lemma quickly gives a proof of the one-dimensionalCalderón-Zygmund lemma , a fundamental result inharmonic analysis harv|Stein|1998.The lemma is stated as follows (harvnb|Riesz|1932; harvnb|Duren|1970|loc=Appendix B):
:Let "g"("x") be a real-valued continuous function on the interval [0,"a"] , and let "E" be the set of "x" ∈ (0,"a") such that:::Then "E" is an open set, and can be written as a disjoint union of intervals:::such that "g"("a""k") ≤ "g"("b""k").
It can be shown in fact that the conclusion of the lemma can be ostensibly strengthened to "g"("a""k") = "g"("b""k"). The colorful name of the lemma thus refers to the shape of the graph of the function "g" over each of the intervals ("a""k", "b""k").
References
*citation |last=Duren |first=Peter L. |title=Theory of Hp Spaces |publisher=Dover Publications |location=New York |year=2000 |isbn=0-486-41184-2
*citation |last=Korenovskyy |first=A. A. |coauthors=A. K. Lerner and A. M. Stokolos |year=2004 |month=November |title=On a multidimensional form of F. Riesz's "rising sun" lemma |journal=Proceedings of the American Mathematical Society |volume=133 |issue=5 |pages=1437–1440 |url=http://www.ams.org/proc/2005-133-05/S0002-9939-04-07653-1/home.html |language= |format= |accessdate=2008-07-21
*citation |last=Riesz |first=Frédéric |authorlink=Frigyes Riesz |year=1932 |title=Sur un Théorème de Maximum de Mm. Hardy et Littlewood |journal=Journal of theLondon Mathematical Society |volume=7 |issue=1 |pages=10–13 |doi=10.1112/jlms/s1-7.1.10 |url=http://jlms.oxfordjournals.org/cgi/content/citation/s1-7/1/10 |accessdate=2008-07-21
*citation|title=Singular integrals: The Roles of Calderón and Zygmund|first=Elias|last=Stein|authorlink=Elias Stein|journal=Notices of the American Mathematical Society|volume=45|number=9|pages=1130-1140|url=http://www.ams.org/notices/199809/stein.pdf|year=1998.
Wikimedia Foundation. 2010.