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

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

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

For k = 1,2,... let $H_k$ denote the harmonic number ${\sum }_{j=1}^{k}1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime p > 3 we have ${\sum }_{k=1}^{p-1}\left(H_k\right)/\left(k{2}^k\right)\equiv 7/24p{B}_{p-3}\left(modp²\right)$, ${\sum }_{k=1}^{p-1}\left(H_{k,2}\right)/\left(k{2}^k\right)\equiv -3/8B_{p-3}\left(modp\right)$, and ${\sum }_{k=1}^{p-1}\left(H{²}_{k,2n}\right)/\left(k^{2n}\right)\equiv (\left(\genfrac{}{}{0pt}{}{6n+1}{2n-1}\right)+n)/(6n+1)p{B}_{p-1-6n}\left(modp²\right)$ for any positive integer n < (p-1)/6, where B₀,B₁,B₂,... are Bernoulli numbers, and $H_{k,m}:={\sum }_{j=1}^{k}1/\left(j^m\right)$.

Some properties of the functions of the form $v\left(x\right)={\sum }_{i=0}^m{\left|x\right|}^i{h}_i\left(x\right)$ in ℝⁿ, n ≥ 2, where each $h_i$ is a harmonic function defined outside a compact set, are obtained using the harmonic measures.

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.

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 prove that if $f:Z^d\to R$ is harmonic and there exists a polynomial $W:Z^d\to R$ such that f + W is nonnegative, then f is a polynomial.

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 investigate a coupled system of the Ricci flow on a closed manifold $M$ with the harmonic map flow of a map $\phi$ from $M$ to some closed target manifold $N$, $$\frac{\partial }{\partial t}g=-2\mathrm{Rc}+2\alpha \nabla \phi \otimes \nabla \phi ,\frac{\partial }{\partial t}\phi ={\tau }_g\phi ,$$ where $\alpha$ is a (possibly time-dependent) positive coupling constant. Surprisingly, the coupled system may be less singular than the Ricci flow or the harmonic map flow alone. In particular, we can always rule out energy concentration of $\phi$ a-priori by choosing $\alpha$ large enough. Moreover, it suffices to bound the curvature...

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

If $(M,\nabla )$ is a manifold with a symmetric linear connection, then $T^{*}M$ can be endowed with the natural Riemann extension $\overline{g}$ (O. Kowalski and M. Sekizawa (2011), M. Sekizawa (1987)). Here we continue to study the harmonicity with respect to $\overline{g}$ initiated by C. L. Bejan and O. Kowalski (2015). More precisely, we first construct a canonical almost para-complex structure $𝒫$ on $(T^{*}M,\overline{g})$ and prove that $𝒫$ is harmonic (in the sense of E. García-Río, L. Vanhecke and M. E. Vázquez-Abal (1997)) if and only if $\overline{g}$ reduces...

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 ${\ell }_j:=-d²/dx²+k²q_j\left(x\right)$, k = const > 0, j = 1,2, $0<essinf{q}_j\left(x\right)\le esssup{q}_j\left(x\right)<\infty$. Suppose that (*) ${\int }_0^{1}p\left(x\right)u₁(x,k)u₂(x,k)dx=0$ for all k > 0, where p is an arbitrary fixed bounded piecewise-analytic function on [0,1], which changes sign finitely many times, and $u_j$ solves the problem ${\ell }_j{u}_j=0$, 0 ≤ x ≤ 1, $u_j^{\text{'}}(0,k)=0$, $u_j(0,k)=1$. It is proved that (*) implies p = 0. This result is applied to an inverse problem for a heat equation.

We establish an interpolation theorem for a class of nonlinear operators in the Lebesgue spaces ${ℒ}^s\left(ℝⁿ\right)$ arising naturally in the study of elliptic PDEs. The prototype of those PDEs is the second order p-harmonic equation ${div\left|\nabla u\right|}^{p-2\nabla }u=div$. In this example the p-harmonic transform is essentially inverse to $div\left(\right|\nabla {|}^{p-2}\nabla )$. To every vector field $\in {ℒ}^q(ℝⁿ,ℝⁿ)$ our operator ${\mathscr{H}}_p$ assigns the gradient of the solution, ${\mathscr{H}}_p=\nabla u\in {ℒ}^p(ℝⁿ,ℝⁿ)$. The core of the matter is that we go beyond the natural domain of definition of this operator. Because of nonlinearity our...

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

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

Let $G$ be any group containing an infinite elementary amenable subgroup and let $2\&lt;p\&lt;\infty$. We construct an exhaustion of ${\ell }^{p}G$ by closed invariant subspaces which all intersect trivially a fixed non-trivial closed invariant subspace. This is an obstacle to ${\ell }^p$-dimension and gives an answer to a question of Gaboriau.

We consider the exclusion process in the one-dimensional discrete torus with $N$ points, where all the bonds have conductance one, except a finite number of slow bonds, with conductance $N^{-\beta }$, with $\beta \in [0,\infty )$. We prove that the time evolution of the empirical density of particles, in the diffusive scaling, has a distinct behavior according to the range of the parameter $\beta$. If $\beta \in [0,1)$, the hydrodynamic limit is given by the usual heat equation. If $\beta =1$, it is given by a parabolic equation involving an operator...

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We give some criteria for order boundedness of $E\left(\mu \right)$ in $ba\left(\Re \right)$, in the general case as well as for atomic $\mu$. Order boundedness implies weak compactness of $E\left(\mu \right)$. We show that the converse implication holds under some assumptions on $𝔐$, $\Re$ and $\mu$ or $\mu$ alone, but not in general.

Let $X$ be a connected closed manifold and $f$ a self-map on $X$. We say that $f$ is almost quasi-unipotent if every eigenvalue $\lambda$ of the map $f_{*k}$ (the induced map on the $k$-th homology group of $X$) which is neither a root of unity, nor a zero, satisfies that the sum of the multiplicities of $\lambda$ as eigenvalue of all the maps $f_{*k}$ with $k$ odd is equal to the sum of the multiplicities of $\lambda$ as eigenvalue of all the maps $f_{*k}$ with $k$ even. We prove that if $f$ is $C^1$ having finitely many periodic points all of them...