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

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?

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

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 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 $N$ be a compact Riemannian manifold. A quasi-harmonic sphere on $N$ is a harmonic map from $({ℝ}^m,e^{{\left|x\right|}^2/2(m-2)}/d{s}_0^2)$ to $N$ ($m\ge 3$) with finite energy ([LnW]). Here $ds{2}_0$ is the Euclidean metric in ${ℝ}^m$. Such maps arise from the blow-up analysis of the heat flow at a singular point. In this paper, we prove some kinds of Liouville theorems for the quasi-harmonic spheres. It is clear that the Liouville theorems imply the existence of the heat flow to the target $N$. We also derive gradient estimates and Liouville theorems...

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

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

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

Let $\Delta u={\Sigma }_i\frac{{\partial }^2}{{\partial }_{x_i}^2}$, $Lu={\Sigma }_{i,j}{a}_{ij}\frac{{\partial }^2}{\partial x_i\partial x_j}u+{\Sigma }_i{b}_i\frac{\partial }{\partial x_i}u+cu$ be elliptic operators with Hölder continuous coefficients on a bounded domain $\Omega \subset {\mathbf{R}}^n$ of class $C^{1,1}$. There is a constant $c\&gt;0$ depending only on the Hölder norms of the coefficients of $L$ and its constant of ellipticity such that $$c^{-1}{G}_{\Delta }^{\Omega }\le G_L^{\Omega }\le c{G}_{\Delta }^{\Omega }\text{on}\Omega \times \Omega ,$$ where ${\gamma }_{\Delta }^{\Omega }$ (resp. $G_L^{\Omega }$) are the Green functions of $\Delta$ (resp. $L$) on $\Omega$.

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.

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

There is an obvious topological obstruction for a finite energy unimodular harmonic extension of a $S^1$-valued function defined on the boundary of a bounded regular domain of $R^n$. When such extensions do not exist, we use the Ginzburg-Landau relaxation procedure. We prove that, up to a subsequence, a sequence of Ginzburg-Landau minimizers, as the coupling parameter tends to infinity, converges to a unimodular harmonic map away from a codimension-2 minimal current minimizing the area within...

AbstractThe paper contains studies of relationships between properties of the “translation” mappings $T_F$ and the topological and geometric structure of spaces X and Hardy classes $h^p(,X)$ of X-valued harmonic functions on the open unit disk in ℂ (X is a Banach space). The mapping $T_F$ transforming the unit circle of ℂ into $h^p(,X)$ is associated with a function $F\in h^p(,X)$ by the formula $T_F\left(t\right)=F\circ \varphi ₜ$, where ϕₜ is the rotation of through t.AcknowledgmentsThis work is based in part on the author’s doctoral thesis written at...

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

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

Let m ≥ 2 be a positive integer. Given a set E(ω) ⊆ ℕ we define $r_N^{\left(m\right)}\left(\omega \right)$ to be the number of ways to represent N ∈ ℤ as a combination of sums and differences of m distinct elements of E(ω). In this paper, we prove the existence of a “thick” set E(ω) and a positive constant K such that $r_N^{\left(m\right)}\left(\omega \right)<K$ for all N ∈ ℤ. This is a generalization of a known theorem by Erdős and Rényi. We also apply our results to harmonic analysis, where we prove the existence of certain thin sets.

On démontre plusieurs théorèmes concernant le balayage des mesures sur un espace harmonique satisfaisant aux axiomes de Bauer, parmi lesquels nous indiquons les suivants : a) la balayée ${\mu }_{A\cup B}$ d’une mesure $\mu$ sur la réunion ${\mu }^A\vee {\mu }^B$ (dans l’espace de Riesz de mesure) ; b) ${ϵ}_x^A\ne {ϵ}_x$ caractérise l’effilement de $A$ en $x$ ; c) il existe un potentiel fini et continue $p$ tel que pour tout ensemble $A\left\{x\right|{\widehat{R}}_p\left(x\right)\&lt;p\left(x\right)\}$ est exactement l’ensemble des points où $A$ est effilé ; d) ${\mu }^A$ est portée par la fermeture fine de $A$ ; e) si $A$ et $B$ sont...

An improvement of a lemma of Calderón and Zygmund involving singular spherical harmonic kernels is obtained and a counter-example is given to show that this result is best possible. In a particular case when the singularity is O(|log r|), let $f\in C¹\left({ℝ}^N\setminus 0\right)$ and suppose f vanishes outside of a compact subset of ${ℝ}^N$, N ≥ 2. Also, let k(x) be a Calderón-Zygmund kernel of spherical harmonic type. Suppose f(x) = O(|log r|) as r → 0 in the $L^p$-sense. Set $F\left(x\right)={\int }_{{ℝ}^N}k(x-y)f\left(y\right)dy\forall x\in {ℝ}^N\setminus 0$. Then F(x) = O(log²r) as r → 0 in the $L^p$-sense, 1 <...

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