On Radial Functions and Distributions and Their Fourier Transforms

We give formulas relating the Fourier transform of a radial function in $\mathbb{R}^{n}$ and the Fourier transform of the same function in $\mathbb{R}^{n+1}$ , completing the analysis of Grafakos and Teschl (J. Fourier Anal. Appl. 19:167–179, 2013) where the case of $\mathbb{R}^{n}$ and $\mathbb{R}^{n+2}$ was considered.     

The Fourier transform of multiradial functions

We obtain an exact formula for the Fourier transform of multiradial functions, i.e., functions of the form \(\varPhi (x)=\phi (|x_1|, \dots , |x_m|), x_i\in \mathbf R^{n_i}\) , in terms of the Fourier transform of the function \(\phi \) on \(\mathbf R^{r_1}\times \cdots \times \mathbf R^{r_m}\) , where \(r_i\) is either \(1\) or \(2\) .     

C∞ functions in infinite dimension and linear partial differential difference equations with constant coefficients

This work is closed to [2] where a dense linear subspace \(\mathbb{E}\) (E) of the space ?(E) of the Silva C ^∞ functions on E is defined; the dual of \(\mathbb{E}\) (E) is described via the Fourier transform by a Paley-Wiener-Schwartz theorem which is formulated exactly in the same way as in the finite dimensional case. Here we prove existence and approximation result for solutions of linear partial differential difference equations in \(\mathbb{E}\) (E) with constant coefficients. We also obtain a Hahn-Banach type extension theorem for some C^∞ functions defined on a closed subspace of a DFN space, which is analogous to a Boland’s result in the holomorphic case [1].     

Preduals of Quadratic Campanato Spaces Associated to Operators with Heat Kernel Bounds

Let L be a nonnegative, self-adjoint operator on \(L^{2}(\mathbb {R}^{n})\) with the Gaussian upper bound on its heat kernel. As a generalization of the square Campanato space \(\mathcal {L}^{2,\lambda }_{-\Delta }(\mathbb R^{n})\) , in Duong et al. (J. Fourier Anal. Appl. 13:87–111, 2007) the quadratic Campanato space \(\mathcal {L}_{L}^{2,\lambda }(\mathbb {R}^{n})\) is defined by a variant of the maximal function associated with the semigroup {e ^{?t L} } _t≥0. On the basis of Dafni and Xiao (J. Funct. Anal. 208:377–422, 2004) and Yang and Yuan (J. Funct. Anal. 255:2760–2809, 2008) this paper addresses the preduality of \(\mathcal {L}_{L}^{2,\lambda }(\mathbb {R}^{n})\) through an induced atom (or molecular) decomposition. Even in the case L = ?Δ the discovered predual result is new and natural.     

Simply transitive geodesic ball packings to \mathbf{S}^2\!\times \!\mathbf{R} space groups generated by glide reflections

The \(\mathbf{S}^2\!\times \!\mathbf{R}\) geometry can be derived by the direct product of the spherical plane \(\mathbf{S}^2\) and the real line \(\mathbf{R}\) . In (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 42:235–250, 2001), Farkas has classified and given the complete list of the space groups of \(\mathbf{S}^2\!\times \!\mathbf{R}\) . The \(\mathbf{S}^2\!\times \!\mathbf{R}\) manifolds were classified by Molnár and Farkas in [2] by similarity and diffeomorphism. In Szirmai (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 52(2):413–430, 2011), we have studied the geodesic balls and their volumes in \(\mathbf{S}^2\!\times \!\mathbf{R}\) space; moreover, we have introduced the notion of geodesic ball packing and its density and have determined the densest geodesic ball packing for generalized Coxeter space groups of \(\mathbf{S}^2\!\times \!\mathbf{R}\) . In this paper, we study the locally optimal ball packings to the \(\mathbf{S}^2\!\times \!\mathbf{R}\) space groups having Coxeter point groups, and at least one of the generators is a glide reflection. We determine the densest simply transitive geodesic ball arrangements for the above space groups; moreover, we compute their optimal densities and radii. The density of the densest packing is \(\approx 0.80407553\) , may be surprising enough in comparison with the Euclidean result \(\frac{\pi }{\sqrt{18}}\approx 0.74048\) . Molnár has shown in (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 38(2):261–288, 1997) that the homogeneous 3-spaces have a unified interpretation in the real projective 3-sphere \(\mathcal PS ^3(\mathbf{V}^4,\varvec{V}_4,\mathbb R )\) . In our work, we shall use this projective model of \(\mathbf{S}^2\!\times \!\mathbf{R}\) geometry.     

