Mixed-Fourier-norm spaces and holomorphic functions

Alexey Karapetyants; Zhirayr Avetisyan

Mixed-Fourier-norm spaces and holomorphic functions

T0 review · 0 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A single Fourier profile decides holomorphic function spaces on domains with free Abelian group actions.

desk verdict A clean and honest framework paper whose central Fourier-characterization theorem is correct; the promised unification of the three disc geometries is real at the framework level but the parabolic and hyperbolic examples remain sketches. read the letter →

arxiv 2411.15379 v2 pith:ICP7KYJS submitted 2024-11-22 math.FA

Zhirayr Avetisyan , Alexey Karapetyants This is my paper · ORCID

classification math.FA MSC 30H2046E3046E15

keywords mixed-Fourier-normspaceshalf-FouriertransformholomorphicfunctionsPaley-WienertheoremAbelianLiegroupstempereddistributionsBergmanunitdiscgeometries

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a single Fourier-side description for function spaces on domains $G\times Y$ carrying a free action of an Abelian Lie group $G$. Its central claim is that a distribution is holomorphic exactly when its half-Fourier transform factorizes as $\hat{u}(\xi,y)=e^{-2\pi\langle\xi,y\rangle}\hat{u}_0(\xi)$, so membership of a holomorphic function in a mixed-Fourier-norm space reduces to one weighted condition on the profile $\hat{u}_0$ on the dual group. The authors prove this as an isometric isomorphism from the holomorphic subspace to a weighted Banach-type space $\Xi(\hat G,\rho)$, and derive Paley-Wiener support and boundedness properties from the weight. In general the mixed-Fourier-norm space is only a topological cone, becoming a normed space under lattice-type assumptions, with completeness settled only partially. The payoff is a unified treatment of the elliptic, parabolic, and hyperbolic models of the unit disc, previously handled by separate arguments.

What carries the argument

The carrying mechanism is the half-Fourier transform $F$ in the $G$-variable, defined on $D(G\times Y)=\mathcal S(G)\hat\otimes C_c^\infty(Y)$ and extended by duality to $G$-tempered distributions. Under the product complex structure, the Cauchy-Riemann operator becomes $\partial_x+i\partial_y$, and Proposition 4 shows that the CR equations are equivalent to $\partial_{y_i}(e^{2\pi\langle\xi,y\rangle}\hat u)=0$, forcing the factorization $\hat u(\xi,y)=e^{-2\pi\langle\xi,y\rangle}\hat u_0(\xi)$. The mixed-Fourier-norm space $X(G\times Y)$ is the Fourier preimage of $\Xi(\hat G,\mathcal Y(Y))$, the space of maps $\xi\mapsto\hat u(\xi,\cdot)$ whose $\mathcal Y(Y)$-norm lies in $\Xi(\hat G)$; the weight $\rho(\xi)=\|e^{-2\pi\langle\cdot,\xi\rangle}\|_{\mathcal Y(Y)}$ turns the factorization into the membership condition $|\hat u_0|\rho\in\Xi(\hat G)$. Proposition 6 asserts that $F_0:AX(G\times Y)\to\Xi(\hat G,\rho)$ is an isometry, and Propositions 7 and 8 convert the growth of the weight into Paley-Wiener support and boundedness.

What would settle it

In the parabolic half-plane model with $\mathcal Y(Y)=L^p(\mathbb R_+,\nu_\lambda)$ and $\Xi(\hat G)=L^q(\mathbb R)$, take $\hat u_0(\xi)=e^{-\pi(\xi-\xi_0)^2}$ for some $\xi_0>0$ and compute both sides of the claimed isometry $\|F^{-1}(e^{-2\pi\langle\xi,y\rangle}\hat u_0(\xi))\|_{L_{q;X}(\Pi)}=\bigl(\int|\hat u_0(\xi)|^q\rho(\xi)^q\,d\xi\bigr)^{1/q}$ using the paper's explicit formula for $\rho$; any mismatch for some $p,q,\lambda$ would refute Proposition 6.

