Discrete Approximations and Optimization of Evolution Inclusions

The paper studies discrete approximations of nonconvex valued evolution inclusions with the right-hand side satisfying Kamke condition which is more general than the Lipschitz one and more convenient than the variant of the one-sided Lipschitz condition used in Donchev et al. (J Differ Equ 243:301–328, 2007). We extend an interesting previous result of Mordukhovich to a large class of evolution systems appearing in the theory of parabolic partial differential equations. Examples of control systems governed by partial differential equations are provided.     

Strong lower energy estimates for nonlinearly damped Timoshenko beams and Petrowsky equations

The purpose of this paper is to establish strong lower energy estimates for strong solutions of nonlinearly damped Timoshenko beams, Petrowsky equations in two and three dimensions and wave-like equations for bounded one-dimensional domains or annulus domains in two or three dimensions. We also establish weak lower velocity estimates for strong solutions of the nonlinearly damped Petrowsky equation in two and three dimensions. The feedbacks in consideration have arbitrary growth close to the origin. These results improve the strong lower energy decay rates obtained in our previous papers (Alabau-Boussouira in J Differ Equ 249:1145–1178, 2010; J Differ Equ 248:1473–1517, 2010) for strong solutions of the nonlinearly locally damped wave equation and extend to systems and to Petrowsky equation the method of Alabau-Boussouira (J Differ Equ 249:1145–1178, 2010; J Differ Equ 248:1473–1517, 2010). These results are the first ones for Timoshenko beams and Petrowsky equations.     

Generation of cosine families via Lord Kelvin’s method of images

We show that generation theorems for cosine families related to one-dimensional Laplacians in C[0, ∞] may be obtained by Lord Kelvin’s method of images, linking them with existence of invariant subspaces of the basic cosine family. This allows us to deal with boundary conditions more general than those considered before (Bátkal and Engel in J Differ Equ 207:1–20, 2004; Chill et al. in Functional analysis and evolution equations. The Günter Lumer volume, Birkhauser, Basel, pp 113–130, 2007; Xiao and Liang in J Funct Anal 254:1467–1486, 2008) and to give explicit formulae for transition kernels of related Brownian motions on [0, ∞). As another application we exhibit an example of a family of equibounded cosine operator functions in C[0, ∞] that converge merely on C ₀(0, ∞] while the corresponding semigroups converge on the whole of C[0, ∞].     

A Note on the Subcritical Two Dimensional Keller-Segel System

The existence of solution for the 2D-Keller-Segel system in the subcritical case, i.e. when the initial mass is less than 8π, is reproved. Instead of using the entropy in the free energy and free energy dissipation, which was used in the proofs (Blanchet et al. in SIAM J. Numer. Anal. 46:691–721, 2008; Electron. J. Differ. Equ. Conf. 44:32, 2006 (electronic)), the potential energy term is fully utilized by adapting Delort’s theory on 2D incompressible Euler equation (Delort in J. Am. Math. Soc. 4:553–386, 1991).     

Hyperbolic conservation laws with vanishing nonlinear diffusion and linear dispersion in heterogeneous media

We analyze family of solutions to multidimensional scalar conservation law, with flux depending on the time and space explicitly, regularized with vanishing diffusion and dispersion terms. Under a condition on the balance between diffusion and dispersion parameters, we prove that the family of solutions is precompact in L¹_loc{L^1_{\rm loc}}. Our proof is based on the methodology developed in Sazhenkov (Sibirsk Math Zh 47(2):431–454, 2006), which is in turn based on Panov’s extension (Panov and Yu in Mat Sb 185(2):87–106, 1994) of Tartar’s H-measures (Tartar in Proc R Soc Edinb Sect A 115(3–4):193–230, 1990), or Gerard’s micro-local defect measures (Gerard Commun Partial Differ Equ 16(11):1761–1794, 1991). This is new approach for the diffusion–dispersion limit problems. Previous results were restricted to scalar conservation laws with flux depending only on the state variable.     

Multiplicity Results for Second Order Non-Autonomous Singular Dirichlet Systems

