The object of the present paper is to solve Fekete-Szego problem and determine the sharp upper bound to the second Hankel determinant for a certain class $R^{\lambda }(a,c,A,B)$ of analytic functions in the unit disk. We also investigate several majorization properties for functions belonging to a subclass ${\tilde{R}}^{\lambda }(a,c,A,B)$ of $R^{\lambda }(a,c,A,B)$ and related function classes. Relevant connections of the main results obtained here with those given by earlier workers on the subject are pointed out.

Let ${𝒫}_n$ denote the class of analytic functions $p\left(z\right)$ of the form $p\left(z\right)=1+c_n{z}^n+c_{n+1}{z}^{n+1}+\cdots$ in the open unit disc $𝕌$. Applying the result by S. S. Miller and P. T. Mocanu (J. Math. Anal. Appl. 65 (1978), 289-305), some interesting properties for $p\left(z\right)$ concerned with Caratheodory functions are discussed. Further, some corollaries of the results concerned with the result due to M. Obradovic and S. Owa (Math. Nachr. 140 (1989), 97-102) are shown.

We prove that any divisor $Y$ of a global analytic set $X\subset {ℝ}^n$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$. We also prove that there are functions with arbitrary multiplicities along $Y$. The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X/Y$ is not connected and $Y$ represents the zero class in $H_{q-1}^{\infty }(X,{\mathbb{Z}}_2)$ then the divisor $Y$ is globally principal.

