When two trains travel along the same track in the same direction, it is a common safety requirement that the trains must be separated by at least two signals. This means that there will always be at least one clear section of track between the two trains. If the safe-separation condition is violated, then the driver of the following train must adopt a revised strategy that will enable the train to stop at the next signal if necessary. One simple way to ensure safe separation is to define a prescribed set of latest allowed section exit times for the leading train and a corresponding prescribed set of earliest allowed section entry times for the following train. We will find strategies that minimize the total tractive energy required for both trains to complete their respective journeys within the overall allowed journey times and subject to the additional prescribed section clearance times. We assume that the drivers use a discrete control mechanism and show that the optimal driving strategy for each train is defined by a sequence of approximate speedholding phases at a uniquely defined optimal driving speed on each section and that the sequence of optimal driving speeds is a decreasing sequence for the leading train and an increasing sequence for the following train. We illustrate our results by finding optimal strategies and associated speed profiles for both trains in some elementary but realistic examples.

We establish some weighted integral inequalities of Ostrowski, Čebyšev andLupaş type and give applications for continuous probability densityfunctions supported on infinite intervals.

We prove two main results on Denjoy–Carleman classes: (1) a composite function theorem which asserts that a function $f(x)$ in a quasianalytic Denjoy–Carleman class ${\mathcal{Q}}_{M}$, which is formally composite with a generically submersive mapping $y=\unicode[STIX]{x1D711}(x)$ of class ${\mathcal{Q}}_{M}$, at a single given point in the source (or in the target) of $\unicode[STIX]{x1D711}$ can be written locally as $f=g\circ \unicode[STIX]{x1D711}$, where $g(y)$ belongs to a shifted Denjoy–Carleman class ${\mathcal{Q}}_{M^{(p)}}$; (2) a statement on a similar loss of regularity for functions definable in the $o$-minimal structure given by expansion of the real field by restricted functions of quasianalytic class ${\mathcal{Q}}_{M}$. Both results depend on an estimate for the regularity of a ${\mathcal{C}}^{\infty }$ solution $g$ of the equation $f=g\circ \unicode[STIX]{x1D711}$, with $f$ and $\unicode[STIX]{x1D711}$ as above. The composite function result depends also on a quasianalytic continuation theorem, which shows that the formal assumption at a given point in (1) propagates to a formal composition condition at every point in a neighbourhood.

Athanasiadis [‘A survey of subdivisions and local $h$-vectors’, in The Mathematical Legacy of Richard P. Stanley (American Mathematical Society, Providence, RI, 2017), 39–51] asked whether the local $h$-polynomials of type $A$ cluster subdivisions have only real zeros. We confirm this conjecture and prove that the local $h$-polynomials for all the Cartan–Killing types have only real roots. Our proofs use multiplier sequences and Chebyshev polynomials of the second kind.

In this paper, we focus on the multivariate Hausdorff operator of the form

$$\begin{eqnarray}\mathbf{H}_{\unicode[STIX]{x1D6F7}}(f)(x)=\int _{(0,+\infty )^{n}}{\displaystyle \frac{\unicode[STIX]{x1D6F7}\big(\frac{x_{1}}{t_{1}},\frac{x_{2}}{t_{2}},\ldots ,\frac{x_{n}}{t_{n}}\big)}{t_{1}t_{2}\cdots t_{n}}}f(t_{1},t_{2},\ldots ,t_{n})\,\mathbf{dt},\end{eqnarray}$$

$\mathbf{dt}=dt_{1}\,dt_{2}\cdots \,dt_{n}$

$\mathbf{dt}=d_{q}t_{1}\,d_{q}t_{2}\cdots d_{q}t_{n}$

$q$

$L^{p}$

$p\in \mathbb{R}\backslash \{0\}$

