Search

In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds Nn contained in hypersurfaces Mn+1 of the (n + 2)-space. We give conditions under which this affine focal set is a regular hypersurface and, for curves in 3-space, we describe its stable singularities. For a given Darboux vector field ξ of the immersion N ⊂ M, one can define the affine metric g and the affine normal plane bundle . We prove that the g-Laplacian of the position vector belongs to if and only if ξ is parallel. For umbilic and normally flat immersions, the affine focal set reduces to a single line. Submanifolds contained in hyperplanes or hyperquadrics are always normally flat. For N contained in a hyperplane L, we show that N ⊂ M is umbilic if and only if N ⊂ L is an affine sphere and the envelope of tangent spaces is a cone. For M hyperquadric, we prove that N ⊂ M is umbilic if and only if N is contained in a hyperplane. The main result of the paper is a general description of the umbilic and normally flat immersions: given a hypersurface f and a point O in the (n + 1)-space, the immersion (ν, ν · (f − O)), where ν is the co-normal of f, is umbilic and normally flat, and conversely, any umbilic and normally flat immersion is of this type.

The scope of the paper is twofold. We show that for a large class of measurable vector fields in the sense of Weaver (i.e. derivations over the algebra of Lipschitz functions), called in the paper laminated, the notion of integral curves may be naturally defined and characterized (when appropriate) by an ordinary differential equation. We further show that for such vector fields the notion of a flow of the given positive Borel measure similar to the classical one generated by a smooth vector field (in a space with smooth structure) may be defined in a reasonable way, so that the measure ‘flows along’ the appropriately understood integral curves of the given vector field and the classical continuity equation is satisfied in the weak sense.

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations or transformation semigroups). Here we study them in maximum generality. The paper ends with a large list of open problems., Comment: The paper is now more focused on abstract semigroups and a fourth notion of conjugacy was introduced for its importance in representation theory and finite semigroups

This paper focuses on recollements and silting theory in triangulated categories. It consists of two main parts. In the first part a criterion for a recollement of triangulated subcategories to lift to a torsion torsion-free triple (TTF triple) of ambient triangulated categories with coproducts is proved. As a consequence, lifting of TTF triples is possible for recollements of stable categories of repetitive algebras or self-injective finite length algebras and recollements of bounded derived categories of separated Noetherian schemes. When, in addition, the outer subcategories in the recollement are derived categories of small linear categories the conditions from the criterion are sufficient to lift the recollement to a recollement of ambient triangulated categories up to equivalence. In the second part we use these results to study the problem of constructing silting sets in the central category of a recollement generating the t-structure glued from the silting t-structures in the outer categories. In the case of a recollement of bounded derived categories of Artin algebras we provide an explicit construction for gluing classical silting objects.

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; \mathbb Z)$. Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to isotopy, with an indeterminancy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9. The group of knots $S^4\to\mathbb R^7$ acts on the set of embeddings $N\to\mathbb R^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1\ne0$, with an indeterminancy. Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008. For $N=S^1\times S^3$ we give a geometrically defined 1--1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set $\mathbb Z\oplus\mathbb Z\oplus\mathbb Z_{12}$., Comment: 19 pages, exposition improved

In this paper, we look at a linear system of ordinary differential equations as derived from the two-dimensional Ginzburg-Landau equation. In two cases, it is known that this system admits bounded solutions coming from the invariance of the Ginzburg-Landau equation by translations and rotations. The specific contribution of our work is to prove that in the other cases, the system does not admit any bounded solutions. We show that this bounded solution problem is related to an eigenvalue problem. AMS classification : 34B40: Ordinary Differential Equations, Boundary value problems on infinite intervals. 35J60: Nonlinear PDE of elliptic type. 35P15: Estimation of eigenvalues, upper and lower bound.

We consider the mass-critical nonlinear Schr\"odinger equation on non-compact metric graphs. A quite complete description of the structure of the ground states, which correspond to global minimizers of the energy functional under a mass constraint, is provided by Adami, Serra and Tilli in arXiv:1605.07666, where it is proved that existence and properties of ground states depend in a crucial way on both the value of the mass, and the topological properties of the underlying graph. In this paper we address cases when ground states do not exist and show that, under suitable assumptions, constrained local minimizers of the energy do exist. This result paves the way to the existence of stable solutions in the time-dependent equation in cases where the ground state energy level is not achieved., Comment: Accepted for publication on Proceedings of the Royal Society of Edinburgh Section A: Mathematics

