pith. sign in

arxiv: 1912.03659 · v2 · submitted 2019-12-08 · 🧮 math.FA · math.CV

Vector-valued Fourier hyperfunctions and boundary values

Karsten Kruse This is my paper

Pith reviewed 2026-05-24 15:03 UTC · model grok-4.3

classification 🧮 math.FA math.CV
keywords vector-valued Fourier hyperfunctionsproperty (PA)ultrabornological PLS-spacesboundary valuesslowly increasing holomorphic functionssheaf of functionalslocally convex spaces
0
0 comments X

The pith

A theory of Fourier hyperfunctions valued in a space E exists if and only if E satisfies property (PA) when E is an ultrabornological PLS-space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops the theory of Fourier hyperfunctions in one variable with values in a complex locally convex Hausdorff space E. It identifies necessary and sufficient conditions for a reasonable such theory to exist. For ultrabornological PLS-spaces, the condition is exactly that E satisfies property (PA). Under this condition the hyperfunctions arise as the sheaf generated by equivalence classes of certain compactly supported E-valued functionals and as boundary values of slowly increasing holomorphic functions. A sympathetic reader would care because the result gives precise topological and bornological criteria for extending the scalar theory to vector-valued settings in functional analysis.

Core claim

If E is an ultrabornological PLS-space, a theory of E-valued Fourier hyperfunctions is possible if and only if E satisfies the property (PA). The vector-valued Fourier hyperfunctions can be realized as the sheaf generated by equivalence classes of certain compactly supported E-valued functionals and interpreted as boundary values of slowly increasing holomorphic functions.

What carries the argument

Property (PA) on E, which is the condition that permits the scalar Fourier hyperfunction definitions and sheaf constructions to extend to the vector-valued case.

If this is right

  • Many concrete examples of ultrabornological PLS-spaces that satisfy (PA) and that fail (PA) are supplied.
  • The hyperfunctions form the sheaf generated by equivalence classes of compactly supported E-valued functionals.
  • The hyperfunctions admit an interpretation as boundary values of slowly increasing holomorphic functions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The iff characterization may help classify which other locally convex spaces admit similar vector-valued hyperfunction theories.
  • One could test whether the boundary-value realization extends to related generalized-function settings such as vector-valued ultradistributions.
  • Checking property (PA) on standard examples of PLS-spaces could produce explicit cases where the functional-sheaf representation applies directly.

Load-bearing premise

The standard scalar definitions and sheaf-theoretic constructions of Fourier hyperfunctions extend directly to the vector-valued setting once E meets the stated topological and bornological hypotheses.

What would settle it

An explicit ultrabornological PLS-space that satisfies property (PA) yet the equivalence classes of its compactly supported functionals do not yield the expected sheaf of hyperfunctions.

Figures

Figures reproduced from arXiv: 1912.03659 by Karsten Kruse.

