This work, motivated by the rapid developments in Micro-Electro-Mechanical Systems (MEMS) structures, especially actuators and grippers, analyses the dynamics of a thermo-mechanical system consisting of a horizontal beam joined at one end to a vertical rod. As a result of thermal expansion or vibration of the rod, the other end may come into contact with another part of the MEMS device and that closes an electrical circuit, which is the actuating or switching function of such a beam–rod system. The interaction between the rod's contacting end and the supporting device is described by a normal compliance contact law for the displacements and by an inclusion-type Barber's heat exchange condition for the temperature. The heat-exchange coefficient is a multi-function taking into account the air resistance in the gap when there is no contact and the contact pressure when contact occurs. The model consists of a nonlinear variational inclusion for the temperature coupled with a nonlinear variational equation for the displacements. The existence of a weak solution to the problem is proved by using the Galerkin method, a regularization of Barber's condition with the Yosida approximation of a maximal monotone operator, and a priori estimates.

Under an assumption on the existence of $p$-adic Galois representations, we carry out Taylor–Wiles patching (in the derived category) for the completed homology of the locally symmetric spaces associated with $\operatorname{GL}_{n}$ over a number field. We use our construction, and some new results in non-commutative algebra, to show that standard conjectures on completed homology imply ‘big $R=\text{big}~\mathbb{T}$’ theorems in situations where one cannot hope to appeal to the Zariski density of classical points (in contrast to all previous results of this kind). In the case where $n=2$ and $p$ splits completely in the number field, we relate our construction to the $p$-adic local Langlands correspondence for $\operatorname{GL}_{2}(\mathbb{Q}_{p})$.

In the present paper, we consider the following Kirchhoff type problem

$$ -\Big(\varepsilon^2+\varepsilon b \int_{\mathbb R^3} | \nabla v|^2\Big) \Delta v+V(x)v=|v|^{p-2}v \quad {\rm in}\ \mathbb{R}^3, $$

$V\in C(\mathbb R^3,\mathbb R)$

$\inf _{\mathbb R^N} V=0$

In 1958 started the study of the families of algebraic limit cycles in the class of planar quadratic polynomial differential systems. In the present we known one family of algebraic limit cycles of degree 2 and four families of algebraic limit cycles of degree 4, and that there are no limit cycles of degree 3. All the families of algebraic limit cycles of degree 2 and 4 are known, this is not the case for the families of degree higher than 4. We also know that there exist two families of algebraic limit cycles of degree 5 and one family of degree 6, but we do not know if these families are all the families of degree 5 and 6. Until today it is an open problem to know if there are algebraic limit cycles of degree higher than 6 inside the class of quadratic polynomial differential systems. Here we investigate the birth and death of all the known families of algebraic limit cycles of quadratic polynomial differential systems.

We consider the mass-critical non-linear Schrödinger equation on non-compact metric graphs. A quite complete description of the structure of the ground states, which correspond to global minimizers of the energy functional under a mass constraint, is provided by Adami, Serra and Tilli in [R. Adami, E. Serra and P. Tilli. Negative energy ground states for the L2-critical NLSE on metric graphs. Comm. Math. Phys. 352 (2017), 387–406.] , where it is proved that existence and properties of ground states depend in a crucial way on both the value of the mass, and the topological properties of the underlying graph. In this paper we address cases when ground states do not exist and show that, under suitable assumptions, constrained local minimizers of the energy do exist. This result paves the way to the existence of stable solutions in the time-dependent equation in cases where the ground state energy level is not achieved.

We study the indexing systems that correspond to equivariant Steiner and linear isometries operads. When G is a finite abelian group, we prove that a G-indexing system is realized by a Steiner operad if and only if it is generated by cyclic G-orbits. When G is a finite cyclic group, whose order is either a prime power or a product of two distinct primes greater than 3, we prove that a G-indexing system is realized by a linear isometries operad if and only if it satisfies Blumberg and Hill’s horn-filling condition. We also repackage the data in an indexing system as a certain kind of partial order. We call these posets transfer systems, and develop basic tools for computing with them.

