Unit Ball Research Articles

Non‐cyclicity and polynomials in Dirichlet‐type spaces of the unit ball

AbstractWe give a description of the intersection of the zero set with the unit sphere of a polynomial that is zero‐free in the unit ball of . This description leads to a necessary condition for a polynomial to be cyclic in Dirichlet‐type spaces of the unit ball.

On the definition of Carrollian amplitudes in general dimensions

Abstract Carrollian amplitude is the natural object that defines the correlator of the boundary Carrollian field theory. In this work, we will elaborate on its proper definition in general dimensions. We use the vielbein field on the unit sphere to define the fundamental field with non-vanishing helicity in the local Cartesian frame which is the building block of the Carrollian amplitude. In general dimensions, the Carrollian amplitude is related to the momentum space scattering matrix by a modified Fourier transform. The Poincaré transformation law of the Carrollian amplitude in this definition has been discussed. We also find an isomorphism between the local rotation of the vielbein field and the superduality transformation.

Stochastic dissipative Euler’s equations for a free body

Abstract Intrinsic thermal fluctuations within a real solid challenge the rigid body assumption that is central to Euler’s equations for the motion of a free body. Recently, we have introduced a dissipative and stochastic version of Euler’s equations in a thermodynamically consistent way (European Journal of Mechanics – A/Solids 103, 105,184 (2024)). This framework describes the evolution of both orientation and shape of a free body, incorporating internal thermal fluctuations and their concomitant dissipative mechanisms. In the present work, we demonstrate that, in the absence of angular momentum, the theory predicts that the principal axes unit vectors of a body undergo an anisotropic Brownian motion on the unit sphere, with the anisotropy arising from the body’s varying moments of inertia. The resulting equilibrium time correlation function of the principal eigenvectors decays exponentially. This theoretical prediction is confirmed in molecular dynamics simulations of small bodies. The comparison of theory and equilibrium MD simulations allow us to measure the orientational diffusion tensor. We then use this information in the Stochastic Dissipative Euler’s Equations, to describe a non-equilibrium situation of a body spinning around the unstable intermediate axis. The agreement between theory and simulations is excellent, offering a validation of the theoretical framework.

Positive definite functions on a regular domain

Abstract We define positive and strictly positive definite functions on a domain and study these functions on a list of regular domains. The list includes the unit ball, conic surface, hyperbolic surface, solid hyperboloid and the simplex. Each of these domains is embedded in a quadrant or a union of quadrants of the unit sphere by a distance-preserving map, from which characterizations of positive definite and strictly positive definite functions are derived for these regular domains.

Eccentric p-Summing Lipschitz Operators and Integral Inequalities on Metric Spaces and Graphs

The extension of the concept of p-summability for linear operators to the context of Lipschitz operators on metric spaces has been extensively studied in recent years. This research primarily uses the linearization of the metric space M afforded by the associated Arens–Eells space, along with the duality between M and the metric dual space M# defined by the real-valued Lipschitz functions on M. However, alternative approaches to measuring distances between sequences of elements of metric spaces (essentially involved in the definition of p-summability) exist. One approach involves considering specific subsets of the unit ball of M# for computing the distances between sequences, such as the real Lipschitz functions derived from evaluating the difference in the values of the metric from two points to a fixed point. We introduce new notions of summability for Lipschitz operators involving such functions, which are characterized by integral dominations for those operators. To show the applicability of our results, in the last part of this paper, we use the theoretical tools obtained in the first part to analyze metric graphs. In particular, we show new results on the behavior of numerical indices defined on these graphs satisfying certain conditions of summability and symmetry.

Quasiconformal Mappings from Uniform Domains onto John Domains

AbstractWe establish nine equivalent conditions for a bounded domain which is quasiconformally equivalent to a bounded uniform domain with a connected boundary to be a John domain. These conditions connect the John property of the domain with other geometric properties, and with the quasisymmetry of quasiconformal mappings onto it. Our result is a generalization of the main result of Heinonen (Rev. Math. Iber. 5: 97–123, 1989), where a similar question was studied in the special case of the unit ball.

Fibers and Gleason parts for the maximal ideal space of Au(Bℓp)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {A}}_u(B_{\\ell _p})$$\\end{document}

