Search

We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic., 10 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.08267

This paper is concerned with optimal error estimates and recovery technique of a classical mixed finite element method for the thermistor problem, which is governed by a parabolic/elliptic system with strong nonlinearity and coupling. The method is based on a popular combination of the lowest-order Raviart–Thomas mixed approximation for the electric potential/field $(\phi , \boldsymbol{\theta })$ and the linear Lagrange approximation for the temperature $u$. A common question is how the first-order approximation influences the accuracy of the second-order approximation to the temperature in such a strongly coupled system, while previous work only showed the first-order accuracy $O(h)$ for all three components in a traditional way. In this paper, we prove that the method produces the optimal second-order accuracy $O(h^2)$ for $u$ in the spatial direction, although the accuracy for the potential/field is in the order of $O(h)$. And more importantly, we propose a simple one-step recovery technique to obtain a new numerical electric potential/field of second-order accuracy. The analysis presented in this paper relies on an $H^{-1}$-norm estimate of the mixed finite element methods and analysis on a nonclassical elliptic map. We provide numerical experiments in both two- and three-dimensional spaces to confirm our theoretical analyses.

Geometric methods are important for researching the differential properties of metric projectors, sensitivity analysis, and the augmented Lagrangian algorithm. Sun [3] researched the relationship among the strong second-order sufficient condition, constraint nondegeneracy, B-subdifferential nonsingularity of the KKT system, and the strong regularity of KKT points in investigating nonlinear semidefinite programming problems. Geometric properties of cones are necessary in studying second-order sufficient condition and constraint nondegeneracy. In this paper, we study the geometric properties of a class of nonsymmetric cones, which is widely applied in optimization problems subjected to the epigraph of vector k-norm functions and low-rank-matrix approximations. We compute the polar, the tangent cone, the linear space of the tangent cone, the critical cone, and the affine hull of this critical cone. This paper will support future research into the sensitivity and algorithms of related optimization problems.

In this paper, we first use the distribution of the number of records to demonstrate that the right tail probabilities of counts of rare events are generally better approximated by the right tail probabilities of Poisson distribution than {those} of normal distribution. We then show the moderate deviations in Poisson approximation generally require an adjustment and, with suitable adjustment, we establish better error estimates of the moderate deviations in Poisson approximation than those in \cite{CFS}. Our estimates contain no unspecified constants and are easy to apply. We illustrate the use of the theorems in six applications: Poisson-binomial distribution, matching problem, occupancy problem, birthday problem, random graphs and 2-runs. The paper complements the works of \cite{CC92,BCC95,CFS}., 29 pages and 5 figures

The work is devoted to the fundamental problem of studying the solvability of the initial-boundary value problem for a pseudo-parabolic equation (also called Sobolev type equations) with a fairly smooth boundary. In this paper, the initial-boundary value problem for a quasilinear equation of a pseudoparabolic type with a nonlinear Neumann–Dirichlet boundary condition is studied. From a physical point of view, the initial-boundary-value problem we are considering is a mathematical model of quasi-stationary processes in semiconductors and magnetics, taking into account the most diverse physical factors. Many approximate methods are suitable for finding eigenvalues and eigenfunctions of tasks boundary conditions of which are linear with respect to the function and its derivatives. Among these methods, Galerkin’s method leads to the simplest calculations. In the paper, by means of the Galerkin method the existence of a weak solution of a pseudoparabolic equation in a bounded domain is proved. The use of the Galerkin approximations allows us to get an estimate above the time of the solution existence. Using Sobolev ’s attachment theorem, a priori solution estimates are obtained. The local theorem of the existence of the solution has been proved. The uniqueness of the weak generalized solution of the initial-boundary value problem of quasi-linear equations of pseudoparabolic type is proved on the basis of a priori estimates.A special place in the theory of nonlinear equations is taken by the range of studies of unlimited solutions, or, as they are otherwise called, modes with exacerbation. Nonlinear evolutionary problems that allow unlimited solutions are globally intractable: solutions increase indefinitely over a finite period of time. Sufficient conditions have been obtained for the destruction of its solution over finite time in a limited area with a nonlinear Neumann–Dirichle boundary condition.