For bounded domains Ω, we prove that the Lp-norm of a regular function with compact support is controlled by weighted Lp-norms of its gradient, where the weight belongs to a class of symmetric non-negative definite matrix-valued functions. The class of weights is defined by regularity assumptions and structural conditions on the degeneracy set, where the determinant vanishes. In particular, the weight A is assumed to have rank at least 1 when restricted to the normal bundle of the degeneracy set S. This generalization of the classical Poincaré inequality is then applied to develop a robust theory of first-order Lp-based Sobolev spaces with matrix-valued weight A. The Poincaré inequality and these Sobolev spaces are then applied to produce various results on existence, uniqueness and qualitative properties of weak solutions to boundary-value problems for degenerate elliptic, degenerate parabolic and degenerate hyperbolic partial differential equations (PDEs) of second order written in divergence form, where A is calibrated to the matrix of coefficients of the second-order spatial derivatives. The notion of weak solution is variational: the spatial states belong to the matrix-weighted Sobolev spaces with p = 2. For the degenerate elliptic PDEs, the Dirichlet problem is treated by the use of the Poincaré inequality and Lax–Milgram theorem, while the treatment of the Cauchy–Dirichlet problem for the degenerate evolution equations relies only on the Poincaré inequality and the parabolic and hyperbolic counterparts of the Lax–Milgram theorem.

We prove Hardy-type inequalities for a fractional Dunkl–Hermite operator, which incidentally gives Hardy inequalities for the fractional harmonic oscillator as well. The idea is to use h-harmonic expansions to reduce the problem in the Dunkl–Hermite context to the Laguerre setting. Then, we push forward a technique based on a non-local ground representation, initially developed by Frank et al. [‘Hardy–Lieb–Thirring inequalities for fractional Schrödinger operators, J. Amer. Math. Soc. 21 (2008), 925–950’] in the Euclidean setting, to obtain a Hardy inequality for the fractional-type Laguerre operator. The above-mentioned method is shown to be adaptable to an abstract setting, whenever there is a ‘good’ spectral theorem and an integral representation for the fractional operators involved.

Let $s\in \mathbb{R}$ and $0<p\leqslant \infty$. The fractional Fock–Sobolev spaces $F_{\mathscr{R}}^{s,p}$ are introduced through the fractional radial derivatives $\mathscr{R}^{s/2}$. We describe explicitly the reproducing kernels for the fractional Fock–Sobolev spaces $F_{\mathscr{R}}^{s,2}$ and then get the pointwise size estimate of the reproducing kernels. By using the estimate, we prove that the fractional Fock–Sobolev spaces $F_{\mathscr{R}}^{s,p}$ are identified with the weighted Fock spaces $F_{s}^{p}$ that do not involve derivatives. So, the study on the Fock–Sobolev spaces is reduced to that on the weighted Fock spaces.

We study some Hardy-type inequalities involving a general norm in ℝn and an anisotropic distance function to the boundary. The case of the optimality of the constants is also addressed.

Set differential equations are usually formulated in terms of the Hukuhara differential. As a consequence, the theory of set differential equations is perceived as an independent subject, in which all results are proved within the framework of the Hukuhara calculus. We propose to reformulate set differential equations as ordinary differential equations in a Banach space by identifying the convex and compact subsets of ℝd with their support functions. Using this representation, standard existence and uniqueness theorems for ordinary differential equations can be applied to set differential equations. We provide a geometric interpretation of the main result, and demonstrate that our approach overcomes the heavy restrictions that the use of the Hukuhara differential implies for the nature of a solution.

Functions of bounded deformation (BD) arise naturally in the study of fracture and damage in a geometrically linear context. They are related to functions of bounded variation (BV), but are less well understood. We discuss here the relation to BV under additional regularity assumptions, which may require the regular part of the strain to have higher integrability or the jump set to have finite area or the Cantor part to vanish. On the positive side, we prove that BD functions that are piecewise affine on a Caccioppoli partition are in GSBV, and we prove that SBDp functions are approximately continuous -almost everywhere away from the jump set. On the negative side, we construct a function that is BD but not in BV and has distributional strain consisting only of a jump part, and one that has a distributional strain consisting of only a Cantor part.

We introduce a multi-species chemotaxis type system admitting an arbitrarily large number of population species, all of which are attracted versus repelled by a single chemical substance. The production versus destruction rates of the chemotactic substance by the species is described by a probability measure. For such a model, we investigate the variational structures, in particular, we prove the existence of Lyapunov functionals, we establish duality properties as well as a logarithmic Hardy–Littlewood–Sobolev type inequality for the associated free energy. The latter inequality provides the optimal critical value for the conserved total population mass.

