Grant: Canada Research Chairs

The proposed research program has as its objectives the study of function spaces of importance in the field ofharmonic analysis and its applications. In general terms, many questions in analysis involve showing thatcertain operators are bounded, and one has to specify on which spaces. While the Lebesgue Lp spaces are themost basic, other fundamental spaces, such as Sobolev spaces, have proved essential to the study of regularityfor partial differential equations. One of the major areas of modern harmonic analysis is theCalderon-Zygmund theory of singular integral operators, which also arise in the solution of PDE. In thistheory, the scale of Lp spaces extends naturally to the Hardy space when p is 1, and to the space BMO(functions of bounded mean oscillation) of John and Nirenberg when p is infinite. These spaces are of interestin themselves and for their use is various applications, such as the div-curl lemma. Local versions can bedefined which are better adapted to working on domains or on manifolds.We propose to extend the study of these and other related spaces to more general settings such as metricmeasure spaces, and use them to prove analogues of results which are currently known in the Euclidean setting.Metric measure spaces are the subject of important recent work in the areas of analysis and geometry. Thegoal in transferring results from the Euclidean setting is to be able to free the proofs of their dependence on thesmooth structure. For example, in order to discuss results such as the div-curl lemma, one has to be able todefine notions arising from differential geometry without using derivatives. Initially it is best to consider thecases where there is extra structure, such as Lie groups or graphs, or even Euclidean space with a measurewhich is absolutely continuous, i.e. given by a weight. Developing the necessary tools in these settings is ofimportance in itself, independently of the study of function spaces. In particular, one needs to determinewhether certain inequalities, such as the Poincare inequality, hold.