On the rigidity of hypersurfaces into space forms

Our purpose is to study the rigidity of complete hypersurfaces immersed into a Riemannian space form. In this setting, first we use a classical characterization of the Euclidean sphere \(\mathbb S ^{n+1}\) due to Obata (J Math Soc Jpn 14:333–340, 1962) in order to prove that a closed orientable hypersurface \(\Sigma ^n\) immersed with null second-order mean curvature in \(\mathbb S ^{n+1}\) must be isometric to a totally geodesic sphere \(\mathbb S ^{n}\) , provided that its Gauss mapping is contained in a closed hemisphere. Furthermore, as suitable applications of a maximum principle at the infinity for complete noncompact Riemannian manifolds due to Yau (Indiana Univ Math J 25:659–670, 1976), we establish new characterizations of totally geodesic hypersurfaces in the Euclidean and hyperbolic spaces. We also obtain a lower estimate of the index of minimum relative nullity concerning complete noncompact hypersurfaces immersed in such ambient spaces.     

Global solutions to the Navier–Stokes-{\bar \omega} and related models with rough initial data

We establish the global well-posedness of the Navier–Stokes- ${\bar \omega}$ model with initial data ${u_0 \in H^{1-s}(\mathbb{R}^3)}$ with ${0 < s < \frac{1}{2}}$ which improves the existence results in Fan and Zhou (Appl Math Lett 24:1915–1918, 2011), Layton et al. (Commun Pure Appl Anal 10:1763–1777, 2011) where the initial data are required belonging to ${H^2(\mathbb{R}^3)}$ . We also obtain the similar results for a family of Navier–Stokes-α-like and magnetohydrodynamic-α models.     

Classifying codimension two multigerms

We generalise the operations of augmentation and concatenations defined in Cooper et al. (Compos Math 131(2):121–160, 2002) in order to obtain multigerms of analytic (or smooth) maps \((\mathbb {K}^n,S)\rightarrow (\mathbb {K}^p,0)\) with \(\mathbb {K}=\mathbb {C}\) or \(\mathbb {R}\) from monogerms and some special multigerms. We then prove that any corank 1 codimension 2 multigerm in Mather’s nice dimensions \((n,p)\) with \(n\ge p-1\) can be constructed using augmentations and these operations.     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

Non-Lipschitz points and the {\textit{SBV}} regularity of the minimum time function

This paper is devoted to the study of the Hausdorff dimension of the singular set of the minimum time function \(T\) under controllability conditions which do not imply the Lipschitz continuity of \(T\) . We consider first the case of normal linear control systems with constant coefficients in \({\mathbb {R}}^N\) . We characterize points around which \(T\) is not Lipschitz as those which can be reached from the origin by an optimal trajectory (of the reversed dynamics) with vanishing minimized Hamiltonian. Linearity permits an explicit representation of such set, that we call \(\mathcal {S}\) . Furthermore, we show that \(\mathcal {S}\) is countably \(\mathcal {H}^{N-1}\) -rectifiable with positive \(\mathcal {H}^{N-1}\) -measure. Second, we consider a class of control-affine planar nonlinear systems satisfying a second order controllability condition: we characterize the set \(\mathcal {S}\) in a neighborhood of the origin in a similar way and prove the \(\mathcal {H}^1\) -rectifiability of \(\mathcal {S}\) and that \(\mathcal {H}^1(\mathcal {S})>0\) . In both cases, \(T\) is known to have epigraph with positive reach, hence to be a locally \(BV\) function (see Colombo et al.: SIAM J Control Optim 44:2285–2299, 2006; Colombo and Nguyen.: Math Control Relat 3: 51–82, 2013). Since the Cantor part of \(DT\) must be concentrated in \(\mathcal {S}\) , our analysis yields that \(T\) is locally \(SBV\) , i.e., the Cantor part of \(DT\) vanishes. Our results imply also that \(T\) is differentiable outside a \(\mathcal {H}^{N-1}\) -rectifiable set. With small changes, our results are valid also in the case of multiple control input.     

