Search

In this paper we develop new tensor methods for unconstrained convex optimization, which solve at each iteration an auxiliary problem of minimizing convex multivariate polynomial. We analyze the simplest scheme, based on minimization of a regularized local model of the objective function, and its accelerated version obtained in the framework of estimating sequences. Their rates of convergence are compared with the worst-case lower complexity bounds for corresponding problem classes. Finally, for the third-order methods, we suggest an efficient technique for solving the auxiliary problem, which is based on the recently developed relative smoothness condition (Bauschke et al. in Math Oper Res 42:330–348, 2017; Lu et al. in SIOPT 28(1):333–354, 2018). With this elaboration, the third-order methods become implementable and very fast. The rate of convergence in terms of the function value for the accelerated third-order scheme reaches the level $$O\left( {1 \over k^4}\right) $$ O 1 k 4 , where k is the number of iterations. This is very close to the lower bound of the order $$O\left( {1 \over k^5}\right) $$ O 1 k 5 , which is also justified in this paper. At the same time, in many important cases the computational cost of one iteration of this method remains on the level typical for the second-order methods.

It is pointed out that the proof of the basic result of Rahmanov's paper has a serious gap. It is documented by original sources that a statement he relied on in the proof contains a misprint, and it is shown by a counterexample that this statement (with the misprint) is, in fact, false. A somewhat weaker statement is proved true.

In order to solve the Sylvester equations more efficiently, a new four parameters positive and skew-Hermitian splitting (FPPSS) iterative method is proposed in this paper based on the previous research of the positive and skew-Hermitian splitting (PSS) iterative method. We prove that when coefficient matrix A and B satisfy certain conditions, the FPPSS iterative method is convergent in the parameter&rsquo, s value region. The numerical experiment results show that compared with previous iterative method, the FPPSS iterative method is more effective in terms of iteration number IT and runtime.

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.

Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, the structural methods fail if the DAE has numerical or symbolic cancellations. For such DAEs, methods have been proposed to modify them to other DAEs to which the structural methods are applicable, based on the combinatorial relaxation technique. Existing modification methods, however, work only for a class of DAEs that are linear or close to linear. This paper presents two new modification methods for nonlinear DAEs: the substitution method and the augmentation method. Both methods are based on the combinatorial relaxation approach and are applicable to a large class of nonlinear DAEs. The substitution method symbolically solves equations for some derivatives based on the implicit function theorem and substitutes the solution back into the system. Instead of solving equations, the augmentation method modifies DAEs by appending new variables and equations. The augmentation method has advantages that the equation solving is not needed and the sparsity of DAEs is retained. It is shown in numerical experiments that both methods, especially the augmentation method, successfully modify high-index DAEs that the DAE solver in MATLAB cannot handle., Comment: A preliminary version of this paper is to appear in Proceedings of the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, China, July 2019

In a recent paper [JUKIĆ, D.: A necessary and sufficient criterion for the existence of the global minima of a continuous lower bounded function on a noncompact set, J. Comput. Appl. Math. 375 (2020)], a new existence level was introduced and then was used to obtain a necessary and sufficient criterion for the existence of the global minima of a continuous lower bounded function on a noncompact set. In this paper, we determined that existence level for the residual sum of squares of the power-law regression with an unknown location parameter, and so we obtained a necessary and sufficient condition which guarantee the existence of the least squares estimate.

Diffusion equations with Riemann–Liouville fractional derivatives are Volterra integro-partial differential equations with weakly singular kernels and present fundamental challenges for numerical computation. In this paper, we make a convergence analysis of the Schwarz waveform relaxation (SWR) algorithms with Robin transmission conditions (TCs) for these problems. We focus on deriving good choice of the parameter involved in the Robin TCs, at the continuous and fully discretized level. Particularly, at the space-time continuous level, we show that the derived Robin parameter is much better than the one predicted by the well-understood equioscillation principle. At the fully discretized level, the problem of determining a good Robin parameter is studied in the convolution quadrature framework, which permits us to precisely capture the effects of different temporal discretization methods on the convergence rate of the SWR algorithms. The results obtained in this paper will be preliminary preparations for our further study of the SWR algorithms for integro-partial differential equations.

