Search

We show that a relative entropy condition recently shown by Leger and Vasseur to imply uniqueness and stable $L^2$ dependence on initial data of Lax 1- or $n$-shock solutions of an $n\times n$ system of hyperbolic conservation laws with convex entropy implies Lopatinski stability in the sense of Majda. This means in particular that Leger and Vasseur's relative entropy condition represents a considerable improvement over the standard entropy condition of decreasing shock strength and increasing entropy along forward Hugoniot curves, which, in a recent example exhibited by Barker, Freist\"uhler and Zumbrun, was shown to fail to imply Lopatinski stability, even for systems with convex entropy. This observation bears also on the parallel question of existence, at least for small $BV$ or $H^s$ perturbations, Comment: to appear in Proceedings of the AMS

The preeminent target of present study is to reveal the speed characteristic of ongoing outbreak COVID-19 due to novel coronavirus. On January 2020, the novel coronavirus infection (COVID-19) detected in India, and the total statistic of cases continuously increased to 7 128 268 cases including 109 285 deceases to October 2020, where 860 601 cases are active in India. In this study, we use the Hermite wavelets basis in order to solve the COVID-19 model with time- arbitrary Caputo derivative. The discussed framework is based upon Hermite wavelets. The operational matrix incorporated with the collocation scheme is used in order to transform arbitrary-order problem into algebraic equations. The corrector scheme is also used for solving the COVID-19 model for distinct value of arbitrary order. Also, authors have investigated the various behaviors of the arbitrary-order COVID-19 system and procured developments are matched with exiting developments by various techniques. The various illustrations of susceptible, exposed, infected, and recovered individuals are given for its behaviors at the various value of fractional order. In addition, the proposed model has been also supported by some numerical simulations and wavelet-based results.

Funder: John Simon Guggenheim Memorial Foundation; doi: https://doi.org/10.13039/100005851, Funder: Einstein Visiting Fellow Program, The Rayleigh–Bénard system with stress-free boundary conditions is shown to have a global attractor in each affine space where velocity has fixed spatial average. The physical problem is shown to be equivalent to one with periodic boundary conditions and certain symmetries. This enables a Gronwall estimate on enstrophy. That estimate is then used to bound the L 2 norm of the temperature gradient on the global attractor, which, in turn, is used to find a bounding region for the attractor in the enstrophy–palinstrophy plane. All final bounds are algebraic in the viscosity and thermal diffusivity, a significant improvement over previously established estimates. The sharpness of the bounds are tested with numerical simulations.

The first symptomatic infected individuals of coronavirus (Covid-19) was confirmed in December 2020 in the city of Wuhan, China. In India, the first reported case of Covid-19 was confirmed on 30 January 2020. Today, coronavirus has been spread out all over the world. In this manuscript, we studied the coronavirus epidemic model with a true data of India by using Predictor-Corrector scheme. For the proposed model of Covid-19, the numerical and graphical simulations are performed in a framework of the new generalised Caputo sense non-integer order derivative. We analysed the existence and uniqueness of solution of the given fractional model by the definition of Chebyshev norm, Banach space, Schauder's second fixed point theorem, Arzel's-Ascoli theorem, uniform boundedness, equicontinuity and Weissinger's fixed point theorem. A new analysis of the given model with the true data is given to analyse the dynamics of the model in fractional sense. Graphical simulations show the structure of the given classes of the non-linear model with respect to the time variable. We investigated that the mentioned method is copiously strong and smooth to implement on the systems of non-linear fractional differential equation systems. The stability results for the projected algorithm is also performed with the applications of some important lemmas. The present study gives the applicability of this new generalised version of Caputo type non-integer operator in mathematical epidemiology. We compared that the fractional order results are more credible to the integer order results.

We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system with Hessian driven damping and a Tikhonov regularization term in connection with the minimization of a smooth convex function in Hilbert spaces. We obtain fast convergence results for the function values along the trajectories. The Tikhonov regularization term enables the derivation of strong convergence results of the trajectory to the minimizer of the objective function of minimum norm.

In this work we introduce the r-Hunter-Saxton equation, a generalisation of the Hunter-Saxton equation arising as extremals of an action principle posed in L_r. We characterise solutions to the Cauchy problem, quantifying the blow-up time and studying various symmetry reductions. We construct piecewise linear functions and show that they are weak solutions to the r-Hunter-Saxton equation., Revised after referee comments

