Maurey-Rosenthal domination for abstract Banach lattices
© Juan and Sánchez Pérez; licensee Springer 2013
Received: 13 September 2012
Accepted: 15 April 2013
Published: 29 April 2013
We extend the Maurey-Rosenthal theorem on integral domination and factorization of p-concave operators from a p-convex Banach function space through -spaces for the case of operators on abstract p-convex Banach lattices satisfying some essential lattice requirements - mainly order density of its order continuous part - that are shown to be necessary. We prove that these geometric properties can be characterized by means of an integral inequality giving a domination of the pointwise evaluation of the operator for a suitable weight also in the case of abstract Banach lattices. We obtain in this way what in a sense can be considered the most general factorization theorem of operators through -spaces. In order to do this, we prove a new representation theorem for abstract p-convex Banach lattices with the Fatou property as spaces of p-integrable functions with respect to a vector measure.
MSC:46G10, 46E30, 46B42.
The so called Maurey-Rosenthal theorem on domination and factorization of operators through -spaces provides a large set of tools for the analysis of operators on Banach spaces. Essentially, this result provides, for a Banach lattice F of a particular class, an equivalence between the p-concavity of a Banach space valued operator and the fact that it satisfies a pointwise integral inequality involving the norms of the evaluations , . In recent years, this (family of) theorem(s) has been studied widely by several authors, and nowadays we have a clear methodology for giving a unified version of this technique. Following the seminal ideas in  that allowed the understanding by means of the basic principle of a lot of similar arguments found in the mathematical literature since the sixties, several generalizations and applications have been done (see, for instance, [2–5]).
The (topological) dual of an order continuous Banach function space (when defined over a σ-additive measure μ) is again a Banach function space (the Köthe dual or associate space ), i.e., . The second space is defined as integrals of some class of functions.
If is a p-convex Banach function space, its p th power is again a Banach function space.
In this paper we show a general version of the Maurey-Rosenthal theorem that is obtained by relaxing these requirements as much as possible. In order to do this, we provide a function space representation of a class of Banach lattices satisfying the necessary requirements, which allows to perform the tandem ‘Banach lattices/order notions’ versus ‘function spaces/vector measures’ to provide the support for the factorization through an -space. Therefore, the key of the arguments that prove this type of factorization is in fact the structure of the space from which the operator is defined. This is the reason why our main tool is given by the representation of Banach lattices by means of spaces and of p-integrable functions with respect to a vector measure on a δ-ring. This allows, for instance, to prove factorization theorems through -spaces of an uncountable set Γ.
From the point of view of the general representation of Banach lattices as function spaces, the main goal of this paper is to get a representation theorem for p-convex Banach lattices with the (σ-)Fatou property as general as possible by using vector measures defined on a δ-ring to complete the picture when the existence of a weak unit is not assumed. Section 3 is devoted to this. This becomes the main tool for proving, in Section 4, our general Maurey-Rosenthal theorem, closing in this way the question of how far this kind of arguments can be extended: examples and counterexamples are also given.
As the reader will notice soon, the setting that is needed for proving the main result of this paper (Theorem 4) and allows to prove the most general version of the Maurey-Rosenthal theorem (Corollary 6) is unusually technical and contains some notions and arguments that are not standard in the framework of the Banach lattices. This is the reason why we include a long section of preliminaries collecting all the results that are needed.
2.1 Banach lattices
We mainly use the terminology and the notation of  and . Let F be a real Banach lattice. An ideal of F is a closed subspace of F satisfying that if with for some , then . An ideal in F is said to be order dense in F if, for every , there exists an upwards directed system such that , and is said to be super order dense if this condition holds for increasing sequences. We say that F is order continuous if, for every with , it follows that and F is σ-order continuous if this is the behavior on sequences. We denote by the order continuous part of F, that is, the largest order continuous ideal in F. Similarly, the σ-order continuous part of F is the largest σ-order continuous ideal in F and is denoted by . Of course . We say that F has the Fatou property if, for every upwards directed system in F such that , it follows that there exists in F and, moreover, . If this condition holds for increasing sequences, we say that F has the σ-Fatou property. Remark that under these conditions, (see, for instance, [, Theorems 113.1, 103.6]).
for every choice of vectors , in F. The smallest possible value of M is denoted by .
Let F, be Banach lattices and let be a linear operator. If whenever , the operator T is said to be positive. Every positive linear operator between Banach lattices is always continuous (see [, p.2] or [, Theorem 4.3]) and, in particular, every inclusion of Banach lattices with the same order is continuous. We say that T is an order isomorphism if it is one-to-one, onto and satisfies for all . If, moreover, for all , we will say that T is an order isometry. We say that F and are order isomorphic (order isometrics) if there is an order isomorphism (isometry) .
Let be a measure space (without assumptions of finiteness on μ). As usual, a property holds μ-almost everywhere (briefly, μ-a.e.) if it holds except on a μ-null set. We denote by the space of all measurable real functions on Ω, where functions which are equal μ-a.e. are identified. The space is an Archimedean vector lattice when endowed with the μ-a.e. pointwise order. By a Banach function space (briefly, B.f.s.) related to μ, we mean a Banach space satisfying that for every , we have whenever with and, moreover, . Every B.f.s. is a Banach lattice with the μ-a.e. pointwise order, in which convergence in norm of a sequence implies μ-a.e. convergence for some subsequence.
2.2 Integration with respect to vector measures on δ-rings
The spaces and of integrable and weakly integrable functions with respect to a vector measure defined on a σ-algebra and with values in a Banach space E have been studied in depth by many authors and their behavior is now well understood (see , [, Chapter 3] and the references therein). However, this setting is not rich enough for our analysis, since vector measures on σ-algebras can only be used for representing Banach lattices which have a weak unit, and our needs require to work in a more general context. In , there is an analysis of the space with ν defined on a δ-ring and a detailed study of the lattice behavior of the corresponding space can be found in . The results in both papers give evidence of how large the difference can be between the δ-ring and σ-algebra cases and justify the use of the general framework of δ-rings in this paper. More information on the integration of vector measures on δ-rings and its applications can be found in [14–17] and [, pp.22-23].
For the p-convexification of these spaces - the spaces and of p-integrable functions - the fundamental results that are needed in this paper are also known. When the vector measure ν is defined on a σ-algebra, all the relevant (geometric, lattice, topological) properties of the spaces of p-integrable functions and of weakly p-integrable functions with can be found in  and [11, 19, 20]. For the δ-ring case, the study of the main lattice properties of the spaces and is developed in , where the general case is also considered (although for these spaces are not necessarily Banach spaces, completeness is proved, but under a quasinorm, and the analogous definitions for Banach lattices are considered).
The theory of integration with respect to a vector measure defined on a δ-ring is due to Lewis  and Masani and Niemi [23, 24] (see also [12, 13] and ). This integration theory extends the classical one for vector measures defined on σ-algebras. Let ℛ be a δ-ring of subsets of an abstract set Ω, that is, a ring closed under countable intersections. We denote by the σ-algebra given by the subsets such that for all . Clearly, if ℛ is a σ-algebra, then . We write for the space of measurable real functions on and for the space of simple functions with support in ℛ (or ℛ-simple functions).
We have that for every . The space of integrable functions with respect to λ is defined as the space with the usual norm. Every ℛ-simple function is in , where the integral of φ with respect to λ is defined by . Furthermore, the space is dense in . For every , the integral of f with respect to λ is defined, as usual, as for any sequence converging to f in .
Let E be a Banach space and let be a vector measure, that is, for every sequence of pairwise disjoint sets in ℛ with , the sum converges to in E. The semivariation of ν is the map given by for all , where is the variation of the measure given by , denotes the topological dual of E and the unit ball of . The semivariation of ν is monotone increasing, countably subadditive, finite on ℛ and satisfies for all . Thus, the vector measure ν is bounded (i.e., its range is a bounded set in E) if and only if . A set is ν-null if , or equivalently, for all and a property holds ν-almost everywhere (briefly, ν-a.e.) if it holds as usual except on a ν-null set.
We denote by the space of all weakly integrable functions with respect to ν, where functions which are equal ν-a.e. are identified, which is a Banach space when endowed with the norm . A function is integrable with respect to ν if, for each , there exists a vector denoted by , satisfying the barycentric formula for all . We write for . We denote by the space of all integrable functions with respect to ν. Then, since is a closed subspace of , it is a Banach space with the norm . Moreover, is dense in , where for every ℛ-simple function , we have that . The equality holds whenever the space E does not contain a copy of (see [, Theorem 5.1]).
The integration operator given by is linear and continuous with . A vector measure with values in a Banach lattice E is positive if for all .
Given , the p th power space of is defined as and a function in will be called weakly p-integrable with respect to ν. Similarly, the p th power space of is defined as , and a function in will be called p-integrable with respect to ν. Both spaces are B.f.s.’ related to ν for and q-B.f.s.’ for when the lattice (quasi)norm given by , , is considered. The space is order continuous and the space has the σ-Fatou property. Moreover, is dense in ; ; is order dense in (also in ) and if has the Fatou property, so does . Related to the convexity behavior of these spaces, both are p-convex with p-convexity constant .
3 Representing p-convex Banach lattices
Representation of Banach lattices as spaces of integrable functions with respect to a vector measure is nowadays a well-known useful technique. Depending on the fact that either the lattice contains a weak unit or not, either vector measures on σ-algebras or on δ-rings must be used. Curbera proved in [, Theorem 8] that an order continuous Banach lattice F with a weak unit is always order isometric to a space , where ν is defined on a σ-algebra. If the existence of a weak unit is not assumed, the result remains true but for ν defined on a δ-ring. This was first stated in [, pp.22-23] with an outlined proof and later in [, Theorem 5] with a full detailed proof. Thinking now about the space , Curbera and Ricker showed in [, Theorem 2.5] that every Banach lattice F with the σ-Fatou property, having a weak unit which belongs to the σ-order continuous part of F, is order isometric to a space with ν defined on a σ-algebra. Again, the corresponding result in the case when F has not a weak unit can be established by using a vector measure defined on a δ-ring as Delgado and Juan proved in [, Theorem 10]. In this case, every Banach lattice F with the Fatou property, and such that its σ-order continuous part is an order dense subset in F, can be represented as a space for some vector measure ν defined on a δ-ring. Furthermore, a representation theorem for the class of σ-Fatou Banach lattices F with the σ-order continuous part as a super order dense ideal in F, using again vector measures on δ-rings, is established in [, Proposition 6.1]. In this case, F is order isometric to the σ-Fatou completion of .
Similar results are known for representing Banach lattices with convexity properties, and in this case, the spaces of p-integrable functions with respect to vector measures play a fundamental role. For , if F is an order continuous p-convex Banach lattice, then F is order isomorphic to an -space with ν defined on a δ-ring [, Theorem 10]. When there exists also a weak unit in F, the Banach lattice can be represented with an -space but with ν defined on a σ-algebra (see [, Proposition 2.4]). On the other hand, if E is a p-convex Banach lattice with the σ-Fatou property and has a weak unit belonging to , then E is order isomorphic to a space with ν on a σ-algebra . The aim of this section is to get a representation theorem for p-convex Banach lattices with the (σ-)Fatou property as general as possible by using vector measures defined on a δ-ring to complete the picture when the existence of a weak unit is not assumed. The starting point to prove this result is the corresponding representation theorem for the case . In the proof of this theorem, the vector measure which allows to establish the order isometry has a special behavior (the so-called ℛ-decomposability), under which the space has the Fatou property (see [, Proposition 8] and [, Theorem 5.8 and Section 6]). We recall here the corresponding definition as follows.
if for all , then , and
for each , if is -null for all , then is -null.
(N can be taken to be disjoint with ).
Note that each p-convex Banach lattice F can be renormed equivalently in a way that F with the new norm and the same order is a p-convex Banach lattice with p-convexity constant equal to 1 (see [, Proposition 1.d.8]).
Theorem 1 Let and let F be a p-convex Banach lattice with p-convexity constant equal to 1, having the Fatou property and such that its σ-order continuous part is an order dense subset. Then there exists a vector measure ν on a δ-ring and with values in such that F and are order isometric.
Proof The hypothesis on F gives an ℛ-decomposable vector measure on a δ-ring ℛ and an order isometry (see Theorem 10 in  and Section 6 in ). Remark that is then p-convex with p-convexity constant equal to 1 and, consequently, the space is a B.f.s., that is, its quasi-norm is actually a norm (see [, Proposition 6]). Moreover, has the Fatou property and is order dense in (see the comments before Section 4 in ). Take now the vector measure defined by , for which the integration operator is the identity map and with equal norms (see the proof of Theorem 10 in ). It can be checked easily that is also ℛ-decomposable since is; in order to see this, note that the vector measures and have the same null sets, and follow the construction of ℛ in Section 3 in . Hence, has the Fatou property (see [, Theorem 5.8]).
We claim now that with equal norms. For showing this, take . Since is order dense in (see Remark 4.3 in ), there exists an upwards directed system in such that in . Then in and . Therefore, the Fatou property of gives such that . Since for each τ we have that -a.e. or, equivalently, -a.e., then and so . On the other hand, -a.e. (i.e., -a.e.) for all τ and thus . Therefore, due to the Fatou property of as also in . By taking positive and negative parts for a general , we have that with equal norms.
The converse inclusion can be proved by using the same arguments. Therefore, the equality holds with equal norms. Consequently, with equal norms, and hence E and are order isometric. □
Remark 2 A proof based on similar arguments to those in the previous theorem allows us to represent p-convex Banach lattices (with p-convexity constant equal to 1) having the σ-Fatou property and such that is super order dense in E. In this case, E is order isometric to for some vector measure ν defined on a δ-ring. This result generalizes [, Theorem 4] where E has a weak unit in . Remark that our proof differs from the one given in [, Theorem 4].
4 The Maurey-Rosenthal theorem for abstract Banach lattices
In this section we prove the main result of this paper. As we said in the introduction, our aim is to explore the limits of the arguments that allow to prove the factorization theorem regarding the structure of the Banach lattice where the operator is defined.
We say that an operator from a closed subspace G of a Banach lattice F with on a Banach space E is Fatou if it satisfies that for every upwards directed system , with for every τ and , we have that . Continuous operators between two Banach lattices F and , when restricted to , are clearly Fatou. Also, positive order continuous operators from a Banach lattice F into a Fatou Banach lattice , when restricted to a closed subspace G of F with , are so (for the definition of order continuous operator, see, for instance, ). Obviously, there are examples of operators which are not Fatou, as we show in the next example.
Example 3 Consider , where Γ is an uncountable set. Take its (σ)-order continuous part and a continuous operator with . Use the Hahn-Banach theorem to find a functional such that for all and , and define the operator given by , where is the projection of every element of the (direct) sum endowed with the max norm on . To see that T is not Fatou, just consider , and for every finite set N of Γ, define as the characteristic function . Take the increasing net (order is given by inclusion of the indexes), and notice that for all N, and . We will come back to this example in Remark 7(2).
- (2)There exists a measure that is absolutely continuous with respect to ν and such that
where is the inclusion/quotient map given by - the equivalence class of f with respect to η.
give easily that the set function defined by is countably additive, and so it defines a measure with the domain in the semi-ring ℛ. Using the Carathéodory extension procedure (see, for instance, Section 9.4 in ), we get that η can be extended to the σ-algebra of measurable sets with respect to the outer measure defined by .
So, we only need to show the following claim: each set in is η-measurable. To see that, we have to prove that for a set , for each (see, for instance, Lemma 9.26 in ). Notice that fixed , and are also in ℛ due to the definition of , so we really have to prove that for every . Finally, since , and belong to , the linearity of proves the claim.
Remark also that η is absolutely continuous with respect to ν, that is, if is ν-null, then B is also η-null. To prove this fact, it suffices to fix with and check that , but since B is ν-null. Consequently, a (ν-a.e.) class in represented by f can be considered then a (η-a.e.) class in represented by the same f. We will call again η the restriction of to .
so , and consequently with due to the σ-Fatou property of the space . The same occurs for a general following a standard procedure with . This allows to write a factorization of through the space .
holds also for . Again, a standard argument - decomposing a general as , - gives the result for all .
For , consider the inclusion/quotient map , given by , that is well defined by the absolute continuity of η with respect to ν. Notice that the ℛ-simple functions are dense in , and so the range is obviously dense in , and we can define an operator by for each ℛ-simple function (note that if η-a.e.), and then for all functions in by density.
which hold for every finite family and , where we use the fact that is a p-convex space with p-convexity constant equal to 1. □
Example 5 Consider and the Fatou operator , where Γ is uncountable. Remark that is clearly q-convex and so is p-convex (see Proposition 1.d.5 in ). Since the space is order continuous, Theorem 10 in  gives the existence of a vector measure on a δ-ring such that is order isomorphic to . Furthermore, since does not have a copy of , and so also. Notice that then the operator T can be considered as a Fatou operator from into E. Now, if T is p-concave, Theorem 4 assures that there is a factorization through a space . This natural and easy Maurey-Rosenthal type theorem, which is a direct consequence of Theorem 4, can only be proved using the abstract setting of the vector measure representation of p-convex Banach lattices that has been shown in the previous section. Remark that cannot be written as an for a vector measure β defined on a σ-algebra since the space has not a weak unit.
- (2)There exist a vector measure ν on a δ-ring , a scalar measure that is absolutely continuous with respect to ν and an order isomorphism on the range such that
If with , we obtain the inequality in (2).
The implication is given by in Theorem 4 composing also with φ. Finally, is given directly by Theorem 4. □
A simple counterexample that proves that the order density of the σ-order continuous part is necessary is a functional in not belonging to . The σ-order continuous part of is trivial, the operator ϕ is obviously p-concave and is p-convex for every . Since , the factorization would mean that just using the domination by the measure and the Radon-Nikodým theorem, which gives a contradiction. Notice that ϕ is trivially a Fatou operator.
A bit more elaborated example is the following. Consider , where Γ is an uncountable set, and let a functional with ϕ not belonging to . Recall that , where is the space of the countably additive measures and is the space of the purely finite additive measures (see, for example, Corollary 13.11, Section 9.10 and Section 9.11 in ). Let be the projection of on . We have that . Since is not countably additive, there is a sequence of measurable sets such that . Let us define now given by . The operator T is clearly p-concave, but T is not Fatou, which can be proved using an argument similar to the one given in Example 3. Moreover, T cannot be bounded by an integral; otherwise, would be countably additive.
The authors are supported by grants MTM2011-23164 and MTM2012-36740-C02-02 of the Ministerio de Economía y Competitividad (Spain).
- Defant A: Variants of the Maurey-Rosenthal theorem for quasi Köthe function spaces. Positivity 2001, 5: 153–175. 10.1023/A:1011466509838MathSciNetView ArticleGoogle Scholar
- Defant A, Sánchez Pérez EA: Maurey-Rosenthal factorization of positive operators and convexity. J. Math. Anal. Appl. 2004, 297: 771–790. 10.1016/j.jmaa.2004.04.047MathSciNetView ArticleGoogle Scholar
- Defant A, Sánchez Pérez EA: Domination of operators on function spaces. Math. Proc. Camb. Philos. Soc. 2009, 146: 57–66. 10.1017/S0305004108001734View ArticleGoogle Scholar
- Fernández A, Mayoral F, Naranjo F, Sáez C, Sánchez-Pérez EA: Vector measure Maurey-Rosenthal type factorizations and l -sums of-spaces. J. Funct. Anal. 2005, 220: 460–485. 10.1016/j.jfa.2004.06.010MathSciNetView ArticleGoogle Scholar
- Palazuelos C, Sánchez Pérez EA, Tradacete P: Maurey-Rosenthal factorization for p -summing operators and Dodds-Fremlin domination. J. Oper. Theory 2012, 68(1):205–222.Google Scholar
- Luxemburg WAJ, Zaanen AC: Riesz Spaces I. North-Holland, Amsterdam; 1971.Google Scholar
- Zaanen AC: Riesz Spaces II. North-Holland, Amsterdam; 1983.Google Scholar
- Lindenstrauss J, Tzafriri L: Classical Banach Spaces II. Springer, Berlin; 1979.View ArticleGoogle Scholar
- Aliprantis CD, Burkinshaw O: Positive Operators. Academic Press, New York; 1985.Google Scholar
- Curbera GP, Ricker WJ: Vector measures, integration and applications. Trends Math. In Positivity. Birkhäuser, Basel; 2007:127–160.View ArticleGoogle Scholar
- Okada S, Ricker WJ, Sánchez Pérez EA: Optimal domains and integral extensions of operators acting in function spaces. 180. In Operator Theory Advances and Applications. Birkhäuser, Basel; 2008.Google Scholar
- Delgado O: -spaces of vector measures defined on δ -rings. Arch. Math. 2005, 84: 432–443. 10.1007/s00013-005-1128-1MathSciNetView ArticleGoogle Scholar
- Calabuig, JM, Delgado, O, Juan, MA, Sánchez Pérez, EA: On the Banach lattice structure of L w 1 of a vector measure on a δ-ring. Collect. Math. doi:10.1007/s13348–013–0081–8Google Scholar
- Calabuig JM, Delgado O, Sánchez Pérez EA: Factorizing operators on Banach function spaces through spaces of multiplication operators. J. Math. Anal. Appl. 2010, 364: 88–103. 10.1016/j.jmaa.2009.10.034MathSciNetView ArticleGoogle Scholar
- Delgado O:Optimal domains for kernel operators on .Stud. Math. 2006, 174: 131–145. 10.4064/sm174-2-2MathSciNetView ArticleGoogle Scholar
- Delgado O, Soria J: Optimal domain for the Hardy operator. J. Funct. Anal. 2007, 244: 119–133. 10.1016/j.jfa.2006.12.011MathSciNetView ArticleGoogle Scholar
- Jiménez Fernández E, Juan MA, Sánchez Pérez EA: A Komlós theorem for abstract Banach lattices of measurable functions. J. Math. Anal. Appl. 2011, 383: 130–136. 10.1016/j.jmaa.2011.05.010MathSciNetView ArticleGoogle Scholar
- Curbera, GP: El espacio de funciones integrables respecto de una medida vectorial. PhD thesis, Univ. of Sevilla (1992)Google Scholar
- Sánchez Pérez EA: Compactness arguments for spaces of p -integrable functions with respect to a vector measure and factorization of operators through Lebesgue-Bochner spaces. Ill. J. Math. 2001, 45(3):907–923.Google Scholar
- Fernández A, Mayoral F, Naranjo F, Sáez C, Sánchez-Pérez EA: Spaces of p -integrable functions with respect to a vector measure. Positivity 2006, 10: 1–16. 10.1007/s11117-005-0016-zMathSciNetView ArticleGoogle Scholar
- Calabuig JM, Juan MA, Sánchez Pérez EA: Spaces of p -integrable functions with respect to a vector measure defined on a δ -ring. Oper. Matrices 2012, 6: 241–262.MathSciNetView ArticleGoogle Scholar
- Lewis DR: On integrability and summability in vector spaces. Ill. J. Math. 1972, 16: 294–307.Google Scholar
- Masani PR, Niemi H: The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. I. Scalar-valued measures on δ -rings. Adv. Math. 1989, 73: 204–241. 10.1016/0001-8708(89)90069-8MathSciNetView ArticleGoogle Scholar
- Masani PR, Niemi H: The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. II. Pettis integration. Adv. Math. 1989, 75: 121–167. 10.1016/0001-8708(89)90035-2MathSciNetView ArticleGoogle Scholar
- Brooks JK, Dinculeanu N: Strong additivity, absolute continuity and compactness in spaces of measures. J. Math. Anal. Appl. 1974, 45: 156–175. 10.1016/0022-247X(74)90130-9MathSciNetView ArticleGoogle Scholar
- Curbera GP:Operators into of a vector measure and applications to Banach lattices.Math. Ann. 1992, 293: 317–330. 10.1007/BF01444717MathSciNetView ArticleGoogle Scholar
- Delgado O, Juan MA: Representation of Banach lattices as spaces of a vector measure defined on a δ -ring. Bull. Belg. Math. Soc. Simon Stevin 2012, 19: 239–256.MathSciNetGoogle Scholar
- Curbera GP, Ricker WJ: Banach lattices with the Fatou property and optimal domains of kernel operators. Indag. Math. 2006, 17: 187–204. 10.1016/S0019-3577(06)80015-7MathSciNetView ArticleGoogle Scholar
- Curbera GP, Ricker WJ: The Fatou property in p -convex Banach lattices. J. Math. Anal. Appl. 2007, 328: 287–294. 10.1016/j.jmaa.2006.04.086MathSciNetView ArticleGoogle Scholar
- Aliprantis CD, Border KC: Infinite Dimensional Analysis. Springer, Berlin; 1999.View ArticleGoogle Scholar
- Delgado, O: Optimal extension for positive order continuous operators on Banach function spaces. Glasg. Math. J. (to appear)Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.