In this paper, we establish multiplicity results for second order non-autonomous singular Dirichlet systems. The proof is based on a well-known fixed point theorem in cones, and an existence principle proved in Agarwal and O’Regan (J. Differ. Equ. 175:393–414, 2001), which was established using a nonlinear alternative of Leray-Schauder type. Truncation techniques play an important role in the analysis. Some recent results in the literature are generalized and improved.     

Construction of solutions of an elliptic PDE with a supercritical exponent nonlinearity using the finite dimensional reduction

In this paper, we construct some solutions of an elliptic PDE with a supercritical exponent nonlinearity. We follow the ideas of Bahri–Li–Rey (Calc Var Partial Differ Equ V.3:67–93, 1995) by using the finite dimensional reduction.     

On the Classification of <Emphasis Type="Italic">N</Emphasis>-Points Concentrating Solutions for Mean Field Equations and the Symmetry Properties of the <Emphasis Type="Italic">N</Emphasis>-Vortex Singular Hamiltonian on the Unit Disk

Motivated by the analysis of the multiple bubbling phenomenon (Bartolucci et al. in Commun. Partial Differ. Equ. 29(7–8):1241–1265, 2004) for a singular mean field equation on the unit disk (Bartolucci and Montefusco in Nonlinearity 19:611–631, 2006), for any N≥3 we characterize a subset of the 2π/N-symmetric part of the critical set of the N-vortex singular Hamiltonian. In particular we prove that this critical subset is of saddle type. As a consequence of our result, and motivated by a recently posed open problem (Bartolucci et al. in Commun. Partial Differ. Equ. 29(7–8):1241–1265, 2004), we can prove the existence of a multiple bubbling sequence of solutions for the singular mean field equation.     

Further PDE methods for weak KAM theory

We introduce and make estimates for several new approximations that in appropriate asymptotic limits yield the key PDE for weak KAM theory, namely a Hamilton–Jacobi type equation for a potential u and a coupled transport equation for a measure σ. We revisit as well a singular variational approximation introduced in Evans (Calc Vari Partial Differ Equ 17:159–177, 2003) and demonstrate “approximate integrability” of certain phase space dynamics related to the Hamiltonian flow. Other examples include a pair of strongly coupled PDE suggested by the Lions–Lasry theory (Lasry and Lions in Japan J Math 2:229–260, 2007) of mean field games and a new and extremely singular elliptic equation suggested by sup-norm variational theory. Supported in part by NSF Grant DMS-0500452.     

A multiwave approximate Riemann solver for ideal MHD based on relaxation II: numerical implementation with 3 and 5 waves

In the first part of this work Bouchut et al. (J Comput Phys 108:7–41, 2007) we introduced an approximate Riemann solver for one-dimensional ideal MHD derived from a relaxation system. We gave sufficient conditions for the solver to satisfy discrete entropy inequalities, and to preserve positivity of density and internal energy. In this paper we consider the practical implementation, and derive explicit wave speed estimates satisfying the stability conditions of Bouchut et al. (J Comput Phys 108:7–41, 2007). We present a 3-wave solver that well resolves fast waves and material contacts, and a 5-wave solver that accurately resolves the cases when two eigenvalues coincide. A full 7-wave solver, which is highly accurate on all types of waves, will be described in a follow-up paper. We test the solvers on one-dimensional shock tube data and smooth shear waves.     

Sur le spectre du laplacien d’une métrique invariante à gauche sur un groupe de Lie

On montre que le spectre du laplacien d’une métrique invariante à gauche sur un groupe de Lie non compact, unimodulaire, est un intervalle [σ, ∞] avec, éventuellement, des valeurs propres de multiplicité infinies. Dans certains cas particuliers, on montre aussi qu’il est absolument continu; en général l’intervalle [σ, ∞] est le spectre essentiel. Cette étude a débuté pour la première fois avec le travail Furutani et al. (Commun Part Differ Equ 18, 1993).     

A class of Adams–Fontana type inequalities and related functionals on manifolds

