Comparison Results for a Kind of Impulsive Parabolic Equations with Application to Population Dynamics

In this paper,for a semi-linear parabolic partial differential equations with impulsive effects,theexistence-comparison theorem and comparison principles are established using the method of upper and lowersolutions.These results are applied to obtain the stability results of the steady-state solutions in a reaction-diffusion equations modelling two competing species with instantaneous stocking.     

The Smoothness of Weak Solutions to the System of Second Order Differential Equations with Non—negative Characteristics

In this paper,we will discuss smoothness of weak solutions for the system of second orderdifferential equations eith non-negative characteristies.First of all,we establish boundary,and interiorestimates and then we prove that solutions of regularization problem satisfy Lipschitz condition.     

Dynamics of Dislocation Densities in a Bounded Channel. Part II: Existence of Weak Solutions to a Singular Hamilton–Jacobi/Parabolic Strongly Coupled System

We study a strongly coupled system consisting of a parabolic equation and a singular Hamilton–Jacobi equation in one space dimension. This system describes the dynamics of dislocation densities in a material submitted to an exterior applied stress. Our system is a natural extension of that studied in [16 Ibrahim , H. ( 2009 ). Existence and uniqueness for a non-linear parabolic/Hamilton–Jacobi coupled system describing the dynamics of dislocation densities . Ann. Inst. H. Poincaré Anal. Non Linéaire 26 : 415 – 435 . [Google Scholar]] where the applied stress was set to be zero. The equations are written on a bounded interval with Dirichlet boundary conditions and require special attention to the boundary. We prove a result of global existence of a solution. The method of the proof consists in considering first a parabolic regularization of the full system, and then passing to the limit. For this regularized system, a result of global existence and uniqueness of a solution has been given in [17 Ibrahim , H. , Jazar , M. , Monneau , R. Dynamics of dislocation densities in a bounded channel. Part I: smooth solutions to a singular coupled parabolic system. Preprint . [Google Scholar]]. We show some uniform bounds on this solution which uses in particular an entropy estimate for the densities.     

Regularity and Variationality of Solutions to Hamilton—Jacobi Equations. Part II: Variationality,Existence, Uniqueness

We formulate an Hamilton–Jacobi partial differential equation

Empirical Bayes with rates and best rates of convergence in u(x)C(θ) exp(-x/θ)-family: Estimation case

