Non-Decaying Solutions to the Navier Stokes Equations in Exterior Domains

We establish a new theorem of existence (and uniqueness) of solutions to the Navier-Stokes initial boundary value problem in exterior domains. No requirement is made on the convergence at infinity of the kinetic field and of the pressure field. These solutions are called non-decaying solutions. The first results on this topic dates back about 40 years ago see the references (Galdi and Rionero in Ann. Mat. Pures Appl. 108:361–366, 1976, Arch. Ration. Mech. Anal. 62:295–301, 1976, Arch. Ration. Mech. Anal. 69:37–52, 1979, Pac. J. Math. 104:77–83, 1980; Knightly in SIAM J. Math. Anal. 3:506–511, 1972). In the articles Galdi and Rionero (Ann. Mat. Pures Appl. 108:361–366, 1976, Arch. Ration. Mech. Anal. 62:295–301, 1976, Arch. Ration. Mech. Anal. 69:37–52, 1979, Pac. J. Math. 104:77–83, 1980) it was introduced the so called weight function method to study the uniqueness of solutions. More recently, the problem has been considered again by several authors (see Galdi et al. in J. Math. Fluid Mech. 14:633–652, 2012, Quad. Mat. 4:27–68, 1999, Nonlinear Anal. 47:4151–4156, 2001; Kato in Arch. Ration. Mech. Anal. 169:159–175, 2003; Kukavica and Vicol in J. Dyn. Differ. Equ. 20:719–732, 2008; Maremonti in Mat. Ves. 61:81–91, 2009, Appl. Anal. 90:125–139, 2011).     

On the Gauss–Newton method

We provide a new semilocal convergence analysis of the Gauss–Newton method (GNM) for solving nonlinear equation in the Euclidean space. Using a combination of center-Lipschitz, Lipschitz conditions, and our new idea of recurrent functions, we provide under the same or weaker hypotheses than before (Ben-Israel, J. Math. Anal. Appl. 15:243–252, 1966; Chen and Nashed, Numer. Math. 66:235–257, 1993; Deuflhard and Heindl, SIAM J. Numer. Anal. 16:1–10, 1979; Guo, J. Comput. Math. 25:231–242, 2007; Häußler, Numer. Math. 48:119–125, 1986; Hu et al., J. Comput. Appl. Math. 219:110–122, 2008; Kantorovich and Akilov, Functional Analysis in Normed Spaces, Pergamon, Oxford, 1982), a finer convergence analysis. The results can be extended in case outer or generalized inverses are used. Numerical examples are also provided to show that our results apply, where others fail (Ben-Israel, J. Math. Anal. Appl. 15:243–252, 1966; Chen and Nashed, Numer. Math. 66:235–257, 1993; Deuflhard and Heindl, SIAM J. Numer. Anal. 16:1–10, 1979; Guo, J. Comput. Math. 25:231–242, 2007; Häußler, Numer. Math. 48:119–125, 1986; Hu et al., J. Comput. Appl. Math. 219:110–122, 2008; Kantorovich and Akilov, Functional Analysis in Normed Spaces, Pergamon, Oxford, 1982).     

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

Linearly Implicit Approximations of Diffusive Relaxation Systems

Diffusive relaxation systems provide a general framework to approximate nonlinear diffusion problems, also in the degenerate case (Aregba-Driollet et al. in Math. Comput. 73(245):63–94, 2004; Boscarino et al. in Implicit-explicit Runge-Kutta schemes for hyperbolic systems and kinetic equations in the diffusion limit, 2011; Cavalli et al. in SIAM J. Sci. Comput. 34:A137–A160, 2012; SIAM J. Numer. Anal. 45(5):2098–2119, 2007; Naldi and Pareschi in SIAM J. Numer. Anal. 37:1246–1270, 2000; Naldi et al. in Surveys Math. Indust. 10(4):315–343, 2002). Their discretization is usually obtained by explicit schemes in time coupled with a suitable method in space, which inherits the standard stability parabolic constraint. In this paper we combine the effectiveness of the relaxation systems with the computational efficiency and robustness of the implicit approximations, avoiding the need to resolve nonlinear problems and avoiding stability constraints on time step. In particular we consider an implicit scheme for the whole relaxation system except for the nonlinear source term, which is treated though a suitable linearization technique. We give some theoretical stability results in a particular case of linearization and we provide insight on the general case. Several numerical simulations confirm the theoretical results and give evidence of the stability and convergence also in the case of nonlinear degenerate diffusion.     

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.     