A class of Adams–Fontana type inequalities are established on compact Riemannian manifolds without boundary via the Young inequality together with the usual Adams–Fontana inequality (Comment Math Helv 68:415–454, 1993). As an application, a sequence of functionals are defined on manifolds, a sufficient condition on which the Palais–Smale condition holds is given and the existence of critical points of the functionals is also considered in the spirit of Adimurthi (Ann Scuola Norm Sup Pisa Cl Sci 17:393–413, 1990) and Adimurthi and Sandeep (Nonlinear Differ Equ Appl 13:585–603, 2007).     

Crisp and fuzzy <Emphasis Type="Italic">k</Emphasis>-means clustering algorithms for multivariate functional data

Functional data analysis, as proposed by Ramsay (Psychometrika 47:379–396, 1982), has recently attracted many researchers. The most popular approach taken in recent studies of functional data has been the extension of statistical methods for the analysis of usual data to that of functional data (e.g., Ramsay and Silverman in Functional data Analysis Springer, Berlin Heidelberg New York, 1997, Applied functional data analysis: methods and case studies. Springer, Berlin Heidelberg New York, 2002; Mizuta in Proceedings of the tenth Japan and Korea Joint Conference of Statistics, pp 77–82, 2000; Shimokawa et al. in Japan J Appl Stat 29:27–39, 2000). In addition, several methods for clustering functional data have been proposed (Abraham et al. in Scand J Stat 30:581–595, 2003; Gareth and Catherine in J Am Stat Assoc 98:397–408, 2003; Tarpey and kinateder in J Classif 20:93–114, 2003; Rossi et al. in Proceedings of European Symposium on Artificial Neural Networks pp 305–312, 2004). Furthermore, Tokushige et al. (J Jpn Soc Comput Stat 15:319–326, 2002) defined several dissimilarities between functions for the case of functional data. In this paper, we extend existing crisp and fuzzy k-means clustering algorithms to the analysis of multivariate functional data. In particular, we consider the dissimilarity between functions as a function. Furthermore, cluster centers and memberships, which are defined as functions, are determined at the minimum of a certain target function by using a calculus-of-variations approach.     

Comments on purification in continuum games

It is pointed out that Corollary 1 in a recent paper by Khan et al. (Int J Game Theory 34:91–104, 2006), presented there as an extension of the Dvoretzky–Wald–Wolfowitz theorem, is a special case of Lyapunov’s theorem for Young measures (Balder in Rend Instit Mat Univ Trieste 31 Suppl. 1:1–69) It is also pointed out that Theorems 1–4 in Khan et al. (Int J Game Theory 34:91–104, 2006) follow from a single strong purification per se result that is already contained, as an implementation of that Lyapunov theorem for Young measures, in the proof of Theorem 2.2.1 in Balder (J Econ Theory 102:437–470, 2002).     

Duality and optimality conditions for generalized equilibrium problems involving DC functions

We consider a generalized equilibrium problem involving DC functions which is called (GEP). For this problem we establish two new dual formulations based on Toland-Fenchel-Lagrange duality for DC programming problems. The first one allows us to obtain a unified dual analysis for many interesting problems. So, this dual coincides with the dual problem proposed by Martinez-Legaz and Sosa (J Glob Optim 25:311–319, 2006) for equilibrium problems in the sense of Blum and Oettli. Furthermore it is equivalent to Mosco’s dual problem (Mosco in J Math Anal Appl 40:202–206, 1972) when applied to a variational inequality problem. The second dual problem generalizes to our problem another dual scheme that has been recently introduced by Jacinto and Scheimberg (Optimization 57:795–805, 2008) for convex equilibrium problems. Through these schemes, as by products, we obtain new optimality conditions for (GEP) and also, gap functions for (GEP), which cover the ones in Antangerel et al. (J Oper Res 24:353–371, 2007, Pac J Optim 2:667–678, 2006) for variational inequalities and standard convex equilibrium problems. These results, in turn, when applied to DC and convex optimization problems with convex constraints (considered as special cases of (GEP)) lead to Toland-Fenchel-Lagrange duality for DC problems in Dinh et al. (Optimization 1–20, 2008, J Convex Anal 15:235–262, 2008), Fenchel-Lagrange and Lagrange dualities for convex problems as in Antangerel et al. (Pac J Optim 2:667–678, 2006), Bot and Wanka (Nonlinear Anal to appear), Jeyakumar et al. (Applied Mathematics research report AMR04/8, 2004). Besides, as consequences of the main results, we obtain some new optimality conditions for DC and convex problems.     

