Classical finite dimensional fixed point methods for generalized functions

2026-03-09T15:08:16Z

We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model nonlinear singular problems, while at the same time sharing a number of fundamental properties with ordinary smooth functions, such as the closure with respect to composition and several non trivial classical theorems of the calculus. The proved results allows one to deal with equations of the form F(x)=0, where F is a generalized smooth function, in particular, a Sobolev-Schwartz distribution. We consider examples with singularities that are not included in the classical version of these theorems.

Spectrum of Hausdorff operators on weighted Bergman and Hardy spaces of the upper half-plane

2026-03-09T14:45:13Z

We characterize the spectrum of Hausdorff operators on weighted Bergman and power weighted Hardy spaces of the upper half-plane.

Nuclear Toeplitz operators between Fock spaces

2026-03-09T13:39:30Z

We characterize the nuclearity of Toeplitz operators $T_μ: F_α^p \to F_α^q$ with Borel measure symbols for $1\leq p,q\leq \infty$. For positive measures $μ$ and $q\leq p$, we provide necessary and sufficient conditions in terms of the Berezin transform and establish a rigidity property for nuclearity across this range. In the case $p

Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability

2026-03-09T12:11:49Z

L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport maps in optimal transport theory and for stochastic processes in probability theory. Nonlinear Lebesgue spaces also arise naturally in applications such as medical imaging, where the physical signals at play often exhibit little regularity and take their values in nonlinear spaces. Yet, these spaces remain little studied in the literature, likely due to their lack of differential structure outside the case where mappings are valued in a linear space. This paper is the first in a series by the authors devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces. The present article exposes a systematic treatment of their measure-theoretic properties, unifying and refining scattered results from the literature while also extending classical results from the linear setting to this broader nonlinear framework -- including the characterizations of their completeness and their separability as well as the density of some of their subspaces: the spaces of simple, continuous and smooth mappings.

Geometric scattering for nonlinear wave equations on the Schwarzschild metric

2026-03-09T10:13:20Z

In this paper, we establish a conformal scattering theory for defocusing semilinear wave equations on Schwarzschild spacetime. We combine the energy and pointwise decay results for solutions obtained in \cite{Yang} with a Sobolev embedding on spacelike hypersurfaces to derive two-sided energy estimates between the energy flux of solutions through the Cauchy initial hypersurface $Σ_0 = \{ t = 0 \}$ and that through the null conformal boundaries $\mathfrak{H}^+ \cup \scri^+$ (respectively, $\mathfrak{H}^- \cup \scri^-$). By combining these estimates with the well-posedness of the Cauchy and Goursat problems for nonlinear wave equations, we construct a bounded linear and locally Lipschitz scattering operator that maps past scattering data to future scattering data.

Pointwise estimates for rough operators in a metric measure framework under some Ahlfors regularity conditions

2026-03-09T10:06:02Z

We establish a new pointwise estimate for a class of rough operators in the setting of metric measure spaces endowed with a measure which is Ahlfors regular. This pointwise inequality can be divided in two steps: the first one relies in a subrepresentation formula that involves a modified Riesz potential and the upper gradient of the function considered and the second step gives a pointwise control of the Riesz potential in terms of a maximal function and a Morrey norm. We also investigate a family of functional inequalities that can be deduced from this pointwise estimate.

Convexity of Berezin Range and Berezin Radius Inequalities via a class of Seminorm

2026-03-09T10:03:54Z

Let $B(\mathcal{H})$ denote the $C^*$-algebra of all bounded linear operators acting on a reproducing kernel Hilbert space $\mathcal{H}(Ω).$ In this paper, we introduce a new family of seminorms on $B(\mathcal{H})$, called the $σ_t$-Berezin norm, defined as $$ \|A\|_{{ber}_{σ_t}} = \sup_{λ,μ\in Ω} \left\{ \left( \left|\left\langle A\hat{k}_λ,\hat{k}_μ\right\rangle\right|^p \, σ_t \, \left|\left\langle A^*\hat{k}_λ,\hat{k}_μ\right\rangle\right|^p \right)^{\frac{1}{p}} \right\}, $$ where $A\in B(\mathcal{H}), ~p \geq 1, ~t \in [0,1]$ and ~$σ_t$ denotes an interpolation path of a symmetric mean $σ$. We show that this family of seminorms characterizes invertible operators that are unitary. Several fundamental properties of the $σ_t$-Berezin norm are established, along with a collection of new inequalities that yield refined upper bounds for the Berezin radius of bounded linear operators, thereby improving existing results in the literature. Furthermore, we investigate the convexity of the Berezin range of operators acting on weighted Hardy space and Fock space over $\mathbb{C}^n$. We characterised the convexity of the Berezin range of composition operator with elliptic automorphism and finite rank operators with different weights on the weighted Hardy space. We also characterized convexity of the Berezin range of composition operator on Fock space over $\mathbb{C}^n$ with symbol $φ(z)=Az$, where $A$ is a scalar matrix of order $n$.

Eigenvalue accumulation for operator convolutions on locally compact groups

2026-03-09T09:17:07Z

Within the framework of quantum harmonic analysis, for a locally compact group $G$ with a square-integrable, irreducible unitary representation, we analyze the eigenvalue distributions of convolutions between indicator functions on $G$ and a fixed density operator on the representation space, a concept which generalizes localization operators. In particular, we consider a sequence of such operators and the asymptotic number of eigenvalues that lie within a small distance of $1$. We show that a previously postulated type of asymptotic behavior occurs if and only if the group is unimodular and the sets underlying the indicator functions form a Følner sequence. Applying this, we obtain positive results for nilpotent and homogeneous Lie groups, recovering an established result for the Heisenberg group as a special case.