On Ulm’s method for Fréchet differentiable operators

We provide new sufficient convergence conditions for the semilocal convergence of Ulm’s method (Izv. Akad. Nauk Est. SSR 16:403–411, 1967) in order to approximate a locally unique solution of an equation in a Banach space setting. We show that in some cases, our hypotheses hold true but the corresponding ones (Burmeister in Z. Angew. Math. Mech. 52:101–110, 1972; Kornstaedt in Aequ. Math. 13:21–45, 1975; Petzeltova in Comment. Math. Univ. Carol. 21:719–725, 1980; Potra and Ptǎk in Cas. Pest. Mat. 108:333–341, 1983; Ulm in Izv. Akad. Nauk Est. SSR 16:403–411, 1967) do not. We also show that under the same hypotheses and computational cost as (Burmeister in Z. Angew. Math. Mech. 52:101–110, 1972; Kornstaedt in Aequ. Math. 13:21–45, 1975; Petzeltova in Comment. Math. Univ. Carol. 21:719–725, 1980; Potra and Ptǎk in Cas. Pest. Mat. 108:333–341, 1983; Ulm in Izv. Akad. Nauk Est. SSR 16:403–411, 1967) finer error sequences can be obtained. Numerical examples are also provided further validating the results.     

Newton Polyhedra of Discriminants of Projections

For a system of polynomial equations, whose coefficients depend on parameters, the Newton polyhedron of its discriminant is computed in terms of the Newton polyhedra of the coefficients. This leads to an explicit formula (involving Euler obstructions of toric varieties) in the unmixed case, suggests certain open questions in general, and generalizes a number of similar known results (Gelfand et al. in Discriminants, resultants, and multidimensional determinants. Birkhäuser, Boston, 1994; Sturmfels in J. Algebraic Comb. 32(2):207–236, 1994; McDonald in Discrete Comput. Geom. 27:501–529, 2002; Gonzalez-Perez in Can. J. Math. 52(2):348-368, 2000; Esterov and Khovanskii in Funct. Anal. Math. 2(1), 2008).     

Directional Lipschitzness of Minimal Time Functions in Hausdorff Topological Vector Spaces

In a general Hausdorff topological vector space E, we associate to a given nonempty closed set S???E and a bounded closed set Ω???E, the minimal time function T _S,Ω defined by $T_{S,\Omega}(x):= \inf \{ t> 0: S\cap (x+t\Omega)\not = \emptyset\}$ . The study of this function has been the subject of various recent works (see Bounkhel (2012, submitted, 2013, accepted); Colombo and Wolenski (J Global Optim 28:269–282, 2004, J Convex Anal 11:335–361, 2004); He and Ng (J Math Anal Appl 321:896–910, 2006); Jiang and He (J Math Anal Appl 358:410–418, 2009); Mordukhovich and Nam (J Global Optim 46(4):615–633, 2010) and the references therein). The main objective of this work is in this vein. We characterize, for a given Ω, the class of all closed sets S in E for which T _S,Ω is directionally Lipschitz in the sense of Rockafellar (Proc Lond Math Soc 39:331–355, 1979). Those sets S are called Ω-epi-Lipschitz. This class of sets covers three important classes of sets: epi-Lipschitz sets introduced in Rockafellar (Proc Lond Math Soc 39:331–355, 1979), compactly epi-Lipschitz sets introduced in Borwein and Strojwas (Part I: Theory, Canad J Math No. 2:431–452, 1986), and K-directional Lipschitz sets introduced recently in Correa et al. (SIAM J Optim 20(4):1766–1785, 2010). Various characterizations of this class have been established. In particular, we characterize the Ω-epi-Lipschitz sets by the nonemptiness of a new tangent cone, called Ω-hypertangent cone. As for epi-Lipschitz sets in Rockafellar (Canad J Math 39:257–280, 1980) we characterize the new class of Ω-epi-Lipschitz sets with the help of other cones. The spacial case of closed convex sets is also studied. Our main results extend various existing results proved in Borwein et al. (J Convex Anal 7:375–393, 2000), Correa et al. (SIAM J Optim 20(4):1766–1785, 2010) from Banach spaces and normed spaces to Hausdorff topological vector spaces.     

