Global existence and bounds for blow‐up time in a class of nonlinear pseudo‐parabolic equations with a memory term

In this article, we consider the initial boundary value problem for a class of nonlinear pseudo‐parabolic equations with a memory term: Under suitable assumptions, we obtain the local and global existence of the solution by Galerkin method. We prove finite‐time blow‐up of the solution for initial data at arbitrary energy level and obtain upper bounds for blow‐up time by using the concavity method. In addition, by means of differential inequality technique, we obtain a lower bound for blow‐up time of the solution if blow‐up occurs.     

求解定常不可压Stokes方程的两层罚函数方法

借助于两套有限元网格空间提出了一种求解定常不可压Stokes方程的两层罚函数方法.该方法只需要求解粗网格空间上的Stokes方程和细网格空间上的两个易于求解的罚参数方程（离散后的线性方程组具有相同的对称正定系数矩阵）.收敛性分析表明粗网格空间相对于细网格空间可以选择很小，并且罚参数的选取只与粗网格步长和问题的正则性有关.因此罚参数不必选择很小仍能够得到最优解.最后通过数值算例验证了上述理论结果，并且数值对比可知两层罚函数方法对于求解定常不可压Stokes方程具有很好的效果.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.     

Multistrain edge‐based compartmental model on networks

Multistrain diseases, which are infected through individual contacts, pose severe public health threat nowadays. In this paper, we build competitive and mutative two‐strain edge‐based compartmental models using probability generation function (PGF) and pair approximation (PA). Both of them are ordinary differential equations. Their basic reproduction numbers and final size formulas are explicitly derived. We show that the formula gives a unique positive final epidemic size when the reproduction number is larger than unity. We further consider competitive and mutative multistrain diseases spreading models and compute their basic reproduction numbers. We perform numerical simulations that show some dynamical properties of the competitive and mutative two‐strain models.     

Solvability of a nonlinear fifth‐order difference equation

Some formulas for well‐defined solutions to four very special cases of a nonlinear fifth‐order difference equation have been presented recently in this journal, where some of them were proved by the method of induction, some are only quoted, and no any theory behind the formulas was given. Here, we show in an elegant constructive way how the general solution to the difference equation can be obtained, from which the special cases very easily follow, which is also demonstrated here. We also give some comments on the local stability results on the special cases of the nonlinear fifth‐order difference equation previously publish in this journal.     

On concentration of solution to a Schrödinger logarithmic equation with deepening potential well

In this work, we prove the existence of positive solution for the following class of problems where λ>0 and is a potential satisfying some conditions. Using the variational method developed by Szulkin for functionals, which are the sum of a C¹ functional with a convex lower semicontinuous functional, we prove that for each large enough λ>0, there exists a positive solution for the problem, and that, as λ→+∞, such solutions converge to a positive solution of the limit problem defined on the domain Ω=int(V^?1({0})).     

A mixed hp FEM for the approximation of fourth‐order singularly perturbed problems on smooth domains

We consider fourth‐order singularly perturbed problems posed on smooth domains and the approximation of their solution by a mixed Finite Element Method on the so‐called Spectral Boundary Layer Mesh. We show that the method converges uniformly, with respect to the singular perturbation parameter, at an exponential rate when the error is measured in the energy norm. Numerical examples illustrate our theoretical findings.     

Relaxation oscillations in a slow–fast modified Leslie–Gower model

In this paper, we prove the existence and uniqueness of relaxation oscillation cycle of a slow–fast modified Leslie–Gower model via the entry–exit function and geometric singular perturbation theory. Numerical simulations are also carried out to illustrate our theoretical result.     

Hydrogen‐Bonded Films for Zero‐Order Release of Leuprolide

Leuprolide has been widely used in androgen deprivation therapy for the treatment of advanced prostate cancer, but its use is still limited due to its short half‐life. Herein, hydrogen‐bonded layer‐by‐layer films are fabricated from PEGylated leuprolide (PEG‐LEU) and tannic acid (TA). Because of its dynamic nature, the film disintegrates gradually in water and releases PEG‐LEU and TA. The in vitro release profile indicated perfect zero‐order kinetics, which is explained by the unique release mechanism. When implanted subcutaneously in male rats, the films maintain a constant serum drug level. For a 60‐bilayer film, the serum drug level is maintained constant for ≈24 days. No initial burst release is observed, suggesting that the in vivo release also follows zero‐order kinetics. Initially, an increase in the level of serum testosterone is induced by the released drug, followed by testosterone suppression to a constant level below the castrate level, which could be maintained as long as a constant serum drug level is maintained. Since the new drug carriers avoid an initial burst release of the drug and maintain a constant serum drug level and hence a constant serum testosterone level below the castrate level, these carriers are highly promising for androgen deprivation therapy.