Wavelet approximations of a collision operator in kinetic theory

This Note is devoted to the derivation of conservative and entropic fast wavelet approximations for the isotropic Fokker–Planck–Landau collision operator arising in the modeling of charged particles in plasma physics. The present approach combines the advantages of both the finite difference schemes (conservation and entropy) and the spectral methods (accuracy) which are developed in the literature. Furthermore, the wavelet approach provides a fast algorithm for the evaluation of such a collision operator. The present work is a first step to the development of wavelet approximations to more complex collision operators in kinetic theory. To cite this article: X. Antoine, M. Lemou, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Spectral theory approach for a class of radial indefinite variational problems

Considering the radial nonlinear Schrödinger equation

($P_r$)$?\mathrm{\Delta }u+V(x)u=g(x,u)\text{in}{\mathbb{R}}^N,N\ge 3$

we aim to find a radial nontrivial solution for it, where V changes sign ensuring problem ($P_r$) is indefinite and g is an asymptotically linear nonlinearity. We work with variational methods associating problem ($P_r$) to an indefinite functional in order to apply our Abstract Linking Theorem for Cerami sequences in [8] to get a non-trivial critical point for this functional. Our goal is to make use of spectral properties of operator $A:=\mathrm{\Delta }+V(x)$ restricted to $H_{rad}^1({\mathbb{R}}^N)$, the space of radially symmetric functions in $H^1({\mathbb{R}}^N)$, for obtaining a linking geometry structure to the problem and by means of special properties of radially symmetric functions get the necessary compactness.     

A-posteriori KAM theory with optimal estimates for partially integrable systems

In this paper we present a-posteriori KAM results for existence of d-dimensional isotropic invariant tori for n-DOF Hamiltonian systems with additional $n?d$ independent first integrals in involution. We carry out a covariant formulation that does not require the use of action-angle variables nor symplectic reduction techniques. The main advantage is that we overcome the curse of dimensionality avoiding the practical shortcomings produced by the use of reduced coordinates, which may cause difficulties and underperformance when quantifying the hypotheses of the KAM theorem in such reduced coordinates. The results include ordinary and (generalized) iso-energetic KAM theorems. The approach is suitable to perform numerical computations and computer assisted proofs.     

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.     

Periodic cycles of social outbursts of activity

We study the long-time behavior of a $2\times 2$ continuous dynamical system with a time-periodic source term which is either of cooperative-type or activator–inhibitor type. This system was recently introduced in the literature [2] to model the dynamics of social outbursts and consists of an explicit field measuring the level of activity and an implicit field measuring the effective tension. The system can be used to represent a general type of phenomena in which one variable exhibits self-excitement once the other variable has reached a critical value. The time-periodic source term allows one to analyze the effect that periodic external shocks to the system play in the dynamics of the outburst of activity. For cooperative systems we prove that for small shocks the level of activity dies down whereas, as the intensity of the shocks increases, the level of activity converges to a positive periodic solution (excited cycle). We further show that in some cases there is multiplicity of excited cycles. We derive a subset of these results for the activator–inhibitor system.     

Generation of finite subgroups of the mapping class group of genus 2 surface by Dehn twists

In this note we give presentations, up to conjugacy, of all finite subgroups of the mapping class group of a closed surface of genus 2, using the Humphries generators. An application to homology representations is given.     

Frame properties of systems arising via iterated actions of operators

Motivated by recent progress in dynamical sampling we prove that every frame which is norm-bounded below can be represented as a finite union of sequences ${\{{(T_j)}^n{\phi }_j\}}_{n=0}^{\infty },j=1,\dots ,J$ for some bounded operators $T_j$ and elements ${\phi }_j$ in the underlying Hilbert space. The result is optimal, in the sense that it turns out to be problematic to replace the collection of generators ${\phi }_1,\dots ,{\phi }_J$ by a singleton: indeed, for linearly independent frames we prove that we can represent the frame in terms of just one system ${\{T^n\phi \}}_{n=0}^{\infty }$, but unfortunately this representation often forces the operator T to be unbounded. Several examples illustrate the connection of the results to typical frames like Gabor frames and wavelet frames, as well as generic constructions in arbitrary separable Hilbert spaces.     

Approximation of multi-scale elliptic problems using patches of finite elements

In this paper we present a method to solve numerically elliptic problems with multi-scale data using multiple levels of not necessarily nested grids. The method consists in calculating successive corrections to the solution in patches whose discretizations are not necessarily conforming. It resembles the FAC method (see Math. Comp. 46 (174) (1986) 439–456) and its convergence is obtained by a domain decomposition technique (see Math. Comp. 57 (195) (1991) 1–21). However it is of much more flexible use in comparison to the latter. To cite this article: R. Glowinski et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Classification of some 3-subgroups of the finite groups of Lie type E6

