Some new estimates of the Fourier-Bessel transform in the space \mathbb{L}_2 \left( {\mathbb{R}_ + } \right)

The Fourier-Bessel integral transform $$g\left( x \right) = F\left[ f \right]\left( x \right) = \frac{1} {{2^p \Gamma \left( {p + 1} \right)}}\int\limits_0^{ + \infty } {t^{2p + 1} f\left( x \right)j_p \left( {xt} \right)dt}$$ is considered in the space $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ . Here, j _p (u) = ((2 ^p Γ(p+1))/(u ^p ))J _p (u) and J _p (u) is a Bessel function of the first kind. New estimates are proved for the integral $$\delta _N^2 \left( f \right) = \int\limits_N^{ + \infty } {x^{2p + 1} g^2 \left( x \right)dx, N > 0,}$$ in $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ for some classes of functions characterized by a generalized modulus of continuity.     

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 .     

The Algebra of {{\mathbf{SL}}_3}\left( \mathbb{C} \right) Conformal Blocks

We construct and study a family of toric degenerations of the Cox ring of the moduli of quasi-parabolic principal SL₃( $ \mathbb{C} $ ) bundles on a smooth, marked curve (C, $ \vec{p} $ ): Elements of this algebra have a well known interpretation as conformal blocks, from the Wess-Zumino-Witten model of conformal field theory. For the genus 0; 1 cases we find the level of conformal blocks necessary to generate the algebra. In the genus 0 case we also find bounds on the degrees of relations required to present the algebra. As a consequence we obtain a toric degeneration for the projective coordinate ring of an effective divisor on the moduli $ {{\mathcal{M}}_{{C,\vec{p}}}}\left( {\mathrm{S}{{\mathrm{L}}_3}\left( \mathbb{C} \right)} \right) $ of quasi-parabolic principal SL₃( $ \mathbb{C} $ ) bundles on (C, $ \vec{p} $ ). Along the way we recover positive polyhedral rules for counting conformal blocks.     

Multiple positive solutions of singular and critical elliptic problem in {\mathbb{R}^2} with discontinuous nonlinearities

Let Ω be a bounded domain in ${\mathbb{R}^2}$ with smooth boundary. We consider the following singular and critical elliptic problem with discontinuous nonlinearity: $$(P_\lambda)\left \{\begin{array}{ll} - \Delta u = \lambda \left(\frac{m(x, u) e^{\alpha{u}^2}}{|x|^{\beta}} + u^{q}g(u - a)\right),\quad{u} > 0 \quad {\rm in} \quad \Omega\\u \quad \quad = 0\quad {\rm on} \quad \partial \Omega \end{array}\right.$$ where ${0\leq q < 1 ,0< \alpha\leq4\pi}$ and ${\beta \in [0, 2)}$ such that ${\frac{\beta}{2} + \frac{\alpha}{4\pi} \leq 1}$ and ${{g(t - a) = \left\{\begin{array}{ll}1, t \leq a\\ 0, t > a.\end{array}\right.}}$ Under the suitable assumptions on m(x, t) we show the existence and multiplicity of solutions for maximal interval for λ.     

Towards a classification of modular compactifications of \mathcal {M}_{g,n}

The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$ . Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$ . When g≥1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$ . We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.     

Quasilinear elliptic equations in \mathbb{R }^{N} via variational methods and Orlicz-Sobolev embeddings

In this paper we prove the existence of a nontrivial non-negative radial solution for the quasilinear elliptic problem $$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} -\nabla \cdot \left[\phi ^{\prime }(|\nabla u|^2)\nabla u \right] +|u|^{\alpha -2}u =|u|^{s-2} u,&x\in \mathbb{R }^{N},\\ u(x) \rightarrow 0, \quad \text{ as} |x|\rightarrow \infty , \end{array} \right. \end{aligned}$$ where $N\ge 2, \phi (t)$ behaves like $t^{q/2}$ for small $t$ and $t^{p/2}$ for large $t, 1< p<q<N, 1<\alpha \le p^* q^{\prime }/p^{\prime }$ and $\max \{q,\alpha \}< s<p^*,$ being $p^*=\frac{pN}{N-p}$ and $p^{\prime }$ and $q^{\prime }$ the conjugate exponents, respectively, of $p$ and $q$ . Our aim is to approach the problem variationally by using the tools of critical points theory in an Orlicz-Sobolev space. A multiplicity result is also given.     

Geodesics on the Moduli Space of Oriented Circles in \mathbb{S}^{3}

Let ${\mathbb{Q}^3}$ be the moduli space of oriented circles in the three dimensional unit sphere ${\mathbb{S}^3}$ . Given a natural complex structure such space becomes a three dimensional complex manifold, with a M?bius invariant Hermitian metric h of type (2, 1). Up to M?bius transformations, all geodesics with respect to the Lorentz metric g = Re(h) on ${\mathbb{Q}^3}$ are determined to form a one-parameter family of circles on a helicoid in a space form ${\mathbb{R}^3, \mathbb{H}^3}$ or ${\mathbb{S}^{3}}$ , resp. We show also that any two oriented circles in ${\mathbb{S}^3}$ are connected by countably infinitely many geodesics in ${\mathbb{Q}^3}$ .     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Isometric embeddings of \mathbb{Z}_{p^k} in the Hamming space \mathbb{F}_{p}^{N} and \mathbb{Z}_{p^k}-linear codes

Isometric embeddings of $\mathbb{Z}_{p^n+1}$ into the Hamming space ( $\mathbb{F}_{p}^{p^n},w$ ) have played a fundamental role in recent constructions of non-linear codes. The codes thus obtained are very good codes, but their rate is limited by the rate of the first-order generalized Reed–Muller code—hence, when n is not very small, these embeddings lead to the construction of low-rate codes. A natural question is whether there are embeddings with higher rates than the known ones. In this paper, we provide a partial answer to this question by establishing a lower bound on the order of a symmetry of ( $\mathbb{F}_{p}^{N},w$ ).     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

On Zero-Sum {\mathbb{Z}_k} -Magic Labelings of 3-Regular Graphs

Let G =  (V, E) be a finite loopless graph and let (A, +) be an abelian group with identity 0. Then an A-magic labeling of G is a function ${\phi}$ from E into A ? {0} such that for some ${a \in A, \sum_{e \in E(v)} \phi(e) = a}$ for every ${v \in V}$ , where E(v) is the set of edges incident to v. If ${\phi}$ exists such that a =  0, then G is zero-sum A-magic. Let zim(G) denote the subset of ${\mathbb{N}}$ (the positive integers) such that ${1 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}}$ -magic and ${k \geq 2 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}_k}$ -magic. We establish that if G is 3-regular, then ${zim(G) = \mathbb{N} - \{2\}}$ or ${\mathbb{N} - \{2,4\}.}$      

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Linearity and Second Fundamental Forms for Proper Holomorphic Maps from \mathbb{B}^{n+1} to \mathbb{B}^{4n-3}