In the present paper, we obtain a Halanay inequality on time scales with unbounded coefficient for a dynamic problem, which extends a result of Wen et al. (J. Math. Anal. Appl., 347 (2008), 169–178.) to the inequality of integral type on time scales. Moreover, we list two dynamic problems to which the Halanay inequality obtained above can be applied and prove the zero solution of two delay dynamic problems are asymptotically stable. Moreover, it is worth mentioning that the Halanay inequality obtained in the present paper is more precise than the results in [3, 14, 17].

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for $R$ to satisfy trivial vanishing; we provide sharpened conditions when $R$ is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke., to appear in Trans. Amer. Math. Soc

In this paper we revisit the problem of performing a $QZ$ step with a so-called ‘perfect shift’, which is an ‘exact’ eigenvalue of a given regular pencil $\lambda B-A$ in unreduced Hessenberg triangular form. In exact arithmetic, the $QZ$ step moves that eigenvalue to the bottom of the pencil, while the rest of the pencil is maintained in Hessenberg triangular form, which then yields a deflation of the given eigenvalue. But in finite precision the $QZ$ step gets ‘blurred’ and precludes the deflation of the given eigenvalue. In this paper we show that when we first compute the corresponding eigenvector to sufficient accuracy, then the $QZ$ step can be constructed using this eigenvector, so that the deflation is also obtained in finite precision. An important application of this technique is the computation of the index of a system of differential algebraic equations, since an exact deflation of the infinite eigenvalues is needed to impose correctly the algebraic constraints of such differential equations.

In this paper, we study the existence and multiplicity of solutions for a class of equations involving a nonlocal term and the biharmonic operator with critical exponent. By new techniques, multiplicity results are established together with variational method. It is worth noting that the method of this paper is obviously different from the existing literature.

This paper proposes a new class of difference methods with intrinsic parallelism for solving the Burgers–Fisher equation. A new class of parallel difference schemes of pure alternating segment explicit-implicit (PASE-I) and pure alternating segment implicit-explicit (PASI-E) are constructed by taking simple classical explicit and implicit schemes, combined with the alternating segment technique. The existence, uniqueness, linear absolute stability, and convergence for the solutions of PASE-I and PASI-E schemes are well illustrated. Both theoretical analysis and numerical experiments show that PASE-I and PASI-E schemes are linearly absolute stable, with 2-order time accuracy and 2-order spatial accuracy. Compared with the implicit scheme and the Crank–Nicolson (C-N) scheme, the computational efficiency of the PASE-I (PASI-E) scheme is greatly improved. The PASE-I and PASI-E schemes have obvious parallel computing properties, which show that the difference methods with intrinsic parallelism in this paper are feasible to solve the Burgers–Fisher equation.

In 1980, Onishchik introduced the index of a Riemannian symmetric space as the minimal codimension of a (proper) totally geodesic submanifold. He calculated the index for symmetric spaces of rank less than or equal to 2, but for higher rank it was unclear how to tackle the problem. In earlier papers we developed several approaches to this problem, which allowed us to calculate the index for many symmetric spaces. Our systematic approach led to a conjecture for how to calculate the index. The purpose of this paper is to verify the conjecture., 33 pages; Table 1 corrected; to appear in Journal fuer die Reine und Angewandte Mathematik

