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

Changing-sign bubble solutions for an anisotropic sinh-Poisson equation

We consider the following anisotropic sinh-Poisson equation $${\rm div} (a(x) \nabla u)+ 2\varepsilon^2 a(x) {\rm sinh}\,u=0\ \ {\rm in}\ \Omega, \quad u=0 \ \ {\rm on}\ \partial \Omega,$$ where ${\Omega \subset \mathbb{R}^2}$ is a bounded smooth domain and a(x) is a positive smooth function. We investigate the effect of anisotropic coefficient ${a(x)}$ on the existence of bubbling solutions. We show that there exists a family of solutions u _?? concentrating positively and negatively at ${\bar{x}}$ , a given local critical point of a(x), for ?? sufficiently small, for which with the property $$2\varepsilon^2a(x){\rm sinh} u_\varepsilon \rightharpoonup 8\pi\sum\limits_{j=1}^{m}b_j\delta_{\bar{x}},$$ where ${b_j=\pm 1}$ . This result shows a striking difference with the isotropic case (a(x) ?? Constant) in Bartolucci and Pistoia (IMA J Appl Math 72(6):706?C729, 2007), Jost et?al. (Calc Var Partial Differ Equ 31:263?C276, 2008) and Esposito and Wei (Calc Var Partial Differ Equ 34:341?C375, 2009).     

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

Global dynamics above the ground state energy for the cubic NLS equation in 3D

We extend the result in Nakanishi and Schlag (J Differ Equ 250:2299–2333, 2011) on the nonlinear Klein–Gordon equation to the nonlinear Schr?dinger equation with the focusing cubic nonlinearity in three dimensions, for radial data of energy at most slightly above that of the ground state. We prove that the initial data set splits into nine nonempty, pairwise disjoint regions which are characterized by the distinct behaviors of the solution for large time: blow-up, scattering to 0, or scattering to the family of ground states generated by the phase and scaling freedom. Solutions of this latter type form a smooth center-stable manifold, which contains the ground states and separates the phase space locally into two connected regions exhibiting blow-up and scattering to 0, respectively. The special solutions found by Duyckaerts and Roudenko (Rev Mater Iberoam 26(1):1–56, 2010), following the seminal work on threshold solutions by Duyckaerts and Merle (Funct Anal 18(6):1787–1840, 2009), appear here as the unique one-dimensional unstable/stable manifolds emanating from the ground states. In analogy with Nakanishi and Schlag (J Differ Equ 250:2299–2333, 2011), the proof combines the hyperbolic dynamics near the ground states with the variational structure away from them. The main technical ingredient in the proof is a “one-pass” theorem which precludes “almost homoclinic orbits”, i.e., those solutions starting in, then moving away from, and finally returning to, a small neighborhood of the ground states. The main new difficulty compared with the Klein–Gordon case is the lack of finite propagation speed. We need the radial Sobolev inequality for the error estimate in the virial argument. Another major difference between Nakanishi and Schlag (J Differ Equ 250:2299–2333, 2011) and this paper is the need to control two modulation parameters.     

Error estimates for series solutions to a class of nonlinear integral equations of mixed type

In this paper, we prove that the accelerated Adomian polynomials formula suggested by Adomian (Nonlinear Stochastic Systems: Theory and Applications to Physics, Kluwer, Dordrecht, 1989) and the accelerated formula suggested by El-Kalla (Int. J. Differ. Equs. Appl. 10(2):225?C234, 2005; Appl. Math. E-Notes 7:214?C221, 2007) are identically the same. The Kalla-iterates exhibit the same faster convergence exhibited by Adomian??s accelerated iterates with the additional advantage of absence of any derivative terms in the recursion, thereby allowing for ease of computation. Moreover, the formula of El-Kalla is used directly to prove the convergence of the series solution to a class of nonlinear two dimensional integral equations. Convergence analysis is reliable enough to estimate the maximum absolute truncated error of the Adomian series solution.     

The effect of linear perturbations on the Yamabe problem