Rigorous computation of smooth branches of equilibria for the three dimensional Cahn–Hilliard equation

In this paper, we propose a new general method to compute rigorously global smooth branches of equilibria of higher-dimensional partial differential equations. The theoretical framework is based on a combination of the theory introduced in Global smooth solution curves using rigorous branch following (van den Berg et al., Math. Comput. 79(271):1565–1584, 2010) and in Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Gameiro and Lessard, J. Diff. Equ. 249(9):2237–2268, 2010). Using this method, one can obtain proofs of existence of global smooth solution curves of equilibria for large (continuous) parameter ranges and about local uniqueness of the solutions on the curve. As an application, we compute several smooth branches of equilibria for the three-dimensional Cahn–Hilliard equation.     

Feynman’s Operational Calculi: Disentangling Away from the Origin

In this paper we develop a method of forming functions of noncommuting operators (or disentangling) using functions that are not necessarily analytic at the origin in ℂ ⁿ . The method of disentangling follows Feynman’s heuristic rules from in (Feynman in Phys. Rev. 84:18–128, 1951) a mathematically rigorous fashion, generalizing the work of Jefferies and Johnson and the present author in (Jefferies and Johnson in Russ. J. Math. 8:153–181, 2001) and (Jefferies et al. in J. Korean Math. Soc. 38:193–226, 2001). In fact, the work in (Jefferies and Johnson in Russ. J. Math. 8:153–181, 2001) and (Jefferies et al. in J. Korean Math. Soc. 38:193–226, 2001) allow only functions analytic in a polydisk centered at the origin in ℂ ⁿ while the method introduced in this paper enable functions that are not analytic at the origin to be used. It is shown that the disentangling formalism introduced here reduces to that of (Jefferies and Johnson in Russ. J. Math. 8:153–181, 2001) and (Jefferies et al. in J. Korean Math. Soc. 38:193–226, 2001) under the appropriate assumptions. A basic commutativity theorem is also established.     

An Index Theorem for Band-Dominated Operators with Slowly Oscillating Coefficients (after Deundyak and Shteinberg)

We provide a proof of an index theorem for band-dominated operators with slowly oscillating coefficients. The statement is essentially the same as the main result of the announcement of Deundyak and Shteinberg (Funct Anal Appl 19(4):321–323, 1985), but our methods are very different from those hinted at there. The index theorem we prove can also be seen as a partial generalization to higher dimensions of the main result of the article of Rabinovich et al. (Integr Equ Oper Theory 49:221–238, 2004).     

Counterexamples to some triality and tri-duality results

The aim of this paper is to show that the results on triality and tri-duality in Gao (J Glob Optim 17:127–160, 2000; J Glob Optim 29:377–399, 2004; J Glob Optim 35:131–143, 2006; Encyclopedia of optimization, 2nd edn. Springer, New York, pp 822–828, 2009) and Gao et al. (J Glob Optim 45:473–497, 2009) are false. To prove this we provide simple counterexamples.     

On very weak solutions of the stationary Navier–Stokes equations

We study the stationary Navier–Stokes equations in a bounded domain Ω of R ³ with smooth connected boundary. The notion of very weak solutions has been introduced by Marušić-Paloka (Appl. Math. Optim. 41:365–375, 2000), Galdi et al. (Math. Ann. 331:41–74, 2005) and Kim (Arch. Ration. Mech. Anal. 193:117–152, 2009) to obtain solvability results for the Navier–Stokes equations with very irregular data. In this article, we prove a complete solvability result which unifies those in Marušić-Paloka (Appl. Math. Optim. 41:365–375, 2000), Galdi et al. (Math. Ann. 331:41–74, 2005) and Kim (Arch. Ration. Mech. Anal. 193:117–152, 2009) by adapting the arguments in Choe and Kim (Preprint) and Kim and Kozono (Preprint).