In their remarkable paper, Fazli et al. (Int J Comput Math, 2019. https://doi.org/10.1080/00207160.2019.1658870 ) have recently established existence results for fractional Basset–Boussinesq–Oseen equation in an appropriate partially ordered Banach space. In this paper, we improve this study by proposing different approach that provides existence criterion for the addressed equation. The main assumptions are less restrictive and easily verifiable. Examples with graphical representations are constructed to demonstrate consistency to theoretical findings. Besides, we construct an iterative sequence that converges to the unique solution. We end the paper by a conclusion that demonstrates the advantage of our theorem compared to the previous results.

Let H2(ⅅ2) be the Hardy space over the bidisk ⅅ2, and let Mψ,ϕ = [(ψ(z) − ϕ(w))2] be the submodule generated by (ψ(z) − ϕ(w))2, where ψ(z) and ϕ(w) are nonconstant inner functions. The related quotient module is denoted by Nψ,ϕ = H2(ⅅ2) ⊖ Mψ,ϕ. In this paper, we give a complete characterization for the essential normality of Nψ,ϕ. In particular, if ψ(z)= z, we simply write Mψ,ϕ and Nψ,ϕ as Mϕ and Nϕ respectively. This paper also studies compactness of evaluation operators L(0)∣nϕ and R(0)ϕnϕ, essential spectrum of compression operator Sz on Nϕ, essential normality of compression operators Sz and Sw on Nϕ.

It is well known that when the geometry and/or coefficients allow stable trapped rays, the solution operator of the Helmholtz equation (a.k.a. the resolvent of the Laplacian) grows exponentially through a sequence of real frequencies tending to infinity. In this paper we show that, even in the presence of the strongest-possible trapping, if a set of frequencies of arbitrarily small measure is excluded, the Helmholtz solution operator grows at most polynomially as the frequency tends to infinity. One significant application of this result is in the convergence analysis of several numerical methods for solving the Helmholtz equation at high frequency that are based on a polynomial-growth assumption on the solution operator (e.g. $hp$-finite elements, $hp$-boundary elements, certain multiscale methods). The result of this paper shows that this assumption holds, even in the presence of the strongest-possible trapping, for most frequencies.

In this paper, the generalized Holder’s class and extended Legendre wavelet are studied. The wavelet approximations of a function whose first and second derivatives belonging to generalized Holder’s class by extended Legendre wavelets have been determined. Two corollaries have been obtained by the main theorems of this paper. Linear and non-linear differential equations have been solved by extended Legendre wavelet methods.

We propose and analyse numerical algorithms based on weighted least squares for the approximation of a real-valued function on a general bounded domain $\Omega \subset \mathbb{R}^d$. Given any $n$-dimensional approximation space $V_n \subset L^2(\Omega)$, the analysis in [6] shows the existence of stable and optimally converging weighted least-squares estimators, using a number of function evaluations $m$ of the order $n \log n$. When an $L^2(\Omega)$-orthonormal basis of $V_n$ is available in analytic form, such estimators can be constructed using the algorithms described in [6,Section 5]. If the basis also has product form, then these algorithms have computational complexity linear in $d$ and $m$. In this paper we show that, when $\Omega$ is an irregular domain such that the analytic form of an $L^2(\Omega)$-orthonormal basis is not available, stable and quasi-optimally weighted least-squares estimators can still be constructed from $V_n$, again with $m$ of the order $n \log n$, but using a suitable surrogate basis of $V_n$ orthonormal in a discrete sense. The computational cost for the calculation of the surrogate basis depends on the Christoffel function of $\Omega$ and $V_n$. Numerical results validating our analysis are presented., Comment: Version of the paper accepted for publication

In this paper, by using the partial order method, the existence and uniqueness of a solution for systems of a class of abstract operator equations in Banach spaces are discussed. The result obtained in this paper improves and unifies many recent results. Two applications to the system of nonlinear differential equations and the systems of nonlinear differential equations in Banach spaces are given, and the unique solution and interactive sequences which converge the unique solution and the error estimation are obtained.

In a series of papers published since 2017 the author introduced a simple alternative of the $n$-simplex type, to enhance the accuracy of approximations of second-order boundary value problems subject to Dirichlet boundary conditions, posed on smooth curved domains. This technique is based upon trial functions consisting of piecewise polynomials defined on straight-edged triangular or tetrahedral meshes, interpolating the Dirichlet boundary conditions at points of the true boundary. In contrast, the test functions are defined by the standard degrees of freedom associated with the underlying method for polytopic domains. While the mathematical analysis of the method for Lagrange and Hermite methods for two-dimensional second- and fourth-order problems was carried out in earlier paper by the author this paper is devoted to the study of the three-dimensional case. Well-posedness, uniform stability and optimal a priori error estimates in the energy norm are proved for a tetrahedron-based Lagrange family of finite elements. Novel error estimates in the $L^2$-norm, for the class of problems considered in this work, are also proved. A series of numerical examples illustrates the potential of the new technique. In particular, its superior accuracy at equivalent cost, as compared to the isoparametric technique, is highlighted.

We correct a mistake that appeared in the first section of the original article, which appeared in Tran. Amer. Math. Soc. 370 (2018), 99–130. Namely, Corollary 1.16 was false as stated and was subsequently used in later proofs in the paper. In this note it is argued that all the relevant statements after Corollary 1.16 can be saved with at most minor modifications. In particular, all the main results of the original paper remain valid as stated, but some intermediate claims are slightly modified or proved more directly without Corollary 1.16.

Using the hyper-exponential recurrence criterion, a large deviation principle for the occupation measure is derived for a class of non-linear monotone stochastic partial differential equations. The main results are applied to many concrete SPDEs such as stochastic $p$-Laplace equation, stochastic porous medium equation, stochastic fast-diffusion equation, and even stochastic real Ginzburg-Landau equation driven by $\alpha$-stable noises., Comment: This paper generalizes the idea in our NOT published paper arXiv:1510.03522. There is a substantial overlap with arXiv:1510.03522

A very short proof of an unpublished result due to O. Gabber is given. More exactly, let R be a regular local ring containing a finite field k. Let G be a simply-connected reductive group scheme over k. It is proved that a principal G-bundle over R is trivial if it is trivial over the fraction field of R. This is the mentioned unpublished result due to O. Gabber. In this paper, this result is derived from a purely geometric one, proved in another paper of the author and stated in the Introduction.

In a joint paper of the author with Alexei Stepanov, it was established that for any two comaximal ideals A and B of a commutative ring R, A + B = R, and any n ≥ 3 one has [E(n,R,A),E(n,R,B)] = E(n,R,AB). Alec Mason and Wilson Stothers constructed counterexamples demonstrating that the above equality may fail when A and B are not comaximal, even for such nice rings as ℤ [i]. The present note proves a rather striking result that the above equality and, consequently, also the stronger equality [GL(n,R,A), GL(n,R,B)] = E(n,R,AB) hold whenever R is a Dedekind ring of arithmetic type with infinite multiplicative group. The proof is based on elementary calculations in the spirit of the previous papers by Wilberd van der Kallen, Roozbeh Hazrat, Zuhong Zhang, Alexei Stepanov, and the author, and also on an explicit computation of the multirelative SK1 from the author’s paper of 1982, which, in its turn, relied on very deep arithmetical results by Jean-Pierre Serre and Leonid Vaserstein (as corrected by Armin Leutbecher and Bernhard Liehl). Bibliography: 50 titles.

The classical Morse–Sard theorem claims that for a mapping v : R n → R m + 1 of class C k the measure of critical values v ( Z v , m ) is zero under condition k ≥ n − m . Here the critical set, or m-critical set is defined as Z v , m = { x ∈ R n : rank ∇ v ( x ) ≤ m } . Further Dubovitskiĭ in 1957 and independently Federer and Dubovitskiĭ in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R n → R d belongs to the Holder class C k , α , 0 ≤ α ≤ 1 , then for every q > m the identity H μ ( Z v , m ∩ v − 1 ( y ) ) = 0 holds for H q -almost all y ∈ R d , where μ = n − m − ( k + α ) ( q − m ) . Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C k -case (when α = 0 ); similar result is established for the Sobolev classes of mappings W p k ( R n , R d ) with minimal integrability assumptions p = max ⁡ ( 1 , n / k ) , i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools).

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778

