We study Hardy spaces $H^p_ν$ of the conjugate Beltrami equation $\bar{\partial} f=ν\bar{\partial f}$ over Dini-smooth finitely connected domains, for real contractive $ν\in W^{1,r}$ with $r>2$, in the range $r/(r-1)<p<\infty$. We develop a theory of conjugate functions and apply it to solve Dirichlet and Neumann problems for the conductivity equation $\nabla.(σ\nabla u)=0$ where $σ=(1-ν)/(1+ν)$. In particular situations, we also consider some density properties of traces of solutions together with boundary approximation issues.
We obtain new results on Fourier multipliers for Dirichlet-Hardy spaces. As a consequence, we establish a Littlewood-Paley type inequality which yields a simple proof that the Dirichlet monomials form a Schauder basis for p>1.
In this paper, we completely characterize the order boundedness of weighted composition operators between different weighted Dirichlet spaces and different derivative Hardy spaces.
We characterize the space of multipliers from the Hardy space of Dirichlet series $\mathcal H_p$ into $\mathcal H_q$ for every $1 \leq p,q \leq \infty$. For a fixed Dirichlet series, we also investigate some structural properties of its associated multiplication operator. In particular, we study the norm, the essential norm, and the spectrum for an operator of this kind. We exploit the existing natural identification of spaces of Dirichlet series with spaces of holomorphic functions in infinitely many variables and apply several methods from complex and harmonic analysis to obtain our results.…
This paper provides a complete characterization of quasicontractive $C_0$-semigroups on Hardy and Dirichlet space with a prescribed generator of the form $Af=Gf'$. We show that such semigroups are semigroups of composition operators and we give simple sufficient and necessary condition on $G$. Our techniques are based on ideas from semigroup theory, such as the use of numerical ranges.
Given a Banach space $X$ and $1 \leq p \leq \infty$, it is well known that the two Hardy spaces $H_p(\mathbb{T},X)$ ($\mathbb{T}$ the torus) and $H_p(\mathbb{D},X)$ ($\mathbb{D}$ the disk) have to be distinguished carefully. This motivates us to define and study two different types of Hardy spaces $\mathcal{H}_p(X)$ and $\mathcal{H}^+_p(X)$ of Dirichlet series $\sum_n a_n n^{-s}$ with coefficients in $X$. We characterize them in terms of summing operators as well as holomorphic functions in infinitely many variables, and prove that they coincide whenever $X$ has the analytic Radon-Nikodým Prop…
A range of Hardy-like spaces of ordinary Dirichlet series, called the Dirichlet-Hardy spaces $\Hp^p$, $p \geq 1$, have been the focus of increasing interest among researchers following a paper of Hedenmalm, Lindqvist and Seip in Duke Math. J 86 (1997), 1-37. The Dirichlet series in these spaces converge on a certain half-plane, where one may also define the classical Hardy spaces $H^p$. In this paper, we compare the boundary behaviour of elements in $\Hp^p$ and $H^p$. Moreover, Carleson measures of the spaces $\Hp^p$ are studied. Our main result shows that for certain cases the following state…
We revisit Hardy's inequality in the scope of regular Dirichlet forms following an analytical method. We shall give an alternative necessary and sufficient condition for the occurrence of Hardy's inequality. A special emphasis will be given for the case where the Dirichlet form under consideration is strongly local, extending therefore some known results in the Euclidean case.
We studied complex interpolation noncommutative Hardy space associated with semi-finite von Neumann algebra and extend Pisier's interpolation theorem for this case.
A new and simple proof of the embedding of the Hardy--Hilbert space of Dirichlet series into a conformally invariant Hardy space of the half-plane is presented, and the optimal constant of the embedding is computed.
Hartman proved in 1939 that the width of the largest possible strip in the complex plane, on which a Dirichlet series $\sum_n a_n n^{-s}$ is uniformly a.s.-sign convergent (i.e., $\sum_n \varepsilon_n a_n n^{-s}$ converges uniformly for almost all sequences of signs $\varepsilon_n =\pm 1$) but does not convergent absolutely, equals $1/2$. We study this result from a more modern point of view within the framework of so called Hardy-type Dirichlet series with values in a Banach space.
Given a frequency $λ$, we study general Dirichlet series $\sum a_n e^{-λ_n s}$. First, we give a new condition on $λ$ which ensures that a somewhere convergent Dirichlet series defining a bounded holomorphic function in the right half-plane converges uniformly in this half-plane, improving classical results of Bohr and Landau. Then, following recent works of Defant and Schoolmann, we investigate Hardy spaces of these Dirichlet series. We get general results on almost sure convergence which have an harmonic analysis flavour. Nevertheless, we also exhibit examples showing that it seems hard to g…
The aim of this paper is to study when two composition operators on the Hilbert space of Dirichlet series with square summable coefficients belong to the same component or when their difference is compact. As a corollary we show that if a linear combination of composition operators with polynomial symbols of degree at most 2 is compact, then each composition operator is compact.
Given a frequency $λ=(λ_n)$, we study when almost all vertical limits of a $\mathcal{H}_1$-Dirichlet series $\sum a_n e^{-λ_ns}$ are Riesz-summable almost everywhere on the imaginary axis. Equivalently, this means to investigate almost everywhere convergence of Fourier series of $H_1$-functions on so-called $λ$-Dirichlet groups, and as our main technical tool we need to invent a weak-type $(1, \infty)$ Hardy-Littlewood maximal operator for such groups. Applications are given to $H_1$-functions on the infinite dimensional torus $\mathbb{T}^\infty$, ordinary Dirichlet series $\sum a_n n^{-s}$, a…
The main purpose of this article is to survey on some key elements of a recent $\mathcal{H}_p$-theory of general Dirichlet series $\sum a_n e^{-λ_{n}s}$, which was mainly inspired by the work of Bayart and Helson on ordinary Dirichlet series $\sum a_n n^{-s}$. In view of an ingenious identification of Bohr, the $\mathcal{H}_p$-theory of ordinary Dirichlet series can be seen as a sub-theory of Fourier analysis on the infinite dimensional torus $\mathbb{T}^\infty$. Extending these ideas, the $\mathcal{H}_p$-theory of $λ$-Dirichlet series is build as a sub-theory of Fourier analysis on what we ca…
By using the Schur test, we give some upper and lower estimates on the norm of a composition operator on $\mathcal{H}^2$, the space of Dirichlet series with square summable coefficients, for the inducing symbol $φ(s)=c_1+c_{q}q^{-s}$ where $q\geq 2$ is a fixed integer. We also give an estimate on the approximation numbers of such an operator.
In this paper, we investigate when weighted composition operators acting on Dirichlet spaces $\mathcal{D}(\mathbb{B}_{N})$ are complex symmetric with respect to some special conjugations, and provide some characterizations of Hermitian weighted composition operators on $\mathcal{D}(\mathbb{B}_{N})$. Furthermore, we give a sufficient and necessary condition for $J$-symmetric weighted composition operators on Hardy spaces $H^2(\mathbb{B}_{N})$ to be unitary or Hermitian, then some new examples of complex symmetric weighted composition operators on $H^2(\mathbb{B}_{N})$ are obtained. We also disc…
We study the Hardy space of translated Dirichlet series $\mathcal{H}_{+}$. It consists on those Dirichlet series $\sum a_n n^{-s}$ such that for some (equivalently, every) $1 \leq p < \infty$, the translation $\sum{a_{n}}n^{-(s+\frac{1}σ)}$ belongs to the Hardy space $\mathcal{H}^{p}$ for every $σ>0$. We prove that this set, endowed with the topology induced by the seminorms $\left\{\Vert\cdot\Vert_{2,k}\right\}_{k\in\mathbb{N}}$ (where $\Vert\sum{a_{n}n^{-s}}\Vert_{2,k}$ is defined as $\big\Vert\sum{a_n n^{-(s+\frac{1}{k})}} \big\Vert_{\mathcal{H}^{2}}$), is a Fréchet space which is Schwartz …
We consider continuous semigroups of analytic functions $\{Φ_t\}_{t\geq0}$ in the so-called Gordon-Hedenmalm class $\mathcal{G}$, that is, the family of analytic functions $Φ:\mathbb C_+\to \mathbb C_+$ giving rise to bounded composition operators in the Hardy space of Dirichlet series $\mathcal{H}^2$. We show that there is a one-to-one correspondence between continuous semigroups $\{Φ_{t}\}_{t\geq0}$ in the class $\mathcal G$ and strongly continuous semigroups of composition operators $\{T_t\}_{t\geq0}$, where $T_t(f)=f\circΦ_t$, $f\in\mathcal{H}^2$. We extend these results for the range $p\i…
We consider fractional powers of non-densely defined non-negative operators in Banach spaces defined by means of the Balakrishnan operator. Under mild assumptions on the operator we show that the fractional powers can partially be obtained by a generalised Dirichlet-to-Neumann operator for a Bessel-type differential equation.
The Hardy-Rellich inequality given here generalizes a Hardy inequality of Davies (1984), from the case of the Dirichlet Laplacian of a region $Ω\subseteq\real^N$ to that of the higher order polyharmonic operators with Dirichlet boundary conditions. The inequality yields some immediate spectral information for the polyharmonic operators and also bounds on the trace of the associated semigroups and resolvents.
We consider the Dirichlet-to-Neumann operator associated to a strictly elliptic operator on the space $\mathrm{C}(\partial M)$ of continuous functions on the boundary $\partial M$ of a compact manifold $\overline{M}$ with boundary. We prove that it generates an analytic semigroup of angle $\fracπ{2}$. This yields that the corresponding strictly elliptic operator with Wentzell boundary conditions generates a compact and analytic semigroups of angle $\fracπ{2}$ on the space $\mathrm{C}(\overline{M})$.
In this paper, we study the Dirichlet-to-Neumann operators on infinite subgraphs of graphs. For an infinite graph, we prove Cheeger-type estimates for the bottom spectrum of the Dirichlet-to-Neumann operator, and the higher order Cheeger estimates for higher order eigenvalues of the Dirichlet-to-Neumann operator.
For $0<p<\infty $, the Dirichlet-type space $\Dp$ consists of those analytic functions $f$ in the unit disc $\D$ such that $\int_\D|f'(z)|\sp p(1-|z|)^{p-1}\,dA(z)<\infty$. Motivated by operator theoretic differences between the Hardy space $H^p$ and $\Dp$, the integral operator {displaymath} T_g(f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ,\quad z\in\D, {displaymath} acting from one of these spaces to another is studied. In particular, it is shown, on one hand, that $T_g:\Dp\to H^p$ is bounded if and only if $g\in\BMOA$ when $0<p\le 2$, and, on the other hand, that this equivalence is very far from bein…
We fully describe the doubly stochastic orbit of a self-adjoint element in the noncommutative $L_1$-space affiliated with a semifinite von Neumann algebra, which answers a problem posed by Alberti and Uhlmann in the 1980s, extending several results in the literature. It follows further from our methods that, for any $σ$-finite von Neumann algebra $\mathcal{M}$ equipped a semifinite infinite faithful normal trace $τ$, there exists a self-adjoint operator $y\in L_1(\mathcal{M},τ)$ such that the doubly stochastic orbit of $y$ does not coincide with the orbit of $y$ in the sense of Hardy--Littlewo…
We consider the spectral problems for the Sturm-Liouville operator generated by the Dirichlet, Neumann, Dirichlet-Neumann and Neumann-Dirichlet conditions. The necessary and sufficient condition for the coincidence of the spectrum of the Dirichlet-Neumann and Neumann-Dirichlet problems is proved. Also the necessary and sufficient condition for the coincidence of the spectrum, except zero, of the Dirichlet and Neumann problems is proved. An application to periodic and anti-periodic problems is given.
We prove the equivalence of Hardy- and Sobolev-type inequalities, certain uniform bounds on the heat kernel and some spectral regularity properties of the Neumann Laplacian associated with an arbitrary region of finite measure in Euclidean space. We also prove that if one perturbs the boundary of the region within a uniform Hölder category then the eigenvalues of the Neumann Laplacian change by a small and explicitly estimated amount. AMS subject classifications: 35P15, 35J25, 47A75, 47B25, 26D10, 46E35. Keywords: Neumann Laplacian, Sobolev inequalities, Hardy inequalities, spectral stability,…
The Dirichlet-to-Neumann map associated to an elliptic partial differential equation becomes multivalued when the underlying Dirichlet problem is not uniquely solvable. The main objective of this paper is to present a systematic study of the Dirichlet-to-Neumann map and its inverse, the Neumann-to-Dirichlet map, in the framework of linear relations in Hilbert spaces. Our treatment is inspired by abstract methods from extension theory of symmetric operators, utilizes the general theory of linear relations and makes use of some deep results on the regularity of the solutions of boundary value pr…
In this paper, we extend the classical Bohr's inequality to the setting of the non-commutative Hardy space $H^1$ associated with a semifinite von Neumann algebra. As a consequence, we obtain Bohr's inequality for operators in the von Neumann-Schatten class $\cl C_1$ and square matrices of any finite order. Interestingly, we establish that the optimal bound for $r$ in the above mentioned Bohr's inequality concerning von Neumann-Shcatten class is 1/3 whereas it is 1/2 in the case of $2\times 2$ matrices and reduces to $\sqrt{2}-1$ for the case of $3\times 3$ matrices. We also obtain a generaliza…
In 2015, Yanni Chen, Don Hadwin and Junhao Shen proved a noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $% α$ on a tracial von Neumann algebra $\left( \mathcal{M},τ\right) $ where $α$ is $\left\Vert \cdot \right\Vert _{1}$-dominating with respect to $τ$. In the paper, we first define a class of norms $% N_{Δ}\left( \mathcal{M},τ\right) $ on $\mathcal{M}$, called determinant, normalized, unitarily invariant continuous norms on $\mathcal{M}$. If $α\in N_{Δ}\left( \mathcal{M},τ\right) $, then there exists a faithful normal tracial state $ρ$ on $\mathcal{M}…
We present some open problems and describe briefly some possible research directions in the emerging theory of Hardy spaces of Dirichlet series and their intimate counterparts, Hardy spaces on the infinite-dimensional torus. Links to number theory are emphasized throughout the paper.
We consider boundary conditions of self-adjoint banded Toeplitz matrices. We ask if boundary conditions exist for banded self-adjoint Toeplitz matrices which satisfy operator inequalities of Dirichlet-Neumann bracketing type. For a special class of banded Toeplitz matrices including integer powers of the discrete Laplacian we find such boundary conditions. Moreover, for this class we give a lower bound on the spectral gap above the lowest eigenvalue.
The classical concept of $Q$-functions associated to symmetric and selfadjoint operators due to M.G. Krein and H. Langer is extended in such a way that the Dirichlet-to-Neumann map in the theory of elliptic differential equations can be interpreted as a generalized $Q$-function. For couplings of uniformly elliptic second order differential expression on bounded and unbounded domains explicit Krein type formulas for the difference of the resolvents and trace formulas in an $H^2$-framework are obtained.