Bifurcation for a class of singular elliptic problems with quadratic convection term

We study the bifurcation problem ?Δu=g(u)+λ|?u|²+μ in $\text{Ω,}\text{u=0}$ on $\text{?Ω}$, where λ,μ?0 and $\text{Ω}$ is a smooth bounded domain in $\text{R}{}^{\mathrm{N}}$. The singular character of the problem is given by the nonlinearity g which is assumed to be decreasing and unbounded around the origin. In this Note we prove that the above problem has a positive classical solution (which is unique) if and only if λ(a+μ)<λ₁, where a=lim_t→+∞g(t) and λ₁ is the first eigenvalue of the Laplace operator in $\text{H}{}^1{}_0\text{(Ω)}$. We also describe the decay rate of this solution, as well as a blow-up result around the bifurcation parameter. To cite this article: M. Ghergu, V. R?dulescu, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

An index theory for paths that are solutions of a class of strongly indefinite variational problems

We generalize the Morse index theorem of [12,15] and we apply the new result to obtain lower estimates on the number of geodesics joining two fixed non conjugate points in certain classes of semi-Riemannian manifolds. More specifically, we consider semi-Riemannian manifolds admitting a smooth distribution spanned by commuting Killing vector fields and containing a maximal negative distribution for . In particular we obtain Morse relations for stationary semi-Riemannian manifolds (see [7]) and for the G?del-type manifolds (see [3]). Received: 4 April 2001 / Accepted: 27 September 2001 / Published online: 23 May 2002 The authors are partially sponsored by CNPq (Brazil) Proc. N. 301410/95 and N. 300254/01-6. Parts of this work were done during the visit of the two authors to the IMPA, Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil, in January and February 2001. The authors wish to express their gratitude to all Faculty and Staff of the IMPA for their kind hospitality.     

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

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.     

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

Homotopy theory of bicomplexes

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are detected by the $E^2$-term of the spectral sequence associated to the filtration of the total complex by the horizontal degree. We then extend this result to twisted complexes.     

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.     

Ground state solutions for some indefinite variational problems

We consider the nonlinear stationary Schrödinger equation −Δu+V(x)u=f(x,u) in . Here f is a superlinear, subcritical nonlinearity, and we mainly study the case where both V and f are periodic in x and 0 belongs to a spectral gap of −Δ+V. Inspired by previous work of Li et al. (2006) [11] and Pankov (2005) [13], we develop an approach to find ground state solutions, i.e., nontrivial solutions with least possible energy. The approach is based on a direct and simple reduction of the indefinite variational problem to a definite one and gives rise to a new minimax characterization of the corresponding critical value. Our method works for merely continuous nonlinearities f which are allowed to have weaker asymptotic growth than usually assumed. For odd f, we obtain infinitely many geometrically distinct solutions. The approach also yields new existence and multiplicity results for the Dirichlet problem for the same type of equations in a bounded domain.     

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.     

A symplectic perspective on constrained eigenvalue problems

The Maslov index is a powerful tool for computing spectra of selfadjoint, elliptic boundary value problems. This is done by counting intersections of a fixed Lagrangian subspace, which designates the boundary conditions, with the set of Cauchy data for the differential operator. We apply this methodology to constrained eigenvalue problems, in which the operator is restricted to a (not necessarily invariant) subspace. The Maslov index is defined and used to compute the Morse index of the constrained operator. We then prove a constrained Morse index theorem, which says that the Morse index of the constrained problem equals the number of constrained conjugate points, counted with multiplicity, and give an application to the nonlinear Schrödinger equation.     

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

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.     

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.     

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.     

The PBW filtration and convex polytopes in type B

We study the PBW filtration on irreducible finite-dimensional representations for the Lie algebra of type ${\mathtt{B}}_n$. We prove in various cases, including all multiples of the adjoint representation and all irreducible finite-dimensional representations for ${\mathtt{B}}_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of examples for favourable modules and graded combinatorial character formulas.     

Morse theory for indefinite nonlinear elliptic problems

Using the heat flow as a deformation, a Morse theory for the solutions of the nonlinear elliptic equation:

−Δu−λu=a₊(x)|u|^q−1u−a₋(x)|u|^p−1u+h(x,u)$-\mathrm{\Delta }u-\lambda u=a_{+}(x){|u|}^{q-1}u-a_{-}(x){|u|}^{p-1}u+h(x,u)$

On the number of Waring decompositions for a generic polynomial vector

We prove that a general polynomial vector $(f_1,f_2,f_3)$ in three homogeneous variables of degrees $(3,3,4)$ has a unique Waring decomposition of rank 7. This is the first new case we are aware of, and likely the last one, after five examples known since the 19th century and the binary case. We prove that there are no identifiable cases among pairs $(f_1,f_2)$ in three homogeneous variables of degree $(a,a+1)$, unless $a=2$, and we give a lower bound on the number of decompositions. The new example was discovered with Numerical Algebraic Geometry, while its proof needs Nonabelian Apolarity.