We study random unlabelled k-trees by combining the colouring approach by Gainer-Dewar and Gessel (2014) with the cycle-pointing method by Bodirsky, Fusy, Kang and Vigerske (2011). Our main applications are Gromov–Hausdorff–Prokhorov and Benjamini–Schramm limits that describe their asymptotic geometric shape on a global and local scale as the number of (k + 1)-cliques tends to infinity.

The sequence of prime numbers p for which a variety over ℚ has no p-adic point plays a fundamental role in arithmetic geometry. This sequence is deterministic, however, we prove that if we choose a typical variety from a family then the sequence has random behaviour. We furthermore prove that this behaviour is modelled by a random walk in Brownian motion. This has several consequences, one of them being the description of the finer properties of the distribution of the primes in this sequence via the Feynman–Kac formula.

Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}:G_{F}\rightarrow \text{GL}_{2}(\overline{\mathbf{F}}_{p})$ be a modular Galois representation that satisfies the Taylor–Wiles hypotheses and is tamely ramified and generic at a place $v$ above $p$. Let $\mathfrak{m}$ be the corresponding Hecke eigensystem. We describe the $\mathfrak{m}$-torsion in the $\text{mod}\,p$ cohomology of Shimura curves with full congruence level at $v$ as a $\text{GL}_{2}(k_{v})$-representation. In particular, it only depends on $\overline{r}|_{I_{F_{v}}}$ and its Jordan–Hölder factors appear with multiplicity one. The main ingredients are a description of the submodule structure for generic $\text{GL}_{2}(\mathbf{F}_{q})$-projective envelopes and the multiplicity one results of Emerton, Gee and Savitt [Lattices in the cohomology of Shimura curves, Invent. Math. 200(1) (2015), 1–96].

The closure of a braid in a closed orientable surface Ʃ is a link in Ʃ × S1. We classify such closed surface braids up to isotopy and homeomorphism (with a small indeterminacy for isotopy of closed sphere braids), algebraically in terms of the surface braid group. We find that in positive genus, braids close to isotopic links if and only if they are conjugate, and close to homeomorphic links if and only if they are in the same orbit of the outer action of the mapping class group on the surface braid group modulo its centre.

Let $N_g^k$ be a nonorientable surface of genus g with k punctures. In the first part of this note, after introducing preliminary materials, we will give criteria for a chain of Dehn twists to bound a disc. Then, we will show that automorphisms of the mapping class groups map disc bounding chains of Dehn twists to such chains. In the second part of the note, we will introduce bounding pairs of Dehn twists and give an algebraic characterization for such pairs.

We prove an essentially sharp $\tilde \Omega (n/k)$ lower bound on the k-round distributional complexity of the k-step pointer chasing problem under the uniform distribution, when Bob speaks first. This is an improvement over Nisan and Wigderson’s $\tilde \Omega (n/{k^2})$ lower bound, and essentially matches the randomized lower bound proved by Klauck. The proof is information-theoretic, and a key part of it is using asymmetric triangular discrimination instead of total variation distance; this idea may be useful elsewhere.

We give an efficient algorithm that, given a graph G and a partition V1,…,Vm of its vertex set, finds either an independent transversal (an independent set {v1,…,vm} in G such that ${v_i} \in {V_i}$ for each i), or a subset ${\cal B}$ of vertex classes such that the subgraph of G induced by $\bigcup\nolimits_{\cal B}$ has a small dominating set. A non-algorithmic proof of this result has been known for a number of years and has been used to solve many other problems. Thus we are able to give algorithmic versions of many of these applications, a few of which we describe explicitly here.

We completely classify the possible extensions between semistable vector bundles on the Fargues–Fontaine curve (over an algebraically closed perfectoid field), in terms of a simple condition on Harder–Narasimhan (HN) polygons. Our arguments rely on a careful study of various moduli spaces of bundle maps, which we define and analyze using Scholze’s language of diamonds. This analysis reduces our main results to a somewhat involved combinatorial problem, which we then solve via a reinterpretation in terms of the Euclidean geometry of HN polygons.

