Inductive and projective limits of Banach spaces of measurable functions with order unities with respect to power parameter

We prove that a measurable function f is bounded and invertible if and only if there exist at least two equivalent norms by order unit spaces with order unities f^α and f^β with α > β > 0. We show that it is natural to understand the limit of ordered vector spaces with order unities f^α (α approaches to infinity) as a direct sum of one inductive and one projective limits. We also obtain some properties for the corresponding limit topologies.     

An Obstacle Problem for Nonlocal Equations in Perforated Domains

In this paper we analyze the behavior of solutions to a nonlocal equation of the form J ? u (x) ? u (x) = f (x) in a perforated domain Ω ? A ^?? with u = 0 in \(A^{\epsilon } \cup {\Omega }^{c}\) and an obstacle constraint, u ≥ ψ in Ω ? A ^?? . We show that, assuming that the characteristic function of the domain Ω ? A ^?? verifies \(\chi _{\epsilon } \rightharpoonup \mathcal {X}\) weakly ^? in \(L^{\infty }({\Omega })\), there exists a weak limit of the solutions u ^?? and we find the limit problem that is satisfied in the limit. When \(\mathcal {X} \not \equiv 1\) in this limit problem an extra term appears in the equation as well as a modification of the obstacle constraint inside the domain.     

Multidimensional local central limit theorem of some non-uniformly hyperbolic systems

We consider Young＇s nonuniformly hyperbolic system （X, T, u） where u is the SRB measure corresponding to the system （X, T）, and show that if the components of a Holder observable f ： X → R^d are cohomologously independent, then f satisfies the multidimensional central limit theorem. Moreover if f is aperiodic, then f satisfies the local multidimensional central limit theorem.     

Some Poisson structures and Lax equations associated with the Toeplitz lattice and the Schur lattice

The Toeplitz lattice is a Hamiltonian system whose Poisson structure is known. In this paper, we unveil the origins of this Poisson structure and derive from it the associated Lax equations for this lattice. We first construct a Poisson subvariety H _n of GL _n (C), which we view as a real or complex Poisson–Lie group whose Poisson structure comes from a quadratic R-bracket on gl _n (C) for a fixed R-matrix. The existence of Hamiltonians, associated to the Toeplitz lattice for the Poisson structure on H _n , combined with the properties of the quadratic R-bracket allow us to give explicit formulas for the Lax equation. Then we derive from it the integrability in the sense of Liouville of the Toeplitz lattice. When we view the lattice as being defined over R, we can construct a Poisson subvariety H _n ^τ of U _n which is itself a Poisson–Dirac subvariety of GL _n ^R (C). We then construct a Hamiltonian for the Poisson structure induced on H _n ^τ , corresponding to another system which derives from the Toeplitz lattice the modified Schur lattice. Thanks to the properties of Poisson–Dirac subvarieties, we give an explicit Lax equation for the new system and derive from it a Lax equation for the Schur lattice. We also deduce the integrability in the sense of Liouville of the modified Schur lattice.     

Approximation of Gaussian Random Fields: General Results and Optimal Wavelet Representation of the Lévy Fractional Motion

We investigate the approximation rate for certain centered Gaussian fields by a general approach. Upper estimates are proved in the context of so–called Hölder operators and lower estimates follow from the eigenvalue behavior of some related self–adjoint integral operator in a suitable L ₂(μ)–space. In particular, we determine the approximation rate for the Lévy fractional Brownian motion X _H with Hurst parameter H∈(0,1), indexed by a self–similar set T?? ^N of Hausdorff dimension D. This rate turns out to be of order n ^?H/D (log?n)^1/2. In the case T=[0,1] ^N we present a concrete wavelet representation of X _H leading to an approximation of X _H with the optimal rate n ^?H/N (log?n)^1/2.     

Error estimates of numerical methods for the nonlinear Dirac equation in the nonrelativistic limit regime

We present several numerical methods and establish their error estimates for the discretization of the nonlinear Dirac equation(NLDE) in the nonrelativistic limit regime, involving a small dimensionless parameter 0 ε≤ 1 which is inversely proportional to the speed of light. In this limit regime, the solution is highly oscillatory in time, i.e., there are propagating waves with wavelength O(ε~2) and O(1) in time and space,respectively. We begin with the conservative Crank-Nicolson finite difference(CNFD) method and establish rigorously its error estimate which depends explicitly on the mesh size h and time step τ as well as the small parameter 0 ε≤ 1. Based on the error bound, in order to obtain ‘correct' numerical solutions in the nonrelativistic limit regime, i.e., 0 ε■ 1, the CNFD method requests the ε-scalability: τ = O(ε~3) and h= O(ε~(1/2)). Then we propose and analyze two numerical methods for the discretization of NLDE by using the Fourier spectral discretization for spatial derivatives combined with the exponential wave integrator and timesplitting technique for temporal derivatives, respectively. Rigorous error bounds for the two numerical methods show that their ε-scalability is improved to τ = O(ε~2) and h = O(1) when 0 ε■1. Extensive numerical results are reported to confirm our error estimates.     