Watch

Extended reading notes

Core claim

On $G\times Y$, with $Y\subset\mathbb R^n$ supplying the imaginary directions, the half-Fourier transform converts the Cauchy-Riemann equations $\bar\partial_{z_i}u=0$ into $e^{2\pi\langle\xi,y\rangle}\hat u$ being independent of $y$. Consequently every $G$-tempered holomorphic distribution has Fourier transform $\hat u(\xi,y)=e^{-2\pi\langle\xi,y\rangle}\hat u_0(\xi)$ for a unique distribution $\hat u_0$ on $\hat G$, and this correspondence is a bijection between the intersection of the kernels of $\bar\partial_{z_i}$ and the class $e^{-2\pi\langle\cdot,\cdot\rangle}\cdot C_c^\infty(\hat G)'$. Within the mixed-Fourier-norm space $X(G\times Y)=F^{-1}(\Xi(\hat G,\mathcal Y(Y)))$, the holomorphic subspace $AX(G\times Y)$ therefore consists exactly of those $u$ whose $\hat u_0$ satisfies $|\hat u_0|\rho\in\Xi(\hat G)$, where $\rho(\xi)=\|e^{-2\pi\langle\cdot,\xi\rangle}\|_{\mathcal Y(Y)}$; Proposition 6 makes $u\mapsto\hat u_0$ an isometry, and under a Bochner-measurability assumption an isometric isomorphism onto $\Xi(\hat G,\rho)$. The same factorization yields the support property $\operatorname{supp}\hat u_0\subset\hat G_+$ and the boundedness property that allows extension from $G\times Y$ back to the original domain by the classical holomorphic extension theorem.

Load-bearing premise

The argument assumes the domain is globally a product $G\times Y$ with $Y\subset\mathbb R^n$ and that the target domain $\Omega$ admits a bi-holomorphism $\Phi:G\times Y\to\Omega$ onto an open dense subset; if the free Abelian group action has no global slice, the factorization and Paley-Wiener conclusions are not established.

Editorial extensions

If this is right

For a holomorphic function in a mixed-Fourier-norm space, the whole membership question collapses to one scalar condition: $|\hat u_0|\rho$ must lie in $\Xi(\hat G)$.
Whenever the map $\xi\mapsto e^{-2\pi\langle\cdot,\xi\rangle}/\rho(\xi)$ is Bochner-measurable into $\mathcal Y(Y)$, the Fourier transform is an isometric isomorphism onto $\Xi(\hat G,\rho)$, and completeness of the latter makes $AX(G\times Y)$ complete.
In the elliptic disc model with $\Xi(\hat G)=\ell^q$ and $\mathcal Y(Y)=X((0,1))$, the support property gives the description $A_{q;X}(\mathbb D)=\{f\in\operatorname{Hol}(\mathbb D):\{\hat f_\xi\}_{\xi\ge 0}\subset X((0,1)),\ \|f\|<\infty\}$, with the classical extension theorem supplying values at the puncture.
The parabolic and hyperbolic half-plane models fit the same construction, with explicit weights $\rho$ for $\mathcal Y(Y)=L^p$: a power law that is $+\infty$ on $\xi\le 0$ in the parabolic case, and a Gamma-function weight in the hyperbolic strip.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A testable extension is a bundle-valued version of Proposition 6: the paper's global product assumption $G\times Y$ is exactly where a nontrivial free Abelian action would break the factorization, and the authors do not show how the spaces glue across charts.
Because the construction defines spaces directly on the Fourier side instead of through square integrability, it offers a route to Bergman-type spaces when the Parseval identity is unavailable; the cost is that $\Xi(\hat G,\mathcal Y(Y))$ is only shown closed under convergence in measure in general.
The Bochner-measurability hypothesis in Proposition 6(2) is the natural place to test the boundary between isometry and full isomorphism; checking it for Orlicz or Morrey-type $\mathcal Y(Y)$ spaces would likely produce examples where surjectivity fails.
The explicit weights $\rho$ computed for $L^p$ spaces make the support and boundedness conclusions quantitatively checkable, potentially yielding new endpoint cases in weighted Bergman space theory.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