In 1985, Odoni showed that in characteristic 0 0 the Galois group of the n n -th iterate of the generic polynomial with degree d d is as large as possible. That is, he showed that this Galois group is the n n -th wreath power of the symmetric group S d S_d . We generalize this result to positive characteristic, as well as to the generic rational function. These results can be applied to prove certain density results in number theory, two of which are presented here. This work was partially completed by the late R.W.K. Odoni in an unpublished paper.

Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m

In order to solve the complicated process and low efficiency and low accuracy of solving a class of matrix equations, this paper introduces the linear saturated system model neural network architecture to solve the bisymmetric solution of a class of matrix equations. Firstly, a class of matrix equations is constructed to determine the key problems of solving the equations. Secondly, the linear saturated system model neural network structure is constructed to determine the characteristic parameters in the process of bisymmetric solution. Then, the matrix equations is solved by using backpropagation neural network topology. Finally, the class normalization is realized by using the objective function of bisymmetric solution, and the bisymmetric solution of a class of matrix equations is realized. In order to verify the solving effect of the method in this paper, three indexes (accuracy, correction accuracy, and solving time) are designed in the experiment. The experimental results show that the proposed method can effectively reduce the solving time, can improve the accuracy and correction effect of the bisymmetric solution, and has high practicability.

In the present paper we describe the family of all closed convex plane curves of class $$C^1$$ C 1 which have circles as their isoptics. In the first part of the paper we give a certain characterization of all ellipses based on the notion of isoptic and we give a geometric characterization of curves whose orthoptics are circles. The second part of the paper contains considerations on curves which have circles as their isoptics and we show the form of support functions of all considered curves.

In this paper, we study a problem posed by Furstenberg on intersections between × 2 , × 3 \times 2, \times 3 invariant sets. We present here a direct geometrical counting argument to revisit a theorem of Wu and Shmerkin. This argument can be used to obtain further improvements. For example, we show that if A 2 , A 3 ⊂ [ 0 , 1 ] A_2,A_3\subset [0,1] are closed and × 2 , × 3 \times 2, \times 3 invariant respectively, assuming that dim ⁡ A 2 + dim ⁡ A 3 > 1 \dim A_2+\dim A_3>1 then A 2 ∩ ( u A 3 + v ) A_2\cap (uA_3+v) is sparse (defined in this paper) and has box dimension zero uniformly with respect to the real parameters u , v u,v such that u u and u − 1 u^{-1} are both bounded away from 0 0 .

The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun only recently. In this paper we obtain a conditional theorem for all integral norms $$L_q$$ , $$1\le q

Full-waveform inversion (FWI) is today a standard process for the inverse problem of seismic imaging. PDE-constrained optimization is used to determine unknown parameters in a wave equation that represent geophysical properties. The objective function measures the misfit between the observed data and the calculated synthetic data, and it has traditionally been the least-squares norm. In a sequence of papers, we introduced the Wasserstein metric from optimal transport as an alternative misfit function for mitigating the so-called cycle skipping, which is the trapping of the optimization process in local minima. In this paper, we first give a sharper theorem regarding the convexity of the Wasserstein metric as the objective function. We then focus on two new issues. One is the necessary normalization of turning seismic signals into probability measures such that the theory of optimal transport applies. The other, which is beyond cycle skipping, is the inversion for parameters below reflecting interfaces. For the first, we propose a class of normalizations and prove several favorable properties for this class. For the latter, we demonstrate that FWI using optimal transport can recover geophysical properties from domains where no seismic waves travel through. We finally illustrate these properties by the realistic application of imaging salt inclusions, which has been a significant challenge in exploration geophysics.

