Long—time behaviour of strong solutions of retarded nonlinear P.D.E.s

We prove the existence of strong solutions for a class of retarded partial differential equations of second order with respect to the time variable, and study the long-time behaviour of these solutions. We prove the existence of a global finite-dimensional attractor when the parameters of the system range over a “large” domain and investigate the dependence of the attractor on these parameters. MOS subject classification: 58F39, 58F12, 35B40, 73K70.     

Finite-parameter feedback stabilization of original Burgers' equations and Burgers' equation with nonlocal nonlinearities

We study the problem of global exponential stabilization of original Burgers' equations and the Burgers' equation with nonlocal nonlinearities by controllers depending on finitely many parameters. We investigate both equations by employing controllers based on finitely many Fourier modes and the latter equation by employing finitely many volume elements. To ensure global exponential stabilization, we have provided sufficient conditions on the control parameters for each problem. We also show that solutions of the controlled equations are steering a concrete solution of the non-controlled system as t → ∞ with an exponential decay rate.     

Global regularity for the 2D Oldroyd‐B model in the corotational case

This paper is dedicated to the Oldroyd‐B model with fractional dissipation (?Δ)^ατ for any α > 0. We establish the global smooth solutions to the Oldroyd‐B model in the corotational case with arbitrarily small fractional powers of the Laplacian in two spatial dimensions. Moreover, in the Appendix, we provide some a priori estimates to the Oldroyd‐B model in the critical case, which may be useful and of interest for future improvement. Therefore, our result is closer to the resolution of the well‐known global regularity issue on the critical 2D Oldroyd‐B model. Copyright © 2016 John Wiley & Sons, Ltd.     

A priori and universal estimates for global solutions of superlinear degenerate parabolic equations

We prove an a priori estimate and a universal bound for any global solution of the nonlinear degenerate reaction-diffusion equation u _t =Δu ^m +u ^p in a bounded domain with zero Dirichlet boundary conditions. Received: October 1, 2001?Published online: July 9, 2002     

On optimality conditions in optimization problems on solutions of operator equations

We study optimization problems in the presence of connection in the form of operator equations defined in Banach spaces. We prove necessary conditions for optimality of first and second order, for example generalizing the Pontryagin maximal principle for these problems. It is not our purpose to state the most general necessary optimality conditions or to compile a list of all necessary conditions that characterize optimal control in any particular minimization problem. In the present article we describe schemes for obtaining necessary conditions for optimality on solutions of general operator equations defined in Banach spaces, and the scheme discussed here does not require that there be no global functional constraints on the controlling parameters. As an example, in a particular Banach space we prove an optimality condition using the Pontryagin-McShane variation. Bibliography: 20 titles. Translated fromProblemy Matematicheskoi Fiziki, 1998, pp. 55–67.     

A generalization of the global relation method

We generalize the notions of global and nontrivial global relations to the case where the variables of the series in the definitions of these relations are series well approximable by algebraic numbers in any non-Archimedean local field. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 322, 2005, pp. 220–238.     

Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

We study Σ-definability of countable models over hereditarily finite {ie193-01} superstructures over the field ℝ of reals, the field ℂ of complex numbers, and over the skew field ℍ of quaternions. In particular, it is shown that each at most countable structure of a finite signature, which is Σ-definable over {ie193-02} with at most countable equivalence classes and without parameters, has a computable isomorphic copy. Moreover, if we lift the requirement on the cardinalities of the classes in a definition then such a model can have an arbitrary hyperarithmetical complexity, but it will be hyperarithmetical in any case. Also it is proved that any countable structure Σ-definable over {ie193-03}, possibly with parameters, has a computable isomorphic copy and that being Σ-definable over {ie193-04} is equivalent to being Σ-definable over {ie193-05}. Supported by RFBR-DFG, grant No. 06-01-04002 DFGa. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 335–363, May–June, 2008.     

Parameter cascades and profiling in functional data analysis

A data smoothing method is described where the roughness penalty depends on a parameter that must be estimated from the data. Three levels of parameters are involved in this situation: Local parameters are the coefficients of the basis function expansion defining the smooth, global parameters define low-dimensional trend and the roughness penalty, and a complexity parameter controls the amount of roughness in the smooth. By defining local parameters as regularized functions of global parameters, and global parameters in turn as functions of complexity parameter, we define a parameter cascade, and show that the accompanying multi-criterion optimization problem leads to good estimates of all levels of parameters and their precisions. The approach is illustrated with real and simulated data, and this application is a prototype for a wide range of problems involving nuisance or local parameters.     