Read this one. The core is a genuine generalization: instead of the disc with Fourier coefficients, the authors set up mixed-Fourier-norm spaces on G×Y for any connected Abelian Lie group G, with half-Fourier transform, and characterize the holomorphic subspace via the Cauchy–Riemann equations. Proposition 4 is the clean result: a G-tempered distribution satisfies CR iff its half-Fourier transform factorizes as e^{-2π⟨y,ξ⟩} û_0(ξ). The proof is self-contained, and the transpose bookkeeping is measure-invariant; I checked the step where ∂_y^μ(a w)=a ∂_y w, and it holds. Proposition 6 turns that into an isometry onto a weighted space on the dual group, with surjectivity conditional on an explicit Bochner-measurability hypothesis. The paper is honest about what is not settled: completeness of the general spaces is left open, and the global-trivialization assumption (G×Y rather than a non-trivial bundle) is stated plainly.

What it does well: it gives a unified language for the elliptic, parabolic, and hyperbolic Bergman-type spaces; the elliptic example reproduces known results (a feature, not a bug); and the technical assumptions (uniform embeddings, lattice properties) are explicit rather than hidden. The examples for parabolic and hyperbolic are, however, sketches—the authors say the details will appear elsewhere. So the claimed unification is real at the level of framework, but the two non-elliptic cases are not yet fully worked out. That is the main soft spot, and it is a small one relative to the central theorem.

Minor points: a couple of typos ('comleteness', 'Bargman') suggest a final proofread, and the norm on the Fourier side is to some extent chosen to make the isometry work, but the holomorphic characterization is substantive.

Verdict: worth a serious referee. The central result is correct and the limitations are acknowledged. I would send it to review, and ask the authors to either complete or more clearly delimit the parabolic and hyperbolic examples in the next version.

Referee Report

0 major / 5 minor

Summary. The paper develops a general functional-analytic framework for mixed-Fourier-norm spaces on trivial principal bundles G×Y, where G is a connected Abelian Lie group and Y⊂R^n. The main objects are the G-tempered distributions D(G×Y)'=S(G)'\hat⊗C_c^∞(Y)', the half-Fourier transform, and the spaces Ξ(Ĝ,Y(Y)) and X(G×Y) defined by requiring the Fourier image to take values in a Banach space Y(Y) with norm in Ξ(Ĝ). The central results are Proposition 4/Corollary 4, which characterize holomorphic G-tempered distributions by the factorization \hat u(ξ,y)=e^{-2π⟨y,ξ⟩}\hat u_0(ξ), and Proposition 6, which identifies the holomorphic subspace A_X(G×Y) isometrically with the weighted space Ξ(Ĝ,ρ), with an explicit Bochner-measurability hypothesis for surjectivity. Section 7 derives conditional Paley-Wiener support and boundedness properties, and Section 8 sketches the elliptic, parabolic, and hyperbolic models of the unit disc and half-plane.

Significance. The framework is substantial and mostly self-contained, and the central derivation is sound: Proposition 4 cleanly converts the Cauchy-Riemann equations, after half-Fourier transform and the appropriate measure transpose, into ∂_y(e^{2π⟨y,ξ⟩}\hat u)=0, yielding the factorization. I checked the transpose bookkeeping and found it measure-consistent, and the norm identity in Proposition 6 is not circular because the holomorphic characterization is independent of the weighted norm definition. The paper is honest about its technical hypotheses: the trivialization of the domain as G×Y, the lattice/uniform-embedding assumptions, the open completeness questions, and the conditional surjectivity in Proposition 6 are all stated explicitly. The main limitation is scope: the theory is developed only on the product G×Y with a global complex slice, and Section 7's transfer to a general domain Ω is a collection of examples rather than a general theorem. This is a stated restriction, not a hidden error.