In this paper we show that every non-cycle finite transitive directed graph has a Cuntz-Krieger family whose WOT-closed algebra is $B(\mathcal{H})$. This is accomplished through a new construction that reduces this problem to in-degree $2$-regular graphs, which is then treated by applying the periodic Road Coloring Theorem of B\'eal and Perrin. As a consequence we show that finite disjoint unions of finite transitive directed graphs are exactly those finite graphs which admit self-adjoint free semigroupoid algebras., Comment: Added missing reference. 16 pages 2 figures

More than 47 years have passed without any new example of nonsingular bilinear maps appearing in literature. The purpose of this paper is to construct a new family of nonsingular bilinear maps., Comment: This version has a new title and a joint authorship

In this paper we characterize the boundedness on the product of Sobolev spaces Hs(𝕋) × Hs(𝕋) on the unit circle 𝕋, of the bilinear form Λb with symbol b ∈ Hs(𝕋) given by $${{\Lambda}_b} (\varphi, \psi): = \int_{\open T} {\left( {{{( - {\Delta })}^s} + I} \right)(\varphi \psi )(\eta )b(\eta ) {\rm d}\sigma (\eta ).}$$

Let $p$ be an odd prime and let $G$ be a non-abelian finite $p$-group of exponent $p^2$ with three distinct characteristic subgroups, namely $1$, $G^p$, and $G$. The quotient group $G/G^p$ gives rise to an anti-commutative ${\mathbb F}_p$-algebra $L$ such that the action of ${\rm Aut}(L)$ is irreducible on $L$; we call such an algebra IAC. This paper establishes a duality $G\leftrightarrow L$ between such groups and such IAC algebras. We prove that IAC algebras are semisimple and we classify the simple IAC algebras of dimension at most 4 over certain fields. We also give other examples of simple IAC algebras, including a family related to the $m$-th symmetric power of the natural module of ${\rm SL}(2,{\mathbb F})$., Comment: 26 pages, 2 figures; revised and to appear in Proceedings of The Royal Society A

Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge \deg h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations., Comment: 18 pages

The aim of this paper is to characterize the nonnegative functions $\varphi$ defined on $(0,\infty)$ for which the Hausdorff operator $$\mathscr H_\varphi f(z)= \int_0^\infty f\left(\frac{z}{t}\right)\frac{\varphi(t)}{t}dt$$ is bounded on the Hardy spaces of the upper half-plane $\mathcal H_a^p(\mathbb C_+)$, $p\in[1,\infty]$. The corresponding operator norms and their applications are also given., Comment: Proc. Roy. Soc. Edinburgh Sect. A (to appear)

In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment., Comment: 20 pages

In this paper, we consider the nonlinear Choquard equation $$-\Delta u + V(x)u = \left( {\int_{{\open R}^N} {\displaystyle{{G(u)} \over { \vert x-y \vert ^\mu }}} \,{\rm d}y} \right)g(u)\quad {\rm in}\;{\open R}^N, $$ where 0 < μ < N, N ⩾ 3, g(u) is of critical growth due to the Hardy–Littlewood–Sobolev inequality and $G(u)=\int ^u_0g(s)\,{\rm d}s$. Firstly, by assuming that the potential V(x) might be sign-changing, we study the existence of Mountain-Pass solution via a nonlocal version of the second concentration- compactness principle. Secondly, under the conditions introduced by Benci and Cerami , we also study the existence of high energy solution by using a nonlocal version of global compactness lemma.

Approximation sequences and derived equivalences occur frequently in the research of mutation of tilting objects in representation theory, algebraic geometry and noncommutative geometry. In this paper, we introduce symmetric approximation sequences in additive categories and weakly n-angulated categories which include (higher) Auslander-Reiten sequences (triangles) and mutation sequences in algebra and geometry, and show that such sequences always give rise to derived equivalences between the quotient rings of endomorphism rings of objects in the sequences modulo some ghost and coghost ideals.

In this paper we study constrained variational problems that are principally motivated by nonlinear elasticity theory. We examine in particular the relationship between the positivity of the Jacobian $\det \nabla u$ and the uniqueness and regularity of energy minimizers $u$ that are either twist maps or shear maps. We exhibit \emph{explicit} twist maps, defined on two-dimensional annuli, that are stationary points of an appropriate energy functional and whose Jacobian vanishes on a set of positive measure in the annulus. Within the class of shear maps we precisely characterize the unique global energy minimizer $u_{\sigma}: \Omega\to \mathbb{R}^2$ in a model, two-dimensional case. The shear map minimizer has the properties that (i) $\det \nabla u_{\sigma}$ is strictly positive on one part of the domain $\Omega$, (ii) $\det \nabla u_{\sigma} = 0$ necessarily holds on the rest of $\Omega$, and (iii) properties (i) and (ii) combine to ensure that $\nabla u_{\sigma}$ is not continuous on the whole domain., Comment: 2 figures

