Weak-strong uniqueness criterion for the \beta -generalized surface quasi-geostrophic equation

We prove that weak-strong uniqueness holds for the $\beta $ -generalized surface quasi-geostrophic equation in the regular class $\nabla \theta \in L^{q}(0,T; L^{p}(\mathbb{R }^{2}))$ with $\frac{\alpha }{q}+\frac{2}{p}=\alpha +\beta -1$ , where $\alpha \in (0,1], \beta \in [1,2)$ and $\frac{2}{\alpha +\beta -1}<p<\infty $ .     

Some graftings of complex projective structures with Schottky holonomy

Let ${\mathcal{G} ^{*}(S, \rho)}$ be the graph whose vertices are marked complex projective structures with holonomy ${\rho}$ and whose edges are graftings from one vertex to another. If ${\rho}$ is quasi-Fuchsian, a theorem of Goldman implies that ${\mathcal{G} ^{*}(S, \rho)}$ is connected. If ${\rho ( \pi _{1}(S))}$ is a Schottky group Baba has shown that ${\mathcal{G}(S, \rho)}$ (the corresponding graph for unmarked structures) is connected. For the case that ${\rho ( \pi _{1}(S))}$ is a Schottky group, this paper provides formulae for the composition of graftings in a basic setting. Using these formulae, one can construct an infinite number of (standard) projective structures which can be grafted to a common structure. Furthermore, one can construct pairs of projective structures which can be connected by grafting in an infinite number of ways.     

On the images of horodisks under holomorphic self-maps of the unit disk

Suppose that f is a holomorphic self map of the unit disk ${\mathbb{D}}$ . Recently several monotonicity results related to the image of smaller disks under f have been proved. These results extend the classical Schwarz lemma in various ways. We prove analogous monotonicity results in the context of Julia’s boundary Schwarz lemma. A horodisk is a disk internally tangent to the unit circle. For positive ${\lambda}$ , we denote by ${H_{\lambda}}$ the disk of radius ${\lambda/(1\,+\,\lambda)}$ centered at the point ${1/(1\,+\,\lambda)}$ . This is a horodisk that touches the unit circle at the point 1. Suppose that f(1) = 1 (in the sense of radial limit) and denote by ${f^{\prime}(1)}$ the angular derivative. By Julia’s lemma ${f(H_{\lambda})\,\subset H_{{\lambda}f^{\prime}(1)}}$ . Let ${\Psi_f(\lambda)\,=\,\inf\,\{\rho > 0 : f(H_{\lambda}) \subset H_\rho\}}$ . We show that the function ${\Psi_f(\lambda)/\lambda}$ is a decreasing function of ${\lambda}$ and that ${\lim_{\lambda\,\to\,0+} \Psi_f(\lambda)/\lambda = f^\prime(1)}$ . This result implies that the constant ${f^\prime(1)}$ in Julia’s lemma is the best possible.     

SIP: critical value functions have finite modulus of non-convexity

We consider semi-infinite programming problems ${{\rm SIP}(z)}$ depending on a finite dimensional parameter ${z \in \mathbb{R}^p}$ . Provided that ${\bar{x}}$ is a strongly stable stationary point of ${{\rm SIP}(\bar{z})}$ , there exists a locally unique and continuous stationary point mapping ${z \mapsto x(z)}$ . This defines the local critical value function ${\varphi(z) := f(x(z); z)}$ , where ${x \mapsto f(x; z)}$ denotes the objective function of ${{\rm SIP}(z)}$ for a given parameter vector ${z\in \mathbb{R}^p}$ . We show that ${\varphi}$ is the sum of a convex function and a smooth function. In particular, this excludes the appearance of negative kinks in the graph of ${\varphi}$ .     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

On the Intersection of the Normalizers of the \boldsymbol{\cal{F}}-Residuals of Subgroups of a Finite Group