minor comments (5)

[§8.2] The displayed formula for ρ in the parabolic example with X=L^p(R_+,ν_λ) appears to have an incorrect constant: for λ=0 the weight reduces to Lebesgue measure and ρ(ξ)=‖e^{-2πξ y}‖_{L^p(R_+)}=(2πξ p)^{-1/p} for ξ>0, whereas the formula as written gives ξ^{-1/p}. The membership conclusions are unaffected, but the explicit constant should be corrected.
[§8.3] The strip is first described as Γ=R×(0,π), but a few lines later the text says y∈(0,2π)=Y, while the measure and all subsequent formulas use Y=(0,π). Please resolve the inconsistency.
[§8.3] There are several typographical errors in this section, including 'comleteness' for 'completeness' and 'Bargman' for 'Bergman'; these should be corrected in the final version.
[§7 and Introduction] The paper would benefit from stating more prominently in the introduction that the analysis requires a global trivialization G×Y and that nontrivial bundles, or domains without a global slice for the G-action, are not covered by the general framework; Section 7 only illustrates how the product case embeds into examples.
[§4, Proposition 3] The proof of Proposition 3 invokes a 'slight modification' of Theorem 2.30 in [1] for the completeness of L^0(Ĝ,Y(Y)); since this is a partial result, this is acceptable, but a precise reference or a brief indication of the modification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Fourier characterization is self-contained; the weighted isometry is an explicit definition-level identity, not a disguised fit.

full rationale

The paper's central derivation chain is internally consistent and does not reduce to its own inputs. Proposition 4 proves the Cauchy-Riemann factorization û = e^{-2π<·,·>}û0 by a direct transpose computation, using standard external tools (Hörmander's wavefront theorem and Hartog's theorem); no conclusion is imported from the authors' earlier work. In Proposition 6, the target space Ξ(Ĝ,ρ) is explicitly defined via ρ(ξ)=‖e^{-2π<·,ξ>}‖_Y, so the norm identity ‖u‖=‖|û0|ρ‖_Ξ is visibly a definition-level computation once the factorization and Lemma 9 are available. Lemma 9 itself contains the nontrivial step of extracting û0∈L1_loc(Ĝ) from Bochner membership of e^{-2π<·,·>}û0 in L1_loc(Ĝ,Y(Y)), so the theorem is not vacuous. Surjectivity in Proposition 6 is explicitly conditional on a Bochner-measurability hypothesis, and the Paley-Wiener-type statements in Section 7 are proved as consequences of explicitly stated sufficient conditions on ρ rather than assumed. The self-citations [7-13] are motivational and contextual; the only cited result used in an example, Theorem 3.1 in [8] for completeness in Section 8.1, is not load-bearing for the general framework. No fitted parameters, no imported uniqueness theorem, and no ansatz smuggled in via self-citation appear. Accordingly, the derivation is self-contained and the apparent 'by construction' character of the weighted isometry is an honest definitional characterization, not circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard distribution theory plus explicit structural assumptions on G, Y, and the Banach spaces. No free parameters are fitted, and no unverified entities are introduced; the new spaces are definitions. The load-bearing hypotheses are the global product structure and the uniform embedding.

assumptions (6)

domain assumption G is a finite product of R, T, Z factors with Haar measure
Section 1; needed for Schwartz-Bruhat space and explicit Fourier transform.
domain assumption Y is a connected manifold, later Y⊂R^n so G×Y = G+iY
Section 5; provides the complex structure and analytic bi-character.
domain assumption ν (and hence µ) is given by a smooth non-vanishing positive density
Section 3; needed for transposes and identification of L^1_loc with distributions.
domain assumption The Banach space Y(Y) satisfies the uniform embedding (11)
Used in Lemma 5, Proposition 6, etc.; if false, the embedding into D' is not continuous.
standard math Hörmander's wavefront theorem and Hartog's theorem
Lemma 7; converts distributional CR equations into holomorphy.
standard math Plancherel theorem and Schwartz-Bruhat isomorphism F: S(G)→S(Ĝ)
Section 1; basis of half-Fourier transform on D(G×Y).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Mixed-Fourier-norm spaces and holomorphic functions." pith.science (2026). https://pith.science/paper/ICP7KYJS

