arXiv subjects

Leonhard Frerick

Publications and source records attributed to Leonhard Frerick.

14 recordsLinked to original sources

arXiv2026

Nonlocal Boundary Value Problems Governed by Symmetric Nonlocal Operators

Nonlocal boundary value problems with Dirichlet or Neumann boundary are well-studied for nonlocal operators of the type $\mathcal{L}_\gamma u = \operatorname{PV} \int_{\mathbb{R}^d} \big(u(\cdot)-u(y)\big) \gamma(\cdot,y) \, \mathrm{d}y$ where the underlying kernel function $\gamma: \mathbb{R}^d \times \mathbb{R}^d \rightarrow [0,\infty)$ is assumed to be measurable and symmetric. In this paper, a theory is introduced for problems whose governing operator is of the more general type \[\mathcal{L}u:= \operatorname{PV} \int_{\mathbb{R}^d}\big(u(\cdot)-u(y)\big) \, K(\cdot, \mathrm{d}y)\] where ${K: \mathbb{R}^d \times \mathcal{B}(\mathbb{R}^d) \rightarrow [0,\infty]}$ is a symmetric transition kernel. Our main focus is on nonlocal Dirichlet and Neumann problems and a classical Hilbert space approach is developed for solving designated weak formulations. As an example, the discrete Poisson problem on $\Omega=(0,1)^d$ is discussed.

math.AP↗

arXiv2022

A Fourier integral formula for logarithmic energy

A formula which expresses logarithmic energy of Borel measures on R^n in terms of the Fourier transforms of the measures is established and some applications are given. In addition, using similar techniques a (known) formula for Riesz energy is reinvented.

math.CA↗

arXiv2022

The nonlocal Neumann problem

The classical local Neumann problem is well studied and solutions of this problem lie, in general, in a Sobolev space. In this work, we focus on nonlocal Neumann problems with measurable, nonnegative kernels, whose solutions require less regularity assumptions. For kernels of this kind we formulate and study the weak formulation of the nonlocal Neumann problem and we investigate a nonlocal counterpart of the Sobolev space $H^{1}$ as well as a resulting nonlocal trace space. We further establish, mainly for symmetric kernels, various existence results for the weak solution of the Neumann problem and we discuss related necessary conditions. Both, homogeneous and nonhomogeneous Neumann boundary conditions are considered. In addition to that, we present a new weak formulation of a Robin problem, where we reformulate the Robin problem into a regional problem.

math.AP↗

arXiv2020

Continuously differentiable functions on compact sets

We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable functions on the ambient space is always dense. The space is then compared with other spaces of differentiable functions on compact sets.

math.CA↗

arXiv2020

Mixing operators with prescribed unimodular eigenvectors

For arbitrary closed countable subsets $Z$ of the unit circle examples of topologically mixing operators on Hilbert spaces are given which have a densely spanning set of unimodular eigenvectors with eigenvalues restricted to $Z$. In particular, these operators cannot be ergodic in the Gaussian sense.

math.DS↗

arXiv2016

Extension operators for smooth functions on compact subsets of the reals

We introduce sufficient as well as necessary conditions for a compact set $K$ such that there is a continuous linear extension operator from the space of restrictions $C^\infty(K)=\lbrace F|_K: F\in C^\infty(\mathbb R)\rbrace$ to $C^\infty(\mathbb R)$. This allows us to deal with examples of the form $K=\lbrace a_n:n\in\mathbb N\rbrace \cup \lbrace 0\rbrace$ for $a_n\to 0$ previously considered by Fefferman and Ricci as well as Vogt.

math.FA↗

arXiv2016

Diametral dimensions of Frechet spaces

The diametral dimension is an important topological invariant in the category of Frechet spaces which has been used, e.g., to distinguish types of Stein manifolds. We introduce variants of the classical definition in order to solve an old conjecture of Bessaga, Mityagin, Pelczynski, and Rolewicz at least for nuclear Frechet spaces. Moreover, we clarify the relation between an invariant recently introduced by Terzioglu and the by now classical condition $(\bar \Omega)$ of Vogt and Wagner.

