Beruflich Dokumente
Kultur Dokumente
1 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
Research Article
Abstract
Full-Text PDF
Full-Text HTML
Full-Text ePUB
Linked References
How to Cite this Article
Escuela Politcnica Superior de Alcoy, IUMPA, Universitat Politcnica de Valncia, Plaza Ferrndiz y Carbonell 1,
03801 Alcoy, Spain
Received 11 February 2013; Accepted 14 May 2013
Academic Editor: Anna Mercaldo
Copyright 2013 Enrique Jord. is is an open access article distributed under the Creative Commons Attribution License, which permits
unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
We study the weighted Banach spaces of vector-valued holomorphic functions de ned on an open and connected subset of a Banach space. We
use linearization results on these spaces to get conditions which ensure that a function de ned in a subset of an open and connected subset
of a Banach space , with values in another Banach space , and admitting certain weak extensions in a Banach space of holomorphic
functions can be holomorphically extended in the corresponding Banach space of vector-valued functions.
21/04/2015 21:09
2 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
determines boundedness in .
be a bounded subset of
Lemma 2. Let
is an onto isomorphism.
Proof. e hypothesis on
in
such that
Let
such that
. We de ne
From
], it follows that
is not included in
Let be a connected open subset of a Banach space . e space of all the holomorphic functions on is denoted by
. e compact open
topology on
denoted by .
is a semi-Montel space; that is, each closed and bounded subset is compact. A subset
is
called -bounded if it is bounded and the distance of to the complementary of is positive. For
, -bounded means simply bounded.
If is the unit ball of a Banach space, is -bounded if and only if it is contained in a ball of radius
. If is a Banach space, the space of
-valued holomorphic functions on
is denoted by
. We refer to [18] for the precise de nitions. A weight
is a
continuous function which is strictly positive. According to [19], we say that a weight on satis es the property (I) whenever it is bounded
below in each -bounded subset of . e weighted Banach spaces of holomorphic functions are de ned as
21/04/2015 21:09
3 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
which vanishes at
,
is identically
In case
is an algebra the constant, can be always taken 1 and, according to Globevnik, the sampling sets are called boundaries [2022].
If
and
, it follows from the de nitions that
, is sampling if and only if
is norming, and
is a set of uniqueness if and only if
is total.
e sampling sets (as well as interpolation sets) of the weighted space
in [23] in terms of certain densities.
2. Banach Subspaces of
(i.e.,
for
is norm
Since weakly holomorphic functions are holomorphic and weakly bounded sets are bounded, it follows that for
this de nition
agrees with the strong de nition given previously. Following the same steps as in [12, eorem 2.1] (also in [24, Lemma 10]), we get that
can be identi ed with
,
being the predual of
that exists by the Dixmier-Ng eorem [25].
Remark 5. In [25], it is shown that
consists of all the functionals
such that restricted to
is continuous. Let
denote
, we have that
is separating in
if and only if
is (weakly) dense if and only if
uniqueness for
. Analogously,
is norming in
if and only if is sampling for
.
Proposition 6. Let
be a subspace of
with compact closed unit ball. en,
that
. Moreover, the correspondence is an isometry.
Proof. If
, we de ne
by the very de nition.
Conversely, let
. We set
and then,
. Since
is continuous and
. Since
. We see that
for each
. If we
is a set of
such
, and then,
is 1-norming in
, we apply Lemma 2 and Remark 3, to get that
de nes a linear mapping on . If
, then, for each
, it is easy to compute
Now, we are going to show that there are more natural spaces with compact unit ball for the compact open topology. To do this, we present a
general result of complemented subspaces in the Frchet spaces of analytic functions which could be of independent interest. We state it for
Frchet instead of Banach to include the important space
. For
and
with radial and balanced, it is done by Garca et al.
in [19, Proposition 3, Example 14].
eorem 7. Let
be a Frchet space of holomorphic functions on such that
then
endowed with its norm topology is a complemented subspace of
. If
Proof. Let one assume without loss of generality that
Let
. For
of pointwise convergence on
, we denote
. e projection
21/04/2015 21:09
4 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
. e predual
of
such that
for each
of
Proof. Let
be as de ned previously. If we de ne
, by means of
, we have that
is well de ned since
, it is (weakly) continuous, and then, it can be extended to
. If we consider now
as a
subspace of
it is (weakly) dense since open sets are sets of uniqueness in
. e linear map
,
is again
(weakly) continuous, and hence that we get, an extension
.
is a continuous linear mapping, and then, it is
the identity since both coincide in
. Moreover,
has dense range in
. Hence,
is an onto isomorphism by [26, Chapter 2,
Section 7, Proposition 3].
From the linearization of these dual Banach subspaces of
, one can get easily an extension of the Blaschke-type result for vector-valued
functions [4, eorem 2.5] generalized in [7, Corollary 4.2]. e proof that we give is strongly based on the Banach-Steinhaus principle.
Proposition 9. Let
be a subspace of
which has a -compact closed unit ball, let
be a set of uniqueness for
, and let be a
Banach space. If
is a bounded net in
such that
is convergent for each
, then
is convergent to a function
uniformly on the compact subsets of .
Proof. Let
be the sequence of operators in
1-norming subset of , that is,
such that
for each
. Let
is a
such that
us,
for each
. By Remark 5, the subset
is total in
. Since
is equicontinuous, the topology of pointwise convergence
on
coincides with the topology of pointwise convergence in
by [27, 39.4(1)]. us,
is pointwise convergent to
. e
convergence is uniform on the compact subsets of
by [27, 39.4(2)]. If
is compact, then
is compact in
. is follows
from the observation that
,
is (weakly) holomorphic and then continuous.
Proposition 9 and eorem 7 yield that the Banach-Steinhaus theorem stated as in [27, 39.4(1)] can be extended to the space of vector-valued
polynomials
. Bochnak and Siciak showed [28, eorem 2] that the uniform boundedness principle also is valid for polynomials.
e following results are extensions of those obtained in [7] by Frerick et al. for spaces of bounded holomorphic and harmonic functions on
open subsets of nite-dimensional subspaces with values in locally convex spaces. Our results are valid for spaces of functions de ned on an
open and connected subset of a Banach space , but we restrict to the case of Banach-valued functions. e proofs that we give here are
21/04/2015 21:09
5 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
be the span of
. e hypothesis implies that
,
is well de ned since is separating. Let
, we conclude that
is
is dense in
, we can extend
to
is
is a
, let
for each
converges to
for each
.
. e conclusion is a consequence of
We now study the problem of extending functions which admit extensions for functionals in a subspace of
which we assume only to be
dense. In this case, we require that is quite large. is is symmetric with the problem studied by Gramsch [29], Grosse-Erdmann [8],
and Bonet et al. [5]. e next theorem is an extension to our context of [7, eorem 3.2].
eorem 12. Let be a weight on
Banach space, and let be a
extension
for each
Proof. e set
means that for each
, let
be a subspace of
with -compact unit ball, and let
-dense subspace of . If
is a function such
, then there exists a unique extension
of .
, there exists
is norming for
and
is isomorphic to
implies that
. Let be a
admits an
. is
is bounded. Hence,
in
21/04/2015 21:09
6 de 10
Proposition 14. If
http://www.hindawi.com/journals/aaa/2013/501592/
for all
and
going to in nity on
,
. e convergence of
Since
us,
. Let
be arbitrary. Since
, the series
is convergent in
. Hence,
for the compact open topology implies that for each
there exists
such that
such that
then
Cauchy in
for each
, since
De ning
continuous with
tends to 0 in
in
. If
such that
, there exist
hence,
and a sequence
and
in
. If we
, then
is not
satis es
Since
and
, we have that
.
for
and
us, on the contrary that with the concrete examples of dual spaces
considered in the previous section (
and
), in
the de nition of the corresponding spaces of vector-valued functions in the weak sense are not consistent with the natural de nition. For
linearization for these spaces with the weak de nition, we refer to the work of Carando and Zalduendo [11].
In view of Proposition 14, one could expect that the analogous extensions of eorems 10 and 12 are possible for
to have the Schur property. is is not the case as the following example shows.
Example 17. Let
Consider that
(a)
for
. Fix
with
when
and
is required
with
21/04/2015 21:09
7 de 10
(b)
Hence,
.
for each
Let
Let
. Let
and
http://www.hindawi.com/journals/aaa/2013/501592/
is increasing for
such that
; hence,
implies
. For each
, since
, we have
, we obtain that
and
the function
In case
is nite dimensional, the space
is the space of holomorphic functions such that is continuous in the Alexandro
compacti cation
of
and
. Hence,
in this case. If
is in nite dimensional, the inclusion
is strict in general. Observe that if is the unit ball and vanishes at on , then
.
We check that this (weak) de nition agrees with the natural de nition when is the unit ball of
holomorphic and uniformly continuous functions on , that is, we want to show that
Assume that
neighbourhood
satis es that
of 0 such that
, and therefore,
for each
. Since
. Given
, since
is uniformly continuous on
, and
for
, there exists
such that
21/04/2015 21:09
8 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
. Let
be a
We use a similar argument to the one used by Bierstedt in [13, page 200] in a more general setting, including our case when
is nite
dimensional (i.e., putting compact instead of -bounded in the de nition of
). If
satis es that
for each
, then by the previous theorem, there exists
de ned by
which is weak*-weak continuous and such that
is
relatively compact. is implies that the restriction of to
is weak*-norm continuous. Let
. ere exists a weak* 0-neighbourhood in
such that
for every
. Let
be such that
. ere exists a
-bounded subset
such that
for each
. is yields that
, and consequently,
for every
.
Acknowledgments
e author wants to thank J. Bonet for several references, discussions, and ideas provided, which were very helpful and in particular allowed
him to prove eorem 7, Proposition 8, and Examples 15 and 16. Remark 4 is due to him. e participation of M. J. Beltrn in a lot of
discussions during all the work has also been very important. Her ideas are also re ected in the paper. e author is also indebted to L. Frerick
and J. Wengenroth for communicating to him Lemma 2. e remarks and corrections of the referee have been also really helpful to the nal
version. e author thanks him/her for that. is research was partially supported by MEC and FEDER Project MTM2010-15200, GV Project
ACOMP/2012/090, and Programa de Apoyo a la Investigacin y Desarrollo de la UPV PAID-06-12.
References
1. N. Dunford, Uniformity in linear spaces, Transactions of the American Mathematical Society, vol. 44, no. 2, pp. 305356, 1938. View at
Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
2. A. Grothendieck, Sur certains espaces de fonctions holomorphes. I, Journal fr die Reine und Angewandte Mathematik, vol. 192, pp.
3564, 1953. View at Google Scholar View at Zentralblatt MATH View at MathSciNet
3. W. M. Bogdanowicz, Analytic continuation of holomorphic functions with values in a locally convex space, Proceedings of the American
Mathematical Society, vol. 22, pp. 660666, 1969. View at Publisher View at Google Scholar View at Zentralblatt MATH View at
MathSciNet
4. W. Arendt and N. Nikolski, Vector-valued holomorphic functions revisited, Mathematische Zeitschri, vol. 234, no. 4, pp. 777805, 2000.
View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
5. J. Bonet, L. Frerick, and E. Jord, Extension of vector-valued holomorphic and harmonic functions, Studia Mathematica, vol. 183, no. 3,
21/04/2015 21:09
9 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
pp. 225248, 2007. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
6. L. Frerick and E. Jord, Extension of vector-valued functions, Bulletin of the Belgian Mathematical Society. Simon Stevin, vol. 14, no. 3, pp.
499507, 2007. View at Google Scholar View at Zentralblatt MATH View at MathSciNet
7. L. Frerick, E. Jord, and J. Wengenroth, Extension of bounded vector-valued functions, Mathematische Nachrichten, vol. 282, no. 5, pp.
690696, 2009. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
8. K.-G. Grosse-Erdmann, A weak criterion for vector-valued holomorphy, Mathematical Proceedings of the Cambridge Philosophical
Society, vol. 136, no. 2, pp. 399411, 2004. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
9. J. Laitila and H.-O. Tylli, Composition operators on vector-valued harmonic functions and Cauchy transforms, Indiana University
Mathematics Journal, vol. 55, no. 2, pp. 719746, 2006. View at Publisher View at Google Scholar View at Zentralblatt MATH View at
MathSciNet
10. M. J. Beltrn, Linearization of weighted (LB)-spaces of entire functions on Banach spaces, Revista de la Real Academia de Ciencias
Exactas, Fsicas y Naturales A, vol. 106, no. 2, pp. 275286, 2012. View at Publisher View at Google Scholar View at MathSciNet
11. D. Carando and I. Zalduendo, Linearization of functions, Mathematische Annalen, vol. 328, no. 4, pp. 683700, 2004. View at Publisher
View at Google Scholar View at Zentralblatt MATH View at MathSciNet
12. J. Mujica, Linearization of bounded holomorphic mappings on Banach spaces, Transactions of the American Mathematical Society, vol.
324, no. 2, pp. 867887, 1991. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
13. K.-D. Bierstedt, Gewichtete Rume stetiger vektorwertiger Funktionen und das injektive Tensorprodukt. I, Journal fr die Reine und
Angewandte Mathematik, vol. 259, pp. 186210, 1973. View at Google Scholar View at MathSciNet
14. K.-D. Bierstedt, Gewichtete Rume stetiger vektorwertiger Funktionen und das injektive Tensorprodukt. II, Journal fr die Reine und
Angewandte Mathematik, vol. 260, pp. 133146, 1973. View at Google Scholar View at Zentralblatt MATH View at MathSciNet
15. M. Fabian, P. Habala, P. Hjek, V. Montesinos, and V. Zizler, Banach Space eory, Springer, New York, NY, USA, 2011. View at Publisher
View at Google Scholar View at MathSciNet
16. R. Meise and D. Vogt, Introduction to Functional Analysis, vol. 2 of Oxford Graduate Texts in Mathematics, e Clarendon Press Oxford
University Press, New York, NY, USA, 1997, Translated from the German by M. S. Ramanujan and revised by the authors. View at
MathSciNet
17. P. Prez Carreras and J. Bonet, Barrelled Locally Convex Spaces, North-Holland Mathematics Studies 131, Notas de Matemtica
[Mathematical Notes] 113, North-Holland, Amsterdam, e Netherlands, 1987.
18. S. Dineen, Complex Analysis on In nite-Dimensional Spaces, Springer Monographs in Mathematics, Springer, London, UK, 1999. View at
Publisher View at Google Scholar View at MathSciNet
19. D. Garca, M. Maestre, and P. Rueda, Weighted spaces of holomorphic functions on Banach spaces, Studia Mathematica, vol. 138, no. 1,
pp. 124, 2000. View at Google Scholar View at Zentralblatt MATH View at MathSciNet
20. C. Boyd and S. Lassalle, Geometry and analytic boundaries of Marcinkiewicz sequence spaces, e Quarterly Journal of Mathematics,
vol. 61, no. 2, pp. 183197, 2010. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
21. J. Globevnik, On interpolation by analytic maps in in nite dimensions, Mathematical Proceedings of the Cambridge Philosophical Society,
vol. 83, no. 2, pp. 243252, 1978. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
22. J. Globevnik, Boundaries for polydisc algebras in in nite dimensions, Mathematical Proceedings of the Cambridge Philosophical Society,
vol. 85, no. 2, pp. 291303, 1979. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
23. K. Seip, Beurling type density theorems in the unit disk, Inventiones Mathematicae, vol. 113, no. 1, pp. 2139, 1993. View at Publisher
View at Google Scholar View at Zentralblatt MATH View at MathSciNet
24. J. Bonet, P. Domaski, and M. Lindstrm, Weakly compact composition operators on analytic vector-valued function spaces, Annales
Academi Scientiarum Fennic, vol. 26, no. 1, pp. 233248, 2001. View at Google Scholar View at Zentralblatt MATH View at
MathSciNet
25. K. F. Ng, On a theorem of Dixmier, Mathematica Scandinavica, vol. 29, pp. 279280, 1971. View at Google Scholar View at MathSciNet
26. J. Horvth, Topological Vector Spaces and Distributions. Vol. I, Addison-Wesley, London, UK, 1966. View at MathSciNet
27. G. Kthe, Topological Vector Spaces. II, vol. 237, Springer, Berlin, Germany, 1979. View at MathSciNet
28. J. Bochnak and J. Siciak, Polynomials and multilinear mappings in topological vector spaces, Studia Mathematica, vol. 39, pp. 5976,
1971. View at Google Scholar View at Zentralblatt MATH View at MathSciNet
29. B. Gramsch, Ein Schwach-Stark-Prinzip der Dualittstheorie lokalkonvexer Rume als Fortsetzungsmethode, Mathematische Zeitschri,
vol. 156, no. 3, pp. 217230, 1977. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
21/04/2015 21:09
10 de 10
http://www.hindawi.com/journals/aaa/2013/501592/
30. J. Bonet, M. C. Gmez-Collado, D. Jornet, and E. Wolf, Operator-weighted composition operators between weighted spaces of vectorvalued analytic functions, Annales Academi Scientiarum Fennic, vol. 37, no. 2, pp. 319338, 2012. View at Publisher View at Google
Scholar View at MathSciNet
31. K. D. Bierstedt, J. Bonet, and A. Galbis, Weighted spaces of holomorphic functions on balanced domains, e Michigan Mathematical
Journal, vol. 40, no. 2, pp. 271297, 1993. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
32. K. D. Bierstedt and W. H. Summers, Biduals of weighted Banach spaces of analytic functions, Journal of the Australian Mathematical
Society A, vol. 54, no. 1, pp. 7079, 1993. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
33. J. Bonet and E. Wolf, A note on weighted Banach spaces of holomorphic functions, Archiv der Mathematik, vol. 81, no. 6, pp. 650654,
2003. View at Publisher View at Google Scholar View at Zentralblatt MATH View at MathSciNet
34. R. M. Aron and M. Schottenloher, Compact holomorphic mappings on Banach spaces and the approximation property, Bulletin of the
American Mathematical Society, vol. 80, pp. 12451249, 1974. View at Publisher View at Google Scholar View at Zentralblatt MATH
View at MathSciNet
35. K. D. Bierstedt and S. Holtmanns, Weak holomorphy and other weak properties, Bulletin de la Socit Royale des Sciences de Lige, vol.
72, no. 6, pp. 377381, 2004. View at Google Scholar View at Zentralblatt MATH View at MathSciNet
21/04/2015 21:09