@misc{pith2026241115379,
  author       = {Pith},
  title        = {Pith review of: Mixed-Fourier-norm spaces and holomorphic functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ICP7KYJS}},
  note         = {Machine review of arXiv:2411.15379}
}

abstract

We describe a general framework of functional and Fourier analysis on domains with a free action of an Abelian Lie group $G$. Namely, on a domain of the form $G\times Y$ we introduce the appropriate spaces of distributions and measurable functions, establishing their most basic properties. Then we consider the half-Fourier transform $f(x,y)\mapsto\hat f(\xi,y)$ in the first variable, and discuss the behaviour of function spaces on $G\times Y$ and $\hat G\times Y$ under this transform. We introduce general mixed-Fourier-norm spaces on $G\times Y$, and the subspaces of holomorphic functions among them, and give an explicit descriptions of the Fourier images of these spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 17 canonical work pages

[1]

G. Folland. Real Analysis: Modern techniques and their applications . John Wiley & Sons, 1999, 2nd edition

work page 1999
[2]

S. M. Grudsky, A. N. Karapetyants, N. L. Vasilevski. Toeplitz operators on the unit ball in Cn with radial symbols . J. Operator Theory 49(2), 325-346 (2003)

work page 2003
[3]

S. M. Grudsky, A. N. Karapetyants, N. L. Vasilevski. Dynamics of properties of Toeplitz oper- ators with radial symbols . Integral Equations Operator Theory 50(2), 217-253 (2004)

work page 2004
[4]

S. M. Grudsky, A.N. Karapetyants, N.L. Vasilevski. Dynamics of properties of Toeplitz opera- tors on the upper half plane: hyperbolic case Bol. Soc. Mat. Mexicana (3), (2004), Vol. 10, No 1, pp. 119 – 138

work page 2004
[5]

Grudsky, A.N

S.M. Grudsky, A.N. Karapetyants, N.L. Vasilevski. Dynamics of properties of Toeplitz operators on the upper half plane: parabolic case J. Operator Theory. Vol. 52, No 1, (2004), pp. 185 – 214

work page 2004
[6]

H¨ ormander

L. H¨ ormander. The Analysis of Linear Partial Diﬀerential Equations I: Dis tribution Theory . Springer-Verlag, 1990

work page 1990
[7]

A. N. Karapetyants, S.G. Samko. On mixed norm Bergman–Orlicz–Morrey spaces . Georgian Mathematical Journal, (2018) Volume 25, Issue 2, Pages 271–282. https://doi.org/10.1515/gmj-2018-0027 MIXED-FOURIER-NORM SPACES AND HOLOMORPHIC FUNCTIONS 59

work page doi:10.1515/gmj-2018-0027 2018
[8]

Karapetyants, S

A. Karapetyants, S. Samko. Mixed norm spaces of analytic functions as spaces of general ized fractional derivatives of functions in Hardy type spaces . Fract. Calc. Appl. Anal. no. 5 (2017), 1106-1130

work page 2017

Show all 18 references

[9]

Karapetyants, S

A. Karapetyants, S. Samko. Mixed norm Bergman-Morrey type spaces on the unit disc . Math. Notes, Volume 100, Issue 1, pp 38–48 (2016). ISSN: 0001-4346. translated from Matematich- eskie Zametki, 2016, Vol. 100, No. 1, pp. 47–57

2016
[10]

Karapetyants, S

A. Karapetyants, S. Samko. Mixed norm variable exponent Bergman space on the unit disc . Complex Variables and Elliptic Equations. Volume 61, Issue 8, pages 10 90-1106 (2016)

2016
[12]

Karapetyants, I

