SearcharxivSearch

arXiv subjects

Andreas Debrouwere

Publications and source records attributed to Andreas Debrouwere.

At least 19 recordsLinked to original sources

Some results about spaceability in function spaces

We investigate two problems concerning spaceability in function spaces. First, we study the spaceability of sets of nowhere regular periodic functions, for various notions of regularity, including H\"older regularity and real analyticity. Second, we show that the set of real analytic functions is spaceable in $C((0,1))$. Moreover, we provide a complete characterization of the closed subspaces of $C((0,1))$ consisting of real analytic functions. Our work solves several open questions posed by Bernal-Gonz\'alez et al. [4, 5, 6].

math.FA

Riesz summability of Dirichlet series generating holomorphic functions of finite order

Given a frequency $\lambda$, we study the Riesz summability of $\lambda$-Dirichlet series $\sum_{n=1}^\infty a_n e^{-\lambda_n s}$ generating holomorphic functions of finite order. We present a new separation condition on the frequency $\lambda$ ensuring that, for any $k \geq 0$, each $\lambda$-Dirichlet series that is somewhere Riesz summable of some order and admits a holomorphic extension $f$ to the right half-plane $\mathbb{C}_0$ satisfying $f(s) = O(|s|^k)$ as $|s| \to \infty$ on $\mathbb{C}_0$, is in fact Riesz summable of order $k$ on $\mathbb{C}_0$. This extends Bohr's theorem, which corresponds to the case $k = 0$. Our work improves a recent result of Defant and Schoolmann, who showed the above property under Landau's condition (LC). Along the way, we also establish novel bounds on the coefficients of such $\lambda$-Dirichlet series and, under a mild condition on the frequency $\lambda$, show that they are optimal.

math.FA

Sequence space representations of Beurling-Bj\"orck spaces via Gabor frames and Wilson bases

We establish sequence space representations of a broad class of Beurling-Bj\"orck spaces $\mathcal{S}^{(\omega)}_{(\eta)}$ and $\mathcal{S}^{\{\omega\}}_{\{\eta\}}$. We develop two different approaches: a non-constructive one based on Gabor frames and the structure theory of Fr\'echet spaces, and a constructive one using Wilson bases, under stronger assumptions on the defining weight functions $\omega$ and $\eta$. As an application, we provide an isomorphic classification of the spaces $\mathcal{S}^{(\omega)}_{(\eta)}$ and $\mathcal{S}^{\{\omega\}}_{\{\eta\}}$ in terms of $\omega$ and $\eta$. In particular, our results are applicable to the classical Gelfand-Shilov spaces $\mathcal{S}^\mu_\tau$ for $\mu, \tau \geq 1/2$ (non-constructive approach) and $\mu, \tau \geq 1$ (constructive approach).

math.FA

A linear topological invariant for weighted spaces of holomorphic functions

We study the linear topological invariant $(\Omega)$ for a class of Fr\'echet spaces of holomorphic functions of rapid decay on strip-like domains in the complex plane, defined via weight function systems. We obtain a complete characterization of the property $(\Omega)$ for such spaces in terms of an explicit condition on the defining weight function systems. As an application, we investigate the surjectivity of the Cauchy-Riemann operator on certain weighted spaces of vector-valued smooth functions.

math.FA

Moment problems in the Schwartz and Gelfand-Shilov spaces

We provide a geometric characterization of the closed sets $K \subseteq \mathbb{R}^d$ such that every real $d$-sequence is the moment sequence of some Schwartz function on $\mathbb{R}^d$ with support in $K$. We obtain a similar result for Gelfand-Shilov spaces. Several illustrative examples are discussed. Our work is inspired by a recent result of Schm\"udgen [Expositiones Math. 43 (2025), 125657], who addressed the analogous problem for Radon measures.

math.FA

On the inclusion relations between Gelfand-Shilov spaces