Global stability and periodic oscillations for an SIV infection model with immune response and intracellular delays

In this paper, we consider the combined effects of cytotoxic T lymphocyte (CTL) responses on the competition dynamics of two Simian immunodeficiency virus (SIV) strains model. One of strains concerns a relatively slowly replicating and mildly cytopathic virus in the early infection (SIVMneCL8), the other is faster replicating and more cytopathic virus at later stages of the infection (SIVMne170). It is shown that the global dynamics of the ordinary differential equations can be determined by several threshold parameters, and we prove the global stability of the equilibria by rigorous mathematical analysis. To account for a series of infection mechanism leading to viral production, we incorporate time delays in the infection term. Using the methods of constructing suitable Lyapunov functionals and LaSalle’s invariance principle, we obtain the sufficient conditions for the global attractiveness of infection-free equilibrium with both virus strains going extinct, single-infection equilibrium with one of two virus strains out-competing the other one and the two strains coexisting infection equilibrium. We establish that the intracellular delays can destabilize the single-infection equilibrium leading to Hopf bifurcation and periodic oscillations. We show that introduction of immune responses is responsible for the coexistence of two virus strains and the intracellular delays may alter the two-strain competition results. Numerical simulations are presented to illustrate the theoretical conclusions.     

Optimal multilevel methods for graded bisection grids

We design and analyze optimal additive and multiplicative multilevel methods for solving H ¹ problems on graded grids obtained by bisection. We deal with economical local smoothers: after a global smoothing in the finest mesh, local smoothing for each added node during the refinement needs to be performed only for three vertices - the new vertex and its two parent vertices. We show that our methods lead to optimal complexity for any dimensions and polynomial degree. The theory hinges on a new decomposition of bisection grids in any dimension, which is of independent interest and yields a corresponding decomposition of spaces. We use the latter to bridge the gap between graded and quasi-uniform grids, for which the multilevel theory is well-established.     

Local-Global Principle for the Baum–Connes Conjecture with Coefficients

We establish the Hasse principle (local-global principle) in the context of the Baum–Connes conjecture with coefficients. We illustrate this principle with the discrete group GL(2,F) where F is any global field.     

On the Dynamics of x_{\bf{n} + \bf{1}} = {{ \mgreek{a} + \mgreek{g} x_{n-1} + \mgreek{d} x_{n-2}} \over {A + x_{n-2}}}

We investigate the global stability, the periodic character and the boundedness nature of solutions of the equation in the title for all admissible nonnegative values of the parameters and the initial conditions. We show that the solutions exhibit a trichotomy character depending on how the parameter γ compares to the sum of the parameters δ and A.     

On the decay and stability of global solutions to the 3‐D inhomogeneous Navier‐Stokes equations

In this paper, we investigate the large‐time decay and stability to any given global smooth solutions of the 3‐D incompressible inhomogeneous Navier‐Stokes equations. In particular, we prove that given any global smooth solution (a,u) of (1.2), the velocity field u decays to 0 with an explicit rate, which coincides with the L² norm decay for the weak solutions of the 3‐D classical Navier‐Stokes system [26,29] as t goes to ∞. Moreover, a small perturbation to the initial data of (a,u) still generates a unique global smooth solution to (1.2), and this solution keeps close to the reference solution (a,u) for t > 0. We should point out that the main results in this paper work for large solutions of (1.2). © 2010 Wiley Periodicals, Inc.     

A Product Theorem for Intersection Families

We will consider a certain kind of intersection family: a family of vectors over a field of finite characteristic q, such that the generalized inner products of every q or fewer vectors take on prescribed values. For certain values of the parameters, these values distinguish the generalized inner product of any q distinct vectors, from that of any q vectors in which some vector is repeated.We will represent such an intersection family by its incidence matrix, and show that the matrix product of two such matrices is itself an intersection family of the type under consideration. If the factor families distinguish between generalized inner products of q vectors with or without repetition, then so does the product family.     

Robust and Accurate Inference via a Mixture of Gaussian and Student’s t Errors