In the early nineties, R. M. Aron, B. Cole, T. W. Gamelin and W. B. Johnson initiated the study of the maximal ideal space (spectrum) of Banach algebras of holomorphic functions defined on the open unit ball of an infinite dimensional complex Banach space. Within this framework, we investigate the fibers and Gleason parts of the spectrum of the algebra of holomorphic and uniformly continuous functions on the unit ball of ℓp\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell _p$$\\end{document} (1≤p<∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$1\\le p<\\infty $$\\end{document}). We show that the inherent geometry of these spaces provides a fundamental ingredient for our results. We prove that whenever p∈N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p\\in {\\mathbb {N}}$$\\end{document} (p≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p\\ge 2$$\\end{document}), the fiber of every z∈Bℓp\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$z\\in B_{\\ell _p}$$\\end{document} contains a set of cardinal 2c\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$2^{{\\mathfrak {c}}}$$\\end{document} such that any two elements of this set belong to different Gleason parts. For the case p=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p=1$$\\end{document}, we complete the known description of the fibers, showing that, for each z∈B¯ℓ1′′\\Sℓ1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$z\\in \\overline{B}_{\\ell _1''}{\\setminus } S_{\\ell _1}$$\\end{document}, the fiber over z is not a singleton. Also, we establish that different fibers over elements in Sℓ1′′\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S_{\\ell _1''}$$\\end{document} cannot share Gleason parts.

On extension of isometries between the positive unit spheres of $$(\sum \ell _p)_{\ell _q}$$

On extension of isometries between the positive unit spheres of $$(\sum \ell _p)_{\ell _q}$$

SLERP-TVDRK (STVDRK) Methods for Ordinary Differential Equations on Spheres

We mimic the conventional explicit Total Variation Diminishing Runge–Kutta (TVDRK) schemes and propose a class of numerical integrators to solve differential equations on a unit sphere. Our approach utilizes the exponential map inherent to the sphere and employs spherical linear interpolation (SLERP). These modified schemes, named SLERP-TVDRK methods or STVDRK, offer improved accuracy compared to typical projective RK methods. Furthermore, they eliminate the need for any projection and provide a straightforward implementation. While we have successfully constructed STVDRK schemes only up to third-order accuracy, we explain the challenges in deriving STVDRK-r for r≥4\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$r\\ge 4$$\\end{document}. To showcase the effectiveness of our approach, we will demonstrate its application in solving the eikonal equation on the unit sphere and simulating p-harmonic flows using our proposed method.

Nodal solutions for a weighted (N,p)-Kirchhoff-type problem with double exponential growth non-linearity

This paper investigates the existence of sign-changing solutions for a logarithmic weighted Kirchhoff [Formula: see text]-Laplacian problem in the unit ball [Formula: see text] of [Formula: see text] where [Formula: see text]. The non-linearity of the equation is assumed to have double exponential growth, which is motivated by Trudinger–Moser-type inequalities. To prove the existence of these solutions, we employ techniques such as constrained minimization within the Nehari set, a quantitative deformation lemma and results from degree theory.

A class of Hausdorff–Berezin operators on the unit ball

Abstract The article introduces and studies Hausdorff–Berezin operators on the unit ball in a complex space. These operators are a natural generalization of the Berezin transform. In addition, the class of such operators contains, for example, the invariant Green potential, and some other operators of complex analysis. Sufficient and necessary conditions for boundedness in the space of p – integrable functions with Haar measure (invariant with respect to involutive automorphisms of the unit ball) are given. We also provide results on compactness of Hausdorff–Berezin operators in Lebesgue spaces on the unit ball. Such operators have previously been introduced and studied in the context of the unit disc in the complex plane. Present work is a natural continuation of these studies.

On the classification of function algebras on subvarieties of noncommutative operator balls

We study algebras of bounded noncommutative (nc) functions on unit balls of operator spaces (nc operator balls) and on their subvarieties. Considering the example of the nc unit polydisk we show that these algebras, while having a natural operator algebra structure, might not be the multiplier algebra of any reasonable nc reproducing kernel Hilbert space (RKHS). After examining additional subtleties of the nc RKHS approach, we turn to study the structure and representation theory of these algebras using function theoretic and operator algebraic tools. We show that the underlying nc variety is a complete invariant for the algebra of uniformly continuous nc functions on a homogeneous subvariety, in the sense that two such algebras are completely isometrically isomorphic if and only if the subvarieties are nc biholomorphic. We obtain extension and rigidity results for nc maps between subvarieties of nc operator balls corresponding to injective spaces that imply that a biholomorphism between homogeneous varieties extends to a biholomorphism between the ambient balls, which can be modified to a linear isomorphism. Thus, the algebra of uniformly continuous nc functions on nc operator balls, and even its restriction to certain subvarieties, completely determine the operator space up to completely isometric isomorphism.

Submanifolds with constant scalar curvature in space forms