Let % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaai4EaiaacI% cacaWGybWaaSbaaSqaaiaadMgaaeqaaOGaaiilaiabeI7aXnaaBaaa% leaacaWGPbaabeaakiaacMcacaGG9baaaa!3ED1!\[\{ (X_i ,\theta _i )\} \] be a sequence of independent random vectors where X _i , conditional on % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiUde3aaS% baaSqaaiaadMgaaeqaaaaa!38BD!\[\theta _i \], has the probability density of the form % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacI% cacaWG4bGaaiiFaiabeI7aXnaaBaaaleaacaWGPbaabeaakiaacMca% cqGH9aqpcaWG1bGaaiikaiaadIhacaGGPaGaam4qaiaacIcacqaH4o% qCdaWgaaWcbaGaamyAaaqabaGccaGGPaGaaeyzaiaabIhacaqGWbGa% aiikaiabgkHiTiaadIhacaGGVaGaeqiUde3aaSbaaSqaaiaadMgaae% qaaOGaaiykaaaa!4FFF!\[f(x|\theta _i ) = u(x)C(\theta _i ){\text{exp}}( - x/\theta _i )\] and the unobservable % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiUde3aaS% baaSqaaiaadMgaaeqaaaaa!38BD!\[\theta _i \] are i.i.d. according to an unknown G in some class G of prior distributions on , a subset of % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaai4EaiabeI% 7aXjabg6da+iaaicdacaGG8bGaam4qaiaacIcacqaH4oqCcaGGPaGa% eyypa0JaaiikaiaadAgacaWG1bGaaiikaiaadIhacaGGPaGaaeyzai% aabIhacaqGWbGaaeikaiabgkHiTiaadIhacaGGVaGaeqiUdeNaaiyk% aiaadsgacaWG4bGaaiykamaaCaaaleqabaGaeyOeI0IaaGymaaaaki% abg6da+iaaicdacaGG9baaaa!54DE!\[\{ \theta > 0|C(\theta ) = (fu(x){\text{exp(}} - x/\theta )dx)^{ - 1} > 0\} \]. For a S(X ₁ , ..., X_n, X_n+1)-measurable function % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqOXdy2aaS% baaSqaaiaad6gaaeqaaOGaaiilaaaa!397F!\[\phi _n ,\] let % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa% aaleaacaWGUbaabeaakiabg2da9iaadweacaGGOaGaeqOXdy2aaSba% aSqaaiaad6gaaeqaaOGaeyOeI0IaeqiUde3aaSbaaSqaaiaad6gacq% GHRaWkcaaIXaaabeaakiaacMcadaahaaWcbeqaaiaaikdaaaaaaa!444A!\[R_n = E(\phi _n - \theta _{n + 1} )^2 \] denote the Bayes risk of % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqOXdy2aaS% baaSqaaiaad6gaaeqaaaaa!38C5!\[\phi _n \] and let R(G) denote the infimum Bayes risk with respect to G. For each integer s>1 we exhibit a class of S(X ₁ , ..., X_n, X_n+1)-measurable functions % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqOXdy2aaS% baaSqaaiaad6gaaeqaaaaa!38C5!\[\phi _n \] such that for in [s ^–1, 1], % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4yamaaBa% aaleaacaaIWaaabeaakiaad6gadaahaaWcbeqaaiabgkHiTiaaikda% caWGZbGaai4laiaacIcacaaIXaGaey4kaSIaaGOmaiaadohacaGGPa% aaaOGaeyizImQaamOuamaaBaaaleaacaWGUbaabeaakiaacIcacqaH% gpGzdaWgaaWcbaGaamOBaaqabaGccaGGSaGaam4raiaacMcacqGHsi% slcaWGsbGaaiikaiaadEeacaGGPaGaeyizImQaam4yamaaBaaaleaa% caaIXaaabeaakiaad6gadaahaaWcbeqaaiabgkHiTiaaikdacaGGOa% Gaam4Caiabes7aKjabgkHiTiaaigdacaGGPaGaai4laiaacIcacaaI% XaGaey4kaSIaaGOmaiaadohacaGGPaaaaaaa!5F94!\[c_0 n^{ - 2s/(1 + 2s)} \leqslant R_n (\phi _n ,G) - R(G) \leqslant c_1 n^{ - 2(s\delta - 1)/(1 + 2s)} \] under certain conditions on u and G. No assumptions on the form or smoothness of u is made, however. Examples of functions u, including one with infinitely many discontinuities, are given for which our conditions reduce to some moment conditions on G. When is bounded, for each integer s>1 S(X ₁ , ..., X_n, X_n+1)-measurable functions % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqOXdy2aaS% baaSqaaiaad6gaaeqaaaaa!38C5!\[\phi _n \] are exhibited such that for in % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaai4waiaaik% dacaGGVaGaam4CaiaacYcacaaIXaGaaiyxaiaadogadaqhaaWcbaGa% aGimaaqaaiaacEcaaaGccaWGUbWaaWbaaSqabeaacqGHsislcaaIYa% Gaam4Caiaac+cacaGGOaGaaGymaiabgUcaRiaaikdacaWGZbGaaiyk% aaaakiabgsMiJkaadkfadaWgaaWcbaGaamOBaaqabaGccaGGOaGaeq% OXdy2aaSbaaSqaaiaad6gaaeqaaOGaaiilaiaadEeacaGGPaGaeyOe% I0IaamOuaiaacIcacaWGhbGaaiykaiabgsMiJkaadogadaqhaaWcba% GaaGymaaqaaiaacEcaaaGccaWGUbWaaWbaaSqabeaacqGHsislcaaI% YaGaam4Caiabes7aKjaac+cacaGGOaGaaGymaiabgUcaRiaaikdaca% WGZbGaaiykaaaaaaa!637D!\[[2/s,1]c_0^' n^{ - 2s/(1 + 2s)} \leqslant R_n (\phi _n ,G) - R(G) \leqslant c_1^' n^{ - 2s\delta /(1 + 2s)} \]. Examples of functions u and class g are given where the above lower and upper bounds are achieved.Part of the research was carried out during R. S. Singh's visit to the University of Science and Technology of China.Research supported in part by a Natural Sciences and Engineering Research Council of Canada Grant No. #A4631.     