In this paper we give criteria for a finite group to belong to a formation. As applications, recent theorems of Li, Shen, Shi and Qian are generalized. Let G  be a finite group, $\cal F$ a formation and p  a prime. Let $D_{\mathcal {F}}(G)$ be the intersection of the normalizers of the $\cal F$ -residuals of all subgroups of G, and let $D_{\mathcal {F}}^{p}(G)$ be the intersection of the normalizers of $(H^{\cal F}O_{p'}(G))$ for all subgroups H of G. We then define $D_{\mathcal F}^{0}(G)=D_{\mathcal F, p}^{~0}(G)=1$ and $D_{\mathcal F}^{i+1}(G)/D_{\mathcal F}^{i}(G)=D_{\mathcal F}(G/D_{\mathcal F}^{i}(G))$ , $D_{\mathcal F, p}^{i+1}(G)/D_{\mathcal F, p}^{~i}(G)=D_{\mathcal F, p}(G/D_{\mathcal F, p}^{~i}(G))$ . Let $D_{\mathcal {F}}^{\infty}(G)$ and $D_{\mathcal {F}, p}^{~\infty}(G)$ denote the terminal member of the ascending series of $D_{\mathcal F}^{i}(G)$ and $D_{\mathcal F, p}^{~i}(G)$ respectively. In this paper we prove that under certain hypotheses, the the $\cal F$ -residual $G^{\cal F}$ is nilpotent (respectively,p-nilpotent) if and only if $G=D_{\mathcal {F}}^{\infty}(G)$ (respectively, $G=D_{\mathcal {F}, p}^{~\infty}(G)$ ). Further more, if the formation $\cal F$ is either the class of all nilpotent groups or the class of all abelian groups, then $G^{\cal F}$ is p-nilpotent if and only if and only if every cyclic subgroup of G order p and 4 (if p?=?2) is contained in $D_{\mathcal {F}, p}^{~\infty}(G)$ .     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .     

On the largest conjugacy class length of a finite group

Let $G$ be a finite group and $\mathrm{bcl}(G)$ the largest conjugacy class length of $G$ . In this note we slightly improve He and Shi’s lower bound for $\mathrm{bcl}(G)$ , showing that $|\mathrm{bcl}(G)|\ge p^{\frac{1}{p}}(|G:O_{p}(G)|_{p})^{\frac{p-1}{p}}$ .     

Characterization of projective linear groups by the order of the normalizer of a Sylow subgroup

Let $r$ be a prime and $G$ be a finite group, and let $R, \,S$ be Sylow $r$ -subgroups of $G$ and $\text{ PGL }(2, r)$ respectively. We prove the following results: (1) If $|G|=|\text{ PGL }(2, r)|$ and $|N_{G}(R)|=|N_{\mathrm{PGL}(2, r)} (S)|$ and $r$ is not a Mersenne prime, then $G$ is isomorphic to $\text{ PSL } (2, r) \times C_{2}, \,\text{ SL }(2, r)$ or $\text{ PGL }(2, r)$ . (2) If $|G|=|\text{ PGL }(2, r)|, \,|N_{G}(R)|=|N_{\mathrm{PGL}(2, r)}(S)|$ where $r>3$ is a Mersenne prime and $r$ is an isolated vertex of the prime graph of $G$ , then $G\cong \text{ PGL }(2, r)$ .     

Characterization and the pre-Schwarzian norm estimate for concave univalent functions

Let Co(α) denote the class of concave univalent functions in the unit disk ${\mathbb{D}}$ . Each function ${f\in Co(\alpha)}$ maps the unit disk ${\mathbb{D}}$ onto the complement of an unbounded convex set. In this paper we find the exact disk of variability for the functional ${(1-|z|^2)\left ( f^{\prime\prime}(z)/f^{\prime}(z)\right), f\in Co(\alpha)}$ . In particular, this gives sharp upper and lower estimates for the pre-Schwarzian norm of concave univalent functions. Next we obtain the set of variability of the functional ${(1-|z|^2)\left(f^{\prime\prime}(z)/f^{\prime}(z)\right), f\in Co(\alpha)}$ whenever f′′(0) is fixed. We also give a characterization for concave functions in terms of Hadamard convolution. In addition to sharp coefficient inequalities, we prove that functions in Co(α) belong to the H ^p space for p < 1/α.     

Triangles and groups via cevians

For a given triangle T and a real number ρ we define Ceva’s triangle ${\mathcal{C}_{\rho}(T)}$ to be the triangle formed by three cevians each joining a vertex of T to the point which divides the opposite side in the ratio ρ: (1 – ρ). We identify the smallest interval ${\mathbb{M}_T \subset \mathbb{R}}$ such that the family ${\mathcal{C}_{\rho}(T), \rho \in \mathbb{M}_T}$ , contains all Ceva’s triangles up to similarity. We prove that the composition of operators ${\mathcal{C}_\rho, \rho \in \mathbb{R}}$ , acting on triangles is governed by a certain group structure on ${\mathbb{R}}$ . We use this structure to prove that two triangles have the same Brocard angle if and only if a congruent copy of one of them can be recovered by sufficiently many iterations of two operators ${\mathcal{C}_\rho}$ and ${\mathcal{C}_\xi}$ acting on the other triangle.     

Transcendence Criterion for Values of Certain Functions of Several Variables

Let ${\Phi_0(\boldmath{z})}$ be the function defined by $$\Phi_0({\boldmath z}) = \Phi _{0}(z_1,\ldots, z_m)=\sum_{k\geq 0}\frac{E_k(z_1^{r^k},\ldots,z_m^{r^k})}{F_k(z_1^{r^k},\ldots,z_m^{r^k})},$$ where ${E_k(\boldmath{z})}$ and ${F_k(\boldmath{z})}$ are polynomials in m variables ${\boldmath{z} = (z_1,\ldots, z_m)}$ with coefficients satisfying a weak growth condition and r ≥ 2 a fixed integer. For an algebraic point ${\boldmath{\alpha}}$ satisfying some conditions, we prove that ${\Phi_{0}(\boldmath{\alpha})}$ is algebraic if and only if ${\Phi_{0}(\boldmath{z})}$ is a rational function. This is a generalization of the transcendence criterion of Duverney and Nishioka in one variable case. As applications, we give some examples of transcendental numbers.     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Pfaffian representations of cubic surfaces

Let $\mathbb{K }$ be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial $F$ of degree three in $\mathbb{K }[x_{0},x_1,x_{2},x_{3}]$ and a zero ${\mathbf{a }}$ of $F$ in $\mathbb{P }^{3}_{\mathbb{K }}$ and ensures a linear Pfaffian representation of $\text{ V}(F)$ with entries in $\mathbb{K }[x_{0},x_{1},x_{2},x_{3}]$ , under mild assumptions on $F$ and ${\mathbf{a }}$ . We use this result to give an explicit construction of (and to prove the existence of) a linear Pfaffian representation of $\text{ V}(F)$ , with entries in $\mathbb{K }^{\prime }[x_{0},x_{1},x_{2},x_{3}]$ , being $\mathbb{K }^{\prime }$ an algebraic extension of $\mathbb{K }$ of degree at most six. An explicit example of such a construction is given.     

Privileged Regions in Critical Strips of Non-lattice Dirichlet Polynomials

This paper shows, by means of Kronecker’s theorem, the existence of infinitely many privileged regions called $r$ -rectangles (rectangles with two semicircles of small radius $r$ ) in the critical strip of each function $L_{n}(z)\!:=\!$ $1-\sum _{k=2}^{n}k^{z}$ , $n\!\ge \!2$ , containing exactly $\left[ \dfrac{T\log n}{2\pi }\right] +1$ zeros of $L_{n}(z)$ , where $T$ is the height of the $r$ -rectangle and $\left[\cdot \right]$ represents the integer part.     

Invariant submanifolds of Sasakian space forms

In the present study, we consider isometric immersions ${f : M \rightarrow \tilde{M}(c)}$ of (2n + 1)-dimensional invariant submanifold M ²ⁿ⁺¹ of (2m + 1) dimensional Sasakian space form ${\tilde{M}^{2m+1}}$ of constant ${ \varphi}$ -sectional curvature c. We have shown that if f satisfies the curvature condition ${\overset{\_}{R}(X, Y) \cdot \sigma =Q(g, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=\frac{1}{3}(2c+n(c+1)),}$ or ${||\sigma||^{2}(x) > \frac{1}{3}(2c+n(c+1)}$ at some point x of M ²ⁿ⁺¹. We also prove that ${\overset{\_ }{R}(X, Y)\cdot \sigma = \frac{1}{2n}Q(S, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=-\frac{2}{3}(\frac{1}{2n}\tau -\frac{1}{2}(n+2)(c+3)+3)}$ , or ${||\sigma||^{2}(x) > -\frac{2}{3}(\frac{1}{2n} \tau (x)-\frac{1}{2} (n+2)(c+3)+3)}$ at some point x of M ²ⁿ⁺¹.     

The Roles Played by Order of Convexity or Starlikeness and the Bloch Condition in the Extension of Mappings from the Disk to the Ball

Let ${G: \mathbb {C}^{n-1} \rightarrow \mathbb {C}}$ be holomorphic such that G(0)?=?0 and DG(0)?=?0. When f is a convex (resp. starlike) normalized (f(0)?=?0, f??(0)?=?1) univalent mapping of the unit disk ${\mathbb {D}}$ in ${\mathbb {C}}$ , then the extension of f to the Euclidean unit ball ${\mathbb {B}}$ in ${\mathbb {C}^n}$ given by ${\Phi_G(f)(z)=(f(z_1)+G(\sqrt{f^{\prime}(z_1)} \, \hat{z}),\sqrt{f^{\prime}(z_1)}\, \hat{z})}$ , ${\hat{z}=(z_2,\dots,z_n) \in \mathbb {C}^{n-1}}$ , is known to be convex (resp. starlike) if G is a homogeneous polynomial of degree 2 with sufficiently small norm. Conversely, it is known that G cannot have terms of degree greater than 2 in its expansion about 0 in order for ${\Phi_G(f)}$ to be convex (resp. starlike), in general. We examine whether the restriction that f be either convex or starlike of a certain order ${\alpha \in (0,1]}$ allows, in general, for G to contain terms of degree greater than 2 and still have ${\Phi_G(f)}$ maintain the respective geometric property. Related extension results for convex and starlike Bloch mappings are also given.     

Two-Point Distortion for Nehari Functions

Let $\mathcal N (t)$ , $t\ge 0$ , be the Nehari class of locally injective holomorphic functions on the unit disk $\mathbb D $ that satisfy $$\begin{aligned} \sup _{z\in \mathbb D }\big (1-|z|^2\big )^2|S_f(z)| \le 2t, \end{aligned}$$ where $S_f = f^{\prime \prime \prime }/f^{\prime } - (3/2)\big (f^{\prime \prime }/f^{\prime }\big )^2$ is the Schwarzian derivative of $f$ . Sharp two-point upper and lower distortion theorems for these functions were recently established by Chuaqui, Duren, Ma, Mejia, Minda and Osgood. A classical result of Krauss shows that all univalent functions on $\mathbb D $ lie in $\mathcal N (3)$ . There are two different two-point upper distortion theorems for univalent functions due to Jenkins, Ma and Minda, and Kraus and Roth. Two similar two-point upper distortion theorems hold for $\mathcal N (t)$ . These two-point upper distortion theorems for $\mathcal N (3)$ are the known two-point upper distortion theorems for univalent functions, so the latter are actually valid for the larger class $\mathcal N (3)$ . Two-point distortion theorems for $\mathcal N (t)$ imply local uniform control in the hyperbolic sense on absolute cross-ratio distortion for functions in $\mathcal N (t)$ .     

Existence of positive periodic solutions for second-order functional differential equations

In this paper, we show the existence of positive $T$ -periodic solutions of second-order functional differential equations $u^{\prime \prime }(t)-\rho ^2u(t)+\lambda g(t)f(u(t-\tau (t)))=0,\ \ t\in \mathbb R , $ where $\rho >0$ is a constant, $g\in C(\mathbb R ,[0,\infty ))$ , $\tau \in C(\mathbb R ,\mathbb R )$ are $T$ -periodic functions, $f\in C([0,\infty ),[0,\infty ))$ and $\lambda $ is a positive parameter. Our approach based on global bifurcation theorem.     

Functional inequalities related to Mahler’s conjecture

Extending a result of Meyer and Reisner (Monatsh Math 125:219–227, 1998), we prove that if ${g: \mathbb{R}\to \mathbb{R}_+}$ is a function which is concave on its support, then for every m > 0 and every ${z\in\mathbb{R}}$ such that g(z) > 0, one has $$ \int\limits_{\mathbb{R}} g(x)^mdx\int\limits_{\mathbb{R}} (g^{*z}(y))^m dy\ge \frac{(m+2)^{m+2}}{(m+1)^{m+3}},$$ where for ${y\in \mathbb{R}}$ , ${g^{*z}(y)=\inf_x \frac{(1-(x-z)y)_+}{g(x)}}$ . It is shown how this inequality is related to a special case of Mahler’s conjecture (or inverse Santaló inequality) for convex bodies. The same ideas are applied to give a new (and simple) proof of the exact estimate of the functional inverse Santaló inequality in dimension 1 given in Fradelizi and Meyer (Adv Math 218:1430–1452, 2008). Namely, if ${\phi:\mathbb{R}\to\mathbb{R}\cup\{+\infty\}}$ is a convex function such that ${0 < \int e^{-\phi} < +\infty}$ then, for every ${z\in\mathbb{R}}$ such that ${\phi(z) < +\infty}$ , one has $$ \int\limits_{\mathbb{R}}e^{-\phi}\int\limits_{\mathbb{R}} e^{-\mathcal{L}^z\phi}\ge e,$$ where ${\mathcal {L}^z\phi}$ is the Legendre transform of ${\phi}$ with respect to z.