Weakly nonlinear Schrödinger equation with random initial data

It is common practice to approximate a weakly nonlinear wave equation through a kinetic transport equation, thus raising the issue of controlling the validity of the kinetic limit for a suitable choice of the random initial data. While for the general case a proof of the kinetic limit remains open, we report on first progress. As wave equation we consider the nonlinear Schrödinger equation discretized on a hypercubic lattice. Since this is a Hamiltonian system, a natural choice of random initial data is distributing them according to the corresponding Gibbs measure with a chemical potential chosen so that the Gibbs field has exponential mixing. The solution ψ _t (x) of the nonlinear Schrödinger equation yields then a stochastic process stationary in x∈? ^d and t∈?. If λ denotes the strength of the nonlinearity, we prove that the space-time covariance of ψ _t (x) has a limit as λ→0 for t=λ ^?2 τ, with τ fixed and |τ| sufficiently small. The limit agrees with the prediction from kinetic theory.     

The graph Kre(4) does not exist

Suppose that a strongly regular graph Γ with parameters (v, k, λ, μ) has eigenvalues k, r, and s. If the graphs Γ and \(\bar \Gamma \) are connected, then the following inequalities, known as Krein’s conditions, hold: (i) (r + 1)(k + r + 2rs) ≤ (k + r)(s + 1)² and (ii) (s + 1)(k + s + 2rs) ≤ (k + s)(r + 1)². We say that Γ is a Krein graph if one of Krein’s conditions (i) and (ii) is an equality for this graph. A triangle-free Krein graph has parameters ((r ² + 3r)², r ³ + 3r ² + r, 0, r ² + r). We denote such a graph by Kre(r). It is known that, in the cases r = 1 and r = 2, the graphs Kre(r) exist and are unique; these are the Clebsch and Higman–Sims graphs, respectively. The latter was constructed in 1968 together with the Higman–Sims sporadic simple group. A.L. Gavrilyuk and A.A. Makhnev have proved that the graph Kre(3) does not exist. In this paper, it is proved that the graph Kre(4) (a strongly regular graph with parameters (784, 116, 0, 20)) does not exist either.     

Analysis of some numerical methods on layer adapted meshes for singularly perturbed quasilinear systems

We consider a coupled system of first-order singularly perturbed quasilinear differential equations with given initial conditions. The leading term of each equation is multiplied by a distinct small positive parameter, which induces overlapping layers. The quasilinear system is discretized by using first and second order accurate finite difference schemes for which we derive general error estimates in the discrete maximum norm. As consequences of these error estimates we establish nodal convergence of O((N ^?1 lnN) ^p ),p=1,2, on the Shishkin mesh and O(N ^?p ),p=1,2, on the Bakhvalov mesh, where N is the number of mesh intervals and the convergence is robust in all of the parameters. Numerical computations are included which confirm the theoretical results.     

Tauberian and Abelian theorems for rapidly decaying distributions and their applications to stable laws

We establish some assertions of Tauberian and Abelian types which enable us to find connections between the asymptotic properties of the Laplace transform at infinity and the asymptotics of the corresponding densities of rapidly decaying distributions (at infinity or in some neighborhood of zero). As applications of our Tauberian type theorems we present asymptotics for the density f ^(α,ρ)(x) of “extreme” stable laws with parameters (α, ρ) for ρ = ±1 and x lying in the domain of rapid decay of f ^(α,ρ)(x). This asymptotics had been found in [1–5] by a more complicated method.     

Pointwise estimates of solutions for the multi-dimensional bipolar Euler–Poisson system

In the paper, we consider a multi-dimensional bipolar hydrodynamic model from semiconductor devices and plasmas. This system takes the form of Euler–Poisson with electric field and frictional damping added to the momentum equations. By making a new analysis on Green’s functions for the Euler system with damping and the Euler–Poisson system with damping, we obtain the pointwise estimates of the solution for the multi-dimensions bipolar Euler–Poisson system. As a by-product, we extend decay rates of the densities \({\rho_i(i=1,2)}\) in the usual L²-norm to the L^p-norm with \({p\geq1}\) and the time-decay rates of the momentums m_i(i = 1,2) in the L²-norm to the L^p-norm with p > 1 and all of the decay rates here are optimal.     

Compactons and Riemann Waves of an Extended Modified Korteweg–de Vries Equation with Nonlinear Dispersion

