Strong NP-hardness of scheduling problems with learning or aging effect

Proofs of strong NP-hardness of single machine and two-machine flowshop scheduling problems with learning or aging effect given in Rudek (Computers & Industrial Engineering 61:20–31, 2011; Annals of Operations Research 196(1):491–516, 2012a; International Journal of Advanced Manufacturing Technology 59:299–309, 2012b; Applied Mathematics and Computations 218:6498–6510, 2012c; Applied Mathematical Modelling 37:1523–1536, 2013) contain a common mistake that make them incomplete. We reveal the mistake and provide necessary corrections for the problems in Rudek (Computers & Industrial Engineering 61:20–31, 2011; Annals of Operations Research 196(1):491–516, 2012a; Applied Mathematical Modelling 37:1523–1536, 2013). NP-hardness of problems in Rudek (International Journal of Advanced Manufacturing Technology 59:299–309, 2012b; Applied Mathematics and Computations 218:6498–6510, 2012c) remains unknown because of another mistake which we are unable to correct.     

On the computation of all eigenvalues for the eigenvalue complementarity problem

In this paper, a parametric algorithm is introduced for computing all eigenvalues for two Eigenvalue Complementarity Problems discussed in the literature. The algorithm searches a finite number of nested intervals \([\bar{l}, \bar{u}]\) in such a way that, in each iteration, either an eigenvalue is computed in \([\bar{l}, \bar{u}]\) or a certificate of nonexistence of an eigenvalue in \([\bar{l}, \bar{u}]\) is provided. A hybrid method that combines an enumerative method [1] and a semi-smooth algorithm [2] is discussed for dealing with the Eigenvalue Complementarity Problem over an interval \([\bar{l}, \bar{u}]\) . Computational experience is presented to illustrate the efficacy and efficiency of the proposed techniques.     

Blow up for the critical generalized Korteweg–de Vries equation. I: Dynamics near the soliton

We consider the quintic generalized Korteweg–de Vries equation (gKdV) $$u_t + (u_{xx} + u^5)_x =0,$$ which is a canonical mass critical problem, for initial data in H ¹ close to the soliton. In earlier works on this problem, finite- or infinite-time blow up was proved for non-positive energy solutions, and the solitary wave was shown to be the universal blow-up profile, see [16], [26] and [20]. For well-localized initial data, finite-time blow up with an upper bound on blow-up rate was obtained in [18]. In this paper, we fully revisit the analysis close to the soliton for gKdV in light of the recent progress on the study of critical dispersive blow-up problems (see [31], [39], [32] and [33], for example). For a class of initial data close to the soliton, we prove that three scenarios only can occur: (i) the solution leaves any small neighborhood of the modulated family of solitons in the scale invariant L ² norm; (ii) the solution is global and converges to a soliton as t → ∞; (iii) the solution blows up in finite time T with speed $$\|u_x(t)\|_{L^2} \sim \frac{C(u_0)}{T-t} \quad {\rm as}\, t\to T.$$ Moreover, the regimes (i) and (iii) are stable. We also show that non-positive energy yields blow up in finite time, and obtain the characterization of the solitary wave at the zero-energy level as was done for the mass critical non-linear Schrödinger equation in [31].     

Quasi-stationary stefan problem with values on the front depending on its geometry

The problem presented below is a singular-limit problem of the extension of the Cahn-Hilliard model obtained via introducing the asymmetry of the surface tension tensor under one of the truncations (approximations) of the inner energy [2, 5–8, 10, 12, 13].     

An improved local convergence analysis for a two-step Steffensen-type method

