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 consider a rational function $f$ which is ‘lacunary’ in the sense that it can be expressed as the ratio of two polynomials (not necessarily coprime) having each at most a given number $\ell$ of terms. Then we look at the possible decompositions $f\left(x\right)=g\left(h\right(x\left)\right)$, where $g,h$ are rational functions of degree larger than 1. We prove that, apart from certain exceptional cases which we completely describe, the degree of $g$ is bounded only in terms of $\ell$ (and we provide explicit bounds). This supports and quantifies...

The existence of at least one non-decreasing sequence of positive eigenvalues for the problem driven by both $p(·)$-Harmonic and $p(·)$-biharmonic operators $$\begin{array}{c}{\Delta }_{p\left(x\right)}^{2}u-{\Delta }_{p\left(x\right)}u=\lambda w\left(x\right){\left|u\right|}^{q\left(x\right)-2}u\text{in}\Omega ,\\ u\in W^{2,p(·)}\left(\Omega \right)\cap W_0^{1,p(·)}\left(\Omega \right),\end{array}$$ is proved by applying a local minimization and the theory of the generalized Lebesgue-Sobolev spaces $L^{p(·)}\left(\Omega \right)$ and $W^{m,p(·)}\left(\Omega \right)$.

We show that the system of equations $t_x+t_y=t_p,t_y+t_z=t_q,t_x+t_z=t_r$, where $t_x=x(x+1)/2$ is a triangular number, has infinitely many solutions in integers. Moreover, we show that this system has a rational three-parameter solution. Using this result we show that the system $t_x+t_y=t_p,t_y+t_z=t_q,t_x+t_z=t_r,t_x+t_y+t_z=t_s$ has infinitely many rational two-parameter solutions.

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?

In the present paper we study the integral representation of nonnegative finely superharmonic functions in a fine domain subset $U$ of a Brelot $𝒫$-harmonic space $\Omega$ with countable base of open subsets and satisfying the axiom $D$. When $\Omega$ satisfies the hypothesis of uniqueness, we define the Martin boundary of $U$ and the Martin kernel $K$ and we obtain the integral representation of invariant functions by using the kernel $K$. As an application of the integral representation we extend to the cone...

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 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 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 construct biharmonic non-harmonic maps between Riemannian manifolds $(M,g)$ and $(N,h)$ by first making the ansatz that $\varphi :(M,g)\to (N,h)$ be a harmonic map and then deforming the metric on $N$ by $${\tilde{h}}_{\alpha }=\alpha h+(1-\alpha )df\otimes df$$ to render $\varphi$ biharmonic, where $f$ is a smooth function with gradient of constant norm on $(N,h)$ and $\alpha \in (0,1)$. We construct new examples of biharmonic non-harmonic maps, and we characterize the biharmonicity of some curves on Riemannian manifolds.

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.

This is an extended version of an invited lecture I gave at the Journées Arithmétiques in St. Étienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective) geometrically integral curve $C$ over $\mathbb{Q}$. The focus is on practical aspects of this problem in the case that the genus of $C$ is at least $2$, and therefore the set of rational points is finite.

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

This thesis is concerned with the problem of determining a measure of algebraic independence for a particular m-tuple θ₁,...,${\theta }_m$ of complex numbers. Specifically, let K be a number field and let f₁(z),...,$f_m\left(z\right)$ be elements of K[[z]] algebraically independent over K(z) satisfying equations of the form(*) $f_j\left(z^b\right)={\sum }_{i=1}^m{f}_i\left(z\right)a_{ij}\left(z\right)+b_j\left(z\right)$ (j = i,...,m)for b ≥ 2, $a_{ij}\left(z\right)$, $b_j\left(z\right)$ in K(z). Suppose finally that α ∈ K is such that 0 < |α| < 1, the $f_j(z$) converge at z = α and the $a_{ij}\left(z\right)$, $b_j\left(z\right)$ are analytic at $z=\alpha ,{\alpha }^b,{\alpha }^{b²},...$ Then the ${\theta }_i=f_i\left(\alpha \right)$ are algebraically independent...

Let $X$ be the wonderful compactification of a connected adjoint semisimple group $G$ defined over a number field $K$. We prove Manin’s conjecture on the asymptotic (as $T\to \infty$) of the number of $K$-rational points of $X$ of height less than $T$, and give an explicit construction of a measure on $X\left(𝔸\right)$, generalizing Peyre’s measure, which describes the asymptotic distribution of the rational points $𝐆\left(K\right)$ on $X\left(𝔸\right)$. Our approach is based on the mixing property of $L^2(𝐆\left(K\right)\setminus 𝐆\left(𝔸\right))$ which we obtain with a rate of convergence. ...

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

We deal with complete submanifolds with weighted Poincaré inequality. By assuming the submanifold is $\delta$-stable or has sufficiently small total curvature, we establish two vanishing theorems for $L^p$ harmonic $1$-forms, which are extensions of the results of Dung-Seo and Cavalcante-Mirandola-Vitório.

We consider the Tribonacci sequence $T:={T_n}_{n\ge 0}$ given by T₀ = 0, T₁ = T₂ = 1 and $T_{n+3}=T_{n+2}+T_{n+1}+T_n$ for all n ≥ 0, and we find all triples of Tribonacci numbers which are multiplicatively dependent.

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