A regular system is a Delone set in Euclidean space with a transitive group of symmetries or, in other words, the orbit of a crystallographic group. The local theory for regular systems, created by the geometric school of B. N. Delone, was aimed, in particular, to rigorously establish the “local-global-order” link, i.e., the link between the arrangement of a set around each of its points and symmetry/regularity of the set as a whole. The main result of this paper is a proof of the so-called 10R-theorem. This theorem asserts that identity of neighborhoods within a radius 10R of all points of a Delone set (in other words, an (r, R)-system) in 3D Euclidean space implies regularity of this set. The result was obtained and announced long ago independently by M. Shtogrin and the author of this paper. However, a detailed proof remains unpublished for many years. In this paper, we give a proof of the 10R-theorem. In the proof, we use some recent results of the author, which simplify the proof.

The aim of this (mostly expository) article is to show a connection between the finiteness conditions arising in twisted K-theory. There are two different conditions arising naturally in two main approaches to the problem of computing the index of the appropriate family of elliptic operators (the approach of Nistor and Troitsky and the approach of Mathai, Melrose, and Singer). These conditions are formulated absolutely differently, but in some sense they should be close to each other. In this paper, we find this connection and prove the corresponding formal statement. Thereby it is shown that these conditions map to each other. This opens a possibility to synthesize these approaches. It is also shown that the finiteness condition arising in the paper of Nistor and Troitsky is a special case of the finiteness condition that appears in the paper of Emerson and Meyer, where the theorem of Nistor and Troitsky is proved not only for the case of a bundle of Lie groups, but also for the case of a general groupoid.