The paper focuses on the analysis of the Euler projection Galerkin finite element method (FEM) for the dynamics of magnetization in ferromagnetic materials, described by the Landau–Lifshitz equation with the point-wise constraint $|{\textbf{m}}|=1$. The method is based on a simple sphere projection that projects the numerical solution onto a unit sphere at each time step, and the method has been used in many areas in the past several decades. However, error analysis for the commonly used method has not been done since the classical energy approach cannot be applied directly. In this paper we present an optimal $\textbf{L}^2$ error analysis of the backward Euler sphere projection method by using quadratic or higher order finite elements under a time step condition $\tau =O(\epsilon _0 h)$ with some small $\epsilon _0>0$. The analysis is based on more precise estimates of the extra error caused by the sphere projection in both $\textbf{L}^2$ and $\textbf{H}^1$ norms, and the classical estimate of dual norm. Numerical experiment is provided to confirm our theoretical analysis.

The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun only recently. In this paper we obtain a conditional theorem for all integral norms $$L_q$$ , $$1\le q

Non-monotonicity height is an important index to describe the complexity of dynamics for piecewise monotone functions. Although it is used extensively in the theory of iterative roots, its calculation is still difficult especially in the infinite case. In this paper, by introducing the concept of spanning interval, we first present a sufficient condition for piecewise monotone functions to have height infinity and then an algorithm for finding the spanning intervals is given. We further investigate the density of all piecewise monotone functions with infinite and finite height, respectively, and the results indicate the instability of height. At the end of this paper, the variance of height under composition, especially for functions of height 1 and infinity, are also discussed.

The classical result of L. Székelyhidi states that (under some assumptions) every solution of a general linear equation must be a polynomial function. It is known that Székelyhidi’s result may be generalized to equations where some occurrences of the unknown functions are multiplied by a linear combination of the variables. In this paper we study the equations where two such combinations appear. The simplest nontrivial example of such a case is given by the equation$$\begin{aligned} F(x + y) - F(x) - F(y) = yf(x) + xf(y) \end{aligned}$$F(x+y)-F(x)-F(y)=yf(x)+xf(y)considered by Fechner and Gselmann (Publ Math Debrecen 80(1–2):143–154, 2012). In the present paper we prove several results concerning the systematic approach to the generalizations of this equation.

A sequence $$(v_1,\ldots ,v_k)$$ of vertices in a graph G without isolated vertices is called a total dominating sequence if every vertex $$v_i$$ in the sequence totally dominates at least one vertex that was not totally dominated by $$\{v_1,\ldots , v_{i-1}\}$$ and $$\{v_1,\ldots ,v_k\}$$ is a total dominating set of G. The length of a shortest such sequence is the total domination number of G ( $$\gamma _{t}(G)$$ ), while the length of a longest such sequence is the Grundy total domination number of G ( $$\gamma _{gr}^t(G)$$ ). In this paper we study graphs with equal total and Grundy total domination numbers. We characterize bipartite graphs with both total and Grundy total dominations number equal to 4, and show that there is no connected chordal graph G with $$\gamma _{t}(G)=\gamma _{gr}^t(G)=4$$ . The main result of the paper is a characterization of bipartite graphs with $$\gamma _{t}(G)=\gamma _{gr}^t(G)=6$$ proved by establishing a surprising correspondence between the existence of such graphs and a classical but still open problem of the existence of certain finite projective planes.

In this paper, an alternative approach is provided in the well-posedness analysis of elliptic variational–hemivariational inequalities in real Hilbert spaces. This includes the unique solvability and continuous dependence of the solution on the data. In most of the existing literature on elliptic variational–hemivariational inequalities, well-posedness results are obtained by using arguments of surjectivity for pseudomonotone multivalued operators, combined with additional compactness and pseudomonotonicity properties. In contrast, following (Han in Nonlinear Anal B Real World Appl 54:103114, 2020; Han in Numer Funct Anal Optim 42:371–395, 2021), the approach adopted in this paper is based on the fixed point structure of the problems, combined with minimization principles for elliptic variational–hemivariational inequalities. Consequently, only elementary results of functional analysis are needed in the approach, which makes the theory of elliptic variational–hemivariational inequalities more accessible to applied mathematicians and engineers. The theoretical results are illustrated on a representative example from contact mechanics.