Global Estimates for Green’s Matrix of Second Order Parabolic Systems with Application to Elliptic Systems in Two Dimensional Domains

We establish global Gaussian estimates for the Green’s matrix of divergence form, second order parabolic systems in a cylindrical domain under the assumption that weak solutions of the system vanishing on a portion of the boundary satisfy a certain local boundedness estimate and a local Hölder estimate. From these estimates, we also derive global estimates for the Green’s matrix for elliptic systems with bounded measurable coefficients in two dimensional domains. We present a unified approach valid for both the scalar and vectorial cases and discuss several applications of our result.     

Oblique Derivative Problem for Quasilinear Mixed (Lavrentév-Bitsadze) Equations of Second Order in Two Connected Domains

In this article, we first give the representation of solutions for the oblique derivative problem of mixed (Lavrentév-Bitsadze) equations in two connected domains, afterwards prove the uniqueness of solutions of the above problem. Moreover, we prove the solvability of oblique derivative problem for quasilinear mixed (Lavrentév-Bitsadze) equations of second order, and obtain a priori estimates of solutions of the above problem. The above problem is an open problem proposed by Rassias.     

Remark on the Regularities of Kato’s Solutions to Navier-Stokes Equations with Initial Data in L^d(R^d)

Motivated by the results of J. Y. Chemin in ＂J. Anal. Math., 77, 1999, 27- 50＂ and G. Furioli et al in ＂Revista Mat. Iberoamer., 16, 2002, 605-667＂, the author considers further regularities of the mild solutions to Navier-Stokes equation with initial data uo ∈ L^d（R^d）. In particular, it is proved that if u C ∈（[0, T^＊）; L^d（R^d）） is a mild solution of （NSv）, then u（t,x）- e^vt△uo ∈ L^∞（（0, T）;B2/4^1,∞）~∩L^1 （（0, T）; B2/4^3 ,∞） for any T 〈 T^＊.     

The Envelope Attractor of Non-strict Multivalued Dynamical Systems with Application to the 3D Navier–Stokes and Reaction–Diffusion Equations

Multivalued semiflows generated by evolution equations without uniqueness sometimes satisfy a semigroup set inclusion rather than equality because, for example, the concatentation of solutions satisfying an energy inequality almost everywhere may not satisfy the energy inequality at the joining time. Such multivalued semiflows are said to be non-strict and their attractors need only be negatively semi-invariant. In this paper the problem of enveloping a non-strict multivalued dynamical system in a strict one is analyzed and their attactors are compared. Two constructions are proposed. In the first, the attainability set mapping is extending successively to be strict at the dyadic numbers, which essentially means (in the case of the Navier–Stokes system) that the energy inequality is satisfied piecewise on successively finer dyadic subintervals. The other deals directly with trajectories and their concatenations, which are then used to define a strict multivalued dynamical system. The first is shown to be applicable to the three-dimensional Navier–Stokes equations and the second to a reaction–diffusion problem without unique solutions.     

Local ( L , ε)-approximation of a function of single variable: an alternative way to define limit

At the start of a freshman calculus course, many students conceive the classical definition of limit as the most problematic part of calculus. They not only find it difficult to understand, but also consider it of no use while solving most of the limit problems and therefore, skip it. This paper reformulates the rigorous definition of limit, which may be looked upon as a local approximation of a function by a zero degree polynomial. For this purpose a notion of local (L,?ε)-approximation is introduced. The approach conforms with all theoretical aspects of limit and continuity. Computational procedures and use of software for the solution of limit problems where necessary are discussed. It is expected that the suggested approach will be easy to follow by freshman calculus students.     

Asymptotic behavior for t→∞ of the solutions of the equation ψxx+u(x,t)ψ+(λ/4)ψ=0 with a potential u,satisfying the Korteweg-de Vries equation. II

This is the third paper in a series of papers of the authors, devoted to a rigorous investigation of the asymptotic behavior of the solutions of the KdV equation as t. The immediate purpose of the paper is the investigation of the solution of the Schrödinger equation in the neighborhood of the singular point x=3t for a special class of potentials, introduced in the previous papers. As it will be proved, in the final analysis this class of potentials describes the asymptotic behavior of the solutions, decreasing for x, of the KdV equation as t. The solution , far from the singular point, has been investigated earlier. In the paper we investigate a series which gives the solution of the Schrödinger equation and we consider the asymptotic properties of this series.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 138, pp. 8–32, 1984.     

Global optimization of truss topology with discrete bar areas—Part II: Implementation and numerical results

A classical problem within the field of structural optimization is to find the stiffest truss design subject to a given external static load and a bound on the total volume. The design variables describe the cross sectional areas of the bars. This class of problems is well-studied for continuous bar areas. We consider here the difficult situation that the truss must be built from pre-produced bars with given areas. This paper together with Part I proposes an algorithmic framework for the calculation of a global optimizer of the underlying non-convex mixed integer design problem. In this paper we use the theory developed in Part I to design a convergent nonlinear branch-and-bound method tailored to solve large-scale instances of the original discrete problem. The problem formulation and the needed theoretical results from Part I are repeated such that this paper is self-contained. We focus on the implementation details but also establish finite convergence of the branch-and-bound method. The algorithm is based on solving a sequence of continuous non-convex relaxations which can be formulated as quadratic programs according to the theory in Part I. The quadratic programs to be treated within the branch-and-bound search all have the same feasible set and differ from each other only in the objective function. This is one reason for making the resulting branch-and-bound method very efficient. The paper closes with several large-scale numerical examples. These examples are, to the knowledge of the authors, by far the largest discrete topology design problems solved by means of global optimization.     

Studies in oxidation: Oxidation of some aliphatic secondary alcohols with chromium (VI) oxide—Part I

Proceedings - Mathematical Sciences - The oxidation of isopropyl alcohol, butanol-2, pentanol-2 and octanol-2 by chromium (VI) oxide, has been studied in acetic acid-water mixtures under conditions...     

Corrigendum to: “On the eigenvalues of operators with gaps. Application to Dirac operators” [J. Funct. Anal. 174 (1) (2000) 208–226]

In this corrigendum, we address some closability issues that were ignored in [1].     

Homogenization of the elliptic Dirichlet problem: Error estimates in the (L2 → H1)-norm

Let      

Laurent–Padé Approximants to Four Kinds of Chebyshev Polynomial Expansions. Part II: Clenshaw–Lord Type Approximants

Laurent–Padé (Chebyshev) rational approximants P _m (w,w ^–1)/Q _n (w,w ^–1) of Clenshaw–Lord type [2,1] are defined, such that the Laurent series of P _m /Q _n matches that of a given function f(w,w ^–1) up to terms of order w ^±(m+n), based only on knowledge of the Laurent series coefficients of f up to terms in w ^±(m+n). This contrasts with the Maehly-type approximants [4,5] defined and computed in part I of this paper [6], where the Laurent series of P _m matches that of Q _n f up to terms of order w ^±(m+n), but based on knowledge of the series coefficients of f up to terms in w ^±(m+2n). The Clenshaw–Lord method is here extended to be applicable to Chebyshev polynomials of the 1st, 2nd, 3rd and 4th kinds and corresponding rational approximants and Laurent series, and efficient systems of linear equations for the determination of the Padé–Chebyshev coefficients are obtained in each case. Using the Laurent approach of Gragg and Johnson [4], approximations are obtainable for all m0, n0. Numerical results are obtained for all four kinds of Chebyshev polynomials and Padé–Chebyshev approximants. Remarkably similar results of formidable accuracy are obtained by both Maehly-type and Clenshaw–Lord type methods, thus validating the use of either.