In conformal geometry, the Compactness Conjecture asserts that the set of Yamabe metrics on a smooth, compact, aspherical Riemannian manifold $\left( M,g\right) $ is compact. Established in the locally conformally flat case by Schoen (Lecture Notes in Mathematics, vol. 1365, pp. 120–154. Springer, Berlin 1989, Surveys Pure Application and Mathematics, 52 Longman Science, Technology, pp. 311–320. Harlow 1991) and for $n\le 24$ by Khuri–Marques–Schoen (J Differ Geom 81(1):143–196, 2009), it has revealed to be generally false for $n\ge 25$ as shown by Brendle (J Am Math Soc 21(4):951–979, 2008) and Brendle–Marques (J Differ Geom 81(2):225–250, 2009). A stronger version of it, the compactness under perturbations of the Yamabe equation, is addressed here with respect to the linear geometric potential $\frac{n-2}{4(n-1)} {{\mathrm{Scal}}}_g,\, {{\mathrm{Scal}}}_g$ being the Scalar curvature of $\left( M,g\right) $ . We show that a-priori $L^\infty $ –bounds fail for linear perturbations on all manifolds with $n\ge 4$ as well as a-priori gradient $L^2$ –bounds fail for non-locally conformally flat manifolds with $n\ge 6$ and for locally conformally flat manifolds with $n\ge 7$ . In several situations, the results are optimal. Our proof combines a finite dimensional reduction and the construction of a suitable ansatz for the solutions generated by a family of varying metrics in the conformal class of $g$ .     

Further results on factorization of meromorphic solutions of partial differential equations

This paper is a continuation of Hu-Yang [2]. Here we extend Malmquist type theorem ofalgebraic differential equations of Steinmetz [3] and Tu [4] to higher order partial differential equations. The results also generalize Theorems 4.2 and 4.3 in [2].     

Sharp spectral gap and Li–Yau’s estimate on Alexandrov spaces