We study a class of Steffensen-type algorithm for solving nonsmooth variational inclusions in Banach spaces. We provide a local convergence analysis under ω-conditioned divided difference, and the Aubin continuity property. This work on the one hand extends the results on local convergence of Steffensen’s method related to the resolution of nonlinear equations (see Amat and Busquier in Comput. Math. Appl. 49:13–22, 2005; J. Math. Anal. Appl. 324:1084–1092, 2006; Argyros in Southwest J. Pure Appl. Math. 1:23–29, 1997; Nonlinear Anal. 62:179–194, 2005; J. Math. Anal. Appl. 322:146–157, 2006; Rev. Colomb. Math. 40:65–73, 2006; Computational Theory of Iterative Methods, 2007). On the other hand our approach improves the ratio of convergence and enlarges the convergence ball under weaker hypotheses than one given in Hilout (Commun. Appl. Nonlinear Anal. 14:27–34, 2007).     

3-Nets realizing a group in a projective plane

In a projective plane $\mathit{PG}(2,\mathbb{K})$ defined over an algebraically closed field $\mathbb{K}$ of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky (Compos. Math. 140:1614–1624, 2004), arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky (Adv. Math. 219:672–688, 2008), comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzúa’s 3-nets (Adv. Geom. 10:287–310, 2010) realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds in characteristic p>0 apart from three possible exceptions $\rm{Alt}_{4}$ , $\rm{Sym}_{4}$ , and $\rm{Alt}_{5}$ . Motivation for the study of finite 3-nets in the complex plane comes from the study of complex line arrangements and from resonance theory; see (Falk and Yuzvinsky in Compos. Math. 143:1069–1088, 2007; Miguel and Buzunáriz in Graphs Comb. 25:469–488, 2009; Pereira and Yuzvinsky in Adv. Math. 219:672–688, 2008; Yuzvinsky in Compos. Math. 140:1614–1624, 2004; Yuzvinsky in Proc. Am. Math. Soc. 137:1641–1648, 2009).     

L p -theory for second-order elliptic operators with unbounded coefficients

Second-order elliptic operators with unbounded coefficients of the form ${Au := -{\rm div}(a\nabla u) + F . \nabla u + Vu}$ in ${L^{p}(\mathbb{R}^{N}) (N \in \mathbb{N}, 1 < p < \infty)}$ are considered, which are the same as in recent papers Metafune et?al. (Z Anal Anwendungen 24:497–521, 2005), Arendt et?al. (J Operator Theory 55:185–211, 2006; J Math Anal Appl 338: 505–517, 2008) and Metafune et?al. (Forum Math 22:583–601, 2010). A new criterion for the m-accretivity and m-sectoriality of A in ${L^{p}(\mathbb{R}^{N})}$ is presented via a certain identity that behaves like a sesquilinear form over L ^p ×?L ^p'. It partially improves the results in (Metafune et?al. in Z Anal Anwendungen 24:497–521, 2005) and (Metafune et?al. in Forum Math 22:583–601, 2010) with a different approach. The result naturally extends Kato’s criterion in (Kato in Math Stud 55:253–266, 1981) for the nonnegative selfadjointness to the case of p ≠?2. The simplicity is illustrated with the typical example ${Au = -u\hspace{1pt}'' + x^{3}u\hspace{1pt}' + c |x|^{\gamma}u}$ in ${L^p(\mathbb{R})}$ which is dealt with in (Arendt et?al. in J Operator Theory 55:185–211, 2006; Arendt et?al. in J Math Anal Appl 338: 505–517, 2008).     

On some free boundary problem for a compressible barotropic viscous fluid flow

