Zygmund type spaces of harmonic functions on the real unit ball

2026-07-12T10:56:30Z

In this paper, we obtain several characterizations of harmonic Zygmund type spaces on the real unit ball $\mathbb{B}$ of $\mathbb{R}^n$. First, we characterize the harmonic Zygmund space $\mathcal{HZ}^α$ ($0<α\leq2$) in terms of Zygmund type conditions. Our result extends Theorem 3.4 of [M. Aljuaid and F. Colonna, On the harmonic Zygmund spaces, Bull. Aust. Math. Soc. 101 (2020), 466--476.] to the setting of the real unit ball $\mathbb{B}$. Second, we establish an analogue of the Holland-Walsh characterization of the harmonic Zygmund space $\mathcal{HZ}$. Finally, an integral characterization of $\mathcal{HZ}^α$ is also discussed. All obtained results can be viewed as counterparts of the known results for Bloch spaces.

A Second Main Theorem for Non-Constant Holomorphic Curves Intersecting a Fermat-Type Curve

2026-07-12T09:35:16Z

In this paper, we prove a Second Main Theorem type inequality for holomorphic curves into the complex projective plane intersecting a Fermat-type curve.

Slow-growing counterexamples to the strong Eremenko conjecture

2026-07-12T08:07:18Z

Let $f\colon\mathbb{C}\to\mathbb{C}$ be a transcendental entire function. In 1989, Eremenko asked the following question concerning the set $I(f)$ of points that tend to infinity under iteration: can every point of $I(f)$ be joined to $\infty$ by a curve in $I(f)$? This is known as the \emph{strong Eremenko conjecture} and was disproved in 2011 by Rottenfußer, Rückert, Rempe and Schleicher by the construction of a counterexample. The function has relatively small infinite order: it can be chosen such that $\log \log \,\lvert f(z)\rvert = (\log \lvert z\rvert)^{1+o(1)}$ as $f(z)\to \infty$. Moreover, $f$ belongs to the \emph{Eremenko--Lyubich class $\mathcal{B}$}. When a function belongs to this class, we can study the function via a \textit{logarithmic change of coordinates}. In this frame of coordinates, we are able to study the function via the \textit{tracts} that arise which are Jordan domains with unbounded real part. The key feature of the tracts in the counterexample of Rottenfu{ß}er et al is that of large \textit{wiggling} sections. In this article we adapt the tracts used by Benitez and Rempe in order to deduce the existence of counterexample functions $f \in \mathcal{B}$ satisfying certain growth properties. We consider how slowly such an $f$ may grow. Suppose that $Θ\colon [t_0,\infty)\to [0,\infty)$ is a function such that $Θ(t) \to 0$ and \[ (\log t)^{Θ(\log t)}Θ(t) \to \infty \quad\text{ as $t\to \infty$} \] along with a certain regularity assumption. Then there exists a counterexample $f\in\mathcal{B}$ as above such that \[ \log \log \lvert f(z)\rvert = O\bigl( (\log \lvert z \rvert)^{1 + Θ(\log\lvert z \rvert )}\bigr) \quad\text{as $f(z) \to\infty$}. \] The hypotheses are satisfied, in particular, for $Θ(t) = 1/(\log \log t)^α$, for any $α>0$.

A Koszul complex in quaternionic analysis and its applications

2026-07-11T14:36:59Z

Let $n\geqslant 1, Ω\subset\mathbb{H}^n $ be a domain. We construct a Koszul-type complex for the ideal sheaf $\mathcal{I}_X^{(k)}$ of $k$-regular functions vanishing on $X=\{(q_0, q_1, \cdots, q_{n-1})\in Ω: q_0=0\}$ in several quaternionic variables: $$0\to \mathcal{R}^{(k+2)}\xrightarrow{\widetilde{\mathscr{L}}^{(k)}} \mathcal{R}^{(k+1)}\oplus\mathcal{R}^{(k+1)}\xrightarrow{\mathscr{L}^{(k)}} \mathcal{I}_X^{(k)}\to 0,$$ where $k\geqslant 0$, $\mathcal{R}^{(k)}$ is the sheaf of $k$-regular functions on $Ω$, $\widetilde{\mathscr{L}}^{(k)}=(-L_1^{(k+2)},L_0^{(k+2)})^{T}$, $\mathscr{L}^{(k)}=(L_0^{(k+1)},L_1^{(k+1)})$, and $L_0^{(k)},L_1^{(k)}$ are multiplication-like operators on $k$-regular functions. This gives the quaternionic analogue of the classical Koszul complex. And we present the long exact sequence in cohomology for the case $Ω\cap\{q_0=0\}=\emptyset$ with explicit differential connecting maps, by applying the Cauchy-Fueter complex and cohomological methods. As an application, in the special case $n=1, k=1$, the operator pair $(L_0^{(1)}, L_1^{(1)})$ is shown to be surjective if and only if $H^3(Ω, \mathbb{R})=0$. Furthermore, a cohomological vanishing criterion is given for $H^1(Ω,\mathcal{I}_X^{(k)})$; under this criterion, every $k$-regular function on $\{q_0=0\}\capΩ$ extends to a $k$-regular function on $Ω$.

