Search

We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system with Hessian driven damping and a Tikhonov regularization term in connection with the minimization of a smooth convex function in Hilbert spaces. We obtain fast convergence results for the function values along the trajectories. The Tikhonov regularization term enables the derivation of strong convergence results of the trajectory to the minimizer of the objective function of minimum norm.

We propose a complete-search algorithm for solving a class of non-convex, possibly infinite-dimensional, optimization problems to global optimality. We assume that the optimization variables are in a bounded subset of a Hilbert space, and we determine worst-case run-time bounds for the algorithm under certain regularity conditions of the cost functional and the constraint set. Because these run-time bounds are independent of the number of optimization variables and, in particular, are valid for optimization problems with infinitely many optimization variables, we prove that the algorithm converges to an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon $$\end{document}ε-suboptimal global solution within finite run-time for any given termination tolerance \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon > 0$$\end{document}ε>0. Finally, we illustrate these results for a problem of calculus of variations.

In this paper, we establish the global existence and uniqueness of the solution of the Cauchy problem of a one-dimensional compressible isentropic Euler system for a Chaplygin gas with large initial data in the space L loc 1 . The hypotheses on the initial data may be the least requirement to ensure the existence of a weak solution in the Lebesgue measurable sense. The novelty and also the essence of the difficulty of the problem lie in the fact that we have neither the requirement on the local boundedness of the density nor that which is bounded away from vacuum. We develop the previous results on this degenerate system. The method used is Lagrangian representation, the essence of which is characteristic analysis. The key point is to prove the existence of the Lagrangian representation and the absolute continuity of the potentials constructed with respect to the space and the time variables. We achieve this by finding a property of the fundamental theorem of calculus for Lebesgue integration, which is a sufficient and necessary condition for judging whether a monotone continuous function is absolutely continuous. The assumptions on the initial data in this paper are believed to also be necessary for ruling out the formation of Dirac singularity of density. The ideas and techniques developed here may be useful for other nonlinear problems involving similar difficulties.

In order to construct global solutions to two-dimensional (2D for short) Riemann problems for nonlinear hyperbolic systems of conservation laws, it is important to study various types of wave interactions. This paper deals with two types of wave interactions for a 2D nonlinear wave system with a nonconvex equation of state: Rarefaction wave interaction and shock-rarefaction composite wave interaction. In order to construct solutions to these wave interactions, the authors consider two types of Goursat problems, including standard Goursat problem and discontinuous Goursat problem, for a 2D self-similar nonlinear wave system. Global classical solutions to these Goursat problems are obtained by the method of characteristics. The solutions constructed in the paper may be used as building blocks of solutions of 2D Riemann problems.

In this paper, we prove the weak convergence of a modified extragradient algorithm for solving a variational inequality problem involving a pseudomonotone operator in an infinite dimensional Hilbert space. Moreover, we establish further the R-linear rate of the convergence of the proposed algorithm with the assumption of error bound. Several numerical experiments are performed to illustrate the convergence behaviour of the new algorithm in comparisons with others. The results obtained in the paper have extended some recent results in the literature.

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ϕ.

In this paper, we study questions related to the theory of stochastic processes on Lie nilpotent groups. In particular, we consider the stochastic process on the Heisenberg group H3(ℝ) whose trajectories satisfy the horizontal conditions in the stochastic sense relative to the standard contact structure on H3 (ℝ). It is shown that this process is a homogeneous Markov process relative to the Heisenberg group operation. There was found a representation in the form of a Wiener integral for a one-parameter linear semigroup of operators for which the Heisenberg sublaplacian generated by basis vector fields of the corresponding Lie algebra L(H3) is producing. The main method of solving the problem in this paper is using the path integrals technique, which indicates the common direction of further development of the results.

This paper is concerned with one-dimensional derivative quintic nonlinear Schrodinger equation, $${\rm{i}}u_t-u_{xx}+{\rm{i}}(|u|^4u)_x=0, \;\; x\in\mathbb{T}.$$ The existence of a large amount of quasi-periodic solutions with two frequencies for this equation is established. The proof is based on partial Birkhoff normal form technique and an unbounded KAM theorem. We mention that in the present paper the mean value of u does not need to be zero, but small enough, which is different from the assumption (1.7) in Geng-Wu [J. Math. Phys., 53, 102702 (2012)].