International audience; Sampled-data control systems have steadily been gaining interest for their applications in automatic engineering where they are implemented as digital controllers and recently results have been obtained in optimal control theory for nonlinear sampled-data control systems and certain generalizations. In this paper we derive a Pontryagin maximum principle for general nonlinear finite-dimensional optimal sampled-data control problems with running inequality state constraints. In particular, we obtain a nonpositive averaged Hamiltonian gradient condition with the adjoint vector being a function of bounded variations. Our proof is based on the Ekeland variational principle. In general, optimal control problems with running inequality state constraints are difficult to solve using numerical methods due to the discontinuities (the jumps and the singular part) of the adjoint vector. However in our case we find that under certain general hypotheses the adjoint vector only experiences jumps at most at the sampling times and moreover the trajectory only contacts the running inequality state constraints at most at the sampling times. We call this behavior a bouncing trajectory phenomenon and it constitutes the second major focus of this paper. Finally taking advantage of the bouncing trajectory phenomenon we numerically solve three examples with different kinds of constraints and in several dimensions.

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.

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.

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.

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.

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

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.

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

This paper considers some multiscale radial basis function collocation methods for solving the two-dimensional Monge–Ampère equation with Dirichlet boundary. We discuss and study the performance of the three kinds of multiscale methods. The first method is the cascadic meshfree method, which was proposed by Liu and He (2013). The second method is the stationary multilevel method, which was proposed by Floater and Iske (1996), and is used to solve the fully nonlinear partial differential equation in the paper for the first time. The third is the hierarchical radial basis function method, which is constructed by employing successive refinement scattered data sets and scaled compactly supported radial basis functions with varying support radii. Compared with the first two methods, the hierarchical radial basis function method can not only solve the present problem on a single level with higher accuracy and lower computational cost but also produce highly sparse nonlinear discrete system. These observations are obtained by taking the direct approach of numerical experimentation.

Recently, Bai and Zhang [Numerical Linear Algebra with Applications, 2013, 20, 425Ƀ439] constructed modulus-based synchronous multisplitting methods by an equivalent reformulation of the linear complementarity problem into a system of fixed-point equations and studied the convergence of them; Li et al. [Journal of Nanchang University (Natural Science), 2013, 37, 307Ƀ312] studied synchronous block multisplitting iteration methods; Zhang and Li [Computers and Mathematics with Application, 2014, 67, 1954Ƀ1959] analyzed and obtained the weaker convergence results for linear complementarity problems. In this paper, we generalize their algorithms and further study global relaxed modulus-based synchronous block multisplitting multi-parameters methods for linear complementarity problems. Furthermore, we give the weaker convergence results of our new method in this paper when the system matrix is a block $ H_{+}- $matrix. Therefore, new results provide a guarantee for the optimal relaxation parameters, please refer to [A. Hadjidimos, M. Lapidakis and M. Tzoumas, SIAM Journal on Matrix Analysis and Applications, 2012, 33, 97Ƀ110, (dx.doi.org/10.1137/100811222)], where optimal parameters are determined.

In this paper, we construct and study a new family of multi-point Ehrlich-type iterative methods for approximating all the zeros of a uni-variate polynomial simultaneously. The first member of this family is the two-point Ehrlich-type iterative method introduced and studied by Trićković and Petković in 1999. The main purpose of the paper is to provide local and semilocal convergence analysis of the multi-point Ehrlich-type methods. Our local convergence theorem is obtained by an approach that was introduced by the authors in 2020. Two numerical examples are presented to show the applicability of our semilocal convergence theorem.

This paper provides several error estimations for total variation (TV) type regularization, which arises in a series of areas, for instance, signal and imaging processing, machine learning, etc. In this paper, some basic properties of the minimizer for the TV regularization problem such as stability, consistency and convergence rate are fully investigated. Both a priori and a posteriori rules are considered in this paper. Furthermore, an improved convergence rate is given based on the sparsity assumption. The problem under the condition of non-sparsity, which is common in practice, is also discussed, the results of the corresponding convergence rate are also presented under certain mild conditions.