The K(f ^m , g ⁿ ) equation is studied, which generalizes the modified Korteweg–de Vries equation K(u³, u¹) and the Rosenau–Hyman equation K(u ^m , u ⁿ ) to other dependences of nonlinearity and dispersion on the solution. The considered functions f(u) and g(u) can be linear or can have the form of a smoothed step. It is found numerically that, depending on the form of nonlinearity and dispersion, the given equation has compacton and kovaton solutions, Riemann-wave solutions, and oscillating wave packets of two types. It is shown that the interaction between solutions of all found types occurs with the preservation of their parameters.     

Second-order evaluations of orthogonal and symplectic Yangians

Orthogonal or symplectic Yangians are defined by the Yang–Baxter RLL relation involving the fundamental R-matrix with the corresponding so(n) or sp(2m) symmetry. We investigate the second-order solution conditions, where the expansion of L(u) in u ^?1 is truncated at the second power, and we derive the relations for the two nontrivial terms in L(u).     

On the lower order of mappings with finite length distortion

We study the problem of the so-called lower order for one kind of mappings with finite distortion, actively investigated in the recent 15–20 years.We prove that mappings with finite length distortion f: D → ? ⁿ , n ≥ 2, whose outer dilatation is integrable to the power α > n ? 1 with finite asymptotic limit have lower order bounded from below.     

Acute perturbation of Drazin inverse and oblique projectors

For an n×n complex matrix A with ind(A) = r; let A^D and A^π = I–AA^D be respectively the Drazin inverse and the eigenprojection corresponding to the eigenvalue 0 of A: For an n×n complex singular matrix B with ind(B) = s, it is said to be a stable perturbation of A, if I–(B^π–A^π)² is nonsingular, equivalently, if the matrix B satisfies the condition \(\mathcal{R}(B^s)\cap\mathcal{N}(A^r)=\left\{0\right\}\) and \(\mathcal{N}(B^s)\cap\mathcal{R}(A^r)=\left\{0\right\}\), introduced by Castro-González, Robles, and Vélez-Cerrada. In this paper, we call B an acute perturbation of A with respect to the Drazin inverse if the spectral radius ρ(B^π–A^π) < 1: We present a perturbation analysis and give suffcient and necessary conditions for a perturbation of a square matrix being acute with respect to the matrix Drazin inverse. Also, we generalize our perturbation analysis to oblique projectors. In our analysis, the spectral radius, instead of the usual spectral norm, is used. Our results include the previous results on the Drazin inverse and the group inverse as special cases and are consistent with the previous work on the spectral projections and the Moore-Penrose inverse.     

<Emphasis Type="Italic">NP</Emphasis> completeness conditions for verifying the consistency of several kinds of systems of linear diophantine discongruences

We propose two series of number-theory problems with explicitly marked out parameters related to discongruences modulo m. We find parameter constraints that provide the NP completeness for any problem of every series. For any m > 2, we prove the NP completeness of the verification problem for the consistency of a system of linear discongruences modulo m such that any discongruence contains exactly three variables, including the case where its coefficients belong to {–1, 1}. For any m > 3, we prove the NP completeness of the verification problem for the consistency of a system of linear discongruences modulo m such that any discongruence contains exactly 2 variables. If P ≠ NP, then one cannot change the term 2-discongruence for the term 1-discongruence in the statements of the proven theorems.     

Contribution to the General Linear Conjugation Problem for A Piecewise Analytic Vector

Establishing an analogy between the theories of Riemann–Hilbert vector problem and linear ODEs, for the n-dimensional homogeneous linear conjugation problem on a simple smooth closed contour Γ partitioning the complex plane into two domains D⁺ and D^? we show that if we know n?1 particular solutions such that the determinant of the size n?1 matrix of their components omitting those with index k is nonvanishing on D⁺ ∪ Γ and the determinant of the matrix of their components omitting those with index j is nonvanishing on Γ ∪ D^? {∞}, where \(k,j = \overline {1,n} \), then the canonical system of solutions to the linear conjugation problem can be constructed in closed form.     

Asymptotic expansions of periodic solutions of ordinary differential equations with large high-frequency terms

We consider the problem on the periodic solutions of a system of ordinary differential equations of arbitrary order n containing terms oscillating at a frequency ω ? 1 with coefficients of the order of ω ^n/2. For this problem, we construct the averaged (limit) problem and justify the averaging method as well as another efficient algorithm for constructing the complete asymptotics of the solution.     

An Extension of a Simply Inequality Between von Neumann–Jordan and James Constants in Banach Spaces

For a non-trivial Banach space X, let J(X), CNJ(X), C_(NJ)~(p)(X) respectively stand for the James constant, the von Neumann–Jordan constant and the generalized von Neumann–Jordan constant recently inroduced by Cui et al. In this paper, we discuss the relation between the James and the generalized von Neumann–Jordan constants, and establish an inequality between them: C_(NJ)~(p)(X) ≤J(X) with p ≥ 2, which covers the well-known inequality CNJ(X) ≤ J(X). We also introduce a new constant, from which we establish another inequality that extends a result of Alonso et al.