We examine dynamical systems which are ‘nonchaotic’ on a big (in the sense of Lebesgue measure) set in each neighbourhood of a fixed point $x_{0}$ , that is, the entropy of this system is zero on a set for which $x_{0}$ is a density point. Considerations connected with this family of functions are linked with functions attracting positive entropy at $x_{0}$ , that is, each mapping sufficiently close to the function has positive entropy on each neighbourhood of $x_{0}$ .

We consider a scale invariant Cassinian metric and a Gromov hyperbolic metric. We discuss a distortion property of the scale invariant Cassinian metric under Möbius maps of a punctured ball onto another punctured ball. We obtain a modulus of continuity of the identity map from a domain equipped with the scale invariant Cassinian metric (or the Gromov hyperbolic metric) onto the same domain equipped with the Euclidean metric. Finally, we establish the quasi-invariance properties of both metrics under quasiconformal maps.

In this paper, we prove some new reverse dynamic inequalities of Renaud- and Bennett-type on time scales. The results are established using the time scales Fubini theorem, the reverse Hölder inequality and a time scales chain rule.

The fractional derivatives include nonlocal information and thus their calculation requires huge storage and computational cost for long time simulations. We present an efficient and high-order accurate numerical formula to speed up the evaluation of the Caputo fractional derivative based on the L2-1σ formula proposed in [A. Alikhanov, J. Comput. Phys., 280 (2015), pp. 424-438], and employing the sum-of-exponentials approximation to the kernel function appeared in the Caputo fractional derivative. Both theoretically and numerically, we prove that while applied to solving time fractional diffusion equations, our scheme not only has unconditional stability and high accuracy but also reduces the storage and computational cost.

We show that, in the two-dimensional case, every objective, isotropic and isochoric energy function that is rank-one convex on GL+(2) is already polyconvex on GL+(2). Thus, we answer in the negative Morrey's conjecture in the subclass of isochoric nonlinear energies, since polyconvexity implies quasi-convexity. Our methods are based on different representation formulae for objective and isotropic functions in general, as well as for isochoric functions in particular. We also state criteria for these convexity conditions in terms of the deviatoric part of the logarithmic strain tensor.

In this paper, we characterize Borel $\unicode[STIX]{x1D70E}$ -fields of the set of all fuzzy numbers endowed with different metrics. The main result is that the Borel $\unicode[STIX]{x1D70E}$ -fields with respect to all known separable metrics are identical. This Borel field is the Borel $\unicode[STIX]{x1D70E}$ -field making all level cut functions of fuzzy mappings from any measurable space to the fuzzy number space measurable with respect to the Hausdorff metric on the cut sets. The relation between the Borel $\unicode[STIX]{x1D70E}$ -field with respect to the supremum metric $d_{\infty }$ is also demonstrated. We prove that the Borel field is induced by a separable and complete metric. A global characterization of measurability of fuzzy-valued functions is given via the main result. Applications to fuzzy-valued integrals are given, and an approximation method is presented for integrals of fuzzy-valued functions. Finally, an example is given to illustrate the applications of these results in economics. This example shows that the results in this paper are basic to the theory of fuzzy-valued functions, such as the fuzzy version of Lebesgue-like integrals of fuzzy-valued functions, and are useful in applied fields.

We propose a hybrid spectral element method for fractional two-point boundary value problem (FBVPs) involving both Caputo and Riemann-Liouville (RL) fractional derivatives. We first formulate these FBVPs as a second kind Volterra integral equation (VIEs) with weakly singular kernel, following a similar procedure in [16]. We then design a hybrid spectral element method with generalized Jacobi functions and Legendre polynomials as basis functions. The use of generalized Jacobi functions allow us to deal with the usual singularity of solutions at t = 0. We establish the existence and uniqueness of the numerical solution, and derive a hptype error estimates under L 2(I)-norm for the transformed VIEs. Numerical results are provided to show the effectiveness of the proposed methods.

We consider stable and almost stable points of autonomous and nonautonomous discrete dynamical systems defined on the closed unit interval. Our considerations are associated with chaos theory by adding an additional assumption that an entropy of a function at a given point is infinite.