In this paper, we study flows of hypersurfaces in hyperbolic space, and apply them to prove geometric inequalities. In the first part of the paper, we consider volume preserving flows by a family of curvature functions including positive powers of $k$-th mean curvatures with $k=1,\cdots,n$, and positive powers of $p$-th power sums $S_p$ with $p>0$. We prove that if the initial hypersurface $M_0$ is smooth and closed and has positive sectional curvatures, then the solution $M_t$ of the flow has positive sectional curvature for any time $t>0$, exists for all time and converges to a geodesic sphere exponentially in the smooth topology. The convergence result can be used to show that certain Alexandrov-Fenchel quermassintegral inequalities, known previously for horospherically convex hypersurfaces, also hold under the weaker condition of positive sectional curvature. In the second part of this paper, we study curvature flows for strictly horospherically convex hypersurfaces in hyperbolic space with speed given by a smooth, symmetric, increasing and homogeneous degree one function $f$ of the shifted principal curvatures $\lambda_i=\kappa_i-1$, plus a global term chosen to impose a constraint on the quermassintegrals of the enclosed domain, where $f$ is assumed to satisfy a certain condition on the second derivatives. We prove that if the initial hypersurface is smooth, closed and strictly horospherically convex, then the solution of the flow exists for all time and converges to a geodesic sphere exponentially in the smooth topology. As applications of the convergence result, we prove a new rigidity theorem on smooth closed Weingarten hypersurfaces in hyperbolic space, and a new class of Alexandrov-Fenchel type inequalities for smooth horospherically convex hypersurfaces in hyperbolic space.

This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also define the notion of spectral positive recurrence for random walks on relatively hyperbolic groups. We then use our estimates for the Green function to prove that $p_n\asymp R^{-n}n^{-3/2}$ for spectrally positive-recurrent random walks, where $p_n$ is the probability of going back to the origin at time n and where R is the inverse of the spectral radius of the random walk.

PurposeIn this paper, Picard–S hybrid iterative process is defined, which is a hybrid of Picard and S-iterative process. This new iteration converges faster than all of Picard, Krasnoselskii, Mann, Ishikawa, S-iteration, Picard–Mann hybrid, Picard–Krasnoselskii hybrid and Picard–Ishikawa hybrid iterative processes for contraction mappings and to find the solution of delay differential equation, using this hybrid iteration also proved some results for Picard–S hybrid iterative process for nonexpansive mappings.Design/methodology/approachThis new iteration converges faster than all of Picard, Krasnoselskii, Mann, Ishikawa, S-iteration, Picard–Mann hybrid, Picard–Krasnoselskii hybrid, Picard–Ishikawa hybrid iterative processes for contraction mappings.FindingsShowed the fastest convergence of this new iteration and then other iteration defined in this paper. The author finds the solution of delay differential equation using this hybrid iteration. For new iteration, the author also proved a theorem for nonexpansive mapping.Originality/valueThis new iteration converges faster than all of Picard, Krasnoselskii, Mann, Ishikawa, S-iteration, Picard–Mann hybrid, Picard–Krasnoselskii hybrid, Picard–Ishikawa hybrid iterative processes for contraction mappings and to find the solution of delay differential equation, using this hybrid iteration also proved some results for Picard–S hybrid iterative process for nonexpansive mappings.

This is the first of two papers in which we investigate the properties of the displacement functions of automorphisms of free groups (more generally, free products) on Culler-Vogtmann Outer space and its simplicial bordification - the free splitting complex - with respect to the Lipschitz metric. The theory for irreducible automorphisms being well-developed, we concentrate on the reducible case. Since we deal with the bordification, we develop all the needed tools in the more general setting of deformation spaces, and their associated free splitting complexes. In the present paper we study the local properties of the displacement function. In particular, we study its convexity properties and the behaviour at bordification points, by geometrically characterising its continuity-points. We prove that the global-simplex-displacement spectrum of $Aut(F_n)$ is a well-ordered subset of $\mathbb R$, this being helpful for algorithmic purposes. We introduce a weaker notion of train tracks, which we call {\em partial train tracks} (which coincides with the usual one for irreducible automorphisms) and we prove that, for any automorphism, points of minimal displacement - minpoints - coincide with the marked metric graphs that support partial train tracks. We show that any automorphism, reducible or not, has a partial train track (hence a minpoint) either in the outer space or its bordification. We show that, given an automorphism, any of its invariant free factors is seen in a partial train track map. In a subsequent paper we will prove that level sets of the displacement functions are connected, and we will apply that result to solve certain decision problems., 50 pages. Originally part of arXiv:1703.09945 . We decided to split that paper following the recommendations of a referee. Updated subsequent to acceptance by Transactions of the American Mathematical Society

The classical result of L. Székelyhidi states that (under some assumptions) every solution of a general linear equation must be a polynomial function. It is known that Székelyhidi’s result may be generalized to equations where some occurrences of the unknown functions are multiplied by a linear combination of the variables. In this paper we study the equations where two such combinations appear. The simplest nontrivial example of such a case is given by the equation$$\begin{aligned} F(x + y) - F(x) - F(y) = yf(x) + xf(y) \end{aligned}$$F(x+y)-F(x)-F(y)=yf(x)+xf(y)considered by Fechner and Gselmann (Publ Math Debrecen 80(1–2):143–154, 2012). In the present paper we prove several results concerning the systematic approach to the generalizations of this equation.

