-
Almost periodicity and boundary values of Dirichlet series
Authors:
Ole Fredrik Brevig,
Athanasios Kouroupis,
Karl-Mikael Perfekt
Abstract:
We employ almost periodicity to establish analogues of the Hardy--Stein identity and the Littlewood--Paley formula for Hardy spaces of Dirichlet series. A construction of Saksman and Seip shows that the limits in this Littlewood--Paley formula cannot be interchanged. We apply this construction to show that the limits in the definition of the mean counting function for Dirichlet series cannot be in…
▽ More
We employ almost periodicity to establish analogues of the Hardy--Stein identity and the Littlewood--Paley formula for Hardy spaces of Dirichlet series. A construction of Saksman and Seip shows that the limits in this Littlewood--Paley formula cannot be interchanged. We apply this construction to show that the limits in the definition of the mean counting function for Dirichlet series cannot be interchanged. These are essentially statements about the two different kinds of boundary values that we associate with Dirichlet series that converge to a bounded analytic function in a half-plane. The treatment of the mean counting function also involves an investigation of the zero sets and Blaschke products of such Dirichlet series.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Restrictions of Békollé--Bonami weights and Bloch functions
Authors:
Alberto Dayan,
Adrián Llinares,
Karl-Mikael Perfekt
Abstract:
We characterize the restrictions of Békollé--Bonami weights of bounded hyperbolic oscillation, to subsets of the unit disc, thus proving an analogue of Wolff's restriction theorem for Muckenhoupt weights. Sundberg proved a discrete version of Wolff's original theorem, by characterizing the trace of $BMO$-functions onto interpolating sequences. We consider an analogous question in our setting, by s…
▽ More
We characterize the restrictions of Békollé--Bonami weights of bounded hyperbolic oscillation, to subsets of the unit disc, thus proving an analogue of Wolff's restriction theorem for Muckenhoupt weights. Sundberg proved a discrete version of Wolff's original theorem, by characterizing the trace of $BMO$-functions onto interpolating sequences. We consider an analogous question in our setting, by studying the trace of Bloch functions. Through Makarov's probabilistic approach to the Bloch space, our question can be recast as a restriction problem for dyadic martingales with uniformly bounded increments.
△ Less
Submitted 28 August, 2023; v1 submitted 9 August, 2023;
originally announced August 2023.
-
On the spectrum of the double-layer operator on locally-dilation-invariant Lipschitz domains
Authors:
Simon N. Chandler-Wilde,
Raffael Hagger,
Karl-Mikael Perfekt,
Jani A. Virtanen
Abstract:
We say that $Γ$, the boundary of a bounded Lipschitz domain, is locally dilation invariant if, at each $x\in Γ$, $Γ$ is either locally $C^1$ or locally coincides (in some coordinate system centred at $x$) with a Lipschitz graph $Γ_x$ such that $Γ_x=α_xΓ_x$, for some $α_x\in (0,1)$. In this paper we study, for such $Γ$, the essential spectrum of $D_Γ$, the double-layer (or Neumann-Poincaré) operato…
▽ More
We say that $Γ$, the boundary of a bounded Lipschitz domain, is locally dilation invariant if, at each $x\in Γ$, $Γ$ is either locally $C^1$ or locally coincides (in some coordinate system centred at $x$) with a Lipschitz graph $Γ_x$ such that $Γ_x=α_xΓ_x$, for some $α_x\in (0,1)$. In this paper we study, for such $Γ$, the essential spectrum of $D_Γ$, the double-layer (or Neumann-Poincaré) operator of potential theory, on $L^2(Γ)$. We show, via localisation and Floquet-Bloch-type arguments, that this essential spectrum is the union of the spectra of related continuous families of operators $K_t$, for $t\in [-π,π]$; moreover, each $K_t$ is compact if $Γ$ is $C^1$ except at finitely many points. For the 2D case where, additionally, $Γ$ is piecewise analytic, we construct convergent sequences of approximations to the essential spectrum of $D_Γ$; each approximation is the union of the eigenvalues of finitely many finite matrices arising from Nyström-method approximations to the operators $K_t$. Through error estimates with explicit constants, we also construct functionals that determine whether any particular locally-dilation-invariant piecewise-analytic $Γ$ satisfies the well-known spectral radius conjecture, that the essential spectral radius of $D_Γ$ on $L^2(Γ)$ is $<1/2$ for all Lipschitz $Γ$. We illustrate this theory with examples; for each we show that the essential spectral radius is $<1/2$, providing additional support for the conjecture. We also, via new results on the invariance of the essential spectral radius under locally-conformal $C^{1,β}$ diffeomorphisms, show that the spectral radius conjecture holds for all Lipschitz curvilinear polyhedra.
△ Less
Submitted 5 April, 2023; v1 submitted 28 January, 2023;
originally announced January 2023.
-
A note on Bohr's theorem for Beurling integer systems
Authors:
Frederik Broucke,
Athanasios Kouroupis,
Karl-Mikael Perfekt
Abstract:
Given a sequence of frequencies $\{λ_n\}_{n\geq1}$, a corresponding generalized Dirichlet series is of the form $f(s)=\sum_{n\geq 1}a_ne^{-λ_ns}$. We are interested in multiplicatively generated systems, where each number $e^{λ_n}$ arises as a finite product of some given numbers $\{q_n\}_{n\geq 1}$, $1 < q_n \to \infty$, referred to as Beurling primes. In the classical case, where $λ_n = \log n$,…
▽ More
Given a sequence of frequencies $\{λ_n\}_{n\geq1}$, a corresponding generalized Dirichlet series is of the form $f(s)=\sum_{n\geq 1}a_ne^{-λ_ns}$. We are interested in multiplicatively generated systems, where each number $e^{λ_n}$ arises as a finite product of some given numbers $\{q_n\}_{n\geq 1}$, $1 < q_n \to \infty$, referred to as Beurling primes. In the classical case, where $λ_n = \log n$, Bohr's theorem holds: if $f$ converges somewhere and has an analytic extension which is bounded in a half-plane $\{\Re s> θ\}$, then it actually converges uniformly in every half-plane $\{\Re s> θ+\varepsilon\}$, $\varepsilon>0$. We prove, under very mild conditions, that given a sequence of Beurling primes, a small perturbation yields another sequence of primes such that the corresponding Beurling integers satisfy Bohr's condition, and therefore the theorem. Applying our technique in conjunction with a probabilistic method, we find a system of Beurling primes for which both Bohr's theorem and the Riemann hypothesis are valid. This provides a counterexample to a conjecture of H. Helson concerning outer functions in Hardy spaces of generalized Dirichlet series.
△ Less
Submitted 9 March, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Cyclicity and iterated logarithms in the Drury-Arveson space
Authors:
Alexandru Aleman,
Karl-Mikael Perfekt,
Stefan Richter,
Carl Sundberg,
James Sunkes
Abstract:
Let $H^2_d$ be the Drury-Arveson space, and let $f\in H^2_d$ have bounded argument and no zeros in $\mathbb{B}_d$. We show that $f$ is cyclic in $H^2_d$ if and only if $\log f$ belongs to the Pick-Smirnov class $N^+(H^2_d)$. Furthermore, for non-vanishing functions $f\in H^2_d$ with bounded argument and $H^\infty$-norm less than 1, cyclicity can also be tested via iterated logarithms. For example,…
▽ More
Let $H^2_d$ be the Drury-Arveson space, and let $f\in H^2_d$ have bounded argument and no zeros in $\mathbb{B}_d$. We show that $f$ is cyclic in $H^2_d$ if and only if $\log f$ belongs to the Pick-Smirnov class $N^+(H^2_d)$. Furthermore, for non-vanishing functions $f\in H^2_d$ with bounded argument and $H^\infty$-norm less than 1, cyclicity can also be tested via iterated logarithms. For example, we show that $f$ is cyclic if and only if $\log(1+\log (1/f))\in N^+(H^2_d)$. Thus, a sufficient condition for cyclicity is that $\log(1+\log (1/f))\in H^2_d$. More generally, our results hold for all radially weighted Besov spaces that also are complete Pick spaces.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
Cyclicity in the Drury-Arveson space and other weighted Besov spaces
Authors:
Alexandru Aleman,
Karl-Mikael Perfekt,
Stefan Richter,
Carl Sundberg,
James Sunkes
Abstract:
Let $\mathcal{H}$ be a space of analytic functions on the unit ball $\mathbb B_d$ in $\mathbb C^d$ with multiplier algebra $\mathrm{Mult}(\mathcal{H})$. A function $f\in \mathcal{H}$ is called cyclic if the set $[f]$, the closure of $\{\varphi f:\varphi \in \mathrm{Mult}(\mathcal{H})\}$, equals $\mathcal{H}$. For multipliers we also consider a weakened form of the cyclicity concept. Namely for…
▽ More
Let $\mathcal{H}$ be a space of analytic functions on the unit ball $\mathbb B_d$ in $\mathbb C^d$ with multiplier algebra $\mathrm{Mult}(\mathcal{H})$. A function $f\in \mathcal{H}$ is called cyclic if the set $[f]$, the closure of $\{\varphi f:\varphi \in \mathrm{Mult}(\mathcal{H})\}$, equals $\mathcal{H}$. For multipliers we also consider a weakened form of the cyclicity concept. Namely for $n\in \mathbb N_0$ we consider the classes $$\mathcal{C}_n(\mathcal{H})=\{\varphi \in \mathrm{Mult}(\mathcal H):\varphi\ne 0, [\varphi^n]=[\varphi^{n+1}]\}.$$ Many of our results hold for $N$:th order radially weighted Besov spaces on $\mathbb B_d$, but we describe our results only for the Drury-Arveson space $H^2_d$ here. Letting $\mathbb C_{stable}[z]$ denote the stable polynomials for $\mathbb B_d$, i.e. the $d$-variable complex polynomials without zeros in $\mathbb B_d $, we show that \begin{align*} &\text{ if }d \text{ is odd, then } \mathbb C_{stable}[z]\subseteq \mathcal C_{\frac{d-1}{2}}(H^2_d), \text{ and }\\ &\text{ if }d \text{ is even, then } \mathbb C_{stable}[z]\subseteq \mathcal C_{\frac{d}{2}-1}(H^2_d).\end{align*} For $d=2$ and $d=4$ these inclusions are the best possible, but in general we can only show that if $0\le n\le \frac{d}{4}-1$, then $\mathbb C_{stable}[z]\nsubseteq \mathcal C_n(H^2_d)$. For functions other than polynomials we show that if $f,g\in H^2_d$ such that $f/g\in H^\infty$ and $f$ is cyclic, then $g$ is cyclic. We use this to prove that if $f,g\in H^2_d$ extend to be analytic in a neighborhood of $\overline{\mathbb B_d }$, have no zeros in $\mathbb B_d $, and their zero sets coincide on the boundary, then $f$ is cyclic if and only if $g$ is cyclic. Furthermore, if for $f\in H^2_d\cap C(\overline{\mathbb B_d })$ the set $Z(f)\cap \partial \mathbb B_d$ embeds a cube of real dimension $\ge 3$, then $f$ is not cyclic in the Drury-Arveson space.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Correction to: Weak product spaces of Dirichlet series
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
We correct the proof of Theorem~8 in [\emph{Weak product spaces of Dirichlet series}, Integral Equations Operator Theory \textbf{86} (2016), no.~4, 453--473.]
We correct the proof of Theorem~8 in [\emph{Weak product spaces of Dirichlet series}, Integral Equations Operator Theory \textbf{86} (2016), no.~4, 453--473.]
△ Less
Submitted 5 July, 2023; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Composition operators on weighted Hilbert spaces of Dirichlet series
Authors:
Athanasios Kouroupis,
Karl-Mikael Perfekt
Abstract:
We study composition operators of characteristic zero on weighted Hilbert spaces of Dirichlet series. For this purpose we demonstrate the existence of weighted mean counting functions associated with the Dirichlet series symbol, and provide a corresponding change of variables formula for the composition operator. This leads to natural necessary conditions for the boundedness and compactness. For B…
▽ More
We study composition operators of characteristic zero on weighted Hilbert spaces of Dirichlet series. For this purpose we demonstrate the existence of weighted mean counting functions associated with the Dirichlet series symbol, and provide a corresponding change of variables formula for the composition operator. This leads to natural necessary conditions for the boundedness and compactness. For Bergman-type spaces, we are able to show that the compactness condition is also sufficient, by employing a Schwarz-type lemma for Dirichlet series.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
The Nehari problem for the Paley--Wiener space of a disc
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
There is a bounded Hankel operator on the Paley--Wiener space of a disc in $\mathbb{R}^2$ which does not arise from a bounded symbol.
There is a bounded Hankel operator on the Paley--Wiener space of a disc in $\mathbb{R}^2$ which does not arise from a bounded symbol.
△ Less
Submitted 28 August, 2022; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Orthogonal decomposition of composition operators on the $H^2$ space of Dirichlet series
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
Let $\mathscr{H}^2$ denote the Hilbert space of Dirichlet series with square-summable coefficients. We study composition operators $\mathscr{C}_\varphi$ on $\mathscr{H}^2$ which are generated by symbols of the form $\varphi(s) = c_0s + \sum_{n\geq1} c_n n^{-s}$, in the case that $c_0 \geq 1$. If only a subset $\mathbb{P}$ of prime numbers features in the Dirichlet series of $\varphi$, then the ope…
▽ More
Let $\mathscr{H}^2$ denote the Hilbert space of Dirichlet series with square-summable coefficients. We study composition operators $\mathscr{C}_\varphi$ on $\mathscr{H}^2$ which are generated by symbols of the form $\varphi(s) = c_0s + \sum_{n\geq1} c_n n^{-s}$, in the case that $c_0 \geq 1$. If only a subset $\mathbb{P}$ of prime numbers features in the Dirichlet series of $\varphi$, then the operator $\mathscr{C}_\varphi$ admits an associated orthogonal decomposition. Under sparseness assumptions on $\mathbb{P}$ we use this to asymptotically estimate the approximation numbers of $\mathscr{C}_\varphi$. Furthermore, in the case that $\varphi$ is supported on a single prime number, we affirmatively settle the problem of describing the compactness of $\mathscr{C}_\varphi$ in terms of the ordinary Nevanlinna counting function. We give detailed applications of our results to affine symbols and to angle maps.
△ Less
Submitted 8 December, 2021; v1 submitted 29 August, 2021;
originally announced August 2021.
-
The quasi-static plasmonic problem for polyhedra
Authors:
Marta de León-Contreras,
Karl-Mikael Perfekt
Abstract:
We characterize the essential spectrum of the plasmonic problem for polyhedra in $\mathbb{R}^3$. The description is particularly simple for convex polyhedra and permittivities $ε< - 1$. The plasmonic problem is interpreted as a spectral problem through a boundary integral operator, the direct value of the double layer potential, also known as the Neumann--Poincaré operator. We therefore study the…
▽ More
We characterize the essential spectrum of the plasmonic problem for polyhedra in $\mathbb{R}^3$. The description is particularly simple for convex polyhedra and permittivities $ε< - 1$. The plasmonic problem is interpreted as a spectral problem through a boundary integral operator, the direct value of the double layer potential, also known as the Neumann--Poincaré operator. We therefore study the spectral structure of the the double layer potential for polyhedral cones and polyhedra.
△ Less
Submitted 28 October, 2022; v1 submitted 24 March, 2021;
originally announced March 2021.
-
The Complex-Scaled Half-Space Matching Method
Authors:
Anne-Sophie Bonnet-Ben Dhia,
Simon N. Chandler-Wilde,
Sonia Fliss,
Christophe Hazard,
Karl-Mikael Perfekt,
Yohanes Tjandrawidjaja
Abstract:
The Half-Space Matching (HSM) method has recently been developed as a new method for the solution of 2D scattering problems with complex backgrounds, providing an alternative to Perfectly Matched Layers (PML) or other artificial boundary conditions. Based on half-plane representations for the solution, the scattering problem is rewritten as a system of integral equations in which the unknowns are…
▽ More
The Half-Space Matching (HSM) method has recently been developed as a new method for the solution of 2D scattering problems with complex backgrounds, providing an alternative to Perfectly Matched Layers (PML) or other artificial boundary conditions. Based on half-plane representations for the solution, the scattering problem is rewritten as a system of integral equations in which the unknowns are restrictions of the solution to the boundaries of a finite number of overlap** half-planes contained in the domain: this integral equation system is coupled to a standard finite element discretisation localised around the scatterer. While satisfactory numerical results have been obtained for real wavenumbers, wellposedness and equivalence to the original scattering problem have been established only for complex wavenumbers. In the present paper, by combining the HSM framework with a complex-scaling technique, we provide a new formulation for real wavenumbers which is provably well-posed and has the attraction for computation that the complex-scaled solutions of the integral equation system decay exponentially at infinity. The analysis requires the study of double-layer potential integral operators on intersecting infinite lines, and their analytic continuations. The effectiveness of the method is validated by preliminary numerical results.
△ Less
Submitted 20 September, 2021; v1 submitted 19 December, 2020;
originally announced December 2020.
-
Infinitely many embedded eigenvalues for the Neumann-Poincaré operator in 3D
Authors:
Wei Li,
Karl-Mikael Perfekt,
Stephen P. Shipman
Abstract:
This article constructs a surface whose Neumann-Poincaré (NP) integral operator has infinitely many eigenvalues embedded in its essential spectrum. The surface is a sphere perturbed by smoothly attaching a conical singularity, which imparts essential spectrum. Rotational symmetry allows a decomposition of the operator into Fourier components. Eigenvalues of infinitely many Fourier components are c…
▽ More
This article constructs a surface whose Neumann-Poincaré (NP) integral operator has infinitely many eigenvalues embedded in its essential spectrum. The surface is a sphere perturbed by smoothly attaching a conical singularity, which imparts essential spectrum. Rotational symmetry allows a decomposition of the operator into Fourier components. Eigenvalues of infinitely many Fourier components are constructed so that they lie within the essential spectrum of other Fourier components and thus within the essential spectrum of the full NP operator. The proof requires the perturbation to be sufficiently small, with controlled curvature, and the conical singularity to be sufficiently flat.
△ Less
Submitted 27 July, 2021; v1 submitted 9 September, 2020;
originally announced September 2020.
-
A mean counting function for Dirichlet series and compact composition operators
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehave's resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact co…
▽ More
We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehave's resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact composition operators with Dirichlet series symbols on the Hardy--Hilbert space of Dirichlet series, thus resolving a problem which has been open since the bounded composition operators were described by Gordon and Hedenmalm. The main result is that such a composition operator is compact if and only if the mean counting function of its symbol satisfies a decay condition at the boundary of a half-plane.
△ Less
Submitted 14 April, 2021; v1 submitted 11 May, 2020;
originally announced May 2020.
-
The spectrum of some Hardy kernel matrices
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt,
Alexander Pushnitski
Abstract:
For $α> 0$ we consider the operator $K_α\colon \ell^2 \to \ell^2$ corresponding to the matrix \[\left(\frac{(nm)^{-\frac{1}{2}+α}}{[\max(n,m)]^{2α}}\right)_{n,m=1}^\infty.\] By interpreting $K_α$ as the inverse of an unbounded Jacobi matrix, we show that the absolutely continuous spectrum coincides with $[0, 2/α]$ (multiplicity one), and that there is no singular continuous spectrum. There is a fi…
▽ More
For $α> 0$ we consider the operator $K_α\colon \ell^2 \to \ell^2$ corresponding to the matrix \[\left(\frac{(nm)^{-\frac{1}{2}+α}}{[\max(n,m)]^{2α}}\right)_{n,m=1}^\infty.\] By interpreting $K_α$ as the inverse of an unbounded Jacobi matrix, we show that the absolutely continuous spectrum coincides with $[0, 2/α]$ (multiplicity one), and that there is no singular continuous spectrum. There is a finite number of eigenvalues above the continuous spectrum. We apply our results to demonstrate that the reproducing kernel thesis does not hold for composition operators on the Hardy space of Dirichlet series $\mathscr{H}^2$.
△ Less
Submitted 5 August, 2022; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Plasmonic eigenvalue problem for corners: limiting absorption principle and absolute continuity in the essential spectrum
Authors:
Karl-Mikael Perfekt
Abstract:
We consider the plasmonic eigenvalue problem for a general 2D domain with a curvilinear corner, studying the spectral theory of the Neumann--Poincaré operator of the boundary. A limiting absorption principle is proved, valid when the spectral parameter approaches the essential spectrum. Putting the principle into use, it is proved that the corner produces absolutely continuous spectrum of multipli…
▽ More
We consider the plasmonic eigenvalue problem for a general 2D domain with a curvilinear corner, studying the spectral theory of the Neumann--Poincaré operator of the boundary. A limiting absorption principle is proved, valid when the spectral parameter approaches the essential spectrum. Putting the principle into use, it is proved that the corner produces absolutely continuous spectrum of multiplicity 1. The embedded eigenvalues are discrete. In particular, there is no singular continuous spectrum.
△ Less
Submitted 12 October, 2020; v1 submitted 27 November, 2019;
originally announced November 2019.
-
Rectangular summation of multiple Fourier series and multi-parametric capacity
Authors:
Karl-Mikael Perfekt
Abstract:
We consider the class of multiple Fourier series associated with functions in the Dirichlet space of the polydisc. We prove that every such series is summable with respect to unrestricted rectangular partial sums, everywhere except for a set of zero multi-parametric logarithmic capacity. Conversely, given a compact set in the torus of zero capacity, we construct a Fourier series in the class which…
▽ More
We consider the class of multiple Fourier series associated with functions in the Dirichlet space of the polydisc. We prove that every such series is summable with respect to unrestricted rectangular partial sums, everywhere except for a set of zero multi-parametric logarithmic capacity. Conversely, given a compact set in the torus of zero capacity, we construct a Fourier series in the class which diverges on this set, in the sense of Pringsheim. We also prove that the multi-parametric logarithmic capacity characterizes the exceptional sets for the radial variation and radial limits of Dirichlet space functions. As a by-product of the methods of proof, the results also hold in the vector-valued setting.
△ Less
Submitted 30 June, 2020; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Atomic decompositions, two stars theorems, and distances for the Bourgain-Brezis-Mironescu space and other big spaces
Authors:
Luigi D'Onofrio,
Luigi Greco,
Karl-Mikael Perfekt,
Carlo Sbordone,
Roberta Schiattarella
Abstract:
Given a Banach space $E$ with a supremum-type norm induced by a collection of operators, we prove that $E$ is a dual space and provide an atomic decomposition of its predual. We apply this result, and some results obtained previously by one of the authors, to the function space $\mathcal{B}$ introduced recently by Bourgain, Brezis, and Mironescu. This yields an atomic decomposition of the predual…
▽ More
Given a Banach space $E$ with a supremum-type norm induced by a collection of operators, we prove that $E$ is a dual space and provide an atomic decomposition of its predual. We apply this result, and some results obtained previously by one of the authors, to the function space $\mathcal{B}$ introduced recently by Bourgain, Brezis, and Mironescu. This yields an atomic decomposition of the predual $\mathcal{B}_\ast$, the biduality result that $\mathcal{B}_0^\ast = \mathcal{B}_\ast$ and $\mathcal{B}_\ast^\ast = \mathcal{B}$, and a formula for the distance from an element $f \in \mathcal{B}$ to $\mathcal{B}_0$.
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
Norms of composition operators on the $H^2$ space of Dirichlet series
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
We consider composition operators $\mathscr{C}_\varphi$ on the Hardy space of Dirichlet series $\mathscr{H}^2$, generated by Dirichlet series symbols $\varphi$. We prove two different subordination principles for such operators. One concerns affine symbols only, and is based on an arithmetical condition on the coefficients of $\varphi$. The other concerns general symbols, and is based on a geometr…
▽ More
We consider composition operators $\mathscr{C}_\varphi$ on the Hardy space of Dirichlet series $\mathscr{H}^2$, generated by Dirichlet series symbols $\varphi$. We prove two different subordination principles for such operators. One concerns affine symbols only, and is based on an arithmetical condition on the coefficients of $\varphi$. The other concerns general symbols, and is based on a geometrical condition on the boundary values of $\varphi$. Both principles are strict, in the sense that they characterize the composition operators of maximal norm generated by symbols having given map** properties. In particular, we generalize a result of J. H. Shapiro on the norm of composition operators on the classical Hardy space of the unit disc. Based on our techniques, we also improve the recently established upper and lower norm bounds in the special case that $\varphi(s) = c + r2^{-s}$. A number of other examples are given.
△ Less
Submitted 19 September, 2019; v1 submitted 21 March, 2019;
originally announced March 2019.
-
Bi-parameter Potential theory and Carleson measures for the Dirichlet space on the bidisc
Authors:
Nicola Arcozzi,
Pavel Mozolyako,
Karl-Mikael Perfekt,
Giulia Sarfatti
Abstract:
We characterize the Carleson measures for the Dirichlet space on the bidisc, hence also its multiplier space. Following Maz'ya and Stegenga, the characterization is given in terms of a capacitary condition. We develop the foundations of a bi-parameter potential theory on the bidisc and prove a Strong Capacitary Inequality. In order to do so, we have to overcome the obstacle that the Maximum Princi…
▽ More
We characterize the Carleson measures for the Dirichlet space on the bidisc, hence also its multiplier space. Following Maz'ya and Stegenga, the characterization is given in terms of a capacitary condition. We develop the foundations of a bi-parameter potential theory on the bidisc and prove a Strong Capacitary Inequality. In order to do so, we have to overcome the obstacle that the Maximum Principle fails in the bi-parameter theory.
△ Less
Submitted 29 December, 2023; v1 submitted 12 November, 2018;
originally announced November 2018.
-
Some properties related to trace inequalities for the multi-parameter Hardy operators on poly-trees
Authors:
Nicola Arcozzi,
Pavel Mozolyako,
Karl-Mikael Perfekt
Abstract:
In this note we investigate the multi-parameter Potential Theory on the weighted $d$-tree (Cartesian product of several copies of uniform dyadic tree), which is connected to the discrete models of weighted Dirichlet spaces on the polydisc. We establish some basic properties of the respective potentials, capacities and equilibrium measures (in particular in the case of product polynomial weights).…
▽ More
In this note we investigate the multi-parameter Potential Theory on the weighted $d$-tree (Cartesian product of several copies of uniform dyadic tree), which is connected to the discrete models of weighted Dirichlet spaces on the polydisc. We establish some basic properties of the respective potentials, capacities and equilibrium measures (in particular in the case of product polynomial weights). We explore multi-parameter Hardy inequality and its trace measures, and discuss some open problems of potential-theoretic and combinatorial nature.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
The transmission problem on a three-dimensional wedge
Authors:
Karl-Mikael Perfekt
Abstract:
We consider the transmission problem for the Laplace equation on an infinite three-dimensional wedge, determining the complex parameters for which the problem is well-posed, and characterizing the infinite multiplicity nature of the spectrum. This is carried out in two formulations leading to rather different spectral pictures. One formulation is in terms of square integrable boundary data, the ot…
▽ More
We consider the transmission problem for the Laplace equation on an infinite three-dimensional wedge, determining the complex parameters for which the problem is well-posed, and characterizing the infinite multiplicity nature of the spectrum. This is carried out in two formulations leading to rather different spectral pictures. One formulation is in terms of square integrable boundary data, the other is in terms of finite energy solutions. We use the layer potential method, which requires the harmonic analysis of a non-commutative non-unimodular group associated with the wedge.
△ Less
Submitted 3 September, 2018; v1 submitted 31 May, 2018;
originally announced May 2018.
-
On the spaces of bounded and compact multiplicative Hankel operators
Authors:
Karl-Mikael Perfekt
Abstract:
A multiplicative Hankel operator is an operator with matrix representation $M(α) = \{α(nm)\}_{n,m=1}^\infty$, where $α$ is the generating sequence of $M(α)$. Let $\mathcal{M}$ and $\mathcal{M}_0$ denote the spaces of bounded and compact multiplicative Hankel operators, respectively. In this note it is shown that the distance from an operator $M(α) \in \mathcal{M}$ to the compact operators is minim…
▽ More
A multiplicative Hankel operator is an operator with matrix representation $M(α) = \{α(nm)\}_{n,m=1}^\infty$, where $α$ is the generating sequence of $M(α)$. Let $\mathcal{M}$ and $\mathcal{M}_0$ denote the spaces of bounded and compact multiplicative Hankel operators, respectively. In this note it is shown that the distance from an operator $M(α) \in \mathcal{M}$ to the compact operators is minimized by a nonunique compact multiplicative Hankel operator $N(β) \in \mathcal{M}_0$, $$\|M(α) - N(β)\|_{\mathcal{B}(\ell^2(\mathbb{N}))} = \inf \left \{\|M(α) - K \|_{\mathcal{B}(\ell^2(\mathbb{N}))} \, : \, K \colon \ell^2(\mathbb{N}) \to \ell^2(\mathbb{N}) \textrm{ compact} \right\}.$$ Intimately connected with this result, it is then proven that the bidual of $\mathcal{M}_0$ is isometrically isomorphic to $\mathcal{M}$, $\mathcal{M}_0^{\ast \ast} \simeq \mathcal{M}$. It follows that $\mathcal{M}_0$ is an M-ideal in $\mathcal{M}$. The dual space $\mathcal{M}_0^\ast$ is isometrically isomorphic to a projective tensor product with respect to Dirichlet convolution. The stated results are also valid for small Hankel operators on the Hardy space $H^2(\mathbb{D}^d)$ of a finite polydisk.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Nehari's theorem for convex domain Hankel and Toeplitz operators in several variables
Authors:
Marcus Carlsson,
Karl-Mikael Perfekt
Abstract:
We prove Nehari's theorem for integral Hankel and Toeplitz operators on simple convex polytopes in several variables. A special case of the theorem, generalizing the boundedness criterion of the Hankel and Toeplitz operators on the Paley-Wiener space, reads as follows. Let $Ξ= (0,1)^d$ be a $d$-dimensional cube, and for a distribution $f$ on $2Ξ$, consider the Hankel operator…
▽ More
We prove Nehari's theorem for integral Hankel and Toeplitz operators on simple convex polytopes in several variables. A special case of the theorem, generalizing the boundedness criterion of the Hankel and Toeplitz operators on the Paley-Wiener space, reads as follows. Let $Ξ= (0,1)^d$ be a $d$-dimensional cube, and for a distribution $f$ on $2Ξ$, consider the Hankel operator
$$Γ_f (g)(x)=\int_Ξ f(x+y) g(y) \, dy, \quad x \inΞ.$$ Then $Γ_f$ extends to a bounded operator on $L^2(Ξ)$ if and only if there is a bounded function $b$ on $\mathbb{R}^d$ whose Fourier transform coincides with $f$ on $2Ξ$. This special case has an immediate application in matrix extension theory: every finite multi-level block Toeplitz matrix can be boundedly extended to an infinite multi-level block Toeplitz matrix. In particular, block Toeplitz operators with blocks which are themselves Toeplitz, can be extended to bounded infinite block Toeplitz operators with Toeplitz blocks.
△ Less
Submitted 9 October, 2017; v1 submitted 6 September, 2017;
originally announced September 2017.
-
Endpoint compactness of singular integrals and perturbations of the Cauchy Integral
Authors:
Karl-Mikael Perfekt,
Sandra Pott,
Paco Villarroya
Abstract:
We prove sufficient and necessary conditions for compactness of Calderón-Zygmund operators on the endpoint from $L^{\infty }(\mathbb R)$ into ${\rm CMO}(\mathbb R)$. We use this result to prove compactness on $L^{p}(\mathbb R)$ with $1<p<\infty $ of certain perturbations of the Cauchy integral on curves with normal derivatives satisfying a ${\rm CMO}$-condition.
We prove sufficient and necessary conditions for compactness of Calderón-Zygmund operators on the endpoint from $L^{\infty }(\mathbb R)$ into ${\rm CMO}(\mathbb R)$. We use this result to prove compactness on $L^{p}(\mathbb R)$ with $1<p<\infty $ of certain perturbations of the Cauchy integral on curves with normal derivatives satisfying a ${\rm CMO}$-condition.
△ Less
Submitted 9 July, 2017;
originally announced July 2017.
-
On the spectrum of the multiplicative Hilbert matrix
Authors:
Karl-Mikael Perfekt,
Alexander Pushnitski
Abstract:
We study the multiplicative Hilbert matrix, i.e. the infinite matrix with entries $(\sqrt{mn}\log(mn))^{-1}$ for $m,n\geq2$. This matrix was recently introduced within the context of the theory of Dirichlet series, and it was shown that the multiplicative Hilbert matrix has no eigenvalues and that its continuous spectrum coincides with $[0,π]$. Here we prove that the multiplicative Hilbert matrix…
▽ More
We study the multiplicative Hilbert matrix, i.e. the infinite matrix with entries $(\sqrt{mn}\log(mn))^{-1}$ for $m,n\geq2$. This matrix was recently introduced within the context of the theory of Dirichlet series, and it was shown that the multiplicative Hilbert matrix has no eigenvalues and that its continuous spectrum coincides with $[0,π]$. Here we prove that the multiplicative Hilbert matrix has no singular continuous spectrum and that its absolutely continuous spectrum has multiplicity one. Our argument relies on the tools of spectral perturbation theory and scattering theory. Finding an explicit diagonalisation of the multiplicative Hilbert matrix remains an interesting open problem.
△ Less
Submitted 30 August, 2017; v1 submitted 4 May, 2017;
originally announced May 2017.
-
The spectra of harmonic layer potential operators on domains with rotationally symmetric conical points
Authors:
Johan Helsing,
Karl-Mikael Perfekt
Abstract:
We study the adjoint of the double layer potential associated with the Laplacian (the adjoint of the Neumann-Poincaré operator), as a map on the boundary surface $Γ$ of a domain in $\mathbb{R}^3$ with conical points. The spectrum of this operator directly reflects the well-posedness of related transmission problems across $Γ$. In particular, if the domain is understood as an inclusion with complex…
▽ More
We study the adjoint of the double layer potential associated with the Laplacian (the adjoint of the Neumann-Poincaré operator), as a map on the boundary surface $Γ$ of a domain in $\mathbb{R}^3$ with conical points. The spectrum of this operator directly reflects the well-posedness of related transmission problems across $Γ$. In particular, if the domain is understood as an inclusion with complex permittivity $ε$, embedded in a background medium with unit permittivity, then the polarizability tensor of the domain is well-defined when $(ε+1)/(ε-1)$ belongs to the resolvent set in energy norm. We study surfaces $Γ$ that have a finite number of conical points featuring rotational symmetry. On the energy space, we show that the essential spectrum consists of an interval. On $L^2(Γ)$, i.e. for square-integrable boundary data, we show that the essential spectrum consists of a countable union of curves, outside of which the Fredholm index can be computed as a winding number with respect to the essential spectrum. We provide explicit formulas, depending on the opening angles of the conical points. We reinforce our study with very precise numerical experiments, computing the energy space spectrum and the spectral measures of the polarizability tensor in two different examples. Our results indicate that the densities of the spectral measures may approach zero extremely rapidly in the continuous part of the energy space spectrum.
△ Less
Submitted 29 September, 2017; v1 submitted 5 March, 2017;
originally announced March 2017.
-
Contractive inequalities for Bergman spaces and multiplicative Hankel forms
Authors:
Frédéric Bayart,
Ole Fredrik Brevig,
Antti Haimi,
Joaquim Ortega-Cerdà,
Karl-Mikael Perfekt
Abstract:
We consider sharp inequalities for Bergman spaces of the unit disc, establishing analogues of the inequality in Carleman's proof of the isoperimetric inequality and of Weissler's inequality for dilations. By contractivity and a standard tensorization procedure, the unit disc inequalities yield corresponding inequalities for the Bergman spaces of Dirichlet series. We use these results to study weig…
▽ More
We consider sharp inequalities for Bergman spaces of the unit disc, establishing analogues of the inequality in Carleman's proof of the isoperimetric inequality and of Weissler's inequality for dilations. By contractivity and a standard tensorization procedure, the unit disc inequalities yield corresponding inequalities for the Bergman spaces of Dirichlet series. We use these results to study weighted multiplicative Hankel forms associated with the Bergman spaces of Dirichlet series, reproducing most of the known results on multiplicative Hankel forms associated with the Hardy spaces of Dirichlet series. In addition, we find a direct relationship between the two type of forms which does not exist in lower dimensions. Finally, we produce some counter-examples concerning Carleson measures on the infinite polydisc.
△ Less
Submitted 15 August, 2017; v1 submitted 24 January, 2017;
originally announced January 2017.
-
On Helson matrices: moment problems, non-negativity, boundedness, and finite rank
Authors:
Karl-Mikael Perfekt,
Alexander Pushnitski
Abstract:
We study Helson matrices (also known as multiplicative Hankel matrices), i.e. infinite matrices of the form $M(α) = \{α(nm)\}_{n,m=1}^\infty$, where $α$ is a sequence of complex numbers. Helson matrices are considered as linear operators on $\ell^2(\mathbb{N})$. By interpreting Helson matrices as Hankel matrices in countably many variables we use the theory of multivariate moment problems to show…
▽ More
We study Helson matrices (also known as multiplicative Hankel matrices), i.e. infinite matrices of the form $M(α) = \{α(nm)\}_{n,m=1}^\infty$, where $α$ is a sequence of complex numbers. Helson matrices are considered as linear operators on $\ell^2(\mathbb{N})$. By interpreting Helson matrices as Hankel matrices in countably many variables we use the theory of multivariate moment problems to show that $M(α)$ is non-negative if and only if $α$ is the moment sequence of a measure $μ$ on $\mathbb{R}^\infty$, assuming that $α$ does not grow too fast. We then characterize the non-negative bounded Helson matrices $M(α)$ as those where the corresponding moment measures $μ$ are Carleson measures for the Hardy space of countably many variables. Finally, we give a complete description of the Helson matrices of finite rank, in parallel with the classical Kronecker theorem on Hankel matrices.
△ Less
Submitted 30 August, 2017; v1 submitted 11 November, 2016;
originally announced November 2016.
-
Volterra operators on Hardy spaces of Dirichlet series
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt,
Kristian Seip
Abstract:
For a Dirichlet series symbol $g(s) = \sum_{n \geq 1} b_n n^{-s}$, the associated Volterra operator $\mathbf{T}_g$ acting on a Dirichlet series $f(s)=\sum_{n\ge 1} a_n n^{-s}$ is defined by the integral $f\mapsto -\int_{s}^{+\infty} f(w)g'(w)\,dw$. We show that $\mathbf{T}_g$ is a bounded operator on the Hardy space $\mathcal{H}^p$ of Dirichlet series with $0 < p < \infty$ if and only if the symbo…
▽ More
For a Dirichlet series symbol $g(s) = \sum_{n \geq 1} b_n n^{-s}$, the associated Volterra operator $\mathbf{T}_g$ acting on a Dirichlet series $f(s)=\sum_{n\ge 1} a_n n^{-s}$ is defined by the integral $f\mapsto -\int_{s}^{+\infty} f(w)g'(w)\,dw$. We show that $\mathbf{T}_g$ is a bounded operator on the Hardy space $\mathcal{H}^p$ of Dirichlet series with $0 < p < \infty$ if and only if the symbol $g$ satisfies a Carleson measure condition. When appropriately restricted to one complex variable, our condition coincides with the standard Carleson measure characterization of ${\operatorname{BMOA}}(\mathbb{D})$. A further analogy with classical ${\operatorname{BMO}}$ is that $\exp(c|g|)$ is integrable (on the infinite polytorus) for some $c > 0$ whenever $\mathbf{T}_g$ is bounded. In particular, such $g$ belong to $\mathcal{H}^p$ for every $p < \infty$. We relate the boundedness of $\mathbf{T}_g$ to several other ${\operatorname{BMO}}$ type spaces: ${\operatorname{BMOA}}$ in half-planes, the dual of $\mathcal{H}^1$, and the space of symbols of bounded Hankel forms. Moreover, we study symbols whose coefficients enjoy a multiplicative structure and obtain coefficient estimates for $m$-homogeneous symbols as well as for general symbols. Finally, we consider the action of $\mathbf{T}_g$ on reproducing kernels for appropriate sequences of subspaces of $\mathcal{H}^2$. Our proofs employ function and operator theoretic techniques in one and several variables; a variety of number theoretic arguments are used throughout the paper in our study of special classes of symbols $g$.
△ Less
Submitted 8 November, 2016; v1 submitted 15 February, 2016;
originally announced February 2016.
-
The essential spectrum of the Neumann--Poincare operator on a domain with corners
Authors:
Karl-Mikael Perfekt,
Mihai Putinar
Abstract:
Exploiting the homogeneous structure of a wedge in the complex plane, we compute the spectrum of the anti-linear Ahlfors-Beurling transform acting on the associated Bergman space. Consequently, the similarity equivalence between the Ahlfors-Beurling transform and the Neumann-Poincare operator provides the spectrum of the latter integral operator on a wedge. A localization technique and conformal m…
▽ More
Exploiting the homogeneous structure of a wedge in the complex plane, we compute the spectrum of the anti-linear Ahlfors-Beurling transform acting on the associated Bergman space. Consequently, the similarity equivalence between the Ahlfors-Beurling transform and the Neumann-Poincare operator provides the spectrum of the latter integral operator on a wedge. A localization technique and conformal map** lead to the first complete description of the essential spectrum of the Neumann-Poincare operator on a planar domain with corners, with respect to the energy norm of the associated harmonic field.
△ Less
Submitted 12 February, 2016; v1 submitted 13 January, 2016;
originally announced January 2016.
-
Some Hilbert Spaces related with the Dirichlet space
Authors:
Nicola Arcozzi,
Karl-Mikael Perfekt,
Pavel Mozolyako,
Stefan Richter,
Giulia Sarfatti
Abstract:
We do a preliminary study of the reproducing kernel Hilbert space having as kernel $k^d$, where $d$ is a positive integer and $k$ is the reproducing kernel of the analytic Dirichlet space.
We do a preliminary study of the reproducing kernel Hilbert space having as kernel $k^d$, where $d$ is a positive integer and $k$ is the reproducing kernel of the analytic Dirichlet space.
△ Less
Submitted 18 May, 2016; v1 submitted 23 December, 2015;
originally announced December 2015.
-
Weak product spaces of Dirichlet series
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
Let $\mathscr{H}^2$ denote the space of ordinary Dirichlet series with square summable coefficients, and let $\mathscr{H}^2_0$ denote its subspace consisting of series vanishing at $+\infty$. We investigate the weak product spaces $\mathscr{H}^2\odot\mathscr{H}^2$ and $\mathscr{H}^2_0\odot\mathscr{H}^2_0$, finding that several pertinent problems are more tractable for the latter space. This surpri…
▽ More
Let $\mathscr{H}^2$ denote the space of ordinary Dirichlet series with square summable coefficients, and let $\mathscr{H}^2_0$ denote its subspace consisting of series vanishing at $+\infty$. We investigate the weak product spaces $\mathscr{H}^2\odot\mathscr{H}^2$ and $\mathscr{H}^2_0\odot\mathscr{H}^2_0$, finding that several pertinent problems are more tractable for the latter space. This surprising phenomenon is related to the fact that $\mathscr{H}^2_0\odot\mathscr{H}^2_0$ does not contain the infinite-dimensional subspace of $\mathscr{H}^2$ of series which lift to linear functions on the infinite polydisc.
The problems considered stem from questions about the dual spaces of these weak product spaces, and are therefore naturally phrased in terms of multiplicative Hankel forms. We show that there are bounded, even Schatten class, multiplicative Hankel forms on $\mathscr{H}^2_0 \times \mathscr{H}^2_0$ whose analytic symbols are not in $\mathscr{H}^2$. Based on this result we examine Nehari's theorem for such Hankel forms. We define also the skew product spaces associated with $\mathscr{H}^2\odot\mathscr{H}^2$ and $\mathscr{H}^2_0\odot\mathscr{H}^2_0$, with respect to both half-plane and polydisc differentiation, the latter arising from Bohr's point of view. In the process we supply square function characterizations of the Hardy spaces $\mathscr{H}^p$, for $0 < p < \infty$, from the viewpoints of both types of differentiation. Finally we compare the skew product spaces to the weak product spaces, leading naturally to an interesting Schur multiplier problem.
△ Less
Submitted 23 September, 2016; v1 submitted 7 October, 2015;
originally announced October 2015.
-
Uniqueness for discrete Schrodinger evolutions
Authors:
Philippe Jaming,
Yurii Lyubarskii,
Eugenia Malinnikova,
Karl-Mikael Perfekt
Abstract:
We prove that if a solution of the discrete time-dependent Schrödinger equation with bounded real potential decays fast at two distinct times then the solution is trivial. For the free Shrödinger operator and for operators with compactly supported time-independent potentials a sharp analog of the Hardy uncertainty principle is obtained, using an argument based on the theory of entire functions. Lo…
▽ More
We prove that if a solution of the discrete time-dependent Schrödinger equation with bounded real potential decays fast at two distinct times then the solution is trivial. For the free Shrödinger operator and for operators with compactly supported time-independent potentials a sharp analog of the Hardy uncertainty principle is obtained, using an argument based on the theory of entire functions. Logarithmic convexity of weighted norms is employed in the case of general real-valued time-dependent bounded potentials. In the latter case the result is not optimal.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
Operator-Lipschitz estimates for the singular value functional calculus
Authors:
Fredrik Andersson,
Marcus Carlsson,
Karl-Mikael Perfekt
Abstract:
We consider a functional calculus for compact operators, acting on the singular values rather than the spectrum, which appears frequently in applied mathematics. Necessary and sufficient conditions for this singular value functional calculus to be Lipschitz-continuous with respect to the Hilbert-Schmidt norm are given. We also provide sharp constants.
We consider a functional calculus for compact operators, acting on the singular values rather than the spectrum, which appears frequently in applied mathematics. Necessary and sufficient conditions for this singular value functional calculus to be Lipschitz-continuous with respect to the Hilbert-Schmidt norm are given. We also provide sharp constants.
△ Less
Submitted 17 March, 2015;
originally announced March 2015.
-
On M-ideals and o-O type spaces
Authors:
Karl-Mikael Perfekt
Abstract:
We consider pairs of Banach spaces (M_0, M) such that M_0 is defined in terms of a little-o condition, and M is defined by the corresponding big-O condition. The construction is general and pairs include function spaces of vanishing and bounded mean oscillation, vanishing weighted and weighted spaces of functions or their derivatives, Möbius invariant spaces of analytic functions, Lipschitz-Hölder…
▽ More
We consider pairs of Banach spaces (M_0, M) such that M_0 is defined in terms of a little-o condition, and M is defined by the corresponding big-O condition. The construction is general and pairs include function spaces of vanishing and bounded mean oscillation, vanishing weighted and weighted spaces of functions or their derivatives, Möbius invariant spaces of analytic functions, Lipschitz-Hölder spaces, etc. It has previously been shown that the bidual M_0** of M_0 is isometrically isomorphic with M. The main result of this paper is that M_0 is an M-ideal in M. This has several useful consequences: M_0 has Pelczynskis properties (u) and (V), M_0 is proximinal in M, and M_0* is a strongly unique predual of M, while M_0 itself never is a strongly unique predual.
△ Less
Submitted 15 September, 2015; v1 submitted 17 December, 2014;
originally announced December 2014.
-
The multiplicative Hilbert matrix
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt,
Kristian Seip,
Aristomenis G. Siskakis,
Dragan Vukotić
Abstract:
It is observed that the infinite matrix with entries $(\sqrt{mn}\log (mn))^{-1}$ for $m, n\ge 2$ appears as the matrix of the integral operator $\mathbf{H}f(s):=\int_{1/2}^{+\infty}f(w)(ζ(w+s)-1)dw$ with respect to the basis $(n^{-s})_{n\ge 2}$; here $ζ(s)$ is the Riemann zeta function and $H$ is defined on the Hilbert space ${\mathcal H}^2_0$ of Dirichlet series vanishing at $+\infty$ and with sq…
▽ More
It is observed that the infinite matrix with entries $(\sqrt{mn}\log (mn))^{-1}$ for $m, n\ge 2$ appears as the matrix of the integral operator $\mathbf{H}f(s):=\int_{1/2}^{+\infty}f(w)(ζ(w+s)-1)dw$ with respect to the basis $(n^{-s})_{n\ge 2}$; here $ζ(s)$ is the Riemann zeta function and $H$ is defined on the Hilbert space ${\mathcal H}^2_0$ of Dirichlet series vanishing at $+\infty$ and with square-summable coefficients. This infinite matrix defines a multiplicative Hankel operator according to Helson's terminology or, alternatively, it can be viewed as a bona fide (small) Hankel operator on the infinite-dimensional torus ${\Bbb T}^{\infty}$. By analogy with the standard integral representation of the classical Hilbert matrix, this matrix is referred to as the multiplicative Hilbert matrix. It is shown that its norm equals $π$ and that it has a purely continuous spectrum which is the interval $[0,π]$; these results are in agreement with known facts about the classical Hilbert matrix. It is shown that the matrix $(m^{1/p} n^{(p-1)/p}\log (mn))^{-1}$ has norm $π/\sin(π/p)$ when acting on $\ell^p$ for $1<p<\infty$. However, the multiplicative Hilbert matrix fails to define a bounded operator on ${\mathcal H}^p_0$ for $p\neq 2$, where ${\mathcal H}^p_0$ are $H^p$ spaces of Dirichlet series. It remains an interesting problem to decide whether the analytic symbol $\sum_{n\ge 2} (\log n)^{-1} n^{-s-1/2}$ of the multiplicative Hilbert matrix arises as the Riesz projection of a bounded function on the infinite-dimensional torus ${\Bbb T}^\infty$.
△ Less
Submitted 2 July, 2016; v1 submitted 26 November, 2014;
originally announced November 2014.
-
Failure of Nehari's Theorem for Multiplicative Hankel Forms in Schatten Classes
Authors:
Ole Fredrik Brevig,
Karl-Mikael Perfekt
Abstract:
Ortega-Cerdà -- Seip demonstrated that there are bounded multiplicative Hankel forms which do not arise from bounded symbols. On the other hand, when such a form is in the Hilbert-Schmidt class $\mathcal{S}_2$, Helson showed that it has a bounded symbol. The present work investigates forms belonging to the Schatten classes between these two cases. It is shown that for every…
▽ More
Ortega-Cerdà -- Seip demonstrated that there are bounded multiplicative Hankel forms which do not arise from bounded symbols. On the other hand, when such a form is in the Hilbert-Schmidt class $\mathcal{S}_2$, Helson showed that it has a bounded symbol. The present work investigates forms belonging to the Schatten classes between these two cases. It is shown that for every $p>(1-\logπ/\log{4})^{-1}$ there exist multiplicative Hankel forms in the Schatten class $\mathcal{S}_p$ which lack bounded symbols. The lower bound on $p$ is in a certain sense optimal when the symbol of the multiplicative Hankel form is a product of homogeneous linear polynomials.
△ Less
Submitted 7 September, 2015; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Weak compactness of operators acting on o-O type spaces
Authors:
Karl-Mikael Perfekt
Abstract:
We consider operators T : M_0 -> Z and T : M -> Z, where Z is a Banach space and (M_0, M) is a pair of Banach spaces belonging to a general construction in which M is defined by a "big-O" condition and M_0 is given by the corresponding "little-o" condition. Prototype examples of such spaces M are given by $\ell^\infty$, weighted spaces of functions or their derivatives, bounded mean oscillation, L…
▽ More
We consider operators T : M_0 -> Z and T : M -> Z, where Z is a Banach space and (M_0, M) is a pair of Banach spaces belonging to a general construction in which M is defined by a "big-O" condition and M_0 is given by the corresponding "little-o" condition. Prototype examples of such spaces M are given by $\ell^\infty$, weighted spaces of functions or their derivatives, bounded mean oscillation, Lipschitz-Hölder spaces, and many others. The main result characterizes the weakly compact operators T in terms of a certain norm naturally attached to M, weaker than the M-norm, and shows that weakly compact operators T : M_0 -> Z are already quite close to being completely continuous. Further, we develop a method to extract c_0-subsequences from sequences in M_0. Applications are given to the characterizations of the weakly compact composition and Volterra-type integral operators on weighted spaces of analytic functions, BMOA, VMOA, and the Bloch space.
△ Less
Submitted 18 December, 2014; v1 submitted 2 May, 2014;
originally announced May 2014.
-
Trace ideal criteria for embeddings and composition operators on model spaces
Authors:
A. Aleman,
Yu. Lyubarskii,
E. Malinnikova,
K. -M. Perfekt
Abstract:
Let $K_θ$ be a model space generated by an inner function $θ$. We study the Schatten class membership of embeddings $I : K_θ\to L^2(μ)$, $μ$ a positive measure, and of composition operators $C_φ:K_θ\to H^2(\mathbb D)$ with a holomprphic function $φ:\mathbb D\rightarrow \mathbb D$. In the case of one-component inner functions $θ$ we show that the problem can be reduced to the study of natural exten…
▽ More
Let $K_θ$ be a model space generated by an inner function $θ$. We study the Schatten class membership of embeddings $I : K_θ\to L^2(μ)$, $μ$ a positive measure, and of composition operators $C_φ:K_θ\to H^2(\mathbb D)$ with a holomprphic function $φ:\mathbb D\rightarrow \mathbb D$. In the case of one-component inner functions $θ$ we show that the problem can be reduced to the study of natural extensions of $I$ and $C_φ$ to the Hardy-Smirnov space $E^2(D)$ in some domain $D\supset \mathbb D$. In particular, we obtain a characterization of Schatten membership of $C_φ$ in terms of Nevanlinna counting function. By example this characterization does not hold true for general $φ$.
△ Less
Submitted 9 July, 2013;
originally announced July 2013.
-
Spectral bounds for the Neumann-Poincaré operator on planar domains with corners
Authors:
Karl-Mikael Perfekt,
Mihai Putinar
Abstract:
The boundary double layer potential, or the Neumann-Poincare operator, is studied on the Sobolev space of order 1/2 along the boundary, coinciding with the space of charges giving rise to double layer potentials with finite energy in the whole space. Poincare's program of studying the spectrum of the boundary double layer potential is developed in complete generality, on closed Lipschitz hypersurf…
▽ More
The boundary double layer potential, or the Neumann-Poincare operator, is studied on the Sobolev space of order 1/2 along the boundary, coinciding with the space of charges giving rise to double layer potentials with finite energy in the whole space. Poincare's program of studying the spectrum of the boundary double layer potential is developed in complete generality, on closed Lipschitz hypersurfaces in Euclidean space. Furthermore, the Neumann-Poincare operator is realized as a singular integral transform bearing similarities to the Beurling-Ahlfors transform in 2D. As an application, bounds for the spectrum of the Neumann-Poincare operator are derived from recent results in quasi-conformal map** theory, in the case of planar curves with corners.
△ Less
Submitted 18 September, 2012;
originally announced September 2012.
-
On the polarizability and capacitance of the cube
Authors:
Johan Helsing,
Karl-Mikael Perfekt
Abstract:
An efficient integral equation based solver is constructed for the electrostatic problem on domains with cuboidal inclusions. It can be used to compute the polarizability of a dielectric cube in a dielectric background medium at virtually every permittivity ratio for which it exists. For example, polarizabilities accurate to between five and ten digits are obtained (as complex limits) for negative…
▽ More
An efficient integral equation based solver is constructed for the electrostatic problem on domains with cuboidal inclusions. It can be used to compute the polarizability of a dielectric cube in a dielectric background medium at virtually every permittivity ratio for which it exists. For example, polarizabilities accurate to between five and ten digits are obtained (as complex limits) for negative permittivity ratios in minutes on a standard workstation. In passing, the capacitance of the unit cube is determined with unprecedented accuracy. With full rigor, we develop a natural mathematical framework suited for the study of the polarizability of Lipschitz domains. Several aspects of polarizabilities and their representing measures are clarified, including limiting behavior both when approaching the support of the measure and when deforming smooth domains into a non-smooth domain. The success of the mathematical theory is achieved through symmetrization arguments for layer potentials.
△ Less
Submitted 14 June, 2012; v1 submitted 27 March, 2012;
originally announced March 2012.
-
Duality and Distance Formulas in Spaces Defined by Means of Oscillation
Authors:
Karl-Mikael Perfekt
Abstract:
For the classical space of functions with bounded mean oscillation, it is well known that VMO** = BMO and there are many characterizations of the distance from a function f in BMO to VMO. When considering the Bloch space, results in the same vein are available with respect to the little Bloch space. In this paper such duality results and distance formulas are obtained by pure functional analysis.…
▽ More
For the classical space of functions with bounded mean oscillation, it is well known that VMO** = BMO and there are many characterizations of the distance from a function f in BMO to VMO. When considering the Bloch space, results in the same vein are available with respect to the little Bloch space. In this paper such duality results and distance formulas are obtained by pure functional analysis. Applications include general Möbius invariant spaces such as Q_K-spaces, weighted spaces, Lipschitz-Hölder spaces and rectangular BMO of several variables.
△ Less
Submitted 12 December, 2011; v1 submitted 31 October, 2011;
originally announced October 2011.