On the orbital Hausdorff dependence of differential equations with non-instantaneous impulses

In this article, we investigate the orbital Hausdorff continuous dependence of the solutions to integer order and fractional nonlinear non-instantaneous differential equations. The concept of orbital Hausdorff continuous dependence is used to characterize the relations of solutions corresponding to the impulsive points and junction points in the sense of the Hausdorff distance. Then, we establish sufficient conditions to guarantee this specific continuous dependence on their respective trajectories. Finally, two examples are given to illustrate our theoretical results.     

A new family of Castle and Frobenius nonclassical curves

Motivated by the study of minimal value set polynomials, we construct ${\mathbb{F}}_q$-Frobenius nonclassical curves with a large number of ${\mathbb{F}}_q$-rational points. For some of these curves, we determine the Weierstrass semigroup at the unique point at infinity. In particular, we prove that they yield new examples of Castle curves.     

Universal algebra of a Hom-Lie algebra and group-like elements

We construct the universal enveloping algebra of a Hom-Lie algebra and endow it with a Hom-Hopf algebra structure. We discuss group-like elements that we see as a Hom-group integrating the initial Hom-Lie algebra.     

Flow-contractible configurations and group connectivity of signed graphs

Jaeger, Linial, Payan and Tarsi (JCTB, 1992) introduced the concept of group connectivity as a generalization of nowhere-zero flow for graphs. In this paper, we introduce group connectivity for signed graphs and establish some fundamental properties. For a finite abelian group $A$, it is proved that an $A$-connected signed graph is a contractible configuration for $A$-flow problem of signed graphs. In addition, we give sufficient edge connectivity conditions for signed graphs to be $A$-connected and study the group connectivity of some families of signed graphs.     

The enhanced Sanov theorem and propagation of chaos

We establish a Sanov type large deviation principle for an ensemble of interacting Brownian rough paths. As application a large deviations for the ($k$-layer, enhanced) empirical measure of weakly interacting diffusions is obtained. This in turn implies a propagation of chaos result in a space of rough paths and allows for a robust analysis of the particle system and its McKean–Vlasov type limit, as shown in two corollaries.     

Discretisation and duality of optimal Skorokhod embedding problems

We prove a strong duality result for a linear programming problem which has the interpretation of being a discretised optimal Skorokhod embedding problem, and we recover this continuous time problem as a limit of the discrete problems. With the discrete setup we show that for a suitably chosen objective function, the optimiser takes the form of a hitting time for a random walk. In the limiting problem we then reprove the existence of the Root, Rost, and cave embedding solutions of the Skorokhod embedding problem.The main strength of this approach is that we can derive properties of the discrete problem more easily than in continuous time, and then prove that these properties hold in the limit. For example, a consequence of the strong duality result is that dual optimisers exist, and our limiting arguments can be used to derive properties of the continuous time dual functions. These arguments are applied in Cox and Kinsley (2017), where the existence of dual solutions is required to prove characterisation results for optimal barriers in a financial application.     

Sheaves and duality

It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representation of the algebra. In this paper we provide a generalization of this fact and prove a converse of the generalization. To be precise, we exhibit a one-to-one correspondence (up to isomorphism) between soft sheaf representations of universal algebras over stably compact spaces and frame homomorphisms from the dual frames of such spaces into subframes of pairwise commuting congruences of the congruence lattices of the universal algebras. For distributive-lattice-ordered algebras this allows us to dualize such sheaf representations.     

AF inverse monoids and the structure of countable MV-algebras

This paper is a further contribution to the developing theory of Boolean inverse monoids. These monoids should be regarded as non-commutative generalizations of Boolean algebras; indeed, classical Stone duality can be generalized to this non-commutative setting to yield a duality between Boolean inverse monoids and a class of étale topological groupoids. MV-algebras are also generalizations of Boolean algebras which arise from many-valued logics. It is the goal of this paper to show how these two generalizations are connected. To do this, we define a special class of Boolean inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to an MV-algebra arising in this way. Our main theorem is that every countable MV-algebra can be so co-ordinatized. The particular Boolean inverse monoids needed to establish this result are examples of what we term AF inverse monoids and are the inverse monoid analogues of AF $C^{?}$-algebras. In particular, they are constructed from Bratteli diagrams as direct limits of finite direct products of finite symmetric inverse monoids.     

