Differentiable spaces that are subcartesian

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.     

The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

Liouville theorem for weighted p-Lichnerowicz equation on smooth metric measure space

In this paper, let $(M^n,g,d\mu )$ be n-dimensional noncompact metric measure space which satisfies Poincaré inequality with some Ricci curvature condition. We obtain a Liouville theorem for positive weak solutions to weighted p-Lichnerowicz equation

${△}_{p,f}v+c{v}^{\sigma }=0,$

where $c\le 0,m>n\ge 1,1<p<\frac{m?1+\sqrt{(m?1)(m+3)}}{2},\sigma \le p?1$ are real constants.     

Boundedness of semilinear Duffing equations at resonance in a critical situation

In this paper, we propose a sufficient and necessary condition for the boundedness of all the solutions for the equation $\ddot{x}+n^{2}x+g(x)=p(t)$ with the critical situation that $|{\int }_0^{2\pi }p(t)e^{?int}dt|=2|g(+\infty )?g(?\infty )|$ on g and p, where $n\in {\mathbb{N}}^{+}$, $p(t)$ is periodic and $g(x)$ is bounded.     

Experimental investigation and numerical simulation of the influence of resonator-length detuning on the output power,pulse duration and spectral width of a cw mode-locked picosecond optical parametric oscillator

We report on a cw mode-locked non-critically phase matched KTP optical parametric oscillator synchronously pumped by a picosecond Ti:Sapphire laser. High average signal output power of up to 950 mW over a large tuning range has been achieved. For this OPO the influence of resonator-length detuning on the output power, pulse duration and spectral bandwidth has been investigated. The measured data are in good agreement with the results of a numerical simulation using a split-step Fourier method which considers the group-velocity mismatch, the group-velocity dispersion and the self-phase modulation. The numerical simulation also describes the measured strong pump depletion and its influence on the OPO output and efficiency.     

Algebra matrix and similarity classification of operators

In this paper, by the Gelfand representation theory and the Silov idempotents theorem, we first obtain a central decomposition theorem related to a unital semi-simple n-homogeneous Banach algebra, and then give a similarity classification of two strongly irreducible Cowen-Douglas operators using this theorem.     

The Chang-Łoś-Suszko theorem in a topological setting

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.