On the ellipticity of coupled finite element and one-equation boundary element methods for boundary value problems

In this paper we extend some recent results on the stability of the Johnson–Nédelec coupling of finite and boundary element methods in the case of boundary value problems. In Of and Steinbach (Z Angew Math Mech 93:476–484, 2013), Sayas (SIAM J Numer Anal 47:3451–3463, 2009) and Steinbach (SIAM J Numer Anal 49:1521–1531, 2011), the case of a free-space transmission problem was considered, and sufficient and necessary conditions are stated which ensure the ellipticity of the bilinear form for the coupled problem. The proof was based on considering the energies which are related to both the interior and exterior problem. In the case of boundary value problems for either interior or exterior problems, additional estimates are required to bound the energy for the solutions of related subproblems. Moreover, several techniques for the stabilization of the coupled formulations are analysed. Applications involve boundary value problems with either hard or soft inclusions, exterior boundary value problems, and macro-element techniques.     

Gradient Estimates for the Porous Medium Equations on Riemannian Manifolds

In this paper we study gradient estimates for the positive solutions of the porous medium equation: $$u_t=\Delta u^m$$ where m>1, which is a nonlinear version of the heat equation. We derive local gradient estimates of the Li–Yau type for positive solutions of porous medium equations on Riemannian manifolds with Ricci curvature bounded from below. As applications, several parabolic Harnack inequalities are obtained. In particular, our results improve the ones of Lu, Ni, Vázquez, and Villani (in J. Math. Pures Appl. 91:1–19, 2009). Moreover, our results recover the ones of Davies (in Cambridge Tracts Math vol. 92, 1989), Hamilton (in Comm. Anal. Geom. 1:113–125, 1993) and Li and Xu (in Adv. Math. 226:4456–4491, 2011).     

Dynamical system solutions for homogeneous linear functional equations of higher order

We present the solution of a large class of homogeneous linear functional equations of higher order by using ideas from dynamical systems. A particularly simple example from this class is the functional equation $$f(x) = \frac{1}{2}f \left(\frac{x}{2}\right) + \frac{1}{2}f \left(\frac{x+1}{2}\right), \quad 0 < x < 1.$$ Equations such as these have found important applications in wavelet theory by Hilberdink (Aequa Math 61(1–2):179–189, 2001) where they are called dilation equations and are usually solved by Fourier methods by Daubechies (Comm Pure Appl Math 41(7):909–996, 1988) or iteration methods of Daubechies (SIAM J Math Anal 22(5):1388–1410, 1991). A recent result of Góra (Ergod Theory Dyn Syst 29(5):1549–1583, 2009) allows us to represent the solution as an infinite series that is determined by the dynamics of a map that is defined by the functional equation. In this problem the interplay between dynamical systems and solutions of functional equations is brought into sharp focus.     

On the comparison of a Kantorovich-type and Moore theorems

It was shown in Zhue and Wolfe (Nonlinear Anal. 15(2):229–232, 1990) that the hypotheses of the affine invariant Moore theorem for solving nonlinear equations using Newton’s method are always valid when those of the Kantorovich theorem due to Deuflhard and Heindl (SIAM J. Numer. Anal. 16:1–10, 1980) hold but not necessarily vice versa. Here we show that this result is not true in general for a weaker version of the Kantorovich theorem shown recently by us in Argyros (Advances in the Efficiency of Computational Methods and Applications, World Scientific, Singapore, 2000; Int. J. Comput. Math. 80:5, 2002) and Argyros and Szidarovszky (The Theory and Applications of Iteration Methods, CRC Press, Boca Raton, 1993).     