In this paper, we prove a local in time unique existence theorem for the free boundary problem of a compressible barotropic viscous fluid flow without surface tension in the \(L_p\) in time and \(L_q\) in space framework with \(2 < p < \infty \) and \(N < q < \infty \) under the assumption that the initial domain is a uniform \(W^{2-1/q}_q\) one in \({\mathbb {R}}^{N}\, (N \ge 2\) ). After transforming a unknown time dependent domain to the initial domain by the Lagrangian transformation, we solve problem by the Banach contraction mapping principle based on the maximal \(L_p\) – \(L_q\) regularity of the generalized Stokes operator for the compressible viscous fluid flow with free boundary condition. The key issue for the linear theorem is the existence of \({\mathcal {R}}\) -bounded solution operator in a sector, which combined with Weis’s operator valued Fourier multiplier theorem implies the generation of analytic semigroup and the maximal \(L_p\) – \(L_q\) regularity theorem. The nonlinear problem we studied here was already investigated by several authors (Denisova and Solonnikov, St. Petersburg Math J 14:1–22, 2003; J Math Sci 115:2753–2765, 2003; Secchi, Commun PDE 1:185–204, 1990; Math Method Appl Sci 13:391–404, 1990; Secchi and Valli, J Reine Angew Math 341:1–31, 1983; Solonnikov and Tani, Constantin carathéodory: an international tribute, vols 1, 2, pp 1270–1303, World Scientific Publishing, Teaneck, 1991; Lecture notes in mathematics, vol 1530, Springer, Berlin, 1992; Tani, J Math Kyoto Univ 21:839–859, 1981; Zajaczkowski, SIAM J Math Anal 25:1–84, 1994) in the \(L_2\) framework and Hölder spaces, but our approach is different from them.     

Mutually-adjoint boundary-value problems with deviation from the characteristic for a multidimensional Gellerstedt equation

In this paper, we study mutually-adjoint boundary-value problems with a deviation from the characteristic for multidimensional Gellerstedt equation. In [3, 4], for the equation of the vibration of a string, the boundary-value problem with a deviation from the characteristic was studied, where the main attention was paid to the study of such problems for hyperbolic equations. For hyperbolic equations on the plane, this problem was studied in [5, 9].     

Weak Fenchel and weak Fenchel-Lagrange conjugate duality for nonconvex scalar optimization problems

In this work, by using weak conjugate maps given in (Azimov and Gasimov, in Int J Appl Math 1:171–192, 1999), weak Fenchel conjugate dual problem, ${(D_F^w)}$ , and weak Fenchel Lagrange conjugate dual problem ${(D_{FL}^w)}$ are constructed. Necessary and sufficient conditions for strong duality for the ${(D_F^w)}$ , ${(D_{FL}^w)}$ and primal problem are given. Furthermore, relations among the optimal objective values of dual problem constructed by using Augmented Lagrangian in (Azimov and Gasimov, in Int J Appl Math 1:171–192, 1999), ${(D_F^w)}$ , ${(D_{FL}^w)}$ dual problems and primal problem are examined. Lastly, necessary and sufficient optimality conditions for the primal and the dual problems ${(D_F^w)}$ and ${(D_{FL}^w)}$ are established.     

Improved Sobolev embeddings,profile decomposition,and concentration-compactness for fractional Sobolev spaces

We obtain an improved Sobolev inequality in \(\dot{H}^s\) spaces involving Morrey norms. This refinement yields a direct proof of the existence of optimizers and the compactness up to symmetry of optimizing sequences for the usual Sobolev embedding. More generally, it allows to derive an alternative, more transparent proof of the profile decomposition in \(\dot{H}^s\) obtained in Gérard (ESAIM Control Optim Calc Var 3:213–233, 1998) using the abstract approach of dislocation spaces developed in Tintarev and Fieseler (Concentration compactness. Functional-analytic grounds and applications. Imperial College Press, London, 2007). We also analyze directly the local defect of compactness of the Sobolev embedding in terms of measures in the spirit of Lions (Rev Mat Iberoamericana 1:145–201, 1985, Rev Mat Iberoamericana 1:45–121, 1985). As a model application, we study the asymptotic limit of a family of subcritical problems, obtaining concentration results for the corresponding optimizers which are well known when \(s\) is an integer (Rey in Manuscr Math 65:19–37, 1989, Han in Ann Inst Henri Poincaré Anal Non Linéaire 8:159–174, 1991, Chou and Geng in Differ Integral Equ 13:921–940, 2000).     

The strong convergence of a three-step algorithm for the split feasibility problem