Let $A$ denote the class of analytic functions with the normalization $f\left(0\right)=f^{\text{'}}\left(0\right)-1=0$ in the open unit disc $U=\{z:\left|z\right|<1\}$.  Set $$f_{\lambda }^n\left(z\right)=z+\sum _{k=2}^{\infty }{[1+\lambda (k-1)]}^n{z}^k(n\in N_0;\lambda \ge 0;z\in U),$$ and define $f_{\lambda ,\mu }^n$ in terms of the Hadamard product $$f_{\lambda }^n\left(z\right)*f_{\lambda ,\mu }^n=\frac{z}{{(1-z)}^{\mu }}(\mu >0;z\in U).$$ In this paper, we introduce several subclasses of analytic functions defined by means of the operator $I_{\lambda ,\mu }^n:A⟶A$, given by $$I_{\lambda ,\mu }^{n}f\left(z\right)=f_{\lambda ,\mu }^n\left(z\right)*f\left(z\right)(f\in A;n\in N_{0;}\lambda \ge 0;\mu >0).$$ Inclusion properties of these classes and the classes involving the generalized Libera integral operator are also considered.

Let $A$ be the class of analytic functions in the unit disc $U$ of the complex plane $ℂ$ with the normalization $f\left(0\right)=f^{{}^{\text{'}}}\left(0\right)-1=0$. We introduce a subclass $S_M^{*}(\alpha ,b)$ of $A$, which unifies the classes of bounded starlike and convex functions of complex order. Making use of Salagean operator, a more general class $S_M^{*}(n,\alpha ,b)$ ($n\ge 0$) related to $S_M^{*}(\alpha ,b)$ is also considered under the same conditions. Among other things, we find convolution conditions for a function $f\in A$ to belong to the class $S_M^{*}(\alpha ,b)$. Several properties of the class $S_M^{*}(n,\alpha ,b)$ are investigated. ...

The purpose of this paper is to study some properties related to convexity order and coefficients estimation for a general integral operator. We find the convexity order for this operator, using the analytic functions from the class of starlike functions of order $\alpha$ and from the class $\mathrm{𝒞𝒱\mathscr{H}}\left(\beta \right)$ and also we estimate the first two coefficients for functions obtained by this operator applied on the class $\mathrm{𝒞𝒱\mathscr{H}}\left(\beta \right)$.

Let $\mu \in {\left({ℝ}^d\right)}^{\text{'}}$ be an analytic functional and let $T_{\mu }$ be the corresponding convolution operator on Sato’s space $\left({ℝ}^d\right)$ of hyperfunctions. We show that $T_{\mu }$ is surjective iff $T_{\mu }$ admits an elementary solution in $\left({ℝ}^d\right)$ iff the Fourier transform μ̂ satisfies Kawai’s slowly decreasing condition (S). We also show that there are $0\ne \mu \in {\left({ℝ}^d\right)}^{\text{'}}$ such that $T_{\mu }$ is not surjective on $\left({ℝ}^d\right)$.

We consider functions of the type $F\left(z\right)=z{\prod }_{j=1}^n{[f_j\left(z\right)/z]}^{a_j}$, where $a_j$ are real numbers and $f_j$ are ${\beta }_j$-strongly close-to-starlike functions of order ${\alpha }_j$. We look for conditions on the center and radius of the disk (a,r) = z:|z-a| < r, |a| < r ≤ 1 - |a|, ensuring that F((a,r)) is a domain starlike with respect to the origin.

For γ ∈ ℂ such that |γ| < π/2 and 0 ≤ β < 1, let ${}_{\gamma ,\beta }$ denote the class of all analytic functions P in the unit disk with P(0) = 1 and $Re\left(e^{i\gamma }P\left(z\right)\right)>\beta cos\gamma$ in . For any fixed z₀ ∈ and λ ∈ ̅, we shall determine the region of variability $V_{}(z₀,\lambda )$ for ${\int }_0^{z₀}P\left(\zeta \right)d\zeta$ when P ranges over the class $\left(\lambda \right)=P{\in }_{\gamma ,\beta }:P^{\text{'}}\left(0\right)=2(1-\beta )\lambda e^{-i\gamma }cos\gamma .$As a consequence, we present the region of variability for some subclasses of univalent functions. We also graphically illustrate the region of variability for several sets of parameters.

In this paper, we obtain new sufficient conditions for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ to be univalent in the open unit disc $𝒰$, where the functions $f_1,f_2,...,f_n$ belong to the classes $S^{*}(a,b)$ and $𝒦(a,b)$. The order of convexity for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ is also determined. Furthermore, and for $\beta =1$, we obtain sufficient conditions for the operators $F_n\left(z\right)$ and $G_n\left(z\right)$ to be in the class $𝒦(a,b)$. Several corollaries and consequences of the main results are also considered.

For a subset $A$ of the real line $ℝ$, Hattori space $H\left(A\right)$ is a topological space whose underlying point set is the reals $ℝ$ and whose topology is defined as follows: points from $A$ are given the usual Euclidean neighborhoods while remaining points are given the neighborhoods of the Sorgenfrey line. In this paper, among other things, we give conditions on $A$ which are sufficient and necessary for $H\left(A\right)$ to be respectively almost Čech-complete, Čech-complete, quasicomplete, Čech-analytic and weakly separated...

Plane $d$-webs have been studied a lot since their appearance at the turn of the 20th century. A rather recent and striking result for them is the theorem of Dufour, stating that the measurable conjugacies between 3-webs have to be analytic. Here, we show that even the set-theoretic conjugacies between two $d$-webs, $d\ge 3$ are analytic unless both webs are analytically parallelizable. Between two set-theoretically conjugate parallelizable $d$-webs, however, there always exists a nonmeasurable conjugacy;...

In the present work, we introduce the subclass ${𝒯}_{\gamma ,\alpha }^k\left(\varphi \right)$, of starlike functions with respect to $k$-symmetric points of complex order $\gamma$ ($\gamma \ne 0$) in the open unit disc $$. Some interesting subordination criteria, inclusion relations and the integral representation for functions belonging to this class are provided. The results obtained generalize some known results, and some other new results are obtained.

We generalize some criteria of boundedness of $𝐋$-index in joint variables for in a bidisc analytic functions. Our propositions give an estimate the maximum modulus on a skeleton in a bidisc and an estimate of $(p+1)$th partial derivative by lower order partial derivatives (analogue of Hayman’s theorem).

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.

We investigate the problem of counting the real or complex Hadamard matrices which are circulant, by using analytic methods. Our main observation is the fact that for $|q_0|=...=|q_{N-1}|=1$ the quantity $\Phi ={\sum }_{i+k=j+l}\frac{q_i{q}_k}{q_j{q}_l}$ satisfies $\Phi \ge N^2$, with equality if and only if $q=\left(q_i\right)$ is the eigenvalue vector of a rescaled circulant complex Hadamard matrix. This suggests three analytic problems, namely: (1) the brute-force minimization of $\Phi$, (2) the study of the critical points of $\Phi$, and (3) the computation of the moments of $\Phi$. We explore here...

We consider the Massera-Schäffer problem for the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y\left(x\right)=f\left(x\right),x\in ℝ,$$ where $f\in L_p^{\mathrm{loc}}\left(ℝ\right),$ $p\in [1,\infty )$ and $0\le q\in L_1^{\mathrm{loc}}\left(ℝ\right).$ By a solution of the problem we mean any function $y,$ absolutely continuous and satisfying the above equation almost everywhere in $ℝ.$ Let positive and continuous functions $\mu \left(x\right)$ and $\theta \left(x\right)$ for $x\in ℝ$ be given. Let us introduce the spaces $$\begin{array}{cc}\hfill L_p(ℝ,\mu )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\mu )}^p={\int }_{-\infty }^{\infty }{\left|\mu \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\},\\ \hfill L_p(ℝ,\theta )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\theta )}^p={\int }_{-\infty }^{\infty }{\left|\theta \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\}.\end{array}$$ We obtain requirements to the functions $\mu$, $\theta$ and $q$ under which (1) for every function $f\in L_p(ℝ,\theta )$ there exists a unique solution $y\in L_p(ℝ,\mu )$ of the above equation; (2) there is an absolute constant...

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f{\in }_m$ and f̂ be its Taylor series at $0\in {ℝ}^m$. Split the set ${\mathbb{N}}^m$ of exponents into two disjoint subsets A and B, ${\mathbb{N}}^m=A\cup B$, and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g,h{\in }_m$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...