For a holomorphic proper map F from the ball $\mathbb{B}^{n+1}$ into $\mathbb{B}^{N+1}$ that is C ³ smooth up to the boundary, the image $M=F(\partial\mathbb{B}^{n})$ is an immersed CR submanifold in the sphere $\partial \mathbb{B}^{N+1}$ on which some second fundamental forms II _M and $\mathit{II}^{CR}_{M}$ can be defined. It is shown that when 4??n+1<N+1??4n?3, F is linear fractional if and only if $\mathit{II}_{M} - \mathit{II}_{M}^{CR} \equiv 0$ .     

Root polytopes and Abelian ideals

We study the root polytope $\mathcal{P}_{\varPhi}$ of a finite irreducible crystallographic root system Φ using its relation with the Abelian ideals of a Borel subalgebra of a simple Lie algebra with root system Φ. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal{P}_{\varPhi}$ and analyze its relation with the facets of $\mathcal{P}_{\varPhi}$ . For Φ of type A _n or C _n , we show that the orbits of some special subsets of Abelian ideals under the action of the Weyl group parametrize a triangulation of  $\mathcal{P}_{\varPhi}$ . We show that this triangulation restricts to a triangulation of the positive root polytope  $\mathcal{P}_{\varPhi}^{+}$ .     

Symmetry breaking bifurcation from solutions concentrating on the equator of \mathbb{S}^N

We are concerned with the elliptic problem $${\varepsilon ^2}{\Delta _{{S^n}}}u - u + {u^p} = 0{\text{ in }}{S^n},u > 0{\text{ in }}{S^n}$$ , where ${\Delta _{{S^n}}}$ is the Laplace-Beltrami operator on $\mathbb{S}^n : = \left\{ {x \in \mathbb{R}^{n + 1} ;\left\| x \right\| = 1} \right\}\left( {n \geqslant 3} \right)$ , and p ? 2. We construct a smooth branch C of solutions concentrating on the equator S ⁿ ∩ {x _{n+1 = 0}}. Using the Crandall-Rabinowitz bifurcation theorem, we show that C has infinitely many bifurcation points from which continua of nonradial solutions emanate. In applying the bifurcation theorem, we verify the transversality condition directly.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

Classification of rotational special Weingarten surfaces of minimal type in {\mathbb{S}^2 \times \mathbb{R}} and {\mathbb{H}^2 \times \mathbb{R}}

In this paper we classify the complete rotational special Weingarten surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ ; i.e. rotational surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ whose mean curvature H and extrinsic curvature K _e satisfy H = f(H ² ? K _e ), for some function ${f \in \mathcal{C}^1([0,+\infty))}$ such that f(0) = 0 and 4x(f′(x))² < 1 for any x ≥ 0. Furthermore we show the existence of non-complete examples of such surfaces.     

Isometric Immersions into {\mathbb{S}^m \times \mathbb{R}} and {\mathbb{H}^m \times \mathbb{R}} with High Codimensions

In this paper, we obtain sufficient and necessary conditions for a simply connected Riemannian manifold (M ⁿ , g) to be isometrically immersed into ${\mathbb{S}^m \times \mathbb{R}}$ and ${\mathbb{H}^m \times \mathbb{R}}$ .