Linearized model of the system is often used in control design. It is generally believed that we can obtain the linearized model as long as the Taylor expansion method is used for the nonlinear model. This paper points out that the Taylor expansion method is only applicable to the linearization of the original nonlinear function. If the Taylor expansion is used for the derived nonlinear equation, wrong results are often obtained. Taking the linearization model of the maglev system as an example, it is shown that the linearization should be carried out with the process of equation derivation. The model is verified by nonlinear system simulation in Simulink. The method in this paper is helpful to write the linearized equation of the control system correctly.

In this paper, we study so-called general compound and regime-switching general compound Hawkes processes to model the price processes in the limit order books. We prove Law of Large Numbers (LLNs) and Functional Central Limit Theorems (FCLTs), the main results of the present paper, for both cases, non-regime-switching (Lemma 1 and Theorem 1) and regime-switching (Lemma 2 and Theorem 2) cases. The latter two FCLTs are applied to limit order books, where we use these asymptotic methods to study the link between price volatility and order flow in our two models by investigating the diffusion limits of these price processes. The volatilities of price changes are expressed in terms of parameters describing the arrival rates and price changes. Numerical examples are presented for LOBster and Cisco data.

The paper concerns with properties of approximate Benson and Henig proper efficient solutions of vector equilibrium problems. Relationships between both kinds of solutions and the approximate weak efficient solutions of the problem are stated. Roughly speaking, it is proved that they coincide provided that the ordering cone of the problem can be separated from another closed cone by an approximating sequence of dilating cones. As a result, the limit behavior of approximate Benson and Henig proper efficient solutions when the error tends to zero is studied. It is shown that efficient and proper efficient solutions of the problem can be obtained as the limit of approximate Benson and Henig proper efficient solutions whenever a suitable domination set is considered. Finally, optimality conditions for approximate Benson and Henig proper efficient solutions are derived by approximate solutions of scalar equilibrium problems. They are formulated via linear scalarization and the necessary conditions hold true in problems satisfying a kind of nearly subconvexlikeness condition. The main results of the paper generalize some recent ones because they involve weaker assumptions.

An adaptive high-order difference solution about a 2D nonlinear degenerate singular reaction-diffusion equation with a convection term is initially proposed in the paper. After the first and the second central difference operator approximating the first-order and the second-order spatial derivative, respectively, the higher-order spatial derivatives are discretized by applying the Taylor series rule and the temporal derivative is discretized by using the Crank–Nicolson (CN) difference scheme. An alternating direction implicit (ADI) scheme with a nonuniform grid is built in this way. Meanwhile, accuracy analysis declares the second order in time and the fourth order in space under certain conditions. Sequentially, the high-order scheme is performed on an adaptive mesh to demonstrate quenching behaviors of the singular parabolic equation and analyse the influence of combustion chamber size on quenching. The paper displays rationally that the proposed scheme is practicable for solving the 2D quenching-type problem.

The paper considers a nonlinear integro-differential system of singularly perturbed equations. We discuss the question of the spectrum of its operator, which does not coincide with the spectrum of its limit operator and includes an additionally identically zero point. In the case of linear systems, this difference does not play a special role, since the regularization and construction of the space of solutions of the corresponding iterative problems are realized at nonzero points of the spectrum. In the case of nonlinear problems, the identically zero point of the spectrum plays an essential role in the construction of the solution space in the resonance and nonresonance cases (see below); therefore, in most works using the regularization method in nonlinear problems, only the nonresonance case is usually considered. In the paper, for the classical integrodifferential system, regularization (according to Lomov) is carried out and the corresponding algorithm for constructing asymptotic solutions taking into account the zero point of the spectrum is developed.