We study inclusion relations between Gelfand-Shilov type spaces defined via a weight (multi-)sequence system, a weight function system, and a translation-invariant Banach function space. We characterize when such spaces are included into one another in terms of growth relations for the defining weight sequence and function systems. Our general framework allows for a unified treatment of the Gelfand-Shilov spaces $\mathcal{S}^{[M]}_{[A]}$ (defined via weight sequences $M$ and $A$) and the Beurling-Bj\"orck spaces $\mathcal{S}^{[\omega]}_{[\eta]}$ (defined via weight functions $\omega$ and $\eta$).

math.FA

The vector-valued Stieltjes moment problem with general exponents

We characterize the sequences of complex numbers $(z_{n})_{n \in \mathbb{N}}$ and the locally complete $(DF)$-spaces $E$ such that for each $(e_{n})_{n \in \mathbb{N}} \in E^\mathbb{N}$ there exists an $E$-valued function $\mathbf{f}$ on $(0,\infty)$ (satisfying a mild regularity condition) such that $$\int_{0}^{\infty} t^{z_{n}} \mathbf{f}(t) dt = e_{n}, \qquad \forall n \in \mathbb{N},$$ where the integral should be understood as a Pettis integral. Moreover, in this case, we show that there always exists a solution $\mathbf{f}$ that is smooth on $(0,\infty)$ and satisfies certain optimal growth bounds near $0$ and $\infty$. The scalar-valued case $(E = \mathbb{C})$ was treated by Durán [Math. Nachr. 158 (1992), 175-194]. Our work is based upon his result.

math.FA

Quasinormability and property $(\Omega)$ for spaces of smooth and ultradifferentiable vectors associated with Lie group representations

We prove that the spaces of smooth and ultradifferentiable vectors associated with a representation of a real Lie group on a Fr\'{e}chet space $E$ are quasinormable if $E$ is so. A similar result is shown to hold for the linear topological invariant $(\Omega)$. In the ultradifferentiable case, our results particularly apply to spaces of Gevrey vectors of Beurling type. As an application, we study the quasinormability and the property $(\Omega)$ for a broad class of Fr\'{e}chet spaces of smooth and ultradifferentiable functions on Lie groups globally defined via families of weight functions.

math.FA

An extension result for $(LB)$-spaces and the surjectivity of tensorized mappings

We study an extension problem for continuous linear maps in the setting of $(LB)$-spaces. More precisely, we characterize the pairs $(E,Z)$, where $E$ is a locally complete space with a fundamental sequence of bounded sets and $Z$ is an $(LB)$-space, such that for every exact sequence of $(LB)$-spaces $$ 0 \rightarrow X \xrightarrowι Y \rightarrow Z \rightarrow 0$$ the map $$ L(Y,E) \to L(X, E), ~ T \mapsto T \circ ι$$ is surjective, meaning that each continuous linear map $X \to E$ can be extended to a continuous linear map $Y \to E$ via $ι$, under some mild conditions on $E$ or $Z$ (e.g. one of them is nuclear). We use our extension result to obtain sufficient conditions for the surjectivity of tensorized maps between Fréchet-Schwartz spaces. As an application of the latter, we study vector-valued Eidelheit type problems. Our work is inspired by and extends results of Vogt [24].

math.FA

Quasianalytic functionals and ultradistributions as boundary values of harmonic functions

We study boundary values of harmonic functions in spaces of quasianalytic functionals and spaces of ultradistributions of non-quasianalytic type. As an application, we provide a new approach to Hörmander's support theorem for quasianalytic functionals. Our main technical tool is a description of ultradifferentiable functions by almost harmonic functions, a concept that we introduce in this article. We work in the setting of ultradifferentiable classes defined via weight matrices. In particular, our results simultaneously apply to the two standard classes defined via weight sequences and via weight functions.

math.FA

Linear topological invariants for kernels of convolution and differential operators