This paper concerns on two types of integral boundary value problems of a nonlinear fractional differential system, i . e ., nonlocal strip integral boundary value problems and coupled integral boundary value problems. With the aid of the monotone iterative method combined with the upper and lower solutions, the existence of extremal system of solutions for the above two types of differential systems is investigated. In addition, a new comparison theorem for fractional differential system is also established, which is crucial for the proof of the main theorem of this paper. At the end, an example explaining how our studies can be used is also given.

The study in this paper is made on the nonlinear fractional differential equation whose nonlinearity involves the explicit fractional order D0+β u(t). The corresponding Green's function is derived first, and then the completely continuous operator is proved. Besides, based on the Schauder's fixed point theorem and the Krasnosel'skii's fixed point theorem, the sufficient conditions for at least one or two existence of positive solutions are established. Furthermore, several other sufficient conditions for at least three, n or 2n-1 positive solutions are also obtained by applying the generalized AveryHenderson fixed point theorem and the Avery-Peterson fixed point theorem. Finally, several simulation examples are provided to illustrate the main results of the paper. In particularly, a novel efficient iterative method is employed for simulating the examples mentioned above, that is, the interesting point of this paper is that the approximation graphics for the solutions are given by using the iterative method.

This paper concerns the existence of transonic shock solutions to the 2-D steady compressible Euler system in an almost flat finite nozzle ( in the sense that it is a generic small perturbation of a flat one ), under physical boundary conditions proposed by Courant-Friedrichs in \cite{CourantFriedrichs1948}, in which the receiver pressure is prescribed at the exit of the nozzle. In the resulting free boundary problem, the location of the shock-front is one of the most desirable information one would like to determine. However, the location of the normal shock-front in a flat nozzle can be anywhere in the nozzle so that it provides little information on the possible location of the shock-front when the nozzle's boundary is perturbed. So one of the key difficulties in looking for transonic shock solutions is to determine the shock-front. To this end, a free boundary problem for the linearized Euler system will be proposed, whose solution will be taken as an initial approximation for the transonic shock solution. In this paper, a sufficient condition in terms of the geometry of the nozzle and the given exit pressure is derived which yields the existence of the solutions to the proposed free boundary problem. Once an initial approximation is obtained, a further nonlinear iteration could be constructed and proved to lead to a transonic shock solution., 53 pages

We establish a theory of $Q$-valued functions minimizing a suitable generalization of the Dirichlet integral. In a second paper the theory will be used to approximate efficiently area minimizing currents $\mathrm{mod}(p)$ when $p=2Q$, and to establish a first general partial regularity theorem for every $p$ in any dimension and codimension., 37 pages. First part of a two-papers work aimed at establishing a first general partial regularity theory for area minimizing currents modulo p, for any p and in any dimension and codimension. v3 is the final version, to appear on Comm. Pure Appl. Math

In this paper, a new approach to the definition of the interpolating rational process of Fejer – Hermite with first-type Chebyshev – Markov nodes on a segment is studied and some of its approximating properties are described. In the introduction a brief analysis of the results on the topic of the research is carried out. Herein, the methods of the construction of interpolating processes, in particular, Fejer – Hermite processes, in the polynomial and rational approximation are analysed. A new method to determine the interpolating rational Fejer – Hermite process is proposed. One of the main results of this paper is the proof of the uniform convergence of this process for an arbitrary function, which is continuous on the segment, under some restrictions for the poles of approximating functions. This result is preceded by some auxiliary statements describing the properties of special rational functions. The classic methods of mathematical analysis, approximation theory, and theory of functions of a complex variable are used to prove the results of the work. Moreover, we present the numerical analysis of the effectiveness of the application of the constructed interpolating Fejer – Hermite process for the approximation of a continuous function with singularities. The choice of parameters, on which the nodes of interpolation depend, is made in several standard ways. The obtained results can be applied to further study the approximating properties of interpolating processes.

