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.     

Achieving Rich and Active Alkaline Hydrogen Evolution Heterostructures via Interface Engineering on 2D 1T‐MoS2 Quantum Sheets

Large‐scale production of hydrogen from water‐alkali electrolyzers is impeded by the sluggish kinetics of hydrogen evolution reaction (HER) electrocatalysts. The hybridization of an acid‐active HER catalyst with a cocatalyst at the nanoscale helps boost HER kinetics in alkaline media. Here, it is demonstrated that 1T–MoS₂ nanosheet edges (instead of basal planes) decorated by metal hydroxides form highly active ${\text{edge}}_{{\text{1T‐MoS}}_{\text{2}}}$/ ${\text{edge}}_{\text{Ni}{(\text{OH})}_{\text{2}}}$ heterostructures, which significantly enhance HER performance in alkaline media. Featured with rich ${\text{edge}}_{{\text{1T‐MoS}}_{\text{2}}}$/ ${\text{edge}}_{\text{Ni}{(\text{OH})}_{\text{2}}}$ sites, the fabricated 1T–MoS₂ QS/Ni(OH)₂ hybrid (quantum sized 1T–MoS₂ sheets decorated with Ni(OH)₂ via interface engineering) only requires overpotentials of 57 and 112 mV to drive HER current densities of 10 and 100 mA cm^?2, respectively, and has a low Tafel slope of 30 mV dec^?1 in 1 m KOH. So far, this is the best performance for MoS₂‐based electrocatalysts and the 1T–MoS₂ QS/Ni(OH)₂ hybrid is among the best‐performing non‐Pt alkaline HER electrocatalysts known. The HER process is durable for 100 h at current densities up to 500 mA cm^?2. This work not only provides an active, cost‐effective, and robust alkaline HER electrocatalyst, but also demonstrates a design strategy for preparing high‐performance catalysts based on edge‐rich 2D quantum sheets for other catalytic reactions.     

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.     

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.     

Necessary Conditions for Differentiability of Distance Functions

Necessary conditions for the Gâteaux differentiability of the distance function to a set are considered. A series of characterizing results is obtained.     

凸域内单叶函数的导数

设函数f（w）为凸区域D内的单叶解析函数,对于2≤n≤8和所有w∈D,本文得到估计式|f（n）（w）/f＇（w）|的精确上界.这个结果推广了一些已知的结论.     

On the duration of the total eclipse of a satellite of a body

This paper solves the problem of the duration of the total eclipseof a satellite of a body, provided that (a) the body is sphericalin shape and the mass distribution inside the body is sphericallysymmetrical; (b) the satellite is a very small object; (c) thesatellite's orbit around a body is circular and the satellitecan pass through the centre of its shadow; (d) a source of lightis the source of the conical body's shadow (umbra) and it doesnot change its apparent position in the sky; (e) there are noperturbations on the satellite's orbit. The solution presentedrepresents the general discussion of the problem based on utilizationof some parts of the theory of contraction mappings.     

The mapping properties of the radiosity operator along an edge

In this article we study the radiosity operator along an edge between two adjacent half‐planes. First we show that the radiosity operator is invertible in a whole scale of anisotropic Sobolev spaces. In the absence of any shadows we are able to derive regularity properties of the solution, which depend only on the angle between the half‐planes, the reflectivity coefficients and the right‐hand side. This work can be considered as a supplement to the article of Rathsfeld (Mathematical Methods in the Applied Sciences 1999; 22 : 217–241). Copyright © 2002 John Wiley & Sons, Ltd.     

系数变号的半线性椭圆方程的正解

本文研究半线性椭圆方程Dirichlet问题-△u=α（x）f(u），x∈Ω， u（x）=0，x∈ЭΩ，正解的存在性，其中Ω为R^n中有界的带光滑边界的区域，α(x)可以变号。     

线性分式规划最优解集的求法

本文使用多面集的表示定理，导出了线性分式规划最优解集的结构，并给出确定全部最优解的计算步骤。