Given a quasisymmetric automorphism $\gamma$ of the unit circle $𝕋$ we define and study a modification $P_{\gamma }$ of the classical Poisson integral operator in the case of the unit disk $𝔻$. The modification is done by means of the generalized Fourier coefficients of $\gamma$. For a Lebesgue’s integrable complexvalued function $f$ on $𝕋$, $P_{\gamma }\left[f\right]$ is a complex-valued harmonic function in $𝔻$ and it coincides with the classical Poisson integral of $f$ provided $\gamma$ is the identity mapping on $𝕋$. Our considerations are motivated by...

We give a quasiconformal version of the proof for the classical Lindelof theorem: Let $f$ map the unit disk $𝔻$ conformally onto the inner domain of a Jordan curve $𝒞$: Then $𝒞$ is smooth if and only if arg $f^{\text{'}}\left(z\right)$ has a continuous extension to $\overline{𝔻}$. Our proof does not use the Poisson integral representation of harmonic functions in the unit disk.

In 1984 J. Clunie and T. Sheil-Small proved ([2, Corollary 5.8]) that for any complex-valued and sense-preserving injective harmonic mapping $F$ in the unit disk $𝔻$, if $F\left(𝔻\right)$ is a convex domain, then the inequality $|G\left(z_2\right)-G\left(z_1\right)|<|H\left(z_2\right)-H\left(z_1\right)|$ holds for all distinct points $z_1,z_2\in 𝔻$. Here $H$ and $G$ are holomorphic mappings in $𝔻$ determined by $F=H+\overline{G}$, up to a constant function. We extend this inequality by replacing the unit disk by an arbitrary nonempty domain $\Omega$ in $ℂ$ and improve it provided $F$ is additionally a quasiconformal mapping...

A 2p-times continuously differentiable complex-valued function f = u + iv in a domain D ⊆ ℂ is p-harmonic if f satisfies the p-harmonic equation ${\Delta }^{p}f=0$, where p (≥ 1) is a positive integer and Δ represents the complex Laplacian operator. If Ω ⊂ ℂⁿ is a domain, then a function $f:\Omega \to {ℂ}^m$ is said to be p-harmonic in Ω if each component function $f_i$ (i∈ 1,...,m) of $f=(f₁,...,f_m)$ is p-harmonic with respect to each variable separately. In this paper, we prove Landau and Bloch’s theorem for a class of p-harmonic mappings...

Let n ≥ 1, d = 2n, and let (x,y) ∈ ℝⁿ × ℝⁿ be a generic point in ℝ²ⁿ. The twisted Laplacian $L=-1/2{\sum }_{j=1}^n[({\partial }_{x_j}+i{y}_j)²+({\partial }_{y_j}-i{x}_j)²]$ has the spectrum n + 2k = λ²: k a nonnegative integer. Let $P_{\lambda }$ be the spectral projection onto the (infinite-dimensional) eigenspace. We find the optimal exponent ϱ(p) in the estimate $\left|\right|P_{\lambda }{u\left|\right|}_{L^p\left({ℝ}^d\right)}\lesssim {\lambda }^{\varrho \left(p\right)}{\left|\right|u\left|\right|}_{L²\left({ℝ}^d\right)}$ for all p ∈ [2,∞], improving previous partial results by Ratnakumar, Rawat and Thangavelu, and by Stempak and Zienkiewicz. The expression for ϱ(p) is ϱ(p) = 1/p -1/2 if 2 ≤ p ≤ 2(d+1)/(d-1), ϱ(p) = (d-2)/2 - d/p...

Relations between spectral synthesis in the Fourier algebra A(G) of a compact group G and the concept of operator synthesis due to Arveson have been studied in the literature. For an A(G)-submodule X of VN(G), X-synthesis in A(G) has been introduced by E. Kaniuth and A. Lau and studied recently by the present authors. To any such X we associate a $V^{\infty }\left(G\right)$-submodule X̂ of ℬ(L²(G)) (where $V^{\infty }\left(G\right)$ is the weak-* Haagerup tensor product $L^{\infty }\left(G\right){\otimes }_{w*h}{L}^{\infty }\left(G\right)$), define the concept of X̂-operator synthesis and prove that a...

Let ϕ: [0,1] → [0,1] be a nondecreasing continuous function such that ϕ(x) > x for all x ∈ (0,1). Let the operator $V_{\varphi }:f\left(x\right)\mapsto {\int }_0^{\varphi \left(x\right)}f\left(t\right)dt$ be defined on L₂[0,1]. We prove that $V_{\varphi }$ has a finite number of nonzero eigenvalues if and only if ϕ(0) > 0 and ϕ(1-ε) = 1 for some 0 < ε < 1. Also, we show that the spectral trace of the operator $V_{\varphi }$ always equals 1.

We consider operators acting in the space C(X) (X is a compact topological space) of the form $Au\left(x\right)=\left({\sum }_{k=1}^N{e}^{{\phi }_k}{T}_{{\alpha }_k}\right)u\left(x\right)={\sum }_{k=1}^N{e}^{{\phi }_k\left(x\right)}u\left({\alpha }_k\left(x\right)\right)$, u ∈ C(X), where ${\phi }_k\in C\left(X\right)$ and ${\alpha }_k:X\to X$ are given continuous mappings (1 ≤ k ≤ N). A new formula on the logarithm of the spectral radius r(A) is obtained. The logarithm of r(A) is defined as a nonlinear functional λ depending on the vector of functions $\phi ={\left({\phi }_k\right)}_{k=1}^N$. We prove that $ln\left(r\left(A\right)\right)=\lambda \left(\phi \right)=ma{x}_{\nu \in Mes}{\sum }_{k=1}^N{\int }_X{\phi }_{k}d{\nu }_k-\lambda *\left(\nu \right)$, where Mes is the set of all probability vectors of measures $\nu ={\left({\nu }_k\right)}_{k=1}^N$ on X × 1,..., N and λ* is some convex lower-semicontinuous functional on...

The aim of this work is to answer positively a more general question than the following which is due to T. Sheil-Small: Does the harmonic extension in the open unit disc of a mapping f from the unit circle into itself of the form $f\left(e^{it}\right)=e^{i\phi \left(t\right)}$, $0\le t\le 2\pi$ where $\phi$ is a continuously non-decreasing function that satisfies $\phi \left(2\pi \right)-\phi \left(0\right)=2N\pi$, assume every value finitely many times in the disc?

We consider the class ${\mathscr{H}}_0$ of sense-preserving harmonic functions $f=h+\overline{g}$ defined in the unit disk $\left|z\right|<1$ and normalized so that $h\left(0\right)=0=h^{\text{'}}\left(0\right)-1$ and $g\left(0\right)=0=g^{\text{'}}\left(0\right)$, where $h$ and $g$ are analytic in the unit disk. In the first part of the article we present two classes ${𝒫}_H^0\left(\alpha \right)$ and ${𝒢}_H^0\left(\beta \right)$ of functions from ${\mathscr{H}}_0$ and show that if $f\in {𝒫}_H^0\left(\alpha \right)$ and $F\in {𝒢}_H^0\left(\beta \right)$, then the harmonic convolution is a univalent and close-to-convex harmonic function in the unit disk provided certain conditions for parameters $\alpha$ and $\beta$ are satisfied. In the second part we study the harmonic sections...

We study local reflections ${\varphi }_{\sigma }$ with respect to a curve $\sigma$ in a Riemannian manifold and prove that $\sigma$ is a geodesic if ${\varphi }_{\sigma }$ is a harmonic map. Moreover, we prove that the Riemannian manifold has constant curvature if and only if ${\varphi }_{\sigma }$ is harmonic for all geodesies $\sigma$.

We establish the spectral gap property for dense subgroups of SU$\left(d\right)$ $(d\ge 2)$, generated by finitely many elements with algebraic entries; this result was announced in [BG3]. The method of proof differs, in several crucial aspects, from that used in [BG] in the case of SU$\left(2\right)$.

We prove that if F is a Lipschitz map from the set of all complex n × n matrices into itself with F(0) = 0 such that given any x and y we know that F(x) - F(y) and x-y have at least one common eigenvalue, then either $F\left(x\right)=ux{u}^{-1}$ or $F\left(x\right)=u{x}^t{u}^{-1}$ for all x, for some invertible n × n matrix u. We arrive at the same conclusion by supposing F to be of class ¹ on a domain in ℳₙ containing the null matrix, instead of Lipschitz. We also prove that if F is of class ¹ on a domain containing the null matrix satisfying...

We show that the essential spectral radius ${\varrho }_e\left(T\right)$ of T ∈ B(H) can be calculated by the formula ${\varrho }_e\left(T\right)$ = inf${ℱ}_{♯·♯}\left(XT{X}^{-1}\right)$: X an invertible operator, where ${ℱ}_{♯·♯}\left(T\right)$ is a Φ₁-perturbation function introduced by Mbekhta [J. Operator Theory 51 (2004)]. Also, we show that if ${}_{♯·♯}\left(T\right)$ is a Φ₂-perturbation function [loc. cit.] and if T is a Fredholm operator, then $dist(0,{\sigma }_e\left(T\right))$ = sup${}_{♯·♯}\left(XT{X}^{-1}\right)$: X an invertible operator.

Let $\Omega \subset {ℝ}^n,n\ge 3$, and let $p,1<p<\infty ,p\ne 2$, be given. In this paper we study the dimension of $p$-harmonic measures that arise from non-negative solutions to the $p$-Laplace equation, vanishing on a portion of $\partial \Omega$, in the setting of $\delta$-Reifenberg flat domains. We prove, for $p\ge n$, that there exists $\tilde{\delta }=\tilde{\delta }(p,n)>0$ small such that if $\Omega$ is a $\delta$-Reifenberg flat domain with $\delta <\tilde{\delta }$, then $p$-harmonic measure is concentrated on a set of $\sigma$-finite $H^{n-1}$-measure. We prove, for $p\ge n$, that for sufficiently flat Wolff snowflakes the Hausdorff dimension of $p$-harmonic...

Let ${\left(h_k\right)}_{k\ge 0}$ be the Haar system on [0,1]. We show that for any vectors $a_k$ from a separable Hilbert space and any ${\epsilon }_k\in [-1,1]$, k = 0,1,2,..., we have the sharp inequality $\left|\right|{\sum }_{k=0}^n{\epsilon }_k{a}_k{h}_k{\left|\right|}_{W\left(\right[0,1\left]\right)}\le 2\left|\right|{\sum }_{k=0}^n{a}_k{h}_k{\left|\right|}_{L^{\infty }\left([0,1]\right)}$, n = 0,1,2,..., where W([0,1]) is the weak-$L^{\infty }$ space introduced by Bennett, DeVore and Sharpley. The above estimate is generalized to the sharp weak-type bound ${\left|\right|Y\left|\right|}_{W\left(\Omega \right)}{\le 2\left|\right|X\left|\right|}_{L^{\infty }\left(\Omega \right)}$, where X and Y stand for -valued martingales such that Y is differentially subordinate to X. An application to harmonic functions on Euclidean domains is presented.

We present two results on existence of infinitely many positive solutions to the Neumann problem ⎧ $-{\Delta }_{p}u+\lambda \left(x\right){\left|u\right|}^{p-2}u=\mu f(x,u)$ in Ω, ⎨ ⎩ ∂u/∂ν = 0 on ∂Ω, where $\Omega \subset {ℝ}^N$ is a bounded open set with sufficiently smooth boundary ∂Ω, ν is the outer unit normal vector to ∂Ω, p > 1, μ > 0, $\lambda \in L^{\infty }\left(\Omega \right)$ with $essin{f}_{x\in \Omega }\lambda \left(x\right)>0$ and f: Ω × ℝ → ℝ is a Carathéodory function. Our results ensure the existence of a sequence of nonzero and nonnegative weak solutions to the above problem.

We propose a new localization result for the leading eigenvalue and eigenvector of a symmetric matrix $A$. The result exploits the Frobenius inner product between $A$ and a given rank-one landmark matrix $X$. Different choices for $X$ may be used, depending on the problem under investigation. In particular, we show that the choice where $X$ is the all-ones matrix allows to estimate the signature of the leading eigenvector of $A$, generalizing previous results on Perron-Frobenius properties of matrices...

The harmonic Cesàro operator is defined for a function f in $L^p\left(ℝ\right)$ for some 1 ≤ p < ∞ by setting $\left(f\right)\left(x\right):={\int }_x^{\infty }(f\left(u\right)/u)du$ for x > 0 and $\left(f\right)\left(x\right):=-{\int }_{-\infty }^x(f\left(u\right)/u)du$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L{¹}_{loc}\left(ℝ\right)$ by setting $*\left(f\right)\left(x\right):=(1/x){\int }^{x₀}f\left(u\right)du$ for x ≠ 0. The notation indicates that ℂ and ℂ* are adjoint operators in a certain sense. We present rigorous proofs of the following two commuting relations: (i) If $f\in L^p\left(ℝ\right)$ for some 1 ≤ p ≤ 2, then ${\left(\left(f\right)\right)}^{\wedge }\left(t\right)=*\left(f̂\right)\left(t\right)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f\in L^p\left(ℝ\right)$ for some 1 < p ≤ 2, then...

The relationship between weighted Lipschitz functions and analytic Bloch spaces has attracted much attention. In this paper, we define harmonic $\omega$-$\alpha$-Bloch space and characterize it in terms of $$\omega \left(\right(1-{\left|x\right|}^2{)}^{\beta }{(1-|y|}^2{)}^{\alpha -\beta })\left|\frac{f\left(x\right)-f\left(y\right)}{x-y}\right|$$ and $$\omega \left(\right(1-{\left|x\right|}^2{)}^{\beta }{(1-|y|}^2{)}^{\alpha -\beta })\left|\frac{f\left(x\right)-f\left(y\right)}{\left|x\right|y-x^{\text{'}}}\right|$$ where $\omega$ is a majorant. Similar results are extended to harmonic little $\omega$-$\alpha$-Bloch and Besov spaces. Our results are generalizations of the corresponding ones in G. Ren, U. Kähler (2005).

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g\left(R_F\right)\int f_x\left(R_F\right)d\mu \left(x\right)=h\left(R_F\right)$. (1) They involve functions of the kind $X\ni x\mapsto f_x\left(R_F\right)\in B\left(F\right)$, where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

We consider the quantization of inversion in commutative p-normed quasi-Banach algebras with unit. The standard questions considered for such an algebra A with unit e and Gelfand transform x ↦ x̂ are: (i) Is $K_{\nu }=sup{\left|\right|(e-x)}^{-1}{\left|\right|}_p{:x\in A,\left|\right|x\left|\right|}_p\le 1,max\left|x̂\right|\le \nu$ bounded, where ν ∈ (0,1)? (ii) For which δ ∈ (0,1) is $C_{\delta }=sup\left|\right|x^{-1}{\left|\right|}_p{:x\in A,\left|\right|x\left|\right|}_p\le 1,min\left|x̂\right|\ge \delta$ bounded? Both questions are related to a “uniform spectral radius” of the algebra, $r_{\infty }\left(A\right)$, introduced by Björk. Question (i) has an affirmative answer if and only if $r_{\infty }\left(A\right)<1$, and this result is extended to more general nonlinear extremal...

The imbalance of an edge $e=\{u,v\}$ in a graph is defined as $i\left(e\right)=\left|d\right(u)-d(v\left)\right|$, where $d(·)$ is the vertex degree. The irregularity $I\left(G\right)$ of $G$ is then defined as the sum of imbalances over all edges of $G$. This concept was introduced by Albertson who proved that $I\left(G\right)\le 4n^3/27$ (where $n=\left|V\right(G\left)\right|$) and obtained stronger bounds for bipartite and triangle-free graphs. Since then a number of additional bounds were given by various authors. In this paper we prove a new upper bound, which improves a bound found by Zhou and Luo in 2008. Our bound involves...

For odd-dimensional Poincaré–Einstein manifolds $(X^{n+1},g)$, we study the set of harmonic $k$-forms (for $k<n/2$) which are $C^m$ (with $m\in \mathbb{N}$) on the conformal compactification $\overline{X}$ of $X$. This set is infinite-dimensional for small $m$ but it becomes finite-dimensional if $m$ is large enough, and in one-to-one correspondence with the direct sum of the relative cohomology $H^k(\overline{X},\partial \overline{X})$ and the kernel of the Branson–Gover [3] differential operators $(L_k,G_k)$ on the conformal infinity $(\partial \overline{X},\left[h_0\right])$. We also relate the set of $C^{n-2k+1}\left({\Lambda }^k\left(\overline{X}\right)\right)$ forms in the kernel of $d+{\delta }_g$...

Given a topological space $X$, let $𝒰X$ and ${\eta }_X:X\to 𝒰X$ denote, respectively, the Salbany compactification of $X$ and the compactification map called the Salbany map of $X$. For every continuous function $f:X\to Y$, there is a continuous function $𝒰f:𝒰X\to 𝒰Y$, called the Salbany lift of $f$, satisfying $\left(𝒰f\right)\circ {\eta }_X={\eta }_Y\circ f$. If a continuous function $f:X\to Y$ has a stably compact codomain $Y$, then there is a Salbany extension $F:𝒰X\to Y$ of $f$, not necessarily unique, such that $F\circ {\eta }_X=f$. In this paper, we give a condition on a space such that its Salbany map is open. In...

Abstract. We study a Neumann problem for the heat equation in a cylindrical domain with $C^1$-base and data in $h_c^1$, a subspace of $L$1. We derive our results, considering the action of an adjoint operator on $B_{T}MOC$, a predual of $h_c^1$, and using known properties of this last space.

By using the notion of contraction of Lie groups, we transfer $L^p-L²$ estimates for joint spectral projectors from the unit complex sphere $S^{2n+1}$ in ${ℂ}^{n+1}$ to the reduced Heisenberg group hⁿ. In particular, we deduce some estimates recently obtained by H. Koch and F. Ricci on hⁿ. As a consequence, we prove, in the spirit of Sogge’s work, a discrete restriction theorem for the sub-Laplacian L on hⁿ.

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...