In this paper, we study negative classical solutions and stable solutions of the followingk-Hessian equation$$F_k(D^2V) = (-V)^p\quad {\rm in}\;\; R^n$$with radial structure, wheren⩾ 3, 1 1. This equation is related to the extremal functions of the Hessian Sobolev inequality on the whole space. Several critical exponents including the Serrin type, the Sobolev type, and the Joseph-Lundgren type, play key roles in studying existence and decay rates. We believe that these critical exponents still come into play to researchk-Hessian equations without radial structure.

It is well known that a weak solution φ to the initial boundary value problem for the uniformly parabolic equation $\partial _t\varphi - {\rm div}(A\nabla \varphi ) +\omega \varphi = f $ in $\Omega _T\equiv \Omega \times (0,T)$ satisfies the uniform estimate $$\Vert \varphi \Vert_{\infty,\Omega_T}\les \Vert \varphi\Vert_{\infty,\partial_p\Omega_T}+c \Vert f \Vert_{q,\Omega_T}, \ \ \ c=c(N,\lambda, q, \Omega_T), $$ provided that $q \gt 1+{N}/{2}$, where Ω is a bounded domain in ${\open R}^N$ with Lipschitz boundary, T > 0, $\partial _p\Omega _T$ is the parabolic boundary of $\Omega _T$, $\omega \in L^1(\Omega _T)$ with $\omega \ges 0$, and λ is the smallest eigenvalue of the coefficient matrix A. This estimate is sharp in the sense that it generally fails if $q=1+{N}/{2}$. In this paper, we show that the linear growth of the upper bound in $\Vert f \Vert_{q,\Omega _T}$ can be improved. To be precise, we establish $$ \Vert \varphi \Vert_{\infty,\Omega_T}\les \Vert \varphi_0 \Vert_{\infty,\partial_p\Omega_T}+c \Vert f \Vert_{1+{N}/{2},\Omega_T} \left(\ln(\Vert f \Vert_{q,\Omega_T}+1)+1\right). $$

We are concerned with an elliptic problem which describes a mean field equation of the equilibrium turbulence of vortices with variable intensities. In the first part of the paper, we describe the blow-up picture and highlight the differences from the standard mean field equation as we observe non-quantization phenomenon. In the second part, we discuss the Moser–Trudinger inequality in terms of the blow-up masses and get the existence of solutions in a non-coercive regime by means of a variational argument, which is based on some improved Moser–Trudinger inequalities.

Let C be a set of positive integers. In this paper, we obtain an algorithm for computing all subsets A of positive integers which are minimals with the condition that if x1 + … + xn is a partition of an element in C, then at least a summand of this partition belongs to A. We use techniques of numerical semigroups to solve this problem because it is equivalent to give an algorithm that allows us to compute all the numerical semigroups which are maximals with the condition that has an empty intersection with the set C.

In this paper the existence and uniqueness of weak and strong solutions for a non-autonomous non-local reaction–diffusion equation is proved. Furthermore, the existence of minimal pullback attractors in the L2-norm in the frameworks of universes of fixed bounded sets and those given by a tempered growth condition is established, along with some relationships between them. Finally, we prove the existence of minimal pullback attractors in the H1-norm and study relationships among these new families and those given previously in the L2 context. We also present new results in the autonomous framework that ensure the existence of global compact attractors as a particular case.

In this paper we show that conforming Galerkin approximations for p-harmonic functions tend to ∞-harmonic functions in the limit p → ∞ and h → 0, where h denotes the Galerkin discretization parameter.

In this paper we show that the well-known Poincaré–Lyapunov non-degenerate analytic centre problem in the plane and its higher-dimensional version, expressed as the three-dimensional centre problem at the zero-Hopf singularity, have a lot of common properties. In both cases the existence of a neighbourhood of the singularity in the phase space completely foliated by periodic orbits (including equilibria) is characterized by the fact that the system is analytically completely integrable. Hence its Poincaré–Dulac normal form is analytically orbitally linearizable. There also exists an analytic Poincaré return map and, when the system is polynomial and parametrized by its coefficients, the set of systems with centres corresponds to an affine variety in the parameter space of coefficients. Some quadratic polynomial families are considered.

In this paper, inverse spectral problems for Sturm–Liouville operators on a tree (a graph without cycles) are studied. We show that if the potential on an edge is known a priori, then b – 1 spectral sets uniquely determine the potential functions on a tree with b external edges. Constructive solutions, based on the method of spectral mappings, are provided for the considered inverse problems.

