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

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

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

Let Ω be either the complex plane or the open unit disc. We completely determine the isomorphism classes of $Hv=f:\Omega \to ℂholomorphic:su{p}_{z\in \Omega }\left|f\left(z\right)\right|v\left(z\right)<\infty$ and investigate some isomorphism classes of $hv=f:\Omega \to ℂharmonic:su{p}_{z\in \Omega }\left|f\left(z\right)\right|v\left(z\right)<\infty$ where v is a given radial weight function. Our main results show that, without any further condition on v, there are only two possibilities for Hv, namely either $Hv\sim l_{\infty }$ or $Hv\sim H_{\infty }$, and at least two possibilities for hv, again $hv\sim l_{\infty }$ and $hv\sim H_{\infty }$. We also discuss many new examples of weights.

Let us consider two closed surfaces $ℳ$, $𝒩$ of class $C^1$ and two functions $\varphi :ℳ\to ℝ$, $\psi :𝒩\to ℝ$ of class $C^1$, called measuring functions. The natural pseudodistance $d$ between the pairs $(ℳ,)$, $(𝒩,\psi )$ is defined as the infimum of $\Theta \left(f\right):={max}_{P\in ℳ}\left|\varphi \left(P\right)-\psi \left(f\left(P\right)\right)\right|$ as $f$ varies in the set of all homeomorphisms from $ℳ$ onto $𝒩$. In this paper we prove that the natural pseudodistance equals either $|c_1-c_2|$, $\frac{1}{2}\left|c_1-c_2\right|$, or $\frac{1}{3}\left|c_1-c_2\right|$, where $c_1$ and $c_2$ are two suitable critical values of the measuring functions. This shows that a previous relation between the natural pseudodistance and...

Let $u$ be a holomorphic function and $\varphi$ a holomorphic self-map of the open unit disk $𝔻$ in the complex plane. We provide new characterizations for the boundedness of the weighted composition operators $u{C}_{\varphi }$ from Zygmund type spaces to Bloch type spaces in $𝔻$ in terms of $u$, $\varphi$, their derivatives, and ${\varphi }^n$, the $n$-th power of $\varphi$. Moreover, we obtain some similar estimates for the essential norms of the operators $u{C}_{\varphi }$, from which sufficient and necessary conditions of compactness of $u{C}_{\varphi }$ follows immediately. ...

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

In this paper we study some potential theoretical properties of solutions and super-solutions of some PDE systems (S) of type $L_{1}u=-{\mu }_{1}v$, $L_{2}v=-{\mu }_{2}u$, on a domain $D$ of ${ℝ}^d$, where ${\mu }_1$ and ${\mu }_2$ are suitable measures on $D$, and $L_1$, $L_2$ are two second order linear differential elliptic operators on $D$ with coefficients of class ${𝒞}^{\infty }$. We also obtain the integral representation of the nonnegative solutions and supersolutions of the system (S) by means of the Green kernels and Martin boundaries associated with $L_1$ and $L_2$, and...

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.

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

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

Let $X$ be a Banach space of analytic functions on the open unit disk and $\Gamma$ a subset of linear isometries on $X$. Sufficient conditions are given for non-supercyclicity of $\Gamma$. In particular, we show that the semigroup of linear isometries on the spaces $S^p$ ($p>1$), the little Bloch space, and the group of surjective linear isometries on the big Bloch space are not supercyclic. Also, we observe that the groups of all surjective linear isometries on the Hardy space $H^p$ or the Bergman space $L_a^p$ ($1<p<\infty$, $p\ne 2$)...

It is proved that real functions on $ℝ$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $ℝ$ (i.e. those locally Lipschitz functions on $ℝ$ for which $f_{+}^{\text{'}}\left(x\right)={lim}_{t\to x+}{f}_{+}^{\text{'}}\left(t\right)$ and $f_{-}^{\text{'}}\left(x\right)={lim}_{t\to x-}{f}_{-}^{\text{'}}\left(t\right)$ for each $x$). Further, for each modulus $\omega$, we characterize the class $DS{C}_{\omega }$ of functions on $ℝ$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega$ (for some $C>0$) using a new...

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

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?