Iterative reweighted minimization methods for l_p regularized unconstrained nonlinear programming

In this paper we study general \(l_p\) regularized unconstrained minimization problems. In particular, we derive lower bounds for nonzero entries of the first- and second-order stationary points and hence also of local minimizers of the \(l_p\) minimization problems. We extend some existing iterative reweighted \(l_1\) ( \(\mathrm{IRL}_1\) ) and \(l_2\) ( \(\mathrm{IRL}_2\) ) minimization methods to solve these problems and propose new variants for them in which each subproblem has a closed-form solution. Also, we provide a unified convergence analysis for these methods. In addition, we propose a novel Lipschitz continuous \({\epsilon }\) -approximation to \(\Vert x\Vert ^p_p\) . Using this result, we develop new \(\mathrm{IRL}_1\) methods for the \(l_p\) minimization problems and show that any accumulation point of the sequence generated by these methods is a first-order stationary point, provided that the approximation parameter \({\epsilon }\) is below a computable threshold value. This is a remarkable result since all existing iterative reweighted minimization methods require that \({\epsilon }\) be dynamically updated and approach zero. Our computational results demonstrate that the new \(\mathrm{IRL}_1\) method and the new variants generally outperform the existing \(\mathrm{IRL}_1\) methods (Chen and Zhou in 2012; Foucart and Lai in Appl Comput Harmon Anal 26:395–407, 2009).     

Logarithmic Mean Oscillation on the Polydisc,Multi-Parameter Paraproducts and Iterated Commutators

We introduce another notion of bounded logarithmic mean oscillation in the \(N\) -torus and give an equivalent definition in terms of boundedness of multi-parameter paraproducts from the dyadic little \(\mathrm {BMO}\) , \(\mathrm {bmo}^d(\mathbb {T}^N)\) to the dyadic product \(\mathrm {BMO}\) space, \(\mathrm {BMO}^d(\mathbb {T}^N)\) . We also obtain a sufficient condition for the boundedness of the iterated commutators from the subspace of \(\mathrm {bmo}(\mathbb {R}^N)\) consisting of functions with support in \([0,1]^N\) to \(\mathrm {BMO}(\mathbb {R}^N)\) .     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .     

Supercyclic abelian semigroups of matrices on \mathbb {C}^{n}

We give a complete characterization of a supercyclic abelian semigroup of matrices on \(\mathbb {C}^{n}\) . For finitely generated semigroups, this characterization is explicit and it is used to determine the minimal number of matrices in normal form over \(\mathbb {C}\) that form a supercyclic abelian semigroup on \({\mathbb {C}}^{n}\) . In particular, no abelian semigroup generated by \(n-1\) matrices on \(\mathbb {C}^{n}\) can be supercyclic.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

Interpolation for a subclass of H ∞

We introduce and characterize two types of interpolating sequences in the unit disc \(\mathbb {D}\) of the complex plane for the class of all functions being the product of two analytic functions in \(\mathbb {D}\) , one bounded and another regular up to the boundary of \(\mathbb {D}\) , concretely in the Lipschitz class, and at least one of them vanishing at some point of \(\overline {\mathbb {D}}\) .     

\mathcal {A}_{p, {\mathbb {E}}} Weights,Maximal Operators,and Hardy Spaces Associated with a Family of General Sets

Suppose that \({\mathbb {E}}:=\{E_r(x)\}_{r\in {\mathcal {I}}, x\in X}\) is a family of open subsets of a topological space \(X\) endowed with a nonnegative Borel measure \(\mu \) satisfying certain basic conditions. We establish an \(\mathcal {A}_{{\mathbb {E}}, p}\) weights theory with respect to \({\mathbb {E}}\) and get the characterization of weighted weak type (1,1) and strong type \((p,p)\) , \(1<p\le \infty \) , for the maximal operator \({\mathcal {M}}_{{\mathbb {E}}}\) associated with \({\mathbb {E}}\) . As applications, we introduce the weighted atomic Hardy space \(H^1_{{\mathbb {E}}, w}\) and its dual \(BMO_{{\mathbb {E}},w}\) , and give a maximal function characterization of \(H^1_{{\mathbb {E}},w}\) . Our results generalize several well-known results.