Abstract
We show generic existence of functions f in the Hardy space \(H^p(0<p<1)\) on the open unit disc whose primitive F(f) satisfies the following. For every \(a>\dfrac{p}{1-p}\) and every \(A,B\in {\mathbb {R}}\), \(A<B\) it holds
Results of similar nature are valid when the space \(H^p\) is replaced by localized versions of it, \(0<p<1\), or intersections of such spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
If there exists an object with a “bad” property, then a general principle is that there are many such objects and their set is big in various senses. For instance the set of irrational real numbers is uncountable while the set of rationals \({\mathbb {Q}}\) is countable. Also \({\mathbb {R}}\smallsetminus {\mathbb {Q}}\) is bigger than \({\mathbb {Q}}\) with respect to measure or category.
A classical result in the theory of Hardy spaces in the unit disc states that if \(0<p<1\) and \(f\in H^p\) then its primitive F(f) belongs to \(H^q\) where \(q=\dfrac{p}{1-p}\). Furthermore, if \(a>q\), then there exists \(g\in H^p\) such that \(F(g)\notin H^a\). According to the previously mentioned general principle we show that there are a lot of functions \(g\in H^p\) with \(F(g)\notin H^a\) and that their set is a \(G_\delta \) and dense subset of \(H^p\). Furthermore we show that the function g may be chosen independently of a \((a>q)\) and that generically their primitives do not belong, even not locally, to Hardy spaces of higher order \(a>q\). We also obtain similar results when \(H^p\), \(0<p<1\), is replaced by localized versions of it, or intersections of such spaces.
In order to prove the above results we use a result of M. Siskaki which roughly speaking states that under some assumptions, if an unbounded function exists, then their set is \(G_\delta \) and dense in a topological vector space, not necessarily complete. Thus, our first result does not use the completeness of the Hardy spaces. However, more advanced results make use of Baire’s theorem and we need the completeness of the space. Those results are results of topological genericity. We also prove a result of algebraic genericity; that is we show that the set of \(g\in H^p\) \((0<p<1)\) such that for a precise \(a>q=\dfrac{p}{1-p}\) the primitive F(g) does not belong to \(H^a\), contains a vector subspace except 0 dense in \(H^p\). We have not been able to obtain spaceability; that is whether the set of \(g\in H^p\), \(0<p<1\) such that for a precise \(a>q=\dfrac{p}{1-p}\) the primitive F(a) does not belong to \(H^a\), contains a closed infinite dimensional vector space except 0 in \(H^p\).
The organization of the paper is as follows, Sect. 2 contains all preliminary results needed for the proofs of our results, which are contained in Sect. 3.
For the use of Baire’s theorem in mathematical analysis we refer to [4, 6]. For algebraic genericity and spaceability we refer to [1, 2].
2 Preliminaries
Let \({\mathbb {D}}=\{z\in {\mathbb {C}}:|z|<1\}\) be the open unit disc. A holomorphic function \(f:{\mathbb {D}}\!\;\rightarrow \;\!{\mathbb {C}}\) belongs to the Hardy space \(H^p\) \((0<p<+\infty )\) if \(\displaystyle \sup _{0<r<1}\dfrac{1}{2\pi }\int ^{2\pi }_0|f(re^{i\theta })|^pd\theta <+\infty \). It belongs to the Hardy space \(H^\infty \) if \(\displaystyle \sup _{|z|<1}|f(z)|<+\infty \). The space \(H^\infty \) endowed with the supremum norm on \({\mathbb {D}}\) is a Banach space, but polynomials are not dense in this space. For \(1\le p<+\infty \) the space \(H^p\) endowed with the norm
is also a Banach space. Then for \(f,g\in H^p\) their distance is
For \(0<p<1\) we endow \(H^p\) with the metric
and then \(H^p\) becomes a topological vector space endowed with a metric invariant by translation which is complete (F-space). For \(0<p<+\infty \) polynomials are dense in \(H^p\). Also convergence in \(H^p\), \(0<p\le +\infty \) implies uniform convergence on each compact subset of \({\mathbb {D}}\). All above is well known; see for example [3, 8].
For \(a,b\in (0,+\infty ]\), \(a<b\) we have \(H^b\subset H^a\) and the injection map is continuous. Jensen’s inequality implies that the map
is increasing. Obviously we also have
Next for \(0<a\le +\infty \) we consider the intersection \(\bigcap \nolimits _{p<a}H^p\).
Convergence in this space is equivalent with convergence in all spaces \(H^p\), \(p<a\). Equivalently, we consider a strictly increasing sequence \(p_n\) converging to a and the metric in \(\bigcap \nolimits _{p<a}H^p\) is defined by
This space is also complete, in fact an F-space. Obviously convergence in \(\bigcap \nolimits _{p<a}H^p\) implies uniform convergence on each compact subset of \({\mathbb {D}}\).
Proposition 2.1
Polynomials are dense in \(\bigcap \nolimits _{p<a}H^p\), for every a, \(0<a\le +\infty \).
For the proof it suffices for \(f\in \bigcap \nolimits _{p<a}H^p\) to control \(d_{p_n}(f,P)\), for \(n=1,\ldots ,N\) for any finite N. Because of the monotonicity of the map \(p\;\rightarrow \;\displaystyle \sup _{0<r<1}\Big \{\dfrac{1}{2\pi }\int ^{2\pi }_0|f(re^{i\theta })-P(re^{i\theta })|^pd\theta \Big \}^{1/p}\) is suffices to control \(d_{p_N}(f,P)\). But this is possible, because polynomials are dense in \(H^{p_N}\) since \(p_N<+\infty \). Thus Proposition 2.1 holds.
Next we present localized versions of the previous spaces ( [9, 10]).
Let \(0<p<+\infty \) and \(A,B\in {\mathbb {R}}\), \(A<B\). Then a holomorphic function \(f:{\mathbb {D}}\;\rightarrow \;{\mathbb {C}}\) belongs to \(H^p_{[A,B]}\) if \(\displaystyle \sup _{0<r<1}\int ^B_A|f(re^{i\theta })|^p\dfrac{d\theta }{B-A}<+\infty \) and to \(H^\infty _{[A,B]}\) if \(\displaystyle \sup _{0<r<1}\displaystyle \sup _{A\le \theta \le B}|f(re^{i\theta })|<+\infty \). Because of the monotonicity of the function \(a\;\rightarrow \;\displaystyle \sup _{0<r<1}\Big \{\int ^B_A|f(re^{i\theta })|^a\dfrac{d\theta }{B-A}\Big \}^{1/a}\) it follows \(H^b_{[A,B]}\subset H^a_{[A,B]}\) for \(0<a<b\le +\infty \).
Convergence in \(H^p_{[A,B]}\) of a sequence \(f_n\) towards f where \(f_n,f\in H^p_{[A,B]}\) is equivalent to uniform convergence on all compact subsets of \({\mathbb {D}}\) and
The metric giving this topology in \(H^p_{[A,B]}\) is defined by
Obviously, convergence in \(H^p_{[A,B]}\) implies uniform convergence on all compact subsets of \({\mathbb {D}}\). Also for \(0<a<b\le +\infty \) the injection map \(H^b_{[A,B]}\subset H^a_{[A,B]}\) is continuous. Finally these spaces are complete, in fact F-spaces and \(H^p_{[A,B]}=H^p\) when \(B-A\ge 2\pi \) and in general \(H^p\subset H^p_{[A,B]}\), provided \(A<B\).
Let \(0<a\le +\infty \). Convergence in the space \(\bigcap \nolimits _{p<a}H^p_{[A,B]}\) is equivalent to convergence in all \(H^p_{[A,B]}\) for \(p<a\). A metric in \(\bigcap \nolimits _{p<a}H^p_{[A,B]}\) compatible with this topology is given by
where \(p_n\) is any strictly increasing sequence converging to a. This space is complete, in fact an F-space. Obviously convergence in \(\bigcap \nolimits _{p<a}H^p_{[A,B]}\) implies uniform convergence on all compact subsets of \({\mathbb {D}}\).
Consider the function \(\dfrac{1}{(1-z)}\). It is well known that for \(p>0\), this function belongs to \(H^p\) if and only if \(p<1\); see for example [3]. The same holds for \(\dfrac{1}{e^{i\omega }-z}\) for any \(\omega \in {\mathbb {R}}\). If f is holomorphic on the open unit disc we denote by F(f) its primitive vanishing at 0; that is \(F(f)(z)=\displaystyle \int ^z_0f(\zeta )d\zeta \). The primitive of the function \(\dfrac{1}{e^{i\omega }-z}\) is \(-\log (e^{i\omega }-z)\) which belongs to \(H^p\) for all \(p\in (0,+\infty )\), but not to \(H^\infty \). Consider the function \(\dfrac{1}{(e^{i\omega }-z)^\gamma }\), \(\gamma >0\). If \(p>0\), this function belongs to \(H^p\), if and only if \(p<\dfrac{1}{\gamma }\). For \(\gamma =1\) we mentioned that the primitive belongs to all \(H^p\), \(0<p<+\infty \) but not to \(H^\infty \). For \(\gamma <1\) the function \(\dfrac{1}{(e^{i\omega }-z)^\gamma }\) belongs to \(H^1\); hence, according to Hardy’s inequality [3], its primitive has an absolutely convergent Taylor series on the closed unit disc and therefore, it is in \(H^\infty \). For \(1<\gamma \) the function \(\dfrac{1}{(e^{i\omega }-z)^\gamma }\), belongs to \(H^\delta (0<\delta )\) if and only if \(0<\delta <\dfrac{1}{\gamma }\) and the essential part of its primitive is \(\dfrac{1}{(e^{i\omega }-z)^{\gamma -1}}\). This primitive belongs to \(H^\beta \) if and only if \(\beta (\gamma -1)<1\), which is equivalent to \(\beta <\dfrac{1}{\gamma -1}=\dfrac{\frac{1}{\gamma }}{1-\frac{1}{\gamma }}\).
Thus, if the function \(\dfrac{1}{(e^{i\omega }-z)^\gamma }\), \((1<\gamma )\) belongs to an \(H^\delta \) (which implies \(0<\delta <\dfrac{1}{\gamma }\)), its primitive belongs to \(H^{\frac{\delta }{1-\delta }}\) because \(\dfrac{\delta }{1-\delta }<\dfrac{\frac{1}{\gamma }}{1-\frac{1}{\gamma }}\). This is a particular case of the following more general result.
Theorem 2.2
([3] Theorem 5.12). Let \(0<p<1\) and \(f\in H^p\). Then its primitive F(f) belongs to \(H^q\), where \(q=\dfrac{p}{1-p}\). Furthermore, for every \(a>q\) there is a function g in \(H^p\) so that \(F(g)\notin H^a\). Moreover, for every \(A,B\in {\mathbb {R}}\) and \(A<B\) we can choose \(g\in H^p\) so that \(F(g)\notin H^a_{[A,B]}\).
According to the previous discussion, it suffices to set \(g(z)=\dfrac{1}{(e^{i\omega }-z)^\gamma }\) with \(A<\omega <B\) and \(\gamma \in \Big [1+\dfrac{1}{a},\dfrac{1}{p}\Big )\); the last interval is non-void because \(a>q=\dfrac{p}{1-p}\) and \(0<p<1\).
Theorem 2.2 implies easily the following.
Proposition 2.3
a) Let \(0<p<1\) and \(f\in \bigcap \nolimits _{\beta <p}H^\beta \). Then \(F(f)\in \bigcap \nolimits _{\gamma <q}H^\gamma \), where \(q=\dfrac{p}{1-p}\). Furthermore, if \(A<B\), there is a function \(g\in \bigcap \nolimits _{\beta <p}H^\beta \) such that \(F(g)\notin H^q_{[A,B]}\).
b) If \(f\in \bigcap \nolimits _{\beta <1}H^\beta \), then \(F(f)\in \bigcap \nolimits _{\gamma <+\infty }H^\gamma \).
For part a) it suffices to set \(g(z)=\dfrac{1}{(e^{i\omega }-z)^{1/p}}\) with \(A<\omega <B\).
In Section 3 we will show that the function g in Proposition 2.3 a) can be chosen independently of A, B but it will depend on p, \(0<p<1\). In order to show that the set of these functions g is big we will use a version of a result of M. Siskaki ([11]).
Proposition 2.4
Let V be a topological vector space over the field \({\mathbb {R}}\) or \({\mathbb {C}}\). Let X be a non void set and \({\mathbb {C}}^X\) the set of complex functions defined on X.
Let \(T:V\;\rightarrow \;{\mathbb {C}}^X\) be a linear map such that for every \(x\in X\) the function \(V\ni f\;\rightarrow \;T(f)(x)\in {\mathbb {C}}\) is continuous. Let \(S=\{f\in V:T(f)\) is unbounded on \(X\}\). Then, either \(S=\emptyset \) or S is a \(G_\delta \) and dense subset of V.
In [5] it was noticed that the previous result holds even if T is not linear but it satisfies
for every scalar \(\lambda \), every \(f,g\in V\) and every \(x\in X\).
The version that we will use is the following.
Proposition 2.5
Let V be a topological vector space over the field \({\mathbb {R}}\) or \({\mathbb {C}}\). Let X be a non empty set and \({\mathbb {C}}^X\) the set of complex functions defined on X. Let \(T:V\;\rightarrow \;{\mathbb {C}}^X\) be such that
1) For every \(x\in X\) the function \(V\ni f\;\rightarrow \;T(f)(x)\in {\mathbb {C}}\) is continuous.
2) \(|T(f-g)(x)|\le |T(f)(x)|+|T(g)(x)|\) for all \(f,g\in V\) and \(x\in X\).
3) For every \(f\in V\), if T(f) is unbounded on X, then there is a sequence \((\lambda _n)_n\) of numbers in \({\mathbb {R}}\) or in \({\mathbb {C}}\), respectively, with \(\lambda _n\;\rightarrow \;0\) as \(n\;\rightarrow \;\infty \) such that \(T(\lambda _nf)\) is unbounded on X for every \(n\ge 1\).
We set \(S=\{f\in V:T(f)\) is unbounded on \(X\}\). Then, either \(S=\emptyset \) or S is a \(G_\delta \) and dense subset of V.
Proof
The proof that S is a \(G_\delta \) is omitted, because it follows simply from 1) and is similar to the proof in [11].
Suppose \(S\ne \emptyset \) and let \(f\in S\). Thus, T(f) is unbounded on X. If S is not dense, then there exist \(g\in V\) so that \(g\notin {\overline{S}}\). Then T(g) is bounded on X.
Since V is a topological vector space it holds \(g+\lambda _nf\;\rightarrow \;g\) as \(n\;\rightarrow \;+\infty \).
According to our assumptions we have
for all \(x\in X\) where \(M<+\infty \) is independent of x.
Then for every \(n\ge 1\) it follows that \(T(g+\lambda _nf)\) is unbounded on X. Then it is deduced that g belongs to the closure of S, which is a contradiction. \(\square \)
We close this section mentioning that a complex function defined on the open unit disc \({\mathbb {D}}\) of \({\mathbb {C}}\) is called totally unbounded ( [5, 7, 9, 10]) if it is unbounded on \({\mathbb {D}}\cap {\mathbb {D}}(\zeta _0,r)\) for every \(r>0\) and \(\zeta _0\in \partial {\mathbb {D}}\) where \({\mathbb {D}}(\zeta _0,r)=\{z\in {\mathbb {C}}:|z\!-\!\zeta _0|\!<\!r\}\). If g is continuous on \({\mathbb {D}}\), this is equivalent to \(\displaystyle \sup _{0<r<1}\sup _{\theta \in [A,B]}|g(re^{i\theta })|=+\infty \) for every \(A,B\in {\mathbb {R}}\), \(A<B\). If g is holomorphic on \({\mathbb {D}}\) and totally unbounded, then g is non-extendable ( [9, 10]).
3 The Results
It is a general principle that if there exists an object with a “bad” property, then most of the objects have this property. In Theorem 2.2 we saw that for \(0<p<1\) and \(a>q=\dfrac{p}{1-p}\) there exists a function \(g\in H^p\) such that its primitive F(g) does not belong to \(H^a\). We will show that the set of all such functions g in \(H^p\) is a \(G_\delta \) and dense subset of \(H^p\); that is, we have topological genericity.
Proposition 3.1
Let \(0<p<1\), \(a>q=\dfrac{p}{1-p}\), \(A<B\) and \(W<Y\). Then the set \(\{f\in H^p_{[W,Y]}:F(f)\notin H^a_{[A,B]}\}\) is a \(G_\delta \) and dense subject of \(H^p_{[W,Y]}\).
Proof of Prop. 3.1
Let \(V=H^p_{[W,Y]}\), \(X=(0,1)\) and \(T:V\times X\;\rightarrow \;{\mathbb {C}}\) be given by
and by
Let \(0<r<1\) and \(z\in {\mathbb {C}}\) with \(|z|=r\). Then \(F(f)(z)=\displaystyle \int ^z_0f(\zeta )d\zeta \), where the integral is over the segment [0, z] which is subset of the compact disc \(\{z\in {\mathbb {C}}:|z|\le r\}\subset {\mathbb {D}}\). Because convergence in \(H^p_{[W,Y]}\) implies uniform convergence on each compact subset of \({\mathbb {D}}\), one easily can check that the assumptions of Proposition 2.5 are satisfied. Furthermore, according to Theorem 2.2 there exists \(g\in V\), such that, \(\displaystyle \sup _{r\in X}|T(g,r)|=+\infty \). It follows that the set \(\{f\in V:\displaystyle \sup _{r\in X}|T(f,r)|=+\infty \}\) is a \(G_\delta \) and dense subset of V. The proof is completed.
Proposition 3.2
Let \(0<p<1\), \(q=\dfrac{p}{1-p}\), \(W<Y\) and \(A<B\). Then the set \(\{f\in H^p_{[W,Y]}\): for every \(a>q\) it holds \(F(f)\notin H^a_{[A,B]}\}\) is a \(G_\delta \) and dense subject of \(H^p_{[W,Y]}\).
Proof
Because of the monotonicity of the function
the assertion that for every \(a>q\) it holds \(F(f)\notin H^a_{[A,B]}\) is equivalent to the assertion that for every \(n\ge 1\) it holds \(F(f)\notin H^{q+\frac{1}{n}}_{[A,B]}\).
Thus, the set of Proposition 3.2 is equal to the denumerable intersection for all \(n\ge 1\) of the sets \(\{f\in H^p_{[W,Y]}:F(f)\notin H^{q+\frac{1}{n}}_{[A,B]}\}\). According to Proposition 3.1 these sets are \(G_\delta \) and dense in \(H^p_{[W,Y]}\). Baire’s theorem implies the result. \(\square \)
Theorem 3.3
Let \(0<p<1\) and \(q=\dfrac{p}{1-p}\) and \(W<Y\). Then the set \(\{f\in H^p_{[W,Y]}\): for every \(a>q\) and every \(A,B\in {\mathbb {R}}\), \(A<B\) it holds \(F(f)\notin H^a_{[A,B]}\}\) is a \(G_\delta \) and dense subset of \(H^p_{[W,Y]}\).
Proof
The set of Theorem 3.3 is equal to the intersection of the sets of Proposition 3.2 for all rational numbers A, B, \(A>B\). Since these sets are \(G_\delta \) and dense in the complete space \(H^p_{[W,Y]}\) and the intersection is denumerable, Baire’s theorem yields the result. \(\square \)
If \(W-Y\ge 2\pi \), then \(H^p_{[W,Y]}=H^p\). Thus, Theorem 3.3 implies the following.
Theorem 3.4
Let \(0<p<1\) and \(q=\dfrac{p}{1-p}\). Then there is a function f in \(H^p\) such that its primitive F(f) satisfies the following.
For every \(a>q\) and \(A,B\in {\mathbb {R}}\), \(A<B\) it holds
Furthermore, the set of such functions f is a \(G_\delta \) and dense subset of \(H^p\).
We remind that for every \(f\in H^p\) with \(0<p<1\) the primitive F(f) satisfies \(\displaystyle \sup _{0<r<1}\int ^{2\pi }_0|F(f)(re^{i\theta })|^qd\theta <+\infty \) with \(q=\dfrac{p}{1-p}\).
Next we replace the space \(H^p_{[W,Y]}\) by the space \(\bigcap \nolimits _{\beta <p}H^\beta _{[W,Y]}\), \(0<p\le 1\). Then, Theorem 2.2 implies that if \(f\in \bigcap \nolimits _{\beta <p}H^\beta \) then \(F(f)\in \bigcap \nolimits _{\gamma <q}H^\gamma \) with \(q=\dfrac{p}{1-p}\). Let \(A,B,A<B\) be given and consider the function \(g=\dfrac{1}{(e^{i\omega }-z)^{1/p}}\) where \(A<\omega <B\). Then \(g\in \bigcap \nolimits _{\beta<p}H^\beta \subset \bigcap \nolimits _{\beta <p}H^\beta _{[W,Y]}\) and \(F(g)\notin H^q_{[A,B]}\). Thus, all the previous results, extend to this case. The analogue of Theorem 3.3 is the following.
Theorem 3.5
Let \(0<p\le 1\), \(q=\dfrac{p}{1-p}\) and \(W,Y\in {\mathbb {R}}\) with \(W<Y\). Then the set \(\Big \{f\in \bigcap \nolimits _{\beta <p}H^\beta _{[W,Y]}\): for every \(A<B\) it holds \(F(f)\notin H^q_{[A,B]}\Big \}\) is a \(G_\delta \) and dense subset of the space \(\bigcap \nolimits _{\beta <p}H^\beta _{[W,Y]}\).
Remark 3.6
If \(W-Y\ge 2\pi \) and \(f\in \displaystyle \bigcap _{\beta <p}H^\beta _{[W,Y]}\) then automatically \(F(f)\in \bigcap \nolimits _{\gamma <q}H^\gamma \) according to Proposition 2.3.
Remark 3.7
If \(p=1\) and \(W-Y\ge 2\pi \), then Theorem 3.5 takes the form “The set \(\Big \{f\in \bigcap \nolimits _{\beta <1}H^\beta :F(f)\) is totally unbounded on the open unit disc\(\Big \}\) is a \(G_\delta \) and dense subset of the space \(\bigcap \nolimits _{\beta <1}H^\beta \)”. This is in contrast with the situation in \(H^1\), where for every \(f\in H^1\) the primitive F(f) is bounded on the open unit disc, as it follows from Hardy’s inequality ( [3, 8]).
We close with an algebraic genericity result.
Theorem 3.8
Let \(0<p<1\), \(a>q=\dfrac{p}{1-p}\) and \(A<B\). Then the set \(\{f\in H^p:F(f)\notin H^a_{[A,B]}\}\) contains a dense vector subspace of \(H^p\) except zero.
Proof
Let \(f_j\), \(j=1,2,\ldots \) be an enumeration of all polynomials with coefficients with rational real and imaginary parts. The sequence \(f_j\), \(j=1,2,\ldots \) is dense in \(H^p\) [3]. Let \(A<\omega _j<\omega _{j+1}<\dfrac{A+B}{2}\), be a sequence converging to \(\dfrac{A+B}{2}\). We also assume that \(\dfrac{A+B}{2}-2\pi <\omega _1\). Let \(\varphi _j\), \(j=1,2,\ldots \) be a function of the form \(\varphi _j=\dfrac{1}{(e^{i\omega _j}-z)^\gamma }\), where the exponent \(\gamma >0\) is such that \(\varphi _j\in H^p\) and \(F(\varphi _j)\notin H^a\).
Let \(c_j\ne 0\) be close enough to 0, so that \(d(c_j\varphi _j,0)<\dfrac{1}{j}\) where d is the metric in \(H^p\). Then the sequence \(c_j\varphi _j+f_j\), \(j=1,2,\ldots \) is dense in \(H^p\), because \(H^p\) does not contain isolated points.
Let F be the linear span of the sequence \(c_j\varphi _j+f_j\), \(j=1,2,\ldots \) . Then F is a dense vector subspace of \(H^p\). It remains to show that for every non zero element f of F we have \(F(f)\not \in H^a_{[A,B]}\).
Let \(f=\beta _1(c_1\varphi _1+f_1)+\cdots +\beta _m(c_m\varphi _m+f_m)\) with \(\beta _m\ne 0\). Let I be a closed interval centered at \(\omega _m\) which is not a singleton and not containing any other \(\omega _j\), \(j\ne m\). Then for \(j\ne m\) we have \(\displaystyle \sup _{0<r<1}\int _I|F(c_j\varphi _j+f_j)(re^{i\theta })|^ad\theta <+\infty \) while \(\displaystyle \sup _{0<r<1}\int _I|F(c_m\varphi _m+f_m)(re^{i\theta })|^ad\theta \!=\!+\infty \). It follows that \(F(f)\!\notin \! H^a_{[A,B]}\). This completes the proof. \(\square \)
In a similar way one can prove the following, because polynomials are dense in \(\displaystyle \bigcap \nolimits _{\beta <p}H^\beta \) (see Proposition 2.1).
Theorem 3.9
Let \(0<p\le 1\), \(q=\dfrac{p}{1-p}\) and \(A<B\). Then the set \(\Big \{f\in \bigcap \nolimits _{\beta <p}H^\beta :F(f)\notin H^q_{[A,B]}\Big \}\) contains a dense vector subspace of \(\bigcap \nolimits _{\beta <p}H^\beta \) except zero.
Question
We have not be able to obtain any result of spaceability; that is, whether the set of \(g\in H^p\), \(0<p<1\) such that for a precise \(a>q=\dfrac{p}{1-p}\) the primitive F(g) does not belong to \(H^a\), contains a closed infinite dimensional vector space except 0 in \(H^p\).
References
Aron, R.M., Bernal-Gonzalez, L., Pellegrino, D.M., Seoanne-Sepúlveda, J.B.: Lineability, the Search for Linearity in Mathematics, Monographs and Research Notes in Mathematics. CRC Press, Boca Raton (2015)
Bernal-Gonzalez, L., Pellegrino, D., Seoanne-Sepúlveda, J.B.: Linear subsets of non-linear sets in topological vector spaces. Bull. Amer. Math. Soc. (New Series) 51(1), 71–130 (2014)
Duren, P.L.: Theory of \(H_p\) Spaces. Academic Press, New York and London (1970)
Grosse Erdmann, K.-G.: Universal families and hypercyclic operators. Bull. Amer. Math. Soc. 36, 345–381 (1999)
Hatziafratis, T., Kioulafa, K., Nestoridis, V.: On Bergman type spaces of holomorphic functions and density, on these spaces, of certain classes of singular functions, Complex Var. Elliptic Equ, 63, no 7–8, 1011–1032,(2018) see also arxiv:1705.00423
Kahane, J.P.: Baire’s category theorem and trigonometric series. J. Anal. Math. 80, 143–182 (2000)
Kioulafa, K.: On Hardy type spaces in strictly pseudoconvex domains and the density, in these spaces, of certain classes of singular functions, J. Math. Anal. Appl. 484 (2020) article 123697 see also arxiv: 1905.04676
Koosis, P.: Introduction of \(H_p\) Spaces. Cambridge University Press, Cambridge (1980)
Nestoridis, V., Siskakis, A. G., Stavrianidi, A., Vlachos, S.: Generic non extendability and total unboundedness in function spaces, J. Math. Anal. Appl. 475 Issue 2, 1720–1731, (2019) see also arxiv: 1811.04408
Nestoridis, V.: From Universality to generic non extendability and total unboundedness of holomorphic functions. Anal. Math. Phys. 9(2), 887–897 (2019)
Siskaki, M.: Boundedness of derivatives and anti-derivatives of holomorphic functions as a rare phenomenon, J. Math. Anal. Appl. 426 no 2, 1073–1086 (2018) see also arxiv: 1611.05386
Acknowledgements
We would like to thank I. Deliyanni, T. Hatziafratis and A. Siskakis for helpful communications, as well as the anonymous referee for his valuable suggestions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Nestoridis, V., Thirios, E. Generic Versions of a Result in the Theory of Hardy Spaces. Results Math 77, 210 (2022). https://doi.org/10.1007/s00025-022-01740-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01740-2