math.FA↗

arXiv2014

Multipliers of Dirichlet series and monomial series expansions of holomorphic functions in infinitely many variables

Let $\mathcal{H}_\infty$ be the set of all ordinary Dirichlet series $D=\sum_n a_n n^{-s}$ representing bounded holomorphic functions on the right half plane. A multiplicative sequence $(b_n)$ of complex numbers is said to be an $\ell_1$-multiplier for $\mathcal{H}_\infty$ whenever $\sum_n |a_n b_n| < \infty$ for every $D \in \mathcal{H}_\infty$. We study the problem of describing such sequences $(b_n)$ in terms of the asymptotic decay of the subsequence $(b_{p_j})$, where $p_j$ denotes the $j$th prime number. Given a multiplicative sequence $b=(b_n)$ we prove (among other results): $b$ is an $\ell_1$-multiplier for $\mathcal{H}_\infty$ provided $|b_{p_j}| < 1$ for all $j$ and $\overline{\lim}_n \frac{1}{\log n} \sum_{j=1}^n b_{p_j}^{*2} < 1$, and conversely, if $b$ is an $\ell_1$-multiplier for $\mathcal{H}_\infty$, then $|b_{p_j}| < 1$ for all $j$ and $\overline{\lim}_n \frac{1}{\log n} \sum_{j=1}^n b_{p_j}^{*2} \leq 1$ (here $b^*$ stands for the decreasing rearrangement of $b$). Following an ingenious idea of Harald Bohr it turns out that this problem is intimately related with the question of characterizing those sequences $z$ in the infinite dimensional polydisk $\mathbb{D}^\infty$ (the open unit ball of $\ell_\infty$) for which every bounded and holomorphic function $f$ on $\mathbb{D}^\infty$ has an absolutely convergent monomial series expansion $\sum_{\alpha} \frac{\partial_\alpha f(0)}{\alpha!} z^\alpha$. Moreover, we study analogous problems in Hardy spaces of Dirichlet series and Hardy spaces of functions on the infinite dimensional polytorus $\mathbb{T}^\infty$.

math.FA↗

arXiv2013

Whitney extension operators without loss of derivatives

For a compact set, we characterize the existence of a linear extension operator E for the space of Whitney jets without loss of derivatives, that is, E satisfies the best possible continuity estimates: The supremum of all partial derivatives up to order n of E(f) is less or equal than a constant times the n-th Whitney norm of f. The characterization is a surprisingly simple purely geometric condition telling in a way that at all its points, the set is big enough in all directions.

math.FA↗

arXiv2013

A copositive formulation for the stability number of infinite graphs

In the last decade, copositive formulations have been proposed for a variety of combinatorial optimization problems, for example the stability number (independence number). In this paper, we generalize this approach to infinite graphs and show that the stability number of an infinite graph is the optimal solution of some infinite-dimensional copositive program. For this we develop a duality theory between the primal convex cone of copositive kernels and the dual convex cone of completely positive measures. We determine the extreme rays of the latter cone, and we illustrate this theory with the help of the kissing number problem.

math.OC↗

arXiv2012

Monomial expansions of $H_{p}$--functions in infinitely many variables