In this paper we use U(2), the group of 2 × 2 unitary matrices, to parametrize the space of all self-adjoint boundary conditions for a fixed Sturm–Liouville equation on the interval [0, 1]. The adjoint action of U(2) on itself naturally leads to a refined classification of self-adjoint boundary conditions – each adjoint orbit is a subclass of these boundary conditions. We give explicit parametrizations of those adjoint orbits of principal type, i.e. orbits diffeomorphic to the 2-sphere S2, and investigate the behaviour of the nth eigenvalue λnas a function on such orbits.

In this paper we study the problemwhere Ω = ℝN or Ω = B1, N ⩾ 3, p > 1 and . Using a suitable map we transform problem (1) into another one without the singularity 1/|x|2. Then we obtain some bifurcation results from the radial solutions corresponding to some explicit values of λ.

We study classical solutions of the Cauchy problem for a class of non-Lipschitz semilinear parabolic partial differential equations in one spatial dimension with sufficiently smooth initial data. When the nonlinearity is Lipschitz continuous, results concerning existence, uniqueness and continuous dependence on initial data are well established (see, for example, the texts of Friedman and Smoller and, in the context of the present paper, see also Meyer), as are the associated results concerning Hadamard well-posedness. We consider the situations when the nonlinearity is Hölder continuous and when the nonlinearity is upper Lipschitz continuous. Finally, we consider the situation when the nonlinearity is both Hölder continuous and upper Lipschitz continuous. In each case we focus upon the question of existence, uniqueness and continuous dependence on initial data, and thus upon aspects of Hadamard well-posedness.

A compact set K ⊂ ℝn is Whitney 1-regular if the geodesic distance in K is equivalent to the Euclidean distance. Let P be the Chevalley map defined by an integrity basis of the algebra of polynomials invariant by a reflection group. This paper gives the Whitney 1-regularity of the image by P of any closed ball centred at the origin. The proof uses the works of Givental', Kostov and Arnol'd on the symmetric group. It needs a generalization of a property of the Vandermonde determinants to the Jacobian of the Chevalley mappings.

In (Boyd, Proc. R. Soc. Lond. A 447 (1994) 609--630), W. G. C. Boyd derived a resurgence representation for the gamma function, exploiting the reformulation of the method of steepest descents by M. Berry and C. Howls (Berry and Howls, Proc. R. Soc. Lond. A 434 (1991) 657--675). Using this representation, he was able to derive a number of properties of the asymptotic expansion for the gamma function, including explicit and realistic error bounds, the smooth transition of the Stokes discontinuities, and asymptotics for the late coefficients. The main aim of this paper is to modify the resurgence formula of Boyd making it suitable for deriving better error estimates for the asymptotic expansions of the gamma function and its reciprocal. We also prove the exponentially improved versions of these expansions complete with error terms. Finally, we provide new (formal) asymptotic expansions for the coefficients appearing in the asymptotic series and compare their numerical efficacy with the results of earlier authors., Comment: 22 pages, accepted for publication in Proceedings of the Royal Society of Edinburgh, Section A: Mathematical and Physical Sciences

The paper deals with a multiple species Lotka-Volterra model with infinite distributed delays and feedback controls, for which we assume a weak form of diagonal dominance of the instantaneous negative intra-specific terms over the infinite delay effect in both the population variables and controls. General sufficient conditions for the existence and attractivity of a saturated equilibrium are established. When the saturated equilibrium is on the boundary of $\R^n_+$, sharper criteria for the extinction of all or part of the populations are given. While the literature usually treats the case of competitive systems only, here no restrictions on the signs of the intra- and inter-specific delayed terms are imposed. Moreover, our technique does not require the construction of Lyapunov functionals., 27 pages

Regular Sturm–Liouville problems with indefinite weight functions may possess finitely many non-real eigenvalues. In this paper we prove explicit bounds on the real and imaginary parts of these eigenvalues in terms of the coefficients of the differential expression.

For Banach spaces X and Y, we consider bifurcation from the line of trivial solutions for the equation F (λ, u) = 0, where F : ℝ × X → Y with F (λ, 0) = 0 for all λ ∈ ℝ. The focus is on the situation where F (λ, ·) is only Hadamard differentiable at 0 and Lipschitz continuous on some open neighbourhood of 0, without requiring any Fréchet differentiability. Applications of the results obtained here to some problems involving nonlinear elliptic equations on ℝN, where Fréchet differentiability is not available, are presented in some related papers, which shed light on the relevance of our hypotheses.