In this paper, a type of accurate a posteriori error estimator is proposed for the Steklov eigenvalue problem based on the complementary approach, which provides an asymptotic exact estimate for the approximate eigenpair. Besides, we design a type of cascadic adaptive finite element method for the Steklov eigenvalue problem based on the proposed a posteriori error estimator. In this new cascadic adaptive scheme, instead of solving the Steklov eigenvalue problem in each adaptive space directly, we only need to do some smoothing steps for linearized boundary value problems on a series of adaptive spaces and solve some Steklov eigenvalue problems on a low dimensional space. Furthermore, the proposed a posteriori error estimator provides the way to refine mesh and control the number of smoothing steps for the cascadic adaptive method. Some numerical examples are presented to validate the efficiency of the algorithm in this paper.

The aim of this paper is to present some results concerning the problem of minimal projections and extensions. Let X be a reflexive Banach space and let Y be a closed subspace of X of codimension one. Let W be a finite-dimensional Banach space. We present a new sufficient condition under which any minimal extension of an operator A ∈ L ( Y , W ) is strongly unique. In this paper we show (in some circumstances) that if 1 λ ( Y , X ) , then a minimal projection from X onto Y is a strongly unique minimal projection. Moreover, we introduce and study a new geometric property of normed spaces. In this paper we also present a result concerning the strong unicity of best approximation.

The aim of this paper is twofold. Firstly, we study the non-existence of finite order meromorphic solutions to the Cubic type of Fermat functional equation $$f(z)^3-3\tau f(z)f(z+c)+f(z+c)^3=1$$. In addition, the paper is concerned with the description of finite order entire solutions of the Quadratic type of Fermat functional equation $$f(z)^2-2\mu f(z)f(z+c)+f(z+c)^2=1$$.

In this paper, we continue to investigate the exceptional sets for sums of five and six almost equal cubes of primes. We would also like to establish that almost all natural numbers n, subjected to certain congruence conditions, can be written as n = p 1 3 + ⋯ + p s 3 {n=p_{1}^{3}+\cdots+p_{s}^{3}} ( s = 5 , 6 {s=5,6} ) with | p j - ( n / s ) 1 / 3 | ≤ n θ s / 3 + ε {|p_{j}-(n/s)^{1/3}|\leq n^{\theta_{s}/3+\varepsilon}} ( 1 ≤ j ≤ s {1\leq j\leq s} ), where θ s {\theta_{s}} is as small as possible. The main result of this paper is to improve θ 6 = 5 / 6 + ε {\theta_{6}=5/6+\varepsilon} , which is proven in [M. Wang, Exceptional sets for sums of five and six almost equal prime cubes, Acta Math. Hungar. 156 2018, 2, 424–434], to θ 6 = 9 / 11 + ε {\theta_{6}=9/11+\varepsilon} , as well as prove θ 5 = 8 / 9 + ε {\theta_{5}=8/9+\varepsilon} in another way.

In this paper we study nonconvex and nonsmooth multi-block optimization over Euclidean embedded (smooth) Riemannian submanifolds with coupled linear constraints. Such optimization problems naturally arise from machine learning, statistical learning, compressive sensing, image processing, and tensor PCA, among others. By utilizing the embedding structure, we develop an ADMM-like primal-dual approach based on decoupled solvable subroutines such as linearized proximal mappings, where the duality is with respect to the embedded Euclidean spaces. First, we introduce the optimality conditions for the afore-mentioned optimization models. Then, the notion of $$\epsilon $$ -stationary solutions is introduced as a result. The main part of the paper is to show that the proposed algorithms possess an iteration complexity of $$O(1/\epsilon ^2)$$ to reach an $$\epsilon $$ -stationary solution. For prohibitively large-size tensor or machine learning models, we present a sampling-based stochastic algorithm with the same iteration complexity bound in expectation. In case the subproblems are not analytically solvable, a feasible curvilinear line-search variant of the algorithm based on retraction operators is proposed. Finally, we show specifically how the algorithms can be implemented to solve a variety of practical problems such as the NP-hard maximum bisection problem, the $$\ell _q$$ regularized sparse tensor principal component analysis and the community detection problem. Our preliminary numerical results show great potentials of the proposed methods.