Figure 1
Figure 1. Figure 1: Un(K) for ±∞ ∈ K [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Sn(K) for ±∞ ∈ K 3.1. Definition ([46, 3.2 Definition, p. 12-13]). Let K ⊂ R be a compact set and E a C-lcHs. We define the space of E-valued slowly increasing smooth functions outside K by E exp(C∖K, E) ∶= {f ∈ C ∞(C∖K, E) ∣ ∀ n ∈ N, n ≥ 2, m ∈ N0, α ∈ A ∶ ∣f∣K,n,m,α < ∞} where ∣f∣K,n,m,α ∶= sup z∈Sn(K) β∈N 2 0 ,∣β∣≤m pα(∂ β f(z))e −(1/n)∣ Re(z)∣ . We define the space of E-valued slowly increasing holomor… view at source ↗
Figure 3
Figure 3. Figure 3: Path γK,n,r for ±∞ ∈ K Its inverse H −1 K ∶Lb(P∗(K), E) → Oexp(C ∖ K, E)/O exp(C, E) is given by H −1 K (T ) ∶= [C ∖ K ∋ z z→ 1 2πi ⟨T, e −(z−⋅) 2 z − ⋅ ⟩], T ∈ Lb(P∗(K), E), In addition, for all non-empty compact sets K1 ⊂ K it holds that HK∣Oexp(C∖K1,E)/Oexp(C,E) = HK1 (3) on P∗(K) and H −1 K (T ) = H −1 R (T ), T ∈ L(P∗(K), E). (4) The topological isomorphism Oexp(C ∖ K, E)/Oexp(C, E) ≅ Lb(P∗(K), E) in … view at source ↗
Figure 4
Figure 4. Figure 4: case: ±∞ ∈ Ω1, −∞ ∈ Ω2, ∞ ∉ Ω2 Furthermore, ∣ϕ (k) (z; y 1 ,⋯, yk )∣ ≤ C k ∣y 1 ∣⋯∣y k ∣ d(z) −k d1⋯dk (9) for all z ∈ R 2 ∖ ∂Ω2 and all y i ∈ R 2 , 1 ≤ i ≤ k, k ∈ N, where ϕ (k) denotes the differential of order k of ϕ, C > 0 is a constant independent of z, y i and k, d(z) ∶= max(d(z, F0), d(z, F1)) = max(min x∈F0 ∣z − x∣, min x∈F1 ∣z − x∣) and (dn)n∈N is any decreasing sequence with ∑ ∞ n=1 dn = 1, e.g. … view at source ↗
Figure 5
Figure 5. Figure 5: case: ±∞ ∈ Ω1, −∞ ∈ Ω2, ∞ ∉ Ω2 Due to Proposition 3.3, we get for r ∶= 1 2 ( 1 2n − 1 3n ) C(f) ≤ sup z∈S2n(Ω1) β∈N 2 0 ,∣β∣≤m pα(∂ ∣β∣ C f(z))e − 1 n ∣ Re(z)∣ + sup z∈M β∈N 2 0 ,∣β∣≤m pα(∂ ∣β∣ C f(z))e − 1 n ∣ Re(z)∣ [PITH_FULL_IMAGE:figures/full_fig_p019_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: case: ±∞ ∈ Ω1, −∞ ∈ Ω2, ∞ ∉ Ω2 For α ∈ A we have by the choice of ϕ ∣f1∣Ω1∖Ω2,n,α = sup z∈Sn(Ω1∖Ω2) pα(f1(z))e − 1 n ∣ Re(z)∣ [PITH_FULL_IMAGE:figures/full_fig_p020_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: case: ±∞ ∈ Ω1, −∞ ∈ Ω2, ∞ ∉ Ω2 For α ∈ A we have by the choice of ϕ ∣f2∣Ω2,n,α = sup z∈Sn(Ω2) pα(f2(z))e − 1 n ∣ Re(z)∣ [PITH_FULL_IMAGE:figures/full_fig_p021_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Sn(U) for ∞ ∈ Ω, −∞ ∉ Ω If ±∞ ∈/ Ω, we define O exp(U ∖ R, E) ∶= O((U ∖ R) ∩ C, E). If −∞ ∈ Ω or ∞ ∈ Ω, we define O exp(U, E) ∶= {f ∈ O(U ∩ C, E) ∣ ∀ n ∈ N, n ≥ 2, α ∈ A ∶ ∣∣∣f∣∣∣U,n,α < ∞} where ∣∣∣f∣∣∣U,n,α ∶= sup z∈Tn(U) pα(f(z))e − 1 n ∣ Re(z)∣ and Tn(U) [PITH_FULL_IMAGE:figures/full_fig_p024_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: case: ∞ ∈ Ω, −∞ ∈ ∂Ω Furthermore, we define the sets K0 ∶= {(x, y) ∈ R 2 ∣ y ≤ −2e −∣x∣ or y ≥ 2e −∣x∣} and K1 ∶= {(x, y) ∈ R 2 ∣ − e −∣x∣ ≤ y ≤ e −∣x∣ } as well as F̃0 ∶= K0 ∪ ([0,∞) × [R ∖ (−2, 2)]) and F̃1 ∶= K1 ∪ ([0,∞) × [−1, 1]). The sets F̃0 and F̃1 are non-empty and closed in R 2 and F̃0 ∩ F̃1 = ∅. Like above there is ϕ1 ∈ C ∞((F̃0 ∩ F̃1) C ) = C ∞(R 2 ), 0 ≤ ϕ1 ≤ 1, such that ϕ1 = 0 on W0 and ϕ1 =… view at source ↗
Figure 10
Figure 10. Figure 10: case: ∞ ∈ Ω, −∞ ∈ ∂Ω Again, we take a closer look at the right-hand side of (19) resp. (20) and claim that B ∶= inf z∈Sn(∂Ω) d(z) > 0 (21) [PITH_FULL_IMAGE:figures/full_fig_p026_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: case: ∞ ∈ Ω, −∞ ∈ ∂Ω We observe that the inequality 1 n ≥ 2e −∣x∣ is equivalent to ln(2n) ≤ ∣x∣ for all x ∈ R. Hence M0 is bounded since ∣Re(z)∣ ≤ max(∣ − n∣, ∣ − ln(2n)∣, ∣̃x0 + 2∣) for all z ∈ M0. Let r ∶= 1 2 min(2, ε0 2 , ε0 4 ) = min(1, ε0 8 ), choose k ∈ N with k > max(n, ε0) with 1 k < ε0 8 and −k < x̃0. Then ε0 8 ≤ ε0 4 − r and 1 k < min( 1 n , ε0 8 ) is valid and thus we have for all z ∈ M1 Dr(z)… view at source ↗
Figure 12
Figure 12. Figure 12: case: ∞ ∈ Ω, −∞ ∈ ∂Ω Obviously M1 ⊂ Sk(U) and M0 ⊂ S(n) ⊂ (U ∖ R) ∩ C. By the choice of V0 we have M0 = [S(n) ∖ Sk(U)] ⊂ (Sn(Ω) ∖ V0) ⊂ {z ∈ C ∣ ∣Im(z)∣ < ε0 2 } (28) and by the choice of W0 M0 ⊂ (Sn(Ω) ∖ W0) ⊂ {z ∈ C ∣ Re(z) > min(−n,−ln(2n))}. (29) Let z ∈ S(n) with ∣Im(z)∣ < ε0 2 and Re(z) ≥ x̃0 + 2. Then z ∈ ([̃x0 + 2,∞) × [− ε0 2 , ε0 2 ]) ⊂ ([̃x0,∞) × [−ε0, ε0]) ⊂ U [PITH_FULL_IMAGE:figures/full_fi… view at source ↗
Figure 13
Figure 13. Figure 13: case: ∞ ∈ Ω, −∞ ∈ ∂Ω We claim that the set M0 is bounded. Again, we just have to prove that there is C1 > 0 such that ∣Re(z)∣ ≤ C1 for every z ∈ M0. By the choice of k and the definition of V1 and W1 we have Re(z) ∈ [−n, max(0, x̃0 + 2)] for every z ∈ M0, proving the claim. Therefore, M0 is compact and by (32) we get M0 ⊂ (U ∖ R) ∩ C. Then sup z∈T(n) pα(f(z))e − 1 n ∣ Re(z)∣ ≤ sup z∈M0 pα(f(z))e − 1 n ∣ R… view at source ↗
Figure 14
Figure 14. Figure 14: case: −∞ ∈ Ωj0 , ∞ ∈ Ωj1 [PITH_FULL_IMAGE:figures/full_fig_p035_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: case: −∞ ∈ Ωj0 , ∞ ∈ Ωj1 Due to case (iii.1) there is F ∈ O((U ∖ R) ∩ C, E) such that [F]∣Ωj∩R = [fj ]∣Ωj∩R for every j ∈ J. By Lemma 5.7 there exists F̃ ∈ Oexp(C∖Ω, E) with F −F̃ ∈ O(U∩C, E). Thus we obtain fj − F̃ = (fj − F) ´¹¹¹¹¹¹¹¸ ¹¹¹¹¹¹¹¶ ∈O(Uj∩C,E) + (F − F̃) ´¹¹¹¹¹¹¹¸ ¹¹¹¹¹¹¶ ∈O(U∩C,E) ∈ O(Uj ∩ C, E) (34) for all j ∈ J. So by the choice of ϕi we can regard ∂(ϕ0(fj0 − F̃) + ϕ1(fj1 − F̃)) as an ele… view at source ↗
Figure 16
Figure 16. Figure 16: case: −∞ ∈ Ωj0 , ∞ ∈ Ωj1 The sets Ni are clearly bounded and N0 ⊂ Uj0 as well as N1 ⊂ Uj1 . This implies sup z∈Ni β∈N 2 0 ,∣β∣≤m pα(∂ ∣β∣ C (fji − F̃)(z))e − 1 n ∣ Re(z)∣ < ∞, i = 0, 1, (36) by (34). If we set r ∶= 1 2 min(2, ε 2 , ε 4 ) = min(1, ε 8 ) and choose k ∈ N with k > max(n, ε) and 1 k < ε 8 and, in addition, −k < x, if ∞ ∉ Ωj0 resp. −∞ ∉ Ωj1 , then Dr(z) ⊂ Sk(Uji ) ⊂ Sk(Ω), i = 0, 1, [PITH_FUL… view at source ↗
Figure 17
Figure 17. Figure 17: case: −∞ ∈ Ωj0 , ∞ ∈ Ωj1 , n > x + 1, i = 1 In addition, Sk(Uji ) ⊂ Sk(Ω) and hence, keeping (34) in mind, sup z∈Sn({±∞})∖Gi pα((fji − F̃)(z))e − 1 n ∣ Re(z)∣ ≤ ∑ i=0,1 sup z∈Mi pα((fji − F̃)(z))e − 1 n ∣ Re(z)∣ + sup z∈Sk(Uji ) pα((fji )(z))e − 1 n ∣ Re(z)∣ ´¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¸¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¹¶ =∣∣∣fji ∣∣∣U∗ ji ,k,α [PITH_FULL_IMAGE:fig… view at source ↗
Figure 18
Figure 18. Figure 18: case i = 1: ∞ ∈ Ωj , −∞ ∉ Ωj , ∞ ∈ Ωj1 , −∞ ∉ Ωj1 The sets Mi , i = 0, 1, are obviously bounded and Mi ⊂ (Uji ∩C). Further, we define the set M2 ∶= [Tn(Uj) ∖ (H0 ∪ H1)] ∖ Sk(Uj) which is bounded, since M2 ⊂ {z ∈ C ∣ − x − 2 < Re(z) < x + 2, ∣Im(z)∣ ≤ 1 k } due to the choice of k, and we have M2 ⊂ Tn(Uj ) ⊂ (Uj ∩ C) [PITH_FULL_IMAGE:figures/full_fig_p039_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: case: ∞ ∈ Ωj , −∞ ∉ Ωj , −∞ ∈ Ωj0 , ∞ ∈ Ωj1 These results yield to sup z∈Tn(Uj)∖(Hi∪Gi) pα((fji − F̃)(z))e − 1 n ∣ Re(z)∣ ≤ ∣∣∣fji ∣∣∣U∗ ji ,k,α + ∣F̃∣Ω,k,α + sup z∈Mi pα((fji − F̃)(z))e − 1 n ∣ Re(z)∣ < ∞ for i = 0, 1 and sup z∈Tn(Uj )∖(H0∪H1) pα((fj − F̃)(z))e − 1 n ∣ Re(z)∣ ≤ ∣∣∣fj ∣∣∣U∗ j ,k,α + ∣F̃∣Ω,k,α + sup z∈M2 pα((fj − F̃)(z))e − 1 n ∣ Re(z)∣ < ∞ by (34). Thus the right-hand side of (42) is boun… view at source ↗
Figure 20
Figure 20. Figure 20: case: ∞ ∈ Ωj , −∞ ∉ Ωj , ∞ ∉ Ωj0 , −∞ ∈ Ωj0 , ∞ ∈ Ωj1 , −∞ ∉ Ωj1 We choose k ∈ N such that k > n and 1 k < min(1, ε 2 ) and, in addition, −k < x + 1, if ∞ ∉ Ωj0 resp. −∞ ∉ Ωj1 . Let z ∈ Hi , i = 0, 1, with ∣Im(z)∣ < k. Then z ∈ Uji and Re(z) ≤ −x−2 < k, if i = 0, ∞ ∉ Ωj0 , resp. Re(z) ≥ x+2 > −k, if i = 1, −∞ ∉ Ωj1 , by the choice of k as well as d(z, C ∩ ∂Uji ) ≥ min(1, ε 2 ) > 1 k , implying z ∈ Tk(Uji … view at source ↗
read the original abstract

This work is dedicated to the development of the theory of Fourier hyperfunctions in one variable with values in a complex non-necessarily metrisable locally convex Hausdorff space $E$. Moreover, necessary and sufficient conditions are described such that a reasonable theory of $E$-valued Fourier hyperfunctions exists. In particular, if $E$ is an ultrabornological PLS-space, such a theory is possible if and only if E satisfies the so-called property $(PA)$. Furthermore, many examples of such spaces having $(PA)$ resp. not having $(PA)$ are provided. We also prove that the vector-valued Fourier hyperfunctions can be realized as the sheaf generated by equivalence classes of certain compactly supported $E$-valued functionals and interpreted as boundary values of slowly increasing holomorphic functions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper develops a theory of one-variable Fourier hyperfunctions taking values in a complex locally convex Hausdorff space E. It states necessary and sufficient conditions for a reasonable such theory to exist: when E is an ultrabornological PLS-space, the theory is possible if and only if E satisfies property (PA). The vector-valued hyperfunctions are realized as the sheaf generated by equivalence classes of certain compactly supported E-valued functionals and are shown to arise as boundary values of slowly increasing holomorphic functions. Concrete examples of spaces with and without (PA) are supplied.

Significance. If the central iff characterization and the two realizations hold, the work supplies a precise topological criterion that extends the scalar Fourier hyperfunction theory to a broad class of non-metrisable target spaces while preserving the sheaf and boundary-value interpretations. The explicit examples of spaces satisfying or failing (PA) make the result immediately usable for applications in functional analysis and several complex variables. The absence of free parameters or ad-hoc axioms in the stated characterization is a strength.

minor comments (2)
  1. The abstract and introduction should explicitly reference the section in which the (PA) condition is defined and verified to be necessary and sufficient, rather than leaving the reader to locate the statement.
  2. Notation for the sheaf of E-valued hyperfunctions and for the space of slowly increasing holomorphic functions should be introduced once and used consistently throughout; several passages appear to switch between different symbols for the same object.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, the positive summary of the results, and the recommendation for minor revision. No specific major comments appear in the report, so there are no individual points requiring a point-by-point reply. We are gratified that the central characterization via property (PA) and the two realizations of the hyperfunctions are viewed as supplying a precise and usable extension of the scalar theory.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's iff characterization (theory exists precisely when E is ultrabornological PLS with property (PA)) and the sheaf/boundary-value realizations rest on external topological and bornological properties of E rather than on any self-referential definitions, fitted parameters, or load-bearing self-citations. The extension of scalar constructions is presented as holding under stated hypotheses on E; no equation or step reduces the target results to the paper's own inputs by construction. This is the normal case of a self-contained development in functional analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of locally convex Hausdorff spaces, the bornological and topological properties that define ultrabornological PLS-spaces, and the sheaf-theoretic framework already used for scalar Fourier hyperfunctions; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard axioms of complex locally convex Hausdorff spaces and their bornological properties
    Invoked when defining E-valued hyperfunctions and the class of ultrabornological PLS-spaces.
  • domain assumption Existence of the sheaf of compactly supported E-valued functionals and the boundary-value map for slowly increasing holomorphic functions
    Used to realize the vector-valued hyperfunctions; assumed to extend from the scalar case once (PA) holds.

pith-pipeline@v0.9.0 · 5648 in / 1501 out tokens · 25004 ms · 2026-05-24T15:03:55.854700+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

81 extracted references · 81 canonical work pages

  1. [1]

    Bonet and P

    J. Bonet and P. Domański. The splitting of the exact seque nces of PLS-spaces and smooth dependence of solutions of linear partial differe ntial equations. Adv. Math., 217:561–585, 2008

    work page 2008

  2. [2]

    G. E. Bredon. Sheaf theory. Grad. Texts in Math. 170. Springer, New York, 2nd edition, 1997

    work page 1997

  3. [3]

    Chung, S.-Y

    J. Chung, S.-Y. Chung, and D. Kim. A characterization for Fourier hyper- functions. Publ. RIMS, Kyoto Univ. , 30:203–208, 1994

    work page 1994

  4. [4]

    Defant and K

    A. Defant and K. Floret. Tensor norms and operator ideals . Math. Stud. 176. North-Holland, Amsterdam, 1993

    work page 1993

  5. [5]

    B. P. Dhungana, S.-Y. Chung, and D. Kim. Characterizatio n of Fourier hy- perfunctions by solutions of the Hermite heat equation. Integral Transforms Spec. Funct., 18(7):471–480, 2007

    work page 2007

  6. [6]

    Domański

    P. Domański. Classical PLS-spaces: spaces of distribut ions, real analytic func- tions and their relatives. In Z. Ciesielski, A. Pełczyński, and L. Skrzypczak, editors, Orlicz Centenary Volume , volume 64 of Banach Center Publications , pages 51–70, Warsaw, 2004. Polish Acad. Sci

    work page 2004

  7. [7]

    Domański and M

    P. Domański and M. Langenbruch. Vector valued hyperfunc tions and boundary values of vector valued harmonic and holomorphic functions . Publ. RIMS, Kyoto Univ. , 44:1097–1142, 2008

    work page 2008

  8. [8]

    Domański and M

    P. Domański and M. Langenbruch. On the Laplace transform for vector valued hyperfuntions. Funct. Approx. Comment. Math. , 43(2):129–159, 2010

    work page 2010

  9. [9]

    Domański and M

    P. Domański and M. Langenbruch. On the abstract Cauchy pr oblem for op- erators in locally convex spaces. RACSAM Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. , 106(2):247–273, 2012

    work page 2012

  10. [10]

    Floret and J

    K. Floret and J. Wloka. Einführung in die Theorie der lokalkonvexen Räume . Lecture Notes in Math. 56. Springer, Berlin, 1968

    work page 1968

  11. [11]

    U. Graf. Introduction to hyperfunctions and their integral transforms . Birkhäuser, Basel, 2010

    work page 2010

  12. [12]

    Grosse-Erdmann

    K.-G. Grosse-Erdmann. The Borel-Okada theorem revisited. Habilitation. Fer- nuniv. Hagen, Hagen, 1992

    work page 1992

  13. [13]

    Grothendieck

    A. Grothendieck. Sur certains espaces de fonctions hol omorphes. I. J. Reine Angew. Math. , 192:35–64, 1953

    work page 1953

  14. [14]

    Grothendieck

    A. Grothendieck. Produits tensoriels topologiques et espaces nucléaires . Mem. Amer. Math. Soc. 16. AMS, Providence, 4th edition, 1966

    work page 1966

  15. [15]

    Hörmander

    L. Hörmander. The analysis of linear partial differential operators I . Classics Math. Springer, Berlin, 2nd edition, 1990

    work page 1990

  16. [16]

    Hörmander

    L. Hörmander. An introduction to complex analysis in several variables . North- Holland, Amsterdam, 3rd edition, 1990

    work page 1990

  17. [17]

    I. Imai. Applied hyperfunction theory . Mathematics and its applications. Kluwer, Dordrecht, 1992

    work page 1992

  18. [18]

    P. D. F. Ion and T. Kawai. Theory of vector-valued hyperf unctions. Publ. RIMS, Kyoto Univ. , 11:1–19, 1975. 48 K. KRUSE

    work page 1975

  19. [19]

    Y. Ito. On the Oka-Cartan-Kawai Theorem B for the sheaf E ̃O. Publ. RIMS, Kyoto Univ. , 18:987–993, 1982

    work page 1982

  20. [20]

    Y. Ito. Theory of (vector valued) Fourier hyperfunctio ns. Their realization as boundary values of (vector valued) slowly increasing holom orphic functions, (I). J. Math. Univ. Tokushima , 18:57–101, 1984

    work page 1984

  21. [21]

    Y. Ito. Theory of (vector valued) Fourier hyperfunctio ns. Their realization as boundary values of (vector valued) slowly increasing holom orphic functions, (II). J. Math. Univ. Tokushima , 19:25–61, 1985

    work page 1985

  22. [22]

    Y. Ito. Fourier hyperfunctions of general type. J. Math. Kyoto Univ. , 28(2):213–265, 1988

    work page 1988

  23. [23]

    Y. Ito. Theory of (vector valued) Fourier hyperfunctio ns. Their realization as boundary values of (vector valued) slowly increasing holom orphic functions, (III). J. Math. Univ. Tokushima , 23:23–38, 1989

    work page 1989

  24. [24]

    Y. Ito. Errata of „Theory of (vector valued) Fourier hyp erfunctions. Their realization as boundary values of (vector valued) slowly in creasing holomorphic functions, (III), J. Math. Tokushima Univ., 23(1989), 23–3 8“. J. Math. Univ. Tokushima, 24:23–24, 1990

    work page 1989

  25. [25]

    Y. Ito. Theory of (vector valued) Fourier hyperfunctio ns. Their realization as boundary values of (vector valued) slowly increasing hol omorphic functions (IV). J. Math. Univ. Tokushima , 24:13–21, 1990

    work page 1990

  26. [26]

    Y. Ito. Theory of (vector valued) Fourier hyperfunctio ns. Their realization as boundary values of (vector valued) slowly increasing holom orphic functions, (V). J. Math. Univ. Tokushima , 26:39–50, 1992

    work page 1992

  27. [27]

    Y. Ito. Vector valued Fourier hyperfunctions. J. Math. Kyoto Univ. , 32(2):259– 285, 1992

    work page 1992

  28. [28]

    Y. Ito. Sato hyperfunctions valued in a locally convex s pace. J. Math. Univ. Tokushima, 32:27–41, 1998

    work page 1998

  29. [29]

    Y. Ito. Theory of general Fourier hyperfunctions. J. Math. Univ. Tokushima , 36:7–34, 2002

    work page 2002

  30. [30]

    Ito and S

    Y. Ito and S. Nagamachi. Theory of H-valued Fourier hype rfunctions. J. Math. Univ. Tokushima, 9:1–33, 1975

    work page 1975

  31. [31]

    Ito and S

    Y. Ito and S. Nagamachi. Theory of H-valued Fourier hype rfunctions. Proc. Japan Acad. Ser. A Math. Sci , 51(7):558–561, 1975

    work page 1975

  32. [32]

    H. Jarchow. Locally convex spaces . Mathematische Leitfäden. Teubner, Stuttgart, 1981

    work page 1981

  33. [33]

    K. Junker. Vektorwertige Fourierhyperfunktionen und ein Satz vom Bochner- Schwartz-Typ. PhD thesis, Universität Düsseldorf, Düsseldorf, 1979

    work page 1979

  34. [34]

    W. Kaballo. Aufbaukurs Funktionalanalysis und Operatortheorie . Springer, Berlin, 2014

    work page 2014

  35. [35]

    A. Kaneko. Introduction to hyperfunctions . Mathematics and its applications. Kluwer, Dordrecht, 1988

    work page 1988

  36. [36]

    T. Kawai. On the theory of Fourier hyperfunctions and it s applications to partial differential equations with constant coefficients. J. Fac. Sci. Univ. Tokyo, Sect. IA , 17:467–517, 1970

    work page 1970

  37. [37]

    Kawai and T

    T. Kawai and T. Matsuzawa. On the boundary value of a solu tion of the heat equation. Publ. RIMS, Kyoto Univ. , 25:491–498, 1989

    work page 1989

  38. [38]

    K. W. Kim, S.-Y. Chung, and D. Kim. Fourier hyperfunctio ns as the boundary values of smooth solutions of heat equations. Publ. RIMS, Kyoto Univ. , 29:289– 300, 1993

    work page 1993

  39. [39]

    H. Komatsu. Hyperfunctions and linear partial differen tial equations. In Hyper- functions and pseudo-differential equations (Proc., Katat a, 1971) [40], pages 180–191. FOURIER HYPERFUNCTIONS 49

    work page 1971

  40. [40]

    Komatsu, editor

    H. Komatsu, editor. Hyperfunctions and pseudo-differential equations (Proc., Katata, 1971) , Lecture Notes in Math. 287, Berlin, 1973. Springer

    work page 1971

  41. [41]

    H. Komatsu. Laplace transforms of hyperfunctions - A ne w foundation of the Heaviside calculus. J. Fac. Sci. Univ. Tokyo, Sect. IA , 34:805–820, 1987

    work page 1987

  42. [42]

    H. Komatsu. Operational calculus, hyperfunctions and ultradistributions. In M. Kashiwara and T. Kawai, editors, Algebraic Analysis, Vol. 1 , chapter 28, pages 357–372. Academic Press, San Diego, 1988

    work page 1988

  43. [43]

    H. Komatsu. Operational calculus and semi-groups of op erators. In H. Ko- matsu, editor, Functional analysis and related topics (Proc., Kyoto, 1991 ), Lecture Notes in Math. 1540, pages 213–234, Berlin, 1993. Sp ringer

    work page 1991

  44. [44]

    H. Komatsu. Solution of differential equations by means of Laplace hyper- functions. In M. Morimoto and T. Kawai, editors, Structure of solutions of diffential equations (Proc., Katata/Kyoto, 1995) , pages 227–252, River Edge, N. J., 1996. World Scientific

    work page 1995

  45. [45]

    G. Köthe. Topological vector spaces I. Grundlehren Math. Wiss. 159. Springer, Berlin, 1969

    work page 1969

  46. [46]

    K. Kruse. Vector-valued Fourier hyperfunctions. PhD thesis, Universität Old- enburg, Oldenburg, 2014

    work page 2014

  47. [47]

    K. Kruse. Weighted vector-valued functions and the ε-product, 2017. arxiv preprint https://arxiv.org/abs/1712.01613

    work page arXiv 2017

  48. [48]

    K. Kruse. The approximation property for weighted spac es of differentiable functions, 2018. arxiv preprint https://arxiv.org/abs/1806.02926, to ap- pear in: Proceedings of the conference „Function spaces XII “ (Krakow, 9-14 July 2018), Banach Center Publications 119, M. Kosek (ed.), IMPAN

    work page arXiv 2018

  49. [49]

    K. Kruse. Extension of vector-valued functions and seq uence space represen- tation, 2018. arxiv preprint https://arxiv.org/abs/1808.05182

    work page arXiv 2018

  50. [50]

    K. Kruse. On the nuclearity of weighted spaces of smooth functions, 2018. arxiv preprint https://arxiv.org/abs/1809.06457, to appear in Ann. Polon. Math

    work page arXiv 2018

  51. [51]

    K. Kruse. Series representations in spaces of vector-v alued functions via Schauder decompositions, 2018. arxiv prepri nt https://arxiv.org/abs/1806.01889

    work page arXiv 2018

  52. [52]

    K. Kruse. Surjectivity of the ∂-operator between spaces of weighted smooth vector-valued functions, 2018. arxiv prep rint https://arxiv.org/abs/1810.05069

    work page arXiv 2018

  53. [53]

    K. Kruse. Folklore on vector-valued holomorphic funct ions in several variables,

    work page

  54. [54]

    arxiv preprint https://arxiv.org/abs/1910.13033

    work page arXiv 1910

  55. [55]

    K. Kruse. The inhomogeneous Cauchy-Riemann equation f or weighted smooth vector-valued functions on strips with holes, 2019. arxiv preprint https://arxiv.org/abs/1901.02093

    work page arXiv 2019

  56. [56]

    K. Kruse. Parameter dependence of solutions of the Cauc hy-Riemann equation on spaces of weighted smooth functions, 2019. arxi v preprint https://arxiv.org/abs/1901.01235

    work page arXiv 2019

  57. [57]

    R. Kultze. Garbentheorie. Mathematische Leifäden. Teubner, Stuttgart, 1970

    work page 1970

  58. [58]

    Langenbruch

    M. Langenbruch. Randverteilungen von Nullösungen hyp oelliptischer Differ- entialgleichungen. Manuscripta Math. , 26:17–35, 1978

    work page 1978

  59. [59]

    Martineau

    A. Martineau. Les hyperfonctions de M. Sato. Sém. Bourbaki , (6):127–139, 1960/1961

    work page 1960

  60. [60]

    Matsuzawa

    T. Matsuzawa. A calculus approach to hyperfunctions I. Nagoya Math. J. , 108:53–66, 1987

    work page 1987

  61. [61]

    Matsuzawa

    T. Matsuzawa. A calculus approach to hyperfunctions II . Trans. Amer. Math. Soc., 313(2):619–654, 1989. 50 K. KRUSE

    work page 1989

  62. [62]

    Matsuzawa

    T. Matsuzawa. A calculus approach to hyperfunctions II I. Nagoya Math. J. , 118:133–153, 1990

    work page 1990

  63. [63]

    Meise and D

    R. Meise and D. Vogt. Introduction to functional analysis . Clarendon Press, Oxford, 1997

    work page 1997

  64. [64]

    Morimoto

    M. Morimoto. Analytic functionals with non-compact ca rrier. Tokyo J. Math. , 1(1):77–103, 1978

    work page 1978

  65. [65]

    Morimoto

    M. Morimoto. An introduction to Sato’s hyperfunctions . Transl. Math. Monogr

    work page

  66. [66]

    AMS, Providence, 1992

    work page 1992

  67. [67]

    Mugibayashi and S

    N. Mugibayashi and S. Nagamachi. Hyperfunction quantu m field theory. Comm. Math. Phys. , 46(2):119–134, 1976

    work page 1976

  68. [68]

    Mugibayashi and S

    N. Mugibayashi and S. Nagamachi. Hyperfunction quantu m field theory II. Euclidean Green’s functions. Comm. Math. Phys. , 49(3):257–275, 1976

    work page 1976

  69. [69]

    S. ¯Ouchi. On abstract Cauchy problems in the sense of hyperfunc tion. In Komatsu [40], pages 135–152

    work page

  70. [70]

    S. ¯Ouchi. Semi-groups of operators in locally convex spaces. J. Math. Soc. Japan, 25(2):265–276, 1973

    work page 1973

  71. [71]

    M. Sato. Theory of hyperfunctions. S¯ ugaku, 10:1–27, 1958. [In Japanese]

    work page 1958

  72. [72]

    M. Sato. Theory of hyperfunctions, I. J. Fac. Sci. Univ. Tokyo, Sect. IA , 8:139–193, 1959

    work page 1959

  73. [73]

    M. Sato. Theory of hyperfunctions, II. J. Fac. Sci. Univ. Tokyo, Sect. IA , 8:387–437, 1960

    work page 1960

  74. [74]

    Schapira

    P. Schapira. Théorie des hyperfonctions. Lecture Notes in Math. 126. Springer, Berlin, 1970

    work page 1970

  75. [75]

    Schwartz

    L. Schwartz. Théorie des distributions à valeurs vecto rielles. I. Ann. Inst. Fourier (Grenoble), 7:1–142, 1957

    work page 1957

  76. [76]

    Sebastião e Silva

    J. Sebastião e Silva. As funções analíticas e a análise f uncional. Port. Math. , 9(1–2):1–130, 1950

    work page 1950

  77. [77]

    Stanković

    B. Stanković. Hyperfunctions. Zb. Rad. (Beogr.) , 7(15):71–110, 1997

    work page 1997

  78. [78]

    H. G. Tillmann. Dualität in der Funktionentheorie auf R iemannschen Flächen. J. Reine Angew. Math. , 195:76–101, 1955

    work page 1955

  79. [79]

    F. Trèves. Topological vector spaces, distributions and kernels . Dover, Mineola, N.Y., 2006

    work page 2006

  80. [80]

    D. Vogt. On the solvability of P ( D) f = g for vector valued functions. In H. Komatsu, editor, Generalized functions and linear differential equations 8 (Proc., Kyoto, 1982) , volume 508 of RIMS Kôkyûroku , pages 168–181, Kyoto,

    work page 1982

Showing first 80 references.