In the classical theory of solid mechanics, the behavior of solids is described by partial differential equations (PDE) through Newton’s second law of motion. However, when spontaneous cracks and fractures exist, such PDE models are inadequate to characterize the discontinuities of physical quantities such as the displacement field. Recently, a peridynamic continuum model was proposed which only involves the integration over the differences of the displacement field. A linearized peridynamic model can be described by the integro-differential equation with initial values. In this paper, we study the well-posedness and regularity of a linearized peridynamic model with singular kernel. The novelty of the paper is that the singular kernel is represented as the Laplacian of a regular function. This let to convert the model to an operator valued Volterra integral equation. Then the existence and regularity of the solution of the peridynamics problem are established through the study of the Volterra integral equation.

An open problem proposed by Rhoades is the following. Is there a contractive condition which guarantees the existence of a fixed point, but does not require the mapping to be continuous at the point? In this paper, we generalize a celebrated result of Eshaghi et al., [On orthogonal sets and Banach fixed point theorem, Fixed Point Theory, 18 (2017), 569–578], which allows us to find a new solution to this open problem. Furthermore we show that a claim of the aforementioned paper, that Banach’s fixed point theorem cannot be applied in their application, is incorrect. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresponding functional equation.

In this paper, we suggest a new type of tasks for control theory for stochastic dynamical systems — programmed control with Probability 1 (PCP1). PCP1 is an application of an invariant theory. We use the PCP1 concept for dynamical processes described by a system of Ito differential equations with jump-diffusion (GSDES). The considered equations include the drift, the diffusion, and the jumps, together or not. Features of our approach are both a wide set of dynamical systems and investigation of such systems for their unique trajectories. Our method is based on the concept of a stochastic first integral (SFI) for GSDES and its equations which author studied before. The purpose of the present paper is to construct a differential equation system (both stochastic and deterministic) using a known set of FIs for the investigating process. Several examples are given.

This paper is focused on research into options pricing models. The most popular ones are variancegamma and Heston models. They are powerful and flexible to some extent, but they also have drawbacks. Among their shortcomings are instability and long-time calibration. The model proposed in the paper combines neural network (autoencoder) and relatively simple option pricing (mixture normal) model. The autoencoder gives flexibility to the model and reduces the number of parameters. The mixture normal model gives a certain logic to neural network and minimizes calibration time of the new model. So the resulting model eliminates drawbacks of variance-gamma and Heston models and also keeps their advantages. It has fast calibration and shows good enough precision on S&P futures options market.

This paper deals with abstract quasi-variational-like problems, which cover vector quasi-variational problems with set-valued mappings, for instance. The main objective of this paper is to study existence results for generalized solutions of quasi-variational-like problems extending the approach by Jadamba, Khan and Sama, see (Optim. Lett. 6, 1221–1231, 2012). It is well-known that a quasi-variational-like problem can conveniently be formulated as a set-valued fixed-point problem by using the so-called variational selection. Since the values of the corresponding set-valued mapping are non-convex in general and since the existing fixed-point theorems for non-convex mappings require very stringent conditions on the data of the problem, a few existence results have been obtained in the case where the underlying constraining set is bounded or even compact. In this paper, we focus on the relationship between solutions of a quasi-variational-like problem and generalized solutions of an optimization problem minimizing the difference between inputs and outputs of the variational selection. Doing so, we can solve the latter problem by the well-known Weierstras theorem with much less restrictive assumptions imposed on the given data. This approach allows to consider problems where the variational selection is non-convex and/or the underlying constraining set is unbounded.

Nonlinear elastic models are widely used to describe the elastic response of crystalline solids, for example, the well-known Cauchy–Born model. While the Cauchy–Born model only depends on the strain, effects of higher-order strain gradients are significant and higher-order continuum models are preferred in various applications such as defect dynamics and modeling of carbon nanotubes. In this paper we rigorously derive a higher-order nonlinear elasticity model for crystals from its atomistic description in one dimension. We show that, compared to the second-order accuracy of the Cauchy–Born model, the higher-order continuum model in this paper is of fourth-order accuracy with respect to the interatomic spacing in the thermal dynamic limit. In addition we discuss the key issues for the derivation of higher-order continuum models in more general cases. The theoretical convergence results are demonstrated by numerical experiments.

