1,192 results
Search Results
2. On A.Ya. Khinchin's paper ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ (1926): A translation with introduction and commentary
- Author
-
Lukas M. Verburgt and Olga Hoppe-Kondrikova
- Subjects
History ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Victory ,Ignorance ,06 humanities and the arts ,0603 philosophy, ethics and religion ,01 natural sciences ,Epistemology ,Subject matter ,Formalism (philosophy of mathematics) ,Intuitionism ,060302 philosophy ,Calculus ,Ideology ,0101 mathematics ,Communism ,media_common ,Mathematics - Abstract
The translation into English of Aleksandr Yakovlevich Khinchin's (1894–1959) 1926 paper entitled ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ is made available for the first time. Here, Khinchin presented the famous foundational debate between L.E.J. Brouwer and David Hilbert of the 1920s in terms of a search for a mathematics with content. His main aim seems to have been to make intuitionism ideologically acceptable to his audience at the Communist Academy by means of the claim that insofar as Brouwer's intuitionism had a clear ‘subject matter’ and Hilbert's new program was a concession to intuitionism, the alleged victory of intuitionism not only implied the defeat of ‘empty’ formalism, but also showed the compatibility and affinity of Marxism with the newest developments in modern mathematics. This introduction provides a tentative exploration of the issue of what was tactical (or due to ideological pressure) and what was real scientific interest (or due to ignorance) (or what was both) in Khinchin's 1926 paper in the form of a detailed commentary, especially, on the tactical side of his presentation of the positions of Brouwer and Hilbert.
- Published
- 2016
3. Remarks on E. A. Rahmanov's paper 'on the asymptotics of the ratio of orthogonal polynomials'
- Author
-
Paul Nevai and Attila Máté
- Subjects
Discrete mathematics ,Mathematics(all) ,Numerical Analysis ,Statement (logic) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,01 natural sciences ,Algebra ,Orthogonal polynomials ,0101 mathematics ,Analysis ,Mathematics ,Counterexample - Abstract
It is pointed out that the proof of the basic result of Rahmanov's paper has a serious gap. It is documented by original sources that a statement he relied on in the proof contains a misprint, and it is shown by a counterexample that this statement (with the misprint) is, in fact, false. A somewhat weaker statement is proved true.
- Published
- 1982
4. Extrapolation of compactness on weighted spaces: Bilinear operators
- Author
-
Stefanos Lappas, Tuomas Hytönen, Tuomas Hytönen / Principal Investigator, and Department of Mathematics and Statistics
- Subjects
Pure mathematics ,General Mathematics ,COMMUTATORS ,Mathematics::Classical Analysis and ODEs ,Extrapolation ,Bilinear interpolation ,NORM INEQUALITIES ,47B38 (Primary), 42B20, 42B35, 46B70, 47H60 ,Space (mathematics) ,Multilinear Muckenhoupt weights ,01 natural sciences ,Rubio de Francia extrapolation ,Compact operators ,111 Mathematics ,Classical Analysis and ODEs (math.CA) ,FOS: Mathematics ,0101 mathematics ,Lp space ,Mathematics ,Calderon-Zygmund operators ,Fractional integral operators ,010102 general mathematics ,Muckenhoupt weights ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,010101 applied mathematics ,Range (mathematics) ,Compact space ,Mathematics - Classical Analysis and ODEs ,Bounded function ,Fourier multipliers ,INTEGRAL-OPERATORS - Abstract
In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calder\'{o}n-Zygmund operators, bilinear fractional integrals and bilinear Fourier multipliers. More general versions of these results are recently due to Cao, Olivo and Yabuta (arXiv:2011.13191), whose approach depends on developing weighted versions of the Fr\'echet--Kolmogorov criterion of compactness, whereas we avoid this by relying on "softer" tools, which might have an independent interest in view of further extensions of the method., Comment: v3: final version, incorporated referee comments, to appear in Indagationes Mathematicae, 27 pages
- Published
- 2022
5. Phase portraits of separable quadratic systems and a bibliographical survey on quadratic systems
- Author
-
Jaume Llibre and Tao Li
- Subjects
Pure mathematics ,Class (set theory) ,Poincaré compactification ,Phase portrait ,General Mathematics ,010102 general mathematics ,Quadratic function ,01 natural sciences ,Separable space ,Quadratic system ,symbols.namesake ,Quadratic equation ,Separable system ,Poincaré conjecture ,symbols ,Compactification (mathematics) ,0101 mathematics ,Quadratic differential ,Mathematics - Abstract
Although planar quadratic differential systems and their applications have been studied in more than one thousand papers, we still have no complete understanding of these systems. In this paper we have two objectives. First we provide a brief bibliographical survey on the main results about quadratic systems. Here we do not consider the applications of these systems to many areas as in Physics, Chemist, Economics, Biology, … Second we characterize the new class of planar separable quadratic polynomial differential systems. For such class of systems we provide the normal forms which contain one parameter, and using the Poincare compactification and the blow up technique, we prove that there exist 10 non-equivalent topological phase portraits in the Poincare disc for the separable quadratic polynomial differential systems.
- Published
- 2021
6. On the singular value decomposition over finite fields and orbits of GU×GU
- Author
-
Robert M. Guralnick
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,01 natural sciences ,Unitary state ,Nilpotent matrix ,symbols.namesake ,Finite field ,Character (mathematics) ,Kronecker delta ,Singular value decomposition ,Linear algebra ,symbols ,0101 mathematics ,Algebraic number ,Mathematics - Abstract
The singular value decomposition of a complex matrix is a fundamental concept in linear algebra and has proved extremely useful in many subjects. It is less clear what the situation is over a finite field. In this paper, we classify the orbits of GU m ( q ) × GU n ( q ) on M m × n ( q 2 ) (which is the analog of the singular value decomposition). The proof involves Kronecker’s theory of pencils and the Lang–Steinberg theorem for algebraic groups. Besides the motivation mentioned above, this problem came up in a recent paper of Guralnick et al. (2020) where a concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups was studied and bounds on the number of orbits was needed. A consequence of this work determines possible pairs of Jordan forms for nilpotent matrices of the form A A ∗ and A ∗ A over a finite field and A A ⊤ and A ⊤ A over arbitrary fields.
- Published
- 2021
7. Systems of quasilinear parabolic equations in Rn and systems of quadratic backward stochastic differential equations
- Author
-
Sheung Chi Phillip Yam, Jens Frehse, and Alain Bensoussan
- Subjects
Quadratic growth ,Applied Mathematics ,General Mathematics ,Open problem ,010102 general mathematics ,01 natural sciences ,Parabolic partial differential equation ,Domain (mathematical analysis) ,010104 statistics & probability ,Stochastic differential equation ,Quadratic equation ,Bounded function ,Applied mathematics ,Uniqueness ,0101 mathematics ,Mathematics - Abstract
The objective of this paper is two-fold. The first objective is to complete the former work of Bensoussan and Frehse [2] . One big limitation of this paper was the fact that they are systems of PDE. on a bounded domain. One can expect solutions to be bounded, since one looks for smooth solutions. This is a very important property for the development of the method. It is true also that solutions which exist in a bounded domain may fail to exist on R n , because of the lack of bounds. We give conditions so that the results of [2] can be extended to R n . The second objective is to consider the BSDE (Backward stochastic differential equations) version of the system of PDE. This is the objective of a more recent work of Xing and Zitkovic [8] . They consider systems of BSDE with quadratic growth, which is a well-known open problem in the BSDE literature. Since the BSDE are Markovian, the problem is equivalent to the analytic one. However, because of this motivation the analytic problem is in R n and not on a bounded domain. Xing and Zitkovic developed a probabilistic approach. The connection between the analytic problem and the BSDE is not apparent. Our objective is to show that the analytic approach can be completely translated into a probabilistic one. Nevertheless probabilistic concepts are also useful, after their conversion into the analytic framework. This is in particular true for the uniqueness result.
- Published
- 2021
8. On additive and multiplicative decompositions of sets of integers with restricted prime factors, I. (Smooth numbers)
- Author
-
Kálmán Győry, Lajos Hajdu, and András Sárközy
- Subjects
Sequence ,Conjecture ,Mathematics - Number Theory ,General Mathematics ,Sieve (category theory) ,010102 general mathematics ,Multiplicative function ,010103 numerical & computational mathematics ,01 natural sciences ,Combinatorics ,Prime factor ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Unit (ring theory) ,Mathematics - Abstract
In Sarkozy (2001) the third author of this paper presented two conjectures on the additive decomposability of the sequence of ”smooth” (or ”friable”) numbers. Elsholtz and Harper (2015) proved (by using sieve methods) the second (less demanding) conjecture. The goal of this paper is to extend and sharpen their result in three directions by using a different approach (based on the theory of S -unit equations).
- Published
- 2021
9. Global solutions to systems of quasilinear wave equations with low regularity data and applications
- Author
-
Dongbing Zha and Kunio Hidano
- Subjects
Null condition ,Small data ,biology ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Symmetric case ,biology.organism_classification ,Wave equation ,01 natural sciences ,Global iteration ,010101 applied mathematics ,Nonlinear system ,Chen ,Initial value problem ,Applied mathematics ,0101 mathematics ,Mathematics - Abstract
In this paper, we study the Cauchy problem for systems of 3-D quasilinear wave equations satisfying the null condition with initial data of low regularity. In the radially symmetric case, we prove the global existence for every small data in H 3 × H 2 with a low weight. To achieve this goal, we will show how to extend the global iteration method first suggested by Li and Chen (1988) [32] to the low regularity case, which is also another purpose of this paper. Finally, we apply our result to 3-D nonlinear elastic waves.
- Published
- 2020
10. On some universal Morse–Sard type theorems
- Author
-
Alba Roviello, Adele Ferone, Mikhail V. Korobkov, Ferone, A., Korobkov, M. V., and Roviello, A.
- Subjects
Uncertainty principle ,Dubovitskii-Federer theorems ,Near critical ,Morse-Sard theorem ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Algebraic geometry ,Morse code ,Sobolev-Lorentz mapping ,Holder mapping ,01 natural sciences ,law.invention ,Sobolev space ,Combinatorics ,law ,0103 physical sciences ,010307 mathematical physics ,Differentiable function ,Bessel potential space ,0101 mathematics ,Critical set ,Mathematics - Abstract
The classical Morse–Sard theorem claims that for a mapping v : R n → R m + 1 of class C k the measure of critical values v ( Z v , m ) is zero under condition k ≥ n − m . Here the critical set, or m-critical set is defined as Z v , m = { x ∈ R n : rank ∇ v ( x ) ≤ m } . Further Dubovitskiĭ in 1957 and independently Federer and Dubovitskiĭ in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R n → R d belongs to the Holder class C k , α , 0 ≤ α ≤ 1 , then for every q > m the identity H μ ( Z v , m ∩ v − 1 ( y ) ) = 0 holds for H q -almost all y ∈ R d , where μ = n − m − ( k + α ) ( q − m ) . Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C k -case (when α = 0 ); similar result is established for the Sobolev classes of mappings W p k ( R n , R d ) with minimal integrability assumptions p = max ( 1 , n / k ) , i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools).
- Published
- 2020
11. Realizations of holomorphic and slice hyperholomorphic functions: The Krein space case
- Author
-
Fabrizio Colombo, Irene Sabadini, and Daniel Alpay
- Subjects
Quaternionic analysis ,Pure mathematics ,General Mathematics ,010102 general mathematics ,Holomorphic function ,Hypercomplex analysis ,010103 numerical & computational mathematics ,Space (mathematics) ,Krein spaces ,01 natural sciences ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,Kernel (algebra) ,30G35, 47B32, 46C20, 47B50 ,Realizations of analytic functions ,FOS: Mathematics ,Slice hyperholomorphic functions ,State space (physics) ,0101 mathematics ,Quaternion ,Realization (systems) ,Mathematics - Abstract
In this paper we treat realization results for operator-valued functions which are analytic in the complex sense or slice hyperholomorphic over the quaternions. In the complex setting, we prove a realization theorem for an operator-valued function analytic in a neighborhood of the origin with a coisometric state space operator thus generalizing an analogous result in the unitary case. A main difference with previous works is the use of reproducing kernel Krein spaces. We then prove the counterpart of this result in the quaternionic setting. The present work is the first paper which presents a realization theorem with a state space which is a quaternionic Krein space and may open new avenues of research in hypercomplex analysis.
- Published
- 2020
12. Reflection positivity and Levin–Wen models
- Author
-
Zhengwei Liu and Arthur Jaffe
- Subjects
Property (philosophy) ,General Mathematics ,010102 general mathematics ,Boundary (topology) ,01 natural sciences ,Quantization (physics) ,Theoretical physics ,Reflection (mathematics) ,Chain (algebraic topology) ,0101 mathematics ,Variety (universal algebra) ,Algebraic number ,Link (knot theory) ,Mathematics - Abstract
We give a transparent algebraic formulation of our pictorial approach to the reflection positivity (RP), that we introduced in a previous paper. We apply this quantization to the 2 + 1 Levin–Wen model to obtain 1 + 1 anyonic/quantum spin chain theory on the boundary, possibly entangled in the bulk. The reflection positivity property has played a central role in both mathematics and physics, as well as providing a crucial link between the two subjects. In a previous paper we gave a new geometric approach to understanding reflection positivity in terms of pictures. Here we give a transparent algebraic formulation of our pictorial approach. We use insights from this translation to establish the reflection positivity property for the fashionable Levin–Wen models with respect both to vacuum and to bulk excitations. We believe these methods will be useful for understanding a variety of other problems.
- Published
- 2020
13. Null controllability of semi-linear fourth order parabolic equations
- Author
-
K. Kassab, Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), and Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP)
- Subjects
Null controllability ,Observability ,Global Carleman estimate ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Null (mathematics) ,Exact controllability ,01 natural sciences ,Parabolic partial differential equation ,Dirichlet distribution ,Domain (mathematical analysis) ,010101 applied mathematics ,Controllability ,symbols.namesake ,Linear and semi-linear fourth order parabolic equation ,Bounded function ,MSC : 35K35, 93B05, 93B07 ,Neumann boundary condition ,symbols ,[MATH]Mathematics [math] ,0101 mathematics ,Mathematics - Abstract
International audience; In this paper, we consider a semi-linear fourth order parabolic equation in a bounded smooth domain Ω with homogeneous Dirichlet and Neumann boundary conditions. The main result of this paper is the null controllability and the exact controllability to the trajectories at any time T > 0 for the associated control system with a control function acting at the interior.; Dans ce papier, on considère uneéquation parabolique semi-linéaire de quatrième ordre dans un domaine borné régulier Ω avec des conditions aux limites de type Dirichlet et Neumann homogènes. Le résultat principal de ce papier concerne la contrôlabilitéà zéro et la contrôlabilité exacte pour tout T > 0 du système de contrôle associé avec un contrôle agissantà l'interieur.
- Published
- 2020
14. Local uniqueness for vortex patch problem in incompressible planar steady flow
- Author
-
Daomin Cao, Shusen Yan, Shuangjie Peng, and Yuxia Guo
- Subjects
Applied Mathematics ,General Mathematics ,Open problem ,010102 general mathematics ,Mathematical analysis ,Vorticity ,01 natural sciences ,Domain (mathematical analysis) ,Vortex ,010101 applied mathematics ,Flow (mathematics) ,Bounded function ,Stream function ,Uniqueness ,0101 mathematics ,ComputingMethodologies_COMPUTERGRAPHICS ,Mathematics - Abstract
We investigate a steady planar flow of an ideal fluid in a bounded simply connected domain and focus on the vortex patch problem with prescribed vorticity strength. There are two methods to deal with the existence of solutions for this problem: the vorticity method and the stream function method. A long standing open problem is whether these two entirely different methods result in the same solution. In this paper, we will give a positive answer to this problem by studying the local uniqueness of the solutions. Another result obtained in this paper is that if the domain is convex, then the vortex patch problem has a unique solution.
- Published
- 2019
15. Boundary value problems for the Brinkman system with L∞ coefficients in Lipschitz domains on compact Riemannian manifolds. A variational approach
- Author
-
Wolfgang L. Wendland and Mirela Kohr
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,Weak solution ,010102 general mathematics ,Mathematics::Analysis of PDEs ,Fixed-point theorem ,Riemannian manifold ,Lipschitz continuity ,01 natural sciences ,Dirichlet distribution ,Physics::Fluid Dynamics ,010101 applied mathematics ,Sobolev space ,Nonlinear system ,symbols.namesake ,symbols ,Boundary value problem ,0101 mathematics ,Mathematics - Abstract
The purpose of this paper is to show well-posedness results in L 2 -based Sobolev spaces for transmission, Dirichlet, Neumann, and mixed boundary value problems for the Brinkman system with L ∞ coefficients in Lipschitz domains on a compact Riemannian manifold of dimension m ≥ 2 . The Dirichlet, transmission, and mixed problems for the nonlinear Darcy-Forchheimer-Brinkman system with L ∞ coefficients are also analyzed. First, we focus on the well-posedness of linear transmission, Dirichlet and mixed boundary value problems for the Brinkman system with L ∞ coefficients in Lipschitz domains on compact Riemannian manifolds by using a variational approach that reduces such a boundary value problem to a mixed variational formulation defined in terms of two bilinear continuous forms, one of them satisfying a coercivity condition and another one the inf-sup condition. Further, we show the equivalence between each boundary value problem for the Brinkman system with L ∞ coefficients and its mixed variational counterpart, and then the well posedness in L 2 -based Sobolev spaces by using the Necas-Babuska-Brezzi technique. The second goal of this paper is the construction of the Newtonian and layer potential operators for the Brinkman system with L ∞ coefficients in Lipschitz domains on compact Riemannian manifolds by using the well-posedness results for the analyzed linear transmission problems. Various mapping properties of these operators are also obtained and used to describe the weak solutions of the Poisson problems with Dirichlet and Neumann conditions for the nonsmooth Brinkman system in terms of such potentials. Finally, we combine the well-posedness results of the Poisson problems of Dirichlet, transmission, and mixed type for the nonsmooth Brinkman system with a fixed point theorem in order to show the existence of a weak solution of the Poisson problem of Dirichlet, transmission, or mixed type for the (nonlinear) Darcy-Forchheimer-Brinkman system with L ∞ coefficients in L 2 -based Sobolev spaces in Lipschitz domains on compact Riemannian manifolds of dimension m ∈ { 2 , 3 } .
- Published
- 2019
16. Dynamics of time-periodic reaction-diffusion equations with compact initial support on R
- Author
-
Weiwei Ding and Hiroshi Matano
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Ode ,01 natural sciences ,010101 applied mathematics ,Nonlinear system ,Bounded function ,Reaction–diffusion system ,Convergence (routing) ,Initial value problem ,Limit (mathematics) ,0101 mathematics ,Constant (mathematics) ,Mathematics - Abstract
This paper is concerned with the asymptotic behavior of bounded solutions of the Cauchy problem { u t = u x x + f ( t , u ) , x ∈ R , t > 0 , u ( x , 0 ) = u 0 , x ∈ R , where u 0 is a nonnegative bounded function with compact support and f is a rather general nonlinearity that is periodic in t and satisfies f ( ⋅ , 0 ) = 0 . In the autonomous case where f = f ( u ) , the convergence of every bounded solution to an equilibrium has been established by Du and Matano (2010). However, the presence of periodic forcing makes the problem significantly more difficult, partly because the structure of time periodic solutions is much less understood than that of steady states. In this paper, we first prove that any ω-limit solution is either spatially constant or symmetrically decreasing. Furthermore, we show that the set of ω-limit solutions either consists of a single time-periodic solution or it consists of multiple time-periodic solutions and heteroclinic connections among them. Next, under a mild non-degenerate assumption on the corresponding ODE, we prove that the ω-limit set is a singleton, which implies the solution converges to a time-periodic solution. Lastly, we apply these results to equations with bistable nonlinearity and combustion nonlinearity, and specify more precisely which time-periodic solutions can possibly be selected as the limit.
- Published
- 2019
17. Extensions of linear operators from hyperplanes and strong uniqueness of best approximation in L(X,W)
- Author
-
Paweł Wójcik
- Subjects
Numerical Analysis ,Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Banach space ,010103 numerical & computational mathematics ,Codimension ,Extension (predicate logic) ,01 natural sciences ,Projection (linear algebra) ,Operator (computer programming) ,Hyperplane ,Uniqueness ,0101 mathematics ,Analysis ,Subspace topology ,Mathematics - Abstract
The aim of this paper is to present some results concerning the problem of minimal projections and extensions. Let X be a reflexive Banach space and let Y be a closed subspace of X of codimension one. Let W be a finite-dimensional Banach space. We present a new sufficient condition under which any minimal extension of an operator A ∈ L ( Y , W ) is strongly unique. In this paper we show (in some circumstances) that if 1 λ ( Y , X ) , then a minimal projection from X onto Y is a strongly unique minimal projection. Moreover, we introduce and study a new geometric property of normed spaces. In this paper we also present a result concerning the strong unicity of best approximation.
- Published
- 2019
18. Convergence of boundary layers for the Keller–Segel system with singular sensitivity in the half-plane
- Author
-
Qianqian Hou and Zhi-An Wang
- Subjects
Plane (geometry) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Prandtl number ,Boundary (topology) ,Space (mathematics) ,01 natural sciences ,010101 applied mathematics ,Boundary layer ,symbols.namesake ,symbols ,Boundary value problem ,0101 mathematics ,Layer (object-oriented design) ,Degeneracy (mathematics) ,Mathematics - Abstract
Though the boundary layer formation in the chemotactic process has been observed in experiment (cf. [63] ), the mathematical study on the boundary layer solutions of chemotaxis models is just in its infant stage. Apart from the sophisticated theoretical tools involved in the analysis, how to impose/derive physical boundary conditions is a state-of-the-art in studying the boundary layer problem of chemotaxis models. This paper will proceed with a previous work [24] in one dimension to establish the convergence of boundary layer solutions of the Keller–Segel model with singular sensitivity in a two-dimensional space (half-plane) with respect to the chemical diffusion rate denoted by e ≥ 0 . Compared to the one-dimensional boundary layer problem, there are many new issues arising from multi-dimensions such as possible Prandtl type degeneracy, curl-free preservation and well-posedness of large-data solutions. In this paper, we shall derive appropriate physical boundary conditions and gradually overcome these barriers and hence establish the convergence of boundary layer solutions of the singular Keller–Segel system in the half-plane as the chemical diffusion rate vanishes. Specially speaking, we justify that the boundary layer converges to the outer layer (solution with e = 0 ) plus the inner layer as e → 0 , where both outer and inner layer profiles are precisely derived and well understood. By doing this, the structure of boundary layer solutions is clearly characterized. We hope that our results and methods can shed lights on the understanding of underlying mechanisms of the boundary layer patterns observed in the experiment for chemotaxis such as the work by Tuval et al. [63] , and open a new window in the future theoretical study of chemotaxis models.
- Published
- 2019
19. Existence and nonexistence of extremal functions for sharp Trudinger-Moser inequalities
- Author
-
Lu Zhang, Guozhen Lu, and Nguyen Lam
- Subjects
Pure mathematics ,Inequality ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Mathematics::Analysis of PDEs ,Function (mathematics) ,Type (model theory) ,Space (mathematics) ,01 natural sciences ,Infimum and supremum ,Symmetry (physics) ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics ,media_common - Abstract
Our main purpose in this paper is to establish the existence and nonexistence of extremal functions (also known as maximizers) and symmetry of extremals for several Trudinger-Moser type inequalities on the entire space R n , including both the critical and subcritical Trudinger-Moser inequalities (see Theorems 1.1, 1.2, 1.3, 1.4, 1.5). Most of earlier works on existence of maximizers in the literature rely on the complicated blow-up analysis of PDEs for the associated Euler-Lagrange equations of the corresponding Moser functionals. The new approaches developed in this paper are using the identities and relationship between the supremums of the subcritical Trudinger-Moser inequalities and the critical ones established by the same authors in [25] , combining with the continuity of the supremum function that is observed for the first time in the literature. These allow us to establish the existence and nonexistence of the maximizers for the Trudinger-Moser inequalities in different ranges of the parameters (including those inequalities with the exact growth). This method is considerably simpler and also allows us to study the symmetry problem of the extremal functions and prove that the extremal functions for the subcritical singular Truddinger-Moser inequalities are symmetric. Moreover, we will be able to calculate the exact values of the supremums of the Trudinger-Moser type in certain cases. These appear to be the first results in this direction.
- Published
- 2019
20. Geodesic vector fields and Eikonal equation on a Riemannian manifold
- Author
-
Viqar Azam Khan and Sharief Deshmukh
- Subjects
Geodesic ,Eikonal equation ,Euclidean space ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,010103 numerical & computational mathematics ,Einstein manifold ,Riemannian manifold ,01 natural sciences ,Killing vector field ,Mathematics::Metric Geometry ,Vector field ,Mathematics::Differential Geometry ,0101 mathematics ,Ricci curvature ,Mathematics - Abstract
In this paper, we study the impact of geodesic vector fields (vector fields whose trajectories are geodesics) on the geometry of a Riemannian manifold. Since, Killing vector fields of constant lengths on a Riemannian manifold are geodesic vector fields, leads to the question of finding sufficient conditions for a geodesic vector field to be Killing. In this paper, we show that a lower bound on the Ricci curvature of the Riemannian manifold in the direction of geodesic vector field gives a sufficient condition for the geodesic vector field to be Killing. Also, we use a geodesic vector field on a 3-dimensional complete simply connected Riemannian manifold to find sufficient conditions to be isometric to a 3-sphere. We find a characterization of an Einstein manifold using a Killing vector field. Finally, it has been observed that a major source of geodesic vector fields is provided by solutions of Eikonal equations on a Riemannian manifold and we obtain a characterization of the Euclidean space using an Eikonal equation.
- Published
- 2019
21. Reproducing kernel orthogonal polynomials on the multinomial distribution
- Author
-
Robert C. Griffiths and Persi Diaconis
- Subjects
Numerical Analysis ,Stationary distribution ,Markov chain ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Poisson kernel ,010103 numerical & computational mathematics ,Kravchuk polynomials ,01 natural sciences ,Combinatorics ,symbols.namesake ,Kernel (statistics) ,Orthogonal polynomials ,symbols ,Test statistic ,Multinomial distribution ,0101 mathematics ,Analysis ,Mathematics - Abstract
Diaconis and Griffiths (2014) study the multivariate Krawtchouk polynomials orthogonal on the multinomial distribution. In this paper we derive the reproducing kernel orthogonal polynomials Q n ( x , y ; N , p ) on the multinomial distribution which are sums of products of orthonormal polynomials in x and y of fixed total degree n = 0 , 1 , … , N . The Poisson kernel ∑ n = 0 N ρ n Q n ( x , y ; N , p ) arises naturally from a probabilistic argument. An application to a multinomial goodness of fit test is developed, where the chi-squared test statistic is decomposed into orthogonal components which test the order of fit. A new duplication formula for the reproducing kernel polynomials in terms of the 1-dimensional Krawtchouk polynomials is derived. The duplication formula allows a Lancaster characterization of all reversible Markov chains with a multinomial stationary distribution whose eigenvectors are multivariate Krawtchouk polynomials and where eigenvalues are repeated within the same total degree. The χ 2 cutoff time, and total variation cutoff time is investigated in such chains. Emphasis throughout the paper is on a probabilistic understanding of the polynomials and their applications, particularly to Markov chains.
- Published
- 2019
22. Comparison of probabilistic and deterministic point sets on the sphere
- Author
-
Peter J. Grabner and T. A. Stepanyuk
- Subjects
Unit sphere ,Numerical Analysis ,Sequence ,Applied Mathematics ,General Mathematics ,Existential quantification ,010102 general mathematics ,Probabilistic logic ,Sampling (statistics) ,010103 numerical & computational mathematics ,01 natural sciences ,Combinatorics ,Point (geometry) ,0101 mathematics ,Constant (mathematics) ,Analysis ,Mathematics - Abstract
In this paper we make a comparison between certain probabilistic and deterministic point sets and show that some deterministic constructions (especially spherical t -designs) are better or as good as probabilistic ones like the jittered sampling model. We find asymptotic equalities for the discrete Riesz s -energy of sequences of well separated t -designs on the unit sphere S d ⊂ R d + 1 , d ≥ 2 . The case d = 2 was studied in Hesse (2009) and Hesse and Leopardi (2008). In Bondarenko et al., (2015) it was established that for d ≥ 2 , there exists a constant c d , such that for every N > c d t d there exists a well-separated spherical t -design on S d with N points. This paper gives results, based on recent developments that there exists a sequence of well separated spherical t -designs such that t and N are related by N ≍ t d .
- Published
- 2019
23. On the existence of optimal meshes in every convex domain on the plane
- Author
-
András Kroó
- Subjects
Numerical Analysis ,Polynomial ,Conjecture ,Degree (graph theory) ,Plane (geometry) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Polytope ,010103 numerical & computational mathematics ,01 natural sciences ,Combinatorics ,Cardinality ,Polygon mesh ,0101 mathematics ,Constant (mathematics) ,Analysis ,Mathematics - Abstract
In this paper we study the so called optimal polynomial meshes for domains in K ⊂ R d , d ≥ 2 . These meshes are discrete point sets Y n of cardinality c n d which have the property that ‖ p ‖ K ≤ A ‖ p ‖ Y n for every polynomial p of degree at most n with a constant A > 1 independent of n . It was conjectured earlier that optimal polynomial meshes exist in every convex domain. This statement was previously shown to hold for polytopes and C 2 like domains. In this paper we give a complete affirmative answer to the above conjecture when d = 2 .
- Published
- 2019
24. Critical points of the integral map of the charged three-body problem
- Author
-
Holger Waalkens, I. Hoveijn, and M. Zaman
- Subjects
Connection (fibred manifold) ,Pure mathematics ,Series (mathematics) ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,010103 numerical & computational mathematics ,Type (model theory) ,Three-body problem ,Infinity ,01 natural sciences ,Configuration space ,0101 mathematics ,media_common ,Mathematics - Abstract
This is the first in a series of three papers where we study the integral manifolds of the charged three-body problem. The integral manifolds are the fibers of the map of integrals. Their topological type may change at critical values of the map of integrals. Due to the non-compactness of the integral manifolds one has to take into account besides ‘ordinary’ critical points also critical points at infinity. In the present paper we concentrate on ‘ordinary’ critical points and in particular elucidate their connection to central configurations. In a second paper we will study critical points at infinity. The implications for the Hill regions, i.e. the projections of the integral manifolds to configuration space, are the subject of a third paper.
- Published
- 2019
25. On the relation of the spectral test to isotropic discrepancy and L-approximation in Sobolev spaces
- Author
-
Mathias Sonnleitner and Friedrich Pillichshammer
- Subjects
Statistics and Probability ,Numerical Analysis ,Control and Optimization ,Algebra and Number Theory ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Isotropy ,Mathematical analysis ,Convex set ,Boundary (topology) ,010103 numerical & computational mathematics ,01 natural sciences ,Upper and lower bounds ,Spectral test ,Sobolev space ,Dimension (vector space) ,Unit cube ,0101 mathematics ,Mathematics - Abstract
This paper is a follow-up to the recent paper of Pillichshammer and Sonnleitner (2020) [12] . We show that the isotropic discrepancy of a lattice point set is at most d 2 2 ( d + 1 ) times its spectral test, thereby correcting the dependence on the dimension d and an inaccuracy in the proof of the upper bound in Theorem 2 of the mentioned paper. The major task is to bound the volume of the neighbourhood of the boundary of a convex set contained in the unit cube. Further, we characterize averages of the distance to a lattice point set in terms of the spectral test. As an application, we infer that the spectral test – and with it the isotropic discrepancy – is crucial for the suitability of the lattice point set for the approximation of Sobolev functions.
- Published
- 2021
26. On ∗ and Ψ operators in topological spaces with ideals
- Author
-
Shyamapada Modak and Md. Monirul Islam
- Subjects
010101 applied mathematics ,Pure mathematics ,Ideal (set theory) ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Decomposition (computer science) ,0101 mathematics ,Topological space ,01 natural sciences ,Topology (chemistry) ,Mathematics - Abstract
The paper concerns operators in ideal topological spaces. Some characterizations of Hayashi–Samuel spaces, Ψ - C sets and semi-open sets of ∗ -topology are investigated. Continuity and decomposition are also part of this paper.
- Published
- 2018
27. Existence and uniqueness for a neutral differential problem with unbounded delay via fixed point results
- Author
-
Tanzeela Kanwal and Azhar Hussain
- Subjects
Pure mathematics ,Differential equation ,lcsh:Mathematics ,General Mathematics ,010102 general mathematics ,Fixed-point theorem ,Fixed point ,lcsh:QA1-939 ,01 natural sciences ,010101 applied mathematics ,Nonlinear system ,Metric space ,Uniqueness ,0101 mathematics ,Contraction (operator theory) ,Mathematics - Abstract
Jleli and Samet (2018) introduced a new metric space and named it as F -space. In this paper we consider the notion of α - ψ -contraction in the setting of F -metric spaces. We present some fixed point and coupled fixed point results in the generalized setting. Moreover, our purpose in this paper is to concerned with the solution of nonlinear neutral differential equation x ′ ( t ) = − a ( t ) x ( t ) + b ( t ) g ( x ( t − r ( t ) ) ) + c ( t ) x ′ ( t − r ( t ) ) with unbounded delay using fixed point theory in F -metric space.
- Published
- 2018
28. Normal crossings singularities for symplectic topology
- Author
-
Mark McLean, Aleksey Zinger, and Mohammad Farajzadeh Tehrani
- Subjects
Pure mathematics ,Logarithm ,Divisor ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Mathematics - Algebraic Geometry ,Mathematics - Symplectic Geometry ,0103 physical sciences ,FOS: Mathematics ,Symplectic Geometry (math.SG) ,53D05, 53D45, 14N35 ,Gravitational singularity ,010307 mathematical physics ,0101 mathematics ,Equivalence (formal languages) ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Symplectic sum ,Symplectic geometry ,Mathematics - Abstract
We introduce topological notions of normal crossings symplectic divisor and variety and establish that they are equivalent, in a suitable sense, to the desired geometric notions. Our proposed concept of equivalence of associated topological and geometric notions fits ideally with important constructions in symplectic topology. This partially answers Gromov's question on the feasibility of defining singular symplectic (sub)varieties and lays foundation for rich developments in the future. In subsequent papers, we establish a smoothability criterion for symplectic normal crossings varieties, in the process providing the multifold symplectic sum envisioned by Gromov, and introduce symplectic analogues of logarithmic structures in the context of normal crossings symplectic divisors., Comment: 65 pages, 4 figures; a number of typos fixed; the exposition has been significantly revised, fixing a technical error in the non-compact case in the process; this paper is now restricted to the simple normal crossings case; the arbitrary normal crossings case will be detailed in a followup paper
- Published
- 2018
29. On the mean field type bubbling solutions for Chern–Simons–Higgs equation
- Author
-
Shusen Yan and Chang-Shou Lin
- Subjects
General Mathematics ,010102 general mathematics ,Chern–Simons theory ,Structure (category theory) ,Type (model theory) ,01 natural sciences ,Mean field theory ,0103 physical sciences ,Higgs boson ,010307 mathematical physics ,Uniqueness ,0101 mathematics ,Parallelogram ,Mathematical physics ,Mathematics - Abstract
This paper is the second part of our comprehensive study on the structure of the solutions for the following Chern–Simons–Higgs equation: (0.1) { Δ u + 1 e 2 e u ( 1 − e u ) = 4 π ∑ j = 1 N δ p j , in Ω , u is doubly periodic on ∂ Ω , where Ω is a parallelogram in R 2 and e > 0 is a small parameter. In part 1 [29] , we proved the non-coexistence of different bubbles in the bubbling solutions and obtained an existence result for the Chern–Simons type bubbling solutions under some nearly necessary conditions. Mean field type bubbling solutions for (0.1) have been constructed in [27] . In this paper, we shall study two other important issues for the mean field type bubbling solutions: the necessary conditions for the existence and the local uniqueness. The results in this paper lay the foundation to find the exact number of solutions for (0.1) .
- Published
- 2018
30. Generating new ideals using weighted density via modulus functions
- Author
-
Adam Kwela, Pratulananda Das, and Kumardipta Bose
- Subjects
Combinatorics ,Modulo operation ,General Mathematics ,010102 general mathematics ,Modulus ,010103 numerical & computational mathematics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper we extend the idea of weighted density of Balcerzak et al. (2015) by using a modulus function and introduce the idea f -density of weight g of subsets of ω ≔ { 0 , 1 , … } (at the same time extending the notion of f -density (Aizpuru et al., 2014)), which we name d g f where g : ω → [ 0 , ∞ ) satisfies g ( n ) → ∞ and n ∕ g ( n ) ↛ 0 and f is a modulus function. The aim of this paper is to show that we can get new ideals Z g ( f ) consisting of sets A ⊂ ω for which d g f ( A ) = 0 different from all the previously constructed ideals Z g of Balcerzak et al. (2015) and moreover they retain all the nice properties of the ideals Z g .
- Published
- 2018
31. Controllability for noninstantaneous impulsive semilinear functional differential inclusions without compactness
- Author
-
Ahmed Ibrahim, Donal O'Regan, Yong Zhou, and JinRong Wang
- Subjects
Pure mathematics ,Semigroup ,General Mathematics ,010102 general mathematics ,Banach space ,01 natural sciences ,010101 applied mathematics ,Controllability ,Compact space ,Operator (computer programming) ,Differential inclusion ,Piecewise ,Infinitesimal generator ,0101 mathematics ,Mathematics - Abstract
The first part of this paper considers the controllability for a functional semilinear differential inclusion governed by a family of operators { A ( t ) : t ∈ [ 0 , b ] } generating an evolution operator in a Banach space in the presence of noninstantaneous impulse effects. In the second part of this paper we study the controllability for a fractional noninstantaneous impulsive semilinear differential inclusion with delay, where the linear part is an infinitesimal generator of a C 0 − semigroup. Using a weakly convergent criterion in the space of piecewise continuous functions and weak topology theory (for weak sequentially closed graph operators) we establish sufficient conditions to guarantee controllability results. Examples are given to illustrate the abstract results.
- Published
- 2018
32. Quasi-elliptic cohomology I
- Author
-
Zhen Huan
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,Elliptic cohomology ,16. Peace & justice ,Space (mathematics) ,Mathematics::Algebraic Topology ,01 natural sciences ,Cohomology ,Mathematics::K-Theory and Homology ,0103 physical sciences ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Equivariant map ,Mathematics - Algebraic Topology ,010307 mathematical physics ,55N34, 55P35 ,0101 mathematics ,Tate curve ,Constant (mathematics) ,Computer Science::Databases ,Quotient ,Orbifold ,Mathematics - Abstract
Quasi-elliptic cohomology is a variant of elliptic cohomology theories. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. Thus, the constructions on it can be made in a neat way. This theory reflects the geometric nature of the Tate curve. In this paper we provide a systematic introduction of its construction and definition., Comment: Final Version. 26 pages. To appear in Advances in Mathematics. In this paper we generalize the construction in arXiv:1612.00930. The subtle point of this generalization is explained in Section 2
- Published
- 2018
33. Double phase anisotropic variational problems and combined effects of reaction and absorption terms
- Author
-
Vicenţiu D. Rădulescu and Qihu Zhang
- Subjects
Applied Mathematics ,General Mathematics ,010102 general mathematics ,Differential operator ,01 natural sciences ,Divergence ,010101 applied mathematics ,Elliptic operator ,Double phase ,Compact space ,Absorption (logic) ,0101 mathematics ,Constant (mathematics) ,Anisotropy ,Mathematical physics ,Mathematics - Abstract
This paper deals with the existence of multiple solutions for the quasilinear equation − div A ( x , ∇ u ) + V ( x ) | u | α ( x ) − 2 u = f ( x , u ) in R N , which involves a general variable exponent elliptic operator in divergence form. The problem corresponds to double phase anisotropic phenomena, in the sense that the differential operator has behaviors like | ξ | q ( x ) − 2 ξ for small | ξ | and like | ξ | p ( x ) − 2 ξ for large | ξ | , where 1 α ( ⋅ ) ≤ p ( ⋅ ) q ( ⋅ ) N . Our aim is to approach variationally the problem by using the tools of critical points theory in generalized Orlicz–Sobolev spaces with variable exponent. Our results extend the previous works A. Azzollini et al. (2014) [4] and N. Chorfi and V. Radulescu (2016) [11] from cases where the exponents p and q are constant, to the case where p ( ⋅ ) and q ( ⋅ ) are functions. We also substantially weaken some of the hypotheses in these papers and we overcome the lack of compactness by using the Cerami compactness condition.
- Published
- 2018
34. On periodic solutions of a second-order, time-delayed, discontinuous dynamical system
- Author
-
Albert C. J. Luo and Liping Li
- Subjects
Dynamical systems theory ,General Mathematics ,Applied Mathematics ,010102 general mathematics ,Constraint (computer-aided design) ,Mathematical analysis ,General Physics and Astronomy ,Order (ring theory) ,Boundary (topology) ,Motion (geometry) ,Statistical and Nonlinear Physics ,Phase plane ,Dynamical system ,01 natural sciences ,010101 applied mathematics ,Flow (mathematics) ,0101 mathematics ,Mathematics - Abstract
This paper develops the analytical conditions for the existence of periodic solutions of a second-order,time-delayed, discontinuous dynamical system. A sample model consists of two linear delayed sub-systems with a switching boundary. The defined G-functions for the delayed, discontinuous systems are introduced, and sufficient and necessary conditions for a flow crossing, sliding and grazing along the switch boundary are developed for such a delayed, discontinuous system. Furthermore, nine (9) regular basic mappings in phase plane and thirty-three (33) delay-related mappings for the second-order, time-delayed, discontinuous systems are classified. Constraint equations are predicted analytically for two periodic orbits with initial functions provided posteriorly. Finally, three numerical examples are illustrated to verify the existence of generalized slowly oscillating periodic orbits without and with sliding portions. This paper improves and extends motion switchability conditions at the boundary in discontinuous dynamical systems without delay.
- Published
- 2018
35. Decomposition spaces, incidence algebras and Möbius inversion III: The decomposition space of Möbius intervals
- Author
-
Joachim Kock, Imma Gálvez-Carrillo, Andrew Tonks, Universitat Politècnica de Catalunya. Departament de Matemàtiques, and Universitat Politècnica de Catalunya. GEOMVAP - Geometria de Varietats i Aplicacions
- Subjects
Pure mathematics ,Mathematics::General Mathematics ,Mathematics::Number Theory ,General Mathematics ,Coalgebra ,18 Category theory [Classificació AMS] ,Structure (category theory) ,18G Homological algebra [homological algebra] ,Combinatorial topology ,55 Algebraic topology::55P Homotopy theory [Classificació AMS] ,Algebraic topology ,Space (mathematics) ,2-Segal space ,01 natural sciences ,Combinatorics ,decomposition space ,18G30, 16T10, 06A11, 18-XX, 55Pxx ,Mathematics::Category Theory ,0103 physical sciences ,Mathematics - Combinatorics ,Mathematics::Metric Geometry ,Matemàtiques i estadística::Topologia::Topologia algebraica [Àrees temàtiques de la UPC] ,Mathematics - Algebraic Topology ,0101 mathematics ,06 Order, lattices, ordered algebraic structures::06A Ordered sets [Classificació AMS] ,Mathematics ,Topologia combinatòria ,CULF functor ,Mathematics::Combinatorics ,Functor ,Mathematics::Complex Variables ,Homotopy ,010102 general mathematics ,Mathematics - Category Theory ,Möbius interval ,Topologia algebraica ,Hopf algebra ,18 Category theory ,homological algebra::18G Homological algebra [Classificació AMS] ,010307 mathematical physics ,Möbius inversion - Abstract
Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of M\"obius decomposition space, a far-reaching generalisation of the notion of M\"obius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of M\"obius intervals, which contains the universal M\"obius function (but is not induced by a M\"obius category), can be realised as the homotopy cardinality of a M\"obius decomposition space $U$ of all M\"obius intervals, and that in a certain sense $U$ is universal for M\"obius decomposition spaces and CULF functors., Comment: 35 pages. This paper is one of six papers that formerly constituted the long manuscript arXiv:1404.3202. v3: minor expository improvements. Final version to appear in Adv. Math
- Published
- 2018
36. On the perfection of schemes
- Author
-
Alessandra Bertapelle and Cristian D. Gonzalez-Aviles
- Subjects
Mathematics - Number Theory ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Perfection ,Inverse ,14A99 ,Perfect closure ,01 natural sciences ,Perfect scheme ,Mathematics - Algebraic Geometry ,Scheme (mathematics) ,0103 physical sciences ,FOS: Mathematics ,Applied mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,media_common ,Mathematics - Abstract
This is a chiefly expository paper on the subject of the title which, in our view, has not received a detailed treatment in the literature which is commensurate with its importance. We expect the results presented here to be useful in a number of contexts. For example, several of them will be applied in a forthcoming paper by the authors., Comment: 25 pages
- Published
- 2018
37. On emergence and complexity of ergodic decompositions
- Author
-
Pierre Berger and Jairo Bochi
- Subjects
Pure mathematics ,Lebesgue measure ,Dynamical systems theory ,General Mathematics ,010102 general mathematics ,Dynamical Systems (math.DS) ,Lebesgue integration ,37A35, 37C05, 37C45, 37C40, 37J40 ,01 natural sciences ,Measure (mathematics) ,010104 statistics & probability ,Metric space ,symbols.namesake ,FOS: Mathematics ,symbols ,Ergodic theory ,Mathematics - Dynamical Systems ,0101 mathematics ,Dynamical system (definition) ,Probability measure ,Mathematics - Abstract
A concept of emergence was recently introduced in the paper [Berger] in order to quantify the richness of possible statistical behaviors of orbits of a given dynamical system. In this paper, we develop this concept and provide several new definitions, results, and examples. We introduce the notion of topological emergence of a dynamical system, which essentially evaluates how big the set of all its ergodic probability measures is. On the other hand, the metric emergence of a particular reference measure (usually Lebesgue) quantifies how non-ergodic this measure is. We prove fundamental properties of these two emergences, relating them with classical concepts such as Kolmogorov's $\epsilon$-entropy of metric spaces and quantization of measures. We also relate the two types of emergences by means of a variational principle. Furthermore, we provide several examples of dynamics with high emergence. First, we show that the topological emergence of some standard classes of hyperbolic dynamical systems is essentially the maximal one allowed by the ambient. Secondly, we construct examples of smooth area-preserving diffeomorphisms that are extremely non-ergodic in the sense that the metric emergence of the Lebesgue measure is essentially maximal. These examples confirm that super-polynomial emergence indeed exists, as conjectured in the paper [Berger]. Finally, we prove that such examples are locally generic among smooth diffeomorphisms., Comment: v3: Final version; to appear in Advances in Mathematics
- Published
- 2021
38. L-improving estimates for Radon-like operators and the Kakeya-Brascamp-Lieb inequality
- Author
-
Philip T. Gressman
- Subjects
Pure mathematics ,Brascamp–Lieb inequality ,Continuum (topology) ,General Mathematics ,010102 general mathematics ,chemistry.chemical_element ,Radon ,Type (model theory) ,01 natural sciences ,Ambient space ,Range (mathematics) ,Quadratic equation ,chemistry ,Dimension (vector space) ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
This paper considers the problem of establishing L p -improving inequalities for Radon-like operators in intermediate dimensions (i.e., for averages overs submanifolds which are neither curves nor hypersurfaces). Due to limitations in existing approaches, previous results in this regime are comparatively sparse and tend to require special numerical relationships between the dimension n of the ambient space and the dimension k of the submanifolds. This paper develops a new approach to this problem based on a continuum version of the Kakeya-Brascamp-Lieb inequality, established by Zhang [28] and extended by Zorin-Kranich [29] , and on recent results for geometric nonconcentration inequalities [11] . As an initial application of this new approach, this paper establishes sharp restricted strong type L p -improving inequalities for certain model quadratic submanifolds in the range k n ≤ 2 k .
- Published
- 2021
39. The spaces of B(r,s,t,u) strongly almost convergent double sequences and matrix transformations
- Author
-
Orhan Tuǧ
- Subjects
Combinatorics ,Matrix difference equation ,Matrix (mathematics) ,Transformation matrix ,General Mathematics ,010102 general mathematics ,Domain (ring theory) ,0101 mathematics ,Space (mathematics) ,01 natural sciences ,Double sequence ,Mathematics - Abstract
Most recently, some new double sequence spaces B ( M u ) , B ( C ϑ ) where ϑ = { b , b p , r , f , f 0 } and B ( L q ) for 0 q ∞ have been introduced as the domain of four-dimensional generalized difference matrix B ( r , s , t , u ) in the double sequence spaces M u , C ϑ where ϑ = { b , b p , r , f , f 0 } and L q for 0 q ∞ , and some topological properties, dual spaces, some new four-dimensional matrix classes and matrix transformations related to these spaces have also been studied by Tug and Basar and Tug (see [1] , [2] , [3] , [4] ). In this paper, we introduce new strongly almost convergent double sequence spaces B [ C f ] and B [ C f 0 ] whose B ( r , s , t , u ) -transforms are in the spaces [ C f ] and [ C f 0 ] , respectively. The main body of this paper is designed by the investigation of the following hypothesis. Firstly, we examine some topological properties and inclusion relations including the new double sequence spaces B [ C f ] and B [ C f 0 ] . Also, we determine the α-dual, β ( b p ) -dual and γ-dual of the space B [ C f ] . Finally, we give the necessary and sufficient conditions on an infinite matrix transforming from [ C f ] over C f , and we also characterize the classes ( [ C f ] ; M u ) , ( B [ C f ] ; C f ) and ( B [ C f ] ; M u ) .
- Published
- 2021
40. Covering with Chang models over derived models
- Author
-
Grigor Sargsyan
- Subjects
Discrete mathematics ,Conjecture ,Current (mathematics) ,General Mathematics ,010102 general mathematics ,Mathematics - Logic ,01 natural sciences ,Mathematics::Logic ,Continuation ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Logic (math.LO) ,Mathematics - Abstract
We present a covering conjecture that we expect to be true below superstrong cardinals. We then show that the conjecture is true in hod mice. This work is a continuation of the work that started in Covering with Universally Baire Functions Advances in Mathematics, and the main conjecture of the current paper is a revision of the UB Covering Conjecture of the aforementioned paper.
- Published
- 2021
41. Partial orders on conjugacy classes in the Weyl group and on unipotent conjugacy classes
- Author
-
Jeffrey Adams, Xuhua He, and Sian Nie
- Subjects
Weyl group ,Pure mathematics ,Series (mathematics) ,General Mathematics ,010102 general mathematics ,Unipotent ,Reductive group ,01 natural sciences ,Injective function ,Primary: 20G07, Secondary: 06A07, 20F55, 20E45 ,symbols.namesake ,Conjugacy class ,0103 physical sciences ,FOS: Mathematics ,symbols ,Order (group theory) ,010307 mathematical physics ,Representation Theory (math.RT) ,0101 mathematics ,Algebraically closed field ,Mathematics::Representation Theory ,Mathematics - Representation Theory ,Mathematics - Abstract
Let $G$ be a reductive group over an algebraically closed field and let $W$ be its Weyl group. In a series of papers, Lusztig introduced a map from the set $[W]$ of conjugacy classes of $W$ to the set $[G_u]$ of unipotent classes of $G$. This map, when restricted to the set of elliptic conjugacy classes $[W_e]$ of $W$, is injective. In this paper, we show that Lusztig's map $[W_e] \to [G_u]$ is order-reversing, with respect to the natural partial order on $[W_e]$ arising from combinatorics and the natural partial order on $[G_u]$ arising from geometry., Comment: 25 pages
- Published
- 2021
42. Nevanlinna theory of the Askey–Wilson divided difference operator
- Author
-
Yik-Man Chiang and Shao-Ji Feng
- Subjects
Pure mathematics ,Basic hypergeometric series ,High Energy Physics::Lattice ,General Mathematics ,010102 general mathematics ,Mathematics::Classical Analysis and ODEs ,Zero (complex analysis) ,Infinite product ,01 natural sciences ,Nevanlinna theory ,010101 applied mathematics ,Operator (computer programming) ,0101 mathematics ,Complex plane ,Picard theorem ,Meromorphic function ,Mathematics - Abstract
This paper establishes a version of Nevanlinna theory based on Askey–Wilson divided difference operator for meromorphic functions of finite logarithmic order in the complex plane C . A second main theorem that we have derived allows us to define an Askey–Wilson type Nevanlinna deficiency which gives a new interpretation that one should regard many important infinite products arising from the study of basic hypergeometric series as zero/pole-scarce. That is, their zeros/poles are indeed deficient in the sense of difference Nevanlinna theory. A natural consequence is a version of Askey–Wilson type Picard theorem. We also give an alternative and self-contained characterisation of the kernel functions of the Askey–Wilson operator. In addition we have established a version of unicity theorem in the sense of Askey–Wilson. This paper concludes with an application to difference equations generalising the Askey–Wilson second-order divided difference equation.
- Published
- 2018
43. Involutions fixing Fn∪F3
- Author
-
Pedro L. Q. Pergher and Évelin Meneguesso Barbaresco
- Subjects
Combinatorics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,Codimension ,0101 mathematics ,Fixed point ,01 natural sciences ,Mathematics - Abstract
Let M m be a closed smooth manifold equipped with a smooth involution having fixed point set of the form F n ∪ F 3 , where F n and F 3 are submanifolds with dimensions n and 3, respectively, where 3 n m and with the normal bundles over F n and F 3 being nonbounding. The authors of this paper, together with Patricia E. Desideri, previously showed that, when n is even, then m ≤ n + 4 , which we call a small codimension phenomenon. Further, they showed that this small bound is best possible. In this paper we study this problem for n odd, which is much more complicated, requiring more sophisticated techniques involving characteristic numbers. We show in this case that m ≤ M ( n − 3 ) + 6 , where M ( n ) is the Stong–Pergher number (see the definition of M ( n ) in Section 1). Further, we show that this bound is almost best possible, in the sense that there exists an example with m = M ( n − 3 ) + 5 , which means that for n odd the small codimension phenomenon does not occur and the bound in question is meaningful. The existence of these bounds is guaranteed by the famous Five Halves Theorem of J. Boardman, which establishes that, under the above hypotheses, m ≤ 5 2 n .
- Published
- 2018
44. The Goldman–Turaev Lie bialgebra in genus zero and the Kashiwara–Vergne problem
- Author
-
Yusuke Kuno, Anton Alekseev, Florian Naef, and Nariya Kawazumi
- Subjects
Pure mathematics ,Lie bialgebra ,Degree (graph theory) ,General Mathematics ,010102 general mathematics ,Zero (complex analysis) ,Order (ring theory) ,Field (mathematics) ,Mathematics::Geometric Topology ,01 natural sciences ,Bracket (mathematics) ,Mathematics::Quantum Algebra ,Genus (mathematics) ,0103 physical sciences ,010307 mathematical physics ,Lie theory ,0101 mathematics ,Mathematics - Abstract
In this paper, we describe a surprising link between the theory of the Goldman–Turaev Lie bialgebra on surfaces of genus zero and the Kashiwara–Vergne (KV) problem in Lie theory. Let Σ be an oriented 2-dimensional manifold with non-empty boundary and K a field of characteristic zero. The Goldman–Turaev Lie bialgebra is defined by the Goldman bracket { − , − } and Turaev cobracket δ on the K -span of homotopy classes of free loops on Σ. Applying an expansion θ : K π → K 〈 x 1 , … , x n 〉 yields an algebraic description of the operations { − , − } and δ in terms of non-commutative variables x 1 , … , x n . If Σ is a surface of genus g = 0 the lowest degree parts { − , − } − 1 and δ − 1 are canonically defined (and independent of θ). They define a Lie bialgebra structure on the space of cyclic words which was introduced and studied by Schedler [31] . It was conjectured by the second and the third authors that one can define an expansion θ such that { − , − } = { − , − } − 1 and δ = δ − 1 . The main result of this paper states that for surfaces of genus zero constructing such an expansion is essentially equivalent to the KV problem. In [24] , Massuyeau constructed such expansions using the Kontsevich integral. In order to prove this result, we show that the Turaev cobracket δ can be constructed in terms of the double bracket (upgrading the Goldman bracket) and the non-commutative divergence cocycle which plays the central role in the KV theory. Among other things, this observation gives a new topological interpretation of the KV problem and allows to extend it to surfaces with arbitrary number of boundary components (and of arbitrary genus, see [2] ).
- Published
- 2018
45. Exceptional collections on Dolgachev surfaces associated with degenerations
- Author
-
Yongnam Lee and Yonghwa Cho
- Subjects
Derived category ,Pure mathematics ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Picard group ,Vector bundle ,Type (model theory) ,01 natural sciences ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,0103 physical sciences ,Simply connected space ,Algebraic surface ,FOS: Mathematics ,Kodaira dimension ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Quotient ,Mathematics - Abstract
Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category., Comment: 35 pages; 3 figures; exposition improved; Adv. Math. (to appear)
- Published
- 2018
46. Fonctions complètement multiplicatives de somme nulle
- Author
-
Eric Saias and Jean-Pierre Kahane
- Subjects
General Mathematics ,010102 general mathematics ,Multiplicative function ,01 natural sciences ,Abelian and tauberian theorems ,010101 applied mathematics ,Combinatorics ,symbols.namesake ,Riemann hypothesis ,Bounded function ,symbols ,Euler's formula ,0101 mathematics ,Invariant (mathematics) ,Well-defined ,Dirichlet series ,Mathematics - Abstract
Completely multiplicative functions whose sum is zero ($CMO$). The paper deals with $CMO$, meaning completely multiplicative ($CM$) functions $f$ such that $f(1)=1$ and $\sum\limits_1^\infty f(n)=0$. $CM$ means $f(ab)=f(a)f(b)$ for all $(a,b)\in \N^{*2}$, therefore $f$ is well defined by the $f(p)$, $p$ prime. Assuming that $f$ is $CM$, give conditions on the $f(p)$, either necessary or sufficient, both is possible, for $f$ being $CMO$ : that is the general purpose of the authors. The $CMO$ character of $f$ is invariant under slight modifications of the sequence $(f(p))$ (theorem~3). The same idea applies also in a more general context (theorem~4). After general statements of that sort, including examples of $CMO$ (theorem~5), the paper is devoted to ``small'' functions, that is, functions of the form $\frac{f(n)}{n}$, where the $f(n)$ are bounded. Here is a typical result : if $|f(p)|\le 1$ and $Re\, f(p)\le0$ for all $p$, a necessary and sufficient condition for $\big(\frac{f(n)}{n}\big)$ to be $CMO$ is $\sum \, Re\, f(p)/p=-\infty$ (theorem~8). Another necessary and sufficient condition is given under the assumption that $|1+f(p)|\le 1$ and $f(2)\not=-2$ (theorem~7). A third result gives only a sufficient condition (theorem~9). The three results apply to the particular case $f(p)=-1$, the historical example of Euler. Theorems 7 and 8 need auxiliary results, coming either from the existing literature (Hal\'asz, Montgomery--Vaughan), or from improved versions of classical results (Ingham, Ska\l ba) about $f(n)$ under assumptions on the $f*1(n)$, * denoting the multiplicative convolution (theorems~10~and~11).
- Published
- 2017
47. A new perturbation theorem for Moore-Penrose metric generalized inverse of bounded linear operators in Banach spaces
- Author
-
Yuwen Wang and Zi Wang
- Subjects
Unbounded operator ,Discrete mathematics ,Approximation property ,General Mathematics ,010102 general mathematics ,Eberlein–Šmulian theorem ,MathematicsofComputing_NUMERICALANALYSIS ,General Physics and Astronomy ,010103 numerical & computational mathematics ,Finite-rank operator ,Operator theory ,01 natural sciences ,Bounded operator ,0101 mathematics ,C0-semigroup ,Bounded inverse theorem ,Mathematics - Abstract
In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is “the generalized Neumann lemma” which is quite different from the method in [12] where “the generalized Banach lemma” was used. By the method of the perturbation analysis of bounded linear operators, we obtain an explicit perturbation theorem and three inequalities about error estimates for the Moore-Penrose metric generalized inverse of bounded linear operator under the generalized Neumann lemma and the concept of stable perturbations in Banach spaces.
- Published
- 2017
48. Matrix KSGNS construction and a Radon–Nikodym type theorem
- Author
-
Marat Pliev, Anatoly G. Kusraev, and Mohammad Sal Moslehian
- Subjects
Mathematics::Functional Analysis ,Pure mathematics ,Mathematics::Operator Algebras ,General Mathematics ,010102 general mathematics ,Mathematics - Operator Algebras ,Type (model theory) ,01 natural sciences ,Centralizer and normalizer ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,010101 applied mathematics ,Radon–Nikodym theorem ,Matrix (mathematics) ,FOS: Mathematics ,Nonnegative matrix ,0101 mathematics ,Operator Algebras (math.OA) ,46L08, 46L05 ,Mathematics - Abstract
In this paper, we introduce the concept of completely positive matrix of linear maps on Hilbert $A$-modules over locally $C^{*}$-algebras and prove an analogue of Stinespring theorem for it. We show that any two minimal Stinespring representations for such matrices are unitarily equivalent. Finally, we prove an analogue of the Radon--Nikodym theorem for this type of completely positive $n\times n$ matrices., 17 pages; The paper was revised and some material is added to it. To appear in Indag. Math
- Published
- 2017
49. Witt’s cancellation theorem seen as a cancellation
- Author
-
Sunil K. Chebolu, Jan Minac, and Dan McQuillan
- Subjects
Algebra ,Mathematics::K-Theory and Homology ,General Mathematics ,Algebraic theory ,010102 general mathematics ,0103 physical sciences ,Key (cryptography) ,010307 mathematical physics ,0101 mathematics ,Algebraic number ,01 natural sciences ,Mathematics - Abstract
The year 2017 marks the 80th anniversary of Witt’s famous paper containing key results, including the Witt cancellation theorem, which form the foundation for the algebraic theory of quadratic forms. We pay homage to this paper by presenting a transparent and algebraic proof of the Witt cancellation theorem, which itself is based on a cancellation. We also present an overview of some recent spectacular work which is still building on Witt’s original creation of the algebraic theory of quadratic forms.
- Published
- 2017
50. On a generalized geometric constant and sufficient conditions for normal structure in Banach spaces
- Author
-
Mina Dinarvand
- Subjects
010101 applied mathematics ,Orthogonality ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Banach space ,Structure (category theory) ,General Physics and Astronomy ,0101 mathematics ,Constant (mathematics) ,01 natural sciences ,Mathematics - Abstract
In this paper, we introduce a new geometric constant C N J ( p ) ( a , X ) of a Banach space X, which is closely related to the generalized von Neumann-Jordan constant and analyze some properties of the constant. Subsequently, we present several sufficient conditions for normal structure of a Banach space in terms of this new constant, the generalized James constant, the generalized Garcia-Falset coefficient and the coefficient of weak orthogonality of Sims. Our main results of the paper generalize some known results in the recent literature.
- Published
- 2017
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.