In this paper, we have pointed out that the proof of Theorem 11 in the recent paper (Lafhim in Positivity, 2019. https://doi.org/10.1007/s11117-019-00685-1 ) is erroneous. Using techniques from variational analysis, we propose other proofs to detect necessary optimality conditions in terms of Karush–Kuhn–Tucker multipliers. Our main results are given in terms of the limiting subdifferentials and the limiting normal cones. Completely detailed first order necessary optimality conditions are then given in the smooth setting while using the generalized differentiation calculus of Mordukhovich.

In this paper, we obtain the existence of positive solution for a system of quasilinear Schrodinger equations with concave nonlinearities which is related to several applications in Hydrodynamics, Heidelberg Ferromagnetism and Magnus Theory, Condensed Matter Theory, Dissipative Quantum Mechanics and nanotubes and fullerene-related structures. The quasilinear Schrodinger problem is studied by considering a suitable change of variables which transforms the original problem in to a semilinear one. By means of the several properties of the change of variables, constructions of suitable sub-supersolutions, monotonic iteration arguments and the Galerkin method, we obtain the existence of solution for the semilinear problem. The paper is divided in two parts. In the first one, we use the method of sub-supersolutions to obtain a solution for the problem. In the second part, we use the Galerkin method and a comparison argument to obtain a solution for the system considered. An important feature is that the sub-supersolution approach is rare in the literature for the type of problem considered here and the Galerkin method was not used to consider quasilinear Schrodinger equations.

The paper is devoted to one open extremal problem in the geometric function theory of complex variables associated with estimates of a functional defined on the systems of non-overlapping domains. We consider the problem of the maximum of a product of inner radii of n non-overlapping domains containing points of a unit circle and the power γ of the inner radius of a domain containing the origin. The problem was formulated in 1994 in Dubinin’s paper in the journal “Russian Mathematical Surveys” in the list of unsolved problems and then repeated in his monograph in 2014. Currently, it is not solved in general. In this paper, we obtained a solution of the problem for five simply connected domains and power γ ∈ (1; 2:57] and generalized this result to the case of multidimensional complex space.

The present paper offers a new approach to the construction of the coordinate asymptotics of the kernel of the resolvent of the Schrodinger operator in the scattering problem of three onedimensional quantum particles with short-range pair potentials. Within the framework of this approach, the asymptotics of eigenfunctions of the absolutely continuous spectrum of the Schrodinger operator can be constructed. In the paper, the possibility of a generalization of the suggested approach to the case of the scattering problem of N particles with arbitrary masses is discussed.

This paper mainly focuses on the strong convergence of the Euler-Maruyama method for nonlinear stochastic convolution Ito-Volterra integral equations with constant delay. It is well known that the strong approximation of the Ito integral usually leads to 0.5-order approximation for stochastic problems. However, in this paper, we will show that 1-order strong superconvergence can be obtained for nonlinear stochastic convolution Ito-Volterra integral equations with constant delay under some mild conditions on the kernel of the diffusion term. Finally, some numerical experiments are given to illustrate our theoretical results.

In the paper, we consider a nonlinear integrodifferential equation of the third order with delay. We establish sufficient conditions guaranteeing the global existence and boundedness of the solutions of the analyzed equation. We use the Lyapunov second method to prove the main result. An example is also given to illustrate the applicability of our result. The result of this paper is new and improves previously known results.

The variance-gamma (VG) distributions form a four-parameter family that includes as special and limiting cases the normal, gamma and Laplace distributions. Some of the numerous applications include financial modelling and approximation on Wiener space. Recently, Stein’s method has been extended to the VG distribution. However, technical difficulties have meant that bounds for distributional approximations have only been given for smooth test functions (typically requiring at least two derivatives for the test function). In this paper, which deals with symmetric variance-gamma (SVG) distributions, and a companion paper (Gaunt 2018), which deals with the whole family of VG distributions, we address this issue. In this paper, we obtain new bounds for the derivatives of the solution of the SVG Stein equation, which allow for approximations to be made in the Kolmogorov and Wasserstein metrics, and also introduce a distributional transformation that is natural in the context of SVG approximation. We apply this theory to obtain Wasserstein or Kolmogorov error bounds for SVG approximation in four settings: comparison of VG and SVG distributions, SVG approximation of functionals of isonormal Gaussian processes, SVG approximation of a statistic for binary sequence comparison, and Laplace approximation of a random sum of independent mean zero random variables.

In the paper (Greenblatt in J Funct Anal, https://doi.org/10.1016/j.jfa.2018.05.014 , 2018) the author proved $$L^p$$ Sobolev regularity results for averaging operators over hypersurfaces and connected them to associated Newton polyhedra. In this paper, we use rather different resolution of singularities techniques along with oscillatory integral methods applied to surface measure Fourier transforms to prove $$L^p$$ Sobolev regularity results for a class of averaging operators over surfaces which can be of any codimension.

Sampling in shift-invariant spaces is a realistic model for signals with smooth spectrum. In this paper, we consider phaseless sampling and reconstruction of real-valued signals in a high-dimensional shift-invariant space from their magnitude measurements on the whole Euclidean space and from their phaseless samples taken on a discrete set with finite sampling density. The determination of a signal in a shift-invariant space, up to a sign, by its magnitude measurements on the whole Euclidean space has been shown in the literature to be equivalent to its nonseparability. In this paper, we introduce an undirected graph associated with the signal in a shift-invariant space and use connectivity of the graph to characterize nonseparability of the signal. Under the local complement property assumption on a shift-invariant space, we find a discrete set with finite sampling density such that nonseparable signals in the shift-invariant space can be reconstructed in a stable way from their phaseless samples taken on that set. In this paper, we also propose a reconstruction algorithm which provides an approximation to the original signal when its noisy phaseless samples are available only. Finally, numerical simulations are performed to demonstrate the robustness of the proposed algorithm to reconstruct box spline signals from their noisy phaseless samples.

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are perfect sequence spaces. As a consequence we describe the tensor structure of sequential mappings on the spaces of smooth type functions and characterise their adjoint mappings. As an application we prove the universality of the spaces of smooth type functions on compact manifolds without boundary., 23 pages

Zhao and Ho asked in a recent paper that for each T0 space X, whether KB(X) (the set of all irreducible closed sets of X whose suprema exist) is the canonical k-bounded sobrification of X in the sense of Keimel and Lawson. In this paper, we construct a counterexample to give a negative answer. We also consider the subcategory Topκ of the category Top0 of T0 spaces, and prove that the category KBSob of k-bounded sober spaces is a full reflective subcategory of the category KBSob of k-bounded sober spaces is a full reflective subcategory of the category Topκ.

Let rk(n) denote the number of lattice points on a k-dimensional sphere of radius $$ \sqrt{n} $$ . The generating function $$ {\zeta}_k(s)=\sum \limits_{n=1}^{\infty }{r}_k(n){n}^{-s},\kern0.5em k\ge 2, $$ is Epstein’s zeta function. The paper considers the Riesz mean of the type $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{1}{\Gamma \left(\rho +1\right)}\sum \limits_{n\le x}{\left(x-n\right)}^{\rho }{r}_3(n), $$ where ρ > 0; the error term Δρ(x; ζ3) is defined by $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{\uppi^{3/2}{x}^{\rho +3/2}}{\Gamma \left(\rho +5/2\right)}+\frac{x^{\rho }}{\Gamma \left(\rho +1\right)}{\zeta}_3(0)+{\Delta}_{\rho}\left(x;{\zeta}_3\right). $$ K. Chandrasekharan and R. Narasimhan (1962, MR25#3911) proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\Big({x}^{1/2+\rho /2\Big)}& \left(\rho >1\right),\\ {}{\Omega}_{\pm}\left({x}^{1/2+\rho /2}\right)& \left(\rho \ge 0\right).\end{array}} $$ In the present paper, it is proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\left(x\log x\right)& \left(\rho =1\right),\\ {}O\left({x}^{2/3+\rho /3+\varepsilon}\right)& \left(1/2

Many researchers have been interested in the concept of statistical convergence because of the fact that it is stronger than the classical convergence. Also, the concepts of statistical equal convergence and equi-statistical convergence are more general than the statistical uniform convergence. In this paper we define a new type of statistical convergence by using the notions of equi-statistical convergence and statistical equal convergence to prove a Korovkin type theorem. We show that our theorem is a non-trivial extension of some well-known Korovkin type approximation theorems which were demonstrated by earlier authors. After, we present an example in support of our definition and result presented in this paper. Finally, we also compute the rates of statistical equi-equal convergence of sequences of positive linear operators.

We study properties of sets having the minimum length (one-dimensional Hausdorff measure) in the class of closed connected sets Σ ⊂ ℝ2 satisfying the inequality max yϵM dist (y, Σ) ≤ r for a given compact set M ⊂ ℝ2 and given r > 0. Such sets play the role of the shortest possible pipelines arriving at a distance at most r to every point of M where M is the set of customers of the pipeline. In this paper, it is announced that every maximum distance minimizer is a union of finitely many curves having one-sided tangent lines at every point. This shows that a maximum distance minimizer is isotopic to a finite Steiner tree even for a “bad” compact set M, which distinguishes it from a solution of the Steiner problem (an example of a Steiner tree with infinitely many branching points can be found in a paper by Paolini, Stepanov, and Teplitskaya). Moreover, the angle between these lines at each point of a maximum distance minimizer is at least 2π/3. Also, we classify the behavior of a minimizer Σ in a neighborhood of any point of Σ. In fact, all the results are proved for a more general class of local minimizers.

In the first part of the paper we give a new integral representation for the principal branch of the Lambert W function. Then we deduce two continued fraction expansions for this branch. At the end of the paper we study the numerical behavior of the approximants of these expansions.

In this paper, we study the mean value property for both the harmonic functions and the functions in the domain of the Laplacian on the tetrahedral Sierpinski gasket. This paper is a continuation of the work of Strichartz and the first author (Qiu and Strichartz, J Fourier Anal Appl 19:943–966, 2013)where the same property on p.c.f. self-similar sets with Dihedral-3 symmetry was considered.

This is a continuation of our previous paper [14]. In [14], we introduced the first Aeppli–Chern class on compact complex manifolds, and proved that the (1, 1) curvature form of the Levi–Civita connection represents the first Aeppli–Chern class which is a natural link between Riemannian geometry and complex geometry. In this paper, we study the geometry of compact complex manifolds with Levi–Civita Ricci-flat metrics and classify minimal complex surfaces with Levi–Civita Ricci-flat metrics. More precisely, we show that minimal complex surfaces admitting Levi–Civita Ricci-flat metrics are Kahler Calabi–Yau surfaces and Hopf surfaces.

In this paper our aim is to show some new inequalities of the Redheffer type for Bessel and modified Bessel functions of the first kind. The key tools in our proofs are some classical results on the monotonicity of quotients of differentiable functions as well as on the monotonicity of quotients of two power series. We also use some known results on the quotients of Bessel and modified Bessel functions of the first kind, and by using the monotonicity of the Dirichlet eta function we prove a sharp inequality for the tangent function. At the end of the paper a conjecture is stated, which may be of interest for further research.

This paper deals with the electrostatic MEMS-device parabolic equation $${u_t} - \Delta u = \frac{{\lambda f(x)}}{{{{(1 - u)}^p}}}$$ in a bounded domain Ω of ℝ N , with Dirichlet boundary condition, an initial condition u0(x) ∈ [0, 1) and a nonnegative profile f, where λ > 0, p > 1. The study is motivated by a simplified micro-electromechanical system (MEMS for short) device model. In this paper, the author first gives an asymptotic behavior of the quenching time T* for the solution u to the parabolic problem with zero initial data. Secondly, the author investigates when the solution u will quench, with general λ, u0(x). Finally, a global existence in the MEMS modeling is shown.

A map (S,G) is a closed Riemann surface S with embedded graph G such that S \G is the disjoint union of connected components, called faces, each of which is homeomorphic to an open disk. Tutte began a systematic study of maps in the 1960s and contemporary authors are actively developing it. In the present paper, after recalling the concept of a circular map introduced by the author and Mednykh, a relationship between bipartite maps and circular maps is demonstrated via the concept of the duality of maps. In this way an enumeration formula for the number of bipartite maps with a given number of edges is obtained. A hypermap is a map whose vertices are colored black and white in such a way that every edge connects vertices of different colors. The hypermaps are also known as dessins d’enfants (or Grothendieck’s dessins). A hypermap is self-equivalent with respect to reversing the colors of vertices if it is equivalent to the hypermap obtained by reversing the colors of its vertices. The main result of the present paper is an enumeration formula for the number of unrooted hypermaps, regardless of genus, which have n edges and are self-equivalent with respect to reversing the colors of vertices. Bibliography: 13 titles.

Alzalg, Baha/0000-0002-1839-8083; Momani, Shaher M./0000-0002-6326-8456; WOS: 000413785300005 In a recent paper (Zeb et al. in Appl Math Model 37(7):5326-5334, 2013), the authors presented a new model of giving up smoking model. In the present paper, the dynamics of this new model involving the Caputo derivative was studied numerically. For this purpose, generalized Euler method and the multistep generalized differential transform method are employed to compute accurate approximate solutions to this new giving up smoking model of fractional order. The unique positive solution for the fractional order model is presented. A comparative study between these two methods and the well-known Runge-Kutta method is presented in the case of integer-order derivatives. The solutions obtained are also presented graphically.

In the present paper we introduce a notion of the \(\mathbb {K}\)-Riemann integral as a natural generalization of a usual Riemann integral and study its properties. The aim of this paper is to extend the classical Hermite–Hadamard inequalities to the case when the usual Riemann integral is replaced by the \(\mathbb {K}\)-Riemann integral and the convexity notion is replaced by \(\mathbb {K}\)-convexity.

We consider the problem of approximating a smooth function from finitely many pointwise samples using $$\ell ^1$$ minimization techniques. In the first part of this paper, we introduce an infinite-dimensional approach to this problem. Three advantages of this approach are as follows. First, it provides interpolatory approximations in the absence of noise. Second, it does not require a priori bounds on the expansion tail in order to be implemented. In particular, the truncation strategy we introduce as part of this framework is independent of the function being approximated, provided the function has sufficient regularity. Third, it allows one to explain the key role weights play in the minimization, namely, that of regularizing the problem and removing aliasing phenomena. In the second part of this paper, we present a worst-case error analysis for this approach. We provide a general recipe for analyzing this technique for arbitrary deterministic sets of points. Finally, we use this tool to show that weighted $$\ell ^1$$ minimization with Jacobi polynomials leads to an optimal method for approximating smooth, one-dimensional functions from scattered data.

Our contribution in this paper is to propose an iterative algorithm which does not require prior knowledge of operator norm and prove strong convergence theorem for approximating a solution of split common fixed point problem of demicontractive mappings in a real Hilbert space. So many authors have used algorithms involving the operator norm for solving split common fixed point problem, but as widely known the computation of these algorithms may be difficult and for this reason, authors have recently started constructing iterative algorithms with a way of selecting the step-sizes such that the implementation of the algorithm does not require the calculation or estimation of the operator norm. We introduce a new algorithm for solving the split common fixed point problem for demicontractive mappings with a way of selecting the step-sizes such that the implementation of the algorithm does not require the calculation or estimation of the operator norm and then prove strong convergence of the sequence in real Hilbert spaces. Finally, we give some applications of our result and numerical example at the end of the paper.

In this paper, we propose an iterative algorithm to find the common element of set of solutions of a split equilibrium problem and set of fixed points of an asymptotically nonexpansive mapping in Hilbert spaces. The new method is used to prove the strong convergence for the result of this paper. The result extends the corresponding one in the literature.

In this paper, we introduce a system of split variational inequality problems in real Hilbert spaces. Using a projection method, we propose an iterative algorithm for solving this system of split variational inequality problems. Further, we prove that the sequence generated by the iterative algorithm converges strongly to a solution of the system of split variational inequality problems. Furthermore, we discuss some consequences of the main result. The iterative algorithms and results presented in this paper generalize, unify and improve the previously known results of this area.

In this paper, we study a class of nonlinear Schrodinger–Poisson systems with indefinite steep potential well: $$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} -\Delta u+V_{\lambda }(x)u+K(x)\phi u=|u|^{p-2}u &{} \text { in }\mathbb {R}^{3},\\ -\Delta \phi =K\left( x\right) u^{2} &{} \ \text {in }\mathbb {R}^{3}, \end{array} \right. \end{aligned}$$ where $$30$$ and $$ K(x)\ge 0$$ for all $$x\in \mathbb {R}^{3}$$ . We require that $$a\in C( \mathbb {R}^{3}) $$ is nonnegative and has a potential well $$\Omega _{a}$$ , namely $$a(x)\equiv 0$$ for $$x\in \Omega _{a}$$ and $$a(x)>0$$ for $$x\in \mathbb {R}^{3}\setminus \overline{\Omega _{a}}$$ . Unlike most other papers on this problem, we allow that $$b\in C(\mathbb {R}^{3}) $$ is unbounded below and sign-changing. By introducing some new hypotheses on the potentials and applying the method of penalized functions, we obtain the existence of nontrivial solutions for $$\lambda $$ sufficiently large. Furthermore, the concentration behavior of the nontrivial solution is also described as $$\lambda \rightarrow \infty $$ .

Umeda et al. (Jpn J Appl Math 1:435–457, 1984) considered a rather general class of symmetric hyperbolic–parabolic systems: $$A^{0}z_{t}+\sum_{j=1}^{n}A^{j}z_{x_{j}}+Lz=\sum_{j,k=1}^{n}B^{jk}z_{x_{j}x_{k}}$$ and showed optimal decay rates with certain dissipative assumptions. In their results, the dissipation matrices $${L}$$ and $${B^{jk}(j,k=1,\ldots,n)}$$ are both assumed to be real symmetric. So far there are no general results in case that $${L}$$ and $${B^{jk}}$$ are not necessarily symmetric, which is left open now. In this paper, we investigate compressible Navier–Stokes–Maxwell (N–S–M) equations arising in plasmas physics, which is a concrete example of hyperbolic–parabolic composite systems with non-symmetric dissipation. It is observed that the Cauchy problem for N–S–M equations admits the dissipative mechanism of regularity-loss type. Consequently, extra higher regularity is usually needed to obtain the optimal decay rate of $${L^{1}({\mathbb{R}}^3)}$$ - $${L^2({\mathbb{R}}^3)}$$ type, in comparison with that for the global-in-time existence of smooth solutions. In this paper, we obtain the minimal decay regularity of global smooth solutions to N–S–M equations, with aid of $${L^p({\mathbb{R}}^n)}$$ - $${L^{q}({\mathbb{R}}^n)}$$ - $${L^{r}({\mathbb{R}}^n)}$$ estimates. It is worth noting that the relation between decay derivative orders and the regularity index of initial data is firstly found in the optimal decay estimates.

In this paper, we present a new framework of bi-level unconstrained minimization for development of accelerated methods in Convex Programming. These methods use approximations of the high-order proximal points, which are solutions of some auxiliary parametric optimization problems. For computing these points, we can use different methods, and, in particular, the lower-order schemes. This opens a possibility for the latter methods to overpass traditional limits of the Complexity Theory. As an example, we obtain a new second-order method with the convergence rate $$O\left( k^{-4}\right) $$ O k - 4 , where k is the iteration counter. This rate is better than the maximal possible rate of convergence for this type of methods, as applied to functions with Lipschitz continuous Hessian. We also present new methods with the exact auxiliary search procedure, which have the rate of convergence $$O\left( k^{-(3p+1)/ 2}\right) $$ O k - ( 3 p + 1 ) / 2 , where $$p \ge 1$$ p ≥ 1 is the order of the proximal operator. The auxiliary problem at each iteration of these schemes is convex.

UDC 517.9 This paper deals with the problem of stability of nonlinear differential equations with perturbations. Sufficient conditions for global uniform asymptotic stability in terms of Lyapunov-like functions and integral inequality are obtained. The asymptotic behavior is studied in the sense that the trajectories converge to a small ball centered at the origin. Furthermore, an illustrative example in the plane is given to verify the effectiveness of the theoretical results.

We put forward a new method for obtaining quantitative lower bounds on the top Lyapunov exponent of stochastic differential equations (SDEs). Our method combines (i) an (apparently new) identity connecting the top Lyapunov exponent to a Fisher information-like functional of the stationary density of the Markov process tracking tangent directions with (ii) a novel, quantitative version of H\"ormander's hypoelliptic regularity theory in an $L^1$ framework which estimates this (degenerate) Fisher information from below by a $W^{s,1}_{\mathrm{loc}}$ Sobolev norm. This method is applicable to a wide range of systems beyond the reach of currently existing mathematically rigorous methods. As an initial application, we prove the positivity of the top Lyapunov exponent for a class of weakly-dissipative, weakly forced SDE; in this paper we prove that this class includes the Lorenz 96 model in any dimension, provided the additive stochastic driving is applied to any consecutive pair of modes., Comment: 62 pages, updated intro and appendix

In this paper we generalise the results proved in [N. Katzourakis, An $L^\infty$ regularisation strategy to the inverse source identification problem for elliptic equations, SIAM J. Math. Anal. 51:2, 1349-1370 (2019)] by studying the ill-posed problem of identifying the source of a fully nonlinear elliptic equation. We assume Dirichlet data and some partial noisy information for the solution on a compact set through a fully nonlinear observation operator. We deal with the highly nonlinear nonconvex nature of the problem and the lack of weak continuity by introducing a two-parameter Tykhonov regularisation with a higher order $L^2$ "viscosity term" for the $L^\infty$ minimisation problem which allows to approximate by weakly lower semicontinuous cost functionals., 14 pages. arXiv admin note: text overlap with arXiv:1811.02845

Let M ⊑ B(X) be an algebra with nontrivial idempotents or nontrivial projections if M is a *-algebra and ZM = ℂI. In this paper, the notion of (strong) 2-local Lie automorphism normalized property is introduced and it is proved that if M has 2-local Lie automorphism normalized property and Φ: M → M is an almost additive surjective 2-local Lie isomorphism with idempotent decomposition property, then → = Ψ + τ, where Ψ is an automorphism of M or the negative of an anti-automorphism of M and τ is a homogenous map from M into ℂI. Moreover, it is proved that nest algebras on a separable complex Hilbert space II with dimII >2 and factor von Neumann algebras on a separable complex Hilbert space H with dimH > 2 have strong 2-local Lie automorphism normalized property.

In this paper, we consider the Poisson equation on a “long” domain which is the Cartesian product of a one-dimensional long interval with a (d − 1)-dimensional domain. The right-hand side is assumed to have a rank-1 tensor structure. We will present and compare methods to construct approximations of the solution which have tensor structure and the computational effort is governed by only solving elliptic problems on lower-dimensional domains. A zero-th order tensor approximation is derived by using tools from asymptotic analysis (method 1). The resulting approximation is an elementary tensor and, hence has a fixed error which turns out to be very close to the best possible approximation of zero-th order. This approximation can be used as a starting guess for the derivation of higher-order tensor approximations by a greedy-type method (method 2). Numerical experiments show that this method is converging towards the exact solution. Method 3 is based on the derivation of a tensor approximation via exponential sums applied to discretized differential operators and their inverses. It can be proved that this method converges exponentially with respect to the tensor rank. We present numerical experiments which compare the performance and sensitivity of these three methods.

In this paper, we propose a new linesearch iterative scheme for finding a common solution of split equilibrium and fixed point problems without pseudomonotonicity of the bifunction f in a real Hilbert space. When setting the solution of dual equilibrium problem is nonempty, we obtain a strong convergence theorem which is generated by the iterative scheme. Moreover, we also receive a new linesearch iterative scheme for finding a solution of the split equilibrium problem in suitable assumptions, and report some numerical results to illustrate the convergence of the proposed scheme.

The categoricity spectrum of a computable structure S is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable presentations of S. The degree of categoricity of S is the least degree in the categoricity spectrum of S. This paper is a survey of results on categoricity spectra and degrees of categoricity for computable structures. We focus on the results about degrees of categoricity for linear orders and Boolean algebras. We construct a new series of examples of degrees of categoricity for linear orders.

In this paper, we study a system of nonlinear Riemann–Liouville fractional differential equations with delays. First, we define in an appropriate way initial conditions which are deeply connected with the fractional derivative used. We introduce an appropriate generalization of practical stability which we call practical stability in time. Several sufficient conditions for practical stability in time are obtained using Lyapunov functions and the modified Razumikhin technique. Two types of derivatives of Lyapunov functions are used. Some examples are given to illustrate the introduced definitions and results.

In this paper, we propose a stochastic model of the conditional time series of the wind chill index. The model is based on the inverse distribution function method and on the normalization method for simulation of the non-Gaussian non-stationary random processes as well as on the method of conditional distributions for simulation of the conditional Gaussian processes. In the framework of the approach considered, two types of conditions (point conditions and interval conditions) are imposed on the time series. The model in question was verified using the real data collected at the weather stations located in West Siberia (Russia). It is shown that the simulated trajectories are close in their statistical properties to the real time series. The model proposed was used for stochastic forecasting of the wind chill index and the results of the numerical experiments have shown that the accuracy of the short-term forecasts is high enough.

This paper considers the estimation of parameters for the inverse Gaussian regression model in the presence of multicollinearity. To mitigate this issue, we propose the inverse Gaussian James–Stein estimator (IGJSE) and compare its performance with other estimation methods i.e. maximum likelihood estimator (MLE), ridge and Liu estimators. Theoretical comparisons between the usual MLE, ridge, Liu and IGJSE are derived using matrix mean − squared error and scalar mean squared error criterions. The statistical properties of these estimators are systematically scrutinized via a Monte Carlo simulation. The findings of the simulation study clearly demonstrate that the proposed IGJSE showed a consistent behaviour as compared to the other estimation methods in all the evaluated situations. Finally, we evaluate the performance of IGJSE with the help of real example. The simulation and real example results show that the performance of IGJSE is better as compared to other estimation methods with correlated explanatory variables.

Systematization of numerical randomized functional algorithms for approximation of solutions to second-kind Fredholm integral equation is performed in this paper. Three types of algorithms are emphasized: projection algorithms, grid algorithms, and projection-grid algorithms. Disadvantages of grid algorithms that require calculation of values of the kernel of integral equations at fixed points are revealed (practically, the kernels of equation have integrable singularities and this calculation is impossible). Thus, for applied problems related to the solution of second-kind Fredholm integral equations, projection or projection-grid randomized algorithms are more convenient.

In this paper, we use a unified framework to study Poisson stable (including stationary, periodic, quasi-periodic, almost periodic, almost automorphic, Birkhoff recurrent, almost recurrent in the sense of Bebutov, Levitan almost periodic, pseudo-periodic, pseudo-recurrent and Poisson stable) solutions for semilinear stochastic differential equations driven by infinite dimensional Levy noise with large jumps. Under suitable conditions on drift, diffusion and jump coefficients, we prove that there exist solutions which inherit the Poisson stability of coefficients. Further we show that these solutions are globally asymptotically stable in square-mean sense. Finally, we illustrate our theoretical results by several examples.

Recently, Geher and Semrl have characterized the general form of surjective isometries of the set of all projections on an infinite-dimensional separable Hilbert space using unitaries and antiunitaries. In this paper, we study the surjective L2-isometries of the projection lattice of an infinite dimensional Hilbert space and show that every such isometry can also be described by unitaries and antiunitaries.