Diaconis and Griffiths (2014) study the multivariate Krawtchouk polynomials orthogonal on the multinomial distribution. In this paper we derive the reproducing kernel orthogonal polynomials Q n ( x , y ; N , p ) on the multinomial distribution which are sums of products of orthonormal polynomials in x and y of fixed total degree n = 0 , 1 , … , N . The Poisson kernel ∑ n = 0 N ρ n Q n ( x , y ; N , p ) arises naturally from a probabilistic argument. An application to a multinomial goodness of fit test is developed, where the chi-squared test statistic is decomposed into orthogonal components which test the order of fit. A new duplication formula for the reproducing kernel polynomials in terms of the 1-dimensional Krawtchouk polynomials is derived. The duplication formula allows a Lancaster characterization of all reversible Markov chains with a multinomial stationary distribution whose eigenvectors are multivariate Krawtchouk polynomials and where eigenvalues are repeated within the same total degree. The χ 2 cutoff time, and total variation cutoff time is investigated in such chains. Emphasis throughout the paper is on a probabilistic understanding of the polynomials and their applications, particularly to Markov chains.

In previous papers, a technique has been suggested to avoid order reduction when integrating initial boundary value problems with several kinds of exponential methods. The technique implies in principle to calculate additional terms at each step from those already necessary without avoiding order reduction. The aim of the present paper is to explain the surprising result that, many times, in spite of having to calculate more terms at each step, the computational cost of doing it through Krylov methods decreases instead of increases. This is very interesting since, in that way, the methods improve not only in terms of accuracy, but also in terms of computational cost.

This article belongs to the Special Issue Discrete and Fractional Mathematics: Symmetry and Applications. In this paper we introduce a generalized Laplace transform in order to work with a very general fractional derivative, and we obtain the properties of this new transform. We also include the corresponding convolution and inverse formula. In particular, the definition of convolution for this generalized Laplace transform improves previous results. Additionally, we deal with the generalized harmonic oscillator equation, showing that this transform and its properties allow one to solve fractional differential equations. We would like to thank the referees for their comments, which have improved the paper. The research of José M. Rodríguez and José M. Sigarreta was supported by a grant from Agencia Estatal de Investigación (PID2019-106433GB-I00/AEI/10.13039/501100011033), Spain. The research of José M. Rodríguez is supported by the Madrid Government (Comunidad de Madrid-Spain) under the Multiannual Agreement with UC3M in the line of Excellence of University Professors (EPUC3M23), and in the context of the V PRICIT (Regional Programme of Research and Technological Innovation).

[EN] In this paper, we introduce a new generalized inverse, called weak core inverse (or, in short, WC inverse) of a complex square matrix. This new inverse extends the notion of the core inverse defined by Baksalary and Trenkler (Linear Multilinear Algebra 58(6):681-697, 2010). We investigate characterizations, representations, and properties for this generalized inverse. In addition, we introduce weak core matrices (or, in short, WC matrices) and we show that these matrices form a more general class than that given by the known weak group matrices, recently investigated by H. Wang and X. Liu., In what follows, we detail the acknowledgements. D.E. Ferreyra, F.E. Levis, A.N. Priori - Partially supported by Universidad Nacional de Rio Cuarto (Grant PPI 18/C559) and CONICET (Grant PIP 112-201501-00433CO). D.E. Ferreyra F.E. Levis - Partially supported by ANPCyT (Grant PICT 201803492). D.E. Ferreyra, N. Thome -Partially supported by Universidad Nacional de La Pampa, Facultad de Ingenieria (Grant Resol. Nro. 135/19). N. Thome -Partially supported by Ministerio de Economia, Industria y Competitividad of Spain (Grant Red de Excelencia MTM2017-90682-REDT) and by Universidad Nacional del Sur of Argentina (Grant 24/L108). We would like to thank the Referees for their valuable comments and suggestions which helped us to considerably improve the presentation of the paper

In this paper, the dependent competing risks’ model is considered in the constant-stress accelerated life test under the adaptive type-II progressive hybrid-censored scheme. The dependency between failure causes is modeled by Marshall–Olkin bivariate Gompertz distribution. The scale and shape parameters in the model both change with the stress levels, and the failure causes of some test units are unknown. Then, the maximum likelihood estimations and approximation confidence intervals of the unknown parameters are considered. And, the necessary and sufficient condition is established for the existence and uniqueness of the maximum likelihood estimations for unknown parameters. The Bayes approach is also employed to estimate the unknown parameters under suitable prior distributions. The Bayes estimations and highest posterior credible intervals of the unknown parameters are obtained. Finally, a simulation experiment has been performed to illustrate the methods proposed in this paper.