Performance Assessment and Construction of Compactly Supported Dual Windows for B-spline and Exponential B-spline Gabor Frames

2026-03-09T06:11:23Z

This manuscript focuses on the construction of compactly supported dual Gabor frames in $L^2(\mathbb{R})$. The performance of the constructed dual frames is analysed for Gabor systems generated by B-splines and exponential B-splines of orders 2 and 3. The reconstruction performance of these dual windows is evaluated using the average mean square error (AMSE) for standard one-dimensional benchmark signals. For two-dimensional data, image reconstruction experiments are carried out using tensor-product Gabor frames, and the reconstruction accuracy is also assessed using AMSE. Using the duality condition for Gabor systems \cite{jan}, several alternate dual windows with finite support are constructed under suitable assumptions, such as the partition of unity property. Additional dual windows can also be obtained from an existing dual window. The canonical dual window admits an explicit expression that avoids direct inversion of the frame operator and yields reconstruction errors close to numerical precision. The constructed non-canonical compactly supported duals also exhibit stable and competitive reconstruction performance. These findings indicate that compactly supported dual windows based on B-spline and exponential B-spline generators provide effective and practical alternatives for signal and image processing applications, particularly in situations where compact support and computational efficiency are important.

Rellich-Kondrachov type theorems on the half-space with general singular weights

2026-03-09T00:36:13Z

We prove Rellich-Kondrachov type theorems on the half-space $\mathbb{H}^{N+1}=\{(y, x) \in \left.\mathbb{R} \times \mathbb{R}^N: y>0\right\}$ endowed with the general weighted measure $μ_w:=y^c φ(|z|) d z$, where $c \in \mathbb{R}$ and $φ$ is a suitable Borel measurable function. We establish a necessary and sufficient characterization for the compactness of the immersion $H_{μ_w}^1\left(\mathbb{H}^{N+1}\right) \hookrightarrow L_{μ_w}^2\left(\mathbb{H}^{N+1}\right)$. We prove that compactness holds if and only if the measure has finite mass and satisfies a "Global Tightness" condition, which we characterize via a coercive tail inequality (Lyapunov condition) and, in the singular case $c \leq-1$, a weighted Hardy inequality. These results generalize recent work on Gaussian weights to a broader class of radial potentials defined by abstract massvanishing conditions.

Proto-exact categories and injective Banach modules

2026-03-08T23:11:19Z

We develop the basic theory of covers and envelopes in proto-exact categories. As an application, we prove the existence of enough injectives for categories of Banach modules over arbitrary Banach rings.

Factorizing random sets and type III Arveson systems

2026-03-08T23:01:51Z

We develop a representative-level framework for the Liebscher-Tsirelson random-set construction of Arveson systems from stationary factorizing measure types. We introduce the notion of a measurable factorizing family of probability measures on hyperspaces of closed subsets of time intervals and prove that every such family canonically generates an Arveson system. Within this framework we obtain a purely measure-theoretic characterization of spatiality: positive normalized units correspond exactly to dominated families of measures that factorize strictly. We then present a general mechanism for constructing type III Arveson systems via infinite products of measurable factorizing families. Starting from a type II$_0$ seed satisfying a quantitative Hellinger-smallness condition, we form a marked infinite product indexed by $[0,1]\times\mathbb N$ and show, using Kakutani's criterion, that the resulting product system admits no units. This yields a robust construction principle for type III random-set systems. As an application we analyze zero sets of Brownian motion. After anchor-adapted localization and Palm-type uniformization, the Brownian seed satisfies the required overlap estimates, and the associated infinite-product construction produces explicit examples of type III random-set systems, as anticipated in the work of Tsirelson and Liebscher.

Multiple products of meromorphic functions

2026-03-08T19:08:41Z

Let $\mathfrak g$ be an infinite-dimensional Lie algebra, and $G$ be the algebraic completion of a $\mathfrak g$-module. Using the geometric model of Schottky uniformization of Riemann sphere to obtain a higher genus Riemann surface, we construct a family of parametric extensions of coboundary operators for the double complexes of meromorphic functions depending on elements of $G$ that possess prescribed analytic properties.

The Legendre transform, the Laplace transform and valuations

2026-03-08T15:20:06Z

We first prove that the Legendre transform is the only continuous and $\mathrm{SL}(n)$ contravariant valuation that behaves as a conjugation of two important translations on super-coercive, lower semi-continuous, and convex functions. Then we turn to a similar setting on log-concave functions and find characterizations of not merely the duality transform but also the Laplace transform on log-concave functions. With the notion of dual valuation, we also obtain characterizations of the identity transform on finite convex functions and positive log-concave functions.

Why does entropy drive evolution equations?

2026-03-08T14:36:02Z

`Entropy' appears as driving force in many different evolution equations, both deterministic and stochastic, and in these equations this `entropy' also takes different forms. We show how all these examples can be understood as different instances of a common principle: Entropy drives evolutions because it characterizes the invariant measure of an underlying stochastic process. This interpretation explains the appearance of entropy, the different forms that entropy takes in these equations, and how entropy `drives' these evolution equations. We illustrate this common structure with examples from stochastic processes, gradient flows, and GENERIC systems.