Prescribing the behavior of early terminating GMRES and Arnoldi iterations

We generalize and extend results of the series of papers by Greenbaum and Strako? (IMA Vol Math Appl 60:95–118, 1994), Greenbaum et al. (SIAM J Matrix Anal Appl 17(3):465–469, 1996), Arioli et al. (BIT 38(4):636–643, 1998) and Duintjer Tebbens and Meurant (SIAM J Matrix Anal Appl 33(3):958–978, 2012). They show how to construct matrices with right-hand sides generating a prescribed GMRES residual norm convergence curve as well as prescribed Ritz values in all iterations, including the eigenvalues, and give parametrizations of the entire class of matrices and right-hand sides with these properties. These results assumed that the underlying Arnoldi orthogonalization processes are breakdown-free and hence considered non-derogatory matrices only. We extend the results with parametrizations of classes of general nonsingular matrices with right-hand sides allowing the early termination case and also give analogues for the early termination case of other results related to the theory developed in the papers mentioned above.     

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

More about λ-support iterations of (<λ)-complete forcing notions

This article continues Ros?anowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ ⁺ (for a strongly inaccessible cardinal λ).     

Some results on the large-time behavior of weakly coupled systems of first-order Hamilton–Jacobi equations

Systems of Hamilton–Jacobi equations arise naturally when we study optimal control problems with pathwise deterministic trajectories with random switching. In this work, we are interested in the large-time behavior of weakly coupled systems of first-order Hamilton–Jacobi equations in the periodic setting. First results have been obtained by Camilli et al. (NoDEA Nonlinear Diff Eq Appl, 2012) and Mitake and Tran (Asymptot Anal, 2012) under quite strict conditions. Here, we use a PDE approach to extend the convergence result proved by Barles and Souganidis (SIAM J Math Anal 31(4):925–939 (electronic), 2000) in the scalar case. This result permits us to treat general cases, for instance, systems of nonconvex Hamiltonians and systems of strictly convex Hamiltonians. We also obtain some other convergence results under different assumptions. These results give a clearer view on the large-time behavior for systems of Hamilton–Jacobi equations.     

Constructive finite free resolutions

Northcott’s book Finite Free Resolutions (1976), as well as the paper (J. Reine Angew. Math. 262/263:205–219, 1973), present some key results of Buchsbaum and Eisenbud (J. Algebra 25:259–268, 1973; Adv. Math. 12: 84–139, 1974) both in a simplified way and without Noetherian hypotheses, using the notion of latent nonzero divisor introduced by Hochster. The goal of this paper is to simplify further the proofs of these results, which become now elementary in a logical sense (no use of prime ideals, or minimal prime ideals) and, we hope, more perspicuous. Some formulations are new and more general than in the references (J. Algebra 25:259–268, 1973; Adv. Math. 12: 84–139, 1974; Finite Free Resolutions 1976) (Theorem 7.2, Lemma 8.2 and Corollary 8.5).     

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.     

A Newton-like method for generalized operator equations in Banach spaces

In this paper, we are concerned with the semilocal convergence analysis of a Newton-like method discussed by Bartle (Amer Math Soc 6: 827–831, 1955) to solve the generalized operator equations containing nondifferentiatble term in Banach spaces. This method has also been studied by Rheinboldt (SIAM J Numer Anal 5: 42–63, 1968). The aim of the paper is to discuss the convergence analysis under local Lipschitz condition \(\|F'_{x}-F'_{x_{0}}\|\le \omega (\|x-x_{0}\|)\) for a given point \(x_{0}\) . Our results extend and improve the previous ones in the sense of local Lipschitz conditions. We apply our results to solve the Fredholm-type operator equations.