Let [Formula: see text] be an [Formula: see text]-dimensional oriented compact submanifold with constant normalized scalar curvature [Formula: see text] in the space form [Formula: see text]. Denote by [Formula: see text] and [Formula: see text] the mean curvature and the Ricci curvature of [Formula: see text] respectively. By applying Cheng-Yau’s self-adjoint operator, we first prove that if [Formula: see text] is a hypersurface in a unit sphere, and [Formula: see text], then [Formula: see text] is totally umbilical. Furthermore, we investigate the submanifolds in [Formula: see text] with flat normal bundle satisfying [Formula: see text], and obtain a complete classification theorem.

A proof of Guo-Wang’s conjecture on the uniqueness of positive harmonic functions in the unit ball

A proof of Guo-Wang’s conjecture on the uniqueness of positive harmonic functions in the unit ball

On dual Kadec norms

Let (X,‖⋅‖) be a Banach space such that all w⁎-convergent sequences in the dual unit sphere SX⁎ are also norm convergent. Then the weak⁎ and norm topologies agree on SX⁎. By known results it implies that X has a renorming whose dual is locally uniformly rotund, hence also C1-Fréchet smooth. In particular, X is an Asplund space. Our results also lend an alternative proof of the celebrated Josefson-Nissenzweig theorem.

Numerical evaluation of orientation averages and its application to molecular physics.

In molecular physics, it is often necessary to average over the orientation of molecules when calculating observables, in particular when modeling experiments in the liquid or gas phase. Evaluated in terms of Euler angles, this is closely related to integration over two- or three-dimensional unit spheres, a common problem discussed in numerical analysis. The computational cost of the integration depends significantly on the quadrature method, making the selection of an appropriate method crucial for the feasibility of simulations. After reviewing several classes of spherical quadrature methods in terms of their efficiency and error distribution, we derive guidelines for choosing the best quadrature method for orientation averages and illustrate these with three examples from chiral molecule physics. While Gauss quadratures allow for achieving numerically exact integration for a wide range of applications, other methods offer advantages in specific circumstances. Our guidelines can also be applied to higher-dimensional spherical domains and other geometries. We also present a Python package providing a flexible interface to a variety of quadrature methods.

Area of Minimal Hypersurfaces in the Unit Sphere (II)

Area of Minimal Hypersurfaces in the Unit Sphere (II)

Equivariant insight into hyperspaces of convex bodies

Let cc(Rn) denote the hyperspace of all nonempty compact convex subsets of the Euclidean space Rn endowed with the Hausdorff metric, and let cc(Bn)={A∈cc(Rn)|A⊂Bn}, where Bn is the closed unit ball of Rn. Let cb(Rn) be the subset of cc(Rn) consisting of all convex bodies, i.e., of sets A∈cc(Rn) with non-empty interior. In this survey article we reveal fundamental properties of the natural action Aff(n)↷cb(Rn) of the affine group that leads to structure results for cb(Rn) and for several important subsets of it. Orbit spaces of cb(Rn) and its subsets by some appropriate subgroups G<Aff(n) are homeomorphic to such important objects like the Hilbert cube or the Banach-Mazur compacta. Among other hyperspaces studied here are cw(Rn) - the hyperspace of convex bodies of constant width, Bp - the hyperspace of convex bodies with smooth boundary of positive Gaussian curvature, L(n) - the hyperspace of convex bodies for which the Euclidean unit ball is the Löwner ellipsoid, cˇ(n) - the hyperspace of convex sets for which the Euclidean unit ball is the Chebyshev ball, etc. The paper contains also several new results concerning equivariant extension properties of the hyperspaces in question, as well as the homeomorphism type of the hyperspace cb(Bn)=cb(Rn)∩cc(Bn) and its orbit spaces. Equivariant extension properties of these hyperspaces are applied to provide a very short proof of the classical Grünbaum Conjecture from Convex Geometry. Along the paper seventeen open problems are raised.

Rigid Formation Control on a Sphere: A Heterogeneous System Approach.

We consider a heterogeneous multiagent system for tracking multiple targets with a rigid formation on a unit sphere, where the targets and chasing agents are governed by single- and double-integrator models, respectively. To make asymptotic rendezvous between agents and their corresponding targets, we use an autonomous system consisting of attraction forces and velocity alignments. If the target's position, velocity, and acceleration information are available, we derive a multiagent system for complete rendezvous and obtain its exponential convergence result. If we have only the location and velocity information of the targets, we provide an autonomous system for practical rendezvous and the corresponding mathematical analysis. To prove the main results, we employ frame-rotation-structure decomposition for the double-integrator model and the geometric properties of a rigid formation on a sphere. We also provide numerical simulations to confirm our mathematical results and apply them to multiagent dynamics with a rigid formation that patrols the boundary line for a certain area on the sphere.

Reverse Carleson Measures for Hardy Spaces in the Unit Ball

Reverse Carleson Measures for Hardy Spaces in the Unit Ball