We consider the finite exceptional group of Lie type $G=E_6^{\epsilon }(q)$ (universal version) with $3|q?\epsilon$, where $E_6^{+1}(q)=E_6(q)$ and $E_6^{?1}(q){=}^2{E}_6(q)$. We classify, up to conjugacy, all maximal-proper 3-local subgroups of G, that is, all 3-local $M<G$ which are maximal with respect to inclusion among all proper subgroups of G which are 3-local. To this end, we also determine, up to conjugacy, all elementary-abelian 3-subgroups containing $Z(G)$, all extraspecial subgroups containing $Z(G)$, and all cyclic groups of order 9 containing $Z(G)$. These classifications are an important first step towards a classification of the 3-radical subgroups of G, which play a crucial role in many open conjectures in modular representation theory.     

Regularity of line configurations

We show that in arithmetically-Gorenstein line arrangements with only planar singularities, each line intersects the same number of other lines. This number has an algebraic interpretation: it is the Castelnuovo–Mumford regularity of the coordinate ring of the arrangement.We also prove that every $(d?1)$-dimensional simplicial complex whose 0-th and 1-st homologies are trivial is the nerve complex of a suitable d-dimensional standard graded algebra of depth ≥3. This provides the converse of a recent result by Katzman, Lyubeznik and Zhang.     

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.     

Diffraction of compatible random substitutions in one dimension

As a guiding example, the diffraction measure of a random local mixture of the two classic Fibonacci substitutions is determined and reanalysed via self-similar measures of Hutchinson type, defined by a finite family of contractions. Our revised approach yields explicit formulas for the pure point and the absolutely continuous parts, as well as a proof for the absence of singular continuous components. This approach is then extended to the family of random noble means substitutions and, as an example with an underlying 2-adic structure, to a locally randomised version of the period doubling chain. As a first step towards a more general approach, we interpret our findings in terms of a disintegration over the Kronecker factor, which is the maximal equicontinuous factor of a covering model set.     

Robustly topological mixing of Kan's map

In 1994, I. Kan constructed a smooth map on the annulus admitting two physical measures, whose basins are intermingled. In this paper, we prove that Kan's map is $C^2$ robustly topologically mixing.     

Singular solutions of elliptic equations on a perturbed cone

In this work we obtain positive singular solutions of

$\{\begin{array}{ccc}?\mathrm{\Delta }u(y)\hfill & \hfill =\hfill & u{(y)}^p\text{ in }y\in {\mathrm{\Omega }}_t,\hfill \\ u\hfill & \hfill =\hfill & 0\text{ on }y\in ?{\mathrm{\Omega }}_t,\hfill \end{array}$

where ${\mathrm{\Omega }}_t$ is a sufficiently small $C^{2,\alpha }$ perturbation of the cone $\mathrm{\Omega }:=\{x\in {\mathbb{R}}^N:x=r\theta ,r>0,\theta \in S\}$ where $S?S^{N?1}$ has a smooth nonempty boundary and where $p>1$ satisfies suitable conditions. By singular solution we mean the solution is singular at the ‘vertex of the perturbed cone’. We also consider some other perturbations of the equation on the unperturbed cone Ω and here we use a different class of function spaces.     

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.     

Unique determination of stratified steady water waves from pressure

Consider a two-dimensional stratified solitary wave propagating through a body of water that is bounded below by an impermeable ocean bed. In this work, we study how such a wave can be recovered from data consisting of the wave speed, upstream and downstream density and velocity profile, and the trace of the pressure on the bed. In particular, we prove that this data uniquely determines the wave, both in the (real) analytic and Sobolev regimes.     

Well-posedness of the Prandtl equation with monotonicity in Sobolev spaces

By using the paralinearization technique, we prove the well-posedness of the Prandtl equation for monotonic data in anisotropic Sobolev space with exponential weight and low regularity. The proof is very elementary, thus is expected to provide a new possible way for the zero-viscosity limit problem of the Navier–Stokes equations with the non-slip boundary condition.     

Density symmetries for a class of 2-D diffusions with applications to finance

We study densities of two-dimensional diffusion processes with one non-negative component. For such diffusions, the density may explode at the boundary, thus making a precise specification of the boundary condition in the corresponding forward Kolmogorov equation problematic. We overcome this by extending a classical symmetry result for densities of one-dimensional diffusions to our case, thereby reducing the study of forward equations with exploding boundary data to the study of a related backward equation with non-exploding boundary data. We also discuss applications of this symmetry for option pricing in stochastic volatility models and in stochastic short rate models.     

Blowup with vorticity control for a 2D model of the Boussinesq equations

We propose a system of equations with nonlocal flux in two space dimensions which is closely modeled after the 2D Boussinesq equations in a hyperbolic flow scenario. Our equations involve a vorticity stretching term and a non-local Biot-Savart law and provide insight into the underlying intrinsic mechanisms of singularity formation. We prove stable, controlled finite time blowup involving upper and lower bounds on the vorticity up to the time of blowup for a wide class of initial data.