A goal of the paper is to prove new inequalities connecting some functionals of probability distribution functions. These inequalities are based on the strict convexity of functions used in the definition of the functionals. The starting point is the paper “Cramer–von Mises distance: probabilistic interpretation, confidence intervals and neighborhood of model validation” by Ludwig Baringhaus and Norbert Henze. The present paper provides a generalization of inequality obtained in probabilistic interpretation of the Cramer–von Mises distance. If the equality holds there, then a chance to give characterization of some probability distribution functions appears. Considering this fact and a special character of the functional, it is possible to create a class of free-of-distribution two sample tests.

In this paper, we study a system of three evolutionary operator equations involving fractional powers of selfadjoint, monotone, unbounded, linear operators having compact resolvents. This system constitutes a generalized and relaxed version of a phase field system of Cahn-Hilliard type modelling tumor growth that has originally been proposed in Hawkins-Daarud et al. (Int. J. Numer. Math. Biomed. Eng. 28 (2012), 3-24). The original phase field system and certain relaxed versions thereof have been studied in recent papers co-authored by the present authors and E. Rocca. The model consists of a Cahn-Hilliard equation for the tumor cell fraction, coupled to a reaction-diffusion equation for a function S representing the nutrient-rich extracellular water volume fraction. Effects due to fluid motion are neglected. Motivated by the possibility that the diffusional regimes governing the evolution of the different constituents of the model may be of different (e.g., fractional) type, the present authors studied in a recent note a generalization of the systems investigated in the abovementioned works. Under rather general assumptions, well-posedness and regularity results have been shown. In particular, by writing the equation governing the evolution of the chemical potential in the form of a general variational inequality, also singular or nonsmooth contributions of logarithmic or of double obstacle type to the energy density could be admitted. In this note, we perform an asymptotic analysis of the governing system as two (small) relaxation parameters approach zero separately and simultaneously. Corresponding well-posedness and regularity results are established for the respective cases; in particular, we give a detailed discussion which assumptions on the admissible nonlinearities have to be postulated in each of the occurring cases., Comment: Key words: fractional operators, Cahn-Hilliard systems, well-posedness, regularity of solutions, tumor growth models, asymptotic analysis

Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied using tools from algebraic geometry, combinatorics, commutative algebra and representation theory. In the present paper we investigate the more general problem of determining the structure of symbolic powers of a wide generalization of star configurations of points (introduced by Geramita, Harbourne, Migliore and Nagel) called star configurations of hypersurfaces in $\mathbb P_k^n$. Here (1) we provide explicit minimal generating sets of the symbolic powers $I^{(m)}$ of these ideals $I$, (2) we introduce a notion of $\delta$-c.i. quotients, which generalize ideals with linear quotients, and show that $I^{(m)}$ have $\delta$-c.i. quotients, (3) we show that the shape of the Betti tables of these symbolic powers is determined by certain "Koszul" strands and we prove that a little bit more than the bottom half of the Betti table has a regular, almost hypnotic, pattern, and (4) we provide a closed formula for all the graded Betti numbers in these strands. As a special case of (2) we deduce that symbolic powers of ideals of star configurations of points have linear quotients. We also improve and extend results by Galetto, Geramita, Shin and Van Tuyl, and provide explicit new general formulas for the minimal number of generators and the symbolic defects of star configurations. Finally, inspired by Young tableaux, we introduce a technical tool which may be of independent interest: it is a "canonical" way of writing any monomial in any given set of polynomials. Our methods are characteristic--free., Comment: Final revision (original paper was accepted for publication in Trans. Amer. Math. Soc.)

In this paper, we investigate carefully the blow-up behaviour of sequences of solutions of some elliptic PDE in dimension two containing a nonlinearity with Trudinger-Moser growth. A quantification result had been obtained by the first author in [15] but many questions were left open. Similar questions were also explicitly asked in subsequent papers, see Del Pino-Musso-Ruf [12], Malchiodi-Martinazzi [30] or Martinazzi [34]. We answer all of them, proving in particular that blow up phenomenon is very restrictive because of the strong interaction between bubbles in this equation. This work will have a sequel, giving existence results of critical points of the associated functional at all energy levels via degree theory arguments, in the spirit of what had been done for the Liouville equation in the beautiful work of Chen-Lin [8].

We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic., 10 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.08267

