On the Analytic Part of Univalent Harmonic Mappings

In this article we obtain two sharp results concerning the analytic part of harmonic mappings \(f=h+\overline{g}\) from the class \(\mathcal {S}^0_H(\mathcal {S})\) which was recently introduced by Ponnusamy and Sairam Kaliraj. For example, we get the sharp estimate for \(|\arg h'(z)|\) in the case when \(|z| \le 1/\sqrt{2}\) and obtain the sharp radius of convexity for h. Our approach is applicable to a more general situation. Finally, we determine simple condition on the analytic part of univalent harmonic mappings so that it is in \(H_p\) spaces for \(0<p<1/3\).     

On some results for a class of meromorphic functions having quasiconformal extension

We consider the class \(\Sigma (p)\) of univalent meromorphic functions f on \({\mathbb D}\) having a simple pole at \(z=p\in [0,1)\) with residue 1. Let \(\Sigma _k(p)\) be the class of functions in \(\Sigma (p)\) which have k-quasiconformal extension to the extended complex plane \({\hat{\mathbb C}}\), where \(0\le k < 1\). We first give a representation formula for functions in this class and using this formula, we derive an asymptotic estimate of the Laurent coefficients for the functions in the class \(\Sigma _k(p)\). Thereafter, we give a sufficient condition for functions in \(\Sigma (p)\) to belong to the class \(\Sigma _k(p).\) Finally, we obtain a sharp distortion result for functions in \(\Sigma (p)\) and as a consequence, we obtain a distortion estimate for functions in \(\Sigma _k(p).\)     

A modular-type formula for $$(x;q)_\infty $$

Let \(q=\text {e}^{2\pi i\tau }, \mathfrak {I}\tau >0\), \(x=\text {e}^{2\pi i{z}}\), \({z}\in \mathbb {C}\), and \((x;q)_\infty =\prod _{n\ge 0}(1-xq^n)\). Let \((q,x)\mapsto ({q_1},{x_1})\) be the classical modular substitution given by the relations \({q_1}=\text {e}^{-2\pi i/\tau }\) and \({x_1}=\text {e}^{2\pi i{z}/{\tau }}\). The main goal of this paper is to give a modular-type representation for the infinite product \((x;q)_\infty \), this means, to compare the function defined by \((x;q)_\infty \) with that given by \(({x_1};{q_1})_\infty \). Inspired by the work (Stieltjes in Collected Papers, Springer, New York, 1993) of Stieltjes on semi-convergent series, we are led to a “closed” analytic formula for the ratio \((x;q)_\infty /({x_1};{q_1})_\infty \) by means of the dilogarithm combined with a Laplace type integral, which admits a divergent series as Taylor expansion at \(\log q=0\). Thus, the function \((x;q)_\infty \) is linked with its modular transform \(({x_1};{q_1})_\infty \) in such an explicit manner that one can directly find the modular formulae known for Dedekind’s Eta function, Jacobi Theta function, and also for certain Lambert series. Moreover, one can remark that our results allow Ramanujan’s formula (Berndt in Ramanujan’s notebooks, Springer, New York, 1994, Entry 6’, p. 268) (see also Ramanujan in Notebook 2, Tata Institute of Fundamental Research, Bombay, 1957, p. 284) to be completed as a convergent expression for the infinite product \((x;q)_\infty \).     

The Difference Between a Discrete and Continuous Harmonic Measure

We consider a discrete-time, continuous-state random walk with steps uniformly distributed in a disk of radius h. For a simply connected domain D in the plane, let \(\omega _h(0,\cdot ;D)\) be the discrete harmonic measure at \(0\in D\) associated with this random walk, and \(\omega (0,\cdot ;D)\) be the (continuous) harmonic measure at 0. For domains D with analytic boundary, we prove there is a bounded continuous function \(\sigma _D(z)\) on \(\partial D\) such that for functions g which are in \(C^{2+\alpha }(\partial D)\) for some \(\alpha >0\) we have

$$\begin{aligned} \lim _{h\downarrow 0} \frac{\int _{\partial D} g(\xi ) \omega _h(0,|\mathrm{d}\xi |;D) -\int _{\partial D} g(\xi )\omega (0,|\mathrm{d}\xi |;D)}{h} = \int _{\partial D}g(z) \sigma _D(z) |\mathrm{d}z|. \end{aligned}$$

We give an explicit formula for \(\sigma _D\) in terms of the conformal map from D to the unit disk. The proof relies on some fine approximations of the potential kernel and Green’s function of the random walk by their continuous counterparts, which may be of independent interest.

     

Hypercyclic Toeplitz Operators

We study hypercyclicity of the Toeplitz operators in the Hardy space \({H^{2}(\mathbb{D})}\) with symbols of the form \({p(\overline{z}) + \varphi(z)}\), where \({p}\) is a polynomial and \({\varphi \in H^{\infty}(\mathbb{D})}\). We find both necessary and sufficient conditions for hypercyclicity which almost coincide in the case when deg \({p =1}\).     

On the Chaoticity of Some Tensor Product Weighted Backward Shift Operators Acting on Some Tensor Product Fock–Bargmann Spaces

In Advances in Mathematical Physics (2011) we showed that the weighted shift \(z^{p}\frac{d^{p+1}}{dz^{p+1}} (p=0, 1, 2,\ldots )\) acting on classical Bargmann space \(\mathbb {B}_{p}\) is chaotic operator. In Journal of Mathematical physics (2014), we constructed an chaotic weighted shift \(\mathbb {M}^{*^{p}}\mathbb {M}^{p+1} (p=0, 1, 2,\ldots )\) on some lattice Fock–Bargmann \(\mathbb {E}_{p}^{\alpha }\) generated by the orthonormal basis \( {e_{m}^{(\alpha ,p)}(z) = e_{m}^{\alpha } ; m=p, p+1,\ldots }\) where \( {e_{m}^{\alpha }(z) = (\frac{2\nu }{\pi })^{1/4}e^{\frac{\nu }{2}z^{2}}e^{-\frac{\pi ^{2}}{\nu }(m +\alpha )^{2} +2i\pi (m +\alpha )z}; m \in \mathbb {N}}\) with \(\nu , \alpha \) are real numbers; \(\nu > 0\), \(\mathbb {M}\) is an weighted shift and \(\mathbb {M^{*}}\) is the adjoint of the \(\mathbb {M}\). In this paper we study the chaoticity of tensor product \(\mathbb {M}^{*^{p}}\mathbb {M}^{p+1}\otimes z^{p}\frac{d^{p}}{dz^{p+1}} (p=0, 1, 2, \ldots )\) acting on \(\mathbb {E}_{p}^{\alpha }\otimes \mathbb {B}_{p}\).     

Mutually prime sequences of inner functions and the ranks of subspaces over the bidisk

Let \({\{\varphi_n(z)\}_{n\ge0}}\) be a sequence of inner functions satisfying that \({\zeta_n(z):=\varphi_n(z)/\varphi_{n+1}(z)\in H^\infty(z)}\) for every n ≥ 0 and \({\{\varphi_n(z)\}_{n\ge0}}\) have no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace \({\mathcal{M}}\) of \({H^2(\mathbb{D}^2)}\) . We write \({\mathcal{N}= H^2(\mathbb{D}^2)\ominus\mathcal{M}}\) . If \({\{\zeta_n(z)\}_{n\ge0}}\) ia a mutually prime sequence, then we shall prove that \({rank_{\{T^\ast_z,T^\ast_w\}} \mathcal{N}=1}\) and \({rank_{\{\mathcal{F}^\ast_z\}}(\mathcal{M}\ominus w\mathcal{M})=1}\) , where \({\mathcal{F}_z}\) is the fringe operator on \({\mathcal{M}\ominus w\mathcal{M}}\) .     

A new application method for nonoscillation criteria of Hille-Wintner type

The present paper deals with nonoscillation problem for the Sturm–Liouville half-linear differential equation

$$\begin{aligned} \big (r(t)\phi _p(x')\big )' + c(t)\phi _p(x) = 0, \end{aligned}$$

where r, \(c\!:[a,\infty ) \rightarrow \mathbb {R}\) are continuous functions, \(r(t) > 0\) for \(t \ge a\), and \(\phi _p(z) = |z|^{p-2}z\) with \(p > 1\). The purpose of this paper is to show that it is possible to broaden the application range of Hille-Wintner type nonoscillation criteria. To this end, we derive a comparison theorem by means of Riccati’s technique. Our result is new even in the linear case that \(p = 2\). By the obtained result, we can compare two differential equations having a different power p of the above-mentioned type. To illustrate our comparison theorem, we present two examples of which all non-trivial solutions of the Sturm-Liouville linear differential equation are nonoscillatory even if \(\int _a^t\!\frac{1}{r(s)}ds\int _t^\infty \!\!c(s)ds\) or \(\int _t^\infty \!\!\frac{1}{r(s)}ds\int _a^t\!c(s)ds\) is less than the lower bound \(-3/4\).

     

Local Maximum Modulus Property for Polyanalytic Functions

Let \(\Omega \subset {\mathbb {C}}\) be an open subset and let \({\mathcal {F}}\) be a space of functions defined on \(\Omega \). \({\mathcal {F}}\) is said to have the local maximum modulus property if: for every \(f\in {\mathcal {F}},p_0\in \Omega ,\) and for every sufficiently small domain \(D\subset \Omega ,\) with \(p_0\in D,\) it holds true that \(\max _{z\in \overline{D}}\left| f(z)\right| = \max _{z\in \Sigma \cup \partial D}\left| f(z)\right| ,\) where \(\Sigma \subset \Omega \) denotes the set of points at which \(\left| f\right| \) attains strict local maximum. This property fails for \({\mathcal {F}}=C^{\infty }.\) We verify it however for the set of complex-valued functions whose real and imaginary parts are real analytic. We show by example that the property cannot be improved upon whenever \({\mathcal {F}}\) is the set of n-analytic functions on \(\Omega \), \(n\ge 2,\) in the sense that locality cannot be removed as a condition and independently \(\Sigma \) cannot be removed from the conclusion.     

Iteration of certain exponential-like meromorphic functions

The dynamics of functions \(f_\lambda (z)= \lambda \frac{\mathrm{e}^{z}}{z+1}\ \text{ for }\ z\in \mathbb {C}, \lambda >0\) is studied showing that there exists \(\lambda ^* > 0\) such that the Julia set of \(f_\lambda \) is disconnected for \(0< \lambda < \lambda ^*\) whereas it is the whole Riemann sphere for \(\lambda > \lambda ^*\). Further, for \(0< \lambda < \lambda ^*\), the Julia set is a disjoint union of two topologically and dynamically distinct completely invariant subsets, one of which is totally disconnected. The union of the escaping set and the backward orbit of \(\infty \) is shown to be disconnected for \(0<\lambda < \lambda ^*\) whereas it is connected for \(\lambda > \lambda ^*\). For complex \(\lambda \), it is proved that either all multiply connected Fatou components ultimately land on an attracting or parabolic domain containing the omitted value of the function or the Julia set is connected. In the latter case, the Fatou set can be empty or consists of Siegel disks. All these possibilities are shown to occur for suitable parameters. Meromorphic functions \(E_n(z) =\mathrm{e}^{z}(1+z+\frac{z^2}{2!}+\cdots +\frac{z^n}{n!})^{-1}\), which we call exponential-like, are studied as a generalization of \(f(z)=\frac{\mathrm{e}^{z}}{z+1}\) which is nothing but \(E_1(z)\). This name is justified by showing that \(E_n\) has an omitted value 0 and there are no other finite singular value. In fact, it is shown that there is only one singularity over 0 as well as over \(\infty \) and both are direct. Non-existence of Herman rings are proved for \(\lambda E_n \).     

Analytic Smoothing Effect for the Nonlinear Schrödinger Equations Without Square Integrability

In this study we consider the Cauchy problem for the nonlinear Schrödinger equations with data which belong to \(L^p,\)\(1<p<2.\) In particular, we discuss analytic smoothing effect with data which satisfy exponentially decaying condition at spatial infinity in \(L^p,\)\(1<p<2.\) We construct solutions in the function space of analytic vectors for the Galilei generator and the analytic Hardy space with the phase modulation operator based on \(L^{p}\).     

Monochromatic Solutions for Multi-Term Unknowns

Given integers \(k\ge 2\), \(n \ge 2\), \(m \ge 2\) and \( a_1,a_2,\ldots ,a_m \in {\mathbb {Z}}{\backslash }{\{0\}}\), and let \(f(z)= \sum _{j=0}^{n}c_jz^j\) be a polynomial of integer coefficients with \(c_n>0\) and \((\sum _{i=1}^ma_i)|f(z)\) for some integer z. For a k-coloring of \([N]=\{1,2,\ldots ,N\}\), we say that there is a monochromatic solution of the equation \(a_1x_1+a_2x_2+\cdots +a_mx_m=f(z)\) if there exist pairwise distinct \(x_1,x_2,\ldots ,x_m\in [N]\) all of the same color such that the equation holds for some \(z\in \mathbb {Z}\). Problems of this type are often referred to as Ramsey-type problems. In this paper, it is shown that if \(a_i>0\) for \(1\le i\le m\), then there exists an integer \(N_0=N(k,m,n)\) such that for \(N\ge N_0\), each k-coloring of [N] contains a monochromatic solution \(x_1,x_2,\ldots ,x_m\) of the equation \(a_1x_1+a_2x_2+ \cdots +a_mx_m= f(z)\). Moreover, if n is odd and there are \(a_i\) and \(a_j\) such that \(a_ia_j<0\) for some \(1 \le i\ne j\le m\), then the assertion holds similarly.     

On the exponential Diophantine equation $$(3pm^2-1)^x+(p(p-3)m^2+1)^y=(pm)^z$$

Let m be a positive integer, and let p be a prime with \(p \equiv 1~(\mathrm{mod}~4).\) Then we show that the exponential Diophantine equation \((3pm^2-1)^x+(p(p-3)m^2+1)^y=(pm)^z\) has only the positive integer solution \((x, y, z)=(1, 1, 2)\) under some conditions. As a corollary, we derive that the exponential Diophantine equation \((15m^2-1)^x+(10m^2+1)^y=(5m)^z\) has only the positive integer solution \((x, y, z)=(1, 1, 2).\) The proof is based on elementary methods and Baker’s method.     

On the Analytic Structure of Commutative Nilmanifolds

In the classification theorems of Vinberg and Yakimova for commutative nilmanifolds, the relevant nilpotent groups have a very surprising analytic property. The manifolds are of the form \(G/K = N\rtimes K/K\) where, in all but three cases, the nilpotent group \(N\) has irreducible unitary representations whose coefficients are square integrable modulo the center \(Z\) of \(N\). Here we show that, in those three “exceptional” cases, the group \(N\) is a semidirect product \(N_{1}\rtimes \mathbb {R}\) or \(N_{1}\rtimes \mathbb {C}\) where the normal subgroup \(N_{1}\) contains the center \(Z\) of \(N\) and has irreducible unitary representations whose coefficients are square integrable modulo \(Z\). This leads directly to explicit harmonic analysis and Fourier inversion formulae for commutative nilmanifolds.     

Oscillation of holomorphic Bergman–Besov kernels on the ball

We estimate the oscillation of holomorphic Bergman–Besov reproducing kernels on the unit ball of \(\mathbb {C}^n\). As an application of this estimate we characterize holomorphic Bergman–Besov spaces \(A_\alpha ^p\,(\alpha \in \mathbb {R})\) in terms of double integrals of the fractions \(|f(z)-f(w)|/|z-w|\) and \(|f(z)-f(w)|/|1-\langle z,w \rangle |\) and complete the earlier works done on this subject. Our results provide, when \(\alpha \le -1\), a derivative-free characterization of \(A_\alpha ^p\).     

The spectrum of Bergman Toeplitz operators with some harmonic symbols

In this paper,we show that the spectrum of Toeplitz operators on the Bergman space with harmonic symbols of affine functions of z and  equals the image of closed unit disk under the symbol.Surprisingly this does not hold for Toeplitz operators with harmonic symbols of quadratic functions of z and .     

An additive ($${\alpha, \beta}$$)-functional equation and linear mappings in Banach spaces

In this paper, we investigate the additive (\({\alpha, \beta}\))-functional equation \({f(x+y) + \bar{\alpha}f({\alpha}z) = \beta^{-1}f(\beta(x+y+z))}\) for all complex numbers \({\alpha}\) with \({|\alpha| = 1}\) and for a fixed nonzero complex number \({\beta}\). Using the fixed point method and the direct method, we prove the Hyers–Ulam stability of this additive (\({\alpha, \beta}\))-functional equation in complex Banach spaces.     

Two-step estimation of ergodic Lévy driven SDE

We consider high frequency samples from ergodic Lévy driven stochastic differential equation with drift coefficient \(a(x,\alpha )\) and scale coefficient \(c(x,\gamma )\) involving unknown parameters \(\alpha \) and \(\gamma \). We suppose that the Lévy measure \(\nu _{0}\), has all order moments but is not fully specified. We will prove the joint asymptotic normality of some estimators of \(\alpha \), \(\gamma \) and a class of functional parameter \(\int \varphi (z)\nu _0(dz)\), which are constructed in a two-step manner: first, we use the Gaussian quasi-likelihood for estimation of \((\alpha ,\gamma )\); and then, for estimating \(\int \varphi (z)\nu _0(dz)\) we make use of the method of moments based on the Euler-type residual with the the previously obtained quasi-likelihood estimator.     

Revisiting Fryszkowski’s problem

Professor Andrzej Fryszkowski formulated, at the 2nd Symposium on Nonlinear Analysis in Toruń, September 13–17, 1999, the following problem: given \(\alpha \in (0,1)\), an arbitrary non-empty set \(\Omega \) and a set-valued mapping \(F:\Omega \rightarrow 2^{\Omega }\), find necessary and (or) sufficient conditions for the existence of a (complete) metric d on \(\Omega \) having the property that F is a Nadler set-valued \(\alpha \)-contraction with respect to d. Com?neci (Stud. Univ. Babe?-Bolyai Math. 62:537–542, 2017) provided necessary and sufficient conditions for the existence of a complete and bounded metric d on \(\Omega \) having the property that F is a Nadler set-valued \(\alpha \)-contraction with respect to d, in case that \(\alpha \in (0,\frac{1}{2})\) and there exists \(z\in \Omega \) such that \(F(z)=\{z\}\) . We improve Com?neci’s result by allowing \(\alpha \) to belong to the interval (0, 1). In addition, we provide necessary and sufficient conditions for the existence of a complete and bounded metric d on \(\Omega \) such that F is a Nadler set-valued \(\alpha \)-similarity with respect to d, in case that \(\alpha \in (0,1)\), there exists \(z\in \Omega \) such that \(F(z)=\{z\}\) and F is non-overlapping.