In this paper we analyze a class of trace finite element methods for the discretization of vector-Laplace equations. A key issue in the finite element discretization of such problems is the treatment of the constraint that the unknown vector field must be tangential to the surface (‘tangent condition’). We study three different natural techniques for treating the tangent condition, namely a consistent penalty method, a simpler inconsistent penalty method and a Lagrange multiplier method. The main goal of the paper is to present an analysis that reveals important properties of these three different techniques for treating the tangent constraint. A detailed error analysis is presented that takes the approximation of both the geometry of the surface and the solution of the partial differential equation into account. Error bounds in the energy norm are derived that show how the discretization error depends on relevant parameters such as the degree of the polynomials used for the approximation of the solution, the degree of the polynomials used for the approximation of the level set function that characterizes the surface, the penalty parameter and the degree of the polynomials used for the approximation of the Lagrange multiplier.

This paper is devoted to the Lp (p > 1) solutions of one-dimensional backward stochastic differential equations (BSDEs for short) with general time intervals and generators satisfying some non-uniform conditions in t and ω. An existence and uniqueness result, a comparison theorem and an existence result for the minimal solutions are respectively obtained, which considerably improve some known works. Some classical techniques used to deal with the existence and uniqueness of Lp (p > 1) solutions of BSDEs with Lipschitz or linear-growth generators are also developed in this paper.