Based on the very recent work by Dang and Gao (Invers Probl 27:1–9, 2011) and Wang and Xu (J Inequal Appl, doi:10.1155/2010/102085, 2010), and inspired by Yao (Appl Math Comput 186:1551–1558, 2007), Noor (J Math Anal Appl 251:217–229, 2000), and Xu (Invers Probl 22:2021–2034, 2006), we suggest a three-step KM-CQ-like method for solving the split common fixed-point problems in Hilbert spaces. Our results improve and develop previously discussed feasibility problem and related algorithms.     

New dominance rules and exploration strategies for?the?1|ri|∑Ui scheduling problem

The paper proposes a new exact approach, based on a Branch, Bound, and Remember (BB&R) algorithm that uses the Cyclic Best First Search (CBFS) strategy, for the 1|r _i |∑U _i scheduling problem, a single machine scheduling problem, where the objective is to find a schedule with the minimum number of tardy jobs. The search space is reduced using new and improved dominance properties and tighter upper bounds, based on a new dynamic programming algorithm. Computational results establish the effectiveness of the BB&R algorithm with CBFS for a broad spectrum of problem instances. In particular, this algorithm was able to solve all problems instances, up to 300 jobs, while existing best known algorithms only solve problems instances up to 200 jobs. Furthermore, the BB&R algorithm with CBFS runs one to two orders of magnitude faster than the current best known algorithm on comparable instances.     

A tableau formula for eta polynomials

We use the Pieri and Giambelli formulas of Buch et al. (Invent Math 178:345–405, 2009; J Reine Angew, 2013) and the calculus of raising operators developed in Buch et al. (A Giambelli formula for isotropic Grassmannians, arXiv:0811.2781, 2008) and Tamvakis (J Reine Angew Math 652, 207–244, 2011) to prove a tableau formula for the eta polynomials of Buch et al. (J Reine Angew, 2013) and the Stanley symmetric functions which correspond to Grassmannian elements of the Weyl group $\widetilde{W}_n$ of type $\text {D}_n$ . We define the skew elements of $\widetilde{W}_n$ and exhibit a bijection between the set of reduced words for any skew $w\in \widetilde{W}_n$ and a set of certain standard typed tableaux on a skew shape $\lambda /\mu $ associated to $w$ .     

Real hypersurfaces in complex two-plane Grassmannians with generalized Tanaka–Webster Reeb parallel shape operator

In a paper due to Jeong et al. (Kodai Math J 34(3):352–366, 2011) we have shown that there does not exist a hypersurface in $G_{2}({\mathbb{C }}^{m+2})$ with parallel shape operator in the generalized Tanaka–Webster connection (see Tanaka in Jpn J Math 20:131–190, 1976; Tanno in Trans Am Math Soc 314(1):349–379, 1989). In this paper, we introduce the notion of the Reeb parallel in the sense of generalized Tanaka–Webster connection for a hypersurface $M$ in $G_{2}({\mathbb{C }}^{m+2})$ and prove that $M$ is an open part of a tube around a totally geodesic $G_2(\mathbb{C }^{m+1})$ in $G_2(\mathbb{C }^{m+2})$ .     

Some Recent Developments on Hopf��s Holomorphic Form

Hopf??s theorem on surfaces in ${\mathbb{R}^3}$ with constant mean curvature (Hopf in Math Nach 4:232?C249, 1950-51) was a turning point in the study of such surfaces. In recent years, Hopf-type theorems appeared in various ambient spaces, (Abresch and Rosenberg in Acta Math 193:141?C174, 2004 and Abresch and Rosenberg in Mat Contemp Sociedade Bras Mat 28:283-298, 2005). The simplest case is the study of surfaces with parallel mean curvature vector in ${M_k^n \times \mathbb{R}, n \ge 2}$ , where ${M_k^n}$ is a complete, simply-connected Riemannian manifold with constant sectional curvature k ?? 0. The case n?=?2 was solved in Abresch and Rosenberg 2004. Here we describe some new results for arbitrary n.     

Index sets and Scott sentences