Right $q$-Vector Differentiation and Localized Fischer Decompositions on Radial Algebras

2026-07-11T09:55:34Z

We construct a right $q$-vector derivative on radial algebras that is intrinsic to the radial variables. A coordinatewise replacement of ordinary partial derivatives by Jackson derivatives does not preserve even the one-vector radial subalgebra, so the deformation must act on the mixed scalar invariants associated with a distinguished vector variable. After extending scalars to $\B=\R[q,q^{-1},Q,(1-q)^{-1}]$, where $Q$ records the formal dimension through the specialization $Q=q^M$, we define for every finite set $Y\subset S\setminus\{x\}$ a right $q$-vector derivative $\partial^{Y,\mathrm R}_{x,q}$ on $R_{\B}(\{x\}\cup Y)$. These operators are equivariant under relabelling and compatible with inclusions of finite sets; hence they induce a direct-limit operator on every radial algebra. Two Fischer-type results are obtained. The anticommutator with exterior creation is triangular with explicit diagonal resonance factors, and its localized inverse yields a Green decomposition by complementary projections. For full left multiplication $L_x$, the finite homogeneous operators $\partial^{Y,\mathrm R}_{x,q}L_x$ have nonzero generic determinants. Localizing by these determinants gives a right-monogenic Fischer decomposition on arbitrary radial algebras. The determinant factors are computed completely for one and two vector variables, and a support filtration reduces the general denominator problem to exact-support determinants. A degree-zero factor in even support rank produces genuine resonances for \(0

Spectral Estimates over Multiply Connected Domains

2026-07-11T04:02:57Z

We consider the quantum analogue of a disk with $n$ pairwise disjoint circular holes. We establish a uniform upper bound for the associated spectral constant that is independent of the geometry of the holes, together with a sharper asymptotic bound when the holes are well-separated. The latter generalizes recent estimates for the quantum annulus due to Crouzeix and Pascoe.

Omitted values for some subclasses of univalent mappings

2026-07-10T19:20:19Z

We study the range of $\operatorname{Re}\{a_2 f(z)\}$ for normalized analytic functions $f$ in the unit disk belonging to several classes of conformal mappings. As our main contribution, we introduce the class $CC_α$ of completely convex mappings of order $α$, defined by a uniform two-point starlikeness condition, and we estimate the range of $\operatorname{Re}\{a_2f(z)\}$ in terms of $α$, for all $f\in CC_α$ and $z\in \mathbb{D}$, generalizing the classical result of Fournier--Ma--Ruscheweyh, which is recovered for $α=0$. We also determine omitted value sets for convex functions of order $α$, spherically convex mappings, uniformly starlike functions, and Nehari classes $\mathcal{N}_t$. The proofs rely primarily on the Schwarz--Pick lemma applied to auxiliary functions constructed from the two-point kernel $zf'(z)/(f(z)-f(x))$.

Weak-type estimates for the Bergman projection on planar domains

2026-07-10T17:39:13Z

We investigate the relationship between the weak-type regularity of the Bergman projection, $Π_Ω$, of a simply connected domain $Ω\subset \mathbb{C}$ and the boundary geometry of $Ω$ in terms of a conformal map $ψ\colon\mathbb{D}\rightarrowΩ$. We show that $Π_Ω$ is of weak-type $(1,1)$ whenever $|ψ'|$ is in the Bekollé-Bonami class $B_1$, give a more general necessary condition for the weak-type $(p,p)$ bounds of $Π_Ω$ when $1\leq p<\infty$, and establish sharpened sufficient conditions for the weak-type bounds when $p>1$. Our results follow from a reformulation in terms of mixed-weighted weak-type inequalities for $Π_{\mathbb{D}}$. We provide several applications.

Dynamics of inner functions revisited

2026-07-10T15:51:06Z

We study the circle restrictions of inner functions of the unit disc showing that the local invertibility of a restriction is independent of its singularity set and proving a local characterization of analytic conditional expectations. We establish central limit properties for some stochastic processes driven by probability preserving restrictions via spectral analysis of their perturbed transfer operators.

Unbranched Riemann domains over Stein spaces and Cartier divisors

2026-07-10T15:04:44Z

It is proved that an unbranched Riemann domain $Π: X\rightarrow Y$ over an arbitrary Stein complex space of dimension $n\geq 2$ is Stein if and only if $X$ is cohomologically $2$-complete with respect to the structure sheaf ${\mathcal{O}}_{X}$ and every topologically trivial holomorphic line bundle over $X$ is associated to a Cartier divisor.

A finite-order answer to a problem of Erdős on maximum modulus points

2026-07-10T14:36:30Z

In 1964, Erdős asked whether, for a non-monomial entire function, the number of maximum modulus points on the circle $|z|=r$ can become arbitrarily large as $r\to\infty$. In 1968, Herzog and Piranian answered this question affirmatively, but without quantitative control on the resulting function. We prove that such an example can be chosen to have finite order and, moreover, to belong to the Eremenko--Lyubich class $\B$. We also prove an interpolation theorem for maximum modulus sets: prescribed points with pairwise distinct moduli can be forced to lie in the maximum modulus set of some function in $\B$, with finite order under a geometric separation condition.

A rescaling principle for quasiregular curves with applications to hyperbolicity

2026-07-10T12:30:47Z

We prove a Miniowitz--Zalcman rescaling principle for quasiregular curves into calibrated manifolds. We have two main applications. First, we introduce Brody hyperbolicity adapted to our setting and prove its equivalence to the normality of the family of quasiregular curves from the Euclidean unit ball into the target. When normality holds, we quantify the local modulus of continuity for quasiregular curves using an injectivity radius lower bound and a sectional curvature upper bound of the target. Second, in the special case of conformal curves into closed calibrated manifolds, we prove the equivalence of Kobayashi and Brody hyperbolicity. This answers a question posed by Broder--Iliashenko--Madnick. As an intermediate result, we prove an analogue of Marty's theorem from complex analysis in this setting. Additionally, we construct new examples of non-constant entire quasiregular curves factoring through a Special Lagrangian submanifold of a closed Calabi--Yau manifold, an associative submanifold of a closed $G_2$ manifold, and four-dimensional analogues thereof, providing obstructions to Brody hyperbolicity.

Vanishing theorems for pseudo-effective line bundles

2026-07-10T01:56:04Z

In the present paper, we establish a general Kawamata-Viehweg-Kollár-Nadel type vanishing theorem for higher direct images in terms of numerical dimension for closed positive currents on compact Kähler manifolds, unifying a number of important vanishing theorems.

A functional inequality related to Domar's uniform boundedness theorem

2026-07-09T17:26:57Z

We study the functional inequality \[ f(r+s)\le g(r)+αf(s) \quad(r,s>0). \] Here $g:(0,\infty)\to[0,\infty)$ is a given decreasing function, $α$ is a constant such that $0<α<1$, and the problem is to determine whether the family of decreasing functions $f:(0,\infty)\to[0,\infty)$ that satisfy this inequality is bounded above by some finite function on $(0,\infty)$ and, if so, to find bounds for this function. We present a solution to this problem, and use it to give a new proof of a theorem of Domar on the uniform boundedness of certain families of subharmonic functions, in addition obtaining explicit bounds.

Bergman Projections, Kernel $p$-Norm Estimates, and Toeplitz Operators with Békollé and Bonami weights

2026-07-09T15:59:55Z

In this paper, we establish entirely new $p$-norm estimates for reproducing kernels to characterize the bounded and compact Toeplitz operators $T_μ$ acting between weighted Békollé--Bonami Bergman spaces $A^p_u(\mathbb{D})$ and $A^q_u(\mathbb{D})$ for all positive exponents $0 < p, q < \infty$. These operator-theoretic properties are completely described in terms of generalized Berezin transforms, averaging functions, and Carleson measures. We introduce two explicit conditions on the weights to ensure the boundedness of the weighted Bergman projection $P_u$, generalizing results from Hilbert spaces to Banach spaces.Our work generalizes the main results of Tong, Li, and Arroussi \cite{TLA} from Hilbert spaces to the more general setting of Banach spaces.