We establish the condition $(Ω)$ for smooth kernels of various types of convolution and differential operators. By the $(DN)$-$(Ω)$ splitting theorem of Vogt and Wagner, this implies that these operators are surjective on the corresponding spaces of vector-valued smooth functions with values in a product of Montel $(DF)$-spaces whose strong duals satisfy the condition $(DN)$, e.g., the space $\mathscr{D}'(Y)$ of distributions over an open set $Y \subseteq \mathbb{R}^n$ or the space $\mathscr{S}'(\mathbb{R}^n)$ of tempered distributions. Most notably, we show that: $(i)$ $\mathscr{E}_P(X) = \{ f \in \mathscr{E}(X) \, | \, P(D)f = 0 \}$ satisfies $(Ω)$ for any differential operator $P(D)$ and any open convex set $X \subseteq \mathbb{R}^d$. $(ii)$ Let $P\in\mathbb{C}[ξ_1,ξ_2]$ and $X \subseteq \mathbb{R}^2$ open be such that $P(D):\mathscr{E}(X)\rightarrow\mathscr{E}(X)$ is surjective. Then, $\mathscr{E}_P(X)$ satisfies $(Ω)$. $(iii)$ Let $μ\in \mathscr{E}'(\mathbb{R}^d)$ be such that $ \mathscr{E}(\mathbb{R}^d) \rightarrow \mathscr{E}(\mathbb{R}^d), \, f \mapsto μ\ast f$ is surjective. Then, $ \{ f \in \mathscr{E}(\mathbb{R}^d) \, | \, μ\ast f = 0 \}$ satisfies $(Ω)$. The central result in this paper states that the space of smooth zero solutions of a general convolution equation satisfies the condition $(Ω)$ if and only if the space of distributional zero solutions of the equation satisfies the condition $(PΩ)$. The above and related results then follow from known results concerning $(PΩ)$ for distributional kernels of convolution and differential operators.

math.FA

Linear topological invariants for kernels of differential operators by shifted fundamental solutions

We characterize the condition $(\Omega)$ for smooth kernels of partial differential operators in terms of the existence of shifted fundamental solutions satisfying certain properties. The conditions $(P\Omega)$ and $(P\overline{\overline{\Omega}})$ for distributional kernels are characterized in a similar way. By lifting theorems for Fr\'echet spaces and (PLS)-spaces, this provides characterizations of the problem of parameter dependence for smooth and distributional solutions of differential equations by shifted fundamental solutions. As an application, we give a new proof of the fact that the space $\{ f \in \mathscr{E}(X) \, | \, P(D)f = 0\}$ satisfies $(\Omega)$ for any differential operator $P(D)$ and any open convex set $X \subseteq \mathbb{R}^d$.

math.FA

Sequence space representations for translation-modulation invariant function and distribution spaces

We provide sequence space representations for the test function space $\mathcal{D}_{E}$ and the distribution space $\mathcal{D}^{\prime}_{E}$ associated to a Banach space $E$ belonging to a broad class of translation-modulation invariant Banach spaces of distributions. The spaces $\mathcal{D}_{E}$ and $\mathcal{D}^{\prime}_{E}$ generalize the classical Schwartz spaces $\mathcal{D}_{L^p}$ and $\mathcal{D}^{\prime}_{L^p}$, respectively. Our proof is based on Gabor frame characterizations of $\mathcal{D}_{E}$ and $\mathcal{D}^{\prime}_{E}$, which are also established here and are of independent interest. We recover in a unified way some known sequence space representations as well as obtain several new ones.

math.FA

Quantitative Runge type approximation theorems for zero solutions of certain partial differential operators

We prove quantitative Runge type approximation results for spaces of smooth zero solutions of several classes of linear partial differential operators with constant coefficients. Among others, we establish such results for arbitrary operators on convex sets, elliptic operators, parabolic operators, and the wave operator in one spatial variable. Our methods are inspired by the study of linear topological invariants for kernels of partial differential operators. As a part of our work, we also show a qualitative Runge type approximation theorem for subspace elliptic operators, which seems to be new and of independent interest.

math.AP