Erdös and Zaremba showed that $ \limsup_{n\to \infty} \frac{\Phi(n)}{(\log\log n)^2}=e^\gamma$, γ being Euler’s constant, where $\Phi(n)=\sum_{d|n} \frac{\log d}{d}$.

We extend this result to the function $\Psi(n)= \sum_{d|n} \frac{(\log d )(\log\log d)}{d}$ and some other functions. We show that $ \limsup_{n\to \infty}\, \frac{\Psi(n)}{(\log\log n)^2(\log\log\log n)}\,=\, e^\gamma$. The proof requires a new approach. As an application, we prove that for any $\eta>1$, any finite sequence of reals $\{c_k, k\in K\}$, $\sum_{k,\ell\in K} c_kc_\ell \, \frac{\gcd(k,\ell)^{2}}{k\ell} \le C(\eta) \sum_{\nu\in K} c_\nu^2(\log\log\log \nu)^\eta \Psi(\nu)$, where C(η) depends on η only. This improves a recent result obtained by the author.

Q-conditional (non-classical) symmetries of the known three-component reaction-diffusion (RD) system [K. Aoki et al. Theor. Popul. Biol. 50, 1–17 (1996)] modelling interaction between farmers and hunter-gatherers are constructed for the first time. A wide variety of Q-conditional symmetries are found, and it is shown that these symmetries are not equivalent to the Lie symmetries. Some operators of Q-conditional (non-classical) symmetry are applied for finding exact solutions of the RD system in question. Properties of the exact solutions (in particular, their asymptotic behaviour) are identified and possible biological interpretation is discussed.

Given a perfect valuation ring $R$ of characteristic $p$ that is complete with respect to a rank-1 nondiscrete valuation, we show that the ring $\mathbb{A}_{\inf }$ of Witt vectors of $R$ has infinite Krull dimension.

Let ℚsymm be the compositum of all symmetric extensions of ℚ, i.e., the finite Galois extensions with Galois group isomorphic to Sn for some positive integer n, and let ℤsymm be the ring of integers inside ℚsymm. Then, TH(ℤsymm) is primitive recursively decidable.

In a planar smoothly bounded domain $\Omega$, we consider the model for oncolytic virotherapy given by

$$\left\{ \begin{array}{l} u_t = \Delta u - \nabla \cdot (u\nabla v) - uz, \\[1mm] v_t = - (u+w)v, \\[1mm] w_t = d_w \Delta w - w + uz, \\[1mm] z_t = d_z \Delta z - z - uz + \beta w, \end{array} \right.$$

$ D_w $

$ D_z $

$\beta$

$\beta \lt 1$

$M \gt 0$

$\beta \gt 0$

$$u\ge M \qquad \mbox{in } \Omega\times (0,\infty).$$

$\beta \gt 1$

$$\liminf_{t\to\infty} \inf_{x\in\Omega} u(x,t)\le \frac{1}{\beta-1}.$$

$\beta$

$\beta = 1$

The Fermat type functional equations $(*)\, f_1^n+f_2^n+\cdots +f_k^n=1$, where n and k are positive integers, are considered in the complex plane. Our focus is on equations of the form (*) where it is not known whether there exist non-constant solutions in one or more of the following four classes of functions: meromorphic functions, rational functions, entire functions, polynomials. For such equations, we obtain estimates on Nevanlinna functions that transcendental solutions of (*) would have to satisfy, as well as analogous estimates for non-constant rational solutions. As an application, it is shown that transcendental entire solutions of (*) when n = k(k − 1) with k ≥ 3, would have to satisfy a certain differential equation, which is a generalization of the known result when k = 3. Alternative proofs for the known non-existence theorems for entire and polynomial solutions of (*) are given. Moreover, some restrictions on degrees of polynomial solutions are discussed.