Invariant curves and analytic integrability of a planar vector field

We give an expression of the irreducible invariant curves at the singular point. For analytically integrable systems, we provide an expression of its primitive first integral. This fact allows us to obtain necessary conditions of analytic integrability at degenerate singular points.     

Nondegeneracy and stability of antiperiodic bound states for fractional nonlinear Schrödinger equations

We consider the existence and stability of real-valued, spatially antiperiodic standing wave solutions to a family of nonlinear Schrödinger equations with fractional dispersion and power-law nonlinearity. As a key technical result, we demonstrate that the associated linearized operator is nondegenerate when restricted to antiperiodic perturbations, i.e. that its kernel is generated by the translational and gauge symmetries of the governing evolution equation. In the process, we provide a characterization of the antiperiodic ground state eigenfunctions for linear fractional Schrödinger operators on $\mathbb{R}$ with real-valued, periodic potentials as well as a Sturm–Liouville type oscillation theory for the higher antiperiodic eigenfunctions.     

On the integrability of Degasperis–Procesi equation: Control of the Sobolev norms and Birkhoff resonances

We consider the dispersive Degasperis–Procesi equation $u_t?u_{xxt}?\mathtt{c}{u}_{xxx}+4\mathtt{c}{u}_x?u{u}_{xxx}?3u_x{u}_{xx}+4u{u}_x=0$ with $\mathtt{c}\in \mathbb{R}?\{0\}$. In [15] the authors proved that this equation possesses infinitely many conserved quantities. We prove that there are infinitely many of such constants of motion which control the Sobolev norms and which are analytic in a neighborhood of the origin of the Sobolev space $H^s$ with $s\ge 2$, both on $\mathbb{R}$ and $\mathbb{T}$. By the analysis of these conserved quantities we deduce a result of global well-posedness for solutions with small initial data and we show that, on the circle, the formal Birkhoff normal form of the Degasperis–Procesi at any order is action-preserving.     

Degree counting and Shadow system for Toda system of rank two: One bubbling

We initiate the program for computing the Leray–Schauder topological degree for Toda systems of rank two. This program still contains a lot of challenging problems for analysts. As the first step, we prove that if a sequence of solutions $(u_{1k},u_{2k})$ blows up, then one of $\frac{h_j{e}^{u_{jk}}}{{\int }_M{h}_j{e}^{u_{jk}}d{v}_g}$, $j=1,2$ tends to a sum of Dirac measures. This is so-called the phenomena of weak concentration. Our purposes in this article are (i) to introduce the shadow system due to the bubbling phenomena when one of parameters ${\rho }_i$ crosses 4π and ${\rho }_j?4\pi \mathbb{N}$ where $1\le i\ne j\le 2$; (ii) to show how to calculate the topological degree of Toda systems by computing the topological degree of the general shadow systems; (iii) to calculate the topological degree of the shadow system for one point blow up. We believe that the degree counting formula for the shadow system would be useful in other problems.     

Hyperbolic polynomials and spectral order

The spectral order on $\text{R}$ induces a partial ordering on the manifold $\text{H}{}_{\mathrm{n}}$ of monic hyperbolic polynomials of degree n. We show that the semigroup $\text{S}$ generated by differential operators of the form $\text{(1?λ}\text{d}\text{d}\text{x}\text{)}\text{e}{}^{\mathrm{<mtext>\lambda </mtext><mtext>d</mtext><mtext>/</mtext><mtext>d</mtext><mtext>x</mtext>}}$, $\text{λ∈}\text{R}$, acts on the poset $\text{H}{}_{\mathrm{n}}$ in an order-preserving fashion. We also show that polynomials in $\text{H}{}_{\mathrm{n}}$ are global minima of their respective $\text{S}$-orbits and we conjecture that a similar result holds even for complex polynomials. Finally, we show that only those pencils of polynomials in $\text{H}{}_{\mathrm{n}}$ which are of logarithmic derivative type satisfy a certain local minimum property for the spectral order. To cite this article: J. Borcea, B. Shapiro, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Concentrated steady vorticities of the Euler equation on 2-d domains and their linear stability