In this paper, we first use the distribution of the number of records to demonstrate that the right tail probabilities of counts of rare events are generally better approximated by the right tail probabilities of Poisson distribution than {those} of normal distribution. We then show the moderate deviations in Poisson approximation generally require an adjustment and, with suitable adjustment, we establish better error estimates of the moderate deviations in Poisson approximation than those in \cite{CFS}. Our estimates contain no unspecified constants and are easy to apply. We illustrate the use of the theorems in six applications: Poisson-binomial distribution, matching problem, occupancy problem, birthday problem, random graphs and 2-runs. The paper complements the works of \cite{CC92,BCC95,CFS}., 29 pages and 5 figures

In the present paper, we obtain a Halanay inequality on time scales with unbounded coefficient for a dynamic problem, which extends a result of Wen et al. (J. Math. Anal. Appl., 347 (2008), 169–178.) to the inequality of integral type on time scales. Moreover, we list two dynamic problems to which the Halanay inequality obtained above can be applied and prove the zero solution of two delay dynamic problems are asymptotically stable. Moreover, it is worth mentioning that the Halanay inequality obtained in the present paper is more precise than the results in [3, 14, 17].

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for $R$ to satisfy trivial vanishing; we provide sharpened conditions when $R$ is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke., to appear in Trans. Amer. Math. Soc

It is well known that when the geometry and/or coefficients allow stable trapped rays, the solution operator of the Helmholtz equation (a.k.a. the resolvent of the Laplacian) grows exponentially through a sequence of real frequencies tending to infinity. In this paper we show that, even in the presence of the strongest-possible trapping, if a set of frequencies of arbitrarily small measure is excluded, the Helmholtz solution operator grows at most polynomially as the frequency tends to infinity. One significant application of this result is in the convergence analysis of several numerical methods for solving the Helmholtz equation at high frequency that are based on a polynomial-growth assumption on the solution operator (e.g. $hp$-finite elements, $hp$-boundary elements, certain multiscale methods). The result of this paper shows that this assumption holds, even in the presence of the strongest-possible trapping, for most frequencies.

We propose and analyse numerical algorithms based on weighted least squares for the approximation of a real-valued function on a general bounded domain $\Omega \subset \mathbb{R}^d$. Given any $n$-dimensional approximation space $V_n \subset L^2(\Omega)$, the analysis in [6] shows the existence of stable and optimally converging weighted least-squares estimators, using a number of function evaluations $m$ of the order $n \log n$. When an $L^2(\Omega)$-orthonormal basis of $V_n$ is available in analytic form, such estimators can be constructed using the algorithms described in [6,Section 5]. If the basis also has product form, then these algorithms have computational complexity linear in $d$ and $m$. In this paper we show that, when $\Omega$ is an irregular domain such that the analytic form of an $L^2(\Omega)$-orthonormal basis is not available, stable and quasi-optimally weighted least-squares estimators can still be constructed from $V_n$, again with $m$ of the order $n \log n$, but using a suitable surrogate basis of $V_n$ orthonormal in a discrete sense. The computational cost for the calculation of the surrogate basis depends on the Christoffel function of $\Omega$ and $V_n$. Numerical results validating our analysis are presented., Comment: Version of the paper accepted for publication

In this paper, by using the partial order method, the existence and uniqueness of a solution for systems of a class of abstract operator equations in Banach spaces are discussed. The result obtained in this paper improves and unifies many recent results. Two applications to the system of nonlinear differential equations and the systems of nonlinear differential equations in Banach spaces are given, and the unique solution and interactive sequences which converge the unique solution and the error estimation are obtained.

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).

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778