Solving nonlinear equation systems for engineering applications is one of the broadest and most essential numerical studies. Several methods and combinations were developed to solve such problems by either finding their roots mathematically or formalizing such problems as an optimization task to obtain the optimal solution using a predetermined objective function. This paper proposes a new algorithm for solving square and nonsquare nonlinear systems combining the genetic algorithm (GA) and the homotopy analysis method (HAM). First, the GA is applied to find out the solution. If it is realized, the algorithm is terminated at this stage as the target solution is determined. Otherwise, the HAM is initiated based on the GA stage’s computed initial guess and linear operator. Moreover, the GA is utilized to calculate the optimum value of the convergence control parameter (h) algebraically without plotting the h-curves or identifying the valid region. Four test functions are examined in this paper to verify the proposed algorithm’s accuracy and efficiency. The results are compared to the Newton HAM (NHAM) and Newton homotopy differential equation (NHDE). The results corroborated the superiority of the proposed algorithm in solving nonlinear equation systems efficiently.

Recently, the development of neural network method for solving differential equations has made a remarkable progress for solving fractional differential equations. In this paper, a neural network method is employed to solve time-fractional telegraph equation. The loss function containing initial/boundary conditions with adjustable parameters (weights and biases) is constructed. Also, in this paper, a time-fractional telegraph equation was formulated as an optimization problem. Numerical examples with known analytic solutions including numerical results, their graphs, weights, and biases were also discussed to confirm the accuracy of the method used. Also, the graphical and tabular results were analyzed thoroughly. The mean square errors for different choices of neurons and epochs have been presented in tables along with graphical presentations.

This paper studies and analyzes a model describing the flow of contaminated brines through the porous media under severe thermal conditions caused by the radioactive contaminants. The problem is approximated based on combining the mixed finite element method with the modified method of characteristics. In order to solve the resulting algebraic nonlinear equations efficiently, a two-grid method is presented and discussed in this paper. This approach includes a small nonlinear system on a coarse grid with size H and a linear system on a fine grid with size h . It follows from error estimates that asymptotically optimal accuracy can be obtained as long as the mesh sizes satisfy H = O h 1 / 3 .

The Hermite–Hadamard inequality was extended using iterated integrals by Retkes [Acta Sci Math (Szeged) 74:95–106, 2008]. In this paper we further extend the main results of the above paper for convex and also for s-convex functions in the second sense.

In this paper we make a comparison between certain probabilistic and deterministic point sets and show that some deterministic constructions (especially spherical t -designs) are better or as good as probabilistic ones like the jittered sampling model. We find asymptotic equalities for the discrete Riesz s -energy of sequences of well separated t -designs on the unit sphere S d ⊂ R d + 1 , d ≥ 2 . The case d = 2 was studied in Hesse (2009) and Hesse and Leopardi (2008). In Bondarenko et al., (2015) it was established that for d ≥ 2 , there exists a constant c d , such that for every N > c d t d there exists a well-separated spherical t -design on S d with N points. This paper gives results, based on recent developments that there exists a sequence of well separated spherical t -designs such that t and N are related by N ≍ t d .

In the present paper, we discuss the approximation properties of Jain–Baskakov operators with parameter c. The paper deals with the modified forms of the Baskakov basis functions. Some direct results are established, which include the asymptotic formula, error estimation in terms of the modulus of continuity and weighted approximation. Also, we construct the King modification of these operators, which preserves the test functions e 0 {e_{0}} and e 1 {e_{1}} . It is shown that these King type operators provide a better approximation order than some Baskakov–Durrmeyer operators for continuous functions defined on some closed intervals.