Each bounded holomorphic function on the infinite dimensional polydisk $\mathbb{D}^\infty$, $f \in H_\infty(\mathbb{D}^\infty)$, defines a formal monomial series expansion that in general does not converge to $f$. The set $\mon H_\infty(\mathbb{D}^\infty)$ contains all $ z $'s in which the monomial series expansion of each function $f \in H_\infty(\mathbb{D}^\infty)$ sums up to $f(z)$. Bohr, Bohnenblust and Hille, showed that it contains $\ell_{2} \cap \mathbb{D}^\infty$, but does not contain any of the slices $\ell_{2+\varepsilon} \cap \mathbb{D}^\infty$. This was done in the context of Dirichlet series and our article is very much inspired by recent deep developments in this direction. Our main contribution shows that $z \in \mon H_\infty(\mathbb{D}^\infty)$ whenever $\bar{\lim} \big(\frac{1}{\log n} \sum_{j=1}^{n} z^{* 2}_{j} \big)^{1/2} < 1/\sqrt{2}$, and conversely $\bar{\lim} \big(\frac{1}{\log n} \sum_{j=1}^{n} z^{* 2}_{j} \big)^{1/2} \leq 1$ for each $z \in \mon H_\infty(\mathbb{D}^\infty)$. The Banach space $H_\infty(\mathbb{D}^\infty)$ can be identified with the Hardy space $H_\infty(\mathbb{T}^\infty)$; this motivates a study of sets of monomial convergence of $H_p$-functions on $\mathbb{T}^\infty$ (consisting of all $z$'s in $\mathbb{D}^{\infty}$ for which the series $\sum \hat{f}(α) z^α$ converges). We show that $\mon H_\infty(\mathbb{T}^\infty) = \mon H_\infty(\mathbb{D}^\infty)$ and $\mon H_{p}(\mathbb{T}^\infty) = \ell_{2} \cap \mathbb{D}^\infty$ for $1 \leq p < \infty$ and give a representation of $H_{p}(\mathbb{T}^\infty)$ in terms of holomorphic functions on $\mathbb{D}^{\infty}$. This links our circle of ideas with well-known results due to Cole and Gamelin.

math.FA↗

arXiv2010

Frequent hypercyclicity, chaos, and unconditional Schauder decompositions

We prove that if X is any complex separable infinite-dimensional Banach space with an unconditional Schauder decomposition, X supports an operator T which is chaotic and frequently hypercyclic. In contrast with the complex case, we observe that there are real Banach spaces with an unconditional basis which support no chaotic operator.

math.FA↗

arXiv2009

The Bohnenblust--Hille inequality for homogeneous polynomials is hypercontractive

The Bohnenblust--Hille inequality says that the $\ell^{\frac{2m}{m+1}}$-norm of the coefficients of an $m$-homogeneous polynomial $P$ on $\C^n$ is bounded by $\| P\|_\infty$ times a constant independent of $n$, where $\|\cdot \|_\infty$ denotes the supremum norm on the polydisc $\D^n$. The main result of this paper is that this inequality is hypercontractive, i.e., the constant can be taken to be $C^m$ for some $C>1$. Combining this improved version of the Bohnenblust--Hille inequality with other results, we obtain the following: The Bohr radius for the polydisc $\D^n$ behaves asymptotically as $\sqrt{(\log n)/n}$ modulo a factor bounded away from 0 and infinity, and the Sidon constant for the set of frequencies $\bigl\{\log n: n \text{a positive integer} \le N\bigr\}$ is $\sqrt{N}\exp\{(-1/\sqrt{2}+o(1))\sqrt{\log N\log\log N}\}$ as $N\to \infty$.

math.CV↗

arXiv2009

Hypercontractivity of the Bohnenblust-Hille inequality for polynomials and multidimensional Bohr radii

In 1931 Bohnenblust and Hille proved that for each m-homogeneous polynomial $\sum_{|α| = m} a_αz^α$ on $\C^n$ the $\ell^{\frac{2m}{m+1}}$-norm of its coefficients is bounded from above by a constant $C_m$ (depending only on the degree $m$) times the sup norm of the polynomial on the polydisc $\mathbb{D}^n$. We prove that this inequality is hypercontractive in the sense that the optimal constant $C_m$ is $\leq C^m$ where $C \geq 1$ is an absolute constant. From this we derive that the Bohr radius $K_n$ of the $n$-dimensional polydisc in $\mathbb{C}^n$ is up to an absolute constant $\geq \sqrt{\log n/n}$; this result was independently and with a differnt proof discovered by Ortega-Cerd{à}, Ounaïes and Seip. An alternative approach even allows to prove that the Bohr radius $K_n^p$, $1 \leq p \leq \infty $ of the unit ball of $\ell_n^p ,$ is asymptotically $ \geq (\log n/n) ^{1-1/ \min (p,2)}$. This shows that the upper bounds for $K_n^p$ given by Boas and Khavinson are optimal.

math.FA↗