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

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.

A cluster ensemble is a pair $(𝒳,𝒜)$ of positive spaces (i.e. varieties equipped with positive atlases), coming with an action of a symmetry group $\Gamma$. The space $𝒜$ is closely related to the spectrum of a cluster algebra [12]. The two spaces are related by a morphism $p:𝒜\to 𝒳$. The space $𝒜$ is equipped with a closed $2$-form, possibly degenerate, and the space $𝒳$ has a Poisson structure. The map $p$ is compatible with these structures. The dilogarithm together with its motivic and quantum avatars plays a central...

Let $(X,d,\mu )$ be a metric measure space satisfying the doubling condition and an $L^2$-Poincaré inequality. Consider the nonnegative operator $ℒ$ generalized by a Dirichlet form on $X$. We will show that a solution $u$ to $(-{\partial }_t^2+ℒ)u=0$ on $X\times {ℝ}_{+}$ satisfies an $\alpha$-Carleson condition if and only if $u$ can be represented as the Poisson integral of the operator $ℒ$ with the trace in the generalized Morrey space $L^{2,\alpha }\left(X\right)$, where $\alpha$ is a nonnegative function defined on a class of balls in $X$. This result extends the analogous characterization...

Let $a=(a_1,a_2,...,a_n)$ be a nonincreasing sequence of positive real numbers. Denote by $S=\{1,2,...,n\}$ the index set and by $J_k=\{I=\{r_1,r_2,...,r_k\}$, $1\le r_1<r_2<\cdots <r_k\le n\}$ the set of all subsets of $S$ of cardinality $k$, $1\le k\le n-1$. In addition, denote by $a_I=a_{r_1}+a_{r_2}+\cdots +a_{r_k}$, $1\le k\le n-1$, $1\le r_1<r_2<\cdots <r_k\le n$, the sum of $k$ arbitrary elements of sequence $a$, where $a_{I_1}=a_1+a_2+\cdots +a_k$ and $a_{I_n}=a_{n-k+1}+a_{n-k+2}+\cdots +a_n$. We consider bounds of the quantities $R{S}_k\left(a\right)=a_{I_1}/a_{I_n}$, $L{S}_k\left(a\right)=a_{I_1}-a_{I_n}$ and $S_{k,\alpha }\left(a\right)={\sum }_{I\in J_k}{a}_I^{\alpha }$ in terms of $A={\sum }_{i=1}^n{a}_i$ and $B={\sum }_{i=1}^n{a}_i^2$. Then we use the obtained results to generalize some results regarding Laplacian and normalized Laplacian eigenvalues of graphs.

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 this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...