A. Karapetyants, I. Smirnova. Characterization of Weighted Mixed Norm Spaces of Analytic Functions Deﬁned in Terms of Conditions on Fourier Coeﬃcien ts. Russ Math. 66, 46–52 (2022). https://doi.org/10.3103/S1066369X22010042

2022 doi
[13]

Karapetyants

A. Karapetyants. On mixed norm holomorphic grand and small spaces . Complex Variables and Elliptic Equations 67(3), (2021), 633–641. https://doi.org/10.1080/17476933.2021.1947260

2021
[14]

J. Larcher. Multiplications and convolutions in L. Schwartz’ spaces of test functions and dis- tributions and their continuity . Analysis 33, 2013, Pages 319-332

2013
[15]

M. Osborne. On the Schwartz-Bruhat Space and the Paley-Wiener Theorem f or Locally Com- pact Abelian Groups . J. Func. Anal. 19, 1975, Pages 40-49

1975
[16]

Schwartz

L. Schwartz. Th´ eorie des Distributions. Herrmann, Paris, 1978

1978
[17]

A. Solecki. Finite atlases on manifolds . Ann. Soc. Math. Pol. Ser I: Comment. Math. XVII, 1974, Pages 461-473

1974
[18]

S. M. Grudsky, A. N. Karapetyants, N. L. Vasilevski. Dynamics of properties of Toeplitz oper- ators in the weighted Bergman spaces . Siberian Electronic Mathematical Reports. 3, 362-383 (2006)

2006
[19]

N. L. Vasilevski. Commutative Algebras of Toeplitz Operators on the Bergman S pace. Operator Theory: Advances and Applications, Vol.185, (2008). 60 ZHIRAYR A VETISYAN AND ALEXEY KARAPETYANTS Department of Mathematics: Analysis, Logic and Discrete Ma thematics, Ghent University...

2008

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

G. Folland. Real Analysis: Modern techniques and their applications . John Wiley & Sons, 1999, 2nd edition

work page 1999

[2] [2]

S. M. Grudsky, A. N. Karapetyants, N. L. Vasilevski. Toeplitz operators on the unit ball in Cn with radial symbols . J. Operator Theory 49(2), 325-346 (2003)

work page 2003

[3] [3]

S. M. Grudsky, A. N. Karapetyants, N. L. Vasilevski. Dynamics of properties of Toeplitz oper- ators with radial symbols . Integral Equations Operator Theory 50(2), 217-253 (2004)

work page 2004

[4] [4]

S. M. Grudsky, A.N. Karapetyants, N.L. Vasilevski. Dynamics of properties of Toeplitz opera- tors on the upper half plane: hyperbolic case Bol. Soc. Mat. Mexicana (3), (2004), Vol. 10, No 1, pp. 119 – 138

work page 2004

[5] [5]

Grudsky, A.N

S.M. Grudsky, A.N. Karapetyants, N.L. Vasilevski. Dynamics of properties of Toeplitz operators on the upper half plane: parabolic case J. Operator Theory. Vol. 52, No 1, (2004), pp. 185 – 214

work page 2004

[6] [6]

H¨ ormander

L. H¨ ormander. The Analysis of Linear Partial Diﬀerential Equations I: Dis tribution Theory . Springer-Verlag, 1990

work page 1990

[7] [7]

A. N. Karapetyants, S.G. Samko. On mixed norm Bergman–Orlicz–Morrey spaces . Georgian Mathematical Journal, (2018) Volume 25, Issue 2, Pages 271–282. https://doi.org/10.1515/gmj-2018-0027 MIXED-FOURIER-NORM SPACES AND HOLOMORPHIC FUNCTIONS 59

work page doi:10.1515/gmj-2018-0027 2018

[8] [8]

Karapetyants, S

A. Karapetyants, S. Samko. Mixed norm spaces of analytic functions as spaces of general ized fractional derivatives of functions in Hardy type spaces . Fract. Calc. Appl. Anal. no. 5 (2017), 1106-1130

work page 2017