We consider concentrated vorticities for the Euler equation on a smooth domain $\mathrm{\Omega }?{\mathbf{R}}^2$ in the form of

$\omega =\sum _{j=1}^N{\omega }_j{\chi }_{{\mathrm{\Omega }}_j},|{\mathrm{\Omega }}_j|=\pi r_j^2,\underset{{\mathrm{\Omega }}_j}{\int }{\omega }_{j}d\mu ={\mu }_j\ne 0,$

supported on well-separated vortical domains ${\mathrm{\Omega }}_j$, $j=1,\dots ,N$, of small diameters $O(r_j)$. A conformal mapping framework is set up to study this free boundary problem with ${\mathrm{\Omega }}_j$ being part of unknowns. For any given vorticities ${\mu }_1,\dots ,{\mu }_N$ and small $r_1,\dots ,r_N\in {\mathbf{R}}^{+}$, through a perturbation approach, we obtain such piecewise constant steady vortex patches as well as piecewise smooth Lipschitz steady vorticities, both concentrated near non-degenerate critical configurations of the Kirchhoff–Routh Hamiltonian function. When vortex patch evolution is considered as the boundary dynamics of $?{\mathrm{\Omega }}_j$, through an invariant subspace decomposition, it is also proved that the spectral/linear stability of such steady vortex patches is largely determined by that of the 2N-dimensional linearized point vortex dynamics, while the motion is highly oscillatory in the 2N-codim directions corresponding to the vortical domain shapes.     

Fixed points in lambda calculus. An eccentric survey of problems and solutions

The fact that every combinator has a fixed point is at the heart of the $\lambda$-calculus as a model of computation. We consider several aspects of such phenomenon; our specific, perhaps eccentric, point of view focuses on problems and results that we consider worthy of further investigations. We first consider the relation with self application, in comparison with the opposite view, which stresses the role of coding, unifying the first and the second fixed point theorems. Then, we consider the relation with the diagonal argument, a relation which is at the origin of the fixed point theorem itself. We also review the Recursion Theorem, which is considered a recursion theoretic version of the fixed point theorem. We end considering systems of equations which are related to fixed points.     

Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories

We introduce the notion of a “category with path objects”, as a slight strengthening of Kenneth Brown's classical notion of a “category of fibrant objects”. We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, we will present an application to models of constructive set theory. Although our work is partly motivated by recent developments in homotopy type theory, this paper is written purely in the language of homotopy theory and category theory, and we do not presuppose any familiarity with type theory on the side of the reader.     

slN-web categories and categorified skew Howe duality

In this paper we show how the colored Khovanov–Rozansky ${\mathfrak{sl}}_N$-matrix factorizations, due to Wu [45] and Y.Y. [46], [47], can be used to categorify the type A quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison in [14]. In particular, we define ${\mathfrak{sl}}_N$-web categories and 2-representations of Khovanov and Lauda's categorical quantum ${\mathfrak{sl}}_m$ on them. We also show that this implies that each such web category is equivalent to the category of finite-dimensional graded projective modules over a certain type A cyclotomic KLR-algebra.     

Existence and multiplicity of positive radial solutions for singular superlinear elliptic systems in the exterior of a ball

We prove the existence and multiplicity of positive radial solutions to the nonlinear system

$\{\begin{array}{c}\hfill ?\mathrm{\Delta }{u}_i=\lambda K_i(|x|)f_i(u_j)\text{ in }\mathrm{\Omega },\hfill \\ \hfill d_i\frac{?u_i}{?n}+{\stackrel{?}{c}}_i(u_i)u_i=0\text{ on }|x|=r_0,\hfill \\ \hfill u_i(x)\to 0\text{ as }|x|\to \infty ,\hfill \end{array}$

for a certain range of $\lambda >0$, where $i,j\in \{1,2\},i\ne j$, $\mathrm{\Omega }=\{x\in {\mathbb{R}}^N:|x|>r_0>0\}$, $N>2,d_i\ge 0$, $K_i:[r_0,\infty )\to (0,\infty )$, $\stackrel{?}{c}:[0,\infty )\to [0,\infty ),f_i:(0,\infty )\to \mathbb{R}$ are continuous with possible singularity ±∞ at 0 and satisfy a combined superlinear condition at ∞.