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.     

小孔流速实验中的排水时间和流量系数的研究

本文以水作为理想流体,考虑到水头损失和孔口缩流效应,对小孔流速实验涉及的容器排水问题进行了系统的理论和实验研究.从理论上推导得出了圆柱形容器排水时间的解析解,分析了排水时间和自由液面速度、流量系数之间的规律,提出了排水时间的等效性.实验上,加工了底部开有不同小孔的大型圆柱形容器,测量了容器排水时间随液面高度的变化关系,借助实验结果计算了流量系数值,验证了容器排水时间的等效性关系,实验结果与理论计算符合较好.     

关于 Hilbert积分不等式(英)

本文通过引入一个适当的形如F（x，y）的正定二次型证明了Hilbert积分不等式可以得到改进．利用这一结果，Widder不等式得到了加强，并且建立了广义的Hardy－Littlewood不等式．