Searcharxiv⌕ Search

arXiv subjects

Karl-Mikael Perfekt

Publications and source records attributed to Karl-Mikael Perfekt.

48 records · Page 3Linked to original sources

Weak product spaces of Dirichlet series

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.

math.FA↗

The multiplicative Hilbert matrix

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$.

math.FA↗

The essential spectrum of the Neumann--Poincare operator on a domain with corners

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 mapping 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.

math.FA↗

On M-ideals and o-O type spaces

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.

math.FA↗

Failure of Nehari's Theorem for Multiplicative Hankel Forms in Schatten Classes

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.

math.FA↗

Uniqueness for discrete Schrodinger evolutions

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.

math.AP↗

Operator-Lipschitz estimates for the singular value functional calculus

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.

math.FA↗

Weak compactness of operators acting on o-O type spaces

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.

math.FA↗

Spectral bounds for the Neumann-Poincaré operator on planar domains with corners

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 mapping theory, in the case of planar curves with corners.

math.FA↗

On the polarizability and capacitance of the cube

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.

physics.comp-ph↗

Duality and Distance Formulas in Spaces Defined by Means of Oscillation

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.

math.FA↗