For a computable structure \({\mathcal{A}}\) , there may not be a computable infinitary Scott sentence. When there is a computable infinitary Scott sentence \({\varphi}\) , then the complexity of the index set \({I(\mathcal{A})}\) is bounded by that of \({\varphi}\) . There are results (Ash and Knight in Computable structures and the hyperarithmetical hierarchy. Elsevier, Amsterdam, 2000; Calvert et al. in Algeb Log 45:306–315, 2006; Carson et al. in Trans Am Math Soc 364:5715–5728, 2012; McCoy and Wallbaum in Trans Am Math Soc 364:5729–5734, 2012; Knight and Saraph in Scott sentences for certain groups, pre-print) giving “optimal” Scott sentences for structures of various familiar kinds. These results have been driven by the thesis that the complexity of the index set should match that of an optimal Scott sentence (Ash and Knight in Computable structures and the hyperarithmetical hierarchy. Elsevier, Amsterdam, 2000; Calvert et al. in Algeb Log 45:306–315, 2006; Carson et al. in Trans Am Math Soc 364:5715–5728, 2012; McCoy and Wallbaum in Trans Am Math Soc 364:5729–5734, 2012). In this note, it is shown that the thesis does not always hold. For a certain subgroup of \({\mathbb{Q}}\) , there is no computable d- \({\Sigma_2}\) Scott sentence, even though (as shown in Ash and Knight in Scott sentences for certain groups, pre-print) the index set is d- \({\Sigma^0_2}\) .     

Bounds of Singular Integrals on Weighted Hardy Spaces and Discrete Littlewood–Paley Analysis

We apply the discrete version of Calderón??s reproducing formula and Littlewood?CPaley theory with weights to establish the $H^{p}_{w} \to H^{p}_{w}$ (0<p<??) and $H^{p}_{w}\to L^{p}_{w}$ (0<p??1) boundedness for singular integral operators and derive some explicit bounds for the operator norms of singular integrals acting on these weighted Hardy spaces when we only assume w??A _??. The bounds will be expressed in terms of the A _q constant of w if q>q _w =inf?{s:w??A _s }. Our results can be regarded as a natural extension of the results about the growth of the A _p constant of singular integral operators on classical weighted Lebesgue spaces $L^{p}_{w}$ in Hytonen et al. (arXiv:1006.2530, 2010; arXiv:0911.0713, 2009), Lerner (Ill.?J.?Math. 52:653?C666, 2008; Proc. Am. Math. Soc. 136(8):2829?C2833, 2008), Lerner et?al. (Int.?Math. Res. Notes 2008:rnm 126, 2008; Math. Res. Lett. 16:149?C156, 2009), Lacey et?al. (arXiv:0905.3839v2, 2009; arXiv:0906.1941, 2009), Petermichl (Am. J. Math. 129(5):1355?C1375, 2007; Proc. Am. Math. Soc. 136(4):1237?C1249, 2008), and Petermichl and Volberg (Duke Math. J. 112(2):281?C305, 2002). Our main result is stated in Theorem?1.1. Our method avoids the atomic decomposition which was usually used in proving boundedness of singular integral operators on Hardy spaces.     

Stability in nonlinear neutral integro-differential equations with variable delay using fixed point theory

The nonlinear neutral integro-differential equation $$\frac{d}{dt}x ( t ) =-\int_{t-\tau ( t ) }^{t}a ( t,s ) g \bigl( x ( s ) \bigr) ds+\frac{d}{dt}G \bigl( t,x \bigl( t-\tau ( t ) \bigr) \bigr) , $$ with variable delay τ(t)≥0 is investigated. We find suitable conditions for τ, a, g and G so that for a given continuous initial function ψ a mapping P for the above equation can be defined on a carefully chosen complete metric space $S_{\psi }^{0}$ in which P possesses a unique fixed point. The final result is an asymptotic stability theorem for the zero solution with a necessary and sufficient condition. The obtained theorem improves and generalizes previous results due to Burton (Proc. Am. Math. Soc. 132:3679–3687, 2004), Becker and Burton (Proc. R. Soc. Edinb., A 136:245–275, 2006) and Jin and Luo (Comput. Math. Appl. 57:1080–1088, 2009).