In the previous work (Zhang and Zhu in J Differ Geom, http://arxiv.org/pdf/1012.4233v3, 2012), the second and third authors established a Bochner type formula on Alexandrov spaces. The purpose of this paper is to give some applications of the Bochner type formula. Firstly, we extend the sharp lower bound estimates of spectral gap, due to Chen and Wang (Sci Sin (A) 37:1–14, 1994), Chen and Wang (Sci Sin (A) 40:384–394, 1997) and Bakry–Qian (Adv Math 155:98–153, 2000), from smooth Riemannian manifolds to Alexandrov spaces. As an application, we get an Obata type theorem for Alexandrov spaces. Secondly, we obtain (sharp) Li–Yau’s estimate for positve solutions of heat equations on Alexandrov spaces.     

Universal Lagrangian bundles

The obstruction to construct a Lagrangian bundle over a fixed integral affine manifold was constructed by Dazord and Delzant (J Differ Geom 26:223–251, 1987) and shown to be given by ‘twisted’ cup products in Sepe (Differ Geom Appl 29(6): 787–800, 2011). This paper uses the topology of universal Lagrangian bundles, which classify Lagrangian bundles topologically [cf. Sepe in J Geom Phys 60:341–351, 2010], to reinterpret this obstruction as the vanishing of a differential on the second page of a Leray-Serre spectral sequence. Using this interpretation, it is shown that the obstruction of Dazord and Delzant depends on an important cohomological invariant of the integral affine structure on the base space, called the radiance obstruction, which was introduced by Goldman and Hirsch (Trans Am Math Soc 286(2):629–649, 1984). Some examples, related to non-degenerate singularities of completely integrable Hamiltonian systems, are discussed.     

Elliptic Equations and Systems with Subcritical and Critical Exponential Growth Without the Ambrosetti–Rabinowitz Condition

In this paper, we prove the existence of nontrivial nonnegative solutions to a class of elliptic equations and systems which do not satisfy the Ambrosetti–Rabinowitz (AR) condition where the nonlinear terms are superlinear at 0 and of subcritical or critical exponential growth at ∞. The known results without the AR condition in the literature only involve nonlinear terms of polynomial growth. We will use suitable versions of the Mountain Pass Theorem and Linking Theorem introduced by Cerami (Istit. Lombardo Accad. Sci. Lett. Rend. A, 112(2):332–336, 1978 Ann. Mat. Pura Appl., 124:161–179, 1980). The Moser–Trudinger inequality plays an important role in establishing our results. Our theorems extend the results of de Figueiredo, Miyagaki, and Ruf (Calc. Var. Partial Differ. Equ., 3(2):139–153, 1995) and of de Figueiredo, do Ó, and Ruf (Indiana Univ. Math. J., 53(4):1037–1054, 2004) to the case where the nonlinear term does not satisfy the AR condition. Examples of such nonlinear terms are given in Appendix A. Thus, we have established the existence of nontrivial nonnegative solutions for a wider class of nonlinear terms.     

Multi-bump positive solutions for a nonlinear elliptic problem in expanding tubular domains

In this paper we study the existence of multi-bump positive solutions of the following nonlinear elliptic problem: $$\begin{aligned} -\Delta u=u^p \quad \text{ in }\; \Omega _t,\quad u=0 \quad \text{ on }\; \partial \Omega _t. \end{aligned}$$ Here $1<p<\frac{N+2}{N-2}$ when $N\ge 3,\,1<p<\infty $ when $N=2$ and $\Omega _t$ is a tubular domain which expands as $t\rightarrow \infty $ . See (1.6) below for a precise definition of expanding tubular domain. When the section $D$ of $\Omega _t$ is a ball, the existence of multi-bump positive solutions is shown by Dancer and Yan (Commun Partial Differ Equ, 27(1–2), 23–55, 2002) and by Ackermann et al. (Milan J Math, 79(1), 221–232, 2011) under the assumption of a non-degeneracy of a solution of a limit problem. In this paper we introduce a new local variational method which enables us to show the existence of multi-bump positive solutions without the non-degeneracy condition for the limit problem. In particular, we can show the existence for all $N\ge 2$ without the non-degeneracy condition. Moreover we can deal with more general domains, for example, a domain whose section is an annulus, for which least energy solutions of the limit problem are really degenerate.     

Multiplicity of periodic solutions to symmetric delay differential equations

By applying the method based on the usage of the equivariant gradient degree introduced by G?ba (1997) and the cohomological equivariant Conley index introduced by Izydorek (2001), we establish an abstract result for G-invariant strongly indefinite asymptotically linear functionals showing that the equivariant invariant ${\omega(\nabla \Phi)}$ , expressed as that difference of the G-gradient degrees at infinity and zero, contains rich numerical information indicating the existence of multiple critical points of ${\Phi}$ exhibiting various symmetric properties. The obtained results are applied to investigate an asymptotically linear delay differential equation $$x\prime = - \nabla f \big ({x \big (t - \frac{\pi}{2} \big )} \big ), \quad x \in V \qquad \quad (*)$$ (here ${f : V \rightarrow \mathbb{R}}$ is a continuously differentiable function satisfying additional assumptions) with Γ-symmetries (where Γ is a finite group) using a variational method introduced by Guo and Yu (2005). The equivariant invariant ${\omega(\nabla \Phi) = n_{1}({\bf H}_{1}) + n_{2}({\bf H}_{2}) + \cdots + n_{m}({\bf H}_{m})}$ in the case n _k ≠ 0 (for maximal twisted orbit types (H _k )) guarantees the existence of at least |n _k | different G-orbits of periodic solutions with symmetries at least (H _k). This result generalizes the result by Guo and Yu (2005) obtained in the case without symmetries. The existence of large number of nonconstant periodic solutions for (*) (classified according to their symmetric properties) is established for several groups Γ, with the exact value of ${\omega(\,\nabla \Phi)}$ evaluated.     

Optimal Transport, Convection, Magnetic Relaxation and Generalized Boussinesq Equations

We establish a connection between optimal transport theory (see Villani in Topics in optimal transportation. Graduate studies in mathematics, vol. 58, AMS, Providence, 2003, for instance) and classical convection theory for geophysical flows (Pedlosky, in Geophysical fluid dynamics, Springer, New York, 1979). Our starting point is the model designed few years ago by Angenent, Haker, and Tannenbaum (SIAM J. Math. Anal. 35:61–97, 2003) to solve some optimal transport problems. This model can be seen as a generalization of the Darcy–Boussinesq equations, which is a degenerate version of the Navier–Stokes–Boussinesq (NSB) equations. In a unified framework, we relate different variants of the NSB equations (in particular what we call the generalized hydrostatic-Boussinesq equations) to various models involving optimal transport (and the related Monge–Ampère equation, Brenier in Commun. Pure Appl. Math. 64:375–417, 1991; Caffarelli in Commun. Pure Appl. Math. 45:1141–1151, 1992). This includes the 2D semi-geostrophic equations (Hoskins in Annual review of fluid mechanics, vol. 14, pp. 131–151, Palo Alto, 1982; Cullen et al. in SIAM J. Appl. Math. 51:20–31, 1991, Arch. Ration. Mech. Anal. 185:341–363, 2007; Benamou and Brenier in SIAM J. Appl. Math. 58:1450–1461, 1998; Loeper in SIAM J. Math. Anal. 38:795–823, 2006) and some fully nonlinear versions of the so-called high-field limit of the Vlasov–Poisson system (Nieto et al. in Arch. Ration. Mech. Anal. 158:29–59, 2001) and of the Keller–Segel for Chemotaxis (Keller and Segel in J. Theor. Biol. 30:225–234, 1971; Jäger and Luckhaus in Trans. Am. Math. Soc. 329:819–824, 1992; Chalub et al. in Mon. Math. 142:123–141, 2004). Mathematically speaking, we establish some existence theorems for local smooth, global smooth or global weak solutions of the different models. We also justify that the inertia terms can be rigorously neglected under appropriate scaling assumptions in the generalized Navier–Stokes–Boussinesq equations. Finally, we show how a “stringy” generalization of the AHT model can be related to the magnetic relaxation model studied by Arnold and Moffatt to obtain stationary solutions of the Euler equations with prescribed topology (see Arnold and Khesin in Topological methods in hydrodynamics. Applied mathematical sciences, vol. 125, Springer, Berlin, 1998; Moffatt in J. Fluid Mech. 159:359–378, 1985, Topological aspects of the dynamics of fluids and plasmas. NATO adv. sci. inst. ser. E, appl. sci., vol. 218, Kluwer, Dordrecht, 1992; Schonbek in Theory of the Navier–Stokes equations, Ser. adv. math. appl. sci., vol. 47, pp. 179–184, World Sci., Singapore, 1998; Vladimirov et al. in J. Fluid Mech. 390:127–150, 1999; Nishiyama in Bull. Inst. Math. Acad. Sin. (N.S.) 2:139–154, 2007).     

Burgers type equations, Gelfand’s problem and Schumpeterian dynamics

Burgers?? equations have been introduced to study different models of fluids (Bateman, 1915, Burgers, 1939, Hopf, 1950, Cole, 1951, Lighthill andWhitham, 1955, etc.). The difference-differential analogues of these equations have been proposed for Schumpeterian models of economic development (Iwai, 1984, Polterovich and Henkin, 1988, Belenky, 1990, Henkin and Polterovich, 1999, Tashlitskaya and Shananin, 2000, etc.). This paper gives a short survey of the results and conjectures on Burgers type equations, motivated both by fluid mechanics and by Schumpeterian dynamics. Proofs of some new results are given. This paper is an extension and an improvement of (Henkin, 2007, 2011).     

The composition of solutions of the multidimensional translation equation

Under certain conditions, the general solution of the multidimensional translation equation was constructed locally in L. Berg [4] and globally in J. Aczél, L. Berg and Z. Moszner [2]. By composition of two of these solutions there arise new functional equations, which are solved here locally using generalized inverses, cf. A. Ben-Israel and T.N.E. Greville [5]. The results are illustrated by the linear case.     

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 rigidity of hypersurfaces with constant curvature functions in warped product manifolds

In this paper, we first investigate several rigidity problems for hypersurfaces in the warped product manifolds with constant linear combinations of higher order mean curvatures as well as “weighted” mean curvatures, which extend the work (Brendle in Publ Math Inst Hautes Études Sci 117:247–269, 2013; Brendle and Eichmair in J Differ Geom 94(94):387–407, 2013; Montiel in Indiana Univ Math J 48:711–748, 1999) considering constant mean curvature functions. Secondly, we obtain the rigidity results for hypersurfaces in the space forms with constant linear combinations of intrinsic Gauss–Bonnet curvatures $L_k$ . To achieve this, we develop some new kind of Newton–Maclaurin type inequalities on $L_k$ which may have independent interest.     

Parabolic constructions of asymptotically flat 3-metrics of prescribed scalar curvature

In 1993, Bartnik (J. Differ. Geom. 37(1):37–71) introduced a quasi-spherical construction of metrics of prescribed scalar curvature on 3-manifolds. Under quasi-spherical ansatz, the problem is converted into the initial value problem for a semi-linear parabolic equation of the lapse function. The original ansatz of Bartnik started with a background foliation with round metrics on the 2-sphere leaves. This has been generalized by several authors (Shi and Tam in J. Differ. Geom. 62(1):79–125, 2002; Smith in Gen. Relat. Gravit. 41(5):1013–1024, 2009; Smith and Weinstein in Commun. Anal. Geom. 12(3):511–551, 2004) under various assumptions on the background foliation. In this article, we consider background foliations given by conformal round metrics, and by the Ricci flow on 2-spheres. We discuss conditions on the scalar curvature function and on the foliation that guarantee the solvability of the parabolic equation, and thus the existence of asymptotically flat 3-metrics with a prescribed inner boundary. In particular, many examples of asymptotically flat-scalar flat 3-metrics with outermost minimal surfaces are obtained.     

Decay Rates to Equilibrium for Nonlinear Plate Equations with Degenerate, Geometrically-Constrained Damping

We analyze the convergence to equilibrium of solutions to the nonlinear Berger plate evolution equation in the presence of localized interior damping (also referred to as geometrically constrained damping). Utilizing the results in (Geredeli et al. in J. Differ. Equ. 254:1193–1229, 2013), we have that any trajectory converges to the set of stationary points $\mathcal{N}$ . Employing standard assumptions from the theory of nonlinear unstable dynamics on the set $\mathcal{N}$ , we obtain the rate of convergence to an equilibrium. The critical issue in the proof of convergence to equilibria is a unique continuation property (which we prove for the Berger evolution) that provides a gradient structure for the dynamics. We also consider the more involved von Karman evolution, and show that the same results hold assuming a unique continuation property for solutions, which is presently a challenging open problem.