The Morley finite element method (FEM) is attractive for semilinear problems with the biharmonic operator as a leading term in the stream function vorticity formulation of two-dimensional Navier–Stokes problem and in the von Kármán equations. This paper establishes a best-approximation a priori error analysis and an a posteriori error analysis of discrete solutions close to an arbitrary regular solution on the continuous level to semilinear problems with a trilinear nonlinearity. The analysis avoids any smallness assumptions on the data, and so has to provide discrete stability by a perturbation analysis before the Newton–Kantorovich theorem can provide the existence of discrete solutions. An abstract framework for the stability analysis in terms of discrete operators from the medius analysis leads to new results on the nonconforming Crouzeix–Raviart FEM for second-order linear nonselfadjoint and indefinite elliptic problems with $L^\infty $ coefficients. The paper identifies six parameters and sufficient conditions for the local a priori and a posteriori error control of conforming and nonconforming discretizations of a class of semilinear elliptic problems first in an abstract framework and then in the two semilinear applications. This leads to new best-approximation error estimates and to a posteriori error estimates in terms of explicit residual-based error control for the conforming and Morley FEM.

Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $\Delta$ times ($\Delta$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$., Comment: 24 pages

Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.

In this paper, using Riemann-Liouville integral and Caputo derivative, we study a nonlinear singular integro-differential equation of Lane-Emden type with nonlocal multi-point integral conditions. We prove the existence and uniqueness of solutions by application of Banach contraction principle. Also, we prove an existence result using Schaefer fixed point theorem. Then, we present some examples to show the applicability of the main results. DGRSDT, Direction Generale de la Recherche Scientifique et du Developpement Technologique, Algeria The authors express a special thanks to the associate editor and referees for their motivated comments that made the original manuscript significant and improved. This paper is supported by DGRSDT, Direction Generale de la Recherche Scientifique et du Developpement Technologique, Algeria. WOS:000526582000001 2-s2.0-85084038419

In this paper, the structure of relative disposition of 3-vertex cutsets in a 3-connected graph is studied. All such cutsets are divided into structural units – complexes of flowers, of cuts, of single cutsets, and trivial complexes. The decomposition of the graph by a complex of each type is described in detail. It is proved that for any two complexes C1 and C2 of a 3-connected graph G there is a unique part of the decomposition of G by C1 that contains C2. The relative disposition of complexes is described with the help of a hypertree T (G) – a hypergraph any cycle of which is a subset of a certain hyperedge. It is also proved that each nonempty part of the decomposition of G by the set of all of its 3-vertex cutsets is either a part of the decomposition of G by one of the complexes or corresponds to a hyperedge of T (G). This paper can be considered as a continuation of studies begun in the joint paper by D. V. Karpov and A. V. Pastor “On the structure of a 3-connected graph,” published in 2011. Bibliography: 10 titles.

This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation., Comment: 23 pages. Section 5.4 corrected

We are concerned with the study of the Lane-Emden equation with variable exponent and Dirichlet boundary condition. The feature of this paper is that the analysis that we develop does not assume any subcritical hypotheses and the reaction can fulfill a mixed regime (subcritical, critical and supercritical). We consider the radial and the nonradial cases, as well as a singular setting. The proofs combine variational and analytic methods with a version of the Palais principle of symmetric criticality., The final version this paper will be published in Proc. AMS

Insolvency risk measures play important role in the theory and practice of risk management. In this paper, we provide a numerical procedure to compute vectors of their exact values and prove for them new upper and/or lower bounds which are shown to be attainable. More precisely, we investigate a general insolvency risk measure for a regime-switching Sparre Andersen model in which the distributions of claims and/or wait times are driven by a Markov chain. The measure is defined as an arbitrary increasing function of the conditional expected harm of the deficit at ruin, given the initial state of the Markov chain. A vector-valued operator L, generated by the regime-switching process, is introduced and investigated. We show a close connection between the iterations of L and the risk measure in a finite horizon. The approach assumed in the paper enables to treat in a unified way several discrete and continuous time risk models as well as a variety of important vector-valued insolvency risk measures.

International audience; In this paper, we consider a semi-linear fourth order parabolic equation in a bounded smooth domain Ω with homogeneous Dirichlet and Neumann boundary conditions. The main result of this paper is the null controllability and the exact controllability to the trajectories at any time T > 0 for the associated control system with a control function acting at the interior.; Dans ce papier, on considère uneéquation parabolique semi-linéaire de quatrième ordre dans un domaine borné régulier Ω avec des conditions aux limites de type Dirichlet et Neumann homogènes. Le résultat principal de ce papier concerne la contrôlabilitéà zéro et la contrôlabilité exacte pour tout T > 0 du système de contrôle associé avec un contrôle agissantà l'interieur.

The present paper is a continuation of our research that was devoted to the theory of the boundary behavior of mappings in the Sobolev classes (mappings with generalized derivatives) on Riemann surfaces. Here we develop the theory of the boundary behavior of the mappings in the class of FLD (mappings with finite length distortion) first introduced for the Euclidean spaces in the article of Martio-Ryazanov-Srebro-Yakubov at 2004 and then included in the known book of these authors at 2009 on the modern mapping theory. As was shown in the recent papers of Kovtonyuk-Petkov-Ryazanov at 2017, such mappings, generally speaking, are not mappings in the Sobolev classes, because their first partial derivatives can be not locally integrable. At the same time, this class is a natural generalization of the well-known significant classes of isometries and quasiisometries. We prove here a series of criteria in terms of dilatations for the continuous and homeomorphic extensions to the boundary of the mappings with finite length distortion between domains on Riemann surfaces by Caratheodory prime ends. The criterion for the continuous extension of the inverse mapping to the boundary is turned out to be the very simple condition on the integrability of the dilatations in the first power. The criteria for the continuous extension of the direct mappings to the boundary have a much more refined nature. One of such criteria is the existence of a majorant for the dilatation in the class of functions with finite mean oscillation, i.e., having a finite mean deviation from its mean value over infinitesimal disks centered at boundary points. As consequences, the corresponding criteria for a homeomorphic extension of mappings with finite length distortion to the closures of domains by Caratheodory prime ends are obtained.

This paper gives an explicit formula of the asymptotic expansion of the Kobayashi–Royden metric on the punctured sphere ℂ ⁢ ℙ 1 ∖ { 0 , 1 , ∞ } {\mathbb{CP}^{1}\setminus\{0,1,\infty\}} in terms of the exponential Bell polynomials. We prove a local quantitative version of the Little Picard’s Theorem as an application of the asymptotic expansion. Furthermore, the approach in the paper leads to the interesting consequence that the coefficients in the asymptotic expansion are rational numbers. Furthermore, the explicit formula of the metric and the conclusion regarding the coefficients apply to more general cases of ℂ ⁢ ℙ 1 ∖ { a 1 , … , a n } {\mathbb{CP}^{1}\setminus\{a_{1},\ldots,a_{n}\}} , n ≥ 3 {n\geq 3} , as well, and the metric on ℂ ⁢ ℙ 1 ∖ { 0 , 1 3 , - 1 6 ± 3 6 ⁢ i } {\mathbb{CP}^{1}\setminus\{0,\frac{1}{3},-\frac{1}{6}\pm\frac{\sqrt{3}}{6}i\}} will be given as a concrete example of our results.