An open problem proposed by Rhoades is the following. Is there a contractive condition which guarantees the existence of a fixed point, but does not require the mapping to be continuous at the point? In this paper, we generalize a celebrated result of Eshaghi et al., [On orthogonal sets and Banach fixed point theorem, Fixed Point Theory, 18 (2017), 569–578], which allows us to find a new solution to this open problem. Furthermore we show that a claim of the aforementioned paper, that Banach’s fixed point theorem cannot be applied in their application, is incorrect. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresponding functional equation.

Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $\Delta$ times ($\Delta$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$., Comment: 24 pages

Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.

This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation., Comment: 23 pages. Section 5.4 corrected

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.

This paper gives an explicit formula of the asymptotic expansion of the Kobayashi–Royden metric on the punctured sphere ℂ ⁢ ℙ 1 ∖ { 0 , 1 , ∞ } {\mathbb{CP}^{1}\setminus\{0,1,\infty\}} in terms of the exponential Bell polynomials. We prove a local quantitative version of the Little Picard’s Theorem as an application of the asymptotic expansion. Furthermore, the approach in the paper leads to the interesting consequence that the coefficients in the asymptotic expansion are rational numbers. Furthermore, the explicit formula of the metric and the conclusion regarding the coefficients apply to more general cases of ℂ ⁢ ℙ 1 ∖ { a 1 , … , a n } {\mathbb{CP}^{1}\setminus\{a_{1},\ldots,a_{n}\}} , n ≥ 3 {n\geq 3} , as well, and the metric on ℂ ⁢ ℙ 1 ∖ { 0 , 1 3 , - 1 6 ± 3 6 ⁢ i } {\mathbb{CP}^{1}\setminus\{0,\frac{1}{3},-\frac{1}{6}\pm\frac{\sqrt{3}}{6}i\}} will be given as a concrete example of our results.

A graph Γ is called a bi-circulant if it admits a cyclic group as a group of automorphisms acting semiregularly on the vertices of Γ with two orbits. The characterization of tetravalent edgetransitive bi-circulants was given in several recent papers. In this paper, a classification is given of connected tetravalent vertex-transitive bi-circulants of order twice an odd integer.

The main motive of the paper is to look on rectifying and osculating curves on a smooth surface. In this paper we find the normal and geodesic curvature for a rectifying curve on a smooth surface and we also prove that geodesic curvature is invariant under the isometry of surfaces such that rectifying curves remain. We find a sufficient condition for which an osculating curve on a smooth surface remains invariant under isometry of surfaces and also we prove that the component of the position vector of an osculating curve α(s) on a smooth surface along any tangent vector to the surface at α(s) is invariant under such isometry.

This is a follow-up of the paper J. Fernandez-Bonder, A. Ritorto and A. Salort, H-convergence result for nonlocal elliptic-type problems via Tartar’s method, SIAM J. Math. Anal., 49 (2017), pp. 2387–2408, where the classical concept of H-convergence was extended to fractional $$p$$ -Laplace type operators. In this short paper we provide an explicit characterization of this notion by demonstrating that the weak- $$*$$ convergence of the coefficients is an equivalent condition for H-convergence of the sequence of nonlocal operators. This result takes advantage of nonlocality and is in stark contrast to the local $$p$$ -Laplacian case.

In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we compute explicit complete invariants. We relate our matrix structures to the Adler-Kitchens-Marcus group actions approach. We give examples of G-SFT applications, including a new connection to involutions of cellular automata., The paper has been augmented considerably and the second version is now 81 pages long. This version has been accepted for publication in Transactions of the American Mathematical Society

This paper is devoted to the study of dual singular integral equations with convolution kernels in the case of non-normal type. Via using the Fourier transforms, we transform such equations into Riemann boundary value problems. To solve the equation, we establish the regularity theory of solvability. The general solutions and the solvable conditions of the equation are obtained. Especially, we investigate the asymptotic property of solutions at nodes. This paper will have a significant meaning for the study of improving and developing complex analysis, integral equations and Riemann boundary value problems.

This paper generalizes the Kunita–Watanabe decomposition of an $L^2$ space. The generalization comes from using nonlinear stochastic integrals where the integrator is a family of continuous martingales bounded in $L^2$ . This result is also the solution of an optimization problem in $L^2$ . First, martingales are assumed to be stochastic integrals. Then, to get the general result, it is shown that the regularity of the family of martingales with respect to its spatial parameter is inherited by the integrands in the integral representation of the martingales. Finally, an example showing how the results of this paper, with the Clark–Ocone formula, can be applied to polynomial functions of Brownian integrals.

This paper aims to present a new pathwise approximation method, which gives approximate solutions of order $\begin{array}{} \displaystyle \frac{3}{2} \end{array}$ for stochastic differential equations (SDEs) driven by multidimensional Brownian motions. The new method, which assumes the diffusion matrix non-degeneracy, employs the Runge-Kutta method and uses the Itô-Taylor expansion, but the generating of the approximation of the expansion is carried out as a whole rather than individual terms. The new idea we applied in this paper is to replace the iterated stochastic integrals Iα by random variables, so implementing this scheme does not require the computation of the iterated stochastic integrals Iα. Then, using a coupling which can be found by a technique from optimal transport theory would give a good approximation in a mean square. The results of implementing this new scheme by MATLAB confirms the validity of the method.