A Gaussian measurement error assumption, that is, an assumption that the data are observed up to Gaussian noise, can bias any parameter estimation in the presence of outliers. A heavy tailed error assumption based on Student’s t distribution helps reduce the bias. However, it may be less efficient in estimating parameters if the heavy tailed assumption is uniformly applied to all of the data when most of them are normally observed. We propose a mixture error assumption that selectively converts Gaussian errors into Student’s t errors according to latent outlier indicators, leveraging the best of the Gaussian and Student’s t errors; a parameter estimation can be not only robust but also accurate. Using simulated hospital profiling data and astronomical time series of brightness data, we demonstrate the potential for the proposed mixture error assumption to estimate parameters accurately in the presence of outliers. Supplemental materials for this article are available online.     

Global existence of strong solutions to micropolar equations in cylindrical domains

The micropolar equations are a useful generalization of the classical Navier–Stokes model for fluids with microstructure. We prove the existence of global and strong solutions to these equations in cylindrical domains in . We do not impose any restrictions on the magnitude of the initial and external data, but we require that they cannot change in the x₃‐direction too fast. Copyright © 2014 John Wiley & Sons, Ltd.     

The Vlasov-Maxwell-Boltzmann system near Maxwellians

Perhaps the most fundamental model for dynamics of dilute charged particles is described by the Vlasov-Maxwell-Boltzmann system, in which particles interact with themselves through collisions and with their self-consistent electromagnetic field. Despite its importance, no global in time solutions, weak or strong, have been constructed so far. It is shown in this article that any initially smooth, periodic small perturbation of a given global Maxwellian, which preserves the same mass, total momentum and reduced total energy (22), leads to a unique global in time classical solution for such a master system. The construction is based on a recent nonlinear energy method with a new a priori estimate for the dissipation: the linear collision operator L, not its time integration, is positive definite for any solutionf(t,x,v) with small amplitude to the Vlasov-Maxwell-Boltzmann system (8) and (12). As a by-product, such an estimate also yields an exponential decay for the simpler Vlasov-Poisson-Boltzmann system (24).     

Multi-interior-spike solutions for the Cahn-Hilliard equation with arbitrarily many peaks

We study the Cahn-Hilliard equation in a bounded smooth domain without any symmetry assumptions. We prove that for any fixed positive integer K there exist interior K–spike solutions whose peaks have maximal possible distance from the boundary and from one another. This implies that for any bounded and smooth domain there exist interior K–peak solutions. The central ingredient of our analysis is the novel derivation and exploitation of a reduction of the energy to finite dimensions (Lemma 5.5) with variables which are closely related to the location of the peaks. We do not assume nondegeneracy of the points of maximal distance to the boundary but can do with a global condition instead which in many cases is weaker. Received March 5, 1999 / Accepted June 11, 1999     

Constrained Global Optimization of Expensive Black Box Functions Using Radial Basis Functions

We present a new strategy for the constrained global optimization of expensive black box functions using response surface models. A response surface model is simply a multivariate approximation of a continuous black box function which is used as a surrogate model for optimization in situations where function evaluations are computationally expensive. Prior global optimization methods that utilize response surface models were limited to box-constrained problems, but the new method can easily incorporate general nonlinear constraints. In the proposed method, which we refer to as the Constrained Optimization using Response Surfaces (CORS) Method, the next point for costly function evaluation is chosen to be the one that minimizes the current response surface model subject to the given constraints and to additional constraints that the point be of some distance from previously evaluated points. The distance requirement is allowed to cycle, starting from a high value (global search) and ending with a low value (local search). The purpose of the constraint is to drive the method towards unexplored regions of the domain and to prevent the premature convergence of the method to some point which may not even be a local minimizer of the black box function. The new method can be shown to converge to the global minimizer of any continuous function on a compact set regardless of the response surface model that is used. Finally, we considered two particular implementations of the CORS method which utilize a radial basis function model (CORS-RBF) and applied it on the box-constrained Dixon–Szegö test functions and on a simple nonlinearly constrained test function. The results indicate that the CORS-RBF algorithms are competitive with existing global optimization algorithms for costly functions on the box-constrained test problems. The results also show that the CORS-RBF algorithms are better than other algorithms for constrained global optimization on the nonlinearly constrained test problem.