First, a new convergence analysis is given for the semidiscrete (finite elements in space) numerical method that is used in Le et al. (2016, Numerical solution of the time-fractional Fokker–Planck equation with general forcing. SIAM J. Numer. Anal.,54 1763–1784) to solve the time-fractional Fokker–Planck equation on a domain $\varOmega \times [0,T]$ with general forcing, i.e., where the forcing term is a function of both space and time. Stability and convergence are proved in a fractional norm that is stronger than the $L^2(\varOmega )$ norm used in the above paper. Furthermore, unlike the bounds proved in Le et al., the constant multipliers in our analysis do not blow up as the order of the fractional derivative $\alpha $ approaches the classical value of $1$. Secondly, for the semidiscrete (L1 scheme in time) method for the same Fokker–Planck problem, we present a new $L^2(\varOmega )$ convergence proof that avoids a flaw in the analysis of Le et al.’s paper for the semidiscrete (backward Euler scheme in time) method.

In this paper we study the so called optimal polynomial meshes for domains in K ⊂ R d , d ≥ 2 . These meshes are discrete point sets Y n of cardinality c n d which have the property that ‖ p ‖ K ≤ A ‖ p ‖ Y n for every polynomial p of degree at most n with a constant A > 1 independent of n . It was conjectured earlier that optimal polynomial meshes exist in every convex domain. This statement was previously shown to hold for polytopes and C 2 like domains. In this paper we give a complete affirmative answer to the above conjecture when d = 2 .

The augmented Lagrangian method (ALM) is fundamental in solving convex programming problems with linear constraints. The proximal version of ALM, which regularizes ALM’s subproblem over the primal variable at each iteration by an additional positive-definite quadratic proximal term, has been well studied in the literature. In this paper we show that it is not necessary to employ a positive-definite quadratic proximal term for the proximal ALM and the convergence can be still ensured if the positive definiteness is relaxed to indefiniteness by reducing the proximal parameter. An indefinite proximal version of the ALM is thus proposed for the generic setting of convex programming problems with linear constraints. We show that our relaxation is optimal in the sense that the proximal parameter cannot be further reduced. The consideration of indefinite proximal regularization is particularly meaningful for generating larger step sizes in solving ALM’s primal subproblems. When the model under discussion is separable in the sense that its objective function consists of finitely many additive function components without coupled variables, it is desired to decompose each ALM’s subproblem over the primal variable in Jacobian manner, replacing the original one by a sequence of easier and smaller decomposed subproblems, so that parallel computation can be applied. This full Jacobian splitting version of the ALM is known to be not necessarily convergent, and it has been studied in the literature that its convergence can be ensured if all the decomposed subproblems are further regularized by sufficiently large proximal terms. But how small the proximal parameter could be is still open. The other purpose of this paper is to show the smallest proximal parameter for the full Jacobian splitting version of ALM for solving multi-block separable convex minimization models.

This paper is a follow-up to the recent paper of Pillichshammer and Sonnleitner (2020) [12] . We show that the isotropic discrepancy of a lattice point set is at most d 2 2 ( d + 1 ) times its spectral test, thereby correcting the dependence on the dimension d and an inaccuracy in the proof of the upper bound in Theorem 2 of the mentioned paper. The major task is to bound the volume of the neighbourhood of the boundary of a convex set contained in the unit cube. Further, we characterize averages of the distance to a lattice point set in terms of the spectral test. As an application, we infer that the spectral test – and with it the isotropic discrepancy – is crucial for the suitability of the lattice point set for the approximation of Sobolev functions.

[EN] This paper presents a methodology to quantify computationally the uncertainty in a class of differential equations often met in Mathematical Physics, namely random non-autonomous second-order linear differential equations, via adaptive generalized Polynomial Chaos (gPC) and the stochastic Galerkin projection technique. Unlike the random Frobenius method, which can only deal with particular random linear differential equations and needs the random inputs (coefficients and forcing term) to be analytic, adaptive gPC allows approximating the expectation and covariance of the solution stochastic process to general random second-order linear differential equations. The random inputs are allowed to functionally depend on random variables that may be independent or dependent, both absolutely continuous or discrete with infinitely many point masses. These hypotheses include a wide variety of particular differential equations, which might not be solvable via the random Frobenius method, in which the random input coefficients may be expressed via a Karhunen-Loeve expansion., This work has been supported by the Spanish Ministerio de Economia y Competitividad grant MTM2017-89664-P. Marc Jornet acknowledges the doctorate scholarship granted by Programa de Ayudas de Investigacion y Desarrollo (PAID), Universitat Politecnica de Valencia. The authors are grateful for the valuable comments raised by the reviewer, which have improved the final version of the paper.